Magma V2.19-8 Wed Aug 21 2013 00:52:31 on localhost [Seed = 2345508399] Type ? for help. Type -D to quit. Loading file "L12a373__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L12a373 geometric_solution 11.38048315 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 2031 1 1 0 1 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 -1 0 1 0 0 12 -12 2 -1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.623471159831 1.070006318964 0 0 5 4 0132 1302 0132 0132 1 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 12 -12 0 0 0 0 0 1 -1 0 0 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.593466978888 0.697695305706 5 0 5 6 0132 0132 3012 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 1 0 -1 -11 0 0 11 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.292634258952 0.831597670138 7 6 5 0 0132 0321 3120 0132 1 1 1 1 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 1 0 11 -12 0 1 0 -1 -1 -11 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.321509642350 0.567272360889 7 6 1 8 2103 1023 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.157108276039 1.271533442050 2 2 3 1 0132 1230 3120 0132 1 1 0 1 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 0 -12 12 11 0 -11 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.593466978888 0.697695305706 4 9 2 3 1023 0132 0132 0321 1 1 1 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 -11 11 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.717354704358 0.620764538564 3 9 4 8 0132 3012 2103 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 -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.911827054973 0.685336685343 10 11 4 7 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 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.293675202493 1.326067205010 7 6 10 10 1230 0132 1230 1302 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 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.293675202493 1.326067205010 8 11 9 9 0132 3201 2031 3012 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.293675202493 1.326067205010 12 8 10 12 0132 0132 2310 1023 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.160269895623 0.354361690266 11 12 12 11 0132 1230 3012 1023 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 2.068628919735 1.096149107406 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_9'], 'c_1001_10' : d['c_0011_3'], 'c_1001_12' : d['c_0011_10'], 'c_1001_5' : negation(d['c_1001_3']), 'c_1001_4' : d['c_0101_5'], 'c_1001_7' : d['c_0011_4'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : negation(d['c_0011_3']), 'c_1010_12' : d['c_0101_12'], 'c_1010_11' : negation(d['c_0011_3']), 'c_1010_10' : negation(d['c_0101_9']), 's_3_11' : 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' : negation(d['c_0011_3']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : negation(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' : negation(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' : negation(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_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : negation(d['c_0101_3']), 'c_1100_4' : negation(d['c_0101_3']), 'c_1100_7' : negation(d['c_0101_10']), 'c_1100_6' : d['c_1001_3'], 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : negation(d['c_0101_5']), 'c_1100_3' : negation(d['c_0101_5']), 'c_1100_2' : d['c_1001_3'], 's_0_10' : d['1'], 'c_1100_9' : d['c_0101_10'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : negation(d['c_1001_0']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0101_9']), 'c_1010_6' : d['c_1001_0'], 'c_1010_5' : d['c_0101_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_0101_5'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : d['c_1001_0'], 'c_1010_8' : d['c_0101_9'], 'c_1100_8' : negation(d['c_0101_3']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : negation(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_0011_10']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(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_4']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_4'], '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_12'], 'c_0110_10' : d['c_0101_10'], 'c_0110_12' : negation(d['c_0011_3']), 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_5'], '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_1'], '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' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_3']), 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0011_3'])})} 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_3, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_3, c_0101_5, c_0101_9, c_1001_0, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 251319340281270355199150219398193/21705274535732962640970383360*c_1\ 001_0^19 - 11014002461983344521471400475044249/80309515782211961771\ 5904184320*c_1001_0^18 - 1531792713002520262283058302355487/6177655\ 0601701509055069552640*c_1001_0^17 + 18348016487971195499277456738046763/803095157822119617715904184320*\ c_1001_0^16 + 119620677253537631729461664773141/3088827530085075452\ 753477632*c_1001_0^15 - 15400260548523595214020445534379673/2007737\ 89455529904428976046080*c_1001_0^14 + 15973889725996446742990462654486513/200773789455529904428976046080*\ c_1001_0^13 + 8301052799374722100504015772243499/401547578911059808\ 85795209216*c_1001_0^12 - 85222310363732815690496081784508773/40154\ 7578911059808857952092160*c_1001_0^11 - 124992095651762389780508539640506359/401547578911059808857952092160\ *c_1001_0^10 + 91693954492635384272036705471493963/4015475789110598\ 08857952092160*c_1001_0^9 + 111369032851442854139960883904235421/40\ 1547578911059808857952092160*c_1001_0^8 - 5430473368419487188482066118680627/40154757891105980885795209216*c_\ 1001_0^7 - 30845851409091714370837215781954389/20077378945552990442\ 8976046080*c_1001_0^6 + 9409201299579158554845815795096517/20077378\ 9455529904428976046080*c_1001_0^5 + 2068653434954745547158574886669191/40154757891105980885795209216*c_\ 1001_0^4 - 6555169035710812618650084127628451/803095157822119617715\ 904184320*c_1001_0^3 - 1465498314033105868529463375618957/160619031\ 564423923543180836864*c_1001_0^2 + 460497276669684922377919303536933/803095157822119617715904184320*c_\ 1001_0 + 604685493754328517255943454853299/803095157822119617715904\ 184320, c_0011_0 - 1, c_0011_10 + 1721543417632775/287720392302592*c_1001_0^19 + 1098468046395801657/85165236121567232*c_1001_0^18 - 1483753880506936985/42582618060783616*c_1001_0^17 - 2813840338187916055/85165236121567232*c_1001_0^16 + 1248633720213396511/21291309030391808*c_1001_0^15 + 285100158178491929/10645654515195904*c_1001_0^14 - 1919596223362374685/21291309030391808*c_1001_0^13 + 1274673338057416367/5322827257597952*c_1001_0^12 + 5626989784827638479/21291309030391808*c_1001_0^11 - 21997004904036382367/42582618060783616*c_1001_0^10 - 4534887868227319171/10645654515195904*c_1001_0^9 + 22662567232025132917/42582618060783616*c_1001_0^8 + 8157189500013262493/21291309030391808*c_1001_0^7 - 421412853450872817/1330706814399488*c_1001_0^6 - 4350079105932848251/21291309030391808*c_1001_0^5 + 1208670206520517383/10645654515195904*c_1001_0^4 + 1321872061785306863/21291309030391808*c_1001_0^3 - 1874515040897764227/85165236121567232*c_1001_0^2 - 356764006894587179/42582618060783616*c_1001_0 + 165152419610070277/85165236121567232, c_0011_3 - 180472375238937465/9207052553682944*c_1001_0^19 + 8410497194450651731/340660944486268928*c_1001_0^18 + 13911347382553912463/340660944486268928*c_1001_0^17 - 14378373483997260737/340660944486268928*c_1001_0^16 - 5526607562714094575/85165236121567232*c_1001_0^15 + 11579624619109325297/85165236121567232*c_1001_0^14 - 12000220749015502835/85165236121567232*c_1001_0^13 - 29260297222482546259/85165236121567232*c_1001_0^12 + 65765252696477176761/170330472243134464*c_1001_0^11 + 87953495485729159433/170330472243134464*c_1001_0^10 - 74244237955944389267/170330472243134464*c_1001_0^9 - 80143953939658000739/170330472243134464*c_1001_0^8 + 23492546164044877569/85165236121567232*c_1001_0^7 + 23390098407878383169/85165236121567232*c_1001_0^6 - 8959812290033625171/85165236121567232*c_1001_0^5 - 8631976914591071507/85165236121567232*c_1001_0^4 + 7400831286666940355/340660944486268928*c_1001_0^3 + 8038490244969274835/340660944486268928*c_1001_0^2 - 647339361411740497/340660944486268928*c_1001_0 - 1087985752045582561/340660944486268928, c_0011_4 + 353096169652438423/9207052553682944*c_1001_0^19 - 13912794942118394067/340660944486268928*c_1001_0^18 - 28198826677230548049/340660944486268928*c_1001_0^17 + 21211531707496362369/340660944486268928*c_1001_0^16 + 10902130155664473825/85165236121567232*c_1001_0^15 - 20135480727794500545/85165236121567232*c_1001_0^14 + 20977138998938940493/85165236121567232*c_1001_0^13 + 59083036797836333923/85165236121567232*c_1001_0^12 - 100846975772757806615/170330472243134464*c_1001_0^11 - 175755611381715311401/170330472243134464*c_1001_0^10 + 102700463498364631821/170330472243134464*c_1001_0^9 + 153685483846958863171/170330472243134464*c_1001_0^8 - 27821407111486233583/85165236121567232*c_1001_0^7 - 41585319820668288561/85165236121567232*c_1001_0^6 + 8642758841490219053/85165236121567232*c_1001_0^5 + 13664266462406252611/85165236121567232*c_1001_0^4 - 3533032708177718125/340660944486268928*c_1001_0^3 - 9653509590907986963/340660944486268928*c_1001_0^2 - 21500466445025457/340660944486268928*c_1001_0 + 782888991184510561/340660944486268928, c_0101_0 - 1, c_0101_1 + 832799532668411/8991262259456*c_1001_0^19 - 1985574416086179523/21291309030391808*c_1001_0^18 - 2217229235586364869/10645654515195904*c_1001_0^17 + 755525368938236209/5322827257597952*c_1001_0^16 + 1715136981001426261/5322827257597952*c_1001_0^15 - 2965868924832932751/5322827257597952*c_1001_0^14 + 2955134859697733475/5322827257597952*c_1001_0^13 + 2297754730173047621/1330706814399488*c_1001_0^12 - 7208253927343562067/5322827257597952*c_1001_0^11 - 27843712432302325709/10645654515195904*c_1001_0^10 + 3597639182248330713/2661413628798976*c_1001_0^9 + 6159683770052110553/2661413628798976*c_1001_0^8 - 3751246335015871529/5322827257597952*c_1001_0^7 - 6720257269248859235/5322827257597952*c_1001_0^6 + 1078399914304758733/5322827257597952*c_1001_0^5 + 556614997188026531/1330706814399488*c_1001_0^4 - 99364587329223305/5322827257597952*c_1001_0^3 - 1582377525756699995/21291309030391808*c_1001_0^2 - 3193870743440511/10645654515195904*c_1001_0 + 31966734864757917/5322827257597952, c_0101_10 - 103690473332433851/4603526276841472*c_1001_0^19 + 4696142128729501625/170330472243134464*c_1001_0^18 + 8261999465810150179/170330472243134464*c_1001_0^17 - 8108890355951703901/170330472243134464*c_1001_0^16 - 3303678290727706903/42582618060783616*c_1001_0^15 + 6595888713673117385/42582618060783616*c_1001_0^14 - 6552040744074179277/42582618060783616*c_1001_0^13 - 17232995244459100685/42582618060783616*c_1001_0^12 + 36875877709365496119/85165236121567232*c_1001_0^11 + 52760840120124975543/85165236121567232*c_1001_0^10 - 41864231883942940339/85165236121567232*c_1001_0^9 - 49216347069671076019/85165236121567232*c_1001_0^8 + 13296593731985005861/42582618060783616*c_1001_0^7 + 14877986477491699269/42582618060783616*c_1001_0^6 - 5087902693399959417/42582618060783616*c_1001_0^5 - 5833832559880038457/42582618060783616*c_1001_0^4 + 4232613996759106401/170330472243134464*c_1001_0^3 + 5458691204536186017/170330472243134464*c_1001_0^2 - 374943478820741285/170330472243134464*c_1001_0 - 644836546438648357/170330472243134464, c_0101_12 + 460073506129818763/4603526276841472*c_1001_0^19 - 10767666888956351095/85165236121567232*c_1001_0^18 - 33637876078495821003/170330472243134464*c_1001_0^17 + 9129539024202259077/42582618060783616*c_1001_0^16 + 12453931379462299061/42582618060783616*c_1001_0^15 - 14599924719608215783/21291309030391808*c_1001_0^14 + 32976030458313256631/42582618060783616*c_1001_0^13 + 2260481244749114881/1330706814399488*c_1001_0^12 - 168176235598675475867/85165236121567232*c_1001_0^11 - 99526751876837927401/42582618060783616*c_1001_0^10 + 184053486351685228783/85165236121567232*c_1001_0^9 + 41028044128911174401/21291309030391808*c_1001_0^8 - 57063753811701490827/42582618060783616*c_1001_0^7 - 20901139252284484683/21291309030391808*c_1001_0^6 + 21506431420861289735/42582618060783616*c_1001_0^5 + 1577140277349154829/5322827257597952*c_1001_0^4 - 17996681481959395209/170330472243134464*c_1001_0^3 - 3754337067186056815/85165236121567232*c_1001_0^2 + 1723898807547911669/170330472243134464*c_1001_0 + 103700967717132849/42582618060783616, c_0101_3 - c_1001_0, c_0101_5 - 21437361164374727/575440784605184*c_1001_0^19 + 511405268618524411/10645654515195904*c_1001_0^18 + 402713163381579825/5322827257597952*c_1001_0^17 - 432512985510399515/5322827257597952*c_1001_0^16 - 641459099989078927/5322827257597952*c_1001_0^15 + 1384460201270372835/5322827257597952*c_1001_0^14 - 368147122509067195/1330706814399488*c_1001_0^13 - 3405853399141709875/5322827257597952*c_1001_0^12 + 7943142728118306867/10645654515195904*c_1001_0^11 + 2541796772972160505/2661413628798976*c_1001_0^10 - 2234228008138072615/2661413628798976*c_1001_0^9 - 4591062019499329673/5322827257597952*c_1001_0^8 + 2818879154785657757/5322827257597952*c_1001_0^7 + 2654734661591317069/5322827257597952*c_1001_0^6 - 267871279968437853/1330706814399488*c_1001_0^5 - 944722442153979193/5322827257597952*c_1001_0^4 + 877874431707898533/21291309030391808*c_1001_0^3 + 393484023471998017/10645654515195904*c_1001_0^2 - 18974064868021347/5322827257597952*c_1001_0 - 912837641718371/332676703599872, c_0101_9 + 12127083553493685/270795663343616*c_1001_0^19 - 1076900211497395/19569217858816*c_1001_0^18 - 963784395310292669/10019439543713792*c_1001_0^17 + 471791361491430151/5009719771856896*c_1001_0^16 + 388870150039467015/2504859885928448*c_1001_0^15 - 192719507045894201/626214971482112*c_1001_0^14 + 766481200508548797/2504859885928448*c_1001_0^13 + 1004213175551521675/1252429942964224*c_1001_0^12 - 4307925844559311341/5009719771856896*c_1001_0^11 - 775179787056269693/626214971482112*c_1001_0^10 + 4883739694290395665/5009719771856896*c_1001_0^9 + 2904996740665665361/2504859885928448*c_1001_0^8 - 1545399279165799969/2504859885928448*c_1001_0^7 - 437384431850663011/626214971482112*c_1001_0^6 + 588329685246184933/2504859885928448*c_1001_0^5 + 326642320509869383/1252429942964224*c_1001_0^4 - 483929599727353319/10019439543713792*c_1001_0^3 - 35558436051565111/626214971482112*c_1001_0^2 + 42331476385493523/10019439543713792*c_1001_0 + 28752287967088015/5009719771856896, c_1001_0^20 - 2528/4181*c_1001_0^19 - 11570/4181*c_1001_0^18 + 2992/4181*c_1001_0^17 + 18213/4181*c_1001_0^16 - 19712/4181*c_1001_0^15 + 360/113*c_1001_0^14 + 90432/4181*c_1001_0^13 - 32246/4181*c_1001_0^12 - 151744/4181*c_1001_0^11 + 484/113*c_1001_0^10 + 142368/4181*c_1001_0^9 + 7122/4181*c_1001_0^8 - 80896/4181*c_1001_0^7 - 13368/4181*c_1001_0^6 + 27968/4181*c_1001_0^5 + 7169/4181*c_1001_0^4 - 5216/4181*c_1001_0^3 - 1682/4181*c_1001_0^2 + 432/4181*c_1001_0 + 169/4181, c_1001_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.430 Total time: 0.640 seconds, Total memory usage: 32.09MB