Magma V2.19-8 Tue Aug 20 2013 23:38:50 on localhost [Seed = 1443901969] Type ? for help. Type -D to quit. Loading file "K12n234__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n234 geometric_solution 9.46292825 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 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 -1 0 1 0 0 0 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.307334494576 0.820474505446 0 5 7 6 0132 0132 0132 0132 0 0 0 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 0 12 -12 0 0 0 0 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.075793520666 1.611672054113 7 0 5 8 0132 0132 3120 0132 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 1 -1 0 0 0 1 -1 1 0 0 -1 12 0 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.053590710699 0.759308841769 7 8 6 0 2031 0132 2031 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.906411467326 0.887408325533 5 9 0 9 3120 0132 0132 1230 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 -1 1 11 0 0 -11 -1 1 0 0 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.190602984101 1.027214189779 7 1 2 4 1023 0132 3120 3120 0 0 0 0 0 1 -1 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 -12 12 0 12 0 -1 -11 -12 11 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.439200520912 0.737484876270 10 9 1 3 0132 2310 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.143997377743 0.859542659417 2 5 3 1 0132 1023 1302 0132 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 -12 0 12 0 0 0 0 -12 12 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.198447309488 0.602759682296 9 3 2 10 2103 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.684003142536 0.251607121797 4 4 8 6 3012 0132 2103 3201 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 -1 0 1 0 11 -11 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.481498296540 0.415421336218 6 10 10 8 0132 1230 3012 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.474041167589 1.483013265905 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0011_10']), 'c_1001_5' : negation(d['c_1001_2']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_0'], 'c_1001_6' : negation(d['c_1001_2']), 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_10']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_3']), 'c_1001_8' : d['c_1001_0'], 'c_1010_10' : d['c_0101_10'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : 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_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' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_1']), 'c_1100_4' : d['c_0110_9'], 'c_1100_7' : d['c_0101_3'], 'c_1100_6' : d['c_0101_3'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : d['c_0110_9'], 'c_1100_3' : d['c_0110_9'], 'c_1100_2' : negation(d['c_0101_0']), 'c_1100_10' : d['c_0011_10'], 'c_1010_7' : negation(d['c_0011_4']), 'c_1010_6' : negation(d['c_0110_9']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_2']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : negation(d['c_0101_10']), 'c_1100_8' : negation(d['c_0101_0']), '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' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : 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' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0101_0'], 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_3']), 'c_0101_8' : negation(d['c_0011_3']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : negation(d['c_0011_4']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_0110_9, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 503037285752893842544365687755888/154088598447489635809727603009355\ *c_1001_2^23 - 2946909857407061333428168965986728/30817719689497927\ 161945520601871*c_1001_2^22 - 15904097902693277740402907732921924/3\ 0817719689497927161945520601871*c_1001_2^21 - 6284570303632086656908138109292632/30817719689497927161945520601871\ *c_1001_2^20 + 132121254329612533110701968327744031/308177196894979\ 27161945520601871*c_1001_2^19 + 39892558138361818871224044552124546\ /6699504280325636339553374043885*c_1001_2^18 - 529489439044316259361364133607833224/308177196894979271619455206018\ 71*c_1001_2^17 - 5051020524192281328519468257969297422/154088598447\ 489635809727603009355*c_1001_2^16 + 435217087302899324903510873419257239/102725732298326423873151735339\ 57*c_1001_2^15 + 4945999144636848940984086386062723846/513628661491\ 63211936575867669785*c_1001_2^14 - 2278407057961780755990175687515306010/30817719689497927161945520601\ 871*c_1001_2^13 - 27552279560576961170718394694908710064/1540885984\ 47489635809727603009355*c_1001_2^12 + 15325572101234227586011777983482239271/1540885984474896358097276030\ 09355*c_1001_2^11 + 2231529419193466809198352642016229088/102725732\ 29832642387315173533957*c_1001_2^10 - 620826306034540779837906845695084367/570698512768480132628620751886\ 5*c_1001_2^9 - 25994803101514917287354030170548449911/1540885984474\ 89635809727603009355*c_1001_2^8 + 933537135188869188882112744307634\ 136/10272573229832642387315173533957*c_1001_2^7 + 11303362955415311294893435580023275262/1540885984474896358097276030\ 09355*c_1001_2^6 - 7629290501546542440711541457318285926/1540885984\ 47489635809727603009355*c_1001_2^5 - 9836776964917427555666692423609072/969110682059683244086337125845*c\ _1001_2^4 + 379874497304080513073796287995106170/308177196894979271\ 61945520601871*c_1001_2^3 - 140951984044689030416821096174309678/51\ 362866149163211936575867669785*c_1001_2^2 + 280568648545973916944665344676739/6699504280325636339553374043885*c\ _1001_2 + 8110457230338742916958365769022264/1540885984474896358097\ 27603009355, c_0011_0 - 1, c_0011_10 - 1357543562833809821173088/1686421734883857695637099*c_1001_\ 2^23 - 9553103976356448076591040/1686421734883857695637099*c_1001_2\ ^22 - 9037385466493987071623416/1686421734883857695637099*c_1001_2^\ 21 + 75514001760404297899429052/1686421734883857695637099*c_1001_2^\ 20 + 152788966463598443004163660/1686421734883857695637099*c_1001_2\ ^19 - 11730118008730679041483922/73322684125385117201613*c_1001_2^1\ 8 - 815263402146299397533628415/1686421734883857695637099*c_1001_2^\ 17 + 507984891712004165301027842/1686421734883857695637099*c_1001_2\ ^16 + 818946959017395259296810506/562140578294619231879033*c_1001_2\ ^15 - 143623198354347931146303067/562140578294619231879033*c_1001_2\ ^14 - 4813930625268794240708480849/1686421734883857695637099*c_1001\ _2^13 - 177893707053150695840463394/1686421734883857695637099*c_100\ 1_2^12 + 6431344854379658788528094702/1686421734883857695637099*c_1\ 001_2^11 + 273799698725842517164814324/562140578294619231879033*c_1\ 001_2^10 - 657198389344846946473529006/187380192764873077293011*c_1\ 001_2^9 - 833529886292001123277736902/1686421734883857695637099*c_1\ 001_2^8 + 1218173977588113119878345408/562140578294619231879033*c_1\ 001_2^7 + 371728159255722333196934668/1686421734883857695637099*c_1\ 001_2^6 - 1407652256636060929247393269/1686421734883857695637099*c_\ 1001_2^5 - 4760089340902777742765722/187380192764873077293011*c_100\ 1_2^4 + 286430427960798344323955354/1686421734883857695637099*c_100\ 1_2^3 - 1275072592846070477525422/187380192764873077293011*c_1001_2\ ^2 - 797010148875231632254807/73322684125385117201613*c_1001_2 + 2226393116007662301152515/1686421734883857695637099, c_0011_3 + 2118556123990513418946848/1686421734883857695637099*c_1001_2\ ^23 + 17934368753633414807963840/1686421734883857695637099*c_1001_2\ ^22 + 37132803755674545308513680/1686421734883857695637099*c_1001_2\ ^21 - 82148406456802703036409500/1686421734883857695637099*c_1001_2\ ^20 - 369527948069644567107918058/1686421734883857695637099*c_1001_\ 2^19 + 1100642151378479785370963/73322684125385117201613*c_1001_2^1\ 8 + 1536750931753363190653289365/1686421734883857695637099*c_1001_2\ ^17 + 920356692921472086356884381/1686421734883857695637099*c_1001_\ 2^16 - 1223503692769196427530557193/562140578294619231879033*c_1001\ _2^15 - 1178302154972741143554006308/562140578294619231879033*c_100\ 1_2^14 + 5694860396364808100266919834/1686421734883857695637099*c_1\ 001_2^13 + 6921252846115810510537449616/1686421734883857695637099*c\ _1001_2^12 - 5996381912124080368245080732/1686421734883857695637099\ *c_1001_2^11 - 2740350335979921322986590897/56214057829461923187903\ 3*c_1001_2^10 + 506489299251525565621868708/18738019276487307729301\ 1*c_1001_2^9 + 6163343052948401934013306465/16864217348838576956370\ 99*c_1001_2^8 - 865542367511762133306187648/56214057829461923187903\ 3*c_1001_2^7 - 2740017256005513759849095812/16864217348838576956370\ 99*c_1001_2^6 + 1124361406649665003216753966/1686421734883857695637\ 099*c_1001_2^5 + 67400666371098161293957988/18738019276487307729301\ 1*c_1001_2^4 - 294061901114150147948846465/168642173488385769563709\ 9*c_1001_2^3 - 2102127353531075379322209/187380192764873077293011*c\ _1001_2^2 + 1121195671031852091614941/73322684125385117201613*c_100\ 1_2 - 2552413677492680191480153/1686421734883857695637099, c_0011_4 - 1294218817464125718775592/562140578294619231879033*c_1001_2^\ 23 - 9005388560340171689763416/562140578294619231879033*c_1001_2^22 - 7161675358576987854307042/562140578294619231879033*c_1001_2^21 + 76192917444889071405014405/562140578294619231879033*c_1001_2^20 + 134996456516374044311230078/562140578294619231879033*c_1001_2^19 - 13522744753698742685641898/24440894708461705733871*c_1001_2^18 - 752343059371508863436540395/562140578294619231879033*c_1001_2^17 + 779498123253628146036698237/562140578294619231879033*c_1001_2^16 + 789056836146867175928692330/187380192764873077293011*c_1001_2^15 - 460334496946862940731901418/187380192764873077293011*c_1001_2^14 - 4869322011748425338947411184/562140578294619231879033*c_1001_2^13 + 1957989757962222163555088441/562140578294619231879033*c_1001_2^12 + 6849235414842788962952373425/562140578294619231879033*c_1001_2^11 - 823270993364218136237130422/187380192764873077293011*c_1001_2^10 - 2193484305329252063326485256/187380192764873077293011*c_1001_2^9 + 2686442287611891359058666203/562140578294619231879033*c_1001_2^8 + 1358944165670323006522418791/187380192764873077293011*c_1001_2^7 - 2169356540538288391537880360/562140578294619231879033*c_1001_2^6 - 1350896654660625015522217972/562140578294619231879033*c_1001_2^5 + 356739258759418992909622078/187380192764873077293011*c_1001_2^4 + 57958235410624097731766594/562140578294619231879033*c_1001_2^3 - 74764134739266817821002821/187380192764873077293011*c_1001_2^2 + 3195436063635239419532918/24440894708461705733871*c_1001_2 - 8712469260873062154406952/562140578294619231879033, c_0101_0 + 1784772805211173847207264/1686421734883857695637099*c_1001_2\ ^23 + 18181511370891078043812224/1686421734883857695637099*c_1001_2\ ^22 + 55860790864370859061118200/1686421734883857695637099*c_1001_2\ ^21 - 26449727429973522998245100/1686421734883857695637099*c_1001_2\ ^20 - 448026831525093341713898620/1686421734883857695637099*c_1001_\ 2^19 - 19538979613167156381323614/73322684125385117201613*c_1001_2^\ 18 + 1531886113680587158837363873/1686421734883857695637099*c_1001_\ 2^17 + 2864621898830476532975493781/1686421734883857695637099*c_100\ 1_2^16 - 886186324909411423585160585/562140578294619231879033*c_100\ 1_2^15 - 2784287510926367956913309561/562140578294619231879033*c_10\ 01_2^14 + 2008597868067682538763743060/1686421734883857695637099*c_\ 1001_2^13 + 14960954607819919921505232706/1686421734883857695637099\ *c_1001_2^12 + 991345200801685403191314976/168642173488385769563709\ 9*c_1001_2^11 - 5887665182196073671325721228/5621405782946192318790\ 33*c_1001_2^10 - 375192380155037261575272931/1873801927648730772930\ 11*c_1001_2^9 + 14244588803745421956121541008/168642173488385769563\ 7099*c_1001_2^8 + 937774832522342874268423979/562140578294619231879\ 033*c_1001_2^7 - 7694830620621004494466112560/168642173488385769563\ 7099*c_1001_2^6 - 737055975357273909820743788/168642173488385769563\ 7099*c_1001_2^5 + 289326451352192013616841758/187380192764873077293\ 011*c_1001_2^4 - 221751680878752610189449512/1686421734883857695637\ 099*c_1001_2^3 - 43481335444239902513515817/18738019276487307729301\ 1*c_1001_2^2 + 6079447061377716427651150/73322684125385117201613*c_\ 1001_2 - 17047046891335574225830693/1686421734883857695637099, c_0101_1 - 6079936850149005005430016/1686421734883857695637099*c_1001_2\ ^23 - 49228447865577081281616160/1686421734883857695637099*c_1001_2\ ^22 - 89438815210193903633221568/1686421734883857695637099*c_1001_2\ ^21 + 261180421688897153508843064/1686421734883857695637099*c_1001_\ 2^20 + 954911760968291702094851372/1686421734883857695637099*c_1001\ _2^19 - 16144477250877257148394036/73322684125385117201613*c_1001_2\ ^18 - 4146720098369012355663830696/1686421734883857695637099*c_1001\ _2^17 - 1279483846267433527001469998/1686421734883857695637099*c_10\ 01_2^16 + 3462921454002364756043976328/562140578294619231879033*c_1\ 001_2^15 + 2187150976800318474156868720/562140578294619231879033*c_\ 1001_2^14 - 17054192969234154722444520058/1686421734883857695637099\ *c_1001_2^13 - 13648778009021204896193753777/1686421734883857695637\ 099*c_1001_2^12 + 19180836524342766383224754938/1686421734883857695\ 637099*c_1001_2^11 + 5395475986793941895824518550/56214057829461923\ 1879033*c_1001_2^10 - 1708815686311069973045859934/1873801927648730\ 77293011*c_1001_2^9 - 11498062213507614532954465418/168642173488385\ 7695637099*c_1001_2^8 + 2918943079481235105988056185/56214057829461\ 9231879033*c_1001_2^7 + 4377547622764277970732319451/16864217348838\ 57695637099*c_1001_2^6 - 3377622376282343905339918127/1686421734883\ 857695637099*c_1001_2^5 - 60937576334137527450048791/18738019276487\ 3077293011*c_1001_2^4 + 677089198149187913557688920/168642173488385\ 7695637099*c_1001_2^3 - 12649154841030720414304355/1873801927648730\ 77293011*c_1001_2^2 - 860585564024117292130997/73322684125385117201\ 613*c_1001_2 + 6796187855534879330831099/1686421734883857695637099, c_0101_10 - 1948285606190162482782904/1686421734883857695637099*c_1001_\ 2^23 - 16621410170354762505624664/1686421734883857695637099*c_1001_\ 2^22 - 35079317800559118557582966/1686421734883857695637099*c_1001_\ 2^21 + 74539284665717717168303011/1686421734883857695637099*c_1001_\ 2^20 + 347063147004465120004576160/1686421734883857695637099*c_1001\ _2^19 - 303711767406330772105000/73322684125385117201613*c_1001_2^1\ 8 - 1437222030316429462237440137/1686421734883857695637099*c_1001_2\ ^17 - 932238403507818165711232358/1686421734883857695637099*c_1001_\ 2^16 + 1137108411116221538415623824/562140578294619231879033*c_1001\ _2^15 + 1168721746571321273562288235/562140578294619231879033*c_100\ 1_2^14 - 5235062559237828954532859689/1686421734883857695637099*c_1\ 001_2^13 - 6855480270217562669361695552/1686421734883857695637099*c\ _1001_2^12 + 5411511801419120953974662203/1686421734883857695637099\ *c_1001_2^11 + 2733025983067308481144605118/56214057829461923187903\ 3*c_1001_2^10 - 445249635270150233206491174/18738019276487307729301\ 1*c_1001_2^9 - 6236073989674121603228134244/16864217348838576956370\ 99*c_1001_2^8 + 743305009483672150594607303/56214057829461923187903\ 3*c_1001_2^7 + 2857478142850125300878155310/16864217348838576956370\ 99*c_1001_2^6 - 966656334311181776489155565/16864217348838576956370\ 99*c_1001_2^5 - 75710232922446427956267120/187380192764873077293011\ *c_1001_2^4 + 262732872695156931104341972/1686421734883857695637099\ *c_1001_2^3 + 4738422791405876447434384/187380192764873077293011*c_\ 1001_2^2 - 1086685766736633100547768/73322684125385117201613*c_1001\ _2 + 584651227784266584406544/1686421734883857695637099, c_0101_3 + 52799684715972310652656/24440894708461705733871*c_1001_2^23 + 405316915702064971083472/24440894708461705733871*c_1001_2^22 + 634237252091941678300268/24440894708461705733871*c_1001_2^21 - 2343485678403424542229654/24440894708461705733871*c_1001_2^20 - 7123096341056006774579612/24440894708461705733871*c_1001_2^19 + 4875527134376878727291678/24440894708461705733871*c_1001_2^18 + 31355340554661239279493863/24440894708461705733871*c_1001_2^17 + 2328118338423843729868058/24440894708461705733871*c_1001_2^16 - 26323024553617804546843286/8146964902820568577957*c_1001_2^15 - 10545540816221004969846518/8146964902820568577957*c_1001_2^14 + 129553278135931245958945612/24440894708461705733871*c_1001_2^13 + 72194843004191425535012660/24440894708461705733871*c_1001_2^12 - 144174525561139341481777240/24440894708461705733871*c_1001_2^11 - 28311314345928790992847626/8146964902820568577957*c_1001_2^10 + 37424480575513430255298052/8146964902820568577957*c_1001_2^9 + 56523168903322062600725846/24440894708461705733871*c_1001_2^8 - 20037407972252993350635812/8146964902820568577957*c_1001_2^7 - 17921479835976394577528588/24440894708461705733871*c_1001_2^6 + 20870671162037387087093714/24440894708461705733871*c_1001_2^5 + 153816011187238970762256/8146964902820568577957*c_1001_2^4 - 3446466097721728328601874/24440894708461705733871*c_1001_2^3 + 323306822263157085908406/8146964902820568577957*c_1001_2^2 - 111100513772534281346/24440894708461705733871*c_1001_2 - 22864447983520118684216/24440894708461705733871, c_0110_9 - 798853043501866390818208/1686421734883857695637099*c_1001_2^\ 23 - 8133656496381528079955224/1686421734883857695637099*c_1001_2^2\ 2 - 25402831648336976239032560/1686421734883857695637099*c_1001_2^2\ 1 + 9077378321581503738021382/1686421734883857695637099*c_1001_2^20 + 198619039485729285167384159/1686421734883857695637099*c_1001_2^19 + 9701567138018290552989416/73322684125385117201613*c_1001_2^18 - 650984245254693865523645039/1686421734883857695637099*c_1001_2^17 - 1366541616584616695867114027/1686421734883857695637099*c_1001_2^16 + 337057807597177837369615660/562140578294619231879033*c_1001_2^15 + 1310860381037051287031973235/562140578294619231879033*c_1001_2^14 - 391498382314811970776671714/1686421734883857695637099*c_1001_2^13 - 6997180951869708944761961342/1686421734883857695637099*c_1001_2^12 - 1360306377370541149095359735/1686421734883857695637099*c_1001_2^11 + 2750019090790312029412575727/562140578294619231879033*c_1001_2^10 + 288978807021716915553963196/187380192764873077293011*c_1001_2^9 - 6701343008602112734663563791/1686421734883857695637099*c_1001_2^8 - 699437762642975733783753127/562140578294619231879033*c_1001_2^7 + 3701625161116802053420670546/1686421734883857695637099*c_1001_2^6 + 711740352558686740376182654/1686421734883857695637099*c_1001_2^5 - 145346567210766419809566063/187380192764873077293011*c_1001_2^4 + 24231942340305765159306382/1686421734883857695637099*c_1001_2^3 + 23717095119314524349244510/187380192764873077293011*c_1001_2^2 - 2858558638246749472416896/73322684125385117201613*c_1001_2 + 7776640684481566968714677/1686421734883857695637099, c_1001_0 + 171804971673362970165272/187380192764873077293011*c_1001_2^2\ 3 + 1658528960259371399640456/187380192764873077293011*c_1001_2^22 + 4506327936075488722265878/187380192764873077293011*c_1001_2^21 - 4643826439165557800725987/187380192764873077293011*c_1001_2^20 - 39088916765282880585051404/187380192764873077293011*c_1001_2^19 - 940484812343860520733433/8146964902820568577957*c_1001_2^18 + 147079104150587388917109511/187380192764873077293011*c_1001_2^17 + 178547101072976287501219339/187380192764873077293011*c_1001_2^16 - 309179747625533243116639388/187380192764873077293011*c_1001_2^15 - 542209217902941089443857092/187380192764873077293011*c_1001_2^14 + 399360111328439072470517688/187380192764873077293011*c_1001_2^13 + 960173117140898820658596995/187380192764873077293011*c_1001_2^12 - 314539028735439285099393017/187380192764873077293011*c_1001_2^11 - 1070284806593268417653225474/187380192764873077293011*c_1001_2^10 + 162332329678962501694018538/187380192764873077293011*c_1001_2^9 + 764429400022379230052391357/187380192764873077293011*c_1001_2^8 - 72572071284970668180367447/187380192764873077293011*c_1001_2^7 - 326599925756268608677095818/187380192764873077293011*c_1001_2^6 + 44746162891116281851015450/187380192764873077293011*c_1001_2^5 + 71082988678429323050795078/187380192764873077293011*c_1001_2^4 - 18281294087083108350521038/187380192764873077293011*c_1001_2^3 - 2609820896416844626759541/187380192764873077293011*c_1001_2^2 + 124106948455887206969328/8146964902820568577957*c_1001_2 - 542732508666604187188196/187380192764873077293011, c_1001_2^24 + 9*c_1001_2^23 + 85/4*c_1001_2^22 - 285/8*c_1001_2^21 - 205*c_1001_2^20 - 179/4*c_1001_2^19 + 6753/8*c_1001_2^18 + 744*c_1001_2^17 - 8021/4*c_1001_2^16 - 5247/2*c_1001_2^15 + 3106*c_1001_2^14 + 20767/4*c_1001_2^13 - 6645/2*c_1001_2^12 - 26147/4*c_1001_2^11 + 10857/4*c_1001_2^10 + 43417/8*c_1001_2^9 - 1877*c_1001_2^8 - 5713/2*c_1001_2^7 + 4489/4*c_1001_2^6 + 829*c_1001_2^5 - 3713/8*c_1001_2^4 - 109/2*c_1001_2^3 + 88*c_1001_2^2 - 24*c_1001_2 + 19/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.560 Total time: 0.780 seconds, Total memory usage: 32.09MB