Magma V2.19-8 Tue Aug 20 2013 16:17:43 on localhost [Seed = 2682127219] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1954 geometric_solution 5.53709839 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 0 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 -1 0 1 0 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.435274164749 0.289915228276 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.973313814015 0.770047932377 1 4 5 3 0132 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 -1 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 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.255209954948 0.795749315338 2 5 4 1 3201 0132 1023 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 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.255209954948 0.795749315338 6 2 3 6 0132 0132 1023 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.011625639360 0.645655056233 5 3 5 2 2310 0132 3201 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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.365447534985 1.139472109599 4 6 6 4 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.646410317793 0.346754671474 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_1']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), '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_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0011_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], '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_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], '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_3, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 4446770741726303135473978239752132618770681/96971943308380733809376\ 160970923074910271*c_0101_6^25 - 2795624332079415694504422582322853\ 647457275/96971943308380733809376160970923074910271*c_0101_6^24 + 103507901984633151104971958515100241978277731/969719433083807338093\ 76160970923074910271*c_0101_6^23 + 29285519693617124232585905043991251957986984/9697194330838073380937\ 6160970923074910271*c_0101_6^22 - 110765992938781752417788839325064\ 5461728203532/96971943308380733809376160970923074910271*c_0101_6^21 + 177383941851976656186543726166482360892942729/9697194330838073380\ 9376160970923074910271*c_0101_6^20 + 6223126599081605468224921783269538997083463686/96971943308380733809\ 376160970923074910271*c_0101_6^19 - 3698080549111436497694516393892756151243548654/96971943308380733809\ 376160970923074910271*c_0101_6^18 - 1989232604091990659144052609262203816267997046/13853134758340104829\ 910880138703296415753*c_0101_6^17 + 7691921925113847397213260783854166012372436349/96971943308380733809\ 376160970923074910271*c_0101_6^16 + 2023177843379471942110088776014852341769464644/13853134758340104829\ 910880138703296415753*c_0101_6^15 + 2877410119065675908022833709999057265694154208/96971943308380733809\ 376160970923074910271*c_0101_6^14 - 7506089916362023838485796655567278908081324773/96971943308380733809\ 376160970923074910271*c_0101_6^13 - 28510583955439271424462984653805993683595037200/9697194330838073380\ 9376160970923074910271*c_0101_6^12 + 9551979818962504579094089001957622217779740172/96971943308380733809\ 376160970923074910271*c_0101_6^11 + 35743264755153455096290240468358625196367830743/9697194330838073380\ 9376160970923074910271*c_0101_6^10 - 2404751618208188690618669174167952679555024068/13853134758340104829\ 910880138703296415753*c_0101_6^9 - 11417582591593834036260052687072818417622025193/9697194330838073380\ 9376160970923074910271*c_0101_6^8 + 1147372646237961892626874206425083985928773424/13853134758340104829\ 910880138703296415753*c_0101_6^7 - 2539301057505210447443290435576190599994103532/96971943308380733809\ 376160970923074910271*c_0101_6^6 + 637136940945472594643470706253269058691836462/969719433083807338093\ 76160970923074910271*c_0101_6^5 + 549134128975070956782904832537960\ 272397057032/96971943308380733809376160970923074910271*c_0101_6^4 - 35715930614098443364761690137049110550736520/1385313475834010482991\ 0880138703296415753*c_0101_6^3 + 6890301457600856511614858701520261\ 8563490796/96971943308380733809376160970923074910271*c_0101_6^2 - 31221998804529683282636526200606073204659417/9697194330838073380937\ 6160970923074910271*c_0101_6 + 833382706080229362614876760456320636\ 335512/96971943308380733809376160970923074910271, c_0011_0 - 1, c_0011_1 + 77258097639009124964201835757317190972854/969719433083807338\ 09376160970923074910271*c_0101_6^25 + 89650822987071601439084742675066554657370/9697194330838073380937616\ 0970923074910271*c_0101_6^24 - 176981321193232476769997408954023821\ 9873024/96971943308380733809376160970923074910271*c_0101_6^23 - 1453625435854934265230985774837645739619551/96971943308380733809376\ 160970923074910271*c_0101_6^22 + 1892833743888092154115571421778470\ 5485883413/96971943308380733809376160970923074910271*c_0101_6^21 + 6922826287002235006305245331089954088170376/96971943308380733809376\ 160970923074910271*c_0101_6^20 - 1093996643042340677701223000309527\ 81651157747/96971943308380733809376160970923074910271*c_0101_6^19 + 8807375422780549045056634589236871418539255/96971943308380733809376\ 160970923074910271*c_0101_6^18 + 3921713403049261612348168896333703\ 3933020607/13853134758340104829910880138703296415753*c_0101_6^17 - 14845750520024689306221016376856005007465083/9697194330838073380937\ 6160970923074910271*c_0101_6^16 - 450194644927885085514982160020760\ 95643665868/13853134758340104829910880138703296415753*c_0101_6^15 - 156496551526220131657770476641821085676911095/969719433083807338093\ 76160970923074910271*c_0101_6^14 + 112061912288293944996571247573510671308920562/969719433083807338093\ 76160970923074910271*c_0101_6^13 + 537148866551886458843716148350820987364306894/969719433083807338093\ 76160970923074910271*c_0101_6^12 + 65253755908573541083769773607765342457825401/9697194330838073380937\ 6160970923074910271*c_0101_6^11 - 704154410838989548287423913485705\ 591878849336/96971943308380733809376160970923074910271*c_0101_6^10 + 2114782565131731618931920069301773948029375/13853134758340104829910\ 880138703296415753*c_0101_6^9 + 37805669745615337312778543439110059\ 1206787566/96971943308380733809376160970923074910271*c_0101_6^8 - 11004767996377928002356633343494249446054595/1385313475834010482991\ 0880138703296415753*c_0101_6^7 - 5510558638053106277681163199791569\ 8584509189/96971943308380733809376160970923074910271*c_0101_6^6 + 27268985009881029589712255809821557146414761/9697194330838073380937\ 6160970923074910271*c_0101_6^5 - 9026277753850401243801819553832246\ 097955045/96971943308380733809376160970923074910271*c_0101_6^4 - 332227700032670889730664218457376543231085/138531347583401048299108\ 80138703296415753*c_0101_6^3 + 195569114000148331599564748790278090\ 1102021/96971943308380733809376160970923074910271*c_0101_6^2 + 95678594936917848676960805836263348460134/9697194330838073380937616\ 0970923074910271*c_0101_6 - 118402364839896193188115220372995640817\ 73/96971943308380733809376160970923074910271, c_0011_3 - 131828411167233403042194636855898703761783/13853134758340104\ 829910880138703296415753*c_0101_6^25 - 96079053006082420151363723837152056457199/1385313475834010482991088\ 0138703296415753*c_0101_6^24 + 308854677623762047725870305769238382\ 1703885/13853134758340104829910880138703296415753*c_0101_6^23 + 1193284574125379217611494274507324062970761/13853134758340104829910\ 880138703296415753*c_0101_6^22 - 3341324637439793566391678920860213\ 5311859539/13853134758340104829910880138703296415753*c_0101_6^21 + 1778842748164821504475396124118841649795029/13853134758340104829910\ 880138703296415753*c_0101_6^20 + 1921657481204766957824285798235302\ 16209113690/13853134758340104829910880138703296415753*c_0101_6^19 - 92213002995805195941512284056549787209655931/1385313475834010482991\ 0880138703296415753*c_0101_6^18 - 464499292401475113730222434596996\ 516603540901/13853134758340104829910880138703296415753*c_0101_6^17 + 210026516261916310434288102663052720841580529/138531347583401048299\ 10880138703296415753*c_0101_6^16 + 537730177433031615203019584369825652771399953/138531347583401048299\ 10880138703296415753*c_0101_6^15 + 76225370061280661229332160186487512025697770/1385313475834010482991\ 0880138703296415753*c_0101_6^14 - 318773524283964717989750290344474\ 544871524985/13853134758340104829910880138703296415753*c_0101_6^13 - 881036874960197500213467509841075085843488132/138531347583401048299\ 10880138703296415753*c_0101_6^12 + 260500245780091658973558421300661308107116989/138531347583401048299\ 10880138703296415753*c_0101_6^11 + 1274580598975251359319717635066988157535700914/13853134758340104829\ 910880138703296415753*c_0101_6^10 - 457921604596846575030821285227792858514768131/138531347583401048299\ 10880138703296415753*c_0101_6^9 - 644404839151886202793389847968909\ 397275734489/13853134758340104829910880138703296415753*c_0101_6^8 + 314450350226816791734498093532295108436597572/138531347583401048299\ 10880138703296415753*c_0101_6^7 + 561720225853310925633784715942336\ 89698989519/13853134758340104829910880138703296415753*c_0101_6^6 - 52483464733827092277477631980476323356265006/1385313475834010482991\ 0880138703296415753*c_0101_6^5 + 2236106462294408420197804486720313\ 0312263724/13853134758340104829910880138703296415753*c_0101_6^4 - 1086486107272628995620372403248373039299904/13853134758340104829910\ 880138703296415753*c_0101_6^3 - 41113447506551795748016067953130988\ 22478783/13853134758340104829910880138703296415753*c_0101_6^2 + 312835730907903888917398275708704214092732/138531347583401048299108\ 80138703296415753*c_0101_6 + 15807702029987646316377761661982087298\ 7569/13853134758340104829910880138703296415753, c_0101_0 - 79674800777554125859717755189692394038563/969719433083807338\ 09376160970923074910271*c_0101_6^25 - 41533178620963580930240666064128809567645/9697194330838073380937616\ 0970923074910271*c_0101_6^24 + 187849618076590970687585723238171779\ 6911898/96971943308380733809376160970923074910271*c_0101_6^23 + 333454826170357113017262227379676807597209/969719433083807338093761\ 60970923074910271*c_0101_6^22 - 20339697396433166831964262497131927\ 892497155/96971943308380733809376160970923074910271*c_0101_6^21 + 5270171456668668155529430457548952212039742/96971943308380733809376\ 160970923074910271*c_0101_6^20 + 1158765196172754112093516404825992\ 50832475841/96971943308380733809376160970923074910271*c_0101_6^19 - 79833066763435162304324936063439330252494495/9697194330838073380937\ 6160970923074910271*c_0101_6^18 - 384221716846778382187270608684464\ 28010213397/13853134758340104829910880138703296415753*c_0101_6^17 + 184905277488552231549489378429689046567435930/969719433083807338093\ 76160970923074910271*c_0101_6^16 + 42619075161927627199356862316309034675254027/1385313475834010482991\ 0880138703296415753*c_0101_6^15 - 197921381839523215154584417640535\ 06172012862/96971943308380733809376160970923074910271*c_0101_6^14 - 202523181729430531355953214894731521560827494/969719433083807338093\ 76160970923074910271*c_0101_6^13 - 495953712060672358881270276728026277031976973/969719433083807338093\ 76160970923074910271*c_0101_6^12 + 268018041997749845249101004318698681486841395/969719433083807338093\ 76160970923074910271*c_0101_6^11 + 740593934359045010845491299467262832132473477/969719433083807338093\ 76160970923074910271*c_0101_6^10 - 61872165877952532040244459663526225008413606/1385313475834010482991\ 0880138703296415753*c_0101_6^9 - 3318683490188565286468780582132920\ 53496544883/96971943308380733809376160970923074910271*c_0101_6^8 + 37501867259826557132055574889792479481741796/1385313475834010482991\ 0880138703296415753*c_0101_6^7 - 7416722367894756454493621960509658\ 402389604/96971943308380733809376160970923074910271*c_0101_6^6 - 31561263836468822642281132191618526441886433/9697194330838073380937\ 6160970923074910271*c_0101_6^5 + 2071576155351536195194040736926463\ 2141254539/96971943308380733809376160970923074910271*c_0101_6^4 - 707636970834781953361018040756489235681499/138531347583401048299108\ 80138703296415753*c_0101_6^3 - 205338565144489355862433409576627618\ 3557467/96971943308380733809376160970923074910271*c_0101_6^2 + 407009299668631355828180299395588249903646/969719433083807338093761\ 60970923074910271*c_0101_6 + 11915037469591082683633988788897300754\ 775/96971943308380733809376160970923074910271, c_0101_1 + 703249052097164511816745945759794819960206/96971943308380733\ 809376160970923074910271*c_0101_6^25 + 541860198743936899199864118797592545955003/969719433083807338093761\ 60970923074910271*c_0101_6^24 - 16453720022940831620944071415442671\ 563559892/96971943308380733809376160970923074910271*c_0101_6^23 - 7045463454305547182251044101172646820027906/96971943308380733809376\ 160970923074910271*c_0101_6^22 + 1779636184968289845508042418034453\ 76050830633/96971943308380733809376160970923074910271*c_0101_6^21 - 2212539876258749072394559124457821005544329/96971943308380733809376\ 160970923074910271*c_0101_6^20 - 1025374250218328177997088138837251\ 776563408298/96971943308380733809376160970923074910271*c_0101_6^19 + 450706190453507013798909364114439076599879781/969719433083807338093\ 76160970923074910271*c_0101_6^18 + 356774390986154069288355867028729275095939039/138531347583401048299\ 10880138703296415753*c_0101_6^17 - 1025148599986789827040312781334268245353774544/96971943308380733809\ 376160970923074910271*c_0101_6^16 - 415788721191032279864039361854353464281404017/138531347583401048299\ 10880138703296415753*c_0101_6^15 - 506934981021068841319316763573353560937496707/969719433083807338093\ 76160970923074910271*c_0101_6^14 + 1677864951735511240930677769005271809533984532/96971943308380733809\ 376160970923074910271*c_0101_6^13 + 4748352903057534737743839076465353997209675473/96971943308380733809\ 376160970923074910271*c_0101_6^12 - 1204510952576516073886560138154138353762475108/96971943308380733809\ 376160970923074910271*c_0101_6^11 - 6845072799407791516068511153038533610903320189/96971943308380733809\ 376160970923074910271*c_0101_6^10 + 314256847000396593148413231071464140289837339/138531347583401048299\ 10880138703296415753*c_0101_6^9 + 353513122980120444987194999992356\ 2825871748512/96971943308380733809376160970923074910271*c_0101_6^8 - 225791542331018711434234496913740683881924051/138531347583401048299\ 10880138703296415753*c_0101_6^7 - 362069756764928312681064348629562\ 240139947669/96971943308380733809376160970923074910271*c_0101_6^6 + 285492709974204362213884449186178831756334776/969719433083807338093\ 76160970923074910271*c_0101_6^5 - 113218521865722706564609326052821\ 327347679114/96971943308380733809376160970923074910271*c_0101_6^4 + 161712727694770407024070423373211344898867/138531347583401048299108\ 80138703296415753*c_0101_6^3 + 230281106876218580931559892819421883\ 81752591/96971943308380733809376160970923074910271*c_0101_6^2 - 1436518604960876425967043861211618010253519/96971943308380733809376\ 160970923074910271*c_0101_6 - 9157506629633371775261819906586602265\ 55023/96971943308380733809376160970923074910271, c_0101_4 - 860884349515086668323528444915984706247753/96971943308380733\ 809376160970923074910271*c_0101_6^25 - 684136003276221033757259301816992216562651/969719433083807338093761\ 60970923074910271*c_0101_6^24 + 20124488062992517418435112569072450\ 797877797/96971943308380733809376160970923074910271*c_0101_6^23 + 9110660455679527669994991398464526495770173/96971943308380733809376\ 160970923074910271*c_0101_6^22 - 2176119521046282093572286517862936\ 38077514249/96971943308380733809376160970923074910271*c_0101_6^21 - 2539911825486798388020062685543532825710792/96971943308380733809376\ 160970923074910271*c_0101_6^20 + 1254879000065262681926770680209009\ 782970190331/96971943308380733809376160970923074910271*c_0101_6^19 - 521471596901268750020620286560655062068650764/969719433083807338093\ 76160970923074910271*c_0101_6^18 - 438280392833473782671862977286439652548012122/138531347583401048299\ 10880138703296415753*c_0101_6^17 + 1180750097776945507610016809389527145596281096/96971943308380733809\ 376160970923074910271*c_0101_6^16 + 512118532877571191659812974445045282455922132/138531347583401048299\ 10880138703296415753*c_0101_6^15 + 707349739352700714128856617701602676129604181/969719433083807338093\ 76160970923074910271*c_0101_6^14 - 2024713708499660277008134132849917565683427975/96971943308380733809\ 376160970923074910271*c_0101_6^13 - 5857994901281261070099958986404069702612728335/96971943308380733809\ 376160970923074910271*c_0101_6^12 + 1322960736177208624346552821614082026560135145/96971943308380733809\ 376160970923074910271*c_0101_6^11 + 8396514866057144132114374545452350345330558020/96971943308380733809\ 376160970923074910271*c_0101_6^10 - 355801741600516762403700629456510039134917396/138531347583401048299\ 10880138703296415753*c_0101_6^9 - 436189498795635679282815749842177\ 6188200171005/96971943308380733809376160970923074910271*c_0101_6^8 + 262405795454652313051074581181348381635781488/138531347583401048299\ 10880138703296415753*c_0101_6^7 + 466211106620835114120327399897081\ 068866281368/96971943308380733809376160970923074910271*c_0101_6^6 - 342238272672112285792176026418300613715546864/969719433083807338093\ 76160970923074910271*c_0101_6^5 + 136409434413919473436540907494934\ 004634761426/96971943308380733809376160970923074910271*c_0101_6^4 + 276114257045189006425892968549591925864511/138531347583401048299108\ 80138703296415753*c_0101_6^3 - 275087111587229865642468388876091752\ 44286267/96971943308380733809376160970923074910271*c_0101_6^2 + 1227551195187150686794191501220041838814243/96971943308380733809376\ 160970923074910271*c_0101_6 + 1025623128187923857813118569784465369\ 754292/96971943308380733809376160970923074910271, c_0101_6^26 - 24*c_0101_6^24 + 8*c_0101_6^23 + 261*c_0101_6^22 - 198*c_0101_6^21 - 1458*c_0101_6^20 + 1764*c_0101_6^19 + 3071*c_0101_6^18 - 4198*c_0101_6^17 - 3048*c_0101_6^16 + 2476*c_0101_6^15 + 2977*c_0101_6^14 + 4928*c_0101_6^13 - 6930*c_0101_6^12 - 8479*c_0101_6^11 + 10631*c_0101_6^10 + 2700*c_0101_6^9 - 6136*c_0101_6^8 + 1180*c_0101_6^7 + 815*c_0101_6^6 - 473*c_0101_6^5 + 124*c_0101_6^4 + 33*c_0101_6^3 - 27*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB