Magma V2.19-8 Wed Aug 21 2013 00:56:06 on localhost [Seed = 2227347113] Type ? for help. Type -D to quit. Loading file "L13n1244__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n1244 geometric_solution 12.40269630 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 1 3 0132 0132 3012 0132 1 1 1 0 0 0 0 0 -1 0 1 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 0 1 -7 0 7 0 0 0 0 0 1 1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.707098789741 0.874237640094 0 0 5 4 0132 1230 0132 0132 1 1 0 1 0 -1 0 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 -7 1 6 7 0 -7 0 -1 2 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.344556188402 1.028414968862 4 0 5 4 0132 0132 2103 2031 1 1 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 0 -1 0 0 6 -6 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.440710360083 0.691490442388 4 6 0 7 3012 0132 0132 0132 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 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 0.716066589571 0.609494003718 2 2 1 3 0132 1302 0132 1230 1 1 1 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 6 -6 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.344556188402 1.028414968862 2 6 7 1 2103 1302 1302 0132 1 1 1 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 1 0 -1 -6 0 -1 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.190184560196 0.689290160814 8 3 9 5 0132 0132 0132 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -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.773669646880 0.557251569139 5 10 3 11 2031 0132 0132 0132 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 0 0 0 0 0 0 0 0 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.773669646880 0.557251569139 6 10 12 12 0132 1023 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.448687069528 0.826519969002 10 10 11 6 2310 0321 0132 0132 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.751428765979 0.728031322242 8 7 9 9 1023 0132 3201 0321 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 0 0 0 0 0 0 0 0 0 0 -1 1 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.751428765979 0.728031322242 12 12 7 9 3201 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.448687069528 0.826519969002 8 11 8 11 2310 0132 0132 2310 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 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.507303248039 0.934495984662 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_9']), 'c_1001_10' : negation(d['c_0101_9']), 'c_1001_12' : negation(d['c_0011_9']), 'c_1001_5' : d['c_0101_11'], 'c_1001_4' : d['c_0101_0'], 'c_1001_7' : d['c_1001_6'], 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0011_5'], 'c_1001_9' : negation(d['c_0011_9']), 'c_1001_8' : d['c_0101_10'], 'c_1010_12' : negation(d['c_0101_9']), 'c_1010_11' : negation(d['c_0011_9']), 'c_1010_10' : d['c_1001_6'], 's_0_10' : d['1'], 's_0_11' : 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_11'], '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' : negation(d['1']), 's_2_4' : negation(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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_1001_1']), 'c_1100_8' : d['c_0011_11'], 'c_0011_12' : negation(d['c_0011_11']), 'c_1100_5' : d['c_0101_7'], 'c_1100_4' : d['c_0101_7'], 'c_1100_7' : negation(d['c_1001_1']), 'c_1100_6' : negation(d['c_1001_1']), 'c_1100_1' : d['c_0101_7'], 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : negation(d['c_0101_1']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_1001_1']), 'c_1100_10' : negation(d['c_0011_9']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0101_9']), 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_1001_6'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_0101_0'], 'c_1010_0' : d['c_0011_5'], 'c_1010_9' : d['c_1001_6'], 'c_1010_8' : negation(d['c_0011_9']), 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(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' : d['c_0011_11'], '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' : d['c_0011_9'], 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_9'], 'c_0110_10' : negation(d['c_0011_9']), 'c_0110_12' : negation(d['c_0101_11']), 'c_0101_12' : negation(d['c_0101_10']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0101_10']), 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_10'], '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_11'], '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' : negation(d['c_0101_10']), 'c_0110_8' : negation(d['c_0101_10']), 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_7'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : d['c_0101_11']})} 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_5, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_7, c_0101_9, c_1001_1, c_1001_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 3182637463310297573752519675819384832/10334230216805318173894731825\ *c_1001_6^17 + 329136704923361694718370793792765952/206684604336106\ 3634778946365*c_1001_6^16 - 5613553532632285290665522582401077248/1\ 0334230216805318173894731825*c_1001_6^15 + 578367195911627650073675073054097408/2066846043361063634778946365*c\ _1001_6^14 - 9228025732398721946840148749178249728/1033423021680531\ 8173894731825*c_1001_6^13 - 23850742212841544568559994767095808/103\ 34230216805318173894731825*c_1001_6^12 - 5812830214567128314904408527312268544/10334230216805318173894731825\ *c_1001_6^11 - 6163580992245449359605136947847555072/10334230216805\ 318173894731825*c_1001_6^10 - 119276384318735665827376512978446176/\ 356352766096735109444645925*c_1001_6^9 - 1506243711058683120138406578581514752/3444743405601772724631577275*\ c_1001_6^8 - 1008300795605937686465168677176011008/3444743405601772\ 724631577275*c_1001_6^7 - 2165949916194981573285569975051584352/103\ 34230216805318173894731825*c_1001_6^6 - 1659363861979353107925673344043242368/10334230216805318173894731825\ *c_1001_6^5 - 936148429021017870028088704632965032/1033423021680531\ 8173894731825*c_1001_6^4 - 2209886735939552800763337503322764/65823\ 122400033873719074725*c_1001_6^3 - 109415156052496114880827263511293668/10334230216805318173894731825*\ c_1001_6^2 - 22651876595980811461137202372155091/413369208672212726\ 9557892730*c_1001_6 - 14838206310548516989220190809273444/103342302\ 16805318173894731825, c_0011_0 - 1, c_0011_10 - 2932454109437513728/153508083883253*c_1001_6^17 + 1530160533867974656/153508083883253*c_1001_6^16 - 5188523519541590016/153508083883253*c_1001_6^15 + 2697500952144996352/153508083883253*c_1001_6^14 - 8535048692877080832/153508083883253*c_1001_6^13 + 35269847724618240/153508083883253*c_1001_6^12 - 5390123383389926400/153508083883253*c_1001_6^11 - 5638271447919415872/153508083883253*c_1001_6^10 - 3184835173743845488/153508083883253*c_1001_6^9 - 4154232052082877760/153508083883253*c_1001_6^8 - 2776145186044250544/153508083883253*c_1001_6^7 - 1991037824124284992/153508083883253*c_1001_6^6 - 1524773597145395812/153508083883253*c_1001_6^5 - 859387021601417212/153508083883253*c_1001_6^4 - 318512821542706506/153508083883253*c_1001_6^3 - 100907132175882407/153508083883253*c_1001_6^2 - 208339399881486785/614032335533012*c_1001_6 - 13649842815670306/153508083883253, c_0011_11 + 27263255389330612277248/1108481873720969913*c_1001_6^17 - 10349476328812753874944/1108481873720969913*c_1001_6^16 + 44370666453364793153536/1108481873720969913*c_1001_6^15 - 16402695350923605041152/1108481873720969913*c_1001_6^14 + 71673671656603362702592/1108481873720969913*c_1001_6^13 + 14560925052821675826176/1108481873720969913*c_1001_6^12 + 43014679582644556454144/1108481873720969913*c_1001_6^11 + 62844986949137399615552/1108481873720969913*c_1001_6^10 + 1107634398645509949872/38223512886929997*c_1001_6^9 + 13861881043459572740928/369493957906989971*c_1001_6^8 + 9952576856946606961120/369493957906989971*c_1001_6^7 + 20238522895166927698816/1108481873720969913*c_1001_6^6 + 15952390542260687029480/1108481873720969913*c_1001_6^5 + 9146209008791344145252/1108481873720969913*c_1001_6^4 + 3534949405757392099528/1108481873720969913*c_1001_6^3 + 1075386484795807632103/1108481873720969913*c_1001_6^2 + 2190274670546462063051/4433927494883879652*c_1001_6 + 163312736075896413214/1108481873720969913, c_0011_5 + 4613274128274410360832/369493957906989971*c_1001_6^17 - 1907087287169050259456/369493957906989971*c_1001_6^16 + 7675050958180769939456/369493957906989971*c_1001_6^15 - 3138285150553468400640/369493957906989971*c_1001_6^14 + 12463575892270402001152/369493957906989971*c_1001_6^13 + 1837590970661167567616/369493957906989971*c_1001_6^12 + 7611028447444898109696/369493957906989971*c_1001_6^11 + 10184303292301090256768/369493957906989971*c_1001_6^10 + 185092897451784327568/12741170962309999*c_1001_6^9 + 6916149520916174236832/369493957906989971*c_1001_6^8 + 4897349575662680385024/369493957906989971*c_1001_6^7 + 3358876310884459378688/369493957906989971*c_1001_6^6 + 2631500791130836728644/369493957906989971*c_1001_6^5 + 1502003646631700935852/369493957906989971*c_1001_6^4 + 576602410058510557220/369493957906989971*c_1001_6^3 + 176538722885914644600/369493957906989971*c_1001_6^2 + 358298718329320817715/1477975831627959884*c_1001_6 + 26130893448901914872/369493957906989971, c_0011_9 + 36274260995471123759104/1108481873720969913*c_1001_6^17 - 15623038435824276815872/1108481873720969913*c_1001_6^16 + 60907241864944613982208/1108481873720969913*c_1001_6^15 - 26001121319319858300928/1108481873720969913*c_1001_6^14 + 99096702336321040844800/1108481873720969913*c_1001_6^13 + 12193695692574967840256/1108481873720969913*c_1001_6^12 + 60730544270566819680512/1108481873720969913*c_1001_6^11 + 78562848563882373352064/1108481873720969913*c_1001_6^10 + 1435164194115087140096/38223512886929997*c_1001_6^9 + 17972317204879180847424/369493957906989971*c_1001_6^8 + 12600375530226684718624/369493957906989971*c_1001_6^7 + 26131975217617944221440/1108481873720969913*c_1001_6^6 + 20380326291854641813312/1108481873720969913*c_1001_6^5 + 11623289509566412601204/1108481873720969913*c_1001_6^4 + 4437017923995322724380/1108481873720969913*c_1001_6^3 + 1365329310599166104800/1108481873720969913*c_1001_6^2 + 698811355312146904940/1108481873720969913*c_1001_6 + 200166335886612247051/1108481873720969913, c_0101_0 + 265426545699676160/35554475213169*c_1001_6^17 - 127291848754479104/35554475213169*c_1001_6^16 + 459056488520192000/35554475213169*c_1001_6^15 - 220522926251073536/35554475213169*c_1001_6^14 + 752629373987224064/35554475213169*c_1001_6^13 + 36499924896615424/35554475213169*c_1001_6^12 + 471865930984369408/35554475213169*c_1001_6^11 + 535359017119115776/35554475213169*c_1001_6^10 + 10338612366140128/1226016386661*c_1001_6^9 + 127151776728496448/11851491737723*c_1001_6^8 + 88058017237061568/11851491737723*c_1001_6^7 + 184234812987258272/35554475213169*c_1001_6^6 + 143102474097292736/35554475213169*c_1001_6^5 + 80905591737518080/35554475213169*c_1001_6^4 + 30303375655806668/35554475213169*c_1001_6^3 + 9445661308628696/35554475213169*c_1001_6^2 + 9605707257074771/71108950426338*c_1001_6 + 1335652598781107/35554475213169, c_0101_1 - 1, c_0101_10 + 17345190170600742588416/1108481873720969913*c_1001_6^17 - 6453702416770436120576/1108481873720969913*c_1001_6^16 + 28104377234403680958464/1108481873720969913*c_1001_6^15 - 10139341343154364141568/1108481873720969913*c_1001_6^14 + 45334955078481041072384/1108481873720969913*c_1001_6^13 + 9788862938108560304128/1108481873720969913*c_1001_6^12 + 27105600816853955677696/1108481873720969913*c_1001_6^11 + 40387022469830398225024/1108481873720969913*c_1001_6^10 + 706070074019780691184/38223512886929997*c_1001_6^9 + 8872416317128031350304/369493957906989971*c_1001_6^8 + 6370705895419368277408/369493957906989971*c_1001_6^7 + 12948719052433697048552/1108481873720969913*c_1001_6^6 + 10220069290815662183132/1108481873720969913*c_1001_6^5 + 5854097605269565409896/1108481873720969913*c_1001_6^4 + 2275744723825629010232/1108481873720969913*c_1001_6^3 + 689020970602676843387/1108481873720969913*c_1001_6^2 + 1400386437010718291065/4433927494883879652*c_1001_6 + 105563671408934394236/1108481873720969913, c_0101_11 - c_1001_6, c_0101_7 - 4613274128274410360832/369493957906989971*c_1001_6^17 + 1907087287169050259456/369493957906989971*c_1001_6^16 - 7675050958180769939456/369493957906989971*c_1001_6^15 + 3138285150553468400640/369493957906989971*c_1001_6^14 - 12463575892270402001152/369493957906989971*c_1001_6^13 - 1837590970661167567616/369493957906989971*c_1001_6^12 - 7611028447444898109696/369493957906989971*c_1001_6^11 - 10184303292301090256768/369493957906989971*c_1001_6^10 - 185092897451784327568/12741170962309999*c_1001_6^9 - 6916149520916174236832/369493957906989971*c_1001_6^8 - 4897349575662680385024/369493957906989971*c_1001_6^7 - 3358876310884459378688/369493957906989971*c_1001_6^6 - 2631500791130836728644/369493957906989971*c_1001_6^5 - 1502003646631700935852/369493957906989971*c_1001_6^4 - 576602410058510557220/369493957906989971*c_1001_6^3 - 176538722885914644600/369493957906989971*c_1001_6^2 - 358298718329320817715/1477975831627959884*c_1001_6 - 26130893448901914872/369493957906989971, c_0101_9 - 17345190170600742588416/1108481873720969913*c_1001_6^17 + 6453702416770436120576/1108481873720969913*c_1001_6^16 - 28104377234403680958464/1108481873720969913*c_1001_6^15 + 10139341343154364141568/1108481873720969913*c_1001_6^14 - 45334955078481041072384/1108481873720969913*c_1001_6^13 - 9788862938108560304128/1108481873720969913*c_1001_6^12 - 27105600816853955677696/1108481873720969913*c_1001_6^11 - 40387022469830398225024/1108481873720969913*c_1001_6^10 - 706070074019780691184/38223512886929997*c_1001_6^9 - 8872416317128031350304/369493957906989971*c_1001_6^8 - 6370705895419368277408/369493957906989971*c_1001_6^7 - 12948719052433697048552/1108481873720969913*c_1001_6^6 - 10220069290815662183132/1108481873720969913*c_1001_6^5 - 5854097605269565409896/1108481873720969913*c_1001_6^4 - 2275744723825629010232/1108481873720969913*c_1001_6^3 - 689020970602676843387/1108481873720969913*c_1001_6^2 - 1400386437010718291065/4433927494883879652*c_1001_6 - 105563671408934394236/1108481873720969913, c_1001_1 + 2932454109437513728/153508083883253*c_1001_6^17 - 1530160533867974656/153508083883253*c_1001_6^16 + 5188523519541590016/153508083883253*c_1001_6^15 - 2697500952144996352/153508083883253*c_1001_6^14 + 8535048692877080832/153508083883253*c_1001_6^13 - 35269847724618240/153508083883253*c_1001_6^12 + 5390123383389926400/153508083883253*c_1001_6^11 + 5638271447919415872/153508083883253*c_1001_6^10 + 3184835173743845488/153508083883253*c_1001_6^9 + 4154232052082877760/153508083883253*c_1001_6^8 + 2776145186044250544/153508083883253*c_1001_6^7 + 1991037824124284992/153508083883253*c_1001_6^6 + 1524773597145395812/153508083883253*c_1001_6^5 + 859387021601417212/153508083883253*c_1001_6^4 + 318512821542706506/153508083883253*c_1001_6^3 + 100907132175882407/153508083883253*c_1001_6^2 + 208339399881486785/614032335533012*c_1001_6 + 13649842815670306/153508083883253, c_1001_6^18 + 3/2*c_1001_6^16 + 39/16*c_1001_6^14 + 3/2*c_1001_6^13 + 59/32*c_1001_6^12 + 23/8*c_1001_6^11 + 537/256*c_1001_6^10 + 127/64*c_1001_6^9 + 27/16*c_1001_6^8 + 301/256*c_1001_6^7 + 7/8*c_1001_6^6 + 579/1024*c_1001_6^5 + 537/2048*c_1001_6^4 + 187/2048*c_1001_6^3 + 585/16384*c_1001_6^2 + 57/4096*c_1001_6 + 5/2048 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.180 Total time: 0.390 seconds, Total memory usage: 32.09MB