Magma V2.19-8 Tue Aug 20 2013 23:39:44 on localhost [Seed = 2951334679] Type ? for help. Type -D to quit. Loading file "K14n16076__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n16076 geometric_solution 10.06102999 oriented_manifold CS_known 0.0000000000000008 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 0 0 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 0 1 0 0 -1 1 -3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.554017416519 0.847115011106 0 5 6 2 0132 0132 0132 0132 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 -1 1 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.592079981860 0.561239418539 7 0 1 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 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.633197504195 0.622252784398 9 8 7 0 0132 1023 1023 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 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.225030709914 0.531650931376 10 8 0 5 0132 0132 0132 1230 0 0 0 0 0 0 0 0 -1 0 0 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 -1 1 -2 0 -1 3 1 0 0 -1 2 1 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.012124544290 1.156814256219 4 1 8 9 3012 0132 0132 2103 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 3 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.682905574439 0.853949722916 10 10 7 1 3012 3201 3012 0132 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 -1 0 1 0 0 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.195740619095 0.908303690938 2 6 3 9 0132 1230 1023 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 1.718356927110 0.662009051577 3 4 2 5 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.495482290633 1.258485874123 3 10 7 5 0132 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.400847864570 0.876963596681 4 9 6 6 0132 0132 2310 1230 0 0 0 0 0 0 0 0 1 0 -1 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 2 0 -2 0 -2 0 0 2 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.422724140393 1.067438087116 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_1001_1']), 'c_1001_5' : d['c_1001_2'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_0']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : d['c_0101_7'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_6'], 'c_1001_8' : d['c_0101_5'], 'c_1010_10' : d['c_0101_6'], 's_0_10' : negation(d['1']), 's_3_10' : negation(d['1']), 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0011_0'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(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' : 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_1100_9' : negation(d['c_0110_5']), 'c_1100_8' : negation(d['c_0101_3']), 'c_1100_5' : negation(d['c_0101_3']), 'c_1100_4' : d['c_0110_5'], 'c_1100_7' : negation(d['c_0110_5']), 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : d['c_0110_5'], 'c_1100_3' : d['c_0110_5'], 'c_1100_2' : negation(d['c_0101_3']), 'c_1100_10' : d['c_0011_6'], 'c_1010_7' : d['c_0101_6'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : d['c_1001_2'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_1001_1']), 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : negation(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' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['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_10']), 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), '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' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0011_6'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_6'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_7'], 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_6'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_0'], 'c_0110_7' : d['c_0101_0'], 'c_0110_6' : d['c_0011_6']})} 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_6, c_0101_0, c_0101_3, c_0101_5, c_0101_6, c_0101_7, c_0110_5, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 124280465525903434489054980334/65760285544492911114309471905*c_1001\ _2^18 + 570274766947784121182101448979/6576028554449291111430947190\ 5*c_1001_2^17 + 1822542834441726739622651385661/6576028554449291111\ 4309471905*c_1001_2^16 + 9058533255058785148630845374627/1315205710\ 88985822228618943810*c_1001_2^15 + 17310455270862706836124883000477/131520571088985822228618943810*c_1\ 001_2^14 + 116418176486440355825030188306/7226405004889330891682359\ 55*c_1001_2^13 + 1172690614552179968488081790362/131520571088985822\ 22861894381*c_1001_2^12 + 2853489805784942099127434708519/657602855\ 44492911114309471905*c_1001_2^11 + 12103594600587001579376919045097/131520571088985822228618943810*c_1\ 001_2^10 + 25769117330241092540451610900039/13152057108898582222861\ 8943810*c_1001_2^9 + 689924364656208952464412624654/346106766023646\ 9006016287995*c_1001_2^8 + 19586341458236341504106783240021/1315205\ 71088985822228618943810*c_1001_2^7 + 4006472648592233184985781362163/18788653012712260318374134830*c_100\ 1_2^6 + 13753015829051765011809033344301/65760285544492911114309471\ 905*c_1001_2^5 + 11228229328791236137785118810666/65760285544492911\ 114309471905*c_1001_2^4 + 3153326556988273414331144026684/657602855\ 44492911114309471905*c_1001_2^3 + 140789929507168746076994882887/69\ 22135320472938012032575990*c_1001_2^2 - 3139055856097120825975153854801/131520571088985822228618943810*c_10\ 01_2 + 66899204758013063109465959243/3757730602542452063674826966, c_0011_0 - 1, c_0011_10 - 5555158539245500157672/107137212822673549172459*c_1001_2^18 - 22980448109250914986542/107137212822673549172459*c_1001_2^17 - 73906119285100862657589/107137212822673549172459*c_1001_2^16 - 16354294451178225982312/9739746620243049924769*c_1001_2^15 - 341250861495174492891317/107137212822673549172459*c_1001_2^14 - 36715645446322005774098/9739746620243049924769*c_1001_2^13 - 21851092079746139450106/9739746620243049924769*c_1001_2^12 - 204170436728785877527186/107137212822673549172459*c_1001_2^11 - 294815712029997690933421/107137212822673549172459*c_1001_2^10 - 560396922196006194293887/107137212822673549172459*c_1001_2^9 - 482715921257051263166809/107137212822673549172459*c_1001_2^8 - 534737238905568163200811/107137212822673549172459*c_1001_2^7 - 562309529464804645666179/107137212822673549172459*c_1001_2^6 - 652954016523877449745700/107137212822673549172459*c_1001_2^5 - 399252551549094683128356/107137212822673549172459*c_1001_2^4 - 312468630304683811593649/107137212822673549172459*c_1001_2^3 - 191197085114645819690870/107137212822673549172459*c_1001_2^2 - 53841874603077588202326/107137212822673549172459*c_1001_2 - 76691857731240099553279/107137212822673549172459, c_0011_6 - 1629999634671594069954/107137212822673549172459*c_1001_2^18 - 3807413409022490691113/107137212822673549172459*c_1001_2^17 - 16283461303843714352164/107137212822673549172459*c_1001_2^16 - 3576969099455219004387/9739746620243049924769*c_1001_2^15 - 90135889636916327057456/107137212822673549172459*c_1001_2^14 - 12695519650083043450452/9739746620243049924769*c_1001_2^13 - 21535854347684360980485/9739746620243049924769*c_1001_2^12 - 363786952073817490510503/107137212822673549172459*c_1001_2^11 - 223146819231162279848958/107137212822673549172459*c_1001_2^10 - 192191009078601315912259/107137212822673549172459*c_1001_2^9 - 10643743275168377395686/107137212822673549172459*c_1001_2^8 - 537083325261963647030767/107137212822673549172459*c_1001_2^7 - 338219388617827996335360/107137212822673549172459*c_1001_2^6 - 542006442926343756491652/107137212822673549172459*c_1001_2^5 - 217084485359755949276872/107137212822673549172459*c_1001_2^4 - 564307150004425389697660/107137212822673549172459*c_1001_2^3 - 221109790999354992382479/107137212822673549172459*c_1001_2^2 - 175153036450638534715749/107137212822673549172459*c_1001_2 + 52271762918688411652023/107137212822673549172459, c_0101_0 - 24545302741585615499094/107137212822673549172459*c_1001_2^18 - 90953217022666241923057/107137212822673549172459*c_1001_2^17 - 294185401820296882081555/107137212822673549172459*c_1001_2^16 - 62445892296321622351853/9739746620243049924769*c_1001_2^15 - 1267893431021739832474119/107137212822673549172459*c_1001_2^14 - 122743059913659949543973/9739746620243049924769*c_1001_2^13 - 58267106899952253572674/9739746620243049924769*c_1001_2^12 - 650421560747184880120490/107137212822673549172459*c_1001_2^11 - 808529374646359855680170/107137212822673549172459*c_1001_2^10 - 2108777145383309979868960/107137212822673549172459*c_1001_2^9 - 1180238019232693806211219/107137212822673549172459*c_1001_2^8 - 2034820755623994521544681/107137212822673549172459*c_1001_2^7 - 1401864170230874734324741/107137212822673549172459*c_1001_2^6 - 2300750123301148192877816/107137212822673549172459*c_1001_2^5 - 835609144875864404050463/107137212822673549172459*c_1001_2^4 - 877475542212852838939325/107137212822673549172459*c_1001_2^3 + 211445010601053429092543/107137212822673549172459*c_1001_2^2 - 85881093953556979625247/107137212822673549172459*c_1001_2 + 69918671690274895885852/107137212822673549172459, c_0101_3 - 1847402823936576427588/107137212822673549172459*c_1001_2^18 - 4752267516909081411662/107137212822673549172459*c_1001_2^17 - 12199479174987136522746/107137212822673549172459*c_1001_2^16 - 1542808803548967450890/9739746620243049924769*c_1001_2^15 - 6948041178968378376519/107137212822673549172459*c_1001_2^14 + 6938931208160765220988/9739746620243049924769*c_1001_2^13 + 17696398179607160317843/9739746620243049924769*c_1001_2^12 + 136020361754402290950031/107137212822673549172459*c_1001_2^11 + 13308485460049079677283/107137212822673549172459*c_1001_2^10 - 120424103830996926182414/107137212822673549172459*c_1001_2^9 + 199886061179645897702873/107137212822673549172459*c_1001_2^8 + 217245331680061313965792/107137212822673549172459*c_1001_2^7 + 183393287379481726830933/107137212822673549172459*c_1001_2^6 + 35349356681087622799292/107137212822673549172459*c_1001_2^5 + 202109437482601008223767/107137212822673549172459*c_1001_2^4 + 264248829446953978068110/107137212822673549172459*c_1001_2^3 + 94280383252991803247524/107137212822673549172459*c_1001_2^2 - 9178182141738364123873/107137212822673549172459*c_1001_2 - 61843202895153094553631/107137212822673549172459, c_0101_5 - 20440605441227178943278/107137212822673549172459*c_1001_2^18 - 63590267159353987856273/107137212822673549172459*c_1001_2^17 - 203726762510894950045665/107137212822673549172459*c_1001_2^16 - 40125678732831307504363/9739746620243049924769*c_1001_2^15 - 762371465147567744643117/107137212822673549172459*c_1001_2^14 - 54981651635169962730508/9739746620243049924769*c_1001_2^13 - 5178378768661537022865/9739746620243049924769*c_1001_2^12 - 410267757280265919674719/107137212822673549172459*c_1001_2^11 - 365705758045047551557274/107137212822673549172459*c_1001_2^10 - 1328279287601870169804698/107137212822673549172459*c_1001_2^9 - 28197056698402485980520/107137212822673549172459*c_1001_2^8 - 1456854734805082833958553/107137212822673549172459*c_1001_2^7 - 384695664693282977375623/107137212822673549172459*c_1001_2^6 - 1349394120983532719706594/107137212822673549172459*c_1001_2^5 + 231566661859310648804513/107137212822673549172459*c_1001_2^4 - 513095783636134581031025/107137212822673549172459*c_1001_2^3 + 531874886135215139371518/107137212822673549172459*c_1001_2^2 - 175068232236638863504099/107137212822673549172459*c_1001_2 + 136780381603308789916512/107137212822673549172459, c_0101_6 - 21745804476813860061442/107137212822673549172459*c_1001_2^18 - 90070577232284951999343/107137212822673549172459*c_1001_2^17 - 296368403277562903908871/107137212822673549172459*c_1001_2^16 - 65879769069912571168301/9739746620243049924769*c_1001_2^15 - 1397805038797918259970456/107137212822673549172459*c_1001_2^14 - 155348474186992733472735/9739746620243049924769*c_1001_2^13 - 103184229981762809285534/9739746620243049924769*c_1001_2^12 - 883910920084447432029660/107137212822673549172459*c_1001_2^11 - 1014142027337674580736198/107137212822673549172459*c_1001_2^10 - 2184678262259802453858148/107137212822673549172459*c_1001_2^9 - 1818934914591857198469043/107137212822673549172459*c_1001_2^8 - 2326838917589519332203781/107137212822673549172459*c_1001_2^7 - 2202688045722732053180531/107137212822673549172459*c_1001_2^6 - 2771045220253439393275931/107137212822673549172459*c_1001_2^5 - 1645038227776976366415215/107137212822673549172459*c_1001_2^4 - 1178599517065441810420178/107137212822673549172459*c_1001_2^3 - 194724159487389110269637/107137212822673549172459*c_1001_2^2 - 33446011226539628062425/107137212822673549172459*c_1001_2 - 4637581561445413078423/107137212822673549172459, c_0101_7 + 7647985502090208770210/107137212822673549172459*c_1001_2^18 + 39512933840233618691137/107137212822673549172459*c_1001_2^17 + 136484058636011636968630/107137212822673549172459*c_1001_2^16 + 32775719130559781171576/9739746620243049924769*c_1001_2^15 + 746055153308067323454772/107137212822673549172459*c_1001_2^14 + 98559992769490437814725/9739746620243049924769*c_1001_2^13 + 87597034125925225745874/9739746620243049924769*c_1001_2^12 + 619874723338601846450880/107137212822673549172459*c_1001_2^11 + 532240864234216448744043/107137212822673549172459*c_1001_2^10 + 1018735827661407737105801/107137212822673549172459*c_1001_2^9 + 1419111703054784772987210/107137212822673549172459*c_1001_2^8 + 1387561989644298276203247/107137212822673549172459*c_1001_2^7 + 1421273663245167718272263/107137212822673549172459*c_1001_2^6 + 1536662060619130179208324/107137212822673549172459*c_1001_2^5 + 1491058053044600732633533/107137212822673549172459*c_1001_2^4 + 923603990405174135538483/107137212822673549172459*c_1001_2^3 + 192202662997928505747538/107137212822673549172459*c_1001_2^2 - 70933257970330170360013/107137212822673549172459*c_1001_2 - 63017086930072591407324/107137212822673549172459, c_0110_5 + 12178142036573379847672/107137212822673549172459*c_1001_2^18 + 48178655667252329624524/107137212822673549172459*c_1001_2^17 + 163029081529844783234770/107137212822673549172459*c_1001_2^16 + 36056989386754129874627/9739746620243049924769*c_1001_2^15 + 776626198755056098341360/107137212822673549172459*c_1001_2^14 + 88038652398063959549675/9739746620243049924769*c_1001_2^13 + 67161000537755455393278/9739746620243049924769*c_1001_2^12 + 648329771102415758848178/107137212822673549172459*c_1001_2^11 + 587781910880847342728854/107137212822673549172459*c_1001_2^10 + 1336046856157021667909377/107137212822673549172459*c_1001_2^9 + 1035344461622368008353095/107137212822673549172459*c_1001_2^8 + 1633550343713235658771813/107137212822673549172459*c_1001_2^7 + 1168000624807383915279755/107137212822673549172459*c_1001_2^6 + 1798390946177002700204887/107137212822673549172459*c_1001_2^5 + 1036565490675938914947368/107137212822673549172459*c_1001_2^4 + 989892440322903605740448/107137212822673549172459*c_1001_2^3 + 202865351975523392964601/107137212822673549172459*c_1001_2^2 + 242375718767426208538147/107137212822673549172459*c_1001_2 - 7048835579789311036034/107137212822673549172459, c_1001_1 + 11397746494355805471116/107137212822673549172459*c_1001_2^18 + 54940112463345174555904/107137212822673549172459*c_1001_2^17 + 176155575130660975020451/107137212822673549172459*c_1001_2^16 + 40214772490076548768275/9739746620243049924769*c_1001_2^15 + 852673120757977744272917/107137212822673549172459*c_1001_2^14 + 97265401938052754100557/9739746620243049924769*c_1001_2^13 + 55297585791365623725671/9739746620243049924769*c_1001_2^12 + 235342682235785634010720/107137212822673549172459*c_1001_2^11 + 581898994893087281804976/107137212822673549172459*c_1001_2^10 + 1296404797503853586594893/107137212822673549172459*c_1001_2^9 + 1400270019789456207555397/107137212822673549172459*c_1001_2^8 + 906448899401510030763757/107137212822673549172459*c_1001_2^7 + 1379665118535458496202221/107137212822673549172459*c_1001_2^6 + 1353259836426441394057522/107137212822673549172459*c_1001_2^5 + 1206271425856284375895267/107137212822673549172459*c_1001_2^4 + 248833193869892650347028/107137212822673549172459*c_1001_2^3 + 169232291792367141581047/107137212822673549172459*c_1001_2^2 - 163884965225190308044557/107137212822673549172459*c_1001_2 + 63795920503031709680153/107137212822673549172459, c_1001_2^19 + 7/2*c_1001_2^18 + 23/2*c_1001_2^17 + 53/2*c_1001_2^16 + 49*c_1001_2^15 + 103/2*c_1001_2^14 + 55/2*c_1001_2^13 + 67/2*c_1001_2^12 + 63/2*c_1001_2^11 + 171/2*c_1001_2^10 + 39*c_1001_2^9 + 189/2*c_1001_2^8 + 52*c_1001_2^7 + 203/2*c_1001_2^6 + 63/2*c_1001_2^5 + 97/2*c_1001_2^4 - 9*c_1001_2^3 + 13*c_1001_2^2 - 5*c_1001_2 + 5/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.250 Total time: 0.470 seconds, Total memory usage: 32.09MB