Magma V2.19-8 Wed Aug 21 2013 01:08:11 on localhost [Seed = 981213959] Type ? for help. Type -D to quit. Loading file "L14n38647__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n38647 geometric_solution 11.90304603 oriented_manifold CS_known 0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 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 -1 0 1 0 0 0 0 4 -3 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.209396074532 0.974270910348 0 5 2 6 0132 0132 1023 0132 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 0 0 0 0 0 0 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.404561062585 0.656477289584 4 0 1 7 0132 0132 1023 0132 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 1 0 -1 0 0 0 0 1 -1 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.937252520210 1.759972642084 8 9 8 0 0132 0132 1023 0132 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 0 0 0 0 0 -1 0 0 1 3 -4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.210861451385 0.981088965767 2 7 0 8 0132 1023 0132 1023 1 1 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 -1 0 0 0 0 0 3 0 0 -3 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.209396074532 0.974270910348 7 1 9 10 1023 0132 1023 0132 1 1 0 0 0 0 -1 1 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 -6 6 7 0 0 -7 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.766024213705 0.366761395109 9 11 1 12 3012 0132 0132 0132 1 1 1 0 0 1 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 7 0 -7 0 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.010616915626 0.918304448229 4 5 2 12 1023 1023 0132 1023 1 1 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 -7 1 6 -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.404561062585 0.656477289584 3 10 3 4 0132 0132 1023 1023 1 1 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 0 0 0 0 0 0 0 -3 0 0 3 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.210861451385 0.981088965767 11 3 5 6 3012 0132 1023 1230 1 1 0 0 0 0 0 0 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 6 -6 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.752734769050 1.008316353217 11 8 5 12 0321 0132 0132 0321 1 1 0 0 0 0 -1 1 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 -6 6 0 0 7 -7 0 0 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.752734769050 1.008316353217 10 6 12 9 0321 0132 3201 1230 1 0 0 1 0 -1 1 0 1 0 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 -7 7 0 -4 0 0 4 0 0 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.028284768621 0.827258435296 11 10 6 7 2310 0321 0132 1023 1 1 0 1 0 -1 1 0 1 0 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 -6 7 -1 6 0 0 -6 0 0 0 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.010616915626 0.918304448229 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_12']), 'c_1001_10' : d['c_0101_2'], 'c_1001_12' : negation(d['c_0101_12']), 'c_1001_5' : d['c_0101_9'], 'c_1001_4' : d['c_0101_1'], 'c_1001_7' : d['c_0101_5'], 'c_1001_6' : d['c_0101_9'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_1'], 'c_1001_9' : d['c_0101_5'], 'c_1001_8' : d['c_0101_3'], 'c_1010_12' : d['c_0101_3'], 'c_1010_11' : d['c_0101_9'], 'c_1010_10' : d['c_0101_3'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : negation(d['c_0101_10']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(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' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_0101_12'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : negation(d['c_0101_12']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_1100_1']), 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_1100_1']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_11']), 'c_1100_10' : negation(d['c_0101_12']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_10'], 'c_1010_6' : negation(d['c_0101_12']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : d['c_0101_9'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : d['c_0101_0'], 'c_1010_8' : d['c_0101_2'], 'c_1100_8' : negation(d['c_1100_0']), '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' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : negation(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' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_10']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_11']), '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_10']), 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_12' : d['c_0101_10'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_1'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], '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_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : d['c_0101_12'], 's_2_9' : d['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_11, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_2, c_0101_3, c_0101_5, c_0101_9, c_1100_0, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 102427721564737647545705165558587783817013/209508245601041414999879\ 57030068939413248*c_1100_1^11 + 12819898976924361561040508283964078\ 758201303/83803298240416565999951828120275757652992*c_1100_1^10 - 33115948232750470694280792551484267881569593/2095082456010414149998\ 7957030068939413248*c_1100_1^9 + 2561690898457948221839494002209827\ 55611198431/41901649120208282999975914060137878826496*c_1100_1^8 - 113028019686840989526951042679814305332468877/209508245601041414999\ 87957030068939413248*c_1100_1^7 - 447689019496678114419900239630033\ 493217795467/83803298240416565999951828120275757652992*c_1100_1^6 - 1246589112180039941998826329608149933237337/81839158437906802734327\ 957148706794583*c_1100_1^5 + 13815166014305726497191746452090647132\ 4818177/41901649120208282999975914060137878826496*c_1100_1^4 - 475483705397455398081311676029421691558287/209508245601041414999879\ 57030068939413248*c_1100_1^3 + 278820030421040248979599736156782519\ 877093087/83803298240416565999951828120275757652992*c_1100_1^2 - 934204766509908375376399579449780209447105/308100361178002080882175\ 838677484403136*c_1100_1 + 1066265472242091003513505679435310154434\ 835/2618853070013017687498494628758617426656, c_0011_0 - 1, c_0011_10 + 2585424724551348115225949625915765/131892277901541986679013\ 629570840926*c_1100_1^11 - 333241542595113683266023107333144679/527\ 569111606167946716054518283363704*c_1100_1^10 + 455601073665943642332445002005635224/659461389507709933395068147854\ 20463*c_1100_1^9 - 8015089539843728181260195775306320435/2637845558\ 03083973358027259141681852*c_1100_1^8 + 5812174769846503355740504112660744287/13189227790154198667901362957\ 0840926*c_1100_1^7 + 1613514028569254811285992564444327555/52756911\ 1606167946716054518283363704*c_1100_1^6 + 5090042171791775059109909391018960589/13189227790154198667901362957\ 0840926*c_1100_1^5 - 18253901906197872758672751832940270641/2637845\ 55803083973358027259141681852*c_1100_1^4 + 767572180097580942114550387980226963/131892277901541986679013629570\ 840926*c_1100_1^3 - 5196425864113223048720677545320277239/527569111\ 606167946716054518283363704*c_1100_1^2 + 3226897570945346833463044054061531775/13189227790154198667901362957\ 0840926*c_1100_1 - 494898850572143072702258216820275541/65946138950\ 770993339506814785420463, c_0011_11 + 1721537747126147298260880117511893/131892277901541986679013\ 629570840926*c_1100_1^11 - 215331288378409433433641454637156251/527\ 569111606167946716054518283363704*c_1100_1^10 + 2223555794801885806150757500289611287/52756911160616794671605451828\ 3363704*c_1100_1^9 - 4307181069820005641483080466994601995/26378455\ 5803083973358027259141681852*c_1100_1^8 + 3973261896745305883034716442150826901/26378455580308397335802725914\ 1681852*c_1100_1^7 + 5405491354143873649590614568811353835/52756911\ 1606167946716054518283363704*c_1100_1^6 + 24880843707360778156721212184117901265/5275691116061679467160545182\ 83363704*c_1100_1^5 - 2022879832611579119105871988266919835/2637845\ 55803083973358027259141681852*c_1100_1^4 + 1076930183525360539622860502734830023/26378455580308397335802725914\ 1681852*c_1100_1^3 - 6864391394774667815404926997320883835/52756911\ 1606167946716054518283363704*c_1100_1^2 + 5042556708132671218703259988722597619/52756911160616794671605451828\ 3363704*c_1100_1 - 74672227889331823560874500750291273/659461389507\ 70993339506814785420463, c_0101_0 - 1, c_0101_1 - 2095137433993474394484977330435961/1318922779015419866790136\ 29570840926*c_1100_1^11 + 262748693814249793438757332496826855/5275\ 69111606167946716054518283363704*c_1100_1^10 - 2725780478625051885548204333925008727/52756911160616794671605451828\ 3363704*c_1100_1^9 + 5323634303244332785155461334913042193/26378455\ 5803083973358027259141681852*c_1100_1^8 - 4944799264941588640052559445512882781/26378455580308397335802725914\ 1681852*c_1100_1^7 - 8619762119628017139130500957047695875/52756911\ 1606167946716054518283363704*c_1100_1^6 - 25606241008433384295419753623097605329/5275691116061679467160545182\ 83363704*c_1100_1^5 + 4018282381308628870381514573193384209/2637845\ 55803083973358027259141681852*c_1100_1^4 - 726100953947604654412687041438434875/263784555803083973358027259141\ 681852*c_1100_1^3 + 4818712899594940635068810833864403783/527569111\ 606167946716054518283363704*c_1100_1^2 - 6061396658090747628128542995423015651/52756911160616794671605451828\ 3363704*c_1100_1 + 193497656796476709193999662392541301/65946138950\ 770993339506814785420463, c_0101_10 - 757366871609493210934763210289816/6594613895077099333950681\ 4785420463*c_1100_1^11 + 23615120402077843729111326843048480/659461\ 38950770993339506814785420463*c_1100_1^10 - 484791304800773618441230775950978029/131892277901541986679013629570\ 840926*c_1100_1^9 + 924318576417076638383044110171904779/6594613895\ 0770993339506814785420463*c_1100_1^8 - 1551697308466847366370632953029922521/13189227790154198667901362957\ 0840926*c_1100_1^7 - 730551804022648469072683450837572346/659461389\ 50770993339506814785420463*c_1100_1^6 - 2718001075735451735328767740545526490/65946138950770993339506814785\ 420463*c_1100_1^5 + 282293348356921064119304695044732986/6594613895\ 0770993339506814785420463*c_1100_1^4 - 537422148147132813065079848855064043/131892277901541986679013629570\ 840926*c_1100_1^3 + 659922887586589005454316533204221715/6594613895\ 0770993339506814785420463*c_1100_1^2 - 1124287173420058891510535836061594475/13189227790154198667901362957\ 0840926*c_1100_1 + 97890006305833191137888484246084545/659461389507\ 70993339506814785420463, c_0101_12 - 835069702314532146848183890972197/6594613895077099333950681\ 4785420463*c_1100_1^11 + 104582547125739828899295577390121355/26378\ 4555803083973358027259141681852*c_1100_1^10 - 1081346649976731302832653570005123239/26378455580308397335802725914\ 1681852*c_1100_1^9 + 2088951140890245670451763319072203437/13189227\ 7901541986679013629570840926*c_1100_1^8 - 1776442917676733621842834947763156339/13189227790154198667901362957\ 0840926*c_1100_1^7 - 4472785574410494576738669586172536227/26378455\ 5803083973358027259141681852*c_1100_1^6 - 9266238666161949972169542877016026661/26378455580308397335802725914\ 1681852*c_1100_1^5 + 1551372869611299185346877609221736923/13189227\ 7901541986679013629570840926*c_1100_1^4 + 320880600049558378415922489731173143/131892277901541986679013629570\ 840926*c_1100_1^3 + 1520012331254107755276957250831975371/263784555\ 803083973358027259141681852*c_1100_1^2 - 2158807096059341919561223467141362699/26378455580308397335802725914\ 1681852*c_1100_1 + 125926085880930908780928742618695086/65946138950\ 770993339506814785420463, c_0101_2 + 1394014025648459967595314163355781/1318922779015419866790136\ 29570840926*c_1100_1^11 - 176345451913769315342371166593165083/5275\ 69111606167946716054518283363704*c_1100_1^10 + 1861548405575828882105186152375289355/52756911160616794671605451828\ 3363704*c_1100_1^9 - 3792546602206934513657104828423014431/26378455\ 5803083973358027259141681852*c_1100_1^8 + 4288254337372278907410435053268045033/26378455580308397335802725914\ 1681852*c_1100_1^7 + 3654324372228781576420278175545306127/52756911\ 1606167946716054518283363704*c_1100_1^6 + 15832074401806299215268133338959072949/5275691116061679467160545182\ 83363704*c_1100_1^5 - 4594055396310336539697369661129793481/2637845\ 55803083973358027259141681852*c_1100_1^4 + 489340109379184094991057258944569555/263784555803083973358027259141\ 681852*c_1100_1^3 - 4548905762794283094274498941685251935/527569111\ 606167946716054518283363704*c_1100_1^2 + 4863544864419749950278819582905381879/52756911160616794671605451828\ 3363704*c_1100_1 - 141079507670016983792706955781121357/65946138950\ 770993339506814785420463, c_0101_3 + 1, c_0101_5 + 1394014025648459967595314163355781/1318922779015419866790136\ 29570840926*c_1100_1^11 - 176345451913769315342371166593165083/5275\ 69111606167946716054518283363704*c_1100_1^10 + 1861548405575828882105186152375289355/52756911160616794671605451828\ 3363704*c_1100_1^9 - 3792546602206934513657104828423014431/26378455\ 5803083973358027259141681852*c_1100_1^8 + 4288254337372278907410435053268045033/26378455580308397335802725914\ 1681852*c_1100_1^7 + 3654324372228781576420278175545306127/52756911\ 1606167946716054518283363704*c_1100_1^6 + 15832074401806299215268133338959072949/5275691116061679467160545182\ 83363704*c_1100_1^5 - 4594055396310336539697369661129793481/2637845\ 55803083973358027259141681852*c_1100_1^4 + 489340109379184094991057258944569555/263784555803083973358027259141\ 681852*c_1100_1^3 - 4548905762794283094274498941685251935/527569111\ 606167946716054518283363704*c_1100_1^2 + 4863544864419749950278819582905381879/52756911160616794671605451828\ 3363704*c_1100_1 - 141079507670016983792706955781121357/65946138950\ 770993339506814785420463, c_0101_9 - 757366871609493210934763210289816/65946138950770993339506814\ 785420463*c_1100_1^11 + 23615120402077843729111326843048480/6594613\ 8950770993339506814785420463*c_1100_1^10 - 484791304800773618441230775950978029/131892277901541986679013629570\ 840926*c_1100_1^9 + 924318576417076638383044110171904779/6594613895\ 0770993339506814785420463*c_1100_1^8 - 1551697308466847366370632953029922521/13189227790154198667901362957\ 0840926*c_1100_1^7 - 730551804022648469072683450837572346/659461389\ 50770993339506814785420463*c_1100_1^6 - 2718001075735451735328767740545526490/65946138950770993339506814785\ 420463*c_1100_1^5 + 282293348356921064119304695044732986/6594613895\ 0770993339506814785420463*c_1100_1^4 - 537422148147132813065079848855064043/131892277901541986679013629570\ 840926*c_1100_1^3 + 659922887586589005454316533204221715/6594613895\ 0770993339506814785420463*c_1100_1^2 - 1124287173420058891510535836061594475/13189227790154198667901362957\ 0840926*c_1100_1 + 97890006305833191137888484246084545/659461389507\ 70993339506814785420463, c_1100_0 + 2441534082903327104935560129387195/1318922779015419866790136\ 29570840926*c_1100_1^11 - 305629131321767494132512679200616821/5275\ 69111606167946716054518283363704*c_1100_1^10 + 3158987313375703524944823210771117345/52756911160616794671605451828\ 3363704*c_1100_1^9 - 6114963410545624395894080750159608051/26378455\ 5803083973358027259141681852*c_1100_1^8 + 5438873116993692147758596492932854317/26378455580308397335802725914\ 1681852*c_1100_1^7 + 10282957065009449894478105045343386473/5275691\ 11606167946716054518283363704*c_1100_1^6 + 31661284373434779471864624893699138995/5275691116061679467160545182\ 83363704*c_1100_1^5 - 4403022978576553174506582914020122503/2637845\ 55803083973358027259141681852*c_1100_1^4 + 374372525130129290962374232212525011/263784555803083973358027259141\ 681852*c_1100_1^3 - 6699069310429241396494487127325577173/527569111\ 606167946716054518283363704*c_1100_1^2 + 7482114121693150413130858835227031389/52756911160616794671605451828\ 3363704*c_1100_1 - 211392797193093283596081522062082754/65946138950\ 770993339506814785420463, c_1100_1^12 - 127/4*c_1100_1^11 + 1351/4*c_1100_1^10 - 25213/18*c_1100_1^9 + 3389/2*c_1100_1^8 + 6289/12*c_1100_1^7 + 96017/36*c_1100_1^6 - 4133/2*c_1100_1^5 + 987/2*c_1100_1^4 - 8237/12*c_1100_1^3 + 34051/36*c_1100_1^2 - 3736/9*c_1100_1 + 544/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.330 Total time: 0.540 seconds, Total memory usage: 32.09MB