Magma V2.19-8 Tue Aug 20 2013 16:16:35 on localhost [Seed = 1157945753] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0881 geometric_solution 4.78477265 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 2310 1023 0 0 0 0 0 1 0 -1 0 0 1 -1 -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 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.592648704687 0.148291887103 0 0 1 1 0132 3201 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.524978865775 0.057352641690 3 0 4 0 0132 0132 0132 1023 0 0 0 0 0 -1 0 1 -1 0 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 -1 1 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.282378134582 1.786873212807 2 4 5 4 0132 3201 0132 1230 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 0 0 0 0 -1 0 1 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.548659922312 1.117704915976 3 5 3 2 3012 0132 2310 0132 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 0 1 -1 -1 0 0 1 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.548659922312 1.117704915976 6 4 6 3 0132 0132 2310 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 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.394538776895 0.510309188713 5 5 6 6 0132 3201 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.514213790341 0.454753419699 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : 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_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_5'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0101_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t - 1162339639765520445510944329673238711169242591251518824529240458180\ 36945895585309/3277467942219913580013888056241574109310884275208014\ 51166741604825562589062715*c_0101_5^35 + 3697259192238973414399108870088900063998881049319482764806938802673\ 460910831707814/327746794221991358001388805624157410931088427520801\ 451166741604825562589062715*c_0101_5^34 - 1053509579517005289256997948534463308417871364858273638088211933007\ 804649643547611/327746794221991358001388805624157410931088427520801\ 451166741604825562589062715*c_0101_5^33 - 5195401549776861879127121576707089172680101927429179364588490367645\ 5380859294390281/32774679422199135800138880562415741093108842752080\ 1451166741604825562589062715*c_0101_5^32 - 1158675981932691653545378175429334666648905343370879865745609797189\ 84798186947060049/3277467942219913580013888056241574109310884275208\ 01451166741604825562589062715*c_0101_5^31 + 8075655971061457225002313544990172032361170056268452279341203950578\ 0632627587791713/32774679422199135800138880562415741093108842752080\ 1451166741604825562589062715*c_0101_5^30 + 1686748835020054125165029207000611933676233702363713824498413314597\ 494503528550616388/327746794221991358001388805624157410931088427520\ 801451166741604825562589062715*c_0101_5^29 + 2124563177196740700894809004263349838869908706269476660130553526342\ 823770748164236278/327746794221991358001388805624157410931088427520\ 801451166741604825562589062715*c_0101_5^28 - 1552536828595956887573391319606449917445312762314511694707792494893\ 851021671460996247/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^27 - 1261456668248670732771255900973995797820453126270972473093676302648\ 1093396527542395001/32774679422199135800138880562415741093108842752\ 0801451166741604825562589062715*c_0101_5^26 + 1200086343740257435875616488299168275854716733443284787319998754015\ 4606994944971523342/32774679422199135800138880562415741093108842752\ 0801451166741604825562589062715*c_0101_5^25 + 1871689480581915593029531500283758352874901728337137530691605721916\ 7459007807808734697/32774679422199135800138880562415741093108842752\ 0801451166741604825562589062715*c_0101_5^24 + 2557621436284153953910243960406626017572729788317800721876732310619\ 240614634386877289/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^23 + 5384711892836907291979593025597845510016138788575183836351584929236\ 9808983203503114738/32774679422199135800138880562415741093108842752\ 0801451166741604825562589062715*c_0101_5^22 - 6585694938525858611497313378723223373198463804123780436031951720389\ 8495475941269319699/32774679422199135800138880562415741093108842752\ 0801451166741604825562589062715*c_0101_5^21 - 2770170862136033230284627662301217751673563714900223120630458937958\ 19816826608294933901/3277467942219913580013888056241574109310884275\ 20801451166741604825562589062715*c_0101_5^20 + 6021410670045912006985033520718671310693068102965264526793302948947\ 9407295187988300729/32774679422199135800138880562415741093108842752\ 0801451166741604825562589062715*c_0101_5^19 + 1077164618163085855398513560561880036651095810762805644319955756410\ 00143819484888723348/6554935884439827160027776112483148218621768550\ 4160290233348320965112517812543*c_0101_5^18 + 6509981885524711431380559618866463536386556728746835416105947537793\ 7126334172439247406/32774679422199135800138880562415741093108842752\ 0801451166741604825562589062715*c_0101_5^17 - 1185552710288026918150185830118035762474358531330036387088602389136\ 98202068291240711007/6554935884439827160027776112483148218621768550\ 4160290233348320965112517812543*c_0101_5^16 - 2011046771593723024231121085648484849809682536234354506197123470424\ 68975947703504520423/3277467942219913580013888056241574109310884275\ 20801451166741604825562589062715*c_0101_5^15 + 3933668935502888660220790473905870304154921978225607852124034808627\ 70351294017795302059/3277467942219913580013888056241574109310884275\ 20801451166741604825562589062715*c_0101_5^14 + 2088732484116535551105938696351063630308840546872020752875836217109\ 00295978056623616901/3277467942219913580013888056241574109310884275\ 20801451166741604825562589062715*c_0101_5^13 - 3015694473630553492721441762098106200202625351080207235041814121637\ 3448434217143127419/65549358844398271600277761124831482186217685504\ 160290233348320965112517812543*c_0101_5^12 - 1175347349095673317473424332582928695489248204232592969848129956843\ 98897731304232614414/3277467942219913580013888056241574109310884275\ 20801451166741604825562589062715*c_0101_5^11 + 2598411120201482628217338914031445530641932941711007320314353699815\ 2477583897163380657/32774679422199135800138880562415741093108842752\ 0801451166741604825562589062715*c_0101_5^10 + 7546732907938138329685371081013038246508776743539457247035268662939\ 895573157050731804/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^9 + 3623373039876257858377133527106327897134200609178889015367219282190\ 59599063034338886/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^8 - 6510267573425817161693496168536920917697461386253562098517863637901\ 326941353547071793/327746794221991358001388805624157410931088427520\ 801451166741604825562589062715*c_0101_5^7 - 1466534161447231924718550282673269867141724265750937348486313273779\ 760794430326779917/327746794221991358001388805624157410931088427520\ 801451166741604825562589062715*c_0101_5^6 + 4991610122149261308810745310362674897871945033444581968867201222746\ 37420930912842291/3277467942219913580013888056241574109310884275208\ 01451166741604825562589062715*c_0101_5^5 + 2046892940202284553124686587922934409827716637271466224301742713863\ 76924842814402719/3277467942219913580013888056241574109310884275208\ 01451166741604825562589062715*c_0101_5^4 - 8428070319534610642403498771110088544988898087056679597662119735380\ 818519643986138/327746794221991358001388805624157410931088427520801\ 451166741604825562589062715*c_0101_5^3 - 1143844814358391800583936720811101580989663614915148794196255244400\ 8497187782115081/32774679422199135800138880562415741093108842752080\ 1451166741604825562589062715*c_0101_5^2 - 4515082081293768216650785177467269108962637815759630069934413591862\ 07274384280606/3277467942219913580013888056241574109310884275208014\ 51166741604825562589062715*c_0101_5 + 2717342361294922159217983057838739385069541597045724596899483799203\ 01752364476239/3277467942219913580013888056241574109310884275208014\ 51166741604825562589062715, c_0011_0 - 1, c_0011_4 + 306949581313441280306591793120387397227900449249734716488874\ 452681928017440805/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^35 - 1054159952173671754548575289420684713949321853212644750516867001770\ 3509683921438/65549358844398271600277761124831482186217685504160290\ 233348320965112517812543*c_0101_5^34 + 2804998165662105705208177104821605137372855985966056738812366336311\ 0382189819142/65549358844398271600277761124831482186217685504160290\ 233348320965112517812543*c_0101_5^33 + 1131298917206308888821036575834704876783985925947097631249475781886\ 09496839619565/6554935884439827160027776112483148218621768550416029\ 0233348320965112517812543*c_0101_5^32 - 2503812552805315486925787505130078704994355504437365911282250206293\ 4450322896872/65549358844398271600277761124831482186217685504160290\ 233348320965112517812543*c_0101_5^31 - 7659477633342232560162096693191275604753521394655344949772867159066\ 69753828892031/6554935884439827160027776112483148218621768550416029\ 0233348320965112517812543*c_0101_5^30 - 3548800449985669615983010944334135778371071190201963533442748033521\ 554625019287973/655493588443982716002777611248314821862176855041602\ 90233348320965112517812543*c_0101_5^29 + 5051229990963964126738902673468086809288476808857840574432197709581\ 780349740706217/655493588443982716002777611248314821862176855041602\ 90233348320965112517812543*c_0101_5^28 + 2754648956744573918616478043003225513912971187063125215363633442481\ 7393150263471394/65549358844398271600277761124831482186217685504160\ 290233348320965112517812543*c_0101_5^27 - 2316265759575185983630846595230039910363462608382371164124177563621\ 1230007531033088/65549358844398271600277761124831482186217685504160\ 290233348320965112517812543*c_0101_5^26 - 7775583514469003512019564433916540687484740663535782814177044242854\ 8109677886207258/65549358844398271600277761124831482186217685504160\ 290233348320965112517812543*c_0101_5^25 + 6103822374405755730908223471052228314025482084420878349103154464573\ 8142865553066710/65549358844398271600277761124831482186217685504160\ 290233348320965112517812543*c_0101_5^24 + 1537003423262103591650359753074448385805489482195276328363209852335\ 3716080749440634/65549358844398271600277761124831482186217685504160\ 290233348320965112517812543*c_0101_5^23 - 8889529753347210751495119370818561507672419925784192907681533620141\ 1513726980550022/65549358844398271600277761124831482186217685504160\ 290233348320965112517812543*c_0101_5^22 + 5002171741047956552364666382387699540581979986905985522501098739679\ 57046916091945764/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^21 + 7357985654114394424448151975027695396435147798781753924334301534657\ 0298093339641551/65549358844398271600277761124831482186217685504160\ 290233348320965112517812543*c_0101_5^20 - 1560880729377020350686336925754168517049415474269878121411118334347\ 856368718374075912/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^19 - 8098762064120456753914127727516496831741757540127233520921359023306\ 4721739933845329/65549358844398271600277761124831482186217685504160\ 290233348320965112517812543*c_0101_5^18 + 2494833656463754266911721446416848203095378559027278718963253108939\ 542234960533965134/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^17 + 2037997282510157739584009049767738493240440361454877565015753033667\ 73978087848100225/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^16 - 2465181116948868744594200058165509822525784323572357041168008089495\ 370411644100829688/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^15 - 3500494175595864303920830532591369908242362019377011031187356622941\ 98655453899677434/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^14 + 1571865878022781740417800951315431920144730575373554615923144572999\ 184800809692450256/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^13 + 3429156850584359608252626621507142071936518865652332257634265670833\ 39869113479896810/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^12 - 6413719074715707342276104479813127981579464368226687581516779303951\ 42406877781446765/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^11 - 1991970060646493754079546788572605684084777500382996707741463316365\ 61495280596026030/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^10 + 1587188325491619941331425922544069359399990429916674751034510477556\ 34977821849153723/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^9 + 6872151741689330012226384243265188984462031956529804099897258724168\ 3735889050256743/65549358844398271600277761124831482186217685504160\ 290233348320965112517812543*c_0101_5^8 - 2066750850729700722867969179804727510041270538704934094949965587413\ 8136895991579108/65549358844398271600277761124831482186217685504160\ 290233348320965112517812543*c_0101_5^7 - 1345212738399610626603856412377492218478809903728361707777980833113\ 8532259599696815/65549358844398271600277761124831482186217685504160\ 290233348320965112517812543*c_0101_5^6 + 7727725264591280198997221883328247716208530067632527306028379502090\ 14037313461481/6554935884439827160027776112483148218621768550416029\ 0233348320965112517812543*c_0101_5^5 + 1371641619087787549581018560497534621849828404843662000942620493124\ 235008253277322/655493588443982716002777611248314821862176855041602\ 90233348320965112517812543*c_0101_5^4 + 8405387164678206432908043633277691835634284931258692465756319328780\ 3270638212465/65549358844398271600277761124831482186217685504160290\ 233348320965112517812543*c_0101_5^3 - 7022907593455702605625081474893425060786819923793161000014172705947\ 6957473595292/65549358844398271600277761124831482186217685504160290\ 233348320965112517812543*c_0101_5^2 - 7143539951089922298034035296686235529710820363155240606286705126539\ 422678170866/655493588443982716002777611248314821862176855041602902\ 33348320965112517812543*c_0101_5 + 2000651021067081590900997755417345263939963781804600789154646492049\ 397205579372/655493588443982716002777611248314821862176855041602902\ 33348320965112517812543, c_0101_0 + 144424002191350629893284939229877762086371658721284840967949\ 989680354915332447/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^35 - 6118983952069105445475243290199502542918368180002477105935053916722\ 095542290830/655493588443982716002777611248314821862176855041602902\ 33348320965112517812543*c_0101_5^34 + 5095202573898268474847900420803452668977446527758568105692352997431\ 3750547899461/65549358844398271600277761124831482186217685504160290\ 233348320965112517812543*c_0101_5^33 + 1384650056044240131308486584775755995800586065009370822488823562198\ 8844575316350/65549358844398271600277761124831482186217685504160290\ 233348320965112517812543*c_0101_5^32 - 5003980409939629857644245164022912972485311271856560305106809366528\ 29833857161214/6554935884439827160027776112483148218621768550416029\ 0233348320965112517812543*c_0101_5^31 - 1142758129956990786145363455016296937115042191987729296221630836646\ 951065485989671/655493588443982716002777611248314821862176855041602\ 90233348320965112517812543*c_0101_5^30 - 2549016124708683953368972211488488943753386307074051356844132830512\ 06358989548201/6554935884439827160027776112483148218621768550416029\ 0233348320965112517812543*c_0101_5^29 + 1815303595302298676849604823213856942799412176423153593734680883611\ 2938202855674306/65549358844398271600277761124831482186217685504160\ 290233348320965112517812543*c_0101_5^28 + 2209631234025622441092585216847464355456797900526552561910127944857\ 4728650838313334/65549358844398271600277761124831482186217685504160\ 290233348320965112517812543*c_0101_5^27 - 9564171874869945247721096181202592863319232920242835823177781613177\ 4018679756505259/65549358844398271600277761124831482186217685504160\ 290233348320965112517812543*c_0101_5^26 - 9847405556249063100680798935239736841504125324194876315499088467639\ 0062977926579265/65549358844398271600277761124831482186217685504160\ 290233348320965112517812543*c_0101_5^25 + 1964764542918204199547274641238818580707083939783829589540851833516\ 75268546574607842/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^24 + 6998089915230175979219388307093062015312180512629021449555470500893\ 1024145378123118/65549358844398271600277761124831482186217685504160\ 290233348320965112517812543*c_0101_5^23 + 3933573794178315479018403812288915305905875667724545118877571042429\ 0222300001989635/65549358844398271600277761124831482186217685504160\ 290233348320965112517812543*c_0101_5^22 + 7052790204717002239626762274773785390024063619822140265498612354688\ 13153036088500511/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^21 - 9878591843987621177681585160869573157629575287611172050898406708326\ 49927637291155165/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^20 - 2732600210054700700741685092810857532509119330841237947432390402503\ 282294956386935448/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^19 + 2082469039766454657486311550757732051798528137304224118895221594722\ 975932900641889076/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^18 + 4989391997474921925402779463421878708804945246619623988969015968292\ 294303150365750551/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^17 - 2109671004715949094129603590648300198515233631173095196917140425763\ 145287084173395914/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^16 - 5476592364574256511025466299654953739069179491839883602940854640229\ 558515581740001638/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^15 + 1009648180295291767148547970876712103867241195178001421395038629802\ 003973064569485049/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^14 + 3821929073519168387237825816504349922663217696426477806245252487820\ 698417020761134961/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^13 + 5460992011441259052338748989178591773230193767036636640699094092125\ 367214498467022/655493588443982716002777611248314821862176855041602\ 90233348320965112517812543*c_0101_5^12 - 1691259200240212147825536010055646791078741862205027896226271580663\ 765052992182406316/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^11 - 2669616606244048102890220068997132649641722604107306224070345063219\ 66100898159702222/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^10 + 4517045875132678350455986193377405701366767632374141516388322647693\ 89674420782113262/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^9 + 1379576512105148127547773529949055423753391439370067751833463647054\ 83060761467117366/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^8 - 6396384774649904513320944223543111112955600786171269373216414284704\ 6011663651827738/65549358844398271600277761124831482186217685504160\ 290233348320965112517812543*c_0101_5^7 - 3140159727808405640180736122213712617175951707570810618008565522715\ 3211576828939439/65549358844398271600277761124831482186217685504160\ 290233348320965112517812543*c_0101_5^6 + 3064952230472194419479709645269003328032816401237656053532443432308\ 648893090252481/655493588443982716002777611248314821862176855041602\ 90233348320965112517812543*c_0101_5^5 + 3338222784837748541868866523497005067875931428013031267236456120480\ 582633778225553/655493588443982716002777611248314821862176855041602\ 90233348320965112517812543*c_0101_5^4 + 1603837962649505574752890813668745978292454079985465709820390526377\ 39284478797424/6554935884439827160027776112483148218621768550416029\ 0233348320965112517812543*c_0101_5^3 - 1668065608984748874678419423337690197408943234791831980002648398800\ 43021049271338/6554935884439827160027776112483148218621768550416029\ 0233348320965112517812543*c_0101_5^2 - 1593589646141522919239170509497000469326666515097539809266200442564\ 0003494242219/65549358844398271600277761124831482186217685504160290\ 233348320965112517812543*c_0101_5 + 4405777489073846744178169939702769509544826948061799462045227030937\ 694376401042/655493588443982716002777611248314821862176855041602902\ 33348320965112517812543, c_0101_1 - 635548475276823357929460493610684859926533450262328852498808\ 259926243548435050/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^35 + 2042517368392146947126641119744406607496150986113631504492004155028\ 5954268240828/65549358844398271600277761124831482186217685504160290\ 233348320965112517812543*c_0101_5^34 - 1255185728070997827013046508006032212773876695617500565454074915328\ 7585290786917/65549358844398271600277761124831482186217685504160290\ 233348320965112517812543*c_0101_5^33 - 2776735787431021164780294125713655487810914464958561724440590735075\ 34952940719505/6554935884439827160027776112483148218621768550416029\ 0233348320965112517812543*c_0101_5^32 - 5447760070044235451838450698674518360792929205151889723590027106417\ 91589467703959/6554935884439827160027776112483148218621768550416029\ 0233348320965112517812543*c_0101_5^31 + 5914409581442375107973976762849412694666887137303939037374465445950\ 93455652561493/6554935884439827160027776112483148218621768550416029\ 0233348320965112517812543*c_0101_5^30 + 8985079623466882157061283997136396560401806106453426972880850790642\ 851141904060051/655493588443982716002777611248314821862176855041602\ 90233348320965112517812543*c_0101_5^29 + 8754898584685841664755687030147851872487344109333149988827221408434\ 945170276041160/655493588443982716002777611248314821862176855041602\ 90233348320965112517812543*c_0101_5^28 - 4438101075004426561377470613795377431681579163723763191377761648534\ 6635147716968178/65549358844398271600277761124831482186217685504160\ 290233348320965112517812543*c_0101_5^27 - 5394046775256430720810756526191300755054157645964825390023292099922\ 6943715786266551/65549358844398271600277761124831482186217685504160\ 290233348320965112517812543*c_0101_5^26 + 7806715844373478182625594463931280774655265167257454929398214157896\ 2052518922468537/65549358844398271600277761124831482186217685504160\ 290233348320965112517812543*c_0101_5^25 + 7339848410645888352029561615123484258465065283653061400454812967712\ 8429898958833642/65549358844398271600277761124831482186217685504160\ 290233348320965112517812543*c_0101_5^24 + 5699129148507553656928806191832597888507392594277864850452042360303\ 2946729695588582/65549358844398271600277761124831482186217685504160\ 290233348320965112517812543*c_0101_5^23 + 2789576906982419606360764080781265519021318745817627041887928671864\ 58250792528941212/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^22 - 4485042317086119109404749415349561179461086979956753937449427094183\ 12913897993250022/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^21 - 1339886433322774013041491066778568587581556372168965372157050661517\ 157358224939715927/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^20 + 7038298830059073272746379421823014197310128794925725014791352191226\ 69916338934118384/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^19 + 2595261689970914543141091298467042399736485329980690691596489267035\ 346857877000878554/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^18 - 3487905121261264372207633202939111205171895180300294765429088241317\ 47074317734898207/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^17 - 2894166783867402068075108593044831345158848783998454614303185847808\ 882649999000504169/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^16 - 3175916320548621936969361134892259689714658446698948967245556662686\ 01625546439916668/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^15 + 1983078873112324247543049103591326615277307246103465758515290019000\ 407119369658651521/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^14 + 5963785269621078812650314469462274816148815503933751491926464177931\ 74809274344616594/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^13 - 8179603187860272250502867024257523076682940762477409745836946049359\ 85752963890046329/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^12 - 4030790686794629105296808603535449628053795328540870175675934711603\ 83007181893145315/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^11 + 1784272319223683230834422745631041267560468888801286641621306751504\ 94263598817038894/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^10 + 1432447902289223932940816294572675341110131782708663065224555941206\ 09852993423609332/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^9 - 9135796702901544349047575719661954460126457312120009487365339060304\ 661440944955485/655493588443982716002777611248314821862176855041602\ 90233348320965112517812543*c_0101_5^8 - 2683818395613944935290006070495143918605051782974593946174944198879\ 4220174309184045/65549358844398271600277761124831482186217685504160\ 290233348320965112517812543*c_0101_5^7 - 3762394062069289143492689628771340473515112820897494587159265908247\ 584131166570277/655493588443982716002777611248314821862176855041602\ 90233348320965112517812543*c_0101_5^6 + 2312645958597276434145651262642299178756091480713490930948688833233\ 068075007214620/655493588443982716002777611248314821862176855041602\ 90233348320965112517812543*c_0101_5^5 + 6795727305346004372195463578043957225894681837292439192258812052717\ 24698492833544/6554935884439827160027776112483148218621768550416029\ 0233348320965112517812543*c_0101_5^4 - 6323669709587769745757859438569824539632318182224512603779476636504\ 8167965123457/65549358844398271600277761124831482186217685504160290\ 233348320965112517812543*c_0101_5^3 - 4055961394858209162359132448032140063471999402569440048656506994866\ 5457491495123/65549358844398271600277761124831482186217685504160290\ 233348320965112517812543*c_0101_5^2 - 9502025049313181588069559762776735271348337881214860555641799607943\ 06992498822/6554935884439827160027776112483148218621768550416029023\ 3348320965112517812543*c_0101_5 + 883803463637653474481491827283992\ 862792974966583909885267911591197239942796411/655493588443982716002\ 77761124831482186217685504160290233348320965112517812543, c_0101_3 + 131365278971490403619562557792991595818039499232494626962155\ 6353237547137625702/65549358844398271600277761124831482186217685504\ 160290233348320965112517812543*c_0101_5^35 - 4184014994839775030836617168451885619817346607796263378280519937507\ 6090439726370/65549358844398271600277761124831482186217685504160290\ 233348320965112517812543*c_0101_5^34 + 1371624595593865415164806216556087117170574036377278998470487330059\ 6045544589508/65549358844398271600277761124831482186217685504160290\ 233348320965112517812543*c_0101_5^33 + 5841209113184718835504811880297599314251852297798214404935318767782\ 37488419174711/6554935884439827160027776112483148218621768550416029\ 0233348320965112517812543*c_0101_5^32 + 1289498197108509230826329949606457773094608463917118679601514456981\ 606858166999981/655493588443982716002777611248314821862176855041602\ 90233348320965112517812543*c_0101_5^31 - 9372454809557765541989108622456606555781008166295454746356684619911\ 23486243075766/6554935884439827160027776112483148218621768550416029\ 0233348320965112517812543*c_0101_5^30 - 1899339049692780616341239366049189214370564340300466157632832727836\ 7055379378055473/65549358844398271600277761124831482186217685504160\ 290233348320965112517812543*c_0101_5^29 - 2333992217994025540463126306164587791424222962798821707802801001693\ 0317495857048722/65549358844398271600277761124831482186217685504160\ 290233348320965112517812543*c_0101_5^28 + 8775043858304078413830060338552323778776610551223207029902370963130\ 6372060708144792/65549358844398271600277761124831482186217685504160\ 290233348320965112517812543*c_0101_5^27 + 1389810073329009998597866361441116878480483494269166608008566172940\ 88839174332563675/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^26 - 1358405087697868398146040023756942165173681345254013384292510932329\ 03525355939001262/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^25 - 2054189411619971364119872359232964901895803183105275275785220430893\ 79900059529907041/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^24 - 1476233436710547693983832479157829539707875482894475338694594900782\ 31899831348519040/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^23 - 5999260959474839598170196910847556943216209701318433393899526534399\ 23148366284251589/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^22 + 7626674596235707070762123552502713829008710329068312500841745059130\ 31129664584619784/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^21 + 3074905977880734065893048557780143157823678603135106990781068169515\ 692132887326977399/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^20 - 7245839481018251647121180920316944714179920360667503742587817368076\ 21226132009597718/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^19 - 5979055089288040402106277326217399512008426631746987912761172435577\ 368880567078119298/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^18 - 6786421154343046290793862769291526247451186598775918314684578305708\ 57670826630232784/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^17 + 6586654070371712733626357575895243054541620073774519557486175766307\ 125396167985496052/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^16 + 2231570893159285490896342448437257347098217244927404539999563233821\ 529802117530133222/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^15 - 4375852342182763025796947970457797153114795875809709796575286445628\ 190653983053226930/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^14 - 2347031063212304818056243879719485649627788732027578051537314395135\ 768157496006156977/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^13 + 1677830048925493207130863461295476867364255433144036228199448661162\ 290433742986604457/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^12 + 1330181152684580161801179253881700219615568566944133148690156498229\ 060807915957665897/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^11 - 2869478524566538770278480503940077488812436543286422215242882172522\ 03820933344665769/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^10 - 4298553345105144263471071591988510785754032903275966981551924675405\ 07617807030148791/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^9 - 2229231528796537667093149138853286217369187010661017093623664834234\ 2692530101299037/65549358844398271600277761124831482186217685504160\ 290233348320965112517812543*c_0101_5^8 + 7480064187250009885535739908431381064897998615263075304394908971542\ 6890223579141355/65549358844398271600277761124831482186217685504160\ 290233348320965112517812543*c_0101_5^7 + 1714233375426534775777180554062723766021647027894013966036453932284\ 0138123873404216/65549358844398271600277761124831482186217685504160\ 290233348320965112517812543*c_0101_5^6 - 5816407733784784649776565112606048413972784604729088080123064112192\ 964230893130246/655493588443982716002777611248314821862176855041602\ 90233348320965112517812543*c_0101_5^5 - 2422909487582787467525874618345892784174231873845590639776281009798\ 939285560413377/655493588443982716002777611248314821862176855041602\ 90233348320965112517812543*c_0101_5^4 + 9876853221049538185789269811719350198848676310797172061994819967863\ 8516343737702/65549358844398271600277761124831482186217685504160290\ 233348320965112517812543*c_0101_5^3 + 1378908565512502945901910813613353205821546594630131161076985738392\ 11965895526056/6554935884439827160027776112483148218621768550416029\ 0233348320965112517812543*c_0101_5^2 + 5816963155255301491180007188571005139370424451535769810884047305048\ 414921891478/655493588443982716002777611248314821862176855041602902\ 33348320965112517812543*c_0101_5 - 3356036357582777834478207216858550799077596629715060384975753800094\ 050140677187/655493588443982716002777611248314821862176855041602902\ 33348320965112517812543, c_0101_4 + 164696001601115968815249734695303670579886327124606634157818\ 6179387173601618727/65549358844398271600277761124831482186217685504\ 160290233348320965112517812543*c_0101_5^35 - 5192466649500491821702684169515775417905974011644378472199941890282\ 1461862365927/65549358844398271600277761124831482186217685504160290\ 233348320965112517812543*c_0101_5^34 - 1802666350624698556249235005163709785752375772122226495262651431212\ 30506440618/6554935884439827160027776112483148218621768550416029023\ 3348320965112517812543*c_0101_5^33 + 7526593866729736550097139111266505760159989227059949561557241455517\ 99242773863818/6554935884439827160027776112483148218621768550416029\ 0233348320965112517812543*c_0101_5^32 + 1835159343553866673978946106060608284172645866328810714975715303697\ 312453013019960/655493588443982716002777611248314821862176855041602\ 90233348320965112517812543*c_0101_5^31 - 8400333571254384525294800918117803237955004427614545456440958849619\ 99287063014669/6554935884439827160027776112483148218621768550416029\ 0233348320965112517812543*c_0101_5^30 - 2446783750092335014894110160892718884448557196388202045377810415952\ 9833544726451649/65549358844398271600277761124831482186217685504160\ 290233348320965112517812543*c_0101_5^29 - 3635630068255111571948543650254912499085429438427003701745427062235\ 8296924751314478/65549358844398271600277761124831482186217685504160\ 290233348320965112517812543*c_0101_5^28 + 1066224351821879554312831595590079078798099338063958821920594742638\ 93938254893889516/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^27 + 2123523206449894188619757560471794901473314629425556917073145083692\ 18437208064077677/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^26 - 1472598660301258936854971555908957337390848782589672465533542816260\ 88091541149032637/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^25 - 3314594320543811838813014684425351427080176500026927982664476473036\ 76224493082831262/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^24 - 2015276496886544569633207023369838195919586958403150457788050256781\ 94054555207262217/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^23 - 7968921895631932651964272970699913856280758233936723151428007193248\ 49367466156992171/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^22 + 7467918179515889367023306225256308000158307669681558465616254005831\ 86707027137822049/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^21 + 4337418908896786126376196177362159729712351182935589390369225911976\ 667941995120051618/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^20 - 8882519306119133060928181915973077430965688346126095156354786828520\ 4226421897477616/65549358844398271600277761124831482186217685504160\ 290233348320965112517812543*c_0101_5^19 - 8493265872394393250763244431875348760669716942387960871839193589085\ 652178844275103014/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^18 - 2362711855505499478339872447994539980438022543419431450027487903104\ 539820116150387357/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^17 + 9319551678060076831379535693213228079556325430567513953186793443641\ 227577009687525765/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^16 + 4469579257357757431997146803521158311990246530020187668875545801098\ 493920261173089062/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^15 - 6103900030875305802465656193015201801746795261795016513859841015758\ 734195387692339077/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^14 - 4119046975119679263596187669756820777326890440041046304895839416517\ 335949338182431723/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^13 + 2255196013577356890554600123602782462545975664968076324955540800636\ 924079753346397572/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^12 + 2196237876546917824602477977628859634527045198316442123886677649995\ 158119902380935213/655493588443982716002777611248314821862176855041\ 60290233348320965112517812543*c_0101_5^11 - 3295885241905986435070340407673959719873405834141096368851692931784\ 49578283709416679/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^10 - 6847893592244611703004923587210913398362448899545937554349505370005\ 94440825171177970/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^9 - 5882547403335354627512006122658347197636907866037508745270342124397\ 5007322510496875/65549358844398271600277761124831482186217685504160\ 290233348320965112517812543*c_0101_5^8 + 1162000133426086593614551017268968345085946479064445370887863240345\ 22204133277847894/6554935884439827160027776112483148218621768550416\ 0290233348320965112517812543*c_0101_5^7 + 2967183295398168873943577733271372318939080346930107742483766801441\ 0621200826933647/65549358844398271600277761124831482186217685504160\ 290233348320965112517812543*c_0101_5^6 - 8778401903953864970046675050719568686923709348471553377570310232379\ 377954732795584/655493588443982716002777611248314821862176855041602\ 90233348320965112517812543*c_0101_5^5 - 3990423436917588936475946719071383025183398889338620362892991152661\ 338610056456017/655493588443982716002777611248314821862176855041602\ 90233348320965112517812543*c_0101_5^4 + 1227465167352602910960260619178126090112262479547573831985305152913\ 76594413510292/6554935884439827160027776112483148218621768550416029\ 0233348320965112517812543*c_0101_5^3 + 2246601034196789582119948417992970117426158640810462878423196890293\ 55435747862177/6554935884439827160027776112483148218621768550416029\ 0233348320965112517812543*c_0101_5^2 + 1046482914224536828027037598387307546066028272020779672335810948590\ 0370913489380/65549358844398271600277761124831482186217685504160290\ 233348320965112517812543*c_0101_5 - 5618562910518885397200971000923882461614016290874535929602639872835\ 758662495705/655493588443982716002777611248314821862176855041602902\ 33348320965112517812543, c_0101_5^36 - 32*c_0101_5^35 + 15*c_0101_5^34 + 450*c_0101_5^33 + 907*c_0101_5^32 - 948*c_0101_5^31 - 14485*c_0101_5^30 - 15335*c_0101_5^29 + 72297*c_0101_5^28 + 97149*c_0101_5^27 - 134632*c_0101_5^26 - 150360*c_0101_5^25 - 58527*c_0101_5^24 - 432037*c_0101_5^23 + 665183*c_0101_5^22 + 2336483*c_0101_5^21 - 1095790*c_0101_5^20 - 4804214*c_0101_5^19 + 571561*c_0101_5^18 + 5723679*c_0101_5^17 + 511827*c_0101_5^16 - 4298538*c_0101_5^15 - 1035638*c_0101_5^14 + 2055724*c_0101_5^13 + 764436*c_0101_5^12 - 602974*c_0101_5^11 - 312257*c_0101_5^10 + 96735*c_0101_5^9 + 74627*c_0101_5^8 - 5299*c_0101_5^7 - 10292*c_0101_5^6 - 582*c_0101_5^5 + 798*c_0101_5^4 + 102*c_0101_5^3 - 35*c_0101_5^2 - 5*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB