Magma V2.19-8 Tue Aug 20 2013 16:16:29 on localhost [Seed = 1174919840] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0767 geometric_solution 4.71106684 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 3201 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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.813699637714 0.727648319408 0 0 1 1 0132 2310 1230 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 0 0 0 0 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.317785774448 0.231698816067 0 0 4 3 2310 0132 0132 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 -1 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.075519039897 0.352280012482 4 4 2 5 1230 1023 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 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 -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.574278334137 1.155957826200 3 3 5 2 1023 3012 2310 0132 0 0 0 0 0 1 -1 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 0 -1 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 0 0 0.574278334137 1.155957826200 6 4 3 6 0132 3201 0132 1023 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 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.579284620216 0.771583601449 5 6 6 5 0132 1230 3012 1023 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 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 1.802677266405 0.516301559152 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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_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_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_0_6' : 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_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : negation(d['c_0101_2']), 'c_0101_3' : negation(d['c_0101_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_5']), '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_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 3804272706362445066026014676796358058202523316133/93085515947361106\ 203327832241434810679415116197*c_0101_6^23 + 194298457343042406031050250232901104329780465513072/279256547842083\ 318609983496724304432038245348591*c_0101_6^22 + 165503817860467749264844539232856860239929147662415/398937925488690\ 45515711928103472061719749335513*c_0101_6^21 - 168092477252063664334411272220970137869976765846551/132979308496230\ 15171903976034490687239916445171*c_0101_6^20 - 3226876275006861842637539981872984656321593951225229/93085515947361\ 106203327832241434810679415116197*c_0101_6^19 + 5833594840748031908573297264845331043943643553776567/27925654784208\ 3318609983496724304432038245348591*c_0101_6^18 + 15590989413017708701653494236239958691009589365339074/9308551594736\ 1106203327832241434810679415116197*c_0101_6^17 + 4707095824698724942431968106673574263251169845919813/27925654784208\ 3318609983496724304432038245348591*c_0101_6^16 - 115442328786421293184999743832085002106490574096785239/279256547842\ 083318609983496724304432038245348591*c_0101_6^15 - 18589285672561886326994999876789224046887241103877792/9308551594736\ 1106203327832241434810679415116197*c_0101_6^14 + 182558790246679569934784797141646390210342332679711908/279256547842\ 083318609983496724304432038245348591*c_0101_6^13 + 47492652586041316968526593681312052582210177665638642/9308551594736\ 1106203327832241434810679415116197*c_0101_6^12 - 8795180761665425518444977716361335563065065682706214/13297930849623\ 015171903976034490687239916445171*c_0101_6^11 - 185730312354439770230180528199760525691343160239714737/279256547842\ 083318609983496724304432038245348591*c_0101_6^10 + 39265919700170109133654615046144035224507527748798787/9308551594736\ 1106203327832241434810679415116197*c_0101_6^9 + 51587135452224856901210127888457254102811260683722858/9308551594736\ 1106203327832241434810679415116197*c_0101_6^8 - 50920976104129775624535224712632452998736077549832376/2792565478420\ 83318609983496724304432038245348591*c_0101_6^7 - 78901413728024050942929224814030339040306695372911776/2792565478420\ 83318609983496724304432038245348591*c_0101_6^6 + 2386972871428709247276681306909420314707859546191835/39893792548869\ 045515711928103472061719749335513*c_0101_6^5 + 6028975871301625083329764336053842423539750644595888/93085515947361\ 106203327832241434810679415116197*c_0101_6^4 - 168021311048303511204261448745265056183809147979516/132979308496230\ 15171903976034490687239916445171*c_0101_6^3 - 555429044657159365801295985959627421489228038977942/279256547842083\ 318609983496724304432038245348591*c_0101_6^2 + 231111877167648722362064866118551370491686640983910/279256547842083\ 318609983496724304432038245348591*c_0101_6 - 8930272063269120272800448704905895466827352459912/27925654784208331\ 8609983496724304432038245348591, c_0011_0 - 1, c_0011_3 + 26375988626249316970261760458191863240706299945/930855159473\ 61106203327832241434810679415116197*c_0101_6^23 - 1335346314197902670090781844777975982487034397666/27925654784208331\ 8609983496724304432038245348591*c_0101_6^22 - 1176217991046391205303082786850237118122588859234/39893792548869045\ 515711928103472061719749335513*c_0101_6^21 + 1109076451927590323085662168283792642475761600136/13297930849623015\ 171903976034490687239916445171*c_0101_6^20 + 23613144610198740371562823939300970396359145247822/9308551594736110\ 6203327832241434810679415116197*c_0101_6^19 - 30666504325966548209178751505774833518802734372445/2792565478420833\ 18609983496724304432038245348591*c_0101_6^18 - 331145017723396685455835635504176628049714866279925/279256547842083\ 318609983496724304432038245348591*c_0101_6^17 - 80460677279326889135249869701629642920175059086931/2792565478420833\ 18609983496724304432038245348591*c_0101_6^16 + 799704603861691444718404795230781479173297590087264/279256547842083\ 318609983496724304432038245348591*c_0101_6^15 + 507124818578223558575340536310285946689496886731682/279256547842083\ 318609983496724304432038245348591*c_0101_6^14 - 406667738253659554374735308699991585227773539424424/930855159473611\ 06203327832241434810679415116197*c_0101_6^13 - 1184675576060975975915081253024847583881588824849431/27925654784208\ 3318609983496724304432038245348591*c_0101_6^12 + 164820462291723501494346930954098796897023277637018/398937925488690\ 45515711928103472061719749335513*c_0101_6^11 + 1500252573030416035505497938730526860079729327620544/27925654784208\ 3318609983496724304432038245348591*c_0101_6^10 - 215477306213479301052346495383002777110601387012346/930855159473611\ 06203327832241434810679415116197*c_0101_6^9 - 409093554099181480352467351195465325431182017655481/930855159473611\ 06203327832241434810679415116197*c_0101_6^8 + 205618112366559520398958788509646037564865721777193/279256547842083\ 318609983496724304432038245348591*c_0101_6^7 + 629279003211276457134727920619495865646571005757315/279256547842083\ 318609983496724304432038245348591*c_0101_6^6 - 5184074553914990558822362887318474661668711392557/39893792548869045\ 515711928103472061719749335513*c_0101_6^5 - 159954102259597025189008785618684573709366285782086/279256547842083\ 318609983496724304432038245348591*c_0101_6^4 + 607957504279377619331495328865674619643275575703/398937925488690455\ 15711928103472061719749335513*c_0101_6^3 + 4329546565000388356415714283877847881447033019187/93085515947361106\ 203327832241434810679415116197*c_0101_6^2 - 165070295670789729708494023966235684668026720144/930855159473611062\ 03327832241434810679415116197*c_0101_6 - 479243254336115518795128520503777975927913970560/279256547842083318\ 609983496724304432038245348591, c_0011_5 - 21414426136949160412077776209615919147015210026/930855159473\ 61106203327832241434810679415116197*c_0101_6^23 + 1078886891034290323329948947159201731316728367842/27925654784208331\ 8609983496724304432038245348591*c_0101_6^22 + 322603550624262564772951696096568014577217500163/132979308496230151\ 71903976034490687239916445171*c_0101_6^21 - 875086438438510979108425403977281326264497056131/132979308496230151\ 71903976034490687239916445171*c_0101_6^20 - 19734977263819132477817397532966006890193142239811/9308551594736110\ 6203327832241434810679415116197*c_0101_6^19 + 20302388695626456008882728415063585929148338290749/2792565478420833\ 18609983496724304432038245348591*c_0101_6^18 + 272422199873596932590833004345018613930878633834870/279256547842083\ 318609983496724304432038245348591*c_0101_6^17 + 29449752073825550022166285076558080228630986181036/9308551594736110\ 6203327832241434810679415116197*c_0101_6^16 - 649113859478029731094722037238050685943794824435919/279256547842083\ 318609983496724304432038245348591*c_0101_6^15 - 472792842171694279194456434250807349529943707168711/279256547842083\ 318609983496724304432038245348591*c_0101_6^14 + 967031790678948772956387009327137198637837023305427/279256547842083\ 318609983496724304432038245348591*c_0101_6^13 + 1064675023329835757676986921822409353407007552202893/27925654784208\ 3318609983496724304432038245348591*c_0101_6^12 - 123855250921463158373872809463291427382918789175474/398937925488690\ 45515711928103472061719749335513*c_0101_6^11 - 443980431479400146299262011295193369160352052244070/930855159473611\ 06203327832241434810679415116197*c_0101_6^10 + 141225657352780565205777222137590945825428789104173/930855159473611\ 06203327832241434810679415116197*c_0101_6^9 + 359129087744806036734998818410393862070091471197431/930855159473611\ 06203327832241434810679415116197*c_0101_6^8 - 75795717547785787092422998946147666763712405277660/2792565478420833\ 18609983496724304432038245348591*c_0101_6^7 - 182973416425475671146569881289399247452631055429662/930855159473611\ 06203327832241434810679415116197*c_0101_6^6 - 3126120902264122866078926984024415982696943834749/39893792548869045\ 515711928103472061719749335513*c_0101_6^5 + 143450801984590700415727403470871138766431006902007/279256547842083\ 318609983496724304432038245348591*c_0101_6^4 + 1463518719882931153510793637834886097567540468648/39893792548869045\ 515711928103472061719749335513*c_0101_6^3 - 13479300608219947205908070546360597249996157001808/2792565478420833\ 18609983496724304432038245348591*c_0101_6^2 - 60489611942953327032360183295270864874785038601/2792565478420833186\ 09983496724304432038245348591*c_0101_6 + 181237584630759873521317255035869566506368856431/930855159473611062\ 03327832241434810679415116197, c_0101_0 - 172040320830341185800710213146009382889491741626/27925654784\ 2083318609983496724304432038245348591*c_0101_6^23 + 2891826565337931885322769790576668997640606943053/27925654784208331\ 8609983496724304432038245348591*c_0101_6^22 + 2586079365020036125089749142565211318484446879486/39893792548869045\ 515711928103472061719749335513*c_0101_6^21 - 2360263212406229285634780088493313787398330945791/13297930849623015\ 171903976034490687239916445171*c_0101_6^20 - 158174998351610471483760257617403054241926577788894/279256547842083\ 318609983496724304432038245348591*c_0101_6^19 + 19449417463356846708469770757130572245188028831707/9308551594736110\ 6203327832241434810679415116197*c_0101_6^18 + 243582703695797375016714467949021732009168908940089/930855159473611\ 06203327832241434810679415116197*c_0101_6^17 + 74166153879538133033123384957898117053267491602260/9308551594736110\ 6203327832241434810679415116197*c_0101_6^16 - 584494217497621468884491407518655963253922634778180/930855159473611\ 06203327832241434810679415116197*c_0101_6^15 - 1231130874200366044534624290736819212663022791968960/27925654784208\ 3318609983496724304432038245348591*c_0101_6^14 + 2632177204518921590722157576504893022160570111679625/27925654784208\ 3318609983496724304432038245348591*c_0101_6^13 + 2801223425064663292364575176457947948706216168358779/27925654784208\ 3318609983496724304432038245348591*c_0101_6^12 - 114329489697763448549505924834624727902793512079613/132979308496230\ 15171903976034490687239916445171*c_0101_6^11 - 3517586660476592517631339333465407071432505759603734/27925654784208\ 3318609983496724304432038245348591*c_0101_6^10 + 408425610109619490784477950507699882607224479432541/930855159473611\ 06203327832241434810679415116197*c_0101_6^9 + 2843604459753122734009093072583302348681170322111664/27925654784208\ 3318609983496724304432038245348591*c_0101_6^8 - 274212124146908894422933754062385012899422812429297/279256547842083\ 318609983496724304432038245348591*c_0101_6^7 - 481554300921786890910827564132070184476165158783292/930855159473611\ 06203327832241434810679415116197*c_0101_6^6 - 725306007027283921077037907577810920494341067905/132979308496230151\ 71903976034490687239916445171*c_0101_6^5 + 364225973920085495402044823446452058996296937674616/279256547842083\ 318609983496724304432038245348591*c_0101_6^4 + 1812737524776649977942861865541595571024822425974/39893792548869045\ 515711928103472061719749335513*c_0101_6^3 - 8654131327014188603203911156903615032013421580894/93085515947361106\ 203327832241434810679415116197*c_0101_6^2 + 699747502848754563772219288335882464164791532552/279256547842083318\ 609983496724304432038245348591*c_0101_6 + 581650852565492553116626866365564921026586434678/279256547842083318\ 609983496724304432038245348591, c_0101_1 + 16053000969664126691058055199951041540275939883/930855159473\ 61106203327832241434810679415116197*c_0101_6^23 - 772190472314850554663169980002419136747110445406/279256547842083318\ 609983496724304432038245348591*c_0101_6^22 - 814681015044459891212357115972151008393289909378/398937925488690455\ 15711928103472061719749335513*c_0101_6^21 + 480448546426061792224756965094072152941067598218/132979308496230151\ 71903976034490687239916445171*c_0101_6^20 + 18602905384736991682044030751980839456141246432980/9308551594736110\ 6203327832241434810679415116197*c_0101_6^19 + 15198935420282461530788176477558812348179749895411/2792565478420833\ 18609983496724304432038245348591*c_0101_6^18 - 74440429083073369625718809531708406177389822511265/9308551594736110\ 6203327832241434810679415116197*c_0101_6^17 - 214578465524719542428853992324012109746252597343917/279256547842083\ 318609983496724304432038245348591*c_0101_6^16 + 474981094918158843950501947862072712541057510183594/279256547842083\ 318609983496724304432038245348591*c_0101_6^15 + 239590275950327991447222801239810238820982963898852/930855159473611\ 06203327832241434810679415116197*c_0101_6^14 - 553515935789143843439393278171448748729969126530948/279256547842083\ 318609983496724304432038245348591*c_0101_6^13 - 457941148923728257766738526841271201864816584379495/930855159473611\ 06203327832241434810679415116197*c_0101_6^12 + 9829000647401047524709975084364847715080223543345/13297930849623015\ 171903976034490687239916445171*c_0101_6^11 + 1577205956251487438243937330912457732097127216989161/27925654784208\ 3318609983496724304432038245348591*c_0101_6^10 + 87562572510693329305154473148488919152001322368155/9308551594736110\ 6203327832241434810679415116197*c_0101_6^9 - 389795199691164841395412886110148145605721765494591/930855159473611\ 06203327832241434810679415116197*c_0101_6^8 - 428706090369302713799837536719793626379737501734726/279256547842083\ 318609983496724304432038245348591*c_0101_6^7 + 562522719110074851242079379476100630144062876704822/279256547842083\ 318609983496724304432038245348591*c_0101_6^6 + 37548804699664195847787159004934302853555341495112/3989379254886904\ 5515711928103472061719749335513*c_0101_6^5 - 50262196944500628901513607303741150647988864234684/9308551594736110\ 6203327832241434810679415116197*c_0101_6^4 - 3080924358533587332677094127001485450240000457006/13297930849623015\ 171903976034490687239916445171*c_0101_6^3 + 16556132208299780652789918528778235045739202791371/2792565478420833\ 18609983496724304432038245348591*c_0101_6^2 + 2956982221196848947390669867873374357749414675618/27925654784208331\ 8609983496724304432038245348591*c_0101_6 - 659008068449887957739205893345161307058400865018/279256547842083318\ 609983496724304432038245348591, c_0101_2 - 32909853892734268993131116766212964782273856250/279256547842\ 083318609983496724304432038245348591*c_0101_6^23 + 566811369005224650933326361677707937441994401782/279256547842083318\ 609983496724304432038245348591*c_0101_6^22 + 153562720980616903571276367609939452498805303147/132979308496230151\ 71903976034490687239916445171*c_0101_6^21 - 512569903464731651944781878075517604620760462382/132979308496230151\ 71903976034490687239916445171*c_0101_6^20 - 25412210339201195674591381570442395253868693461030/2792565478420833\ 18609983496724304432038245348591*c_0101_6^19 + 7014756819001224210815281254804140932897661136992/93085515947361106\ 203327832241434810679415116197*c_0101_6^18 + 127604561958889011398936603175358654566448867162247/279256547842083\ 318609983496724304432038245348591*c_0101_6^17 - 12161504980474478749835721048392651677894009848133/2792565478420833\ 18609983496724304432038245348591*c_0101_6^16 - 106012635438485446040548465883298306278935574348512/930855159473611\ 06203327832241434810679415116197*c_0101_6^15 - 89049739240733353132507655764662323511818933662792/2792565478420833\ 18609983496724304432038245348591*c_0101_6^14 + 173394924457301172127173452993378220258749695617193/930855159473611\ 06203327832241434810679415116197*c_0101_6^13 + 92612345033819383028202549188438374481726573282724/9308551594736110\ 6203327832241434810679415116197*c_0101_6^12 - 80270205635871830081674094882848327578839978372617/3989379254886904\ 5515711928103472061719749335513*c_0101_6^11 - 123733959382310503078722198308064965582006199345840/930855159473611\ 06203327832241434810679415116197*c_0101_6^10 + 135219683627550175886300227113496270289499462803007/930855159473611\ 06203327832241434810679415116197*c_0101_6^9 + 315192278943141037777733760168056158511466293553416/279256547842083\ 318609983496724304432038245348591*c_0101_6^8 - 220291190129033796933492002470488115666783694279378/279256547842083\ 318609983496724304432038245348591*c_0101_6^7 - 153359184131263001942773013977172067344756097214940/279256547842083\ 318609983496724304432038245348591*c_0101_6^6 + 4385766271468555616868567680427938613687573219735/13297930849623015\ 171903976034490687239916445171*c_0101_6^5 + 8504139692433454579976650270821759000504086393193/93085515947361106\ 203327832241434810679415116197*c_0101_6^4 - 3068249683110479477405105244508292600990562727178/39893792548869045\ 515711928103472061719749335513*c_0101_6^3 + 1975779026923263113446868264801674967934053490095/27925654784208331\ 8609983496724304432038245348591*c_0101_6^2 + 1280022221044946510497882704003798782089017211160/27925654784208331\ 8609983496724304432038245348591*c_0101_6 - 38282045657628239827047607786553194998214092870/9308551594736110620\ 3327832241434810679415116197, c_0101_6^24 - 17*c_0101_6^23 - 102*c_0101_6^22 + 308*c_0101_6^21 + 863*c_0101_6^20 - 512*c_0101_6^19 - 4171*c_0101_6^18 - 478*c_0101_6^17 + 10395*c_0101_6^16 + 5169*c_0101_6^15 - 16590*c_0101_6^14 - 13236*c_0101_6^13 + 17001*c_0101_6^12 + 17578*c_0101_6^11 - 11048*c_0101_6^10 - 14993*c_0101_6^9 + 4831*c_0101_6^8 + 8003*c_0101_6^7 - 1584*c_0101_6^6 - 2120*c_0101_6^5 + 358*c_0101_6^4 + 172*c_0101_6^3 - 36*c_0101_6^2 - 4*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB