Magma V2.19-8 Tue Aug 20 2013 16:16:13 on localhost [Seed = 4256981308] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0479 geometric_solution 4.50391821 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 -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.427502761110 0.063797772265 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 -1 1 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 -1 0 1 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 1.212217724539 0.080509501178 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 1 -1 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.430467698737 0.395884626817 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 0 -1 1 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 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.107252699321 0.567928651909 5 3 6 5 2310 0132 0132 2031 0 0 0 0 0 0 0 0 -1 0 0 1 -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 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.137378023834 0.790854068249 6 4 4 3 2310 1302 3201 0132 0 0 0 0 0 -1 0 1 -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 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.137378023834 0.790854068249 6 6 5 4 1230 3012 3201 0132 0 0 0 0 0 0 0 0 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 0 0 0 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.799999950337 0.841493760188 ==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' : 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' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(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' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_6'], '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_0011_6']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(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_1, c_0011_5, c_0011_6, c_0101_0, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 166058202445207159126578032682908929241588600314/391155785699544012\ 587707276849345715787274785*c_0101_3^24 + 3779674903210029485760918439838335196989260376342/39115578569954401\ 2587707276849345715787274785*c_0101_3^23 + 1467867348449017564152665484740966382277373783018/43461753966616001\ 398634141872149523976363865*c_0101_3^22 - 22946726982311550606944737085863729270092176699978/3911557856995440\ 12587707276849345715787274785*c_0101_3^21 - 2688637415203046808349979543606507691927407207666/86923507933232002\ 79726828374429904795272773*c_0101_3^20 - 12072189209222923492970077983551938996276126276427/3911557856995440\ 12587707276849345715787274785*c_0101_3^19 + 363819094575522715429850571571286565799146881956402/391155785699544\ 012587707276849345715787274785*c_0101_3^18 + 328928445178791015938392913741656094824415880092894/391155785699544\ 012587707276849345715787274785*c_0101_3^17 + 10446436807052685686214447961526270430674901706066/7823115713990880\ 2517541455369869143157454957*c_0101_3^16 - 276832467714781562595900070297968556601691342861716/130385261899848\ 004195902425616448571929091595*c_0101_3^15 - 2986115482577648083287576572869072768960651692578161/39115578569954\ 4012587707276849345715787274785*c_0101_3^14 + 195365595483880461393597137323208730057081592938641/782311571399088\ 02517541455369869143157454957*c_0101_3^13 + 767893680707513122599230138850615003911523907945934/434617539666160\ 01398634141872149523976363865*c_0101_3^12 + 142677868184398666807035725755673598846025397143337/782311571399088\ 02517541455369869143157454957*c_0101_3^11 - 7121793529394591261778880243016933499506666100303641/39115578569954\ 4012587707276849345715787274785*c_0101_3^10 - 1115030990951775923961959411882420452263453918149798/13038526189984\ 8004195902425616448571929091595*c_0101_3^9 + 3349125250667884254054163294648624345267319293207279/39115578569954\ 4012587707276849345715787274785*c_0101_3^8 + 3251862494648753651761478825900960242505688997099289/39115578569954\ 4012587707276849345715787274785*c_0101_3^7 - 174719752849185706510225771546683462228337265203574/391155785699544\ 012587707276849345715787274785*c_0101_3^6 - 1108526934321139920651736190625969336967792814554949/39115578569954\ 4012587707276849345715787274785*c_0101_3^5 - 107703692270292086120177780941573427381449874745788/130385261899848\ 004195902425616448571929091595*c_0101_3^4 + 54524397111266097532943890000751307631778461672684/3911557856995440\ 12587707276849345715787274785*c_0101_3^3 + 31490076012525938952592579746602965428372117910964/3911557856995440\ 12587707276849345715787274785*c_0101_3^2 + 1004281451319800502098763093281666402373729220553/39115578569954401\ 2587707276849345715787274785*c_0101_3 - 616502590232308565236255208808201047531064016078/391155785699544012\ 587707276849345715787274785, c_0011_0 - 1, c_0011_1 + 866270458515883396827512770561135695109636/51808713337687948\ 6871135466025623464618907*c_0101_3^24 + 19589371510407373025516188369182120953787166/5180871333768794868711\ 35466025623464618907*c_0101_3^23 + 2446664785639868105267060634998518736848932/19188412347291832847079\ 091334282350541441*c_0101_3^22 - 1286391716557508407221161007826302\ 07640841548/518087133376879486871135466025623464618907*c_0101_3^21 - 203168325841890110354245234761448057150488673/172695711125626495623\ 711822008541154872969*c_0101_3^20 + 21174910066179498457085242830734978360512540/5180871333768794868711\ 35466025623464618907*c_0101_3^19 + 1870175281582420313665705169581312758038769112/51808713337687948687\ 1135466025623464618907*c_0101_3^18 + 1444786153624304885556317031735889691650553537/51808713337687948687\ 1135466025623464618907*c_0101_3^17 + 136139218623600866675258944017972776097013976/518087133376879486871\ 135466025623464618907*c_0101_3^16 - 1435326861599880161583885097857451340235570445/17269571112562649562\ 3711822008541154872969*c_0101_3^15 - 14941499964473056334352067020535204422464517811/5180871333768794868\ 71135466025623464618907*c_0101_3^14 + 7125934602121726274816404108640675291294802529/51808713337687948687\ 1135466025623464618907*c_0101_3^13 + 3822638346782539043225205269737064817481340537/57565237041875498541\ 237274002847051624323*c_0101_3^12 - 958788972228146804134500308386263655326285365/518087133376879486871\ 135466025623464618907*c_0101_3^11 - 35655582170275536653972471232794018797680873059/5180871333768794868\ 71135466025623464618907*c_0101_3^10 - 4160159280377343728065227092769926812477527977/17269571112562649562\ 3711822008541154872969*c_0101_3^9 + 17907282327062902008940101376440135071901500014/5180871333768794868\ 71135466025623464618907*c_0101_3^8 + 14093639953743799705290445798601877772287803330/5180871333768794868\ 71135466025623464618907*c_0101_3^7 - 2220710799341189018989117627921812420850716296/51808713337687948687\ 1135466025623464618907*c_0101_3^6 - 5052852247968749760241411699176910700475217601/51808713337687948687\ 1135466025623464618907*c_0101_3^5 - 124200847244892330413653379036849408838120010/575652370418754985412\ 37274002847051624323*c_0101_3^4 + 289318105682699873467857854502666\ 631035891073/518087133376879486871135466025623464618907*c_0101_3^3 + 117887035483444587630623844582667517966641997/518087133376879486871\ 135466025623464618907*c_0101_3^2 + 881557755058871368348794649640806002251363/518087133376879486871135\ 466025623464618907*c_0101_3 - 2478406009952706635394037007881171577\ 437177/518087133376879486871135466025623464618907, c_0011_5 - 69330105290645122510665847165980276622210156/782311571399088\ 02517541455369869143157454957*c_0101_3^24 - 7828978209350118481338478640739746916139004342/39115578569954401258\ 7707276849345715787274785*c_0101_3^23 - 2913224593646583246332410772496894761629109332/43461753966616001398\ 634141872149523976363865*c_0101_3^22 + 52015527911324360414825274102921251135454401926/3911557856995440125\ 87707276849345715787274785*c_0101_3^21 + 16117164335260863322912052204516711574205071409/2607705237996960083\ 9180485123289714385818319*c_0101_3^20 - 2739952057914317559452366554279114817158838833/78231157139908802517\ 541455369869143157454957*c_0101_3^19 - 741976886689325681740190774347052665478945367944/391155785699544012\ 587707276849345715787274785*c_0101_3^18 - 111957905085728264612181053223987731805020630255/782311571399088025\ 17541455369869143157454957*c_0101_3^17 - 57550998927032487369091261286827952059529253412/3911557856995440125\ 87707276849345715787274785*c_0101_3^16 + 572645737302745720850986961093472918128827203536/130385261899848004\ 195902425616448571929091595*c_0101_3^15 + 5930238268411845668111644788308160830020346338322/39115578569954401\ 2587707276849345715787274785*c_0101_3^14 - 595247898211371207378446720306999727598562636308/782311571399088025\ 17541455369869143157454957*c_0101_3^13 - 300811034860395954197946434402803012414276920334/869235079332320027\ 9726828374429904795272773*c_0101_3^12 + 626253349275510866348264202713407595525649744487/391155785699544012\ 587707276849345715787274785*c_0101_3^11 + 13943241288278376091334948921840439641653314831607/3911557856995440\ 12587707276849345715787274785*c_0101_3^10 + 317003983073406678478245818496129506655539729978/260770523799696008\ 39180485123289714385818319*c_0101_3^9 - 6995170687190394153273853525232039003558622816308/39115578569954401\ 2587707276849345715787274785*c_0101_3^8 - 1091931950168951041521218007904494535644586348709/78231157139908802\ 517541455369869143157454957*c_0101_3^7 + 861584149424412184971864844329099685533129220408/391155785699544012\ 587707276849345715787274785*c_0101_3^6 + 387962480153816548383104063622304260319071407909/782311571399088025\ 17541455369869143157454957*c_0101_3^5 + 49788736268045307390015531833725129017922601678/4346175396661600139\ 8634141872149523976363865*c_0101_3^4 - 101447105550170307352559725989702012391100614316/391155785699544012\ 587707276849345715787274785*c_0101_3^3 - 47452429094881386852721778638534298037188900863/3911557856995440125\ 87707276849345715787274785*c_0101_3^2 - 373170683719159260121154561776814184340760174/782311571399088025175\ 41455369869143157454957*c_0101_3 + 754125993902315085874727641743255327669638141/391155785699544012587\ 707276849345715787274785, c_0011_6 - 13442789574201180916052178017535448339448759/782311571399088\ 02517541455369869143157454957*c_0101_3^24 - 1450861295647152561687437310647846472672531649/39115578569954401258\ 7707276849345715787274785*c_0101_3^23 - 398044626402128211337806310200086618292380104/434617539666160013986\ 34141872149523976363865*c_0101_3^22 + 14827300430309677780895928641862744321380631212/3911557856995440125\ 87707276849345715787274785*c_0101_3^21 + 2381882462574644089052284445101031865119002739/26077052379969600839\ 180485123289714385818319*c_0101_3^20 - 9398510901739445110754480032561225523400945239/78231157139908802517\ 541455369869143157454957*c_0101_3^19 - 131068061760938295328904760402280194180662216488/391155785699544012\ 587707276849345715787274785*c_0101_3^18 + 6501393278223501230734816073131745905590329654/78231157139908802517\ 541455369869143157454957*c_0101_3^17 + 64626777711591494450423769977817848575125737281/3911557856995440125\ 87707276849345715787274785*c_0101_3^16 + 108628541993492987005919605419934794189240550027/130385261899848004\ 195902425616448571929091595*c_0101_3^15 + 820274131915290156067821220740629368454813355904/391155785699544012\ 587707276849345715787274785*c_0101_3^14 - 329944870214228190820166469626528522413975568546/782311571399088025\ 17541455369869143157454957*c_0101_3^13 - 13351570607586543287986112962261933791454416871/2897450264441066759\ 908942791476634931757591*c_0101_3^12 + 2564098551918511245827250665595540990701176713584/39115578569954401\ 2587707276849345715787274785*c_0101_3^11 + 2005110748545136202832798687336330339233989638074/39115578569954401\ 2587707276849345715787274785*c_0101_3^10 - 109016098887485691014437567598976681007579959194/260770523799696008\ 39180485123289714385818319*c_0101_3^9 - 1664590981815412243321325739384819690031345963456/39115578569954401\ 2587707276849345715787274785*c_0101_3^8 + 77806041143542961682698298086246955426701965646/7823115713990880251\ 7541455369869143157454957*c_0101_3^7 + 879326920621022588815553817219909681347660571461/391155785699544012\ 587707276849345715787274785*c_0101_3^6 + 5124101105121589735144746065852046080566301644/78231157139908802517\ 541455369869143157454957*c_0101_3^5 - 23284213672678843194243522270834650611703649854/4346175396661600139\ 8634141872149523976363865*c_0101_3^4 - 31204596247944336765594341943401602476583061257/3911557856995440125\ 87707276849345715787274785*c_0101_3^3 + 16110777071442534914769506301682242201763836859/3911557856995440125\ 87707276849345715787274785*c_0101_3^2 + 609390198720026262023119990554591607490307086/782311571399088025175\ 41455369869143157454957*c_0101_3 - 245038955690225508908147352631208858274762383/391155785699544012587\ 707276849345715787274785, c_0101_0 - 1406928360702133009033592121881475004108860082/3911557856995\ 44012587707276849345715787274785*c_0101_3^24 - 31798757327759768042980309178915742617187715489/3911557856995440125\ 87707276849345715787274785*c_0101_3^23 - 11880822825939928344081670453117151641958924237/4346175396661600139\ 8634141872149523976363865*c_0101_3^22 + 209828308988825457873829652492018016492583117058/391155785699544012\ 587707276849345715787274785*c_0101_3^21 + 65755599132736871366036830438777722941727608147/2607705237996960083\ 9180485123289714385818319*c_0101_3^20 - 43039175124606552055128450625291686332507429029/3911557856995440125\ 87707276849345715787274785*c_0101_3^19 - 3026785745614627676095900382791902878928194500807/39115578569954401\ 2587707276849345715787274785*c_0101_3^18 - 2316733686620828135846881436198433720883257034412/39115578569954401\ 2587707276849345715787274785*c_0101_3^17 - 226625649081059932406365752532901101997653564433/391155785699544012\ 587707276849345715787274785*c_0101_3^16 + 2329221613327266342254059670669248691452543728697/13038526189984800\ 4195902425616448571929091595*c_0101_3^15 + 24188205860463029890058536966389594261620537945986/3911557856995440\ 12587707276849345715787274785*c_0101_3^14 - 2356104828910648302339712975350722515054186510445/78231157139908802\ 517541455369869143157454957*c_0101_3^13 - 6166035587477991523446843747382543056936253497187/43461753966616001\ 398634141872149523976363865*c_0101_3^12 + 1935442112544273667977218374383361710575776936898/39115578569954401\ 2587707276849345715787274785*c_0101_3^11 + 57363673883639909221766358577515934333560811059101/3911557856995440\ 12587707276849345715787274785*c_0101_3^10 + 6640840873247347456121117190818245062876012328469/13038526189984800\ 4195902425616448571929091595*c_0101_3^9 - 28777104279696044288770462778965909411935833095729/3911557856995440\ 12587707276849345715787274785*c_0101_3^8 - 22623487071853112548474185633483228679808175189737/3911557856995440\ 12587707276849345715787274785*c_0101_3^7 + 3526315148701217833680844122647246106399147964574/39115578569954401\ 2587707276849345715787274785*c_0101_3^6 + 8070007284173246280508536416059738611228918766292/39115578569954401\ 2587707276849345715787274785*c_0101_3^5 + 40732860960205131696704532344335614997949705023/8692350793323200279\ 726828374429904795272773*c_0101_3^4 - 438445943258337262592921617038896857281481622491/391155785699544012\ 587707276849345715787274785*c_0101_3^3 - 191020384825398312500698746268124560887134966534/391155785699544012\ 587707276849345715787274785*c_0101_3^2 - 5241645636406375078661878090261048736038850759/39115578569954401258\ 7707276849345715787274785*c_0101_3 + 3429075202534897687458760763550568989011728093/39115578569954401258\ 7707276849345715787274785, c_0101_2 - 1561765302651986810840144912343486547333384834/3911557856995\ 44012587707276849345715787274785*c_0101_3^24 - 7053216430637245323165765386348957580352316705/78231157139908802517\ 541455369869143157454957*c_0101_3^23 - 13108272445311635717560251726673591789926435616/4346175396661600139\ 8634141872149523976363865*c_0101_3^22 + 235201667615300272932195623168342681383719964502/391155785699544012\ 587707276849345715787274785*c_0101_3^21 + 72643716741163746661066071826540564418224579753/2607705237996960083\ 9180485123289714385818319*c_0101_3^20 - 68623082452114982688495059217275641570108456963/3911557856995440125\ 87707276849345715787274785*c_0101_3^19 - 3354418794374560698499128280961933697114278214283/39115578569954401\ 2587707276849345715787274785*c_0101_3^18 - 2507402032396006996177892327920213933844233633829/39115578569954401\ 2587707276849345715787274785*c_0101_3^17 - 215560242951640849475005498217917672094223110393/391155785699544012\ 587707276849345715787274785*c_0101_3^16 + 172477194653962405556070061069756214911459920734/869235079332320027\ 9726828374429904795272773*c_0101_3^15 + 26698895974158854808189926274083882493758177985724/3911557856995440\ 12587707276849345715787274785*c_0101_3^14 - 2716734270413189021908852307600469914019898845029/78231157139908802\ 517541455369869143157454957*c_0101_3^13 - 6802505597698203574543453999773793059474831076004/43461753966616001\ 398634141872149523976363865*c_0101_3^12 + 3238918438790744743414363745353190849402294134988/39115578569954401\ 2587707276849345715787274785*c_0101_3^11 + 63375851432871889536741189388925659836539263055114/3911557856995440\ 12587707276849345715787274785*c_0101_3^10 + 7006936143051304620882194831123516375680758922958/13038526189984800\ 4195902425616448571929091595*c_0101_3^9 - 32111078857232544409224575798398094195001731055871/3911557856995440\ 12587707276849345715787274785*c_0101_3^8 - 24515639830480659491481977769352055329301515581224/3911557856995440\ 12587707276849345715787274785*c_0101_3^7 + 4236754235535614655395347928990582802993136212641/39115578569954401\ 2587707276849345715787274785*c_0101_3^6 + 8828031656760835498985730706001040706110164772839/39115578569954401\ 2587707276849345715787274785*c_0101_3^5 + 636564669756706463848645992058321745430711528289/130385261899848004\ 195902425616448571929091595*c_0101_3^4 - 500659354849049274145098854608948984795514442058/391155785699544012\ 587707276849345715787274785*c_0101_3^3 - 202408573991272712613049913250693200943530598296/391155785699544012\ 587707276849345715787274785*c_0101_3^2 - 3080360951678889254065524179952933686942922188/39115578569954401258\ 7707276849345715787274785*c_0101_3 + 3722819657256434905748464675968216879111883057/39115578569954401258\ 7707276849345715787274785, c_0101_3^25 + 23*c_0101_3^24 + 85*c_0101_3^23 - 119*c_0101_3^22 - 761*c_0101_3^21 - 248*c_0101_3^20 + 2168*c_0101_3^19 + 2505*c_0101_3^18 + 805*c_0101_3^17 - 4915*c_0101_3^16 - 19177*c_0101_3^15 + 1548*c_0101_3^14 + 42889*c_0101_3^13 + 14320*c_0101_3^12 - 41551*c_0101_3^11 - 30443*c_0101_3^10 + 15031*c_0101_3^9 + 24339*c_0101_3^8 + 3804*c_0101_3^7 - 6829*c_0101_3^6 - 3581*c_0101_3^5 - 176*c_0101_3^4 + 267*c_0101_3^3 + 55*c_0101_3^2 - 2*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB