Magma V2.19-8 Wed Aug 21 2013 00:51:32 on localhost [Seed = 1208900927] Type ? for help. Type -D to quit. Loading file "L11n129__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L11n129 geometric_solution 11.62687349 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 0 0 1 0 0 1 -1 1 0 0 -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 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.604084271759 1.344857233122 0 5 7 6 0132 0132 0132 0132 1 0 1 0 0 1 0 -1 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.247872443032 0.535204191852 6 0 3 5 0321 0132 3201 0132 1 1 1 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 -1 1 -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.168719697150 1.692467341679 2 8 7 0 2310 0132 0213 0132 1 0 1 1 0 1 0 -1 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 1 -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.293924077506 0.461377007968 9 10 0 5 0132 0132 0132 0213 1 0 1 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 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 0 0 0 0 0.056452507053 0.863937179703 6 1 2 4 3012 0132 0132 0213 1 1 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 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 0 0 0 0 0 0 0 0.150194313361 0.625931738913 2 11 1 5 0321 0132 0132 1230 1 0 1 1 0 0 1 -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 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.460990790955 0.736729480338 10 3 9 1 3120 0213 3120 0132 1 0 0 1 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 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.148086100652 0.588521006017 10 3 11 9 2103 0132 0132 3201 1 0 1 1 0 -1 1 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 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.129055364206 2.699924300869 4 8 7 12 0132 2310 3120 0132 1 0 0 1 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 -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.445479397694 0.510439257848 12 4 8 7 0132 0132 2103 3120 1 0 0 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 -1 1 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 1.062358428987 0.838424933433 12 6 12 8 3120 0132 2310 0132 1 0 1 1 0 0 1 -1 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 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.232471829051 0.558863215137 10 11 9 11 0132 3201 0132 3120 1 0 1 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 -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.232471829051 0.558863215137 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0011_0'], 'c_1001_11' : d['c_0011_11'], 'c_1001_10' : negation(d['c_0011_3']), 'c_1001_12' : negation(d['c_0101_11']), 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : negation(d['c_0011_7']), 'c_1001_7' : d['c_1001_3'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_7']), 'c_1001_9' : negation(d['c_1001_3']), 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : d['c_1001_0'], 'c_1010_10' : negation(d['c_0011_7']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : negation(d['1']), 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(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' : negation(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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_1001_1'], 'c_1100_7' : negation(d['c_0101_9']), 'c_1100_6' : negation(d['c_0101_9']), 'c_1100_1' : negation(d['c_0101_9']), 'c_1100_0' : d['c_1001_1'], 'c_1100_3' : d['c_1001_1'], 'c_1100_2' : negation(d['c_0011_3']), 's_3_11' : negation(d['1']), 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : negation(d['c_0101_11']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_0011_11'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : negation(d['c_0011_7']), 'c_1010_9' : negation(d['c_0101_11']), 'c_1010_8' : d['c_1001_3'], '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' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_11']), 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : negation(d['1']), 's_1_4' : 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_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_11']), '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_0110_11' : d['c_0101_10'], 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : d['c_0101_10'], 'c_0101_12' : d['c_0101_1'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_11'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_11'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_7'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_10'], 's_1_12' : d['1'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_11']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_11'], 'c_0110_5' : negation(d['c_0101_9']), 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : d['c_0101_1'], 'c_1100_8' : negation(d['c_0011_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_3, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_9, c_1001_0, c_1001_1, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 107282425760885652522334481896460013923/161126013172584168396102591\ 3513723400*c_1001_3^11 + 75418721652392587279064124744559127457/137\ 128521849007802890300077745848800*c_1001_3^10 - 2940391133926483631036530217783261388781/25780162107613466943376414\ 616219574400*c_1001_3^9 - 68710172088604471415231326135152663428247\ /12890081053806733471688207308109787200*c_1001_3^8 - 105158239830319265176544583247231548326087/257801621076134669433764\ 14616219574400*c_1001_3^7 + 825849499653222699501681450688465750905\ 463/25780162107613466943376414616219574400*c_1001_3^6 - 1524014134922286520222959855015435801749459/25780162107613466943376\ 414616219574400*c_1001_3^5 - 18652805317550419132047173239625001449\ 949/12890081053806733471688207308109787200*c_1001_3^4 + 172989997428397272365529372937051155668503/515603242152269338867528\ 2923243914880*c_1001_3^3 - 6216431363717328549040762768306440118560\ 91/25780162107613466943376414616219574400*c_1001_3^2 - 384350495747237333327391898790955649033851/128900810538067334716882\ 07308109787200*c_1001_3 - 17848427760100868534407013574713963200411\ 7/25780162107613466943376414616219574400, c_0011_0 - 1, c_0011_10 - 163769681043974011583010119168/1310180624268858093967332829\ 333*c_1001_3^11 + 29894002062282357730972705440/2787618349508208710\ 5687932539*c_1001_3^10 - 736176908241139164939772946968/13101806242\ 68858093967332829333*c_1001_3^9 - 12811694365269836645311110170166/\ 1310180624268858093967332829333*c_1001_3^8 - 5996096100196905680064556602058/1310180624268858093967332829333*c_1\ 001_3^7 + 80176803203304177522580201242790/131018062426885809396733\ 2829333*c_1001_3^6 - 171095392189882853625722422287100/131018062426\ 8858093967332829333*c_1001_3^5 + 54265738169858110705531333529347/1\ 310180624268858093967332829333*c_1001_3^4 + 55914329753617654103926712769784/1310180624268858093967332829333*c_\ 1001_3^3 - 71571727690879761551868007856288/13101806242688580939673\ 32829333*c_1001_3^2 - 49986080268429406278117103474482/131018062426\ 8858093967332829333*c_1001_3 - 6939749433157579626134392939477/1310\ 180624268858093967332829333, c_0011_11 - 753798783800833693881555472/27876183495082087105687932539*c\ _1001_3^11 + 6271627990139881399562097716/2787618349508208710568793\ 2539*c_1001_3^10 - 1638779134404188152630595207/2787618349508208710\ 5687932539*c_1001_3^9 - 60454943568488612371209843624/2787618349508\ 2087105687932539*c_1001_3^8 - 42694334461311385484095982672/2787618\ 3495082087105687932539*c_1001_3^7 + 367279540214105682855438170885/27876183495082087105687932539*c_1001\ _3^6 - 687418742867086132907818311788/27876183495082087105687932539\ *c_1001_3^5 + 15077408583922161096635694725/27876183495082087105687\ 932539*c_1001_3^4 + 394046010567518741101582845312/2787618349508208\ 7105687932539*c_1001_3^3 - 291114583729223656068521034122/278761834\ 95082087105687932539*c_1001_3^2 - 327578935771687907752175316327/27\ 876183495082087105687932539*c_1001_3 - 61102758775179651627004253909/27876183495082087105687932539, c_0011_3 + 8433028352219168520695389552/1310180624268858093967332829333\ *c_1001_3^11 - 1697964242022593170006921188/27876183495082087105687\ 932539*c_1001_3^10 + 103607327959067293120599913773/131018062426885\ 8093967332829333*c_1001_3^9 + 610814973297761258518830986143/131018\ 0624268858093967332829333*c_1001_3^8 - 260471949819038072260132156175/1310180624268858093967332829333*c_10\ 01_3^7 - 4282841831132163787885203284758/13101806242688580939673328\ 29333*c_1001_3^6 + 12472658855324909019303749908954/131018062426885\ 8093967332829333*c_1001_3^5 - 11290193559312119633991529591299/1310\ 180624268858093967332829333*c_1001_3^4 + 1907108369100542362431598843976/1310180624268858093967332829333*c_1\ 001_3^3 + 4685827326129807771989438163254/1310180624268858093967332\ 829333*c_1001_3^2 - 1267841414611941380782677096307/131018062426885\ 8093967332829333*c_1001_3 - 653263888021231833455552880029/13101806\ 24268858093967332829333, c_0011_7 - 180823072247281522804526678800/13101806242688580939673328293\ 33*c_1001_3^11 + 32864919247960232473698318716/27876183495082087105\ 687932539*c_1001_3^10 - 761711358529176590710943737051/131018062426\ 8858093967332829333*c_1001_3^9 - 14123825804260604537595518934109/1\ 310180624268858093967332829333*c_1001_3^8 - 7160810036991201770544920836502/1310180624268858093967332829333*c_1\ 001_3^7 + 87773957960534430321518405541110/131018062426885809396733\ 2829333*c_1001_3^6 - 185989452766745951242897834030035/131018062426\ 8858093967332829333*c_1001_3^5 + 56222862170168786950848112855599/1\ 310180624268858093967332829333*c_1001_3^4 + 59074632837670915776684951309462/1310180624268858093967332829333*c_\ 1001_3^3 - 75632450479685267140358051137096/13101806242688580939673\ 32829333*c_1001_3^2 - 56584256829164157578092053780151/131018062426\ 8858093967332829333*c_1001_3 - 8458949113302447633161876219929/1310\ 180624268858093967332829333, c_0101_0 - 18378767024325733199886050960/131018062426885809396733282933\ 3*c_1001_3^11 + 3291443832433299244002484540/2787618349508208710568\ 7932539*c_1001_3^10 - 55413719189163191626019843083/131018062426885\ 8093967332829333*c_1001_3^9 - 1466702178279891164397685886135/13101\ 80624268858093967332829333*c_1001_3^8 - 887825614695175959773521103913/1310180624268858093967332829333*c_10\ 01_3^7 + 9022693928895615005515342328456/13101806242688580939673328\ 29333*c_1001_3^6 - 17809068453787318351157360395622/131018062426885\ 8093967332829333*c_1001_3^5 + 2035982360339001405430336173701/13101\ 80624268858093967332829333*c_1001_3^4 + 9744219400714338769609984752175/1310180624268858093967332829333*c_1\ 001_3^3 - 8167051709561477531983299506768/1310180624268858093967332\ 829333*c_1001_3^2 - 8442916921449652670036789678622/131018062426885\ 8093967332829333*c_1001_3 - 215032265313110784295920966205/13101806\ 24268858093967332829333, c_0101_1 - 1, c_0101_10 - 8433028352219168520695389552/131018062426885809396733282933\ 3*c_1001_3^11 + 1697964242022593170006921188/2787618349508208710568\ 7932539*c_1001_3^10 - 103607327959067293120599913773/13101806242688\ 58093967332829333*c_1001_3^9 - 610814973297761258518830986143/13101\ 80624268858093967332829333*c_1001_3^8 + 260471949819038072260132156175/1310180624268858093967332829333*c_10\ 01_3^7 + 4282841831132163787885203284758/13101806242688580939673328\ 29333*c_1001_3^6 - 12472658855324909019303749908954/131018062426885\ 8093967332829333*c_1001_3^5 + 11290193559312119633991529591299/1310\ 180624268858093967332829333*c_1001_3^4 - 1907108369100542362431598843976/1310180624268858093967332829333*c_1\ 001_3^3 - 4685827326129807771989438163254/1310180624268858093967332\ 829333*c_1001_3^2 - 42339209656916713184655733026/13101806242688580\ 93967332829333*c_1001_3 + 653263888021231833455552880029/1310180624\ 268858093967332829333, c_0101_11 - 88552751792114674362357622592/13101806242688580939673328293\ 33*c_1001_3^11 + 16165496806697640107368397472/27876183495082087105\ 687932539*c_1001_3^10 - 402126225364481566190284062864/131018062426\ 8858093967332829333*c_1001_3^9 - 6895584728416528145234835880181/13\ 10180624268858093967332829333*c_1001_3^8 - 3259452627127016293149713790808/1310180624268858093967332829333*c_1\ 001_3^7 + 43046798403986160861369959858674/131018062426885809396733\ 2829333*c_1001_3^6 - 92618169360120685031464180457980/1310180624268\ 858093967332829333*c_1001_3^5 + 31625394645714390287414031184115/13\ 10180624268858093967332829333*c_1001_3^4 + 26903348451967481500114856958200/1310180624268858093967332829333*c_\ 1001_3^3 - 37834434366065101547387168747550/13101806242688580939673\ 32829333*c_1001_3^2 - 24938135471375171727911131456428/131018062426\ 8858093967332829333*c_1001_3 - 3176949909739205583189756431021/1310\ 180624268858093967332829333, c_0101_9 - 152083531517061452865004556432/13101806242688580939673328293\ 33*c_1001_3^11 + 27679058488154710970525113692/27876183495082087105\ 687932539*c_1001_3^10 - 652135700420429961667093798851/131018062426\ 8858093967332829333*c_1001_3^9 - 11895455986845820234021273764933/1\ 310180624268858093967332829333*c_1001_3^8 - 5926892674722369488892232404315/1310180624268858093967332829333*c_1\ 001_3^7 + 74181098979000915101975681090356/131018062426885809396733\ 2829333*c_1001_3^6 - 156548839247515574724531860664523/131018062426\ 8858093967332829333*c_1001_3^5 + 47877554415753991030901278686305/1\ 310180624268858093967332829333*c_1001_3^4 + 49096672628642314484111705471128/1310180624268858093967332829333*c_\ 1001_3^3 - 60822461526866763131044286278726/13101806242688580939673\ 32829333*c_1001_3^2 - 47761500185342818427262117005297/131018062426\ 8858093967332829333*c_1001_3 - 7630128890145352886976045340487/1310\ 180624268858093967332829333, c_1001_0 + 2762988130954493644492555568/1310180624268858093967332829333\ *c_1001_3^11 - 695753320227411169226295348/278761834950820871056879\ 32539*c_1001_3^10 + 88449794300721015280852167361/13101806242688580\ 93967332829333*c_1001_3^9 + 182756900696713592857313498451/13101806\ 24268858093967332829333*c_1001_3^8 - 585498736797291326378794678436/1310180624268858093967332829333*c_10\ 01_3^7 - 1764955082735090243992878310212/13101806242688580939673328\ 29333*c_1001_3^6 + 6999587567152530395920250740462/1310180624268858\ 093967332829333*c_1001_3^5 - 10055596731283812013679624920899/13101\ 80624268858093967332829333*c_1001_3^4 + 2376060975633166144190434536886/1310180624268858093967332829333*c_1\ 001_3^3 + 3432333257342625048915041684032/1310180624268858093967332\ 829333*c_1001_3^2 - 3768887180025776249248616167229/131018062426885\ 8093967332829333*c_1001_3 - 1531460429531852613300364024863/1310180\ 624268858093967332829333, c_1001_1 + 174195344653101276583732011520/13101806242688580939673328293\ 33*c_1001_3^11 - 31512539236557179427146288288/27876183495082087105\ 687932539*c_1001_3^10 + 671197939619367935230264848408/131018062426\ 8858093967332829333*c_1001_3^9 + 13661198153861427261291380247798/1\ 310180624268858093967332829333*c_1001_3^8 + 7446467068787075298826792288142/1310180624268858093967332829333*c_1\ 001_3^7 - 84555852239091511794330882713933/131018062426885809396733\ 2829333*c_1001_3^6 + 175492433126390144081008917335654/131018062426\ 8858093967332829333*c_1001_3^5 - 45435799835833619840105873458996/1\ 310180624268858093967332829333*c_1001_3^4 - 60978785820250028130506398077734/1310180624268858093967332829333*c_\ 1001_3^3 + 69363293828037789384901401610416/13101806242688580939673\ 32829333*c_1001_3^2 + 59510864889377401070125967719452/131018062426\ 8858093967332829333*c_1001_3 + 10132234204391183896725399487088/131\ 0180624268858093967332829333, c_1001_3^12 - 33/4*c_1001_3^11 + 27/16*c_1001_3^10 + 1273/16*c_1001_3^9 + 999/16*c_1001_3^8 - 476*c_1001_3^7 + 3537/4*c_1001_3^6 + 31/16*c_1001_3^5 - 6995/16*c_1001_3^4 + 649/2*c_1001_3^3 + 7019/16*c_1001_3^2 + 2169/16*c_1001_3 + 215/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.250 Total time: 0.460 seconds, Total memory usage: 32.09MB