Magma V2.19-8 Tue Aug 20 2013 16:17:07 on localhost [Seed = 812756195] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1361 geometric_solution 5.22569955 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 3201 0 0 0 0 0 -1 0 1 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 -2 0 0 0 0 1 0 0 -1 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.340615413262 0.226944089450 0 0 2 2 0132 3201 3201 0132 0 0 0 0 0 -1 0 1 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 2 0 -2 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.510767370032 0.178030803968 1 3 1 4 2310 0132 0132 0132 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 0 0 0 0 -1 2 -1 -1 0 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.884080488272 0.376503560634 5 2 6 4 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.683454722141 0.829795964929 3 6 2 5 3012 3201 0132 0132 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 0 0 0 0 0 0 0 1 -1 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.683454722141 0.829795964929 3 5 4 5 0132 1302 0132 2031 0 0 0 0 0 1 -1 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 -1 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.810050370094 1.212438284520 6 6 4 3 1230 3012 2310 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 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.844140612769 1.306989391853 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], '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_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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0011_6'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_2'], 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_6']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_2, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 115520874959939642008236215642222033769815583313/123570697555744605\ 50310303752531364901397504281*c_0101_6^23 - 430713834284398737898371165552280776060690648908/123570697555744605\ 50310303752531364901397504281*c_0101_6^22 + 4582378078346654993346907655111068100579583081929/12357069755574460\ 550310303752531364901397504281*c_0101_6^21 + 12835332229549365106710612895177805399597472928145/1235706975557446\ 0550310303752531364901397504281*c_0101_6^20 - 52325205365472550625381977071547586737964605482941/1235706975557446\ 0550310303752531364901397504281*c_0101_6^19 - 170348534857425843385339952760679077806692044727666/123570697555744\ 60550310303752531364901397504281*c_0101_6^18 + 236080397779533622542763713097643690490315030809803/123570697555744\ 60550310303752531364901397504281*c_0101_6^17 + 1121837653558884459385742028150350205854972868727371/12357069755574\ 460550310303752531364901397504281*c_0101_6^16 - 402352856549334427863406236114676306987886541822988/123570697555744\ 60550310303752531364901397504281*c_0101_6^15 - 4391309705407497119405943123794818421918780831511019/12357069755574\ 460550310303752531364901397504281*c_0101_6^14 - 915029757985953594008853619155254218568193261262486/123570697555744\ 60550310303752531364901397504281*c_0101_6^13 + 9953364794822239537536356852182101222288235927018758/12357069755574\ 460550310303752531364901397504281*c_0101_6^12 + 5205692815006444865381494501734860920695408586551692/12357069755574\ 460550310303752531364901397504281*c_0101_6^11 - 12262737020533812071624725104257876478956262293798112/1235706975557\ 4460550310303752531364901397504281*c_0101_6^10 - 7527792870881097241426715900076515791536232103413926/12357069755574\ 460550310303752531364901397504281*c_0101_6^9 + 9076377879669217597394706219229492865264965619755128/12357069755574\ 460550310303752531364901397504281*c_0101_6^8 + 4631162696851154021310848256659475064075709433051899/12357069755574\ 460550310303752531364901397504281*c_0101_6^7 - 4488692197370172635773473521679745722164324377103858/12357069755574\ 460550310303752531364901397504281*c_0101_6^6 - 1211472188967557525478485019426934850238260829455866/12357069755574\ 460550310303752531364901397504281*c_0101_6^5 + 1371381786448746052971892490271040988526345217203669/12357069755574\ 460550310303752531364901397504281*c_0101_6^4 + 47974944464555581761206347058674573618330847228784/1235706975557446\ 0550310303752531364901397504281*c_0101_6^3 - 198866173030793921632418710658131901634163853923121/123570697555744\ 60550310303752531364901397504281*c_0101_6^2 + 18989207422746726702892908006715745553660774892348/1235706975557446\ 0550310303752531364901397504281*c_0101_6 + 7612341439516837286953969882139248525924461551279/12357069755574460\ 550310303752531364901397504281, c_0011_0 - 1, c_0011_2 - 1026771391948154375823599556057492550043179729/1235706975557\ 4460550310303752531364901397504281*c_0101_6^23 - 3682213430203973631472452344404643630997732262/12357069755574460550\ 310303752531364901397504281*c_0101_6^22 + 40926529931428380735608513296965255826290507825/1235706975557446055\ 0310303752531364901397504281*c_0101_6^21 + 107068938372327102137827354886010428693300259217/123570697555744605\ 50310303752531364901397504281*c_0101_6^20 - 467410261651600959055255674757706620335433193013/123570697555744605\ 50310303752531364901397504281*c_0101_6^19 - 1412773372012221507258890630702678308877195116714/12357069755574460\ 550310303752531364901397504281*c_0101_6^18 + 2154328637458847119077835964733146687961816546524/12357069755574460\ 550310303752531364901397504281*c_0101_6^17 + 9207540155014997116333216138761617041316374636642/12357069755574460\ 550310303752531364901397504281*c_0101_6^16 - 4246936638638406415572455715201541713699748882660/12357069755574460\ 550310303752531364901397504281*c_0101_6^15 - 35481037421727114129161629618235893694606634236967/1235706975557446\ 0550310303752531364901397504281*c_0101_6^14 - 4153093745546851271704008615353667495720745399718/12357069755574460\ 550310303752531364901397504281*c_0101_6^13 + 77877437934934738383732326926434951771844557866270/1235706975557446\ 0550310303752531364901397504281*c_0101_6^12 + 32834844788972520076173992744121595361967648350915/1235706975557446\ 0550310303752531364901397504281*c_0101_6^11 - 89752422584517166534847695262718666216969378972514/1235706975557446\ 0550310303752531364901397504281*c_0101_6^10 - 41553438556193129428229824394181707116225023999287/1235706975557446\ 0550310303752531364901397504281*c_0101_6^9 + 60442617624056089393571628691641775381763584630435/1235706975557446\ 0550310303752531364901397504281*c_0101_6^8 + 17057183049643711569592057136685151110346521666258/1235706975557446\ 0550310303752531364901397504281*c_0101_6^7 - 25907562079141341038355926712810983654938427905246/1235706975557446\ 0550310303752531364901397504281*c_0101_6^6 - 113012418313453413876255022913894552502120259174/123570697555744605\ 50310303752531364901397504281*c_0101_6^5 + 5426307889973669812434539721720033595530734607360/12357069755574460\ 550310303752531364901397504281*c_0101_6^4 - 1186587750601277312421224802097430243968439864818/12357069755574460\ 550310303752531364901397504281*c_0101_6^3 - 177301977371452933208250658048175698584736860114/123570697555744605\ 50310303752531364901397504281*c_0101_6^2 + 37333585691629216011908580433027558775651772099/1235706975557446055\ 0310303752531364901397504281*c_0101_6 + 8939031250136840437512878588608294328306256011/12357069755574460550\ 310303752531364901397504281, c_0011_4 + 2298754592074407865844161537483647428747760766/1235706975557\ 4460550310303752531364901397504281*c_0101_6^23 + 8279127067836514418660448606181191888714344549/12357069755574460550\ 310303752531364901397504281*c_0101_6^22 - 91768510437341181830284843261756583701929050659/1235706975557446055\ 0310303752531364901397504281*c_0101_6^21 - 241995007591991191054302329219964620111448346088/123570697555744605\ 50310303752531364901397504281*c_0101_6^20 + 1053543152150846075749520917660099533790463203751/12357069755574460\ 550310303752531364901397504281*c_0101_6^19 + 3203147188493369373732126238476713384240769677416/12357069755574460\ 550310303752531364901397504281*c_0101_6^18 - 4896744626453159752452361895190371927697932948314/12357069755574460\ 550310303752531364901397504281*c_0101_6^17 - 21005881115394907763703748564326980490366245432722/1235706975557446\ 0550310303752531364901397504281*c_0101_6^16 + 9767231398408934397833275493134901234785156485095/12357069755574460\ 550310303752531364901397504281*c_0101_6^15 + 81626028385278354331210590638902465652317146993434/1235706975557446\ 0550310303752531364901397504281*c_0101_6^14 + 9210848930503013571769015665677073435782065738142/12357069755574460\ 550310303752531364901397504281*c_0101_6^13 - 181865020757910743943657241705102270991865141809122/123570697555744\ 60550310303752531364901397504281*c_0101_6^12 - 76113193434533805633520224735687550753082290430317/1235706975557446\ 0550310303752531364901397504281*c_0101_6^11 + 215498972349459845456347939044141973007024609200309/123570697555744\ 60550310303752531364901397504281*c_0101_6^10 + 101171043129537065637252209740371927181181218824097/123570697555744\ 60550310303752531364901397504281*c_0101_6^9 - 149194988417202038993133963930098436115440635456842/123570697555744\ 60550310303752531364901397504281*c_0101_6^8 - 45657944877685927958458589064273941427292348483047/1235706975557446\ 0550310303752531364901397504281*c_0101_6^7 + 65166090196411927710275231361090659962409033315369/1235706975557446\ 0550310303752531364901397504281*c_0101_6^6 + 2128356178208371426420255394836750816526001668925/12357069755574460\ 550310303752531364901397504281*c_0101_6^5 - 14517736930623191496299326811759887785551198948403/1235706975557446\ 0550310303752531364901397504281*c_0101_6^4 + 2751930495355762479621417122700634225286010362425/12357069755574460\ 550310303752531364901397504281*c_0101_6^3 + 676047610192204225384007270871465278392389630664/123570697555744605\ 50310303752531364901397504281*c_0101_6^2 - 142347073800730111921962037093333917297250211084/123570697555744605\ 50310303752531364901397504281*c_0101_6 - 10908071221862347495172631035997107571074226966/1235706975557446055\ 0310303752531364901397504281, c_0011_6 + 1156940568167966242295582863065021872952631605/1235706975557\ 4460550310303752531364901397504281*c_0101_6^23 + 4366356007748696448284002331638626616756793436/12357069755574460550\ 310303752531364901397504281*c_0101_6^22 - 45503700376171062823493728689790674611703827555/1235706975557446055\ 0310303752531364901397504281*c_0101_6^21 - 129858185289787296913523373133565754769599387209/123570697555744605\ 50310303752531364901397504281*c_0101_6^20 + 510759019923908894449027620359339297523878728821/123570697555744605\ 50310303752531364901397504281*c_0101_6^19 + 1706022264218749982975376442261299957597612908578/12357069755574460\ 550310303752531364901397504281*c_0101_6^18 - 2204953315271189093058940928476827988362492751260/12357069755574460\ 550310303752531364901397504281*c_0101_6^17 - 11031396215095069629383981341909661470317383232244/1235706975557446\ 0550310303752531364901397504281*c_0101_6^16 + 3196165235770998022763164518922055291547330066804/12357069755574460\ 550310303752531364901397504281*c_0101_6^15 + 42170339379543826154916646720113029918594750180689/1235706975557446\ 0550310303752531364901397504281*c_0101_6^14 + 11384007171413548447414601648311127909809986290484/1235706975557446\ 0550310303752531364901397504281*c_0101_6^13 - 91716753386265276743019760319389966830514335063618/1235706975557446\ 0550310303752531364901397504281*c_0101_6^12 - 53513345538013450295785290711182034360327520691415/1235706975557446\ 0550310303752531364901397504281*c_0101_6^11 + 104138836133662200265728002098658537310881691028002/123570697555744\ 60550310303752531364901397504281*c_0101_6^10 + 69243440079573956348921330648805903510781537648112/1235706975557446\ 0550310303752531364901397504281*c_0101_6^9 - 69058497277156758561988975082796422662434348318956/1235706975557446\ 0550310303752531364901397504281*c_0101_6^8 - 35810330948457997181298974918309026989810410193773/1235706975557446\ 0550310303752531364901397504281*c_0101_6^7 + 30468698838611629362900142018443750031717277147368/1235706975557446\ 0550310303752531364901397504281*c_0101_6^6 + 6466013755564047446895309883548915067375857682536/12357069755574460\ 550310303752531364901397504281*c_0101_6^5 - 7545228739095858385870802061143776690892699811480/12357069755574460\ 550310303752531364901397504281*c_0101_6^4 + 359776407395204027866719250747356988485415810668/123570697555744605\ 50310303752531364901397504281*c_0101_6^3 + 589393306458076831383724839975548064161686080791/123570697555744605\ 50310303752531364901397504281*c_0101_6^2 - 57860950731540080270553991437023650493565116448/1235706975557446055\ 0310303752531364901397504281*c_0101_6 - 7667808554170405271896376964310696737420993091/12357069755574460550\ 310303752531364901397504281, c_0101_0 - 1354957825943883505066522856292326865263432564/1235706975557\ 4460550310303752531364901397504281*c_0101_6^23 - 4614483462031012791058076149425006390745425462/12357069755574460550\ 310303752531364901397504281*c_0101_6^22 + 54962891520450070865874274863295534915228558639/1235706975557446055\ 0310303752531364901397504281*c_0101_6^21 + 131749848875567216763681386791255686638506752736/123570697555744605\ 50310303752531364901397504281*c_0101_6^20 - 645591301572607260420406710553087357117886543902/123570697555744605\ 50310303752531364901397504281*c_0101_6^19 - 1758206480151694078701283262570069986785950613072/12357069755574460\ 550310303752531364901397504281*c_0101_6^18 + 3219162251147776227924652911048701465773504595231/12357069755574460\ 550310303752531364901397504281*c_0101_6^17 + 11709504687583534330057001242944363226034405909624/1235706975557446\ 0550310303752531364901397504281*c_0101_6^16 - 8020483852431905884065896544347932125399722838299/12357069755574460\ 550310303752531364901397504281*c_0101_6^15 - 46310792380939754841547142629673430506369920384235/1235706975557446\ 0550310303752531364901397504281*c_0101_6^14 + 3707605883786738079103401354105389933359281354257/12357069755574460\ 550310303752531364901397504281*c_0101_6^13 + 105784161157877259151547001553112610686031867743503/123570697555744\ 60550310303752531364901397504281*c_0101_6^12 + 23418212055034466734595039412943679295654875801241/1235706975557446\ 0550310303752531364901397504281*c_0101_6^11 - 130884286838925146494203980862612277847548638103669/123570697555744\ 60550310303752531364901397504281*c_0101_6^10 - 32147489578983297084423321149446726867583922364449/1235706975557446\ 0550310303752531364901397504281*c_0101_6^9 + 95107812715732477921402588255918656352414264371051/1235706975557446\ 0550310303752531364901397504281*c_0101_6^8 + 6879264074535194672581874638320033531510906884279/12357069755574460\ 550310303752531364901397504281*c_0101_6^7 - 41540379444903492721277576439898336408653845624212/1235706975557446\ 0550310303752531364901397504281*c_0101_6^6 + 7238416829263173192031759373907522163150472567942/12357069755574460\ 550310303752531364901397504281*c_0101_6^5 + 8047344994276438999044575667979213998997224739482/12357069755574460\ 550310303752531364901397504281*c_0101_6^4 - 3410011779410784780164424746447947129363076157208/12357069755574460\ 550310303752531364901397504281*c_0101_6^3 + 64283924213120940087144804307793197552268273481/1235706975557446055\ 0310303752531364901397504281*c_0101_6^2 + 148999998013040251188052033056439043282219631664/123570697555744605\ 50310303752531364901397504281*c_0101_6 - 6674955870187641714882308507746667917618346279/12357069755574460550\ 310303752531364901397504281, c_0101_1 - 75281635115180489045292776503731251996352812/123570697555744\ 60550310303752531364901397504281*c_0101_6^23 - 460961550845585095632870691198159195003474352/123570697555744605503\ 10303752531364901397504281*c_0101_6^22 + 2315834069868596786768596500477948230689724112/12357069755574460550\ 310303752531364901397504281*c_0101_6^21 + 15454217859022916744480631151610542438540672220/1235706975557446055\ 0310303752531364901397504281*c_0101_6^20 - 14375897485707298073098704161157619879826611407/1235706975557446055\ 0310303752531364901397504281*c_0101_6^19 - 190150984865654441502096240289535312879456544700/123570697555744605\ 50310303752531364901397504281*c_0101_6^18 - 104426590234191898086611470235013413888644087321/123570697555744605\ 50310303752531364901397504281*c_0101_6^17 + 1071238066221699504607440443327084276071477086157/12357069755574460\ 550310303752531364901397504281*c_0101_6^16 + 1395576778875918565960054141252145822676751071507/12357069755574460\ 550310303752531364901397504281*c_0101_6^15 - 3364113933018326357254163372699174901686357516182/12357069755574460\ 550310303752531364901397504281*c_0101_6^14 - 6862672078105660180698255692399152807586492109924/12357069755574460\ 550310303752531364901397504281*c_0101_6^13 + 4836124747890030302489408212214532732163874049551/12357069755574460\ 550310303752531364901397504281*c_0101_6^12 + 16721169436340496097865034796677427731429003341535/1235706975557446\ 0550310303752531364901397504281*c_0101_6^11 - 240155390722578660131695120309178845458861171639/123570697555744605\ 50310303752531364901397504281*c_0101_6^10 - 19348875787084069832009151380359953769607015468218/1235706975557446\ 0550310303752531364901397504281*c_0101_6^9 - 3625693096049755346334156343546509224012394278186/12357069755574460\ 550310303752531364901397504281*c_0101_6^8 + 12051718529020493467952319446548280874084933933521/1235706975557446\ 0550310303752531364901397504281*c_0101_6^7 + 1603812071613659552555416158334937583659146153805/12357069755574460\ 550310303752531364901397504281*c_0101_6^6 - 4612247918861115966378202754582513666039318705903/12357069755574460\ 550310303752531364901397504281*c_0101_6^5 + 154790840530145545782611461041683215231897027197/123570697555744605\ 50310303752531364901397504281*c_0101_6^4 + 914942375712865395000722163554677250936554903021/123570697555744605\ 50310303752531364901397504281*c_0101_6^3 - 166521036952434271632803223709080469638542227245/123570697555744605\ 50310303752531364901397504281*c_0101_6^2 - 58877164928759106669822014127107092237718487720/1235706975557446055\ 0310303752531364901397504281*c_0101_6 + 5677512073813415165363914207181503577474774893/12357069755574460550\ 310303752531364901397504281, c_0101_6^24 + 3*c_0101_6^23 - 42*c_0101_6^22 - 81*c_0101_6^21 + 518*c_0101_6^20 + 1111*c_0101_6^19 - 2925*c_0101_6^18 - 7765*c_0101_6^17 + 9513*c_0101_6^16 + 32330*c_0101_6^15 - 16650*c_0101_6^14 - 79040*c_0101_6^13 + 13465*c_0101_6^12 + 108040*c_0101_6^11 - 12124*c_0101_6^10 - 84731*c_0101_6^9 + 19296*c_0101_6^8 + 36039*c_0101_6^7 - 15676*c_0101_6^6 - 5392*c_0101_6^5 + 4548*c_0101_6^4 - 634*c_0101_6^3 - 120*c_0101_6^2 + 22*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB