Magma V2.19-8 Tue Aug 20 2013 23:54:05 on localhost [Seed = 2648438276] Type ? for help. Type -D to quit. Loading file "K12n45__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n45 geometric_solution 11.92460907 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.257515456076 1.141404374955 0 5 6 3 0132 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.005864121506 0.889073685705 7 0 4 8 0132 0132 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.764547381819 0.985998585421 6 1 7 0 0321 0321 1230 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.007418371091 1.124717235307 6 9 0 2 1302 0132 0132 1302 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.170829103079 0.407704418731 7 1 8 9 1023 0132 0213 3120 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.678086806070 0.699939523496 3 4 9 1 0321 2031 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.188088555181 0.833678502387 2 5 10 3 0132 1023 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.286011761246 0.736997952388 11 5 2 12 0132 0213 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.104311198297 1.002132478758 5 4 10 6 3120 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.229121722448 0.959486863933 12 11 9 7 3120 3120 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.897245565406 0.987176429032 8 10 12 12 0132 3120 0213 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.280942162664 0.512765405505 11 11 8 10 3120 0213 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.280942162664 0.512765405505 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_9']), 'c_1001_10' : d['c_0101_9'], 'c_1001_12' : negation(d['c_0101_9']), 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : negation(d['c_0110_4']), 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : negation(d['c_0110_4']), 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0110_4']), 'c_1001_9' : d['c_0101_10'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : negation(d['c_0011_11']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_10'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_10']), 'c_0011_12' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_9']), 'c_1100_4' : d['c_0101_2'], 'c_1100_7' : negation(d['c_1001_3']), 'c_1100_6' : d['c_1001_3'], 'c_1100_1' : d['c_1001_3'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0101_10']), 's_0_10' : d['1'], 'c_1100_9' : d['c_1001_3'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : negation(d['c_1001_3']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0101_10'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : negation(d['c_0110_4']), 'c_1010_9' : negation(d['c_0110_4']), 'c_1010_8' : negation(d['c_0101_9']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_10']), 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_7'], 'c_0110_10' : d['c_0101_7'], 'c_0110_12' : d['c_0101_7'], 'c_0101_12' : d['c_0011_10'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : negation(d['c_0011_11']), 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : negation(d['c_0011_3']), 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_7'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_3']), 'c_0110_8' : d['c_0011_10'], 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : negation(d['c_0011_3']), 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0011_3'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_4, c_0101_10, c_0101_2, c_0101_3, c_0101_7, c_0101_9, c_0110_4, c_1001_0, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 204910556938738147127951171074283740479606444049615698204625849/885\ 8838727816527649057902714904084491239968250493636617937211*c_1001_3\ ^29 + 1453563753314288762440465896956934961113491069496589562410320\ 483/17717677455633055298115805429808168982479936500987273235874422*\ c_1001_3^28 - 29577352482844147917783959254054251989395484170126893\ 86945675077/8858838727816527649057902714904084491239968250493636617\ 937211*c_1001_3^27 - 1777156585780723896941770679162454822507328067\ 415974803455560841/104221632091959148812445914292989229308705508829\ 3369013874966*c_1001_3^26 + 228555111626173862385324403971671600454\ 6526731293433387803510978/88588387278165276490579027149040844912399\ 68250493636617937211*c_1001_3^25 - 20213451582946349825713126075620971529312399182979116553420009488/8\ 858838727816527649057902714904084491239968250493636617937211*c_1001\ _3^24 - 26361736357957821052084618676289273601747650676226654510017\ 965073/104221632091959148812445914292989229308705508829336901387496\ 6*c_1001_3^23 - 500117113830588111828612104706360191047591190070230\ 50530011155895/8858838727816527649057902714904084491239968250493636\ 617937211*c_1001_3^22 - 2884691283277568669223825692933113085642651\ 039085192023627732175996/885883872781652764905790271490408449123996\ 8250493636617937211*c_1001_3^21 - 215964790222377348193127623696586\ 2926106215571142095709592889307520/88588387278165276490579027149040\ 84491239968250493636617937211*c_1001_3^20 - 1205395346741738046694314119635566174065711862732221606510376243690\ 6/8858838727816527649057902714904084491239968250493636617937211*c_1\ 001_3^19 - 18510664965671175304001194609902737791935978949567297892\ 948376691625/177176774556330552981158054298081689824799365009872732\ 35874422*c_1001_3^18 - 24953587189940619788236122039685157746098681\ 457422654188392737593364/885883872781652764905790271490408449123996\ 8250493636617937211*c_1001_3^17 - 163183178000313173457464975244734\ 09963152386160299084046502173987865/8858838727816527649057902714904\ 084491239968250493636617937211*c_1001_3^16 - 2819261505741403865339219836368064085544401428942744186541094085197\ 4/8858838727816527649057902714904084491239968250493636617937211*c_1\ 001_3^15 - 13101803978825580479604465257871719977695228371059638162\ 455660605706/885883872781652764905790271490408449123996825049363661\ 7937211*c_1001_3^14 - 321595398245672317146892661541566831407073522\ 00890865942291759411607/1771767745563305529811580542980816898247993\ 6500987273235874422*c_1001_3^13 - 386958326867975101850211827613478\ 5370955802304193823349409232932121/17717677455633055298115805429808\ 168982479936500987273235874422*c_1001_3^12 - 3350917003650866166830160930179183557339976961102107886801680188757\ /17717677455633055298115805429808168982479936500987273235874422*c_1\ 001_3^11 + 45868373442219798899569482910495578334643393217020561416\ 43372581000/8858838727816527649057902714904084491239968250493636617\ 937211*c_1001_3^10 + 3166701733330390704954285591624042997635573781\ 714904764077660811695/885883872781652764905790271490408449123996825\ 0493636617937211*c_1001_3^9 + 6845610075485037323510091080167519531\ 098366568992529381011520765177/177176774556330552981158054298081689\ 82479936500987273235874422*c_1001_3^8 + 3300535482772958218287022326954638611983963686210990339907985194665\ /17717677455633055298115805429808168982479936500987273235874422*c_1\ 001_3^7 + 883272624794256553529354978368756368996415467356366262190\ 104636718/885883872781652764905790271490408449123996825049363661793\ 7211*c_1001_3^6 + 5204461076674664768469046528988556709122337820444\ 72621288965856989/1771767745563305529811580542980816898247993650098\ 7273235874422*c_1001_3^5 + 1154315546392803684296133576904253446053\ 68737185301808699974391441/1771767745563305529811580542980816898247\ 9936500987273235874422*c_1001_3^4 + 28749280212196733190729048184662097867177974659555780334833249791/1\ 7717677455633055298115805429808168982479936500987273235874422*c_100\ 1_3^3 + 25901173865021464603215960490275273705635809822738085803919\ 26955/8858838727816527649057902714904084491239968250493636617937211\ *c_1001_3^2 + 96242853375266894292208604975853443000088149790144927\ 82680893573/1771767745563305529811580542980816898247993650098727323\ 5874422*c_1001_3 + 311390580299680238531532820557852268134581786566\ 9278377330649951/17717677455633055298115805429808168982479936500987\ 273235874422, c_0011_0 - 1, c_0011_10 + 1995746538730671724379342632293240342193669132095221996/880\ 5923930915655475306784248355714999806133196118162579*c_1001_3^29 - 3506255087119779243966999218594052750095853765605386926/88059239309\ 15655475306784248355714999806133196118162579*c_1001_3^28 + 16147020786216027820868776026727867781453995979186560255/8805923930\ 915655475306784248355714999806133196118162579*c_1001_3^27 + 197611337129827394991322654983390812253310573072643788994/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^26 + 245123866348606741673621908914591852709456192267018049988/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^25 + 143708279097669584364086284754901463915614038938455051094/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^24 + 2455853218250170755815206863780054232206260425419510714184/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^23 + 4440269743943197727469180143917595308175164930019431174697/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^22 + 29011656319941478177873447350896521949093595424022139376091/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^21 + 70247444368733185879209202672984282611086966496185828201079/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^20 + 155217759026801289712262769097229780675998608140133228675136/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^19 + 287634128087139552057034333264438784381191620001749535810639/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^18 + 398221844314978506549709177113618768249398029818106575107384/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^17 + 557656759896869289088243614584046457366699235737233094534849/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^16 + 553948479656712042757248004290515500664203367725652533556585/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^15 + 595654245240685974341953256995841730983086808896311859091795/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^14 + 433233598568043355484425692238525056157274816952819527710984/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^13 + 359104446515160715220918959577592017283688328253957606089858/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^12 + 179240977607474585338676369690430414311137537972266698728696/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^11 + 114347744862548661534903620482635168782688746111269469057968/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^10 + 28678380119690182213637671904886948190039974826896233030493/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^9 + 16279837371915272053019791577451484004617169476326163612743/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^8 - 2054234089029757463434969665209663165839471707476923234352/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^7 + 1685965310833051582555398051486224270462968906102824759901/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^6 - 566543625188983817104514711362533287867545915354695282623/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^5 + 534044499829836601299910944762251580773882101330927709283/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^4 + 3271731350540531420680635383129970364743161963950948563/88059239309\ 15655475306784248355714999806133196118162579*c_1001_3^3 + 26251842360647792244455071067102406907554256993599406575/8805923930\ 915655475306784248355714999806133196118162579*c_1001_3^2 + 647028357299767465488191649861050273251521197772120975/880592393091\ 5655475306784248355714999806133196118162579*c_1001_3 + 4910380039976648858778270305549328530345272382012675861/88059239309\ 15655475306784248355714999806133196118162579, c_0011_11 + 1298364103182543570411349564066123449997396416701807674/880\ 5923930915655475306784248355714999806133196118162579*c_1001_3^29 - 761867216442430602220802143732824877400500988000101302/880592393091\ 5655475306784248355714999806133196118162579*c_1001_3^28 + 5183774054055282390275933644853803450620858131429182446/88059239309\ 15655475306784248355714999806133196118162579*c_1001_3^27 + 149833027389665973629530826967059613294375720028084543602/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^26 + 274803763604591720926176263369468572259793478602440391869/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^25 + 73207749919013685255798266263569780274161314072584159369/8805923930\ 915655475306784248355714999806133196118162579*c_1001_3^24 + 1725419343031024451247274675355115402893286466287434793773/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^23 + 4641371390203153631242665529791973579499854926795947852205/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^22 + 19325875018975191457638421750331977118923986959128252750989/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^21 + 66674347424582701827688226500596160323460928486421545266595/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^20 + 118874268664881912082567218935219948783574804708151095554142/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^19 + 272535749784310584619578108215664233572213377941155441430038/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^18 + 339436400820248441679622522065280376009000805805115533659550/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^17 + 547342491865806213916263184705334989668973637684016827123074/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^16 + 525012867346295550019457221885481919979906510513442047690566/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^15 + 629706125627069539622915079254198053909122927051687576372947/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^14 + 472426704161899854213506894100926558441217659473149002363136/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^13 + 434389800491499496964079820005344107409801315664916497134545/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^12 + 247980565359246942082634622598837419070233555050089744696399/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^11 + 177936222933180613594350735527873236841561776002751360290736/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^10 + 71240280666340828922092258214406812739650628806384791253930/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^9 + 41763266714388363049418574276853140858940070319232358542383/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^8 + 9819296914598560942289627560251993234007852543661640724463/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^7 + 6127352909833273351014343238610486025075692913742680366141/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^6 + 839543612664211050549896099847495790071584002890778717853/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^5 + 899046424812448967025714535508832546224893146097224657093/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^4 + 147743388273276384300749220554897972711470066758513072451/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^3 + 75890443014247027945206155756378372739436748902976106665/8805923930\ 915655475306784248355714999806133196118162579*c_1001_3^2 - 565901752113047699687341092091777752925669662907771709/880592393091\ 5655475306784248355714999806133196118162579*c_1001_3 + 7558003097695893020800666642883037583380694556551454956/88059239309\ 15655475306784248355714999806133196118162579, c_0011_3 + 1186685690858260438958073028010478078413936911052197103/8805\ 923930915655475306784248355714999806133196118162579*c_1001_3^29 - 1937893149247850855153390731842965802145270403699150508/88059239309\ 15655475306784248355714999806133196118162579*c_1001_3^28 + 8856991452286634998446995469321004472941411558732483045/88059239309\ 15655475306784248355714999806133196118162579*c_1001_3^27 + 119734360048217185850881450942584766082697322106251100531/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^26 + 156317617362892133230848678099977785553776424342331456155/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^25 + 56211968110319289573764322264057809015270297108456118423/8805923930\ 915655475306784248355714999806133196118162579*c_1001_3^24 + 1432431085307207450996971952831955763083461521456812833519/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^23 + 2836242855799712018373601492891146752196936469985099476988/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^22 + 17003967242053714012328634436804213319334037981316571469938/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^21 + 43031166484589109445965128810396927454115700460232130509606/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^20 + 91155469691740885656746747726682645441697027774176684927849/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^19 + 168505392474436201408520637739112945405640101828623609996983/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^18 + 230195865953963300672184117381677680888888258276258623692258/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^17 + 312236961483974480575136875896606593411106966023498535354789/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^16 + 312414647326157422122285359714169049968828938909755617437931/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^15 + 316727344199693459384578098213740221095317111901217854945963/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^14 + 236585384565641869037949234825710438439410831236556583938914/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^13 + 177256334632770675361994354318774379211094929662218477186047/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^12 + 93309798249859499692444630530393117685860888466046011009025/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^11 + 47685573320945810282540086746918601695851155623220637229868/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^10 + 13149938354346603656208469901911966503609091474821487389589/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^9 + 2280781333016293477196062592693295264144598793686098709315/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^8 - 1486296447761755735998980048984104344188438864202892552204/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^7 - 1100115950697593363860181187684859333352050269112672839146/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^6 - 249523535271856562855246826146232763215713455919345058882/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^5 - 158144838978498927545926170287465069954114867863513486537/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^4 + 14313660223594255104977190210185250545738022209944646873/8805923930\ 915655475306784248355714999806133196118162579*c_1001_3^3 - 49605187604035194370391654846450720035101351185727093945/8805923930\ 915655475306784248355714999806133196118162579*c_1001_3^2 - 7272313967071466498745970654508976345335929618343091382/88059239309\ 15655475306784248355714999806133196118162579*c_1001_3 + 4051334809827268978338874276064508215089908497096810481/88059239309\ 15655475306784248355714999806133196118162579, c_0011_4 - 728674042627462381707414683616272491301181911684183108/88059\ 23930915655475306784248355714999806133196118162579*c_1001_3^29 - 959102054538633412420242535686500007274571434609808709/880592393091\ 5655475306784248355714999806133196118162579*c_1001_3^28 - 641943100394361157112174404376513378653187705977257657/880592393091\ 5655475306784248355714999806133196118162579*c_1001_3^27 - 94292833787542032631861222196430588089797908286758086008/8805923930\ 915655475306784248355714999806133196118162579*c_1001_3^26 - 293925841953524516982378562765572972663369410426469166085/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^25 - 223763210883239794994055509965258951213357493595797771865/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^24 - 1013390923213184412934430995008570437941337973769291390477/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^23 - 4221295897368896228099217407958744430114425103987901064402/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^22 - 14156051173537076709349266547150705398717000992216541300271/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^21 - 57131331201234521736199843457501594417987853412772764105208/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^20 - 116098845297309018411368983364946926161268854513682474922048/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^19 - 256947381018018317885282334819710368593626878858431843544565/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^18 - 376470057086927707014490618430176969653414697003884874017264/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^17 - 558152723294881680302625794105151210710206092044764623389436/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^16 - 621786072769853982575074658255375287688076289111680554225953/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^15 - 673404612170874842641828792312299477026069718232354699489489/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^14 - 577553811096274099122481636888580621069444157826082034860323/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^13 - 469554088595115672081612416671786880275530422248141781166691/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^12 - 305243600705547654291179736293419653331277502162683330943619/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^11 - 184511773339243415709968084371999562992836943175270546668981/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^10 - 86884244306068721685010441575631140752338297717993441035089/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^9 - 37783556580854962995972284623332909352539319518202242691790/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^8 - 12272525063909377400202273043433027249447619800720964848072/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^7 - 4096601420073919959034044102591586815503208206212019185254/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^6 - 1211237546639154230682475127297408699176075651716882310089/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^5 - 427514694102261496670215240405630890722292561180931882743/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^4 - 152580420531054420419125039953936041733056551218775417272/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^3 - 26465290286414376778354241649837238673662942263863940148/8805923930\ 915655475306784248355714999806133196118162579*c_1001_3^2 - 23662360042268542266605374380416753897462667758363961427/8805923930\ 915655475306784248355714999806133196118162579*c_1001_3 - 3207795169394125795089314146604802123663057533240570833/88059239309\ 15655475306784248355714999806133196118162579, c_0101_10 + 1298364103182543570411349564066123449997396416701807674/880\ 5923930915655475306784248355714999806133196118162579*c_1001_3^29 - 761867216442430602220802143732824877400500988000101302/880592393091\ 5655475306784248355714999806133196118162579*c_1001_3^28 + 5183774054055282390275933644853803450620858131429182446/88059239309\ 15655475306784248355714999806133196118162579*c_1001_3^27 + 149833027389665973629530826967059613294375720028084543602/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^26 + 274803763604591720926176263369468572259793478602440391869/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^25 + 73207749919013685255798266263569780274161314072584159369/8805923930\ 915655475306784248355714999806133196118162579*c_1001_3^24 + 1725419343031024451247274675355115402893286466287434793773/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^23 + 4641371390203153631242665529791973579499854926795947852205/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^22 + 19325875018975191457638421750331977118923986959128252750989/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^21 + 66674347424582701827688226500596160323460928486421545266595/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^20 + 118874268664881912082567218935219948783574804708151095554142/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^19 + 272535749784310584619578108215664233572213377941155441430038/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^18 + 339436400820248441679622522065280376009000805805115533659550/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^17 + 547342491865806213916263184705334989668973637684016827123074/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^16 + 525012867346295550019457221885481919979906510513442047690566/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^15 + 629706125627069539622915079254198053909122927051687576372947/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^14 + 472426704161899854213506894100926558441217659473149002363136/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^13 + 434389800491499496964079820005344107409801315664916497134545/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^12 + 247980565359246942082634622598837419070233555050089744696399/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^11 + 177936222933180613594350735527873236841561776002751360290736/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^10 + 71240280666340828922092258214406812739650628806384791253930/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^9 + 41763266714388363049418574276853140858940070319232358542383/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^8 + 9819296914598560942289627560251993234007852543661640724463/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^7 + 6127352909833273351014343238610486025075692913742680366141/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^6 + 839543612664211050549896099847495790071584002890778717853/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^5 + 899046424812448967025714535508832546224893146097224657093/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^4 + 147743388273276384300749220554897972711470066758513072451/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^3 + 75890443014247027945206155756378372739436748902976106665/8805923930\ 915655475306784248355714999806133196118162579*c_1001_3^2 - 565901752113047699687341092091777752925669662907771709/880592393091\ 5655475306784248355714999806133196118162579*c_1001_3 + 7558003097695893020800666642883037583380694556551454956/88059239309\ 15655475306784248355714999806133196118162579, c_0101_2 - 728674042627462381707414683616272491301181911684183108/88059\ 23930915655475306784248355714999806133196118162579*c_1001_3^29 - 959102054538633412420242535686500007274571434609808709/880592393091\ 5655475306784248355714999806133196118162579*c_1001_3^28 - 641943100394361157112174404376513378653187705977257657/880592393091\ 5655475306784248355714999806133196118162579*c_1001_3^27 - 94292833787542032631861222196430588089797908286758086008/8805923930\ 915655475306784248355714999806133196118162579*c_1001_3^26 - 293925841953524516982378562765572972663369410426469166085/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^25 - 223763210883239794994055509965258951213357493595797771865/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^24 - 1013390923213184412934430995008570437941337973769291390477/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^23 - 4221295897368896228099217407958744430114425103987901064402/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^22 - 14156051173537076709349266547150705398717000992216541300271/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^21 - 57131331201234521736199843457501594417987853412772764105208/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^20 - 116098845297309018411368983364946926161268854513682474922048/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^19 - 256947381018018317885282334819710368593626878858431843544565/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^18 - 376470057086927707014490618430176969653414697003884874017264/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^17 - 558152723294881680302625794105151210710206092044764623389436/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^16 - 621786072769853982575074658255375287688076289111680554225953/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^15 - 673404612170874842641828792312299477026069718232354699489489/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^14 - 577553811096274099122481636888580621069444157826082034860323/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^13 - 469554088595115672081612416671786880275530422248141781166691/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^12 - 305243600705547654291179736293419653331277502162683330943619/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^11 - 184511773339243415709968084371999562992836943175270546668981/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^10 - 86884244306068721685010441575631140752338297717993441035089/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^9 - 37783556580854962995972284623332909352539319518202242691790/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^8 - 12272525063909377400202273043433027249447619800720964848072/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^7 - 4096601420073919959034044102591586815503208206212019185254/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^6 - 1211237546639154230682475127297408699176075651716882310089/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^5 - 427514694102261496670215240405630890722292561180931882743/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^4 - 152580420531054420419125039953936041733056551218775417272/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^3 - 26465290286414376778354241649837238673662942263863940148/8805923930\ 915655475306784248355714999806133196118162579*c_1001_3^2 - 23662360042268542266605374380416753897462667758363961427/8805923930\ 915655475306784248355714999806133196118162579*c_1001_3 - 3207795169394125795089314146604802123663057533240570833/88059239309\ 15655475306784248355714999806133196118162579, c_0101_3 - 1, c_0101_7 + 4510332449899116213613352693363050220836673528759711409/8805\ 923930915655475306784248355714999806133196118162579*c_1001_3^29 - 15786633865288581403666036550122004115293094903096088840/8805923930\ 915655475306784248355714999806133196118162579*c_1001_3^28 + 63536889857343072725825364424282458021350421300137646098/8805923930\ 915655475306784248355714999806133196118162579*c_1001_3^27 + 339338386682691399677584734409600846218297388231072956495/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^26 - 48095166043452533167254933082519651982566884581770698432/8805923930\ 915655475306784248355714999806133196118162579*c_1001_3^25 + 389352184302865552330442838622710017415287247289116536396/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^24 + 5050674039964797452127057179187424328987722139094732798673/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^23 + 1368907818778145631906900809539394041832482160042762652860/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^22 + 62725217422029557468142701901972847868911458452712733236404/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^21 + 51383938646939329227283368958882831846354197463656589679953/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^20 + 258087814537562999502589009069195117619229635515586485574068/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^19 + 220688250450029607419724914544459274367240453024739138550739/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^18 + 542784404067644861366918058783379839961148703569591359242700/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^17 + 420404134828442894997686733396229279757372746229527305034662/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^16 + 668757198701550174107186795195931331417561008527373981397278/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^15 + 439126845526689151338296837626987573008990486688755085452871/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^14 + 505728319894111507816871799678079057340541343884596413970739/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^13 + 264115533783708663939868041749742983815139965896805116118598/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^12 + 235036064847589977806322195043592634799419788222316129484879/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^11 + 88649969062591783476261180411483483505753855840956514069559/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^10 + 66059346262241005799204111047925416112398517342350117122017/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^9 + 15242373522972530600525436559353397742186393714077646549997/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^8 + 11886833387411855807977752756818017336782919417397311919605/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^7 + 1549994098229854796227905908805370077142126054522787833808/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^6 + 1726373618850872835694040793017869381257182114413955784897/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^5 + 211545316404009565230134376052393446292510827783607319486/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^4 + 121322100308162522957890999831037952501022503245542829801/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^3 - 5691870861755434861210977419090406531950038439437003530/88059239309\ 15655475306784248355714999806133196118162579*c_1001_3^2 + 1172405966278028098632572826791276510052479583263310694/88059239309\ 15655475306784248355714999806133196118162579*c_1001_3 + 296577029085329671282300554277897654073288084239553051/880592393091\ 5655475306784248355714999806133196118162579, c_0101_9 + 4510332449899116213613352693363050220836673528759711409/8805\ 923930915655475306784248355714999806133196118162579*c_1001_3^29 - 15786633865288581403666036550122004115293094903096088840/8805923930\ 915655475306784248355714999806133196118162579*c_1001_3^28 + 63536889857343072725825364424282458021350421300137646098/8805923930\ 915655475306784248355714999806133196118162579*c_1001_3^27 + 339338386682691399677584734409600846218297388231072956495/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^26 - 48095166043452533167254933082519651982566884581770698432/8805923930\ 915655475306784248355714999806133196118162579*c_1001_3^25 + 389352184302865552330442838622710017415287247289116536396/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^24 + 5050674039964797452127057179187424328987722139094732798673/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^23 + 1368907818778145631906900809539394041832482160042762652860/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^22 + 62725217422029557468142701901972847868911458452712733236404/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^21 + 51383938646939329227283368958882831846354197463656589679953/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^20 + 258087814537562999502589009069195117619229635515586485574068/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^19 + 220688250450029607419724914544459274367240453024739138550739/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^18 + 542784404067644861366918058783379839961148703569591359242700/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^17 + 420404134828442894997686733396229279757372746229527305034662/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^16 + 668757198701550174107186795195931331417561008527373981397278/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^15 + 439126845526689151338296837626987573008990486688755085452871/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^14 + 505728319894111507816871799678079057340541343884596413970739/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^13 + 264115533783708663939868041749742983815139965896805116118598/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^12 + 235036064847589977806322195043592634799419788222316129484879/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^11 + 88649969062591783476261180411483483505753855840956514069559/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^10 + 66059346262241005799204111047925416112398517342350117122017/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^9 + 15242373522972530600525436559353397742186393714077646549997/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^8 + 11886833387411855807977752756818017336782919417397311919605/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^7 + 1549994098229854796227905908805370077142126054522787833808/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^6 + 1726373618850872835694040793017869381257182114413955784897/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^5 + 211545316404009565230134376052393446292510827783607319486/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^4 + 121322100308162522957890999831037952501022503245542829801/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^3 - 5691870861755434861210977419090406531950038439437003530/88059239309\ 15655475306784248355714999806133196118162579*c_1001_3^2 + 1172405966278028098632572826791276510052479583263310694/88059239309\ 15655475306784248355714999806133196118162579*c_1001_3 + 296577029085329671282300554277897654073288084239553051/880592393091\ 5655475306784248355714999806133196118162579, c_0110_4 + 5176414675400329718190462062907345853199160768692143103/8805\ 923930915655475306784248355714999806133196118162579*c_1001_3^29 - 19920738569758056553790369436991209676208563796128209308/8805923930\ 915655475306784248355714999806133196118162579*c_1001_3^28 + 78135748041381302712485570656559939554291677901863072612/8805923930\ 915655475306784248355714999806133196118162579*c_1001_3^27 + 367890844837505932761752859866745211100954242501100871187/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^26 - 205214403930380099738135461476467762822076096224396534219/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^25 + 380414412622108611799522842279891939781335728813519692032/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^24 + 5665987640768077950003518260136357208444445157114480030346/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^23 - 457346081737008263330284779900901538966426860418836313717/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^22 + 70211482072882129390097018716199362014471592329986112858683/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^21 + 33588741300953962504643127117308897885994826527175572581229/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^20 + 261641732434387438000639475421645027753405651478611871768191/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^19 + 138287815680577121883653866939055833172584850847428076834705/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^18 + 485746205225699460979319467129075462976226502606213280369120/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^17 + 226907183399493018705713035289745072440596765348271730943136/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^16 + 518472337258051668279190479043149794768396627972482590273512/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^15 + 186404036937594394313369019333509761788239250645358914751419/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^14 + 334310552815168916596394760528928143262034594196603360622466/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^13 + 72442427993896163111043882534468716890466809946684152028676/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^12 + 132643790956297249764482869179989247989585193748812886128284/880592\ 3930915655475306784248355714999806133196118162579*c_1001_3^11 + 4363990279954204747266445469304808945371840101454978658527/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^10 + 34405546608926623861884143253546899861209968081500746932211/8805923\ 930915655475306784248355714999806133196118162579*c_1001_3^9 - 5962806515010767002130934524487728143836206549609618785036/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^8 + 7257205343224534903118669293531808944535738180876917058965/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^7 - 1794829300489365733949374300678803913343121727543116084470/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^6 + 1382782963525200628691354626190901762977754247221695617810/88059239\ 30915655475306784248355714999806133196118162579*c_1001_3^5 - 130532372503340289697851143070847762127487851336166591742/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^4 + 159138737535889675786810860410919542500085912556516298528/880592393\ 0915655475306784248355714999806133196118162579*c_1001_3^3 - 622042557366192527177813262755164218892109750511523199/880592393091\ 5655475306784248355714999806133196118162579*c_1001_3^2 + 23968471824607662557335467755666221658278774509462817294/8805923930\ 915655475306784248355714999806133196118162579*c_1001_3 - 4440501968908245293125432224255332845709600632123177770/88059239309\ 15655475306784248355714999806133196118162579, c_1001_0 + c_1001_3, c_1001_3^30 - 3*c_1001_3^29 + 13*c_1001_3^28 + 80*c_1001_3^27 + 36*c_1001_3^26 + 132*c_1001_3^25 + 1157*c_1001_3^24 + 907*c_1001_3^23 + 14803*c_1001_3^22 + 18588*c_1001_3^21 + 71974*c_1001_3^20 + 85562*c_1001_3^19 + 181034*c_1001_3^18 + 185590*c_1001_3^17 + 267620*c_1001_3^16 + 228429*c_1001_3^15 + 244519*c_1001_3^14 + 168670*c_1001_3^13 + 138736*c_1001_3^12 + 74007*c_1001_3^11 + 47372*c_1001_3^10 + 18061*c_1001_3^9 + 9254*c_1001_3^8 + 2211*c_1001_3^7 + 1088*c_1001_3^6 + 176*c_1001_3^5 + 105*c_1001_3^4 + 19*c_1001_3^3 + 6*c_1001_3^2 + c_1001_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.800 Total time: 2.009 seconds, Total memory usage: 32.09MB