Magma V2.19-8 Tue Aug 20 2013 16:18:50 on localhost [Seed = 3734979489] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3006 geometric_solution 6.18267018 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 -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.279662326645 0.319214767165 2 0 3 0 0132 2310 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.167599079466 1.453126522642 1 4 5 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 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 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.434481945023 0.428213034897 6 5 4 1 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 1 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 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.434481945023 0.428213034897 4 2 4 3 2310 0132 3201 0132 0 0 0 0 0 0 0 0 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.678826167887 1.166771837445 5 3 5 2 2310 0132 3201 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.977072170217 1.117058354402 3 6 2 6 0132 1302 0132 2031 0 0 0 0 0 0 0 0 1 0 -1 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.636663914308 0.849956006585 ==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' : negation(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' : negation(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_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(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_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : d['c_1001_2'], 'c_1010_4' : d['c_1001_2'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0101_0, c_0101_1, c_0101_3, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 1521790765427729141262950832871205003499563352218/51695323143459020\ 24177611146940290835530441197*c_1001_2^24 - 8821810632646531270240995680414643475941950452565/51695323143459020\ 24177611146940290835530441197*c_1001_2^23 + 34739919974880823351370822721686689685331572158931/5169532314345902\ 024177611146940290835530441197*c_1001_2^22 - 34081753395695793717647282309471187017091833270381/5169532314345902\ 024177611146940290835530441197*c_1001_2^21 - 218265613636456110191687488585095853729860553175649/516953231434590\ 2024177611146940290835530441197*c_1001_2^20 + 300946737701009626011863120226098059759708938729144/516953231434590\ 2024177611146940290835530441197*c_1001_2^19 + 469361650863847348756285300475361804927969030415127/516953231434590\ 2024177611146940290835530441197*c_1001_2^18 + 97755286969708344799650694217115821532428283479816/7385046163351288\ 60596801592420041547932920171*c_1001_2^17 + 466797498908325321847435616579019348121893831345064/516953231434590\ 2024177611146940290835530441197*c_1001_2^16 - 398792020770187608609892100822858341581800452350266/738504616335128\ 860596801592420041547932920171*c_1001_2^15 - 1888297900384526936695003463750454646928335291520397/51695323143459\ 02024177611146940290835530441197*c_1001_2^14 - 2438308420994427233728749889101359962070759360132573/51695323143459\ 02024177611146940290835530441197*c_1001_2^13 - 3653790276499294249444608112685464346415932230649859/51695323143459\ 02024177611146940290835530441197*c_1001_2^12 + 3110108583037473134224937559458331483842330728527064/51695323143459\ 02024177611146940290835530441197*c_1001_2^11 + 1112117461263163548551325755474323336525961090745337/51695323143459\ 02024177611146940290835530441197*c_1001_2^10 + 957069266039324620003381309954387150611957975760458/516953231434590\ 2024177611146940290835530441197*c_1001_2^9 + 367893635964536361106270486795962073152078626188457/516953231434590\ 2024177611146940290835530441197*c_1001_2^8 - 2934504039400404241112591651354405957363376040167185/51695323143459\ 02024177611146940290835530441197*c_1001_2^7 + 2143011597449110783149896328677636889705949378638003/51695323143459\ 02024177611146940290835530441197*c_1001_2^6 + 752328747729581924465055296925281111482256674039898/516953231434590\ 2024177611146940290835530441197*c_1001_2^5 + 322953415318297620558746883200249416736709315945715/516953231434590\ 2024177611146940290835530441197*c_1001_2^4 - 225146653025887186427897495826128033137064155274297/516953231434590\ 2024177611146940290835530441197*c_1001_2^3 - 28430061125200636404491463957192622509780370199366/7385046163351288\ 60596801592420041547932920171*c_1001_2^2 + 88550065095060484101801957941516363814151271835736/5169532314345902\ 024177611146940290835530441197*c_1001_2 - 8274869735901939318945892353630998153659301867638/51695323143459020\ 24177611146940290835530441197, c_0011_0 - 1, c_0011_1 + 6782262035401531622499177154857195574232429026/7385046163351\ 28860596801592420041547932920171*c_1001_2^24 - 38965215772680563017050558901112395063308956812/7385046163351288605\ 96801592420041547932920171*c_1001_2^23 + 152838269100988079296485813087228908952926489020/738504616335128860\ 596801592420041547932920171*c_1001_2^22 - 144137598284277598245964808081413789062769072974/738504616335128860\ 596801592420041547932920171*c_1001_2^21 - 979602279501151142313670475955818005969916994435/738504616335128860\ 596801592420041547932920171*c_1001_2^20 + 1290052504404735172692459444676132427830112068910/73850461633512886\ 0596801592420041547932920171*c_1001_2^19 + 2154067772626808761060364733289711858260475416965/73850461633512886\ 0596801592420041547932920171*c_1001_2^18 + 3165972382378635549395410249773951194881553738333/73850461633512886\ 0596801592420041547932920171*c_1001_2^17 + 2256085261151128439344229342033084997481242677129/73850461633512886\ 0596801592420041547932920171*c_1001_2^16 - 12308312151664221165416866431413660624856829534458/7385046163351288\ 60596801592420041547932920171*c_1001_2^15 - 9040188289974743362987885230097700076656952225946/73850461633512886\ 0596801592420041547932920171*c_1001_2^14 - 11388977747544724075556893453234866577198376605404/7385046163351288\ 60596801592420041547932920171*c_1001_2^13 - 16930484833886514463497101283230662414033990578711/7385046163351288\ 60596801592420041547932920171*c_1001_2^12 + 12927161016093519179621589365393096084608489322993/7385046163351288\ 60596801592420041547932920171*c_1001_2^11 + 5538874165370975925079735845103345298706296457471/73850461633512886\ 0596801592420041547932920171*c_1001_2^10 + 4595138531669091496491565488299398846898170295580/73850461633512886\ 0596801592420041547932920171*c_1001_2^9 + 1924668891463665226047045188284778476205389105467/73850461633512886\ 0596801592420041547932920171*c_1001_2^8 - 12957666112816714281695287463159293508603741975788/7385046163351288\ 60596801592420041547932920171*c_1001_2^7 + 8894607263616778264212784300754389932750549996869/73850461633512886\ 0596801592420041547932920171*c_1001_2^6 + 3754830119605904326967710890766787531243855687646/73850461633512886\ 0596801592420041547932920171*c_1001_2^5 + 1657380028340601226223786409095242775695515302253/73850461633512886\ 0596801592420041547932920171*c_1001_2^4 - 884800300085325266952065479615485945934928729609/738504616335128860\ 596801592420041547932920171*c_1001_2^3 - 926950067088206960427947980124534858903367225216/738504616335128860\ 596801592420041547932920171*c_1001_2^2 + 346269078196610603625241752406910281451412221455/738504616335128860\ 596801592420041547932920171*c_1001_2 - 26147883495677645342100132158637413150926884110/7385046163351288605\ 96801592420041547932920171, c_0011_3 - 3521174898751740254718545496960244438447199577/7385046163351\ 28860596801592420041547932920171*c_1001_2^24 + 20220496106926551618474392349018653767150776295/7385046163351288605\ 96801592420041547932920171*c_1001_2^23 - 79301128670839867910552180742703870394518285292/7385046163351288605\ 96801592420041547932920171*c_1001_2^22 + 74649651000477220865270337011666755203063760792/7385046163351288605\ 96801592420041547932920171*c_1001_2^21 + 508681321181764934348492876819405704512154295425/738504616335128860\ 596801592420041547932920171*c_1001_2^20 - 668338785977984411023509923414781839490594950554/738504616335128860\ 596801592420041547932920171*c_1001_2^19 - 1119463291743225629899925320629149355760250116524/73850461633512886\ 0596801592420041547932920171*c_1001_2^18 - 1647320620573561458970024516317194574602500765092/73850461633512886\ 0596801592420041547932920171*c_1001_2^17 - 1177065334037343623763098707790856730820736384319/73850461633512886\ 0596801592420041547932920171*c_1001_2^16 + 6384437099978559764034882589576649319248522746841/73850461633512886\ 0596801592420041547932920171*c_1001_2^15 + 4708284963635856479146516320297157451212891676611/73850461633512886\ 0596801592420041547932920171*c_1001_2^14 + 5932608864660449651414221905149057890550769954025/73850461633512886\ 0596801592420041547932920171*c_1001_2^13 + 8812838762813937956729470507804830657223299755174/73850461633512886\ 0596801592420041547932920171*c_1001_2^12 - 6677990268832903838554448745203064892308632299027/73850461633512886\ 0596801592420041547932920171*c_1001_2^11 - 2880789665010015966102616529801681607103771381822/73850461633512886\ 0596801592420041547932920171*c_1001_2^10 - 2398023837966849431177532963170168055889376714159/73850461633512886\ 0596801592420041547932920171*c_1001_2^9 - 1009871960780483332335963381908942374793649973015/73850461633512886\ 0596801592420041547932920171*c_1001_2^8 + 6718519409336288951823497564586813950382999959586/73850461633512886\ 0596801592420041547932920171*c_1001_2^7 - 4601830330740187160066385500793673113716061419003/73850461633512886\ 0596801592420041547932920171*c_1001_2^6 - 1954317321506222605953931851193644981271915306455/73850461633512886\ 0596801592420041547932920171*c_1001_2^5 - 869675606471005679362114723819694248660395472449/738504616335128860\ 596801592420041547932920171*c_1001_2^4 + 453944945707311982557903877140467409301238571854/738504616335128860\ 596801592420041547932920171*c_1001_2^3 + 479502265307705711224174093345728143232664644258/738504616335128860\ 596801592420041547932920171*c_1001_2^2 - 178314376946039783468897600881463345280328345497/738504616335128860\ 596801592420041547932920171*c_1001_2 + 14131837828214478979678139783879724649403120303/7385046163351288605\ 96801592420041547932920171, c_0101_0 - 3937070551835751556646601110827011498965598560/7385046163351\ 28860596801592420041547932920171*c_1001_2^24 + 22441211996914186904888690183740380570263306613/7385046163351288605\ 96801592420041547932920171*c_1001_2^23 - 87747506727875595352166693320503177338816683455/7385046163351288605\ 96801592420041547932920171*c_1001_2^22 + 79919284673776307988898878245877198741227393802/7385046163351288605\ 96801592420041547932920171*c_1001_2^21 + 571453185631345803929862769766040134604127224043/738504616335128860\ 596801592420041547932920171*c_1001_2^20 - 722522012714756927240631370036370919622282806268/738504616335128860\ 596801592420041547932920171*c_1001_2^19 - 1277076531115652165675663039702773137637307866684/73850461633512886\ 0596801592420041547932920171*c_1001_2^18 - 1900975371644683880544082874193170859167858686404/73850461633512886\ 0596801592420041547932920171*c_1001_2^17 - 1410356266060972306951518009318156882223164177793/73850461633512886\ 0596801592420041547932920171*c_1001_2^16 + 7057660620961254377835239825621016410571584794733/73850461633512886\ 0596801592420041547932920171*c_1001_2^15 + 5544777083967910813651467023753490846339713078988/73850461633512886\ 0596801592420041547932920171*c_1001_2^14 + 6926917838416013817448606671993793252028655115308/73850461633512886\ 0596801592420041547932920171*c_1001_2^13 + 10217919919512971025322157730650041891664365338575/7385046163351288\ 60596801592420041547932920171*c_1001_2^12 - 6950065919938644706089449476564632404259490748051/73850461633512886\ 0596801592420041547932920171*c_1001_2^11 - 3395828320810839523241631892961812383352286912381/73850461633512886\ 0596801592420041547932920171*c_1001_2^10 - 2852028721274536227797431833767456145555055332914/73850461633512886\ 0596801592420041547932920171*c_1001_2^9 - 1290771070341395061137856130401042315787986685145/73850461633512886\ 0596801592420041547932920171*c_1001_2^8 + 7422105061679535271375581256276274963458198889900/73850461633512886\ 0596801592420041547932920171*c_1001_2^7 - 4855578929933150609457022785627340065905911039103/73850461633512886\ 0596801592420041547932920171*c_1001_2^6 - 2329932169501078627123835667704555737927880249473/73850461633512886\ 0596801592420041547932920171*c_1001_2^5 - 1097109057274984551821546464890595465991618823674/73850461633512886\ 0596801592420041547932920171*c_1001_2^4 + 431554428276140071134688047675229325017211354194/738504616335128860\ 596801592420041547932920171*c_1001_2^3 + 536038133886316527091133085694338172210115868534/738504616335128860\ 596801592420041547932920171*c_1001_2^2 - 179300538499743944996391931688252032914374733400/738504616335128860\ 596801592420041547932920171*c_1001_2 + 12404215739750656900544830294847573513538721827/7385046163351288605\ 96801592420041547932920171, c_0101_1 - 1689394832750005561150053327897040278715296356/7385046163351\ 28860596801592420041547932920171*c_1001_2^24 + 9740317687493403037742186204883729458612643413/73850461633512886059\ 6801592420041547932920171*c_1001_2^23 - 38257350126519561603998648325278082438646379988/7385046163351288605\ 96801592420041547932920171*c_1001_2^22 + 36608010424262496272878928443162456736907651591/7385046163351288605\ 96801592420041547932920171*c_1001_2^21 + 243581520539740847000091053114700554416304786535/738504616335128860\ 596801592420041547932920171*c_1001_2^20 - 326789882522381213554489889495394580600061361787/738504616335128860\ 596801592420041547932920171*c_1001_2^19 - 531176154131186566696587843370239420542527380996/738504616335128860\ 596801592420041547932920171*c_1001_2^18 - 774978419963231011456410028240731041103673434371/738504616335128860\ 596801592420041547932920171*c_1001_2^17 - 544284119613633273348639672843788269239264635924/738504616335128860\ 596801592420041547932920171*c_1001_2^16 + 3082461661247887306804162142641949088371601205674/73850461633512886\ 0596801592420041547932920171*c_1001_2^15 + 2188817675721150277058432288583135389305543627500/73850461633512886\ 0596801592420041547932920171*c_1001_2^14 + 2772441313427061251246316552189928367463564124772/73850461633512886\ 0596801592420041547932920171*c_1001_2^13 + 4155128992567108001462353959425879495074962158597/73850461633512886\ 0596801592420041547932920171*c_1001_2^12 - 3325941125687134920714883862266930192888355272834/73850461633512886\ 0596801592420041547932920171*c_1001_2^11 - 1323582956275986542475655334446855746719753137906/73850461633512886\ 0596801592420041547932920171*c_1001_2^10 - 1095249566611754054235515420343123536389387904913/73850461633512886\ 0596801592420041547932920171*c_1001_2^9 - 455340328145992851626780007530398015123760481398/738504616335128860\ 596801592420041547932920171*c_1001_2^8 + 3249747917062089701759745844064525412911560421423/73850461633512886\ 0596801592420041547932920171*c_1001_2^7 - 2292084542546903491409965673909536540366713354585/73850461633512886\ 0596801592420041547932920171*c_1001_2^6 - 896963598832569737177828749036309019491613926067/738504616335128860\ 596801592420041547932920171*c_1001_2^5 - 384310029690322608889924843310929029315499731107/738504616335128860\ 596801592420041547932920171*c_1001_2^4 + 234146923008928676974643836579355425632593878187/738504616335128860\ 596801592420041547932920171*c_1001_2^3 + 226858270257853836490194455423780433422692703917/738504616335128860\ 596801592420041547932920171*c_1001_2^2 - 92850707130322052522243997746762798875634763877/7385046163351288605\ 96801592420041547932920171*c_1001_2 + 7792520323675256461683528921417227826478554640/73850461633512886059\ 6801592420041547932920171, c_0101_3 - 8049779994879100930867880085878303112119157056/7385046163351\ 28860596801592420041547932920171*c_1001_2^24 + 46152016100408718129378080898713045791702561166/7385046163351288605\ 96801592420041547932920171*c_1001_2^23 - 180892905189960519769935974504307533174004675991/738504616335128860\ 596801592420041547932920171*c_1001_2^22 + 169132241567593836433438637311874822218018196278/738504616335128860\ 596801592420041547932920171*c_1001_2^21 + 1163926651814052246169323202893818219184726803153/73850461633512886\ 0596801592420041547932920171*c_1001_2^20 - 1516928281200660816781103121321301713739581336635/73850461633512886\ 0596801592420041547932920171*c_1001_2^19 - 2568888016301051884681806871170769839909289358632/73850461633512886\ 0596801592420041547932920171*c_1001_2^18 - 3792797530831821184727247946723514608801000452286/73850461633512886\ 0596801592420041547932920171*c_1001_2^17 - 2736998695105749931235118180339350460174883808962/73850461633512886\ 0596801592420041547932920171*c_1001_2^16 + 14553129276082935798825338300897030400601952274735/7385046163351288\ 60596801592420041547932920171*c_1001_2^15 + 10879448511402771739900746934336619767699970737009/7385046163351288\ 60596801592420041547932920171*c_1001_2^14 + 13705918501850539453588582148958853673870374324771/7385046163351288\ 60596801592420041547932920171*c_1001_2^13 + 20333625889618042238442575384387154345629149316186/7385046163351288\ 60596801592420041547932920171*c_1001_2^12 - 15010794967505564955265402980229212204781215209924/7385046163351288\ 60596801592420041547932920171*c_1001_2^11 - 6616997816059065364388870868792235876290751036516/73850461633512886\ 0596801592420041547932920171*c_1001_2^10 - 5551844943615674843610024332387830742778726633470/73850461633512886\ 0596801592420041547932920171*c_1001_2^9 - 2392440314151994520807799949197500167835670526722/73850461633512886\ 0596801592420041547932920171*c_1001_2^8 + 15312373124597162486709564565747567625740757313281/7385046163351288\ 60596801592420041547932920171*c_1001_2^7 - 10407521863380420634877045241033805178310406188416/7385046163351288\ 60596801592420041547932920171*c_1001_2^6 - 4514475563165702089296713139423588111323721683830/73850461633512886\ 0596801592420041547932920171*c_1001_2^5 - 2046249396673863183453311084161059540922018837454/73850461633512886\ 0596801592420041547932920171*c_1001_2^4 + 994212462178630008970932929196705179005668916201/738504616335128860\ 596801592420041547932920171*c_1001_2^3 + 1090613717980650439453323655809789756336749966630/73850461633512886\ 0596801592420041547932920171*c_1001_2^2 - 402196271745212925182351811663632906821118608734/738504616335128860\ 596801592420041547932920171*c_1001_2 + 30785874387061481405502280175993627116300569156/7385046163351288605\ 96801592420041547932920171, c_1001_2^25 - 6*c_1001_2^24 + 24*c_1001_2^23 - 27*c_1001_2^22 - 139*c_1001_2^21 + 227*c_1001_2^20 + 269*c_1001_2^19 + 386*c_1001_2^18 + 214*c_1001_2^17 - 1899*c_1001_2^16 - 870*c_1001_2^15 - 1341*c_1001_2^14 - 2070*c_1001_2^13 + 2540*c_1001_2^12 + 328*c_1001_2^11 + 470*c_1001_2^10 + 112*c_1001_2^9 - 1982*c_1001_2^8 + 1799*c_1001_2^7 + 218*c_1001_2^6 + 104*c_1001_2^5 - 192*c_1001_2^4 - 103*c_1001_2^3 + 86*c_1001_2^2 - 17*c_1001_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB