Magma V2.19-8 Tue Aug 20 2013 23:55:20 on localhost [Seed = 1107569177] Type ? for help. Type -D to quit. Loading file "K12n630__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n630 geometric_solution 12.67578109 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 1 0 -1 -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.584561549848 0.913013805748 0 5 7 6 0132 0132 0132 0132 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 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.412885449215 0.907403046560 8 0 10 9 0132 0132 0132 0132 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 -1 0 1 -2 0 2 0 1 0 0 -1 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.193173729362 0.772659476755 11 7 10 0 0132 2103 0321 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 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.489465451600 0.611963307252 12 11 0 5 0132 3120 0132 3012 0 0 0 0 0 0 0 0 -1 0 1 0 -1 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 1 -1 2 0 -3 1 2 -2 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.903278485258 0.968316045606 8 1 4 9 1023 0132 1230 3201 0 0 0 0 0 0 0 0 -1 0 0 1 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 3 0 0 -3 -2 0 0 2 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.202923032322 0.996560340838 11 10 1 9 2103 3120 0132 3120 0 0 0 0 0 0 0 0 0 0 -1 1 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 3 -3 -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.695462687630 1.218093377425 12 3 8 1 3120 2103 3120 0132 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 0 0 0 -2 0 2 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.484885219900 0.552203905041 2 5 7 11 0132 1023 3120 2103 0 0 0 0 0 1 -1 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 3 0 2 0 -2 0 -2 2 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.146287955543 1.132903764379 6 5 2 12 3120 2310 0132 2031 0 0 0 0 0 1 0 -1 -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 -2 -1 3 3 0 0 -3 -3 3 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.689400381802 0.967440404513 12 6 3 2 2031 3120 0321 0132 0 0 0 0 0 0 0 0 0 0 -1 1 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 2 -2 -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.689400381802 0.967440404513 3 4 6 8 0132 3120 2103 2103 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 -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 0 0 0 0 0 0.887890876768 0.868211243083 4 9 10 7 0132 1302 1302 3120 0 0 0 0 0 -1 0 1 1 0 0 -1 -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 3 0 -3 -2 0 0 2 3 -3 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.435527331871 0.622087461613 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_6'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_0101_2'], 'c_1001_5' : negation(d['c_1001_10']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : negation(d['c_1001_10']), 'c_1001_1' : negation(d['c_1001_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_7'], 'c_1001_2' : negation(d['c_0011_6']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0011_11'], 'c_1010_12' : negation(d['c_0011_7']), 'c_1010_11' : d['c_0011_12'], 'c_1010_10' : negation(d['c_0011_6']), 's_0_10' : d['1'], 's_3_10' : negation(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_0'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(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' : negation(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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_10']), 'c_1100_4' : d['c_1001_10'], 'c_1100_7' : negation(d['c_0101_8']), 'c_1100_6' : negation(d['c_0101_8']), 'c_1100_1' : negation(d['c_0101_8']), 'c_1100_0' : d['c_1001_10'], 'c_1100_3' : d['c_1001_10'], 'c_1100_2' : d['c_0011_7'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_2']), 'c_1100_10' : d['c_0011_7'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_1001_0']), 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : negation(d['c_1001_0']), 'c_1010_4' : negation(d['c_0011_11']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_10']), 'c_1010_0' : negation(d['c_0011_6']), 'c_1010_9' : d['c_0011_12'], 'c_1010_8' : negation(d['c_0011_12']), 'c_1100_8' : d['c_0101_10'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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_0101_10'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_12']), '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_11']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_10']), 'c_0110_10' : d['c_0101_2'], 'c_0110_12' : d['c_0101_1'], 'c_0101_12' : negation(d['c_0011_10']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_10']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_11'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_10']), '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_8'], '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_2'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_7'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : negation(d['c_0011_12']), 'c_0110_4' : negation(d['c_0011_10']), '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 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_6, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_8, c_1001_0, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 580858426624527171/5592893751200*c_1001_10^11 + 1689148963527829779/5592893751200*c_1001_10^10 + 3338525487173043939/5592893751200*c_1001_10^9 + 1357652302964257019/2796446875600*c_1001_10^8 + 620126768798336021/5592893751200*c_1001_10^7 - 33475265803230973/69911171890*c_1001_10^6 - 2296010951098374571/5592893751200*c_1001_10^5 - 410856940206116723/2796446875600*c_1001_10^4 + 1161120024384575083/5592893751200*c_1001_10^3 + 4485972227839203/39949241080*c_1001_10^2 + 27495960759930857/699111718900*c_1001_10 - 129172388917851149/5592893751200, c_0011_0 - 1, c_0011_10 - 724860906/142675861*c_1001_10^11 - 1603078949/142675861*c_1001_10^10 - 2899652014/142675861*c_1001_10^9 - 1150466873/142675861*c_1001_10^8 + 325038030/142675861*c_1001_10^7 + 2819204365/142675861*c_1001_10^6 + 511368950/142675861*c_1001_10^5 + 328945712/142675861*c_1001_10^4 - 1053805703/142675861*c_1001_10^3 + 352362975/142675861*c_1001_10^2 - 326878169/142675861*c_1001_10 + 62281167/142675861, c_0011_11 + 675512016/142675861*c_1001_10^11 + 1715045087/142675861*c_1001_10^10 + 3249267424/142675861*c_1001_10^9 + 2004390451/142675861*c_1001_10^8 + 190809642/142675861*c_1001_10^7 - 2666132308/142675861*c_1001_10^6 - 1097904319/142675861*c_1001_10^5 - 191998667/142675861*c_1001_10^4 + 981273856/142675861*c_1001_10^3 - 58668416/142675861*c_1001_10^2 - 5292135/142675861*c_1001_10 + 73849771/142675861, c_0011_12 - 507830157/142675861*c_1001_10^11 - 2248436503/142675861*c_1001_10^10 - 4581928225/142675861*c_1001_10^9 - 5317224420/142675861*c_1001_10^8 - 1395625400/142675861*c_1001_10^7 + 3201929585/142675861*c_1001_10^6 + 5395888899/142675861*c_1001_10^5 + 1253587788/142675861*c_1001_10^4 - 1243308279/142675861*c_1001_10^3 - 1922129290/142675861*c_1001_10^2 + 97946172/142675861*c_1001_10 + 58377437/142675861, c_0011_6 + 862230906/142675861*c_1001_10^11 + 1937106823/142675861*c_1001_10^10 + 3124766350/142675861*c_1001_10^9 + 667650319/142675861*c_1001_10^8 - 1661955739/142675861*c_1001_10^7 - 3678487345/142675861*c_1001_10^6 - 409901453/142675861*c_1001_10^5 + 889958033/142675861*c_1001_10^4 + 1278770545/142675861*c_1001_10^3 - 290820134/142675861*c_1001_10^2 - 54967994/142675861*c_1001_10 + 65232286/142675861, c_0011_7 - 724860906/142675861*c_1001_10^11 - 1603078949/142675861*c_1001_10^10 - 2899652014/142675861*c_1001_10^9 - 1150466873/142675861*c_1001_10^8 + 325038030/142675861*c_1001_10^7 + 2819204365/142675861*c_1001_10^6 + 511368950/142675861*c_1001_10^5 + 328945712/142675861*c_1001_10^4 - 1053805703/142675861*c_1001_10^3 + 352362975/142675861*c_1001_10^2 - 326878169/142675861*c_1001_10 + 62281167/142675861, c_0101_0 - 1, c_0101_1 + 1239413434/142675861*c_1001_10^11 + 2529847966/142675861*c_1001_10^10 + 4586121777/142675861*c_1001_10^9 + 1506725956/142675861*c_1001_10^8 - 211024317/142675861*c_1001_10^7 - 4143717715/142675861*c_1001_10^6 - 170217529/142675861*c_1001_10^5 - 568582837/142675861*c_1001_10^4 + 1784565693/142675861*c_1001_10^3 - 430750827/142675861*c_1001_10^2 + 551749278/142675861*c_1001_10 - 128517575/142675861, c_0101_10 - 507830157/142675861*c_1001_10^11 - 2248436503/142675861*c_1001_10^10 - 4581928225/142675861*c_1001_10^9 - 5317224420/142675861*c_1001_10^8 - 1395625400/142675861*c_1001_10^7 + 3201929585/142675861*c_1001_10^6 + 5395888899/142675861*c_1001_10^5 + 1253587788/142675861*c_1001_10^4 - 1243308279/142675861*c_1001_10^3 - 1922129290/142675861*c_1001_10^2 + 97946172/142675861*c_1001_10 + 58377437/142675861, c_0101_2 - 138126789/142675861*c_1001_10^11 - 611651754/142675861*c_1001_10^10 - 1987818149/142675861*c_1001_10^9 - 2884419519/142675861*c_1001_10^8 - 3029780817/142675861*c_1001_10^7 + 119505821/142675861*c_1001_10^6 + 1796316034/142675861*c_1001_10^5 + 2928407499/142675861*c_1001_10^4 - 111448172/142675861*c_1001_10^3 - 558160808/142675861*c_1001_10^2 - 974424504/142675861*c_1001_10 + 223940112/142675861, c_0101_8 + 862230906/142675861*c_1001_10^11 + 1937106823/142675861*c_1001_10^10 + 3124766350/142675861*c_1001_10^9 + 667650319/142675861*c_1001_10^8 - 1661955739/142675861*c_1001_10^7 - 3678487345/142675861*c_1001_10^6 - 409901453/142675861*c_1001_10^5 + 889958033/142675861*c_1001_10^4 + 1278770545/142675861*c_1001_10^3 - 290820134/142675861*c_1001_10^2 - 54967994/142675861*c_1001_10 + 65232286/142675861, c_1001_0 + c_1001_10, c_1001_10^12 + 52/19*c_1001_10^11 + 100/19*c_1001_10^10 + 71/19*c_1001_10^9 + 7/19*c_1001_10^8 - 89/19*c_1001_10^7 - 59/19*c_1001_10^6 - 15/19*c_1001_10^5 + 41/19*c_1001_10^4 + 13/19*c_1001_10^3 + 4/19*c_1001_10^2 - 5/19*c_1001_10 + 1/19 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_6, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_8, c_1001_0, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 32423094493854952562009303151540718008276652083393/5817245284726147\ 326586305562625551967687697500*c_1001_10^15 + 4092335804126290162513154177736622690036107248246591/31994849065993\ 8102962246805944405358222823362500*c_1001_10^14 - 349227551896493812756922347004132629068528700819882983/223963943461\ 9566720735727641610837507559763537500*c_1001_10^13 + 302645307390355830948520412954195623699866343777552962/559909858654\ 891680183931910402709376889940884375*c_1001_10^12 - 252988545613494416171188819395809043219723002354023962/559909858654\ 891680183931910402709376889940884375*c_1001_10^11 - 589824224652157114706487424155444320858270307550870069/559909858654\ 891680183931910402709376889940884375*c_1001_10^10 + 45529260158799315650830831685405612567290278255255929/3154421738900\ 7981982193347064941373345912162500*c_1001_10^9 + 235549348265587362736375735154419165330968709241258434/559909858654\ 891680183931910402709376889940884375*c_1001_10^8 - 4427061319992082133256136627559168929704227196185636403/22396394346\ 19566720735727641610837507559763537500*c_1001_10^7 - 102788613397060724743564474084117973621314268499994394/559909858654\ 891680183931910402709376889940884375*c_1001_10^6 + 2407525224420473107978980569474536725411625822612249743/22396394346\ 19566720735727641610837507559763537500*c_1001_10^5 + 1554603303003736786467579239911905307179082766656977/91413854474268\ 02941778480169840153092080667500*c_1001_10^4 - 577061136494398628643162973992163840272876366563056637/223963943461\ 9566720735727641610837507559763537500*c_1001_10^3 - 1947716314164971107533895590171033906178500006742031/22396394346195\ 667207357276416108375075597635375*c_1001_10^2 + 8660972014951094693516218546271080128041689998177/22174647867520462\ 581541857837731064431284787500*c_1001_10 + 393487881451196529627420539301606833411741767461533/203603584965415\ 156430520694691894318869069412500, c_0011_0 - 1, c_0011_10 - 7447084425630451288952039450498267218860207/406039805490046\ 42937658371121404824902220*c_1001_10^15 + 24869558561960286914466041346999047831930111/5075497568625580367207\ 2963901756031127775*c_1001_10^14 - 7576699832841085994188535799053784767788886067/14211393192151625028\ 18042989249168871577700*c_1001_10^13 + 28194333361275832734039591778770212873723868957/1421139319215162502\ 818042989249168871577700*c_1001_10^12 - 32404315462709157748613447778032423579806751217/1421139319215162502\ 818042989249168871577700*c_1001_10^11 - 34569967074588715397336275033530841919445812639/1421139319215162502\ 818042989249168871577700*c_1001_10^10 + 38788545191930490175444808497331429560714128313/7105696596075812514\ 09021494624584435788850*c_1001_10^9 - 6291488063583628418439748776950009048952835093/71056965960758125140\ 9021494624584435788850*c_1001_10^8 - 80370508784283820002173613298402457097800331347/1421139319215162502\ 818042989249168871577700*c_1001_10^7 + 20517224819243103634066856234208007713109508321/1421139319215162502\ 818042989249168871577700*c_1001_10^6 + 8741613388520038135210674853097421014652129983/35528482980379062570\ 4510747312292217894425*c_1001_10^5 - 79749206752664769106323880280909820209407831/4060398054900464293765\ 8371121404824902220*c_1001_10^4 - 178440293570523192431778781328174\ 2113207856522/355284829803790625704510747312292217894425*c_1001_10^\ 3 - 85059237039190186926700002476166773590861724/710569659607581251\ 40902149462458443578885*c_1001_10^2 - 1352304485252654788807473879985871064600917/14070686328862995077406\ 366230189790807700*c_1001_10 - 146749049344304874310764186458697115\ 1987899/710569659607581251409021494624584435788850, c_0011_11 - 10971044863519566985232222664733120827195711/40603980549004\ 642937658371121404824902220*c_1001_10^15 + 70070626250086490973298910613243304945176481/1015099513725116073441\ 45927803512062255550*c_1001_10^14 - 11026410949330776899574732308809702203432419171/1421139319215162502\ 818042989249168871577700*c_1001_10^13 + 40185692817834953210907947014140784968508004121/1421139319215162502\ 818042989249168871577700*c_1001_10^12 - 42416529107721145611953027381759773553534926641/1421139319215162502\ 818042989249168871577700*c_1001_10^11 - 58321868651886023758743136563649380472274224327/1421139319215162502\ 818042989249168871577700*c_1001_10^10 + 55367667296979479290834856696852774628898925939/7105696596075812514\ 09021494624584435788850*c_1001_10^9 - 919986775149562484528126699532653195714014882/355284829803790625704\ 510747312292217894425*c_1001_10^8 - 125637363189787030316288969987359137304925839321/142113931921516250\ 2818042989249168871577700*c_1001_10^7 + 18395034961751851809527460549006580954862734923/1421139319215162502\ 818042989249168871577700*c_1001_10^6 + 14858397534081381936318785568844059111088842464/3552848298037906257\ 04510747312292217894425*c_1001_10^5 - 12467262199505258553986972310008751384937851/4060398054900464293765\ 8371121404824902220*c_1001_10^4 - 627866828607562270925498412789669\ 6606999668217/710569659607581251409021494624584435788850*c_1001_10^\ 3 - 158054534084353989629051421664789106241696159/71056965960758125\ 140902149462458443578885*c_1001_10^2 - 1915675380533326940637805898577676411087871/14070686328862995077406\ 366230189790807700*c_1001_10 - 149029387034166211181414602473789073\ 2581047/710569659607581251409021494624584435788850, c_0011_12 + 3634180591192130320299474083026678315296453/406039805490046\ 42937658371121404824902220*c_1001_10^15 - 54284891162899672952612662415596193451424501/2030199027450232146882\ 91855607024124511100*c_1001_10^14 + 3805628231757112462928417658029055056181850373/14211393192151625028\ 18042989249168871577700*c_1001_10^13 - 3732066021379681979746477779118545586341804087/35528482980379062570\ 4510747312292217894425*c_1001_10^12 + 5045489824736777782679710282858387080927047432/35528482980379062570\ 4510747312292217894425*c_1001_10^11 + 2951225764219271395086539404701850731345385574/35528482980379062570\ 4510747312292217894425*c_1001_10^10 - 43167684240846458301755555091918744698668407609/1421139319215162502\ 818042989249168871577700*c_1001_10^9 + 9166335328796568298262071501884700051763088977/71056965960758125140\ 9021494624584435788850*c_1001_10^8 + 37089506122030429690215979061982084111471805613/1421139319215162502\ 818042989249168871577700*c_1001_10^7 - 11302602526203830562925682908609814511157226397/7105696596075812514\ 09021494624584435788850*c_1001_10^6 - 13522137246773775581988854373282171843223553513/1421139319215162502\ 818042989249168871577700*c_1001_10^5 + 196686310239169805671067797896162862684403007/406039805490046429376\ 58371121404824902220*c_1001_10^4 + 2811917166336371802403055505009163903423141377/14211393192151625028\ 18042989249168871577700*c_1001_10^3 - 16113305275668908470084720019523141627725941/7105696596075812514090\ 2149462458443578885*c_1001_10^2 - 138608292988084804695398969731198\ 7626211037/14070686328862995077406366230189790807700*c_1001_10 - 4134606034415321176457594553469051088030863/14211393192151625028180\ 42989249168871577700, c_0011_6 - 2845178594881307011812480612217966789659653/8120796109800928\ 587531674224280964980444*c_1001_10^15 + 35934657084473049031584572747479779256448771/4060398054900464293765\ 8371121404824902220*c_1001_10^14 - 2850990200291273389933504194380902337342211339/28422786384303250056\ 3608597849833774315540*c_1001_10^13 + 2583944023204692756336781467766144457573304769/71056965960758125140\ 902149462458443578885*c_1001_10^12 - 2665949822132417425410756938211107597669402366/71056965960758125140\ 902149462458443578885*c_1001_10^11 - 3895871286112948445586646009207374730088358967/71056965960758125140\ 902149462458443578885*c_1001_10^10 + 5694133355865397015370502398851485712244587161/56845572768606500112\ 721719569966754863108*c_1001_10^9 - 517305201917830224034998056037391099223220/142113931921516250281804\ 29892491688715777*c_1001_10^8 - 33006278764112228418565428758822929\ 483468759997/284227863843032500563608597849833774315540*c_1001_10^7 + 1994711248794053134066438815291655216690181427/142113931921516250\ 281804298924916887157770*c_1001_10^6 + 15895300544571917337434122688913497491095727731/2842278638430325005\ 63608597849833774315540*c_1001_10^5 + 21127356007369484987715617334650862282967877/4060398054900464293765\ 8371121404824902220*c_1001_10^4 - 338287335620853984571464963709502\ 2000463643683/284227863843032500563608597849833774315540*c_1001_10^\ 3 - 86761246607642516335578766175789375215203309/284227863843032500\ 56360859784983377431554*c_1001_10^2 - 496637194884810494025745401855937782374313/281413726577259901548127\ 3246037958161540*c_1001_10 - 77654422530401227204727023318893355809\ 6663/284227863843032500563608597849833774315540, c_0011_7 + 672166725730471103656577374186967099952283/58005686498578061\ 33951195874486403557460*c_1001_10^15 - 4499980850997637910701091777096314914739443/14501421624644515334877\ 989686216008893650*c_1001_10^14 + 684498649448868458897164877849883\ 774297892973/203019902745023214688291855607024124511100*c_1001_10^1\ 3 - 2549797144115583887487280717290964280407845353/2030199027450232\ 14688291855607024124511100*c_1001_10^12 + 2947890547611792198351170379574037452319589493/20301990274502321468\ 8291855607024124511100*c_1001_10^11 + 3074213371140954158245907652568568199513776111/20301990274502321468\ 8291855607024124511100*c_1001_10^10 - 3492290132754856648287505569052434561046374347/10150995137251160734\ 4145927803512062255550*c_1001_10^9 + 300292987440808952406298049926555490802264926/507549756862558036720\ 72963901756031127775*c_1001_10^8 + 7170487601828549259921069875464683125615097563/20301990274502321468\ 8291855607024124511100*c_1001_10^7 - 1865531361327034714276040739427129891266124589/20301990274502321468\ 8291855607024124511100*c_1001_10^6 - 1539714792573134455075357875054385968019583469/10150995137251160734\ 4145927803512062255550*c_1001_10^5 + 961273894453200666111202352623511183806477/828652664265400876278742\ 267783771936780*c_1001_10^4 + 3099106038219145143098542341457327957\ 90755601/101509951372511607344145927803512062255550*c_1001_10^3 + 15847093098187986221474462672673290879499511/2030199027450232146882\ 9185560702412451110*c_1001_10^2 + 156397145106570155052813031002247\ 413252003/2010098046980427868200909461455684401100*c_1001_10 + 85005750300800101515117230107407420768068/5075497568625580367207296\ 3901756031127775, c_0101_0 - 2597795175918019754881208173224945394951941/4060398054900464\ 2937658371121404824902220*c_1001_10^15 + 29661640529565606097407643588961901709982847/2030199027450232146882\ 91855607024124511100*c_1001_10^14 - 2541853326332473084883434742125438541916621981/14211393192151625028\ 18042989249168871577700*c_1001_10^13 + 2197446533126986193236492943004163670161260104/35528482980379062570\ 4510747312292217894425*c_1001_10^12 - 1820716933893976292565493253326181266258422119/35528482980379062570\ 4510747312292217894425*c_1001_10^11 - 4308475326079116501604119903594088984448749618/35528482980379062570\ 4510747312292217894425*c_1001_10^10 + 23401720954875446416966493519267803780768015473/1421139319215162502\ 818042989249168871577700*c_1001_10^9 + 1705046766002033830449341578435380623561679938/35528482980379062570\ 4510747312292217894425*c_1001_10^8 - 31940836991662414221114216023986705165237083871/1421139319215162502\ 818042989249168871577700*c_1001_10^7 - 735178104957646192100804159216952718765508928/355284829803790625704\ 510747312292217894425*c_1001_10^6 + 16948075852156652355934981987163129552477269201/1421139319215162502\ 818042989249168871577700*c_1001_10^5 + 80380169771592321967858036795236567416747341/4060398054900464293765\ 8371121404824902220*c_1001_10^4 - 360499769039891403189804674622790\ 6973508913559/1421139319215162502818042989249168871577700*c_1001_10\ ^3 - 66747086759923329897041019436820869862743649/71056965960758125\ 140902149462458443578885*c_1001_10^2 - 1323832114697548226421384515997227574195301/14070686328862995077406\ 366230189790807700*c_1001_10 - 323654993734124655968707469042127112\ 0404369/1421139319215162502818042989249168871577700, c_0101_1 + 140564874528514459290836954640348747688683/10150995137251160\ 734414592780351206225555*c_1001_10^15 - 2945166091382287269778303628237768592684311/50754975686255803672072\ 963901756031127775*c_1001_10^14 + 165736360750551855420233234311557\ 014974948073/355284829803790625704510747312292217894425*c_1001_10^1\ 3 - 757380400184214717892133354208722938483007913/35528482980379062\ 5704510747312292217894425*c_1001_10^12 + 1501951770328374790673455245994854197633545853/35528482980379062570\ 4510747312292217894425*c_1001_10^11 - 593335002724768919553081517806998397011070679/355284829803790625704\ 510747312292217894425*c_1001_10^10 - 2042626134841196549007404804953108952356633294/35528482980379062570\ 4510747312292217894425*c_1001_10^9 + 2740338047352747326566281105626632610441200239/35528482980379062570\ 4510747312292217894425*c_1001_10^8 + 265847341332655717591078335175754806224977098/355284829803790625704\ 510747312292217894425*c_1001_10^7 - 2361684899412089522259392131600501191607075309/35528482980379062570\ 4510747312292217894425*c_1001_10^6 + 717542885162095321154136196178329401184419997/355284829803790625704\ 510747312292217894425*c_1001_10^5 + 18725560505576258720172682100394976096622304/1015099513725116073441\ 4592780351206225555*c_1001_10^4 - 235005454042376397934039968880924\ 939674642958/355284829803790625704510747312292217894425*c_1001_10^3 - 14439763175549062965394052961998097627755949/71056965960758125140\ 902149462458443578885*c_1001_10^2 + 90760007045222296676667511227007004986468/3517671582215748769351591\ 557547447701925*c_1001_10 + 300378012910861979975116878304797038870\ 877/355284829803790625704510747312292217894425, c_0101_10 + 1857949310436952351330804207758525320310499/406039805490046\ 42937658371121404824902220*c_1001_10^15 - 20003462621531487337993230682673474253433083/2030199027450232146882\ 91855607024124511100*c_1001_10^14 + 1792611553014880766758653551236415268633306419/14211393192151625028\ 18042989249168871577700*c_1001_10^13 - 1508126543991504837494572148814213941863982256/35528482980379062570\ 4510747312292217894425*c_1001_10^12 + 1053175652775157853404591307653353476914878611/35528482980379062570\ 4510747312292217894425*c_1001_10^11 + 3420790804958936969622945272606654708737488237/35528482980379062570\ 4510747312292217894425*c_1001_10^10 - 15996258459029646921295128155553864260375369707/1421139319215162502\ 818042989249168871577700*c_1001_10^9 - 3850104214724604251785138137088643321404969149/71056965960758125140\ 9021494624584435788850*c_1001_10^8 + 24115798934740332619718835063114578091111480879/1421139319215162502\ 818042989249168871577700*c_1001_10^7 + 2222409045891465148340272921392447565781371989/71056965960758125140\ 9021494624584435788850*c_1001_10^6 - 13594313090714214297257029313523384037006276599/1421139319215162502\ 818042989249168871577700*c_1001_10^5 - 79622773491118022867947193025157782529377163/4060398054900464293765\ 8371121404824902220*c_1001_10^4 + 298382215163337371135381291270806\ 1248244198391/1421139319215162502818042989249168871577700*c_1001_10\ ^3 + 54591125742250684446812015522828023148432178/71056965960758125\ 140902149462458443578885*c_1001_10^2 + 888508739582667881848600127160245563969469/140706863288629950774063\ 66230189790807700*c_1001_10 + 2352946914691394997020062619829583704\ 145411/1421139319215162502818042989249168871577700, c_0101_2 + 6043129273636943907494751163514867844303773/4060398054900464\ 2937658371121404824902220*c_1001_10^15 - 39138120545215371962579057428140176209929333/1015099513725116073441\ 45927803512062255550*c_1001_10^14 + 6093867641482914082569952119115351566124407873/14211393192151625028\ 18042989249168871577700*c_1001_10^13 - 22355226577847825922196194604980677165285177123/1421139319215162502\ 818042989249168871577700*c_1001_10^12 + 24182534809856811467275306536940674653175099743/1421139319215162502\ 818042989249168871577700*c_1001_10^11 + 31195786391201461362998485512867486014253659861/1421139319215162502\ 818042989249168871577700*c_1001_10^10 - 31025132187964372998105664802170414886693325237/7105696596075812514\ 09021494624584435788850*c_1001_10^9 + 1088039116249042137716426834943912329978013846/35528482980379062570\ 4510747312292217894425*c_1001_10^8 + 68862180353342068032710056487643447912367104843/1421139319215162502\ 818042989249168871577700*c_1001_10^7 - 12598289639032751741149281094616607280586706909/1421139319215162502\ 818042989249168871577700*c_1001_10^6 - 8016899025650577565973072405426391649574512252/35528482980379062570\ 4510747312292217894425*c_1001_10^5 + 7702264518967173054837439904563079186456677/81207961098009285875316\ 74224280964980444*c_1001_10^4 + 33817035262217108497416738673191209\ 34287140661/710569659607581251409021494624584435788850*c_1001_10^3 + 75489251369393206010429289279950099742681278/7105696596075812514090\ 2149462458443578885*c_1001_10^2 + 720121308354609417477851481922343\ 037184393/14070686328862995077406366230189790807700*c_1001_10 + 1266121132956748670287167685798038278505971/71056965960758125140902\ 1494624584435788850, c_0101_8 + 1178087604200062459349142498054441632446277/1015099513725116\ 0734414592780351206225555*c_1001_10^15 - 60959596821067461992504367338724189793542961/2030199027450232146882\ 91855607024124511100*c_1001_10^14 + 2374301695942609448284492239642763828120672169/71056965960758125140\ 9021494624584435788850*c_1001_10^13 - 17410795905529346305521946104173422130267116933/1421139319215162502\ 818042989249168871577700*c_1001_10^12 + 18742525785111049626388411982707406270391598693/1421139319215162502\ 818042989249168871577700*c_1001_10^11 + 24608263508844227914588052030025406503014727151/1421139319215162502\ 818042989249168871577700*c_1001_10^10 - 48599515510876706128298841076465294166874611259/1421139319215162502\ 818042989249168871577700*c_1001_10^9 + 766686576433774525964207997200141015776650601/355284829803790625704\ 510747312292217894425*c_1001_10^8 + 27155791394043842160105022954128149544160682129/7105696596075812514\ 09021494624584435788850*c_1001_10^7 - 9902114853462784339969623953449177990304649409/14211393192151625028\ 18042989249168871577700*c_1001_10^6 - 25543683364820395262116227881993266066120000523/1421139319215162502\ 818042989249168871577700*c_1001_10^5 + 17920628846294522612260498108921852473299639/2030199027450232146882\ 9185560702412451110*c_1001_10^4 + 544966434921904600596071943673404\ 4344185585657/1421139319215162502818042989249168871577700*c_1001_10\ ^3 + 112709227244702192447717498182409022278998273/1421139319215162\ 50281804298924916887157770*c_1001_10^2 + 69064913983116783415578236417276780207892/3517671582215748769351591\ 557547447701925*c_1001_10 - 654526800160538028458917010740214182565\ 683/1421139319215162502818042989249168871577700, c_1001_0 + 1235216199169396340743484859150188932229667/2030199027450232\ 1468829185560702412451110*c_1001_10^15 - 7787007291738381865041141338502956240791332/50754975686255803672072\ 963901756031127775*c_1001_10^14 + 123997159279444683471531447435951\ 0726271071597/710569659607581251409021494624584435788850*c_1001_10^\ 13 - 2245017373753478537580164726347746507474562841/355284829803790\ 625704510747312292217894425*c_1001_10^12 + 2345845626140992356688211376515283894815601026/35528482980379062570\ 4510747312292217894425*c_1001_10^11 + 3231984707220773734086086352752548643866100352/35528482980379062570\ 4510747312292217894425*c_1001_10^10 - 11881430027012496791326317705215082068668767901/7105696596075812514\ 09021494624584435788850*c_1001_10^9 + 154783594741671520995299921015997644404720041/710569659607581251409\ 021494624584435788850*c_1001_10^8 + 6722197122258944660382129986021914708099878996/35528482980379062570\ 4510747312292217894425*c_1001_10^7 - 1227290429236794554168522069195582265487396261/71056965960758125140\ 9021494624584435788850*c_1001_10^6 - 6216392797136591237172177354152639389574637997/71056965960758125140\ 9021494624584435788850*c_1001_10^5 - 16042324028301986616282589816695864306407117/2030199027450232146882\ 9185560702412451110*c_1001_10^4 + 629837848712386299217251253694640\ 969840095984/355284829803790625704510747312292217894425*c_1001_10^3 + 49626278736318345518704331224538985418732654/71056965960758125140\ 902149462458443578885*c_1001_10^2 + 301717650907111648174378115998122146469561/351767158221574876935159\ 1557547447701925*c_1001_10 + 10700567033256314871676246056336580950\ 68773/710569659607581251409021494624584435788850, c_1001_10^16 - 117/55*c_1001_10^15 + 2126/77*c_1001_10^14 - 3232/35*c_1001_10^13 + 2287/35*c_1001_10^12 + 77211/385*c_1001_10^11 - 17338/77*c_1001_10^10 - 44409/385*c_1001_10^9 + 129093/385*c_1001_10^8 + 35076/385*c_1001_10^7 - 69028/385*c_1001_10^6 - 24544/385*c_1001_10^5 + 13439/385*c_1001_10^4 + 8451/385*c_1001_10^3 + 1411/385*c_1001_10^2 + 9/55*c_1001_10 + 1/385 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 5.360 Total time: 5.570 seconds, Total memory usage: 120.09MB