Magma V2.19-8 Tue Aug 20 2013 17:56:20 on localhost [Seed = 240106044] Type ? for help. Type -D to quit. Loading file "11_31__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_31 geometric_solution 9.96524504 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 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 1 -1 0 0 0 2 -2 0 -2 0 2 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.808867736989 0.762055130010 0 5 6 5 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 1 -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 1 -1 -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.652276915678 0.675405718841 3 0 8 7 0321 0132 0132 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 -1 1 0 2 0 -1 -1 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.983573471954 0.411616228064 2 8 4 0 0321 3201 3201 0132 0 0 0 0 0 1 -1 0 1 0 0 -1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -2 1 2 0 0 -2 0 -1 0 1 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.207939273917 1.033263013130 3 9 0 6 2310 0132 0132 0132 0 0 0 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 -2 0 2 0 0 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.642390200182 0.593385722398 1 1 10 9 3012 0132 0132 1230 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 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.602551702509 1.170376325650 8 10 4 1 0132 3201 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.169836295439 1.050541893834 10 9 2 10 0213 1230 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 -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.421712003524 1.035265422112 6 9 3 2 0132 0321 2310 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 0 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.038169184712 1.119992275409 5 4 7 8 3012 0132 3012 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.750790502030 0.242388911992 7 7 6 5 0213 2310 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.662526592557 0.828467168798 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0101_9']), 'c_1001_5' : d['c_0101_5'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0011_7']), 'c_1001_1' : d['c_0101_9'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_7']), 'c_1001_8' : negation(d['c_1001_0']), 'c_1010_10' : d['c_0101_5'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0011_7'], 's_2_0' : negation(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_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_1001_0']), 'c_1100_8' : negation(d['c_0011_10']), 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_10']), 'c_1100_10' : d['c_0011_6'], 'c_1010_7' : d['c_0101_9'], 'c_1010_6' : d['c_0101_9'], 'c_1010_5' : d['c_0101_9'], 'c_1010_4' : negation(d['c_0011_7']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_6']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0110_6' : d['c_0101_1'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0101_5'], 'c_0011_6' : d['c_0011_6'], 'c_0101_7' : d['c_0011_10'], 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_6'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0011_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : d['c_0011_10'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : negation(d['c_0101_5']), 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_4, c_0011_6, c_0011_7, c_0101_1, c_0101_2, c_0101_5, c_0101_9, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 1147907841838878954866585639539285937192494588161201309/97684977530\ 546342874505810634893421447272660716172616*c_1001_2^16 - 14202273842352186664658180009565838286410206348551614777/4884248876\ 5273171437252905317446710723636330358086308*c_1001_2^15 + 2285760069114110755981598436022902681057993808689933851/64266432585\ 8857518911222438387456720047846452080083*c_1001_2^14 - 585549654591208148479475398740965592795431348186879682857/244212443\ 82636585718626452658723355361818165179043154*c_1001_2^13 + 187259412518379631387559403373075530874755102267984611113/174437459\ 8759756122759032332765953954415583227074511*c_1001_2^12 - 920186692901653281486916983419970215439374027744576908285/257065730\ 3435430075644889753549826880191385808320332*c_1001_2^11 + 12942861602759445290275144892956899970434327534158589758775/1395499\ 6790078048982072258662127631635324665816596088*c_1001_2^10 - 9689318721766467109794147526127493632761385541920709283209/51413146\ 06870860151289779507099653760382771616640664*c_1001_2^9 + 292821002221227099721095990903767958297142925800540619381307/976849\ 77530546342874505810634893421447272660716172616*c_1001_2^8 - 181985438615688165238730336023449026034350082103155338698975/488424\ 88765273171437252905317446710723636330358086308*c_1001_2^7 + 25022279193897033745934961137104781005931365593131555851417/6977498\ 395039024491036129331063815817662332908298044*c_1001_2^6 - 807371583767340534806544929371326207570908506395758260101/303369495\ 436479325697223014394078948594014474273828*c_1001_2^5 + 11267497347593053678568948817280522403959952259201146537243/6977498\ 395039024491036129331063815817662332908298044*c_1001_2^4 - 3100917161098812296786387016518301122691195384152960005163/31511283\ 07436978802403413246286884562815247119876536*c_1001_2^3 + 2962533815778754323024122197625300061060481432864002864157/51413146\ 06870860151289779507099653760382771616640664*c_1001_2^2 - 21322609083890019018787474791916728640816538575551519147691/9768497\ 7530546342874505810634893421447272660716172616*c_1001_2 + 121053526112776586976299728066051759906665175805752246273/348874919\ 7519512245518064665531907908831166454149022, c_0011_0 - 1, c_0011_10 - 11890312115345147146677170413839041681/52441847054409152055\ 2204308868683187029*c_1001_2^16 + 294180256295303522480141923567712\ 889251/524418470544091520552204308868683187029*c_1001_2^15 - 189346395485126610160163384419834500657/276009721338995537132739109\ 93088588791*c_1001_2^14 + 24243566233028561891379017194167848911015\ /524418470544091520552204308868683187029*c_1001_2^13 - 15497335996744060336058569781634821590009/7491692436344164579317204\ 4124097598147*c_1001_2^12 + 190257888352340823099061394330730107382\ 36/27600972133899553713273910993088588791*c_1001_2^11 - 133698963226159717683990446984491563103560/749169243634416457931720\ 44124097598147*c_1001_2^10 + 99986326315832203480720413897962952896\ 668/27600972133899553713273910993088588791*c_1001_2^9 - 3017448903179026165245743913142852542257335/52441847054409152055220\ 4308868683187029*c_1001_2^8 + 3743403669327332823142048552549151727\ 095785/524418470544091520552204308868683187029*c_1001_2^7 - 513328924262068164575401793809617322298905/749169243634416457931720\ 44124097598147*c_1001_2^6 + 379542176790281105748496065461482484234\ 113/74916924363441645793172044124097598147*c_1001_2^5 - 229457522017679868931569448439463940986788/749169243634416457931720\ 44124097598147*c_1001_2^4 + 978840255236995793557194161142640984536\ 902/524418470544091520552204308868683187029*c_1001_2^3 - 30191211032783566465783710607649948882237/2760097213389955371327391\ 0993088588791*c_1001_2^2 + 2144420020041023379567405998560221035577\ 45/524418470544091520552204308868683187029*c_1001_2 - 4664522170217066695819430955532318384430/74916924363441645793172044\ 124097598147, c_0011_4 - 15148307634415649211282424832570502176/524418470544091520552\ 204308868683187029*c_1001_2^16 + 3733597537004584473306038644302323\ 24890/524418470544091520552204308868683187029*c_1001_2^15 - 239417190471606064076887296431235271352/276009721338995537132739109\ 93088588791*c_1001_2^14 + 30476202536387134968068245670821460340013\ /524418470544091520552204308868683187029*c_1001_2^13 - 19364571927577191510561934731785344564528/7491692436344164579317204\ 4124097598147*c_1001_2^12 + 236401999618640523515873710073128101130\ 35/27600972133899553713273910993088588791*c_1001_2^11 - 165137333528601221109746582984965804520575/749169243634416457931720\ 44124097598147*c_1001_2^10 + 12264879575666366045141918542842130218\ 9711/27600972133899553713273910993088588791*c_1001_2^9 - 3671454613187213111541390756166620297069994/52441847054409152055220\ 4308868683187029*c_1001_2^8 + 4512956926200082456300652172234035497\ 675365/524418470544091520552204308868683187029*c_1001_2^7 - 612272258511253821753186011762814341814735/749169243634416457931720\ 44124097598147*c_1001_2^6 + 447650064457136499630517348295280507731\ 420/74916924363441645793172044124097598147*c_1001_2^5 - 269101016926652069799345911275006349045209/749169243634416457931720\ 44124097598147*c_1001_2^4 + 115709991853253419788066327053791962156\ 8450/524418470544091520552204308868683187029*c_1001_2^3 - 35308232416068028603361511183347374080814/2760097213389955371327391\ 0993088588791*c_1001_2^2 + 2424981889775559295162595880460727342710\ 17/524418470544091520552204308868683187029*c_1001_2 - 5015774407603928129592596575043446414616/74916924363441645793172044\ 124097598147, c_0011_6 + 763991022847540421636679483432889930/74916924363441645793172\ 044124097598147*c_1001_2^16 - 1884292001056005554648723443868785952\ 8/74916924363441645793172044124097598147*c_1001_2^15 + 12089571678986541815247594921525287735/3942996019128507673324844427\ 584084113*c_1001_2^14 - 1540092607916404401007811537161948438352/74\ 916924363441645793172044124097598147*c_1001_2^13 + 6853337238690825876529509859479335466329/74916924363441645793172044\ 124097598147*c_1001_2^12 - 1195622602409854987335093019144262787579\ /3942996019128507673324844427584084113*c_1001_2^11 + 58485114197686395396510690296956611706693/7491692436344164579317204\ 4124097598147*c_1001_2^10 - 620735360390118363055931471130892460460\ 6/3942996019128507673324844427584084113*c_1001_2^9 + 185877903368608099825725409657787726214221/749169243634416457931720\ 44124097598147*c_1001_2^8 - 228564853352255619017467543418676522468\ 497/74916924363441645793172044124097598147*c_1001_2^7 + 217148564386828681655823147906908550764516/749169243634416457931720\ 44124097598147*c_1001_2^6 - 158778080515052357822537460545780055418\ 087/74916924363441645793172044124097598147*c_1001_2^5 + 95434846685719328191528526487762476158130/7491692436344164579317204\ 4124097598147*c_1001_2^4 - 5857223291793326557993640916713862338949\ 8/74916924363441645793172044124097598147*c_1001_2^3 + 1791070926288194183103264669401866897692/39429960191285076733248444\ 27584084113*c_1001_2^2 - 12494019990163289158123406371330544275374/\ 74916924363441645793172044124097598147*c_1001_2 + 1877565532858903901935780599199987357091/74916924363441645793172044\ 124097598147, c_0011_7 - 4671390907440852306104227239134725886/5244184705440915205522\ 04308868683187029*c_1001_2^16 + 11493055394554679935296304986056851\ 6508/524418470544091520552204308868683187029*c_1001_2^15 - 73563299629574017758563475960132168371/2760097213389955371327391099\ 3088588791*c_1001_2^14 + 9336386681522107842383492964419180372847/5\ 24418470544091520552204308868683187029*c_1001_2^13 - 5913045896849452601303930208272763664505/74916924363441645793172044\ 124097598147*c_1001_2^12 + 7197116687980130144372365636353885341216\ /27600972133899553713273910993088588791*c_1001_2^11 - 50122844375124330437377627808615713142947/7491692436344164579317204\ 4124097598147*c_1001_2^10 + 370977443485916939842268667675638323780\ 16/27600972133899553713273910993088588791*c_1001_2^9 - 1106272035677964832731968479517255552493211/52441847054409152055220\ 4308868683187029*c_1001_2^8 + 1354563012057434435265665506390692677\ 541664/524418470544091520552204308868683187029*c_1001_2^7 - 183044881925777122220423876088475515984558/749169243634416457931720\ 44124097598147*c_1001_2^6 + 133380192543795875434848696833184573299\ 271/74916924363441645793172044124097598147*c_1001_2^5 - 80185757261863444337653853905767269707097/7491692436344164579317204\ 4124097598147*c_1001_2^4 + 3455289079984968609000781995372575504789\ 92/524418470544091520552204308868683187029*c_1001_2^3 - 10414835946314544732854783755452696453272/2760097213389955371327391\ 0993088588791*c_1001_2^2 + 7163568232562053595225633997765033170746\ 4/524418470544091520552204308868683187029*c_1001_2 - 1481407563595249626588314570632482643239/74916924363441645793172044\ 124097598147, c_0101_1 + 1311614106434476238826478737850225726/5244184705440915205522\ 04308868683187029*c_1001_2^16 - 30672178408491916170321803179951075\ 621/524418470544091520552204308868683187029*c_1001_2^15 + 18621102101537535199137839450684676721/2760097213389955371327391099\ 3088588791*c_1001_2^14 - 2159595063611225901381799346938000805678/5\ 24418470544091520552204308868683187029*c_1001_2^13 + 1231863668107374977240534686992716268026/74916924363441645793172044\ 124097598147*c_1001_2^12 - 1342814892962426761538496814329215927893\ /27600972133899553713273910993088588791*c_1001_2^11 + 8183392368952008604980872637492858665227/74916924363441645793172044\ 124097598147*c_1001_2^10 - 5043390736294592555022210919210767050223\ /27600972133899553713273910993088588791*c_1001_2^9 + 114394968004719856371197783730669281222111/524418470544091520552204\ 308868683187029*c_1001_2^8 - 89339239605182369001178250124174112163\ 663/524418470544091520552204308868683187029*c_1001_2^7 + 4011982448911293475268735322567202922986/74916924363441645793172044\ 124097598147*c_1001_2^6 + 3343570051446782595524335608033676488575/\ 74916924363441645793172044124097598147*c_1001_2^5 - 3916608565617478174942771249220025273375/74916924363441645793172044\ 124097598147*c_1001_2^4 + 5637075043566055100217547602066903083327/\ 524418470544091520552204308868683187029*c_1001_2^3 - 654422223570491371070532770916398619440/276009721338995537132739109\ 93088588791*c_1001_2^2 + 15017482683280591136471279641110325362974/\ 524418470544091520552204308868683187029*c_1001_2 - 604258881245112334188478472662739117467/749169243634416457931720441\ 24097598147, c_0101_2 + 40664634109625580137291306797240418826/524418470544091520552\ 204308868683187029*c_1001_2^16 - 9994812266613910186119683095123097\ 45119/524418470544091520552204308868683187029*c_1001_2^15 + 639190776427011842032059241701538261986/276009721338995537132739109\ 93088588791*c_1001_2^14 - 81019633457365619851825229491176344225119\ /524418470544091520552204308868683187029*c_1001_2^13 + 51255439035244184866642634170610234352359/7491692436344164579317204\ 4124097598147*c_1001_2^12 - 623159422098023433509688465753156065897\ 45/27600972133899553713273910993088588791*c_1001_2^11 + 433391549076869459130791016414750056251542/749169243634416457931720\ 44124097598147*c_1001_2^10 - 32023676172040598000496552970982939817\ 8517/27600972133899553713273910993088588791*c_1001_2^9 + 9527685703794499932554263399555768620319015/52441847054409152055220\ 4308868683187029*c_1001_2^8 - 1162882547922395938831050545710812195\ 7420948/524418470544091520552204308868683187029*c_1001_2^7 + 1564448846904759998146581379621469272338643/74916924363441645793172\ 044124097598147*c_1001_2^6 - 11333241465295469406126676361637568270\ 16204/74916924363441645793172044124097598147*c_1001_2^5 + 677515654602572038989131236719338316922544/749169243634416457931720\ 44124097598147*c_1001_2^4 - 292900335525256542522285420517124558135\ 5852/524418470544091520552204308868683187029*c_1001_2^3 + 88550878296345141519687208467549907470689/2760097213389955371327391\ 0993088588791*c_1001_2^2 - 5899972102917657196767383015718508008374\ 63/524418470544091520552204308868683187029*c_1001_2 + 11780933173294072681946080225809007540681/7491692436344164579317204\ 4124097598147, c_0101_5 - 36395187089451447024556151948662010139/524418470544091520552\ 204308868683187029*c_1001_2^16 + 8953756148231578835796385453131569\ 50012/524418470544091520552204308868683187029*c_1001_2^15 - 573118925519596193124586201205466709924/276009721338995537132739109\ 93088588791*c_1001_2^14 + 72744672113080468742623349992111145599406\ /524418470544091520552204308868683187029*c_1001_2^13 - 46082605042628252993294568958361570233797/7491692436344164579317204\ 4124097598147*c_1001_2^12 + 560950731639890663570817184781248404757\ 44/27600972133899553713273910993088588791*c_1001_2^11 - 390628729999970075565675907992753716469216/749169243634416457931720\ 44124097598147*c_1001_2^10 + 28906168393703539158092698164792359420\ 1362/27600972133899553713273910993088588791*c_1001_2^9 - 8614773921456475218934872016243456669468118/52441847054409152055220\ 4308868683187029*c_1001_2^8 + 1053473429961762256223782203002950162\ 5083040/524418470544091520552204308868683187029*c_1001_2^7 - 1420464608416271999637017344032414721741023/74916924363441645793172\ 044124097598147*c_1001_2^6 + 10315442707156033790858025836668588942\ 16093/74916924363441645793172044124097598147*c_1001_2^5 - 617635568641363771651968434456846164777231/749169243634416457931720\ 44124097598147*c_1001_2^4 + 266751778029067161235058817872246796277\ 8817/524418470544091520552204308868683187029*c_1001_2^3 - 80888566737579318729555903320089108297725/2760097213389955371327391\ 0993088588791*c_1001_2^2 + 5430965825967964658403417605094178393124\ 96/524418470544091520552204308868683187029*c_1001_2 - 10985606458283299020170553140528770205743/7491692436344164579317204\ 4124097598147, c_0101_9 - 8146331494230400510819903934001922884/5244184705440915205522\ 04308868683187029*c_1001_2^16 + 20071448344046400513757854830674680\ 1311/524418470544091520552204308868683187029*c_1001_2^15 - 128657334681120606373691526923613187962/276009721338995537132739109\ 93088588791*c_1001_2^14 + 16365788405217078680309023599996520526805\ /524418470544091520552204308868683187029*c_1001_2^13 - 10388846086237928760591088361145204604501/7491692436344164579317204\ 4124097598147*c_1001_2^12 + 126679002129915143751056896885458275399\ 06/27600972133899553713273910993088588791*c_1001_2^11 - 88366524574593490542241456276509764152642/7491692436344164579317204\ 4124097598147*c_1001_2^10 + 655094747067354808937693880816103788303\ 76/27600972133899553713273910993088588791*c_1001_2^9 - 1955965608771871462738928007380884684676691/52441847054409152055220\ 4308868683187029*c_1001_2^8 + 2395882998094242219569796970075252939\ 818122/524418470544091520552204308868683187029*c_1001_2^7 - 323512011203235253308055298788552516853463/749169243634416457931720\ 44124097598147*c_1001_2^6 + 235057995759700289007974112993832665762\ 189/74916924363441645793172044124097598147*c_1001_2^5 - 140526520744827174441958385192713784686598/749169243634416457931720\ 44124097598147*c_1001_2^4 + 606045847341959913663472761682298207011\ 903/524418470544091520552204308868683187029*c_1001_2^3 - 18515851477617327482065477273999787977994/2760097213389955371327391\ 0993088588791*c_1001_2^2 + 1243276138709139206727400219203711859109\ 05/524418470544091520552204308868683187029*c_1001_2 - 2505231674752608465605076863315533970481/74916924363441645793172044\ 124097598147, c_1001_0 + 21388378264659666955294962995022883622/524418470544091520552\ 204308868683187029*c_1001_2^16 - 5268505118785046654356589534281585\ 76476/524418470544091520552204308868683187029*c_1001_2^15 + 337639339261620853164925105957098971271/276009721338995537132739109\ 93088588791*c_1001_2^14 - 42936923083728884461854664006912130151083\ /524418470544091520552204308868683187029*c_1001_2^13 + 27251408603954532047291061632725112914521/7491692436344164579317204\ 4124097598147*c_1001_2^12 - 332298971733085474286635687446344695425\ 33/27600972133899553713273910993088588791*c_1001_2^11 + 231828624354424302684063203668423337022981/749169243634416457931720\ 44124097598147*c_1001_2^10 - 17191365098642489733840052899288552049\ 2133/27600972133899553713273910993088588791*c_1001_2^9 + 5136122698449305466082235484867865982283789/52441847054409152055220\ 4308868683187029*c_1001_2^8 - 6298409266739005762536013080432976109\ 577211/524418470544091520552204308868683187029*c_1001_2^7 + 852035504331628588674220288249804377090816/749169243634416457931720\ 44124097598147*c_1001_2^6 - 620864711259832692703889607596088684178\ 744/74916924363441645793172044124097598147*c_1001_2^5 + 372372091299982414243977919147329997194871/749169243634416457931720\ 44124097598147*c_1001_2^4 - 160430345830598385565272033460235560010\ 5395/524418470544091520552204308868683187029*c_1001_2^3 + 48804187706574244111143253816711022648723/2760097213389955371327391\ 0993088588791*c_1001_2^2 - 3308852231647630164929480948013735388718\ 39/524418470544091520552204308868683187029*c_1001_2 + 6780949173058266878658172249703990190887/74916924363441645793172044\ 124097598147, c_1001_2^17 - 25*c_1001_2^16 + 309*c_1001_2^15 - 2118*c_1001_2^14 + 9660*c_1001_2^13 - 32818*c_1001_2^12 + 86807*c_1001_2^11 - 180860*c_1001_2^10 + 296867*c_1001_2^9 - 383812*c_1001_2^8 + 388549*c_1001_2^7 - 307202*c_1001_2^6 + 197722*c_1001_2^5 - 120485*c_1001_2^4 + 71352*c_1001_2^3 - 31699*c_1001_2^2 + 8022*c_1001_2 - 833 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.160 Total time: 0.370 seconds, Total memory usage: 32.09MB