Magma V2.19-8 Wed Aug 21 2013 00:58:11 on localhost [Seed = 2345505054] Type ? for help. Type -D to quit. Loading file "L13n4809__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n4809 geometric_solution 12.02954025 oriented_manifold CS_known 0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 2031 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 -1 0 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.655429708407 0.598279321148 0 3 5 4 0132 2103 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 -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.671272368770 0.380920125902 6 0 7 0 0132 0132 0132 1302 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.722874486934 1.255131007721 8 1 0 6 0132 2103 0132 1302 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 -1 1 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.487954846656 1.123543366832 9 10 1 7 0132 0132 0132 2310 1 1 1 1 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 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.292084512996 0.541974822720 11 11 12 1 0132 1302 0132 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 0 0 0 0 0 -1 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.406953451115 1.234717670824 2 7 3 12 0132 3120 2031 1302 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 -1 1 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.653488102940 0.469945283124 4 6 9 2 3201 3120 1230 0132 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 0 0 0 0 0 0 0 4 -3 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.229058877409 0.689979353478 3 11 9 9 0132 3201 3120 2031 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.045973124699 2.103932475715 4 8 8 7 0132 1302 3120 3012 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.900702633547 1.810743951056 11 4 12 12 1230 0132 0213 1230 1 0 1 1 0 1 -1 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 -4 3 1 1 0 1 -2 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.406953451115 1.234717670824 5 10 8 5 0132 3012 2310 2031 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 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.316083815424 0.658083708774 10 10 6 5 3012 0213 2031 0132 1 1 0 1 0 1 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 3 0 -1 0 0 1 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.406953451115 1.234717670824 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_10']), 'c_1001_10' : negation(d['c_0101_2']), 'c_1001_12' : negation(d['c_0101_2']), 'c_1001_5' : d['c_0101_5'], 'c_1001_4' : d['c_0101_12'], 'c_1001_7' : d['c_0101_8'], 'c_1001_6' : negation(d['c_0101_8']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0101_6']), 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_0101_1'], 'c_1001_8' : negation(d['c_0101_1']), 'c_1010_12' : d['c_0101_5'], 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : d['c_0101_12'], 's_0_10' : 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_1'], 'c_0101_10' : d['c_0011_11'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(d['1']), 's_0_9' : negation(d['1']), 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0101_8']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : d['c_0011_7'], 'c_1100_4' : d['c_0011_7'], 'c_1100_7' : d['c_0101_0'], 'c_1100_6' : d['c_0101_12'], 'c_1100_1' : d['c_0011_7'], 'c_1100_0' : d['c_0101_6'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : d['c_0101_0'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_3']), 'c_1100_10' : d['c_0101_5'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_0']), 'c_1010_6' : negation(d['c_0011_7']), 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_12']), 'c_1010_2' : negation(d['c_0101_6']), 'c_1010_1' : d['c_0101_12'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_0101_7']), 'c_1010_8' : d['c_0011_10'], 'c_1100_8' : d['c_0101_7'], 's_3_1' : negation(d['1']), 's_3_0' : negation(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' : negation(d['1']), 'c_1100_12' : d['c_0011_7'], 's_1_7' : negation(d['1']), 's_1_6' : negation(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' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], '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_5'], 'c_0110_10' : d['c_0011_11'], 'c_0110_12' : d['c_0101_5'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], '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' : negation(d['c_0101_7']), 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_0'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_8'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_7']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2']})} 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_3, c_0011_7, c_0101_0, c_0101_1, c_0101_12, c_0101_2, c_0101_5, c_0101_6, c_0101_7, c_0101_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 7859288924506738765242922076415/65126373991222065680808284854912*c_\ 0101_8^17 + 1947980229610925610343439468585/29602897268737302582185\ 58402496*c_0101_8^16 - 53495377453061921288139393235839/32563186995\ 611032840404142427456*c_0101_8^15 + 381606311693214808591745608353/77902361233519217321541010592*c_0101\ _8^14 - 1537764804804417420835942936420499/130252747982444131361616\ 569709824*c_0101_8^13 + 592251733319976590076783648898107/186075354\ 26063447337373795672832*c_0101_8^12 - 4073661017665199711806331383768505/65126373991222065680808284854912\ *c_0101_8^11 + 15204016839752865805573962536435/2142314933921778476\ 34237779128*c_0101_8^10 - 17727009758683855203478147604234605/13025\ 2747982444131361616569709824*c_0101_8^9 + 2778828097268020896405376806593767/11841158907494921032874233609984\ *c_0101_8^8 - 1436421946298914968810084542626397/162815934978055164\ 20202071213728*c_0101_8^7 - 359402018726573644551580797226351/23259\ 41928257930917171724459104*c_0101_8^6 + 20258961933029106970045829095109629/1302527479824441313616165697098\ 24*c_0101_8^5 - 3293203851775786851664949855298511/1302527479824441\ 31361616569709824*c_0101_8^4 - 1968963936697265812870674730117747/6\ 5126373991222065680808284854912*c_0101_8^3 - 308440950702367520999604265971107/32563186995611032840404142427456*\ c_0101_8^2 - 53337028316663830562152010496273/685540778854969112429\ 5608932096*c_0101_8 + 4175042024471357457185715435523941/1302527479\ 82444131361616569709824, c_0011_0 - 1, c_0011_10 - 114970590296831581311970535/2782227186911400618626464664*c_\ 0101_8^17 + 216338187296794606125283327/139111359345570030931323233\ 2*c_0101_8^16 - 413111258661885658108114363/13911135934557003093132\ 32332*c_0101_8^15 + 405562421524124116331331337/3477783983639250773\ 28308083*c_0101_8^14 - 11351572632132501674236339395/55644543738228\ 01237252929328*c_0101_8^13 + 40775740574794020859924822157/55644543\ 73822801237252929328*c_0101_8^12 - 24584146049958581745767854137/2782227186911400618626464664*c_0101_8\ ^11 + 11798576808273721912048839813/1391113593455700309313232332*c_\ 0101_8^10 - 173737074632218509330357015989/556445437382280123725292\ 9328*c_0101_8^9 + 135989884391740314172418254513/556445437382280123\ 7252929328*c_0101_8^8 + 5426996540583004865584015465/34777839836392\ 5077328308083*c_0101_8^7 - 10832578977014299973024476950/3477783983\ 63925077328308083*c_0101_8^6 + 72383455308962974925653570197/556445\ 4373822801237252929328*c_0101_8^5 + 45820275949864070436028730625/5564454373822801237252929328*c_0101_8\ ^4 + 9906031278735991908305064057/2782227186911400618626464664*c_01\ 01_8^3 - 1166310197509135275241121967/695556796727850154656616166*c\ _0101_8^2 - 15079866750680523029530808083/5564454373822801237252929\ 328*c_0101_8 + 21404108238331354020982042169/5564454373822801237252\ 929328, c_0011_11 + 1, c_0011_3 + 5960337060262510003254487/5564454373822801237252929328*c_010\ 1_8^17 - 21268812223668866956447053/5564454373822801237252929328*c_\ 0101_8^16 + 58480885109125137732488619/5564454373822801237252929328\ *c_0101_8^15 - 215158391517367512184390155/556445437382280123725292\ 9328*c_0101_8^14 + 706355175125060889251170241/11128908747645602474\ 505858656*c_0101_8^13 - 1488877147418318772791570655/55644543738228\ 01237252929328*c_0101_8^12 + 101088048490934686232709540/3477783983\ 63925077328308083*c_0101_8^11 - 2063758157287713599036815281/278222\ 7186911400618626464664*c_0101_8^10 + 11455258597332590332172457221/11128908747645602474505858656*c_0101_\ 8^9 - 6398742779915065294025320091/5564454373822801237252929328*c_0\ 101_8^8 + 10241570395095009799678117709/556445437382280123725292932\ 8*c_0101_8^7 + 1646971230329927731956618391/55644543738228012372529\ 29328*c_0101_8^6 - 13083867747941960075909541675/111289087476456024\ 74505858656*c_0101_8^5 - 788089520217698517176503167/55644543738228\ 01237252929328*c_0101_8^4 + 2198802355987913302700003599/2782227186\ 911400618626464664*c_0101_8^3 + 985839289593276662589007813/2782227\ 186911400618626464664*c_0101_8^2 - 2021157404912881725076910677/11128908747645602474505858656*c_0101_8 - 351025438335473454570186831/2782227186911400618626464664, c_0011_7 - 1460462497415072040490789/2782227186911400618626464664*c_010\ 1_8^17 + 3098000451838783712568990/347778398363925077328308083*c_01\ 01_8^16 - 18767642926162026256258961/695556796727850154656616166*c_\ 0101_8^15 + 81996331607677568199871307/1391113593455700309313232332\ *c_0101_8^14 - 1217223738391671258433876485/55644543738228012372529\ 29328*c_0101_8^13 + 2155328546991117115034876961/556445437382280123\ 7252929328*c_0101_8^12 - 3726780191294341657268172473/2782227186911\ 400618626464664*c_0101_8^11 + 1812381090201983640926697235/13911135\ 93455700309313232332*c_0101_8^10 - 11645374820352226812027907375/5564454373822801237252929328*c_0101_8\ ^9 + 32593010376342638030720371013/5564454373822801237252929328*c_0\ 101_8^8 - 3903372504462479150514708837/1391113593455700309313232332\ *c_0101_8^7 - 1258021086412530058187338947/139111359345570030931323\ 2332*c_0101_8^6 + 9547394044387614811108066011/55644543738228012372\ 52929328*c_0101_8^5 - 7931032925080208411905360203/5564454373822801\ 237252929328*c_0101_8^4 + 376161176888599873654839533/2782227186911\ 400618626464664*c_0101_8^3 - 171750991306495998800933299/3477783983\ 63925077328308083*c_0101_8^2 - 6655666005235433082880245001/5564454\ 373822801237252929328*c_0101_8 + 1010608831643170928999613001/55644\ 54373822801237252929328, c_0101_0 + 232543508329468719002433377/5564454373822801237252929328*c_0\ 101_8^17 - 929728223757093399488540329/5564454373822801237252929328\ *c_0101_8^16 + 1891306575920963961593937847/55644543738228012372529\ 29328*c_0101_8^15 - 7001142067328716949926980651/556445437382280123\ 7252929328*c_0101_8^14 + 26194231534353539918815886611/111289087476\ 45602474505858656*c_0101_8^13 - 22151851423395596535621160433/27822\ 27186911400618626464664*c_0101_8^12 + 29974013523116829051469279251/2782227186911400618626464664*c_0101_8\ ^11 - 30905095600642457230334283913/2782227186911400618626464664*c_\ 0101_8^10 + 377906189092872976473325445891/111289087476456024745058\ 58656*c_0101_8^9 - 90805749132101898880182086099/278222718691140061\ 8626464664*c_0101_8^8 - 43638815749649900798160664083/5564454373822\ 801237252929328*c_0101_8^7 + 187252442334385351235003058791/5564454\ 373822801237252929328*c_0101_8^6 - 233794904412060009594740648857/11128908747645602474505858656*c_0101\ _8^5 - 18113270865155594338036712639/2782227186911400618626464664*c\ _0101_8^4 + 763864164868469865503249400/347778398363925077328308083\ *c_0101_8^3 - 680072737889967605789293481/2782227186911400618626464\ 664*c_0101_8^2 + 30657353817887482072322248269/11128908747645602474\ 505858656*c_0101_8 - 14229370562257535829134412729/5564454373822801\ 237252929328, c_0101_1 + 74946203075462107424237975/5564454373822801237252929328*c_01\ 01_8^17 - 237747289833973931457062323/5564454373822801237252929328*\ c_0101_8^16 + 437359033444922177561622129/5564454373822801237252929\ 328*c_0101_8^15 - 2036698257368442455550828049/55644543738228012372\ 52929328*c_0101_8^14 + 5819604200353542866433985125/111289087476456\ 02474505858656*c_0101_8^13 - 3242428830434972779247920349/139111359\ 3455700309313232332*c_0101_8^12 + 2841314229776076202041118095/1391\ 113593455700309313232332*c_0101_8^11 - 2208929809479288426451944787/695556796727850154656616166*c_0101_8^1\ 0 + 122881793768088197660996946985/11128908747645602474505858656*c_\ 0101_8^9 - 12961937907739519437941663289/27822271869114006186264646\ 64*c_0101_8^8 - 1171859232659836312441301705/5564454373822801237252\ 929328*c_0101_8^7 + 428355723849270701410001561/5564454373822801237\ 252929328*c_0101_8^6 - 12162168015391816992429894391/11128908747645\ 602474505858656*c_0101_8^5 - 631448096415392499065303071/1391113593\ 455700309313232332*c_0101_8^4 - 15268910887346092585193855733/27822\ 27186911400618626464664*c_0101_8^3 - 1033967039255605741940050417/1391113593455700309313232332*c_0101_8^\ 2 - 2510293316568731756921970425/11128908747645602474505858656*c_01\ 01_8 - 3765885929899016037829324503/5564454373822801237252929328, c_0101_12 - 5960337060262510003254487/5564454373822801237252929328*c_01\ 01_8^17 + 21268812223668866956447053/5564454373822801237252929328*c\ _0101_8^16 - 58480885109125137732488619/556445437382280123725292932\ 8*c_0101_8^15 + 215158391517367512184390155/55644543738228012372529\ 29328*c_0101_8^14 - 706355175125060889251170241/1112890874764560247\ 4505858656*c_0101_8^13 + 1488877147418318772791570655/5564454373822\ 801237252929328*c_0101_8^12 - 101088048490934686232709540/347778398\ 363925077328308083*c_0101_8^11 + 2063758157287713599036815281/27822\ 27186911400618626464664*c_0101_8^10 - 11455258597332590332172457221/11128908747645602474505858656*c_0101_\ 8^9 + 6398742779915065294025320091/5564454373822801237252929328*c_0\ 101_8^8 - 10241570395095009799678117709/556445437382280123725292932\ 8*c_0101_8^7 - 1646971230329927731956618391/55644543738228012372529\ 29328*c_0101_8^6 + 13083867747941960075909541675/111289087476456024\ 74505858656*c_0101_8^5 + 788089520217698517176503167/55644543738228\ 01237252929328*c_0101_8^4 - 2198802355987913302700003599/2782227186\ 911400618626464664*c_0101_8^3 - 985839289593276662589007813/2782227\ 186911400618626464664*c_0101_8^2 + 2021157404912881725076910677/11128908747645602474505858656*c_0101_8 + 351025438335473454570186831/2782227186911400618626464664, c_0101_2 + 74946203075462107424237975/5564454373822801237252929328*c_01\ 01_8^17 - 237747289833973931457062323/5564454373822801237252929328*\ c_0101_8^16 + 437359033444922177561622129/5564454373822801237252929\ 328*c_0101_8^15 - 2036698257368442455550828049/55644543738228012372\ 52929328*c_0101_8^14 + 5819604200353542866433985125/111289087476456\ 02474505858656*c_0101_8^13 - 3242428830434972779247920349/139111359\ 3455700309313232332*c_0101_8^12 + 2841314229776076202041118095/1391\ 113593455700309313232332*c_0101_8^11 - 2208929809479288426451944787/695556796727850154656616166*c_0101_8^1\ 0 + 122881793768088197660996946985/11128908747645602474505858656*c_\ 0101_8^9 - 12961937907739519437941663289/27822271869114006186264646\ 64*c_0101_8^8 - 1171859232659836312441301705/5564454373822801237252\ 929328*c_0101_8^7 + 428355723849270701410001561/5564454373822801237\ 252929328*c_0101_8^6 - 12162168015391816992429894391/11128908747645\ 602474505858656*c_0101_8^5 - 631448096415392499065303071/1391113593\ 455700309313232332*c_0101_8^4 - 15268910887346092585193855733/27822\ 27186911400618626464664*c_0101_8^3 - 1033967039255605741940050417/1391113593455700309313232332*c_0101_8^\ 2 - 2510293316568731756921970425/11128908747645602474505858656*c_01\ 01_8 - 3765885929899016037829324503/5564454373822801237252929328, c_0101_5 - 185619789428779707643060935/11128908747645602474505858656*c_\ 0101_8^17 + 378640825977092826491632127/556445437382280123725292932\ 8*c_0101_8^16 - 797873434067205802126588963/55644543738228012372529\ 29328*c_0101_8^15 + 1449561206902098146224109651/278222718691140061\ 8626464664*c_0101_8^14 - 22185275394069465137256345867/222578174952\ 91204949011717312*c_0101_8^13 + 73985091744061977957313055501/22257\ 817495291204949011717312*c_0101_8^12 - 51967130032245935482082382265/11128908747645602474505858656*c_0101_\ 8^11 + 1820820780706321220433833605/347778398363925077328308083*c_0\ 101_8^10 - 320593201747247948958906132069/2225781749529120494901171\ 7312*c_0101_8^9 + 333195657966866072173214119517/222578174952912049\ 49011717312*c_0101_8^8 - 353566658007983784444079459/27822271869114\ 00618626464664*c_0101_8^7 - 34109684731748749784235097427/278222718\ 6911400618626464664*c_0101_8^6 + 184909948436913240406606150309/222\ 57817495291204949011717312*c_0101_8^5 + 54378235956926858070375985633/22257817495291204949011717312*c_0101_\ 8^4 - 787210290061150851821342883/11128908747645602474505858656*c_0\ 101_8^3 - 558073201812292524940874491/5564454373822801237252929328*\ c_0101_8^2 - 14565107229849083696255291275/222578174952912049490117\ 17312*c_0101_8 + 27625514416263759682949852197/22257817495291204949\ 011717312, c_0101_6 - 144219251322723193593970801/5564454373822801237252929328*c_0\ 101_8^17 + 555653136793136356532072983/5564454373822801237252929328\ *c_0101_8^16 - 1075258412455025754187937953/55644543738228012372529\ 29328*c_0101_8^15 + 4134698552713917507551702285/556445437382280123\ 7252929328*c_0101_8^14 - 14828952121723873096606590487/111289087476\ 45602474505858656*c_0101_8^13 + 25896436780075840154969614011/55644\ 54373822801237252929328*c_0101_8^12 - 8178814331035854106723788431/1391113593455700309313232332*c_0101_8^\ 11 + 7562333943237683317323976303/1391113593455700309313232332*c_01\ 01_8^10 - 219862921442268386461702639539/11128908747645602474505858\ 656*c_0101_8^9 + 89822047127917474723793648385/55644543738228012372\ 52929328*c_0101_8^8 + 56504870244791460646781788877/556445437382280\ 1237252929328*c_0101_8^7 - 117295162588208185466269784505/556445437\ 3822801237252929328*c_0101_8^6 + 136788308218322248944323170165/111\ 28908747645602474505858656*c_0101_8^5 + 21886818857105713863416849027/5564454373822801237252929328*c_0101_8\ ^4 - 764457898027713437727330693/2782227186911400618626464664*c_010\ 1_8^3 + 11694317783411756595672811/347778398363925077328308083*c_01\ 01_8^2 - 27401988191376313192609679461/1112890874764560247450585865\ 6*c_0101_8 + 3298202275771040686165868449/2782227186911400618626464\ 664, c_0101_7 - 156663247084129144154584449/5564454373822801237252929328*c_0\ 101_8^17 + 582050211734714084251597229/5564454373822801237252929328\ *c_0101_8^16 - 1114509795761990866473496207/55644543738228012372529\ 29328*c_0101_8^15 + 4458013881043342295167502559/556445437382280123\ 7252929328*c_0101_8^14 - 15481320930662082629258062867/111289087476\ 45602474505858656*c_0101_8^13 + 3510802660160195130948142581/695556\ 796727850154656616166*c_0101_8^12 - 8454077693252377277090016243/1391113593455700309313232332*c_0101_8^\ 11 + 4367902851013118454624549649/695556796727850154656616166*c_010\ 1_8^10 - 251384742104267681958578872687/111289087476456024745058586\ 56*c_0101_8^9 + 48330277355365961846919449525/278222718691140061862\ 6464664*c_0101_8^8 + 41895220952082480362766473671/5564454373822801\ 237252929328*c_0101_8^7 - 79650104146575595793923960295/55644543738\ 22801237252929328*c_0101_8^6 + 59733592568575176941814756209/111289\ 08747645602474505858656*c_0101_8^5 + 1676215678090766429353883876/347778398363925077328308083*c_0101_8^4 + 8432436408506991254646712743/2782227186911400618626464664*c_0101_\ 8^3 - 798650313309110796921474177/1391113593455700309313232332*c_01\ 01_8^2 - 16424790991582958948619581153/1112890874764560247450585865\ 6*c_0101_8 + 4848994599514285714704015109/5564454373822801237252929\ 328, c_0101_8^18 - 5*c_0101_8^17 + 12*c_0101_8^16 - 38*c_0101_8^15 + 173/2*c_0101_8^14 - 245*c_0101_8^13 + 899/2*c_0101_8^12 - 513*c_0101_8^11 + 2195/2*c_0101_8^10 - 1626*c_0101_8^9 + 1101/2*c_0101_8^8 + 868*c_0101_8^7 - 2179/2*c_0101_8^6 + 325*c_0101_8^5 + 131/2*c_0101_8^4 + 71*c_0101_8^3 + 209/2*c_0101_8^2 - 117*c_0101_8 + 133/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.110 Total time: 0.320 seconds, Total memory usage: 32.09MB