Magma V2.19-8 Wed Aug 21 2013 00:14:37 on localhost [Seed = 3230051423] Type ? for help. Type -D to quit. Loading file "K13n3998__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n3998 geometric_solution 12.08705324 oriented_manifold CS_known 0.0000000000000000 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 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 3 -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.424573026055 0.875967947815 0 5 7 6 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.032095726130 1.226279290018 5 0 6 7 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 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.270450865683 1.225579851247 8 9 10 0 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 0 0 0 4 0 -1 -3 -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.566996929255 0.988095370936 11 10 0 8 0132 0132 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 1 -1 1 0 3 -4 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.508061324496 0.744997486167 2 1 12 11 0132 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.137767135157 0.652870314007 11 12 1 2 2103 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.137767135157 0.652870314007 10 8 2 1 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.424573026055 0.875967947815 3 9 4 7 0132 3201 0132 3201 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 -1 1 0 -4 0 4 0 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.566996929255 0.988095370936 12 3 8 12 0132 0132 2310 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.095290734768 0.607432769310 11 4 7 3 3201 0132 3201 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 0 1 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.508061324496 0.744997486167 4 5 6 10 0132 0321 2103 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 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.439766146711 0.606867807133 9 9 6 5 0132 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.440158846322 1.990031133599 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_6'], 'c_1001_10' : negation(d['c_0101_5']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : negation(d['c_0101_12']), 'c_1001_4' : negation(d['c_1001_12']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0101_12']), 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_1001_12']), 'c_1001_2' : negation(d['c_1001_12']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : negation(d['c_0101_5']), 'c_1010_12' : negation(d['c_0101_12']), 'c_1010_11' : negation(d['c_0101_3']), 'c_1010_10' : negation(d['c_1001_12']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0101_0'], 'c_0101_10' : negation(d['c_0101_1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : 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' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : 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_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_7']), 'c_1100_7' : d['c_1100_1'], 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : negation(d['c_0011_7']), 'c_1100_3' : negation(d['c_0011_7']), 'c_1100_2' : d['c_1100_1'], 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0011_12']), 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : negation(d['c_0011_7']), 's_0_11' : negation(d['1']), 'c_1010_7' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_1001_12']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_12']), 'c_1010_0' : negation(d['c_1001_12']), 'c_1010_9' : negation(d['c_1001_12']), 'c_1010_8' : negation(d['c_1001_0']), 'c_1100_8' : negation(d['c_0011_7']), 's_3_1' : negation(d['1']), 's_3_0' : negation(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_0011_6'], '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' : negation(d['c_0011_12']), 'c_0011_8' : negation(d['c_0011_12']), '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' : d['c_0011_6'], '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' : d['c_0101_1'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : d['c_0101_5'], 'c_0101_7' : d['c_0101_5'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_10']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_5'], '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_0101_12'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_10']), 's_2_9' : d['1']})} 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_12, c_0011_6, c_0011_7, c_0101_0, c_0101_1, c_0101_12, c_0101_3, c_0101_5, c_1001_0, c_1001_12, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t + 337/12*c_1100_1^3 - 766379/483*c_1100_1^2 - 154787/69*c_1100_1 - 2662855/1932, c_0011_0 - 1, c_0011_10 - 23/4*c_1100_1^3 - 49/4*c_1100_1^2 - 47/4*c_1100_1 - 17/4, c_0011_12 + 23/4*c_1100_1^3 + 49/4*c_1100_1^2 + 43/4*c_1100_1 + 13/4, c_0011_6 + 23/4*c_1100_1^3 + 49/4*c_1100_1^2 + 43/4*c_1100_1 + 13/4, c_0011_7 - 23/4*c_1100_1^3 - 49/4*c_1100_1^2 - 43/4*c_1100_1 - 13/4, c_0101_0 - 23/4*c_1100_1^2 - 17/2*c_1100_1 - 21/4, c_0101_1 - c_1100_1 - 1, c_0101_12 - c_1100_1 - 1, c_0101_3 + 23/4*c_1100_1^3 + 18*c_1100_1^2 + 81/4*c_1100_1 + 19/2, c_0101_5 + 23/4*c_1100_1^2 + 19/2*c_1100_1 + 25/4, c_1001_0 - c_1100_1 - 1, c_1001_12 + 23/4*c_1100_1^3 + 18*c_1100_1^2 + 77/4*c_1100_1 + 17/2, c_1100_1^4 + 72/23*c_1100_1^3 + 102/23*c_1100_1^2 + 72/23*c_1100_1 + 1 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_6, c_0011_7, c_0101_0, c_0101_1, c_0101_12, c_0101_3, c_0101_5, c_1001_0, c_1001_12, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t + 4783459/7378*c_1100_1^7 + 13031032333/1748586*c_1100_1^6 + 30772449599/1748586*c_1100_1^5 + 327005215/14694*c_1100_1^4 + 39511273433/1748586*c_1100_1^3 + 18870267643/874293*c_1100_1^2 + 13637251976/874293*c_1100_1 + 3090140257/582862, c_0011_0 - 1, c_0011_10 - 79/14*c_1100_1^7 - 160/7*c_1100_1^6 - 499/12*c_1100_1^5 - 4075/84*c_1100_1^4 - 145/3*c_1100_1^3 - 1823/42*c_1100_1^2 - 2299/84*c_1100_1 - 227/28, c_0011_12 - 237/28*c_1100_1^7 - 355/12*c_1100_1^6 - 2195/42*c_1100_1^5 - 2581/42*c_1100_1^4 - 743/12*c_1100_1^3 - 4523/84*c_1100_1^2 - 691/21*c_1100_1 - 208/21, c_0011_6 + 237/28*c_1100_1^7 + 3433/84*c_1100_1^6 + 475/6*c_1100_1^5 + 1353/14*c_1100_1^4 + 393/4*c_1100_1^3 + 2481/28*c_1100_1^2 + 1241/21*c_1100_1 + 412/21, c_0011_7 - 237/28*c_1100_1^7 - 3433/84*c_1100_1^6 - 475/6*c_1100_1^5 - 1353/14*c_1100_1^4 - 393/4*c_1100_1^3 - 2481/28*c_1100_1^2 - 1241/21*c_1100_1 - 412/21, c_0101_0 + 395/42*c_1100_1^7 + 751/84*c_1100_1^6 - 119/12*c_1100_1^5 - 1913/84*c_1100_1^4 - 536/21*c_1100_1^3 - 907/28*c_1100_1^2 - 953/28*c_1100_1 - 463/28, c_0101_1 + 395/28*c_1100_1^7 + 5353/84*c_1100_1^6 + 483/4*c_1100_1^5 + 12193/84*c_1100_1^4 + 1759/12*c_1100_1^3 + 11089/84*c_1100_1^2 + 2421/28*c_1100_1 + 2329/84, c_0101_12 - 79/7*c_1100_1^6 - 565/21*c_1100_1^5 - 739/21*c_1100_1^4 - 109/3*c_1100_1^3 - 730/21*c_1100_1^2 - 529/21*c_1100_1 - 61/7, c_0101_3 - 2449/84*c_1100_1^7 - 2243/21*c_1100_1^6 - 5021/28*c_1100_1^5 - 2473/12*c_1100_1^4 - 17281/84*c_1100_1^3 - 2489/14*c_1100_1^2 - 8819/84*c_1100_1 - 2353/84, c_0101_5 + 1975/84*c_1100_1^7 + 218/3*c_1100_1^6 + 665/6*c_1100_1^5 + 2570/21*c_1100_1^4 + 10169/84*c_1100_1^3 + 2092/21*c_1100_1^2 + 367/7*c_1100_1 + 235/21, c_1001_0 - 395/28*c_1100_1^7 - 5353/84*c_1100_1^6 - 483/4*c_1100_1^5 - 12193/84*c_1100_1^4 - 1759/12*c_1100_1^3 - 11089/84*c_1100_1^2 - 2421/28*c_1100_1 - 2329/84, c_1001_12 + 316/21*c_1100_1^7 + 517/12*c_1100_1^6 + 410/7*c_1100_1^5 + 853/14*c_1100_1^4 + 414/7*c_1100_1^3 + 3845/84*c_1100_1^2 + 389/21*c_1100_1 + 2/7, c_1100_1^8 + 320/79*c_1100_1^7 + 648/79*c_1100_1^6 + 880/79*c_1100_1^5 + 950/79*c_1100_1^4 + 880/79*c_1100_1^3 + 648/79*c_1100_1^2 + 320/79*c_1100_1 + 1 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_6, c_0011_7, c_0101_0, c_0101_1, c_0101_12, c_0101_3, c_0101_5, c_1001_0, c_1001_12, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 2006588236931308996626225318131/4486565363669817196355754120*c_1001\ _12^18 + 184744053115674883973148985081/560820670458727149544469265\ *c_1001_12^17 - 68785390786982518690579171093/327486522895607094624\ 50760*c_1001_12^16 - 12273878754224122843700185654073/4486565363669\ 817196355754120*c_1001_12^15 + 89295170958835048270837933277/560820\ 670458727149544469265*c_1001_12^14 + 2911701441067056385606614656279/373880446972484766362979510*c_1001_\ 12^13 + 1278173329613558104773054936785/112164134091745429908893853\ *c_1001_12^12 - 3452113502639110096550414966131/1495521787889939065\ 451918040*c_1001_12^11 - 3097865991332446411784078713461/2492536313\ 14989844241986340*c_1001_12^10 - 10404248337192422388186980667901/8\ 97313072733963439271150824*c_1001_12^9 + 9658470624362138060611405964447/2243282681834908598177877060*c_1001\ _12^8 + 59426851457138331913747086854101/44865653636698171963557541\ 20*c_1001_12^7 + 2983850492489462827899601753433/747760893944969532\ 725959020*c_1001_12^6 - 18978722959611293311732261516039/2243282681\ 834908598177877060*c_1001_12^5 - 3233366712171065886741082602263/11\ 21641340917454299088938530*c_1001_12^4 + 1632991353000339146226431854318/560820670458727149544469265*c_1001_\ 12^3 + 246614951850431940982600213427/373880446972484766362979510*c\ _1001_12^2 - 3446553526265347556689210981343/4486565363669817196355\ 754120*c_1001_12 + 638033105947169111515665535/40419507780809163931\ 13292, c_0011_0 - 1, c_0011_10 - 255793979899475101/15985069091659322*c_1001_12^18 - 168901746230463121/7992534545829661*c_1001_12^17 + 1012870469642667755/15985069091659322*c_1001_12^16 + 2153367613762306997/15985069091659322*c_1001_12^15 + 554404427303018337/7992534545829661*c_1001_12^14 - 1916454915336889841/7992534545829661*c_1001_12^13 - 4332260418821851979/7992534545829661*c_1001_12^12 - 3497265264067220029/15985069091659322*c_1001_12^11 + 2600101761458085525/7992534545829661*c_1001_12^10 + 9269161539440459695/15985069091659322*c_1001_12^9 + 1199422382628523448/7992534545829661*c_1001_12^8 - 6396796149737252537/15985069091659322*c_1001_12^7 - 2797530792676912498/7992534545829661*c_1001_12^6 + 1048203294321830501/7992534545829661*c_1001_12^5 + 1440559133201544083/7992534545829661*c_1001_12^4 - 187485361884509753/7992534545829661*c_1001_12^3 - 346373845521675720/7992534545829661*c_1001_12^2 + 128197817122391103/15985069091659322*c_1001_12 + 12977309639021543/7992534545829661, c_0011_12 + 107332916759576879/7992534545829661*c_1001_12^18 + 129062308973264500/7992534545829661*c_1001_12^17 - 432676210355704939/7992534545829661*c_1001_12^16 - 840300863674244690/7992534545829661*c_1001_12^15 - 392921024589521726/7992534545829661*c_1001_12^14 + 1583670087160656289/7992534545829661*c_1001_12^13 + 3398169008718101811/7992534545829661*c_1001_12^12 + 1165581708850883912/7992534545829661*c_1001_12^11 - 2039407974479608787/7992534545829661*c_1001_12^10 - 3476250024223111484/7992534545829661*c_1001_12^9 - 705370475148153357/7992534545829661*c_1001_12^8 + 2481835879941460312/7992534545829661*c_1001_12^7 + 1923844079303889942/7992534545829661*c_1001_12^6 - 942129449687769441/7992534545829661*c_1001_12^5 - 900528296590418265/7992534545829661*c_1001_12^4 + 243567265108412881/7992534545829661*c_1001_12^3 + 172929215759182576/7992534545829661*c_1001_12^2 - 84987714199920792/7992534545829661*c_1001_12 + 15072819349287305/7992534545829661, c_0011_6 - 756493066645039927/15985069091659322*c_1001_12^18 - 624652631604279267/15985069091659322*c_1001_12^17 + 3418130845718231359/15985069091659322*c_1001_12^16 + 2397975171490028952/7992534545829661*c_1001_12^15 + 414791564910440539/15985069091659322*c_1001_12^14 - 6189796373751256533/7992534545829661*c_1001_12^13 - 9866455252671183336/7992534545829661*c_1001_12^12 + 1282054264815438707/15985069091659322*c_1001_12^11 + 18164560873534216143/15985069091659322*c_1001_12^10 + 18928720727895183043/15985069091659322*c_1001_12^9 - 5093879322028848821/15985069091659322*c_1001_12^8 - 20027839459947110955/15985069091659322*c_1001_12^7 - 6590264113459348021/15985069091659322*c_1001_12^6 + 6356406123241018174/7992534545829661*c_1001_12^5 + 2041772702735980654/7992534545829661*c_1001_12^4 - 2371013195582185634/7992534545829661*c_1001_12^3 - 451709670466381698/7992534545829661*c_1001_12^2 + 1298283352279885459/15985069091659322*c_1001_12 - 254225910698921899/15985069091659322, c_0011_7 + 41766634059875459/15985069091659322*c_1001_12^18 + 108785616855883853/15985069091659322*c_1001_12^17 - 98334533628014557/15985069091659322*c_1001_12^16 - 287833834086701085/7992534545829661*c_1001_12^15 - 627498183060844965/15985069091659322*c_1001_12^14 + 221713735285616265/7992534545829661*c_1001_12^13 + 1142107782150081506/7992534545829661*c_1001_12^12 + 2392874929599989933/15985069091659322*c_1001_12^11 - 275411396970208893/15985069091659322*c_1001_12^10 - 2849634242986125229/15985069091659322*c_1001_12^9 - 2469604434180898553/15985069091659322*c_1001_12^8 + 553722770664586567/15985069091659322*c_1001_12^7 + 2387858730652578101/15985069091659322*c_1001_12^6 + 444292812255392890/7992534545829661*c_1001_12^5 - 466003833955015287/7992534545829661*c_1001_12^4 - 274323956162632338/7992534545829661*c_1001_12^3 + 98076636041325657/7992534545829661*c_1001_12^2 + 98408106617263073/15985069091659322*c_1001_12 - 42291572018363303/15985069091659322, c_0101_0 + 90468537859805035/15985069091659322*c_1001_12^18 + 17824624124359594/7992534545829661*c_1001_12^17 - 476229396030213523/15985069091659322*c_1001_12^16 - 450385285198300637/15985069091659322*c_1001_12^15 + 163181164295540082/7992534545829661*c_1001_12^14 + 911705559571245442/7992534545829661*c_1001_12^13 + 969359052011127776/7992534545829661*c_1001_12^12 - 1655843956450225979/15985069091659322*c_1001_12^11 - 1695935082085475406/7992534545829661*c_1001_12^10 - 2070142534159754383/15985069091659322*c_1001_12^9 + 1070934796921495270/7992534545829661*c_1001_12^8 + 3518432120142936625/15985069091659322*c_1001_12^7 + 187433504177047854/7992534545829661*c_1001_12^6 - 1283597523896674463/7992534545829661*c_1001_12^5 - 367285833222602064/7992534545829661*c_1001_12^4 + 437627458686273904/7992534545829661*c_1001_12^3 + 120545522309129998/7992534545829661*c_1001_12^2 - 185204599117520733/15985069091659322*c_1001_12 + 8022736550287379/7992534545829661, c_0101_1 + 94303569122632919/7992534545829661*c_1001_12^18 + 167653805907216049/15985069091659322*c_1001_12^17 - 416732217208540290/7992534545829661*c_1001_12^16 - 1239908133673598073/15985069091659322*c_1001_12^15 - 222582140425076979/15985069091659322*c_1001_12^14 + 1503037594293418177/7992534545829661*c_1001_12^13 + 2557761817248159658/7992534545829661*c_1001_12^12 + 89794432737644899/7992534545829661*c_1001_12^11 - 4252676087088831309/15985069091659322*c_1001_12^10 - 2516963336048089346/7992534545829661*c_1001_12^9 + 579663627472052269/15985069091659322*c_1001_12^8 + 2353804647548522718/7992534545829661*c_1001_12^7 + 2026283096691765481/15985069091659322*c_1001_12^6 - 1316717267119897152/7992534545829661*c_1001_12^5 - 492205531176557193/7992534545829661*c_1001_12^4 + 462922359649014776/7992534545829661*c_1001_12^3 + 59979911677383112/7992534545829661*c_1001_12^2 - 139470594373124053/7992534545829661*c_1001_12 + 83036887658992013/15985069091659322, c_0101_12 + 59880748120805255/15985069091659322*c_1001_12^18 + 99470732934289145/15985069091659322*c_1001_12^17 - 210955642475030791/15985069091659322*c_1001_12^16 - 290938797683400723/7992534545829661*c_1001_12^15 - 415960339835554129/15985069091659322*c_1001_12^14 + 405043400708188054/7992534545829661*c_1001_12^13 + 1141243212669516056/7992534545829661*c_1001_12^12 + 1420577557218429839/15985069091659322*c_1001_12^11 - 961342125059127441/15985069091659322*c_1001_12^10 - 2387267569448445405/15985069091659322*c_1001_12^9 - 1000967897988895999/15985069091659322*c_1001_12^8 + 1438215562575642183/15985069091659322*c_1001_12^7 + 1682489022143314585/15985069091659322*c_1001_12^6 - 154490983338367244/7992534545829661*c_1001_12^5 - 443737207248999125/7992534545829661*c_1001_12^4 - 5099977872550314/7992534545829661*c_1001_12^3 + 142152988681080835/7992534545829661*c_1001_12^2 + 3202716800498279/15985069091659322*c_1001_12 - 29001895638869805/15985069091659322, c_0101_3 + 90468537859805035/15985069091659322*c_1001_12^18 + 17824624124359594/7992534545829661*c_1001_12^17 - 476229396030213523/15985069091659322*c_1001_12^16 - 450385285198300637/15985069091659322*c_1001_12^15 + 163181164295540082/7992534545829661*c_1001_12^14 + 911705559571245442/7992534545829661*c_1001_12^13 + 969359052011127776/7992534545829661*c_1001_12^12 - 1655843956450225979/15985069091659322*c_1001_12^11 - 1695935082085475406/7992534545829661*c_1001_12^10 - 2070142534159754383/15985069091659322*c_1001_12^9 + 1070934796921495270/7992534545829661*c_1001_12^8 + 3518432120142936625/15985069091659322*c_1001_12^7 + 187433504177047854/7992534545829661*c_1001_12^6 - 1283597523896674463/7992534545829661*c_1001_12^5 - 367285833222602064/7992534545829661*c_1001_12^4 + 437627458686273904/7992534545829661*c_1001_12^3 + 120545522309129998/7992534545829661*c_1001_12^2 - 185204599117520733/15985069091659322*c_1001_12 + 8022736550287379/7992534545829661, c_0101_5 + c_1001_12, c_1001_0 + 431694726035304249/15985069091659322*c_1001_12^18 + 400088181531326513/15985069091659322*c_1001_12^17 - 1916921639751799641/15985069091659322*c_1001_12^16 - 1474611752870707149/7992534545829661*c_1001_12^15 - 526121743463943331/15985069091659322*c_1001_12^14 + 3547217610506709338/7992534545829661*c_1001_12^13 + 6051873351026885559/7992534545829661*c_1001_12^12 + 497630019697146547/15985069091659322*c_1001_12^11 - 10631819286437135827/15985069091659322*c_1001_12^10 - 12356620877738023473/15985069091659322*c_1001_12^9 + 1432948358583893313/15985069091659322*c_1001_12^8 + 11800462021667317265/15985069091659322*c_1001_12^7 + 5395802531197483743/15985069091659322*c_1001_12^6 - 3293678577220830850/7992534545829661*c_1001_12^5 - 1621651444303835727/7992534545829661*c_1001_12^4 + 1069904011724878202/7992534545829661*c_1001_12^3 + 357748827536720122/7992534545829661*c_1001_12^2 - 592127135997460499/15985069091659322*c_1001_12 + 104497758397607217/15985069091659322, c_1001_12^19 + 3/7*c_1001_12^18 - 34/7*c_1001_12^17 - 32/7*c_1001_12^16 + 2*c_1001_12^15 + 117/7*c_1001_12^14 + 138/7*c_1001_12^13 - 85/7*c_1001_12^12 - 167/7*c_1001_12^11 - 16*c_1001_12^10 + 117/7*c_1001_12^9 + 170/7*c_1001_12^8 - 9/7*c_1001_12^7 - 143/7*c_1001_12^6 + 6/7*c_1001_12^5 + 58/7*c_1001_12^4 - 8/7*c_1001_12^3 - 15/7*c_1001_12^2 + c_1001_12 - 1/7, c_1100_1 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 5.810 Total time: 6.009 seconds, Total memory usage: 64.12MB