Magma V2.19-8 Tue Aug 20 2013 17:59:33 on localhost [Seed = 964201944] Type ? for help. Type -D to quit. Loading file "10^2_71__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation 10^2_71 geometric_solution 12.75366734 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 14 1 2 3 3 0132 0132 0132 3120 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 1 -1 -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.908252446018 1.353552829011 0 4 6 5 0132 0132 0132 0132 0 1 0 0 0 1 -1 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 -5 5 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.588246320466 1.092117375603 7 0 7 3 0132 0132 3120 0132 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 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.250082688603 0.844129161703 0 8 2 0 3120 0132 0132 0132 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 1 0 -1 0 0 1 -1 -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.049848635542 0.735417553186 8 1 9 10 3012 0132 0132 0132 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 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.403703658892 0.409244085175 6 9 1 11 0132 0132 0132 0132 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 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.409579064873 0.399917981288 5 12 13 1 0132 0132 0132 0132 0 1 0 0 0 0 -1 1 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 5 -5 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 1.007304123243 1.910576378253 2 8 2 12 0132 3012 3120 3120 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 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.250082688603 0.844129161703 7 3 9 4 1230 0132 1302 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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.354765882622 1.061219352316 8 5 10 4 2031 0132 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.975112489417 1.342569262900 9 11 4 13 2103 0132 0132 2031 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 -6 5 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 0 0 0 1.171215339624 1.034289641883 13 10 5 12 0132 0132 0132 0132 0 1 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 0 0 0 0 0 0 0 0 6 0 -6 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.045724986281 0.823920764015 7 6 11 13 3120 0132 0132 0132 0 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 -6 -1 0 1 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.028527202691 0.682958242435 11 10 12 6 0132 1302 0132 0132 0 1 0 0 0 0 -1 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 0 0 0 0 -1 6 -5 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.345552789290 0.627651660689 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_0'], 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : d['c_1001_1'], 'c_1001_13' : d['c_0110_10'], 'c_1001_12' : d['c_1001_1'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0011_3'], 'c_1001_6' : d['c_0110_10'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_4'], 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0011_3']), 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_0101_4'], 'c_1010_13' : d['c_0110_10'], 'c_1010_12' : d['c_0110_10'], 'c_1010_11' : d['c_1001_1'], 'c_1010_10' : d['c_0011_10'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_3_13' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : negation(d['c_0110_10']), 'c_1100_7' : negation(d['c_0101_12']), 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : negation(d['c_0101_3']), 'c_1100_3' : negation(d['c_0101_3']), 'c_1100_2' : negation(d['c_0101_3']), 's_0_10' : d['1'], 'c_1100_11' : d['c_1100_1'], 'c_1100_10' : negation(d['c_0110_10']), 'c_1100_13' : d['c_1100_1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 'c_1010_7' : negation(d['c_0011_12']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_4'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_3']), 'c_1010_9' : d['c_1001_4'], 'c_1010_8' : d['c_0101_4'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_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' : negation(d['c_0011_12']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_12'], 'c_0011_4' : d['c_0011_0'], 'c_0101_13' : d['c_0101_12'], 'c_0011_6' : negation(d['c_0011_12']), '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_0101_12'], 'c_0110_10' : d['c_0110_10'], 'c_0110_13' : d['c_0101_11'], 'c_0110_12' : d['c_0101_12'], 's_0_13' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0011_7' : d['c_0011_0'], 'c_0110_0' : d['c_0101_0'], 'c_0101_7' : d['c_0101_3'], 'c_0101_6' : d['c_0101_11'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_12'], 'c_0101_1' : d['c_0101_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0011_12'], '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_0101_4'], 'c_0110_8' : d['c_0011_0'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0110_10']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_12'], 'c_1100_8' : d['c_0101_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_3, c_0101_0, c_0101_10, c_0101_11, c_0101_12, c_0101_3, c_0101_4, c_0110_10, c_1001_1, c_1001_4, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 894088723471751/37411755539884*c_1100_1^18 + 2716485240106185/18705877769942*c_1100_1^17 - 14638437726541865/74823511079768*c_1100_1^16 + 162392892385579/1700534342722*c_1100_1^15 - 12933311355574537/9352938884971*c_1100_1^14 + 130529589815092407/37411755539884*c_1100_1^13 + 14256332989992471/74823511079768*c_1100_1^12 - 456906349195078983/74823511079768*c_1100_1^11 + 93893463180528817/37411755539884*c_1100_1^10 + 180743646811268795/37411755539884*c_1100_1^9 - 5131577770086099/3401068685444*c_1100_1^8 - 42715676804969761/9352938884971*c_1100_1^7 + 14050932028618689/18705877769942*c_1100_1^6 + 161148182529006845/37411755539884*c_1100_1^5 - 136997108757564453/74823511079768*c_1100_1^4 - 11660069362484828/9352938884971*c_1100_1^3 + 7557341514427871/74823511079768*c_1100_1^2 + 91023268259692237/74823511079768*c_1100_1 - 24775976907716487/37411755539884, c_0011_0 - 1, c_0011_10 + 1864840860431/37411755539884*c_1100_1^18 - 2409219749911/37411755539884*c_1100_1^17 - 2540472830509/37411755539884*c_1100_1^16 - 6963040431907/18705877769942*c_1100_1^15 + 4389154536061/3401068685444*c_1100_1^14 + 7693344511277/18705877769942*c_1100_1^13 - 18304183648605/9352938884971*c_1100_1^12 + 43728907140143/37411755539884*c_1100_1^11 + 56877202085461/18705877769942*c_1100_1^10 - 1751084927769/18705877769942*c_1100_1^9 - 11265981086868/9352938884971*c_1100_1^8 - 9923327505185/18705877769942*c_1100_1^7 + 68583322002973/37411755539884*c_1100_1^6 + 14731847366197/37411755539884*c_1100_1^5 - 8361763755220/9352938884971*c_1100_1^4 + 4019680975693/18705877769942*c_1100_1^3 + 4978508375308/9352938884971*c_1100_1^2 - 5785769303329/37411755539884*c_1100_1 - 3894438881611/18705877769942, c_0011_12 - 42181795286/9352938884971*c_1100_1^18 + 57098787899/18705877769942*c_1100_1^17 - 802276039197/18705877769942*c_1100_1^16 + 1403133748508/9352938884971*c_1100_1^15 - 55571809343/1700534342722*c_1100_1^14 + 4208674753329/18705877769942*c_1100_1^13 - 32116274308099/18705877769942*c_1100_1^12 + 3533319903659/18705877769942*c_1100_1^11 + 27174004045686/9352938884971*c_1100_1^10 - 12477553999663/18705877769942*c_1100_1^9 - 25643389072201/9352938884971*c_1100_1^8 - 747748808771/18705877769942*c_1100_1^7 + 25829979378411/9352938884971*c_1100_1^6 + 1169995504423/9352938884971*c_1100_1^5 - 60117504345507/18705877769942*c_1100_1^4 + 56163148234/9352938884971*c_1100_1^3 + 26899961112337/18705877769942*c_1100_1^2 + 372821506976/9352938884971*c_1100_1 - 12208941483345/9352938884971, c_0011_3 - 1614412052675/18705877769942*c_1100_1^18 + 1521206675931/9352938884971*c_1100_1^17 + 1749799224705/9352938884971*c_1100_1^16 + 4287096867970/9352938884971*c_1100_1^15 - 2464129989842/850267171361*c_1100_1^14 - 12682593999217/18705877769942*c_1100_1^13 + 130629579722833/18705877769942*c_1100_1^12 - 7564925374876/9352938884971*c_1100_1^11 - 64877075164884/9352938884971*c_1100_1^10 + 3909336505209/18705877769942*c_1100_1^9 + 51928743102726/9352938884971*c_1100_1^8 + 22170913181039/18705877769942*c_1100_1^7 - 85931359467647/18705877769942*c_1100_1^6 - 3293446471911/18705877769942*c_1100_1^5 + 33464330366597/18705877769942*c_1100_1^4 + 2308524083132/9352938884971*c_1100_1^3 - 6148522533299/18705877769942*c_1100_1^2 - 362021778673/18705877769942*c_1100_1 - 3795150604477/9352938884971, c_0101_0 - 1, c_0101_10 + c_1100_1^2, c_0101_11 + 42101945617/37411755539884*c_1100_1^18 + 13310506175/18705877769942*c_1100_1^17 - 1219241397705/37411755539884*c_1100_1^16 - 398247344199/37411755539884*c_1100_1^15 + 113723270853/1700534342722*c_1100_1^14 + 3329379228055/9352938884971*c_1100_1^13 - 8033435095843/18705877769942*c_1100_1^12 - 32998932520595/37411755539884*c_1100_1^11 + 6976768655099/37411755539884*c_1100_1^10 + 712645639597/37411755539884*c_1100_1^9 - 88907183160077/37411755539884*c_1100_1^8 - 34190250446907/37411755539884*c_1100_1^7 + 56273728234733/18705877769942*c_1100_1^6 + 1698259012959/37411755539884*c_1100_1^5 - 107628350145159/37411755539884*c_1100_1^4 - 9714503800703/37411755539884*c_1100_1^3 + 24940745438861/37411755539884*c_1100_1^2 + 478711694786/9352938884971*c_1100_1 - 7997529504780/9352938884971, c_0101_12 + 4628688416573/37411755539884*c_1100_1^18 - 2292353993337/9352938884971*c_1100_1^17 - 11511338087691/37411755539884*c_1100_1^16 - 19664787821483/37411755539884*c_1100_1^15 + 3718471145574/850267171361*c_1100_1^14 + 16929789328159/18705877769942*c_1100_1^13 - 113194743972984/9352938884971*c_1100_1^12 + 48796677045859/37411755539884*c_1100_1^11 + 558969687242507/37411755539884*c_1100_1^10 - 56254225944145/37411755539884*c_1100_1^9 - 501892672836437/37411755539884*c_1100_1^8 - 39152144090201/37411755539884*c_1100_1^7 + 219389480798143/18705877769942*c_1100_1^6 + 14830914611563/37411755539884*c_1100_1^5 - 262261161363041/37411755539884*c_1100_1^4 - 11123768325435/37411755539884*c_1100_1^3 + 83694765656951/37411755539884*c_1100_1^2 + 525386073103/9352938884971*c_1100_1 - 10347354697266/9352938884971, c_0101_3 + 1399864311223/37411755539884*c_1100_1^18 - 771147317406/9352938884971*c_1100_1^17 - 4512141188871/37411755539884*c_1100_1^16 - 2516400349603/37411755539884*c_1100_1^15 + 1254341155732/850267171361*c_1100_1^14 + 2123597664471/9352938884971*c_1100_1^13 - 95759908223135/18705877769942*c_1100_1^12 + 18536975546355/37411755539884*c_1100_1^11 + 299461386582971/37411755539884*c_1100_1^10 - 48435552933727/37411755539884*c_1100_1^9 - 294177700425533/37411755539884*c_1100_1^8 + 5189682271877/37411755539884*c_1100_1^7 + 66729060665248/9352938884971*c_1100_1^6 + 8244021667741/37411755539884*c_1100_1^5 - 195332500629847/37411755539884*c_1100_1^4 - 1889671992907/37411755539884*c_1100_1^3 + 108809476130237/37411755539884*c_1100_1^2 + 688750367533/18705877769942*c_1100_1 - 14142505301743/9352938884971, c_0101_4 + 4628688416573/37411755539884*c_1100_1^18 - 2292353993337/9352938884971*c_1100_1^17 - 11511338087691/37411755539884*c_1100_1^16 - 19664787821483/37411755539884*c_1100_1^15 + 3718471145574/850267171361*c_1100_1^14 + 16929789328159/18705877769942*c_1100_1^13 - 113194743972984/9352938884971*c_1100_1^12 + 48796677045859/37411755539884*c_1100_1^11 + 558969687242507/37411755539884*c_1100_1^10 - 56254225944145/37411755539884*c_1100_1^9 - 501892672836437/37411755539884*c_1100_1^8 - 39152144090201/37411755539884*c_1100_1^7 + 219389480798143/18705877769942*c_1100_1^6 + 14830914611563/37411755539884*c_1100_1^5 - 262261161363041/37411755539884*c_1100_1^4 - 11123768325435/37411755539884*c_1100_1^3 + 121106521196835/37411755539884*c_1100_1^2 + 525386073103/9352938884971*c_1100_1 - 10347354697266/9352938884971, c_0110_10 + 966781909199/18705877769942*c_1100_1^18 - 3502155310765/37411755539884*c_1100_1^17 - 650476152443/9352938884971*c_1100_1^16 - 12560921436707/37411755539884*c_1100_1^15 + 5485014403671/3401068685444*c_1100_1^14 + 796661947093/18705877769942*c_1100_1^13 - 52244743672359/18705877769942*c_1100_1^12 + 24005575637877/18705877769942*c_1100_1^11 + 112277748638435/37411755539884*c_1100_1^10 - 90220051843531/37411755539884*c_1100_1^9 - 77064873622295/37411755539884*c_1100_1^8 + 91058825580033/37411755539884*c_1100_1^7 + 68723809028103/37411755539884*c_1100_1^6 - 46027231933311/18705877769942*c_1100_1^5 - 42235316018009/37411755539884*c_1100_1^4 + 32559087934077/37411755539884*c_1100_1^3 + 21449962769823/37411755539884*c_1100_1^2 - 37607479539981/37411755539884*c_1100_1 - 3810234990377/18705877769942, c_1001_1 + 6474291375173/37411755539884*c_1100_1^18 - 5876882472793/37411755539884*c_1100_1^17 - 19966624120873/37411755539884*c_1100_1^16 - 12799766148623/9352938884971*c_1100_1^15 + 15030566571023/3401068685444*c_1100_1^14 + 51105781322795/9352938884971*c_1100_1^13 - 171531194735035/18705877769942*c_1100_1^12 - 214722477306081/37411755539884*c_1100_1^11 + 102305943061094/9352938884971*c_1100_1^10 + 85490411665555/18705877769942*c_1100_1^9 - 139302263596945/18705877769942*c_1100_1^8 - 83600643884953/18705877769942*c_1100_1^7 + 225154365829741/37411755539884*c_1100_1^6 + 77632929164959/37411755539884*c_1100_1^5 - 33235673214295/9352938884971*c_1100_1^4 - 1212198389286/9352938884971*c_1100_1^3 + 15251653556642/9352938884971*c_1100_1^2 - 14732814417209/37411755539884*c_1100_1 - 13067611823523/18705877769942, c_1001_4 + 6474291375173/37411755539884*c_1100_1^18 - 5876882472793/37411755539884*c_1100_1^17 - 19966624120873/37411755539884*c_1100_1^16 - 12799766148623/9352938884971*c_1100_1^15 + 15030566571023/3401068685444*c_1100_1^14 + 51105781322795/9352938884971*c_1100_1^13 - 171531194735035/18705877769942*c_1100_1^12 - 214722477306081/37411755539884*c_1100_1^11 + 102305943061094/9352938884971*c_1100_1^10 + 85490411665555/18705877769942*c_1100_1^9 - 139302263596945/18705877769942*c_1100_1^8 - 83600643884953/18705877769942*c_1100_1^7 + 225154365829741/37411755539884*c_1100_1^6 + 77632929164959/37411755539884*c_1100_1^5 - 33235673214295/9352938884971*c_1100_1^4 - 1212198389286/9352938884971*c_1100_1^3 + 15251653556642/9352938884971*c_1100_1^2 + 22678941122675/37411755539884*c_1100_1 - 13067611823523/18705877769942, c_1100_1^19 - c_1100_1^18 - 3*c_1100_1^17 - 8*c_1100_1^16 + 27*c_1100_1^15 + 30*c_1100_1^14 - 54*c_1100_1^13 - 41*c_1100_1^12 + 64*c_1100_1^11 + 52*c_1100_1^10 - 52*c_1100_1^9 - 52*c_1100_1^8 + 39*c_1100_1^7 + 37*c_1100_1^6 - 20*c_1100_1^5 - 22*c_1100_1^4 + 10*c_1100_1^3 + 9*c_1100_1^2 - 4*c_1100_1 - 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.540 Total time: 0.750 seconds, Total memory usage: 32.09MB