Magma V2.19-8 Wed Aug 21 2013 00:36:42 on localhost [Seed = 913319894] Type ? for help. Type -D to quit. Loading file "K14n24282__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n24282 geometric_solution 11.90227200 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 0 0 -1 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 0 -1 1 0 0 -4 4 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.383266565695 1.007121263897 0 5 7 6 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 0 -4 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 0 0 0.272029108304 0.691784011552 8 0 10 9 0132 0132 0132 0132 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 0 -5 5 0 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.436051067294 0.609596212398 11 5 9 0 0132 1230 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 -1 0 1 1 0 -5 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.392861874930 0.775490710916 6 11 0 9 0213 0213 0132 3201 0 0 0 0 0 0 0 0 1 0 -1 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 1 -1 0 4 0 -4 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.442212701688 0.722130162341 11 1 3 12 3120 0132 3012 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 -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.607448772153 0.822542660299 4 8 1 12 0213 2310 0132 2103 0 0 0 0 0 1 -1 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 4 -4 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.123737027472 0.882075257166 10 12 12 1 0321 0132 2103 0132 0 0 0 0 0 -1 0 1 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 -4 0 4 0 0 0 0 -5 5 0 0 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.750134703321 1.392876112456 2 11 10 6 0132 3120 2310 3201 0 0 0 0 0 -1 1 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 -5 5 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.935719125109 1.091681073040 10 4 2 3 2310 2310 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 -5 5 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.221698279940 0.901075308652 7 8 9 2 0321 3201 3201 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 -5 0 0 5 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.542939109459 0.487803085062 3 8 4 5 0132 3120 0213 3120 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 -1 0 0 1 0 0 0 0 -1 5 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.625913950231 0.799472861601 7 7 5 6 2103 0132 0132 2103 0 0 0 0 0 1 0 -1 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 0 -4 0 0 0 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.512560885744 0.144440466125 ==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_8']), 'c_1001_12' : d['c_1001_1'], 'c_1001_5' : d['c_0011_11'], 'c_1001_4' : d['c_1001_11'], 'c_1001_7' : d['c_0011_12'], 'c_1001_6' : d['c_0011_11'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : negation(d['c_0110_4']), 'c_1001_2' : d['c_1001_11'], 'c_1001_9' : d['c_0101_5'], 'c_1001_8' : negation(d['c_1001_11']), 'c_1010_12' : d['c_0011_12'], 'c_1010_11' : negation(d['c_0011_0']), 'c_1010_10' : d['c_1001_11'], '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_4'], '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' : 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_1100_8' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0110_4'], 'c_1100_4' : negation(d['c_0011_9']), 'c_1100_7' : negation(d['c_0110_12']), 'c_1100_6' : negation(d['c_0110_12']), 'c_1100_1' : negation(d['c_0110_12']), 'c_1100_0' : negation(d['c_0011_9']), 'c_1100_3' : negation(d['c_0011_9']), 'c_1100_2' : negation(d['c_0011_9']), 's_0_10' : d['1'], 'c_1100_9' : negation(d['c_0011_9']), 'c_1100_11' : negation(d['c_0101_5']), 'c_1100_10' : negation(d['c_0011_9']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_0011_12']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : d['c_0011_11'], 'c_1010_0' : d['c_1001_11'], 'c_1010_9' : negation(d['c_0110_4']), 'c_1010_8' : negation(d['c_0011_11']), 's_3_1' : 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' : d['c_0110_4'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : 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' : d['c_0011_9'], '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_12']), 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_11']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_10']), 'c_0110_10' : d['c_0011_12'], 'c_0110_12' : d['c_0110_12'], 'c_0101_12' : negation(d['c_0101_10']), 'c_0101_7' : negation(d['c_0101_10']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_10']), 'c_0101_3' : negation(d['c_0101_10']), 'c_0101_2' : d['c_0011_12'], 'c_0101_1' : negation(d['c_0011_10']), 'c_0101_0' : d['c_0011_4'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], '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_0101_10']), 'c_0110_8' : d['c_0011_12'], 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : negation(d['c_0011_10']), 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : negation(d['c_0101_10']), 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : negation(d['c_0011_10']), 'c_0110_6' : negation(d['c_0110_4'])})} 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_9, c_0101_10, c_0101_5, c_0101_8, c_0110_12, c_0110_4, c_1001_1, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 3974076488/52566565*c_1001_11^11 - 1553159708/10513313*c_1001_11^10 - 30888720/10513313*c_1001_11^9 + 13994063334/52566565*c_1001_11^8 + 5908906144/52566565*c_1001_11^7 + 3191051209/52566565*c_1001_11^6 - 908365582/10513313*c_1001_11^5 - 1117636707/10513313*c_1001_11^4 + 3937633062/52566565*c_1001_11^3 + 5558382328/52566565*c_1001_11^2 + 3049733027/52566565*c_1001_11 + 400960937/52566565, c_0011_0 - 1, c_0011_10 - 19791508/10513313*c_1001_11^11 + 27167572/10513313*c_1001_11^10 + 20261314/10513313*c_1001_11^9 - 53687382/10513313*c_1001_11^8 - 89878891/10513313*c_1001_11^7 - 38167232/10513313*c_1001_11^6 + 39086821/10513313*c_1001_11^5 + 44592404/10513313*c_1001_11^4 + 18844530/10513313*c_1001_11^3 - 41127026/10513313*c_1001_11^2 - 34376893/10513313*c_1001_11 - 2944892/10513313, c_0011_11 + 5392492/10513313*c_1001_11^11 - 17088604/10513313*c_1001_11^10 + 7919930/10513313*c_1001_11^9 + 26851570/10513313*c_1001_11^8 - 10040103/10513313*c_1001_11^7 - 29870800/10513313*c_1001_11^6 - 15085229/10513313*c_1001_11^5 + 1416316/10513313*c_1001_11^4 + 2476024/10513313*c_1001_11^3 + 10685631/10513313*c_1001_11^2 - 7389271/10513313*c_1001_11 - 11131360/10513313, c_0011_12 + 25889832/10513313*c_1001_11^11 - 38033668/10513313*c_1001_11^10 - 23665232/10513313*c_1001_11^9 + 79433106/10513313*c_1001_11^8 + 102460488/10513313*c_1001_11^7 + 33523603/10513313*c_1001_11^6 - 42776956/10513313*c_1001_11^5 - 30061281/10513313*c_1001_11^4 - 9297964/10513313*c_1001_11^3 + 46445915/10513313*c_1001_11^2 + 36025990/10513313*c_1001_11 - 848716/10513313, c_0011_4 - 5389916/10513313*c_1001_11^11 + 5079076/10513313*c_1001_11^10 + 7846426/10513313*c_1001_11^9 - 9594178/10513313*c_1001_11^8 - 36515127/10513313*c_1001_11^7 - 13498132/10513313*c_1001_11^6 + 1339242/10513313*c_1001_11^5 + 10691192/10513313*c_1001_11^4 + 11673742/10513313*c_1001_11^3 - 4969004/10513313*c_1001_11^2 - 13317552/10513313*c_1001_11 - 9427239/10513313, c_0011_9 + 11903984/10513313*c_1001_11^11 - 16072164/10513313*c_1001_11^10 - 15490336/10513313*c_1001_11^9 + 41361470/10513313*c_1001_11^8 + 48392320/10513313*c_1001_11^7 + 15923463/10513313*c_1001_11^6 - 19373223/10513313*c_1001_11^5 - 22273209/10513313*c_1001_11^4 - 3066610/10513313*c_1001_11^3 + 28756863/10513313*c_1001_11^2 + 25898122/10513313*c_1001_11 - 2937385/10513313, c_0101_10 - 4458336/10513313*c_1001_11^11 + 1426568/10513313*c_1001_11^10 + 17159072/10513313*c_1001_11^9 - 18532748/10513313*c_1001_11^8 - 34418476/10513313*c_1001_11^7 - 14305490/10513313*c_1001_11^6 + 24758264/10513313*c_1001_11^5 + 15233268/10513313*c_1001_11^4 + 1439941/10513313*c_1001_11^3 - 11369302/10513313*c_1001_11^2 - 14829241/10513313*c_1001_11 - 498821/10513313, c_0101_5 - 4103040/10513313*c_1001_11^11 + 4412476/10513313*c_1001_11^10 + 1837560/10513313*c_1001_11^9 - 3598442/10513313*c_1001_11^8 - 20639104/10513313*c_1001_11^7 - 22791353/10513313*c_1001_11^6 - 11612997/10513313*c_1001_11^5 + 6236573/10513313*c_1001_11^4 + 3192597/10513313*c_1001_11^3 - 886022/10513313*c_1001_11^2 - 8529010/10513313*c_1001_11 - 9539170/10513313, c_0101_8 + 8872216/10513313*c_1001_11^11 - 5600596/10513313*c_1001_11^10 - 22877244/10513313*c_1001_11^9 + 30349258/10513313*c_1001_11^8 + 49691006/10513313*c_1001_11^7 + 38452559/10513313*c_1001_11^6 - 13056627/10513313*c_1001_11^5 - 26406188/10513313*c_1001_11^4 - 7748408/10513313*c_1001_11^3 + 13445565/10513313*c_1001_11^2 + 18229740/10513313*c_1001_11 - 1822801/10513313, c_0110_12 - 12142432/10513313*c_1001_11^11 + 19724964/10513313*c_1001_11^10 + 4168756/10513313*c_1001_11^9 - 26144918/10513313*c_1001_11^8 - 54026670/10513313*c_1001_11^7 - 14811807/10513313*c_1001_11^6 + 23776530/10513313*c_1001_11^5 + 20064182/10513313*c_1001_11^4 - 773241/10513313*c_1001_11^3 - 21738721/10513313*c_1001_11^2 - 8419398/10513313*c_1001_11 + 1667616/10513313, c_0110_4 + 19343784/10513313*c_1001_11^11 - 28006724/10513313*c_1001_11^10 - 18923128/10513313*c_1001_11^9 + 58576938/10513313*c_1001_11^8 + 81532604/10513313*c_1001_11^7 + 20724175/10513313*c_1001_11^6 - 29569738/10513313*c_1001_11^5 - 30744717/10513313*c_1001_11^4 - 13830256/10513313*c_1001_11^3 + 27909959/10513313*c_1001_11^2 + 29286532/10513313*c_1001_11 - 2179443/10513313, c_1001_1 + 47734496/10513313*c_1001_11^11 - 62758232/10513313*c_1001_11^10 - 50177740/10513313*c_1001_11^9 + 129097640/10513313*c_1001_11^8 + 216353326/10513313*c_1001_11^7 + 103179608/10513313*c_1001_11^6 - 61393507/10513313*c_1001_11^5 - 83109942/10513313*c_1001_11^4 - 32245187/10513313*c_1001_11^3 + 94274871/10513313*c_1001_11^2 + 78347722/10513313*c_1001_11 + 9791330/10513313, c_1001_11^12 - c_1001_11^11 - 3/2*c_1001_11^10 + 5/2*c_1001_11^9 + 21/4*c_1001_11^8 + 7/2*c_1001_11^7 - 1/2*c_1001_11^6 - 2*c_1001_11^5 - 5/4*c_1001_11^4 + 3/2*c_1001_11^3 + 9/4*c_1001_11^2 + 3/4*c_1001_11 + 1/4 ], 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_9, c_0101_10, c_0101_5, c_0101_8, c_0110_12, c_0110_4, c_1001_1, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 195326586842595315361051628457/133260427544127517392303155*c_1001_1\ 1^17 - 1934692921214995384626369500507/133260427544127517392303155*\ c_1001_11^16 - 22239418242686004144244965344652/1332604275441275173\ 92303155*c_1001_11^15 - 47716676122459292727098535945086/1332604275\ 44127517392303155*c_1001_11^14 + 27166228587626080452017636518377/1\ 33260427544127517392303155*c_1001_11^13 + 5709922110325637292968444198656/5793931632353370321404485*c_1001_11\ ^12 + 68441699112489827625302836509122/133260427544127517392303155*\ c_1001_11^11 - 79806127582256760451456174185723/1332604275441275173\ 92303155*c_1001_11^10 - 32405202958847284625752128375021/2665208550\ 8825503478460631*c_1001_11^9 - 38250347448687184441571072671048/133\ 260427544127517392303155*c_1001_11^8 + 66501202726203491631917904176756/133260427544127517392303155*c_1001\ _11^7 + 78827419275754364067145697699526/13326042754412751739230315\ 5*c_1001_11^6 + 19138955313331072346015969989722/133260427544127517\ 392303155*c_1001_11^5 - 4550059508846993998633724564944/26652085508\ 825503478460631*c_1001_11^4 - 24284060696349277078628699281096/1332\ 60427544127517392303155*c_1001_11^3 - 2361772070170518024006180561890/26652085508825503478460631*c_1001_1\ 1^2 - 3064158153428062353824946730012/133260427544127517392303155*c\ _1001_11 - 423903978531618945446862964353/1332604275441275173923031\ 55, c_0011_0 - 1, c_0011_10 - 21374742852600278600/6588617763952501261*c_1001_11^17 - 190385965230779300285/6588617763952501261*c_1001_11^16 - 2231724312089363235024/6588617763952501261*c_1001_11^15 - 2881433244988862899410/6588617763952501261*c_1001_11^14 + 7160624116793810130619/6588617763952501261*c_1001_11^13 + 9563471286421441186857/6588617763952501261*c_1001_11^12 - 4818377696761930298816/6588617763952501261*c_1001_11^11 - 10877533059479370187402/6588617763952501261*c_1001_11^10 - 7873001404614823271330/6588617763952501261*c_1001_11^9 + 9407589103827869409263/6588617763952501261*c_1001_11^8 + 5356738571348938033951/6588617763952501261*c_1001_11^7 + 1935105792757230664908/6588617763952501261*c_1001_11^6 - 3722063551718003295864/6588617763952501261*c_1001_11^5 - 1814994813771115612746/6588617763952501261*c_1001_11^4 - 356963808586675909286/6588617763952501261*c_1001_11^3 + 375763223262356275131/6588617763952501261*c_1001_11^2 + 160465981687517433035/6588617763952501261*c_1001_11 + 34728702436910157915/6588617763952501261, c_0011_11 + 79129533371359128841/6588617763952501261*c_1001_11^17 + 754122978577612449090/6588617763952501261*c_1001_11^16 + 8729128471829536033547/6588617763952501261*c_1001_11^15 + 16078270323126698170967/6588617763952501261*c_1001_11^14 - 16812573294238102481253/6588617763952501261*c_1001_11^13 - 46737551525175286423397/6588617763952501261*c_1001_11^12 - 11094274387481962484580/6588617763952501261*c_1001_11^11 + 35960490455351008865402/6588617763952501261*c_1001_11^10 + 53153064492111808039669/6588617763952501261*c_1001_11^9 - 3705241956205924915494/6588617763952501261*c_1001_11^8 - 25327191756899518285121/6588617763952501261*c_1001_11^7 - 23726330322369311147225/6588617763952501261*c_1001_11^6 + 1180242640749690292399/6588617763952501261*c_1001_11^5 + 8791978925780707960245/6588617763952501261*c_1001_11^4 + 6954323731197629910012/6588617763952501261*c_1001_11^3 + 2182725204902524854230/6588617763952501261*c_1001_11^2 + 383817232719787908420/6588617763952501261*c_1001_11 - 8875467937662189893/6588617763952501261, c_0011_12 + 48518603614103562392/6588617763952501261*c_1001_11^17 + 445872338587158881681/6588617763952501261*c_1001_11^16 + 5196295699414718505430/6588617763952501261*c_1001_11^15 + 8050479007982143229642/6588617763952501261*c_1001_11^14 - 13499507242399206480742/6588617763952501261*c_1001_11^13 - 24774748083916407408945/6588617763952501261*c_1001_11^12 + 2721421939046387878554/6588617763952501261*c_1001_11^11 + 23213746420939529953501/6588617763952501261*c_1001_11^10 + 24642043815555237646057/6588617763952501261*c_1001_11^9 - 12418027635901475637811/6588617763952501261*c_1001_11^8 - 13494598792107094301608/6588617763952501261*c_1001_11^7 - 9184661751253313331492/6588617763952501261*c_1001_11^6 + 4811069129467838927221/6588617763952501261*c_1001_11^5 + 4676472658602011080009/6588617763952501261*c_1001_11^4 + 2432293455888381832135/6588617763952501261*c_1001_11^3 + 174726323446997592893/6588617763952501261*c_1001_11^2 - 86120729848453702785/6588617763952501261*c_1001_11 - 46821705897946830200/6588617763952501261, c_0011_4 + 82121402792170421625/6588617763952501261*c_1001_11^17 + 811294625801956306271/6588617763952501261*c_1001_11^16 + 9334076620366039662747/6588617763952501261*c_1001_11^15 + 19864411506614533182181/6588617763952501261*c_1001_11^14 - 11430666651114052172413/6588617763952501261*c_1001_11^13 - 54253340723946238342293/6588617763952501261*c_1001_11^12 - 28874355216889791960630/6588617763952501261*c_1001_11^11 + 32263464608185112435208/6588617763952501261*c_1001_11^10 + 68094663143483495893453/6588617763952501261*c_1001_11^9 + 16303384484674531860181/6588617763952501261*c_1001_11^8 - 26537481065040759080260/6588617763952501261*c_1001_11^7 - 34048077933817160463135/6588617763952501261*c_1001_11^6 - 7987338472110525071292/6588617763952501261*c_1001_11^5 + 9131796388760861582888/6588617763952501261*c_1001_11^4 + 10486933579495170829313/6588617763952501261*c_1001_11^3 + 4995422131739616768735/6588617763952501261*c_1001_11^2 + 1305419380322612408197/6588617763952501261*c_1001_11 + 162259331173340619520/6588617763952501261, c_0011_9 - c_1001_11, c_0101_10 - 79129533371359128841/6588617763952501261*c_1001_11^17 - 754122978577612449090/6588617763952501261*c_1001_11^16 - 8729128471829536033547/6588617763952501261*c_1001_11^15 - 16078270323126698170967/6588617763952501261*c_1001_11^14 + 16812573294238102481253/6588617763952501261*c_1001_11^13 + 46737551525175286423397/6588617763952501261*c_1001_11^12 + 11094274387481962484580/6588617763952501261*c_1001_11^11 - 35960490455351008865402/6588617763952501261*c_1001_11^10 - 53153064492111808039669/6588617763952501261*c_1001_11^9 + 3705241956205924915494/6588617763952501261*c_1001_11^8 + 25327191756899518285121/6588617763952501261*c_1001_11^7 + 23726330322369311147225/6588617763952501261*c_1001_11^6 - 1180242640749690292399/6588617763952501261*c_1001_11^5 - 8791978925780707960245/6588617763952501261*c_1001_11^4 - 6954323731197629910012/6588617763952501261*c_1001_11^3 - 2182725204902524854230/6588617763952501261*c_1001_11^2 - 383817232719787908420/6588617763952501261*c_1001_11 + 8875467937662189893/6588617763952501261, c_0101_5 - 64702938531606425868/6588617763952501261*c_1001_11^17 - 623399824122674668488/6588617763952501261*c_1001_11^16 - 7201933676653600249577/6588617763952501261*c_1001_11^15 - 13892143263764384919115/6588617763952501261*c_1001_11^14 + 12388443094552568097539/6588617763952501261*c_1001_11^13 + 39607646846304747369968/6588617763952501261*c_1001_11^12 + 12921456389297287678354/6588617763952501261*c_1001_11^11 - 28280462924377086738655/6588617763952501261*c_1001_11^10 - 46258457290501021068886/6588617763952501261*c_1001_11^9 - 1657283370709951851595/6588617763952501261*c_1001_11^8 + 20853812147326058026816/6588617763952501261*c_1001_11^7 + 21313430379101619553345/6588617763952501261*c_1001_11^6 + 1336926522882105515138/6588617763952501261*c_1001_11^5 - 7271696502203631679729/6588617763952501261*c_1001_11^4 - 6356097332940897721626/6588617763952501261*c_1001_11^3 - 2446185653778507835369/6588617763952501261*c_1001_11^2 - 522036348750392953913/6588617763952501261*c_1001_11 - 39876088345485911889/6588617763952501261, c_0101_8 + 44949047656191582305/6588617763952501261*c_1001_11^17 + 440526759925192523103/6588617763952501261*c_1001_11^16 + 5076056867053441721577/6588617763952501261*c_1001_11^15 + 10490014349284188811982/6588617763952501261*c_1001_11^14 - 6892280551648623106842/6588617763952501261*c_1001_11^13 - 28789770693860283302331/6588617763952501261*c_1001_11^12 - 13883191104948952238093/6588617763952501261*c_1001_11^11 + 17681648534413506186981/6588617763952501261*c_1001_11^10 + 35586271040102848079835/6588617763952501261*c_1001_11^9 + 6960358468789557600942/6588617763952501261*c_1001_11^8 - 13864226036584870960625/6588617763952501261*c_1001_11^7 - 17595835352395158304423/6588617763952501261*c_1001_11^6 - 3626613415125928326143/6588617763952501261*c_1001_11^5 + 4770596847854136068637/6588617763952501261*c_1001_11^4 + 5389741714232655830171/6588617763952501261*c_1001_11^3 + 2537164780854428540140/6588617763952501261*c_1001_11^2 + 663507645414077187576/6588617763952501261*c_1001_11 + 83129797801981490679/6588617763952501261, c_0110_12 + 12121093942653223652/6588617763952501261*c_1001_11^17 + 136575328028896631947/6588617763952501261*c_1001_11^16 + 1535858956542493634959/6588617763952501261*c_1001_11^15 + 4768790407539942911458/6588617763952501261*c_1001_11^14 + 1501479383377953702546/6588617763952501261*c_1001_11^13 - 11861796874094773834783/6588617763952501261*c_1001_11^12 - 13443129354557606480519/6588617763952501261*c_1001_11^11 + 3289091360978616719135/6588617763952501261*c_1001_11^10 + 17128299687706779345348/6588617763952501261*c_1001_11^9 + 12733278176726653322914/6588617763952501261*c_1001_11^8 - 5381495306210523388522/6588617763952501261*c_1001_11^7 - 9437464354070973180424/6588617763952501261*c_1001_11^6 - 5888069248221954594979/6588617763952501261*c_1001_11^5 + 1755837554264789801498/6588617763952501261*c_1001_11^4 + 3084227063994814195584/6588617763952501261*c_1001_11^3 + 2109600097714585555281/6588617763952501261*c_1001_11^2 + 631127781728250335048/6588617763952501261*c_1001_11 + 120247141078956558929/6588617763952501261, c_0110_4 + 1, c_1001_1 + 4984259456958111012/6588617763952501261*c_1001_11^17 + 15623601820089687574/6588617763952501261*c_1001_11^16 + 247052772988602841404/6588617763952501261*c_1001_11^15 - 2493229222328614372813/6588617763952501261*c_1001_11^14 - 7416418505319298608731/6588617763952501261*c_1001_11^13 + 4124669901543036320818/6588617763952501261*c_1001_11^12 + 17997860582129372999163/6588617763952501261*c_1001_11^11 + 5800465731925584417100/6588617763952501261*c_1001_11^10 - 11550066011702067136876/6588617763952501261*c_1001_11^9 - 20844828205997660404916/6588617763952501261*c_1001_11^8 + 909226757876955849797/6588617763952501261*c_1001_11^7 + 8794746539700635231685/6588617763952501261*c_1001_11^6 + 8828135399177387909439/6588617763952501261*c_1001_11^5 - 258613850774950516614/6588617763952501261*c_1001_11^4 - 3074562521534687599489/6588617763952501261*c_1001_11^3 - 2402996745303358684107/6588617763952501261*c_1001_11^2 - 760222934934738399313/6588617763952501261*c_1001_11 - 135242086816118460755/6588617763952501261, c_1001_11^18 + 10*c_1001_11^17 + 115*c_1001_11^16 + 257*c_1001_11^15 - 94*c_1001_11^14 - 648*c_1001_11^13 - 462*c_1001_11^12 + 265*c_1001_11^11 + 856*c_1001_11^10 + 364*c_1001_11^9 - 202*c_1001_11^8 - 460*c_1001_11^7 - 193*c_1001_11^6 + 56*c_1001_11^5 + 143*c_1001_11^4 + 92*c_1001_11^3 + 36*c_1001_11^2 + 8*c_1001_11 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 20.180 Total time: 20.390 seconds, Total memory usage: 118.53MB