Magma V2.19-8 Tue Aug 20 2013 16:16:26 on localhost [Seed = 3616951096] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0721 geometric_solution 4.67234109 oriented_manifold CS_known 0.0000000000000002 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.409754041382 0.093418899076 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 -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 1.179524462284 0.107395826101 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 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 1.249584808083 0.383510802699 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 -1 0 1 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 1 0 -1 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.413079657715 0.508330340034 6 3 5 5 0132 0132 2103 3201 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.360512217896 1.145967179807 4 4 6 3 2103 2310 2310 0132 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 -1 1 -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.360512217896 1.145967179807 4 5 6 6 0132 3201 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.203048666831 0.431552080669 ==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' : d['c_0101_4'], 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], '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' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_1'], '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' : d['c_0101_6'], 'c_1001_4' : d['c_0011_5'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_6']), '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' : d['c_0101_2'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0101_2'], '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_5, c_0101_0, c_0101_2, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 3 Groebner basis: [ t - 26/3*c_0101_4^2 - 62/3*c_0101_4 + 37/3, c_0011_0 - 1, c_0011_1 + c_0101_4^2 + 2*c_0101_4, c_0011_5 - c_0101_4 - 1, c_0101_0 - c_0101_4 - 1, c_0101_2 + c_0101_4, c_0101_4^3 + 3*c_0101_4^2 - 1, c_0101_6 - 1 ], Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_5, c_0101_0, c_0101_2, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 3865068584876563464839305650291562760106997286744036210151831658949\ 864829743802145/176734754603355077623759494873812183880492087180559\ 782802704419666093130857546*c_0101_6^29 - 6933290240707513746728731904790824254567714248328325947831387517060\ 650935599779954/883673773016775388118797474369060919402460435902798\ 91401352209833046565428773*c_0101_6^28 + 1989688801396880252189281891471720768789928373671160228160204960723\ 95409926456370833/1767347546033550776237594948738121838804920871805\ 59782802704419666093130857546*c_0101_6^27 - 3734673413579805099412587488192150826857970423677748046727703043803\ 7134403200806792/67974905616675029855292113413004686107881571992522\ 99338565554602542043494521*c_0101_6^26 + 6633184276753973909842748548012909608119265305730079764188118021439\ 31418551721925285/1767347546033550776237594948738121838804920871805\ 59782802704419666093130857546*c_0101_6^25 + 3409356235062268844234239806389118975692999506229352703341118861373\ 996806110546821883/176734754603355077623759494873812183880492087180\ 559782802704419666093130857546*c_0101_6^24 - 6030714447409882135088739068888490317341064662908411270211561907515\ 756689907796853299/883673773016775388118797474369060919402460435902\ 79891401352209833046565428773*c_0101_6^23 + 4997997537749193353336818296993973721224648059375488329658749355262\ 390617689394727323/883673773016775388118797474369060919402460435902\ 79891401352209833046565428773*c_0101_6^22 + 1040808624950250279529275115958850513847350435495019944268712901952\ 5879894836601687865/17673475460335507762375949487381218388049208718\ 0559782802704419666093130857546*c_0101_6^21 - 4066036825491555223606501464947610193345703918096329107199523940729\ 5460285856113679727/17673475460335507762375949487381218388049208718\ 0559782802704419666093130857546*c_0101_6^20 + 2273940524856047513178938031117461826395721732477928478646370115685\ 3188417866014388861/17673475460335507762375949487381218388049208718\ 0559782802704419666093130857546*c_0101_6^19 - 1224337271140118105565722156085825118729149516294461457650687457616\ 467836192181626044/126239110430967912588399639195580131343208633700\ 39984485907458547578080775539*c_0101_6^18 - 4045411854862136668606086455475823305511106314494615447321667534358\ 267233817920152273/883673773016775388118797474369060919402460435902\ 79891401352209833046565428773*c_0101_6^17 + 1412982842288667671421607709583657609803505502894751497891968384614\ 0465466635308024443/17673475460335507762375949487381218388049208718\ 0559782802704419666093130857546*c_0101_6^16 + 2853899694917420254360165478823653283576052776930781440988988062393\ 998231430943093260/126239110430967912588399639195580131343208633700\ 39984485907458547578080775539*c_0101_6^15 + 3435488102921330799770731704605549683432903250989565984901840578922\ 69336574724157652747/1767347546033550776237594948738121838804920871\ 80559782802704419666093130857546*c_0101_6^14 + 1784809381101470489205860311837644444780981645118636700463193030185\ 9610729672636775639/25247822086193582517679927839116026268641726740\ 079968971814917095156161551078*c_0101_6^13 - 2376685290406394882569283196508407843391732030776475102814544343999\ 45365561427148067979/8836737730167753881187974743690609194024604359\ 0279891401352209833046565428773*c_0101_6^12 - 2487961552512951396914898674666451846497861201099589545590055936482\ 16917724281961125878/8836737730167753881187974743690609194024604359\ 0279891401352209833046565428773*c_0101_6^11 + 2018019891522338976925201805373994775592457104812808370608072644623\ 63972128594708082391/1767347546033550776237594948738121838804920871\ 80559782802704419666093130857546*c_0101_6^10 + 1734490754451743414463507798686115637042725004100988439724556177257\ 07517727747946763771/1767347546033550776237594948738121838804920871\ 80559782802704419666093130857546*c_0101_6^9 + 9721084546321037913380961551591056435724829577009987060503444070902\ 709008808473608869/176734754603355077623759494873812183880492087180\ 559782802704419666093130857546*c_0101_6^8 - 1752970295256100529953512589077795790727825581931593843118706851802\ 0740979990581373655/17673475460335507762375949487381218388049208718\ 0559782802704419666093130857546*c_0101_6^7 - 1951484566969256680758437653231981806637389753260234492494057903721\ 7759280183291312971/17673475460335507762375949487381218388049208718\ 0559782802704419666093130857546*c_0101_6^6 + 4927314893066991631783314353409765556967044471022366438162722934533\ 140800398289115957/176734754603355077623759494873812183880492087180\ 559782802704419666093130857546*c_0101_6^5 + 3714834787996911097808923765098385101942611363815119741661341271285\ 254514266439576549/176734754603355077623759494873812183880492087180\ 559782802704419666093130857546*c_0101_6^4 - 7125615483092728777837018716090584432946536653736610284434471925726\ 30132237857400157/8836737730167753881187974743690609194024604359027\ 9891401352209833046565428773*c_0101_6^3 - 1752171562338863978028469294953714202668967720340959947365071475954\ 63390999370169779/1767347546033550776237594948738121838804920871805\ 59782802704419666093130857546*c_0101_6^2 + 1520561102348564012050020766596533551079658303128028152641769055487\ 1895554025211565/25247822086193582517679927839116026268641726740079\ 968971814917095156161551078*c_0101_6 - 4632979788825817541266162553647020675536274824166536277296406597641\ 206845554023861/883673773016775388118797474369060919402460435902798\ 91401352209833046565428773, c_0011_0 - 1, c_0011_1 - 120310406794508797066034010501993676715570715350434051153136\ 0057599115471173421/12623911043096791258839963919558013134320863370\ 039984485907458547578080775539*c_0101_6^29 - 4317596973217127435088099578053673623178149424207432999788613704218\ 787511525591/126239110430967912588399639195580131343208633700399844\ 85907458547578080775539*c_0101_6^28 + 6193078312947782098804274006204023445158093051074405644502581926109\ 9112188157086/12623911043096791258839963919558013134320863370039984\ 485907458547578080775539*c_0101_6^27 - 2324506437812806544582911686994729693580509027826419896881206490057\ 0500500199051/97107008023821471221845876304292408725545102846461419\ 1223650657506006213503*c_0101_6^26 + 2061053318337890341701541996514670093081868499738588546351497568202\ 40483850012034/1262391104309679125883996391955801313432086337003998\ 4485907458547578080775539*c_0101_6^25 + 1061743672160205467218179616753608188077697892803461859170469362123\ 565153418970205/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^24 - 3753608552025084601639434477260338014527739980251155358787539736767\ 987156131479169/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^23 + 3106812501055011590229231952315389887442246440059665336445423435837\ 237735470981731/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^22 + 3246503029472792827522880076746253656230182593428404235665128865220\ 451576131134272/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^21 - 1265721675127074769569600812393983676642960711319123636366497857317\ 2004876627009176/12623911043096791258839963919558013134320863370039\ 984485907458547578080775539*c_0101_6^20 + 7063965046824888173009292317808691899679380012656821479512051487863\ 166617362387380/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^19 - 5317176332089885801807059472894931059186164208158098479730315531993\ 229871633503319/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^18 - 2534346289237389628705793551898270273586552461173775608859845074213\ 783217017725888/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^17 + 4404655569735917155194383066247768885675906176998666030707205149749\ 733082212988659/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^16 + 1243980000177163296245706319149230151953687853130677705945713818441\ 7007915044807495/12623911043096791258839963919558013134320863370039\ 984485907458547578080775539*c_0101_6^15 + 1069489643951550937833090829379112599662912494442402463548592825901\ 26992475682123544/1262391104309679125883996391955801313432086337003\ 9984485907458547578080775539*c_0101_6^14 + 3899233744861071810733520756890509334370501185884414680964521996081\ 8943657368521382/12623911043096791258839963919558013134320863370039\ 984485907458547578080775539*c_0101_6^13 - 1480071216792547261531139919554239967012364486460691613836614247950\ 30695265016334181/1262391104309679125883996391955801313432086337003\ 9984485907458547578080775539*c_0101_6^12 - 1550435534293784531854072540283471455627841797589412329525700829797\ 05198888463006207/1262391104309679125883996391955801313432086337003\ 9984485907458547578080775539*c_0101_6^11 + 6277385108131740306641242472251566133575293998297435203492709482083\ 3187455304295097/12623911043096791258839963919558013134320863370039\ 984485907458547578080775539*c_0101_6^10 + 5413900993049153716048374470956167402908898807628250990911746580382\ 4791317192111597/12623911043096791258839963919558013134320863370039\ 984485907458547578080775539*c_0101_6^9 + 3003133004511502433114556015068876129871669800922112891846408397385\ 439411109899722/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^8 - 5461988054002545262452936214658252215570117966081902765994505177609\ 268951044374457/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^7 - 6080980195234634259419841255937746144379801142058057127537530557871\ 010393754934024/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^6 + 1531816829887273462262023628327092296707586657945974023828592440873\ 557798217403138/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^5 + 1160946248490470994281225411035132819994198754136599222441875721998\ 236850408540823/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^4 - 4449258625613108917681261691031699155059032171860115564014796525189\ 47355320846179/1262391104309679125883996391955801313432086337003998\ 4485907458547578080775539*c_0101_6^3 - 5490738472876656986291299186072053409952547929637750925860907375871\ 5811145297128/12623911043096791258839963919558013134320863370039984\ 485907458547578080775539*c_0101_6^2 + 3333287908444942149828133245111209349038972776722791273199849977022\ 4785489446447/12623911043096791258839963919558013134320863370039984\ 485907458547578080775539*c_0101_6 - 2906177593672341310466958403316559034335154598855558709023443929096\ 960034679733/126239110430967912588399639195580131343208633700399844\ 85907458547578080775539, c_0011_5 + 111587745829577839450619773180218310192965979566869741501312\ 3847113404404141957/12623911043096791258839963919558013134320863370\ 039984485907458547578080775539*c_0101_6^29 + 3994792005861233963870824843460851614368747274614098268075829464306\ 337556736262/126239110430967912588399639195580131343208633700399844\ 85907458547578080775539*c_0101_6^28 - 5747047029535294909934314361578757009549406181214688119778342104790\ 3542790876895/12623911043096791258839963919558013134320863370039984\ 485907458547578080775539*c_0101_6^27 + 2159976950884128886929176393358989038063252487294587337181786710464\ 8307719726864/97107008023821471221845876304292408725545102846461419\ 1223650657506006213503*c_0101_6^26 - 1938981538679917662799097312819334429655348999457345911315099550525\ 79244900970379/1262391104309679125883996391955801313432086337003998\ 4485907458547578080775539*c_0101_6^25 - 9816384962088626323688379340354687616483476132730487681643375928262\ 00542027103711/1262391104309679125883996391955801313432086337003998\ 4485907458547578080775539*c_0101_6^24 + 3488576757550497571437121369749818865743504994275481961120402513994\ 370829876571851/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^23 - 2916094451378750650506764863595117945649534547338791756025946637979\ 629685626055789/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^22 - 2967657021190733588460641868186043435340982514126489988639715299924\ 341902819954427/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^21 + 1174457873145069533836586380400687043098864585411994768701316924445\ 0386547697754320/12623911043096791258839963919558013134320863370039\ 984485907458547578080775539*c_0101_6^20 - 6659752075984063904604250711039394008221316731385047988704998365029\ 930372434359973/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^19 + 5046662898165193200172071030853026156352581845335829308284141967418\ 621696294327852/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^18 + 2252272889958367615676940786012856539815149481966617894273192823285\ 026699624169196/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^17 - 4058122860226932138157110323949142016589886572649614155925635578107\ 760347289790144/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^16 - 1151168945210507454880414225199525584267289111955575060069784933722\ 3026060393971623/12623911043096791258839963919558013134320863370039\ 984485907458547578080775539*c_0101_6^15 - 9910839798168323023618521027144328316284158342091220830606251099858\ 3749043948391326/12623911043096791258839963919558013134320863370039\ 984485907458547578080775539*c_0101_6^14 - 3534566773704877062491302495195449243073392043484754474695825682280\ 9140807318796304/12623911043096791258839963919558013134320863370039\ 984485907458547578080775539*c_0101_6^13 + 1371394989132635811058529229593933992324114246966695408233729303722\ 34590900637728571/1262391104309679125883996391955801313432086337003\ 9984485907458547578080775539*c_0101_6^12 + 1426118772755361433481597343247180092580305631403159261474490316448\ 77364306001742909/1262391104309679125883996391955801313432086337003\ 9984485907458547578080775539*c_0101_6^11 - 5884608706097763840829083829699435154655782536980562917755895505906\ 7752114130075610/12623911043096791258839963919558013134320863370039\ 984485907458547578080775539*c_0101_6^10 - 4928167475125897934878834104018157161196476726782771353387530226872\ 3036828139723748/12623911043096791258839963919558013134320863370039\ 984485907458547578080775539*c_0101_6^9 - 2778179317931745610662160638510921360571253076233191091257181486932\ 734113891872905/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^8 + 5045500993968504330871812381873605079819206345623427675181789969737\ 825089983183753/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^7 + 5592762152802333094474792293162148988564577938051729470582227429746\ 004445985012838/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^6 - 1447880079597743449831157214822806350246403149927597187458547539146\ 008536968074236/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^5 - 1047464673151452415386186085471415226690089258290992738036093470391\ 409664652616343/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^4 + 4087372159842429363027428072071203388127343614270890541648294723662\ 14324374707864/1262391104309679125883996391955801313432086337003998\ 4485907458547578080775539*c_0101_6^3 + 4820361711230352958868671378812314845878643995789866178986594968679\ 6683234428619/12623911043096791258839963919558013134320863370039984\ 485907458547578080775539*c_0101_6^2 - 3000853418167617363192916747699345319346286095315093443053836720561\ 5690437382383/12623911043096791258839963919558013134320863370039984\ 485907458547578080775539*c_0101_6 + 2629268907514715814005287122850616946281392483353208438677353131870\ 202619878757/126239110430967912588399639195580131343208633700399844\ 85907458547578080775539, c_0101_0 - 189254974376776823582861102422843326026271311707897738851197\ 0899730167869175739/12623911043096791258839963919558013134320863370\ 039984485907458547578080775539*c_0101_6^29 - 6776481850854416747972014685610773950373436674724800470190076750182\ 026868865726/126239110430967912588399639195580131343208633700399844\ 85907458547578080775539*c_0101_6^28 + 9748102194429126087002006426467875775465072096703548134475264876105\ 4712883482754/12623911043096791258839963919558013134320863370039984\ 485907458547578080775539*c_0101_6^27 - 3662504948456789101379100230074145306900329795950510098839493405524\ 5514250033111/97107008023821471221845876304292408725545102846461419\ 1223650657506006213503*c_0101_6^26 + 3277891389176179116755832867587037258717952683709401151778692222611\ 58297832280454/1262391104309679125883996391955801313432086337003998\ 4485907458547578080775539*c_0101_6^25 + 1668927637638708495584627271624923645802127175032885078493801309990\ 941969648155721/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^24 - 5919193619555134286686980287437745562453181626594695971222666764780\ 193795782508935/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^23 + 4930443837071381560292438631314293959365001083026421551922145410320\ 462983551884679/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^22 + 5084321416954197327822660705252192076570103059263558795861293232561\ 931361691230112/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^21 - 1996710361245615358078655675716996366333449595732932290327762765239\ 7141584646276368/12623911043096791258839963919558013134320863370039\ 984485907458547578080775539*c_0101_6^20 + 1126101533995533287859428334872823665241746242665196247182441939475\ 6498490729953488/12623911043096791258839963919558013134320863370039\ 984485907458547578080775539*c_0101_6^19 - 8398244503317843173792795401535649865578712552739203096075747181284\ 111892215355059/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^18 - 3954285015768327903840968617013044677404797708962581926553817398180\ 810322493458810/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^17 + 6991365295197819631663997652545023585039377769074682523284277684391\ 280869795453643/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^16 + 1951837920514441934774669687907617906312442453139673313129988745745\ 9322529967080363/12623911043096791258839963919558013134320863370039\ 984485907458547578080775539*c_0101_6^15 + 1680610494076830247758109801408104374154322598465567042294504091704\ 70411452759539225/1262391104309679125883996391955801313432086337003\ 9984485907458547578080775539*c_0101_6^14 + 5991848878723028242190504246199674361158466257726144391774601138732\ 2532185650013849/12623911043096791258839963919558013134320863370039\ 984485907458547578080775539*c_0101_6^13 - 2337991518110606386845181278267791434383356184933050568138100332216\ 86450979505896773/1262391104309679125883996391955801313432086337003\ 9984485907458547578080775539*c_0101_6^12 - 2421583210241697701036544977759882252067858780277930579194012858660\ 91622217053166981/1262391104309679125883996391955801313432086337003\ 9984485907458547578080775539*c_0101_6^11 + 1013602922588936826773030829848381458724343462733946719276466130278\ 54486311130310725/1262391104309679125883996391955801313432086337003\ 9984485907458547578080775539*c_0101_6^10 + 8502127876170583296554629720305399115739271550026194349408136391573\ 8718257854438063/12623911043096791258839963919558013134320863370039\ 984485907458547578080775539*c_0101_6^9 + 3767123341185871193545626623530212168503697030648875438009646879620\ 337045318971340/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^8 - 8819045466447026466174287849572179939392495463832357669750072605225\ 471551557306344/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^7 - 9529700549649269198751461829815764087578133243308414346625287382855\ 122024927030534/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^6 + 2504538750986384993841032141708570436574898565709619059770803269350\ 201151375771350/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^5 + 1832791928091749736552458128826398302472258396712081457723694268565\ 214037446535821/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^4 - 7212176848795177512076929230324978112429103175667575763016301493614\ 69597728875859/1262391104309679125883996391955801313432086337003998\ 4485907458547578080775539*c_0101_6^3 - 8383045810167311263665197866071720102311845083109419953690233077218\ 3457189930580/12623911043096791258839963919558013134320863370039984\ 485907458547578080775539*c_0101_6^2 + 5438376294326865835942831357044755415411626429474275800582234713553\ 2624168545328/12623911043096791258839963919558013134320863370039984\ 485907458547578080775539*c_0101_6 - 4895242893423192167872983314105049162151171735535516267118264428052\ 682605081167/126239110430967912588399639195580131343208633700399844\ 85907458547578080775539, c_0101_2 - 135214160119327895126933054181117811417633243227162946599162\ 8691386608387213309/12623911043096791258839963919558013134320863370\ 039984485907458547578080775539*c_0101_6^29 - 4850228722957700660977867267987239930221019503119431302901942003622\ 817931291973/126239110430967912588399639195580131343208633700399844\ 85907458547578080775539*c_0101_6^28 + 6961728025324267743057516540593321530607265865153027774293362078759\ 5835159488283/12623911043096791258839963919558013134320863370039984\ 485907458547578080775539*c_0101_6^27 - 2613167261308132386917275600245625791378191406686128315658448464291\ 0164433099635/97107008023821471221845876304292408725545102846461419\ 1223650657506006213503*c_0101_6^26 + 2318458288728066432806516348733695337180344020579751398216020682655\ 84449511068732/1262391104309679125883996391955801313432086337003998\ 4485907458547578080775539*c_0101_6^25 + 1194653457803345759537852595894992080395426761568903678026728567240\ 249274740497633/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^24 - 4222140330026880653402082712850322695620711851328631325703116613249\ 655098575428188/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^23 + 3493206795062777742369094453035243946869459540404083905184270645793\ 727780584724787/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^22 + 3664945975169671636557492835779923665572558515514275885477293808937\ 201060648472520/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^21 - 1425397233636068705125945407030810770057820743651860118283529108588\ 4391963676024678/12623911043096791258839963919558013134320863370039\ 984485907458547578080775539*c_0101_6^20 + 7951375629381817070888914496148048123541718089772186552527043615928\ 607565014359113/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^19 - 5917748530092819112391089993036777979015397904755545032578818701162\ 292967506266946/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^18 - 2895122918435189624240445519002709545386643477689954100243303080560\ 895396785279267/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^17 + 5003326730953202070429324255626831445026826358718058984539255131190\ 175583549082893/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^16 + 1397097669315186287190696775958077109471347514585095931995434400083\ 7226205864881498/12623911043096791258839963919558013134320863370039\ 984485907458547578080775539*c_0101_6^15 + 1201543508488633501350573740321027334220881976202118331408656687431\ 81834538429078399/1262391104309679125883996391955801313432086337003\ 9984485907458547578080775539*c_0101_6^14 + 4356040401665913574662599569754037747004257131958107489131930188579\ 9401657668709299/12623911043096791258839963919558013134320863370039\ 984485907458547578080775539*c_0101_6^13 - 1669954989716971391816990734638773551563748393393315587962999940790\ 37761805908716431/1262391104309679125883996391955801313432086337003\ 9984485907458547578080775539*c_0101_6^12 - 1740637251983052279469392977502570396208654938139404524687899460587\ 52808416063611041/1262391104309679125883996391955801313432086337003\ 9984485907458547578080775539*c_0101_6^11 + 7163443315103724004346896468979738928078850509558184821784798751266\ 6831444624961240/12623911043096791258839963919558013134320863370039\ 984485907458547578080775539*c_0101_6^10 + 6140136742755142801173358074468754781383754363320037530281201799149\ 0928249303491600/12623911043096791258839963919558013134320863370039\ 984485907458547578080775539*c_0101_6^9 + 2833104315149515335829271480986575320406545185331633530950835382251\ 060624520656596/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^8 - 6291338096453392568855333722483921295224328000906510175105459148199\ 735495564406823/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^7 - 6842944830670795486719875324477255337298291984092477551478126840463\ 838700545256463/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^6 + 1756602444131211982017706365978695925079173224808280100021963003115\ 681928006453052/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^5 + 1329183355528330944097681607011869677101774336935957937635781792757\ 599576728024766/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^4 - 5149666987247628844118675319535817758618868385937732373664099579898\ 60629819466951/1262391104309679125883996391955801313432086337003998\ 4485907458547578080775539*c_0101_6^3 - 6226941147206375588698960105672134455452426805824860757722063217893\ 6974495832963/12623911043096791258839963919558013134320863370039984\ 485907458547578080775539*c_0101_6^2 + 3927442251565317134639918923656790490874229339946091451767027921012\ 5418983269875/12623911043096791258839963919558013134320863370039984\ 485907458547578080775539*c_0101_6 - 3512131264407981255491743247031951417016572178978132367334019513207\ 397334264093/126239110430967912588399639195580131343208633700399844\ 85907458547578080775539, c_0101_4 + 906407151050595119205424248857486169215281091245888946017020\ 304749631286740762/126239110430967912588399639195580131343208633700\ 39984485907458547578080775539*c_0101_6^29 + 3239134487887390090486744040473348176842110123886168879449739474584\ 176529196590/126239110430967912588399639195580131343208633700399844\ 85907458547578080775539*c_0101_6^28 - 4670125161243391388230690892636935465515033776990399409828326102431\ 9902226539499/12623911043096791258839963919558013134320863370039984\ 485907458547578080775539*c_0101_6^27 + 1756832107101081822764793648299860318943363158405727083813849782353\ 2604429744684/97107008023821471221845876304292408725545102846461419\ 1223650657506006213503*c_0101_6^26 - 1590352766421141192303841640722047668280705579252602316460866307012\ 50801896232040/1262391104309679125883996391955801313432086337003998\ 4485907458547578080775539*c_0101_6^25 - 7959222821612350430493437938235863344984037923435639445716383856662\ 27790997256230/1262391104309679125883996391955801313432086337003998\ 4485907458547578080775539*c_0101_6^24 + 2838295081073989416872832725156219157301304418781663660416530456878\ 246551581548462/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^23 - 2387903054919231758921708784116740123024679757598922291665388423980\ 859917259294289/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^22 - 2389933084533458519402948108438150590810713383124131651379340562095\ 264646837603003/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^21 + 9548473422673486444264605312153747892333085030795973241414220490935\ 950948939424780/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^20 - 5471458634938489094453827143315782116536965570830703217399643403207\ 378074115490936/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^19 + 4151262906500927725651648209372808166631806757471055083065183225658\ 466918311117085/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^18 + 1785716771011757731647919299678520968359598483516924647535882920849\ 287279475468177/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^17 - 3292686822125086940196740021315341524366610682209964555699323591707\ 104332613623761/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^16 - 9333309033837791122423197290095304061626071328386475965998537595282\ 981397381843663/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^15 - 8044889789257246108388737715234323837214733572736316774454826602447\ 1900844802873785/12623911043096791258839963919558013134320863370039\ 984485907458547578080775539*c_0101_6^14 - 2821324038003847051860017256384887415991606021517654759619265232417\ 1668513607337400/12623911043096791258839963919558013134320863370039\ 984485907458547578080775539*c_0101_6^13 + 1114424170230832402141599377428567356151936802476618665827488342141\ 60352998863387392/1262391104309679125883996391955801313432086337003\ 9984485907458547578080775539*c_0101_6^12 + 1151444381996637005335423489012593677196501673026235346920395846992\ 88157649400744488/1262391104309679125883996391955801313432086337003\ 9984485907458547578080775539*c_0101_6^11 - 4834355348445576191367436661887919925374731871504827397297726239674\ 5642104747434853/12623911043096791258839963919558013134320863370039\ 984485907458547578080775539*c_0101_6^10 - 3961146315354473287880461217055426534179765902205090465942398089486\ 3498931916584508/12623911043096791258839963919558013134320863370039\ 984485907458547578080775539*c_0101_6^9 - 2141473602638449681592583543487594470635271084149605909637964365404\ 158500516162137/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^8 + 4107111720219963889235770492609113047711860829050249023645687690154\ 410439921389726/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^7 + 4518419295348325824632299773706342715506938685659772336518891600528\ 370374898488157/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^6 - 1198745050335087482014576291813967732249118143836170750445067366932\ 151710920488165/126239110430967912588399639195580131343208633700399\ 84485907458547578080775539*c_0101_6^5 - 8386523297465011831529451863590581903170334592768806270945873353439\ 23710366131508/1262391104309679125883996391955801313432086337003998\ 4485907458547578080775539*c_0101_6^4 + 3328814828620996579766030811558777462131287530245564439986358984217\ 21436738476780/1262391104309679125883996391955801313432086337003998\ 4485907458547578080775539*c_0101_6^3 + 3757247109329218785584315648996664350999035888614561265582971951608\ 2251692914578/12623911043096791258839963919558013134320863370039984\ 485907458547578080775539*c_0101_6^2 - 2419215223053574099777863336725882276861686999383264504857003707952\ 9090993411837/12623911043096791258839963919558013134320863370039984\ 485907458547578080775539*c_0101_6 + 2140944577922579183025498192641235555722670809240055720190727026018\ 350715977704/126239110430967912588399639195580131343208633700399844\ 85907458547578080775539, c_0101_6^30 + 4*c_0101_6^29 - 50*c_0101_6^28 + 230*c_0101_6^27 - 68*c_0101_6^26 - 953*c_0101_6^25 + 2757*c_0101_6^24 - 1299*c_0101_6^23 - 3761*c_0101_6^22 + 9411*c_0101_6^21 - 1544*c_0101_6^20 + 2003*c_0101_6^19 + 3925*c_0101_6^18 - 2795*c_0101_6^17 - 11846*c_0101_6^16 - 93146*c_0101_6^15 - 68969*c_0101_6^14 + 109705*c_0101_6^13 + 179471*c_0101_6^12 + 803*c_0101_6^11 - 66481*c_0101_6^10 - 20992*c_0101_6^9 + 3526*c_0101_6^8 + 6922*c_0101_6^7 + 804*c_0101_6^6 - 1490*c_0101_6^5 - 27*c_0101_6^4 + 198*c_0101_6^3 - 9*c_0101_6^2 - 9*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB