Magma V2.19-8 Wed Aug 21 2013 00:55:25 on localhost [Seed = 3852730264] Type ? for help. Type -D to quit. Loading file "L13a6857__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L13a6857 geometric_solution 11.42000125 oriented_manifold CS_known -0.0000000000000001 3 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 2 2 2 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 -1 0 0 0 0 0 1 -1 0 0 3 -2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.391365860235 0.559780543082 0 5 6 5 0132 0132 0132 0213 1 2 0 2 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 4 -1 -3 0 0 0 0 -3 3 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.598962633546 0.543235261182 7 0 9 8 0132 0132 0132 0132 2 0 0 2 0 0 0 0 0 0 0 0 -1 1 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 0 0 0 0 -2 2 0 0 5 1 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.594261314358 0.936807674250 10 6 4 0 0132 2031 2310 0132 2 2 0 2 0 0 0 0 0 0 0 0 0 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 -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.391365860235 0.559780543082 4 3 0 4 3201 3201 0132 2310 2 2 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.838902100186 1.199903008792 10 1 8 1 2310 0132 2103 0213 1 0 2 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 -4 1 3 0 0 0 0 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.598962633546 0.543235261182 3 8 8 1 1302 2103 2031 0132 1 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 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.083960000443 0.830811807852 2 11 12 12 0132 0132 0132 2031 0 0 2 0 0 -1 0 1 0 0 0 0 -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 -2 0 2 0 0 0 0 -5 0 0 5 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.547979276363 1.285694063026 5 6 2 6 2103 2103 0132 1302 2 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 -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.598962633546 0.543235261182 12 11 10 2 0132 1230 2310 0132 2 0 2 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 -1 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 -6 0 0 6 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.480778348446 1.754636420546 3 9 5 11 0132 3201 3201 2310 0 2 2 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 3 -3 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.594261314358 0.936807674250 10 7 9 12 3201 0132 3012 1302 0 2 0 2 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 2 -3 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 1.020057715915 0.808706260193 9 7 11 7 0132 1302 2031 0132 0 0 0 2 0 0 0 0 0 0 0 0 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 0 0 0 1 0 -1 0 0 -2 0 2 6 -5 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.835467906631 0.868919706354 ==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' : negation(d['c_0101_5']), 'c_1001_12' : d['c_0101_12'], 'c_1001_5' : d['c_0011_8'], 'c_1001_4' : d['c_0101_11'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_0011_8'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_6'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_11'], 'c_1001_9' : negation(d['c_0101_12']), 'c_1001_8' : d['c_0011_6'], 'c_1010_12' : d['c_1001_7'], 'c_1010_11' : d['c_1001_7'], 'c_1010_10' : d['c_0101_12'], 's_3_11' : d['1'], 's_3_10' : negation(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_0'], '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' : 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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : negation(d['c_0011_0']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_8'], 'c_1100_4' : d['c_0011_4'], 'c_1100_7' : negation(d['c_1001_7']), 'c_1100_6' : d['c_1001_1'], 'c_1100_1' : d['c_1001_1'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_10'], 's_0_10' : negation(d['1']), 'c_1100_9' : d['c_0011_10'], 'c_1100_11' : d['c_0101_12'], 'c_1100_10' : negation(d['c_0011_0']), 's_0_11' : negation(d['1']), 'c_1010_7' : d['c_0011_12'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : d['c_0011_6'], 'c_1010_1' : d['c_0011_8'], 'c_1010_0' : d['c_0101_11'], 'c_1010_9' : d['c_0101_11'], 'c_1010_8' : negation(d['c_1001_1']), 'c_1100_8' : d['c_0011_10'], 's_3_1' : 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' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_1001_7']), 's_1_7' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_12']), 'c_0110_10' : negation(d['c_0101_11']), 'c_0110_12' : d['c_0101_5'], 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : d['c_0101_5'], 'c_0101_6' : d['c_0011_10'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_11']), 'c_0101_2' : d['c_0101_12'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_5'], 'c_0101_8' : d['c_0101_5'], 's_1_12' : d['1'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : negation(d['c_0011_8']), '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_5'], 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_7' : d['c_0101_12'], '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_4, c_0011_6, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_5, c_1001_1, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 199265560780628630135375256080000824952377736439/128716409429441947\ 4040677068018866529600418816*c_1001_7^12 + 2085726243016340138190142442559937956796989050841/12871640942944194\ 74040677068018866529600418816*c_1001_7^11 + 6667145782218456859514420967481072454556362441685/12871640942944194\ 74040677068018866529600418816*c_1001_7^10 + 18951192870589388857792923692302599500124573996439/1287164094294419\ 474040677068018866529600418816*c_1001_7^9 + 10550446389619898007738342195772627211507076471019/1608955117868024\ 34255084633502358316200052352*c_1001_7^8 + 231303661243028895808445108907730521516089896592289/128716409429441\ 9474040677068018866529600418816*c_1001_7^7 + 153081860691619249514152368324136382336878802532199/643582047147209\ 737020338534009433264800209408*c_1001_7^6 + 91394267716923797937846998950177719620036866096163/6435820471472097\ 37020338534009433264800209408*c_1001_7^5 + 20763238977053889932468500582791185693908105633417/6435820471472097\ 37020338534009433264800209408*c_1001_7^4 + 148154650562516911064200964231963509464913779319/201119389733503042\ 81885579187794789525006544*c_1001_7^3 + 3933764775951159668426948687692686011155882827301/64358204714720973\ 7020338534009433264800209408*c_1001_7^2 + 380214333227041867433006912132667732347703688169/160895511786802434\ 255084633502358316200052352*c_1001_7 - 183111954161549038352055333963131525975089672963/128716409429441947\ 4040677068018866529600418816, c_0011_0 - 1, c_0011_10 + 1, c_0011_12 - 305450804610593128429404831644585157/6209574955697458006783\ 86364797666707*c_1001_7^12 + 3255058384965200611266546345696500598/\ 620957495569745800678386364797666707*c_1001_7^11 + 9594619927458582890471448368651813142/62095749556974580067838636479\ 7666707*c_1001_7^10 + 27315106107132507774794610043863353584/620957\ 495569745800678386364797666707*c_1001_7^9 + 124558030952840555680364009113961037013/620957495569745800678386364\ 797666707*c_1001_7^8 + 331815098306825154965358463399914883335/6209\ 57495569745800678386364797666707*c_1001_7^7 + 410295755561297848600176105090833117618/620957495569745800678386364\ 797666707*c_1001_7^6 + 213806248136257670132228379896574825487/6209\ 57495569745800678386364797666707*c_1001_7^5 + 38524404716765717122467165465606642087/6209574955697458006783863647\ 97666707*c_1001_7^4 + 14165507156593895735782978106079954497/620957\ 495569745800678386364797666707*c_1001_7^3 + 8444521371565550341844605012813885447/62095749556974580067838636479\ 7666707*c_1001_7^2 + 3153674751048325314711048131178593301/62095749\ 5569745800678386364797666707*c_1001_7 - 656348564611838412325296659981193427/620957495569745800678386364797\ 666707, c_0011_4 - 373322780104504380688042479606931839/62095749556974580067838\ 6364797666707*c_1001_7^12 + 3930937026620699924941956119891622027/6\ 20957495569745800678386364797666707*c_1001_7^11 + 12258655793937179962596978844487203611/6209574955697458006783863647\ 97666707*c_1001_7^10 + 34608374232680393211183183928558413411/62095\ 7495569745800678386364797666707*c_1001_7^9 + 155376752069191718172352730321398177391/620957495569745800678386364\ 797666707*c_1001_7^8 + 422027613506456049313609612543244302856/6209\ 57495569745800678386364797666707*c_1001_7^7 + 540521575462475455337004867654723518937/620957495569745800678386364\ 797666707*c_1001_7^6 + 288470042451362296068714047781241937794/6209\ 57495569745800678386364797666707*c_1001_7^5 + 27953255207481084532831618907026624832/6209574955697458006783863647\ 97666707*c_1001_7^4 - 7154211958488572368073620753524567068/6209574\ 95569745800678386364797666707*c_1001_7^3 + 9757425054502567941645581753681730826/62095749556974580067838636479\ 7666707*c_1001_7^2 + 5278689076525063936727836751318916113/62095749\ 5569745800678386364797666707*c_1001_7 - 1618063652241990853649414746136039702/62095749556974580067838636479\ 7666707, c_0011_6 - 473275676795115840645533800993888905/62095749556974580067838\ 6364797666707*c_1001_7^12 + 4926953341408756975026207368242677309/6\ 20957495569745800678386364797666707*c_1001_7^11 + 16133553985928415059739375930466012985/6209574955697458006783863647\ 97666707*c_1001_7^10 + 45723833478809958312363062703717143960/62095\ 7495569745800678386364797666707*c_1001_7^9 + 202490747869705544441012970633117121920/620957495569745800678386364\ 797666707*c_1001_7^8 + 559220574420508248225845063506991337321/6209\ 57495569745800678386364797666707*c_1001_7^7 + 751339455477495126516783731793757462129/620957495569745800678386364\ 797666707*c_1001_7^6 + 456972811534413946140258948602534056063/6209\ 57495569745800678386364797666707*c_1001_7^5 + 100728907298688781154225949230854429688/620957495569745800678386364\ 797666707*c_1001_7^4 + 16231591280307836924508031302308244818/62095\ 7495569745800678386364797666707*c_1001_7^3 + 16832116779348062928309395934264791094/6209574955697458006783863647\ 97666707*c_1001_7^2 + 7119912888954553638718723297508059912/6209574\ 95569745800678386364797666707*c_1001_7 - 19881065785017238316075926988781017/6209574955697458006783863647976\ 66707, c_0011_8 + 473275676795115840645533800993888905/62095749556974580067838\ 6364797666707*c_1001_7^12 - 4926953341408756975026207368242677309/6\ 20957495569745800678386364797666707*c_1001_7^11 - 16133553985928415059739375930466012985/6209574955697458006783863647\ 97666707*c_1001_7^10 - 45723833478809958312363062703717143960/62095\ 7495569745800678386364797666707*c_1001_7^9 - 202490747869705544441012970633117121920/620957495569745800678386364\ 797666707*c_1001_7^8 - 559220574420508248225845063506991337321/6209\ 57495569745800678386364797666707*c_1001_7^7 - 751339455477495126516783731793757462129/620957495569745800678386364\ 797666707*c_1001_7^6 - 456972811534413946140258948602534056063/6209\ 57495569745800678386364797666707*c_1001_7^5 - 100728907298688781154225949230854429688/620957495569745800678386364\ 797666707*c_1001_7^4 - 16231591280307836924508031302308244818/62095\ 7495569745800678386364797666707*c_1001_7^3 - 16832116779348062928309395934264791094/6209574955697458006783863647\ 97666707*c_1001_7^2 - 7119912888954553638718723297508059912/6209574\ 95569745800678386364797666707*c_1001_7 + 640838561354763038994462291786447724/620957495569745800678386364797\ 666707, c_0101_0 + 473275676795115840645533800993888905/62095749556974580067838\ 6364797666707*c_1001_7^12 - 4926953341408756975026207368242677309/6\ 20957495569745800678386364797666707*c_1001_7^11 - 16133553985928415059739375930466012985/6209574955697458006783863647\ 97666707*c_1001_7^10 - 45723833478809958312363062703717143960/62095\ 7495569745800678386364797666707*c_1001_7^9 - 202490747869705544441012970633117121920/620957495569745800678386364\ 797666707*c_1001_7^8 - 559220574420508248225845063506991337321/6209\ 57495569745800678386364797666707*c_1001_7^7 - 751339455477495126516783731793757462129/620957495569745800678386364\ 797666707*c_1001_7^6 - 456972811534413946140258948602534056063/6209\ 57495569745800678386364797666707*c_1001_7^5 - 100728907298688781154225949230854429688/620957495569745800678386364\ 797666707*c_1001_7^4 - 16231591280307836924508031302308244818/62095\ 7495569745800678386364797666707*c_1001_7^3 - 16832116779348062928309395934264791094/6209574955697458006783863647\ 97666707*c_1001_7^2 - 7119912888954553638718723297508059912/6209574\ 95569745800678386364797666707*c_1001_7 + 19881065785017238316075926988781017/6209574955697458006783863647976\ 66707, c_0101_1 - 1, c_0101_11 - 1211240913300645713480976244821068949/620957495569745800678\ 386364797666707*c_1001_7^12 + 1268044889109080298597292816208221147\ 8/620957495569745800678386364797666707*c_1001_7^11 + 40520692666648709418978933062788783753/6209574955697458006783863647\ 97666707*c_1001_7^10 + 114942614791908929788236790738492693918/6209\ 57495569745800678386364797666707*c_1001_7^9 + 512008559929133168152734566622644989625/620957495569745800678386364\ 797666707*c_1001_7^8 + 1402935648573014379458067051285423898881/620\ 957495569745800678386364797666707*c_1001_7^7 + 1849450762399824716271092483795669431622/62095749556974580067838636\ 4797666707*c_1001_7^6 + 1080512298254457259331507030679997143874/62\ 0957495569745800678386364797666707*c_1001_7^5 + 210191480433987023650439738377530388839/620957495569745800678386364\ 797666707*c_1001_7^4 + 33389960945666010386143830788976832017/62095\ 7495569745800678386364797666707*c_1001_7^3 + 46518948179467896228836755309465335138/6209574955697458006783863647\ 97666707*c_1001_7^2 + 18200360123599645289400430986150511513/620957\ 495569745800678386364797666707*c_1001_7 - 3166365061937427669150638285244999361/62095749556974580067838636479\ 7666707, c_0101_12 - 313837146304105131184386178883053368/6209574955697458006783\ 86364797666707*c_1001_7^12 + 3264976385781867880568396849748915009/\ 620957495569745800678386364797666707*c_1001_7^11 + 10739584048678636765063306006607004660/6209574955697458006783863647\ 97666707*c_1001_7^10 + 30179733968325210392378718950469177474/62095\ 7495569745800678386364797666707*c_1001_7^9 + 134093763914823800844607372827545599815/620957495569745800678386364\ 797666707*c_1001_7^8 + 370459704607158848329037007497674854941/6209\ 57495569745800678386364797666707*c_1001_7^7 + 494484748386110604546667544633864305607/620957495569745800678386364\ 797666707*c_1001_7^6 + 292171788530756600346185790717946707557/6209\ 57495569745800678386364797666707*c_1001_7^5 + 57634176278224354386184869179119499698/6209574955697458006783863647\ 97666707*c_1001_7^4 + 11063864410823397612034443184352960042/620957\ 495569745800678386364797666707*c_1001_7^3 + 13261759787491758467091161373989493261/6209574955697458006783863647\ 97666707*c_1001_7^2 + 4051378949991112546305284585413214818/6209574\ 95569745800678386364797666707*c_1001_7 - 633481033347226435380811266642188303/620957495569745800678386364797\ 666707, c_0101_5 + 44560269786658922284034796165795276/620957495569745800678386\ 364797666707*c_1001_7^12 - 454364262464275064441385573313282164/620\ 957495569745800678386364797666707*c_1001_7^11 - 1633914856811028851712771145990471354/62095749556974580067838636479\ 7666707*c_1001_7^10 - 4457980427472361639751879769563231336/6209574\ 95569745800678386364797666707*c_1001_7^9 - 19526465465475967464050517756382429594/6209574955697458006783863647\ 97666707*c_1001_7^8 - 55473897549212013636666514834635203223/620957\ 495569745800678386364797666707*c_1001_7^7 - 75901175857776830923138542454632502669/6209574955697458006783863647\ 97666707*c_1001_7^6 - 42772074845638298349777788590085246517/620957\ 495569745800678386364797666707*c_1001_7^5 - 2299569539452634415898707578893794444/62095749556974580067838636479\ 7666707*c_1001_7^4 + 1070333910284302746874076729457823996/62095749\ 5569745800678386364797666707*c_1001_7^3 - 3138941016757943958728069667858014293/62095749556974580067838636479\ 7666707*c_1001_7^2 - 1412400255081005216885853209954492930/62095749\ 5569745800678386364797666707*c_1001_7 + 19559252474122666972237385688599872/6209574955697458006783863647976\ 66707, c_1001_1 - 1, c_1001_7^13 - 95/9*c_1001_7^12 - 2635/81*c_1001_7^11 - 7465/81*c_1001_7^10 - 33632/81*c_1001_7^9 - 10111/9*c_1001_7^8 - 116186/81*c_1001_7^7 - 63434/81*c_1001_7^6 - 1166/9*c_1001_7^5 - 2464/81*c_1001_7^4 - 2870/81*c_1001_7^3 - 952/81*c_1001_7^2 + 181/81*c_1001_7 - 8/81 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB