Magma V2.19-8 Wed Aug 21 2013 00:02:45 on localhost [Seed = 104886269] Type ? for help. Type -D to quit. Loading file "K13n1700__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1700 geometric_solution 11.54772381 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 -1 1 0 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.907652415057 0.817374282177 0 5 7 6 0132 0132 0132 0132 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 -1 1 0 0 0 0 0 0 0 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.736783708347 1.698211103837 8 0 10 9 0132 0132 0132 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 1 -1 0 0 0 0 0 0 0 0 0 -2 3 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.008295099492 2.276592687804 11 12 9 0 0132 0132 1230 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 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 0 0 0 0.848038194004 0.617495642213 5 8 0 11 0132 0132 0132 2031 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 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.790294402886 0.829731259101 4 1 8 7 0132 0132 1230 3120 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 0 -1 0 0 0 0 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.188262894354 0.381121351657 10 12 1 11 2310 1302 0132 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 -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.657284602503 1.270902496424 5 9 10 1 3120 2031 3201 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 2 1 0 -3 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.462542225104 0.911797147807 2 4 12 5 0132 0132 2103 3012 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 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.092956400771 0.352617284854 7 12 2 3 1302 0213 0132 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 0 0 0 1 0 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.593645919910 0.716908673859 7 11 6 2 2310 3201 3201 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 -1 0 1 0 0 0 0 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.010610398937 0.527831556663 3 4 10 6 0132 1302 2310 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 1 -1 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.135252825972 0.686267099598 8 3 9 6 2103 0132 0213 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.032399629746 0.435844939099 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_5'], 'c_1001_10' : negation(d['c_0101_0']), 'c_1001_12' : d['c_1001_0'], 'c_1001_5' : d['c_0110_12'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_7' : negation(d['c_0101_10']), 'c_1001_6' : d['c_0110_12'], 'c_1001_1' : negation(d['c_0011_7']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : negation(d['c_0101_5']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0011_11'], 'c_1010_12' : d['c_0011_6'], 'c_1010_11' : negation(d['c_0101_10']), 'c_1010_10' : negation(d['c_0101_5']), 's_3_11' : d['1'], 's_3_10' : 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_0'], 'c_0101_10' : d['c_0101_10'], '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_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_6']), 'c_1100_8' : negation(d['c_0110_12']), 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : d['c_0101_10'], 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : negation(d['c_0011_10']), 'c_1100_0' : d['c_0101_10'], 'c_1100_3' : d['c_0101_10'], 'c_1100_2' : negation(d['c_0011_6']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : negation(d['c_0011_6']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_7']), 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0011_7']), 'c_1010_4' : d['c_0011_11'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0110_12'], 'c_1010_0' : negation(d['c_0101_5']), 'c_1010_9' : negation(d['c_0101_3']), 'c_1010_8' : negation(d['c_0101_5']), '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_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_0101_3']), 's_1_7' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_7']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_7'], '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' : negation(d['c_0011_11']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_3'], 'c_0110_10' : d['c_0101_2'], 'c_0110_12' : d['c_0110_12'], 'c_0101_12' : negation(d['c_0011_7']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_2']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], '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_0101_9' : negation(d['c_0011_7']), 'c_0101_8' : negation(d['c_0011_7']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_7']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_5'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(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_6, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_3, c_0101_5, c_0110_12, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 26316602519116188394717824741863/16944449040784772749539416763189*c\ _1001_0^15 - 71202452732319133894545040794/141557636096781727230905\ 73737*c_1001_0^14 - 87025215584079536742713034585284/56481496802615\ 90916513138921063*c_1001_0^13 - 476462943214932540300091608511814/1\ 6944449040784772749539416763189*c_1001_0^12 - 67796346431974129151405374790659/891813107409724881554706145431*c_1\ 001_0^11 - 157785458557854793961239445952526/8068785257516558452161\ 62703009*c_1001_0^10 - 826844202755373980567601797939191/2420635577\ 254967535648488109027*c_1001_0^9 - 818652748671570828092303191050640/1882716560087196972171046307021*c\ _1001_0^8 - 767064630612542095357823107345270/188271656008719697217\ 1046307021*c_1001_0^7 - 29341274437714238435757195560773/5842913462\ 33957681018600578041*c_1001_0^6 + 249118719656138484286307769294059\ 36/16944449040784772749539416763189*c_1001_0^5 + 19496726160790383494390789197793/11024365023282220396577369397*c_10\ 01_0^4 + 530888005299948564290637518577190/188271656008719697217104\ 6307021*c_1001_0^3 - 49724094709038330092694410802122/1448243507759\ 38228628542023617*c_1001_0^2 - 1514479568860016163508986274932947/1\ 6944449040784772749539416763189*c_1001_0 + 203876301231279221856747068507557/16944449040784772749539416763189, c_0011_0 - 1, c_0011_10 + 17673742665665449127/660262086338879937949*c_1001_0^15 - 10912482168091789586/660262086338879937949*c_1001_0^14 + 106474405605789900049/660262086338879937949*c_1001_0^13 - 147482450975075007781/660262086338879937949*c_1001_0^12 + 723565382212234069902/660262086338879937949*c_1001_0^11 - 425018286139175106734/660262086338879937949*c_1001_0^10 + 1290697474634979707242/660262086338879937949*c_1001_0^9 - 2146232468389840241299/660262086338879937949*c_1001_0^8 + 3270634606828261045139/660262086338879937949*c_1001_0^7 - 8866549024150453554258/660262086338879937949*c_1001_0^6 + 2651428751284932042075/660262086338879937949*c_1001_0^5 + 8396224711091410454991/660262086338879937949*c_1001_0^4 - 5532645519046987924579/660262086338879937949*c_1001_0^3 - 602661510946653585475/660262086338879937949*c_1001_0^2 + 1945368539227679878816/660262086338879937949*c_1001_0 - 394578792498233742843/660262086338879937949, c_0011_11 - 12242061980690185943/660262086338879937949*c_1001_0^15 - 7438988163827788722/660262086338879937949*c_1001_0^14 - 77632103631183721325/660262086338879937949*c_1001_0^13 + 17141146170947885284/660262086338879937949*c_1001_0^12 - 452130650405218901027/660262086338879937949*c_1001_0^11 - 224910950508028086007/660262086338879937949*c_1001_0^10 - 1037867510165190177137/660262086338879937949*c_1001_0^9 + 595600446463293176796/660262086338879937949*c_1001_0^8 - 1279917922245091328076/660262086338879937949*c_1001_0^7 + 4808026860659010174392/660262086338879937949*c_1001_0^6 + 3812058702843979812805/660262086338879937949*c_1001_0^5 - 1989780101867702108547/660262086338879937949*c_1001_0^4 - 3523586861478179830595/660262086338879937949*c_1001_0^3 - 1865757108427115647902/660262086338879937949*c_1001_0^2 + 1637897475266310299052/660262086338879937949*c_1001_0 + 289824783648263259675/660262086338879937949, c_0011_6 + 29540799554692731783/660262086338879937949*c_1001_0^15 - 6394858218437926892/660262086338879937949*c_1001_0^14 + 170360999193420262792/660262086338879937949*c_1001_0^13 - 176658399714246645624/660262086338879937949*c_1001_0^12 + 1107858212069132042384/660262086338879937949*c_1001_0^11 - 235548110602541483089/660262086338879937949*c_1001_0^10 + 1860648984490090648854/660262086338879937949*c_1001_0^9 - 2781502903058482255973/660262086338879937949*c_1001_0^8 + 3966372702645020243558/660262086338879937949*c_1001_0^7 - 12763613723630908054234/660262086338879937949*c_1001_0^6 - 1691082926871754543287/660262086338879937949*c_1001_0^5 + 15779772470624803270592/660262086338879937949*c_1001_0^4 - 3253508474729335274724/660262086338879937949*c_1001_0^3 - 4585538295440889682634/660262086338879937949*c_1001_0^2 + 1831349682061876984921/660262086338879937949*c_1001_0 + 389033318560716573126/660262086338879937949, c_0011_7 - 56406344714636560174/660262086338879937949*c_1001_0^15 - 33660730579323297987/660262086338879937949*c_1001_0^14 - 327736385887334435482/660262086338879937949*c_1001_0^13 + 75332445434064367179/660262086338879937949*c_1001_0^12 - 1907452815496633444318/660262086338879937949*c_1001_0^11 - 1192020620035006081683/660262086338879937949*c_1001_0^10 - 3621567324418896570219/660262086338879937949*c_1001_0^9 + 2524079747808038421366/660262086338879937949*c_1001_0^8 - 3880588112630800678624/660262086338879937949*c_1001_0^7 + 19564282653261721871218/660262086338879937949*c_1001_0^6 + 21650538833085140640426/660262086338879937949*c_1001_0^5 - 22303973177640235276360/660262086338879937949*c_1001_0^4 - 17554693603975117038522/660262086338879937949*c_1001_0^3 + 5616063852202013123293/660262086338879937949*c_1001_0^2 + 1846112886416328961518/660262086338879937949*c_1001_0 - 1234293597613057156468/660262086338879937949, c_0101_0 - 84554924027346330494/660262086338879937949*c_1001_0^15 - 59017679534182684171/660262086338879937949*c_1001_0^14 - 490694100108313196666/660262086338879937949*c_1001_0^13 + 58358411853369974215/660262086338879937949*c_1001_0^12 - 2815525673286194360433/660262086338879937949*c_1001_0^11 - 2134376546964412014503/660262086338879937949*c_1001_0^10 - 5381139504930567617413/660262086338879937949*c_1001_0^9 + 3038810349896078761687/660262086338879937949*c_1001_0^8 - 5072195894509612739534/660262086338879937949*c_1001_0^7 + 27818484967063033953993/660262086338879937949*c_1001_0^6 + 36495482114040834253936/660262086338879937949*c_1001_0^5 - 33372963918793349215995/660262086338879937949*c_1001_0^4 - 28143478473987815411190/660262086338879937949*c_1001_0^3 + 8707983953216205410519/660262086338879937949*c_1001_0^2 + 2039913279780326901595/660262086338879937949*c_1001_0 - 2107239726916053224978/660262086338879937949, c_0101_1 + 59658327651108397883/660262086338879937949*c_1001_0^15 + 32473460416729169651/660262086338879937949*c_1001_0^14 + 337394677752256808541/660262086338879937949*c_1001_0^13 - 98305814029629933956/660262086338879937949*c_1001_0^12 + 1978917333815629201244/660262086338879937949*c_1001_0^11 + 1189653217093754163379/660262086338879937949*c_1001_0^10 + 3496439094538554313153/660262086338879937949*c_1001_0^9 - 2870448975706085388766/660262086338879937949*c_1001_0^8 + 3756663719063243301168/660262086338879937949*c_1001_0^7 - 20226420778479623270259/660262086338879937949*c_1001_0^6 - 22699742880756252835585/660262086338879937949*c_1001_0^5 + 27992126345494261769451/660262086338879937949*c_1001_0^4 + 18002163580073855861173/660262086338879937949*c_1001_0^3 - 9916473313101290786714/660262086338879937949*c_1001_0^2 - 2567513083248389519832/660262086338879937949*c_1001_0 + 1739963798543998234447/660262086338879937949, c_0101_10 - 57370056792967102262/660262086338879937949*c_1001_0^15 - 38462391379789105414/660262086338879937949*c_1001_0^14 - 332729958427574864827/660262086338879937949*c_1001_0^13 + 48165890524317903110/660262086338879937949*c_1001_0^12 - 1917137422591154597907/660262086338879937949*c_1001_0^11 - 1395074378274270077963/660262086338879937949*c_1001_0^10 - 3644198754595541788424/660262086338879937949*c_1001_0^9 + 2145746358086038558903/660262086338879937949*c_1001_0^8 - 3578489998478026404537/660262086338879937949*c_1001_0^7 + 19018630848034052707354/660262086338879937949*c_1001_0^6 + 24133837613136972729831/660262086338879937949*c_1001_0^5 - 22798788553986282491211/660262086338879937949*c_1001_0^4 - 18227005160886524624476/660262086338879937949*c_1001_0^3 + 6144880858469272712413/660262086338879937949*c_1001_0^2 + 1135166068351846237510/660262086338879937949*c_1001_0 - 1331681467451644052499/660262086338879937949, c_0101_2 - 124871301244136440738/660262086338879937949*c_1001_0^15 - 38924156974807148781/660262086338879937949*c_1001_0^14 - 721961935103933273333/660262086338879937949*c_1001_0^13 + 373226083836618257536/660262086338879937949*c_1001_0^12 - 4372743786204813557157/660262086338879937949*c_1001_0^11 - 1355184515979009939128/660262086338879937949*c_1001_0^10 - 7909389878901222693804/660262086338879937949*c_1001_0^9 + 7854771032547579593095/660262086338879937949*c_1001_0^8 - 11299405110585069832763/660262086338879937949*c_1001_0^7 + 47056549405934663313914/660262086338879937949*c_1001_0^6 + 33604150680011410784212/660262086338879937949*c_1001_0^5 - 56057902685920642657069/660262086338879937949*c_1001_0^4 - 21729607647676316566550/660262086338879937949*c_1001_0^3 + 14301185129245781763798/660262086338879937949*c_1001_0^2 + 537329759352831097541/660262086338879937949*c_1001_0 - 1762961421772362146929/660262086338879937949, c_0101_3 + 60198408738601113768/660262086338879937949*c_1001_0^15 + 8490687353945202082/660262086338879937949*c_1001_0^14 + 348091174905525384132/660262086338879937949*c_1001_0^13 - 240384962543982713592/660262086338879937949*c_1001_0^12 + 2159212799822602194808/660262086338879937949*c_1001_0^11 + 270866527023480415181/660262086338879937949*c_1001_0^10 + 3833665874997120561244/660262086338879937949*c_1001_0^9 - 4496960995056788747895/660262086338879937949*c_1001_0^8 + 6357882385877337667912/660262086338879937949*c_1001_0^7 - 24009439139387598254167/660262086338879937949*c_1001_0^6 - 11809229968518284917580/660262086338879937949*c_1001_0^5 + 27961002906203656697675/660262086338879937949*c_1001_0^4 + 5978662637056914673472/660262086338879937949*c_1001_0^3 - 7660301476483951514187/660262086338879937949*c_1001_0^2 + 467098851709310783823/660262086338879937949*c_1001_0 + 1085922415582054671549/660262086338879937949, c_0101_5 + 1, c_0110_12 - 230197117535567647704/660262086338879937949*c_1001_0^15 - 82851546630673460849/660262086338879937949*c_1001_0^14 - 1330372833687259845430/660262086338879937949*c_1001_0^13 + 621704402580837235901/660262086338879937949*c_1001_0^12 - 8008985062883600616900/660262086338879937949*c_1001_0^11 - 2917317471549118468168/660262086338879937949*c_1001_0^10 - 14569354433633133218218/660262086338879937949*c_1001_0^9 + 13725580638570691931234/660262086338879937949*c_1001_0^8 - 20039664406637544023964/660262086338879937949*c_1001_0^7 + 85346103817633767581067/660262086338879937949*c_1001_0^6 + 66518176148912140345188/660262086338879937949*c_1001_0^5 - 101716665643994742128250/660262086338879937949*c_1001_0^4 - 45106564558463650797931/660262086338879937949*c_1001_0^3 + 28774764690784915435440/660262086338879937949*c_1001_0^2 + 1880796542058072154712/660262086338879937949*c_1001_0 - 4858839858699008793909/660262086338879937949, c_1001_0^16 + c_1001_0^15 + 6*c_1001_0^14 + c_1001_0^13 + 33*c_1001_0^12 + 35*c_1001_0^11 + 71*c_1001_0^10 - 19*c_1001_0^9 + 48*c_1001_0^8 - 314*c_1001_0^7 - 528*c_1001_0^6 + 262*c_1001_0^5 + 479*c_1001_0^4 - 86*c_1001_0^2 + 14*c_1001_0 + 13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 8.010 Total time: 8.220 seconds, Total memory usage: 80.44MB