Magma V2.19-8 Tue Aug 20 2013 16:19:22 on localhost [Seed = 1309659976] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3478 geometric_solution 6.71299976 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.625845851268 0.893401015806 0 3 5 4 0132 0132 0132 0132 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 -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.506844900119 0.834907203201 3 0 4 5 3201 0132 3201 2310 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 -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.506844900119 0.834907203201 6 1 6 2 0132 0132 2310 2310 0 0 0 0 0 0 0 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 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.408590095892 1.187812877104 2 6 1 6 2310 3201 0132 1023 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.214638337994 1.028464991611 2 5 5 1 3201 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.433678464155 0.700983042263 3 3 4 4 0132 3201 2310 1023 0 0 0 0 0 0 0 0 1 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 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.426908943681 0.434396853254 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_0']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_2'], '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' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 48704355338087206143790907369392828122007789500338638914376/1252353\ 835697377055968233836779483896424852372063594133*c_0101_5^21 + 359062730291467305923036192458613114841381796197858399582729/125235\ 3835697377055968233836779483896424852372063594133*c_0101_5^20 - 890653097764355991207158508551359020623839707353096798303118/125235\ 3835697377055968233836779483896424852372063594133*c_0101_5^19 + 424195509892155780707554602363752294698557469268497746749397/125235\ 3835697377055968233836779483896424852372063594133*c_0101_5^18 + 988566872686353700112469348358465299688633002198353394774646/125235\ 3835697377055968233836779483896424852372063594133*c_0101_5^17 + 166346240292547963128940696317160201262269712005190268855650/125235\ 3835697377055968233836779483896424852372063594133*c_0101_5^16 - 3792002055366282422590638166737296607896199689559140213471083/12523\ 53835697377055968233836779483896424852372063594133*c_0101_5^15 + 3064551306834829318934887565803430094767799827450747750159091/12523\ 53835697377055968233836779483896424852372063594133*c_0101_5^14 + 8044926434362095741112925997273328656769773431015084473116139/25047\ 07671394754111936467673558967792849704744127188266*c_0101_5^13 - 11750603730622600018466288044621333008891235548094272470454243/2504\ 707671394754111936467673558967792849704744127188266*c_0101_5^12 - 78169644119742099980694135390385450147906141980253975611582/9633491\ 0438259773536017987444575684340373259389507241*c_0101_5^11 + 3718675452602310720800003337956942948065235378487903188980804/12523\ 53835697377055968233836779483896424852372063594133*c_0101_5^10 - 7356285203190962800557026012585970031027654414917631759216/23629317\ 654667491622042147863763847102355705133275361*c_0101_5^9 - 2200670962217536338378889406495358453694822108217032399063526/12523\ 53835697377055968233836779483896424852372063594133*c_0101_5^8 + 893483339199053802879067173300753466482338163076519298196255/250470\ 7671394754111936467673558967792849704744127188266*c_0101_5^7 + 1462106290049714152877276764490663948591292138869256434809581/25047\ 07671394754111936467673558967792849704744127188266*c_0101_5^6 - 234135839279558659091722507157291495371366750259749897996573/250470\ 7671394754111936467673558967792849704744127188266*c_0101_5^5 - 178875103285720115961403976459310061987299085255388858809998/125235\ 3835697377055968233836779483896424852372063594133*c_0101_5^4 + 3263381497925714485111570568049487712320657168956319712503/96334910\ 438259773536017987444575684340373259389507241*c_0101_5^3 + 16636338591816092484224036894387384124783416793748748500603/1252353\ 835697377055968233836779483896424852372063594133*c_0101_5^2 - 6352854221751757586729848590915427333411048105589498583917/25047076\ 71394754111936467673558967792849704744127188266*c_0101_5 - 779050628004123140454753850898171389758964732436225534203/125235383\ 5697377055968233836779483896424852372063594133, c_0011_0 - 1, c_0011_4 - 2021271254863705436056199047847745282624539501121463144/1817\ 639819589807047849395989520295930950438856405797*c_0101_5^21 + 14893469700263688876319640451197195356208393192315357533/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^20 - 36862920862367578911868215995909594819381293345442322688/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^19 + 17156395006312055540266964899837049138385503769970949553/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^18 + 41837133024806113623429061680095304627629473805357021239/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^17 + 6731624065682248088719319742532593424614064118655739232/18176398195\ 89807047849395989520295930950438856405797*c_0101_5^16 - 158161442956635710165039662602309162747742129266061981189/181763981\ 9589807047849395989520295930950438856405797*c_0101_5^15 + 126345861036102596354034851114553529346991549777179198097/181763981\ 9589807047849395989520295930950438856405797*c_0101_5^14 + 170607752680911153482834975700293600932095097720984130672/181763981\ 9589807047849395989520295930950438856405797*c_0101_5^13 - 245596174207797650798675411676238687977337450895258749867/181763981\ 9589807047849395989520295930950438856405797*c_0101_5^12 - 46519404170876586282792103575355178802368785341028730926/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^11 + 158790157670916307801430910726750615198215755372216602126/181763981\ 9589807047849395989520295930950438856405797*c_0101_5^10 - 14589713916782936191121864011332857817103398978761216697/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^9 - 94219613525138384788541061505932479400753767665124232488/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^8 + 18364748535029928035783661707176990687677117576237037800/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^7 + 32137440310632686236999662498990782035573476886420674681/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^6 - 4998758434245475238891583041527816436250339028686215424/18176398195\ 89807047849395989520295930950438856405797*c_0101_5^5 - 7982875230139036124075608039584250320613054097456293012/18176398195\ 89807047849395989520295930950438856405797*c_0101_5^4 + 1773195000201625785187139784132879012733713934226393669/18176398195\ 89807047849395989520295930950438856405797*c_0101_5^3 + 819797528433726279350297363446398995708390696380033176/181763981958\ 9807047849395989520295930950438856405797*c_0101_5^2 - 154698185257650887393398388043783504963988606737662532/181763981958\ 9807047849395989520295930950438856405797*c_0101_5 - 40052126274695702840174460791313819479855377689357339/1817639819589\ 807047849395989520295930950438856405797, c_0101_0 + 5660189072612004900431346595757703090083558059918261976/1817\ 639819589807047849395989520295930950438856405797*c_0101_5^21 - 41859564164321483676311045873424903691734369753468627243/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^20 + 104315161893913181025898938581509450871210044620488396536/181763981\ 9589807047849395989520295930950438856405797*c_0101_5^19 - 50563262501560179352191006838823124606435862888358833915/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^18 - 116397636290319918035658781184574061351567530781025303140/181763981\ 9589807047849395989520295930950438856405797*c_0101_5^17 - 15796498184538708637635131765566226029915111933250117785/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^16 + 444324215128529739641468325330764681787820133460511938390/181763981\ 9589807047849395989520295930950438856405797*c_0101_5^15 - 365002946983695306855130999656721542247124924297598808294/181763981\ 9589807047849395989520295930950438856405797*c_0101_5^14 - 471011371095920414751160584403245961963822410057649107035/181763981\ 9589807047849395989520295930950438856405797*c_0101_5^13 + 701029480680081450427221004879726756385904112387843133950/181763981\ 9589807047849395989520295930950438856405797*c_0101_5^12 + 116082598716954175068154695852867357979587419224124295192/181763981\ 9589807047849395989520295930950438856405797*c_0101_5^11 - 450224580028942712251959965018190365334388270923986899606/181763981\ 9589807047849395989520295930950438856405797*c_0101_5^10 + 49568075221090508533139346049752777421912493972210920414/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^9 + 264221247865949069471346773094035790778745423758950185444/181763981\ 9589807047849395989520295930950438856405797*c_0101_5^8 - 57268998981261428389722199826484115168091300842632254235/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^7 - 90031685382707447341895440889080868432540041048841850812/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^6 + 15604217487979692535222255188837843256746738560353392116/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^5 + 22372795126922894988835393060757486405461822977844966280/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^4 - 5314860716776949416424040710562129444323285391342986037/18176398195\ 89807047849395989520295930950438856405797*c_0101_5^3 - 2234327556092138434877403311471032291807059779903167136/18176398195\ 89807047849395989520295930950438856405797*c_0101_5^2 + 453030343651400639809403935454577270697744355809503778/181763981958\ 9807047849395989520295930950438856405797*c_0101_5 + 111333512436921835151670940746215865251311493009268337/181763981958\ 9807047849395989520295930950438856405797, c_0101_1 + 136793451152911273131400322136425072538067629324550424/18176\ 39819589807047849395989520295930950438856405797*c_0101_5^21 - 1037851683099322031473799882185507433273032582060831563/18176398195\ 89807047849395989520295930950438856405797*c_0101_5^20 + 2692432805071991360359602716186758808230811077220198123/18176398195\ 89807047849395989520295930950438856405797*c_0101_5^19 - 1547786434971358556664755959400997701864453787840673174/18176398195\ 89807047849395989520295930950438856405797*c_0101_5^18 - 2932719718326817170764234698733795911369450353818106930/18176398195\ 89807047849395989520295930950438856405797*c_0101_5^17 + 227886948170369869117530195936002815074772647416405286/181763981958\ 9807047849395989520295930950438856405797*c_0101_5^16 + 11289596389982619740503601050999737369399065245555528446/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^15 - 10646370087221810686907983325158853392269841606390413954/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^14 - 11326483219880003158802229830834093534133814102627196780/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^13 + 19957200127320837967328867640956383134809731860555304517/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^12 + 1674985116089970308725734545869926168397665328768842472/18176398195\ 89807047849395989520295930950438856405797*c_0101_5^11 - 13402923757921315164637011536307376385987326756884498609/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^10 + 2228811911350895905111424685654837223655219360010745142/18176398195\ 89807047849395989520295930950438856405797*c_0101_5^9 + 7463337137657517013549892110669140086410562804034492315/18176398195\ 89807047849395989520295930950438856405797*c_0101_5^8 - 2433437827416204859193789347590570366111099521961919947/18176398195\ 89807047849395989520295930950438856405797*c_0101_5^7 - 2795239484888912724861848292581879913149799552578735774/18176398195\ 89807047849395989520295930950438856405797*c_0101_5^6 + 697128775111079695022520762695781759938724002972576312/181763981958\ 9807047849395989520295930950438856405797*c_0101_5^5 + 738210343493616036270951087108427133240984502615048822/181763981958\ 9807047849395989520295930950438856405797*c_0101_5^4 - 206506161645881231143789809585658845329312501296261667/181763981958\ 9807047849395989520295930950438856405797*c_0101_5^3 - 90381868567629937358209429249718988102415801287414386/1817639819589\ 807047849395989520295930950438856405797*c_0101_5^2 + 20972776866045368477583120336383311939288502174457762/1817639819589\ 807047849395989520295930950438856405797*c_0101_5 + 6395817265967349318730124254270902855693653977651372/18176398195898\ 07047849395989520295930950438856405797, c_0101_2 - 5290837702485910855621365615801255866696737970251962256/1817\ 639819589807047849395989520295930950438856405797*c_0101_5^21 + 39068245893051998053329119783336770180362640065398124402/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^20 - 97061694104240512402372501798169176784920619312091834836/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^19 + 46123764049109579074984970109813440246657653806772359284/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^18 + 109464056534848041074130034471816326589145102271447260582/181763981\ 9589807047849395989520295930950438856405797*c_0101_5^17 + 15836018406506932070806624078920909337212925976996715998/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^16 - 415202949338816511757813354897272945907729646768874973892/181763981\ 9589807047849395989520295930950438856405797*c_0101_5^15 + 336634965872132809688406143639522678663631447394248165685/181763981\ 9589807047849395989520295930950438856405797*c_0101_5^14 + 444486724805806165973974365565319907504838410303435274331/181763981\ 9589807047849395989520295930950438856405797*c_0101_5^13 - 651118783486113522549797376715315760889332402565278820228/181763981\ 9589807047849395989520295930950438856405797*c_0101_5^12 - 115873679902054175647578443507889401328480822910300710392/181763981\ 9589807047849395989520295930950438856405797*c_0101_5^11 + 420779532671511011157742762678832470491930606040974627708/181763981\ 9589807047849395989520295930950438856405797*c_0101_5^10 - 42321155997157904381281866338737781842994589660879632134/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^9 - 248061067017646134181175887583073692864746250597694049404/181763981\ 9589807047849395989520295930950438856405797*c_0101_5^8 + 51339721033071226618516103384668825422121065784433992201/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^7 + 84920353487989115611292731903990700021045186934906909113/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^6 - 13987356591029499895732705433134754293834034106093364286/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^5 - 21099015756890761060410613810773663760612845370172879512/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^4 + 4852126394054799052051210732983478398812628811652014112/18176398195\ 89807047849395989520295930950438856405797*c_0101_5^3 + 2153789311320908398316787707752560938816228959684461055/18176398195\ 89807047849395989520295930950438856405797*c_0101_5^2 - 425355933669518067625940434952337681936362530399451278/181763981958\ 9807047849395989520295930950438856405797*c_0101_5 - 107298957568797141589519821674192357630104990702519494/181763981958\ 9807047849395989520295930950438856405797, c_0101_3 + 6415616263446427787577035752254283589218373197098369160/1817\ 639819589807047849395989520295930950438856405797*c_0101_5^21 - 47444203366384674003389538553320771511927949031009081537/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^20 + 118244516689650336201641746168302610136545999383449527000/181763981\ 9589807047849395989520295930950438856405797*c_0101_5^19 - 57430872782866744645170990021131354299042596566059931420/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^18 - 131595196455596828994834681569321663772629928247015761640/181763981\ 9589807047849395989520295930950438856405797*c_0101_5^17 - 18027080503442307394933356558655833374734904135007419550/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^16 + 503164675384944476066249935462863392585787290046174867419/181763981\ 9589807047849395989520295930950438856405797*c_0101_5^15 - 413814061578277835569161571349081344945886365129390314166/181763981\ 9589807047849395989520295930950438856405797*c_0101_5^14 - 532370400706922244491111193205693772767667671542846397358/181763981\ 9589807047849395989520295930950438856405797*c_0101_5^13 + 793578045279397725798448289574404512395105962237212755343/181763981\ 9589807047849395989520295930950438856405797*c_0101_5^12 + 129792810270436971470868282816306312888431940364574814179/181763981\ 9589807047849395989520295930950438856405797*c_0101_5^11 - 508399304349308701720094371426365913210758844306379354269/181763981\ 9589807047849395989520295930950438856405797*c_0101_5^10 + 57078827964065517507509913795479272424213656534056207658/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^9 + 298311233707780459555760503463176871010688013321069171636/181763981\ 9589807047849395989520295930950438856405797*c_0101_5^8 - 65058321533901871670019933638329653479707675138847958181/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^7 - 101195612778409173608533815701770875554010438078962209144/181763981\ 9589807047849395989520295930950438856405797*c_0101_5^6 + 17753233310852131470161954592595948674432464260380593654/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^5 + 25117317190446289968126239368485428764167732346444399316/1817639819\ 589807047849395989520295930950438856405797*c_0101_5^4 - 6055749042299638237612352356140709738730417244487497927/18176398195\ 89807047849395989520295930950438856405797*c_0101_5^3 - 2478622148619872402818239674761865508721186645629152658/18176398195\ 89807047849395989520295930950438856405797*c_0101_5^2 + 508920257560553733284507497814588995858438126503005157/181763981958\ 9807047849395989520295930950438856405797*c_0101_5 + 122472028251443322817438092013965165681751902523053708/181763981958\ 9807047849395989520295930950438856405797, c_0101_5^22 - 1783/248*c_0101_5^21 + 4193/248*c_0101_5^20 - 1275/248*c_0101_5^19 - 5555/248*c_0101_5^18 - 1741/248*c_0101_5^17 + 19323/248*c_0101_5^16 - 2997/62*c_0101_5^15 - 23923/248*c_0101_5^14 + 13235/124*c_0101_5^13 + 11397/248*c_0101_5^12 - 9341/124*c_0101_5^11 - 1875/248*c_0101_5^10 + 6013/124*c_0101_5^9 - 67/124*c_0101_5^8 - 4459/248*c_0101_5^7 - 123/248*c_0101_5^6 + 1121/248*c_0101_5^5 - 33/248*c_0101_5^4 - 73/124*c_0101_5^3 + 9/248*c_0101_5 + 1/248 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB