Magma V2.19-8 Tue Aug 20 2013 16:15:53 on localhost [Seed = 3566553327] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0105 geometric_solution 3.63274881 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0.728819043307 0.030568460655 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 1 -1 -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 -1 1 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.901507745221 0.026878997750 1 3 1 3 0132 0132 1023 1023 0 0 0 0 0 0 -1 1 1 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 1 -1 -1 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.839458485874 0.061889561690 4 2 4 2 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 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.666123747449 0.236680225161 3 5 3 6 0132 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 1 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.955940138215 1.947434730673 6 4 6 6 3201 0132 2310 3120 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 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.009490420173 1.005608635058 5 5 4 5 3120 3201 0132 2310 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 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.009490420173 1.005608635058 ==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' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : negation(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' : d['c_0011_1'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(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_1'], '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_0101_5']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_4'], '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_6, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 387085817285037739182976383113818762134067677006/652651100949216097\ 4124830231211840785780036615*c_0101_5^24 - 2904862178328072886669046431222687205436192684928/65265110094921609\ 74124830231211840785780036615*c_0101_5^23 - 14997297483263744792905711456113914479403943397008/6526511009492160\ 974124830231211840785780036615*c_0101_5^22 - 511171103019673703034512267630524065500851275479/186471743128347456\ 403566578034624022450858189*c_0101_5^21 + 15835815664851546089363565948870066080983359059549/9323587156417372\ 82017832890173120112254290945*c_0101_5^20 + 510862169745403774149679028091125287092811173064111/652651100949216\ 0974124830231211840785780036615*c_0101_5^19 + 20602269368368208978772507147694881748467592875452/1864717431283474\ 56403566578034624022450858189*c_0101_5^18 - 53494381084370812047135120395663357722506283005314/9323587156417372\ 82017832890173120112254290945*c_0101_5^17 - 501616524115413320085030505084880001415659703078577/130530220189843\ 2194824966046242368157156007323*c_0101_5^16 - 2854267963189693664030607077022464621854625039340862/65265110094921\ 60974124830231211840785780036615*c_0101_5^15 - 411819180446397381005299252258827167998496887507877/652651100949216\ 0974124830231211840785780036615*c_0101_5^14 + 28642598892982550665309914228515676734549255423912/1305302201898432\ 194824966046242368157156007323*c_0101_5^13 - 664929726390370074958928095154456236625510957624332/130530220189843\ 2194824966046242368157156007323*c_0101_5^12 - 4523869533599241728947035320151983666538231154558231/65265110094921\ 60974124830231211840785780036615*c_0101_5^11 - 11255806587610241981515907444517539047368532393/3294553765518506296\ 882801732060495096304915*c_0101_5^10 + 2687690667363258444116496842511373577899217527897919/65265110094921\ 60974124830231211840785780036615*c_0101_5^9 - 99750540625977290909627399639935284919393477083369/9323587156417372\ 82017832890173120112254290945*c_0101_5^8 - 2061804964423066555906960745755542923906690124858906/65265110094921\ 60974124830231211840785780036615*c_0101_5^7 + 434148182207913187257713730854641053576852957729177/652651100949216\ 0974124830231211840785780036615*c_0101_5^6 + 174253882617437337956167652113272758695357740309660/130530220189843\ 2194824966046242368157156007323*c_0101_5^5 - 32855790806536869194044067845203538353322652059248/6526511009492160\ 974124830231211840785780036615*c_0101_5^4 - 26555001205151018608653063125934860754781716520126/1305302201898432\ 194824966046242368157156007323*c_0101_5^3 - 10851737759295444504951398871577054432248842347008/6526511009492160\ 974124830231211840785780036615*c_0101_5^2 + 5858103327132372380553412840577660215599253388198/65265110094921609\ 74124830231211840785780036615*c_0101_5 + 953883043191866243370925220627542798536451537774/652651100949216097\ 4124830231211840785780036615, c_0011_0 - 1, c_0011_1 - 1206702029432365114259519897680267296422395827/1864717431283\ 47456403566578034624022450858189*c_0101_5^24 - 9007030985452920154515616792153825184383145975/18647174312834745640\ 3566578034624022450858189*c_0101_5^23 - 46425611775058309954588004437167072323497234619/1864717431283474564\ 03566578034624022450858189*c_0101_5^22 - 54205096210112319889149044169714165714652528007/1864717431283474564\ 03566578034624022450858189*c_0101_5^21 + 346122546099671106202774912563672932943636758739/186471743128347456\ 403566578034624022450858189*c_0101_5^20 + 1575726108334059399462008021011142775211775959078/18647174312834745\ 6403566578034624022450858189*c_0101_5^19 + 2193316054150263285956475001251359043742111436955/18647174312834745\ 6403566578034624022450858189*c_0101_5^18 - 1199039270916553377545624613509787415134754607526/18647174312834745\ 6403566578034624022450858189*c_0101_5^17 - 7662091741293619176742526877363961963256185402884/18647174312834745\ 6403566578034624022450858189*c_0101_5^16 - 8567758078800109748434264643666991399489532347714/18647174312834745\ 6403566578034624022450858189*c_0101_5^15 - 1204165192484117439474562894578828981149663531392/18647174312834745\ 6403566578034624022450858189*c_0101_5^14 + 33208804767100490108580135027452039944375357326/1864717431283474564\ 03566578034624022450858189*c_0101_5^13 - 10620638824227198772112817483863840541707843220751/1864717431283474\ 56403566578034624022450858189*c_0101_5^12 - 13697033191727304188506135794190558478264386831140/1864717431283474\ 56403566578034624022450858189*c_0101_5^11 + 550068626410833377983225104833208790558570036/658910753103701259376\ 560346412099019260983*c_0101_5^10 + 7672121023837786743206310373524930292422218211548/18647174312834745\ 6403566578034624022450858189*c_0101_5^9 - 2829202413835280171566916642106695122239197948265/18647174312834745\ 6403566578034624022450858189*c_0101_5^8 - 6062951083220591869109163386451780009512811386850/18647174312834745\ 6403566578034624022450858189*c_0101_5^7 + 1702915571419989712193638876998010771475266371254/18647174312834745\ 6403566578034624022450858189*c_0101_5^6 + 2376479410493629750475221327513354983785148935955/18647174312834745\ 6403566578034624022450858189*c_0101_5^5 - 288949901634629851623712484717662247262431778360/186471743128347456\ 403566578034624022450858189*c_0101_5^4 - 282761683946954574855064403494112107638000772903/186471743128347456\ 403566578034624022450858189*c_0101_5^3 + 21845731449096260423436564014579849958121813398/1864717431283474564\ 03566578034624022450858189*c_0101_5^2 + 4056332835427296863989873508867051256383588507/18647174312834745640\ 3566578034624022450858189*c_0101_5 - 2452282830608880577561907010981579885745740853/18647174312834745640\ 3566578034624022450858189, c_0011_6 + 748727779936227674021585325270697960758524383/18647174312834\ 7456403566578034624022450858189*c_0101_5^24 + 5644732643996847106109092937688222065040525043/18647174312834745640\ 3566578034624022450858189*c_0101_5^23 + 29210205007627184847985661801255115524177796910/1864717431283474564\ 03566578034624022450858189*c_0101_5^22 + 35688981778178936943338785402100863884444737934/1864717431283474564\ 03566578034624022450858189*c_0101_5^21 - 212755336569105201572933729990556860135788235947/186471743128347456\ 403566578034624022450858189*c_0101_5^20 - 994231258944570386686512541819130749334066341172/186471743128347456\ 403566578034624022450858189*c_0101_5^19 - 1429795950301336825870178671760784063761443066349/18647174312834745\ 6403566578034624022450858189*c_0101_5^18 + 659243510748453690160936700937853776567355003008/186471743128347456\ 403566578034624022450858189*c_0101_5^17 + 4829187406688388273108633374694137982683963194772/18647174312834745\ 6403566578034624022450858189*c_0101_5^16 + 5649031190933120924352710529248760967259287921418/18647174312834745\ 6403566578034624022450858189*c_0101_5^15 + 1060478951752334736960844586013632369853070033809/18647174312834745\ 6403566578034624022450858189*c_0101_5^14 - 33922177871117831024139906591149827409323407726/1864717431283474564\ 03566578034624022450858189*c_0101_5^13 + 6607111707352638322977215714105435172137249267918/18647174312834745\ 6403566578034624022450858189*c_0101_5^12 + 8994238451396961766003702451888896837451680250219/18647174312834745\ 6403566578034624022450858189*c_0101_5^11 + 1470073672101770574395183119598180774566168621/65891075310370125937\ 6560346412099019260983*c_0101_5^10 - 4881119458401716634505108850379362659095308612279/18647174312834745\ 6403566578034624022450858189*c_0101_5^9 + 1455247437073436540697943338319037697038321642620/18647174312834745\ 6403566578034624022450858189*c_0101_5^8 + 3977681411505895741697016745231745553949885568688/18647174312834745\ 6403566578034624022450858189*c_0101_5^7 - 837177812287159461938394308165724381566410617118/186471743128347456\ 403566578034624022450858189*c_0101_5^6 - 1605399291377041736620706664604955587631356625329/18647174312834745\ 6403566578034624022450858189*c_0101_5^5 + 112217126726235032105101350563696601209819462038/186471743128347456\ 403566578034624022450858189*c_0101_5^4 + 205618179746564805188451629746582433967148809358/186471743128347456\ 403566578034624022450858189*c_0101_5^3 - 10540437805143536146891685031817799593411785614/1864717431283474564\ 03566578034624022450858189*c_0101_5^2 - 4193712053872337820358040159288988510557825929/18647174312834745640\ 3566578034624022450858189*c_0101_5 + 1787227658613404283861289809091095727052045836/18647174312834745640\ 3566578034624022450858189, c_0101_0 - 667642751436722917782543010105255435795815450/18647174312834\ 7456403566578034624022450858189*c_0101_5^24 - 5230538289572185609372213606580790636929236370/18647174312834745640\ 3566578034624022450858189*c_0101_5^23 - 27450713345380517607749281724285671041464204349/1864717431283474564\ 03566578034624022450858189*c_0101_5^22 - 38921386631311936191146298665228086775391908214/1864717431283474564\ 03566578034624022450858189*c_0101_5^21 + 183333581863738537278665505876299343874974575478/186471743128347456\ 403566578034624022450858189*c_0101_5^20 + 945522139931933551179246593014603307221125542661/186471743128347456\ 403566578034624022450858189*c_0101_5^19 + 1512499607936785536517065445268846762626076604280/18647174312834745\ 6403566578034624022450858189*c_0101_5^18 - 312471749954007079753056398456214979809432925140/186471743128347456\ 403566578034624022450858189*c_0101_5^17 - 4604389126337636413247921908865126256588422246274/18647174312834745\ 6403566578034624022450858189*c_0101_5^16 - 6199391173556604021952050230614837117326464931103/18647174312834745\ 6403566578034624022450858189*c_0101_5^15 - 1944707186481583195631780188599999332271328207026/18647174312834745\ 6403566578034624022450858189*c_0101_5^14 + 212528813923294378923043624256895575253195989401/186471743128347456\ 403566578034624022450858189*c_0101_5^13 - 5899388105385356397751724595957038924819338090995/18647174312834745\ 6403566578034624022450858189*c_0101_5^12 - 9733900616347564639280183393040261880625017996557/18647174312834745\ 6403566578034624022450858189*c_0101_5^11 - 7112448215916546290992494117162821127195661212/65891075310370125937\ 6560346412099019260983*c_0101_5^10 + 4997353304739116136046047394582655230306758066371/18647174312834745\ 6403566578034624022450858189*c_0101_5^9 - 185191374517057318542609502463109146056390475650/186471743128347456\ 403566578034624022450858189*c_0101_5^8 - 4369778861433944572095861652819703584705802396579/18647174312834745\ 6403566578034624022450858189*c_0101_5^7 + 13256483831126902876288500584725191706382566665/1864717431283474564\ 03566578034624022450858189*c_0101_5^6 + 1974354497330081716910505938276241304194596430687/18647174312834745\ 6403566578034624022450858189*c_0101_5^5 + 132613753908785076376397145803755389326419043817/186471743128347456\ 403566578034624022450858189*c_0101_5^4 - 311553794041567776298069797950763541362920483755/186471743128347456\ 403566578034624022450858189*c_0101_5^3 - 1169792597480258258789502949688604967916378688/18647174312834745640\ 3566578034624022450858189*c_0101_5^2 + 10775106990834745409437243882926586224067675767/1864717431283474564\ 03566578034624022450858189*c_0101_5 - 2889823882388709355459517514587118142331683628/18647174312834745640\ 3566578034624022450858189, c_0101_1 - 1350095992323347375453355984726900566194073198/1864717431283\ 47456403566578034624022450858189*c_0101_5^24 - 10094766095889422135856047065067069499088332117/1864717431283474564\ 03566578034624022450858189*c_0101_5^23 - 52064830231259349674048970279449572356877732706/1864717431283474564\ 03566578034624022450858189*c_0101_5^22 - 61261754197601028034104588474455755869363271441/1864717431283474564\ 03566578034624022450858189*c_0101_5^21 + 386749217123288040700372262667736835834622977924/186471743128347456\ 403566578034624022450858189*c_0101_5^20 + 1768241049814200429180744580336104621267061000907/18647174312834745\ 6403566578034624022450858189*c_0101_5^19 + 2474474875466240121150338572546990179743461065910/18647174312834745\ 6403566578034624022450858189*c_0101_5^18 - 1319166550918464019522030668119498321748393684260/18647174312834745\ 6403566578034624022450858189*c_0101_5^17 - 8601494681506786463456850853371879233793186086499/18647174312834745\ 6403566578034624022450858189*c_0101_5^16 - 9686936795029104726941459709509234623307405046744/18647174312834745\ 6403566578034624022450858189*c_0101_5^15 - 1426592381146282195904886512468293353439875763371/18647174312834745\ 6403566578034624022450858189*c_0101_5^14 + 62969783220810659091093533477225070173503517928/1864717431283474564\ 03566578034624022450858189*c_0101_5^13 - 11881057733178784199306938864793559898927721635761/1864717431283474\ 56403566578034624022450858189*c_0101_5^12 - 15473303485240037828532579820867846181562673361926/1864717431283474\ 56403566578034624022450858189*c_0101_5^11 + 151664348515448316660216091283766948895239648/658910753103701259376\ 560346412099019260983*c_0101_5^10 + 8656038248082615154082408026645847288267461267608/18647174312834745\ 6403566578034624022450858189*c_0101_5^9 - 3066476209100525100397334178932190031159185337442/18647174312834745\ 6403566578034624022450858189*c_0101_5^8 - 6861305967274178414725979614065861768361868544888/18647174312834745\ 6403566578034624022450858189*c_0101_5^7 + 1844875135711789273456557611712428704838884854552/18647174312834745\ 6403566578034624022450858189*c_0101_5^6 + 2711342402053699463545679213925851749702693095032/18647174312834745\ 6403566578034624022450858189*c_0101_5^5 - 304126470646324956088852008665928831480952709961/186471743128347456\ 403566578034624022450858189*c_0101_5^4 - 329035492439111162817156484506485402540025371335/186471743128347456\ 403566578034624022450858189*c_0101_5^3 + 23282849986685880944564020465437337570736904633/1864717431283474564\ 03566578034624022450858189*c_0101_5^2 + 5220141832950434811664478176488838443385439494/18647174312834745640\ 3566578034624022450858189*c_0101_5 - 2710828644135168176490995918495002168175681223/18647174312834745640\ 3566578034624022450858189, c_0101_4 - 437334582051595998095140912905638943921536662/18647174312834\ 7456403566578034624022450858189*c_0101_5^24 - 3483335824299107106221088117231728994241552795/18647174312834745640\ 3566578034624022450858189*c_0101_5^23 - 18403618818426246602122643562253270215780432633/1864717431283474564\ 03566578034624022450858189*c_0101_5^22 - 27672074601353713067044601105713068171311895069/1864717431283474564\ 03566578034624022450858189*c_0101_5^21 + 117608316258876355502550479160039448219537295909/186471743128347456\ 403566578034624022450858189*c_0101_5^20 + 635540883999209748458936933514969272039827729865/186471743128347456\ 403566578034624022450858189*c_0101_5^19 + 1063728745833087199913055690260010504752598044993/18647174312834745\ 6403566578034624022450858189*c_0101_5^18 - 103381088021422411271246994558938668299357966296/186471743128347456\ 403566578034624022450858189*c_0101_5^17 - 3067518569087756107398705424191818608013946851494/18647174312834745\ 6403566578034624022450858189*c_0101_5^16 - 4401626511905902840887869608627458653195039123138/18647174312834745\ 6403566578034624022450858189*c_0101_5^15 - 1661624616685560803603659699911255513232594997206/18647174312834745\ 6403566578034624022450858189*c_0101_5^14 + 52832345428380568088498696119806469471273525165/1864717431283474564\ 03566578034624022450858189*c_0101_5^13 - 3927303341398192351442499005601251102579279121005/18647174312834745\ 6403566578034624022450858189*c_0101_5^12 - 6898305227504451852501052666595457713965512284469/18647174312834745\ 6403566578034624022450858189*c_0101_5^11 - 6875580706233100259617271548204924908529121321/65891075310370125937\ 6560346412099019260983*c_0101_5^10 + 3236213298077673433622261515281226356543391458504/18647174312834745\ 6403566578034624022450858189*c_0101_5^9 + 130833632583761827641554240999496954476442344393/186471743128347456\ 403566578034624022450858189*c_0101_5^8 - 3035542291376237544641241838104597061706930484038/18647174312834745\ 6403566578034624022450858189*c_0101_5^7 - 231019605304507385880788875710465855800759820070/186471743128347456\ 403566578034624022450858189*c_0101_5^6 + 1365767023750594487161012814324490367782505008689/18647174312834745\ 6403566578034624022450858189*c_0101_5^5 + 154088014568820273155600170044287864801490941709/186471743128347456\ 403566578034624022450858189*c_0101_5^4 - 216715568847857917072194499679449602539057432145/186471743128347456\ 403566578034624022450858189*c_0101_5^3 - 2902672974077369300819059027742049741786673626/18647174312834745640\ 3566578034624022450858189*c_0101_5^2 + 8088114250693829196480044002442046153753995203/18647174312834745640\ 3566578034624022450858189*c_0101_5 - 2045808278862779244078585778512559567827394909/18647174312834745640\ 3566578034624022450858189, c_0101_5^25 + 7*c_0101_5^24 + 35*c_0101_5^23 + 27*c_0101_5^22 - 308*c_0101_5^21 - 1173*c_0101_5^20 - 1209*c_0101_5^19 + 1848*c_0101_5^18 + 5902*c_0101_5^17 + 4142*c_0101_5^16 - 2350*c_0101_5^15 - 542*c_0101_5^14 + 8815*c_0101_5^13 + 7266*c_0101_5^12 - 5473*c_0101_5^11 - 6382*c_0101_5^10 + 5312*c_0101_5^9 + 3988*c_0101_5^8 - 3773*c_0101_5^7 - 1353*c_0101_5^6 + 1173*c_0101_5^5 + 137*c_0101_5^4 - 132*c_0101_5^3 + 4*c_0101_5^2 + 4*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB