Magma V2.19-8 Wed Aug 21 2013 00:34:18 on localhost [Seed = 1360478254] Type ? for help. Type -D to quit. Loading file "K14n21290__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n21290 geometric_solution 11.89250540 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 0 -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.328736361646 1.282767520638 0 4 5 5 0132 0132 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 -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.453204149561 0.726897622845 6 0 8 7 0132 0132 0132 0132 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 3 0 -3 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.168601611332 0.759028601118 4 6 9 0 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 -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.981133636756 1.490550443553 3 1 0 10 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.527878915048 0.418382010105 1 8 1 9 2103 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.382365614404 0.990628543698 2 3 10 9 0132 0132 0132 0132 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 -3 0 3 0 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.557178057331 0.761152848775 11 8 2 11 0132 3201 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.145541775915 1.139937536297 10 5 7 2 1230 0132 2310 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.033175659640 0.588832480928 12 5 6 3 0132 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.064349457630 0.946440093474 12 8 4 6 2103 3012 0132 0132 0 0 0 0 0 0 0 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 0 0 0 2 0 1 -3 -2 3 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.524674864054 0.466551022147 7 7 12 12 0132 2310 3012 2103 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 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 0 1.425700275897 0.833117358129 9 11 10 11 0132 1230 2103 2103 0 0 0 0 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 -2 2 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 0 0.796494314545 1.401581807552 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_12']), 'c_1001_10' : d['c_0011_5'], 'c_1001_12' : d['c_0011_10'], 'c_1001_5' : d['c_1001_2'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_8']), 'c_1001_6' : negation(d['c_0101_8']), 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : negation(d['c_0101_8']), 'c_1001_3' : d['c_0110_5'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0110_5'], 'c_1001_8' : negation(d['c_0011_12']), 'c_1010_12' : d['c_0101_11'], 'c_1010_11' : negation(d['c_0101_11']), 'c_1010_10' : negation(d['c_0101_8']), 's_3_11' : 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_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(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' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(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_0110_5']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0011_11']), 'c_1100_6' : d['c_1100_0'], 'c_1100_1' : negation(d['c_0110_5']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0011_11']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : d['c_1100_0'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_12'], 'c_1010_6' : d['c_0110_5'], 'c_1010_5' : negation(d['c_0011_12']), 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : negation(d['c_0101_8']), 'c_1010_2' : negation(d['c_0101_8']), 'c_1010_1' : d['c_1001_2'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0110_5'], 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : negation(d['c_0011_11']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : 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' : negation(d['c_0101_6']), 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(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' : negation(d['c_0011_12']), 'c_0011_8' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_11']), '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' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_6'], 'c_0110_10' : d['c_0101_6'], 'c_0110_12' : d['c_0011_10'], 'c_0101_12' : d['c_0101_10'], 'c_0110_0' : d['c_0101_0'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_10'], 'c_0101_2' : d['c_0011_10'], 'c_0101_1' : d['c_0101_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], '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_10'], 'c_0110_8' : d['c_0011_10'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1100_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : d['c_0011_10']})} 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_5, c_0101_0, c_0101_10, c_0101_11, c_0101_6, c_0101_8, c_0110_5, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t - 2/9*c_1100_0^3 - 1/3*c_1100_0^2 - 1/3*c_1100_0 - 1/3, c_0011_0 - 1, c_0011_10 + c_1100_0 + 1, c_0011_11 - 1, c_0011_12 - c_1100_0^2 - c_1100_0 - 2, c_0011_5 + c_1100_0^3 - 2, c_0101_0 - c_1100_0^2 - c_1100_0 - 1, c_0101_10 + 1, c_0101_11 + c_1100_0, c_0101_6 - c_1100_0^2 - c_1100_0 - 2, c_0101_8 - c_1100_0 - 1, c_0110_5 - c_1100_0^2 - c_1100_0 - 2, c_1001_2 + c_1100_0^3 + c_1100_0^2 + c_1100_0 - 1, c_1100_0^4 + 2*c_1100_0^3 + 4*c_1100_0^2 + 3*c_1100_0 + 3 ], 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_5, c_0101_0, c_0101_10, c_0101_11, c_0101_6, c_0101_8, c_0110_5, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 387363063322/2993676070257*c_1100_0^11 + 129853889542/2993676070257*c_1100_0^10 - 27562295051/997892023419*c_1100_0^9 + 1812328208128/2993676070257*c_1100_0^8 - 567668647670/2993676070257*c_1100_0^7 - 275236499906/997892023419*c_1100_0^6 + 628823021914/332630674473*c_1100_0^5 - 1861467566051/332630674473*c_1100_0^4 + 9151325290796/997892023419*c_1100_0^3 - 721746047474/110876891491*c_1100_0^2 + 1233574924273/332630674473*c_1100_0 - 422653950176/332630674473, c_0011_0 - 1, c_0011_10 - 7469/183279*c_1100_0^11 - 22481/183279*c_1100_0^10 - 4307/183279*c_1100_0^9 - 26588/183279*c_1100_0^8 - 82339/183279*c_1100_0^7 + 48283/183279*c_1100_0^6 - 19917/61093*c_1100_0^5 - 13724/183279*c_1100_0^4 + 106972/61093*c_1100_0^3 - 368927/61093*c_1100_0^2 + 223101/61093*c_1100_0 - 84422/61093, c_0011_11 + 44287/183279*c_1100_0^11 - 13204/183279*c_1100_0^10 - 5627/61093*c_1100_0^9 + 219383/183279*c_1100_0^8 - 201671/183279*c_1100_0^7 - 45371/183279*c_1100_0^6 + 759979/183279*c_1100_0^5 - 2326657/183279*c_1100_0^4 + 4403836/183279*c_1100_0^3 - 1414183/61093*c_1100_0^2 + 836273/61093*c_1100_0 - 200984/61093, c_0011_12 - 76216/183279*c_1100_0^11 - 23467/61093*c_1100_0^10 - 3504/61093*c_1100_0^9 - 120001/61093*c_1100_0^8 - 32817/61093*c_1100_0^7 + 63097/61093*c_1100_0^6 - 1060157/183279*c_1100_0^5 + 873130/61093*c_1100_0^4 - 1196864/61093*c_1100_0^3 + 382521/61093*c_1100_0^2 - 78838/61093*c_1100_0 - 182231/61093, c_0011_5 + 8546/61093*c_1100_0^11 + 21997/183279*c_1100_0^10 + 4789/61093*c_1100_0^9 + 40131/61093*c_1100_0^8 + 1595/61093*c_1100_0^7 - 27256/183279*c_1100_0^6 + 93658/61093*c_1100_0^5 - 1009369/183279*c_1100_0^4 + 1420025/183279*c_1100_0^3 - 366982/61093*c_1100_0^2 + 307383/61093*c_1100_0 - 107020/61093, c_0101_0 - 44/307*c_1100_0^11 - 131/921*c_1100_0^10 - 10/307*c_1100_0^9 - 620/921*c_1100_0^8 - 70/307*c_1100_0^7 + 280/921*c_1100_0^6 - 1769/921*c_1100_0^5 + 4499/921*c_1100_0^4 - 6008/921*c_1100_0^3 + 597/307*c_1100_0^2 - 191/307*c_1100_0 + 10/307, c_0101_10 + 1, c_0101_11 - 2914/61093*c_1100_0^11 + 26699/183279*c_1100_0^10 + 10042/183279*c_1100_0^9 - 60067/183279*c_1100_0^8 + 149807/183279*c_1100_0^7 - 18715/183279*c_1100_0^6 - 236593/183279*c_1100_0^5 + 285412/61093*c_1100_0^4 - 1841240/183279*c_1100_0^3 + 821676/61093*c_1100_0^2 - 510115/61093*c_1100_0 + 104819/61093, c_0101_6 + 23680/183279*c_1100_0^11 + 18263/183279*c_1100_0^10 - 476/61093*c_1100_0^9 + 113243/183279*c_1100_0^8 + 4957/61093*c_1100_0^7 - 77851/183279*c_1100_0^6 + 356095/183279*c_1100_0^5 - 828788/183279*c_1100_0^4 + 1199408/183279*c_1100_0^3 - 144915/61093*c_1100_0^2 + 2820/61093*c_1100_0 + 64025/61093, c_0101_8 - 48505/183279*c_1100_0^11 + 7469/183279*c_1100_0^10 + 22481/183279*c_1100_0^9 - 79406/61093*c_1100_0^8 + 172103/183279*c_1100_0^7 + 82339/183279*c_1100_0^6 - 824363/183279*c_1100_0^5 + 795997/61093*c_1100_0^4 - 4351726/183279*c_1100_0^3 + 1299673/61093*c_1100_0^2 - 710771/61093*c_1100_0 + 213444/61093, c_0110_5 - 431/183279*c_1100_0^11 + 16027/183279*c_1100_0^10 + 22327/183279*c_1100_0^9 - 67/61093*c_1100_0^8 + 60505/183279*c_1100_0^7 + 13667/61093*c_1100_0^6 - 84589/183279*c_1100_0^5 + 53053/61093*c_1100_0^4 - 508882/183279*c_1100_0^3 + 146637/61093*c_1100_0^2 + 72961/61093*c_1100_0 - 28216/61093, c_1001_2 - 22436/183279*c_1100_0^11 + 13439/183279*c_1100_0^10 + 14521/183279*c_1100_0^9 - 39208/61093*c_1100_0^8 + 116383/183279*c_1100_0^7 + 4694/61093*c_1100_0^6 - 458800/183279*c_1100_0^5 + 1219463/183279*c_1100_0^4 - 2422819/183279*c_1100_0^3 + 786054/61093*c_1100_0^2 - 415256/61093*c_1100_0 + 134640/61093, c_1100_0^12 + 5*c_1100_0^9 - 3*c_1100_0^8 + 16*c_1100_0^6 - 48*c_1100_0^5 + 90*c_1100_0^4 - 87*c_1100_0^3 + 63*c_1100_0^2 - 27*c_1100_0 + 9 ], 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_5, c_0101_0, c_0101_10, c_0101_11, c_0101_6, c_0101_8, c_0110_5, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 3002372211158580004798574340774608100044785057392194984/23294496310\ 757244451410487827364631280640975*c_1100_0^22 - 15971094474665999269617823490926818325247308600210079284/2329449631\ 0757244451410487827364631280640975*c_1100_0^21 - 68918181686949092814632645667788203266696272313492864971/4658899262\ 1514488902820975654729262561281950*c_1100_0^20 - 391962809353358509177631556780582819913761308659386671393/186355970\ 486057955611283902618917050245127800*c_1100_0^19 - 486187510937064145293186225335895039799854182912092182051/186355970\ 486057955611283902618917050245127800*c_1100_0^18 - 127333974791734824701977911185166649015715278190652765069/465889926\ 21514488902820975654729262561281950*c_1100_0^17 - 237379198863269015134555618866216737812878604537679585469/931779852\ 43028977805641951309458525122563900*c_1100_0^16 - 1331406475878093371027577689956546144030198589535470123369/74542388\ 1944231822445135610475668200980511200*c_1100_0^15 - 113761870164955165724282081130162373485112115498418579983/149084776\ 388846364489027122095133640196102240*c_1100_0^14 + 766199100543965541674443434265002624924658953044407697519/745423881\ 944231822445135610475668200980511200*c_1100_0^13 + 324113355900599494036142022458285995432701964778729543189/186355970\ 486057955611283902618917050245127800*c_1100_0^12 + 1393640384035394675356984800983543915352003769882898488949/74542388\ 1944231822445135610475668200980511200*c_1100_0^11 + 512034601002387623461763932883402107472826683685954642397/372711940\ 972115911222567805237834100490255600*c_1100_0^10 - 86421779138474330013547590452174274733837535877960924581/3727119409\ 72115911222567805237834100490255600*c_1100_0^9 - 133768232286971053384447905221236329199275485026315920877/372711940\ 972115911222567805237834100490255600*c_1100_0^8 - 130777431398093969688856815795670431816800677453900208093/149084776\ 388846364489027122095133640196102240*c_1100_0^7 - 321815505499499726211266346713946849040566367712265726851/745423881\ 944231822445135610475668200980511200*c_1100_0^6 - 24434529109184604169126229333042580824791783549243451869/3727119409\ 72115911222567805237834100490255600*c_1100_0^5 + 5461548164094760214188834721028140212218538459455247/80325849347438\ 7739703809925081539009677275*c_1100_0^4 + 34445132241291736265032191954210329357890227823944838153/3727119409\ 72115911222567805237834100490255600*c_1100_0^3 + 3042974383817266387087995088544767889887102756211279619/93177985243\ 028977805641951309458525122563900*c_1100_0^2 - 9273125969271650387296327055442220731266486684495468033/74542388194\ 4231822445135610475668200980511200*c_1100_0 - 2079091480914582984299438981046347302947021002726611969/74542388194\ 4231822445135610475668200980511200, c_0011_0 - 1, c_0011_10 + 11441132406807432308140507384922447985943808/75082985691401\ 2713985833612485564263679*c_1100_0^22 + 60846199806800337437278319651672521925028736/7508298569140127139858\ 33612485564263679*c_1100_0^21 + 13123628501066125392884250658898027\ 3937350192/750829856914012713985833612485564263679*c_1100_0^20 + 186544319142612455146617686516891187572548468/750829856914012713985\ 833612485564263679*c_1100_0^19 + 2313556960766710459579220464067774\ 64189603792/750829856914012713985833612485564263679*c_1100_0^18 + 242312007532573382989698723203658330788002356/750829856914012713985\ 833612485564263679*c_1100_0^17 + 2258133880770054034643915562750634\ 88209933400/750829856914012713985833612485564263679*c_1100_0^16 + 158227881157371064533455460795621507742399281/750829856914012713985\ 833612485564263679*c_1100_0^15 + 6749657221803707489526744329124703\ 8459936376/750829856914012713985833612485564263679*c_1100_0^14 - 91373337855947350103067821008877307163649382/7508298569140127139858\ 33612485564263679*c_1100_0^13 - 15431300443009822904066360972367039\ 0487639719/750829856914012713985833612485564263679*c_1100_0^12 - 165803709930380631368179887357044252430760859/750829856914012713985\ 833612485564263679*c_1100_0^11 - 1217445959159811941789672489347170\ 55694500894/750829856914012713985833612485564263679*c_1100_0^10 + 20760096420269466544750927275921998353044920/7508298569140127139858\ 33612485564263679*c_1100_0^9 + 318665003732927359531285484647322968\ 72349072/750829856914012713985833612485564263679*c_1100_0^8 + 77865990899936174371583414365740104389891444/7508298569140127139858\ 33612485564263679*c_1100_0^7 + 382287198862699737982254342144931973\ 85877032/750829856914012713985833612485564263679*c_1100_0^6 + 5770154721138383640049815062897543365375874/75082985691401271398583\ 3612485564263679*c_1100_0^5 - 2161806936300702584613448676378438652\ 7687/25890684721172852206408055602950491851*c_1100_0^4 - 8212299322773674361613257704765638136129155/75082985691401271398583\ 3612485564263679*c_1100_0^3 - 2891282300193972496174609014558703425\ 266472/750829856914012713985833612485564263679*c_1100_0^2 + 1107343552611912927016065657343558835152493/75082985691401271398583\ 3612485564263679*c_1100_0 + 247074789987483281842756673021356740202\ 249/750829856914012713985833612485564263679, c_0011_11 + 5042573569946647167605573089364546427058688/750829856914012\ 713985833612485564263679*c_1100_0^22 + 26819762066402123091388426189126271299238400/7508298569140127139858\ 33612485564263679*c_1100_0^21 + 57858421078835278260636949059969849\ 750330592/750829856914012713985833612485564263679*c_1100_0^20 + 82274023423683673534863606705782947176604920/7508298569140127139858\ 33612485564263679*c_1100_0^19 + 10208567090185214447878653317416717\ 5601765564/750829856914012713985833612485564263679*c_1100_0^18 + 106981025781967600888132546440224613677297060/750829856914012713985\ 833612485564263679*c_1100_0^17 + 9975355372655651800376333150830479\ 9860887880/750829856914012713985833612485564263679*c_1100_0^16 + 69977931759586869589863519683117167365106902/7508298569140127139858\ 33612485564263679*c_1100_0^15 + 29973732026676323488127492300596863\ 073389815/750829856914012713985833612485564263679*c_1100_0^14 - 40097434306266558195725315116508309875316845/7508298569140127139858\ 33612485564263679*c_1100_0^13 - 67934702962440416055694802077870265\ 793474065/750829856914012713985833612485564263679*c_1100_0^12 - 73121195448851396126406077665650298808241461/7508298569140127139858\ 33612485564263679*c_1100_0^11 - 53793855462420699976670889479344694\ 374058479/750829856914012713985833612485564263679*c_1100_0^10 + 8982391933473769496355427088083691760977317/75082985691401271398583\ 3612485564263679*c_1100_0^9 + 1393845639520667054662527426037477367\ 9164569/750829856914012713985833612485564263679*c_1100_0^8 + 34295210614552589144646192151079549866772263/7508298569140127139858\ 33612485564263679*c_1100_0^7 + 168850768638947830605479243325831634\ 38240081/750829856914012713985833612485564263679*c_1100_0^6 + 2606100480301217895063888880906686753117672/75082985691401271398583\ 3612485564263679*c_1100_0^5 - 8335316085637713188768938780401211593\ 117/25890684721172852206408055602950491851*c_1100_0^4 - 3603137610217405171423179235918216571222842/75082985691401271398583\ 3612485564263679*c_1100_0^3 - 1275131489581188964433187307333373809\ 905684/750829856914012713985833612485564263679*c_1100_0^2 + 484085456721682458325302067312162377418474/750829856914012713985833\ 612485564263679*c_1100_0 + 1082122706158592779349125778592171839298\ 49/750829856914012713985833612485564263679, c_0011_12 + 1456272740430041453499041585645034553454592/750829856914012\ 713985833612485564263679*c_1100_0^22 + 7746564803019154599361821934076520604614912/75082985691401271398583\ 3612485564263679*c_1100_0^21 + 167097814899130937776378246228032584\ 82613632/750829856914012713985833612485564263679*c_1100_0^20 + 23740245057011581366933812043888506363838000/7508298569140127139858\ 33612485564263679*c_1100_0^19 + 29418266116834420732859943130921145\ 053080916/750829856914012713985833612485564263679*c_1100_0^18 + 30794037843206208832398529173372057623483724/7508298569140127139858\ 33612485564263679*c_1100_0^17 + 28681788784457513911413762170277674\ 127077204/750829856914012713985833612485564263679*c_1100_0^16 + 20069893793533580789766084732224114841722208/7508298569140127139858\ 33612485564263679*c_1100_0^15 + 85145493125855391153139400960434358\ 65689005/750829856914012713985833612485564263679*c_1100_0^14 - 11694460588168660506588045175692303048580201/7508298569140127139858\ 33612485564263679*c_1100_0^13 - 19687132117045460529159809204966938\ 586348942/750829856914012713985833612485564263679*c_1100_0^12 - 21096132645498984563612101393955621185490518/7508298569140127139858\ 33612485564263679*c_1100_0^11 - 15449978366328336851769804312670569\ 936868100/750829856914012713985833612485564263679*c_1100_0^10 + 2688232335017479904804501365598980863252057/75082985691401271398583\ 3612485564263679*c_1100_0^9 + 4103082415317063010864110014005826582\ 187660/750829856914012713985833612485564263679*c_1100_0^8 + 9911479919852343867450321904931116553740622/75082985691401271398583\ 3612485564263679*c_1100_0^7 + 4854257635556443091328833667666667351\ 233386/750829856914012713985833612485564263679*c_1100_0^6 + 717523234496176128096720328312674798935327/750829856914012713985833\ 612485564263679*c_1100_0^5 - 32960533664918321199999593281373831252\ 58/25890684721172852206408055602950491851*c_1100_0^4 - 1047307644765767873096970725892535687319088/75082985691401271398583\ 3612485564263679*c_1100_0^3 - 3694621925537383911187990412147203947\ 35652/750829856914012713985833612485564263679*c_1100_0^2 + 141811353279241153439702303798917245006359/750829856914012713985833\ 612485564263679*c_1100_0 + 3164606849519846461120249608076067360277\ 9/750829856914012713985833612485564263679, c_0011_5 + 330281753572043070727676517808274626164608/75082985691401271\ 3985833612485564263679*c_1100_0^22 + 1755344712399307183853645459872617696378304/75082985691401271398583\ 3612485564263679*c_1100_0^21 + 378685795653389110467871722445626829\ 5968904/750829856914012713985833612485564263679*c_1100_0^20 + 5398399091986577207383046019108431995681510/75082985691401271398583\ 3612485564263679*c_1100_0^19 + 672461141343660720424658483018839984\ 7342130/750829856914012713985833612485564263679*c_1100_0^18 + 7068511791921256242298448937576263904612024/75082985691401271398583\ 3612485564263679*c_1100_0^17 + 660652213556379945476046535445343960\ 2572532/750829856914012713985833612485564263679*c_1100_0^16 + 9312822483623326526256035481806809777342067/15016597138280254279716\ 67224971128527358*c_1100_0^15 + 40733228542242418799094585249884062\ 47120721/1501659713828025427971667224971128527358*c_1100_0^14 - 5134122431918656378940620442034726272324021/15016597138280254279716\ 67224971128527358*c_1100_0^13 - 44153889216582348601178898864530318\ 55058076/750829856914012713985833612485564263679*c_1100_0^12 - 9633789713089399346491241767680761870772477/15016597138280254279716\ 67224971128527358*c_1100_0^11 - 35852222280620219598702188293315208\ 99196117/750829856914012713985833612485564263679*c_1100_0^10 + 530953632626345967608985001106857560530225/750829856914012713985833\ 612485564263679*c_1100_0^9 + 87528047410344205101607046108999072376\ 9382/750829856914012713985833612485564263679*c_1100_0^8 + 4525382666317613259179697003239860182427081/15016597138280254279716\ 67224971128527358*c_1100_0^7 + 225552340850042871190317691952172035\ 0400867/1501659713828025427971667224971128527358*c_1100_0^6 + 194637977363136077237508926782940480765079/750829856914012713985833\ 612485564263679*c_1100_0^5 - 23094048464625248305615737427448764214\ 2/25890684721172852206408055602950491851*c_1100_0^4 - 238042705635656851106469778483031757741926/750829856914012713985833\ 612485564263679*c_1100_0^3 - 86064923679282065054407185182916823135\ 969/750829856914012713985833612485564263679*c_1100_0^2 + 63264653975553414871736978094323668492717/1501659713828025427971667\ 224971128527358*c_1100_0 + 1430254299964896735969491814194875688097\ 9/1501659713828025427971667224971128527358, c_0101_0 - 14480014945019076276390787866526088483407232/750829856914012\ 713985833612485564263679*c_1100_0^22 - 77009785216982932178022824452423572683097792/7508298569140127139858\ 33612485564263679*c_1100_0^21 - 16610026415951137603971709061420934\ 7286063528/750829856914012713985833612485564263679*c_1100_0^20 - 236090042938543770608095843339171034475961630/750829856914012713985\ 833612485564263679*c_1100_0^19 - 2927912455089091296794357422763504\ 54997255922/750829856914012713985833612485564263679*c_1100_0^18 - 306667500542536290183917265455050462297506004/750829856914012713985\ 833612485564263679*c_1100_0^17 - 2857978809971647604081581140016630\ 09630375260/750829856914012713985833612485564263679*c_1100_0^16 - 400527727033563723233582084296784298309983879/150165971382802542797\ 1667224971128527358*c_1100_0^15 - 170852921049740840523386460561842\ 368175714257/1501659713828025427971667224971128527358*c_1100_0^14 + 231259343459587375637244801798207435556754971/150165971382802542797\ 1667224971128527358*c_1100_0^13 + 195286701093569522550703832119676\ 161695076848/750829856914012713985833612485564263679*c_1100_0^12 + 419602325195231255490732662790618467860562325/150165971382802542797\ 1667224971128527358*c_1100_0^11 + 154061072355847123286844147845467\ 003578891995/750829856914012713985833612485564263679*c_1100_0^10 - 26260191004702680237410514291440679490240635/7508298569140127139858\ 33612485564263679*c_1100_0^9 - 403224720500951076040706333797752957\ 81924537/750829856914012713985833612485564263679*c_1100_0^8 - 197018793551028742008502190516298752678952121/150165971382802542797\ 1667224971128527358*c_1100_0^7 - 9677111646642715074811819369425973\ 5528875435/1501659713828025427971667224971128527358*c_1100_0^6 - 7305274181915100508580880012261417660570821/75082985691401271398583\ 3612485564263679*c_1100_0^5 + 2705901304984622950938654016880251916\ 4760/25890684721172852206408055602950491851*c_1100_0^4 + 10385897283694919948536753809312942864714564/7508298569140127139858\ 33612485564263679*c_1100_0^3 + 366164976864102961469539128624027824\ 9543080/750829856914012713985833612485564263679*c_1100_0^2 - 2800456093032804595419757779917186087586431/15016597138280254279716\ 67224971128527358*c_1100_0 - 62587817467001694550884175854552241071\ 5151/1501659713828025427971667224971128527358, c_0101_10 + 11922716543551413946376085056578053001418752/75082985691401\ 2713985833612485564263679*c_1100_0^22 + 63407280994610215452557919830961076481792000/7508298569140127139858\ 33612485564263679*c_1100_0^21 + 13675493986088234726627095364783278\ 7856949120/750829856914012713985833612485564263679*c_1100_0^20 + 194369749500053353980154501624061466345899936/750829856914012713985\ 833612485564263679*c_1100_0^19 + 2410425981899561036100217483168172\ 04540549728/750829856914012713985833612485564263679*c_1100_0^18 + 252453670261685937161514473323433794749027564/750829856914012713985\ 833612485564263679*c_1100_0^17 + 2352598469677140169056158514402787\ 58783727396/750829856914012713985833612485564263679*c_1100_0^16 + 164828386531075200495770432017887722687775764/750829856914012713985\ 833612485564263679*c_1100_0^15 + 7028130168610882792465075377447847\ 1391015192/750829856914012713985833612485564263679*c_1100_0^14 - 95249631216367322769167650927062950282445541/7508298569140127139858\ 33612485564263679*c_1100_0^13 - 16080575543974749156843646042078598\ 9193848651/750829856914012713985833612485564263679*c_1100_0^12 - 172734053497438415760602506952407674072762610/750829856914012713985\ 833612485564263679*c_1100_0^11 - 1268228453775379783560470486574597\ 07238237601/750829856914012713985833612485564263679*c_1100_0^10 + 21655091610202209137075173926846803552226460/7508298569140127139858\ 33612485564263679*c_1100_0^9 + 332160631687202686281245276488066811\ 69102097/750829856914012713985833612485564263679*c_1100_0^8 + 81118337106111992950131604781328233327651956/7508298569140127139858\ 33612485564263679*c_1100_0^7 + 398303281119771617970970899506572831\ 26631597/750829856914012713985833612485564263679*c_1100_0^6 + 6006247355826977908180073946560124079392913/75082985691401271398583\ 3612485564263679*c_1100_0^5 - 2256174141862177060099499394045768572\ 2136/25890684721172852206408055602950491851*c_1100_0^4 - 8554561281067796909514043902731388928674632/75082985691401271398583\ 3612485564263679*c_1100_0^3 - 3014837640896200094384338492862720621\ 556983/750829856914012713985833612485564263679*c_1100_0^2 + 1153658315844354402644051048844717641070873/75082985691401271398583\ 3612485564263679*c_1100_0 + 257459626538144906855116923370838543043\ 217/750829856914012713985833612485564263679, c_0101_11 + 9009927003155178088855137348552324404768512/750829856914012\ 713985833612485564263679*c_1100_0^22 + 47929367845118506188434513189716726460355456/7508298569140127139858\ 33612485564263679*c_1100_0^21 + 10341755360863797820751393944229224\ 0003825680/750829856914012713985833612485564263679*c_1100_0^20 + 147058276533723423831940813135111275608264908/750829856914012713985\ 833612485564263679*c_1100_0^19 + 1824311100814501893905875207937949\ 86458899092/750829856914012713985833612485564263679*c_1100_0^18 + 191136891448120520410473534063735948993741820/750829856914012713985\ 833612485564263679*c_1100_0^17 + 1781780092248585749785134298802910\ 63195542056/750829856914012713985833612485564263679*c_1100_0^16 + 124952357326322189575016690548023651198803891/750829856914012713985\ 833612485564263679*c_1100_0^15 + 5342710569355310620215159958318106\ 2932661545/750829856914012713985833612485564263679*c_1100_0^14 - 71791385216100576743304972410930922939418062/7508298569140127139858\ 33612485564263679*c_1100_0^13 - 12156065896938257372284119223223582\ 2758521108/750829856914012713985833612485564263679*c_1100_0^12 - 130718884893241742699620937127674367732210998/750829856914012713985\ 833612485564263679*c_1100_0^11 - 9609921308856615239472213302199589\ 0819125297/750829856914012713985833612485564263679*c_1100_0^10 + 16156715520983803420626161209826302722889756/7508298569140127139858\ 33612485564263679*c_1100_0^9 + 250580507922718661556360029901266460\ 52244970/750829856914012713985833612485564263679*c_1100_0^8 + 61317894581753353660104667581655130955805429/7508298569140127139858\ 33612485564263679*c_1100_0^7 + 302044167920897697353624519326714299\ 77179234/750829856914012713985833612485564263679*c_1100_0^6 + 4592544508339875431307924109251387502783490/75082985691401271398583\ 3612485564263679*c_1100_0^5 - 1583060644783900003512661938708725124\ 4603/25890684721172852206408055602950491851*c_1100_0^4 - 6460356359863631841783668236834045711831754/75082985691401271398583\ 3612485564263679*c_1100_0^3 - 2283108747333502485571356909506107304\ 957417/750829856914012713985833612485564263679*c_1100_0^2 + 869946777881425940974930728229998155701767/750829856914012713985833\ 612485564263679*c_1100_0 + 1943955295300242325058921842740973152819\ 48/750829856914012713985833612485564263679, c_0101_6 + 14854467708544102644932695803050494810717952/750829856914012\ 713985833612485564263679*c_1100_0^22 + 79001928932144607529158548372470702296527488/7508298569140127139858\ 33612485564263679*c_1100_0^21 + 17040478641264013111485993021351589\ 2061590160/750829856914012713985833612485564263679*c_1100_0^20 + 242231126146171967301205151376973633513979292/750829856914012713985\ 833612485564263679*c_1100_0^19 + 3004245279230462668627672701716247\ 88371239168/750829856914012713985833612485564263679*c_1100_0^18 + 314659543110776488285821380979170949221955328/750829856914012713985\ 833612485564263679*c_1100_0^17 + 2932412602797258716807245556824943\ 17379242612/750829856914012713985833612485564263679*c_1100_0^16 + 205489269748401503068064006977331296933720859/750829856914012713985\ 833612485564263679*c_1100_0^15 + 8767364132409480469700239420099510\ 3251192452/750829856914012713985833612485564263679*c_1100_0^14 - 118615320580426835397959392623388318936143081/750829856914012713985\ 833612485564263679*c_1100_0^13 - 2003718187043937349401305487220269\ 08750557254/750829856914012713985833612485564263679*c_1100_0^12 - 215304705525197194041134770105716460186135530/750829856914012713985\ 833612485564263679*c_1100_0^11 - 1581013709608775067896302360311979\ 65025861467/750829856914012713985833612485564263679*c_1100_0^10 + 26928340209752838814721113064902039416089031/7508298569140127139858\ 33612485564263679*c_1100_0^9 + 413808481160119876347561157851582168\ 77836294/750829856914012713985833612485564263679*c_1100_0^8 + 101102665357730194050779298813921331124121911/750829856914012713985\ 833612485564263679*c_1100_0^7 + 49649899462292620525921636709025241\ 854244485/750829856914012713985833612485564263679*c_1100_0^6 + 7498101620618687873289097059415580541974568/75082985691401271398583\ 3612485564263679*c_1100_0^5 - 2800865838559202637004293725698226350\ 0198/25890684721172852206408055602950491851*c_1100_0^4 - 10662028863841764717882781906767681425704405/7508298569140127139858\ 33612485564263679*c_1100_0^3 - 375496947743443377309517345549801518\ 4233473/750829856914012713985833612485564263679*c_1100_0^2 + 1437448146414161497162600739265259541649189/75082985691401271398583\ 3612485564263679*c_1100_0 + 321173406850278137505824484854582481913\ 333/750829856914012713985833612485564263679, c_0101_8 + c_1100_0, c_0110_5 - 2689971179635514418277733764741882203379200/7508298569140127\ 13985833612485564263679*c_1100_0^22 - 14309299754727087238240568996385673511314688/7508298569140127139858\ 33612485564263679*c_1100_0^21 - 30877011721937609947488321135757786\ 232414112/750829856914012713985833612485564263679*c_1100_0^20 - 43916838667602182176484039831401595892617176/7508298569140127139858\ 33612485564263679*c_1100_0^19 - 54496394859447269764940998098419261\ 580853520/750829856914012713985833612485564263679*c_1100_0^18 - 57111791112542217085030924560110299116652920/7508298569140127139858\ 33612485564263679*c_1100_0^17 - 53252725970470598718064160948200945\ 168534112/750829856914012713985833612485564263679*c_1100_0^16 - 37362821969268485975075731024194629122279658/7508298569140127139858\ 33612485564263679*c_1100_0^15 - 16007651959919306734053126895511166\ 455759324/750829856914012713985833612485564263679*c_1100_0^14 + 21389751705106303390216450062316150874072952/7508298569140127139858\ 33612485564263679*c_1100_0^13 + 36270029506243082354298762469697224\ 833976106/750829856914012713985833612485564263679*c_1100_0^12 + 39047098052414169513387930603686163358700531/7508298569140127139858\ 33612485564263679*c_1100_0^11 + 28730714946156176458079130671472207\ 970904968/750829856914012713985833612485564263679*c_1100_0^10 - 4780657622916737573479411659582282381168928/75082985691401271398583\ 3612485564263679*c_1100_0^9 - 7452735329563622757360703843697173175\ 452316/750829856914012713985833612485564263679*c_1100_0^8 - 18311083003768375660757739665094309504239118/7508298569140127139858\ 33612485564263679*c_1100_0^7 - 902479048758781360943690660148040943\ 3738254/750829856914012713985833612485564263679*c_1100_0^6 - 1387918745585047475240407733803611739886879/75082985691401271398583\ 3612485564263679*c_1100_0^5 + 4561785822444456111519910510778306494\ 259/25890684721172852206408055602950491851*c_1100_0^4 + 1926764523327631544521178639111260437416691/75082985691401271398583\ 3612485564263679*c_1100_0^3 + 6822909216072041174375244236131819586\ 13375/750829856914012713985833612485564263679*c_1100_0^2 - 259841292550307581835278295481256684171303/750829856914012713985833\ 612485564263679*c_1100_0 - 5801257462229102937136889084432928497350\ 0/750829856914012713985833612485564263679, c_1001_2 - 4797956975544548594637056793688129001653120/7508298569140127\ 13985833612485564263679*c_1100_0^22 - 25528768868701748839674937719065624574510528/7508298569140127139858\ 33612485564263679*c_1100_0^21 - 55102941343394547164821677388229601\ 172516296/750829856914012713985833612485564263679*c_1100_0^20 - 78379492692363008750949375311309621141596854/7508298569140127139858\ 33612485564263679*c_1100_0^19 - 97234232294459803036163492794307760\ 177812378/750829856914012713985833612485564263679*c_1100_0^18 - 101881718093581226379631942587546569743510404/750829856914012713985\ 833612485564263679*c_1100_0^17 - 9499597327445917571463782313828096\ 8640860088/750829856914012713985833612485564263679*c_1100_0^16 - 133305484088650698317041547687736072177293027/150165971382802542797\ 1667224971128527358*c_1100_0^15 - 570708772064421249736126714019573\ 81862487149/1501659713828025427971667224971128527358*c_1100_0^14 + 76390418814654910212014377302100173975975071/1501659713828025427971\ 667224971128527358*c_1100_0^13 + 6476418416248586311957775488471536\ 3948871433/750829856914012713985833612485564263679*c_1100_0^12 + 139348448358628986301597302819388585451080805/150165971382802542797\ 1667224971128527358*c_1100_0^11 + 512156240509762006523315473336755\ 00728070343/750829856914012713985833612485564263679*c_1100_0^10 - 8557458003458491804220584466694962978354160/75082985691401271398583\ 3612485564263679*c_1100_0^9 - 1333910445866811732216737511336554938\ 7986890/750829856914012713985833612485564263679*c_1100_0^8 - 65318237501842076759896806606597993688299287/1501659713828025427971\ 667224971128527358*c_1100_0^7 - 32164288754536075303107457575205981\ 544880387/1501659713828025427971667224971128527358*c_1100_0^6 - 2470358578357856777527895462727301468470999/75082985691401271398583\ 3612485564263679*c_1100_0^5 + 8371587324199308428560634349949000144\ 127/25890684721172852206408055602950491851*c_1100_0^4 + 3430808238431161079323213761772805291059884/75082985691401271398583\ 3612485564263679*c_1100_0^3 + 1213122653956786493729049673176928500\ 087769/750829856914012713985833612485564263679*c_1100_0^2 - 920414310084434764006614674605340428173087/150165971382802542797166\ 7224971128527358*c_1100_0 - 206271339754456954865366194711751105350\ 203/1501659713828025427971667224971128527358, c_1100_0^23 + 11/2*c_1100_0^22 + 199/16*c_1100_0^21 + 1177/64*c_1100_0^20 + 371/16*c_1100_0^19 + 1591/64*c_1100_0^18 + 755/32*c_1100_0^17 + 4461/256*c_1100_0^16 + 539/64*c_1100_0^15 - 221/32*c_1100_0^14 - 3823/256*c_1100_0^13 - 4337/256*c_1100_0^12 - 3399/256*c_1100_0^11 - 1/8*c_1100_0^10 + 199/64*c_1100_0^9 + 1871/256*c_1100_0^8 + 293/64*c_1100_0^7 + 285/256*c_1100_0^6 + 5/128*c_1100_0^5 - 93/128*c_1100_0^4 - 49/128*c_1100_0^3 + 13/256*c_1100_0^2 + 5/128*c_1100_0 + 1/256 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 21.380 Total time: 21.589 seconds, Total memory usage: 212.50MB