Magma V2.19-8 Wed Aug 21 2013 00:35:18 on localhost [Seed = 2160496947] Type ? for help. Type -D to quit. Loading file "K14n21978__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n21978 geometric_solution 12.01132255 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 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 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.263368265927 1.331931347335 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 -1 1 0 -1 0 0 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 -1 1 0 0 0 0 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.260236363783 0.656640144006 8 0 10 9 0132 0132 0132 0132 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 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.681236730374 0.751673007093 8 11 12 0 2031 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 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.129732753118 1.326710643942 7 11 0 10 1302 0321 0132 3120 0 0 0 0 0 0 0 0 -1 0 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 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.326721917156 0.328040531650 8 1 6 9 1023 0132 2103 1023 0 0 0 0 0 1 -1 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 1 -1 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.277128269070 1.163828150617 5 7 1 12 2103 3012 0132 2310 0 0 0 0 0 1 0 -1 0 0 -1 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 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.952267885846 0.862438235313 6 4 8 1 1230 2031 2031 0132 0 0 0 0 0 0 1 -1 1 0 -1 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 1.093932941672 0.539784332992 2 5 3 7 0132 1023 1302 1302 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 -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.349277914927 0.784995152511 11 12 2 5 0213 3120 0132 1023 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 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.520364766959 1.223197569847 4 11 12 2 3120 0213 3120 0132 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 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.545179789644 0.759820161248 9 3 10 4 0213 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 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.210024711101 1.230868492905 6 9 10 3 3201 3120 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.543986339687 0.906023127867 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_0'], 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : negation(d['c_1001_0']), 'c_1001_5' : d['c_0011_6'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0011_6'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_10']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0101_0'], 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : d['c_1001_2'], '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_0011_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' : negation(d['1']), 's_2_6' : negation(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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0101_12']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_12'], 'c_1100_4' : negation(d['c_0101_10']), 'c_1100_7' : d['c_0011_12'], 'c_1100_6' : d['c_0011_12'], 'c_1100_1' : d['c_0011_12'], 'c_1100_0' : negation(d['c_0101_10']), 'c_1100_3' : negation(d['c_0101_10']), 'c_1100_2' : negation(d['c_0101_12']), 's_0_10' : d['1'], 'c_1100_11' : d['c_1001_2'], 'c_1100_10' : negation(d['c_0101_12']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_4'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : negation(d['c_0011_10']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_6'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_12']), 'c_1010_8' : negation(d['c_0011_12']), 'c_1100_8' : d['c_0101_3'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_10']), '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' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : 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' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_6']), '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_0011_4']), 'c_0110_10' : d['c_0101_2'], 'c_0110_12' : d['c_0101_3'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_6'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : d['c_0011_11'], '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_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_6'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_11'], 'c_0110_5' : negation(d['c_0011_12']), 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : d['c_0011_6'], 'c_0110_6' : negation(d['c_0101_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_4, c_0011_6, c_0101_0, c_0101_10, c_0101_12, c_0101_2, c_0101_3, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t + 76728096538117543879161409/78205713898879534861316178*c_1001_2^9 + 7531838300321340081979100740/2698097129511343952715408141*c_1001_2^\ 8 + 3722911471166063774986617967/770884894146098272204402326*c_1001\ _2^7 - 12032868061935426835766360413/5396194259022687905430816282*c\ _1001_2^6 - 3976221417586942945950446569/59957713989140976727009069\ 8*c_1001_2^5 - 59716753843334056010207315750/2698097129511343952715\ 408141*c_1001_2^4 + 340990453292552862269377387/1998590466304699224\ 23363566*c_1001_2^3 + 923830898212647563006135045/14584308808169426\ 7714346386*c_1001_2^2 + 21257212198530536204476433813/2698097129511\ 343952715408141*c_1001_2 + 40239400056705382211615200123/5396194259\ 022687905430816282, c_0011_0 - 1, c_0011_10 + 3340993049512921/34833625233766561*c_1001_2^9 + 3349377359843271/34833625233766561*c_1001_2^8 + 3331242405455293/34833625233766561*c_1001_2^7 - 30545727688565923/34833625233766561*c_1001_2^6 + 1372807297761238/34833625233766561*c_1001_2^5 - 61250014815840373/34833625233766561*c_1001_2^4 + 137256617455734363/34833625233766561*c_1001_2^3 - 65354729169590675/34833625233766561*c_1001_2^2 + 63912670261634503/34833625233766561*c_1001_2 - 48790156481602923/34833625233766561, c_0011_11 - 5929129952914165/34833625233766561*c_1001_2^9 - 20317207071578759/34833625233766561*c_1001_2^8 - 39688333443981428/34833625233766561*c_1001_2^7 - 9859137792879821/34833625233766561*c_1001_2^6 + 29132542444068265/34833625233766561*c_1001_2^5 + 121368946471846732/34833625233766561*c_1001_2^4 + 37790694045018307/34833625233766561*c_1001_2^3 - 76116620007834166/34833625233766561*c_1001_2^2 - 29116072011752635/34833625233766561*c_1001_2 - 82166945934186831/34833625233766561, c_0011_12 - 2498560469115616/34833625233766561*c_1001_2^9 - 3858716572149134/34833625233766561*c_1001_2^8 - 6180056681334594/34833625233766561*c_1001_2^7 + 14871909567804178/34833625233766561*c_1001_2^6 + 1215842872325607/34833625233766561*c_1001_2^5 + 56861506225749558/34833625233766561*c_1001_2^4 - 58847044325503712/34833625233766561*c_1001_2^3 + 43863011947602990/34833625233766561*c_1001_2^2 - 58206610889791701/34833625233766561*c_1001_2 + 29794425328093785/34833625233766561, c_0011_4 - 954931662823435/34833625233766561*c_1001_2^9 + 3038257907975235/34833625233766561*c_1001_2^8 + 7593724949327042/34833625233766561*c_1001_2^7 + 21111276023811851/34833625233766561*c_1001_2^6 - 17280513495129618/34833625233766561*c_1001_2^5 + 13239404321503287/34833625233766561*c_1001_2^4 - 89339136094363113/34833625233766561*c_1001_2^3 + 78480126118978586/34833625233766561*c_1001_2^2 - 35207132766904782/34833625233766561*c_1001_2 + 21548058494063883/34833625233766561, c_0011_6 + 2498560469115616/34833625233766561*c_1001_2^9 + 3858716572149134/34833625233766561*c_1001_2^8 + 6180056681334594/34833625233766561*c_1001_2^7 - 14871909567804178/34833625233766561*c_1001_2^6 - 1215842872325607/34833625233766561*c_1001_2^5 - 56861506225749558/34833625233766561*c_1001_2^4 + 58847044325503712/34833625233766561*c_1001_2^3 - 43863011947602990/34833625233766561*c_1001_2^2 + 58206610889791701/34833625233766561*c_1001_2 + 5039199905672776/34833625233766561, c_0101_0 - 4717934693380924/34833625233766561*c_1001_2^9 - 12694056508822082/34833625233766561*c_1001_2^8 - 22382282879733221/34833625233766561*c_1001_2^7 + 11034359952244588/34833625233766561*c_1001_2^6 + 22110290062106364/34833625233766561*c_1001_2^5 + 97383841041496021/34833625233766561*c_1001_2^4 - 33545435313913386/34833625233766561*c_1001_2^3 - 8328850611940828/34833625233766561*c_1001_2^2 - 52957236527261925/34833625233766561*c_1001_2 - 27058997198607527/34833625233766561, c_0101_10 - 2322385922574431/34833625233766561*c_1001_2^9 - 8194576382977790/34833625233766561*c_1001_2^8 - 19089310721643777/34833625233766561*c_1001_2^7 - 12173233869695416/34833625233766561*c_1001_2^6 - 3294964738587954/34833625233766561*c_1001_2^5 + 49509168457927284/34833625233766561*c_1001_2^4 + 16528493478596724/34833625233766561*c_1001_2^3 + 22406702861208271/34833625233766561*c_1001_2^2 - 34097042412612980/34833625233766561*c_1001_2 - 14333901726530878/34833625233766561, c_0101_12 + 1, c_0101_2 + 6730051474413128/34833625233766561*c_1001_2^9 + 15684336817742923/34833625233766561*c_1001_2^8 + 27211303144407413/34833625233766561*c_1001_2^7 - 25193234246052020/34833625233766561*c_1001_2^6 - 25405098246738842/34833625233766561*c_1001_2^5 - 140342276058808646/34833625233766561*c_1001_2^4 + 96932220929494568/34833625233766561*c_1001_2^3 - 19294055930259705/34833625233766561*c_1001_2^2 + 116052798305160246/34833625233766561*c_1001_2 - 27303837227595981/34833625233766561, c_0101_3 + 6046810961861641/34833625233766561*c_1001_2^9 + 13053153559744512/34833625233766561*c_1001_2^8 + 20884505020514322/34833625233766561*c_1001_2^7 - 27421213347003079/34833625233766561*c_1001_2^6 - 17442674579712648/34833625233766561*c_1001_2^5 - 115675420840023769/34833625233766561*c_1001_2^4 + 107415267154066567/34833625233766561*c_1001_2^3 - 29402972015449314/34833625233766561*c_1001_2^2 + 88607970244764668/34833625233766561*c_1001_2 - 2201950090558449/34833625233766561, c_1001_0 + 1169684200634899/34833625233766561*c_1001_2^9 + 3499619521226704/34833625233766561*c_1001_2^8 + 7677834540553493/34833625233766561*c_1001_2^7 + 1514943826954313/34833625233766561*c_1001_2^6 - 5883458354719323/34833625233766561*c_1001_2^5 - 38569926427221810/34833625233766561*c_1001_2^4 - 15022787514649469/34833625233766561*c_1001_2^3 - 6131189320212848/34833625233766561*c_1001_2^2 + 22555877172288958/34833625233766561*c_1001_2 + 34300147194838752/34833625233766561, c_1001_2^10 + 56/23*c_1001_2^9 + 110/23*c_1001_2^8 - 36/23*c_1001_2^7 - 12/23*c_1001_2^6 - 467/23*c_1001_2^5 + 255/23*c_1001_2^4 - 247/23*c_1001_2^3 + 385/23*c_1001_2^2 + 25/23*c_1001_2 + 89/23 ], 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_0011_6, c_0101_0, c_0101_10, c_0101_12, c_0101_2, c_0101_3, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 567314693511657957/698353985943680*c_1001_2^19 + 664331085650197277/139670797188736*c_1001_2^18 - 1925157864698740739/698353985943680*c_1001_2^17 - 594907303575066447/17458849648592*c_1001_2^16 + 8962107363185340591/139670797188736*c_1001_2^15 + 4477043456048422269/87294248242960*c_1001_2^14 - 16479672847087324419/87294248242960*c_1001_2^13 - 8990722545762383863/698353985943680*c_1001_2^12 + 228721062811563720027/698353985943680*c_1001_2^11 - 1888666674179354327/349176992971840*c_1001_2^10 - 106309710740278245481/349176992971840*c_1001_2^9 + 1831905172766732073/34917699297184*c_1001_2^8 + 48855077604080328623/174588496485920*c_1001_2^7 - 8232454811659899261/698353985943680*c_1001_2^6 - 135750840035407195199/698353985943680*c_1001_2^5 - 21058395834547172511/698353985943680*c_1001_2^4 + 52635191179019593943/349176992971840*c_1001_2^3 + 8898100555331275073/63486725994880*c_1001_2^2 + 4429948876631618883/87294248242960*c_1001_2 + 4673852067294840161/698353985943680, c_0011_0 - 1, c_0011_10 + c_1001_2, c_0011_11 + 8073684197714/21564784645*c_1001_2^19 - 4008722610568/4312956929*c_1001_2^18 - 54899724190537/21564784645*c_1001_2^17 + 39198500985178/4312956929*c_1001_2^16 + 21432171168348/4312956929*c_1001_2^15 - 543754801814999/21564784645*c_1001_2^14 + 4106386221199/21564784645*c_1001_2^13 + 1183647607256826/21564784645*c_1001_2^12 + 285087473809191/21564784645*c_1001_2^11 - 1031371118513742/21564784645*c_1001_2^10 - 51697991941691/21564784645*c_1001_2^9 + 227396419456128/4312956929*c_1001_2^8 + 291815346833511/21564784645*c_1001_2^7 - 744199409891738/21564784645*c_1001_2^6 - 238663857189412/21564784645*c_1001_2^5 + 791857911614972/21564784645*c_1001_2^4 + 998628389839538/21564784645*c_1001_2^3 + 545107501587254/21564784645*c_1001_2^2 + 150108646597507/21564784645*c_1001_2 + 16891581241708/21564784645, c_0011_12 - 1, c_0011_4 + 2562153413198/21564784645*c_1001_2^19 - 1341919874920/4312956929*c_1001_2^18 - 16387753591059/21564784645*c_1001_2^17 + 12814811311253/4312956929*c_1001_2^16 + 4924080455276/4312956929*c_1001_2^15 - 172678910467988/21564784645*c_1001_2^14 + 24972483688318/21564784645*c_1001_2^13 + 364020664940262/21564784645*c_1001_2^12 + 44605044587232/21564784645*c_1001_2^11 - 317283149328214/21564784645*c_1001_2^10 + 23956899017518/21564784645*c_1001_2^9 + 68649219822054/4312956929*c_1001_2^8 + 51394340790122/21564784645*c_1001_2^7 - 228415758474606/21564784645*c_1001_2^6 - 46851458790119/21564784645*c_1001_2^5 + 247330586639949/21564784645*c_1001_2^4 + 284279265888771/21564784645*c_1001_2^3 + 145787188747288/21564784645*c_1001_2^2 + 37611396057104/21564784645*c_1001_2 + 3923456900136/21564784645, c_0011_6 - 3736378844802/21564784645*c_1001_2^19 + 1862375291611/4312956929*c_1001_2^18 + 25303974785761/21564784645*c_1001_2^17 - 18181563846229/4312956929*c_1001_2^16 - 9729540513952/4312956929*c_1001_2^15 + 251773455656767/21564784645*c_1001_2^14 - 4345533778787/21564784645*c_1001_2^13 - 546927069898178/21564784645*c_1001_2^12 - 126938848769018/21564784645*c_1001_2^11 + 476847524011911/21564784645*c_1001_2^10 + 19357196142533/21564784645*c_1001_2^9 - 104962285943864/4312956929*c_1001_2^8 - 130308319447748/21564784645*c_1001_2^7 + 343966308672374/21564784645*c_1001_2^6 + 107179391484466/21564784645*c_1001_2^5 - 366348157700886/21564784645*c_1001_2^4 - 458580069655284/21564784645*c_1001_2^3 - 249092302855342/21564784645*c_1001_2^2 - 68252550824426/21564784645*c_1001_2 - 7654188286859/21564784645, c_0101_0 - 1373835283788/21564784645*c_1001_2^19 + 782637684249/4312956929*c_1001_2^18 + 7901792058404/21564784645*c_1001_2^17 - 7244929987036/4312956929*c_1001_2^16 - 981087325333/4312956929*c_1001_2^15 + 94126614798588/21564784645*c_1001_2^14 - 35408715528188/21564784645*c_1001_2^13 - 187765020275572/21564784645*c_1001_2^12 + 20516563419233/21564784645*c_1001_2^11 + 166253898268509/21564784645*c_1001_2^10 - 52831192499743/21564784645*c_1001_2^9 - 34470406541478/4312956929*c_1001_2^8 + 13790239795703/21564784645*c_1001_2^7 + 119640734724171/21564784645*c_1001_2^6 - 3729063497796/21564784645*c_1001_2^5 - 132034333063144/21564784645*c_1001_2^4 - 121168185029591/21564784645*c_1001_2^3 - 49653198140518/21564784645*c_1001_2^2 - 8806810656384/21564784645*c_1001_2 - 293476529931/21564784645, c_0101_10 - 383116915573/4312956929*c_1001_2^19 + 915076400402/4312956929*c_1001_2^18 + 2711011209494/4312956929*c_1001_2^17 - 9103372926983/4312956929*c_1001_2^16 - 6050338806400/4312956929*c_1001_2^15 + 25765194736619/4312956929*c_1001_2^14 + 2252199707150/4312956929*c_1001_2^13 - 57315900661642/4312956929*c_1001_2^12 - 18278224691493/4312956929*c_1001_2^11 + 49862988977771/4312956929*c_1001_2^10 + 6589799336705/4312956929*c_1001_2^9 - 55642218756878/4312956929*c_1001_2^8 - 18089757472369/4312956929*c_1001_2^7 + 35956100305969/4312956929*c_1001_2^6 + 14293627716775/4312956929*c_1001_2^5 - 37871798431298/4312956929*c_1001_2^4 - 50744820910395/4312956929*c_1001_2^3 - 28786708070167/4312956929*c_1001_2^2 - 8257164800720/4312956929*c_1001_2 - 980803405406/4312956929, c_0101_12 + 8817897043994/21564784645*c_1001_2^19 - 4362646725658/4312956929*c_1001_2^18 - 60189312690287/21564784645*c_1001_2^17 + 42726085068103/4312956929*c_1001_2^16 + 23827234055014/4312956929*c_1001_2^15 - 593792509770929/21564784645*c_1001_2^14 - 882184140856/21564784645*c_1001_2^13 + 1295308449053051/21564784645*c_1001_2^12 + 321772530555031/21564784645*c_1001_2^11 - 1128681873125037/21564784645*c_1001_2^10 - 65558413980711/21564784645*c_1001_2^9 + 249150821203351/4312956929*c_1001_2^8 + 327927005023481/21564784645*c_1001_2^7 - 814484530069873/21564784645*c_1001_2^6 - 267113744805242/21564784645*c_1001_2^5 + 865698769877912/21564784645*c_1001_2^4 + 1097974090877558/21564784645*c_1001_2^3 + 601494926270124/21564784645*c_1001_2^2 + 166276059926992/21564784645*c_1001_2 + 18807165819573/21564784645, c_0101_2 - 3385315017134/21564784645*c_1001_2^19 + 1754570979692/4312956929*c_1001_2^18 + 21925023178617/21564784645*c_1001_2^17 - 16830842872680/4312956929*c_1001_2^16 - 7003126096922/4312956929*c_1001_2^15 + 228051707383744/21564784645*c_1001_2^14 - 26623678180009/21564784645*c_1001_2^13 - 483886412284456/21564784645*c_1001_2^12 - 71529820633106/21564784645*c_1001_2^11 + 421856883184267/21564784645*c_1001_2^10 - 20189858544489/21564784645*c_1001_2^9 - 91700911806587/4312956929*c_1001_2^8 - 79460105556571/21564784645*c_1001_2^7 + 304365671589473/21564784645*c_1001_2^6 + 69887680507962/21564784645*c_1001_2^5 - 328162555926107/21564784645*c_1001_2^4 - 384464810206668/21564784645*c_1001_2^3 - 199721142031274/21564784645*c_1001_2^2 - 52175066304202/21564784645*c_1001_2 - 5505540242033/21564784645, c_0101_3 - 2396873376536/21564784645*c_1001_2^19 + 1263424214073/4312956929*c_1001_2^18 + 15205186295978/21564784645*c_1001_2^17 - 12026357353995/4312956929*c_1001_2^16 - 4389137195127/4312956929*c_1001_2^15 + 161360329417576/21564784645*c_1001_2^14 - 25831914871241/21564784645*c_1001_2^13 - 338913768383189/21564784645*c_1001_2^12 - 37274826108919/21564784645*c_1001_2^11 + 295594851594383/21564784645*c_1001_2^10 - 25879215184956/21564784645*c_1001_2^9 - 63899733266391/4312956929*c_1001_2^8 - 44268416818104/21564784645*c_1001_2^7 + 213314460075837/21564784645*c_1001_2^6 + 41055360016988/21564784645*c_1001_2^5 - 231216610001688/21564784645*c_1001_2^4 - 262577864318697/21564784645*c_1001_2^3 - 133302252406091/21564784645*c_1001_2^2 - 33862422093898/21564784645*c_1001_2 - 3426849568427/21564784645, c_1001_0 - 330292029661/21564784645*c_1001_2^19 + 93181657497/4312956929*c_1001_2^18 + 3286221168363/21564784645*c_1001_2^17 - 1216686316269/4312956929*c_1001_2^16 - 2772828353818/4312956929*c_1001_2^15 + 21864580772441/21564784645*c_1001_2^14 + 23876885335594/21564784645*c_1001_2^13 - 59596286096454/21564784645*c_1001_2^12 - 58507002994229/21564784645*c_1001_2^11 + 51131613773873/21564784645*c_1001_2^10 + 43280068594579/21564784645*c_1001_2^9 - 12628295920384/4312956929*c_1001_2^8 - 54194534877089/21564784645*c_1001_2^7 + 37032607743312/21564784645*c_1001_2^6 + 39358438652558/21564784645*c_1001_2^5 - 35510024388403/21564784645*c_1001_2^4 - 74117809823117/21564784645*c_1001_2^3 - 50875112334841/21564784645*c_1001_2^2 - 17025593358558/21564784645*c_1001_2 - 2341863613832/21564784645, c_1001_2^20 - 2*c_1001_2^19 - 8*c_1001_2^18 + 21*c_1001_2^17 + 25*c_1001_2^16 - 61*c_1001_2^15 - 32*c_1001_2^14 + 147*c_1001_2^13 + 106*c_1001_2^12 - 111*c_1001_2^11 - 68*c_1001_2^10 + 138*c_1001_2^9 + 104*c_1001_2^8 - 75*c_1001_2^7 - 74*c_1001_2^6 + 84*c_1001_2^5 + 171*c_1001_2^4 + 127*c_1001_2^3 + 51*c_1001_2^2 + 11*c_1001_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 9.090 Total time: 9.289 seconds, Total memory usage: 138.50MB