Magma V2.19-8 Tue Aug 20 2013 16:15:53 on localhost [Seed = 3018993544] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0114 geometric_solution 3.63525119 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 3201 0 0 0 0 0 0 -1 1 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 -1 0 1 -1 0 0 1 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.764270507605 0.036286508462 0 0 2 2 0132 3201 2310 0132 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 0 0 0 -1 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 1.700473669397 0.161837100222 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 0 -1 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 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 1.182653193059 0.089418155206 2 4 4 2 0132 0132 1023 1023 0 0 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 -1 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 1.327276754083 0.480799693048 5 3 3 6 0132 0132 1023 0132 0 0 0 0 0 0 -1 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 0 0 0 -1 0 1 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.203384996394 0.404668866105 4 6 6 6 0132 2310 1302 3201 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 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.004769583202 1.009006944658 5 5 4 5 2031 2310 0132 3201 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 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.004769583202 1.009006944658 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : negation(d['1']), 's_3_0' : d['1'], '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_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' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : negation(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_6' : d['c_0011_2'], 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_2'], '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_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0101_1']), '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_3'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_6, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 2750255190452395268444331437772150855423781583278892/49840093491081\ 447017242847362521567723009212752543*c_0101_4^22 - 14432036324100969362254467271046672868325455067707036/4984009349108\ 1447017242847362521567723009212752543*c_0101_4^21 - 103372817309688170344710511713342829325974702845081847/498400934910\ 81447017242847362521567723009212752543*c_0101_4^20 + 290671540145259373293513468305767247915229560446168495/498400934910\ 81447017242847362521567723009212752543*c_0101_4^19 + 1994126383311004228004388802527110035167252699436035221/49840093491\ 081447017242847362521567723009212752543*c_0101_4^18 - 699393681673979779263160368788772752257607314433342149/498400934910\ 81447017242847362521567723009212752543*c_0101_4^17 - 13696773693137434147407981691397516570294220064168184207/4984009349\ 1081447017242847362521567723009212752543*c_0101_4^16 - 1341780270784871745728662949270028463322997597226878868/49840093491\ 081447017242847362521567723009212752543*c_0101_4^15 + 49459868515469828913034816078878633323574078016366057039/4984009349\ 1081447017242847362521567723009212752543*c_0101_4^14 + 13186394257549507472827151548946322933540730371742067429/4984009349\ 1081447017242847362521567723009212752543*c_0101_4^13 - 109381011946669315448646767037057838391488117905144362119/498400934\ 91081447017242847362521567723009212752543*c_0101_4^12 - 54848555984700611663318587212565830370426858141516166319/4984009349\ 1081447017242847362521567723009212752543*c_0101_4^11 + 129391345088179306166411984747725451312192298152021430446/498400934\ 91081447017242847362521567723009212752543*c_0101_4^10 + 89307686359153545058467401337137005326983523892574227696/4984009349\ 1081447017242847362521567723009212752543*c_0101_4^9 - 6249579286697593303768539698323308881595601481461563929/38338533454\ 67803616710988258655505209462247134811*c_0101_4^8 - 66452137343413229345014259603856812458452558546620308396/4984009349\ 1081447017242847362521567723009212752543*c_0101_4^7 + 29564296645972794293522250698123695236826070614194121233/4984009349\ 1081447017242847362521567723009212752543*c_0101_4^6 + 24716991356428258381723223312972331445643570038144904210/4984009349\ 1081447017242847362521567723009212752543*c_0101_4^5 - 7332155638384138613123170023621023745279030893625850748/49840093491\ 081447017242847362521567723009212752543*c_0101_4^4 - 5070939695476336836201990081628044656075158659631548477/49840093491\ 081447017242847362521567723009212752543*c_0101_4^3 + 966455750350884318198116689810598802647861775119852784/498400934910\ 81447017242847362521567723009212752543*c_0101_4^2 + 578399462446274569165086954496730802206863440586601877/498400934910\ 81447017242847362521567723009212752543*c_0101_4 + 27928065503304931726276672446679741984521063606644986/4984009349108\ 1447017242847362521567723009212752543, c_0011_0 - 1, c_0011_2 - 308536760384663793831419357997122156486561737252/38338533454\ 67803616710988258655505209462247134811*c_0101_4^22 + 2245265873453475615300754652422974199556802583470/38338533454678036\ 16710988258655505209462247134811*c_0101_4^21 + 7528662009973213854532098395408685238364756979232/38338533454678036\ 16710988258655505209462247134811*c_0101_4^20 - 51027577035123046298642591462038214188983064493656/3833853345467803\ 616710988258655505209462247134811*c_0101_4^19 - 134653829164444703370255226080927039354418718631010/383385334546780\ 3616710988258655505209462247134811*c_0101_4^18 + 419499326749628395927688824904399773270512590252532/383385334546780\ 3616710988258655505209462247134811*c_0101_4^17 + 953185332144076997184599132917969525901607245531505/383385334546780\ 3616710988258655505209462247134811*c_0101_4^16 - 2204893436971009197511376716530374918533608959614100/38338533454678\ 03616710988258655505209462247134811*c_0101_4^15 - 2882126910518766139344184855490817247119271922591834/38338533454678\ 03616710988258655505209462247134811*c_0101_4^14 + 6237203485276428922410833375580914392567626343171288/38338533454678\ 03616710988258655505209462247134811*c_0101_4^13 + 5367816002705518046702964692265299747484596411997686/38338533454678\ 03616710988258655505209462247134811*c_0101_4^12 - 9383171024236222635856805304041204544852181430827910/38338533454678\ 03616710988258655505209462247134811*c_0101_4^11 - 6660601807197351611618680157488826830235221321739310/38338533454678\ 03616710988258655505209462247134811*c_0101_4^10 + 8082774132460557835013537786242068037958340813274273/38338533454678\ 03616710988258655505209462247134811*c_0101_4^9 + 4718324641772359940027153698732851723473773142546602/38338533454678\ 03616710988258655505209462247134811*c_0101_4^8 - 4250699960205438217494913832684644131856079350651931/38338533454678\ 03616710988258655505209462247134811*c_0101_4^7 - 1564594272874117604893643665649449632864334829880510/38338533454678\ 03616710988258655505209462247134811*c_0101_4^6 + 1303446776777959252957960055371231187843502703748843/38338533454678\ 03616710988258655505209462247134811*c_0101_4^5 + 209419231305738848066971654137536586133667749795866/383385334546780\ 3616710988258655505209462247134811*c_0101_4^4 - 173471915766768157689724503756717311369135964339776/383385334546780\ 3616710988258655505209462247134811*c_0101_4^3 - 29196225615787681586629583713701612549794873391960/3833853345467803\ 616710988258655505209462247134811*c_0101_4^2 + 2496014189107471931359900282945869121836530478084/38338533454678036\ 16710988258655505209462247134811*c_0101_4 + 1703120005594615429304207031365755572542730301298/38338533454678036\ 16710988258655505209462247134811, c_0011_6 - 595238241484814978637166291530658782126099137612/38338533454\ 67803616710988258655505209462247134811*c_0101_4^22 + 4156681951874057882782545280146466706168677628674/38338533454678036\ 16710988258655505209462247134811*c_0101_4^21 + 15643340484856433165284182015065462126793789645572/3833853345467803\ 616710988258655505209462247134811*c_0101_4^20 - 93242606910008665660029125714947110286544279057824/3833853345467803\ 616710988258655505209462247134811*c_0101_4^19 - 283762300423632562683925149032350846859767828063918/383385334546780\ 3616710988258655505209462247134811*c_0101_4^18 + 713338703999934566784955024620896979430595255245564/383385334546780\ 3616710988258655505209462247134811*c_0101_4^17 + 1984254597567716524445662652980426139210961026728177/38338533454678\ 03616710988258655505209462247134811*c_0101_4^16 - 3613022997067661771756914325701077354839351298311800/38338533454678\ 03616710988258655505209462247134811*c_0101_4^15 - 6192795598348352400028287078400004392589784793691954/38338533454678\ 03616710988258655505209462247134811*c_0101_4^14 + 10025803517949775885988524014435905953428503473146408/3833853345467\ 803616710988258655505209462247134811*c_0101_4^13 + 11871222012461840256346483536098335003829394856978078/3833853345467\ 803616710988258655505209462247134811*c_0101_4^12 - 14272150771710734399088712175244419153835479127662530/3833853345467\ 803616710988258655505209462247134811*c_0101_4^11 - 14128702548468288654867005899813802715769747065206174/3833853345467\ 803616710988258655505209462247134811*c_0101_4^10 + 11648890168755131827096481310297716367524373263296425/3833853345467\ 803616710988258655505209462247134811*c_0101_4^9 + 9414382644266539485801681416479438013621856428775826/38338533454678\ 03616710988258655505209462247134811*c_0101_4^8 - 6114102812959104796149866108294182660595094589489647/38338533454678\ 03616710988258655505209462247134811*c_0101_4^7 - 3000489394753329582235744602411405557022768569220278/38338533454678\ 03616710988258655505209462247134811*c_0101_4^6 + 1997835457854778845463674080186305437859949451300171/38338533454678\ 03616710988258655505209462247134811*c_0101_4^5 + 344257676453068969395772837436769480024579107845646/383385334546780\ 3616710988258655505209462247134811*c_0101_4^4 - 292487108371050335381045456872351589130916651708541/383385334546780\ 3616710988258655505209462247134811*c_0101_4^3 - 19063103552510268135950975297210332558464149975464/3833853345467803\ 616710988258655505209462247134811*c_0101_4^2 + 4894545041408098921077299363611280457374722976767/38338533454678036\ 16710988258655505209462247134811*c_0101_4 + 800541168411093302961054634882310657184674717490/383385334546780361\ 6710988258655505209462247134811, c_0101_0 + 1117470483929725894989955092263162811739468283328/3833853345\ 467803616710988258655505209462247134811*c_0101_4^22 - 7771053192666679647862632237670123800795642643510/38338533454678036\ 16710988258655505209462247134811*c_0101_4^21 - 29525653562688755195309729242431282121477579902003/3833853345467803\ 616710988258655505209462247134811*c_0101_4^20 + 173758423265573662591172535776244145380172737643644/383385334546780\ 3616710988258655505209462247134811*c_0101_4^19 + 535746174887601804199875048672313236420682381479786/383385334546780\ 3616710988258655505209462247134811*c_0101_4^18 - 1314630870266683315222092447986277482955303417447386/38338533454678\ 03616710988258655505209462247134811*c_0101_4^17 - 3726149532737421670807143752153373196632966897314972/38338533454678\ 03616710988258655505209462247134811*c_0101_4^16 + 6625625530919905599190182302406399374827367612153607/38338533454678\ 03616710988258655505209462247134811*c_0101_4^15 + 11581415894690428237105126720310134874389496551942985/3833853345467\ 803616710988258655505209462247134811*c_0101_4^14 - 18289009281342056203007426625969231418906347944369304/3833853345467\ 803616710988258655505209462247134811*c_0101_4^13 - 22123706538651629102070548533892284406773093959039805/3833853345467\ 803616710988258655505209462247134811*c_0101_4^12 + 25762259002485250396265672310076154129532070487967445/3833853345467\ 803616710988258655505209462247134811*c_0101_4^11 + 26017560579953642616234320524369406536772659881110443/3833853345467\ 803616710988258655505209462247134811*c_0101_4^10 - 21031056361176293280078842774796637613153121280052023/3833853345467\ 803616710988258655505209462247134811*c_0101_4^9 - 17186798773986223277560613729349174429093035135227821/3833853345467\ 803616710988258655505209462247134811*c_0101_4^8 + 11180726064338920384937091593527853870920564500637784/3833853345467\ 803616710988258655505209462247134811*c_0101_4^7 + 5539650742453583460432500189315722384225911981944299/38338533454678\ 03616710988258655505209462247134811*c_0101_4^6 - 3700711997101207567385221337920903554622712094909819/38338533454678\ 03616710988258655505209462247134811*c_0101_4^5 - 671764573965498763040164546499973158092684789824299/383385334546780\ 3616710988258655505209462247134811*c_0101_4^4 + 560660865301998125570820097402581712119758154122527/383385334546780\ 3616710988258655505209462247134811*c_0101_4^3 + 37675954607351398166440011227689147034519940011754/3833853345467803\ 616710988258655505209462247134811*c_0101_4^2 - 20065104854199344070468469231997028031249516099277/3833853345467803\ 616710988258655505209462247134811*c_0101_4 - 1579890972438949084623510576101110849054960874435/38338533454678036\ 16710988258655505209462247134811, c_0101_1 - 1337668178485523509070041667332331980690390878880/3833853345\ 467803616710988258655505209462247134811*c_0101_4^22 + 9163659984978417847617171596595817351846753747706/38338533454678036\ 16710988258655505209462247134811*c_0101_4^21 + 36340107665024887378767296257557442739106250904679/3833853345467803\ 616710988258655505209462247134811*c_0101_4^20 - 204661685667560205274171399222324713283213183914855/383385334546780\ 3616710988258655505209462247134811*c_0101_4^19 - 662963824934225009035406080617175872728289785319046/383385334546780\ 3616710988258655505209462247134811*c_0101_4^18 + 1514706970951632664853161482897811161286201395624402/38338533454678\ 03616710988258655505209462247134811*c_0101_4^17 + 4622315093041583768745733151590929863801400273859114/38338533454678\ 03616710988258655505209462247134811*c_0101_4^16 - 7551363616467562460070598105805479510088067027259022/38338533454678\ 03616710988258655505209462247134811*c_0101_4^15 - 14667725427266954705100469135693285558131100360533662/3833853345467\ 803616710988258655505209462247134811*c_0101_4^14 + 20937391360288894124270965160500611525817658409199891/3833853345467\ 803616710988258655505209462247134811*c_0101_4^13 + 28464709138340410503424436866130103663446038524547857/3833853345467\ 803616710988258655505209462247134811*c_0101_4^12 - 29365831384749696620307350344222899283009559170108320/3833853345467\ 803616710988258655505209462247134811*c_0101_4^11 - 33447682090749190745390955749083704079273902258767493/3833853345467\ 803616710988258655505209462247134811*c_0101_4^10 + 23889011720584807810327574944534998946219232573113357/3833853345467\ 803616710988258655505209462247134811*c_0101_4^9 + 22142698154718814169335911054550756311538080090014279/3833853345467\ 803616710988258655505209462247134811*c_0101_4^8 - 13020584916235366700036798024895724716200864018547711/3833853345467\ 803616710988258655505209462247134811*c_0101_4^7 - 7319738547100105838120607275326514638543466323583585/38338533454678\ 03616710988258655505209462247134811*c_0101_4^6 + 4538144800071563991201718999409323088554963695766193/38338533454678\ 03616710988258655505209462247134811*c_0101_4^5 + 937504008651593814445943329393427029210731193931410/383385334546780\ 3616710988258655505209462247134811*c_0101_4^4 - 714121548156258986878391945967650354145141331791593/383385334546780\ 3616710988258655505209462247134811*c_0101_4^3 - 45272174855919933103559658629147735507460559135156/3833853345467803\ 616710988258655505209462247134811*c_0101_4^2 + 25435721627580587231115299105723330065021715040302/3833853345467803\ 616710988258655505209462247134811*c_0101_4 + 1969920340746038648455725765823518544408182921237/38338533454678036\ 16710988258655505209462247134811, c_0101_3 + 566516726456076660174051377954705937411838978584/38338533454\ 67803616710988258655505209462247134811*c_0101_4^22 - 3996418211799298428681538394219422334724824697842/38338533454678036\ 16710988258655505209462247134811*c_0101_4^21 - 14642052245968239939914289949112368853377214182151/3833853345467803\ 616710988258655505209462247134811*c_0101_4^20 + 90019872846217824551799566672976410380556590422284/3833853345467803\ 616710988258655505209462247134811*c_0101_4^19 + 264835075797879240013016955143487529205439946507478/383385334546780\ 3616710988258655505209462247134811*c_0101_4^18 - 702703296428569115114542003789042049517943532637840/383385334546780\ 3616710988258655505209462247134811*c_0101_4^17 - 1860221772485053605420248838755530413031083452202567/38338533454678\ 03616710988258655505209462247134811*c_0101_4^16 + 3597892872485651706973460504054139174574896928824654/38338533454678\ 03616710988258655505209462247134811*c_0101_4^15 + 5781429290221770381410426865036661245629414632327858/38338533454678\ 03616710988258655505209462247134811*c_0101_4^14 - 10060065534326262699186532304369160366518086931177703/3833853345467\ 803616710988258655505209462247134811*c_0101_4^13 - 11037165773996543170710712875639828579520180122587502/3833853345467\ 803616710988258655505209462247134811*c_0101_4^12 + 14599694283691462874561126858363733315544759983911787/3833853345467\ 803616710988258655505209462247134811*c_0101_4^11 + 13297523525911114424381679189802584827724250196455840/3833853345467\ 803616710988258655505209462247134811*c_0101_4^10 - 12140569762648715744317823708153542458070156372766104/3833853345467\ 803616710988258655505209462247134811*c_0101_4^9 - 9014169583274530282589879134031808393605791904756692/38338533454678\ 03616710988258655505209462247134811*c_0101_4^8 + 6403455455128811636816068814273899298216416285206303/38338533454678\ 03616710988258655505209462247134811*c_0101_4^7 + 2902742112360765770665125532299236518931737965073716/38338533454678\ 03616710988258655505209462247134811*c_0101_4^6 - 2073567911059801367417155679339094017954214190324648/38338533454678\ 03616710988258655505209462247134811*c_0101_4^5 - 337145097838604074297809511078738163241020308367648/383385334546780\ 3616710988258655505209462247134811*c_0101_4^4 + 309286676457324267471139258935700645030105343925253/383385334546780\ 3616710988258655505209462247134811*c_0101_4^3 + 21027704993040037127125816103736651231331252180220/3833853345467803\ 616710988258655505209462247134811*c_0101_4^2 - 12629497740605156092464833585616118706274568440427/3833853345467803\ 616710988258655505209462247134811*c_0101_4 - 874898252691462620699722084410508169123546693004/383385334546780361\ 6710988258655505209462247134811, c_0101_4^23 - 13/2*c_0101_4^22 - 59/2*c_0101_4^21 + 143*c_0101_4^20 + 1095/2*c_0101_4^19 - 948*c_0101_4^18 - 3821*c_0101_4^17 + 8705/2*c_0101_4^16 + 25451/2*c_0101_4^15 - 11401*c_0101_4^14 - 26101*c_0101_4^13 + 26823/2*c_0101_4^12 + 31426*c_0101_4^11 - 7654*c_0101_4^10 - 21266*c_0101_4^9 + 2894*c_0101_4^8 + 7876*c_0101_4^7 - 2019/2*c_0101_4^6 - 3149/2*c_0101_4^5 + 291/2*c_0101_4^4 + 168*c_0101_4^3 + 27/2*c_0101_4^2 - 3*c_0101_4 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB