Magma V2.19-8 Tue Aug 20 2013 16:17:55 on localhost [Seed = 1916006066] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2148 geometric_solution 5.63021282 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 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 1.492508519147 0.215950856461 0 2 2 0 3201 0132 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 -1 0 1 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 1.162326355188 0.307491297700 3 1 1 4 0132 0132 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 1 0 -1 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.733105241888 0.486107425412 2 5 4 6 0132 0132 3201 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 -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.265301394396 0.790653319916 3 6 2 5 2310 1023 0132 1023 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 -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.265301394396 0.790653319916 5 3 5 4 2310 0132 3201 1023 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.515383902408 0.766016963325 4 6 3 6 1023 1302 0132 2031 0 0 0 0 0 1 0 -1 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 1 0 -1 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.391904247202 1.452917250152 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : 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' : 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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(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_1, c_0011_4, c_0101_0, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t - 40011317269655105006638319099703725783963782473210739966721751590/2\ 177401634024864398698511760692541264153988853772581378315353*c_0101\ _5^33 + 25859660973861344578719874053351968564775994399414917227813\ 1147431/21774016340248643986985117606925412641539888537725813783153\ 53*c_0101_5^32 + 45958934757765701951148655991393297638180678174370\ 5481212775637407/72580054467495479956617058689751375471799628459086\ 0459438451*c_0101_5^31 - 493831882973468283336466316470334871072096\ 7073570266150426772129119/21774016340248643986985117606925412641539\ 88853772581378315353*c_0101_5^30 - 1452186137973528449454554586389779640239733737301419914207909932526\ 7/2177401634024864398698511760692541264153988853772581378315353*c_0\ 101_5^29 + 16826373763371500206277831061223944790584047925134070204\ 941169791461/725800544674954799566170586897513754717996284590860459\ 438451*c_0101_5^28 + 6459390740278031436945504430248608805047060731\ 0418272827719720823532/21774016340248643986985117606925412641539888\ 53772581378315353*c_0101_5^27 - 37034207343452068728707890553205577\ 1530952357925838061835510870133519/21774016340248643986985117606925\ 41264153988853772581378315353*c_0101_5^26 - 9786579336211367112683259557842328926868327930597089247138890521911\ /241933514891651599855390195632504584905998761530286819812817*c_010\ 1_5^25 + 1663983107153175879609143606166418998778748049660467154185\ 528164659217/217740163402486439869851176069254126415398885377258137\ 8315353*c_0101_5^24 - 275236668731874702245096944695040472419202805\ 275538933334095099261161/725800544674954799566170586897513754717996\ 284590860459438451*c_0101_5^23 - 1415825668454110088436767437502119\ 112599313041675111758396564984840617/725800544674954799566170586897\ 513754717996284590860459438451*c_0101_5^22 + 5192667773976551659630963691584926926709687607372064578189170771392\ 156/2177401634024864398698511760692541264153988853772581378315353*c\ _0101_5^21 + 158833983714636877279034018060753160159125171458803531\ 2434467561033502/72580054467495479956617058689751375471799628459086\ 0459438451*c_0101_5^20 - 411614254786328333340915612258071594464550\ 7884966221909851593226932287/72580054467495479956617058689751375471\ 7996284590860459438451*c_0101_5^19 + 1470622196875000865664738210705681969758496129677257146170720579593\ 889/2177401634024864398698511760692541264153988853772581378315353*c\ _0101_5^18 + 135131964019946870658146443939854186841111950203417764\ 92886065406332344/2177401634024864398698511760692541264153988853772\ 581378315353*c_0101_5^17 - 2674127593725132185360337257225549606332\ 154720901451236293882544748325/725800544674954799566170586897513754\ 717996284590860459438451*c_0101_5^16 - 7389306165187145992934759347268465535343356369051767127027448417976\ 831/2177401634024864398698511760692541264153988853772581378315353*c\ _0101_5^15 + 734678034662024655051393851564967927818894119471084173\ 5799331747644350/21774016340248643986985117606925412641539888537725\ 81378315353*c_0101_5^14 + 91667087573954817849585492129425285345211\ 4953014751671035015456394908/72580054467495479956617058689751375471\ 7996284590860459438451*c_0101_5^13 - 4237535144868951492917420230847126296053673765359566485570833375202\ 330/2177401634024864398698511760692541264153988853772581378315353*c\ _0101_5^12 - 508314243988910915123474172014023112141101191948391104\ 13860793643935/1674924333865280306691162892840416357041529887517370\ 29101181*c_0101_5^11 + 16708662263726899712036332804534956742553304\ 34598639618303520939301532/2177401634024864398698511760692541264153\ 988853772581378315353*c_0101_5^10 + 1829263939762828364192008445055168543061651559275671874391513220224\ 98/2177401634024864398698511760692541264153988853772581378315353*c_\ 0101_5^9 - 53776850530736514149970366808217827613814111047981115170\ 5600576680599/21774016340248643986985117606925412641539888537725813\ 78315353*c_0101_5^8 - 454002378661864484130285864355417652400723992\ 36703824643638870888825/2177401634024864398698511760692541264153988\ 853772581378315353*c_0101_5^7 + 13664691649410774954843811848118675\ 5239495475666174872632054903071089/21774016340248643986985117606925\ 41264153988853772581378315353*c_0101_5^6 + 1149947424800318940552034266832981805593770563572342390933748525039\ /725800544674954799566170586897513754717996284590860459438451*c_010\ 1_5^5 - 22368733239429037604946395266786744506500594671453510557503\ 496842017/217740163402486439869851176069254126415398885377258137831\ 5353*c_0101_5^4 + 1193215598312314845066020728779414503061092574420\ 1290641275207748/55830811128842676889705429761347211901384329583912\ 343033727*c_0101_5^3 + 19783719059514026989485552134088201478020490\ 21049217260116883033543/2177401634024864398698511760692541264153988\ 853772581378315353*c_0101_5^2 - 59215132187331534015258444020882531\ 996776985169455505137222769173/217740163402486439869851176069254126\ 4153988853772581378315353*c_0101_5 - 72048435917161400745818498763508403840462830997473459527025730339/2\ 177401634024864398698511760692541264153988853772581378315353, c_0011_0 - 1, c_0011_1 + 410923337686894562729853536436640822341288338898559923540/22\ 43011977375062347422981389311285681627268072151072397*c_0101_5^33 - 2611754688430375900894650103297704426659175710217227555718/22430119\ 77375062347422981389311285681627268072151072397*c_0101_5^32 - 14427990515964600933102820919098389585605938614261339257271/2243011\ 977375062347422981389311285681627268072151072397*c_0101_5^31 + 49106659214531419822827550137474964449517293326230609944305/2243011\ 977375062347422981389311285681627268072151072397*c_0101_5^30 + 153882965996144145199759750590394168883231750619299362019458/224301\ 1977375062347422981389311285681627268072151072397*c_0101_5^29 - 501017059171059477092958769092890508179519957594731503569112/224301\ 1977375062347422981389311285681627268072151072397*c_0101_5^28 - 710875811877662159915725278291231997859743171914522574322480/224301\ 1977375062347422981389311285681627268072151072397*c_0101_5^27 + 3718396914461800221723195534162972784890523914433262846780664/22430\ 11977375062347422981389311285681627268072151072397*c_0101_5^26 + 1265733639971176777038659425515977673657295330143593590150814/22430\ 11977375062347422981389311285681627268072151072397*c_0101_5^25 - 16873058743818876802026042405542318786187504368182389487238494/2243\ 011977375062347422981389311285681627268072151072397*c_0101_5^24 + 6833860788021005921729500100112784339238396299680978719910735/22430\ 11977375062347422981389311285681627268072151072397*c_0101_5^23 + 43933803509239733963509244887274048976556819230745224762015319/2243\ 011977375062347422981389311285681627268072151072397*c_0101_5^22 - 48990683334040600784108172996032592029670974728275305816365607/2243\ 011977375062347422981389311285681627268072151072397*c_0101_5^21 - 52805295331192209106734542270731520457511168544659428148867579/2243\ 011977375062347422981389311285681627268072151072397*c_0101_5^20 + 121244136353684390216231916652516375557877409668290705752631812/224\ 3011977375062347422981389311285681627268072151072397*c_0101_5^19 - 4943466427781407856151105676163558942991675978545805833312682/22430\ 11977375062347422981389311285681627268072151072397*c_0101_5^18 - 137800272997256925136189339004672207080269294063473413716314592/224\ 3011977375062347422981389311285681627268072151072397*c_0101_5^17 + 70959635248186214686471987360344869636879622829160571897438782/2243\ 011977375062347422981389311285681627268072151072397*c_0101_5^16 + 80060707941290393037246510738797354056881902652052460977840449/2243\ 011977375062347422981389311285681627268072151072397*c_0101_5^15 - 68903970360032932884544080465328675870733646730437511588566293/2243\ 011977375062347422981389311285681627268072151072397*c_0101_5^14 - 32078934846909456600653111694885488198256497573485990897527875/2243\ 011977375062347422981389311285681627268072151072397*c_0101_5^13 + 40623017187863134939060282700095060427212923341865758545058239/2243\ 011977375062347422981389311285681627268072151072397*c_0101_5^12 + 8939553911687942395810694922608007146326649489701063168210059/22430\ 11977375062347422981389311285681627268072151072397*c_0101_5^11 - 16221762465168362541060864736824329838735485472078898885639727/2243\ 011977375062347422981389311285681627268072151072397*c_0101_5^10 - 2611295628673277437062369343351250599134863209878517367611380/22430\ 11977375062347422981389311285681627268072151072397*c_0101_5^9 + 5199237038988639566922096429186629144954469987614307999486155/22430\ 11977375062347422981389311285681627268072151072397*c_0101_5^8 + 680915778493932595748783167860738918341221098472371674179785/224301\ 1977375062347422981389311285681627268072151072397*c_0101_5^7 - 1327332237727519355386332550723414189247046579490211204962443/22430\ 11977375062347422981389311285681627268072151072397*c_0101_5^6 - 80455431121418293618109304993887896622922490877413918116102/2243011\ 977375062347422981389311285681627268072151072397*c_0101_5^5 + 220477426703385662271931942609887990318055068500218933141508/224301\ 1977375062347422981389311285681627268072151072397*c_0101_5^4 + 9600237211225490038154955418330612078289628952616584308/22430119773\ 75062347422981389311285681627268072151072397*c_0101_5^3 - 19693185906392201056845523258190035843766833913781433127098/2243011\ 977375062347422981389311285681627268072151072397*c_0101_5^2 + 411283508241327073103504072194674438738693074480312860911/224301197\ 7375062347422981389311285681627268072151072397*c_0101_5 + 717847659519437940945470731852414842426788753956613793913/224301197\ 7375062347422981389311285681627268072151072397, c_0011_4 + 630633032536907034190952194714297777943571283785439568259776\ 86/241933514891651599855390195632504584905998761530286819812817*c_0\ 101_5^33 - 40261677088194201758344888135961123998110926698176222428\ 2087037/24193351489165159985539019563250458490599876153028681981281\ 7*c_0101_5^32 - 220361006197214685968370061263332898378981114952085\ 6135265231032/24193351489165159985539019563250458490599876153028681\ 9812817*c_0101_5^31 + 760365080231623183875450052172887190801812858\ 6354823091651468241/24193351489165159985539019563250458490599876153\ 0286819812817*c_0101_5^30 + 234348515991952960025438655396425783695\ 90193712575283987028039808/2419335148916515998553901956325045849059\ 98761530286819812817*c_0101_5^29 - 77625680789215872741500189434337942360726708018083437297346067773/2\ 41933514891651599855390195632504584905998761530286819812817*c_0101_\ 5^28 - 107295758935204560240637767840938995118666643134487866382059\ 901569/241933514891651599855390195632504584905998761530286819812817\ *c_0101_5^27 + 5743699814167627956107123028912257031182252615049518\ 84038476263937/2419335148916515998553901956325045849059987615302868\ 19812817*c_0101_5^26 + 18025695841183520524477545731444621284626952\ 8595901498998631715114/24193351489165159985539019563250458490599876\ 1530286819812817*c_0101_5^25 - 260033280553134324185299564227463198\ 0810417673663467977033207271413/24193351489165159985539019563250458\ 4905998761530286819812817*c_0101_5^24 + 1113186148892239362041104049898682230491061753383907792906244361609\ /241933514891651599855390195632504584905998761530286819812817*c_010\ 1_5^23 + 6739333719974601964793586081281879431196470828357866819218\ 553254386/241933514891651599855390195632504584905998761530286819812\ 817*c_0101_5^22 - 7691592664029181809002985636368123725448748933482\ 982468367643926765/241933514891651599855390195632504584905998761530\ 286819812817*c_0101_5^21 - 7973243450328399241718162127843502434091\ 079270138728316857770301005/241933514891651599855390195632504584905\ 998761530286819812817*c_0101_5^20 + 1884338725476731061484714513225286644742499962149604376577063185143\ 4/241933514891651599855390195632504584905998761530286819812817*c_01\ 01_5^19 - 113021077458815532327903762908150763888948872764564013983\ 9968187766/24193351489165159985539019563250458490599876153028681981\ 2817*c_0101_5^18 - 212269269726488609789817596429442225880188482258\ 31653450914919157354/2419335148916515998553901956325045849059987615\ 30286819812817*c_0101_5^17 + 11323952214974181593194887399612542444\ 345545341887986474840649637645/241933514891651599855390195632504584\ 905998761530286819812817*c_0101_5^16 + 1216696566175017609526469595303143012529773568273241195652996642486\ 3/241933514891651599855390195632504584905998761530286819812817*c_01\ 01_5^15 - 108294748780850902487298654293895729471976059698738212085\ 86359299961/2419335148916515998553901956325045849059987615302868198\ 12817*c_0101_5^14 - 48000679663574559627677926252965259230729318724\ 49511993398559218951/2419335148916515998553901956325045849059987615\ 30286819812817*c_0101_5^13 + 63451788886226958410988440419591558051\ 40759818806002442600190368151/2419335148916515998553901956325045849\ 05998761530286819812817*c_0101_5^12 + 100198800941161875347158578926027231861700791340880537662023705150/\ 18610270376280892296568476587115737300461443194637447677909*c_0101_\ 5^11 - 252385780401710570736034529999406408235163897230964446559210\ 6066241/24193351489165159985539019563250458490599876153028681981281\ 7*c_0101_5^10 - 378038216533348090107987782411803324926204517447147\ 458956640178115/241933514891651599855390195632504584905998761530286\ 819812817*c_0101_5^9 + 80843316566149559020430322279748692662052054\ 7448900100331202440539/24193351489165159985539019563250458490599876\ 1530286819812817*c_0101_5^8 + 9817898279274665364521493169484011837\ 5850732533725617053469032927/24193351489165159985539019563250458490\ 5998761530286819812817*c_0101_5^7 - 205803789298289788987006179475639695771937498235087268326873556106/\ 241933514891651599855390195632504584905998761530286819812817*c_0101\ _5^6 - 109529995129985672942338958654372223402139266497111397748003\ 91644/241933514891651599855390195632504584905998761530286819812817*\ c_0101_5^5 + 339106005009164569666591239420141599882376212161216797\ 34922340252/2419335148916515998553901956325045849059987615302868198\ 12817*c_0101_5^4 - 120488896203547938016165248545952034968626668762\ 22849110609178/1861027037628089229656847658711573730046144319463744\ 7677909*c_0101_5^3 - 2992703384404249598931501254767365205589964785\ 902652371996538935/241933514891651599855390195632504584905998761530\ 286819812817*c_0101_5^2 + 69430878080632940754094048756321951766655\ 821836388155901037737/241933514891651599855390195632504584905998761\ 530286819812817*c_0101_5 + 1077002048883222778867034835937325626455\ 31530426293294526094541/2419335148916515998553901956325045849059987\ 61530286819812817, c_0101_0 + 147921636478954451619691665405970206544620903719102733369082\ 79/241933514891651599855390195632504584905998761530286819812817*c_0\ 101_5^33 - 10086041436619560110293031702429448909047756100179001093\ 1016750/24193351489165159985539019563250458490599876153028681981281\ 7*c_0101_5^32 - 479022885604615394778386586082712597168235854245612\ 092806207298/241933514891651599855390195632504584905998761530286819\ 812817*c_0101_5^31 + 2026267170209040450392977906511069892381001952\ 606631346647868073/241933514891651599855390195632504584905998761530\ 286819812817*c_0101_5^30 + 4842751595035912172770546868981036157079\ 740967208406801093631536/241933514891651599855390195632504584905998\ 761530286819812817*c_0101_5^29 - 2090766492343592125544976758074219\ 0789691149705089617588994231035/24193351489165159985539019563250458\ 4905998761530286819812817*c_0101_5^28 - 18608989058439280672380077676262371588979364911148365286988748555/2\ 41933514891651599855390195632504584905998761530286819812817*c_0101_\ 5^27 + 148786952742323547360119358834818044698918317105831107356848\ 967208/241933514891651599855390195632504584905998761530286819812817\ *c_0101_5^26 - 9074047476476781942661588200467974463707729303077502\ 658704979691/241933514891651599855390195632504584905998761530286819\ 812817*c_0101_5^25 - 6530969292582662845152804577862485517484594445\ 09648554263226883015/2419335148916515998553901956325045849059987615\ 30286819812817*c_0101_5^24 + 50293517785569720139731811489891003129\ 0148382538802026965650374348/24193351489165159985539019563250458490\ 5998761530286819812817*c_0101_5^23 + 1585269808160310760217679622901982450622890194037825429924181036872\ /241933514891651599855390195632504584905998761530286819812817*c_010\ 1_5^22 - 2479966681442503889688421067487474435174851692256301772092\ 814149692/241933514891651599855390195632504584905998761530286819812\ 817*c_0101_5^21 - 1421459458631607564374224917280430737837337870662\ 764688277039582737/241933514891651599855390195632504584905998761530\ 286819812817*c_0101_5^20 + 5430530430632646246684574060580960429957\ 519924049737516071612553903/241933514891651599855390195632504584905\ 998761530286819812817*c_0101_5^19 - 1664798595637843788291762465117039711374121855229119677402703941003\ /241933514891651599855390195632504584905998761530286819812817*c_010\ 1_5^18 - 5525518620481143340585225131249165643855700134678084923989\ 202465338/241933514891651599855390195632504584905998761530286819812\ 817*c_0101_5^17 + 4492211533789592536413189669992811154123564214102\ 982762505589920412/241933514891651599855390195632504584905998761530\ 286819812817*c_0101_5^16 + 2605528750052849754219767139728464911898\ 478330655882806956299172859/241933514891651599855390195632504584905\ 998761530286819812817*c_0101_5^15 - 3839232191441890838859727982433308520931281187864538078923169455454\ /241933514891651599855390195632504584905998761530286819812817*c_010\ 1_5^14 - 6939502291938178625697554197568110703014589697026555632427\ 19667388/2419335148916515998553901956325045849059987615302868198128\ 17*c_0101_5^13 + 21567687008691943488731992779260170311086824901462\ 77818729659807992/2419335148916515998553901956325045849059987615302\ 86819812817*c_0101_5^12 + 12387705916051065449876038205755451861886\ 58414653359317746814374/1861027037628089229656847658711573730046144\ 3194637447677909*c_0101_5^11 - 854462221913387288382007776915449247\ 331853852283192228794188107420/241933514891651599855390195632504584\ 905998761530286819812817*c_0101_5^10 + 23884421076344290233333764396042445205378392612676090178914048935/2\ 41933514891651599855390195632504584905998761530286819812817*c_0101_\ 5^9 + 2802222021245326565681388016755882436576535870338200919020650\ 00051/241933514891651599855390195632504584905998761530286819812817*\ c_0101_5^8 - 924165150182627724482255811746952991080634163592862534\ 6020431263/24193351489165159985539019563250458490599876153028681981\ 2817*c_0101_5^7 - 7308470920742715479578400897956325929152358145458\ 4198104277864707/24193351489165159985539019563250458490599876153028\ 6819812817*c_0101_5^6 + 4526881597171945445642542419898390656609360\ 517732040974728077101/241933514891651599855390195632504584905998761\ 530286819812817*c_0101_5^5 + 12309361135594570372818712193579542268\ 196461969684006719494770432/241933514891651599855390195632504584905\ 998761530286819812817*c_0101_5^4 - 74224077100943626604897950259967439619432738491835522706052534/1861\ 0270376280892296568476587115737300461443194637447677909*c_0101_5^3 - 1128725117937539534443341628235054594928287326532480595645292734/24\ 1933514891651599855390195632504584905998761530286819812817*c_0101_5\ ^2 + 65391425402007795412423789161526673914103059180677567852721333\ /241933514891651599855390195632504584905998761530286819812817*c_010\ 1_5 + 4354237602550305059611628843479940128921535774357226201163031\ 1/241933514891651599855390195632504584905998761530286819812817, c_0101_2 + 487475059293635384951785676743708502482316792566313269185434\ 40/241933514891651599855390195632504584905998761530286819812817*c_0\ 101_5^33 - 31387232885381250926920293336769069444252845858805863912\ 7735592/24193351489165159985539019563250458490599876153028681981281\ 7*c_0101_5^32 - 168691516235429267735502552175582192191575914209653\ 3327128078545/24193351489165159985539019563250458490599876153028681\ 9812817*c_0101_5^31 + 597248765650567621407870845577662198268334361\ 1103066697567558874/24193351489165159985539019563250458490599876153\ 0286819812817*c_0101_5^30 + 178165159215290776185691444784065979293\ 45489197063489656885441318/2419335148916515998553901956325045849059\ 98761530286819812817*c_0101_5^29 - 61018639956456996082766283286798866054629034836068735388126867966/2\ 41933514891651599855390195632504584905998761530286819812817*c_0101_\ 5^28 - 799369574404611744292970247254195282119099733246710078412047\ 25030/241933514891651599855390195632504584905998761530286819812817*\ c_0101_5^27 + 44877550565219987486669721420584760042364521089329892\ 0019207047532/24193351489165159985539019563250458490599876153028681\ 9812817*c_0101_5^26 + 116863724930806690113863780238141875617379548\ 892627012746264672249/241933514891651599855390195632504584905998761\ 530286819812817*c_0101_5^25 - 2020465642472967636823202043919429946\ 916357616641624787353742905918/241933514891651599855390195632504584\ 905998761530286819812817*c_0101_5^24 + 961879075994052806070409641449160454964586214155316568611253294312/\ 241933514891651599855390195632504584905998761530286819812817*c_0101\ _5^23 + 51787348975175425975605046833781736197705295375973259528902\ 77704786/2419335148916515998553901956325045849059987615302868198128\ 17*c_0101_5^22 - 62071662891445003379398434036209588561277572978416\ 65452190461709662/2419335148916515998553901956325045849059987615302\ 86819812817*c_0101_5^21 - 58979972490074134346539815585976656211689\ 15869527047385084662742483/2419335148916515998553901956325045849059\ 98761530286819812817*c_0101_5^20 + 1487946035340692131614383695758347929282337649930436781792438239228\ 6/241933514891651599855390195632504584905998761530286819812817*c_01\ 01_5^19 - 153084621377666939678401939449320932481323050786078541057\ 5037565289/24193351489165159985539019563250458490599876153028681981\ 2817*c_0101_5^18 - 164014389053177960014835193172879866565729826006\ 19096842297023977279/2419335148916515998553901956325045849059987615\ 30286819812817*c_0101_5^17 + 94601804831428912894207007872155329739\ 09288307375636671874915185584/2419335148916515998553901956325045849\ 05998761530286819812817*c_0101_5^16 + 9075416097260548152711715452612665218451640388020661700834903716989\ /241933514891651599855390195632504584905998761530286819812817*c_010\ 1_5^15 - 8747680947073901689555165657839927000929217609733804763219\ 682970240/241933514891651599855390195632504584905998761530286819812\ 817*c_0101_5^14 - 3432917792807462983428415267982979217461239205911\ 219056813512902303/241933514891651599855390195632504584905998761530\ 286819812817*c_0101_5^13 + 5059406389992910561027253614895607398931\ 963465338713735295963760868/241933514891651599855390195632504584905\ 998761530286819812817*c_0101_5^12 + 65923728591898900881957683945454652218166552816087795970786750322/1\ 8610270376280892296568476587115737300461443194637447677909*c_0101_5\ ^11 - 1996097638246546060466437168013289018189614860061417261850606\ 476499/241933514891651599855390195632504584905998761530286819812817\ *c_0101_5^10 - 2418309212391881420452030620119350941392035228026969\ 68798893383440/2419335148916515998553901956325045849059987615302868\ 19812817*c_0101_5^9 + 640708273119634560181822796076093699046640629\ 881659352498633424536/241933514891651599855390195632504584905998761\ 530286819812817*c_0101_5^8 + 61097508372233451227551745371704494544\ 491696994599173974009921578/241933514891651599855390195632504584905\ 998761530286819812817*c_0101_5^7 - 162627348120450543588943784378824992246011278171520650180070946063/\ 241933514891651599855390195632504584905998761530286819812817*c_0101\ _5^6 - 538060938728262694943414034407637518065486287259579901624530\ 8071/241933514891651599855390195632504584905998761530286819812817*c\ _0101_5^5 + 2652249958097705530167819961225664990661485317703064768\ 5489266986/24193351489165159985539019563250458490599876153028681981\ 2817*c_0101_5^4 - 3253178372353287057225747150662048551859873855884\ 0477582105969/18610270376280892296568476587115737300461443194637447\ 677909*c_0101_5^3 - 23221667209842928444642729839659851268458856418\ 83505554218060142/2419335148916515998553901956325045849059987615302\ 86819812817*c_0101_5^2 + 625836534888745532618266574953991481970872\ 38037577440591156910/2419335148916515998553901956325045849059987615\ 30286819812817*c_0101_5 + 83333121368893210187364133939057714936968\ 040477334054026622901/241933514891651599855390195632504584905998761\ 530286819812817, c_0101_3 + 805085756472163433340929757510453580561482233645989470901/22\ 43011977375062347422981389311285681627268072151072397*c_0101_5^33 - 5174158739877003690181601386079408364946498553863052417487/22430119\ 77375062347422981389311285681627268072151072397*c_0101_5^32 - 27924180349742421929763169885604542242214246699266712900345/2243011\ 977375062347422981389311285681627268072151072397*c_0101_5^31 + 98325184139614550659365123084545643258879306927600794277228/2243011\ 977375062347422981389311285681627268072151072397*c_0101_5^30 + 295483810042350586647987139295705121711864308588219836435805/224301\ 1977375062347422981389311285681627268072151072397*c_0101_5^29 - 1004638312764258159583694764710376265616808292189282117086160/22430\ 11977375062347422981389311285681627268072151072397*c_0101_5^28 - 1332658258968651303898803343520268958290947338771428034961749/22430\ 11977375062347422981389311285681627268072151072397*c_0101_5^27 + 7399997302678924520580079746316663504702694909766765522318777/22430\ 11977375062347422981389311285681627268072151072397*c_0101_5^26 + 2018060392010082332276604059133059739710512601398390124779602/22430\ 11977375062347422981389311285681627268072151072397*c_0101_5^25 - 33371904489170054885479002776636106822410686613967766618893659/2243\ 011977375062347422981389311285681627268072151072397*c_0101_5^24 + 15512188226718639684504617014397887537818109791703149959715633/2243\ 011977375062347422981389311285681627268072151072397*c_0101_5^23 + 85817397481909624302513971368353995162945474381261528360169261/2243\ 011977375062347422981389311285681627268072151072397*c_0101_5^22 - 101671645717481660307680190674066760893056197734119425212222097/224\ 3011977375062347422981389311285681627268072151072397*c_0101_5^21 - 98793620132051246439711288048646978849939644069193427721294770/2243\ 011977375062347422981389311285681627268072151072397*c_0101_5^20 + 245197885282024442222201727145376734968243245607274389534458196/224\ 3011977375062347422981389311285681627268072151072397*c_0101_5^19 - 22517822754639346292198689302389618294493598645188207231435809/2243\ 011977375062347422981389311285681627268072151072397*c_0101_5^18 - 272199604526314817073826412466952215887818639062932101818675943/224\ 3011977375062347422981389311285681627268072151072397*c_0101_5^17 + 154066495975485132181571011274228545872403094007271833288983374/224\ 3011977375062347422981389311285681627268072151072397*c_0101_5^16 + 152297171351973142628268817517114282404952830378492112804324999/224\ 3011977375062347422981389311285681627268072151072397*c_0101_5^15 - 144112535934427833442689916440394405367813515218815983664433233/224\ 3011977375062347422981389311285681627268072151072397*c_0101_5^14 - 58166414394163464639190993040119904786281765988608347111283001/2243\ 011977375062347422981389311285681627268072151072397*c_0101_5^13 + 83755591411056952559410268271124555898420401975520932866081119/2243\ 011977375062347422981389311285681627268072151072397*c_0101_5^12 + 14787272138898332435255686487640492129751310927753215014936982/2243\ 011977375062347422981389311285681627268072151072397*c_0101_5^11 - 33196696460736883079779984437652424546252511769563135783856866/2243\ 011977375062347422981389311285681627268072151072397*c_0101_5^10 - 4153932438802343568870187843992762244297871909896580640570292/22430\ 11977375062347422981389311285681627268072151072397*c_0101_5^9 + 10663462881166033855521161446598798736574408319665798771067064/2243\ 011977375062347422981389311285681627268072151072397*c_0101_5^8 + 1053185189807569618374608552944291423684366430790200534877865/22430\ 11977375062347422981389311285681627268072151072397*c_0101_5^7 - 2717795928037482128160776423588730063788827527643872980007934/22430\ 11977375062347422981389311285681627268072151072397*c_0101_5^6 - 96180603495245646720221737806422217799422842841674335509152/2243011\ 977375062347422981389311285681627268072151072397*c_0101_5^5 + 447682847042834238103261464900614191061924220066868496356031/224301\ 1977375062347422981389311285681627268072151072397*c_0101_5^4 - 7223509251717842712953421667295478333333200569671146096403/22430119\ 77375062347422981389311285681627268072151072397*c_0101_5^3 - 39711329860624006211880557769861422032575534110882860076143/2243011\ 977375062347422981389311285681627268072151072397*c_0101_5^2 + 1139851312461267535487838070725653582841065762345613476115/22430119\ 77375062347422981389311285681627268072151072397*c_0101_5 + 1450393840580282945833359633838747196246611193118292024759/22430119\ 77375062347422981389311285681627268072151072397, c_0101_5^34 - 7*c_0101_5^33 - 31*c_0101_5^32 + 142*c_0101_5^31 + 297*c_0101_5^30 - 1458*c_0101_5^29 - 940*c_0101_5^28 + 10138*c_0101_5^27 - 2760*c_0101_5^26 - 42874*c_0101_5^25 + 43004*c_0101_5^24 + 95502*c_0101_5^23 - 187252*c_0101_5^22 - 50280*c_0101_5^21 + 374491*c_0101_5^20 - 202295*c_0101_5^19 - 321489*c_0101_5^18 + 384306*c_0101_5^17 + 79340*c_0101_5^16 - 286433*c_0101_5^15 + 29949*c_0101_5^14 + 144918*c_0101_5^13 - 40880*c_0101_5^12 - 51557*c_0101_5^11 + 18255*c_0101_5^10 + 16152*c_0101_5^9 - 6206*c_0101_5^8 - 4109*c_0101_5^7 + 1791*c_0101_5^6 + 621*c_0101_5^5 - 322*c_0101_5^4 - 44*c_0101_5^3 + 29*c_0101_5^2 + c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.270 seconds, Total memory usage: 32.09MB