Magma V2.19-8 Tue Aug 20 2013 23:38:25 on localhost [Seed = 459112225] Type ? for help. Type -D to quit. Loading file "K11a360__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11a360 geometric_solution 9.76848624 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 11 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.880099540816 0.537138177279 0 3 2 4 0132 0132 1230 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 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.029451225357 0.541202926833 5 0 4 1 0132 0132 3201 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.029451225357 0.541202926833 6 1 7 8 0132 0132 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 -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.086655240715 0.574486921371 2 5 1 8 2310 0213 0132 0321 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 -1 1 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.960724674283 0.715928941242 2 7 4 8 0132 0132 0213 1230 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 1 0 5 -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.640831680484 0.541031990191 3 7 9 9 0132 1023 1230 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 -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.348374591907 0.990728501119 6 5 10 3 1023 0132 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.221171065478 1.383608553406 5 4 3 10 3012 0321 0132 0132 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 -1 0 1 0 0 0 0 6 -5 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.704481309457 0.933752464615 10 10 6 6 0213 2103 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.348374591907 0.990728501119 9 9 8 7 0213 2103 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 0 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.348374591907 0.990728501119 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0011_9'], 'c_1001_5' : d['c_1001_3'], 'c_1001_4' : d['c_1001_3'], 'c_1001_7' : d['c_0101_6'], 'c_1001_6' : d['c_0101_7'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0101_0']), 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_0011_4'], 'c_1010_10' : d['c_0101_6'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0011_9'], '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_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0101_7']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_9'], 'c_1100_4' : d['c_0011_4'], 'c_1100_7' : d['c_1100_10'], 'c_1100_6' : negation(d['c_0101_7']), 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_1100_10'], 'c_1100_2' : negation(d['c_0011_4']), 'c_1100_10' : d['c_1100_10'], 'c_1010_7' : d['c_1001_3'], 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : d['c_0101_6'], 'c_1010_4' : d['c_0011_9'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_1001_3'], 'c_1010_0' : negation(d['c_0101_0']), 'c_1010_9' : negation(d['c_0101_6']), 'c_1010_8' : d['c_0011_9'], 'c_1100_8' : d['c_1100_10'], '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' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : negation(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_9'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_0']), 'c_0011_6' : negation(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_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0101_7'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_10'], 'c_0101_2' : d['c_0011_8'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0101_6'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_7']), 'c_0110_8' : d['c_0011_9'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0011_8'], 'c_0110_4' : negation(d['c_0011_8']), 'c_0110_7' : d['c_0011_10'], 'c_0110_6' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_4, c_0011_8, c_0011_9, c_0101_0, c_0101_1, c_0101_6, c_0101_7, c_1001_3, c_1100_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 257236537050743582219/10335199311691464996*c_1100_10^27 - 378585500270274206597/5167599655845732498*c_1100_10^26 + 863273343720607082963/2583799827922866249*c_1100_10^25 - 1258726905997216487647/1722533218615244166*c_1100_10^24 + 521851732865442891200/287088869769207361*c_1100_10^23 - 10774775826404934339241/3445066437230488332*c_1100_10^22 + 54460230643959672427913/10335199311691464996*c_1100_10^21 - 72662047810798787195701/10335199311691464996*c_1100_10^20 + 9567331322286994457549/1148355479076829444*c_1100_10^19 - 489958559797753300913/63019507998118689*c_1100_10^18 + 6719726401303975156157/1148355479076829444*c_1100_10^17 - 18491491560271703797657/10335199311691464996*c_1100_10^16 - 3789784841122008559175/10335199311691464996*c_1100_10^15 + 23325014347914619904165/10335199311691464996*c_1100_10^14 + 4863915306050509085789/5167599655845732498*c_1100_10^13 - 21370914387320014434409/3445066437230488332*c_1100_10^12 + 56721899583956699943215/5167599655845732498*c_1100_10^11 - 85618238968908812345261/5167599655845732498*c_1100_10^10 + 12771861650269267833562/861266609307622083*c_1100_10^9 - 1571917049905659740779/126039015996237378*c_1100_10^8 + 6217194804893157539092/861266609307622083*c_1100_10^7 - 7199473848935995035943/3445066437230488332*c_1100_10^6 + 705780787464188500463/2583799827922866249*c_1100_10^5 + 3707291740636363758913/10335199311691464996*c_1100_10^4 - 2178401727029961848191/10335199311691464996*c_1100_10^3 - 891496625824470888127/1722533218615244166*c_1100_10^2 + 140358399095491501177/574177739538414722*c_1100_10 + 45739379496448644716/2583799827922866249, c_0011_0 - 1, c_0011_10 + 24290952271/79840543176*c_1100_10^27 - 115735208501/79840543176*c_1100_10^26 + 443173923439/79840543176*c_1100_10^25 - 107076422431/6653378598*c_1100_10^24 + 327227500031/8871171464*c_1100_10^23 - 1018025118643/13306757196*c_1100_10^22 + 5095119038405/39920271588*c_1100_10^21 - 7820082336331/39920271588*c_1100_10^20 + 1088754331437/4435585732*c_1100_10^19 - 21477447457631/79840543176*c_1100_10^18 + 2066009069349/8871171464*c_1100_10^17 - 1474655287918/9980067897*c_1100_10^16 + 2678053058363/79840543176*c_1100_10^15 + 262983897131/9980067897*c_1100_10^14 - 414092085401/9980067897*c_1100_10^13 - 1339070687899/13306757196*c_1100_10^12 + 2535399722605/9980067897*c_1100_10^11 - 8466565968251/19960135794*c_1100_10^10 + 7077177978385/13306757196*c_1100_10^9 - 35951676945203/79840543176*c_1100_10^8 + 9671813978573/26613514392*c_1100_10^7 - 2343440565583/13306757196*c_1100_10^6 + 4073356267801/79840543176*c_1100_10^5 - 460487222995/79840543176*c_1100_10^4 - 977588729351/79840543176*c_1100_10^3 + 9093350297/26613514392*c_1100_10^2 + 140005440571/8871171464*c_1100_10 - 248216062775/79840543176, c_0011_4 + 29379786583/26613514392*c_1100_10^27 - 26358254203/8871171464*c_1100_10^26 + 380402320361/26613514392*c_1100_10^25 - 130868814501/4435585732*c_1100_10^24 + 675908424321/8871171464*c_1100_10^23 - 139901957910/1108896433*c_1100_10^22 + 1449103893763/6653378598*c_1100_10^21 - 629481322261/2217792866*c_1100_10^20 + 4546842038159/13306757196*c_1100_10^19 - 8367189518539/26613514392*c_1100_10^18 + 2154512822721/8871171464*c_1100_10^17 - 933441963991/13306757196*c_1100_10^16 - 31294835669/26613514392*c_1100_10^15 + 335532761297/3326689299*c_1100_10^14 + 177031634615/3326689299*c_1100_10^13 - 269133481125/1108896433*c_1100_10^12 + 5881311948223/13306757196*c_1100_10^11 - 9108749980715/13306757196*c_1100_10^10 + 2590673829587/4435585732*c_1100_10^9 - 14149863339029/26613514392*c_1100_10^8 + 7693660823747/26613514392*c_1100_10^7 - 315122683670/3326689299*c_1100_10^6 + 147057604757/8871171464*c_1100_10^5 + 148929615557/8871171464*c_1100_10^4 - 117000093519/8871171464*c_1100_10^3 - 603680161739/26613514392*c_1100_10^2 + 144228495481/26613514392*c_1100_10 - 14960593567/26613514392, c_0011_8 + 90888793843/79840543176*c_1100_10^27 - 148312998605/79840543176*c_1100_10^26 + 902285804179/79840543176*c_1100_10^25 - 47573061452/3326689299*c_1100_10^24 + 391142516757/8871171464*c_1100_10^23 - 141315285310/3326689299*c_1100_10^22 + 762328980047/9980067897*c_1100_10^21 - 1556347192327/39920271588*c_1100_10^20 + 59691369139/3326689299*c_1100_10^19 + 6081510835993/79840543176*c_1100_10^18 - 1061276435187/8871171464*c_1100_10^17 + 2073214076174/9980067897*c_1100_10^16 - 6487640489143/79840543176*c_1100_10^15 + 870838185410/9980067897*c_1100_10^14 + 1755109358362/9980067897*c_1100_10^13 - 661506611278/3326689299*c_1100_10^12 + 6714958472851/39920271588*c_1100_10^11 - 3533226340505/19960135794*c_1100_10^10 - 665965000154/3326689299*c_1100_10^9 + 11734241788327/79840543176*c_1100_10^8 - 2783502767215/8871171464*c_1100_10^7 + 1526813547293/6653378598*c_1100_10^6 - 6315337351757/79840543176*c_1100_10^5 + 2157323467901/79840543176*c_1100_10^4 + 1031027669659/79840543176*c_1100_10^3 - 886551921515/26613514392*c_1100_10^2 - 542675689057/26613514392*c_1100_10 + 537928248175/79840543176, c_0011_9 + 1, c_0101_0 - 46961804701/79840543176*c_1100_10^27 + 267972849695/79840543176*c_1100_10^26 - 991378726087/79840543176*c_1100_10^25 + 514381380341/13306757196*c_1100_10^24 - 781832160213/8871171464*c_1100_10^23 + 629416462174/3326689299*c_1100_10^22 - 6360597392869/19960135794*c_1100_10^21 + 9957443498879/19960135794*c_1100_10^20 - 2116046148329/3326689299*c_1100_10^19 + 56723219745401/79840543176*c_1100_10^18 - 5582944679643/8871171464*c_1100_10^17 + 16759462489759/39920271588*c_1100_10^16 - 8698766857925/79840543176*c_1100_10^15 - 1167948093001/19960135794*c_1100_10^14 + 5041855491815/39920271588*c_1100_10^13 + 1439941190045/6653378598*c_1100_10^12 - 12701325473681/19960135794*c_1100_10^11 + 42728544140593/39920271588*c_1100_10^10 - 4674142627831/3326689299*c_1100_10^9 + 96696717135047/79840543176*c_1100_10^8 - 26265777972079/26613514392*c_1100_10^7 + 1135198956981/2217792866*c_1100_10^6 - 11984073929845/79840543176*c_1100_10^5 + 1973145187219/79840543176*c_1100_10^4 + 2292786218501/79840543176*c_1100_10^3 - 19601317067/8871171464*c_1100_10^2 - 1133677588927/26613514392*c_1100_10 + 870973130897/79840543176, c_0101_1 - 31992379921/79840543176*c_1100_10^27 + 240918966059/79840543176*c_1100_10^26 - 842191929007/79840543176*c_1100_10^25 + 477900317219/13306757196*c_1100_10^24 - 714087025813/8871171464*c_1100_10^23 + 598045494925/3326689299*c_1100_10^22 - 6043693244383/19960135794*c_1100_10^21 + 4822198739203/9980067897*c_1100_10^20 - 2063258104693/3326689299*c_1100_10^19 + 55988399525669/79840543176*c_1100_10^18 - 5529391075291/8871171464*c_1100_10^17 + 16954174444717/39920271588*c_1100_10^16 - 8041703094029/79840543176*c_1100_10^15 - 1225927626889/19960135794*c_1100_10^14 + 6015894470891/39920271588*c_1100_10^13 + 1230019578785/6653378598*c_1100_10^12 - 6146197955188/9980067897*c_1100_10^11 + 41205116723875/39920271588*c_1100_10^10 - 9312339525851/6653378598*c_1100_10^9 + 95518362067091/79840543176*c_1100_10^8 - 8645135296501/8871171464*c_1100_10^7 + 3368867959441/6653378598*c_1100_10^6 - 10595970305113/79840543176*c_1100_10^5 + 1037707432867/79840543176*c_1100_10^4 + 2511903313037/79840543176*c_1100_10^3 - 154984164985/26613514392*c_1100_10^2 - 1170347270219/26613514392*c_1100_10 + 997428349301/79840543176, c_0101_6 - 36214023175/79840543176*c_1100_10^27 + 223821815639/79840543176*c_1100_10^26 - 807258554731/79840543176*c_1100_10^25 + 107364021482/3326689299*c_1100_10^24 - 643841633255/8871171464*c_1100_10^23 + 1045773837041/6653378598*c_1100_10^22 - 10471674441299/39920271588*c_1100_10^21 + 16401232242493/39920271588*c_1100_10^20 - 6903806260811/13306757196*c_1100_10^19 + 45981632792777/79840543176*c_1100_10^18 - 4434758923457/8871171464*c_1100_10^17 + 6515796149927/19960135794*c_1100_10^16 - 5242814113427/79840543176*c_1100_10^15 - 566733486785/9980067897*c_1100_10^14 + 1061394036191/9980067897*c_1100_10^13 + 640147214587/3326689299*c_1100_10^12 - 5388001885102/9980067897*c_1100_10^11 + 17644747579673/19960135794*c_1100_10^10 - 15254737515229/13306757196*c_1100_10^9 + 76853614103039/79840543176*c_1100_10^8 - 20590459063117/26613514392*c_1100_10^7 + 846460610969/2217792866*c_1100_10^6 - 8377574914057/79840543176*c_1100_10^5 + 763782839569/79840543176*c_1100_10^4 + 1515766129031/79840543176*c_1100_10^3 + 9961440387/8871171464*c_1100_10^2 - 913672594393/26613514392*c_1100_10 + 682228570043/79840543176, c_0101_7 - 26358791621/26613514392*c_1100_10^27 + 100877151671/26613514392*c_1100_10^26 - 140698138521/8871171464*c_1100_10^25 + 90631262629/2217792866*c_1100_10^24 - 869093936625/8871171464*c_1100_10^23 + 836865733537/4435585732*c_1100_10^22 - 2125569943307/6653378598*c_1100_10^21 + 6198984388201/13306757196*c_1100_10^20 - 7693969817963/13306757196*c_1100_10^19 + 5347859969939/8871171464*c_1100_10^18 - 4477036116343/8871171464*c_1100_10^17 + 1834386989917/6653378598*c_1100_10^16 - 402751331311/8871171464*c_1100_10^15 - 343135825576/3326689299*c_1100_10^14 + 198109447379/4435585732*c_1100_10^13 + 1265140345961/4435585732*c_1100_10^12 - 8707014923657/13306757196*c_1100_10^11 + 2329009265535/2217792866*c_1100_10^10 - 1301269269828/1108896433*c_1100_10^9 + 26893112844577/26613514392*c_1100_10^8 - 19350347840159/26613514392*c_1100_10^7 + 4344732653351/13306757196*c_1100_10^6 - 2273971032853/26613514392*c_1100_10^5 - 111753550379/26613514392*c_1100_10^4 + 522445710731/26613514392*c_1100_10^3 + 425609690603/26613514392*c_1100_10^2 - 761598743365/26613514392*c_1100_10 + 54211216875/8871171464, c_1001_3 + 90888793843/79840543176*c_1100_10^27 - 148312998605/79840543176*c_1100_10^26 + 902285804179/79840543176*c_1100_10^25 - 47573061452/3326689299*c_1100_10^24 + 391142516757/8871171464*c_1100_10^23 - 141315285310/3326689299*c_1100_10^22 + 762328980047/9980067897*c_1100_10^21 - 1556347192327/39920271588*c_1100_10^20 + 59691369139/3326689299*c_1100_10^19 + 6081510835993/79840543176*c_1100_10^18 - 1061276435187/8871171464*c_1100_10^17 + 2073214076174/9980067897*c_1100_10^16 - 6487640489143/79840543176*c_1100_10^15 + 870838185410/9980067897*c_1100_10^14 + 1755109358362/9980067897*c_1100_10^13 - 661506611278/3326689299*c_1100_10^12 + 6714958472851/39920271588*c_1100_10^11 - 3533226340505/19960135794*c_1100_10^10 - 665965000154/3326689299*c_1100_10^9 + 11734241788327/79840543176*c_1100_10^8 - 2783502767215/8871171464*c_1100_10^7 + 1526813547293/6653378598*c_1100_10^6 - 6315337351757/79840543176*c_1100_10^5 + 2157323467901/79840543176*c_1100_10^4 + 1031027669659/79840543176*c_1100_10^3 - 886551921515/26613514392*c_1100_10^2 - 542675689057/26613514392*c_1100_10 + 537928248175/79840543176, c_1100_10^28 - 3*c_1100_10^27 + 15*c_1100_10^26 - 34*c_1100_10^25 + 93*c_1100_10^24 - 168*c_1100_10^23 + 316*c_1100_10^22 - 456*c_1100_10^21 + 626*c_1100_10^20 - 689*c_1100_10^19 + 677*c_1100_10^18 - 470*c_1100_10^17 + 277*c_1100_10^16 + 20*c_1100_10^15 + 16*c_1100_10^14 - 128*c_1100_10^13 + 530*c_1100_10^12 - 1018*c_1100_10^11 + 1202*c_1100_10^10 - 1391*c_1100_10^9 + 1037*c_1100_10^8 - 732*c_1100_10^7 + 349*c_1100_10^6 - 83*c_1100_10^5 + 5*c_1100_10^4 - c_1100_10^3 + 3*c_1100_10^2 - 29*c_1100_10 + 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.120 Total time: 0.330 seconds, Total memory usage: 32.09MB