Magma V2.19-8 Tue Aug 20 2013 16:16:44 on localhost [Seed = 3667609110] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1014 geometric_solution 4.89737912 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.252175114515 0.131905105258 0 2 2 0 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.319695035466 0.373228700142 3 1 1 4 0132 0132 1023 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.457575984526 0.624174787618 2 4 4 5 0132 2310 3201 0132 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 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.186587168687 0.724625164158 3 5 2 3 2310 0132 0132 3201 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 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.186587168687 0.724625164158 6 4 3 6 0132 0132 0132 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 -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.489928924828 0.729864138136 5 6 6 5 0132 3201 2310 1023 0 0 0 0 0 -1 1 0 0 0 1 -1 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 -1 1 0 0 0 1 -1 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.433705203165 0.505793619639 ==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' : negation(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' : negation(d['1']), 's_2_4' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], '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_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], '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' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 2 Groebner basis: [ t - 8*c_0101_6, c_0011_0 - 1, c_0011_4 + 1, c_0101_0 + c_0101_6, c_0101_1 + c_0101_6, c_0101_2 - c_0101_6, c_0101_3 + c_0101_6, c_0101_6^2 - 1/2 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t + 1277210347170404442009408416771211664871318902970054674730248177/41\ 273417807973299391353124938723619942581348554908204626368060*c_0101\ _6^37 + 37069172902113932747055822482180751730923858323339561110687\ 94963/4127341780797329939135312493872361994258134855490820462636806\ *c_0101_6^35 - 6426400127369210144890795569950043055661152786850355\ 8435358771007/41273417807973299391353124938723619942581348554908204\ 626368060*c_0101_6^33 - 1467567056622259640022974261685732621665539\ 911923077859352832709308/103183544519933248478382812346809049856453\ 37138727051156592015*c_0101_6^31 + 8523814222181802730646342034958539700832571669942106772624709070775\ /4127341780797329939135312493872361994258134855490820462636806*c_01\ 01_6^29 - 123520770160936736171061945530687780108629227931413014297\ 799221844623/825468356159465987827062498774472398851626971098164092\ 5273612*c_0101_6^27 + 272588117035730827020080807514784115307811637\ 882594071608025058147109/412734178079732993913531249387236199425813\ 4855490820462636806*c_0101_6^25 - 795527470078717747239878435838054\ 9347491530712944392711481176381086087/41273417807973299391353124938\ 723619942581348554908204626368060*c_0101_6^23 + 4065771383349275682087964280634355396616243681198757833218757094172\ 926/10318354451993324847838281234680904985645337138727051156592015*\ c_0101_6^21 - 24171128390415853962046140208376943711792260920873388\ 259520731347946631/412734178079732993913531249387236199425813485549\ 08204626368060*c_0101_6^19 + 52330138664467544156862765303722772317\ 26652632583210044009794327876251/8254683561594659878270624987744723\ 988516269710981640925273612*c_0101_6^17 - 9966998323575860709093810065307356192101906932108693134679495724774\ 059/20636708903986649695676562469361809971290674277454102313184030*\ c_0101_6^15 + 10161530179002339880633812692507944845213885782919179\ 187865422122611267/412734178079732993913531249387236199425813485549\ 08204626368060*c_0101_6^13 - 33257501452221807497912483400104557264\ 12552166876209320313000801201947/4127341780797329939135312493872361\ 9942581348554908204626368060*c_0101_6^11 + 3475526469049702674132727603390909414729926117554843469685564997719\ 61/20636708903986649695676562469361809971290674277454102313184030*c\ _0101_6^9 - 1014866269116669783125183063832439612354909352672901609\ 12148342092031/4127341780797329939135312493872361994258134855490820\ 4626368060*c_0101_6^7 + 6853195634638430741254598779724278303891058\ 095052643405389937661279/206367089039866496956765624693618099712906\ 74277454102313184030*c_0101_6^5 - 814581525495769872539186632599474\ 262002332556587688529814513952637/206367089039866496956765624693618\ 09971290674277454102313184030*c_0101_6^3 + 72163776604237386891847140447730239882004301463514853983518623507/4\ 1273417807973299391353124938723619942581348554908204626368060*c_010\ 1_6, c_0011_0 - 1, c_0011_4 - 6439271352057501912988452808032953767141592457268639818706/2\ 063670890398664969567656246936180997129067427745410231318403*c_0101\ _6^36 - 17747148473915614356653435901771080306028033360458481775101\ 3/2063670890398664969567656246936180997129067427745410231318403*c_0\ 101_6^34 + 60107965712449156957346020450330360078063515147475527697\ 8917/2063670890398664969567656246936180997129067427745410231318403*\ c_0101_6^32 + 29230377423694939738590975532276176445548906197825378\ 531303236/206367089039866496956765624693618099712906742774541023131\ 8403*c_0101_6^30 - 473200192092348496996226329006135882109328330227\ 173257703915196/206367089039866496956765624693618099712906742774541\ 0231318403*c_0101_6^28 + 372526364487439131550509824563098091024342\ 1225541445241789826959/20636708903986649695676562469361809971290674\ 27745410231318403*c_0101_6^26 - 18053334143025654854117725609816614\ 311543330205618484119097719150/206367089039866496956765624693618099\ 7129067427745410231318403*c_0101_6^24 + 58465498974723139070808990358599203195358976358369765065579103536/2\ 063670890398664969567656246936180997129067427745410231318403*c_0101\ _6^22 - 13310513831509887155874092060305278305688330720520554648329\ 2012120/20636708903986649695676562469361809971290674277454102313184\ 03*c_0101_6^20 + 22031990079882395933448686922084353225056529734573\ 1949985417053521/20636708903986649695676562469361809971290674277454\ 10231318403*c_0101_6^18 - 26775651410420323322997904272179171402962\ 5140410651252734696373171/20636708903986649695676562469361809971290\ 67427745410231318403*c_0101_6^16 + 233164206346089227533443024576622573706516744919492562676585428227/\ 2063670890398664969567656246936180997129067427745410231318403*c_010\ 1_6^14 - 1368739778817364573567190628712507590290088643793805385445\ 50131053/2063670890398664969567656246936180997129067427745410231318\ 403*c_0101_6^12 + 4933781560437550724621330798261063173604384852320\ 9858440542189856/20636708903986649695676562469361809971290674277454\ 10231318403*c_0101_6^10 - 97814101232011866297173075017669116549828\ 61661208535724861624775/2063670890398664969567656246936180997129067\ 427745410231318403*c_0101_6^8 + 10887809008200180879064327739163459\ 41443252698930022744232267305/2063670890398664969567656246936180997\ 129067427745410231318403*c_0101_6^6 - 127922919119670038798444154593772813259794381212937917022553399/206\ 3670890398664969567656246936180997129067427745410231318403*c_0101_6\ ^4 + 17515487428128819713112701257573291236548462852887958445464131\ /2063670890398664969567656246936180997129067427745410231318403*c_01\ 01_6^2 + 2825165762192421178889434431575416105565619001758343325820\ 33/2063670890398664969567656246936180997129067427745410231318403, c_0101_0 - 654880881345669699123202902017543711165457294288232514198512\ /2063670890398664969567656246936180997129067427745410231318403*c_01\ 01_6^37 - 190627729043101364573088769053059067113658771647898314815\ 79803/2063670890398664969567656246936180997129067427745410231318403\ *c_0101_6^35 + 3131659198524409372119984109308824222226696032912688\ 1590379019/20636708903986649695676562469361809971290674277454102313\ 18403*c_0101_6^33 + 30123193237854068329926822281261121484307814855\ 24820522343817562/2063670890398664969567656246936180997129067427745\ 410231318403*c_0101_6^31 - 4344818445061094898877171315591632751263\ 7767499020148372080595376/20636708903986649695676562469361809971290\ 67427745410231318403*c_0101_6^29 + 313014962833133335299627946293788924194626780091093204605392367510/\ 2063670890398664969567656246936180997129067427745410231318403*c_010\ 1_6^27 - 1371642253353999318678203800926809859316863030932744011116\ 284055220/206367089039866496956765624693618099712906742774541023131\ 8403*c_0101_6^25 + 396664397064839476153796514800793475633440735085\ 8285335008363184791/20636708903986649695676562469361809971290674277\ 45410231318403*c_0101_6^23 - 80200740387294428578192812576982500425\ 18821583779781888859642747268/2063670890398664969567656246936180997\ 129067427745410231318403*c_0101_6^21 + 1176422928408313534257552994690040423226995143591621144277000669720\ 1/2063670890398664969567656246936180997129067427745410231318403*c_0\ 101_6^19 - 12518635386400069080182970993364702342684076861541959855\ 052553194877/206367089039866496956765624693618099712906742774541023\ 1318403*c_0101_6^17 + 930141123133459848070602434145790291359876465\ 1061677255682278641901/20636708903986649695676562469361809971290674\ 27745410231318403*c_0101_6^15 - 45646616826255697012498226974020855\ 21747973422515466147697213382401/2063670890398664969567656246936180\ 997129067427745410231318403*c_0101_6^13 + 1415434935423230172504381066591798968844430110972435408028964035170\ /2063670890398664969567656246936180997129067427745410231318403*c_01\ 01_6^11 - 277423552203685333395551619735182133225103991242394470168\ 176503060/206367089039866496956765624693618099712906742774541023131\ 8403*c_0101_6^9 + 3862810741117723861156146788121831221585036460295\ 7286674376855082/20636708903986649695676562469361809971290674277454\ 10231318403*c_0101_6^7 - 532031675614506931905133652370173256207379\ 6998885619937905206333/20636708903986649695676562469361809971290674\ 27745410231318403*c_0101_6^5 + 602414966019088334940279674345451298\ 345716450302199454651621167/206367089039866496956765624693618099712\ 9067427745410231318403*c_0101_6^3 - 18056360508245955573260190586143391183401487495519657421202752/2063\ 670890398664969567656246936180997129067427745410231318403*c_0101_6, c_0101_1 - 275629906442772849237337681592205817089850037003398690254349\ /2063670890398664969567656246936180997129067427745410231318403*c_01\ 01_6^37 - 797659800517888197731791028757794801643068933642695838285\ 4445/2063670890398664969567656246936180997129067427745410231318403*\ c_0101_6^35 + 14547995293682970014341916527548607475097521736765406\ 003974305/206367089039866496956765624693618099712906742774541023131\ 8403*c_0101_6^33 + 126588850955806051363450611653479562072859619834\ 7454151665704220/20636708903986649695676562469361809971290674277454\ 10231318403*c_0101_6^31 - 18501648359682723003377879406468859507372\ 845112028137219199667025/206367089039866496956765624693618099712906\ 7427745410231318403*c_0101_6^29 + 134794845403873881947366369891478\ 347870432482299667561714857396577/206367089039866496956765624693618\ 0997129067427745410231318403*c_0101_6^27 - 598988516788687505451512467673075323488883338198731159812123230325/\ 2063670890398664969567656246936180997129067427745410231318403*c_010\ 1_6^25 + 1762886948295359182909161605985363951795258995588376681314\ 553796126/206367089039866496956765624693618099712906742774541023131\ 8403*c_0101_6^23 - 363964704313828925281286385291150613211699447288\ 5520864019293995526/20636708903986649695676562469361809971290674277\ 45410231318403*c_0101_6^21 + 54711282301455382310881374359704817744\ 99239993750989827901174639517/2063670890398664969567656246936180997\ 129067427745410231318403*c_0101_6^19 - 6006832396959865829406760061565654518985206790630397129376032235418\ /2063670890398664969567656246936180997129067427745410231318403*c_01\ 01_6^17 + 466675755152833961080756882038872467963270773783155431497\ 0703655501/20636708903986649695676562469361809971290674277454102313\ 18403*c_0101_6^15 - 24443636843368145411388176861268932377163442325\ 53216389798297783462/2063670890398664969567656246936180997129067427\ 745410231318403*c_0101_6^13 + 8271110420283957034502157910462712526\ 21522427258104041052564473106/2063670890398664969567656246936180997\ 129067427745410231318403*c_0101_6^11 - 178356864389665146849741014056582586773806635206944769789525588374/\ 2063670890398664969567656246936180997129067427745410231318403*c_010\ 1_6^9 + 26479058822603856517053863720449022123496893259834475762873\ 117496/206367089039866496956765624693618099712906742774541023131840\ 3*c_0101_6^7 - 3600970163727069772620804258887667645327872672089474\ 906459235907/206367089039866496956765624693618099712906742774541023\ 1318403*c_0101_6^5 + 4670574945957555498805104019644742311942217130\ 47374067403379383/2063670890398664969567656246936180997129067427745\ 410231318403*c_0101_6^3 - 24747678377014827881821578699283426946590\ 894921829847627098842/206367089039866496956765624693618099712906742\ 7745410231318403*c_0101_6, c_0101_2 + 53516604016232172577518767608875039184587629407064683041589/\ 2063670890398664969567656246936180997129067427745410231318403*c_010\ 1_6^37 + 1567043103264876866207318480583966207984042899735598197446\ 115/2063670890398664969567656246936180997129067427745410231318403*c\ _0101_6^35 - 228839098747432102286597834054224530786894847747467314\ 1174572/20636708903986649695676562469361809971290674277454102313184\ 03*c_0101_6^33 - 24655427872841239499260840782098737551747117076225\ 3820649135986/20636708903986649695676562469361809971290674277454102\ 31318403*c_0101_6^31 + 35080017372781901838164337643147635617091992\ 61206895777558454702/2063670890398664969567656246936180997129067427\ 745410231318403*c_0101_6^29 - 2497464800013059197417645227446617718\ 9690161768830747972653392464/20636708903986649695676562469361809971\ 29067427745410231318403*c_0101_6^27 + 107788418972857844703302001422743513667134946948013757580189903464/\ 2063670890398664969567656246936180997129067427745410231318403*c_010\ 1_6^25 - 3056033730717020391975450344103119213232932933560248414787\ 67671801/2063670890398664969567656246936180997129067427745410231318\ 403*c_0101_6^23 + 6028284553266304925520514997131663136030469289647\ 80293610872220475/2063670890398664969567656246936180997129067427745\ 410231318403*c_0101_6^21 - 8576161546582627340338427624852192031457\ 55226844611081941822678024/2063670890398664969567656246936180997129\ 067427745410231318403*c_0101_6^19 + 875122122006504599259710914035780287581874151600807715193059026302/\ 2063670890398664969567656246936180997129067427745410231318403*c_010\ 1_6^17 - 6085245102038976731148232800055100985856718784649060853867\ 26941026/2063670890398664969567656246936180997129067427745410231318\ 403*c_0101_6^15 + 2664852472104464349499796824603967877046162000343\ 44198772977294807/2063670890398664969567656246936180997129067427745\ 410231318403*c_0101_6^13 - 6764715546512381066395109306564753355702\ 3643107475045350581327340/20636708903986649695676562469361809971290\ 67427745410231318403*c_0101_6^11 + 9399435311204415825096326455116049851347369586608718920713831427/20\ 63670890398664969567656246936180997129067427745410231318403*c_0101_\ 6^9 - 7754970027478566352133140092675372364952068131825270460978194\ 36/2063670890398664969567656246936180997129067427745410231318403*c_\ 0101_6^7 + 96220517917218126710006084573402848686101265999197718993\ 273086/206367089039866496956765624693618099712906742774541023131840\ 3*c_0101_6^5 + 2505339438442974226455038963156026139365520923054864\ 458255816/206367089039866496956765624693618099712906742774541023131\ 8403*c_0101_6^3 - 6609640282732844360407880707863975251813665512563\ 579189578979/206367089039866496956765624693618099712906742774541023\ 1318403*c_0101_6, c_0101_3 + 97739616719794572358207231856058171383796347309386984218445/\ 2063670890398664969567656246936180997129067427745410231318403*c_010\ 1_6^37 + 2865462906938328948623442091995877021788639686876945811770\ 240/2063670890398664969567656246936180997129067427745410231318403*c\ _0101_6^35 - 407864570037652439052988008198004832531344831472709833\ 0265270/20636708903986649695676562469361809971290674277454102313184\ 03*c_0101_6^33 - 45049983418510521292135321796597817888535970902655\ 3395197349161/20636708903986649695676562469361809971290674277454102\ 31318403*c_0101_6^31 + 63907125330401600919378844285777846076820499\ 37528088301456421520/2063670890398664969567656246936180997129067427\ 745410231318403*c_0101_6^29 - 4537350339462514297106954374671220444\ 5912161357637963659835476979/20636708903986649695676562469361809971\ 29067427745410231318403*c_0101_6^27 + 195099290335155500072952785476984316740695640975361130959690938941/\ 2063670890398664969567656246936180997129067427745410231318403*c_010\ 1_6^25 - 5502196608759706643524937932169269956535496432739788343855\ 44947637/2063670890398664969567656246936180997129067427745410231318\ 403*c_0101_6^23 + 1077354910925790196522339017587311493201370822805\ 383803066571796780/206367089039866496956765624693618099712906742774\ 5410231318403*c_0101_6^21 - 151686484474460215954043663883403564820\ 9880277130802238074332440237/20636708903986649695676562469361809971\ 29067427745410231318403*c_0101_6^19 + 1522844317587316223152906513158437898763647175683186820114429931731\ /2063670890398664969567656246936180997129067427745410231318403*c_01\ 01_6^17 - 102701240179212540444293154060131987050372157153756914773\ 1468869785/20636708903986649695676562469361809971290674277454102313\ 18403*c_0101_6^15 + 41950271286384610724808019389916425630057000462\ 0250427425333152438/20636708903986649695676562469361809971290674277\ 45410231318403*c_0101_6^13 - 87044068630519959397109972169150677442\ 101474066872054151495729050/206367089039866496956765624693618099712\ 9067427745410231318403*c_0101_6^11 + 4151048301047889287009819589455015393975877687666974353381281773/20\ 63670890398664969567656246936180997129067427745410231318403*c_0101_\ 6^9 + 1480926546738129935120920182636951448726091612154877228232669\ 152/2063670890398664969567656246936180997129067427745410231318403*c\ _0101_6^7 - 2333585626391335740119098782501894823322007271317243037\ 95071470/2063670890398664969567656246936180997129067427745410231318\ 403*c_0101_6^5 + 57171806273486692677838382847970187817577819693298\ 243260796763/206367089039866496956765624693618099712906742774541023\ 1318403*c_0101_6^3 - 1303044787351206909847532145539985067027219663\ 5927540230820821/20636708903986649695676562469361809971290674277454\ 10231318403*c_0101_6, c_0101_6^38 + 29*c_0101_6^36 - 51*c_0101_6^34 - 4595*c_0101_6^32 + 66846*c_0101_6^30 - 485125*c_0101_6^28 + 2145585*c_0101_6^26 - 6278551*c_0101_6^24 + 12878493*c_0101_6^22 - 19220615*c_0101_6^20 + 20923498*c_0101_6^18 - 16078059*c_0101_6^16 + 8311445*c_0101_6^14 - 2782762*c_0101_6^12 + 601767*c_0101_6^10 - 91269*c_0101_6^8 + 12437*c_0101_6^6 - 1506*c_0101_6^4 + 83*c_0101_6^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB