Magma V2.19-8 Tue Aug 20 2013 16:17:41 on localhost [Seed = 1174919849] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1917 geometric_solution 5.52113184 oriented_manifold CS_known 0.0000000000000001 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 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.519819793639 0.266477513508 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 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 1.115273020425 0.385835144146 3 1 1 4 0132 0132 1023 0132 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 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.624784670076 0.386611830429 2 4 6 5 0132 0321 0132 0132 0 0 0 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 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.843678353807 1.066546092547 6 5 2 3 1023 2310 0132 0321 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 0 0 0 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.843678353807 1.066546092547 5 5 3 4 1302 2031 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 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.467276124656 0.430997315093 6 4 6 3 2031 1023 1302 0132 0 0 0 0 0 0 0 0 0 0 1 -1 -1 1 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 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.164836114455 1.058028614287 ==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' : 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' : 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' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), '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' : negation(d['c_0011_4']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_5']), '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' : d['c_0011_4'], 'c_0011_6' : 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_0110_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0011_5']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), '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' : negation(d['c_0011_5']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0011_5']), '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_4, c_0011_5, c_0101_0, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 15783340956244480126188920524122791460695645/1989100121244794991865\ 0607367684770243*c_0110_5^26 - 410243519318732828948644298327893037\ 9822541/19891001212447949918650607367684770243*c_0110_5^25 - 614484411305657750595781436172302357528711009/198910012124479499186\ 50607367684770243*c_0110_5^24 - 67679882501697029302057467264215848\ 5556439589/19891001212447949918650607367684770243*c_0110_5^23 + 6268300964321511271002317097916887804876928982/19891001212447949918\ 650607367684770243*c_0110_5^22 + 1207068174171600862260596402369064\ 7612328382035/19891001212447949918650607367684770243*c_0110_5^21 - 38886879567788951783834101606573971851518107370/1989100121244794991\ 8650607367684770243*c_0110_5^20 - 791948379392726735537317594235525\ 25423673440523/19891001212447949918650607367684770243*c_0110_5^19 + 171521767421940345134465083816386845569133666868/198910012124479499\ 18650607367684770243*c_0110_5^18 + 303363134559109689762481034504938065568518174836/198910012124479499\ 18650607367684770243*c_0110_5^17 - 510862187034481282888224121578951506413663909865/198910012124479499\ 18650607367684770243*c_0110_5^16 - 738067597872105440869843887557948480722604090269/198910012124479499\ 18650607367684770243*c_0110_5^15 + 992499065141811303897027957664580415534331137805/198910012124479499\ 18650607367684770243*c_0110_5^14 + 1138503983689946491345080406251058330403372947623/19891001212447949\ 918650607367684770243*c_0110_5^13 - 1265891591084399827856747283410124305479804182265/19891001212447949\ 918650607367684770243*c_0110_5^12 - 1111704854366895823061498584340978369868605394162/19891001212447949\ 918650607367684770243*c_0110_5^11 + 1054827444108068432717469156050037143886306431028/19891001212447949\ 918650607367684770243*c_0110_5^10 + 683228229819752243013250494686133647707031046417/198910012124479499\ 18650607367684770243*c_0110_5^9 - 552433621720907205497195937554816\ 609683239744735/19891001212447949918650607367684770243*c_0110_5^8 - 259823363340379153840670687468986743275268869348/198910012124479499\ 18650607367684770243*c_0110_5^7 + 167416582191181240091429350098128\ 215327375777939/19891001212447949918650607367684770243*c_0110_5^6 + 60908532923426297856887461408467595206103377488/1989100121244794991\ 8650607367684770243*c_0110_5^5 - 2500819855565240233349729708828177\ 9277175981348/19891001212447949918650607367684770243*c_0110_5^4 - 9125386392406698344943218671738956533237112416/19891001212447949918\ 650607367684770243*c_0110_5^3 + 12207329161624123570381412818992173\ 08474224700/19891001212447949918650607367684770243*c_0110_5^2 + 677103169831717292023772940553636125474572846/198910012124479499186\ 50607367684770243*c_0110_5 + 60685734663301354787261537584720186332\ 216398/19891001212447949918650607367684770243, c_0011_0 - 1, c_0011_1 - 938869633857460608204980536041047442642509/19891001212447949\ 918650607367684770243*c_0110_5^26 + 240455830376585214421947376213998246870315/198910012124479499186506\ 07367684770243*c_0110_5^25 + 36554327625738404182122430056685702009\ 024005/19891001212447949918650607367684770243*c_0110_5^24 + 40398088354975437789777916422198174085006224/1989100121244794991865\ 0607367684770243*c_0110_5^23 - 372749942563620584336462218057244708\ 352808962/19891001212447949918650607367684770243*c_0110_5^22 - 719472919115452249585666567084749941018888927/198910012124479499186\ 50607367684770243*c_0110_5^21 + 23108036125387905742677576353299960\ 47789755693/19891001212447949918650607367684770243*c_0110_5^20 + 4720296556245181678474317735610595498939738643/19891001212447949918\ 650607367684770243*c_0110_5^19 - 1018732372365849231758600403710145\ 9992241038665/19891001212447949918650607367684770243*c_0110_5^18 - 18088263854272111387997892074754468957434499561/1989100121244794991\ 8650607367684770243*c_0110_5^17 + 303303715094452061974512395837668\ 65763633733337/19891001212447949918650607367684770243*c_0110_5^16 + 44034079965080303756040093374640051348714578618/1989100121244794991\ 8650607367684770243*c_0110_5^15 - 589035411684477345293949499851808\ 35304312582774/19891001212447949918650607367684770243*c_0110_5^14 - 67982277575624055683584232546396532829144406014/1989100121244794991\ 8650607367684770243*c_0110_5^13 + 751071222371549398784334589662344\ 82667719138333/19891001212447949918650607367684770243*c_0110_5^12 + 66464852300517768821255691013946004532096641268/1989100121244794991\ 8650607367684770243*c_0110_5^11 - 625769313206554344835612057001003\ 63911415024028/19891001212447949918650607367684770243*c_0110_5^10 - 40923013295450385434368171997080153672463236140/1989100121244794991\ 8650607367684770243*c_0110_5^9 + 3277586299089057457155406336482031\ 9265356006894/19891001212447949918650607367684770243*c_0110_5^8 + 15602157511728232757037005996035578451864706139/1989100121244794991\ 8650607367684770243*c_0110_5^7 - 9935943004794085610656602255044513\ 949717136678/19891001212447949918650607367684770243*c_0110_5^6 - 3666816688870778205121026265332017765793649668/19891001212447949918\ 650607367684770243*c_0110_5^5 + 14845435635381089113985641666797579\ 74417221908/19891001212447949918650607367684770243*c_0110_5^4 + 549267999963945228467029224540873706063927093/198910012124479499186\ 50607367684770243*c_0110_5^3 - 721286420191000256064140805997713101\ 16389023/19891001212447949918650607367684770243*c_0110_5^2 - 40675226776103629878847317569741938401526626/1989100121244794991865\ 0607367684770243*c_0110_5 - 366609971706552900773507699276438580837\ 9435/19891001212447949918650607367684770243, c_0011_4 + 1017996032822403716550902413584073914669302/1989100121244794\ 9918650607367684770243*c_0110_5^26 - 260756423699649693720359975222195411055311/198910012124479499186506\ 07367684770243*c_0110_5^25 - 39635048514357726273121465527828059435\ 883649/19891001212447949918650607367684770243*c_0110_5^24 - 43801401574009557735213955541395919907964685/1989100121244794991865\ 0607367684770243*c_0110_5^23 + 404165869435359080173309082554085780\ 354128572/19891001212447949918650607367684770243*c_0110_5^22 + 780094606945441320402127192175427099341908145/198910012124479499186\ 50607367684770243*c_0110_5^21 - 25055777782863919837956985856753007\ 03009523036/19891001212447949918650607367684770243*c_0110_5^20 - 5118022654351787315426613695928641056988178020/19891001212447949918\ 650607367684770243*c_0110_5^19 + 1104604832436209936286328862982863\ 5739691481965/19891001212447949918650607367684770243*c_0110_5^18 + 19612291703916099447844553824052663025556196256/1989100121244794991\ 8650607367684770243*c_0110_5^17 - 328871365080088425719699337514249\ 53304467499605/19891001212447949918650607367684770243*c_0110_5^16 - 47743918396222188742296299021973023222142982490/1989100121244794991\ 8650607367684770243*c_0110_5^15 + 638691573716864777167942120111931\ 23727993934189/19891001212447949918650607367684770243*c_0110_5^14 + 73709173658242590956439549505812683434105020834/1989100121244794991\ 8650607367684770243*c_0110_5^13 - 814389216609884554588090969656730\ 63950191103898/19891001212447949918650607367684770243*c_0110_5^12 - 72063116112504459718755430370872818993404039970/1989100121244794991\ 8650607367684770243*c_0110_5^11 + 678524559006772027325792333545137\ 27262540219883/19891001212447949918650607367684770243*c_0110_5^10 + 44369186689989947504121814128090921586634766335/1989100121244794991\ 8650607367684770243*c_0110_5^9 - 3553898296421632231566122933177075\ 3329174847631/19891001212447949918650607367684770243*c_0110_5^8 - 16915649654688032870647505049819709062709340553/1989100121244794991\ 8650607367684770243*c_0110_5^7 + 1077354299957580745138504905666584\ 0682210385335/19891001212447949918650607367684770243*c_0110_5^6 + 3975423591799086921218154619881408056569438319/19891001212447949918\ 650607367684770243*c_0110_5^5 - 16096850195319055218824261405985802\ 80519749917/19891001212447949918650607367684770243*c_0110_5^4 - 595496779564760570067584816535237229264588572/198910012124479499186\ 50607367684770243*c_0110_5^3 + 782113932379179883351323410712865772\ 26710124/19891001212447949918650607367684770243*c_0110_5^2 + 44099534786900391103994286341418202039724816/1989100121244794991865\ 0607367684770243*c_0110_5 + 397460382596525981542444790835895867333\ 1706/19891001212447949918650607367684770243, c_0011_5 + 1128652903494561878079019539372180800887022/1989100121244794\ 9918650607367684770243*c_0110_5^26 - 289216401630083530076909065120915927343749/198910012124479499186506\ 07367684770243*c_0110_5^25 - 43943348004781679543390464005022837824\ 527041/19891001212447949918650607367684770243*c_0110_5^24 - 48558160329263099115234469129688285184397973/1989100121244794991865\ 0607367684770243*c_0110_5^23 + 448102864738300803437071956531262909\ 670858217/19891001212447949918650607367684770243*c_0110_5^22 + 864844681111589115489340316608917134800312078/198910012124479499186\ 50607367684770243*c_0110_5^21 - 27780129499904875235586782441857139\ 20227414108/19891001212447949918650607367684770243*c_0110_5^20 - 5674052868934585558958310148481253827350742198/19891001212447949918\ 650607367684770243*c_0110_5^19 + 1224726754608452254569706722889818\ 6516316960131/19891001212447949918650607367684770243*c_0110_5^18 + 21742789195722285642292142329553599793355766214/1989100121244794991\ 8650607367684770243*c_0110_5^17 - 364638748141403864121152828014540\ 21164209434027/19891001212447949918650607367684770243*c_0110_5^16 - 52929544334811291370677861565965105632383169784/1989100121244794991\ 8650607367684770243*c_0110_5^15 + 708161508484292165779579395013242\ 97390890211288/19891001212447949918650607367684770243*c_0110_5^14 + 81713154946560995213908694543255578362023383558/1989100121244794991\ 8650607367684770243*c_0110_5^13 - 902976685863869843879454209208706\ 00746181058384/19891001212447949918650607367684770243*c_0110_5^12 - 79885753634654887683138644371664249549592856142/1989100121244794991\ 8650607367684770243*c_0110_5^11 + 752335338465360939830578128946863\ 10142716748620/19891001212447949918650607367684770243*c_0110_5^10 + 49183224846434165687992364680776646745988810888/1989100121244794991\ 8650607367684770243*c_0110_5^9 - 3940485791655902382444567946491351\ 7504049287354/19891001212447949918650607367684770243*c_0110_5^8 - 18749761385161882916059389368614595372147224119/1989100121244794991\ 8650607367684770243*c_0110_5^7 + 1194537148477113578640536217835155\ 7637015331465/19891001212447949918650607367684770243*c_0110_5^6 + 4406182346600492506789854853611128299739072774/19891001212447949918\ 650607367684770243*c_0110_5^5 - 17847576026073382526897662818530797\ 86910816528/19891001212447949918650607367684770243*c_0110_5^4 - 660026603695248849858707179556488251627649903/198910012124479499186\ 50607367684770243*c_0110_5^3 + 867282417552923168137140369663871464\ 90046736/19891001212447949918650607367684770243*c_0110_5^2 + 48880886283175332198770871904272119194697811/1989100121244794991865\ 0607367684770243*c_0110_5 + 440492161742934424179041731384527970192\ 9356/19891001212447949918650607367684770243, c_0101_0 - 883891583223360607618079165648157038649604/19891001212447949\ 918650607367684770243*c_0110_5^26 + 228375641641074486655802745168438891822414/198910012124479499186506\ 07367684770243*c_0110_5^25 + 34412773348792937167086349809434326846\ 684633/19891001212447949918650607367684770243*c_0110_5^24 + 37954846392224803964317670922901648873085655/1989100121244794991865\ 0607367684770243*c_0110_5^23 - 350989058298671605044888804762476482\ 554276286/19891001212447949918650607367684770243*c_0110_5^22 - 676531422894674057378140957126867017200819724/198910012124479499186\ 50607367684770243*c_0110_5^21 + 21768164880865435332727920642777005\ 36828835207/19891001212447949918650607367684770243*c_0110_5^20 + 4438629766584407610503507480297144776655599931/19891001212447949918\ 650607367684770243*c_0110_5^19 - 9599505585659578806411954824360898\ 677747943871/19891001212447949918650607367684770243*c_0110_5^18 - 17005157623427237784753810577179223253314528812/1989100121244794991\ 8650607367684770243*c_0110_5^17 + 285867865055933470325549905125358\ 06217591792189/19891001212447949918650607367684770243*c_0110_5^16 + 41382758481363023713027489558224699033124135548/1989100121244794991\ 8650607367684770243*c_0110_5^15 - 555296723563540363499657343668073\ 29629425237036/19891001212447949918650607367684770243*c_0110_5^14 - 63856958500372046800747097209508574345245705070/1989100121244794991\ 8650607367684770243*c_0110_5^13 + 708172569477720741509727013861076\ 12189862321418/19891001212447949918650607367684770243*c_0110_5^12 + 62385638770186590198820619915484708097339443589/1989100121244794991\ 8650607367684770243*c_0110_5^11 - 590066960348875523815129011198713\ 19168816098924/19891001212447949918650607367684770243*c_0110_5^10 - 38369739523819374341042137505614712033852454714/1989100121244794991\ 8650607367684770243*c_0110_5^9 + 3090393828437770713426900380857307\ 1555708406600/19891001212447949918650607367684770243*c_0110_5^8 + 14606860182193781406876998644690828617361668933/1989100121244794991\ 8650607367684770243*c_0110_5^7 - 9366608161337240980465842101395310\ 349191586881/19891001212447949918650607367684770243*c_0110_5^6 - 3427819509732160915788090647955053796099047660/19891001212447949918\ 650607367684770243*c_0110_5^5 + 13992489335980135234296786978294743\ 51793787878/19891001212447949918650607367684770243*c_0110_5^4 + 513536813715093335422746818822323556235589881/198910012124479499186\ 50607367684770243*c_0110_5^3 - 681656490218557386747375614426747030\ 62440352/19891001212447949918650607367684770243*c_0110_5^2 - 38074164787870282219758044771914486887027750/1989100121244794991865\ 0607367684770243*c_0110_5 - 342086615014124449500593334611023444658\ 2864/19891001212447949918650607367684770243, c_0101_3 + 13664088527951689113935569855833760542198/198910012124479499\ 18650607367684770243*c_0110_5^26 - 3543126587430034676079200472542551672473/19891001212447949918650607\ 367684770243*c_0110_5^25 - 5319847641532374449890757080660363274275\ 52/19891001212447949918650607367684770243*c_0110_5^24 - 586250123831770098438173935129105959264362/198910012124479499186506\ 07367684770243*c_0110_5^23 + 54265102085086859221059280543150288895\ 83217/19891001212447949918650607367684770243*c_0110_5^22 + 10453468685663166855352420404551806269093949/1989100121244794991865\ 0607367684770243*c_0110_5^21 - 336613555442557962817568439737750955\ 14959078/19891001212447949918650607367684770243*c_0110_5^20 - 68585716479077567212785403005511857780723294/1989100121244794991865\ 0607367684770243*c_0110_5^19 + 148464116581053751643864826340345331\ 487130682/19891001212447949918650607367684770243*c_0110_5^18 + 262745455987331905526903091286817440281233922/198910012124479499186\ 50607367684770243*c_0110_5^17 - 44217449357614430955425626669423713\ 3573947391/19891001212447949918650607367684770243*c_0110_5^16 - 639324047024888875185398822250267622751150003/198910012124479499186\ 50607367684770243*c_0110_5^15 + 85904614445651952914894088596497499\ 7780031599/19891001212447949918650607367684770243*c_0110_5^14 + 986353118606431500391670663796389776349792248/198910012124479499186\ 50607367684770243*c_0110_5^13 - 10957069570250977734502302382956411\ 88525875271/19891001212447949918650607367684770243*c_0110_5^12 - 963361581171583001754560460984474095069518752/198910012124479499186\ 50607367684770243*c_0110_5^11 + 91309286258629119811824808035727098\ 8231825910/19891001212447949918650607367684770243*c_0110_5^10 + 592249102424897518689874896561729391674340912/198910012124479499186\ 50607367684770243*c_0110_5^9 - 478281545844299406251944220873143193\ 287155823/19891001212447949918650607367684770243*c_0110_5^8 - 225312627163034453041655267881092506005015753/198910012124479499186\ 50607367684770243*c_0110_5^7 + 144985205710405751442898504021316232\ 525442056/19891001212447949918650607367684770243*c_0110_5^6 + 52832704494949827024786373212182493962801453/1989100121244794991865\ 0607367684770243*c_0110_5^5 - 2166738419526121121072008798334917314\ 5761355/19891001212447949918650607367684770243*c_0110_5^4 - 7912993380481804645556628998452798913921996/19891001212447949918650\ 607367684770243*c_0110_5^3 + 10581742454184545330824559014584528697\ 12414/19891001212447949918650607367684770243*c_0110_5^2 + 586891941905610223453149115659265908902762/198910012124479499186506\ 07367684770243*c_0110_5 + 52567622076828688942906456841536193691260\ /19891001212447949918650607367684770243, c_0110_5^27 - 39*c_0110_5^25 - 53*c_0110_5^24 + 386*c_0110_5^23 + 868*c_0110_5^22 - 2265*c_0110_5^21 - 5658*c_0110_5^20 + 9563*c_0110_5^19 + 22045*c_0110_5^18 - 27371*c_0110_5^17 - 55175*c_0110_5^16 + 50727*c_0110_5^15 + 88477*c_0110_5^14 - 61453*c_0110_5^13 - 91281*c_0110_5^12 + 48521*c_0110_5^11 + 60658*c_0110_5^10 - 23747*c_0110_5^9 - 25559*c_0110_5^8 + 6327*c_0110_5^7 + 6616*c_0110_5^6 - 581*c_0110_5^5 - 990*c_0110_5^4 - 73*c_0110_5^3 + 63*c_0110_5^2 + 15*c_0110_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB