Magma V2.19-8 Tue Aug 20 2013 16:18:43 on localhost [Seed = 2134827532] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2884 geometric_solution 6.09594313 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 2031 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.015340086659 0.789088076361 0 1 4 1 0132 2310 0132 3201 0 0 0 0 0 -1 0 1 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 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.795801212209 1.011935822117 5 0 4 0 0132 0132 0213 1302 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 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.525727466341 0.608447155784 4 4 0 5 0321 0213 0132 2031 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 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.563826997339 0.488594347387 3 2 3 1 0321 0213 0213 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 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.527946309168 0.424178907202 2 3 6 6 0132 1302 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.075467332534 0.559266692037 6 5 6 5 2031 2310 1302 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.987921821688 2.007586453899 ==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' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_5'], 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : d['c_0101_0'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : d['c_1001_2'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_5']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : negation(d['c_0101_5']), 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : d['c_1001_2']})} 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_3, c_0011_4, c_0011_6, c_0101_0, c_0101_5, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 6094330909845165368851498368743113409/90879335373102439138867838251\ 7001477*c_1001_2^27 - 16565622208320158454063641374879187092/302931\ 117910341463796226127505667159*c_1001_2^26 + 656229068823238077176917521252305481202/908793353731024391388678382\ 517001477*c_1001_2^25 + 3173925433588409618621486255026210949224/90\ 8793353731024391388678382517001477*c_1001_2^24 - 904396095682537730523011844765131018852/302931117910341463796226127\ 505667159*c_1001_2^23 - 27026465546931081255821016062484931453744/9\ 08793353731024391388678382517001477*c_1001_2^22 - 8429663516707722082644344117692617743767/90879335373102439138867838\ 2517001477*c_1001_2^21 + 3856580035952369251042646355811810587623/3\ 3659013101149051532914014167296351*c_1001_2^20 + 89360486381296572528826774843617599866165/9087933537310243913886783\ 82517001477*c_1001_2^19 - 74625391042030666244408713824095569474669\ /302931117910341463796226127505667159*c_1001_2^18 - 33135839948563825044832213305412112638231/1009770393034471545987420\ 42501889053*c_1001_2^17 + 91282112069625974993105055506340630769423\ /302931117910341463796226127505667159*c_1001_2^16 + 564638031017497897511761361968141567100840/908793353731024391388678\ 382517001477*c_1001_2^15 - 1417802461231965787638526239353776762795\ 57/908793353731024391388678382517001477*c_1001_2^14 - 676930601262679697585189410326115225988905/908793353731024391388678\ 382517001477*c_1001_2^13 - 9761915402255389264698764937429866209518\ 5/908793353731024391388678382517001477*c_1001_2^12 + 517333629143876782764393628623895782452135/908793353731024391388678\ 382517001477*c_1001_2^11 + 8620422513165813103712344937586112203091\ /33659013101149051532914014167296351*c_1001_2^10 - 231608499705257615142271033924801408479647/908793353731024391388678\ 382517001477*c_1001_2^9 - 61530372427767907176719659550943622402486\ /302931117910341463796226127505667159*c_1001_2^8 + 41048721094833737301172750000406840434381/9087933537310243913886783\ 82517001477*c_1001_2^7 + 24461321304163610345308793072565189968117/\ 302931117910341463796226127505667159*c_1001_2^6 + 9162437983987068088521311549131707044512/90879335373102439138867838\ 2517001477*c_1001_2^5 - 12563426533749500995565072386785276774010/9\ 08793353731024391388678382517001477*c_1001_2^4 - 4483865427397799474091908127516682329428/90879335373102439138867838\ 2517001477*c_1001_2^3 + 202364292543135990335732658347594138570/908\ 793353731024391388678382517001477*c_1001_2^2 + 92490257392586341070783798640613060538/3029311179103414637962261275\ 05667159*c_1001_2 + 12591806496501884505966306334129534832/90879335\ 3731024391388678382517001477, c_0011_0 - 1, c_0011_3 - 92839485632215171624391155146067750/336590131011490515329140\ 14167296351*c_1001_2^27 - 840686926959167349449573402490774675/3365\ 9013101149051532914014167296351*c_1001_2^26 + 9302400777129791794365120404552596227/33659013101149051532914014167\ 296351*c_1001_2^25 + 57248784934335893166346175507483816546/3365901\ 3101149051532914014167296351*c_1001_2^24 + 3570869649630009563931333247897699698/33659013101149051532914014167\ 296351*c_1001_2^23 - 441741341267694166480777996556584500896/336590\ 13101149051532914014167296351*c_1001_2^22 - 505893954303055352166424201871867664682/336590131011490515329140141\ 67296351*c_1001_2^21 + 1393311138901059175794635314628352083803/336\ 59013101149051532914014167296351*c_1001_2^20 + 2741083263972229729020448265193309166750/33659013101149051532914014\ 167296351*c_1001_2^19 - 1861645628244758089465154413663970508227/33\ 659013101149051532914014167296351*c_1001_2^18 - 7147688950137733369704036417080519032712/33659013101149051532914014\ 167296351*c_1001_2^17 - 510745991683441987889588090003491477309/336\ 59013101149051532914014167296351*c_1001_2^16 + 10810627234278237180268159714267330550193/3365901310114905153291401\ 4167296351*c_1001_2^15 + 5757613479760732030128987281082709287593/3\ 3659013101149051532914014167296351*c_1001_2^14 - 9568355720388140188094520589043927997974/33659013101149051532914014\ 167296351*c_1001_2^13 - 9494253742792956781736720467096587577905/33\ 659013101149051532914014167296351*c_1001_2^12 + 4010330190090443944239525926199598041590/33659013101149051532914014\ 167296351*c_1001_2^11 + 8049962330777348935148224798360810578819/33\ 659013101149051532914014167296351*c_1001_2^10 + 586905048018059891508306712338188997503/336590131011490515329140141\ 67296351*c_1001_2^9 - 3646558698150494392159643687326736336085/3365\ 9013101149051532914014167296351*c_1001_2^8 - 1399776324196002240125007132120526019482/33659013101149051532914014\ 167296351*c_1001_2^7 + 700918650987873227048004440043227500206/3365\ 9013101149051532914014167296351*c_1001_2^6 + 509875837268582013504522376490304925385/336590131011490515329140141\ 67296351*c_1001_2^5 - 1262311443150288658269123156313266453/3365901\ 3101149051532914014167296351*c_1001_2^4 - 53953977214383643659183427097517298778/3365901310114905153291401416\ 7296351*c_1001_2^3 - 4291189799888677708280568318701907646/33659013\ 101149051532914014167296351*c_1001_2^2 + 2039732224804747638084688201859048681/33659013101149051532914014167\ 296351*c_1001_2 + 92253507584522946040908121525610725/3365901310114\ 9051532914014167296351, c_0011_4 - 58594494483373894507994107358314374/336590131011490515329140\ 14167296351*c_1001_2^27 - 561595441499206327688344014012582742/3365\ 9013101149051532914014167296351*c_1001_2^26 + 5604707466211961046429778406923806465/33659013101149051532914014167\ 296351*c_1001_2^25 + 39361376447100599676966097479367870089/3365901\ 3101149051532914014167296351*c_1001_2^24 + 19865497453943348470245935012879245934/3365901310114905153291401416\ 7296351*c_1001_2^23 - 285710149614786907622035574780100364740/33659\ 013101149051532914014167296351*c_1001_2^22 - 462835359281708768503655875205577675536/336590131011490515329140141\ 67296351*c_1001_2^21 + 778145797805600172081758666778233527154/3365\ 9013101149051532914014167296351*c_1001_2^20 + 2236837481483709761131718484158645811907/33659013101149051532914014\ 167296351*c_1001_2^19 - 508743183559136582076428911220880958412/336\ 59013101149051532914014167296351*c_1001_2^18 - 5428995641381527534900851657852866226095/33659013101149051532914014\ 167296351*c_1001_2^17 - 2221708393414973432311479805574387924906/33\ 659013101149051532914014167296351*c_1001_2^16 + 7535274207290011084264638750118163417249/33659013101149051532914014\ 167296351*c_1001_2^15 + 6767607114925438459216566306543638744193/33\ 659013101149051532914014167296351*c_1001_2^14 - 5645812658615561823438793916563000922791/33659013101149051532914014\ 167296351*c_1001_2^13 - 9166280299243228523980665024351174763586/33\ 659013101149051532914014167296351*c_1001_2^12 + 1020879859215388831089870062997076722639/33659013101149051532914014\ 167296351*c_1001_2^11 + 6959039530471751811459821384899410598766/33\ 659013101149051532914014167296351*c_1001_2^10 + 1946349623927740465934002617167277182361/33659013101149051532914014\ 167296351*c_1001_2^9 - 2788606590180143423308217824359585459889/336\ 59013101149051532914014167296351*c_1001_2^8 - 1695069059381726835570899941758076110015/33659013101149051532914014\ 167296351*c_1001_2^7 + 381672091582014274601537713894305893240/3365\ 9013101149051532914014167296351*c_1001_2^6 + 510310760433457948213499608806630841584/336590131011490515329140141\ 67296351*c_1001_2^5 + 49791866585130193827752645512820460737/336590\ 13101149051532914014167296351*c_1001_2^4 - 45852721744997822378852638855990505067/3365901310114905153291401416\ 7296351*c_1001_2^3 - 5847897243533676268120264956341197724/33659013\ 101149051532914014167296351*c_1001_2^2 + 1660513156033234688559750538655140479/33659013101149051532914014167\ 296351*c_1001_2 - 11075082113338669695105555681954409/3365901310114\ 9051532914014167296351, c_0011_6 + 118131835898551091923468660599511523/33659013101149051532914\ 014167296351*c_1001_2^27 + 1063598021223827772531784455043589710/33\ 659013101149051532914014167296351*c_1001_2^26 - 11895573560345665495929811726782715000/3365901310114905153291401416\ 7296351*c_1001_2^25 - 72264388107947166606381522466559084665/336590\ 13101149051532914014167296351*c_1001_2^24 - 421149342712843573711135839654605929/336590131011490515329140141672\ 96351*c_1001_2^23 + 564556503663206056053926433266641306309/3365901\ 3101149051532914014167296351*c_1001_2^22 + 614758601384582847509462634520181939548/336590131011490515329140141\ 67296351*c_1001_2^21 - 1824242943846595066218209050123154834662/336\ 59013101149051532914014167296351*c_1001_2^20 - 3416454329505882877325810326847471344384/33659013101149051532914014\ 167296351*c_1001_2^19 + 2609501430444168109866503527705135719305/33\ 659013101149051532914014167296351*c_1001_2^18 + 9086100576231823535474213727724016186127/33659013101149051532914014\ 167296351*c_1001_2^17 + 88863904085399488828299022516582759988/3365\ 9013101149051532914014167296351*c_1001_2^16 - 14095187843098790783497913122755595651189/3365901310114905153291401\ 4167296351*c_1001_2^15 - 6605818373032668167797272218437701859958/3\ 3659013101149051532914014167296351*c_1001_2^14 + 13033469783083433970365692063927028322332/3365901310114905153291401\ 4167296351*c_1001_2^13 + 11651737304830882148849272121998155456780/\ 33659013101149051532914014167296351*c_1001_2^12 - 6176733929585859005369609340137536283979/33659013101149051532914014\ 167296351*c_1001_2^11 - 10344037245924006179210505898373700229370/3\ 3659013101149051532914014167296351*c_1001_2^10 + 3101364969323778867773020142911704503/33659013101149051532914014167\ 296351*c_1001_2^9 + 5000049099740674568088736929947287763130/336590\ 13101149051532914014167296351*c_1001_2^8 + 1529065621997070280046022615364566786714/33659013101149051532914014\ 167296351*c_1001_2^7 - 1132248141691714312585194461095257237993/336\ 59013101149051532914014167296351*c_1001_2^6 - 643402674829302698101683283314781261639/336590131011490515329140141\ 67296351*c_1001_2^5 + 63642289882686492155209590157006368768/336590\ 13101149051532914014167296351*c_1001_2^4 + 83471018647449583601630388931425234675/3365901310114905153291401416\ 7296351*c_1001_2^3 + 1768975196080053873289124465142858274/33659013\ 101149051532914014167296351*c_1001_2^2 - 3668060738978451832873039548822207194/33659013101149051532914014167\ 296351*c_1001_2 - 25280025850939193067761086061070680/3365901310114\ 9051532914014167296351, c_0101_0 + 10154251495960106841561375145237963/336590131011490515329140\ 14167296351*c_1001_2^27 + 103095917185781100119158491083146486/3365\ 9013101149051532914014167296351*c_1001_2^26 - 919197918730415477583873055357632297/336590131011490515329140141672\ 96351*c_1001_2^25 - 7394771954880983596299773790368550546/336590131\ 01149051532914014167296351*c_1001_2^24 - 6924432007912938617866416052970778162/33659013101149051532914014167\ 296351*c_1001_2^23 + 48732170153900983087200702501722830320/3365901\ 3101149051532914014167296351*c_1001_2^22 + 103812061312585974982747993965415502770/336590131011490515329140141\ 67296351*c_1001_2^21 - 103983267360899316395620643758601766749/3365\ 9013101149051532914014167296351*c_1001_2^20 - 447172761147410041387464447908714653474/336590131011490515329140141\ 67296351*c_1001_2^19 - 53480679546034629026823368072499799811/33659\ 013101149051532914014167296351*c_1001_2^18 + 976014726108756962077969929961248426917/336590131011490515329140141\ 67296351*c_1001_2^17 + 691459772811303190801846408343330861271/3365\ 9013101149051532914014167296351*c_1001_2^16 - 1160398800062008614715805372071883131615/33659013101149051532914014\ 167296351*c_1001_2^15 - 1518883244824130106195053229499906452857/33\ 659013101149051532914014167296351*c_1001_2^14 + 584148711383695203276353133413534820815/336590131011490515329140141\ 67296351*c_1001_2^13 + 1727096536967887615205371940171302255233/336\ 59013101149051532914014167296351*c_1001_2^12 + 280008536395065064800864774096898702993/336590131011490515329140141\ 67296351*c_1001_2^11 - 1065704781812608697103800695880208070165/336\ 59013101149051532914014167296351*c_1001_2^10 - 599348816073588971742508905326848124714/336590131011490515329140141\ 67296351*c_1001_2^9 + 260173860511717917973319043080977788946/33659\ 013101149051532914014167296351*c_1001_2^8 + 331940137148124868639152216464021816416/336590131011490515329140141\ 67296351*c_1001_2^7 + 53171513132553127377486511913562649205/336590\ 13101149051532914014167296351*c_1001_2^6 - 55227824436292803818989013140335430256/3365901310114905153291401416\ 7296351*c_1001_2^5 - 31718528082842164095816114201272055866/3365901\ 3101149051532914014167296351*c_1001_2^4 - 6315079179120625438648294740600245482/33659013101149051532914014167\ 296351*c_1001_2^3 + 679578304758033485741359874748761655/3365901310\ 1149051532914014167296351*c_1001_2^2 + 672516202604434494857323190227103515/336590131011490515329140141672\ 96351*c_1001_2 + 73122437162738759424748935397030391/33659013101149\ 051532914014167296351, c_0101_5 + 21861905218100245386667489921242782/336590131011490515329140\ 14167296351*c_1001_2^27 + 197769745825196274987878210618543633/3365\ 9013101149051532914014167296351*c_1001_2^26 - 2185640937453448786578788340861475527/33659013101149051532914014167\ 296351*c_1001_2^25 - 13402844462335486782782573395632598556/3365901\ 3101149051532914014167296351*c_1001_2^24 - 1399369481654064389587806590316993011/33659013101149051532914014167\ 296351*c_1001_2^23 + 100156530774040336519785898913129836090/336590\ 13101149051532914014167296351*c_1001_2^22 + 118536999921570464930355331174142954433/336590131011490515329140141\ 67296351*c_1001_2^21 - 300992156611568343296346891317868938126/3365\ 9013101149051532914014167296351*c_1001_2^20 - 616665930266470034780341917752832941680/336590131011490515329140141\ 67296351*c_1001_2^19 + 357803586531713737350030288368870763551/3365\ 9013101149051532914014167296351*c_1001_2^18 + 1545117541825173412865069655428341172718/33659013101149051532914014\ 167296351*c_1001_2^17 + 233952552608745376446877978746758233656/336\ 59013101149051532914014167296351*c_1001_2^16 - 2219526598045377478262788114521325899857/33659013101149051532914014\ 167296351*c_1001_2^15 - 1392031097754076949800955451852096586393/33\ 659013101149051532914014167296351*c_1001_2^14 + 1796775010733165868352166096417925157339/33659013101149051532914014\ 167296351*c_1001_2^13 + 2102249892854081998160102912160722591121/33\ 659013101149051532914014167296351*c_1001_2^12 - 554702229529912280409066053071252820153/336590131011490515329140141\ 67296351*c_1001_2^11 - 1657086731653265421107432670080851016535/336\ 59013101149051532914014167296351*c_1001_2^10 - 324792259667551916955348656285890783558/336590131011490515329140141\ 67296351*c_1001_2^9 + 670127483221076226997353815676172174131/33659\ 013101149051532914014167296351*c_1001_2^8 + 361891221364228255681477000454232438294/336590131011490515329140141\ 67296351*c_1001_2^7 - 88259604552651031374588166487794523895/336590\ 13101149051532914014167296351*c_1001_2^6 - 111449710829120923015756031841680541342/336590131011490515329140141\ 67296351*c_1001_2^5 - 14042464567546266745076501226126335325/336590\ 13101149051532914014167296351*c_1001_2^4 + 9016218782941281202663248868989129278/33659013101149051532914014167\ 296351*c_1001_2^3 + 1664436590595256234322108065728841427/336590131\ 01149051532914014167296351*c_1001_2^2 - 282276365195864980029899194686298314/336590131011490515329140141672\ 96351*c_1001_2 + 23504761605188944691352639022058388/33659013101149\ 051532914014167296351, c_1001_2^28 + 8*c_1001_2^27 - 110*c_1001_2^26 - 513*c_1001_2^25 + 638*c_1001_2^24 + 4937*c_1001_2^23 + 360*c_1001_2^22 - 21914*c_1001_2^21 - 14396*c_1001_2^20 + 55463*c_1001_2^19 + 60882*c_1001_2^18 - 84069*c_1001_2^17 - 137317*c_1001_2^16 + 69000*c_1001_2^15 + 194616*c_1001_2^14 - 6862*c_1001_2^13 - 179456*c_1001_2^12 - 50324*c_1001_2^11 + 104167*c_1001_2^10 + 57608*c_1001_2^9 - 33305*c_1001_2^8 - 30403*c_1001_2^7 + 3253*c_1001_2^6 + 7852*c_1001_2^5 + 761*c_1001_2^4 - 821*c_1001_2^3 - 101*c_1001_2^2 + 35*c_1001_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB