Magma V2.19-8 Wed Aug 21 2013 00:58:33 on localhost [Seed = 2884481318] Type ? for help. Type -D to quit. Loading file "L13n5867__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n5867 geometric_solution 11.91231560 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 2103 1 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 -1 1 0 0 1 -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.588491269030 1.102520155173 0 4 3 5 0132 0132 3120 0132 1 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 -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.008815153453 0.693432069938 6 0 6 0 0132 0132 3120 2103 1 0 1 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 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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.588491269030 1.102520155173 4 6 1 0 0132 0132 3120 0132 1 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 -1 0 1 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.846568278459 0.583041140411 3 1 7 8 0132 0132 0132 0132 1 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 -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.457633765187 0.554138115454 7 9 1 8 0132 0132 0132 3120 1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.858241902616 0.969053967007 2 3 2 10 0132 0132 3120 0132 1 0 1 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 0 0 0 0 0 0 0 1 0 -1 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.588491269030 1.102520155173 5 9 11 4 0132 0321 0132 0132 1 0 1 1 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 1 -1 0 0 0 1 -1 0 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.818428031279 1.420379334823 5 10 4 12 3120 3120 0132 0132 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0.272298074802 1.432217595805 11 5 12 7 1023 0132 2310 0321 1 1 1 1 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 -1 1 0 -6 5 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.149682542214 0.446845742873 11 8 6 12 2103 3120 0132 2103 1 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 1 -1 -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.622482220878 0.568172637738 12 9 10 7 0132 1023 2103 0132 1 0 1 1 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 6 -1 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.346137657897 0.416095497605 11 9 8 10 0132 3201 0132 2103 1 0 1 1 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 -1 0 1 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.035612166698 0.832943366282 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : negation(d['c_1001_1']), 'c_1001_12' : negation(d['c_0011_10']), 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_1001_1']), 'c_1001_2' : negation(d['c_1001_0']), 'c_1001_9' : negation(d['c_0011_8']), 'c_1001_8' : d['c_1001_1'], 'c_1010_12' : d['c_0011_8'], 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : negation(d['c_0011_8']), 's_0_10' : d['1'], 's_0_11' : 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_10'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(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' : 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_9' : negation(d['c_0011_11']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_11']), 'c_1100_5' : negation(d['c_0101_3']), 'c_1100_4' : negation(d['c_0110_10']), 'c_1100_7' : negation(d['c_0110_10']), 'c_1100_6' : negation(d['c_0101_10']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : negation(d['c_0101_1']), 'c_1100_3' : negation(d['c_0101_1']), 'c_1100_2' : negation(d['c_0101_1']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0110_10']), 'c_1100_10' : negation(d['c_0101_10']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_4'], 'c_1010_6' : negation(d['c_1001_1']), 'c_1010_5' : negation(d['c_0011_8']), 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_1001_0']), 'c_1010_9' : d['c_1001_4'], 'c_1010_8' : negation(d['c_0011_10']), 'c_1100_8' : negation(d['c_0110_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_0110_10']), 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(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' : d['c_0011_11'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_11'], 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_12'], 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : d['c_0101_10'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_12'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0101_3'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_12'], 'c_0110_4' : d['c_0101_3'], 'c_0110_7' : d['c_0101_0'], 'c_0110_6' : d['c_0101_10']})} 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_11, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_3, c_0110_10, c_1001_0, c_1001_1, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 16150393554248714150393766234/870991399508165120157803*c_1001_4^16 - 46377523333571020297416466146/870991399508165120157803*c_1001_4^15 - 49544567483961543167458561359/870991399508165120157803*c_1001_4^14 + 209527877677743642838260472859/870991399508165120157803*c_1001_4^13 + 120490427267081656976453474558/870991399508165120157803*c_1001_4^\ 12 - 518752373361472726165799256179/870991399508165120157803*c_1001\ _4^11 - 224488434982605582696089591773/870991399508165120157803*c_1\ 001_4^10 + 782277137546194987094022312210/870991399508165120157803*\ c_1001_4^9 + 322235923313836970461696430718/87099139950816512015780\ 3*c_1001_4^8 - 758840757568730635201234658316/870991399508165120157\ 803*c_1001_4^7 - 296442872022386803716513306307/8709913995081651201\ 57803*c_1001_4^6 + 446980193232289986228231582575/87099139950816512\ 0157803*c_1001_4^5 + 180599203911581809954829131925/870991399508165\ 120157803*c_1001_4^4 - 143975439388465824422754367522/8709913995081\ 65120157803*c_1001_4^3 - 60646352959694635613200094752/870991399508\ 165120157803*c_1001_4^2 + 20104099451357478608084871049/87099139950\ 8165120157803*c_1001_4 + 9518935803785943246970442911/8709913995081\ 65120157803, c_0011_0 - 1, c_0011_10 + 9743295447068072360316/6054557891317930328803*c_1001_4^16 - 44559271809134215918528/6054557891317930328803*c_1001_4^15 + 4096248732933701536278/864936841616847189829*c_1001_4^14 + 19421269086449275393916/864936841616847189829*c_1001_4^13 - 145366629139569917248790/6054557891317930328803*c_1001_4^12 - 276485026565840467110844/6054557891317930328803*c_1001_4^11 + 361354712413114598606250/6054557891317930328803*c_1001_4^10 + 45759904090339063602046/864936841616847189829*c_1001_4^9 - 499102753216036718537308/6054557891317930328803*c_1001_4^8 - 227597925042826420382000/6054557891317930328803*c_1001_4^7 + 470964822211473118494318/6054557891317930328803*c_1001_4^6 + 5514953753924322408792/864936841616847189829*c_1001_4^5 - 247310326542519615415844/6054557891317930328803*c_1001_4^4 + 17502145849861136826658/6054557891317930328803*c_1001_4^3 + 77123500237696065345508/6054557891317930328803*c_1001_4^2 - 1745452788633023727891/864936841616847189829*c_1001_4 - 7918715055735712676314/6054557891317930328803, c_0011_11 + 11336005108491939492630/6054557891317930328803*c_1001_4^16 - 47408038120041490089872/6054557891317930328803*c_1001_4^15 + 3054465836450538020503/864936841616847189829*c_1001_4^14 + 20856960847343263598802/864936841616847189829*c_1001_4^13 - 122710975427253708974281/6054557891317930328803*c_1001_4^12 - 291740519623611222704564/6054557891317930328803*c_1001_4^11 + 316460582801104098178630/6054557891317930328803*c_1001_4^10 + 46772041702453964333907/864936841616847189829*c_1001_4^9 - 442107809318967683493877/6054557891317930328803*c_1001_4^8 - 220206351963715900455968/6054557891317930328803*c_1001_4^7 + 424613857374476040167172/6054557891317930328803*c_1001_4^6 + 3605963174991886037045/864936841616847189829*c_1001_4^5 - 225047857990684219079581/6054557891317930328803*c_1001_4^4 + 24197059589363425899024/6054557891317930328803*c_1001_4^3 + 72109590592953657977416/6054557891317930328803*c_1001_4^2 - 1399014539357715414355/864936841616847189829*c_1001_4 - 7841836905839135102455/6054557891317930328803, c_0011_8 + 21466870646779810420524/6054557891317930328803*c_1001_4^16 - 82472201621226964614860/6054557891317930328803*c_1001_4^15 + 1109869905856977892776/864936841616847189829*c_1001_4^14 + 42009567015745626956408/864936841616847189829*c_1001_4^13 - 126218480941670213355327/6054557891317930328803*c_1001_4^12 - 649810198201872921720965/6054557891317930328803*c_1001_4^11 + 372708310869640371531252/6054557891317930328803*c_1001_4^10 + 123278484577983999674218/864936841616847189829*c_1001_4^9 - 544059520481320645390892/6054557891317930328803*c_1001_4^8 - 745596831616322117316011/6054557891317930328803*c_1001_4^7 + 544215512871853516905879/6054557891317930328803*c_1001_4^6 + 48016819807924992155827/864936841616847189829*c_1001_4^5 - 293094823817863730438922/6054557891317930328803*c_1001_4^4 - 73628923583646601993667/6054557891317930328803*c_1001_4^3 + 86484700121391500090240/6054557891317930328803*c_1001_4^2 - 44698429921468873904/864936841616847189829*c_1001_4 - 6121420092027810108510/6054557891317930328803, c_0101_0 - 1, c_0101_1 + 9010586908053543484546/864936841616847189829*c_1001_4^16 - 27496387805369549441608/864936841616847189829*c_1001_4^15 - 24414684205932168632555/864936841616847189829*c_1001_4^14 + 125732773302870737297288/864936841616847189829*c_1001_4^13 + 50190851356739506657026/864936841616847189829*c_1001_4^12 - 316265415012984213515101/864936841616847189829*c_1001_4^11 - 83717382820666206844298/864936841616847189829*c_1001_4^10 + 490121818645130562325023/864936841616847189829*c_1001_4^9 + 120729243938558041827567/864936841616847189829*c_1001_4^8 - 492133129460860701543710/864936841616847189829*c_1001_4^7 - 113978271217013884239713/864936841616847189829*c_1001_4^6 + 302132014058580694987631/864936841616847189829*c_1001_4^5 + 73339517703779604748564/864936841616847189829*c_1001_4^4 - 101874379953367257202276/864936841616847189829*c_1001_4^3 - 26931354886451157325192/864936841616847189829*c_1001_4^2 + 13243087927463748426458/864936841616847189829*c_1001_4 + 3741614893484798998538/864936841616847189829, c_0101_10 - 1, c_0101_12 + 2715587553499677687128/864936841616847189829*c_1001_4^16 - 10343297900740736150074/864936841616847189829*c_1001_4^15 - 586335758000489806120/864936841616847189829*c_1001_4^14 + 40164945926311951664843/864936841616847189829*c_1001_4^13 - 8558222439273462976776/864936841616847189829*c_1001_4^12 - 98478783654602926143094/864936841616847189829*c_1001_4^11 + 25619135624121666985258/864936841616847189829*c_1001_4^10 + 150862209472756750459971/864936841616847189829*c_1001_4^9 - 24790434232539081762098/864936841616847189829*c_1001_4^8 - 155871527985414238885615/864936841616847189829*c_1001_4^7 + 8705354602688725019836/864936841616847189829*c_1001_4^6 + 95875882544538051317030/864936841616847189829*c_1001_4^5 + 12587874016985052376248/864936841616847189829*c_1001_4^4 - 34605571282974732403945/864936841616847189829*c_1001_4^3 - 10455286011639648600189/864936841616847189829*c_1001_4^2 + 4128491991369143204219/864936841616847189829*c_1001_4 + 2595394952489528864167/864936841616847189829, c_0101_3 + 7417053870832379434038/864936841616847189829*c_1001_4^16 - 27366825770424571560014/864936841616847189829*c_1001_4^15 - 2332416680719864799607/864936841616847189829*c_1001_4^14 + 103140512043631521961061/864936841616847189829*c_1001_4^13 - 22822274854925562725031/864936841616847189829*c_1001_4^12 - 238447693299188300245399/864936841616847189829*c_1001_4^11 + 73570771313647626337212/864936841616847189829*c_1001_4^10 + 338659168119905565596846/864936841616847189829*c_1001_4^9 - 93195505950413356614468/864936841616847189829*c_1001_4^8 - 315852900245388320314613/864936841616847189829*c_1001_4^7 + 74560599392319979126345/864936841616847189829*c_1001_4^6 + 167491168872093912728103/864936841616847189829*c_1001_4^5 - 18465219610676224705555/864936841616847189829*c_1001_4^4 - 48615078943915086761007/864936841616847189829*c_1001_4^3 - 4019212638954617745378/864936841616847189829*c_1001_4^2 + 4592810674274166773800/864936841616847189829*c_1001_4 + 2017735305003240332815/864936841616847189829, c_0110_10 + 1453695469343494769572/864936841616847189829*c_1001_4^16 - 5800113051372056096348/864936841616847189829*c_1001_4^15 + 337507561870549958984/864936841616847189829*c_1001_4^14 + 22347195120827828097112/864936841616847189829*c_1001_4^13 - 7292947448980444253127/864936841616847189829*c_1001_4^12 - 54678769575758064459859/864936841616847189829*c_1001_4^11 + 19922928102557022944629/864936841616847189829*c_1001_4^10 + 83302559263183901841603/864936841616847189829*c_1001_4^9 - 21479165147894416464293/864936841616847189829*c_1001_4^8 - 85600958955853397979375/864936841616847189829*c_1001_4^7 + 11394397787076584426367/864936841616847189829*c_1001_4^6 + 51783435999320622516364/864936841616847189829*c_1001_4^5 + 3813924410446844636132/864936841616847189829*c_1001_4^4 - 18250826316472515297935/864936841616847189829*c_1001_4^3 - 5029905037230971744130/864936841616847189829*c_1001_4^2 + 1931558710956629254837/864936841616847189829*c_1001_4 + 1127231548909060422237/864936841616847189829, c_1001_0 + 1088322853674743938902/864936841616847189829*c_1001_4^16 - 5836030897622756632134/864936841616847189829*c_1001_4^15 + 5064028377639488119243/864936841616847189829*c_1001_4^14 + 20239497007391046674919/864936841616847189829*c_1001_4^13 - 27901874214884807264190/864936841616847189829*c_1001_4^12 - 45276069522961062167996/864936841616847189829*c_1001_4^11 + 71417532444994603928998/864936841616847189829*c_1001_4^10 + 65181874881564949260375/864936841616847189829*c_1001_4^9 - 105814974683188278483624/864936841616847189829*c_1001_4^8 - 64990789574869002440381/864936841616847189829*c_1001_4^7 + 102488294965934909391243/864936841616847189829*c_1001_4^6 + 38350096556827554629352/864936841616847189829*c_1001_4^5 - 58826708859121828830565/864936841616847189829*c_1001_4^4 - 14617634187358572666029/864936841616847189829*c_1001_4^3 + 18108234020501063545752/864936841616847189829*c_1001_4^2 + 3015296687783312696584/864936841616847189829*c_1001_4 - 1476007431021027628218/864936841616847189829, c_1001_1 - 461197615997203787676/864936841616847189829*c_1001_4^16 + 5867331446509725819518/864936841616847189829*c_1001_4^15 - 14779114235258219613996/864936841616847189829*c_1001_4^14 - 8956795194630597114781/864936841616847189829*c_1001_4^13 + 58764801042034269532331/864936841616847189829*c_1001_4^12 + 4995557447632326672616/864936841616847189829*c_1001_4^11 - 136539978465803689078292/864936841616847189829*c_1001_4^10 + 16345335428044606828917/864936841616847189829*c_1001_4^9 + 192315888015066052541997/864936841616847189829*c_1001_4^8 - 33990734153027143373510/864936841616847189829*c_1001_4^7 - 176579909886140866901439/864936841616847189829*c_1001_4^6 + 41007152452488844288651/864936841616847189829*c_1001_4^5 + 91767249840349915835188/864936841616847189829*c_1001_4^4 - 20454020600786465094856/864936841616847189829*c_1001_4^3 - 25935513139838327592311/864936841616847189829*c_1001_4^2 + 4449149459242128392118/864936841616847189829*c_1001_4 + 3017592673026681026196/864936841616847189829, c_1001_4^17 - 65/17*c_1001_4^16 - 11/34*c_1001_4^15 + 539/34*c_1001_4^14 - 83/17*c_1001_4^13 - 1329/34*c_1001_4^12 + 565/34*c_1001_4^11 + 2087/34*c_1001_4^10 - 26*c_1001_4^9 - 2231/34*c_1001_4^8 + 445/17*c_1001_4^7 + 1525/34*c_1001_4^6 - 15*c_1001_4^5 - 661/34*c_1001_4^4 + 159/34*c_1001_4^3 + 163/34*c_1001_4^2 - 10/17*c_1001_4 - 19/34 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.230 Total time: 0.430 seconds, Total memory usage: 32.09MB