Magma V2.19-8 Tue Aug 20 2013 16:15:55 on localhost [Seed = 1242289777] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0145 geometric_solution 3.64276282 oriented_manifold CS_known 0.0000000000000009 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 3201 3201 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 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.859003761324 0.140751189180 0 0 3 3 0132 2310 3201 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 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.327377117071 0.091852724163 0 0 2 2 2310 0132 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3.876408603346 0.198967803613 1 4 1 5 2310 0132 0132 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 -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.489329963914 0.373762014383 6 3 6 5 0132 0132 3120 1230 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 2 0 -1 -1 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.004831605859 1.979538130278 4 6 3 6 3012 1302 0132 3201 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 -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.004831605859 1.979538130278 4 5 4 5 0132 2310 3120 2031 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 -1 1 -2 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.004831605859 1.979538130278 ==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' : d['1'], 's_3_4' : 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' : negation(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' : d['1'], 's_0_6' : negation(d['1']), 's_0_4' : negation(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' : negation(d['c_0101_4']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0101_2'], 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_4'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : negation(d['c_0011_5']), 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 281343915055308539062980918392532890685612793557366834099/178311954\ 9902600648581342711543985002970020525571229536*c_0101_4^22 - 1171983448930428155459323574812307551062989339852086861729/17831195\ 49902600648581342711543985002970020525571229536*c_0101_4^21 + 678035739776154732235837246595456222399122135327234082065/137163042\ 300200049890872516272614230997693886582402272*c_0101_4^20 + 34682430942468149725159212236031590493673180499569707124037/1783119\ 549902600648581342711543985002970020525571229536*c_0101_4^19 - 21269490453570201707925004352665139139953745996248172238585/8915597\ 74951300324290671355771992501485010262785614768*c_0101_4^18 - 4303989030260514319529538562282167974118930137367210466305/55722485\ 934456270268166959735749531342813141424100923*c_0101_4^17 - 236356655090790169903184888611891626117321653670510162163275/891559\ 774951300324290671355771992501485010262785614768*c_0101_4^16 - 943128906213634060826332332278476031374377624947725818050139/891559\ 774951300324290671355771992501485010262785614768*c_0101_4^15 - 63230823847056916671316983901522573137034531619268990142485/1371630\ 42300200049890872516272614230997693886582402272*c_0101_4^14 - 484705448027316920649359191820958289190233390546646779376307/137163\ 042300200049890872516272614230997693886582402272*c_0101_4^13 - 1288085424553791861682178736466633967869779720824984679065173/89155\ 9774951300324290671355771992501485010262785614768*c_0101_4^12 - 2841907696187831408734691311426420759893103703854722285544691/44577\ 9887475650162145335677885996250742505131392807384*c_0101_4^11 - 574148984515881706267191469473761687811859499108202951552383/222889\ 943737825081072667838942998125371252565696403692*c_0101_4^10 - 2925137295874201073421334188509085226256828932649332959602197/44577\ 9887475650162145335677885996250742505131392807384*c_0101_4^9 - 2577558918373504507515122807280902091500696536843126024377071/89155\ 9774951300324290671355771992501485010262785614768*c_0101_4^8 - 6006795855274943101294183902825929555784319186073686671281043/17831\ 19549902600648581342711543985002970020525571229536*c_0101_4^7 - 354035488573450442757420514599832718713785128154107726189693/178311\ 9549902600648581342711543985002970020525571229536*c_0101_4^6 - 1174474975016849461771577817896889606816320883265913308068867/17831\ 19549902600648581342711543985002970020525571229536*c_0101_4^5 + 791842475457279367035461142109838254147797888717741656845/685815211\ 50100024945436258136307115498846943291201136*c_0101_4^4 - 307522126431666953370199533326649260976664468012265957609235/178311\ 9549902600648581342711543985002970020525571229536*c_0101_4^3 + 9587983082381575768165795902041729371403420832337668277227/22288994\ 3737825081072667838942998125371252565696403692*c_0101_4^2 - 14079595396122221705821217029475516803134931118949768834279/1783119\ 549902600648581342711543985002970020525571229536*c_0101_4 + 408650977031914250827442447793214622586169904277824652841/178311954\ 9902600648581342711543985002970020525571229536, c_0011_0 - 1, c_0011_3 + 2925684722876778657619729917517790738875652626613/1478050024\ 78663846865164349431696369609583929506899*c_0101_4^22 + 12613645333236888730869903237373656524426816371610/1478050024786638\ 46865164349431696369609583929506899*c_0101_4^21 - 89807705026358821826278240625046803053265372752128/1478050024786638\ 46865164349431696369609583929506899*c_0101_4^20 - 373738458714539558046758781572605592635091390234305/147805002478663\ 846865164349431696369609583929506899*c_0101_4^19 + 387194916806463508967814338920242499927146776673691/147805002478663\ 846865164349431696369609583929506899*c_0101_4^18 + 1488685084517758335150395803117258607223682073481075/14780500247866\ 3846865164349431696369609583929506899*c_0101_4^17 + 5141495546094671353598703329386970676878265002746527/14780500247866\ 3846865164349431696369609583929506899*c_0101_4^16 + 20358660169885797588608906763132360832745016705393782/1478050024786\ 63846865164349431696369609583929506899*c_0101_4^15 + 11513952341264055854366685035559167549215097700016082/1478050024786\ 63846865164349431696369609583929506899*c_0101_4^14 + 67226939934457693996680429881916434927054298198619551/1478050024786\ 63846865164349431696369609583929506899*c_0101_4^13 + 36291212182513388239513704933608780043646987743950523/1478050024786\ 63846865164349431696369609583929506899*c_0101_4^12 + 123912412126443944581858796533538357469810568707905373/147805002478\ 663846865164349431696369609583929506899*c_0101_4^11 + 64819957775689943834410655970537310059063313252245621/1478050024786\ 63846865164349431696369609583929506899*c_0101_4^10 + 131951805584837699897218953401770452636460384570520076/147805002478\ 663846865164349431696369609583929506899*c_0101_4^9 + 71235820611726917169148409968329724218906896685448014/1478050024786\ 63846865164349431696369609583929506899*c_0101_4^8 + 73989221518666851263383117114746344778108874297310248/1478050024786\ 63846865164349431696369609583929506899*c_0101_4^7 + 13163840636746993988115836041942288831831139507381892/1478050024786\ 63846865164349431696369609583929506899*c_0101_4^6 + 15002522782174183859880350201570041303533628328627034/1478050024786\ 63846865164349431696369609583929506899*c_0101_4^5 + 1549935698124170439708238031236661778478763068170917/14780500247866\ 3846865164349431696369609583929506899*c_0101_4^4 + 4456665996462297538859255468117183161214931679996900/14780500247866\ 3846865164349431696369609583929506899*c_0101_4^3 - 351390086677624911659129183797141024508239037779203/147805002478663\ 846865164349431696369609583929506899*c_0101_4^2 + 112258587947824295324404345162035266164116913483126/147805002478663\ 846865164349431696369609583929506899*c_0101_4 - 45090114926871302945726267988233426516892277211374/1478050024786638\ 46865164349431696369609583929506899, c_0011_5 - 47892975304248816492461477854131120797806341243565/295610004\ 957327693730328698863392739219167859013798*c_0101_4^22 - 192837471467021850944770630472686019871395305334355/295610004957327\ 693730328698863392739219167859013798*c_0101_4^21 + 1528897521790453236639741078578197229773551937421739/29561000495732\ 7693730328698863392739219167859013798*c_0101_4^20 + 5697482942782483324037386898042001992777070100766395/29561000495732\ 7693730328698863392739219167859013798*c_0101_4^19 - 4042019334107360338269355399832280660001427944529219/14780500247866\ 3846865164349431696369609583929506899*c_0101_4^18 - 11253750432833348264517528805112886331291907023308270/1478050024786\ 63846865164349431696369609583929506899*c_0101_4^17 - 38546110327392937669746195524672680543181760933427504/1478050024786\ 63846865164349431696369609583929506899*c_0101_4^16 - 154825662305063873980789938999083001512276774393275768/147805002478\ 663846865164349431696369609583929506899*c_0101_4^15 - 94187898768924301370554325296428522985339476760316887/2956100049573\ 27693730328698863392739219167859013798*c_0101_4^14 - 1049096062832782118060643392298740198194096021513409397/29561000495\ 7327693730328698863392739219167859013798*c_0101_4^13 - 144165110132939701179717889307484685562982132341343780/147805002478\ 663846865164349431696369609583929506899*c_0101_4^12 - 929165372903345966758274494957539861182395905277331298/147805002478\ 663846865164349431696369609583929506899*c_0101_4^11 - 255743701987428496965108866321841128386734786646760181/147805002478\ 663846865164349431696369609583929506899*c_0101_4^10 - 926178241952004562325857852237116893049031902926320885/147805002478\ 663846865164349431696369609583929506899*c_0101_4^9 - 298961626121004094153654317442354860498085657552080215/147805002478\ 663846865164349431696369609583929506899*c_0101_4^8 - 866822067315595659193838222695214785763020622076355785/295610004957\ 327693730328698863392739219167859013798*c_0101_4^7 + 86812578130524148258307311792922368827245033243439879/2956100049573\ 27693730328698863392739219167859013798*c_0101_4^6 - 173346411167195797986546305719993163434296694238476985/295610004957\ 327693730328698863392739219167859013798*c_0101_4^5 + 15439871923515734710264481559455559698798212242681184/1478050024786\ 63846865164349431696369609583929506899*c_0101_4^4 - 48742155775847737282959877023281304514892793569353561/2956100049573\ 27693730328698863392739219167859013798*c_0101_4^3 + 9484796339992567333675296968669411604405282560706749/14780500247866\ 3846865164349431696369609583929506899*c_0101_4^2 - 3411108993588250082520284708208244624819035177844145/29561000495732\ 7693730328698863392739219167859013798*c_0101_4 + 274554109628210101676381961618330259885194177418941/295610004957327\ 693730328698863392739219167859013798, c_0101_0 - 4069317659743475673387252478300193468750165134575/1478050024\ 78663846865164349431696369609583929506899*c_0101_4^22 - 17549055388930893253115253089589526274638252014799/1478050024786638\ 46865164349431696369609583929506899*c_0101_4^21 + 125072571845159342270849833895272417524369826709680/147805002478663\ 846865164349431696369609583929506899*c_0101_4^20 + 520647147662785042993413645890890411726165225322966/147805002478663\ 846865164349431696369609583929506899*c_0101_4^19 - 543931559473393377112058680453449727431935759091014/147805002478663\ 846865164349431696369609583929506899*c_0101_4^18 - 2090886820350148559503325468816151223680283564024420/14780500247866\ 3846865164349431696369609583929506899*c_0101_4^17 - 7115958776115620907069516229124522311663874182473237/14780500247866\ 3846865164349431696369609583929506899*c_0101_4^16 - 28249621570983993515546195664374238434645917757461200/1478050024786\ 63846865164349431696369609583929506899*c_0101_4^15 - 15790458793986659705247501730759376875576512732657972/1478050024786\ 63846865164349431696369609583929506899*c_0101_4^14 - 92449687922194526214770983420306100740635019420879454/1478050024786\ 63846865164349431696369609583929506899*c_0101_4^13 - 50609706033182436882842817401618565540487838790960220/1478050024786\ 63846865164349431696369609583929506899*c_0101_4^12 - 168612628270373272615887513115920997566889332976138922/147805002478\ 663846865164349431696369609583929506899*c_0101_4^11 - 90367912584162251431540114025397343124155913101211971/1478050024786\ 63846865164349431696369609583929506899*c_0101_4^10 - 177295466127139465837907858340876008784784470705445247/147805002478\ 663846865164349431696369609583929506899*c_0101_4^9 - 99018877315347956187024706669550187356681500324187123/1478050024786\ 63846865164349431696369609583929506899*c_0101_4^8 - 97210447657909216863805402557217338624814556359122419/1478050024786\ 63846865164349431696369609583929506899*c_0101_4^7 - 17453677879572283137756833371030190563847757520017910/1478050024786\ 63846865164349431696369609583929506899*c_0101_4^6 - 18851837646934590941854007014117606167707351642767759/1478050024786\ 63846865164349431696369609583929506899*c_0101_4^5 - 2751588696091395285027468261768043828692516790207657/14780500247866\ 3846865164349431696369609583929506899*c_0101_4^4 - 5347735907639463506833893668307501116885726777447577/14780500247866\ 3846865164349431696369609583929506899*c_0101_4^3 + 469815250143526348423270560992815905300035664349562/147805002478663\ 846865164349431696369609583929506899*c_0101_4^2 - 72643696789139929132312845154287122885616706394514/1478050024786638\ 46865164349431696369609583929506899*c_0101_4 + 94385136889457258820992191453161770477407168558851/1478050024786638\ 46865164349431696369609583929506899, c_0101_1 - 22503468939553155549631641608816978712515736069001/147805002\ 478663846865164349431696369609583929506899*c_0101_4^22 - 98649317419156252502330741631652429391948639141284/1478050024786638\ 46865164349431696369609583929506899*c_0101_4^21 + 683739416153979859045866296431445640591633013924175/147805002478663\ 846865164349431696369609583929506899*c_0101_4^20 + 2924608087571223861048044063263933347773217737143546/14780500247866\ 3846865164349431696369609583929506899*c_0101_4^19 - 2769655306191185334065340369538326920038052230795198/14780500247866\ 3846865164349431696369609583929506899*c_0101_4^18 - 11662660800914926144417894707686632316757533167185354/1478050024786\ 63846865164349431696369609583929506899*c_0101_4^17 - 40380329727717540489453136044509944890159240529430942/1478050024786\ 63846865164349431696369609583929506899*c_0101_4^16 - 159496428948533967504320499945486035569978864536300686/147805002478\ 663846865164349431696369609583929506899*c_0101_4^15 - 99906336882670203665247360527684141033695194637391033/1478050024786\ 63846865164349431696369609583929506899*c_0101_4^14 - 523520616107443120974184296707238966566378831867106998/147805002478\ 663846865164349431696369609583929506899*c_0101_4^13 - 316364076090424761498559598841354912648409975051563264/147805002478\ 663846865164349431696369609583929506899*c_0101_4^12 - 971878466641653139845735999346427772268086306000867514/147805002478\ 663846865164349431696369609583929506899*c_0101_4^11 - 567253905913534336492967534056808843751291166273254936/147805002478\ 663846865164349431696369609583929506899*c_0101_4^10 - 1045286049764921354989087109105055451225740928534817626/14780500247\ 8663846865164349431696369609583929506899*c_0101_4^9 - 620213945542906245384885219054314917755846327542434182/147805002478\ 663846865164349431696369609583929506899*c_0101_4^8 - 596294815202691020714621901492227368156064695827686505/147805002478\ 663846865164349431696369609583929506899*c_0101_4^7 - 139369686858722205210140664633779064232284299028397536/147805002478\ 663846865164349431696369609583929506899*c_0101_4^6 - 107919508493957037744095040617097085330140027043257990/147805002478\ 663846865164349431696369609583929506899*c_0101_4^5 - 15979885310585200438555736376680494498925829160127573/1478050024786\ 63846865164349431696369609583929506899*c_0101_4^4 - 25121255506717756325981053229510384886402503385838942/1478050024786\ 63846865164349431696369609583929506899*c_0101_4^3 + 1018326374332224195632957820933835086130996523894748/14780500247866\ 3846865164349431696369609583929506899*c_0101_4^2 - 6545058251473730462409489956644024715471519385469/14780500247866384\ 6865164349431696369609583929506899*c_0101_4 - 125419083082515102887396662501530786712196171043612/147805002478663\ 846865164349431696369609583929506899, c_0101_2 - 128989686594213884447379495632051662075172471002429/59122000\ 9914655387460657397726785478438335718027596*c_0101_4^22 - 574931451604851881248509370504978904455203641430077/591220009914655\ 387460657397726785478438335718027596*c_0101_4^21 + 3882438525049805746080112360486396846433846920415015/59122000991465\ 5387460657397726785478438335718027596*c_0101_4^20 + 17070749199326238862404176107330028067753554718995549/5912200099146\ 55387460657397726785478438335718027596*c_0101_4^19 - 7399279260249947657058257744694695543770421599102711/29561000495732\ 7693730328698863392739219167859013798*c_0101_4^18 - 17145366535960336415466927905387329952381510420644958/1478050024786\ 63846865164349431696369609583929506899*c_0101_4^17 - 117757703138018533068555288434788573071312974171616265/295610004957\ 327693730328698863392739219167859013798*c_0101_4^16 - 464471026752015911841180293257669049396336805901381735/295610004957\ 327693730328698863392739219167859013798*c_0101_4^15 - 632332550753778372489648370304807500327099230558591351/591220009914\ 655387460657397726785478438335718027596*c_0101_4^14 - 3012562646405551400312202670155424647876319114320872247/59122000991\ 4655387460657397726785478438335718027596*c_0101_4^13 - 1013433192535479150316759498922901055762829509032245755/29561000495\ 7327693730328698863392739219167859013798*c_0101_4^12 - 1401015009659322910408292265497430325889501920552717407/14780500247\ 8663846865164349431696369609583929506899*c_0101_4^11 - 909368169573748387907295904770773596995360026315015995/147805002478\ 663846865164349431696369609583929506899*c_0101_4^10 - 1515645404407943505573398750377177051226291992449426737/14780500247\ 8663846865164349431696369609583929506899*c_0101_4^9 - 1977008992373494562657741154277533775252493671457288385/29561000495\ 7327693730328698863392739219167859013798*c_0101_4^8 - 3527356252732670458788961854711974050985268535989031421/59122000991\ 4655387460657397726785478438335718027596*c_0101_4^7 - 1002305820402317666148886748361434845037952723523135729/59122000991\ 4655387460657397726785478438335718027596*c_0101_4^6 - 625906566913094168631505201605024588472463839729291381/591220009914\ 655387460657397726785478438335718027596*c_0101_4^5 - 38959133879393780285345805146729368763720505466591163/1478050024786\ 63846865164349431696369609583929506899*c_0101_4^4 - 149315091003359823852026137337287303472475400022937599/591220009914\ 655387460657397726785478438335718027596*c_0101_4^3 - 1988389388595002303018469233541703489289476040500225/14780500247866\ 3846865164349431696369609583929506899*c_0101_4^2 + 2840187211011645393246190858076395757037823951594179/59122000991465\ 5387460657397726785478438335718027596*c_0101_4 - 1532150832676720508278705581682498365990873418755451/59122000991465\ 5387460657397726785478438335718027596, c_0101_4^23 + 4*c_0101_4^22 - 32*c_0101_4^21 - 118*c_0101_4^20 + 171*c_0101_4^19 + 462*c_0101_4^18 + 1602*c_0101_4^17 + 6436*c_0101_4^16 + 1845*c_0101_4^15 + 22048*c_0101_4^14 + 5511*c_0101_4^13 + 39338*c_0101_4^12 + 9836*c_0101_4^11 + 39700*c_0101_4^10 + 11798*c_0101_4^9 + 19163*c_0101_4^8 - 1872*c_0101_4^7 + 4412*c_0101_4^6 - 717*c_0101_4^5 + 1191*c_0101_4^4 - 451*c_0101_4^3 + 117*c_0101_4^2 - 14*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB