Magma V2.19-8 Wed Aug 21 2013 00:57:59 on localhost [Seed = 1107581155] Type ? for help. Type -D to quit. Loading file "L13n4649__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n4649 geometric_solution 12.02687442 oriented_manifold CS_known -0.0000000000000005 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.043370954241 0.937423241422 0 3 5 4 0132 3201 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.455159628081 1.745789517437 0 0 4 4 3201 0132 3012 1230 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 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 0.380442993840 0.385525407066 6 6 1 0 0132 1230 2310 0132 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 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.684103316461 0.939333267094 2 2 1 7 3012 1230 0132 0132 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 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 0 0 0 -0.297056424886 0.713396660350 8 9 9 1 0132 0132 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.442290614483 0.802785628537 3 10 3 7 0132 0132 3012 3120 1 1 1 1 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 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.493386020807 0.695624992278 6 8 4 9 3120 3201 0132 1302 1 1 1 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 0 0 0 0 1 0 -1 0 0 1 -1 1 -2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.552102387449 0.651264211432 5 11 7 11 0132 0132 2310 1230 1 1 0 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -2 0 0 0 0 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.451617132102 0.507247545283 5 5 7 12 2031 0132 2031 0132 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 0 0 0 0 0 0 0 1 -1 0 -1 0 1 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.473517301205 0.955599622571 11 6 12 12 2310 0132 1302 0321 1 0 1 1 0 0 0 0 0 0 -1 1 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 -3 2 -1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.277603441352 0.546115078982 8 8 10 12 3012 0132 3201 0213 1 1 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 0 0 0 0 0 0 0 0 2 0 -2 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.982723006840 0.909006940394 10 10 9 11 2031 0321 0132 0213 1 1 1 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 -2 3 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.277603441352 0.546115078982 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_3'], 'c_1001_11' : d['c_0011_12'], 'c_1001_10' : negation(d['c_0011_7']), 'c_1001_12' : d['c_0101_12'], 'c_1001_5' : d['c_0101_12'], 'c_1001_4' : negation(d['c_0101_7']), 'c_1001_7' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0011_10']), 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : d['c_0101_7'], 'c_1001_2' : negation(d['c_0011_4']), 'c_1001_9' : negation(d['c_0101_3']), 'c_1001_8' : d['c_1001_8'], 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : d['c_1001_8'], 'c_1010_10' : negation(d['c_0011_10']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0011_12'], 'c_0101_10' : negation(d['c_0011_12']), '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_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : 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_9' : d['c_1001_8'], 'c_1100_8' : d['c_0011_7'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_9'], 'c_1100_4' : d['c_0101_9'], 'c_1100_7' : d['c_0101_9'], 'c_1100_6' : negation(d['c_0101_7']), 'c_1100_1' : d['c_0101_9'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0101_7'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : d['c_0101_12'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_1001_8']), 'c_1010_6' : negation(d['c_0011_7']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_7']), 'c_1010_0' : negation(d['c_0011_4']), 'c_1010_9' : d['c_0101_12'], 'c_1010_8' : d['c_0011_12'], '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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_1001_8'], 's_1_7' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_11']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_11'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_7'], 'c_0110_10' : negation(d['c_0011_12']), 'c_0110_12' : negation(d['c_0011_7']), 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_11'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0011_11'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0101_3'], 'c_0011_10' : d['c_0011_10'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_4, c_0011_7, c_0101_0, c_0101_1, c_0101_12, c_0101_3, c_0101_7, c_0101_9, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 1496011754174600927016131281336856724179750432801/17765606420917310\ 59435734228451432196523044757000*c_1001_8^16 + 21465592177843062099935292180580023000076288263289/3553121284183462\ 118871468456902864393046089514000*c_1001_8^15 - 607993098483864775857719275602135744822892002258379/355312128418346\ 2118871468456902864393046089514000*c_1001_8^14 + 229408341393531986681115441448278365912637089993267/236874752278897\ 474591431230460190959536405967600*c_1001_8^13 - 1024487946461798689219722537446653863116114865310987/44414016052293\ 2764858933557112858049130761189250*c_1001_8^12 + 4457798341591480813133312173579669248769791070453003/11843737613944\ 87372957156152300954797682029838000*c_1001_8^11 - 4451289340199344286688303439893540832682911180341661/59218688069724\ 3686478578076150477398841014919000*c_1001_8^10 + 5609024460847520293798175130192581026001615285248673/39479125379816\ 2457652385384100318265894009946000*c_1001_8^9 - 16734520133080392103615116342696783471521336430930571/7106242568366\ 92423774293691380572878609217902800*c_1001_8^8 + 28653054614414606182333559514185140050835537258711849/1184373761394\ 487372957156152300954797682029838000*c_1001_8^7 - 7143538406638993950379020777710446016573279228179963/35531212841834\ 62118871468456902864393046089514000*c_1001_8^6 - 9774230675801145617110057311024104061506207012292701/39479125379816\ 2457652385384100318265894009946000*c_1001_8^5 + 6603235452849783341471693155794126552476836089622471/59218688069724\ 3686478578076150477398841014919000*c_1001_8^4 + 14552904109187617531534369002606647837403179476406543/7106242568366\ 92423774293691380572878609217902800*c_1001_8^3 - 4125553161565853685620707725416283421829708090954069/17765606420917\ 3105943573422845143219652304475700*c_1001_8^2 + 20019350883119951785702661040585327116317097753902543/3553121284183\ 462118871468456902864393046089514000*c_1001_8 + 994516457507412850975152184716667478784649788373583/355312128418346\ 2118871468456902864393046089514000, c_0011_0 - 1, c_0011_10 - 4159035238481452159916921219307007439/304083100274576863788\ 480447770219305008*c_1001_8^16 + 1471709801773508654530859611839441\ 1103/152041550137288431894240223885109652504*c_1001_8^15 - 70197431963600360997858596314058679335/2534025835621473864904003731\ 4184942084*c_1001_8^14 + 97961687797361294033509563998179046420/633\ 5064589053684662260009328546235521*c_1001_8^13 - 1369337323058852185698176890722339918809/38010387534322107973560055\ 971277413126*c_1001_8^12 + 1763022831433512773964056780305816151073\ 1/304083100274576863788480447770219305008*c_1001_8^11 - 17828687094912466527439185852426225621893/1520415501372884318942402\ 23885109652504*c_1001_8^10 + 67103887443265480937447890678103527332\ 199/304083100274576863788480447770219305008*c_1001_8^9 - 110597739236640602529987551503041162911975/304083100274576863788480\ 447770219305008*c_1001_8^8 + 27571028714454111549770324624211955322\ 579/76020775068644215947120111942554826252*c_1001_8^7 - 879667974424072594597124084744820406307/152041550137288431894240223\ 885109652504*c_1001_8^6 - 59926367524459965059294245941607109319469\ /152041550137288431894240223885109652504*c_1001_8^5 + 2693750842598674313948303311974193205159/19005193767161053986780027\ 985638706563*c_1001_8^4 + 34336246044839496037009025392275587248073\ /101361033424858954596160149256739768336*c_1001_8^3 - 26082384574341133508097137664231138352703/7602077506864421594712011\ 1942554826252*c_1001_8^2 + 2016264398965153920656762963363976883672\ 3/304083100274576863788480447770219305008*c_1001_8 + 259871897069462408418931138588528721197/506805167124294772980800746\ 28369884168, c_0011_11 - 1, c_0011_12 - 440102832072414716748873344451712347/2027220668497179091923\ 20298513479536672*c_1001_8^16 + 92714482144623089696906586809543675\ 63/608166200549153727576960895540438610016*c_1001_8^15 - 88987862229478371826919651538116116783/2027220668497179091923202985\ 13479536672*c_1001_8^14 + 739170805189707457627846020037648947787/3\ 04083100274576863788480447770219305008*c_1001_8^13 - 3407581515755514671915076145856337772393/60816620054915372757696089\ 5540438610016*c_1001_8^12 + 908746065048369151251638549526467082675\ /101361033424858954596160149256739768336*c_1001_8^11 - 3692957102752385129513327805486559998551/20272206684971790919232029\ 8513479536672*c_1001_8^10 + 693661516376826903018564295206156879794\ 9/202722066849717909192320298513479536672*c_1001_8^9 - 11418046501413102065592018138976221369787/2027220668497179091923202\ 98513479536672*c_1001_8^8 + 334681983861205843882088714818491878598\ 67/608166200549153727576960895540438610016*c_1001_8^7 + 525890810825376302591483430381455414401/608166200549153727576960895\ 540438610016*c_1001_8^6 - 395247439554575878089135143844633024319/6\ 335064589053684662260009328546235521*c_1001_8^5 + 3962772647571187541245111340950858084675/20272206684971790919232029\ 8513479536672*c_1001_8^4 + 1372460712213128407946070510552300487413\ /25340258356214738649040037314184942084*c_1001_8^3 - 31212784171717932113673557334857380488383/6081662005491537275769608\ 95540438610016*c_1001_8^2 + 166774358119682726653567719340959816777\ 7/202722066849717909192320298513479536672*c_1001_8 - 9970913096937276227146207371289306903/30408310027457686378848044777\ 0219305008, c_0011_4 - 206403773568824083581827096742277823/60816620054915372757696\ 0895540438610016*c_1001_8^16 + 134271770145649546585071763328476303\ 9/608166200549153727576960895540438610016*c_1001_8^15 - 41033173501364568882055090014477937951/6081662005491537275769608955\ 40438610016*c_1001_8^14 + 104983145796206676619096796342021578175/3\ 04083100274576863788480447770219305008*c_1001_8^13 - 141127365029382590697491738036201255709/202722066849717909192320298\ 513479536672*c_1001_8^12 + 324113470216067102051682672366438086023/\ 304083100274576863788480447770219305008*c_1001_8^11 - 1477658155361628327172357555097968640525/60816620054915372757696089\ 5540438610016*c_1001_8^10 + 261468152538259179711661146602435031635\ 3/608166200549153727576960895540438610016*c_1001_8^9 - 1395097219747476196326228615336098036779/20272206684971790919232029\ 8513479536672*c_1001_8^8 + 1200059182707582590202982583296681753601\ /202722066849717909192320298513479536672*c_1001_8^7 + 1200950881452481173192287341716959929979/60816620054915372757696089\ 5540438610016*c_1001_8^6 - 488734605666988218556121732496276553091/\ 76020775068644215947120111942554826252*c_1001_8^5 - 860396157064214726574088231373086866113/608166200549153727576960895\ 540438610016*c_1001_8^4 + 225672603002530108744094837034878634061/3\ 8010387534322107973560055971277413126*c_1001_8^3 - 604067081004027085682903401843452663717/202722066849717909192320298\ 513479536672*c_1001_8^2 + 209373907801264543222309501800703603475/2\ 02722066849717909192320298513479536672*c_1001_8 - 31315479763739711088423463416581294701/7602077506864421594712011194\ 2554826252, c_0011_7 - 4917996386698122011676289090600561421/3040831002745768637884\ 80447770219305008*c_1001_8^16 + 23185957509973014740977725049254274\ 783/202722066849717909192320298513479536672*c_1001_8^15 - 1991838519145843792894403272153162179149/60816620054915372757696089\ 5540438610016*c_1001_8^14 + 370331647673921428311797658821003206576\ 5/202722066849717909192320298513479536672*c_1001_8^13 - 807961543428918079328947418654574055939/190051937671610539867800279\ 85638706563*c_1001_8^12 + 41592208052094540461997101846106660841063\ /608166200549153727576960895540438610016*c_1001_8^11 - 21044127069593348662325239645354389158143/1520415501372884318942402\ 23885109652504*c_1001_8^10 + 15835310817009333408146058515804597675\ 4703/608166200549153727576960895540438610016*c_1001_8^9 - 86987337418101345642293991901390976669665/2027220668497179091923202\ 98513479536672*c_1001_8^8 + 259855399645887740281263588215836759820\ 903/608166200549153727576960895540438610016*c_1001_8^7 - 1151987249142949646300798082247099106023/20272206684971790919232029\ 8513479536672*c_1001_8^6 - 2828847564350420578475390240568869965973\ 99/608166200549153727576960895540438610016*c_1001_8^5 + 50350299369199422718122645486718532365849/3040831002745768637884804\ 47770219305008*c_1001_8^4 + 243612715077509245361540344778023648736\ 309/608166200549153727576960895540438610016*c_1001_8^3 - 122755010319076149175613381468096839592657/304083100274576863788480\ 447770219305008*c_1001_8^2 + 15571148827943147959643633365256158668\ 403/202722066849717909192320298513479536672*c_1001_8 + 3551608681487577387869234512858142679979/60816620054915372757696089\ 5540438610016, c_0101_0 - 9066019373920519987124643986172062827/6081662005491537275769\ 60895540438610016*c_1001_8^16 + 63697023396131325784028453709368098\ 231/608166200549153727576960895540438610016*c_1001_8^15 - 611026776959488241286281834644418182523/202722066849717909192320298\ 513479536672*c_1001_8^14 + 5078402707239409679320302208350892546681\ /304083100274576863788480447770219305008*c_1001_8^13 - 7794188545322492923821347727613311116431/20272206684971790919232029\ 8513479536672*c_1001_8^12 + 467044443232604755448161089788974521210\ 7/76020775068644215947120111942554826252*c_1001_8^11 - 76101203414217505536110368997081377963829/6081662005491537275769608\ 95540438610016*c_1001_8^10 + 14280808230540396863013787812539703953\ 2865/608166200549153727576960895540438610016*c_1001_8^9 - 234691526535391919524350356841000218931595/608166200549153727576960\ 895540438610016*c_1001_8^8 + 23013455727770557243518571119365208819\ 5183/608166200549153727576960895540438610016*c_1001_8^7 + 5198684016267812703198617609672018032277/60816620054915372757696089\ 5540438610016*c_1001_8^6 - 6459732939993777547273552184246553730284\ 1/152041550137288431894240223885109652504*c_1001_8^5 + 81360516939279183270015935827098049344409/6081662005491537275769608\ 95540438610016*c_1001_8^4 + 376084506574848405383905314192372380545\ 31/101361033424858954596160149256739768336*c_1001_8^3 - 71869516444175502394305833808438472943525/2027220668497179091923202\ 98513479536672*c_1001_8^2 + 360781843202702138315182125230211048208\ 01/608166200549153727576960895540438610016*c_1001_8 + 1721795863283293192520599167387979214261/30408310027457686378848044\ 7770219305008, c_0101_1 + 11117719327149431881135441907252153035/608166200549153727576\ 960895540438610016*c_1001_8^16 - 7875131732707387440988631132493056\ 8013/608166200549153727576960895540438610016*c_1001_8^15 + 2252175802404263552803197216217993505083/60816620054915372757696089\ 5540438610016*c_1001_8^14 - 314576352067673136297849680503318161148\ 9/152041550137288431894240223885109652504*c_1001_8^13 + 29343720216542739381963565790425599489385/6081662005491537275769608\ 95540438610016*c_1001_8^12 - 78707224380165643817600277226002463074\ 27/101361033424858954596160149256739768336*c_1001_8^11 + 31820928501486141827138568659561769797855/2027220668497179091923202\ 98513479536672*c_1001_8^10 - 59925509475910877931029425714529188532\ 989/202722066849717909192320298513479536672*c_1001_8^9 + 296264577697705555134051967875908559907301/608166200549153727576960\ 895540438610016*c_1001_8^8 - 29582340514143329386534028059044169514\ 4089/608166200549153727576960895540438610016*c_1001_8^7 + 5287697555000066097692124343356046779893/60816620054915372757696089\ 5540438610016*c_1001_8^6 + 5348502694811515845633926480206901455088\ 1/101361033424858954596160149256739768336*c_1001_8^5 - 38532328703948226784270278048211176326835/2027220668497179091923202\ 98513479536672*c_1001_8^4 - 346031020390518811661586578744742884659\ 67/76020775068644215947120111942554826252*c_1001_8^3 + 279413635279020765196134827615953205177843/608166200549153727576960\ 895540438610016*c_1001_8^2 - 54018244040064828590737867919835588972\ 475/608166200549153727576960895540438610016*c_1001_8 - 121678139611599747926068472228423610167/190051937671610539867800279\ 85638706563, c_0101_12 - 271685184612297874928832644045035967/1520415501372884318942\ 40223885109652504*c_1001_8^16 + 25053071434031365737006848418986086\ 93/202722066849717909192320298513479536672*c_1001_8^15 - 73000668396520807372599384642612467891/2027220668497179091923202985\ 13479536672*c_1001_8^14 + 1193945840080091622262988470995771054539/\ 608166200549153727576960895540438610016*c_1001_8^13 - 672579441787497546437536260094208081693/152041550137288431894240223\ 885109652504*c_1001_8^12 + 4259850803997160999778469300662706454621\ /608166200549153727576960895540438610016*c_1001_8^11 - 4376403271425129787049054468179114545125/30408310027457686378848044\ 7770219305008*c_1001_8^10 + 162968015431249209413906486465942280625\ 69/608166200549153727576960895540438610016*c_1001_8^9 - 26783488752361412502295237490460442112291/6081662005491537275769608\ 95540438610016*c_1001_8^8 + 839928561475394906046263642806479906450\ 3/202722066849717909192320298513479536672*c_1001_8^7 + 813966685146170212482433680625188505377/202722066849717909192320298\ 513479536672*c_1001_8^6 - 30696574306759596701233225717470164264567\ /608166200549153727576960895540438610016*c_1001_8^5 + 3978313287269016025741699616782164668719/30408310027457686378848044\ 7770219305008*c_1001_8^4 + 9110195460828638974823698996686642775973\ /202722066849717909192320298513479536672*c_1001_8^3 - 748996887106332860593774290054533499971/190051937671610539867800279\ 85638706563*c_1001_8^2 + 2517404208982721719516772054864396583283/6\ 08166200549153727576960895540438610016*c_1001_8 + 377932850822190160774732219817562825685/608166200549153727576960895\ 540438610016, c_0101_3 - 1753847699047774912155920248084858943/1520415501372884318942\ 40223885109652504*c_1001_8^16 + 82180145385954689655250017392584624\ 79/101361033424858954596160149256739768336*c_1001_8^15 - 29556775388808033228563193525450244231/1267012917810736932452001865\ 7092471042*c_1001_8^14 + 3931994515559367053861379228157928745229/3\ 04083100274576863788480447770219305008*c_1001_8^13 - 9070456399613237848559066860933787361199/30408310027457686378848044\ 7770219305008*c_1001_8^12 + 363469525862479594563858568540104512814\ 5/76020775068644215947120111942554826252*c_1001_8^11 - 7393785135909689763203863151799323105423/76020775068644215947120111\ 942554826252*c_1001_8^10 + 5546844501975402091315605981685993866652\ 7/304083100274576863788480447770219305008*c_1001_8^9 - 22828056455694872384813324096251026789871/7602077506864421594712011\ 1942554826252*c_1001_8^8 + 2994188994315466937622214415473576132254\ 5/101361033424858954596160149256739768336*c_1001_8^7 + 72046160083195950851682398205252532855/2534025835621473864904003731\ 4184942084*c_1001_8^6 - 99613954472550660676935192226743588236479/3\ 04083100274576863788480447770219305008*c_1001_8^5 + 32598067971385615039171077710641929150805/3040831002745768637884804\ 47770219305008*c_1001_8^4 + 720045066869472711274147425289396176267\ 3/25340258356214738649040037314184942084*c_1001_8^3 - 10549036874642433849826375030511847604309/3801038753432210797356005\ 5971277413126*c_1001_8^2 + 1513906783758081130644092448994378960352\ 3/304083100274576863788480447770219305008*c_1001_8 + 287070249568272806228188654807233359243/760207750686442159471201119\ 42554826252, c_0101_7 + 682129982958810157061615993138804365/10136103342485895459616\ 0149256739768336*c_1001_8^16 - 289721314069643801778811584195843487\ 03/608166200549153727576960895540438610016*c_1001_8^15 + 828951385860672141473172031482620605825/608166200549153727576960895\ 540438610016*c_1001_8^14 - 4628316695102633407345761653885513654435\ /608166200549153727576960895540438610016*c_1001_8^13 + 1347310371765528318766107669127714325543/76020775068644215947120111\ 942554826252*c_1001_8^12 - 1731642911022361031017087764392045067375\ 1/608166200549153727576960895540438610016*c_1001_8^11 + 17501858973324302841394444724500346260097/3040831002745768637884804\ 47770219305008*c_1001_8^10 - 65911745939031095670128749005883625268\ 319/608166200549153727576960895540438610016*c_1001_8^9 + 108580955560749263222576375533678875282001/608166200549153727576960\ 895540438610016*c_1001_8^8 - 36007332100813828613769267956817572414\ 215/202722066849717909192320298513479536672*c_1001_8^7 + 746592486808046295610264372944222264349/608166200549153727576960895\ 540438610016*c_1001_8^6 + 11896203413657685167572694251097987612603\ 9/608166200549153727576960895540438610016*c_1001_8^5 - 21229757274966965117431008026110862395375/3040831002745768637884804\ 47770219305008*c_1001_8^4 - 102604702792686777005135054225261120531\ 797/608166200549153727576960895540438610016*c_1001_8^3 + 6447644848600964824850992886956003260533/38010387534322107973560055\ 971277413126*c_1001_8^2 - 18582922755371662500034443497007763013333\ /608166200549153727576960895540438610016*c_1001_8 - 733047897074669882805650626186461544291/202722066849717909192320298\ 513479536672, c_0101_9 + 528675974464673847770940149362526965/38010387534322107973560\ 055971277413126*c_1001_8^16 - 1486989034674091232182578937291600023\ 7/152041550137288431894240223885109652504*c_1001_8^15 + 427714853928458194633240130833735608427/152041550137288431894240223\ 885109652504*c_1001_8^14 - 1581260137810765180716593615944405633483\ /101361033424858954596160149256739768336*c_1001_8^13 + 10955761586674201266348377588723802999613/3040831002745768637884804\ 47770219305008*c_1001_8^12 - 29301989789952560642332979085564306495\ 77/50680516712429477298080074628369884168*c_1001_8^11 + 11912000631347141176302228806354656765549/1013610334248589545961601\ 49256739768336*c_1001_8^10 - 22341463391776470157978121572129396432\ 873/101361033424858954596160149256739768336*c_1001_8^9 + 110406609375101481257161764417158115101845/304083100274576863788480\ 447770219305008*c_1001_8^8 - 18128535884458539996424344814119393903\ 081/50680516712429477298080074628369884168*c_1001_8^7 - 244180231298281346231332643592398886071/152041550137288431894240223\ 885109652504*c_1001_8^6 + 40050812580411188529083401969790619342403\ /101361033424858954596160149256739768336*c_1001_8^5 - 13337656742400117328814445310744493430521/1013610334248589545961601\ 49256739768336*c_1001_8^4 - 519031820771220138656996988816547303475\ 17/152041550137288431894240223885109652504*c_1001_8^3 + 102374814617546134981426110685824517743473/304083100274576863788480\ 447770219305008*c_1001_8^2 - 18449847583121227088383439437866893240\ 669/304083100274576863788480447770219305008*c_1001_8 - 1346142010288067459735505333631384632367/30408310027457686378848044\ 7770219305008, c_1001_8^17 - 7*c_1001_8^16 + 202*c_1001_8^15 - 1115*c_1001_8^14 + 2548*c_1001_8^13 - 4042*c_1001_8^12 + 8258*c_1001_8^11 - 15491*c_1001_8^10 + 25390*c_1001_8^9 - 24536*c_1001_8^8 - 1506*c_1001_8^7 + 28767*c_1001_8^6 - 8188*c_1001_8^5 - 25470*c_1001_8^4 + 23190*c_1001_8^3 - 3009*c_1001_8^2 - 679*c_1001_8 - 25 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.350 Total time: 0.560 seconds, Total memory usage: 32.09MB