Magma V2.19-8 Tue Aug 20 2013 16:16:44 on localhost [Seed = 2631729232] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1019 geometric_solution 4.90182915 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 1 0 1 2031 0132 1302 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 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.910263127516 0.611864905133 0 0 3 2 3201 0132 0132 0132 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 -1 -1 2 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 1.070555405278 1.278387583274 4 3 1 3 0132 2031 0132 3012 0 0 0 0 0 0 -1 1 -1 0 0 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 -2 2 -1 0 0 1 1 -2 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.748199053182 0.643225275664 2 4 2 1 1302 2310 1230 0132 0 0 0 0 0 0 -1 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 0 -1 1 1 0 -1 0 0 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.748199053182 0.643225275664 2 5 5 3 0132 0132 1023 3201 0 0 0 0 0 0 0 0 1 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 0 0 0 0 1 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 0.358631635793 0.210457446443 6 4 4 6 0132 0132 1023 3201 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 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 1.055491322083 0.734271355355 5 5 6 6 0132 2310 1230 3012 0 0 0 0 0 -1 0 1 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 -1 0 1 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 1.683467057290 0.324922144627 ==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' : d['c_0101_5'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : d['c_0101_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_2']), '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_2'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : d['c_0011_2'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_2'])})} 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_0101_1, c_0101_2, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 6363063708318393096518371293813671701719518545029/13483724555197762\ 6988472382403694470127297694393*c_0101_6^23 - 26910820361952886740650988263627412042403833900397/1348372455519776\ 26988472382403694470127297694393*c_0101_6^22 + 31878189134617312739504829797140833903832250219447/1348372455519776\ 26988472382403694470127297694393*c_0101_6^21 + 165843528743464097242162427294870944831179097158439/134837245551977\ 626988472382403694470127297694393*c_0101_6^20 + 1133155653562898971041820496690319602907724734890800/13483724555197\ 7626988472382403694470127297694393*c_0101_6^19 + 2375499331763824031032012720716052101948444976573138/13483724555197\ 7626988472382403694470127297694393*c_0101_6^18 - 4929930452183970503235979878136797388148079928964986/13483724555197\ 7626988472382403694470127297694393*c_0101_6^17 - 7624239858766913591031594268220123455500001451832029/13483724555197\ 7626988472382403694470127297694393*c_0101_6^16 - 34555989108435114100742992947298911401596739958653060/1348372455519\ 77626988472382403694470127297694393*c_0101_6^15 - 74072318279029981586116318674253211505775553902748395/1348372455519\ 77626988472382403694470127297694393*c_0101_6^14 + 52880313736546255336272681460138670810771666594604941/1348372455519\ 77626988472382403694470127297694393*c_0101_6^13 + 72904698418504550435085718431239912827229718991653431/1348372455519\ 77626988472382403694470127297694393*c_0101_6^12 - 18324417051155797650310439380962588551774129250044693/1348372455519\ 77626988472382403694470127297694393*c_0101_6^11 + 8705924871948842944506599920463221229364595036739846/13483724555197\ 7626988472382403694470127297694393*c_0101_6^10 - 32266339786883042191380115873465851126436538083352825/1348372455519\ 77626988472382403694470127297694393*c_0101_6^9 + 23572088534252077315533229490141622945885793104915612/1348372455519\ 77626988472382403694470127297694393*c_0101_6^8 - 2457808239006722834365234440036414081734000383176432/13483724555197\ 7626988472382403694470127297694393*c_0101_6^7 - 4228656390920990672237338497630298398650863005450576/13483724555197\ 7626988472382403694470127297694393*c_0101_6^6 + 1480124194252980734224551233835829454775629549852203/13483724555197\ 7626988472382403694470127297694393*c_0101_6^5 - 712535494819212394661451197183017913972072295388074/134837245551977\ 626988472382403694470127297694393*c_0101_6^4 + 353876452836169846291838209016712067865724969226854/134837245551977\ 626988472382403694470127297694393*c_0101_6^3 - 46532612114790917610044286630335057353216601742019/1348372455519776\ 26988472382403694470127297694393*c_0101_6^2 - 67736911999067505195853182052950110447456331853390/1348372455519776\ 26988472382403694470127297694393*c_0101_6 + 22023773187977995209494589840997045227645731844707/1348372455519776\ 26988472382403694470127297694393, c_0011_0 - 1, c_0011_2 - 182894071601069991424556418789493361047443929883/13483724555\ 1977626988472382403694470127297694393*c_0101_6^23 - 802755849532848509793442503542170850687288615540/134837245551977626\ 988472382403694470127297694393*c_0101_6^22 + 788903774824512384269010842061360013668336294451/134837245551977626\ 988472382403694470127297694393*c_0101_6^21 + 4895063810792533606935852929984183149230102089904/13483724555197762\ 6988472382403694470127297694393*c_0101_6^20 + 33339008287177308208104346097527291907055228462180/1348372455519776\ 26988472382403694470127297694393*c_0101_6^19 + 73600192369154446458608371428119650462184678629866/1348372455519776\ 26988472382403694470127297694393*c_0101_6^18 - 130055269280403270147145879502168562895575347456275/134837245551977\ 626988472382403694470127297694393*c_0101_6^17 - 239932000302680231592482975556007497964162499939632/134837245551977\ 626988472382403694470127297694393*c_0101_6^16 - 1030079174737359779569502835634546250817340785292492/13483724555197\ 7626988472382403694470127297694393*c_0101_6^15 - 2294712733003443470687228257257956908091558264531513/13483724555197\ 7626988472382403694470127297694393*c_0101_6^14 + 1156272486612660719467030557965319507308540617946959/13483724555197\ 7626988472382403694470127297694393*c_0101_6^13 + 2280389150165400147671773450305185700465175508640353/13483724555197\ 7626988472382403694470127297694393*c_0101_6^12 - 193697463767818611129230926807637333876480095656516/134837245551977\ 626988472382403694470127297694393*c_0101_6^11 + 236028626652063536064161855135377082602124688757124/134837245551977\ 626988472382403694470127297694393*c_0101_6^10 - 865754851413662738833191843312380766904181471009708/134837245551977\ 626988472382403694470127297694393*c_0101_6^9 + 527175165731929245788793689365094121520288228077466/134837245551977\ 626988472382403694470127297694393*c_0101_6^8 + 24523941618030429056059864730171786762187218350167/1348372455519776\ 26988472382403694470127297694393*c_0101_6^7 - 138910094967473301652802793821840351868470668824103/134837245551977\ 626988472382403694470127297694393*c_0101_6^6 + 33027118421978606277962618914145197852672223398861/1348372455519776\ 26988472382403694470127297694393*c_0101_6^5 - 19692257261665503200632526624120351605976591593069/1348372455519776\ 26988472382403694470127297694393*c_0101_6^4 + 7664030787278592427857569148143095344348883885441/13483724555197762\ 6988472382403694470127297694393*c_0101_6^3 + 150685936893028134012580682414484135655769168145/134837245551977626\ 988472382403694470127297694393*c_0101_6^2 - 2351134252875489621195097204588624451508736886126/13483724555197762\ 6988472382403694470127297694393*c_0101_6 + 511853117228785678258574627336381265024283852767/134837245551977626\ 988472382403694470127297694393, c_0101_1 + 673855378324678365155794306440871961100074809520/13483724555\ 1977626988472382403694470127297694393*c_0101_6^23 + 2889680302431059702392139806768415399269702294367/13483724555197762\ 6988472382403694470127297694393*c_0101_6^22 - 3221838775942275165779483476238483522766320405131/13483724555197762\ 6988472382403694470127297694393*c_0101_6^21 - 17827500130752060336376117823230653731283875019082/1348372455519776\ 26988472382403694470127297694393*c_0101_6^20 - 120994511298037751931669323736709765528057128150598/134837245551977\ 626988472382403694470127297694393*c_0101_6^19 - 258277967490775860102444240121992910858094293187291/134837245551977\ 626988472382403694470127297694393*c_0101_6^18 + 509920035233437743349159819356740913036772629750665/134837245551977\ 626988472382403694470127297694393*c_0101_6^17 + 844567847953421874534880579672377414589426754439800/134837245551977\ 626988472382403694470127297694393*c_0101_6^16 + 3698883589111653594731363008533993906534614435961685/13483724555197\ 7626988472382403694470127297694393*c_0101_6^15 + 8041032675260185601652372168676298219524155794678274/13483724555197\ 7626988472382403694470127297694393*c_0101_6^14 - 5224335810468683772018023063526854326372748475409107/13483724555197\ 7626988472382403694470127297694393*c_0101_6^13 - 8249023653449459511043336090544037014226987927993540/13483724555197\ 7626988472382403694470127297694393*c_0101_6^12 + 1520046884953211613496598430831428623483968178974764/13483724555197\ 7626988472382403694470127297694393*c_0101_6^11 - 649261720801433783543534266148140188273795112136963/134837245551977\ 626988472382403694470127297694393*c_0101_6^10 + 3439022176868285832236893279287291502858645020628269/13483724555197\ 7626988472382403694470127297694393*c_0101_6^9 - 2237955409133340549325626435335901554747429587445449/13483724555197\ 7626988472382403694470127297694393*c_0101_6^8 + 21427463478464222191896266887539749254351018747008/1348372455519776\ 26988472382403694470127297694393*c_0101_6^7 + 491919444354760926503511602177058051822109289777203/134837245551977\ 626988472382403694470127297694393*c_0101_6^6 - 149739350361120784371903605615223562581059329894622/134837245551977\ 626988472382403694470127297694393*c_0101_6^5 + 78399823097175065884723832904342425382796816176095/1348372455519776\ 26988472382403694470127297694393*c_0101_6^4 - 38230791928510622488094756743991237726983807491215/1348372455519776\ 26988472382403694470127297694393*c_0101_6^3 + 1627884359502465228872425471230544062682963429454/13483724555197762\ 6988472382403694470127297694393*c_0101_6^2 + 8410858811360904281224134272538501394804500382525/13483724555197762\ 6988472382403694470127297694393*c_0101_6 - 2218141541063538902185406926738670251136464962905/13483724555197762\ 6988472382403694470127297694393, c_0101_2 + 123869928769614675404987746517068868484054384730/13483724555\ 1977626988472382403694470127297694393*c_0101_6^23 + 528503883806495807278643857127421548119390145116/134837245551977626\ 988472382403694470127297694393*c_0101_6^22 - 597610442344359789003863862071763386283057804382/134837245551977626\ 988472382403694470127297694393*c_0101_6^21 - 3237410089103341382742509626165380761712159433155/13483724555197762\ 6988472382403694470127297694393*c_0101_6^20 - 22198543207013706858968430581839076765348612147517/1348372455519776\ 26988472382403694470127297694393*c_0101_6^19 - 47163943118704747711714081316515822968073701858749/1348372455519776\ 26988472382403694470127297694393*c_0101_6^18 + 93646348022177741938553692258475575762604120164847/1348372455519776\ 26988472382403694470127297694393*c_0101_6^17 + 150796180646332307024482326386121267719382220111458/134837245551977\ 626988472382403694470127297694393*c_0101_6^16 + 681188566519349259856059882061000676060702252090832/134837245551977\ 626988472382403694470127297694393*c_0101_6^15 + 1471868835935570164937220455313560603945880081310626/13483724555197\ 7626988472382403694470127297694393*c_0101_6^14 - 958160217701146361521671075105732467345918564825080/134837245551977\ 626988472382403694470127297694393*c_0101_6^13 - 1420846832117334933624550116479659765888729014731964/13483724555197\ 7626988472382403694470127297694393*c_0101_6^12 + 265390162832494372216718962529278149879629665677687/134837245551977\ 626988472382403694470127297694393*c_0101_6^11 - 217412849552787539597960201084122795141923017969010/134837245551977\ 626988472382403694470127297694393*c_0101_6^10 + 636156203128888452789244899930910352682708362971995/134837245551977\ 626988472382403694470127297694393*c_0101_6^9 - 420051540854404466008065937790334296654898368003495/134837245551977\ 626988472382403694470127297694393*c_0101_6^8 + 52916248219037126192900967327431429970461749973759/1348372455519776\ 26988472382403694470127297694393*c_0101_6^7 + 75930337788166566359823370721521630921230120272678/1348372455519776\ 26988472382403694470127297694393*c_0101_6^6 - 32107994345558805379962885279052003035739123545944/1348372455519776\ 26988472382403694470127297694393*c_0101_6^5 + 17914961207369990062794745595770805669046957238678/1348372455519776\ 26988472382403694470127297694393*c_0101_6^4 - 6983542054235815449879616258551066684208236142293/13483724555197762\ 6988472382403694470127297694393*c_0101_6^3 + 822292270306886154122028070973044711685454058341/134837245551977626\ 988472382403694470127297694393*c_0101_6^2 + 1055033015055879352175806580727573293480416992231/13483724555197762\ 6988472382403694470127297694393*c_0101_6 - 536967972817238072112524600471941219698114823591/134837245551977626\ 988472382403694470127297694393, c_0101_4 - 242937638055641598955046464066720313684698779324/13483724555\ 1977626988472382403694470127297694393*c_0101_6^23 - 1062175117386695790750513254642178050184684513030/13483724555197762\ 6988472382403694470127297694393*c_0101_6^22 + 1067133035022475309303847192677225102065488699180/13483724555197762\ 6988472382403694470127297694393*c_0101_6^21 + 6492000272812761838095808122471585434720680006523/13483724555197762\ 6988472382403694470127297694393*c_0101_6^20 + 44182511214072045599012725485701619168405167607987/1348372455519776\ 26988472382403694470127297694393*c_0101_6^19 + 96978067925016566335876723841287285322821671684939/1348372455519776\ 26988472382403694470127297694393*c_0101_6^18 - 174695658311392305255625374028544212304293513395201/134837245551977\ 626988472382403694470127297694393*c_0101_6^17 - 316770252185051152778609094961488634522239038404298/134837245551977\ 626988472382403694470127297694393*c_0101_6^16 - 1363472980024110876588738216725174247030750481056735/13483724555197\ 7626988472382403694470127297694393*c_0101_6^15 - 3022298983799679925594443208277561639156959736061711/13483724555197\ 7626988472382403694470127297694393*c_0101_6^14 + 1598588671072405560998996697366352865778852961735917/13483724555197\ 7626988472382403694470127297694393*c_0101_6^13 + 3035347319437176161776666188241136104785510650955479/13483724555197\ 7626988472382403694470127297694393*c_0101_6^12 - 270676020695962261855778384869389002683577779824582/134837245551977\ 626988472382403694470127297694393*c_0101_6^11 + 313596856548104830082777873285324180020559414405970/134837245551977\ 626988472382403694470127297694393*c_0101_6^10 - 1191095200820554161905776417916976595009128605404941/13483724555197\ 7626988472382403694470127297694393*c_0101_6^9 + 692723106011385506482927519967293990416569455422712/134837245551977\ 626988472382403694470127297694393*c_0101_6^8 + 12520040356582578976579696439165150063522010813185/1348372455519776\ 26988472382403694470127297694393*c_0101_6^7 - 177380967926740191099099582416086672857590738549802/134837245551977\ 626988472382403694470127297694393*c_0101_6^6 + 50442588295524707142807999315690526340939955514990/1348372455519776\ 26988472382403694470127297694393*c_0101_6^5 - 27264218711679730202734250892176596484209566503936/1348372455519776\ 26988472382403694470127297694393*c_0101_6^4 + 11209235011494474796387619224752834876505500888467/1348372455519776\ 26988472382403694470127297694393*c_0101_6^3 - 120775784873977738463013084285261122028852030381/134837245551977626\ 988472382403694470127297694393*c_0101_6^2 - 2861858344949340845867316373917277187577344280437/13483724555197762\ 6988472382403694470127297694393*c_0101_6 + 776788831529003750387240164188904767889776707217/134837245551977626\ 988472382403694470127297694393, c_0101_5 + 303028805276263473172759004348212808514844013910/13483724555\ 1977626988472382403694470127297694393*c_0101_6^23 + 1306331652253608212617091780882991105853653887325/13483724555197762\ 6988472382403694470127297694393*c_0101_6^22 - 1416849838587136969449414904948069613505883883860/13483724555197762\ 6988472382403694470127297694393*c_0101_6^21 - 8034454589108515321340412932653376667491738381613/13483724555197762\ 6988472382403694470127297694393*c_0101_6^20 - 54585156032266101809019293522752468721108578902036/1348372455519776\ 26988472382403694470127297694393*c_0101_6^19 - 117461053603003699413060367460121266633169639706159/134837245551977\ 626988472382403694470127297694393*c_0101_6^18 + 226100473976897898470114414206858572313434470491202/134837245551977\ 626988472382403694470127297694393*c_0101_6^17 + 383211646089636711936128011667341168032266310924260/134837245551977\ 626988472382403694470127297694393*c_0101_6^16 + 1672094624793797221951425216339785953104175955461220/13483724555197\ 7626988472382403694470127297694393*c_0101_6^15 + 3659611095698699786595873878018278402434233313341591/13483724555197\ 7626988472382403694470127297694393*c_0101_6^14 - 2247292285923152795755300498447085944891394781528952/13483724555197\ 7626988472382403694470127297694393*c_0101_6^13 - 3707063282093929914853426449834616584645596722588386/13483724555197\ 7626988472382403694470127297694393*c_0101_6^12 + 636153105843922229487817688269027372337694111747586/134837245551977\ 626988472382403694470127297694393*c_0101_6^11 - 326566315521143355519972413574286186445131415133920/134837245551977\ 626988472382403694470127297694393*c_0101_6^10 + 1486910535773600757925603340801961636817831983156856/13483724555197\ 7626988472382403694470127297694393*c_0101_6^9 - 985863287508699305217946462794621683445021963557472/134837245551977\ 626988472382403694470127297694393*c_0101_6^8 - 7232654593234990988710052787736135467022599113027/13483724555197762\ 6988472382403694470127297694393*c_0101_6^7 + 237948375666014258106903016678575536817641675416744/134837245551977\ 626988472382403694470127297694393*c_0101_6^6 - 67558544086033682538633840116733900996944185820698/1348372455519776\ 26988472382403694470127297694393*c_0101_6^5 + 35375440303837364447193723408674896703104554456347/1348372455519776\ 26988472382403694470127297694393*c_0101_6^4 - 15864418707656730064730418997927846485756192348755/1348372455519776\ 26988472382403694470127297694393*c_0101_6^3 + 442306805528723212383810538140748442420496789926/134837245551977626\ 988472382403694470127297694393*c_0101_6^2 + 4164361393577524426116098489048510795664501476992/13483724555197762\ 6988472382403694470127297694393*c_0101_6 - 1024661960038977568753023731903230990394825652939/13483724555197762\ 6988472382403694470127297694393, c_0101_6^24 + 4*c_0101_6^23 - 6*c_0101_6^22 - 25*c_0101_6^21 - 172*c_0101_6^20 - 332*c_0101_6^19 + 864*c_0101_6^18 + 1028*c_0101_6^17 + 5140*c_0101_6^16 + 10375*c_0101_6^15 - 11093*c_0101_6^14 - 9784*c_0101_6^13 + 5680*c_0101_6^12 - 1865*c_0101_6^11 + 5361*c_0101_6^10 - 4795*c_0101_6^9 + 1098*c_0101_6^8 + 686*c_0101_6^7 - 438*c_0101_6^6 + 185*c_0101_6^5 - 90*c_0101_6^4 + 20*c_0101_6^3 + 11*c_0101_6^2 - 7*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB