Magma V2.19-8 Wed Aug 21 2013 00:07:51 on localhost [Seed = 660686909] Type ? for help. Type -D to quit. Loading file "K13n2316__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2316 geometric_solution 11.76969651 oriented_manifold CS_known 0.0000000000000006 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 -1 1 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 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.714191769716 0.634565059865 0 4 2 5 0132 2310 2103 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 3 0 0 -3 3 -3 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.081867754514 0.490323977784 1 0 7 6 2103 0132 0132 0132 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 -1 1 0 0 0 0 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.120219208604 1.782857189421 8 9 4 0 0132 0132 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.778471267591 1.011467692688 7 3 0 1 0132 0213 0132 3201 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 1 -1 0 0 -3 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.408424871142 0.457512800026 6 10 1 11 0132 0132 0132 0132 0 0 0 0 0 1 0 -1 -1 0 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 4 0 -4 -4 0 3 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.803467864224 1.093342438001 5 9 2 8 0132 0213 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 -4 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.003550620382 0.510876652184 4 9 10 2 0132 0321 1230 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 0 0 0 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.602652075570 0.925224453796 3 11 6 12 0132 3012 0132 0132 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 4 -4 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.320625600181 0.681888205811 12 3 6 7 0132 0132 0213 0321 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 4 0 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.316800551332 0.984049147261 12 5 11 7 3012 0132 2310 3012 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4 0 4 4 0 -3 -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.194087948555 1.597524549254 8 10 5 12 1230 3201 0132 0321 0 0 0 0 0 0 1 -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 0 4 -4 1 0 -1 0 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.459149109634 0.350749860285 9 11 8 10 0132 0321 0132 1230 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 -4 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.437716897055 0.788118627585 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_0'], 'c_1001_11' : negation(d['c_0101_10']), 'c_1001_10' : negation(d['c_0101_10']), 'c_1001_12' : negation(d['c_0101_11']), 'c_1001_5' : negation(d['c_0101_7']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : negation(d['c_0011_11']), 'c_1010_12' : d['c_0101_10'], 'c_1010_11' : d['c_0101_10'], 'c_1010_10' : negation(d['c_0101_7']), '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' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : 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_0101_11']), 'c_1100_4' : d['c_0011_0'], 'c_1100_7' : d['c_0110_10'], 'c_1100_6' : d['c_0110_10'], 'c_1100_1' : negation(d['c_0101_11']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0110_10'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_11']), 'c_1100_10' : d['c_0011_11'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : negation(d['c_0011_11']), 'c_1010_5' : negation(d['c_0101_10']), 'c_1010_4' : d['c_0011_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_7']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : negation(d['c_0101_11']), 's_3_1' : d['1'], 's_3_0' : negation(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_0110_10'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), 'c_0011_6' : d['c_0011_10'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_12'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_12']), 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : d['c_0011_10'], 'c_0101_12' : d['c_0011_4'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_11'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0101_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_4'], 'c_0110_8' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_11']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_11'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0101_1'], 'c_1100_8' : d['c_0110_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_4, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_7, c_0110_10, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 190337980348476587/4568753984361*c_1001_2^11 + 282747829347583630/4568753984361*c_1001_2^10 + 4165237308113738686/50256293827971*c_1001_2^9 + 446279005862998619/7179470546853*c_1001_2^8 + 3831683759210206630/50256293827971*c_1001_2^7 + 713896555847102098/16752097942657*c_1001_2^6 + 32391951794175767/823873669311*c_1001_2^5 + 236924163423542333/16752097942657*c_1001_2^4 + 162467351406259824/16752097942657*c_1001_2^3 + 48057553087732569/16752097942657*c_1001_2^2 + 62594012805424409/50256293827971*c_1001_2 + 15641627583736514/50256293827971, c_0011_0 - 1, c_0011_10 + 36547879511/36583103*c_1001_2^11 + 39492042469/36583103*c_1001_2^10 + 54369277254/36583103*c_1001_2^9 + 30625223814/36583103*c_1001_2^8 + 51458924586/36583103*c_1001_2^7 + 14700888333/36583103*c_1001_2^6 + 410184286/599723*c_1001_2^5 + 1594075106/36583103*c_1001_2^4 + 6123089056/36583103*c_1001_2^3 - 187411081/36583103*c_1001_2^2 + 734083244/36583103*c_1001_2 - 45605900/36583103, c_0011_11 - 5383127255/36583103*c_1001_2^11 - 2397658406/36583103*c_1001_2^10 - 4628377869/36583103*c_1001_2^9 + 135023641/36583103*c_1001_2^8 - 5088215738/36583103*c_1001_2^7 + 2355439327/36583103*c_1001_2^6 - 43943371/599723*c_1001_2^5 + 1815125755/36583103*c_1001_2^4 - 857143576/36583103*c_1001_2^3 + 470915378/36583103*c_1001_2^2 - 125144847/36583103*c_1001_2 + 37809102/36583103, c_0011_12 - 5383127255/36583103*c_1001_2^11 - 2397658406/36583103*c_1001_2^10 - 4628377869/36583103*c_1001_2^9 + 135023641/36583103*c_1001_2^8 - 5088215738/36583103*c_1001_2^7 + 2355439327/36583103*c_1001_2^6 - 43943371/599723*c_1001_2^5 + 1815125755/36583103*c_1001_2^4 - 857143576/36583103*c_1001_2^3 + 470915378/36583103*c_1001_2^2 - 125144847/36583103*c_1001_2 + 37809102/36583103, c_0011_4 - 4275238792/36583103*c_1001_2^11 - 16617521415/36583103*c_1001_2^10 - 19428665701/36583103*c_1001_2^9 - 22197084345/36583103*c_1001_2^8 - 17029906643/36583103*c_1001_2^7 - 19685927519/36583103*c_1001_2^6 - 140835406/599723*c_1001_2^5 - 9349841034/36583103*c_1001_2^4 - 1683815599/36583103*c_1001_2^3 - 2292338467/36583103*c_1001_2^2 - 143189897/36583103*c_1001_2 - 284247690/36583103, c_0101_0 + 116107970/134993*c_1001_2^11 + 115318390/134993*c_1001_2^10 + 166312818/134993*c_1001_2^9 + 85049032/134993*c_1001_2^8 + 159570858/134993*c_1001_2^7 + 34527162/134993*c_1001_2^6 + 1326746/2213*c_1001_2^5 - 1894044/134993*c_1001_2^4 + 21302276/134993*c_1001_2^3 - 2496088/134993*c_1001_2^2 + 2793583/134993*c_1001_2 - 367782/134993, c_0101_1 + 1754730989/36583103*c_1001_2^11 + 7337794585/36583103*c_1001_2^10 + 9203770465/36583103*c_1001_2^9 + 10404863616/36583103*c_1001_2^8 + 7899707202/36583103*c_1001_2^7 + 8912748280/36583103*c_1001_2^6 + 69841349/599723*c_1001_2^5 + 4207770001/36583103*c_1001_2^4 + 850271255/36583103*c_1001_2^3 + 1092464541/36583103*c_1001_2^2 + 66769250/36583103*c_1001_2 + 125825716/36583103, c_0101_10 + 7537036276/36583103*c_1001_2^11 - 735929183/36583103*c_1001_2^10 + 1426529448/36583103*c_1001_2^9 - 7499167506/36583103*c_1001_2^8 + 2281596059/36583103*c_1001_2^7 - 10419320951/36583103*c_1001_2^6 + 12640876/599723*c_1001_2^5 - 6410970763/36583103*c_1001_2^4 + 412203026/36583103*c_1001_2^3 - 1816987760/36583103*c_1001_2^2 + 98008174/36583103*c_1001_2 - 224472795/36583103, c_0101_11 - 13578720914/36583103*c_1001_2^11 - 18759229434/36583103*c_1001_2^10 - 25737235260/36583103*c_1001_2^9 - 18888287701/36583103*c_1001_2^8 - 24428470938/36583103*c_1001_2^7 - 12742312075/36583103*c_1001_2^6 - 211076578/599723*c_1001_2^5 - 4339202046/36583103*c_1001_2^4 - 3331398948/36583103*c_1001_2^3 - 1007852458/36583103*c_1001_2^2 - 423958721/36583103*c_1001_2 - 136829232/36583103, c_0101_7 + 183095506/134993*c_1001_2^11 + 227424879/134993*c_1001_2^10 + 306545546/134993*c_1001_2^9 + 200008826/134993*c_1001_2^8 + 286744643/134993*c_1001_2^7 + 119854845/134993*c_1001_2^6 + 2338235/2213*c_1001_2^5 + 31263967/134993*c_1001_2^4 + 34710331/134993*c_1001_2^3 + 5780986/134993*c_1001_2^2 + 4154998/134993*c_1001_2 + 738429/134993, c_0110_10 + 11413097036/36583103*c_1001_2^11 + 26352974406/36583103*c_1001_2^10 + 33260814035/36583103*c_1001_2^9 + 32466924320/36583103*c_1001_2^8 + 30017829583/36583103*c_1001_2^7 + 26243236472/36583103*c_1001_2^6 + 254620126/599723*c_1001_2^5 + 11742485280/36583103*c_1001_2^4 + 3391230430/36583103*c_1001_2^3 + 2913887630/36583103*c_1001_2^2 + 335103994/36583103*c_1001_2 + 408847407/36583103, c_1001_0 - 7784700770/36583103*c_1001_2^11 - 31293110585/36583103*c_1001_2^10 - 37836206631/36583103*c_1001_2^9 - 43006811577/36583103*c_1001_2^8 - 32829321047/36583103*c_1001_2^7 - 37511424079/36583103*c_1001_2^6 - 280518104/599723*c_1001_2^5 - 17765381036/36583103*c_1001_2^4 - 3384358109/36583103*c_1001_2^3 - 4477267549/36583103*c_1001_2^2 - 276728397/36583103*c_1001_2 - 609065328/36583103, c_1001_2^12 + 15/11*c_1001_2^11 + 261/121*c_1001_2^10 + 202/121*c_1001_2^9 + 269/121*c_1001_2^8 + 140/121*c_1001_2^7 + 164/121*c_1001_2^6 + 52/121*c_1001_2^5 + 56/121*c_1001_2^4 + 10/121*c_1001_2^3 + 1/11*c_1001_2^2 + 1/121*c_1001_2 + 1/121 ], 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_4, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_7, c_0110_10, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 55207664674632353/321068728411901568*c_1001_2^19 - 17800275746696285/35674303156877952*c_1001_2^18 + 11134031084966179/13377863683829232*c_1001_2^17 + 739920456761763419/321068728411901568*c_1001_2^16 - 34511255110103381/26755727367658464*c_1001_2^15 - 872492655269041351/107022909470633856*c_1001_2^14 + 1359877553482140265/321068728411901568*c_1001_2^13 + 2294829276902501597/160534364205950784*c_1001_2^12 - 36869883360174079/2892511066773888*c_1001_2^11 - 715829022602547271/40133591051487696*c_1001_2^10 + 1255363867425120023/45866961201700224*c_1001_2^9 + 48706902189602833/40133591051487696*c_1001_2^8 - 5084301657538955233/321068728411901568*c_1001_2^7 - 35235346419532205/3963811461875328*c_1001_2^6 + 6297275143813708933/321068728411901568*c_1001_2^5 - 334974260369877907/35674303156877952*c_1001_2^4 - 381979153180289377/107022909470633856*c_1001_2^3 - 15656105607898745/7644493533616704*c_1001_2^2 + 219697780785754331/40133591051487696*c_1001_2 - 132602137580254439/40133591051487696, c_0011_0 - 1, c_0011_10 - 8975517955/35281409382*c_1001_2^19 - 826047952/5880234897*c_1001_2^18 + 726050171/653359433*c_1001_2^17 + 27015328163/17640704691*c_1001_2^16 - 4641367337/1306718866*c_1001_2^15 - 9591706282/1960078299*c_1001_2^14 + 139249987807/17640704691*c_1001_2^13 + 144269747758/17640704691*c_1001_2^12 - 90915737315/5880234897*c_1001_2^11 - 203330498095/35281409382*c_1001_2^10 + 315089429666/17640704691*c_1001_2^9 + 127991706601/35281409382*c_1001_2^8 - 315077325850/17640704691*c_1001_2^7 - 3617072165/1960078299*c_1001_2^6 + 414818245415/35281409382*c_1001_2^5 - 23295516059/11760469794*c_1001_2^4 - 15275898251/3920156598*c_1001_2^3 - 2309383508/5880234897*c_1001_2^2 + 96662912201/35281409382*c_1001_2 - 21091078546/17640704691, c_0011_11 - 2369375717/35281409382*c_1001_2^19 - 864701107/11760469794*c_1001_2^18 + 866562677/3920156598*c_1001_2^17 + 14948684207/35281409382*c_1001_2^16 - 1162491046/1960078299*c_1001_2^15 - 2242304206/1960078299*c_1001_2^14 + 25269141203/17640704691*c_1001_2^13 + 25475307122/17640704691*c_1001_2^12 - 19351590538/5880234897*c_1001_2^11 - 29454341069/35281409382*c_1001_2^10 + 123364751843/35281409382*c_1001_2^9 - 3110397530/17640704691*c_1001_2^8 - 39807269426/17640704691*c_1001_2^7 - 1850397736/1960078299*c_1001_2^6 + 58721231497/35281409382*c_1001_2^5 - 7458533249/5880234897*c_1001_2^4 - 2082793391/3920156598*c_1001_2^3 - 31106820743/11760469794*c_1001_2^2 + 6174328976/17640704691*c_1001_2 - 8099167307/17640704691, c_0011_12 + 244570879/3920156598*c_1001_2^19 - 346139753/3920156598*c_1001_2^18 - 1032308509/3920156598*c_1001_2^17 + 227626697/1306718866*c_1001_2^16 + 2668752932/1960078299*c_1001_2^15 - 1665572768/1960078299*c_1001_2^14 - 6720254513/1960078299*c_1001_2^13 + 4840219841/1960078299*c_1001_2^12 + 12192138926/1960078299*c_1001_2^11 - 8671465855/1306718866*c_1001_2^10 - 16983295811/3920156598*c_1001_2^9 + 12517556230/1960078299*c_1001_2^8 + 9872551673/1960078299*c_1001_2^7 - 5132801583/653359433*c_1001_2^6 - 3307482899/3920156598*c_1001_2^5 + 6919439819/1960078299*c_1001_2^4 + 5301178925/3920156598*c_1001_2^3 - 3709930121/3920156598*c_1001_2^2 + 39775846/653359433*c_1001_2 + 1750480343/1960078299, c_0011_4 - 2803144765/35281409382*c_1001_2^19 + 128127367/11760469794*c_1001_2^18 + 296504661/1306718866*c_1001_2^17 + 6499234297/35281409382*c_1001_2^16 - 619174455/653359433*c_1001_2^15 - 258842440/1960078299*c_1001_2^14 + 32609909656/17640704691*c_1001_2^13 - 7336729055/17640704691*c_1001_2^12 - 17509558895/5880234897*c_1001_2^11 + 83099578133/35281409382*c_1001_2^10 - 15626221589/35281409382*c_1001_2^9 + 2483212379/17640704691*c_1001_2^8 - 21283880254/17640704691*c_1001_2^7 + 1838024209/1960078299*c_1001_2^6 - 63895507357/35281409382*c_1001_2^5 + 5825723339/5880234897*c_1001_2^4 - 1556006723/3920156598*c_1001_2^3 - 17010566611/11760469794*c_1001_2^2 - 11556317222/17640704691*c_1001_2 + 2229852623/17640704691, c_0101_0 - 112363802/17640704691*c_1001_2^19 + 115156157/5880234897*c_1001_2^18 - 90941434/1960078299*c_1001_2^17 - 984916546/17640704691*c_1001_2^16 + 127071511/1960078299*c_1001_2^15 + 964834576/1960078299*c_1001_2^14 - 7695952916/17640704691*c_1001_2^13 - 17775384425/17640704691*c_1001_2^12 + 4963341976/5880234897*c_1001_2^11 + 22587676591/17640704691*c_1001_2^10 - 41020409002/17640704691*c_1001_2^9 + 21796499216/17640704691*c_1001_2^8 - 67949605/17640704691*c_1001_2^7 + 1024546906/1960078299*c_1001_2^6 - 31853102615/17640704691*c_1001_2^5 + 9907376357/5880234897*c_1001_2^4 - 4789574171/1960078299*c_1001_2^3 + 1268317753/5880234897*c_1001_2^2 + 9541537384/17640704691*c_1001_2 + 9477502868/17640704691, c_0101_1 + 1, c_0101_10 - 8018204969/70562818764*c_1001_2^19 - 5247858001/23520939588*c_1001_2^18 + 1055198263/2613437732*c_1001_2^17 + 90722931629/70562818764*c_1001_2^16 - 765857875/1306718866*c_1001_2^15 - 15805768595/3920156598*c_1001_2^14 + 24878352299/35281409382*c_1001_2^13 + 126157773784/17640704691*c_1001_2^12 - 26687025805/11760469794*c_1001_2^11 - 648139176053/70562818764*c_1001_2^10 + 341998881515/70562818764*c_1001_2^9 + 264277237849/35281409382*c_1001_2^8 - 75277855795/17640704691*c_1001_2^7 - 34009793659/3920156598*c_1001_2^6 + 353280948757/70562818764*c_1001_2^5 + 19288057033/11760469794*c_1001_2^4 - 7484399797/7840313196*c_1001_2^3 - 51226966979/23520939588*c_1001_2^2 + 26986904881/17640704691*c_1001_2 + 102491243/17640704691, c_0101_11 + 1209328471/11760469794*c_1001_2^19 + 96694733/1960078299*c_1001_2^18 - 711705709/1960078299*c_1001_2^17 - 3488866394/5880234897*c_1001_2^16 + 4400913959/3920156598*c_1001_2^15 + 2960024228/1960078299*c_1001_2^14 - 12331508665/5880234897*c_1001_2^13 - 13034485669/5880234897*c_1001_2^12 + 2705534006/653359433*c_1001_2^11 + 12145275079/11760469794*c_1001_2^10 - 21013461572/5880234897*c_1001_2^9 - 31773346567/11760469794*c_1001_2^8 + 34195267072/5880234897*c_1001_2^7 + 552075297/653359433*c_1001_2^6 - 32039296919/11760469794*c_1001_2^5 - 3919217039/3920156598*c_1001_2^4 + 8431281613/3920156598*c_1001_2^3 + 95629353/653359433*c_1001_2^2 - 13218017033/11760469794*c_1001_2 - 692938118/5880234897, c_0101_7 + 3852713017/35281409382*c_1001_2^19 + 174928042/5880234897*c_1001_2^18 - 206921425/653359433*c_1001_2^17 - 9481682636/17640704691*c_1001_2^16 + 1382256979/1306718866*c_1001_2^15 + 1995189652/1960078299*c_1001_2^14 - 29298573079/17640704691*c_1001_2^13 - 21328072582/17640704691*c_1001_2^12 + 19386464078/5880234897*c_1001_2^11 - 8739527945/35281409382*c_1001_2^10 - 22019975714/17640704691*c_1001_2^9 - 138913038133/35281409382*c_1001_2^8 + 102653750821/17640704691*c_1001_2^7 + 631678985/1960078299*c_1001_2^6 - 32411685527/35281409382*c_1001_2^\ 5 - 31572403831/11760469794*c_1001_2^4 + 18010429955/3920156598*c_1001_2^3 - 407653576/5880234897*c_1001_2^2 - 58737125867/35281409382*c_1001_2 - 11556317222/17640704691, c_0110_10 - 2803144765/35281409382*c_1001_2^19 + 128127367/11760469794*c_1001_2^18 + 296504661/1306718866*c_1001_2^17 + 6499234297/35281409382*c_1001_2^16 - 619174455/653359433*c_1001_2^15 - 258842440/1960078299*c_1001_2^14 + 32609909656/17640704691*c_1001_2^13 - 7336729055/17640704691*c_1001_2^12 - 17509558895/5880234897*c_1001_2^11 + 83099578133/35281409382*c_1001_2^10 - 15626221589/35281409382*c_1001_2^9 + 2483212379/17640704691*c_1001_2^8 - 21283880254/17640704691*c_1001_2^7 + 1838024209/1960078299*c_1001_2^6 - 63895507357/35281409382*c_1001_2^5 + 5825723339/5880234897*c_1001_2^4 - 1556006723/3920156598*c_1001_2^3 - 17010566611/11760469794*c_1001_2^2 - 11556317222/17640704691*c_1001_2 + 2229852623/17640704691, c_1001_0 - 457832273/17640704691*c_1001_2^19 + 385188104/5880234897*c_1001_2^18 + 196829240/1960078299*c_1001_2^17 - 2042554015/17640704691*c_1001_2^16 - 1189562180/1960078299*c_1001_2^15 + 1029894016/1960078299*c_1001_2^14 + 20921570881/17640704691*c_1001_2^13 - 18710395196/17640704691*c_1001_2^12 - 8465590547/5880234897*c_1001_2^11 + 44728414468/17640704691*c_1001_2^10 - 18200857552/17640704691*c_1001_2^9 - 5774968099/17640704691*c_1001_2^8 - 10794015382/17640704691*c_1001_2^7 + 3751476361/1960078299*c_1001_2^6 - 28823218655/17640704691*c_1001_2^5 + 13132720691/5880234897*c_1001_2^4 - 460227185/1960078299*c_1001_2^3 - 3105603260/5880234897*c_1001_2^2 - 9477502868/17640704691*c_1001_2 + 16741794275/17640704691, c_1001_2^20 + c_1001_2^19 - 3*c_1001_2^18 - 7*c_1001_2^17 + 8*c_1001_2^16 + 18*c_1001_2^15 - 14*c_1001_2^14 - 28*c_1001_2^13 + 34*c_1001_2^12 + 25*c_1001_2^11 - 33*c_1001_2^10 - 32*c_1001_2^9 + 52*c_1001_2^8 + 14*c_1001_2^7 - 17*c_1001_2^6 - 8*c_1001_2^5 + 33*c_1001_2^4 + 3*c_1001_2^3 - 2*c_1001_2^2 + 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 5.720 Total time: 5.929 seconds, Total memory usage: 64.12MB