Magma V2.19-8 Fri Sep 13 2013 00:41:10 on localhost [Seed = 1261145690] Type ? for help. Type -D to quit. Loading file "m026__sl3_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation m026 geometric_solution 3.05933806 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 4 1 1 1 2 0132 2310 0213 0132 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 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.409340359081 0.447066130499 0 0 2 0 0132 0213 1230 3201 0 0 0 0 0 0 0 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 -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.076378931134 0.814703647170 3 3 0 1 0132 2310 0132 3012 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 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 0 0 0 0.494849570676 1.753859681864 2 3 3 2 0132 3201 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 -1 1 0 -1 0 1 0 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.590659640919 0.447066130499 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1020_2' : d['c_0201_1'], 'c_1020_3' : d['c_0012_1'], 'c_1020_0' : d['c_0012_0'], 'c_1020_1' : d['c_1020_1'], 'c_0201_0' : d['c_0012_0'], 'c_0201_1' : d['c_0201_1'], 'c_0201_2' : d['c_0201_1'], 'c_0201_3' : d['c_0012_0'], 'c_2100_0' : d['c_1002_0'], 'c_2100_1' : d['c_0012_0'], 'c_2100_2' : d['c_1002_0'], 'c_2100_3' : d['c_0012_2'], 'c_2010_2' : d['c_0102_1'], 'c_2010_3' : d['c_0012_0'], 'c_2010_0' : d['c_0012_1'], 'c_2010_1' : d['c_1002_0'], 'c_0102_0' : d['c_0012_1'], 'c_0102_1' : d['c_0102_1'], 'c_0102_2' : d['c_0102_1'], 'c_0102_3' : d['c_0012_1'], 'c_1101_0' : d['c_1011_1'], 'c_1101_1' : d['c_1101_1'], 'c_1101_2' : d['c_1101_2'], 'c_1101_3' : d['c_1011_3'], 'c_1200_2' : d['c_1020_1'], 'c_1200_3' : d['c_0012_3'], 'c_1200_0' : d['c_1020_1'], 'c_1200_1' : d['c_0012_1'], 'c_1110_2' : d['c_1101_1'], 'c_1110_3' : negation(d['c_1011_2']), 'c_1110_0' : d['c_1101_2'], 'c_1110_1' : negation(d['c_1011_0']), 'c_0120_0' : d['c_0102_1'], 'c_0120_1' : d['c_0012_1'], 'c_0120_2' : d['c_0012_1'], 'c_0120_3' : d['c_0102_1'], 'c_2001_0' : d['c_1020_1'], 'c_2001_1' : d['c_1020_1'], 'c_2001_2' : d['c_0012_1'], 'c_2001_3' : d['c_0012_1'], 'c_0012_2' : d['c_0012_2'], 'c_0012_3' : d['c_0012_3'], 'c_0012_0' : d['c_0012_0'], 'c_0012_1' : d['c_0012_1'], 'c_0111_0' : d['c_0111_0'], 'c_0111_1' : negation(d['c_0111_0']), 'c_0111_2' : d['c_0111_2'], 'c_0111_3' : negation(d['c_0111_2']), 'c_0210_2' : d['c_0012_0'], 'c_0210_3' : d['c_0201_1'], 'c_0210_0' : d['c_0201_1'], 'c_0210_1' : d['c_0012_0'], 'c_1002_2' : d['c_0012_0'], 'c_1002_3' : d['c_0012_0'], 'c_1002_0' : d['c_1002_0'], 'c_1002_1' : d['c_1002_0'], 'c_1011_2' : d['c_1011_2'], 'c_1011_3' : d['c_1011_3'], 'c_1011_0' : d['c_1011_0'], 'c_1011_1' : d['c_1011_1'], 'c_0021_0' : d['c_0012_1'], 'c_0021_1' : d['c_0012_0'], 'c_0021_2' : d['c_0012_3'], 'c_0021_3' : d['c_0012_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY_DECOMPOSITION_TIME: 222.480 PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_2, c_0012_3, c_0102_1, c_0111_0, c_0111_2, c_0201_1, c_1002_0, c_1011_0, c_1011_1, c_1011_2, c_1011_3, c_1020_1, c_1101_1, c_1101_2 Inhomogeneous, Dimension 1, Radical, Prime Groebner basis: [ t*c_1020_1*c_1101_2^6 + t*c_1020_1*c_1101_2^5 - t*c_1101_2^7 - t*c_1101_2^6 - c_1020_1^2 + 2*c_1020_1 - 3, t*c_1101_2^10 + 4*t*c_1101_2^7 + 4*t*c_1101_2^6 + t*c_1101_2^5 + c_1020_1^3*c_1101_2^2 - 2*c_1020_1^3*c_1101_2 + 3*c_1020_1^3 + c_1020_1^2*c_1101_2^3 - 3*c_1020_1^2*c_1101_2^2 + 5*c_1020_1^2*c_1101_2 - 3*c_1020_1^2 - 2*c_1020_1*c_1101_2^3 + 5*c_1020_1*c_1101_2^2 - 8*c_1020_1*c_1101_2 + 2*c_1020_1 + 3*c_1101_2^3 - 3*c_1101_2^2 + 2*c_1101_2 + 11, c_0012_0 - 1, c_0012_1 + 1, c_0012_2 - 2*c_1020_1^3 + 3*c_1020_1^2 - 4*c_1020_1 - 4, c_0012_3 + 2*c_1020_1^3 - 3*c_1020_1^2 + 4*c_1020_1 + 4, c_0102_1 + c_1020_1^3 - c_1020_1^2 + c_1020_1 + 2, c_0111_0 - 1, c_0111_2 + c_1020_1^3*c_1101_2 - 2*c_1020_1^2*c_1101_2 + 2*c_1020_1*c_1101_2 + 2*c_1101_2, c_0201_1 - c_1020_1^3 + c_1020_1^2 - c_1020_1 - 2, c_1002_0 + c_1020_1, c_1011_0 - c_1020_1^3*c_1101_2 - c_1020_1^3 + 2*c_1020_1^2*c_1101_2 + 2*c_1020_1^2 - 3*c_1020_1*c_1101_2 - 3*c_1020_1 - c_1101_2 - 1, c_1011_1 + c_1020_1^3*c_1101_2 + c_1020_1^3 - 2*c_1020_1^2*c_1101_2 - 2*c_1020_1^2 + 3*c_1020_1*c_1101_2 + 2*c_1020_1 + c_1101_2 + 1, c_1011_2 + c_1020_1^3*c_1101_2 - 2*c_1020_1^2*c_1101_2 + 2*c_1020_1*c_1101_2 + 2*c_1101_2, c_1011_3 - c_1020_1^3*c_1101_2 + c_1020_1^2*c_1101_2 - c_1020_1*c_1101_2 - 2*c_1101_2, c_1020_1^4 - c_1020_1^3 + c_1020_1^2 + 3*c_1020_1 + 1, c_1101_1 - c_1101_2 ], Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_2, c_0012_3, c_0102_1, c_0111_0, c_0111_2, c_0201_1, c_1002_0, c_1011_0, c_1011_1, c_1011_2, c_1011_3, c_1020_1, c_1101_1, c_1101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t - 3412255/3*c_1101_2^3 - 5182499/3*c_1101_2^2 - 2033628*c_1101_2 - 6577333/3, c_0012_0 - 1, c_0012_1 - 1, c_0012_2 + c_1101_2^3 + c_1101_2^2 + c_1101_2 - 1, c_0012_3 + c_1101_2^3 + c_1101_2^2 + c_1101_2 - 1, c_0102_1 + c_1101_2^3 - 1, c_0111_0 - 1, c_0111_2 + c_1101_2^2, c_0201_1 + c_1101_2^3 - 1, c_1002_0 - c_1101_2^2, c_1011_0 - 1/3*c_1101_2^3 - 2/3*c_1101_2^2 - 1/3, c_1011_1 - 1/3*c_1101_2^3 + 1/3*c_1101_2^2 - 1/3, c_1011_2 + c_1101_2^2, c_1011_3 - 1/3*c_1101_2^3 + 1/3*c_1101_2^2 - 1/3, c_1020_1 - c_1101_2^2, c_1101_1 - c_1101_2, c_1101_2^4 + c_1101_2^3 + c_1101_2^2 + c_1101_2 - 1 ], Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_2, c_0012_3, c_0102_1, c_0111_0, c_0111_2, c_0201_1, c_1002_0, c_1011_0, c_1011_1, c_1011_2, c_1011_3, c_1020_1, c_1101_1, c_1101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t + 71*c_1101_2^3 + 105*c_1101_2^2 + 122*c_1101_2 - 153, c_0012_0 - 1, c_0012_1 - 1, c_0012_2 + c_1101_2^3 + c_1101_2^2 + c_1101_2 - 3, c_0012_3 + c_1101_2^3 + c_1101_2^2 + c_1101_2 - 3, c_0102_1 + c_1101_2^3 + 2*c_1101_2^2 + 2*c_1101_2 - 3, c_0111_0 - 1, c_0111_2 + 2*c_1101_2^3 + 3*c_1101_2^2 + 4*c_1101_2 - 4, c_0201_1 + c_1101_2^3 + 2*c_1101_2^2 + 2*c_1101_2 - 3, c_1002_0 - c_1101_2^2, c_1011_0 - c_1101_2^3 - 2*c_1101_2^2 - 2*c_1101_2 + 1, c_1011_1 - c_1101_2^3 - c_1101_2^2 - 2*c_1101_2 + 1, c_1011_2 + 2*c_1101_2^3 + 3*c_1101_2^2 + 4*c_1101_2 - 4, c_1011_3 + 3*c_1101_2^3 + 5*c_1101_2^2 + 6*c_1101_2 - 5, c_1020_1 - c_1101_2^2, c_1101_1 - c_1101_2, c_1101_2^4 + c_1101_2^3 + c_1101_2^2 - 3*c_1101_2 + 1 ], Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_2, c_0012_3, c_0102_1, c_0111_0, c_0111_2, c_0201_1, c_1002_0, c_1011_0, c_1011_1, c_1011_2, c_1011_3, c_1020_1, c_1101_1, c_1101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 6 Groebner basis: [ t - 962/49419*c_1101_2^5 + 94/16473*c_1101_2^4 - 1915/49419*c_1101_2^3 - 8/153*c_1101_2^2 + 819/5491*c_1101_2 + 446/2907, c_0012_0 - 1, c_0012_1 + 3/17*c_1101_2^5 + 25/51*c_1101_2^4 + 22/17*c_1101_2^3 + 8/3*c_1101_2^2 + 65/17*c_1101_2 + 8/3, c_0012_2 + 4/51*c_1101_2^5 - 4/51*c_1101_2^4 + 1/51*c_1101_2^3 - 2/3*c_1101_2^2 - 38/51*c_1101_2 - 8/3, c_0012_3 + 3/17*c_1101_2^5 + 25/51*c_1101_2^4 + 22/17*c_1101_2^3 + 8/3*c_1101_2^2 + 82/17*c_1101_2 + 11/3, c_0102_1 - 8/51*c_1101_2^5 - 26/51*c_1101_2^4 - 53/51*c_1101_2^3 - 7/3*c_1101_2^2 - 179/51*c_1101_2 - 7/3, c_0111_0 - 1, c_0111_2 + 4/17*c_1101_2^5 + 13/17*c_1101_2^4 + 35/17*c_1101_2^3 + 4*c_1101_2^2 + 115/17*c_1101_2 + 5, c_0201_1 - 2/17*c_1101_2^5 - 11/51*c_1101_2^4 - 9/17*c_1101_2^3 - 4/3*c_1101_2^2 - 32/17*c_1101_2 - 1/3, c_1002_0 - 7/51*c_1101_2^5 - 10/51*c_1101_2^4 - 40/51*c_1101_2^3 - 5/3*c_1101_2^2 - 112/51*c_1101_2 - 2/3, c_1011_0 + 1/51*c_1101_2^5 - 1/51*c_1101_2^4 + 13/51*c_1101_2^3 + 1/3*c_1101_2^2 + 16/51*c_1101_2 + 1/3, c_1011_1 + 1/51*c_1101_2^5 - 1/51*c_1101_2^4 + 13/51*c_1101_2^3 + 1/3*c_1101_2^2 + 16/51*c_1101_2 - 2/3, c_1011_2 - 16/51*c_1101_2^5 - 35/51*c_1101_2^4 - 106/51*c_1101_2^3 - 10/3*c_1101_2^2 - 307/51*c_1101_2 - 7/3, c_1011_3 + 4/51*c_1101_2^5 - 4/51*c_1101_2^4 + 1/51*c_1101_2^3 - 2/3*c_1101_2^2 - 38/51*c_1101_2 - 11/3, c_1020_1 - 2/51*c_1101_2^5 - 5/17*c_1101_2^4 - 26/51*c_1101_2^3 - c_1101_2^2 - 83/51*c_1101_2 - 1, c_1101_1 + 1/51*c_1101_2^5 - 1/51*c_1101_2^4 + 13/51*c_1101_2^3 + 1/3*c_1101_2^2 + 67/51*c_1101_2 + 4/3, c_1101_2^6 + 3*c_1101_2^5 + 9*c_1101_2^4 + 18*c_1101_2^3 + 33*c_1101_2^2 + 30*c_1101_2 + 17 ], Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_2, c_0012_3, c_0102_1, c_0111_0, c_0111_2, c_0201_1, c_1002_0, c_1011_0, c_1011_1, c_1011_2, c_1011_3, c_1020_1, c_1101_1, c_1101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 35291551589735000668802817146381777059741339141/1556250844139556790\ 64282487997471444800363459381*c_1101_2^19 - 77795370238225281154214078641932264253838282978/5187502813798522635\ 4760829332490481600121153127*c_1101_2^18 - 428223035481889682368527677936909470610917912883/518750281379852263\ 54760829332490481600121153127*c_1101_2^17 - 1949236341452112348032201769817521543179891876221/51875028137985226\ 354760829332490481600121153127*c_1101_2^16 - 6219685829659643880105246578716009172969063966858/51875028137985226\ 354760829332490481600121153127*c_1101_2^15 - 46349423998393295407127284646177457863434540389299/1556250844139556\ 79064282487997471444800363459381*c_1101_2^14 - 27121142763944064129946036355090866069942834625294/5187502813798522\ 6354760829332490481600121153127*c_1101_2^13 - 9776256792475214144827897098080877530985003918898/17291676045995075\ 451586943110830160533373717709*c_1101_2^12 - 21013531731068960094743995096175158746553574359459/5187502813798522\ 6354760829332490481600121153127*c_1101_2^11 - 7896775558134882089536312561205613283538754605872/17291676045995075\ 451586943110830160533373717709*c_1101_2^10 - 10057844994869536936308276527178531630580389730514/1729167604599507\ 5451586943110830160533373717709*c_1101_2^9 - 12139290544803671131994670982400195436322245918800/1556250844139556\ 79064282487997471444800363459381*c_1101_2^8 + 46003665752152418153805843290274132669772494485714/1556250844139556\ 79064282487997471444800363459381*c_1101_2^7 - 56511189488803639172218334643750523837061078507114/1556250844139556\ 79064282487997471444800363459381*c_1101_2^6 - 31655998349697709209571943505040141577373783582433/5187502813798522\ 6354760829332490481600121153127*c_1101_2^5 - 250300413591761582491604860286338215181485048765/172916760459950754\ 51586943110830160533373717709*c_1101_2^4 + 6753682910957589294385322029117479944725526424859/15562508441395567\ 9064282487997471444800363459381*c_1101_2^3 - 9166663413431896377283419933641536943978882423750/51875028137985226\ 354760829332490481600121153127*c_1101_2^2 - 5643555662461703879503850512099470271300224993007/51875028137985226\ 354760829332490481600121153127*c_1101_2 - 3017864313662166932640461417463761591353314383074/15562508441395567\ 9064282487997471444800363459381, c_0012_0 - 1, c_0012_1 - 189894338329686293085911443067093/73032276301317084745592188\ 2642831*c_1101_2^19 - 1213963877419549263437715239202959/7303227630\ 13170847455921882642831*c_1101_2^18 - 6656113916773997074816075652611972/73032276301317084745592188264283\ 1*c_1101_2^17 - 30069721223108427454372761003446501/730322763013170\ 847455921882642831*c_1101_2^16 - 9415407824311390259201992497915186\ 7/730322763013170847455921882642831*c_1101_2^15 - 76786774615332285510897767113570618/2434409210043902824853072942142\ 77*c_1101_2^14 - 392273845196633024479559827562247314/7303227630131\ 70847455921882642831*c_1101_2^13 - 399302113618101815669331087376562242/730322763013170847455921882642\ 831*c_1101_2^12 - 270978483968789161771732624576743872/730322763013\ 170847455921882642831*c_1101_2^11 - 338704742639928496602687968098950673/730322763013170847455921882642\ 831*c_1101_2^10 - 418472305351429008597771494739298292/730322763013\ 170847455921882642831*c_1101_2^9 + 14026314047743105034337979577664994/7303227630131708474559218826428\ 31*c_1101_2^8 + 225839484301427967073940454838672057/73032276301317\ 0847455921882642831*c_1101_2^7 - 1137675090202968598086905126131222\ 82/243440921004390282485307294214277*c_1101_2^6 - 418202620146899297941428013752056057/730322763013170847455921882642\ 831*c_1101_2^5 + 50092478504995308880062237506875538/73032276301317\ 0847455921882642831*c_1101_2^4 + 1351412852607071886851548182635108\ /243440921004390282485307294214277*c_1101_2^3 - 135401636625896760699370020919440239/730322763013170847455921882642\ 831*c_1101_2^2 - 66745237086925457993232854702745787/73032276301317\ 0847455921882642831*c_1101_2 - 9246321057703203306520914012049423/7\ 30322763013170847455921882642831, c_0012_2 - 708051137053785463850667277787876/21909682890395125423677656\ 47928493*c_1101_2^19 - 1515141486222193826950237109173013/730322763\ 013170847455921882642831*c_1101_2^18 - 2781017162637886455192412246579193/24344092100439028248530729421427\ 7*c_1101_2^17 - 12579159175673940330016229628547422/243440921004390\ 282485307294214277*c_1101_2^16 - 3960854522365490633947198957807426\ 2/243440921004390282485307294214277*c_1101_2^15 - 878426321598595278848172486713465254/219096828903951254236776564792\ 8493*c_1101_2^14 - 504203259375935630617945653942458105/73032276301\ 3170847455921882642831*c_1101_2^13 - 529412726425867175397707852886139538/730322763013170847455921882642\ 831*c_1101_2^12 - 124968779849025158789094760490527006/243440921004\ 390282485307294214277*c_1101_2^11 - 442700844424385976603680605600054577/730322763013170847455921882642\ 831*c_1101_2^10 - 540713396344239493557896041701757660/730322763013\ 170847455921882642831*c_1101_2^9 - 83130200435877589159030245639712729/2190968289039512542367765647928\ 493*c_1101_2^8 + 810300892948561099315728512134186753/2190968289039\ 512542367765647928493*c_1101_2^7 - 1145560734047845870832905102157127508/21909682890395125423677656479\ 28493*c_1101_2^6 - 181479654183193614435591908295163834/24344092100\ 4390282485307294214277*c_1101_2^5 + 477524805537305246411992073609779/730322763013170847455921882642831\ *c_1101_2^4 + 63905404366213915521743955694441301/21909682890395125\ 42367765647928493*c_1101_2^3 - 161051812091665551284222106835120844\ /730322763013170847455921882642831*c_1101_2^2 - 101012364748130625419549712416753611/730322763013170847455921882642\ 831*c_1101_2 - 54160365574179095292827429068367348/2190968289039512\ 542367765647928493, c_0012_3 - 20504798536752928356729708491971/359175129350739761043896007\ 85713*c_1101_2^19 - 2714840746615252806372802997802184/730322763013\ 170847455921882642831*c_1101_2^18 - 4975521133037299465927378444365693/24344092100439028248530729421427\ 7*c_1101_2^17 - 22573068776266503542100608866778066/243440921004390\ 282485307294214277*c_1101_2^16 - 7145701942093640164648622561502656\ 3/243440921004390282485307294214277*c_1101_2^15 - 1588207466355571902704480189612824121/21909682890395125423677656479\ 28493*c_1101_2^14 - 918145257887692840176728241770050387/7303227630\ 13170847455921882642831*c_1101_2^13 - 970959928836293305976166440079382846/730322763013170847455921882642\ 831*c_1101_2^12 - 227899106512560184298406539428081973/243440921004\ 390282485307294214277*c_1101_2^11 - 797213204816751382893105251688288472/730322763013170847455921882642\ 831*c_1101_2^10 - 996874359846717113571034569138540026/730322763013\ 170847455921882642831*c_1101_2^9 - 202196365600616223642748385095112207/219096828903951254236776564792\ 8493*c_1101_2^8 + 1560136508225818163906374413509488418/21909682890\ 39512542367765647928493*c_1101_2^7 - 2061425765366491354195906711976003111/21909682890395125423677656479\ 28493*c_1101_2^6 - 341357370739903644064237908954290917/24344092100\ 4390282485307294214277*c_1101_2^5 + 13613546058958156181454538745726813/7303227630131708474559218826428\ 31*c_1101_2^4 + 137537491583119695495996773146803202/21909682890395\ 12542367765647928493*c_1101_2^3 - 304104404557368323372155109888108\ 251/730322763013170847455921882642831*c_1101_2^2 - 182895099886004291268496853203611080/730322763013170847455921882642\ 831*c_1101_2 - 91295830409111690517142641721291726/2190968289039512\ 542367765647928493, c_0102_1 + 50247385600103566957601377983752/243440921004390282485307294\ 214277*c_1101_2^19 + 952329531207920204174078876506588/730322763013\ 170847455921882642831*c_1101_2^18 + 5242643077947158369971346997807728/73032276301317084745592188264283\ 1*c_1101_2^17 + 23632960782502190934956961692624548/730322763013170\ 847455921882642831*c_1101_2^16 + 7383949727789398329473240401814217\ 5/730322763013170847455921882642831*c_1101_2^15 + 181064038068587936727428845836093661/730322763013170847455921882642\ 831*c_1101_2^14 + 308288954022627758211592052904017647/730322763013\ 170847455921882642831*c_1101_2^13 + 317910711249496980280157410356692696/730322763013170847455921882642\ 831*c_1101_2^12 + 224747762460504090068796865252683166/730322763013\ 170847455921882642831*c_1101_2^11 + 275564449111605970121880822499293932/730322763013170847455921882642\ 831*c_1101_2^10 + 327578857908142478049327653536292173/730322763013\ 170847455921882642831*c_1101_2^9 + 1259213124194060694197151543332372/73032276301317084745592188264283\ 1*c_1101_2^8 - 51725778723433063666412542961328410/2434409210043902\ 82485307294214277*c_1101_2^7 + 252889363786918923916578727025663524\ /730322763013170847455921882642831*c_1101_2^6 + 315321809811453822180523428446389129/730322763013170847455921882642\ 831*c_1101_2^5 - 159464856157753392901702921668328/1197250431169132\ 5368129866928571*c_1101_2^4 - 509791828984956626512962924746375/730\ 322763013170847455921882642831*c_1101_2^3 + 97222078556646683857975440237876580/7303227630131708474559218826428\ 31*c_1101_2^2 + 963019712624677962175531820188535/11972504311691325\ 368129866928571*c_1101_2 + 10630285579518268105353081854264047/7303\ 22763013170847455921882642831, c_0111_0 - 1, c_0111_2 - 421895235247977776612657627559526/21909682890395125423677656\ 47928493*c_1101_2^19 - 935068218664650810386866770497249/7303227630\ 13170847455921882642831*c_1101_2^18 - 5154273966994523979468575851787285/73032276301317084745592188264283\ 1*c_1101_2^17 - 23490902531965581196980255053135107/730322763013170\ 847455921882642831*c_1101_2^16 - 7521527407146010247188751023565602\ 7/730322763013170847455921882642831*c_1101_2^15 - 562332139594687256365233937574599184/219096828903951254236776564792\ 8493*c_1101_2^14 - 330867351716609596577848443881506811/73032276301\ 3170847455921882642831*c_1101_2^13 - 120626387106386714384364506252746142/243440921004390282485307294214\ 277*c_1101_2^12 - 261590979196536681011834439878725324/730322763013\ 170847455921882642831*c_1101_2^11 - 95660809099512309049997918161596657/2434409210043902824853072942142\ 77*c_1101_2^10 - 121854734046187497110109676063920786/2434409210043\ 90282485307294214277*c_1101_2^9 - 176070338355354103934157850879752\ 146/2190968289039512542367765647928493*c_1101_2^8 + 561151571695639099159112149996285982/219096828903951254236776564792\ 8493*c_1101_2^7 - 631423868064490483640439411850282145/219096828903\ 9512542367765647928493*c_1101_2^6 - 389070562610789854446676173078339871/730322763013170847455921882642\ 831*c_1101_2^5 - 9375968779829020037610274090891888/243440921004390\ 282485307294214277*c_1101_2^4 + 98042057817862837684545391225566601\ /2190968289039512542367765647928493*c_1101_2^3 - 106125771324474718867596475888752287/730322763013170847455921882642\ 831*c_1101_2^2 - 75971430880074923391495877843176838/73032276301317\ 0847455921882642831*c_1101_2 - 41651581630171996369027662720629038/\ 2190968289039512542367765647928493, c_0201_1 - 1245854712432359386477464192100652/2190968289039512542367765\ 647928493*c_1101_2^19 - 2656758228365850384899035568764925/73032276\ 3013170847455921882642831*c_1101_2^18 - 4860846482937666413057706808459492/24344092100439028248530729421427\ 7*c_1101_2^17 - 21963939509988987488097181785353334/243440921004390\ 282485307294214277*c_1101_2^16 - 6885853989716959869231888365867307\ 7/243440921004390282485307294214277*c_1101_2^15 - 24897318326541927832141344392796019/3591751293507397610438960078571\ 3*c_1101_2^14 - 864173327612568600642379654124893466/73032276301317\ 0847455921882642831*c_1101_2^13 - 885989237927666939384610169145489\ 909/730322763013170847455921882642831*c_1101_2^12 - 202299088987716252483300210546726917/243440921004390282485307294214\ 277*c_1101_2^11 - 747681327655324955072714280949498517/730322763013\ 170847455921882642831*c_1101_2^10 - 921551801664035672154853295131724191/730322763013170847455921882642\ 831*c_1101_2^9 + 38817219555217375778526606729630269/21909682890395\ 12542367765647928493*c_1101_2^8 + 147006802422212845394098737505707\ 2431/2190968289039512542367765647928493*c_1101_2^7 - 2184585378469732918822041551971627864/21909682890395125423677656479\ 28493*c_1101_2^6 - 308576804593756649294285745522124391/24344092100\ 4390282485307294214277*c_1101_2^5 + 83392955271611974769663660628255808/7303227630131708474559218826428\ 31*c_1101_2^4 + 47037286219316466194828248022907497/219096828903951\ 2542367765647928493*c_1101_2^3 - 2919987898278437831663779347736105\ 07/730322763013170847455921882642831*c_1101_2^2 - 152255081020419116880338815078014082/730322763013170847455921882642\ 831*c_1101_2 - 69498935674089946951802146889187950/2190968289039512\ 542367765647928493, c_1002_0 + 92808429997727680669370631942035/730322763013170847455921882\ 642831*c_1101_2^19 + 193178693359406297902500421315850/243440921004\ 390282485307294214277*c_1101_2^18 + 1059625213582617747986726526033451/24344092100439028248530729421427\ 7*c_1101_2^17 + 4760806718739529439705124567076714/2434409210043902\ 82485307294214277*c_1101_2^16 + 14741225001317337836263265639243433\ /243440921004390282485307294214277*c_1101_2^15 + 107404514209798916834514644052409303/730322763013170847455921882642\ 831*c_1101_2^14 + 59855795921779948024964550516774950/2434409210043\ 90282485307294214277*c_1101_2^13 + 59050367817324299812341764083239809/2434409210043902824853072942142\ 77*c_1101_2^12 + 39217631539596946966074860965026431/24344092100439\ 0282485307294214277*c_1101_2^11 + 519446112266680208573059352813413\ 88/243440921004390282485307294214277*c_1101_2^10 + 62496039044513708247149694174998466/2434409210043902824853072942142\ 77*c_1101_2^9 - 20616630546215941112572595686477250/730322763013170\ 847455921882642831*c_1101_2^8 - 10001877990761997103569224727779198\ 8/730322763013170847455921882642831*c_1101_2^7 + 171055033592344809818716144124288845/730322763013170847455921882642\ 831*c_1101_2^6 + 61197766148052399392341213562359661/24344092100439\ 0282485307294214277*c_1101_2^5 - 1103153534977228566862107631237258\ 8/243440921004390282485307294214277*c_1101_2^4 + 1103890923794343497546243805004609/73032276301317084745592188264283\ 1*c_1101_2^3 + 21383690344512257333572871007271655/2434409210043902\ 82485307294214277*c_1101_2^2 + 9234181658117513709328358887113292/2\ 43440921004390282485307294214277*c_1101_2 + 2808477743214299805508114619731181/73032276301317084745592188264283\ 1, c_1011_0 - 586061480690297851078086451731850/21909682890395125423677656\ 47928493*c_1101_2^19 - 1264955896797756856413289844681852/730322763\ 013170847455921882642831*c_1101_2^18 - 6958430413973663688979583576784596/73032276301317084745592188264283\ 1*c_1101_2^17 - 31532593422935976787799347365201676/730322763013170\ 847455921882642831*c_1101_2^16 - 9960564703100905731639233511244094\ 3/730322763013170847455921882642831*c_1101_2^15 - 737268977244213410136812853951963143/219096828903951254236776564792\ 8493*c_1101_2^14 - 425017141021469580068600740982279282/73032276301\ 3170847455921882642831*c_1101_2^13 - 149381046914877711470376020644504912/243440921004390282485307294214\ 277*c_1101_2^12 - 316354578888898623411924503034981355/730322763013\ 170847455921882642831*c_1101_2^11 - 123685032886144427967260696973336013/243440921004390282485307294214\ 277*c_1101_2^10 - 153153410927025408158334585847502992/243440921004\ 390282485307294214277*c_1101_2^9 - 83110326546313570137656001412261262/2190968289039512542367765647928\ 493*c_1101_2^8 + 705353103969126593257477835094907478/2190968289039\ 512542367765647928493*c_1101_2^7 - 962913407703035987567567150032600607/219096828903951254236776564792\ 8493*c_1101_2^6 - 467783327628213928014921632366123134/730322763013\ 170847455921882642831*c_1101_2^5 + 1492395832178633491501132126309365/24344092100439028248530729421427\ 7*c_1101_2^4 + 54744698351318679337591642543653895/2190968289039512\ 542367765647928493*c_1101_2^3 - 13891050883395455839242226316704213\ 7/730322763013170847455921882642831*c_1101_2^2 - 84804342935214416838102541779818308/7303227630131708474559218826428\ 31*c_1101_2 - 44032006159159668899353332937670146/21909682890395125\ 42367765647928493, c_1011_1 + 416478741520767967449282693713/24344092100439028248530729421\ 4277*c_1101_2^19 + 31688178473848885694749427974363/730322763013170\ 847455921882642831*c_1101_2^18 + 188973029385473749312987925230169/\ 730322763013170847455921882642831*c_1101_2^17 + 989727646781630983984279742261911/730322763013170847455921882642831\ *c_1101_2^16 + 4160219669251729586705079171293777/73032276301317084\ 7455921882642831*c_1101_2^15 + 12316804472773519003756904472238915/\ 730322763013170847455921882642831*c_1101_2^14 + 28427134159018351689949150947459745/7303227630131708474559218826428\ 31*c_1101_2^13 + 44608448075770551893598876424280909/73032276301317\ 0847455921882642831*c_1101_2^12 + 401949673542124736153684428806653\ 50/730322763013170847455921882642831*c_1101_2^11 + 25339086361761739358116294572502259/7303227630131708474559218826428\ 31*c_1101_2^10 + 38136262595134913766818191972834510/73032276301317\ 0847455921882642831*c_1101_2^9 + 4199211514351186990984484114873347\ 1/730322763013170847455921882642831*c_1101_2^8 - 5006370931582456041750542552206440/24344092100439028248530729421427\ 7*c_1101_2^7 - 23121692639456733547449213397524662/7303227630131708\ 47455921882642831*c_1101_2^6 + 51178805100547767438673579400601355/\ 730322763013170847455921882642831*c_1101_2^5 + 38997753008484325081321982399545463/7303227630131708474559218826428\ 31*c_1101_2^4 - 16321203866598042517606198773230033/730322763013170\ 847455921882642831*c_1101_2^3 + 4280796765324117535566584380642675/\ 730322763013170847455921882642831*c_1101_2^2 + 15975488959468898350582256950769573/7303227630131708474559218826428\ 31*c_1101_2 + 4462946573317607327367824150721394/730322763013170847\ 455921882642831, c_1011_2 - 67626803996675970076206603427051/219096828903951254236776564\ 7928493*c_1101_2^19 - 133972958983605235110684184165528/73032276301\ 3170847455921882642831*c_1101_2^18 - 242815370310636147377497969682360/243440921004390282485307294214277\ *c_1101_2^17 - 1077135614358992995509144358880249/24344092100439028\ 2485307294214277*c_1101_2^16 - 3222602410504098608586647506567852/2\ 43440921004390282485307294214277*c_1101_2^15 - 68216511551969478954561818747690414/2190968289039512542367765647928\ 493*c_1101_2^14 - 35503510465993403452238739635650216/7303227630131\ 70847455921882642831*c_1101_2^13 - 29405624622738143490430637820646339/7303227630131708474559218826428\ 31*c_1101_2^12 - 5133245029083408140346688979101991/243440921004390\ 282485307294214277*c_1101_2^11 - 2984760058601199350159404252294573\ 6/730322763013170847455921882642831*c_1101_2^10 - 34394581078496555334057912623962811/7303227630131708474559218826428\ 31*c_1101_2^9 + 60742034817147293623568913533292745/219096828903951\ 2542367765647928493*c_1101_2^8 + 6908465848837931194384220029170563\ 3/2190968289039512542367765647928493*c_1101_2^7 - 151939249910832262280012212866253574/219096828903951254236776564792\ 8493*c_1101_2^6 - 10053691323088775611489542499649513/2434409210043\ 90282485307294214277*c_1101_2^5 + 245862621560092844417871138730622\ 21/730322763013170847455921882642831*c_1101_2^4 - 15036012379745805257934420582326252/2190968289039512542367765647928\ 493*c_1101_2^3 - 17538489441969170735773356855156616/73032276301317\ 0847455921882642831*c_1101_2^2 - 624757251375367270745152235648135/\ 730322763013170847455921882642831*c_1101_2 + 4493371337046021020878320032823032/21909682890395125423677656479284\ 93, c_1011_3 + 63877306645369798451459199146449/219096828903951254236776564\ 7928493*c_1101_2^19 + 132470707428072973071059036231530/73032276301\ 3170847455921882642831*c_1101_2^18 + 242198457314658998933680816968817/243440921004390282485307294214277\ *c_1101_2^17 + 1087341484447922394817359139137892/24344092100439028\ 2485307294214277*c_1101_2^16 + 3360610071019092718060511868756848/2\ 43440921004390282485307294214277*c_1101_2^15 + 73376552869444987919905255551862472/2190968289039512542367765647928\ 493*c_1101_2^14 + 40785492438443646019039847678207041/7303227630131\ 70847455921882642831*c_1101_2^13 + 40080555898723104182325757194579028/7303227630131708474559218826428\ 31*c_1101_2^12 + 8914697848361656058086138623218695/243440921004390\ 282485307294214277*c_1101_2^11 + 3593180763501120507179928875939205\ 7/730322763013170847455921882642831*c_1101_2^10 + 43167556786168896180600546176186780/7303227630131708474559218826428\ 31*c_1101_2^9 - 13569909949448494362507023308578022/219096828903951\ 2542367765647928493*c_1101_2^8 - 6597473513233050986598788524448202\ 5/2190968289039512542367765647928493*c_1101_2^7 + 119163025685272082624761442460878039/219096828903951254236776564792\ 8493*c_1101_2^6 + 13900728867852114637339042686946962/2434409210043\ 90282485307294214277*c_1101_2^5 - 803595012768645663104014734824551\ 7/730322763013170847455921882642831*c_1101_2^4 - 821705022609982102972049476823701/219096828903951254236776564792849\ 3*c_1101_2^3 + 15072409531793674198646031896013733/7303227630131708\ 47455921882642831*c_1101_2^2 + 7030111392896859146014875583985372/7\ 30322763013170847455921882642831*c_1101_2 + 1139541889616497787358912622014013/21909682890395125423677656479284\ 93, c_1020_1 - 981606177240156909739439949403802/21909682890395125423677656\ 47928493*c_1101_2^19 - 2118178479384770436661924198440458/730322763\ 013170847455921882642831*c_1101_2^18 - 3876232355035305131371046255694580/24344092100439028248530729421427\ 7*c_1101_2^17 - 17562661970020454261203415433824596/243440921004390\ 282485307294214277*c_1101_2^16 - 5537927494609704421124159641962563\ 0/243440921004390282485307294214277*c_1101_2^15 - 1226416811080532562071093812686976633/21909682890395125423677656479\ 28493*c_1101_2^14 - 704404853792856580415728592030231489/7303227630\ 13170847455921882642831*c_1101_2^13 - 734228633171524159750560067563266036/730322763013170847455921882642\ 831*c_1101_2^12 - 169955595992260601135682247495010677/243440921004\ 390282485307294214277*c_1101_2^11 - 610795446093814705666716510924372968/730322763013170847455921882642\ 831*c_1101_2^10 - 761347250070400709201230677715676917/730322763013\ 170847455921882642831*c_1101_2^9 - 65679403469551778413615696523225680/2190968289039512542367765647928\ 493*c_1101_2^8 + 1204942059636038715205002020758169068/219096828903\ 9512542367765647928493*c_1101_2^7 - 1690199184377565753155487282323144188/21909682890395125423677656479\ 28493*c_1101_2^6 - 257305645014536252308032186642201329/24344092100\ 4390282485307294214277*c_1101_2^5 + 43364999012021110200318245528165380/7303227630131708474559218826428\ 31*c_1101_2^4 + 59290549689598931872481782113458753/219096828903951\ 2542367765647928493*c_1101_2^3 - 2355371096178511754683200972535892\ 18/730322763013170847455921882642831*c_1101_2^2 - 131949474925550583007547290153746553/730322763013170847455921882642\ 831*c_1101_2 - 66195609323934413759745471932359481/2190968289039512\ 542367765647928493, c_1101_1 - 421896423925597036530361487596711/21909682890395125423677656\ 47928493*c_1101_2^19 - 904882291746334186731742490456884/7303227630\ 13170847455921882642831*c_1101_2^18 - 1655717225532327225162346461565915/24344092100439028248530729421427\ 7*c_1101_2^17 - 7490185758305720671690443656700089/2434409210043902\ 82485307294214277*c_1101_2^16 - 23547010473554463518920279325931754\ /243440921004390282485307294214277*c_1101_2^15 - 520221684858891190388619787353710381/219096828903951254236776564792\ 8493*c_1101_2^14 - 297158235585141002321098184891490241/73032276301\ 3170847455921882642831*c_1101_2^13 - 306595781967404630567599522960024828/730322763013170847455921882642\ 831*c_1101_2^12 - 70017217794829821214415882688569954/2434409210043\ 90282485307294214277*c_1101_2^11 - 255559133887775976221672213675841391/730322763013170847455921882642\ 831*c_1101_2^10 - 318654963835755236716968202666703879/730322763013\ 170847455921882642831*c_1101_2^9 - 2921868057119694943561437208837010/21909682890395125423677656479284\ 93*c_1101_2^8 + 519204156667445796861211582073651630/21909682890395\ 12542367765647928493*c_1101_2^7 - 733565170208420863938037822448231\ 666/2190968289039512542367765647928493*c_1101_2^6 - 108783548291984023310151364371948723/243440921004390282485307294214\ 277*c_1101_2^5 + 27420158697320092779238126651686503/73032276301317\ 0847455921882642831*c_1101_2^4 + 3322072881571292277082032484672654\ 9/2190968289039512542367765647928493*c_1101_2^3 - 104311054469326097869157216467252495/730322763013170847455921882642\ 831*c_1101_2^2 - 52860265016071362318187975661427197/73032276301317\ 0847455921882642831*c_1101_2 - 20438860394517143036319191965699318/\ 2190968289039512542367765647928493, c_1101_2^20 + 7*c_1101_2^19 + 39*c_1101_2^18 + 180*c_1101_2^17 + 594*c_1101_2^16 + 1523*c_1101_2^15 + 2828*c_1101_2^14 + 3417*c_1101_2^13 + 2793*c_1101_2^12 + 2721*c_1101_2^11 + 3330*c_1101_2^10 + 1349*c_1101_2^9 - 1158*c_1101_2^8 + 1020*c_1101_2^7 + 3269*c_1101_2^6 + 1200*c_1101_2^5 - 130*c_1101_2^4 + 668*c_1101_2^3 + 801*c_1101_2^2 + 292*c_1101_2 + 37 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ "c_1101_2" ], [ ], [ ], [ ], [ ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE CPUTIME: 222.490 Total time: 222.689 seconds, Total memory usage: 518.12MB