Magma V2.19-8 Tue Aug 20 2013 23:44:25 on localhost [Seed = 913331132] Type ? for help. Type -D to quit. Loading file "K13n1977__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1977 geometric_solution 10.80729803 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 2 0132 0132 0132 0213 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 -1 1 0 0 0 0 0 0 0 0 12 -1 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.831271751141 0.530750101388 0 3 5 4 0132 3120 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -12 0 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.976603283191 0.778581825336 3 0 6 0 2310 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.831271751141 0.530750101388 7 1 2 0 0132 3120 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 1 0 -11 0 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.421987055461 0.386963543588 8 9 1 9 0132 0132 0132 3120 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 1 0 0 -1 0 12 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.112824007174 0.560400724591 7 6 10 1 3120 1023 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.364020236872 1.174762040785 5 10 11 2 1023 2031 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.363665294139 0.480504283808 3 9 8 5 0132 1302 0132 3120 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 1 0 -1 0 0 0 0 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.332839482694 0.922455140890 4 11 11 7 0132 2031 0213 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 -1 0 0 0 -1 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.721759451330 1.190043164288 4 4 10 7 3120 0132 3120 2031 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 -12 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.998544677374 1.323204551877 6 11 9 5 1302 3201 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.053079898293 1.077869639164 8 8 10 6 1302 0213 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -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 0 0.627409655184 0.614330151287 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_6']), 'c_1001_10' : negation(d['c_0011_4']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_7' : d['c_0011_11'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0011_10'], 'c_1001_9' : d['c_0011_4'], 'c_1001_8' : negation(d['c_0101_6']), 'c_1010_11' : negation(d['c_0101_5']), 'c_1010_10' : d['c_0101_6'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_4'], 'c_0101_10' : negation(d['c_0011_5']), 's_2_0' : negation(d['1']), 's_2_1' : negation(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_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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_5']), 'c_1100_5' : negation(d['c_0101_9']), 'c_1100_4' : negation(d['c_0101_9']), 'c_1100_7' : negation(d['c_0101_5']), 'c_1100_6' : d['c_0011_10'], 'c_1100_1' : negation(d['c_0101_9']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_10'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : negation(d['c_0101_9']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_5']), 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_0011_10'], 'c_1010_9' : negation(d['c_0011_3']), 'c_1010_8' : d['c_0011_11'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], '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_4']), 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_5'], '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_6'], 'c_0110_10' : d['c_0101_5'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], '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_0011_11'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_11'], 'c_0110_8' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_5'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_11'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_4, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6, c_0101_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 909833471967928238846173388883901129/713082360057165642451472156862\ 317200*c_0101_9^17 - 285616120035420151957160789736601121/713082360\ 057165642451472156862317200*c_0101_9^16 - 4316368835471878645354927027000571/96362481088806167898847588765178\ 00*c_0101_9^15 + 5276355639974553002953590944958988649/178270590014\ 291410612868039215579300*c_0101_9^14 + 6466791209172143640476513122720289831/71308236005716564245147215686\ 231720*c_0101_9^13 + 96620626449379386011649362071301441713/3565411\ 80028582821225736078431158600*c_0101_9^12 + 116238034212003722480132260957061429197/356541180028582821225736078\ 431158600*c_0101_9^11 + 375758128832527524743445167099289918729/178\ 270590014291410612868039215579300*c_0101_9^10 + 17152257640006542401747136932443589612/8913529500714570530643401960\ 778965*c_0101_9^9 - 22570059308187731255984464448859635011/89135295\ 007145705306434019607789650*c_0101_9^8 - 1065923601027577768396588614768018303193/35654118002858282122573607\ 8431158600*c_0101_9^7 - 313492278700090419825262810600085279557/356\ 54118002858282122573607843115860*c_0101_9^6 - 801504642798205483331126189963983576307/713082360057165642451472156\ 86231720*c_0101_9^5 - 3443038498837587078330811212372507296161/3565\ 41180028582821225736078431158600*c_0101_9^4 - 2678924279504344185073859101607650406357/35654118002858282122573607\ 8431158600*c_0101_9^3 - 615447065121934239117799287339806756629/178\ 270590014291410612868039215579300*c_0101_9^2 - 78133628584604154995639199343259956259/1426164720114331284902944313\ 72463440*c_0101_9 + 2767633180373359179439737315079612457/713082360\ 057165642451472156862317200, c_0011_0 - 1, c_0011_10 - 61013302890643542201497157593/72726400821740504074601953785\ 04*c_0101_9^17 + 43548686018617492842042784541/36363200410870252037\ 30097689252*c_0101_9^16 - 98731522513668004491550700587/72726400821\ 74050407460195378504*c_0101_9^15 + 187579723729590144822174709773/909080010271756300932524422313*c_010\ 1_9^14 + 901761714187007651828546840683/363632004108702520373009768\ 9252*c_0101_9^13 + 2006448547277195760477560493711/1818160020543512\ 601865048844626*c_0101_9^12 - 1068959566123709464164979944601/72726\ 40082174050407460195378504*c_0101_9^11 + 46290673618495372711697115446815/3636320041087025203730097689252*c_\ 0101_9^10 - 34905134023840215018916860659759/3636320041087025203730\ 097689252*c_0101_9^9 - 502960041975533456255161514093/3636320041087\ 025203730097689252*c_0101_9^8 - 84324892215362286620936406199189/72\ 72640082174050407460195378504*c_0101_9^7 - 28924677568558546636236264174503/909080010271756300932524422313*c_0\ 101_9^6 - 13422204816729272184082249354779/363632004108702520373009\ 7689252*c_0101_9^5 - 14699772330275442401624943587264/9090800102717\ 56300932524422313*c_0101_9^4 - 68505208242059692791147508300991/727\ 2640082174050407460195378504*c_0101_9^3 + 23261779998838697068657566696701/3636320041087025203730097689252*c_\ 0101_9^2 - 38255688847368793931835841439033/72726400821740504074601\ 95378504*c_0101_9 - 541916094682481945216649449169/1818160020543512\ 601865048844626, c_0011_11 - 54543056856922938005444504877/14545280164348100814920390757\ 008*c_0101_9^17 + 18339038136767417906034282541/3636320041087025203\ 730097689252*c_0101_9^16 - 79964804843833929354073336205/1454528016\ 4348100814920390757008*c_0101_9^15 + 1333926377399454923463621842277/14545280164348100814920390757008*c_\ 0101_9^14 + 1723624683566327472315081287291/14545280164348100814920\ 390757008*c_0101_9^13 + 7261973284839265523733118696605/14545280164\ 348100814920390757008*c_0101_9^12 - 471752867153227264009699943575/14545280164348100814920390757008*c_0\ 101_9^11 + 82341768364074057508321812132763/14545280164348100814920\ 390757008*c_0101_9^10 - 55818950375757010616523251352405/1454528016\ 4348100814920390757008*c_0101_9^9 - 8877493671372214522141911485917/14545280164348100814920390757008*c_\ 0101_9^8 - 76592309184822871655961677028471/14545280164348100814920\ 390757008*c_0101_9^7 - 211752896769114000103753915819489/1454528016\ 4348100814920390757008*c_0101_9^6 - 33827386397292113019702814521439/14545280164348100814920390757008*c\ _0101_9^5 - 99772245862440303312388948668849/1454528016434810081492\ 0390757008*c_0101_9^4 - 60530161586581445498801235697565/1454528016\ 4348100814920390757008*c_0101_9^3 + 41372177679729438178640480411865/14545280164348100814920390757008*c\ _0101_9^2 - 20891233641548163910454259494113/7272640082174050407460\ 195378504*c_0101_9 - 2182481610544425762852543848651/14545280164348\ 100814920390757008, c_0011_3 - 12499021719497740580287/982532414119613928935356*c_0101_9^17 + 6490837280426943840481/491266207059806964467678*c_0101_9^16 - 3347401617316835571572/245633103529903482233839*c_0101_9^15 + 75088969545006045382699/245633103529903482233839*c_0101_9^14 + 489412879495350578947843/982532414119613928935356*c_0101_9^13 + 894514580727488706071375/491266207059806964467678*c_0101_9^12 + 204862584547441557052213/491266207059806964467678*c_0101_9^11 + 4709328249351806263134705/245633103529903482233839*c_0101_9^10 - 1762764094747245665563121/245633103529903482233839*c_0101_9^9 - 2892040138883321696878179/491266207059806964467678*c_0101_9^8 - 4596560108034825537561017/245633103529903482233839*c_0101_9^7 - 13899513669925385521490853/245633103529903482233839*c_0101_9^6 - 21901512262136409909460957/982532414119613928935356*c_0101_9^5 - 12785122952292165224796307/491266207059806964467678*c_0101_9^4 - 9056144297685009435224795/491266207059806964467678*c_0101_9^3 + 1987865760380930054736062/245633103529903482233839*c_0101_9^2 - 3875951513788317730067455/982532414119613928935356*c_0101_9 - 450162916605535621223963/245633103529903482233839, c_0011_4 + 92280313181851295223398992757/145452801643481008149203907570\ 08*c_0101_9^17 - 46736965304608700183184764593/72726400821740504074\ 60195378504*c_0101_9^16 + 94974922891758381182781522701/14545280164\ 348100814920390757008*c_0101_9^15 - 2221871413814413941827575657817/14545280164348100814920390757008*c_\ 0101_9^14 - 3655862934138705109333445097985/14545280164348100814920\ 390757008*c_0101_9^13 - 13281630185798904493268529306467/1454528016\ 4348100814920390757008*c_0101_9^12 - 3102698586393751292794804911933/14545280164348100814920390757008*c_\ 0101_9^11 - 138799319431065076539629660153699/145452801643481008149\ 20390757008*c_0101_9^10 + 49405807781231505902669675778551/14545280\ 164348100814920390757008*c_0101_9^9 + 45342396346852088572573340453147/14545280164348100814920390757008*c\ _0101_9^8 + 148233850488540437951770145682567/145452801643481008149\ 20390757008*c_0101_9^7 + 397755448552176993498056569772141/14545280\ 164348100814920390757008*c_0101_9^6 + 167873680969455239889344570419117/14545280164348100814920390757008*\ c_0101_9^5 + 179536597842307204132351546699767/14545280164348100814\ 920390757008*c_0101_9^4 + 118020035067510691719087367447457/1454528\ 0164348100814920390757008*c_0101_9^3 - 47975312992140889759283035735481/14545280164348100814920390757008*c\ _0101_9^2 + 1683688778706182506200668025281/90908001027175630093252\ 4422313*c_0101_9 + 12164096987602932382348284053243/145452801643481\ 00814920390757008, c_0011_5 - 57557037179903021031828159453/145452801643481008149203907570\ 08*c_0101_9^17 + 13934169202886640743374428647/36363200410870252037\ 30097689252*c_0101_9^16 - 41589093283074131136490200045/14545280164\ 348100814920390757008*c_0101_9^15 + 1368290759138935728193649545955/14545280164348100814920390757008*c_\ 0101_9^14 + 2354692984417680640884034975725/14545280164348100814920\ 390757008*c_0101_9^13 + 8014323239603300576133133840099/14545280164\ 348100814920390757008*c_0101_9^12 + 1720795316575104609946637802393/14545280164348100814920390757008*c_\ 0101_9^11 + 84517572462763343180850556770685/1454528016434810081492\ 0390757008*c_0101_9^10 - 27128194748236663551085667393023/145452801\ 64348100814920390757008*c_0101_9^9 - 51781069910376145147376124250227/14545280164348100814920390757008*c\ _0101_9^8 - 84989788759020740202196511632127/1454528016434810081492\ 0390757008*c_0101_9^7 - 242481782580303976412685140181071/145452801\ 64348100814920390757008*c_0101_9^6 - 75900717617607664164250616339089/14545280164348100814920390757008*c\ _0101_9^5 - 75577814354689375501054561638799/1454528016434810081492\ 0390757008*c_0101_9^4 - 58190540513288207819437557085541/1454528016\ 4348100814920390757008*c_0101_9^3 + 37862715149729413852674234966903/14545280164348100814920390757008*c\ _0101_9^2 - 1394718312975100787275712335027/18181600205435126018650\ 48844626*c_0101_9 - 2441159287199701007595749684101/145452801643481\ 00814920390757008, c_0101_0 - 61013302890643542201497157593/727264008217405040746019537850\ 4*c_0101_9^17 + 43548686018617492842042784541/363632004108702520373\ 0097689252*c_0101_9^16 - 98731522513668004491550700587/727264008217\ 4050407460195378504*c_0101_9^15 + 187579723729590144822174709773/90\ 9080010271756300932524422313*c_0101_9^14 + 901761714187007651828546840683/3636320041087025203730097689252*c_01\ 01_9^13 + 2006448547277195760477560493711/1818160020543512601865048\ 844626*c_0101_9^12 - 1068959566123709464164979944601/72726400821740\ 50407460195378504*c_0101_9^11 + 46290673618495372711697115446815/36\ 36320041087025203730097689252*c_0101_9^10 - 34905134023840215018916860659759/3636320041087025203730097689252*c_\ 0101_9^9 - 502960041975533456255161514093/3636320041087025203730097\ 689252*c_0101_9^8 - 84324892215362286620936406199189/72726400821740\ 50407460195378504*c_0101_9^7 - 28924677568558546636236264174503/909\ 080010271756300932524422313*c_0101_9^6 - 13422204816729272184082249354779/3636320041087025203730097689252*c_\ 0101_9^5 - 14699772330275442401624943587264/90908001027175630093252\ 4422313*c_0101_9^4 - 68505208242059692791147508300991/7272640082174\ 050407460195378504*c_0101_9^3 + 23261779998838697068657566696701/36\ 36320041087025203730097689252*c_0101_9^2 - 38255688847368793931835841439033/7272640082174050407460195378504*c_\ 0101_9 - 541916094682481945216649449169/181816002054351260186504884\ 4626, c_0101_1 - 3739709305203170551715/245633103529903482233839*c_0101_9^17 + 17103797901786343045097/982532414119613928935356*c_0101_9^16 - 17397999005786736614903/982532414119613928935356*c_0101_9^15 + 180879263825828260178099/491266207059806964467678*c_0101_9^14 + 547132944757609899257389/982532414119613928935356*c_0101_9^13 + 518457544671826836578897/245633103529903482233839*c_0101_9^12 + 117853475980226926315179/491266207059806964467678*c_0101_9^11 + 22429651203413470234369705/982532414119613928935356*c_0101_9^10 - 5449948345361127146564013/491266207059806964467678*c_0101_9^9 - 1591672420921805562452156/245633103529903482233839*c_0101_9^8 - 22330559584320300849510491/982532414119613928935356*c_0101_9^7 - 15796765755322994055264766/245633103529903482233839*c_0101_9^6 - 17209830207949166191087163/982532414119613928935356*c_0101_9^5 - 6525071042925384165558344/245633103529903482233839*c_0101_9^4 - 4261525155270734901676414/245633103529903482233839*c_0101_9^3 + 11964361475531256983907945/982532414119613928935356*c_0101_9^2 - 1727301051105928002144883/245633103529903482233839*c_0101_9 - 662559800371639560345153/982532414119613928935356, c_0101_2 - 51165378517326549882903540869/363632004108702520373009768925\ 2*c_0101_9^17 + 107236892325813265228113073797/72726400821740504074\ 60195378504*c_0101_9^16 - 48972320103735921225926680373/36363200410\ 87025203730097689252*c_0101_9^15 + 2453229610839985389368295809573/7272640082174050407460195378504*c_0\ 101_9^14 + 993822941659066448681124060755/1818160020543512601865048\ 844626*c_0101_9^13 + 3581292698486368614947361310985/18181600205435\ 12601865048844626*c_0101_9^12 + 320303913003681199210784791289/9090\ 80010271756300932524422313*c_0101_9^11 + 152511323586084395282804828422103/7272640082174050407460195378504*c\ _0101_9^10 - 14955998809405035316557392073391/181816002054351260186\ 5048844626*c_0101_9^9 - 15971381837868516181287659402787/1818160020\ 543512601865048844626*c_0101_9^8 - 76051761692806952355973948389449/3636320041087025203730097689252*c_\ 0101_9^7 - 421756495385861048734127793146965/7272640082174050407460\ 195378504*c_0101_9^6 - 39841495736729803506525844821939/18181600205\ 43512601865048844626*c_0101_9^5 - 39712602886061004195750396984425/\ 1818160020543512601865048844626*c_0101_9^4 - 34739101754241975773846961218567/1818160020543512601865048844626*c_\ 0101_9^3 + 61124584306638500315697517966057/72726400821740504074601\ 95378504*c_0101_9^2 - 13961322617611784104883073529557/363632004108\ 7025203730097689252*c_0101_9 - 15778965952516779184180516425361/727\ 2640082174050407460195378504, c_0101_5 + 92280313181851295223398992757/145452801643481008149203907570\ 08*c_0101_9^17 - 46736965304608700183184764593/72726400821740504074\ 60195378504*c_0101_9^16 + 94974922891758381182781522701/14545280164\ 348100814920390757008*c_0101_9^15 - 2221871413814413941827575657817/14545280164348100814920390757008*c_\ 0101_9^14 - 3655862934138705109333445097985/14545280164348100814920\ 390757008*c_0101_9^13 - 13281630185798904493268529306467/1454528016\ 4348100814920390757008*c_0101_9^12 - 3102698586393751292794804911933/14545280164348100814920390757008*c_\ 0101_9^11 - 138799319431065076539629660153699/145452801643481008149\ 20390757008*c_0101_9^10 + 49405807781231505902669675778551/14545280\ 164348100814920390757008*c_0101_9^9 + 45342396346852088572573340453147/14545280164348100814920390757008*c\ _0101_9^8 + 148233850488540437951770145682567/145452801643481008149\ 20390757008*c_0101_9^7 + 397755448552176993498056569772141/14545280\ 164348100814920390757008*c_0101_9^6 + 167873680969455239889344570419117/14545280164348100814920390757008*\ c_0101_9^5 + 179536597842307204132351546699767/14545280164348100814\ 920390757008*c_0101_9^4 + 118020035067510691719087367447457/1454528\ 0164348100814920390757008*c_0101_9^3 - 47975312992140889759283035735481/14545280164348100814920390757008*c\ _0101_9^2 + 1683688778706182506200668025281/90908001027175630093252\ 4422313*c_0101_9 + 12164096987602932382348284053243/145452801643481\ 00814920390757008, c_0101_6 + 54543056856922938005444504877/145452801643481008149203907570\ 08*c_0101_9^17 - 18339038136767417906034282541/36363200410870252037\ 30097689252*c_0101_9^16 + 79964804843833929354073336205/14545280164\ 348100814920390757008*c_0101_9^15 - 1333926377399454923463621842277/14545280164348100814920390757008*c_\ 0101_9^14 - 1723624683566327472315081287291/14545280164348100814920\ 390757008*c_0101_9^13 - 7261973284839265523733118696605/14545280164\ 348100814920390757008*c_0101_9^12 + 471752867153227264009699943575/14545280164348100814920390757008*c_0\ 101_9^11 - 82341768364074057508321812132763/14545280164348100814920\ 390757008*c_0101_9^10 + 55818950375757010616523251352405/1454528016\ 4348100814920390757008*c_0101_9^9 + 8877493671372214522141911485917/14545280164348100814920390757008*c_\ 0101_9^8 + 76592309184822871655961677028471/14545280164348100814920\ 390757008*c_0101_9^7 + 211752896769114000103753915819489/1454528016\ 4348100814920390757008*c_0101_9^6 + 33827386397292113019702814521439/14545280164348100814920390757008*c\ _0101_9^5 + 99772245862440303312388948668849/1454528016434810081492\ 0390757008*c_0101_9^4 + 60530161586581445498801235697565/1454528016\ 4348100814920390757008*c_0101_9^3 - 41372177679729438178640480411865/14545280164348100814920390757008*c\ _0101_9^2 + 20891233641548163910454259494113/7272640082174050407460\ 195378504*c_0101_9 + 2182481610544425762852543848651/14545280164348\ 100814920390757008, c_0101_9^18 - c_0101_9^17 + c_0101_9^16 - 24*c_0101_9^15 - 40*c_0101_9^14 - 144*c_0101_9^13 - 36*c_0101_9^12 - 1504*c_0101_9^11 + 510*c_0101_9^10 + 522*c_0101_9^9 + 1534*c_0101_9^8 + 4360*c_0101_9^7 + 1880*c_0101_9^6 + 1968*c_0101_9^5 + 1516*c_0101_9^4 - 496*c_0101_9^3 + 305*c_0101_9^2 + 167*c_0101_9 + 25 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.120 Total time: 1.330 seconds, Total memory usage: 32.09MB