Magma V2.19-8 Tue Aug 20 2013 16:16:25 on localhost [Seed = 3103335509] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0696 geometric_solution 4.65479780 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 1023 3201 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 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.583469147134 0.428683888612 0 0 4 3 0132 2310 0132 0132 0 0 0 0 0 -1 0 1 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.233899761235 0.375760300616 2 0 0 2 3201 0132 1023 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.059424349926 0.262204877418 4 5 1 4 1230 0132 0132 1302 0 0 0 0 0 1 -1 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 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.650108302049 0.776920247548 5 3 3 1 0132 3012 2031 0132 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 1 0 0 -1 -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.650108302049 0.776920247548 4 3 6 6 0132 0132 3201 0132 0 0 0 0 0 -1 1 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 -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.912851414156 1.031411127164 5 6 5 6 2310 2310 0132 3201 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 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.349891697951 0.776920247548 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : negation(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' : negation(d['1']), 's_0_5' : negation(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' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_6'], '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_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0101_0']})} 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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 3887559274085372091787259046506506415520007756754148992149132726117\ 9081641636029/84772767907164723214127517789775833672737662232819718\ 820802358451705166656*c_0101_4^31 + 2948833473310553220729595366124986474801253564952235130677347457666\ 44574830739725/8477276790716472321412751778977583367273766223281971\ 8820802358451705166656*c_0101_4^30 + 6665424031932707644908504848751800476584121307059685773960453934960\ 70120111890977/8477276790716472321412751778977583367273766223281971\ 8820802358451705166656*c_0101_4^29 - 8664965648473771152175560864623498775498884511576792766717960791015\ 779761393820151/847727679071647232141275177897758336727376622328197\ 18820802358451705166656*c_0101_4^28 + 8040567994993932000665540158589188929502699435713845727485332032628\ 5972408035693/36857725177028140527881529473815579857712027057747703\ 83513146019639355072*c_0101_4^27 + 6522230004018956328088787631007588461194089065211999945103436339832\ 1962700971315823/84772767907164723214127517789775833672737662232819\ 718820802358451705166656*c_0101_4^26 + 8699307795950510000544628898944029925775857042547586965158552387864\ 0395443820937607/84772767907164723214127517789775833672737662232819\ 718820802358451705166656*c_0101_4^25 - 1272880418120839004684279248426905064572308883917292392632847115652\ 20219235335309689/2119319197679118080353187944744395841818441555820\ 4929705200589612926291664*c_0101_4^24 - 3872989690400492411703112105015307357157375157327640555197457450364\ 67609889357775025/4238638395358236160706375889488791683636883111640\ 9859410401179225852583328*c_0101_4^23 + 8573270673134562812558910785383250927949790088922089064444396542296\ 1452030547337461/38533076321438510551876144449898106214880755560372\ 59946400107202350234848*c_0101_4^22 + 4368497743269034296772621986189908353715686613176966727241116579045\ 028158033728423211/847727679071647232141275177897758336727376622328\ 19718820802358451705166656*c_0101_4^21 - 1178829270816504372905763427886975959306158317172509351946848562088\ 746036260351224657/211931919767911808035318794474439584181844155582\ 04929705200589612926291664*c_0101_4^20 - 7452426723488775668000198828787977129834269449083900351617872234921\ 599353482782286691/423863839535823616070637588948879168363688311164\ 09859410401179225852583328*c_0101_4^19 + 1300919385867375458709819101921722994691891926851747131130831554910\ 1566601251815414207/84772767907164723214127517789775833672737662232\ 819718820802358451705166656*c_0101_4^18 + 6625791750545204662885267869438596083466153774341506574806812742333\ 126684550101665271/211931919767911808035318794474439584181844155582\ 04929705200589612926291664*c_0101_4^17 - 1009962221568865544175961960731748603021157447916364620205804648500\ 0026643065527148967/42386383953582361607063758894887916836368831116\ 409859410401179225852583328*c_0101_4^16 - 4813000542459011704774318435054665619423053257477589814029620985890\ 9110766040097421809/84772767907164723214127517789775833672737662232\ 819718820802358451705166656*c_0101_4^15 + 1436185719233382858779723635545399803943663478438528604456837465872\ 6019155738719229037/21193191976791180803531879447443958418184415558\ 204929705200589612926291664*c_0101_4^14 + 1115336416323482774081958950694474356102835552832971104939033899898\ 0046449616722004739/42386383953582361607063758894887916836368831116\ 409859410401179225852583328*c_0101_4^13 - 7030792041369656925005525555618857832760435595950593068874597099628\ 7319666091963287129/84772767907164723214127517789775833672737662232\ 819718820802358451705166656*c_0101_4^12 + 8429885910137339058278791403685423722730276512110400373093638345938\ 357701909991032797/211931919767911808035318794474439584181844155582\ 04929705200589612926291664*c_0101_4^11 + 7454559773761930329606124012140371694002918471105137096125932046355\ 084424762331187665/423863839535823616070637588948879168363688311164\ 09859410401179225852583328*c_0101_4^10 - 3520547291690645669066490547257802463715568089512281653443727596982\ 00553004917186669/1324574498549448800220742465465247401136525972387\ 808106575036850807893229*c_0101_4^9 + 9737891893882594949934780271042986271294541219316315139330526906904\ 82700020788955061/1059659598839559040176593972372197920909220777910\ 2464852600294806463145832*c_0101_4^8 + 1470816006599721897285668131697228681356063136933596176445987660973\ 965676555336649157/847727679071647232141275177897758336727376622328\ 19718820802358451705166656*c_0101_4^7 - 1034509783445991178001793907092836037935505910956300647274467967042\ 922567951198232633/423863839535823616070637588948879168363688311164\ 09859410401179225852583328*c_0101_4^6 + 5558947627564223270073944732770775416967702337122545494030833643374\ 7460326969480793/77066152642877021103752288899796212429761511120745\ 19892800214404700469696*c_0101_4^5 + 4042951410610799397048766449760100435728803944991445656000455026816\ 228836935701995/423863839535823616070637588948879168363688311164098\ 59410401179225852583328*c_0101_4^4 - 5369449127245082415937990407523742397030373786571338382450937401705\ 8157329017192533/84772767907164723214127517789775833672737662232819\ 718820802358451705166656*c_0101_4^3 + 7003300847145960469658619749165269954522885525894225984198986258281\ 78652567370611/3853307632143851055187614444989810621488075556037259\ 946400107202350234848*c_0101_4^2 - 1205946674958344543594310717762189100219878299409837823010807791640\ 99806631124523/5298297994197795200882969861860989604546103889551232\ 426300147403231572916*c_0101_4 + 9366676172761086989910603293686693\ 1722149467627934470573857476954827826484119531/84772767907164723214\ 127517789775833672737662232819718820802358451705166656, c_0011_0 - 1, c_0011_3 - 573799298531823956931242695938215938725359237592768838641822\ 5126004826670902/13245744985494488002207424654652474011365259723878\ 08106575036850807893229*c_0101_4^31 + 4351849549316055501492760196368613947424510106634597130343050512362\ 4371609401/13245744985494488002207424654652474011365259723878081065\ 75036850807893229*c_0101_4^30 + 98422097842230584176660555091111598\ 126165474247632100563574903717934072351656/132457449854944880022074\ 2465465247401136525972387808106575036850807893229*c_0101_4^29 - 1278809215551121925305951587810142508530178049707782430366755238259\ 343834097989/132457449854944880022074246546524740113652597238780810\ 6575036850807893229*c_0101_4^28 + 118136641574527883895557500224714\ 43603334933828299692460657982996852337540318/5759019558910646957481\ 4889802836843527675042277730787242392906556864923*c_0101_4^27 + 9626185877161180547117637832025013556414192406786160012168804819742\ 705449249134/132457449854944880022074246546524740113652597238780810\ 6575036850807893229*c_0101_4^26 + 128498293096060289130761480749300\ 75637544467395657313229372241603876845602925864/1324574498549448800\ 220742465465247401136525972387808106575036850807893229*c_0101_4^25 - 7513049458161664436205851329688865936538062609963473443073233147721\ 4619542509761/13245744985494488002207424654652474011365259723878081\ 06575036850807893229*c_0101_4^24 - 1143956764274232243101411334128502725078842266693470018047366002477\ 74185921673864/1324574498549448800220742465465247401136525972387808\ 106575036850807893229*c_0101_4^23 + 2529319490114931412502910841708108419347741914067547746235726909252\ 3208433914848/12041586350449534547461295140593158192150236112616437\ 3325003350073444839*c_0101_4^22 + 644973041298767542049028595011242\ 431882681379051099201449892147777528711097158488/132457449854944880\ 0220742465465247401136525972387808106575036850807893229*c_0101_4^21 - 69516668748109968590063145438085353302913166715468020162627001102\ 3173928647299294/13245744985494488002207424654652474011365259723878\ 08106575036850807893229*c_0101_4^20 - 2200149874602382334506056069662728017821768550663435494517681481445\ 851437972981227/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^19 + 1917639357594951740554197011161761086121239429752048958190312198090\ 767500792699187/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^18 + 3912211443511713249212556566273768200020233116381169924968459501057\ 573168887458760/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^17 - 2976819754182871678555019894875382277969094142294872755347973050633\ 121266802991561/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^16 - 7104088310239504185355783359890914638643766912234319780015276154198\ 209083633433490/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^15 + 8471225728166126490020009340083398281410544521295054778326010220304\ 282909434894522/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^14 + 3296074792924255173551867204013991860613285747983608924729911642516\ 922923016649533/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^13 - 1037071762306322840003846203561609534449316386558784594620398784818\ 8592582920382090/13245744985494488002207424654652474011365259723878\ 08106575036850807893229*c_0101_4^12 + 4970104390581275554395959551989070188284877180418965491964118557830\ 604703602979741/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^11 + 2200539078287745319741496196564591909265583914907616034458989054260\ 807101087178730/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^10 - 3322548268911360406093721205089649593801139068989693688398447978835\ 707074719321791/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^9 + 1148343298051576124929919881554167862579930062944472280844787899596\ 829247871853939/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^8 + 2169661375577078703722300847974789245933262592556407618376577002874\ 59489265915276/1324574498549448800220742465465247401136525972387808\ 106575036850807893229*c_0101_4^7 - 3050467388878269068128168440307160306014951833892410440916547264819\ 77058965960144/1324574498549448800220742465465247401136525972387808\ 106575036850807893229*c_0101_4^6 + 8196078655573985453958464704944175692899107272015203386978353609040\ 440297424509/120415863504495345474612951405931581921502361126164373\ 325003350073444839*c_0101_4^5 + 11855696535333265580136680119887300\ 94043446119255724881601330938740612924281486/1324574498549448800220\ 742465465247401136525972387808106575036850807893229*c_0101_4^4 - 7915194597917063770058704867931314473026234433708925772634279048415\ 829875114741/132457449854944880022074246546524740113652597238780810\ 6575036850807893229*c_0101_4^3 + 2065670318420908330395443825804954\ 01671144415150269934591298560262409923989714/1204158635044953454746\ 12951405931581921502361126164373325003350073444839*c_0101_4^2 - 2847719747508802103066861779527461038645976574189474142995099461154\ 29912480542/1324574498549448800220742465465247401136525972387808106\ 575036850807893229*c_0101_4 + 1384032574508785282720052246682127568\ 3121027015386012433625873082006051421928/13245744985494488002207424\ 65465247401136525972387808106575036850807893229, c_0011_6 - 729566360070165746964826229941034564302250874392790645397397\ 4069972379688474/13245744985494488002207424654652474011365259723878\ 08106575036850807893229*c_0101_4^31 + 5533201214056856616156163294771771784421794974368435669171728328041\ 7020495081/13245744985494488002207424654652474011365259723878081065\ 75036850807893229*c_0101_4^30 + 12514261541594501827280792184276300\ 0965020930245338451185822483876502001766440/13245744985494488002207\ 42465465247401136525972387808106575036850807893229*c_0101_4^29 - 1625958445562704409838965017598302538981503348178490844719740449463\ 397777411604/132457449854944880022074246546524740113652597238780810\ 6575036850807893229*c_0101_4^28 + 150177716430368875614525708481467\ 11120247175234091675454499137280619077247097/5759019558910646957481\ 4889802836843527675042277730787242392906556864923*c_0101_4^27 + 1223940380322653013667679939719585801890923532169688882438943859972\ 9378489749002/13245744985494488002207424654652474011365259723878081\ 06575036850807893229*c_0101_4^26 + 1633865019661480681126324731884273849937199587921241865905142350112\ 0694353647162/13245744985494488002207424654652474011365259723878081\ 06575036850807893229*c_0101_4^25 - 9552541869742691005185599790715905603620644017761698596024551119389\ 3856756946770/13245744985494488002207424654652474011365259723878081\ 06575036850807893229*c_0101_4^24 - 1454546853287671376216734413870748608443424961631312225408204323774\ 24087706184799/1324574498549448800220742465465247401136525972387808\ 106575036850807893229*c_0101_4^23 + 3215897572024387302157797938290321519933904830781431310388241402926\ 4563558852290/12041586350449534547461295140593158192150236112616437\ 3325003350073444839*c_0101_4^22 + 820080609381684767982885380964813\ 596272377711709963126284358028505291453773787849/132457449854944880\ 0220742465465247401136525972387808106575036850807893229*c_0101_4^21 - 88384596223292153966236918003036888176678031795578345228294175429\ 0044760546742264/13245744985494488002207424654652474011365259723878\ 08106575036850807893229*c_0101_4^20 - 2797470923577822175394814141506626246094253702984522878785713056388\ 088011112882563/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^19 + 2438077228450331506442799679235981118420008862333428786269486413001\ 602272284735508/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^18 + 4974382735642676083268270756685781714604921062961167889914776961907\ 653233818323933/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^17 - 3784650505999684062750409843693132876599591403175021906989359879277\ 302768285494332/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^16 - 9032817742501390669884145857473605756926816556726572992714649298994\ 822040562061756/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^15 + 1077037558925520420595914640522103331946572940352518783669358966866\ 2329341586805568/13245744985494488002207424654652474011365259723878\ 08106575036850807893229*c_0101_4^14 + 4191356240536597495938684253991575649281715674952777618536627567569\ 609566933107111/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^13 - 1318567024598579056903708706096016601224266151716652944042708425943\ 6759755653543102/13245744985494488002207424654652474011365259723878\ 08106575036850807893229*c_0101_4^12 + 6318666001973354943321611600852163034054445693481662676003924107260\ 295272646811066/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^11 + 2798052038263712987304886883560845266499864102876877234200683582685\ 922121221357439/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^10 - 4224267884426815018336770239920054011761174418258873328226443359958\ 692919033816553/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^9 + 1459912333402580050789361507830982515886954069393041749002318763960\ 357689109998188/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^8 + 2758741382548933626837769748081717214693247902377632597699044237025\ 55402459739232/1324574498549448800220742465465247401136525972387808\ 106575036850807893229*c_0101_4^7 - 3878260827617849583209552510009427225314217590995761403970509918541\ 44200616582507/1324574498549448800220742465465247401136525972387808\ 106575036850807893229*c_0101_4^6 + 1041995034367241029132783516107504899603531724131492126304390925472\ 7725982063218/12041586350449534547461295140593158192150236112616437\ 3325003350073444839*c_0101_4^5 + 1507605125316479443745789323179968\ 736938547217007693424812891703366929502678553/132457449854944880022\ 0742465465247401136525972387808106575036850807893229*c_0101_4^4 - 1006293361742212059101299682886964535703173024014337705785750636771\ 9203017873998/13245744985494488002207424654652474011365259723878081\ 06575036850807893229*c_0101_4^3 + 262620534818412014939289354559123\ 661863549691642856319120808396635067265731887/120415863504495345474\ 612951405931581921502361126164373325003350073444839*c_0101_4^2 - 3620622803010021934736096999919225488655064077678328710768046790632\ 45451919640/1324574498549448800220742465465247401136525972387808106\ 575036850807893229*c_0101_4 + 1759817313413466348886379885655207372\ 9777350770885237770158566803434774035318/13245744985494488002207424\ 65465247401136525972387808106575036850807893229, c_0101_0 - 211385038373091435245038578219145539167167163419555658357990\ 1471847094492591/13245744985494488002207424654652474011365259723878\ 08106575036850807893229*c_0101_4^31 + 1602864444521083865669904471546717964228799234431065333749609820155\ 0918743149/13245744985494488002207424654652474011365259723878081065\ 75036850807893229*c_0101_4^30 + 36282319420088513524622939510988879\ 896961307262656796234231034801928224331181/132457449854944880022074\ 2465465247401136525972387808106575036850807893229*c_0101_4^29 - 4710386079257005154409865615219410529623370484948447996047587022144\ 24279397880/1324574498549448800220742465465247401136525972387808106\ 575036850807893229*c_0101_4^28 + 4320652747012860782266853075126669\ 748117511143652153220196499935974301423446/575901955891064695748148\ 89802836843527675042277730787242392906556864923*c_0101_4^27 + 3546073382532491367595914955762053072664551269228989532936551008928\ 508969605857/132457449854944880022074246546524740113652597238780810\ 6575036850807893229*c_0101_4^26 + 473947759325056886943438831680032\ 2656231589554987033358499293012144361821340207/13245744985494488002\ 20742465465247401136525972387808106575036850807893229*c_0101_4^25 - 2766763374994129789124554944198605021369101811294595038239185841718\ 4401719524868/13245744985494488002207424654652474011365259723878081\ 06575036850807893229*c_0101_4^24 - 4218312563670881488938163963320984152862976510691508689624860158057\ 1431630882026/13245744985494488002207424654652474011365259723878081\ 06575036850807893229*c_0101_4^23 + 9310044933658964965750012333385909147261018400663443472396012306190\ 619130293632/120415863504495345474612951405931581921502361126164373\ 325003350073444839*c_0101_4^22 + 2377343964815623220015589361945468\ 78806126527938776974231792347678480424261712501/1324574498549448800\ 220742465465247401136525972387808106575036850807893229*c_0101_4^21 - 2556492114254960222831142229182532216664940280777687900266839056543\ 61118920603355/1324574498549448800220742465465247401136525972387808\ 106575036850807893229*c_0101_4^20 - 8107463870659261767343680005101198059258627124605375563963541262276\ 09529099112004/1324574498549448800220742465465247401136525972387808\ 106575036850807893229*c_0101_4^19 + 7050067309910995162396787043116896452900321778966074828345524093983\ 48289781831503/1324574498549448800220742465465247401136525972387808\ 106575036850807893229*c_0101_4^18 + 1441736536405521004014557845836067235367750671008218852952668507507\ 641774625435859/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^17 - 1093970493776002517677585685845540147391773675126819647205518605036\ 793181827951656/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^16 - 2617688451721005889215570176325776715703292678346143935880212318301\ 515872770319014/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^15 + 3116048690571765663206009532368610651674341059278232124832216688891\ 212057629323290/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^14 + 1217137645187391603902531412287214532261870451303158969933280737063\ 509154637058034/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^13 - 3816819745996830436362728426465737286205119400175254333321673607369\ 661074311676812/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^12 + 1826308668082314731993628366987905117518553113982179085740557347191\ 093534884329376/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^11 + 8111126962192126931029265820586194936893093117226501024172789106450\ 42761108386374/1324574498549448800220742465465247401136525972387808\ 106575036850807893229*c_0101_4^10 - 1222110932626465432723214887958332852436767732434605069846363905974\ 969702235644252/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^9 + 4219366017863372340525609564805078511437159048105886682299073033366\ 73444863190447/1324574498549448800220742465465247401136525972387808\ 106575036850807893229*c_0101_4^8 + 7993124901414741281310410532088358060049542033399535840221761926982\ 0139176947140/13245744985494488002207424654652474011365259723878081\ 06575036850807893229*c_0101_4^7 - 112158978095880399156585969488623\ 632280776911027359416246011052025680851508706816/132457449854944880\ 0220742465465247401136525972387808106575036850807893229*c_0101_4^6 + 3012364100086192293397233969490078963287843015578030994825960263053\ 234177640263/120415863504495345474612951405931581921502361126164373\ 325003350073444839*c_0101_4^5 + 43627587141159390598459095273348395\ 8487727819087810436853388101596392538827068/13245744985494488002207\ 42465465247401136525972387808106575036850807893229*c_0101_4^4 - 2909343300890995917495682777736308453336315084845387757333033737828\ 561993354336/132457449854944880022074246546524740113652597238780810\ 6575036850807893229*c_0101_4^3 + 7595526703463292008542811607284275\ 9238380136048273117346215250673631609564445/12041586350449534547461\ 2951405931581921502361126164373325003350073444839*c_0101_4^2 - 1048067664283944203913830146898609208737614574304430735244270017445\ 86986927811/1324574498549448800220742465465247401136525972387808106\ 575036850807893229*c_0101_4 + 5101686153778009121999145341249224579\ 394212439891639097953695815878377334339/132457449854944880022074246\ 5465247401136525972387808106575036850807893229, c_0101_1 - 770412135481369263329817008499384894597016048606659980777023\ 3934923870779474/13245744985494488002207424654652474011365259723878\ 08106575036850807893229*c_0101_4^31 + 5841281043400421267197710224360509941795514327792394810563523372545\ 3843133997/13245744985494488002207424654652474011365259723878081065\ 75036850807893229*c_0101_4^30 + 13227437255501123223688544675602131\ 8540466826539497545472316471067827046513892/13245744985494488002207\ 42465465247401136525972387808106575036850807893229*c_0101_4^29 - 1716669754868866156146906752110513693387385446409160804076634482592\ 099520211172/132457449854944880022074246546524740113652597238780810\ 6575036850807893229*c_0101_4^28 + 156964585140587483474587199748542\ 32856014897634340907003653268812399466752247/5759019558910646957481\ 4889802836843527675042277730787242392906556864923*c_0101_4^27 + 1292462215246623498917417588450926937352808597624399524309187877984\ 3026071500600/13245744985494488002207424654652474011365259723878081\ 06575036850807893229*c_0101_4^26 + 1728201587106749635638952112613929985674552698289162764705797276147\ 5752276434648/13245744985494488002207424654652474011365259723878081\ 06575036850807893229*c_0101_4^25 - 1008290245242950836524433066038565675253615478217274676247025425779\ 62182119532100/1324574498549448800220742465465247401136525972387808\ 106575036850807893229*c_0101_4^24 - 1538117744325214120132954119730118769122632816335632127537306383522\ 51489110963929/1324574498549448800220742465465247401136525972387808\ 106575036850807893229*c_0101_4^23 + 3392419472903035782285298340452890537143419887312583623723183604905\ 7260966070314/12041586350449534547461295140593158192150236112616437\ 3325003350073444839*c_0101_4^22 + 866736544810023510631473084199121\ 581022193094437104895382856109973349384078308020/132457449854944880\ 0220742465465247401136525972387808106575036850807893229*c_0101_4^21 - 93124359752445567496585534841590930417535238055817773580835474233\ 0405688780358010/13245744985494488002207424654652474011365259723878\ 08106575036850807893229*c_0101_4^20 - 2955699076108874417742829113998874076858893897082608037149710104886\ 265640818559223/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^19 + 2567658656663005205004314723880445538695025788015928628398822347300\ 385104003249705/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^18 + 5257044377367676263043226556440507848555217335041508781715971571167\ 209525258911083/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^17 - 3983919260620030353875578614571437622403466085500702369525427708655\ 207518827388294/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^16 - 9544571030121851791432090570343170752610416388052083491688087224917\ 759686897353570/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^15 + 1135079481908754963540440340272203892551337216785583333051767933028\ 2009353725353923/13245744985494488002207424654652474011365259723878\ 08106575036850807893229*c_0101_4^14 + 4446146037693365191254112572559499799225285707291647375277898145686\ 667529263548325/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^13 - 1390940740745675129416515388180133773394401130581190644949893657022\ 0769944305859498/13245744985494488002207424654652474011365259723878\ 08106575036850807893229*c_0101_4^12 + 6644776176114761445842932845267509314169146845040220774390268523550\ 093766543077874/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^11 + 2963135078129476470212285879949342218688973584919482841718085669825\ 423055950836337/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^10 - 4452209792665984438943485381545452553165699406363154771840829026846\ 753399106370209/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^9 + 1533705033647648865590158161160503093316345218414871833889066984895\ 193823010166050/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^8 + 2928902687766859029244311173240294781347425451148050307044251155167\ 61866830963284/1324574498549448800220742465465247401136525972387808\ 106575036850807893229*c_0101_4^7 - 4085181363115741947923233982417498513454043727219898845953738073562\ 62395944398913/1324574498549448800220742465465247401136525972387808\ 106575036850807893229*c_0101_4^6 + 1094215863907973508383887814931922349232424906783381396622880011322\ 6484576858396/12041586350449534547461295140593158192150236112616437\ 3325003350073444839*c_0101_4^5 + 1702928798531366473835285062306630\ 420685070311016587434552401511608515095825256/132457449854944880022\ 0742465465247401136525972387808106575036850807893229*c_0101_4^4 - 1059653040663874263495638174853271113597829600151773725448477145101\ 1193109435128/13245744985494488002207424654652474011365259723878081\ 06575036850807893229*c_0101_4^3 + 275811440250560386456494307675167\ 626424653750764255843662201832881838452668706/120415863504495345474\ 612951405931581921502361126164373325003350073444839*c_0101_4^2 - 3794699731154467394092720172116944495155868569133919021486577938918\ 31793329393/1324574498549448800220742465465247401136525972387808106\ 575036850807893229*c_0101_4 + 1840771807037603927328730689923980206\ 4257031912886338863984541538366234672801/13245744985494488002207424\ 65465247401136525972387808106575036850807893229, c_0101_2 + 476658862270986422999232003473725771602054805434761743570678\ 921467729248879/132457449854944880022074246546524740113652597238780\ 8106575036850807893229*c_0101_4^31 - 3601199497118192097911976142625567787409607267281789143759332064852\ 816756355/132457449854944880022074246546524740113652597238780810657\ 5036850807893229*c_0101_4^30 - 827772971762050315663125795628103585\ 9438481640755777819453689302982352742334/13245744985494488002207424\ 65465247401136525972387808106575036850807893229*c_0101_4^29 + 1059651456995630960295897555281064777520860069894069179574704346942\ 30450534351/1324574498549448800220742465465247401136525972387808106\ 575036850807893229*c_0101_4^28 - 8496292637578082114760917290393785\ 42445705896011574004054050434634729813949/5759019558910646957481488\ 9802836843527675042277730787242392906556864923*c_0101_4^27 - 7994870080242621951477538852257038400139565955199277151090014670200\ 52046636121/1324574498549448800220742465465247401136525972387808106\ 575036850807893229*c_0101_4^26 - 1090790366169472201685663533541397\ 356449581321939820918830837317907699188171012/132457449854944880022\ 0742465465247401136525972387808106575036850807893229*c_0101_4^25 + 6203642319926402198561982589245697530692927755171729133646597274259\ 882989917960/132457449854944880022074246546524740113652597238780810\ 6575036850807893229*c_0101_4^24 + 967535381594902129858403027415413\ 4898287968545454945065321457482351546700241883/13245744985494488002\ 20742465465247401136525972387808106575036850807893229*c_0101_4^23 - 2071585393485589135274260008813801638258291323911056770983474684163\ 776110966126/120415863504495345474612951405931581921502361126164373\ 325003350073444839*c_0101_4^22 - 5416775993569692151757193951036137\ 7773229118363712417644807509369284381283467607/13245744985494488002\ 20742465465247401136525972387808106575036850807893229*c_0101_4^21 + 5601723827942269580902253775685846723773358451875864806984240383353\ 5132085684471/13245744985494488002207424654652474011365259723878081\ 06575036850807893229*c_0101_4^20 + 1839921790192615470033899436426291692399340992233946854082974867134\ 19995467940637/1324574498549448800220742465465247401136525972387808\ 106575036850807893229*c_0101_4^19 - 1535979608923759639272456943087103740498617362927466345365058134803\ 60096803815923/1324574498549448800220742465465247401136525972387808\ 106575036850807893229*c_0101_4^18 - 3281002494952615210421190226102586116050766348487541686945058833700\ 32962658411045/1324574498549448800220742465465247401136525972387808\ 106575036850807893229*c_0101_4^17 + 2368515351207656976995260713116702412767806110164927738214103019024\ 46974016496682/1324574498549448800220742465465247401136525972387808\ 106575036850807893229*c_0101_4^16 + 5945359355294284856656146740919814457629592266420134315159637095995\ 48111364775702/1324574498549448800220742465465247401136525972387808\ 106575036850807893229*c_0101_4^15 - 6851041881136606424826807301146476138192955166931038017786232467887\ 31522849495346/1324574498549448800220742465465247401136525972387808\ 106575036850807893229*c_0101_4^14 - 2892905949459784752437336568032339251405771853725011352990275477837\ 08455377314812/1324574498549448800220742465465247401136525972387808\ 106575036850807893229*c_0101_4^13 + 8489884505925975805836289623054893685070527620902443838810869992635\ 94443479392467/1324574498549448800220742465465247401136525972387808\ 106575036850807893229*c_0101_4^12 - 3909978166425617018803355292852100062019758043001676692850949994420\ 68759481744795/1324574498549448800220742465465247401136525972387808\ 106575036850807893229*c_0101_4^11 - 1886452851299770753857750141749778969105585702536865962730232106792\ 77556773758170/1324574498549448800220742465465247401136525972387808\ 106575036850807893229*c_0101_4^10 + 2688330265726332553258969455254113811234886509197101777880910076504\ 77358399619531/1324574498549448800220742465465247401136525972387808\ 106575036850807893229*c_0101_4^9 - 8929715215648096974149903996061717223951531512845405961692768008321\ 7622414047394/13245744985494488002207424654652474011365259723878081\ 06575036850807893229*c_0101_4^8 - 190387186326772336722010962510697\ 79888242289304452270008808984511363565575047338/1324574498549448800\ 220742465465247401136525972387808106575036850807893229*c_0101_4^7 + 2448707887190215067538691458935736591185250843781528502404252107723\ 9043615003069/13245744985494488002207424654652474011365259723878081\ 06575036850807893229*c_0101_4^6 - 635144217352846994826888758125210\ 714845706056908213787577935875482493757147952/120415863504495345474\ 612951405931581921502361126164373325003350073444839*c_0101_4^5 - 1690411562958439689799548859222185884138076170401259976014762592472\ 34305305983/1324574498549448800220742465465247401136525972387808106\ 575036850807893229*c_0101_4^4 + 63220603113011040199037018307932845\ 3785010186067105001317260251003761044514119/13245744985494488002207\ 42465465247401136525972387808106575036850807893229*c_0101_4^3 - 1605691530363924324446444191167016237216403318659944803371841669744\ 1132349148/12041586350449534547461295140593158192150236112616437332\ 5003350073444839*c_0101_4^2 + 2174447821224618354014298452764674611\ 2197482273461781634149921161217215812400/13245744985494488002207424\ 65465247401136525972387808106575036850807893229*c_0101_4 - 1043824458938252367513954219797604864979978125606591249676508256812\ 633424946/132457449854944880022074246546524740113652597238780810657\ 5036850807893229, c_0101_4^32 - 8*c_0101_4^31 - 14*c_0101_4^30 + 230*c_0101_4^29 - 140*c_0101_4^28 - 1658*c_0101_4^27 - 1542*c_0101_4^26 + 14025*c_0101_4^25 + 14494*c_0101_4^24 - 56780*c_0101_4^23 - 92253*c_0101_4^22 + 167893*c_0101_4^21 + 333106*c_0101_4^20 - 493629*c_0101_4^19 - 542991*c_0101_4^18 + 802298*c_0101_4^17 + 1022619*c_0101_4^16 - 1991127*c_0101_4^15 + 38942*c_0101_4^14 + 2046495*c_0101_4^13 - 1617295*c_0101_4^12 - 23854*c_0101_4^11 + 738598*c_0101_4^10 - 440712*c_0101_4^9 + 45263*c_0101_4^8 + 68905*c_0101_4^7 - 37797*c_0101_4^6 + 6315*c_0101_4^5 + 1467*c_0101_4^4 - 969*c_0101_4^3 + 214*c_0101_4^2 - 23*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB