Magma V2.19-8 Tue Aug 20 2013 18:08:56 on localhost [Seed = 2067448275] Type ? for help. Type -D to quit. Loading file "10^2_15__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation 10^2_15 geometric_solution 13.95586699 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 15 1 2 3 1 0132 0132 0132 2031 0 0 0 0 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 -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.343952943528 0.814041833624 0 0 5 4 0132 1302 0132 0132 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 1 -1 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.559581108869 1.042350148312 6 0 7 4 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.402121502192 1.129183305327 8 9 6 0 0132 0132 3120 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.380959133470 0.926812298229 10 2 1 11 0132 1302 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 -1 0 1 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.759751218968 1.123473272424 12 12 13 1 0132 1230 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 1 0 0 -1 -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.436194656936 1.548452446089 2 7 3 13 0132 3120 3120 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.695944220584 0.637870771872 12 6 11 2 3120 3120 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 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.136363111715 0.404479376440 3 14 10 14 0132 0132 0132 0213 1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.556125617890 0.829864545597 10 3 10 14 2031 0132 3012 3012 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 -1 1 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.556125617890 0.829864545597 4 9 9 8 0132 1230 1302 0132 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 1 0 -1 1 0 -1 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.442732466769 0.831568540208 14 7 4 13 0213 1230 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.213548806303 0.310045997752 5 13 5 7 0132 3120 3012 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.831453019384 0.598326871421 6 12 11 5 3120 3120 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.395258362449 0.950125574668 11 8 9 8 0213 0132 1230 0213 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.556125617890 0.829864545597 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_14' : d['c_0110_9'], 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0110_9'], 'c_1001_13' : negation(d['c_0011_12']), 'c_1001_12' : d['c_0011_12'], 's_0_10' : d['1'], 'c_1001_5' : negation(d['c_0011_12']), 'c_1001_4' : d['c_0101_6'], 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : d['c_0011_11'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : negation(d['c_0011_10']), 'c_1001_3' : negation(d['c_0011_11']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : d['c_0101_9'], 'c_1010_13' : negation(d['c_0011_12']), 'c_1010_12' : negation(d['c_0011_13']), 'c_1010_11' : negation(d['c_0011_12']), 'c_1010_10' : d['c_0101_9'], 'c_1010_14' : d['c_0101_9'], 's_3_11' : d['1'], 's_0_11' : negation(d['1']), 's_0_12' : d['1'], 's_0_13' : d['1'], 's_0_14' : negation(d['1']), 's_3_14' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_14'], 'c_0101_10' : d['c_0011_14'], 'c_0101_14' : d['c_0011_11'], 's_2_0' : negation(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' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : negation(d['1']), 's_2_14' : 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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_14' : d['c_0011_14'], 'c_1100_9' : negation(d['c_0110_9']), 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : d['c_1100_1'], 'c_1100_7' : negation(d['c_1001_11']), 'c_1100_6' : negation(d['c_0101_13']), 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : negation(d['c_0101_6']), 'c_1100_3' : negation(d['c_0101_6']), 'c_1100_2' : negation(d['c_1001_11']), 'c_1100_14' : d['c_0110_9'], 'c_1100_11' : d['c_1100_1'], 'c_1100_10' : d['c_0101_9'], 'c_1100_13' : d['c_1100_1'], 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : negation(d['c_0011_0']), 'c_1010_6' : negation(d['c_0011_13']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_1001_11'], 'c_1010_3' : negation(d['c_0011_10']), 'c_1010_2' : negation(d['c_0011_10']), 'c_1010_1' : d['c_0101_6'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_0011_11']), 'c_1010_8' : d['c_0110_9'], 'c_1100_8' : d['c_0101_9'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(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_12'], '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' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_14']), 'c_0011_8' : negation(d['c_0011_14']), 'c_0011_5' : negation(d['c_0011_12']), 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_13'], 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_14'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_13'], 'c_0110_10' : d['c_0101_0'], 'c_0110_13' : d['c_0101_2'], 'c_0110_12' : d['c_0101_2'], 'c_0110_14' : negation(d['c_0101_13']), 'c_0101_12' : d['c_0101_1'], 'c_0110_0' : d['c_0101_1'], 's_3_12' : d['1'], 's_0_8' : negation(d['1']), 'c_0101_7' : negation(d['c_0011_12']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_13'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_0'], 's_1_14' : negation(d['1']), 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0101_13'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_14'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2'], 'c_0101_13' : d['c_0101_13']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_14, c_0101_0, c_0101_1, c_0101_13, c_0101_2, c_0101_6, c_0101_9, c_0110_9, c_1001_11, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 9 Groebner basis: [ t + 457023466099/281356407194*c_1100_1^8 - 480595600499/281356407194*c_1100_1^7 - 210729629209/140678203597*c_1100_1^6 + 3674169328743/281356407194*c_1100_1^5 - 4312087769387/281356407194*c_1100_1^4 - 2904747556963/281356407194*c_1100_1^3 + 4846288528832/140678203597*c_1100_1^2 - 5322462183203/140678203597*c_1100_1 + 5233114871531/281356407194, c_0011_0 - 1, c_0011_10 - 1175/16249*c_1100_1^8 - 2246/16249*c_1100_1^7 + 1329/16249*c_1100_1^6 - 4369/16249*c_1100_1^5 - 11466/16249*c_1100_1^4 + 16868/16249*c_1100_1^3 + 11340/16249*c_1100_1^2 - 6268/16249*c_1100_1 + 12829/16249, c_0011_11 - 1233/16249*c_1100_1^8 + 160/16249*c_1100_1^7 - 3003/16249*c_1100_1^6 - 8761/16249*c_1100_1^5 + 11090/16249*c_1100_1^4 - 12806/16249*c_1100_1^3 - 22396/16249*c_1100_1^2 + 52970/16249*c_1100_1 - 21359/16249, c_0011_12 - 103/16249*c_1100_1^8 - 2451/16249*c_1100_1^7 - 409/16249*c_1100_1^6 + 2286/16249*c_1100_1^5 - 16535/16249*c_1100_1^4 - 2269/16249*c_1100_1^3 + 25817/16249*c_1100_1^2 - 20311/16249*c_1100_1 + 8205/16249, c_0011_13 + 3882/16249*c_1100_1^8 - 227/16249*c_1100_1^7 - 4778/16249*c_1100_1^6 + 28374/16249*c_1100_1^5 - 8625/16249*c_1100_1^4 - 40531/16249*c_1100_1^3 + 49242/16249*c_1100_1^2 - 31482/16249*c_1100_1 + 2172/16249, c_0011_14 + 58/16249*c_1100_1^8 - 2406/16249*c_1100_1^7 + 4332/16249*c_1100_1^6 + 4392/16249*c_1100_1^5 - 22556/16249*c_1100_1^4 + 29674/16249*c_1100_1^3 + 33736/16249*c_1100_1^2 - 59238/16249*c_1100_1 + 34188/16249, c_0101_0 + 1233/16249*c_1100_1^8 - 160/16249*c_1100_1^7 + 3003/16249*c_1100_1^6 + 8761/16249*c_1100_1^5 - 11090/16249*c_1100_1^4 + 12806/16249*c_1100_1^3 + 22396/16249*c_1100_1^2 - 52970/16249*c_1100_1 + 21359/16249, c_0101_1 + 3882/16249*c_1100_1^8 - 227/16249*c_1100_1^7 - 4778/16249*c_1100_1^6 + 28374/16249*c_1100_1^5 - 8625/16249*c_1100_1^4 - 40531/16249*c_1100_1^3 + 49242/16249*c_1100_1^2 - 31482/16249*c_1100_1 + 2172/16249, c_0101_13 + 1175/16249*c_1100_1^8 + 2246/16249*c_1100_1^7 - 1329/16249*c_1100_1^6 + 4369/16249*c_1100_1^5 + 11466/16249*c_1100_1^4 - 16868/16249*c_1100_1^3 - 11340/16249*c_1100_1^2 + 6268/16249*c_1100_1 - 12829/16249, c_0101_2 + 2708/16249*c_1100_1^8 + 1968/16249*c_1100_1^7 - 2814/16249*c_1100_1^6 + 17357/16249*c_1100_1^5 + 6415/16249*c_1100_1^4 - 24272/16249*c_1100_1^3 + 20261/16249*c_1100_1^2 - 14678/16249*c_1100_1 - 14106/16249, c_0101_6 + 1350/16249*c_1100_1^8 - 531/16249*c_1100_1^7 - 3947/16249*c_1100_1^6 + 10897/16249*c_1100_1^5 + 2802/16249*c_1100_1^4 - 25949/16249*c_1100_1^3 + 17049/16249*c_1100_1^2 + 14116/16249*c_1100_1 - 20617/16249, c_0101_9 - 1, c_0110_9 - 1, c_1001_11 + 5108/16249*c_1100_1^8 + 1024/16249*c_1100_1^7 - 6220/16249*c_1100_1^6 + 34924/16249*c_1100_1^5 + 5980/16249*c_1100_1^4 - 55960/16249*c_1100_1^3 + 45154/16249*c_1100_1^2 - 2221/16249*c_1100_1 - 32704/16249, c_1100_1^9 - c_1100_1^8 - c_1100_1^7 + 8*c_1100_1^6 - 9*c_1100_1^5 - 7*c_1100_1^4 + 21*c_1100_1^3 - 22*c_1100_1^2 + 10*c_1100_1 + 1 ], Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_14, c_0101_0, c_0101_1, c_0101_13, c_0101_2, c_0101_6, c_0101_9, c_0110_9, c_1001_11, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 12408416693125007073864833/27679405098987394414125056*c_1100_1^11 - 8491228021876321771439489/55358810197974788828250112*c_1100_1^10 - 368866520724317368333669029/442870481583798310626000896*c_1100_1^9 - 1100449430136369216379734881/442870481583798310626000896*c_1100_1^8 + 1485848782328678631304708193/442870481583798310626000896*c_1100_1\ ^7 - 201521862745978118981075459/55358810197974788828250112*c_1100_\ 1^6 - 1015187676391730385244524995/442870481583798310626000896*c_11\ 00_1^5 + 104963028952610543104968773/15271395916682700366413824*c_1\ 100_1^4 - 14286049177607913041881851573/442870481583798310626000896\ *c_1100_1^3 + 280840595804727239182146915/1302560239952347972429414\ 4*c_1100_1^2 - 5496656517279028130956137769/22143524079189915531300\ 0448*c_1100_1 + 6916627817051667793093558633/4428704815837983106260\ 00896, c_0011_0 - 1, c_0011_10 + 19532279338597587280/198754919426322627629*c_1100_1^11 + 14415225481568811544/198754919426322627629*c_1100_1^10 + 45324726104321562929/198754919426322627629*c_1100_1^9 + 129369194316726928624/198754919426322627629*c_1100_1^8 - 91849305390387041659/198754919426322627629*c_1100_1^7 + 149694973250941044171/198754919426322627629*c_1100_1^6 + 159477851094408142906/198754919426322627629*c_1100_1^5 - 8580341626838747907/6853617911252504401*c_1100_1^4 + 1445209014954465040465/198754919426322627629*c_1100_1^3 - 388544048725354239358/198754919426322627629*c_1100_1^2 + 903372812779518617318/198754919426322627629*c_1100_1 - 99554294035518831850/198754919426322627629, c_0011_11 + 2671117220788159520/198754919426322627629*c_1100_1^11 + 4785284725437130688/198754919426322627629*c_1100_1^10 + 7864334710544151474/198754919426322627629*c_1100_1^9 + 15585931248291809281/198754919426322627629*c_1100_1^8 - 4859804330158610838/198754919426322627629*c_1100_1^7 - 16368031214016249183/198754919426322627629*c_1100_1^6 - 3919696327655855157/198754919426322627629*c_1100_1^5 + 601845352642513060/6853617911252504401*c_1100_1^4 + 129656927950685576144/198754919426322627629*c_1100_1^3 + 99899727458608123796/198754919426322627629*c_1100_1^2 + 130629793950281255846/198754919426322627629*c_1100_1 - 223387891181885521521/198754919426322627629, c_0011_12 + 8751621936880338768/198754919426322627629*c_1100_1^11 + 2294782810842723864/198754919426322627629*c_1100_1^10 + 19662000155726503105/198754919426322627629*c_1100_1^9 + 53643721227171820072/198754919426322627629*c_1100_1^8 - 61124435753105948780/198754919426322627629*c_1100_1^7 + 105827019245079957601/198754919426322627629*c_1100_1^6 + 53612579601303333649/198754919426322627629*c_1100_1^5 - 4920057378464421166/6853617911252504401*c_1100_1^4 + 694567321732624403148/198754919426322627629*c_1100_1^3 - 430156258799563269287/198754919426322627629*c_1100_1^2 + 616129171564810550071/198754919426322627629*c_1100_1 - 147881102766465340106/198754919426322627629, c_0011_13 - 5297816385774193024/198754919426322627629*c_1100_1^11 - 10151625524531444256/198754919426322627629*c_1100_1^10 - 17008505994489494776/198754919426322627629*c_1100_1^9 - 44794170721521277534/198754919426322627629*c_1100_1^8 - 17925720376249638223/198754919426322627629*c_1100_1^7 - 11607251506285409166/198754919426322627629*c_1100_1^6 - 48477648399820470866/198754919426322627629*c_1100_1^5 - 886679758850587315/6853617911252504401*c_1100_1^4 - 261322573670949013207/198754919426322627629*c_1100_1^3 - 196128189022484221214/198754919426322627629*c_1100_1^2 - 256255842313432835486/198754919426322627629*c_1100_1 + 33375619246015066584/198754919426322627629, c_0011_14 + 22203396559385746800/198754919426322627629*c_1100_1^11 + 19200510207005942232/198754919426322627629*c_1100_1^10 + 53189060814865714403/198754919426322627629*c_1100_1^9 + 144955125565018737905/198754919426322627629*c_1100_1^8 - 96709109720545652497/198754919426322627629*c_1100_1^7 + 133326942036924794988/198754919426322627629*c_1100_1^6 + 155558154766752287749/198754919426322627629*c_1100_1^5 - 7978496274196234847/6853617911252504401*c_1100_1^4 + 1574865942905150616609/198754919426322627629*c_1100_1^3 - 288644321266746115562/198754919426322627629*c_1100_1^2 + 1034002606729799873164/198754919426322627629*c_1100_1 - 322942185217404353371/198754919426322627629, c_0101_0 - 2671117220788159520/198754919426322627629*c_1100_1^11 - 4785284725437130688/198754919426322627629*c_1100_1^10 - 7864334710544151474/198754919426322627629*c_1100_1^9 - 15585931248291809281/198754919426322627629*c_1100_1^8 + 4859804330158610838/198754919426322627629*c_1100_1^7 + 16368031214016249183/198754919426322627629*c_1100_1^6 + 3919696327655855157/198754919426322627629*c_1100_1^5 - 601845352642513060/6853617911252504401*c_1100_1^4 - 129656927950685576144/198754919426322627629*c_1100_1^3 - 99899727458608123796/198754919426322627629*c_1100_1^2 - 130629793950281255846/198754919426322627629*c_1100_1 + 223387891181885521521/198754919426322627629, c_0101_1 - 5297816385774193024/198754919426322627629*c_1100_1^11 - 10151625524531444256/198754919426322627629*c_1100_1^10 - 17008505994489494776/198754919426322627629*c_1100_1^9 - 44794170721521277534/198754919426322627629*c_1100_1^8 - 17925720376249638223/198754919426322627629*c_1100_1^7 - 11607251506285409166/198754919426322627629*c_1100_1^6 - 48477648399820470866/198754919426322627629*c_1100_1^5 - 886679758850587315/6853617911252504401*c_1100_1^4 - 261322573670949013207/198754919426322627629*c_1100_1^3 - 196128189022484221214/198754919426322627629*c_1100_1^2 - 256255842313432835486/198754919426322627629*c_1100_1 + 33375619246015066584/198754919426322627629, c_0101_13 - 19532279338597587280/198754919426322627629*c_1100_1^11 - 14415225481568811544/198754919426322627629*c_1100_1^10 - 45324726104321562929/198754919426322627629*c_1100_1^9 - 129369194316726928624/198754919426322627629*c_1100_1^8 + 91849305390387041659/198754919426322627629*c_1100_1^7 - 149694973250941044171/198754919426322627629*c_1100_1^6 - 159477851094408142906/198754919426322627629*c_1100_1^5 + 8580341626838747907/6853617911252504401*c_1100_1^4 - 1445209014954465040465/198754919426322627629*c_1100_1^3 + 388544048725354239358/198754919426322627629*c_1100_1^2 - 903372812779518617318/198754919426322627629*c_1100_1 + 99554294035518831850/198754919426322627629, c_0101_2 - 16339770017535561088/198754919426322627629*c_1100_1^11 - 6182380510078709888/198754919426322627629*c_1100_1^10 - 37550336832167014232/198754919426322627629*c_1100_1^9 - 104011428759309245924/198754919426322627629*c_1100_1^8 + 113454719424538307448/198754919426322627629*c_1100_1^7 - 174754643810436370710/198754919426322627629*c_1100_1^6 - 94627944305536653243/198754919426322627629*c_1100_1^5 + 10666903963566011169/6853617911252504401*c_1100_1^4 - 1296105863411113555232/198754919426322627629*c_1100_1^3 + 709269816199609911551/198754919426322627629*c_1100_1^2 - 977008435183186657894/198754919426322627629*c_1100_1 + 180945898056442966762/198754919426322627629, c_0101_6 + 3459200950282810816/198754919426322627629*c_1100_1^11 + 4360818381093308928/198754919426322627629*c_1100_1^10 + 1968247043993508908/198754919426322627629*c_1100_1^9 + 23155765286187774878/198754919426322627629*c_1100_1^8 - 13173937162381809985/198754919426322627629*c_1100_1^7 - 34428520359759785387/198754919426322627629*c_1100_1^6 + 84944691484256167267/198754919426322627629*c_1100_1^5 - 829191810396597570/6853617911252504401*c_1100_1^4 + 100326402099396537921/198754919426322627629*c_1100_1^3 + 208691693341648685121/198754919426322627629*c_1100_1^2 - 195775448589861970208/198754919426322627629*c_1100_1 - 22632321422497755297/198754919426322627629, c_0101_9 - 1, c_0110_9 + 1, c_1001_11 - 18266872847633588208/198754919426322627629*c_1100_1^11 - 3212806287182184184/198754919426322627629*c_1100_1^10 - 31175844366451328475/198754919426322627629*c_1100_1^9 - 99742643539135149583/198754919426322627629*c_1100_1^8 + 151388070114331768071/198754919426322627629*c_1100_1^7 - 167059394222009203896/198754919426322627629*c_1100_1^6 - 106962574153426818157/198754919426322627629*c_1100_1^5 + 12414947443008602335/6853617911252504401*c_1100_1^4 - 1352124399702022044451/198754919426322627629*c_1100_1^3 + 950520383579088264328/198754919426322627629*c_1100_1^2 - 884687464717523875553/198754919426322627629*c_1100_1 + 345869535733757469675/198754919426322627629, c_1100_1^12 + 1/2*c_1100_1^11 + 37/16*c_1100_1^10 + 97/16*c_1100_1^9 - 97/16*c_1100_1^8 + 19/2*c_1100_1^7 + 67/16*c_1100_1^6 - 209/16*c_1100_1^5 + 1205/16*c_1100_1^4 - 339/8*c_1100_1^3 + 553/8*c_1100_1^2 - 489/16*c_1100_1 + 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.810 Total time: 2.020 seconds, Total memory usage: 64.12MB