Magma V2.19-8 Tue Aug 20 2013 16:18:02 on localhost [Seed = 2395935299] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2267 geometric_solution 5.69026331 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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 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.327575361855 0.689717911589 3 2 4 0 0132 3012 0132 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 0 0 0 0 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.771275400603 1.078367545798 1 3 0 4 1230 2310 0132 3201 0 0 0 0 0 -1 1 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 -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.771275400603 1.078367545798 1 5 5 2 0132 0132 1023 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 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.768043186022 0.466887156813 6 2 6 1 0132 2310 2310 0132 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 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.096224974737 1.272771731677 5 3 3 5 3201 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.189249401560 0.419239243001 4 4 6 6 0132 3201 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.441332438262 0.119895273537 ==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' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : 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_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_0_6' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_1'], 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} 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_1, c_0011_4, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 417639962072265301457354802116400047435/116909111716692952669420755\ 5431334843*c_0101_5^26 + 945033357471130294399043571536170377369/11\ 69091117166929526694207555431334843*c_0101_5^25 - 10376965700120211594341418365564509142723/1169091117166929526694207\ 555431334843*c_0101_5^24 - 2656736500798369998850715624076903895865\ 9/1169091117166929526694207555431334843*c_0101_5^23 + 77893970078879917028271555137518627600915/1169091117166929526694207\ 555431334843*c_0101_5^22 + 2743466967888632610365357616876887575704\ 64/1169091117166929526694207555431334843*c_0101_5^21 - 136218229362831430194294352690353455665378/116909111716692952669420\ 7555431334843*c_0101_5^20 - 124961521864221554728219787489875402805\ 4427/1169091117166929526694207555431334843*c_0101_5^19 - 728082752278787378687981419407808457439123/116909111716692952669420\ 7555431334843*c_0101_5^18 + 249449289810728864362777949109067753728\ 8247/1169091117166929526694207555431334843*c_0101_5^17 + 3495704816602542360842912211072895250955955/11690911171669295266942\ 07555431334843*c_0101_5^16 - 13032057115980272685256659733892092113\ 04202/1169091117166929526694207555431334843*c_0101_5^15 - 5251327781370816907839858299248708134702554/11690911171669295266942\ 07555431334843*c_0101_5^14 - 18635534171127481626030441444896158999\ 06443/1169091117166929526694207555431334843*c_0101_5^13 + 3025808248643231566491781487999958700139310/11690911171669295266942\ 07555431334843*c_0101_5^12 + 22527614128963885238076612499826072188\ 87046/1169091117166929526694207555431334843*c_0101_5^11 - 745744805887711472031693378365587282214549/116909111716692952669420\ 7555431334843*c_0101_5^10 - 932757615772728816038913483137108648156\ 348/1169091117166929526694207555431334843*c_0101_5^9 + 145498755197374739487783905831234434260437/116909111716692952669420\ 7555431334843*c_0101_5^8 + 2151232202454061136356054253637093974798\ 77/1169091117166929526694207555431334843*c_0101_5^7 - 54405159396536671223662159767587043643734/1169091117166929526694207\ 555431334843*c_0101_5^6 - 26400950906662572200721996752389351838318\ /1169091117166929526694207555431334843*c_0101_5^5 + 21558486850654195547315105637608391313403/1169091117166929526694207\ 555431334843*c_0101_5^4 + 959603424408734883232873349279174827967/1\ 169091117166929526694207555431334843*c_0101_5^3 - 333279339691120661473298507108753060228/899300859359176558995544273\ 40871911*c_0101_5^2 + 345482285537001055854570249378334865410/11690\ 91117166929526694207555431334843*c_0101_5 + 443552374484496630704358371524050488867/116909111716692952669420755\ 5431334843, c_0011_0 - 1, c_0011_1 + 252951452719876323469521886690893633485/11690911171669295266\ 94207555431334843*c_0101_5^26 + 15503497760816083100752306065002741\ 0744/1169091117166929526694207555431334843*c_0101_5^25 - 6749706587816321463489659348880653564356/11690911171669295266942075\ 55431334843*c_0101_5^24 - 5159963368419966216969619130629675335216/\ 1169091117166929526694207555431334843*c_0101_5^23 + 61187553775394921414700507197281082933622/1169091117166929526694207\ 555431334843*c_0101_5^22 + 7149900238174704900081519895599381439914\ 1/1169091117166929526694207555431334843*c_0101_5^21 - 248613155296508536997890153676541768256390/116909111716692952669420\ 7555431334843*c_0101_5^20 - 423402399755046069618753941417107961636\ 422/1169091117166929526694207555431334843*c_0101_5^19 + 433976686795771254213467529458668992537266/116909111716692952669420\ 7555431334843*c_0101_5^18 + 120848756641269395139889328570996737652\ 4882/1169091117166929526694207555431334843*c_0101_5^17 - 80052296825103172230924677782492561110134/1169091117166929526694207\ 555431334843*c_0101_5^16 - 1724213323868734578390503310884683252613\ 388/1169091117166929526694207555431334843*c_0101_5^15 - 666141510333436597244220663727492635971374/116909111716692952669420\ 7555431334843*c_0101_5^14 + 125591903712517708969954644464501362909\ 8483/1169091117166929526694207555431334843*c_0101_5^13 + 780076507810484788601086646959276020533057/116909111716692952669420\ 7555431334843*c_0101_5^12 - 561700460826199440867693175546556122175\ 168/1169091117166929526694207555431334843*c_0101_5^11 - 389064646536318481251654842047202304218522/116909111716692952669420\ 7555431334843*c_0101_5^10 + 207710257228756489141622845464787825814\ 172/1169091117166929526694207555431334843*c_0101_5^9 + 99620507301002986683908962690363716093512/1169091117166929526694207\ 555431334843*c_0101_5^8 - 69090183179644726646290881234081278326939\ /1169091117166929526694207555431334843*c_0101_5^7 - 6449882145371213279683941813895737119675/11690911171669295266942075\ 55431334843*c_0101_5^6 + 17069405675685706898478549601133341219262/\ 1169091117166929526694207555431334843*c_0101_5^5 - 280389867119422954527526943731983601773/899300859359176558995544273\ 40871911*c_0101_5^4 - 2258571513894416518738775959809570413519/1169\ 091117166929526694207555431334843*c_0101_5^3 + 77621873908578955692043776244474304678/8993008593591765589955442734\ 0871911*c_0101_5^2 + 83115417011726011287663797149938477605/1169091\ 117166929526694207555431334843*c_0101_5 - 66511155833083928588745637890974538644/1169091117166929526694207555\ 431334843, c_0011_4 - 555707443100512547077031311628678039900/11690911171669295266\ 94207555431334843*c_0101_5^26 - 36843403294444526381975631064849817\ 8750/1169091117166929526694207555431334843*c_0101_5^25 + 14827644441658677294494602651482360759794/1169091117166929526694207\ 555431334843*c_0101_5^24 + 1207583910557509559382949607167269469730\ 7/1169091117166929526694207555431334843*c_0101_5^23 - 134289277714646085211358500131566694691937/116909111716692952669420\ 7555431334843*c_0101_5^22 - 163799428433792017933008798963696928835\ 486/1169091117166929526694207555431334843*c_0101_5^21 + 542285143703049641505503113590655118301841/116909111716692952669420\ 7555431334843*c_0101_5^20 + 959013085363431397460547116382731511108\ 295/1169091117166929526694207555431334843*c_0101_5^19 - 924352595108168735772120603110529165383133/116909111716692952669420\ 7555431334843*c_0101_5^18 - 271637063324553496047869349033235687769\ 1988/1169091117166929526694207555431334843*c_0101_5^17 + 83085993593139148821711287131254531647351/1169091117166929526694207\ 555431334843*c_0101_5^16 + 3844532301144868065739670457829584375915\ 097/1169091117166929526694207555431334843*c_0101_5^15 + 1607495197550558384789945044020693770865053/11690911171669295266942\ 07555431334843*c_0101_5^14 - 27657322421514706222611545051411898676\ 17622/1169091117166929526694207555431334843*c_0101_5^13 - 1829746050585206670297571184138130476256614/11690911171669295266942\ 07555431334843*c_0101_5^12 + 12184284175796041309113832648306315053\ 61401/1169091117166929526694207555431334843*c_0101_5^11 + 911693768934143266088176653826808840203897/116909111716692952669420\ 7555431334843*c_0101_5^10 - 450897484653309882624061089642945453188\ 832/1169091117166929526694207555431334843*c_0101_5^9 - 238038633839962401071998583483085872947658/116909111716692952669420\ 7555431334843*c_0101_5^8 + 1538482069852046691096393781456195169247\ 40/1169091117166929526694207555431334843*c_0101_5^7 + 18124612276374463464588210890643390032671/1169091117166929526694207\ 555431334843*c_0101_5^6 - 39292980790852207279615358535704549609046\ /1169091117166929526694207555431334843*c_0101_5^5 + 595835595336669878060427946348088596399/899300859359176558995544273\ 40871911*c_0101_5^4 + 5364412069663329167857458450897317106800/1169\ 091117166929526694207555431334843*c_0101_5^3 - 175592298835771194394268995999456725292/899300859359176558995544273\ 40871911*c_0101_5^2 - 204765800229592369393908330989377643742/11690\ 91117166929526694207555431334843*c_0101_5 + 151541287181098952012472572863678669130/116909111716692952669420755\ 5431334843, c_0101_0 + 129400765191768222867251911501156286000/11690911171669295266\ 94207555431334843*c_0101_5^26 + 86482251874632173268607497767622044\ 455/1169091117166929526694207555431334843*c_0101_5^25 - 3453274775147558118138658063789548776998/11690911171669295266942075\ 55431334843*c_0101_5^24 - 2831066056134579496807764530386250793676/\ 1169091117166929526694207555431334843*c_0101_5^23 + 31281599826188565118030743867831655723405/1169091117166929526694207\ 555431334843*c_0101_5^22 + 3833124083869504543604949201092316496425\ 0/1169091117166929526694207555431334843*c_0101_5^21 - 126302841398580126463935668108309433643167/116909111716692952669420\ 7555431334843*c_0101_5^20 - 224280017539846428369961658382758556028\ 088/1169091117166929526694207555431334843*c_0101_5^19 + 214927285544692374015076792620563108787453/116909111716692952669420\ 7555431334843*c_0101_5^18 + 635293516975745311263022230752454751086\ 808/1169091117166929526694207555431334843*c_0101_5^17 - 17241918462599078984182414245294560544350/1169091117166929526694207\ 555431334843*c_0101_5^16 - 8994926245286886216015580559643156099153\ 79/1169091117166929526694207555431334843*c_0101_5^15 - 379500270938348301722206415737731744500005/116909111716692952669420\ 7555431334843*c_0101_5^14 + 646931649301837026266164262487065365808\ 332/1169091117166929526694207555431334843*c_0101_5^13 + 432028300562690020110946754066275361421900/116909111716692952669420\ 7555431334843*c_0101_5^12 - 283952868954998960282505953605942494967\ 384/1169091117166929526694207555431334843*c_0101_5^11 - 215481214535764273509670963819628846050152/116909111716692952669420\ 7555431334843*c_0101_5^10 + 104791517623243259282527985687172819499\ 114/1169091117166929526694207555431334843*c_0101_5^9 + 56353962811127946778022226912912952672015/1169091117166929526694207\ 555431334843*c_0101_5^8 - 35956852698020666839561058239041488136694\ /1169091117166929526694207555431334843*c_0101_5^7 - 4399889262530414975201876223156407640892/11690911171669295266942075\ 55431334843*c_0101_5^6 + 9232607823069235052894111471244129532033/1\ 169091117166929526694207555431334843*c_0101_5^5 - 138405517106085247284850047525924749030/899300859359176558995544273\ 40871911*c_0101_5^4 - 1264747882382734485291070550908097927112/1169\ 091117166929526694207555431334843*c_0101_5^3 + 41092321577020142092541888593391667397/8993008593591765589955442734\ 0871911*c_0101_5^2 + 46292117299997996015314964435118643636/1169091\ 117166929526694207555431334843*c_0101_5 - 35172145199777428236511127576112553972/1169091117166929526694207555\ 431334843, c_0101_1 + 622460215127891889561639915040080385435/11690911171669295266\ 94207555431334843*c_0101_5^26 + 41041567747237943705480974776143125\ 5654/1169091117166929526694207555431334843*c_0101_5^25 - 16613916942171982091318064102239350193349/1169091117166929526694207\ 555431334843*c_0101_5^24 - 1346833408744067186325375443693858664393\ 9/1169091117166929526694207555431334843*c_0101_5^23 + 150564448635565783862242526636852279383925/116909111716692952669420\ 7555431334843*c_0101_5^22 + 183009725137858102531457841811515085932\ 568/1169091117166929526694207555431334843*c_0101_5^21 - 608910932078153576915030919026727365482919/116909111716692952669420\ 7555431334843*c_0101_5^20 - 107308828540324829321554774920768421333\ 7229/1169091117166929526694207555431334843*c_0101_5^19 + 1042273864613516224034768822168422866211963/11690911171669295266942\ 07555431334843*c_0101_5^18 + 30449009035897484135018764902408577067\ 32286/1169091117166929526694207555431334843*c_0101_5^17 - 107764660013195337997092506730036005379767/116909111716692952669420\ 7555431334843*c_0101_5^16 - 432119910924911859467261937969162158607\ 4047/1169091117166929526694207555431334843*c_0101_5^15 - 1789050804121297347699428398378878283053454/11690911171669295266942\ 07555431334843*c_0101_5^14 + 31214120056874245216444158910131425987\ 60911/1169091117166929526694207555431334843*c_0101_5^13 + 2051432077485578398561449916972832716251074/11690911171669295266942\ 07555431334843*c_0101_5^12 - 13787296718031792330333654666747251928\ 96373/1169091117166929526694207555431334843*c_0101_5^11 - 1025578006706303755356336714331433048186619/11690911171669295266942\ 07555431334843*c_0101_5^10 + 50931567530037853430629328319461454615\ 0810/1169091117166929526694207555431334843*c_0101_5^9 + 267616478853003882467132599877540107720064/116909111716692952669420\ 7555431334843*c_0101_5^8 - 1735110638897946499601396358354773912964\ 34/1169091117166929526694207555431334843*c_0101_5^7 - 20243700480152226605777665252113661233037/1169091117166929526694207\ 555431334843*c_0101_5^6 + 44229470528329253695852015266837384058083\ /1169091117166929526694207555431334843*c_0101_5^5 - 674816893866314059240664626460945155603/899300859359176558995544273\ 40871911*c_0101_5^4 - 6026608984633759348501202677391483748401/1169\ 091117166929526694207555431334843*c_0101_5^3 + 198048380631006691028287570735347339718/899300859359176558995544273\ 40871911*c_0101_5^2 + 228504422038987788644114505367579945290/11690\ 91117166929526694207555431334843*c_0101_5 - 169593655029814941157397203413265089770/116909111716692952669420755\ 5431334843, c_0101_4 - 452162744524006957382164150998671916105/11690911171669295266\ 94207555431334843*c_0101_5^26 - 34054354782885717809825426222589726\ 1462/1169091117166929526694207555431334843*c_0101_5^25 + 12069427222746267217528780421495841631240/1169091117166929526694207\ 555431334843*c_0101_5^24 + 1090842973417144568005946758698355875582\ 3/1169091117166929526694207555431334843*c_0101_5^23 - 109221686495095259468066907340116927093162/116909111716692952669420\ 7555431334843*c_0101_5^22 - 143128635227913226794608116380855721818\ 061/1169091117166929526694207555431334843*c_0101_5^21 + 436875182563983678394252693569472765670538/116909111716692952669420\ 7555431334843*c_0101_5^20 + 823158765703113080923735195541102906876\ 369/1169091117166929526694207555431334843*c_0101_5^19 - 715188687664307679980162722855451580751726/116909111716692952669420\ 7555431334843*c_0101_5^18 - 230524588871122422122626289102616783329\ 8191/1169091117166929526694207555431334843*c_0101_5^17 - 56531491949418663479905624768855057793215/1169091117166929526694207\ 555431334843*c_0101_5^16 + 3227364071719511588511646286387265919855\ 871/1169091117166929526694207555431334843*c_0101_5^15 + 1508279740619395538314482242837074243835325/11690911171669295266942\ 07555431334843*c_0101_5^14 - 22846905843628072814680208985306332626\ 54563/1169091117166929526694207555431334843*c_0101_5^13 - 1657091019979603285209049555142052331730259/11690911171669295266942\ 07555431334843*c_0101_5^12 + 98752181664711757611076576566221592082\ 2831/1169091117166929526694207555431334843*c_0101_5^11 + 827338404080886881291066714961622942888174/116909111716692952669420\ 7555431334843*c_0101_5^10 - 368076353711676337411312154158275561574\ 350/1169091117166929526694207555431334843*c_0101_5^9 - 222742765047897109103294712865957634755772/116909111716692952669420\ 7555431334843*c_0101_5^8 + 1311784700814759292816143052601512453580\ 24/1169091117166929526694207555431334843*c_0101_5^7 + 20558774813350320860363971258265580163709/1169091117166929526694207\ 555431334843*c_0101_5^6 - 35171800057289684509888697091389675591655\ /1169091117166929526694207555431334843*c_0101_5^5 + 467066859091700936828988552106929784693/899300859359176558995544273\ 40871911*c_0101_5^4 + 5029953484807961698714273019891886389610/1169\ 091117166929526694207555431334843*c_0101_5^3 - 153565823840362041077940411117652334408/899300859359176558995544273\ 40871911*c_0101_5^2 - 202973135404926097648097811907276212538/11690\ 91117166929526694207555431334843*c_0101_5 + 134791560388710649086092776740903306856/116909111716692952669420755\ 5431334843, c_0101_5^27 + 7/5*c_0101_5^26 - 131/5*c_0101_5^25 - 207/5*c_0101_5^24 + 1129/5*c_0101_5^23 + 473*c_0101_5^22 - 760*c_0101_5^21 - 12234/5*c_0101_5^20 + 1983/5*c_0101_5^19 + 30621/5*c_0101_5^18 + 17233/5*c_0101_5^17 - 35271/5*c_0101_5^16 - 39988/5*c_0101_5^15 + 2874*c_0101_5^14 + 34908/5*c_0101_5^13 + 1111/5*c_0101_5^12 - 16356/5*c_0101_5^11 - 1979/5*c_0101_5^10 + 5153/5*c_0101_5^9 + 38*c_0101_5^8 - 1187/5*c_0101_5^7 + 47*c_0101_5^6 + 191/5*c_0101_5^5 - 20*c_0101_5^4 - 3*c_0101_5^3 + 17/5*c_0101_5^2 - 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB