Magma V2.19-8 Tue Aug 20 2013 16:18:07 on localhost [Seed = 2513701200] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2337 geometric_solution 5.72174490 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 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 -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.348331512139 0.565149742902 3 2 4 0 0132 3012 0132 0132 0 0 0 0 0 0 -1 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.639806978592 0.995517241142 1 3 0 4 1230 0132 0132 3201 0 0 0 0 0 0 -1 1 1 0 0 -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 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 0 0 0 0 0.639806978592 0.995517241142 1 2 5 5 0132 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.295328335249 1.553223965053 6 2 6 1 0132 2310 2310 0132 0 0 0 0 0 -1 0 1 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 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.140465878489 1.549612678601 3 5 5 3 3201 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.238367993455 0.420764653242 4 4 6 6 0132 3201 2031 1302 0 0 0 0 0 -1 0 1 0 0 -1 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 0 1 0 0 -1 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.423805348567 0.133327589488 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_1'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_5, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 3682283729483709798699451759170263048434282726345862500699262948819\ 35/8603498056689967593924458753407093071976462138555113084887206370\ 9*c_0101_4^29 - 212349658012460910657821651702309447458220377458245\ 3274534610590310744/86034980566899675939244587534070930719764621385\ 551130848872063709*c_0101_4^28 + 6754804028586683730942105215316698\ 141582568964972895448855374702354126/860349805668996759392445875340\ 70930719764621385551130848872063709*c_0101_4^27 + 3009051671856691017877761124675614836211512068898121552683789671061\ 2543/86034980566899675939244587534070930719764621385551130848872063\ 709*c_0101_4^26 - 7280873001507146339403429116246756277516565970093\ 731084599915480789650/661807542822305199532650673339007159382804779\ 8888548526836312593*c_0101_4^25 - 640107316562592387597783995561528\ 7155222126403819893027624209081881095/66180754282230519953265067333\ 90071593828047798888548526836312593*c_0101_4^24 + 7164016296244738259097366871786817247179350530954794916450812064486\ 61819/8603498056689967593924458753407093071976462138555113084887206\ 3709*c_0101_4^23 - 108478889447375321190136507687659176116335807429\ 4205957715045677786615485/86034980566899675939244587534070930719764\ 621385551130848872063709*c_0101_4^22 - 1116318876565589003204748641831038397636525242690840882424464260830\ 194035/860349805668996759392445875340709307197646213855511308488720\ 63709*c_0101_4^21 + 10309408873514829657715232299676747391197500260\ 656839943206475337771971642/860349805668996759392445875340709307197\ 64621385551130848872063709*c_0101_4^20 - 1012709649814471601827990324728700925223147878216504127994186768168\ 5563479/86034980566899675939244587534070930719764621385551130848872\ 063709*c_0101_4^19 - 3458395890909208859311183500673509630372011350\ 1595899942326658212474704547/86034980566899675939244587534070930719\ 764621385551130848872063709*c_0101_4^18 + 4233673167722349441986946319307037743274594329506485884154576283681\ 4647284/86034980566899675939244587534070930719764621385551130848872\ 063709*c_0101_4^17 + 3968881849865165133381237143361197385045349746\ 665438590304200810901628235/661807542822305199532650673339007159382\ 8047798888548526836312593*c_0101_4^16 - 5618761983036317548568293299641043485830753835152611325681445374219\ 7511394/86034980566899675939244587534070930719764621385551130848872\ 063709*c_0101_4^15 - 5201321002098512753224572994612572622217289662\ 3014689766653865760791902250/86034980566899675939244587534070930719\ 764621385551130848872063709*c_0101_4^14 + 3258607109451849106663998495463546532983357898232537528808889299208\ 8905227/86034980566899675939244587534070930719764621385551130848872\ 063709*c_0101_4^13 + 4309119225869272486814657209755118500374585191\ 7092055821533583836243003241/86034980566899675939244587534070930719\ 764621385551130848872063709*c_0101_4^12 - 7950813096199250499897824323252237169982333665601591067053872108528\ 748052/860349805668996759392445875340709307197646213855511308488720\ 63709*c_0101_4^11 - 23134556288195055022821643980934044243523098679\ 349382022386348501058011766/860349805668996759392445875340709307197\ 64621385551130848872063709*c_0101_4^10 - 2321854947053243141457717117124742633410660571717112938342294735926\ 672583/860349805668996759392445875340709307197646213855511308488720\ 63709*c_0101_4^9 + 684722729789692858575905993814420537806855652223\ 8662832566589908772983457/86034980566899675939244587534070930719764\ 621385551130848872063709*c_0101_4^8 + 2843437015488329225569784985974858877166842212732122729749788270940\ 844181/860349805668996759392445875340709307197646213855511308488720\ 63709*c_0101_4^7 - 817046816354485400230875154045323329698008823408\ 809707586948238822002962/860349805668996759392445875340709307197646\ 21385551130848872063709*c_0101_4^6 - 9046207370271868622434035524304264801368321407228025553605905858423\ 53930/8603498056689967593924458753407093071976462138555113084887206\ 3709*c_0101_4^5 - 1914461143509573873301053637925145848417785734813\ 93557421447825700883168/8603498056689967593924458753407093071976462\ 1385551130848872063709*c_0101_4^4 + 7440848430493260295222315635291441302800005254834375172231437711707\ 0468/86034980566899675939244587534070930719764621385551130848872063\ 709*c_0101_4^3 + 63154802069876693062183310769886511479958855170201\ 603292024697503885662/860349805668996759392445875340709307197646213\ 85551130848872063709*c_0101_4^2 + 168780860502513906374814468897327\ 58790646035609585285806878695196059961/8603498056689967593924458753\ 4070930719764621385551130848872063709*c_0101_4 + 1575769736918872060654336729069079254372562201931310223366513751856\ 052/860349805668996759392445875340709307197646213855511308488720637\ 09, c_0011_0 - 1, c_0011_1 - 149961206458027086836685470277379159741622267340775494191980\ 39230/6618075428223051995326506733390071593828047798888548526836312\ 593*c_0101_4^29 - 8597729290250259028161502500690322736132985894112\ 5927896319124362/66180754282230519953265067333900715938280477988885\ 48526836312593*c_0101_4^28 + 27877859397455520977587662455215843330\ 1775726558147300360516722875/66180754282230519953265067333900715938\ 28047798888548526836312593*c_0101_4^27 + 1221234033267959697491719231909074505473668955682467484133119269866\ /6618075428223051995326506733390071593828047798888548526836312593*c\ _0101_4^26 - 390731664219313370255023522153583346347624932762546728\ 5509972549822/66180754282230519953265067333900715938280477988885485\ 26836312593*c_0101_4^25 - 33298481300997721363784336089766047167134\ 15546821262874175906451839/6618075428223051995326506733390071593828\ 047798888548526836312593*c_0101_4^24 + 2945147391052532390505651514763552762971226426770248266675087343378\ 5/6618075428223051995326506733390071593828047798888548526836312593*\ c_0101_4^23 - 44902250691068855479050547914515821813159895520942476\ 103980997935053/661807542822305199532650673339007159382804779888854\ 8526836312593*c_0101_4^22 - 453491322940517003964939825095967468747\ 97256889429465061216098947081/6618075428223051995326506733390071593\ 828047798888548526836312593*c_0101_4^21 + 4230149866908300228479987487995240921968141636874713088407049471302\ 27/6618075428223051995326506733390071593828047798888548526836312593\ *c_0101_4^20 - 4234863313414268290406198832743060465784494492373044\ 58686704304918359/6618075428223051995326506733390071593828047798888\ 548526836312593*c_0101_4^19 - 1414814736266071654119055982720221645\ 319879722159357451109874269757530/661807542822305199532650673339007\ 1593828047798888548526836312593*c_0101_4^18 + 1782724106090312244641638030130100082417213413871447732655479375369\ 625/661807542822305199532650673339007159382804779888854852683631259\ 3*c_0101_4^17 + 211967441279415790998211736280988701173683065478005\ 0709211595960443500/66180754282230519953265067333900715938280477988\ 88548526836312593*c_0101_4^16 - 24054781210184784909753079326045292\ 68923811686678578705499124042690089/6618075428223051995326506733390\ 071593828047798888548526836312593*c_0101_4^15 - 2160575396779646351487167789246650053452472049324324071441563209986\ 646/661807542822305199532650673339007159382804779888854852683631259\ 3*c_0101_4^14 + 144309282511916338986930942920722324102257209008005\ 2977053167890613778/66180754282230519953265067333900715938280477988\ 88548526836312593*c_0101_4^13 + 18173330136048903108875545871298265\ 38854853798210984322633687786739585/6618075428223051995326506733390\ 071593828047798888548526836312593*c_0101_4^12 - 3823700085627617620839992541945916055173460994300885862317500823864\ 84/6618075428223051995326506733390071593828047798888548526836312593\ *c_0101_4^11 - 9955837844581601525324110349791590738766681134845820\ 05336188276223230/6618075428223051995326506733390071593828047798888\ 548526836312593*c_0101_4^10 - 8323993204123087315983682625691153430\ 5593671905924962615144440923652/66180754282230519953265067333900715\ 93828047798888548526836312593*c_0101_4^9 + 3028944623179306484708774014618207570557961957286565385040628712475\ 06/6618075428223051995326506733390071593828047798888548526836312593\ *c_0101_4^8 + 11906571112484865602531556563678214644949463474897949\ 2272552385935153/66180754282230519953265067333900715938280477988885\ 48526836312593*c_0101_4^7 - 382018766345772639034134566751896840488\ 75588382516943372922070902120/6618075428223051995326506733390071593\ 828047798888548526836312593*c_0101_4^6 - 3950389728907082158907690438416522572054632665827948629144883440938\ 7/6618075428223051995326506733390071593828047798888548526836312593*\ c_0101_4^5 - 791760704799791638734572600105742929545671093327716882\ 4475250848037/66180754282230519953265067333900715938280477988885485\ 26836312593*c_0101_4^4 + 349308549894007380444419884456473839804649\ 3256138841442988113807730/66180754282230519953265067333900715938280\ 47798888548526836312593*c_0101_4^3 + 2824824587764334092149341559455431314468897425486713599690386940648\ /6618075428223051995326506733390071593828047798888548526836312593*c\ _0101_4^2 + 7610508107948212096132937494622880597487515828351303970\ 82476213293/6618075428223051995326506733390071593828047798888548526\ 836312593*c_0101_4 + 6975422383307567154488235171980708470165014542\ 0104439926699710734/66180754282230519953265067333900715938280477988\ 88548526836312593, c_0011_4 + 420374533244040310828964386677851449331044164742241886253087\ 156682/661807542822305199532650673339007159382804779888854852683631\ 2593*c_0101_4^29 + 243583975582069900195095619711879450260976837589\ 8978655125358984406/66180754282230519953265067333900715938280477988\ 88548526836312593*c_0101_4^28 - 76488357258711674034526680831014205\ 16191610029716255876871801489488/6618075428223051995326506733390071\ 593828047798888548526836312593*c_0101_4^27 - 3459016075114634730749637702988097066596813301322925694750820099740\ 5/6618075428223051995326506733390071593828047798888548526836312593*\ c_0101_4^26 + 10719225860011641344634721962821783835551259992181336\ 0987407080321145/66180754282230519953265067333900715938280477988885\ 48526836312593*c_0101_4^25 + 98335048933251182018529819759914404377\ 252175691002533988403436957058/661807542822305199532650673339007159\ 3828047798888548526836312593*c_0101_4^24 - 8164458984643221661250611894705466913629566010215971195356706670251\ 38/6618075428223051995326506733390071593828047798888548526836312593\ *c_0101_4^23 + 1215055109194267299784647895905256431084883700595731\ 021356794706148012/661807542822305199532650673339007159382804779888\ 8548526836312593*c_0101_4^22 + 131746609353112052232882930789973395\ 3545434335845221825332406873760574/66180754282230519953265067333900\ 71593828047798888548526836312593*c_0101_4^21 - 1174929180627905426014712059926540930260891036740947438613893926875\ 8287/66180754282230519953265067333900715938280477988885485268363125\ 93*c_0101_4^20 + 11225922138549080703464952590452498541209247864647\ 908516202818630371930/661807542822305199532650673339007159382804779\ 8888548526836312593*c_0101_4^19 + 399283636485427932144631821968665\ 41204623100703275034736667601213400265/6618075428223051995326506733\ 390071593828047798888548526836312593*c_0101_4^18 - 4739107704666798831120070247130510756377023845343554862149374574773\ 9685/66180754282230519953265067333900715938280477988885485268363125\ 93*c_0101_4^17 - 60619386004524533648148390693430172569797256244584\ 315954446755838063410/661807542822305199532650673339007159382804779\ 8888548526836312593*c_0101_4^16 + 631004969061265832617190048552483\ 85903862469105723740354215859817230770/6618075428223051995326506733\ 390071593828047798888548526836312593*c_0101_4^15 + 6161944171703281642018856137291481077250427780963036461998542758017\ 1926/66180754282230519953265067333900715938280477988885485268363125\ 93*c_0101_4^14 - 36305431844251106924966265093092261300490242453434\ 749540689345902028832/661807542822305199532650673339007159382804779\ 8888548526836312593*c_0101_4^13 - 506327524324079114043038932886346\ 92541269512167299223733703800753121754/6618075428223051995326506733\ 390071593828047798888548526836312593*c_0101_4^12 + 8164079265210679186822080876110937660088109357038380202958042121035\ 477/661807542822305199532650673339007159382804779888854852683631259\ 3*c_0101_4^11 + 270275714106026563670891478647265997502112882974132\ 04327214907042535682/6618075428223051995326506733390071593828047798\ 888548526836312593*c_0101_4^10 + 3213105722183606724531218208539108\ 149259983547922341321380117050421965/661807542822305199532650673339\ 0071593828047798888548526836312593*c_0101_4^9 - 7947400367357803198520777794368023542817244435804755771585545405578\ 526/661807542822305199532650673339007159382804779888854852683631259\ 3*c_0101_4^8 - 3437590624730128221356741340682274432061070459756847\ 277606452700018319/661807542822305199532650673339007159382804779888\ 8548526836312593*c_0101_4^7 + 9057016239628449177749942387027345989\ 73331440284233507305065714753779/6618075428223051995326506733390071\ 593828047798888548526836312593*c_0101_4^6 + 1072047295069157970661964938356506707894282288472464224312095988051\ 079/661807542822305199532650673339007159382804779888854852683631259\ 3*c_0101_4^5 + 2361029590948977557715000436103877189133413562839571\ 50866943107068683/6618075428223051995326506733390071593828047798888\ 548526836312593*c_0101_4^4 - 84807699848396053569942323674769515287\ 278865024823403849085963843449/661807542822305199532650673339007159\ 3828047798888548526836312593*c_0101_4^3 - 7492083704774426818751822149964285927008729228707280569982927115920\ 9/6618075428223051995326506733390071593828047798888548526836312593*\ c_0101_4^2 - 205366458398959520283006058578915886737673800620269183\ 96606164537619/6618075428223051995326506733390071593828047798888548\ 526836312593*c_0101_4 - 1959677091467296590486806517778240310161915\ 701952460729244202098863/661807542822305199532650673339007159382804\ 7798888548526836312593, c_0011_5 - 633489053438676816136829440742870091494584689267464588535458\ 748366/661807542822305199532650673339007159382804779888854852683631\ 2593*c_0101_4^29 - 361909091935322638753515698882250787041195339531\ 8202257208200106634/66180754282230519953265067333900715938280477988\ 88548526836312593*c_0101_4^28 + 11809554259405907409509464570782266\ 510249464481041015483077260545282/661807542822305199532650673339007\ 1593828047798888548526836312593*c_0101_4^27 + 5109864430769198197950409047297998538525419693387191107701374663097\ 2/6618075428223051995326506733390071593828047798888548526836312593*\ c_0101_4^26 - 16545961483305105383498246601822408616873149733352464\ 3614327418492487/66180754282230519953265067333900715938280477988885\ 48526836312593*c_0101_4^25 - 13380170953051602408968251407152473253\ 3335174091763701390134882172273/66180754282230519953265067333900715\ 93828047798888548526836312593*c_0101_4^24 + 1237901330216524271589077143302094142344529202788522042816188763488\ 008/661807542822305199532650673339007159382804779888854852683631259\ 3*c_0101_4^23 - 193359256310713301773639953506320290824535547236191\ 5421759972918198306/66180754282230519953265067333900715938280477988\ 88548526836312593*c_0101_4^22 - 18039737679053867502957627070358889\ 88489960746771518124426107804399982/6618075428223051995326506733390\ 071593828047798888548526836312593*c_0101_4^21 + 1781017925194016942873820712348381179205407956765624825058215845510\ 3573/66180754282230519953265067333900715938280477988885485268363125\ 93*c_0101_4^20 - 18391851482607950692340105132629883221865516875462\ 970863827698481271313/661807542822305199532650673339007159382804779\ 8888548526836312593*c_0101_4^19 - 583295303646892345593101980278378\ 24654567754461790336787719094445163257/6618075428223051995326506733\ 390071593828047798888548526836312593*c_0101_4^18 + 7573498189492888335588241241444784327315229312379511060803168890652\ 5865/66180754282230519953265067333900715938280477988885485268363125\ 93*c_0101_4^17 + 84187781732653089003255073222779704600935814103657\ 714368716409730873303/661807542822305199532650673339007159382804779\ 8888548526836312593*c_0101_4^16 - 100258669505582146648990430876785\ 331369523482520653978210328366580563013/661807542822305199532650673\ 3390071593828047798888548526836312593*c_0101_4^15 - 8351938692447068082243262013669575077467485596450161630641522383988\ 6859/66180754282230519953265067333900715938280477988885485268363125\ 93*c_0101_4^14 + 59301620135216435512624291104628555019160478409593\ 492678086287851021048/661807542822305199532650673339007159382804779\ 8888548526836312593*c_0101_4^13 + 704341434095028371736292514000116\ 78695539733778241085364532529444853743/6618075428223051995326506733\ 390071593828047798888548526836312593*c_0101_4^12 - 1663380429118035026321464023521123341132475058707602837267232427686\ 5041/66180754282230519953265067333900715938280477988885485268363125\ 93*c_0101_4^11 - 38375903169911874094385785529962701537516779624623\ 748177374481581183936/661807542822305199532650673339007159382804779\ 8888548526836312593*c_0101_4^10 - 229259333223020970180917169671261\ 0847521345206003573478061526827456940/66180754282230519953265067333\ 90071593828047798888548526836312593*c_0101_4^9 + 1156545065672487520033758777377707551697589277960625340953294388020\ 4993/66180754282230519953265067333900715938280477988885485268363125\ 93*c_0101_4^8 + 434495517655230693838674478992401641031837855049781\ 6632635702106365372/66180754282230519953265067333900715938280477988\ 88548526836312593*c_0101_4^7 - 151957263635161899577358685517815182\ 9400252215433992219032006692483711/66180754282230519953265067333900\ 71593828047798888548526836312593*c_0101_4^6 - 1457262332053382055124179246680939935042817762268530557768365348453\ 165/661807542822305199532650673339007159382804779888854852683631259\ 3*c_0101_4^5 - 2758152192158014347193175909655601728204519839312509\ 73457175816275144/6618075428223051995326506733390071593828047798888\ 548526836312593*c_0101_4^4 + 13131509065822650618994632546777245849\ 7502736150490087979574080645066/66180754282230519953265067333900715\ 93828047798888548526836312593*c_0101_4^3 + 1016081244246543856454935393730254607134752582200634477804088723414\ 80/6618075428223051995326506733390071593828047798888548526836312593\ *c_0101_4^2 + 25462869127085458319994775479832911973126230761500871\ 718519622883959/661807542822305199532650673339007159382804779888854\ 8526836312593*c_0101_4 + 219790376061314177672488578767395746617576\ 8401889814829922412685609/66180754282230519953265067333900715938280\ 47798888548526836312593, c_0101_0 + 738333014356388155342781578736822533558983256153840352188843\ 905200/661807542822305199532650673339007159382804779888854852683631\ 2593*c_0101_4^29 + 426502883868490246908241927272659523288794666359\ 1037653226093526659/66180754282230519953265067333900715938280477988\ 88548526836312593*c_0101_4^28 - 13505185770103159869470922903874106\ 225523462373117816187194149109279/661807542822305199532650673339007\ 1593828047798888548526836312593*c_0101_4^27 - 6048192931503800132755533187085567146363744627131665959055795113020\ 9/6618075428223051995326506733390071593828047798888548526836312593*\ c_0101_4^26 + 18925022565242872432614190885797831085385711698036930\ 9386102788923980/66180754282230519953265067333900715938280477988885\ 48526836312593*c_0101_4^25 + 16891691741115979425468103026472847267\ 7628940412552284164496964407627/66180754282230519953265067333900715\ 93828047798888548526836312593*c_0101_4^24 - 1435590957651132726780955449621160650478857628389565471502932304221\ 058/661807542822305199532650673339007159382804779888854852683631259\ 3*c_0101_4^23 + 216066658893676974930619190536510460613889629756686\ 6385843349547921436/66180754282230519953265067333900715938280477988\ 88548526836312593*c_0101_4^22 + 22650506081488704604808817125115263\ 66076132459923797593400245505890545/6618075428223051995326506733390\ 071593828047798888548526836312593*c_0101_4^21 - 2065919372862476290731720285069181214097717939296825226549197993269\ 5928/66180754282230519953265067333900715938280477988885485268363125\ 93*c_0101_4^20 + 20098337020416976009278871836785229748021451249371\ 545075785083621655387/661807542822305199532650673339007159382804779\ 8888548526836312593*c_0101_4^19 + 696213099034111706792200627153154\ 42956402668637117883705102897720583444/6618075428223051995326506733\ 390071593828047798888548526836312593*c_0101_4^18 - 8431002898939330648089773576752711636410678675291683356145174599960\ 7753/66180754282230519953265067333900715938280477988885485268363125\ 93*c_0101_4^17 - 10451243285185805676176679906008566998582657417360\ 6011468364991021790822/66180754282230519953265067333900715938280477\ 98888548526836312593*c_0101_4^16 + 1120297803007492484846783331139311087355470714582599351962265699113\ 35530/6618075428223051995326506733390071593828047798888548526836312\ 593*c_0101_4^15 + 1056611728026629697136193491421354380346931279398\ 34134779384110050413770/6618075428223051995326506733390071593828047\ 798888548526836312593*c_0101_4^14 - 6480521809922637257378896935059635681540821213693186903546253182384\ 5035/66180754282230519953265067333900715938280477988885485268363125\ 93*c_0101_4^13 - 87274124513890776983014928591792779275980534676677\ 827551327971272934152/661807542822305199532650673339007159382804779\ 8888548526836312593*c_0101_4^12 + 153964671827414095007381698505712\ 39706983856331058747740371158868525683/6618075428223051995326506733\ 390071593828047798888548526836312593*c_0101_4^11 + 4676200224459563903527380856544933068368765601940195113354230484916\ 1678/66180754282230519953265067333900715938280477988885485268363125\ 93*c_0101_4^10 + 49896743005610655035493000253821528975825074645756\ 97120933106867987633/6618075428223051995326506733390071593828047798\ 888548526836312593*c_0101_4^9 - 13809835878653900494317190543169303\ 728643624485712925563483509892496593/661807542822305199532650673339\ 0071593828047798888548526836312593*c_0101_4^8 - 5814142638705434334954105427027233717904531652283899933771578425949\ 593/661807542822305199532650673339007159382804779888854852683631259\ 3*c_0101_4^7 + 1622438596596833642742259074916188317235920976651453\ 702034726149030931/661807542822305199532650673339007159382804779888\ 8548526836312593*c_0101_4^6 + 1837116609816845110805172234797639188\ 381958973802124876440033459495238/661807542822305199532650673339007\ 1593828047798888548526836312593*c_0101_4^5 + 3941174066127632941067116362839727743180488618411473963585545329618\ 59/6618075428223051995326506733390071593828047798888548526836312593\ *c_0101_4^4 - 14904593640965009863623457131449835576024055975181920\ 6487594629610648/66180754282230519953265067333900715938280477988885\ 48526836312593*c_0101_4^3 - 128314856128487343540365864960753403312\ 201469883258078549832603126629/661807542822305199532650673339007159\ 3828047798888548526836312593*c_0101_4^2 - 3459262114677643066836311360268183821257247969296560630988769237037\ 2/6618075428223051995326506733390071593828047798888548526836312593*\ c_0101_4 - 32478902244082127256742348188277063084750556658145020482\ 84204288525/6618075428223051995326506733390071593828047798888548526\ 836312593, c_0101_1 + 473872572114529206378657947962211536575670867340685777199800\ 203092/661807542822305199532650673339007159382804779888854852683631\ 2593*c_0101_4^29 + 274539608965829278013257188048107686124826547743\ 1584925142328485383/66180754282230519953265067333900715938280477988\ 88548526836312593*c_0101_4^28 - 86236789248582994977853271718979434\ 76607485277124155971162908696646/6618075428223051995326506733390071\ 593828047798888548526836312593*c_0101_4^27 - 3897758480168842546634068243713093944782581251479807648283408943058\ 8/6618075428223051995326506733390071593828047798888548526836312593*\ c_0101_4^26 + 12085235799247626348737339641035270306513477192620728\ 5803596197780201/66180754282230519953265067333900715938280477988885\ 48526836312593*c_0101_4^25 + 11064478748028174727615747621424429326\ 3101648850141233193690367528103/66180754282230519953265067333900715\ 93828047798888548526836312593*c_0101_4^24 - 9202083263168219324417519440327295699515825102522881116631608603807\ 32/6618075428223051995326506733390071593828047798888548526836312593\ *c_0101_4^23 + 1370840043802541878648041011612866810756659139669310\ 002854852547972472/661807542822305199532650673339007159382804779888\ 8548526836312593*c_0101_4^22 + 148191814362086781629827670661647417\ 5437529119203254805349449879611201/66180754282230519953265067333900\ 71593828047798888548526836312593*c_0101_4^21 - 1324329290591844386135420232577530743440217118229259066711085482163\ 9536/66180754282230519953265067333900715938280477988885485268363125\ 93*c_0101_4^20 + 12670478457938516730196952081303441235900361925975\ 287229937403168077700/661807542822305199532650673339007159382804779\ 8888548526836312593*c_0101_4^19 + 449694848863321532740869559611468\ 16670538056449746960866343292359751700/6618075428223051995326506733\ 390071593828047798888548526836312593*c_0101_4^18 - 5344267940339771345295338902181562281460975377889747055577092793744\ 7968/66180754282230519953265067333900715938280477988885485268363125\ 93*c_0101_4^17 - 68182314775685010834749780668592969466442004300171\ 931722763095795535701/661807542822305199532650673339007159382804779\ 8888548526836312593*c_0101_4^16 + 711089122104865146824893368672593\ 41017378630430498205185446058971021347/6618075428223051995326506733\ 390071593828047798888548526836312593*c_0101_4^15 + 6924166905184076585667405842968654692769145620659380242268627368908\ 5816/66180754282230519953265067333900715938280477988885485268363125\ 93*c_0101_4^14 - 40895020225182926329516837155528904758602210174389\ 373710178423467653484/661807542822305199532650673339007159382804779\ 8888548526836312593*c_0101_4^13 - 568982463094319508393763407935774\ 99491340128524529290477003424176810825/6618075428223051995326506733\ 390071593828047798888548526836312593*c_0101_4^12 + 9225507186674469455146096034604903792168210111446886744708026750955\ 680/661807542822305199532650673339007159382804779888854852683631259\ 3*c_0101_4^11 + 303648757029634369988643096235309312586400440964256\ 65460521091517531663/6618075428223051995326506733390071593828047798\ 888548526836312593*c_0101_4^10 + 3584362111000873135150239237942923\ 135369799154231699694474239981978728/661807542822305199532650673339\ 0071593828047798888548526836312593*c_0101_4^9 - 8924676461117265688664888550107824005943123833588278797189423371246\ 924/661807542822305199532650673339007159382804779888854852683631259\ 3*c_0101_4^8 - 3854921752951065417246717284799259161841122494268430\ 353598818738475175/661807542822305199532650673339007159382804779888\ 8548526836312593*c_0101_4^7 + 1018177293037732941451712400042710055\ 610970095747899172725729616978689/661807542822305199532650673339007\ 1593828047798888548526836312593*c_0101_4^6 + 1202351887589511276238780792003688318634874012673369838754405742569\ 446/661807542822305199532650673339007159382804779888854852683631259\ 3*c_0101_4^5 + 2645802518326033409674394710734105371968902436251058\ 31765489986569431/6618075428223051995326506733390071593828047798888\ 548526836312593*c_0101_4^4 - 95099434409198349932980146613945311875\ 920546332702275588667216474478/661807542822305199532650673339007159\ 3828047798888548526836312593*c_0101_4^3 - 8395892110477982733421679605502576621776189188068793458307703800275\ 2/6618075428223051995326506733390071593828047798888548526836312593*\ c_0101_4^2 - 229812512955679364832270317205484411145805290812559313\ 12558454911073/6618075428223051995326506733390071593828047798888548\ 526836312593*c_0101_4 - 2189519609602420828967108790339538778535291\ 628167574978497984559123/661807542822305199532650673339007159382804\ 7798888548526836312593, c_0101_4^30 + 6*c_0101_4^29 - 17*c_0101_4^28 - 86*c_0101_4^27 + 238*c_0101_4^26 + 286*c_0101_4^25 - 1893*c_0101_4^24 + 2492*c_0101_4^23 + 3720*c_0101_4^22 - 27292*c_0101_4^21 + 20970*c_0101_4^20 + 100354*c_0101_4^19 - 93083*c_0101_4^18 - 167008*c_0101_4^17 + 119961*c_0101_4^16 + 176959*c_0101_4^15 - 55601*c_0101_4^14 - 137772*c_0101_4^13 - 5696*c_0101_4^12 + 67931*c_0101_4^11 + 20976*c_0101_4^10 - 17148*c_0101_4^9 - 12071*c_0101_4^8 + 420*c_0101_4^7 + 2978*c_0101_4^6 + 1094*c_0101_4^5 - 81*c_0101_4^4 - 219*c_0101_4^3 - 86*c_0101_4^2 - 15*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB