Magma V2.19-8 Sat Sep 14 2013 02:47:59 on localhost [Seed = 3800348284] Type ? for help. Type -D to quit. Loading file "11_356__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_356 geometric_solution 15.74522241 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 17 1 2 1 3 0132 0132 3012 0132 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 0 1 1 0 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.353562114643 0.597959660984 0 0 5 4 0132 1230 0132 0132 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 1 -1 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.833642585172 0.771125345377 6 0 7 6 0132 0132 0132 2031 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 0 -1 -1 0 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.303559312494 0.840754339859 8 7 0 9 0132 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 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.620543703229 0.797690386556 10 11 1 12 0132 0132 0132 0132 0 0 0 0 0 -1 0 1 0 0 -1 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.247175308743 1.036806376133 8 9 13 1 3120 1302 0132 0132 0 0 0 0 0 0 -1 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 0 -1 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 1.040227647977 0.783918860143 2 2 14 12 0132 1302 0132 3120 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 1 0 0 -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.620083617411 1.052237023534 10 3 8 2 1302 3120 3012 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 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.154547094020 0.894050785957 3 7 12 5 0132 1230 3012 3120 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 -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.546044034696 0.500258106087 15 11 3 5 0132 2031 0132 2031 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 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.171945802990 1.600302167531 4 7 14 11 0132 2031 3120 1023 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.108609565047 1.375467690248 9 4 13 10 1302 0132 1302 1023 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 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.457495118174 0.492558793360 6 8 4 15 3120 1230 0132 1023 0 0 0 0 0 0 -1 1 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 1 0 -1 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.976362690605 1.154736988128 11 16 15 5 2031 0132 1023 0132 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.249404104892 0.916549332156 16 16 10 6 2103 1302 3120 0132 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 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.410520106870 1.004759185643 9 16 13 12 0132 1023 1023 1023 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 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.291841332166 0.331394645342 15 13 14 14 1023 0132 2103 2031 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 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.410520106870 1.004759185643 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_0' : d['1'], 'c_1001_15' : d['c_0101_13'], 'c_1001_14' : d['c_0101_2'], 'c_1001_16' : d['c_0011_14'], 'c_1001_11' : d['c_0101_5'], 'c_1001_10' : negation(d['c_0101_2']), 'c_1001_13' : d['c_0011_14'], 'c_1001_12' : d['c_0101_5'], 'c_1001_5' : d['c_0011_14'], 'c_1001_4' : d['c_0101_0'], 'c_1001_7' : d['c_0011_3'], 'c_1001_6' : d['c_0101_6'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_1001_9' : negation(d['c_0011_7']), 'c_1001_8' : negation(d['c_0011_12']), 'c_1010_13' : d['c_0011_14'], 'c_1010_12' : d['c_0101_8'], 'c_1010_11' : d['c_0101_0'], 'c_1010_10' : d['c_0011_7'], 'c_1010_16' : d['c_0011_14'], 'c_1010_15' : d['c_0101_2'], 'c_1010_14' : d['c_0101_6'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_3_13' : d['1'], 's_3_12' : d['1'], 's_0_14' : d['1'], 's_3_14' : d['1'], 's_0_16' : d['1'], 's_3_16' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_13']), 'c_0101_10' : d['c_0101_10'], 'c_0101_16' : d['c_0101_13'], 'c_0101_15' : d['c_0011_14'], 'c_0101_14' : d['c_0101_13'], '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_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_2_16' : 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' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_15' : negation(d['c_0011_13']), 'c_0011_14' : d['c_0011_14'], 'c_0011_16' : negation(d['c_0011_13']), 'c_1100_9' : negation(d['c_1001_1']), 'c_1100_8' : negation(d['c_0101_5']), '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' : d['c_0011_12'], 'c_1100_6' : negation(d['c_0101_10']), 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : d['c_0011_12'], 'c_1100_14' : negation(d['c_0101_10']), 'c_1100_15' : negation(d['c_1100_1']), 's_3_11' : d['1'], 'c_1100_16' : negation(d['c_0101_6']), 'c_1100_11' : d['c_0101_13'], 'c_1100_10' : negation(d['c_0101_13']), 'c_1100_13' : d['c_1100_1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 'c_1010_7' : negation(d['c_0011_3']), 'c_1010_6' : negation(d['c_0011_12']), 'c_1010_5' : d['c_1001_1'], 's_0_13' : d['1'], 'c_1010_3' : negation(d['c_0011_7']), 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_0101_0'], 'c_1010_0' : negation(d['c_0011_3']), 's_3_15' : d['1'], 'c_1010_9' : d['c_0011_10'], 's_0_15' : d['1'], 's_3_1' : d['1'], 'c_0101_13' : d['c_0101_13'], '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_1100_1'], '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_13'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_10'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_7'], 'c_0110_10' : d['c_0101_0'], 'c_0110_13' : d['c_0101_5'], 'c_0110_12' : d['c_0101_2'], 'c_0110_15' : d['c_0101_8'], 'c_0110_14' : d['c_0101_6'], 'c_0110_16' : d['c_0101_2'], 'c_1010_4' : d['c_0101_5'], 'c_0101_12' : d['c_0101_10'], 'c_0110_0' : d['c_0101_1'], 's_0_8' : d['1'], 's_2_15' : d['1'], 'c_1010_8' : negation(d['c_0011_10']), 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], '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_8'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_16' : d['1'], 's_1_15' : d['1'], 's_1_14' : 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_0011_14'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_8'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_13, c_0011_14, c_0011_3, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_13, c_0101_2, c_0101_5, c_0101_6, c_0101_8, c_1001_1, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 1123831051467279144/24627769095512323*c_1100_1^15 + 86539517644077074324/172394383668586261*c_1100_1^14 - 403430059723717340056/172394383668586261*c_1100_1^13 + 1016858699025175493029/172394383668586261*c_1100_1^12 - 1672013510372552661077/172394383668586261*c_1100_1^11 + 1965753311668919651077/172394383668586261*c_1100_1^10 - 1429271278915460621229/172394383668586261*c_1100_1^9 + 288922507045528299038/172394383668586261*c_1100_1^8 + 22463478277415362806/10140846098152133*c_1100_1^7 - 224466494146758018982/172394383668586261*c_1100_1^6 - 23073065160968741570/13261106436045097*c_1100_1^5 + 410040865711837665727/172394383668586261*c_1100_1^4 - 6482155227780437179/13261106436045097*c_1100_1^3 - 7059625517558502116/7495407985590707*c_1100_1^2 + 165794956675877522144/172394383668586261*c_1100_1 - 53925111122673193226/172394383668586261, c_0011_0 - 1, c_0011_10 - 35384719930/44691872339*c_1100_1^15 + 389148380683/44691872339*c_1100_1^14 - 1833748971092/44691872339*c_1100_1^13 + 4795925345630/44691872339*c_1100_1^12 - 8599017383928/44691872339*c_1100_1^11 + 11707471727524/44691872339*c_1100_1^10 - 11494373470027/44691872339*c_1100_1^9 + 7930871080049/44691872339*c_1100_1^8 - 260311093496/2628933667*c_1100_1^7 + 2625968942944/44691872339*c_1100_1^6 - 2870692970637/44691872339*c_1100_1^5 + 2949954717407/44691872339*c_1100_1^4 - 2013487621822/44691872339*c_1100_1^3 + 852119341520/44691872339*c_1100_1^2 - 146020809023/44691872339*c_1100_1 - 1671619934/44691872339, c_0011_12 + 33435419020/44691872339*c_1100_1^15 - 396815556224/44691872339*c_1100_1^14 + 2039082101988/44691872339*c_1100_1^13 - 5885362152376/44691872339*c_1100_1^12 + 11321926707374/44691872339*c_1100_1^11 - 16130458041436/44691872339*c_1100_1^10 + 16901083116188/44691872339*c_1100_1^9 - 12219721972411/44691872339*c_1100_1^8 + 370632298874/2628933667*c_1100_1^7 - 3479579955562/44691872339*c_1100_1^6 + 3851635826179/44691872339*c_1100_1^5 - 4487770024715/44691872339*c_1100_1^4 + 3183231705839/44691872339*c_1100_1^3 - 1365956863528/44691872339*c_1100_1^2 + 249600192321/44691872339*c_1100_1 + 36737717033/44691872339, c_0011_13 - 2596879597/44691872339*c_1100_1^15 + 34003910795/44691872339*c_1100_1^14 - 181306009475/44691872339*c_1100_1^13 + 500358542251/44691872339*c_1100_1^12 - 802087416379/44691872339*c_1100_1^11 + 910233552430/44691872339*c_1100_1^10 - 678678337997/44691872339*c_1100_1^9 + 23287402096/44691872339*c_1100_1^8 + 11479816304/2628933667*c_1100_1^7 + 61291598359/44691872339*c_1100_1^6 - 129336866965/44691872339*c_1100_1^5 + 272200556925/44691872339*c_1100_1^4 + 42377786377/44691872339*c_1100_1^3 - 75109827536/44691872339*c_1100_1^2 + 13323652411/44691872339*c_1100_1 - 20979094226/44691872339, c_0011_14 - 96228345797/44691872339*c_1100_1^15 + 1106380983562/44691872339*c_1100_1^14 - 5499018739479/44691872339*c_1100_1^13 + 15330836554819/44691872339*c_1100_1^12 - 28839278106183/44691872339*c_1100_1^11 + 40469480074553/44691872339*c_1100_1^10 - 41559243284535/44691872339*c_1100_1^9 + 29813802101437/44691872339*c_1100_1^8 - 933056698813/2628933667*c_1100_1^7 + 9239447258880/44691872339*c_1100_1^6 - 10275822670450/44691872339*c_1100_1^5 + 10874241175746/44691872339*c_1100_1^4 - 7611570168556/44691872339*c_1100_1^3 + 3284463811062/44691872339*c_1100_1^2 - 710753845790/44691872339*c_1100_1 + 100320529220/44691872339, c_0011_3 + 54180403297/44691872339*c_1100_1^15 - 591609448675/44691872339*c_1100_1^14 + 2765702701514/44691872339*c_1100_1^13 - 7161536383527/44691872339*c_1100_1^12 + 12699552016451/44691872339*c_1100_1^11 - 16954753969640/44691872339*c_1100_1^10 + 16039411059013/44691872339*c_1100_1^9 - 10391666959889/44691872339*c_1100_1^8 + 304290280031/2628933667*c_1100_1^7 - 3012370827888/44691872339*c_1100_1^6 + 4166711455473/44691872339*c_1100_1^5 - 4161488273602/44691872339*c_1100_1^4 + 2626868386449/44691872339*c_1100_1^3 - 906048781993/44691872339*c_1100_1^2 - 30917378290/44691872339*c_1100_1 - 4755848709/44691872339, c_0011_7 + 168226620068/44691872339*c_1100_1^15 - 1885877540678/44691872339*c_1100_1^14 + 9101547904289/44691872339*c_1100_1^13 - 24527032259655/44691872339*c_1100_1^12 + 45036141812155/44691872339*c_1100_1^11 - 62311901551689/44691872339*c_1100_1^10 + 62780312101667/44691872339*c_1100_1^9 - 44603234807120/44691872339*c_1100_1^8 + 1454726623397/2628933667*c_1100_1^7 - 14854299585895/44691872339*c_1100_1^6 + 16033741528473/44691872339*c_1100_1^5 - 16276609954064/44691872339*c_1100_1^4 + 11402657913339/44691872339*c_1100_1^3 - 5078319034331/44691872339*c_1100_1^2 + 1157052149365/44691872339*c_1100_1 - 166555000134/44691872339, c_0101_0 - 29946484702/44691872339*c_1100_1^15 + 337441875024/44691872339*c_1100_1^14 - 1642894663199/44691872339*c_1100_1^13 + 4493278031845/44691872339*c_1100_1^12 - 8411064738558/44691872339*c_1100_1^11 + 11868856685475/44691872339*c_1100_1^10 - 12272629100224/44691872339*c_1100_1^9 + 9050601608026/44691872339*c_1100_1^8 - 300111864942/2628933667*c_1100_1^7 + 2871616249916/44691872339*c_1100_1^6 - 2923609476222/44691872339*c_1100_1^5 + 3101873247618/44691872339*c_1100_1^4 - 2354306881077/44691872339*c_1100_1^3 + 1068344840910/44691872339*c_1100_1^2 - 243193585178/44691872339*c_1100_1 + 21904353889/44691872339, c_0101_1 - 18434486018/44691872339*c_1100_1^15 + 202012845985/44691872339*c_1100_1^14 - 929075955552/44691872339*c_1100_1^13 + 2259982138986/44691872339*c_1100_1^12 - 3448930625857/44691872339*c_1100_1^11 + 3591236806174/44691872339*c_1100_1^10 - 1921221090186/44691872339*c_1100_1^9 - 769412508103/44691872339*c_1100_1^8 + 101189209962/2628933667*c_1100_1^7 - 494293638998/44691872339*c_1100_1^6 - 769453707134/44691872339*c_1100_1^5 + 664289605758/44691872339*c_1100_1^4 + 186846844186/44691872339*c_1100_1^3 - 601786309122/44691872339*c_1100_1^2 + 282861307485/44691872339*c_1100_1 - 48431780499/44691872339, c_0101_10 - 99925767026/44691872339*c_1100_1^15 + 1154199954902/44691872339*c_1100_1^14 - 5771004865822/44691872339*c_1100_1^13 + 16218614415351/44691872339*c_1100_1^12 - 30765967181457/44691872339*c_1100_1^11 + 43529240644084/44691872339*c_1100_1^10 - 45223273629781/44691872339*c_1100_1^9 + 33032434803228/44691872339*c_1100_1^8 - 1051769246954/2628933667*c_1100_1^7 + 10279649990286/44691872339*c_1100_1^6 - 11046457805677/44691872339*c_1100_1^5 + 11698422639635/44691872339*c_1100_1^4 - 8340225298981/44691872339*c_1100_1^3 + 3742948478150/44691872339*c_1100_1^2 - 878890730775/44691872339*c_1100_1 + 90842183896/44691872339, c_0101_13 - 7696079416/2628933667*c_1100_1^15 + 87463132552/2628933667*c_1100_1^14 - 429409468531/2628933667*c_1100_1^13 + 1182636125128/2628933667*c_1100_1^12 - 2212879925791/2628933667*c_1100_1^11 + 3104833382261/2628933667*c_1100_1^10 - 3187142072191/2628933667*c_1100_1^9 + 2310752806885/2628933667*c_1100_1^8 - 1270559776485/2628933667*c_1100_1^7 + 738810327616/2628933667*c_1100_1^6 - 796637804196/2628933667*c_1100_1^5 + 828106165801/2628933667*c_1100_1^4 - 587579497181/2628933667*c_1100_1^3 + 265131861986/2628933667*c_1100_1^2 - 60760618084/2628933667*c_1100_1 + 8089975266/2628933667, c_0101_2 - 80122814646/44691872339*c_1100_1^15 + 926156720690/44691872339*c_1100_1^14 - 4647714727944/44691872339*c_1100_1^13 + 13180323826485/44691872339*c_1100_1^12 - 25410374311559/44691872339*c_1100_1^11 + 36682967716908/44691872339*c_1100_1^10 - 39115460913759/44691872339*c_1100_1^9 + 29873395881765/44691872339*c_1100_1^8 - 1005369739443/2628933667*c_1100_1^7 + 9517806639369/44691872339*c_1100_1^6 - 9414992712161/44691872339*c_1100_1^5 + 10161679393610/44691872339*c_1100_1^4 - 7666896683879/44691872339*c_1100_1^3 + 3732446734268/44691872339*c_1100_1^2 - 979303676741/44691872339*c_1100_1 + 136034275696/44691872339, c_0101_5 - 92674939379/44691872339*c_1100_1^15 + 1069148063766/44691872339*c_1100_1^14 - 5327524525000/44691872339*c_1100_1^13 + 14865616028491/44691872339*c_1100_1^12 - 27883969029162/44691872339*c_1100_1^11 + 38966469851173/44691872339*c_1100_1^10 - 39841740728986/44691872339*c_1100_1^9 + 28272273871859/44691872339*c_1100_1^8 - 873712400942/2628933667*c_1100_1^7 + 8821074326436/44691872339*c_1100_1^6 - 9865282874442/44691872339*c_1100_1^5 + 10390766836670/44691872339*c_1100_1^4 - 7129177599667/44691872339*c_1100_1^3 + 3019039061346/44691872339*c_1100_1^2 - 647262332007/44691872339*c_1100_1 + 60003644473/44691872339, c_0101_6 + 52768638018/44691872339*c_1100_1^15 - 630716342004/44691872339*c_1100_1^14 + 3290252843218/44691872339*c_1100_1^13 - 9759344640988/44691872339*c_1100_1^12 + 19512691831590/44691872339*c_1100_1^11 - 28933051085935/44691872339*c_1100_1^10 + 31874821871842/44691872339*c_1100_1^9 - 25164561197526/44691872339*c_1100_1^8 + 845923507783/2628933667*c_1100_1^7 - 7656053992627/44691872339*c_1100_1^6 + 7329147642514/44691872339*c_1100_1^5 - 8265771553704/44691872339*c_1100_1^4 + 6500663099672/44691872339*c_1100_1^3 - 3233578308372/44691872339*c_1100_1^2 + 888755413871/44691872339*c_1100_1 - 129663764817/44691872339, c_0101_8 + 67035681602/44691872339*c_1100_1^15 - 764014562662/44691872339*c_1100_1^14 + 3745758752769/44691872339*c_1100_1^13 - 10218205274271/44691872339*c_1100_1^12 + 18705983510233/44691872339*c_1100_1^11 - 25563478268089/44691872339*c_1100_1^10 + 25413242811444/44691872339*c_1100_1^9 - 17309290352824/44691872339*c_1100_1^8 + 527456715584/2628933667*c_1100_1^7 - 5834158680678/44691872339*c_1100_1^6 + 6661791323228/44691872339*c_1100_1^5 - 6681348535482/44691872339*c_1100_1^4 + 4424656690654/44691872339*c_1100_1^3 - 1737599992213/44691872339*c_1100_1^2 + 404895967204/44691872339*c_1100_1 - 83207677348/44691872339, c_1001_1 + 38426335423/44691872339*c_1100_1^15 - 429940517300/44691872339*c_1100_1^14 + 2075970505485/44691872339*c_1100_1^13 - 5630087230284/44691872339*c_1100_1^12 + 10517050294431/44691872339*c_1100_1^11 - 14921206751165/44691872339*c_1100_1^10 + 15540914116848/44691872339*c_1100_1^9 - 11743629975057/44691872339*c_1100_1^8 + 414243728571/2628933667*c_1100_1^7 - 4015927099904/44691872339*c_1100_1^6 + 3898272915010/44691872339*c_1100_1^5 - 4007510715250/44691872339*c_1100_1^4 + 2948816394896/44691872339*c_1100_1^3 - 1566896150796/44691872339*c_1100_1^2 + 386655999544/44691872339*c_1100_1 - 69264874846/44691872339, c_1100_1^16 - 12*c_1100_1^15 + 63*c_1100_1^14 - 189*c_1100_1^13 + 385*c_1100_1^12 - 587*c_1100_1^11 + 674*c_1100_1^10 - 570*c_1100_1^9 + 365*c_1100_1^8 - 209*c_1100_1^7 + 168*c_1100_1^6 - 175*c_1100_1^5 + 147*c_1100_1^4 - 86*c_1100_1^3 + 32*c_1100_1^2 - 7*c_1100_1 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4992.270 Total time: 4992.590 seconds, Total memory usage: 9049.41MB