Magma V2.19-8 Wed Aug 21 2013 01:06:36 on localhost [Seed = 863316978] Type ? for help. Type -D to quit. Loading file "L14n32763__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n32763 geometric_solution 12.37403962 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 3201 0132 0 1 0 1 0 0 0 0 1 0 0 -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 1 -1 6 0 1 -7 0 -3 0 3 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.455386389858 1.205730520720 0 4 6 5 0132 0132 0132 0132 1 1 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 0 0 0 0 0 0 0 0 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.591790597572 0.749011117654 0 0 6 4 2310 0132 3012 2103 0 1 1 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 -1 0 1 0 -1 1 0 0 -1 3 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.725862886274 0.725835229693 7 8 0 4 0132 0132 0132 2310 0 1 1 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 -1 1 0 -7 0 7 0 0 0 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.366422556653 0.581698182314 3 1 5 2 3201 0132 2031 2103 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.350561162438 0.821974718026 5 5 1 4 1302 2031 0132 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.553525901834 0.294414348937 8 2 7 1 3120 1230 3120 0132 1 1 0 0 0 0 0 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 0 0 0 0 -1 1 0 6 0 0 -6 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.224729389196 1.230747116731 3 9 6 10 0132 0132 3120 0132 0 1 0 1 0 0 0 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 0 0 0 0 0 0 0 7 0 0 -7 -3 3 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.684091729415 0.836564103074 10 3 9 6 0132 0132 0132 3120 0 1 0 1 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 1 -1 0 0 0 6 -6 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.684091729415 0.836564103074 11 7 12 8 0132 0132 0132 0132 0 1 1 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 -1 1 -1 0 7 -6 1 -1 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.262793332186 0.834906630114 8 11 7 12 0132 0132 0132 0132 0 1 1 0 0 0 0 0 0 0 1 -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 7 -7 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.262793332186 0.834906630114 9 10 12 12 0132 0132 2103 0321 0 1 0 1 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 -1 1 1 0 0 -1 0 2 0 -2 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.916167692449 1.343034244933 11 11 10 9 2103 0321 0132 0132 0 1 0 1 0 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 -1 0 1 0 0 7 -7 1 2 0 -3 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.916167692449 1.343034244933 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_12'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_0011_12'], 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : negation(d['c_0110_5']), 'c_1001_7' : negation(d['c_0110_4']), 'c_1001_6' : d['c_0110_4'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : negation(d['c_0011_6']), 'c_1001_9' : d['c_1001_10'], 'c_1001_8' : negation(d['c_0110_4']), 'c_1010_12' : d['c_1001_10'], 'c_1010_11' : d['c_1001_10'], 'c_1010_10' : d['c_0011_12'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : 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_1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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_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' : 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' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_4'], 'c_1100_4' : negation(d['c_0011_5']), 'c_1100_7' : negation(d['c_0101_6']), 'c_1100_6' : d['c_0101_4'], 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0110_4']), 's_0_10' : d['1'], 'c_1100_9' : negation(d['c_0101_6']), 'c_1100_11' : d['c_0011_12'], 'c_1100_10' : negation(d['c_0101_6']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : negation(d['c_0110_4']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0110_5']), 'c_1010_0' : negation(d['c_0011_6']), 'c_1010_9' : negation(d['c_0110_4']), 'c_1010_8' : negation(d['c_0011_6']), 'c_1100_8' : negation(d['c_0101_6']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(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' : negation(d['c_0101_6']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_10']), '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_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_12']), 'c_0110_10' : d['c_0101_11'], 'c_0110_12' : negation(d['c_0011_12']), 'c_0101_12' : d['c_0101_11'], 'c_0101_7' : negation(d['c_0101_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_5']), 'c_0101_9' : negation(d['c_0011_12']), 'c_0101_8' : d['c_0101_11'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : negation(d['c_0011_5']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_4']), 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_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_5, c_0011_6, c_0101_1, c_0101_11, c_0101_2, c_0101_4, c_0101_6, c_0110_4, c_0110_5, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 30315445460348109792136851/409496516454246600356978*c_1001_10^17 + 2776877356702875379614764/29249751175303328596927*c_1001_10^16 - 91097962404349042419351478/204748258227123300178489*c_1001_10^15 + 74044717132153230330645163/409496516454246600356978*c_1001_10^14 + 70018197029049482118285707/409496516454246600356978*c_1001_10^13 + 926717127557192473609629063/409496516454246600356978*c_1001_10^12 - 1914579736143176425734985087/409496516454246600356978*c_1001_10^11 + 1510076162745635255946268315/58499502350606657193854*c_1001_10^10 - 8086060532452449890100008054/204748258227123300178489*c_1001_10^9 + 5442244495091778526410265388/204748258227123300178489*c_1001_10^8 - 884477996797060386150048707/37226956041295145486998*c_1001_10^7 - 879565532990683923227818330/204748258227123300178489*c_1001_10^6 - 6031683455254459858749745937/409496516454246600356978*c_1001_10^5 + 4057224746903873000520337107/409496516454246600356978*c_1001_10^4 - 468357879895213803472062399/409496516454246600356978*c_1001_10^3 + 71744103030935132784765353/29249751175303328596927*c_1001_10^2 - 152284817738280118657817209/409496516454246600356978*c_1001_10 + 41614090187450161865501621/204748258227123300178489, c_0011_0 - 1, c_0011_10 - 8534496677721534813/24725064391634259169*c_1001_10^17 + 6048594959218261018/24725064391634259169*c_1001_10^16 - 92590887238536796937/49450128783268518338*c_1001_10^15 - 16014502922148370239/49450128783268518338*c_1001_10^14 + 24331779261347764204/24725064391634259169*c_1001_10^13 + 539787529629359785613/49450128783268518338*c_1001_10^12 - 389539346652439908692/24725064391634259169*c_1001_10^11 + 2709029803583012668596/24725064391634259169*c_1001_10^10 - 5782443477517670411777/49450128783268518338*c_1001_10^9 + 1726002983211929835637/49450128783268518338*c_1001_10^8 - 122292047225422305787/2247733126512205379*c_1001_10^7 - 3680035442577369546381/49450128783268518338*c_1001_10^6 - 4890541297620656447733/49450128783268518338*c_1001_10^5 - 30503418604172409967/49450128783268518338*c_1001_10^4 - 27405471697913253751/24725064391634259169*c_1001_10^3 - 10125533999711787552/24725064391634259169*c_1001_10^2 - 3431469963923072818/24725064391634259169*c_1001_10 + 32161276307960349815/49450128783268518338, c_0011_12 + 9584178511537728665/24725064391634259169*c_1001_10^17 - 6520514693077144979/24725064391634259169*c_1001_10^16 + 105549317206983193127/49450128783268518338*c_1001_10^15 + 9938619559629300673/24725064391634259169*c_1001_10^14 - 43978419390807466923/49450128783268518338*c_1001_10^13 - 301837577309421769624/24725064391634259169*c_1001_10^12 + 851173741764595200859/49450128783268518338*c_1001_10^11 - 6120919596940235405279/49450128783268518338*c_1001_10^10 + 6401267865340062555859/49450128783268518338*c_1001_10^9 - 2352489663052620572585/49450128783268518338*c_1001_10^8 + 159374743036122843851/2247733126512205379*c_1001_10^7 + 2104502738899745324704/24725064391634259169*c_1001_10^6 + 5721300855011520585285/49450128783268518338*c_1001_10^5 + 376847611777267652724/24725064391634259169*c_1001_10^4 + 603018275016841682481/49450128783268518338*c_1001_10^3 + 170806957821473229197/49450128783268518338*c_1001_10^2 + 13043799339505354306/24725064391634259169*c_1001_10 + 1739849533738202808/24725064391634259169, c_0011_5 + 1, c_0011_6 + 1550488123312419956/24725064391634259169*c_1001_10^17 - 1107276391224858383/24725064391634259169*c_1001_10^16 + 14144037136856977063/49450128783268518338*c_1001_10^15 + 4491308747878373177/49450128783268518338*c_1001_10^14 - 23474694767047473405/49450128783268518338*c_1001_10^13 - 101636338434434248693/49450128783268518338*c_1001_10^12 + 148610363887025629363/49450128783268518338*c_1001_10^11 - 449715097087759488439/24725064391634259169*c_1001_10^10 + 471004025008051355372/24725064391634259169*c_1001_10^9 + 265383416236063902862/24725064391634259169*c_1001_10^8 - 32320677866617608433/4495466253024410758*c_1001_10^7 + 459421627300865037630/24725064391634259169*c_1001_10^6 + 419748432049773563115/49450128783268518338*c_1001_10^5 - 632299780245988289917/49450128783268518338*c_1001_10^4 - 812152310291648333897/49450128783268518338*c_1001_10^3 - 62994392978968589961/24725064391634259169*c_1001_10^2 - 53704061204658773901/49450128783268518338*c_1001_10 - 1576856867376341032/24725064391634259169, c_0101_1 - 1550488123312419956/24725064391634259169*c_1001_10^17 + 1107276391224858383/24725064391634259169*c_1001_10^16 - 14144037136856977063/49450128783268518338*c_1001_10^15 - 4491308747878373177/49450128783268518338*c_1001_10^14 + 23474694767047473405/49450128783268518338*c_1001_10^13 + 101636338434434248693/49450128783268518338*c_1001_10^12 - 148610363887025629363/49450128783268518338*c_1001_10^11 + 449715097087759488439/24725064391634259169*c_1001_10^10 - 471004025008051355372/24725064391634259169*c_1001_10^9 - 265383416236063902862/24725064391634259169*c_1001_10^8 + 32320677866617608433/4495466253024410758*c_1001_10^7 - 459421627300865037630/24725064391634259169*c_1001_10^6 - 419748432049773563115/49450128783268518338*c_1001_10^5 + 632299780245988289917/49450128783268518338*c_1001_10^4 + 812152310291648333897/49450128783268518338*c_1001_10^3 + 62994392978968589961/24725064391634259169*c_1001_10^2 + 53704061204658773901/49450128783268518338*c_1001_10 + 26301921259010600201/24725064391634259169, c_0101_11 - 11756595868669033816/24725064391634259169*c_1001_10^17 + 24558448824945373263/49450128783268518338*c_1001_10^16 - 136826586926743361339/49450128783268518338*c_1001_10^15 + 22670781401786843261/49450128783268518338*c_1001_10^14 + 55184819456032467965/49450128783268518338*c_1001_10^13 + 713021157238785346815/49450128783268518338*c_1001_10^12 - 655467007899508432141/24725064391634259169*c_1001_10^11 + 3969550044519174673583/24725064391634259169*c_1001_10^10 - 5308440247275614676933/24725064391634259169*c_1001_10^9 + 6184804150014865007749/49450128783268518338*c_1001_10^8 - 250091491376858191856/2247733126512205379*c_1001_10^7 - 3806219799014116915117/49450128783268518338*c_1001_10^6 - 5256893701716621333473/49450128783268518338*c_1001_10^5 + 981161180523374193165/49450128783268518338*c_1001_10^4 - 542887663641803904221/24725064391634259169*c_1001_10^3 - 166536305947518919779/49450128783268518338*c_1001_10^2 - 1403640033858078449/24725064391634259169*c_1001_10 - 19569281457638925003/24725064391634259169, c_0101_2 - 1, c_0101_4 + 1890636731335724146/2247733126512205379*c_1001_10^17 - 3022757508372202339/2247733126512205379*c_1001_10^16 + 12340604954758452636/2247733126512205379*c_1001_10^15 - 8404490298024524052/2247733126512205379*c_1001_10^14 - 1749958908591293715/2247733126512205379*c_1001_10^13 - 56453334999037751033/2247733126512205379*c_1001_10^12 + 136974683501593719058/2247733126512205379*c_1001_10^11 - 703711221323930937471/2247733126512205379*c_1001_10^10 + 1228160401031608686640/2247733126512205379*c_1001_10^9 - 1066215948604407696038/2247733126512205379*c_1001_10^8 + 906072702738710631959/2247733126512205379*c_1001_10^7 - 113452156455306070672/2247733126512205379*c_1001_10^6 + 380240365356190473971/2247733126512205379*c_1001_10^5 - 340436623748919476834/2247733126512205379*c_1001_10^4 + 164354873422714904353/2247733126512205379*c_1001_10^3 - 92773227032704498974/2247733126512205379*c_1001_10^2 + 19079191365027276309/2247733126512205379*c_1001_10 - 4373187939574189065/2247733126512205379, c_0101_6 - 8534496677721534813/24725064391634259169*c_1001_10^17 + 6048594959218261018/24725064391634259169*c_1001_10^16 - 92590887238536796937/49450128783268518338*c_1001_10^15 - 16014502922148370239/49450128783268518338*c_1001_10^14 + 24331779261347764204/24725064391634259169*c_1001_10^13 + 539787529629359785613/49450128783268518338*c_1001_10^12 - 389539346652439908692/24725064391634259169*c_1001_10^11 + 2709029803583012668596/24725064391634259169*c_1001_10^10 - 5782443477517670411777/49450128783268518338*c_1001_10^9 + 1726002983211929835637/49450128783268518338*c_1001_10^8 - 122292047225422305787/2247733126512205379*c_1001_10^7 - 3680035442577369546381/49450128783268518338*c_1001_10^6 - 4890541297620656447733/49450128783268518338*c_1001_10^5 - 30503418604172409967/49450128783268518338*c_1001_10^4 - 27405471697913253751/24725064391634259169*c_1001_10^3 - 10125533999711787552/24725064391634259169*c_1001_10^2 - 3431469963923072818/24725064391634259169*c_1001_10 + 32161276307960349815/49450128783268518338, c_0110_4 - 1550488123312419956/24725064391634259169*c_1001_10^17 + 1107276391224858383/24725064391634259169*c_1001_10^16 - 14144037136856977063/49450128783268518338*c_1001_10^15 - 4491308747878373177/49450128783268518338*c_1001_10^14 + 23474694767047473405/49450128783268518338*c_1001_10^13 + 101636338434434248693/49450128783268518338*c_1001_10^12 - 148610363887025629363/49450128783268518338*c_1001_10^11 + 449715097087759488439/24725064391634259169*c_1001_10^10 - 471004025008051355372/24725064391634259169*c_1001_10^9 - 265383416236063902862/24725064391634259169*c_1001_10^8 + 32320677866617608433/4495466253024410758*c_1001_10^7 - 459421627300865037630/24725064391634259169*c_1001_10^6 - 419748432049773563115/49450128783268518338*c_1001_10^5 + 632299780245988289917/49450128783268518338*c_1001_10^4 + 812152310291648333897/49450128783268518338*c_1001_10^3 + 62994392978968589961/24725064391634259169*c_1001_10^2 + 53704061204658773901/49450128783268518338*c_1001_10 + 26301921259010600201/24725064391634259169, c_0110_5 + 7665608231050135259/24725064391634259169*c_1001_10^17 - 13455477720922340691/24725064391634259169*c_1001_10^16 + 105388122929482417063/49450128783268518338*c_1001_10^15 - 83779197957602032775/49450128783268518338*c_1001_10^14 + 3385660167751958225/49450128783268518338*c_1001_10^13 - 447974573732510565529/49450128783268518338*c_1001_10^12 + 1176987248652428702151/49450128783268518338*c_1001_10^11 - 2965021058062693715188/24725064391634259169*c_1001_10^10 + 5442853968796168729947/24725064391634259169*c_1001_10^9 - 5307210733882189761259/24725064391634259169*c_1001_10^8 + 803738340847919615679/4495466253024410758*c_1001_10^7 - 865091744638644406866/24725064391634259169*c_1001_10^6 + 3201074211780371829125/49450128783268518338*c_1001_10^5 - 2637495287265865628273/49450128783268518338*c_1001_10^4 + 2294044708470530390523/49450128783268518338*c_1001_10^3 - 358456132581459172074/24725064391634259169*c_1001_10^2 + 214213518227766449003/49450128783268518338*c_1001_10 - 36418631119071343594/24725064391634259169, c_1001_10^18 - c_1001_10^17 + 6*c_1001_10^16 - c_1001_10^15 - c_1001_10^14 - 31*c_1001_10^13 + 54*c_1001_10^12 - 342*c_1001_10^11 + 451*c_1001_10^10 - 323*c_1001_10^9 + 345*c_1001_10^8 + 83*c_1001_10^7 + 307*c_1001_10^6 - 20*c_1001_10^5 + 93*c_1001_10^4 - 12*c_1001_10^3 + 15*c_1001_10^2 - 2*c_1001_10 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.380 Total time: 0.590 seconds, Total memory usage: 32.09MB