Magma V2.19-8 Tue Aug 20 2013 16:17:45 on localhost [Seed = 1031578077] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1995 geometric_solution 5.55879969 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 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 1 0 -1 1 0 -1 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.265735944978 0.175690496290 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 -1 1 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 1 -1 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 1.843413239856 1.623644639626 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 1 0 -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 0 0 0 0 0 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.576938289080 0.417169591661 2 5 4 6 0132 0132 3201 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 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.231182043171 1.041433068156 3 6 2 5 2310 0132 0132 1023 0 0 0 0 0 -1 1 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 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.231182043171 1.041433068156 5 3 5 4 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.583979122106 0.603874928078 6 4 3 6 3201 0132 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 -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.203142672017 0.915120799569 ==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' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : 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' : d['c_0011_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_0']), 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : d['c_0101_0'], '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 1942737115843169133035137401096090850946544431/20080634096686473030\ 2886859454746605413*c_0101_5^29 - 101193522195674324854302782843779\ 8487828667140/200806340966864730302886859454746605413*c_0101_5^28 + 48041638201818699558890330687989063559887646328/2008063409668647303\ 02886859454746605413*c_0101_5^27 - 231287309966943481186038073996346889715876915/200806340966864730302\ 886859454746605413*c_0101_5^26 - 6237465642257862118948311713841151\ 09543642396929/200806340966864730302886859454746605413*c_0101_5^25 + 380312144717634929243338057446579626266773653434/200806340966864730\ 302886859454746605413*c_0101_5^24 + 6552887856420924294509992099506312933028591589531/20080634096686473\ 0302886859454746605413*c_0101_5^23 - 1185196077926127143036803741445356548171174575663/20080634096686473\ 0302886859454746605413*c_0101_5^22 - 42915665801652067912874039360178181217383632474522/2008063409668647\ 30302886859454746605413*c_0101_5^21 - 15313801155866902092714802795364520929612916740248/2008063409668647\ 30302886859454746605413*c_0101_5^20 + 164131245353180216108265052924504293987458300722213/200806340966864\ 730302886859454746605413*c_0101_5^19 + 127762773967034577195670032308047145194931148657112/200806340966864\ 730302886859454746605413*c_0101_5^18 - 349901774482631839416447859305157223737889432586616/200806340966864\ 730302886859454746605413*c_0101_5^17 - 384240245682729265198366229028424636589437877750378/200806340966864\ 730302886859454746605413*c_0101_5^16 + 408711848083761257745927054008680725044846530006898/200806340966864\ 730302886859454746605413*c_0101_5^15 + 571409854358913484860490943812579070472025832925037/200806340966864\ 730302886859454746605413*c_0101_5^14 - 279796222675401426560555519523372120790387408740672/200806340966864\ 730302886859454746605413*c_0101_5^13 - 497470023969952938234048813055981662684828315033694/200806340966864\ 730302886859454746605413*c_0101_5^12 + 120144492484074510586119078593564039837731687369696/200806340966864\ 730302886859454746605413*c_0101_5^11 + 280090914246764043872084242228170164154181441307723/200806340966864\ 730302886859454746605413*c_0101_5^10 - 39209352945183541088335321321763651795722330198025/2008063409668647\ 30302886859454746605413*c_0101_5^9 - 105442656176778864968756467836702370057559497274857/200806340966864\ 730302886859454746605413*c_0101_5^8 + 14048303853274912043847247465513151661056567400108/2008063409668647\ 30302886859454746605413*c_0101_5^7 + 24730060621984402167230145196392070956724341241628/2008063409668647\ 30302886859454746605413*c_0101_5^6 - 4316213282105121579025981484439786856963424974431/20080634096686473\ 0302886859454746605413*c_0101_5^5 - 2971355796720603574365954751415324004622775658088/20080634096686473\ 0302886859454746605413*c_0101_5^4 + 588815557342199206438918635910569140075515772517/200806340966864730\ 302886859454746605413*c_0101_5^3 + 151540848192206077440877864688095248694204889976/200806340966864730\ 302886859454746605413*c_0101_5^2 - 22055186313516637008535605731844064326761727363/2008063409668647303\ 02886859454746605413*c_0101_5 - 37270980824680952917551494277972860\ 96737403894/200806340966864730302886859454746605413, c_0011_0 - 1, c_0011_2 + 31976226294102077950315464743269867469364876/200806340966864\ 730302886859454746605413*c_0101_5^29 + 16406726239521637784452867594248920532807030/2008063409668647303028\ 86859454746605413*c_0101_5^28 - 79098767120874890670111407633987038\ 9193781637/200806340966864730302886859454746605413*c_0101_5^27 + 9841790723263434037074714557338760917505356/20080634096686473030288\ 6859454746605413*c_0101_5^26 + 102694223018375973497209971576349137\ 39240797605/200806340966864730302886859454746605413*c_0101_5^25 - 6338215519382557632337816190883583916770674395/20080634096686473030\ 2886859454746605413*c_0101_5^24 - 107846370888059397814700505152451\ 984092108379323/200806340966864730302886859454746605413*c_0101_5^23 + 20352683086427083009153513099220935241302411915/20080634096686473\ 0302886859454746605413*c_0101_5^22 + 706629736422371366558864570517389397212629761826/200806340966864730\ 302886859454746605413*c_0101_5^21 + 246684041437044328672114347225727224733997721366/200806340966864730\ 302886859454746605413*c_0101_5^20 - 2706109946111955277340549431457656852527380477892/20080634096686473\ 0302886859454746605413*c_0101_5^19 - 2084128004170948110161973181323377444269269734431/20080634096686473\ 0302886859454746605413*c_0101_5^18 + 5784799479829101512237256214595222965142083814175/20080634096686473\ 0302886859454746605413*c_0101_5^17 + 6292141536061056106665250413890318524470338312416/20080634096686473\ 0302886859454746605413*c_0101_5^16 - 6792283863641607700021972033187175809199910307134/20080634096686473\ 0302886859454746605413*c_0101_5^15 - 9384783298348013781821602006718565518651710551690/20080634096686473\ 0302886859454746605413*c_0101_5^14 + 4688505215249781831710893471703281700752801907911/20080634096686473\ 0302886859454746605413*c_0101_5^13 + 8193219955859186974050135779590699668026058691146/20080634096686473\ 0302886859454746605413*c_0101_5^12 - 2038711288011136035612124680107882319675021250217/20080634096686473\ 0302886859454746605413*c_0101_5^11 - 4624891499352785391356128303464225987927938394207/20080634096686473\ 0302886859454746605413*c_0101_5^10 + 673979040571349946094748812382520562892336087746/200806340966864730\ 302886859454746605413*c_0101_5^9 + 1744596416147943806700580141556922339848745246067/20080634096686473\ 0302886859454746605413*c_0101_5^8 - 240268364956707296226942343751279370624275440088/200806340966864730\ 302886859454746605413*c_0101_5^7 - 409695456588407408287149669616388185167478309382/200806340966864730\ 302886859454746605413*c_0101_5^6 + 72904658117576811429765905544041827784506139689/2008063409668647303\ 02886859454746605413*c_0101_5^5 + 492709055597387661593188639497608\ 12125326933400/200806340966864730302886859454746605413*c_0101_5^4 - 9893163389567100340110624540848099732029230647/20080634096686473030\ 2886859454746605413*c_0101_5^3 - 2518101501180681183014658706635813\ 366320196976/200806340966864730302886859454746605413*c_0101_5^2 + 370734916987939516826153302780074170187070688/200806340966864730302\ 886859454746605413*c_0101_5 + 6231973601263920450197364660963033230\ 3462627/200806340966864730302886859454746605413, c_0011_4 + 126514626461731956068538547623008832526734753/20080634096686\ 4730302886859454746605413*c_0101_5^29 + 65281816711348054871371578100269522675008133/2008063409668647303028\ 86859454746605413*c_0101_5^28 - 31291798725012511476179930930262748\ 05873363897/200806340966864730302886859454746605413*c_0101_5^27 + 30026974096889488318818287912779763860367541/2008063409668647303028\ 86859454746605413*c_0101_5^26 + 40626683570243144246116965591225230\ 878546438824/200806340966864730302886859454746605413*c_0101_5^25 - 24961358587319095912882079777189090911928054327/2008063409668647303\ 02886859454746605413*c_0101_5^24 - 426709386157792754663848927241095743323643680228/200806340966864730\ 302886859454746605413*c_0101_5^23 + 79277180966582117759507588573733718411643381284/2008063409668647303\ 02886859454746605413*c_0101_5^22 + 2795382865663804088378754720720105666723752427813/20080634096686473\ 0302886859454746605413*c_0101_5^21 + 983934019109526584609048167678054365928272332164/200806340966864730\ 302886859454746605413*c_0101_5^20 - 10699834405799777347089002964895590660656670314393/2008063409668647\ 30302886859454746605413*c_0101_5^19 - 8273457331927942146893134711175385690645744175400/20080634096686473\ 0302886859454746605413*c_0101_5^18 + 22849399979203055423492314174384831071323762743613/2008063409668647\ 30302886859454746605413*c_0101_5^17 + 24941759754595658187471726137739298271160819852053/2008063409668647\ 30302886859454746605413*c_0101_5^16 - 26777132915805920846147698019881476724791402183930/2008063409668647\ 30302886859454746605413*c_0101_5^15 - 37159196474900241597802174530429190653856762785576/2008063409668647\ 30302886859454746605413*c_0101_5^14 + 18427569473404310748713625328526138475497255735277/2008063409668647\ 30302886859454746605413*c_0101_5^13 + 32407111806196911384189419564849006939420368138355/2008063409668647\ 30302886859454746605413*c_0101_5^12 - 7976829386767017696501198232692027545319411863594/20080634096686473\ 0302886859454746605413*c_0101_5^11 - 18275663300694908694506388828613944020437546500341/2008063409668647\ 30302886859454746605413*c_0101_5^10 + 2625192489138377359505702917994891121697225345825/20080634096686473\ 0302886859454746605413*c_0101_5^9 + 6888845084536589526499719491010768411245299951265/20080634096686473\ 0302886859454746605413*c_0101_5^8 - 937632115847956341149806221688420726628874269245/200806340966864730\ 302886859454746605413*c_0101_5^7 - 1617007494668726128583394543963277634862404496895/20080634096686473\ 0302886859454746605413*c_0101_5^6 + 285783416622206104122080250446791279939605055925/200806340966864730\ 302886859454746605413*c_0101_5^5 + 194400997290068391531622442205427743051760614617/200806340966864730\ 302886859454746605413*c_0101_5^4 - 38854986968754646261381379886852689626377642522/2008063409668647303\ 02886859454746605413*c_0101_5^3 - 992801435262055914392585321323246\ 2029583530394/200806340966864730302886859454746605413*c_0101_5^2 + 1455889345383461068110965209003461975121592934/20080634096686473030\ 2886859454746605413*c_0101_5 + 245182319779357288631327506420804376\ 089085870/200806340966864730302886859454746605413, c_0101_0 + 102904523821609554989081432346555094561282736/20080634096686\ 4730302886859454746605413*c_0101_5^29 + 53236295511463433190259402369390819132730236/2008063409668647303028\ 86859454746605413*c_0101_5^28 - 25450719581620723084434101898188271\ 34421523138/200806340966864730302886859454746605413*c_0101_5^27 + 21099497072658986327654799372936611070519118/2008063409668647303028\ 86859454746605413*c_0101_5^26 + 33043266605279848155147670237552996\ 265798650052/200806340966864730302886859454746605413*c_0101_5^25 - 20259845077500061198630650035518850989424991487/2008063409668647303\ 02886859454746605413*c_0101_5^24 - 347081846155925003752600115095477398746866657233/200806340966864730\ 302886859454746605413*c_0101_5^23 + 64016796159043566019012193082435457741363307998/2008063409668647303\ 02886859454746605413*c_0101_5^22 + 2273555382280207885033793499442558938700389477165/20080634096686473\ 0302886859454746605413*c_0101_5^21 + 803267833526074074720178539549399569255063523570/200806340966864730\ 302886859454746605413*c_0101_5^20 - 8700442027917295732474842641469214393016606202610/20080634096686473\ 0302886859454746605413*c_0101_5^19 - 6739746051522196880751698307396956212153263948369/20080634096686473\ 0302886859454746605413*c_0101_5^18 + 18570965060104522856911603683715844396780900875557/2008063409668647\ 30302886859454746605413*c_0101_5^17 + 20304570406220803061514376308575181552082274241992/2008063409668647\ 30302886859454746605413*c_0101_5^16 - 21743910056768569063069697296771807914889374517258/2008063409668647\ 30302886859454746605413*c_0101_5^15 - 30235002752457588533064674141804243987483153562843/2008063409668647\ 30302886859454746605413*c_0101_5^14 + 14942874075081775796583440221658454707239610667125/2008063409668647\ 30302886859454746605413*c_0101_5^13 + 26355683361300275424501777520645124576313892804418/2008063409668647\ 30302886859454746605413*c_0101_5^12 - 6454870381191257242818610564082657711919638583657/20080634096686473\ 0302886859454746605413*c_0101_5^11 - 14856501468733846320003552023309582222789000084370/2008063409668647\ 30302886859454746605413*c_0101_5^10 + 2119855860375991188753392996882333805807969433037/20080634096686473\ 0302886859454746605413*c_0101_5^9 + 5598125012351786670729883466960329220178133618524/20080634096686473\ 0302886859454746605413*c_0101_5^8 - 757820003263208572373899856648053694586047024446/200806340966864730\ 302886859454746605413*c_0101_5^7 - 1313760411905628700296755124714529413256177727857/20080634096686473\ 0302886859454746605413*c_0101_5^6 + 231461023929547875203532272556498207570300333164/200806340966864730\ 302886859454746605413*c_0101_5^5 + 157920057425053989841402306266219027489487821102/200806340966864730\ 302886859454746605413*c_0101_5^4 - 31497321716074246220171229806006999756663716464/2008063409668647303\ 02886859454746605413*c_0101_5^3 - 806225457532401055274350452439531\ 0918141548119/200806340966864730302886859454746605413*c_0101_5^2 + 1180154833135238415338552137489965755511338951/20080634096686473030\ 2886859454746605413*c_0101_5 + 198913870946463541327513726048603098\ 704049656/200806340966864730302886859454746605413, c_0101_1 - 149876269370102271886573533207920258810671249/20080634096686\ 4730302886859454746605413*c_0101_5^29 - 77518261503242847155904656146870702460876446/2008063409668647303028\ 86859454746605413*c_0101_5^28 + 37068139369718005592865514000760039\ 57218602420/200806340966864730302886859454746605413*c_0101_5^27 - 31170711213782026897628584425179820394524399/2008063409668647303028\ 86859454746605413*c_0101_5^26 - 48126424105806036042026151525658957\ 479756052388/200806340966864730302886859454746605413*c_0101_5^25 + 29513364916455424705906260135102451475503203746/2008063409668647303\ 02886859454746605413*c_0101_5^24 + 505510289375711321088330753661110359055807104946/200806340966864730\ 302886859454746605413*c_0101_5^23 - 93299627319699702793374279375706596911966742186/2008063409668647303\ 02886859454746605413*c_0101_5^22 - 3311364865367240978674770263491857058235742633483/20080634096686473\ 0302886859454746605413*c_0101_5^21 - 1169537080062572089159351199311035556933226671917/20080634096686473\ 0302886859454746605413*c_0101_5^20 + 12672204372284574745604464967391370109807098596131/2008063409668647\ 30302886859454746605413*c_0101_5^19 + 9814828580069033489314568751459353515984609558357/20080634096686473\ 0302886859454746605413*c_0101_5^18 - 27049811740962785549126629739847301080734589764721/2008063409668647\ 30302886859454746605413*c_0101_5^17 - 29570592790584088296583356915632400121784750819224/2008063409668647\ 30302886859454746605413*c_0101_5^16 + 31673971521486861436614745546529509316387659839092/2008063409668647\ 30302886859454746605413*c_0101_5^15 + 44034940126744994058378481985630503742562262537009/2008063409668647\ 30302886859454746605413*c_0101_5^14 - 21769700868735323365433485236388961857140577413495/2008063409668647\ 30302886859454746605413*c_0101_5^13 - 38386741836357351881151576081708826713258449080307/2008063409668647\ 30302886859454746605413*c_0101_5^12 + 9405520056629571975031868824455376833337470492228/20080634096686473\ 0302886859454746605413*c_0101_5^11 + 21639173715812374226968127480333968749834856915539/2008063409668647\ 30302886859454746605413*c_0101_5^10 - 3089401826920148156011020094952918044523650222377/20080634096686473\ 0302886859454746605413*c_0101_5^9 - 8154162637488308946237558845137923393728818493596/20080634096686473\ 0302886859454746605413*c_0101_5^8 + 1104320406391080458286132288060459623884860546731/20080634096686473\ 0302886859454746605413*c_0101_5^7 + 1913641006883330562123594227686935162099051158510/20080634096686473\ 0302886859454746605413*c_0101_5^6 - 337231773575069422686538712172223992476634094285/200806340966864730\ 302886859454746605413*c_0101_5^5 - 230031206442530737721428101010090698724907407306/200806340966864730\ 302886859454746605413*c_0101_5^4 + 45887096498906020102029600792946816219501781530/2008063409668647303\ 02886859454746605413*c_0101_5^3 + 117440175639018880528462694068149\ 79421189376610/200806340966864730302886859454746605413*c_0101_5^2 - 1719306423658723324006582103541312425341683244/20080634096686473030\ 2886859454746605413*c_0101_5 - 289769852345232567560281337772095600\ 763643883/200806340966864730302886859454746605413, c_0101_3 + 30675879221369554591795457829123263670704156/200806340966864\ 730302886859454746605413*c_0101_5^29 + 15900636413836529559907769736537995343598911/2008063409668647303028\ 86859454746605413*c_0101_5^28 - 75865586462350088975968800173873519\ 7283931866/200806340966864730302886859454746605413*c_0101_5^27 + 5541365916249236215021752496690458863300354/20080634096686473030288\ 6859454746605413*c_0101_5^26 + 984985070293611315520418328860840376\ 0931921787/200806340966864730302886859454746605413*c_0101_5^25 - 6029729828461430773924694736087012594370844565/20080634096686473030\ 2886859454746605413*c_0101_5^24 - 103466546076357672217793713758133\ 199570456801380/200806340966864730302886859454746605413*c_0101_5^23 + 18978651736203632651650611493754017248852969538/20080634096686473\ 0302886859454746605413*c_0101_5^22 + 677715659670310817748879707563591878870762556703/200806340966864730\ 302886859454746605413*c_0101_5^21 + 240120898178220091092062304829772971737017039642/200806340966864730\ 302886859454746605413*c_0101_5^20 - 2593037877652549997089344926531801477367983816226/20080634096686473\ 0302886859454746605413*c_0101_5^19 - 2011453630106062232287189664728213085128620389259/20080634096686473\ 0302886859454746605413*c_0101_5^18 + 5532847717807309514877489296863910826144494604195/20080634096686473\ 0302886859454746605413*c_0101_5^17 + 6056823047851932000777630308726533907537116064722/20080634096686473\ 0302886859454746605413*c_0101_5^16 - 6473806741808163777967705520962035577083072439380/20080634096686473\ 0302886859454746605413*c_0101_5^15 - 9015643206001273570560467868508611460123256107489/20080634096686473\ 0302886859454746605413*c_0101_5^14 + 4444144040775379265382586178022900367521278963393/20080634096686473\ 0302886859454746605413*c_0101_5^13 + 7856064594818994028033709419727470052981672574756/20080634096686473\ 0302886859454746605413*c_0101_5^12 - 1916573994778921395153336720337801191647439435123/20080634096686473\ 0302886859454746605413*c_0101_5^11 - 4426933174543750179180007239757518502903674846435/20080634096686473\ 0302886859454746605413*c_0101_5^10 + 628351827002183996856866836872664803397276153021/200806340966864730\ 302886859454746605413*c_0101_5^9 + 1667688242352056706421450539285503940945232347567/20080634096686473\ 0302886859454746605413*c_0101_5^8 - 224772639306117633161231439423219914625295776422/200806340966864730\ 302886859454746605413*c_0101_5^7 - 391305075720446081604116830533528271246152583001/200806340966864730\ 302886859454746605413*c_0101_5^6 + 68764670191216508041986259620779357367520718186/2008063409668647303\ 02886859454746605413*c_0101_5^5 + 470310121203170080250824399420965\ 31454038850857/200806340966864730302886859454746605413*c_0101_5^4 - 9364000556796066375103393146189861207803965933/20080634096686473030\ 2886859454746605413*c_0101_5^3 - 2400403650386750116060797239780429\ 723191869189/200806340966864730302886859454746605413*c_0101_5^2 + 350830522028725237086122588392949566360660204/200806340966864730302\ 886859454746605413*c_0101_5 + 5917417269493460605049530799719723477\ 5076849/200806340966864730302886859454746605413, c_0101_5^30 - 25*c_0101_5^28 + 13*c_0101_5^27 + 321*c_0101_5^26 - 363*c_0101_5^25 - 3271*c_0101_5^24 + 2367*c_0101_5^23 + 21772*c_0101_5^22 - 3624*c_0101_5^21 - 88587*c_0101_5^20 - 21755*c_0101_5^19 + 214351*c_0101_5^18 + 103952*c_0101_5^17 - 313380*c_0101_5^16 - 184502*c_0101_5^15 + 297213*c_0101_5^14 + 180995*c_0101_5^13 - 195226*c_0101_5^12 - 111921*c_0101_5^11 + 95289*c_0101_5^10 + 43744*c_0101_5^9 - 35508*c_0101_5^8 - 8957*c_0101_5^7 + 8854*c_0101_5^6 + 371*c_0101_5^5 - 1100*c_0101_5^4 + 80*c_0101_5^3 + 52*c_0101_5^2 - 4*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB