Magma V2.19-8 Wed Aug 21 2013 01:02:19 on localhost [Seed = 745158629] Type ? for help. Type -D to quit. Loading file "L14n14266__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n14266 geometric_solution 12.18295721 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 0 1 0 0 0 0 0 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 1 0 -1 -1 0 3 -2 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.256072492086 0.972223259242 0 5 7 6 0132 0132 0132 0132 1 0 0 1 0 -1 1 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 -3 3 0 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.426429221595 0.694094613771 8 0 9 9 0132 0132 2310 0132 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 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.308554042592 0.669438716454 10 11 9 0 0132 0132 2103 0132 1 0 0 0 0 0 0 0 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.280841466007 0.745132664250 5 8 0 11 0132 0132 0132 1230 1 0 0 1 0 0 0 0 1 0 -1 0 -1 -1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 -2 0 2 0 1 2 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.121088799002 0.964357677963 4 1 12 6 0132 0132 0132 0321 1 0 1 0 0 1 0 -1 -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 3 -1 -2 2 0 -2 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.859336207042 0.757548066885 7 5 1 12 0321 0321 0132 3201 1 0 1 0 0 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 2 0 -2 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.066995645043 1.759729451164 6 12 10 1 0321 3201 0321 0132 1 0 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 0 0 0 0 0 3 -3 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.707456346795 0.856113418389 2 4 10 11 0132 0132 0132 1302 1 0 1 0 0 0 0 0 0 0 2 -2 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 -1 0 0 0 -3 3 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.190841736189 0.891701630337 3 2 2 11 2103 3201 0132 0213 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 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.032149518516 0.853241319968 3 12 7 8 0132 3012 0321 0132 1 0 0 0 0 1 -1 0 2 0 0 -2 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 2 -3 1 -3 0 0 3 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.529484863818 0.419938878308 4 3 8 9 3012 0132 2031 0213 1 1 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 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.593422428676 0.568448128975 10 6 7 5 1230 2310 2310 0132 1 0 0 1 0 0 0 0 1 0 0 -1 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 0 -1 1 -2 0 0 2 0 1 0 -1 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.345186724528 0.577250820971 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_2']), 'c_1001_10' : negation(d['c_0011_12']), 'c_1001_12' : negation(d['c_1001_1']), 'c_1001_5' : d['c_0011_7'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_11'], 'c_1001_6' : d['c_0011_7'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0011_9'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_2']), 'c_1001_8' : d['c_0101_11'], 'c_1010_12' : d['c_0011_7'], 'c_1010_11' : d['c_0011_9'], 'c_1010_10' : d['c_0101_11'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : negation(d['c_0101_11']), 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_0'], '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_0011_9'], 'c_1100_8' : d['c_0101_11'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_7'], 'c_1100_4' : d['c_0110_11'], 'c_1100_7' : negation(d['c_0011_12']), 'c_1100_6' : negation(d['c_0011_12']), 'c_1100_1' : negation(d['c_0011_12']), 'c_1100_0' : d['c_0110_11'], 'c_1100_3' : d['c_0110_11'], 'c_1100_2' : d['c_0011_9'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_1001_2']), 'c_1100_10' : d['c_0101_11'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0101_11'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0011_7'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_1001_2']), 'c_1010_8' : d['c_1001_2'], '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_0011_7'], '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' : d['c_0011_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : d['c_0011_10'], 'c_0110_0' : negation(d['c_0011_6']), 'c_0101_7' : negation(d['c_0101_0']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : negation(d['c_0011_6']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_6']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_3'], 'c_0101_8' : d['c_0101_3'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0110_11']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : negation(d['c_0011_6']), 'c_0110_6' : negation(d['c_0011_7']), '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_12, c_0011_6, c_0011_7, c_0011_9, c_0101_0, c_0101_11, c_0101_2, c_0101_3, c_0110_11, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 1 Groebner basis: [ t + 1/240, c_0011_0 - 1, c_0011_10 - 1/3, c_0011_12 - 1, c_0011_6 - 2, c_0011_7 - 1, c_0011_9 + 3, c_0101_0 - 1, c_0101_11 + 2, c_0101_2 - 1, c_0101_3 - 4/3, c_0110_11 + 5, c_1001_1 + 3, c_1001_2 + 3 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_6, c_0011_7, c_0011_9, c_0101_0, c_0101_11, c_0101_2, c_0101_3, c_0110_11, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 475760185696309155691207281280262067456627977/258197185584189922641\ 6301932928541651319143328*c_1001_2^16 - 5660016200914444170515654009086991443352373571/25819718558418992264\ 16301932928541651319143328*c_1001_2^15 - 15203734053936197690029966296417430736296428617/6454929639604748066\ 04075483232135412829785832*c_1001_2^14 - 98113054619639642616313514726976792378908646295/2581971855841899226\ 416301932928541651319143328*c_1001_2^13 - 6007023997429522753198057482750248419418012396/26895540165019783608\ 503145134672308867907743*c_1001_2^12 - 317984898608590851564923604779954726623543472619/430328642640316537\ 736050322154756941886523888*c_1001_2^11 - 1107515984483593776014390823846027695104265430947/12909859279209496\ 13208150966464270825659571664*c_1001_2^10 - 79457691081737740063396308243443467813659456853/1358932555706262750\ 74542206996239034279954912*c_1001_2^9 + 89123730881218767984087132047245318912514934317/8606572852806330754\ 72100644309513883773047776*c_1001_2^8 + 216043000202225462139291699218118411753265672637/832894147045773944\ 00525868804146504881262688*c_1001_2^7 + 7070820851766383696013193205246313573989246206937/12909859279209496\ 13208150966464270825659571664*c_1001_2^6 + 554941577369816366340509412140707674996689833013/832894147045773944\ 00525868804146504881262688*c_1001_2^5 + 2453167033634472533234132247902123800574188613117/43032864264031653\ 7736050322154756941886523888*c_1001_2^4 + 189638318144380060988029398161160846475733091179/537910803300395672\ 17006290269344617735815486*c_1001_2^3 + 672084250729039648532616919728308067061477723887/430328642640316537\ 736050322154756941886523888*c_1001_2^2 + 759687326490279175839053013963524918327742662749/129098592792094961\ 3208150966464270825659571664*c_1001_2 + 52444876195766410375474927562166215164208253289/3227464819802374033\ 02037741616067706414892916, c_0011_0 - 1, c_0011_10 + 16828721684648134402181212902315888405175/26027942095180435\ 75016433400129578277539459*c_1001_2^16 + 384268150983269256940555680291640767563407/520558841903608715003286\ 6800259156555078918*c_1001_2^15 + 206034838976575323941866659202895\ 1774971311/2602794209518043575016433400129578277539459*c_1001_2^14 + 4994478955144571839256986153564842023156869/52055884190360871500328\ 66800259156555078918*c_1001_2^13 + 12908133389894969316054351716722874412516967/1735196139678695716677\ 622266753052185026306*c_1001_2^12 + 38899439263568440624408909018957034799649459/1735196139678695716677\ 622266753052185026306*c_1001_2^11 + 51772917680288783104125379947699232099503155/2602794209518043575016\ 433400129578277539459*c_1001_2^10 + 1729910295462342459498314864892724156016567/13698916892200229342191\ 7547375240961975761*c_1001_2^9 - 1543860162872142524453033412597996\ 5825137575/1735196139678695716677622266753052185026306*c_1001_2^8 - 226280094155531965080818030297182937030323177/260279420951804357501\ 6433400129578277539459*c_1001_2^7 - 394242363747240692260378680969831864649151333/260279420951804357501\ 6433400129578277539459*c_1001_2^6 - 873355505414245326229596007397114017007773973/520558841903608715003\ 2866800259156555078918*c_1001_2^5 - 223864929227790241020876635475344643972072369/173519613967869571667\ 7622266753052185026306*c_1001_2^4 - 118753132332100485225282035270820936134731775/173519613967869571667\ 7622266753052185026306*c_1001_2^3 - 21977188359816677798377581521623992074417217/8675980698393478583388\ 11133376526092513153*c_1001_2^2 - 256945041729719714036544321316206\ 89339299927/2602794209518043575016433400129578277539459*c_1001_2 - 6435630853548097402806481746283837178501968/26027942095180435750164\ 33400129578277539459, c_0011_12 + 695217860154959360989399919270278940543/9132611261466819561\ 4611698250160641317174*c_1001_2^16 + 7786525146272088749328003040908713009271/91326112614668195614611698\ 250160641317174*c_1001_2^15 + 4171771057354634735636065034904475143\ 7845/45663056307334097807305849125080320658587*c_1001_2^14 + 85130824319734296510973172115343881008647/9132611261466819561461169\ 8250160641317174*c_1001_2^13 + 391076182266708471167961038804358715\ 962325/45663056307334097807305849125080320658587*c_1001_2^12 + 1119382989953807060854492628010586637909548/45663056307334097807305\ 849125080320658587*c_1001_2^11 + 8329852213396075503639950132134971\ 44436931/45663056307334097807305849125080320658587*c_1001_2^10 + 989771397313015806369516766470537991037053/913261126146681956146116\ 98250160641317174*c_1001_2^9 - 118257195973437649458277905973943185\ 9330027/91326112614668195614611698250160641317174*c_1001_2^8 - 9018690464873303858695353881473919409950825/91326112614668195614611\ 698250160641317174*c_1001_2^7 - 71878242674100280711052182281141302\ 49827412/45663056307334097807305849125080320658587*c_1001_2^6 - 14951427575038232603536243186061677023893409/9132611261466819561461\ 1698250160641317174*c_1001_2^5 - 5285387970590450384078520218841807\ 670442643/45663056307334097807305849125080320658587*c_1001_2^4 - 2633914476262949244580072660957991831446366/45663056307334097807305\ 849125080320658587*c_1001_2^3 - 83430984447950681761287566793092607\ 4851237/45663056307334097807305849125080320658587*c_1001_2^2 - 366436907284805373625704748886143286691156/456630563073340978073058\ 49125080320658587*c_1001_2 - 12265730153859997854742966005962098693\ 3/45663056307334097807305849125080320658587, c_0011_6 - 695217860154959360989399919270278940543/91326112614668195614\ 611698250160641317174*c_1001_2^16 - 7786525146272088749328003040908713009271/91326112614668195614611698\ 250160641317174*c_1001_2^15 - 4171771057354634735636065034904475143\ 7845/45663056307334097807305849125080320658587*c_1001_2^14 - 85130824319734296510973172115343881008647/9132611261466819561461169\ 8250160641317174*c_1001_2^13 - 391076182266708471167961038804358715\ 962325/45663056307334097807305849125080320658587*c_1001_2^12 - 1119382989953807060854492628010586637909548/45663056307334097807305\ 849125080320658587*c_1001_2^11 - 8329852213396075503639950132134971\ 44436931/45663056307334097807305849125080320658587*c_1001_2^10 - 989771397313015806369516766470537991037053/913261126146681956146116\ 98250160641317174*c_1001_2^9 + 118257195973437649458277905973943185\ 9330027/91326112614668195614611698250160641317174*c_1001_2^8 + 9018690464873303858695353881473919409950825/91326112614668195614611\ 698250160641317174*c_1001_2^7 + 71878242674100280711052182281141302\ 49827412/45663056307334097807305849125080320658587*c_1001_2^6 + 14951427575038232603536243186061677023893409/9132611261466819561461\ 1698250160641317174*c_1001_2^5 + 5285387970590450384078520218841807\ 670442643/45663056307334097807305849125080320658587*c_1001_2^4 + 2633914476262949244580072660957991831446366/45663056307334097807305\ 849125080320658587*c_1001_2^3 + 83430984447950681761287566793092607\ 4851237/45663056307334097807305849125080320658587*c_1001_2^2 + 366436907284805373625704748886143286691156/456630563073340978073058\ 49125080320658587*c_1001_2 + 12265730153859997854742966005962098693\ 3/45663056307334097807305849125080320658587, c_0011_7 - 963430025661631913262805765818307375887/91326112614668195614\ 611698250160641317174*c_1001_2^16 - 5380328193083883528010197241138518199565/45663056307334097807305849\ 125080320658587*c_1001_2^15 - 1152815705201792454068027163517667707\ 49253/91326112614668195614611698250160641317174*c_1001_2^14 - 114302369960616190812035535393176277342381/913261126146681956146116\ 98250160641317174*c_1001_2^13 - 10793188637176972540381405989616959\ 86612339/91326112614668195614611698250160641317174*c_1001_2^12 - 1534275691467207756995705658158618186502418/45663056307334097807305\ 849125080320658587*c_1001_2^11 - 1101498886779857637312084612267955\ 829203116/45663056307334097807305849125080320658587*c_1001_2^10 - 1281229771797056176390237426142709635903473/91326112614668195614611\ 698250160641317174*c_1001_2^9 + 84652332602708185350032222670464159\ 5706498/45663056307334097807305849125080320658587*c_1001_2^8 + 6226186980834462543170801698542230302369688/45663056307334097807305\ 849125080320658587*c_1001_2^7 + 19533566382290465377223739052067498\ 340163645/91326112614668195614611698250160641317174*c_1001_2^6 + 20028193786863623524136977105132237581292991/9132611261466819561461\ 1698250160641317174*c_1001_2^5 + 1386052066202158647504064365242105\ 7195935915/91326112614668195614611698250160641317174*c_1001_2^4 + 3375722646971046110840640485643161627058474/45663056307334097807305\ 849125080320658587*c_1001_2^3 + 10110262680729011988356302878513007\ 81525038/45663056307334097807305849125080320658587*c_1001_2^2 + 462097299147137248321140299802234058604692/456630563073340978073058\ 49125080320658587*c_1001_2 - 28462058836966662729376222420234345366\ 0/45663056307334097807305849125080320658587, c_0011_9 - 297493557912224271254977463281828251053/91326112614668195614\ 611698250160641317174*c_1001_2^16 - 3274984719194749911425975298005566400061/91326112614668195614611698\ 250160641317174*c_1001_2^15 - 1757742493022004554374047737119223992\ 7448/45663056307334097807305849125080320658587*c_1001_2^14 - 30547273299962947168428491802837417668913/9132611261466819561461169\ 8250160641317174*c_1001_2^13 - 168978493185794227921508606389447459\ 190355/45663056307334097807305849125080320658587*c_1001_2^12 - 449548745178080792137058661234046759921164/456630563073340978073058\ 49125080320658587*c_1001_2^11 - 31281389957943086410418298904436924\ 3511497/45663056307334097807305849125080320658587*c_1001_2^10 - 521311933712780239330336863055870729844537/913261126146681956146116\ 98250160641317174*c_1001_2^9 + 517666354245611427419319801332463866\ 869401/91326112614668195614611698250160641317174*c_1001_2^8 + 3727877700921514099929029656830544664592849/91326112614668195614611\ 698250160641317174*c_1001_2^7 + 28090941271177448101614274219926070\ 08745781/45663056307334097807305849125080320658587*c_1001_2^6 + 6270510722493348128030064241562739322081201/91326112614668195614611\ 698250160641317174*c_1001_2^5 + 22673482984176424820725435057119934\ 58331938/45663056307334097807305849125080320658587*c_1001_2^4 + 1200077098512962048613228958553496099333868/45663056307334097807305\ 849125080320658587*c_1001_2^3 + 38018152249699994231814450782987131\ 3589551/45663056307334097807305849125080320658587*c_1001_2^2 + 193243218352766690067850440495269162640791/456630563073340978073058\ 49125080320658587*c_1001_2 - 13947243585155521826032139430683454816\ 723/45663056307334097807305849125080320658587, c_0101_0 - 1, c_0101_11 - 1, c_0101_2 + 178992016643875224513511103265449958215/45663056307334097807\ 305849125080320658587*c_1001_2^16 + 3847562135234052254654127989007991547121/91326112614668195614611698\ 250160641317174*c_1001_2^15 + 4113306304066672106533083690434151670\ 1889/91326112614668195614611698250160641317174*c_1001_2^14 + 12141312968288064757348065091249864341992/4566305630733409780730584\ 9125080320658587*c_1001_2^13 + 381596372204938097213573427347628130\ 553369/91326112614668195614611698250160641317174*c_1001_2^12 + 487797650006911882808023728549658049090734/456630563073340978073058\ 49125080320658587*c_1001_2^11 + 16039916531141300313253007182911628\ 3553693/45663056307334097807305849125080320658587*c_1001_2^10 + 68071733513145565469633853422596006993938/4566305630733409780730584\ 9125080320658587*c_1001_2^9 - 7278920175857670247778866340062734170\ 56003/91326112614668195614611698250160641317174*c_1001_2^8 - 4344151211277152564039431455212766082961977/91326112614668195614611\ 698250160641317174*c_1001_2^7 - 52369090334484260874488418362303251\ 99504827/91326112614668195614611698250160641317174*c_1001_2^6 - 2149751213848273726008261375193611027938779/45663056307334097807305\ 849125080320658587*c_1001_2^5 - 23204265495120772842977760613193793\ 43656291/91326112614668195614611698250160641317174*c_1001_2^4 - 356571830111309270037229706265561825173033/456630563073340978073058\ 49125080320658587*c_1001_2^3 - 597006934605119275482840549718705021\ 41926/45663056307334097807305849125080320658587*c_1001_2^2 - 74698304128529152880906161972503744994055/4566305630733409780730584\ 9125080320658587*c_1001_2 + 651425538842412528162190745531810248803\ 65/45663056307334097807305849125080320658587, c_0101_3 + 9739748788453577504456612714050352110889/5205588419036087150\ 032866800259156555078918*c_1001_2^16 + 127542326570391128143563005626815168456289/520558841903608715003286\ 6800259156555078918*c_1001_2^15 + 136860139874586312404116559563139\ 7067270799/5205588419036087150032866800259156555078918*c_1001_2^14 + 1664149610475907214336987793833276007603731/26027942095180435750164\ 33400129578277539459*c_1001_2^13 + 2061757718626745801227456426975213619344980/86759806983934785833881\ 1133376526092513153*c_1001_2^12 + 170679978506550299715501607353676\ 89408290123/1735196139678695716677622266753052185026306*c_1001_2^11 + 37573434085212915557027335079523011965393505/26027942095180435750\ 16433400129578277539459*c_1001_2^10 + 1829232634040846416691818962525179039191279/27397833784400458684383\ 5094750481923951522*c_1001_2^9 - 2098093293746639291797544285399571\ 099567965/1735196139678695716677622266753052185026306*c_1001_2^8 - 80883001395500974507437124272082691494780216/2602794209518043575016\ 433400129578277539459*c_1001_2^7 - 427451340672804551192534490099353368104287185/520558841903608715003\ 2866800259156555078918*c_1001_2^6 - 248485337984439417896448190969666280667680146/260279420951804357501\ 6433400129578277539459*c_1001_2^5 - 66275757149769491658293181925064078892367980/8675980698393478583388\ 11133376526092513153*c_1001_2^4 - 743397641776662801304999842549086\ 01185890763/1735196139678695716677622266753052185026306*c_1001_2^3 - 13719305658282276891384929284163575733351484/8675980698393478583388\ 11133376526092513153*c_1001_2^2 - 142043209336441973226945746332784\ 59113065683/2602794209518043575016433400129578277539459*c_1001_2 - 5796683643901826959915796041252669098181597/26027942095180435750164\ 33400129578277539459, c_0110_11 - 224483720244055995472164903137848043521/4566305630733409780\ 7305849125080320658587*c_1001_2^16 - 5170411778648461382265425161762153600125/91326112614668195614611698\ 250160641317174*c_1001_2^15 - 5545161106208131418611812267533454558\ 9523/91326112614668195614611698250160641317174*c_1001_2^14 - 35909236290404720739326596210794931772077/4566305630733409780730584\ 9125080320658587*c_1001_2^13 - 520429398885111591303733456140917233\ 250089/91326112614668195614611698250160641317174*c_1001_2^12 - 803339095552322403076424788262278568458283/456630563073340978073058\ 49125080320658587*c_1001_2^11 - 75560053283005471779593270768462711\ 5118267/45663056307334097807305849125080320658587*c_1001_2^10 - 475132313606242638701390154655060605501664/456630563073340978073058\ 49125080320658587*c_1001_2^9 + 534775115109388657800946352143500943\ 020655/91326112614668195614611698250160641317174*c_1001_2^8 + 6088274796034793730326765602825803580617487/91326112614668195614611\ 698250160641317174*c_1001_2^7 + 11085862887835928829875298618050500\ 833983385/91326112614668195614611698250160641317174*c_1001_2^6 + 6209772736115823530070857173989851525935529/45663056307334097807305\ 849125080320658587*c_1001_2^5 + 98227173502826758040027067154923186\ 37633461/91326112614668195614611698250160641317174*c_1001_2^4 + 2740260200604610395060747822909489978360173/45663056307334097807305\ 849125080320658587*c_1001_2^3 + 10383730115598154263915335290838374\ 98419276/45663056307334097807305849125080320658587*c_1001_2^2 + 346827173930431918683297407322072822788232/456630563073340978073058\ 49125080320658587*c_1001_2 + 67437544040131137587272281269323174607\ 633/45663056307334097807305849125080320658587, c_1001_1 - 563206071189191980160475887093895743571/91326112614668195614\ 611698250160641317174*c_1001_2^16 - 3195352284907804698725766479763959647501/45663056307334097807305849\ 125080320658587*c_1001_2^15 - 6849306664576130690162378398667112209\ 9303/91326112614668195614611698250160641317174*c_1001_2^14 - 78603118385674587119033691417051207241867/9132611261466819561461169\ 8250160641317174*c_1001_2^13 - 640661207858643869429263029870954731\ 265199/91326112614668195614611698250160641317174*c_1001_2^12 - 951716874222787339520440505519409894414519/456630563073340978073058\ 49125080320658587*c_1001_2^11 - 79436898025744271346397454031903248\ 1659613/45663056307334097807305849125080320658587*c_1001_2^10 - 914885642418530107504619782559079067371275/913261126146681956146116\ 98250160641317174*c_1001_2^9 + 445639059067498412224070341152726771\ 204579/45663056307334097807305849125080320658587*c_1001_2^8 + 3723697478957757916191726092668079005639237/45663056307334097807305\ 849125080320658587*c_1001_2^7 + 12664261944929619425512717294011045\ 412393505/91326112614668195614611698250160641317174*c_1001_2^6 + 13472378285392260390931738296472362251369835/9132611261466819561461\ 1698250160641317174*c_1001_2^5 + 9829484040260422330582652618350241\ 654633701/91326112614668195614611698250160641317174*c_1001_2^4 + 2538245587352071076480860884222113636134993/45663056307334097807305\ 849125080320658587*c_1001_2^3 + 87031459054065246552468548532632261\ 8698190/45663056307334097807305849125080320658587*c_1001_2^2 + 375339055769556973414460123208963621080424/456630563073340978073058\ 49125080320658587*c_1001_2 + 42681182347442411981196696800431677838\ 119/45663056307334097807305849125080320658587, c_1001_2^17 + 11*c_1001_2^16 + 118*c_1001_2^15 + 101*c_1001_2^14 + 1128*c_1001_2^13 + 3024*c_1001_2^12 + 2006*c_1001_2^11 + 1691*c_1001_2^10 - 1443*c_1001_2^9 - 12349*c_1001_2^8 - 18464*c_1001_2^7 - 20377*c_1001_2^6 - 15666*c_1001_2^5 - 9318*c_1001_2^4 - 4278*c_1001_2^3 - 2218*c_1001_2^2 - 316*c_1001_2 - 228 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.240 Total time: 0.450 seconds, Total memory usage: 32.09MB