Magma V2.19-8 Wed Aug 21 2013 00:58:15 on localhost [Seed = 1292589021] Type ? for help. Type -D to quit. Loading file "L13n4925__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n4925 geometric_solution 11.54917547 oriented_manifold CS_known 0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 0 0 1 0 0 -1 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 -1 -3 4 1 0 -1 0 0 0 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.869787675575 1.519247615510 0 3 5 4 0132 3201 0132 0321 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 3 0 -3 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.218497776419 0.538066405823 4 0 5 3 3201 0132 0321 3201 1 1 1 0 0 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 3 0 1 -4 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.607030328476 0.773972115018 6 2 1 0 0132 2310 2310 0132 1 0 1 1 0 0 -1 1 -1 0 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 3 1 0 -2 1 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.607030328476 0.773972115018 6 1 0 2 2031 0321 0132 2310 1 0 1 0 0 0 -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 -4 4 0 0 0 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.218497776419 0.538066405823 7 8 2 1 0132 0132 0321 0132 1 0 0 1 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 1 0 1 0 0 -1 -2 0 0 2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.786278385283 1.642611074509 3 7 4 8 0132 1302 1302 1302 0 0 1 1 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 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.762912423869 0.495298720491 5 9 10 6 0132 0132 0132 2031 1 0 1 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 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.103639416580 0.832983847075 11 5 6 10 0132 0132 2031 0132 1 0 1 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 1 0 -1 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.103639416580 0.832983847075 11 7 10 12 1023 0132 0213 0132 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 0 0 0 0 0 0 0 0 0 1 -1 -1 0 2 -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.566754721047 0.635840733840 12 9 8 7 3120 0213 0132 0132 1 0 0 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 -1 1 0 1 0 0 -1 0 -2 0 2 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.498479014093 0.599061362975 8 9 12 12 0132 1023 2310 3120 0 0 0 1 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 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.135619147854 0.904852073457 11 11 9 10 3120 3201 0132 3120 1 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 1 -1 0 0 1 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.740076741819 1.171046365946 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : negation(d['c_0011_3']), 'c_1001_12' : negation(d['c_0101_10']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_10']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0110_2']), 'c_1001_3' : d['c_0110_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_3']), 'c_1001_8' : negation(d['c_0101_3']), 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : negation(d['c_0011_12']), 'c_1010_10' : negation(d['c_0101_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'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_10'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0101_10']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_2'], 'c_1100_4' : negation(d['c_0011_0']), 'c_1100_7' : negation(d['c_1010_6']), 'c_1100_6' : d['c_0101_1'], 'c_1100_1' : d['c_1001_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0011_12'], 'c_1100_10' : negation(d['c_1010_6']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_3']), 'c_1010_6' : d['c_1010_6'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0110_2']), 'c_1010_3' : negation(d['c_0110_2']), 'c_1010_2' : negation(d['c_0110_2']), 'c_1010_1' : negation(d['c_0110_2']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0101_10']), 'c_1010_8' : negation(d['c_0011_3']), 'c_1100_8' : negation(d['c_1010_6']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(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' : negation(d['c_0101_10']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : 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' : negation(d['c_0011_11']), 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_1'], 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : d['c_0101_1'], 'c_0101_12' : negation(d['c_0011_12']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_1'], 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_4']), 'c_0101_9' : d['c_0011_10'], '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' : negation(d['c_0011_12']), 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : negation(d['c_0011_4']), 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_7' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_4, c_0101_1, c_0101_10, c_0101_2, c_0101_3, c_0110_2, c_1001_2, c_1010_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 15968616201185886386185076915371081979288/1707487364389822907446150\ 1861277051517*c_1010_6^18 + 212933289001525007309667977151453601617\ 7816/461021588385252185010460550254480390959*c_1010_6^17 - 3881935368917459512840302564572490630615616/46102158838525218501046\ 0550254480390959*c_1010_6^16 + 231355537983028356056388480867300067\ 9199387/461021588385252185010460550254480390959*c_1010_6^15 - 85457305592595717387447454136702307548135/4610215883852521850104605\ 50254480390959*c_1010_6^14 + 24536928645694182064040506823632140959\ 626127/1844086353541008740041842201017921563836*c_1010_6^13 - 4641520594130663274846959560904790431826719/46102158838525218501046\ 0550254480390959*c_1010_6^12 + 210404523181073009517599611101777558\ 5069962/461021588385252185010460550254480390959*c_1010_6^11 - 35061294900365134444554147717274382464086683/9220431767705043700209\ 21100508960781918*c_1010_6^10 - 56027213891282507478988615077311484\ 38897/3748142995002050284637890652475450333*c_1010_6^9 - 35390127417664416892515718274548042352584639/4610215883852521850104\ 60550254480390959*c_1010_6^8 - 263863399545453414479696620516441265\ 6432777/307347725590168123340307033502986927306*c_1010_6^7 - 52738583585498230780064289765094510032529753/9220431767705043700209\ 21100508960781918*c_1010_6^6 - 418851350686115585585237504142180857\ 1176291/204898483726778748893538022335324618204*c_1010_6^5 - 14419455473164248890566392608546074795916035/9220431767705043700209\ 21100508960781918*c_1010_6^4 - 904680933119354691830352965278881534\ 4581485/922043176770504370020921100508960781918*c_1010_6^3 - 1790074575922501212590197636741462787300023/92204317677050437002092\ 1100508960781918*c_1010_6^2 + 1431828184006533860356652399503315018\ 439237/1844086353541008740041842201017921563836*c_1010_6 + 4668022275454875150504835508024563885927/51224620931694687223384505\ 583831154551, c_0011_0 - 1, c_0011_10 - 3791082731993950438330234921106944/251609509621976971445819\ 4664897371*c_1010_6^18 + 19239182713276127232736780510780480/251609\ 5096219769714458194664897371*c_1010_6^17 - 35484141206957745555751120532587520/2516095096219769714458194664897\ 371*c_1010_6^16 + 19096052759905629567969616058378624/2516095096219\ 769714458194664897371*c_1010_6^15 + 7083029790026220104201153098677736/25160950962197697144581946648973\ 71*c_1010_6^14 + 47850107463180521044179105957477632/25160950962197\ 69714458194664897371*c_1010_6^13 - 47159455611252230195050018736405782/2516095096219769714458194664897\ 371*c_1010_6^12 + 4843943048633784505114207472803462/25160950962197\ 69714458194664897371*c_1010_6^11 - 47757777292952503437209697487368676/8386983654065899048193982216324\ 57*c_1010_6^10 + 11284229135755691047440606706904494/25160950962197\ 69714458194664897371*c_1010_6^9 - 956787446558066781969200128376050\ 0/93188707267398878313266469070273*c_1010_6^8 + 7097771817908063739266060812355228/25160950962197697144581946648973\ 71*c_1010_6^7 - 44008038261662052098405256762265465/838698365406589\ 904819398221632457*c_1010_6^6 - 49741647799571256506747953653164209\ /2516095096219769714458194664897371*c_1010_6^5 + 16731127524545443235203655122362343/2516095096219769714458194664897\ 371*c_1010_6^4 - 22351443738379637150732970322952254/25160950962197\ 69714458194664897371*c_1010_6^3 + 136870404259733364730968774026158\ 15/2516095096219769714458194664897371*c_1010_6^2 + 2348789049307989644740146473546806/83869836540658990481939822163245\ 7*c_1010_6 - 6293693910015060208481636665957/2795661218021966349397\ 99407210819, c_0011_11 - c_1010_6, c_0011_12 - 1884657266185964231867815460984528/251609509621976971445819\ 4664897371*c_1010_6^18 + 9229550458422378467994701595462176/2516095\ 096219769714458194664897371*c_1010_6^17 - 16170895827469968303489821997303376/2516095096219769714458194664897\ 371*c_1010_6^16 + 7227265409395933271808037090161982/25160950962197\ 69714458194664897371*c_1010_6^15 + 4924852914052923822376694930676824/25160950962197697144581946648973\ 71*c_1010_6^14 + 42302355627860102375452043757978503/50321901924395\ 39428916389329794742*c_1010_6^13 - 29895370077420354307650904581438865/5032190192439539428916389329794\ 742*c_1010_6^12 + 1963907501070675337764726376396844/25160950962197\ 69714458194664897371*c_1010_6^11 - 23923079192955587153210538468017615/8386983654065899048193982216324\ 57*c_1010_6^10 - 16122412174217331675093747220742842/25160950962197\ 69714458194664897371*c_1010_6^9 - 441624945422728299324772920001585\ 45/838698365406589904819398221632457*c_1010_6^8 - 25862763717426160077430489383885341/2516095096219769714458194664897\ 371*c_1010_6^7 - 22239017129144301809233424688206216/83869836540658\ 9904819398221632457*c_1010_6^6 - 1091590301070171617398064889729660\ 01/5032190192439539428916389329794742*c_1010_6^5 + 31004048156888188196473033742778115/5032190192439539428916389329794\ 742*c_1010_6^4 - 14587291221176275246343494474508231/25160950962197\ 69714458194664897371*c_1010_6^3 + 110035250452960227548106584837539\ 97/2516095096219769714458194664897371*c_1010_6^2 + 6705887684162806497110082107133655/16773967308131798096387964432649\ 14*c_1010_6 - 218859195804533384770354212569425/5591322436043932698\ 79598814421638, c_0011_3 + 1794157350315148373856978620025280/2516095096219769714458194\ 664897371*c_1010_6^18 - 7834692474778534330138114898542336/25160950\ 96219769714458194664897371*c_1010_6^17 + 10440155353269831945603153091330496/2516095096219769714458194664897\ 371*c_1010_6^16 + 2444207763048204429791060848351576/25160950962197\ 69714458194664897371*c_1010_6^15 - 9256005340122765106386917775354064/25160950962197697144581946648973\ 71*c_1010_6^14 - 24715876643503261264637440662288842/25160950962197\ 69714458194664897371*c_1010_6^13 + 5715798123795509075454999105989122/25160950962197697144581946648973\ 71*c_1010_6^12 + 11806251511134195480738330342198356/25160950962197\ 69714458194664897371*c_1010_6^11 + 22255680620826870100413320093713534/8386983654065899048193982216324\ 57*c_1010_6^10 + 44351127249978021755947287089719748/25160950962197\ 69714458194664897371*c_1010_6^9 + 407002560217850975434842062419313\ 72/838698365406589904819398221632457*c_1010_6^8 + 84125951675874722935416049489890403/2516095096219769714458194664897\ 371*c_1010_6^7 + 21628959830679069842241092989756339/83869836540658\ 9904819398221632457*c_1010_6^6 + 7096047268849659988716966977186070\ 1/2516095096219769714458194664897371*c_1010_6^5 + 10383102915297108280656457788635297/2516095096219769714458194664897\ 371*c_1010_6^4 + 5056207156459230688012193326880473/251609509621976\ 9714458194664897371*c_1010_6^3 + 908617384430391174284812568483267/\ 2516095096219769714458194664897371*c_1010_6^2 - 3308508622526372018425927220341303/83869836540658990481939822163245\ 7*c_1010_6 - 377483918192866447657026608453987/27956612180219663493\ 9799407210819, c_0011_4 - 2304191997600776593084980162799424/2516095096219769714458194\ 664897371*c_1010_6^18 + 11298578772087324906093082251138560/2516095\ 096219769714458194664897371*c_1010_6^17 - 19419179475098913269470620505745152/2516095096219769714458194664897\ 371*c_1010_6^16 + 6882912640188046891888466028971512/25160950962197\ 69714458194664897371*c_1010_6^15 + 8967635317870565153345843187808688/25160950962197697144581946648973\ 71*c_1010_6^14 + 27401598399621961882278280946726422/25160950962197\ 69714458194664897371*c_1010_6^13 - 24783695394511062577566066271682102/2516095096219769714458194664897\ 371*c_1010_6^12 - 1797462290021841389240781113770606/25160950962197\ 69714458194664897371*c_1010_6^11 - 26612842066232498391090128958232022/8386983654065899048193982216324\ 57*c_1010_6^10 - 10152890464564734774426433753545775/25160950962197\ 69714458194664897371*c_1010_6^9 - 519519661223872783424672101288273\ 94/838698365406589904819398221632457*c_1010_6^8 - 34530859309655866378159852265728886/2516095096219769714458194664897\ 371*c_1010_6^7 - 24333203504252779601603689129366169/83869836540658\ 9904819398221632457*c_1010_6^6 - 5555034479751985737358531227299099\ 9/2516095096219769714458194664897371*c_1010_6^5 + 4182704895508685335768389786080261/25160950962197697144581946648973\ 71*c_1010_6^4 - 9020542656910133493201343619349086/2516095096219769\ 714458194664897371*c_1010_6^3 + 4083976373258686481999102577976211/\ 2516095096219769714458194664897371*c_1010_6^2 + 3804511564543260792197540866781609/83869836540658990481939822163245\ 7*c_1010_6 + 80088663431559294813651685375597/279566121802196634939\ 799407210819, c_0101_1 - 1, c_0101_10 + 697583664266972999007759035392/2266752338936729472484860058\ 4661*c_1010_6^18 - 11449876832700853066820836223680/226675233893672\ 94724848600584661*c_1010_6^17 + 45659129343369656287247075886752/22\ 667523389367294724848600584661*c_1010_6^16 - 75211685166057163409522030963168/22667523389367294724848600584661*c\ _1010_6^15 + 42300551744503894782196821574952/226675233893672947248\ 48600584661*c_1010_6^14 - 9168457487331809170507146468044/226675233\ 89367294724848600584661*c_1010_6^13 + 111096501060355536093729324423286/22667523389367294724848600584661*\ c_1010_6^12 - 71957460367869531276246605426569/22667523389367294724\ 848600584661*c_1010_6^11 + 22157579057031348613904155517782/7555841\ 129789098241616200194887*c_1010_6^10 - 330222565583809522783743108878887/22667523389367294724848600584661*\ c_1010_6^9 + 579212928301276416619394287703/25186137099296994138720\ 66731629*c_1010_6^8 - 637947985240014753463083869933318/22667523389\ 367294724848600584661*c_1010_6^7 - 3968936972699815186680725730734/2518613709929699413872066731629*c_1\ 010_6^6 - 412284655676314640002873169868854/22667523389367294724848\ 600584661*c_1010_6^5 - 181514552797397536595693094989341/2266752338\ 9367294724848600584661*c_1010_6^4 - 14010786686952477596796889125800/22667523389367294724848600584661*c\ _1010_6^3 - 63331349484502256872611922422202/2266752338936729472484\ 8600584661*c_1010_6^2 + 13494817463295724565905930221908/7555841129\ 789098241616200194887*c_1010_6 + 2990540677880267286042962757429/25\ 18613709929699413872066731629, c_0101_2 + 83251537231012860594502266621568/279566121802196634939799407\ 210819*c_1010_6^18 - 1033450789318911366821038459253312/83869836540\ 6589904819398221632457*c_1010_6^17 + 416557782041001597073547134042112/279566121802196634939799407210819\ *c_1010_6^16 + 519902576516727743762984658388592/838698365406589904\ 819398221632457*c_1010_6^15 - 401277408289055111407548884354648/279\ 566121802196634939799407210819*c_1010_6^14 - 3191945142610513086454801624132564/83869836540658990481939822163245\ 7*c_1010_6^13 - 37703531254637147774386736879238/931887072673988783\ 13266469070273*c_1010_6^12 + 672015581090732395733938044842518/8386\ 98365406589904819398221632457*c_1010_6^11 + 1041381406562064055718549564800840/93188707267398878313266469070273\ *c_1010_6^10 + 1094130230136122879229198498102806/93188707267398878\ 313266469070273*c_1010_6^9 + 20448319643517953918735073796975529/83\ 8698365406589904819398221632457*c_1010_6^8 + 17723917552130899297066594219191191/8386983654065899048193982216324\ 57*c_1010_6^7 + 1504950552375703909906780205093742/9318870726739887\ 8313266469070273*c_1010_6^6 + 5203606550502216229185704429888927/27\ 9566121802196634939799407210819*c_1010_6^5 + 4461340593852819748213696855146151/83869836540658990481939822163245\ 7*c_1010_6^4 + 814797470847481060988042246071283/279566121802196634\ 939799407210819*c_1010_6^3 + 727484579138822310886619808481570/8386\ 98365406589904819398221632457*c_1010_6^2 - 489402605246890875119765373440399/279566121802196634939799407210819\ *c_1010_6 - 118983978236196305508749760102273/931887072673988783132\ 66469070273, c_0101_3 - 83251537231012860594502266621568/279566121802196634939799407\ 210819*c_1010_6^18 + 1033450789318911366821038459253312/83869836540\ 6589904819398221632457*c_1010_6^17 - 416557782041001597073547134042112/279566121802196634939799407210819\ *c_1010_6^16 - 519902576516727743762984658388592/838698365406589904\ 819398221632457*c_1010_6^15 + 401277408289055111407548884354648/279\ 566121802196634939799407210819*c_1010_6^14 + 3191945142610513086454801624132564/83869836540658990481939822163245\ 7*c_1010_6^13 + 37703531254637147774386736879238/931887072673988783\ 13266469070273*c_1010_6^12 - 672015581090732395733938044842518/8386\ 98365406589904819398221632457*c_1010_6^11 - 1041381406562064055718549564800840/93188707267398878313266469070273\ *c_1010_6^10 - 1094130230136122879229198498102806/93188707267398878\ 313266469070273*c_1010_6^9 - 20448319643517953918735073796975529/83\ 8698365406589904819398221632457*c_1010_6^8 - 17723917552130899297066594219191191/8386983654065899048193982216324\ 57*c_1010_6^7 - 1504950552375703909906780205093742/9318870726739887\ 8313266469070273*c_1010_6^6 - 5203606550502216229185704429888927/27\ 9566121802196634939799407210819*c_1010_6^5 - 4461340593852819748213696855146151/83869836540658990481939822163245\ 7*c_1010_6^4 - 814797470847481060988042246071283/279566121802196634\ 939799407210819*c_1010_6^3 - 727484579138822310886619808481570/8386\ 98365406589904819398221632457*c_1010_6^2 + 489402605246890875119765373440399/279566121802196634939799407210819\ *c_1010_6 + 118983978236196305508749760102273/931887072673988783132\ 66469070273, c_0110_2 - 45054709014354463124941626942720/931887072673988783132664690\ 70273*c_1010_6^18 + 1993209828559560167531943744454208/838698365406\ 589904819398221632457*c_1010_6^17 - 400326614569425484444568302752640/93188707267398878313266469070273*\ c_1010_6^16 + 2122628743686822615985682030036320/838698365406589904\ 819398221632457*c_1010_6^15 - 52633492641871535592447567318664/2795\ 66121802196634939799407210819*c_1010_6^14 + 5831494534119071472440659538844664/83869836540658990481939822163245\ 7*c_1010_6^13 - 1291146010687645976879461672706882/2795661218021966\ 34939799407210819*c_1010_6^12 + 1477002484869306083380573458621026/\ 838698365406589904819398221632457*c_1010_6^11 - 5680301280521075720928544724860054/27956612180219663493979940721081\ 9*c_1010_6^10 - 445985359508904952274025976252360/27956612180219663\ 4939799407210819*c_1010_6^9 - 32271200968081725104315008883511047/8\ 38698365406589904819398221632457*c_1010_6^8 - 3102946117578562034569536035134970/83869836540658990481939822163245\ 7*c_1010_6^7 - 7628233298619179319913567025695987/27956612180219663\ 4939799407210819*c_1010_6^6 - 838946027132444948642630851235340/931\ 88707267398878313266469070273*c_1010_6^5 - 3270685946228068497926930729681284/83869836540658990481939822163245\ 7*c_1010_6^4 - 413393870948513776399516821739580/931887072673988783\ 13266469070273*c_1010_6^3 + 1834005095603093359669515556752959/8386\ 98365406589904819398221632457*c_1010_6^2 + 228856116183717934645940852025754/279566121802196634939799407210819\ *c_1010_6 + 48831181530746450456415441263749/9318870726739887831326\ 6469070273, c_1001_2 - 2304191997600776593084980162799424/2516095096219769714458194\ 664897371*c_1010_6^18 + 11298578772087324906093082251138560/2516095\ 096219769714458194664897371*c_1010_6^17 - 19419179475098913269470620505745152/2516095096219769714458194664897\ 371*c_1010_6^16 + 6882912640188046891888466028971512/25160950962197\ 69714458194664897371*c_1010_6^15 + 8967635317870565153345843187808688/25160950962197697144581946648973\ 71*c_1010_6^14 + 27401598399621961882278280946726422/25160950962197\ 69714458194664897371*c_1010_6^13 - 24783695394511062577566066271682102/2516095096219769714458194664897\ 371*c_1010_6^12 - 1797462290021841389240781113770606/25160950962197\ 69714458194664897371*c_1010_6^11 - 26612842066232498391090128958232022/8386983654065899048193982216324\ 57*c_1010_6^10 - 10152890464564734774426433753545775/25160950962197\ 69714458194664897371*c_1010_6^9 - 519519661223872783424672101288273\ 94/838698365406589904819398221632457*c_1010_6^8 - 34530859309655866378159852265728886/2516095096219769714458194664897\ 371*c_1010_6^7 - 24333203504252779601603689129366169/83869836540658\ 9904819398221632457*c_1010_6^6 - 5555034479751985737358531227299099\ 9/2516095096219769714458194664897371*c_1010_6^5 + 4182704895508685335768389786080261/25160950962197697144581946648973\ 71*c_1010_6^4 - 9020542656910133493201343619349086/2516095096219769\ 714458194664897371*c_1010_6^3 + 4083976373258686481999102577976211/\ 2516095096219769714458194664897371*c_1010_6^2 + 3804511564543260792197540866781609/83869836540658990481939822163245\ 7*c_1010_6 + 80088663431559294813651685375597/279566121802196634939\ 799407210819, c_1010_6^19 - 5*c_1010_6^18 + 9*c_1010_6^17 - 35/8*c_1010_6^16 - 19/8*c_1010_6^15 - 395/32*c_1010_6^14 + 183/16*c_1010_6^13 - 37/32*c_1010_6^12 + 595/16*c_1010_6^11 + 7/8*c_1010_6^10 + 1111/16*c_1010_6^9 + 79/16*c_1010_6^8 + 569/16*c_1010_6^7 + 569/32*c_1010_6^6 - 47/16*c_1010_6^5 + 151/32*c_1010_6^4 - 25/8*c_1010_6^3 - 115/32*c_1010_6^2 - 3/8*c_1010_6 + 9/32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.120 Total time: 0.330 seconds, Total memory usage: 32.09MB