Magma V2.19-8 Wed Aug 21 2013 01:04:23 on localhost [Seed = 1814721569] Type ? for help. Type -D to quit. Loading file "L14n24163__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n24163 geometric_solution 11.81825615 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 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 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.309181724557 0.582149012881 0 5 7 6 0132 0132 0132 0132 1 1 0 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 10 -10 -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.596872823915 0.961165127478 6 0 7 8 0132 0132 1023 0132 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 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.253880449595 1.045620464077 8 9 7 0 0132 0132 3012 0132 1 1 0 1 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 0 1 -1 9 0 -10 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.619937609415 0.602219006236 10 11 0 6 0132 0132 0132 2103 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.416093097087 2.269761629806 6 1 9 12 1023 0132 2103 0132 1 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 0 0 0 0 0 0 0 0 10 0 -1 -9 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.236331711039 0.767875324502 2 5 1 4 0132 1023 0132 2103 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 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.859404175183 1.291223597816 10 3 2 1 3120 1230 1023 0132 1 1 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 0 10 0 -10 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.407300344452 0.589026762395 3 9 2 10 0132 0213 0132 1302 1 1 1 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 0 0 0 -9 0 0 9 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.548876419156 0.626768953219 5 3 8 11 2103 0132 0213 0213 1 1 1 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 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.651146947668 0.451454276697 4 12 8 7 0132 3120 2031 3120 1 1 1 1 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 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.125939653921 0.738418762304 12 4 12 9 3120 0132 3201 0213 1 1 1 1 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 -9 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.049452111862 0.650025950803 11 10 5 11 2310 3120 0132 3120 1 1 1 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 -9 0 9 -9 0 9 0 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.305240926106 1.084733146427 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_12']), 'c_1001_10' : negation(d['c_0101_3']), 'c_1001_12' : d['c_0101_3'], 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0101_7'], 'c_1001_7' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_12']), 'c_1001_2' : d['c_0101_7'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : d['c_0101_7'], 'c_1010_10' : negation(d['c_0011_12']), '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'], 'c_0101_12' : d['c_0101_12'], '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' : 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' : d['c_0101_7'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_11']), 'c_1100_4' : negation(d['c_0101_2']), 'c_1100_7' : negation(d['c_0101_10']), 'c_1100_6' : negation(d['c_0101_10']), 'c_1100_1' : negation(d['c_0101_10']), 'c_1100_0' : negation(d['c_0101_2']), 'c_1100_3' : negation(d['c_0101_2']), 'c_1100_2' : d['c_0101_10'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_12']), 'c_1100_10' : negation(d['c_0101_7']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_3'], 'c_1010_6' : d['c_0101_12'], 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0101_12']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_0101_7'], 'c_1010_9' : negation(d['c_0011_12']), 'c_1010_8' : d['c_0101_7'], 'c_1100_8' : d['c_0101_10'], '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_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' : negation(d['c_0011_3']), '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_12'], 'c_0011_6' : 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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_11']), 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : negation(d['c_0101_11']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_3']), '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_3']), 'c_0101_8' : d['c_0101_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_12'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_2'], 's_2_9' : d['1']})} 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_12, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_0101_2, c_0101_3, c_0101_7, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 5133481503247498720119857838448/3709007900811761918263985*c_1001_0^\ 15 + 38225682970730586786472896288/16196541051579746367965*c_1001_0\ ^14 + 37001173081165218864268500622112/3709007900811761918263985*c_\ 1001_0^13 + 36410507921323067248982598666224/3709007900811761918263\ 985*c_1001_0^12 - 255187220297350765160686564793124/370900790081176\ 1918263985*c_1001_0^11 - 24660200835895007832300972827940/741801580\ 162352383652797*c_1001_0^10 + 556525879204417467456266968542186/370\ 9007900811761918263985*c_1001_0^9 - 2937627046389282980312231142496/195210942147987469382315*c_1001_0^8 - 91855047799398579799884811478562/741801580162352383652797*c_1001_\ 0^7 + 36550609772684321237461046778073/529858271544537416894855*c_1\ 001_0^6 + 146164753734111021000203132241206/37090079008117619182639\ 85*c_1001_0^5 - 2160386912293754421315401446254/4075832858034903206\ 8835*c_1001_0^4 - 1365975471944205938668518732302/52985827154453741\ 6894855*c_1001_0^3 + 58531654587610728239668600908487/3709007900811\ 761918263985*c_1001_0^2 + 178646916795491787383379780496/3709007900\ 811761918263985*c_1001_0 - 1210256592788647743174529560309/74180158\ 0162352383652797, c_0011_0 - 1, c_0011_10 - 2222959751528755701632/335359265266949057243*c_1001_0^15 - 3071560187558899938560/335359265266949057243*c_1001_0^14 - 81601068152593144832/1873515448418709817*c_1001_0^13 - 9918474920016265667632/335359265266949057243*c_1001_0^12 + 117766799461187797392784/335359265266949057243*c_1001_0^11 + 22060303497399950926096/335359265266949057243*c_1001_0^10 - 263137406690118138462768/335359265266949057243*c_1001_0^9 + 84357771669715386090100/335359265266949057243*c_1001_0^8 + 196693409454855424507592/335359265266949057243*c_1001_0^7 - 154066869658891396584562/335359265266949057243*c_1001_0^6 - 38818461286359488720674/335359265266949057243*c_1001_0^5 + 96643869102026086873456/335359265266949057243*c_1001_0^4 - 10811388550348079633611/335359265266949057243*c_1001_0^3 - 26239783411397598111557/335359265266949057243*c_1001_0^2 + 2724248127600252536043/335359265266949057243*c_1001_0 + 2943115675547969222590/335359265266949057243, c_0011_12 + 121630862482368567360/335359265266949057243*c_1001_0^15 + 971310989802719386704/335359265266949057243*c_1001_0^14 + 14562425028945000928/1873515448418709817*c_1001_0^13 + 7549267722131592941904/335359265266949057243*c_1001_0^12 + 3560578173938674496944/335359265266949057243*c_1001_0^11 - 33771456444142404904412/335359265266949057243*c_1001_0^10 - 20135599473158819876612/335359265266949057243*c_1001_0^9 + 53465916725047282609354/335359265266949057243*c_1001_0^8 + 2892833607095442232384/335359265266949057243*c_1001_0^7 - 36897663190560960576996/335359265266949057243*c_1001_0^6 + 20442790174301904767895/335359265266949057243*c_1001_0^5 + 12850099823789700948256/335359265266949057243*c_1001_0^4 - 13026104483104208714503/335359265266949057243*c_1001_0^3 - 2553386538315770187283/335359265266949057243*c_1001_0^2 + 1561588507233520130206/335359265266949057243*c_1001_0 + 224226620573419945784/335359265266949057243, c_0011_3 + 13528182326498004512/1873515448418709817*c_1001_0^15 + 26278781894804480352/1873515448418709817*c_1001_0^14 + 105062299175847936560/1873515448418709817*c_1001_0^13 + 124491631553732849952/1873515448418709817*c_1001_0^12 - 629863817803899628616/1873515448418709817*c_1001_0^11 - 451970670164274800528/1873515448418709817*c_1001_0^10 + 1315758482210169774112/1873515448418709817*c_1001_0^9 + 86041825121117359632/1873515448418709817*c_1001_0^8 - 1123144657950819644622/1873515448418709817*c_1001_0^7 + 474025390377155672018/1873515448418709817*c_1001_0^6 + 433750028859687628986/1873515448418709817*c_1001_0^5 - 426593691742569880559/1873515448418709817*c_1001_0^4 - 79002666438122324402/1873515448418709817*c_1001_0^3 + 125476586050000776303/1873515448418709817*c_1001_0^2 + 10589487098390768104/1873515448418709817*c_1001_0 - 10549502440669032210/1873515448418709817, c_0101_0 + 8753618411866036016/1873515448418709817*c_1001_0^15 + 18561550278772803056/1873515448418709817*c_1001_0^14 + 69335453221425757792/1873515448418709817*c_1001_0^13 + 89152453863271500096/1873515448418709817*c_1001_0^12 - 407897314440343268836/1873515448418709817*c_1001_0^11 - 385055537829561013440/1873515448418709817*c_1001_0^10 + 863903918723708518350/1873515448418709817*c_1001_0^9 + 258170693553814216506/1873515448418709817*c_1001_0^8 - 827488967656924222890/1873515448418709817*c_1001_0^7 + 190864158203064060795/1873515448418709817*c_1001_0^6 + 401199806303021099143/1873515448418709817*c_1001_0^5 - 277670265539866043996/1873515448418709817*c_1001_0^4 - 114891509227290104351/1873515448418709817*c_1001_0^3 + 96538798889088739166/1873515448418709817*c_1001_0^2 + 20866861145740496418/1873515448418709817*c_1001_0 - 7850532460236434238/1873515448418709817, c_0101_1 - 1, c_0101_10 - 6200007737375044113152/335359265266949057243*c_1001_0^15 - 10962133330236441929264/335359265266949057243*c_1001_0^14 - 255265913999380343536/1873515448418709817*c_1001_0^13 - 47641576153849930935184/335359265266949057243*c_1001_0^12 + 302269930975800879178992/335359265266949057243*c_1001_0^11 + 163202240524799648924340/335359265266949057243*c_1001_0^10 - 650350003285106681966984/335359265266949057243*c_1001_0^9 + 42861592295509411636878/335359265266949057243*c_1001_0^8 + 537068175380406948205610/335359265266949057243*c_1001_0^7 - 286118916515648729397160/335359265266949057243*c_1001_0^6 - 176059532048825822472501/335359265266949057243*c_1001_0^5 + 223457661295538390033943/335359265266949057243*c_1001_0^4 + 15975218877543356176639/335359265266949057243*c_1001_0^3 - 64822829612022369511690/335359265266949057243*c_1001_0^2 - 1421103788785557991493/335359265266949057243*c_1001_0 + 6304046817352322045785/335359265266949057243, c_0101_11 - 1986793017004908367264/335359265266949057243*c_1001_0^15 - 3808348444218334520288/335359265266949057243*c_1001_0^14 - 86918659020947464368/1873515448418709817*c_1001_0^13 - 18457027978262021370528/335359265266949057243*c_1001_0^12 + 90838706158479690238072/335359265266949057243*c_1001_0^11 + 60541784346232785568720/335359265266949057243*c_1001_0^10 - 186767880581061660921384/335359265266949057243*c_1001_0^9 + 3452918087661185753592/335359265266949057243*c_1001_0^8 + 150843859667863721093494/335359265266949057243*c_1001_0^7 - 78600645402765613585750/335359265266949057243*c_1001_0^6 - 48452842870240881519064/335359265266949057243*c_1001_0^5 + 59089656691211500144529/335359265266949057243*c_1001_0^4 + 4571876921735074170160/335359265266949057243*c_1001_0^3 - 15313424130920149768476/335359265266949057243*c_1001_0^2 - 465865875472507859805/335359265266949057243*c_1001_0 + 1208271524108456429727/335359265266949057243, c_0101_12 - 7995264783352492138688/335359265266949057243*c_1001_0^15 - 14351654249738167874048/335359265266949057243*c_1001_0^14 - 332562292138344068288/1873515448418709817*c_1001_0^13 - 63519933619971166464320/335359265266949057243*c_1001_0^12 + 386240985414146300869584/335359265266949057243*c_1001_0^11 + 218412522187378527045008/335359265266949057243*c_1001_0^10 - 823180750332564595917144/335359265266949057243*c_1001_0^9 + 43436431595123043200848/335359265266949057243*c_1001_0^8 + 677619670672240722414896/335359265266949057243*c_1001_0^7 - 356331891023345194999316/335359265266949057243*c_1001_0^6 - 224746997726505980336784/335359265266949057243*c_1001_0^5 + 277810820559596035080408/335359265266949057243*c_1001_0^4 + 22410763768651545524716/335359265266949057243*c_1001_0^3 - 80091592521593551768572/335359265266949057243*c_1001_0^2 - 2086917172186937851660/335359265266949057243*c_1001_0 + 7890427326653411415195/335359265266949057243, c_0101_2 + 3518228561635378605152/335359265266949057243*c_1001_0^15 + 6200007737375044113152/335359265266949057243*c_1001_0^14 + 144533502584769103056/1873515448418709817*c_1001_0^13 + 26857558766486169256224/335359265266949057243*c_1001_0^12 - 171838996362173216953112/335359265266949057243*c_1001_0^11 - 91730420435638497569208/335359265266949057243*c_1001_0^10 + 370505642966283285917088/335359265266949057243*c_1001_0^9 - 26681303113658964923972/335359265266949057243*c_1001_0^8 - 305994366946564759312302/335359265266949057243*c_1001_0^7 + 165826351175648960000402/335359265266949057243*c_1001_0^6 + 98523526114880864277380/335359265266949057243*c_1001_0^5 - 128280364921724690206271/335359265266949057243*c_1001_0^4 - 7441471618031445861694/335359265266949057243*c_1001_0^3 + 36763445471543589226387/335359265266949057243*c_1001_0^2 + 133444932497962606909/335359265266949057243*c_1001_0 - 3445486111023576929099/335359265266949057243, c_0101_3 - 9162770307952145654224/335359265266949057243*c_1001_0^15 - 16434021995547629637872/335359265266949057243*c_1001_0^14 - 379917353028296753120/1873515448418709817*c_1001_0^13 - 72322280340785225593104/335359265266949057243*c_1001_0^12 + 444209609608915948437516/335359265266949057243*c_1001_0^11 + 251313192642217341642360/335359265266949057243*c_1001_0^10 - 953168991528304112935354/335359265266949057243*c_1001_0^9 + 43567391397532430416722/335359265266949057243*c_1001_0^8 + 794741644141505301854534/335359265266949057243*c_1001_0^7 - 407061120580475025458143/335359265266949057243*c_1001_0^6 - 271782701981792511497789/335359265266949057243*c_1001_0^5 + 326374237779838837535012/335359265266949057243*c_1001_0^4 + 31047017922958821501978/335359265266949057243*c_1001_0^3 - 97592216117278987622801/335359265266949057243*c_1001_0^2 - 3012251369057658629960/335359265266949057243*c_1001_0 + 9960447674745305689062/335359265266949057243, c_0101_7 - 1036493083692176815648/335359265266949057243*c_1001_0^15 - 2442833741506328878416/335359265266949057243*c_1001_0^14 - 50692791909474342256/1873515448418709817*c_1001_0^13 - 13501570999192975349568/335359265266949057243*c_1001_0^12 + 42182653051496328771304/335359265266949057243*c_1001_0^11 + 50451096776234360775412/335359265266949057243*c_1001_0^10 - 81452359555176605448588/335359265266949057243*c_1001_0^9 - 32517210844679161511994/335359265266949057243*c_1001_0^8 + 78087153829673139530194/335359265266949057243*c_1001_0^7 - 17361981498185926711388/335359265266949057243*c_1001_0^6 - 40178446143138832972147/335359265266949057243*c_1001_0^5 + 24900823350221434572685/335359265266949057243*c_1001_0^4 + 10557114516639311872800/335359265266949057243*c_1001_0^3 - 7639022760064700370584/335359265266949057243*c_1001_0^2 - 950950064891192750759/335359265266949057243*c_1001_0 + 724371618163798535589/335359265266949057243, c_1001_0^16 + c_1001_0^15 + 6*c_1001_0^14 + 2*c_1001_0^13 - 219/4*c_1001_0^12 + 11*c_1001_0^11 + 1005/8*c_1001_0^10 - 697/8*c_1001_0^9 - 659/8*c_1001_0^8 + 1805/16*c_1001_0^7 - 99/16*c_1001_0^6 - 117/2*c_1001_0^5 + 399/16*c_1001_0^4 + 103/8*c_1001_0^3 - 127/16*c_1001_0^2 - 5/4*c_1001_0 + 13/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.370 Total time: 0.580 seconds, Total memory usage: 32.09MB