Magma V2.19-8 Tue Aug 20 2013 23:48:23 on localhost [Seed = 156197816] Type ? for help. Type -D to quit. Loading file "K11a214__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11a214 geometric_solution 11.79474143 oriented_manifold CS_known -0.0000000000000003 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 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 0 -1 3 0 0 -3 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.880182250673 0.591384153153 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 0 0 -1 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.820078764462 0.510773834942 8 0 8 5 0132 0132 3120 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 -1 1 1 -1 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.964714352294 0.612359057495 9 5 4 0 0132 1230 0213 0132 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 1 -4 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.681275092395 1.199299345577 10 3 0 11 0132 0213 0132 0132 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 -1 1 0 0 1 -1 0 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.330392849141 0.434279838442 2 1 3 8 3012 0132 3012 0321 0 0 0 0 0 0 1 -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 0 4 -4 0 0 0 0 -1 -3 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.486747728140 0.567416565897 12 11 1 11 0132 1302 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 -1 1 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.442680976447 0.657301549093 12 8 12 1 2103 0321 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.486985007216 1.109504353712 2 5 2 7 0132 0321 3120 0321 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 4 -4 0 0 0 1 -1 4 -4 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.964714352294 0.612359057495 3 11 12 10 0132 3012 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.435014620856 0.556990545737 4 10 10 9 0132 3201 2310 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.383378901746 1.370694197742 9 6 4 6 1230 2310 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 -1 1 -1 0 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.442680976447 0.657301549093 6 7 7 9 0132 0213 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 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.668301210227 0.755713719972 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0101_10']), 'c_1001_12' : d['c_0011_7'], 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0011_7'], 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_11']), 'c_1001_8' : negation(d['c_1001_2']), 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : negation(d['c_0011_12']), 'c_1010_10' : d['c_0101_10'], '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'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_10'], 'c_0101_10' : d['c_0101_10'], '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' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0011_7'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1001_2']), 'c_1100_4' : d['c_1001_11'], 'c_1100_7' : negation(d['c_0011_11']), 'c_1100_6' : negation(d['c_0011_11']), 'c_1100_1' : negation(d['c_0011_11']), 'c_1100_0' : d['c_1001_11'], 'c_1100_3' : d['c_1001_11'], 'c_1100_2' : negation(d['c_0011_0']), 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_11'], 'c_1100_10' : d['c_0011_10'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_1001_11']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_11'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0101_10']), 'c_1010_8' : d['c_1001_1'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(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_1']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_3']), 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : d['c_0101_0'], 'c_0101_12' : d['c_0011_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_12'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_10']), 'c_0101_2' : negation(d['c_0011_7']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0011_0'], '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_0011_10']), 'c_0110_8' : negation(d['c_0011_7']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_0'], 'c_0110_5' : negation(d['c_0011_0']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0011_12']})} 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_3, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_5, c_1001_1, c_1001_11, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 239012849/3153920*c_1001_2^15 + 6226331/8960*c_1001_2^14 - 1028669941/286720*c_1001_2^13 + 5849412251/450560*c_1001_2^12 - 57350625751/1576960*c_1001_2^11 + 64720187377/788480*c_1001_2^10 - 241587156313/1576960*c_1001_2^9 + 753791059969/3153920*c_1001_2^8 - 123524715763/394240*c_1001_2^7 + 49301211723/143360*c_1001_2^6 - 30891419759/98560*c_1001_2^5 + 66701959943/286720*c_1001_2^4 - 107604274887/788480*c_1001_2^3 + 47228541109/788480*c_1001_2^2 - 497668179/28160*c_1001_2 + 542893069/197120, c_0011_0 - 1, c_0011_10 - 1/16*c_1001_2^15 + 5/8*c_1001_2^14 - 55/16*c_1001_2^13 + 211/16*c_1001_2^12 - 39*c_1001_2^11 + 93*c_1001_2^10 - 1469/8*c_1001_2^9 + 4869/16*c_1001_2^8 - 3409/8*c_1001_2^7 + 4033/8*c_1001_2^6 - 2005/4*c_1001_2^5 + 6621/16*c_1001_2^4 - 2215/8*c_1001_2^3 + 579/4*c_1001_2^2 - 109/2*c_1001_2 + 12, c_0011_11 + 1/16*c_1001_2^15 - 5/8*c_1001_2^14 + 55/16*c_1001_2^13 - 211/16*c_1001_2^12 + 39*c_1001_2^11 - 93*c_1001_2^10 + 1469/8*c_1001_2^9 - 4869/16*c_1001_2^8 + 3409/8*c_1001_2^7 - 4033/8*c_1001_2^6 + 2005/4*c_1001_2^5 - 6621/16*c_1001_2^4 + 2223/8*c_1001_2^3 - 587/4*c_1001_2^2 + 113/2*c_1001_2 - 13, c_0011_12 + 1, c_0011_3 - c_1001_2^2 + c_1001_2 - 1, c_0011_7 + 9/16*c_1001_2^15 - 5*c_1001_2^14 + 395/16*c_1001_2^13 - 1357/16*c_1001_2^12 + 1793/8*c_1001_2^11 - 947/2*c_1001_2^10 + 6553/8*c_1001_2^9 - 18713/16*c_1001_2^8 + 1380*c_1001_2^7 - 10647/8*c_1001_2^6 + 2059/2*c_1001_2^5 - 9805/16*c_1001_2^4 + 1039/4*c_1001_2^3 - 64*c_1001_2^2 + 3/2*c_1001_2 + 3, c_0101_0 + 9/16*c_1001_2^15 - 5*c_1001_2^14 + 395/16*c_1001_2^13 - 1357/16*c_1001_2^12 + 1793/8*c_1001_2^11 - 947/2*c_1001_2^10 + 6553/8*c_1001_2^9 - 18713/16*c_1001_2^8 + 1380*c_1001_2^7 - 10647/8*c_1001_2^6 + 2059/2*c_1001_2^5 - 9805/16*c_1001_2^4 + 1039/4*c_1001_2^3 - 64*c_1001_2^2 + 3/2*c_1001_2 + 3, c_0101_1 + 1/16*c_1001_2^15 - 5/8*c_1001_2^14 + 55/16*c_1001_2^13 - 211/16*c_1001_2^12 + 39*c_1001_2^11 - 93*c_1001_2^10 + 1469/8*c_1001_2^9 - 4869/16*c_1001_2^8 + 3409/8*c_1001_2^7 - 4033/8*c_1001_2^6 + 2005/4*c_1001_2^5 - 6621/16*c_1001_2^4 + 2223/8*c_1001_2^3 - 587/4*c_1001_2^2 + 115/2*c_1001_2 - 14, c_0101_10 + 17/16*c_1001_2^15 - 79/8*c_1001_2^14 + 819/16*c_1001_2^13 - 2967/16*c_1001_2^12 + 1037/2*c_1001_2^11 - 4663/4*c_1001_2^10 + 17293/8*c_1001_2^9 - 53469/16*c_1001_2^8 + 34607/8*c_1001_2^7 - 37343/8*c_1001_2^6 + 16621/4*c_1001_2^5 - 47765/16*c_1001_2^4 + 13345/8*c_1001_2^3 - 1359/2*c_1001_2^2 + 175*c_1001_2 - 20, c_0101_5 - 9/16*c_1001_2^15 + 5*c_1001_2^14 - 395/16*c_1001_2^13 + 1357/16*c_1001_2^12 - 1793/8*c_1001_2^11 + 947/2*c_1001_2^10 - 6553/8*c_1001_2^9 + 18713/16*c_1001_2^8 - 1380*c_1001_2^7 + 10647/8*c_1001_2^6 - 2059/2*c_1001_2^5 + 9805/16*c_1001_2^4 - 1039/4*c_1001_2^3 + 64*c_1001_2^2 - 3/2*c_1001_2 - 3, c_1001_1 + 1/16*c_1001_2^15 - 5/4*c_1001_2^14 + 147/16*c_1001_2^13 - 673/16*c_1001_2^12 + 1115/8*c_1001_2^11 - 360*c_1001_2^10 + 6001/8*c_1001_2^9 - 20569/16*c_1001_2^8 + 7305/4*c_1001_2^7 - 17207/8*c_1001_2^6 + 2082*c_1001_2^5 - 26053/16*c_1001_2^4 + 997*c_1001_2^3 - 452*c_1001_2^2 + 273/2*c_1001_2 - 21, c_1001_11 + 1/8*c_1001_2^15 - 7/4*c_1001_2^14 + 89/8*c_1001_2^13 - 375/8*c_1001_2^12 + 589/4*c_1001_2^11 - 1469/4*c_1001_2^10 + 2991/4*c_1001_2^9 - 10125/8*c_1001_2^8 + 7165/4*c_1001_2^7 - 4243/2*c_1001_2^6 + 4167/2*c_1001_2^5 - 13377/8*c_1001_2^4 + 4249/4*c_1001_2^3 - 2031/4*c_1001_2^2 + 164*c_1001_2 - 27, c_1001_2^16 - 10*c_1001_2^15 + 55*c_1001_2^14 - 211*c_1001_2^13 + 624*c_1001_2^12 - 1488*c_1001_2^11 + 2938*c_1001_2^10 - 4869*c_1001_2^9 + 6818*c_1001_2^8 - 8066*c_1001_2^7 + 8020*c_1001_2^6 - 6621*c_1001_2^5 + 4446*c_1001_2^4 - 2348*c_1001_2^3 + 920*c_1001_2^2 - 240*c_1001_2 + 32 ], 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_3, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_5, c_1001_1, c_1001_11, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 7112941938269617272/9385314692624324375*c_1001_2^21 - 215337809848955076247/9385314692624324375*c_1001_2^20 + 78634001306456028288/375412587704972975*c_1001_2^19 - 9944574189025749990289/9385314692624324375*c_1001_2^18 + 6679997138788239786816/1877062938524864875*c_1001_2^17 - 80325429853579561295884/9385314692624324375*c_1001_2^16 + 141391981178548320723927/9385314692624324375*c_1001_2^15 - 35502186114322796691307/1877062938524864875*c_1001_2^14 + 139592881561055611600021/9385314692624324375*c_1001_2^13 - 23997411209978356255228/9385314692624324375*c_1001_2^12 - 93811590706839385018026/9385314692624324375*c_1001_2^11 + 112812557183009222232923/9385314692624324375*c_1001_2^10 - 3235162314104562505167/1877062938524864875*c_1001_2^9 - 3917839097159109851287/375412587704972975*c_1001_2^8 + 24581155303774658974488/1877062938524864875*c_1001_2^7 - 60298114093098974153934/9385314692624324375*c_1001_2^6 - 4823663001140659320388/9385314692624324375*c_1001_2^5 + 1064786178271488196194/552077334860254375*c_1001_2^4 - 848149105902800493283/9385314692624324375*c_1001_2^3 - 9513193918175872389192/9385314692624324375*c_1001_2^2 + 6584960795783233308546/9385314692624324375*c_1001_2 - 1417036276179990728641/9385314692624324375, c_0011_0 - 1, c_0011_10 - 37125767704304/74857943709865*c_1001_2^21 + 80545304479044/14971588741973*c_1001_2^20 - 426938903200829/14971588741973*c_1001_2^19 + 7234810150105598/74857943709865*c_1001_2^18 - 17259717765237197/74857943709865*c_1001_2^17 + 29769027163189171/74857943709865*c_1001_2^16 - 36099048464489158/74857943709865*c_1001_2^15 + 26541542730656312/74857943709865*c_1001_2^14 - 459110871282572/14971588741973*c_1001_2^13 - 19545335002467469/74857943709865*c_1001_2^12 + 19781343708450073/74857943709865*c_1001_2^11 + 878899149548972/74857943709865*c_1001_2^10 - 20802620877849143/74857943709865*c_1001_2^9 + 21963663877597532/74857943709865*c_1001_2^8 - 9343767374951948/74857943709865*c_1001_2^7 - 145296333929100/14971588741973*c_1001_2^6 + 1555695190401146/74857943709865*c_1001_2^5 + 178635974895917/14971588741973*c_1001_2^4 - 1611801036765279/74857943709865*c_1001_2^3 + 174315934494482/14971588741973*c_1001_2^2 - 316615100850507/74857943709865*c_1001_2 + 38769288907442/14971588741973, c_0011_11 + 29991269872489/74857943709865*c_1001_2^21 - 65741431810866/14971588741973*c_1001_2^20 + 351497878580766/14971588741973*c_1001_2^19 - 6003806052159673/74857943709865*c_1001_2^18 + 14433492453432352/74857943709865*c_1001_2^17 - 25099694310839231/74857943709865*c_1001_2^16 + 30738401765290398/74857943709865*c_1001_2^15 - 22961137182150232/74857943709865*c_1001_2^14 + 480309055515610/14971588741973*c_1001_2^13 + 16615428970752704/74857943709865*c_1001_2^12 - 17408471143939488/74857943709865*c_1001_2^11 - 89970644375127/74857943709865*c_1001_2^10 + 17551172339680093/74857943709865*c_1001_2^9 - 19039545306284787/74857943709865*c_1001_2^8 + 8227040592972438/74857943709865*c_1001_2^7 + 133418229693470/14971588741973*c_1001_2^6 - 1558602311082106/74857943709865*c_1001_2^5 - 127566355037586/14971588741973*c_1001_2^4 + 1253814172226324/74857943709865*c_1001_2^3 - 148413548787159/14971588741973*c_1001_2^2 + 282644722238472/74857943709865*c_1001_2 - 50873112760697/14971588741973, c_0011_12 - 35901524018724/74857943709865*c_1001_2^21 + 72985098866695/14971588741973*c_1001_2^20 - 365076856413822/14971588741973*c_1001_2^19 + 5853633699065658/74857943709865*c_1001_2^18 - 13203509297857667/74857943709865*c_1001_2^17 + 21360326993235476/74857943709865*c_1001_2^16 - 23762279878644133/74857943709865*c_1001_2^15 + 14677026118395462/74857943709865*c_1001_2^14 + 513814307903000/14971588741973*c_1001_2^13 - 14823472588056554/74857943709865*c_1001_2^12 + 10956941475627328/74857943709865*c_1001_2^11 + 4340316401123952/74857943709865*c_1001_2^10 - 15347684683676193/74857943709865*c_1001_2^9 + 12965123076235307/74857943709865*c_1001_2^8 - 4116937685792193/74857943709865*c_1001_2^7 - 230888072256762/14971588741973*c_1001_2^6 + 553560668169266/74857943709865*c_1001_2^5 + 139393146926546/14971588741973*c_1001_2^4 - 1013638329673374/74857943709865*c_1001_2^3 + 79531186526996/14971588741973*c_1001_2^2 - 263174928588477/74857943709865*c_1001_2 + 913493982264/14971588741973, c_0011_3 - c_1001_2^2 + c_1001_2 - 1, c_0011_7 - 5362232/34839281*c_1001_2^21 + 53877918/34839281*c_1001_2^20 - 265265706/34839281*c_1001_2^19 + 837067962/34839281*c_1001_2^18 - 1863565562/34839281*c_1001_2^17 + 2997399150/34839281*c_1001_2^16 - 3376499158/34839281*c_1001_2^15 + 2276045632/34839281*c_1001_2^14 - 93585236/34839281*c_1001_2^13 - 1633424167/34839281*c_1001_2^12 + 1578711351/34839281*c_1001_2^11 - 73643761/34839281*c_1001_2^10 - 1404331162/34839281*c_1001_2^9 + 1814712895/34839281*c_1001_2^8 - 1293326324/34839281*c_1001_2^7 + 453798902/34839281*c_1001_2^6 + 109102681/34839281*c_1001_2^5 - 223199421/34839281*c_1001_2^4 + 2248384/34839281*c_1001_2^3 + 113143592/34839281*c_1001_2^2 - 61529925/34839281*c_1001_2 + 17302007/34839281, c_0101_0 + 12597938011872/74857943709865*c_1001_2^21 - 26789971746556/14971588741973*c_1001_2^20 + 141003249517584/14971588741973*c_1001_2^19 - 2396202952784194/74857943709865*c_1001_2^18 + 5776335324386426/74857943709865*c_1001_2^17 - 10124232526022828/74857943709865*c_1001_2^16 + 12549114848077724/74857943709865*c_1001_2^15 - 9501142978925086/74857943709865*c_1001_2^14 + 177961388644018/14971588741973*c_1001_2^13 + 7503426918493667/74857943709865*c_1001_2^12 - 8148839330010609/74857943709865*c_1001_2^11 + 270786670924494/74857943709865*c_1001_2^10 + 8214304924764389/74857943709865*c_1001_2^9 - 9135480324262416/74857943709865*c_1001_2^8 + 3456211040663454/74857943709865*c_1001_2^7 + 280677601833158/14971588741973*c_1001_2^6 - 1434462566149028/74857943709865*c_1001_2^5 - 78620417165543/14971588741973*c_1001_2^4 + 951349559961262/74857943709865*c_1001_2^3 - 64576369596818/14971588741973*c_1001_2^2 + 32504362826136/74857943709865*c_1001_2 - 10792168488937/14971588741973, c_0101_1 + 35901524018724/74857943709865*c_1001_2^21 - 72985098866695/14971588741973*c_1001_2^20 + 365076856413822/14971588741973*c_1001_2^19 - 5853633699065658/74857943709865*c_1001_2^18 + 13203509297857667/74857943709865*c_1001_2^17 - 21360326993235476/74857943709865*c_1001_2^16 + 23762279878644133/74857943709865*c_1001_2^15 - 14677026118395462/74857943709865*c_1001_2^14 - 513814307903000/14971588741973*c_1001_2^13 + 14823472588056554/74857943709865*c_1001_2^12 - 10956941475627328/74857943709865*c_1001_2^11 - 4340316401123952/74857943709865*c_1001_2^10 + 15347684683676193/74857943709865*c_1001_2^9 - 12965123076235307/74857943709865*c_1001_2^8 + 4116937685792193/74857943709865*c_1001_2^7 + 230888072256762/14971588741973*c_1001_2^6 - 553560668169266/74857943709865*c_1001_2^5 - 139393146926546/14971588741973*c_1001_2^4 + 1013638329673374/74857943709865*c_1001_2^3 - 79531186526996/14971588741973*c_1001_2^2 + 263174928588477/74857943709865*c_1001_2 - 15885082724237/14971588741973, c_0101_10 - 6577880523592/74857943709865*c_1001_2^21 + 14273141566900/14971588741973*c_1001_2^20 - 73605404787284/14971588741973*c_1001_2^19 + 1182539469787704/74857943709865*c_1001_2^18 - 2591435209913796/74857943709865*c_1001_2^17 + 3894568384008408/74857943709865*c_1001_2^16 - 3592892314134064/74857943709865*c_1001_2^15 + 793229675908486/74857943709865*c_1001_2^14 + 587982784687096/14971588741973*c_1001_2^13 - 4197026329659602/74857943709865*c_1001_2^12 + 1418909469843874/74857943709865*c_1001_2^11 + 2605090352423566/74857943709865*c_1001_2^10 - 3671048693313424/74857943709865*c_1001_2^9 + 1459003312616646/74857943709865*c_1001_2^8 + 665459928988831/74857943709865*c_1001_2^7 - 144293587957600/14971588741973*c_1001_2^6 - 2995106409487/74857943709865*c_1001_2^5 + 37903037595141/14971588741973*c_1001_2^4 - 7712776364377/74857943709865*c_1001_2^3 + 1441246618874/14971588741973*c_1001_2^2 - 2168104870311/74857943709865*c_1001_2 - 2073649674854/14971588741973, c_0101_5 + 5362232/34839281*c_1001_2^21 - 53877918/34839281*c_1001_2^20 + 265265706/34839281*c_1001_2^19 - 837067962/34839281*c_1001_2^18 + 1863565562/34839281*c_1001_2^17 - 2997399150/34839281*c_1001_2^16 + 3376499158/34839281*c_1001_2^15 - 2276045632/34839281*c_1001_2^14 + 93585236/34839281*c_1001_2^13 + 1633424167/34839281*c_1001_2^12 - 1578711351/34839281*c_1001_2^11 + 73643761/34839281*c_1001_2^10 + 1404331162/34839281*c_1001_2^9 - 1814712895/34839281*c_1001_2^8 + 1293326324/34839281*c_1001_2^7 - 453798902/34839281*c_1001_2^6 - 109102681/34839281*c_1001_2^5 + 223199421/34839281*c_1001_2^4 - 2248384/34839281*c_1001_2^3 - 113143592/34839281*c_1001_2^2 + 61529925/34839281*c_1001_2 - 17302007/34839281, c_1001_1 + 255598/34839281*c_1001_2^21 + 2590296/34839281*c_1001_2^20 - 34459516/34839281*c_1001_2^19 + 168160596/34839281*c_1001_2^18 - 485180592/34839281*c_1001_2^17 + 924099444/34839281*c_1001_2^16 - 1130678690/34839281*c_1001_2^15 + 676116908/34839281*c_1001_2^14 + 315493341/34839281*c_1001_2^13 - 906058658/34839281*c_1001_2^12 + 299497336/34839281*c_1001_2^11 + 975072359/34839281*c_1001_2^10 - 1338853143/34839281*c_1001_2^9 + 350600421/34839281*c_1001_2^8 + 690765522/34839281*c_1001_2^7 - 527012109/34839281*c_1001_2^6 - 203608534/34839281*c_1001_2^5 + 472110477/34839281*c_1001_2^4 - 135767464/34839281*c_1001_2^3 - 24531021/34839281*c_1001_2^2 + 35934076/34839281*c_1001_2 + 9509153/34839281, c_1001_11 + 11436032889648/74857943709865*c_1001_2^21 - 25853401716908/14971588741973*c_1001_2^20 + 141595602418768/14971588741973*c_1001_2^19 - 2459784415187656/74857943709865*c_1001_2^18 + 5965930848214624/74857943709865*c_1001_2^17 - 10361382255336972/74857943709865*c_1001_2^16 + 12437063740300536/74857943709865*c_1001_2^15 - 8551015355028964/74857943709865*c_1001_2^14 - 142306646075537/14971588741973*c_1001_2^13 + 8518248506418268/74857943709865*c_1001_2^12 - 7464004935020646/74857943709865*c_1001_2^11 - 1502849697831439/74857943709865*c_1001_2^10 + 8997045716612876/74857943709865*c_1001_2^9 - 8073671920039689/74857943709865*c_1001_2^8 + 2097871260677056/74857943709865*c_1001_2^7 + 294944700436210/14971588741973*c_1001_2^6 - 816574176370667/74857943709865*c_1001_2^5 - 104982458178434/14971588741973*c_1001_2^4 + 614595178504018/74857943709865*c_1001_2^3 - 47471900008544/14971588741973*c_1001_2^2 + 91109343432079/74857943709865*c_1001_2 - 9095028126784/14971588741973, c_1001_2^22 - 11*c_1001_2^21 + 60*c_1001_2^20 - 212*c_1001_2^19 + 535*c_1001_2^18 - 997*c_1001_2^17 + 1361*c_1001_2^16 - 1265*c_1001_2^15 + 568*c_1001_2^14 + 346*c_1001_2^13 - 768*c_1001_2^12 + 364*c_1001_2^11 + 430*c_1001_2^10 - 850*c_1001_2^9 + 645*c_1001_2^8 - 197*c_1001_2^7 - 34*c_1001_2^6 + 24*c_1001_2^5 + 46*c_1001_2^4 - 46*c_1001_2^3 + 28*c_1001_2^2 - 8*c_1001_2 + 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.800 Total time: 3.000 seconds, Total memory usage: 32.09MB