Magma V2.19-8 Tue Aug 20 2013 16:16:13 on localhost [Seed = 2581071192] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0482 geometric_solution 4.50556467 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.994027740497 0.168952485958 0 2 2 0 3201 0132 1023 0132 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 1 0 -1 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 1.852955745198 0.462332657380 3 1 1 3 0132 0132 1023 3201 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 0 0 0 0 0 0 0 0 -1 0 1 0 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.155749330833 0.280389745279 2 2 5 4 0132 2310 0132 0132 0 0 0 0 0 0 0 0 -1 0 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 1 -1 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.022427367673 1.331617624358 6 5 3 5 0132 2031 0132 1302 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.562537368921 0.396550169490 4 6 4 3 1302 0132 2031 0132 0 0 0 0 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 -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.562537368921 0.396550169490 4 5 6 6 0132 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.812461517866 0.837132984194 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : negation(d['1']), 's_3_0' : 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' : negation(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' : d['c_0101_2'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_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_1, c_0011_4, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 40 Groebner basis: [ t + 426245066003457692920752780761461756231722525027335052426251543/131\ 867203550435668617026695363091576627627509215170490856960*c_0101_6^\ 39 - 12104470918514916342741949842206638581843742566013840539337830\ 11/4709542983944131022036667691538984879558125329113231816320*c_010\ 1_6^37 + 5224419316356997534208375898639609583315888594735354281160\ 95668819/6593360177521783430851334768154578831381375460758524542848\ 0*c_0101_6^35 - 845095277467178760489500993052838324812745740306130\ 600256000595251/659336017752178343085133476815457883138137546075852\ 4542848*c_0101_6^33 + 182699225358885181202043247927065346046396830\ 66066540226610822631339/1318672035504356686170266953630915766276275\ 0921517049085696*c_0101_6^31 - 347623168941733244100349237057722610\ 002914725443513825500211313450577/329668008876089171542566738407728\ 94156906877303792622714240*c_0101_6^29 + 1782301550614369189737413337713032780118621914410928336045980126108\ 691/32966800887608917154256673840772894156906877303792622714240*c_0\ 101_6^27 - 12429439741062663352925647862795714357540875783678457724\ 822747659305083/659336017752178343085133476815457883138137546075852\ 45428480*c_0101_6^25 + 30366592258294184126066819048527029790405224\ 672830679262054309038552119/659336017752178343085133476815457883138\ 13754607585245428480*c_0101_6^23 - 8392096455755332274686901496579804811053389040228434580717636426155\ 69/1030212527737778661070521057524152942403339915743519459820*c_010\ 1_6^21 + 1413474675249772179374897982219166483125336117926270667941\ 56505759266777/1318672035504356686170266953630915766276275092151704\ 90856960*c_0101_6^19 - 14097713840102880111099787783721305616606785\ 8639104327873948368338702551/13186720355043566861702669536309157662\ 7627509215170490856960*c_0101_6^17 + 5374779160332911295476996771408451703334667667092518125376351269206\ 4819/65933601775217834308513347681545788313813754607585245428480*c_\ 0101_6^15 - 3906046390719171692480531665434842942455287272733857738\ 964684415471767/824170022190222928856416846019322353922671932594815\ 5678560*c_0101_6^13 + 272787692046132986446613911707591527479019485\ 31757725716168815462405489/1318672035504356686170266953630915766276\ 27509215170490856960*c_0101_6^11 - 2165494735663281083157534093822952252522857502605616042400715729071\ 657/32966800887608917154256673840772894156906877303792622714240*c_0\ 101_6^9 + 270417784081563806628922494377470243421848277279947162109\ 422619389121/188381719357765240881466707661559395182325013164529272\ 65280*c_0101_6^7 - 642782156563472675343470459940780863416246174086\ 74686143421926601839/3296680088760891715425667384077289415690687730\ 3792622714240*c_0101_6^5 + 5403681264782191016552896939129915603858\ 83061081534825963017477239/4120850110951114644282084230096611769613\ 359662974077839280*c_0101_6^3 - 34591940473466372614568090962610108\ 67328341455735478095009444633/2060425055475557322141042115048305884\ 806679831487038919640*c_0101_6, c_0011_0 - 1, c_0011_1 + 15602477242301315900439683274042864978030590636343759770387/\ 969611790812026975125196289434496886967849332464488903360*c_0101_6^\ 38 - 11107407183650979565467122202184863993905230522732160310541/86\ 57248132250240849332109727093722205070083325575793780*c_0101_6^36 + 19258490757355841931460375956631302682380040533926753773022311/4848\ 05895406013487562598144717248443483924666232244451680*c_0101_6^34 - 31345624698722518142631266218371737789605506679434001121689573/4848\ 0589540601348756259814471724844348392466623224445168*c_0101_6^32 + 681873490048697738434805213512860468488927800841813255327485327/969\ 61179081202697512519628943449688696784933246448890336*c_0101_6^30 - 13073578152098691926430359956968365795088157555241325419474401003/2\ 42402947703006743781299072358624221741962333116122225840*c_0101_6^2\ 8 + 678462015112269185754776852468237393212870883210797403709690128\ 19/242402947703006743781299072358624221741962333116122225840*c_0101\ _6^26 - 48087016857038696809441982206036572887532356525349297971971\ 8371167/484805895406013487562598144717248443483924666232244451680*c\ _0101_6^24 + 119795198302262902345681094808220901354120145712632146\ 9329729617071/48480589540601348756259814471724844348392466623224445\ 1680*c_0101_6^22 - 541352109167885636672619617823157074944411747080\ 002705317601951131/121201473851503371890649536179312110870981166558\ 061112920*c_0101_6^20 + 5832298543415632743772371796028107412377816\ 251506885127620502685853/969611790812026975125196289434496886967849\ 332464488903360*c_0101_6^18 - 5959328755957756357316046896433944207\ 354786023237511930004143667399/969611790812026975125196289434496886\ 967849332464488903360*c_0101_6^16 + 2329982207677402738503168975052624112167756847848998957961501274661\ /484805895406013487562598144717248443483924666232244451680*c_0101_6\ ^14 - 3477785303188695942548075371166028573636488868928823002082356\ 57341/121201473851503371890649536179312110870981166558061112920*c_0\ 101_6^12 + 12493795985015952143432420317437698956355936043357673403\ 19383990421/9696117908120269751251962894344968869678493324644889033\ 60*c_0101_6^10 - 51125706777788872748122392294256450640423929556160\ 873976482750529/121201473851503371890649536179312110870981166558061\ 112920*c_0101_6^8 + 13190679188648646835747041877961151537262318050\ 872467478968667669/138515970116003853589313755633499555281121333209\ 212700480*c_0101_6^6 - 16219221282093166094657182234999975602556296\ 91364788148194016703/1212014738515033718906495361793121108709811665\ 58061112920*c_0101_6^4 + 564245122968676934975325350741700625760379\ 08519549903690895077/6060073692575168594532476808965605543549058327\ 9030556460*c_0101_6^2 - 1841699826860072648659414266930046280094800\ 42175948001456612/1515018423143792148633119202241401385887264581975\ 7639115, c_0011_4 + 712401178650993747322323368314376274126226984958709897037/13\ 851597011600385358931375563349955528112133320921270048*c_0101_6^38 - 28307552989827470001662781405531184213453331071610803155953/6925798\ 505800192679465687781674977764056066660460635024*c_0101_6^36 + 871959096785692595044650437728644169057809408834896295017497/692579\ 8505800192679465687781674977764056066660460635024*c_0101_6^34 - 1760898428363935684884145528449874261912637719505355733964603/86572\ 4813225024084933210972709372220507008332557579378*c_0101_6^32 + 152082611322918764681370311482065781718534008345616308629994849/692\ 5798505800192679465687781674977764056066660460635024*c_0101_6^30 - 288917421200896705603875774876372228675220970107391308743643459/173\ 1449626450048169866421945418744441014016665115158756*c_0101_6^28 + 2955211919366018660059781205228512515817601534301147830830792671/34\ 62899252900096339732843890837488882028033330230317512*c_0101_6^26 - 20538902277312954562138130859912572663253555387830701243493084053/6\ 925798505800192679465687781674977764056066660460635024*c_0101_6^24 + 49968295992960394645915669865135582313010707365243134494997038667/6\ 925798505800192679465687781674977764056066660460635024*c_0101_6^22 - 43976725899268500859362599550873164293150320026886998949843239095/3\ 462899252900096339732843890837488882028033330230317512*c_0101_6^20 + 230244078500532811210649569849810804975867729439829191798380320051/\ 13851597011600385358931375563349955528112133320921270048*c_0101_6^1\ 8 - 228333212030954982158642376070785953755595661504585566052660309\ 863/13851597011600385358931375563349955528112133320921270048*c_0101\ _6^16 + 54073886899966247932545442949975469331984761025100692491287\ 61204/432862406612512042466605486354686110253504166278789689*c_0101\ _6^14 - 24981841733021129085963958113371322309951120892356960161570\ 354909/3462899252900096339732843890837488882028033330230317512*c_01\ 01_6^12 + 618469482614765283739553206926703783634296525947382984559\ 6724237/1978799573085769336990196509049993646873161902988752864*c_0\ 101_6^10 - 68166740958459116807610878870850948933129456393384287692\ 10573051/6925798505800192679465687781674977764056066660460635024*c_\ 0101_6^8 + 29521380028036877895127826400213627124535496660312766168\ 77485501/13851597011600385358931375563349955528112133320921270048*c\ _0101_6^6 - 1985416698846837830984118193533217211567700245959884181\ 29303549/6925798505800192679465687781674977764056066660460635024*c_\ 0101_6^4 + 82698556991181805133924375163919090884192400953751066347\ 5646/432862406612512042466605486354686110253504166278789689*c_0101_\ 6^2 - 10685348412922410065703452576797213316174555568080568700992/4\ 32862406612512042466605486354686110253504166278789689, c_0101_1 - 59035527049018547296358494631399386517437390031904387007377/\ 1939223581624053950250392578868993773935698664928977806720*c_0101_6\ ^39 + 41954109383490341271537911040101407231722658816343541261961/1\ 7314496264500481698664219454187444410140166651151587560*c_0101_6^37 - 72544557025448674426345516078083925616787652099719927239145741/96\ 9611790812026975125196289434496886967849332464488903360*c_0101_6^35 + 117613265201851769616081457115639574329390698982143636367576423/9\ 6961179081202697512519628943449688696784933246448890336*c_0101_6^33 - 2548457133020583972615273649669137408917259998442171886910070789/\ 193922358162405395025039257886899377393569866492897780672*c_0101_6^\ 31 + 48626467849505197696054516564599027100570822431141802100123594\ 873/484805895406013487562598144717248443483924666232244451680*c_010\ 1_6^29 - 2504348044559613064145600579213754748304373272588932721604\ 24600049/484805895406013487562598144717248443483924666232244451680*\ c_0101_6^27 + 17570777056814554179520106120839156321334789805123220\ 98440055016117/9696117908120269751251962894344968869678493324644889\ 03360*c_0101_6^25 - 43244024803465775529891967622077502770474542175\ 09199011093365914501/9696117908120269751251962894344968869678493324\ 64488903360*c_0101_6^23 + 19280451430864097613677223529903763022653\ 25333601869737426668927961/2424029477030067437812990723586242217419\ 62333116122225840*c_0101_6^21 - 20478129381429909216612114629553549\ 290176805669764371945429144043903/193922358162405395025039257886899\ 3773935698664928977806720*c_0101_6^19 + 2061788884160782793419945450765287385480925216030915444044557159274\ 9/1939223581624053950250392578868993773935698664928977806720*c_0101\ _6^17 - 79392702472404400805591223536447481428302807144501403711316\ 25451271/969611790812026975125196289434496886967849332464488903360*\ c_0101_6^15 + 11663123636598195701915588696180008186398185071847789\ 83584452342031/2424029477030067437812990723586242217419623331161222\ 25840*c_0101_6^13 - 41199819816507367500077558582017831925115968993\ 66365770872371767911/1939223581624053950250392578868993773935698664\ 928977806720*c_0101_6^11 + 1656105023304157193468314145405564454649\ 73436304188266291391213559/2424029477030067437812990723586242217419\ 62333116122225840*c_0101_6^9 - 599071188428681182540232234527911438\ 0830025478042040618017360417/39575991461715386739803930180999872937\ 463238059775057280*c_0101_6^7 + 50583667420221902027842932143587967\ 37084978449416541819909131793/2424029477030067437812990723586242217\ 41962333116122225840*c_0101_6^5 - 172776298669366385133917965870616\ 045659026466733413739004566107/121201473851503371890649536179312110\ 870981166558061112920*c_0101_6^3 + 561664008891284436008544381586383479345729189699292025643297/303003\ 68462875842972662384044828027717745291639515278230*c_0101_6, c_0101_2 - 21781755613386176474964727831751831807029803155606840372509/\ 484805895406013487562598144717248443483924666232244451680*c_0101_6^\ 38 + 123709532943848061782268090173047472687533529222962683693061/3\ 4628992529000963397328438908374888820280333302303175120*c_0101_6^36 - 26696603448319917454745007632542293479025902738289592470496617/24\ 2402947703006743781299072358624221741962333116122225840*c_0101_6^34 + 21591390525113847100163123668582106247665745266238239162722607/12\ 120147385150337189064953617931211087098116655806111292*c_0101_6^32 - 933532925135221108650013691157240692771436238016162781934941253/484\ 80589540601348756259814471724844348392466623224445168*c_0101_6^30 + 2220228454999765441679785555335558967432872396781426010956547692/15\ 150184231437921486331192022414013858872645819757639115*c_0101_6^28 - 91062426595551250844106309692556544243163208261525656725475904523/1\ 21201473851503371890649536179312110870981166558061112920*c_0101_6^2\ 6 + 635019239972726678915859409384965792478278935039191999185202401\ 869/242402947703006743781299072358624221741962333116122225840*c_010\ 1_6^24 - 1551361464786329573262300989110232924834315818590681818954\ 036257807/242402947703006743781299072358624221741962333116122225840\ *c_0101_6^22 + 1371923919472309812507574343314611672530907092108955\ 763410849252569/121201473851503371890649536179312110870981166558061\ 112920*c_0101_6^20 - 7221150734411582800287366415444563241412804720\ 143028208386664443971/484805895406013487562598144717248443483924666\ 232244451680*c_0101_6^18 + 7202707029887521054165600178059919614890\ 012236172895381640832922323/484805895406013487562598144717248443483\ 924666232244451680*c_0101_6^16 - 1373188618053770528870120614686319\ 035791799525200929571033842004621/121201473851503371890649536179312\ 110870981166558061112920*c_0101_6^14 + 798509149199472271281689152508777387143926829372106392834315535659/\ 121201473851503371890649536179312110870981166558061112920*c_0101_6^\ 12 - 13945449254013056359355450941780038540850843186727435230428129\ 65067/484805895406013487562598144717248443483924666232244451680*c_0\ 101_6^10 + 22150432478314378324985248683840742532015784638759865560\ 4988813257/24240294770300674378129907235862422174196233311612222584\ 0*c_0101_6^8 - 1383929827933924571280134474277259083648711727865296\ 9397834263563/69257985058001926794656877816749777640560666604606350\ 240*c_0101_6^6 + 65860993153522571027777656958546338021053675479656\ 28808916810319/2424029477030067437812990723586242217419623331161222\ 25840*c_0101_6^4 - 277415051982242080289882459282559805556876513556\ 22404854090127/1515018423143792148633119202241401385887264581975763\ 9115*c_0101_6^2 + 3594406660844195098582445601592839878982062512172\ 00559230628/1515018423143792148633119202241401385887264581975763911\ 5, c_0101_3 + 42655911576736602490241400938476096678689047032721060752729/\ 1939223581624053950250392578868993773935698664928977806720*c_0101_6\ ^39 - 60613998963367532011720066881081502354403236287322929961579/3\ 4628992529000963397328438908374888820280333302303175120*c_0101_6^37 + 52386763631130956356631699631838227155035523190027699968476797/96\ 9611790812026975125196289434496886967849332464488903360*c_0101_6^35 - 84889384418015568352764491043515009483180710327847047076662507/96\ 961179081202697512519628943449688696784933246448890336*c_0101_6^33 + 1838459097424152547952240186291174679003402903285565319872461517/19\ 3922358162405395025039257886899377393569866492897780672*c_0101_6^31 - 35057235600744799440218757002846403588725360890497995622372943821\ /484805895406013487562598144717248443483924666232244451680*c_0101_6\ ^29 + 1803716149869107089869376406755906973989256718860635551377189\ 35993/484805895406013487562598144717248443483924666232244451680*c_0\ 101_6^27 - 12638246495127917019362626643746523959530503076977054487\ 01198016429/9696117908120269751251962894344968869678493324644889033\ 60*c_0101_6^25 + 31054588207716572578975453050593619419130139231275\ 11657596184742437/9696117908120269751251962894344968869678493324644\ 88903360*c_0101_6^23 - 13821022818665229714525942539608203578959054\ 64042291629987579464667/2424029477030067437812990723586242217419623\ 33116122225840*c_0101_6^21 + 14651660324346371034941789880261065735\ 732495960706334160920650213271/193922358162405395025039257886899377\ 3935698664928977806720*c_0101_6^19 - 1472247118207713196166421161466815353876332112078854688778979378121\ 3/1939223581624053950250392578868993773935698664928977806720*c_0101\ _6^17 + 56574927630090027952105239146315973853353821459814128724531\ 28771587/969611790812026975125196289434496886967849332464488903360*\ c_0101_6^15 - 82931955931491200544480723076465140317260693629829676\ 5722037851467/24240294770300674378129907235862422174196233311612222\ 5840*c_0101_6^13 + 292288231517298951116840208649969705878236438102\ 6741825523399894847/19392235816240539502503925788689937739356986649\ 28977806720*c_0101_6^11 - 14650972169770877816783125744400065442407\ 384693877984336996290881/303003684628758429726623840448280277177452\ 91639515278230*c_0101_6^9 + 422920544264638785494645308318729705878\ 2476080896594396903555609/39575991461715386739803930180999872937463\ 238059775057280*c_0101_6^7 - 22262889889870664021693910221894109244\ 9871780863742370436426071/15150184231437921486331192022414013858872\ 645819757639115*c_0101_6^5 + 15173369042922965771875244488489695978\ 263723827409269154345233/151501842314379214863311920224140138588726\ 45819757639115*c_0101_6^3 - 197175603067749700096290083061944696328\ 166011225544692106217/151501842314379214863311920224140138588726458\ 19757639115*c_0101_6, c_0101_6^40 - 80*c_0101_6^38 + 2490*c_0101_6^36 - 40844*c_0101_6^34 + 447890*c_0101_6^32 - 3470436*c_0101_6^30 + 18310532*c_0101_6^28 - 66446794*c_0101_6^26 + 170819754*c_0101_6^24 - 321240328*c_0101_6^22 + 454058255*c_0101_6^20 - 491870333*c_0101_6^18 + 412905294*c_0101_6^16 - 269173368*c_0101_6^14 + 135253879*c_0101_6^12 - 51427288*c_0101_6^10 + 14319873*c_0101_6^8 - 2762728*c_0101_6^6 + 334064*c_0101_6^4 - 20288*c_0101_6^2 + 256 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB