Magma V2.19-8 Tue Aug 20 2013 16:18:59 on localhost [Seed = 4240269712] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3137 geometric_solution 6.29602084 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 3 0132 0132 0132 2310 0 0 0 0 0 -1 0 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 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.428250769195 0.736965051007 0 4 3 5 0132 0132 3012 0132 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 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.301158948735 0.803054474818 4 0 5 3 3201 0132 3201 3012 0 0 0 0 0 1 0 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.301158948735 0.803054474818 0 1 2 0 3201 1230 1230 0132 0 0 0 0 0 0 0 0 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 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.534358090266 0.916440583407 4 1 4 2 2310 0132 3201 2310 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 1 0 -1 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.205452785110 1.246078590360 2 6 1 6 2310 0132 0132 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 0.563242520357 1.659377051351 5 5 6 6 3201 0132 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.425284828621 0.166929807991 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : 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_0' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_2'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_5']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_5']), '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_0101_2']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0101_0']), '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_0011_3'], 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_2']), '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 538881861169960794504390912658627012512951177233359/192055970633742\ 17438152190043581430711866339720448*c_0110_6^23 + 6272004297306223223538838409547134878438383258380335/68179869574978\ 4719054402746547140790271255060075904*c_0110_6^22 + 1432117603185650909690018995297515580514599754407853/11269399929748\ 507752965334653671748599524877026048*c_0110_6^21 - 640887786056509725570739077558834689691773101612213/106531046210903\ 86235225042914799074847988360313686*c_0110_6^20 - 57860789862301817500809767822225573067593838612356033/1947996273570\ 81348301257927584897368648930017164544*c_0110_6^19 + 1094933364140881618235488458304129408863441588682185/17755174368483\ 97705870840485799845807998060052281*c_0110_6^18 + 162776271156692986291230281181196086390840553385281591/227266231916\ 594906351467582182380263423751686691968*c_0110_6^17 - 866419244441874929222405938018850753385858043335535009/454532463833\ 189812702935164364760526847503373383936*c_0110_6^16 - 231952876594283655703689849246582470188711873818801347/104892107038\ 428418316061961007252429272500778473216*c_0110_6^15 + 3278454854127211857052741025432985334216747616115604571/13635973914\ 99569438108805493094281580542510120151808*c_0110_6^14 + 946634640137708713040835651992978775545683042194850727/227266231916\ 594906351467582182380263423751686691968*c_0110_6^13 - 231883667493644798532710646433613586562334639951501/290993894899609\ 355123518030963355010785853632128*c_0110_6^12 - 211438418164604998287628312709554960338142639096044805/649332091190\ 27116100419309194965789549643339054848*c_0110_6^11 - 655988431709893142789428322734657530865915027768179635/136359739149\ 9569438108805493094281580542510120151808*c_0110_6^10 + 229632523586678442989889083447214661363625086520365183/681798695749\ 784719054402746547140790271255060075904*c_0110_6^9 - 479267920092893395130762621980375109126771028946551/737877376352580\ 864777492149942793063064128852896*c_0110_6^8 + 282957651009303245396065560458676641295607216987701467/681798695749\ 784719054402746547140790271255060075904*c_0110_6^7 + 37111433313528368810470087366999954371599651378283901/3099084980680\ 8396320654670297597308648693411821632*c_0110_6^6 + 7250537661832884231382107459737901719283082371970615/20660566537872\ 264213769780198398205765795607881088*c_0110_6^5 + 102440049874171228707772624492524685303908569207587783/681798695749\ 784719054402746547140790271255060075904*c_0110_6^4 + 93020493733642754968918871210535505882853014112251211/3408993478748\ 92359527201373273570395135627530037952*c_0110_6^3 + 19064298238909951402475596747133477240547408756881767/3408993478748\ 92359527201373273570395135627530037952*c_0110_6^2 + 7954961825400787504685829586403836786637670394407689/13635973914995\ 69438108805493094281580542510120151808*c_0110_6 + 22538000739894030727430423528374023323414223329538725/1363597391499\ 569438108805493094281580542510120151808, c_0011_0 - 1, c_0011_3 + 14944728733805218153032729881594640204769968831/232562553366\ 3211629358785462244595490796033024*c_0110_6^23 - 1029580381920958651174289243948195469690008047/29070319170790145366\ 9848182780574436349504128*c_0110_6^22 - 67327890501711577208165902744268725833204412965/2325625533663211629\ 358785462244595490796033024*c_0110_6^21 + 10977497815176546509996284071815790629081268157/5814063834158029073\ 39696365561148872699008256*c_0110_6^20 + 157928286437622484662921517256376419220222320405/232562553366321162\ 9358785462244595490796033024*c_0110_6^19 - 175852496341360764134365964362089446675922692203/116281276683160581\ 4679392731122297745398016512*c_0110_6^18 - 83013276330965563077374652372404487315953014799/5814063834158029073\ 39696365561148872699008256*c_0110_6^17 + 1088726152323185248682741106153036873526072321587/23256255336632116\ 29358785462244595490796033024*c_0110_6^16 + 1062831635627278521669049357211563374194655987373/23256255336632116\ 29358785462244595490796033024*c_0110_6^15 - 1562043090142769329217139805076186543616575837763/23256255336632116\ 29358785462244595490796033024*c_0110_6^14 - 1124034124982147663131398109227245754898027784713/11628127668316058\ 14679392731122297745398016512*c_0110_6^13 + 427995356662426083563439982951574799212006942165/116281276683160581\ 4679392731122297745398016512*c_0110_6^12 + 2142736894698506257462984626523209963046230687003/23256255336632116\ 29358785462244595490796033024*c_0110_6^11 + 181137531820564919334494216915246540223285282187/232562553366321162\ 9358785462244595490796033024*c_0110_6^10 - 315032304984602985991466798849078504466574264095/116281276683160581\ 4679392731122297745398016512*c_0110_6^9 + 5306290076713155430415874515847729147488129073/29070319170790145366\ 9848182780574436349504128*c_0110_6^8 - 110488515272991744092098162386800808670453599433/116281276683160581\ 4679392731122297745398016512*c_0110_6^7 - 16080711697859314099194551702515950054650767703/7267579792697536341\ 7462045695143609087376032*c_0110_6^6 - 33387815435918282426345764217383661204938692647/1162812766831605814\ 679392731122297745398016512*c_0110_6^5 + 32938489716565895296180312925935938163734948951/1162812766831605814\ 679392731122297745398016512*c_0110_6^4 - 5207834734302210573064084065101867278308791345/29070319170790145366\ 9848182780574436349504128*c_0110_6^3 - 594513029739451602812982869677388787771581819/290703191707901453669\ 848182780574436349504128*c_0110_6^2 + 8150331457864947239562135826233419361439251341/23256255336632116293\ 58785462244595490796033024*c_0110_6 - 463886179973108462181500591687189630318869593/232562553366321162935\ 8785462244595490796033024, c_0011_5 + 17509020170143217991550200852727470621254353753/232562553366\ 3211629358785462244595490796033024*c_0110_6^23 - 187738046005087983961928407987679945329919429/290703191707901453669\ 848182780574436349504128*c_0110_6^22 - 82136052498483563482309556251390691093588134851/2325625533663211629\ 358785462244595490796033024*c_0110_6^21 + 4038573506733392553632720893877397570139656507/58140638341580290733\ 9696365561148872699008256*c_0110_6^20 + 202177632146386913826670920654393368930380818995/232562553366321162\ 9358785462244595490796033024*c_0110_6^19 - 165716644241806555105082665304886676485315669565/116281276683160581\ 4679392731122297745398016512*c_0110_6^18 - 140430496227210171954874439850131444214505473553/581406383415802907\ 339696365561148872699008256*c_0110_6^17 + 1086547331430169661473709191227006117985690747877/23256255336632116\ 29358785462244595490796033024*c_0110_6^16 + 1762860735449667185980729081547339461181108656155/23256255336632116\ 29358785462244595490796033024*c_0110_6^15 - 1204332621053598758423920833400403323251602084629/23256255336632116\ 29358785462244595490796033024*c_0110_6^14 - 1625647209054680263482775135113916142301434159231/11628127668316058\ 14679392731122297745398016512*c_0110_6^13 - 102962204368937986784404331563299746177122855053/116281276683160581\ 4679392731122297745398016512*c_0110_6^12 + 2586092379074624420160383358737739971089175996829/23256255336632116\ 29358785462244595490796033024*c_0110_6^11 + 1146067340949310574307232466177549227704533216077/23256255336632116\ 29358785462244595490796033024*c_0110_6^10 - 180555329094495433126693090978848434678214965881/116281276683160581\ 4679392731122297745398016512*c_0110_6^9 + 463340067700557531088285693234128074374043663/290703191707901453669\ 848182780574436349504128*c_0110_6^8 - 123832161009825836468381578103303794778898965759/116281276683160581\ 4679392731122297745398016512*c_0110_6^7 - 25014895610476489857906676997573327509314694433/7267579792697536341\ 7462045695143609087376032*c_0110_6^6 - 188219612509705646766016694460360497742774814513/116281276683160581\ 4679392731122297745398016512*c_0110_6^5 - 15297794935814232191886714030614402905159494815/1162812766831605814\ 679392731122297745398016512*c_0110_6^4 - 10026512521385960833378437626398550253386223255/2907031917079014536\ 69848182780574436349504128*c_0110_6^3 - 4593567717528618573324661835179494681028172029/29070319170790145366\ 9848182780574436349504128*c_0110_6^2 + 6500728545981358928651263487749471083655195707/23256255336632116293\ 58785462244595490796033024*c_0110_6 - 1942049807326642923432330414788406428522044655/23256255336632116293\ 58785462244595490796033024, c_0101_0 + 27381143259995932787700784304976018588565266693/232562553366\ 3211629358785462244595490796033024*c_0110_6^23 - 2822587069985890628066840940444858428802993603/58140638341580290733\ 9696365561148872699008256*c_0110_6^22 - 123388562862050504030627250612105862988267636267/232562553366321162\ 9358785462244595490796033024*c_0110_6^21 + 16130578218080232353411680810639813259118994161/5814063834158029073\ 39696365561148872699008256*c_0110_6^20 + 290518321073915601832854584294275443662579921007/232562553366321162\ 9358785462244595490796033024*c_0110_6^19 - 304537793339166680145384576342304426639310634019/116281276683160581\ 4679392731122297745398016512*c_0110_6^18 - 10494198509940375700371268915993129654045085037/3633789896348768170\ 8731022847571804543688016*c_0110_6^17 + 1888477767254669563764808692240075940076255754437/23256255336632116\ 29358785462244595490796033024*c_0110_6^16 + 2128787279056655222399951465432482128213967803439/23256255336632116\ 29358785462244595490796033024*c_0110_6^15 - 2507315032252636732208318528199326559142326747149/23256255336632116\ 29358785462244595490796033024*c_0110_6^14 - 2104611884435656782160871369947389907082171659847/11628127668316058\ 14679392731122297745398016512*c_0110_6^13 + 494168530367774905856452731394667754697855016575/116281276683160581\ 4679392731122297745398016512*c_0110_6^12 + 3622030276812613077566236375060855198730825612529/23256255336632116\ 29358785462244595490796033024*c_0110_6^11 + 585672247257228297393578662818121424191670565773/232562553366321162\ 9358785462244595490796033024*c_0110_6^10 - 376177668621514482904978918279654471107262137229/116281276683160581\ 4679392731122297745398016512*c_0110_6^9 + 19698663073660790261951092875148368243586062093/1453515958539507268\ 34924091390287218174752064*c_0110_6^8 - 192265221674978191222369106101285000517425219175/116281276683160581\ 4679392731122297745398016512*c_0110_6^7 - 68325777406997921099815146817274836384441251769/1453515958539507268\ 34924091390287218174752064*c_0110_6^6 - 148626294826750883043574213487258466620234488949/116281276683160581\ 4679392731122297745398016512*c_0110_6^5 + 941111793432849426903871639334494655932187033/116281276683160581467\ 9392731122297745398016512*c_0110_6^4 - 19324825967450417826308134006865927910732934721/2907031917079014536\ 69848182780574436349504128*c_0110_6^3 - 4421585003258289947414409548793315641427028899/29070319170790145366\ 9848182780574436349504128*c_0110_6^2 + 16423336663940787913664901695984783907135934799/2325625533663211629\ 358785462244595490796033024*c_0110_6 - 6006318874554356627496058589704736400164563999/23256255336632116293\ 58785462244595490796033024, c_0101_1 + 7698258049430959497031289108394618973129691865/1162812766831\ 605814679392731122297745398016512*c_0110_6^23 - 268092796259139003980976341989591844968413325/290703191707901453669\ 848182780574436349504128*c_0110_6^22 - 37450858823184476863579591834778816538901540679/1162812766831605814\ 679392731122297745398016512*c_0110_6^21 + 2705762316396454525536654591151543378600229205/29070319170790145366\ 9848182780574436349504128*c_0110_6^20 + 93643061677589253071522448163807522882763480379/1162812766831605814\ 679392731122297745398016512*c_0110_6^19 - 79210843196903875950876834781040921085671186291/5814063834158029073\ 39696365561148872699008256*c_0110_6^18 - 15551672210859414779096217425265965520900184543/7267579792697536341\ 7462045695143609087376032*c_0110_6^17 + 530731110532296439070986559477903114132438675937/116281276683160581\ 4679392731122297745398016512*c_0110_6^16 + 752506276419022634973574056035252857949304214931/116281276683160581\ 4679392731122297745398016512*c_0110_6^15 - 678129861302949038997587039128980749458801736865/116281276683160581\ 4679392731122297745398016512*c_0110_6^14 - 712544432391404399480014029285863974630678005163/581406383415802907\ 339696365561148872699008256*c_0110_6^13 + 80086106169626621930720061676068580534380284323/5814063834158029073\ 39696365561148872699008256*c_0110_6^12 + 1241516054323357284862008020668465261427085350229/11628127668316058\ 14679392731122297745398016512*c_0110_6^11 + 282974357313003541058273381559933936522804523673/116281276683160581\ 4679392731122297745398016512*c_0110_6^10 - 151662426341695810797138462834013647392514520133/581406383415802907\ 339696365561148872699008256*c_0110_6^9 + 7675796050917768144912500339926981956366684259/14535159585395072683\ 4924091390287218174752064*c_0110_6^8 - 34489460565806146871594383042568369087646686167/5814063834158029073\ 39696365561148872699008256*c_0110_6^7 - 43701959620933352421095685510333136416881801107/1453515958539507268\ 34924091390287218174752064*c_0110_6^6 - 55352306936977920338445762067014447315603658301/5814063834158029073\ 39696365561148872699008256*c_0110_6^5 + 6084941632863657446795083967978338906961417905/58140638341580290733\ 9696365561148872699008256*c_0110_6^4 - 1639529572155547655226654998241316700405956687/36337898963487681708\ 731022847571804543688016*c_0110_6^3 - 1138762088494720565414616729221326181161934409/72675797926975363417\ 462045695143609087376032*c_0110_6^2 + 3630712760929194853621114198419328751455924883/11628127668316058146\ 79392731122297745398016512*c_0110_6 - 3177663198295407571420613807778050218580237595/11628127668316058146\ 79392731122297745398016512, c_0101_2 + 10027817602430624141643863120739636259641364469/581406383415\ 802907339696365561148872699008256*c_0110_6^23 - 1368579809017078242477262476030615956172771737/29070319170790145366\ 9848182780574436349504128*c_0110_6^22 - 46246176659735514944068141805446285074565932097/5814063834158029073\ 39696365561148872699008256*c_0110_6^21 + 69575966905942256123088681252514337182300011/2271118685217980106795\ 688927973237783980501*c_0110_6^20 + 111413457881210000365972247564995013798242186035/581406383415802907\ 339696365561148872699008256*c_0110_6^19 - 52575625442288007361104071984696688408623303149/1453515958539507268\ 34924091390287218174752064*c_0110_6^18 - 140090095885734884093815581883779499515660467745/290703191707901453\ 669848182780574436349504128*c_0110_6^17 + 669473365302319624750252113790303030250078568651/581406383415802907\ 339696365561148872699008256*c_0110_6^16 + 878856058549236334793321523966197367087218014295/581406383415802907\ 339696365561148872699008256*c_0110_6^15 - 840795750844903180139242194820270218427895776231/581406383415802907\ 339696365561148872699008256*c_0110_6^14 - 842224761244113367567956211057410462324844728661/290703191707901453\ 669848182780574436349504128*c_0110_6^13 + 94003575783393109985934388731274804992470103691/2907031917079014536\ 69848182780574436349504128*c_0110_6^12 + 1413255944502656752638766922513381869683429276021/58140638341580290\ 7339696365561148872699008256*c_0110_6^11 + 377055060605848405287697492363293263157691894035/581406383415802907\ 339696365561148872699008256*c_0110_6^10 - 133692778124330966593784713875015816253706484473/290703191707901453\ 669848182780574436349504128*c_0110_6^9 + 18575992651972407934968753294063524933060256869/1453515958539507268\ 34924091390287218174752064*c_0110_6^8 - 68232510934757906920532597553242785827735541717/2907031917079014536\ 69848182780574436349504128*c_0110_6^7 - 53428174851508024183091408229348275335319482593/7267579792697536341\ 7462045695143609087376032*c_0110_6^6 - 74299356125545460563627332814400091490595747977/2907031917079014536\ 69848182780574436349504128*c_0110_6^5 - 951745130022866666521914746834787767011219085/290703191707901453669\ 848182780574436349504128*c_0110_6^4 - 3292737433015880294224237576384518464962749957/36337898963487681708\ 731022847571804543688016*c_0110_6^3 - 130443954301714915585534018619130380885638853/454223737043596021359\ 1377855946475567961002*c_0110_6^2 + 4506987391102385307656225397147520932739110647/58140638341580290733\ 9696365561148872699008256*c_0110_6 - 1859329188349006327553400262526669132423167961/58140638341580290733\ 9696365561148872699008256, c_0110_6^24 + 21/71*c_0110_6^23 - 341/71*c_0110_6^22 - 59/71*c_0110_6^21 + 873/71*c_0110_6^20 - 1047/71*c_0110_6^19 - 2862/71*c_0110_6^18 + 3671/71*c_0110_6^17 + 8990/71*c_0110_6^16 - 2612/71*c_0110_6^15 - 15531/71*c_0110_6^14 - 5148/71*c_0110_6^13 + 11233/71*c_0110_6^12 + 8180/71*c_0110_6^11 - 877/71*c_0110_6^10 - 594/71*c_0110_6^9 - 458/71*c_0110_6^8 - 3542/71*c_0110_6^7 - 2750/71*c_0110_6^6 - 524/71*c_0110_6^5 - 382/71*c_0110_6^4 - 368/71*c_0110_6^3 - 35/71*c_0110_6^2 + 6/71*c_0110_6 - 11/71 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.250 seconds, Total memory usage: 32.09MB