Magma V2.19-8 Tue Aug 20 2013 16:16:31 on localhost [Seed = 3347471136] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0809 geometric_solution 4.74393269 oriented_manifold CS_known 0.0000000000000001 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 2 -2 0 0 0 0 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.393478912087 0.181349597150 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 -2 0 0 0 0 2 -2 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.109560309157 0.180340708774 3 1 1 4 0132 0132 1023 0132 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 -1 0 1 0 0 -1 1 -1 1 0 0 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.971464801555 0.342119159876 2 4 5 4 0132 0321 0132 2031 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 -1 0 1 0 0 0 0 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.671257741454 0.685444878503 5 3 2 3 1023 1302 0132 0321 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 -1 1 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.671257741454 0.685444878503 6 4 6 3 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.524082481935 0.979032581768 5 5 6 6 0132 3201 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.488518638143 0.143480212416 ==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' : negation(d['1']), 's_2_2' : negation(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' : negation(d['1']), 's_1_1' : negation(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_3'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], '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' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), '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_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0011_1']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], '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_4, c_0101_0, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t - 1584166634627067331847436649433354271381681411350608208466177474855\ 09667512268540440221/8497430361793151783843507714721669216660921733\ 362145153040245288084892710171468317864*c_0101_5^30 + 8651261475672662814131211989033493572649144439415144852011160250056\ 38992391510065516019/8497430361793151783843507714721669216660921733\ 362145153040245288084892710171468317864*c_0101_5^29 + 5936962220350370759024205090577532399136955043830640133005212949663\ 00972462995954494443/1213918623113307397691929673531667030951560247\ 623163593291463612583556101453066902552*c_0101_5^28 - 1330869524353137636071628816766148704782096861074915575239413262837\ 474714332417611923640/354059598408047990993479488113402884027538405\ 556756048043343553670203862923811179911*c_0101_5^27 + 1481496198997186867269610750056783288959688519604318880602917938863\ 78519052549615215592/7225706089960163081499581390069446612806906235\ 852164245782521503473548222934922039*c_0101_5^26 - 4603251059325584480688748286055320204001792876690808583575021574247\ 9410802644171125013815/28324767872643839279478359049072230722203072\ 44454048384346748429361630903390489439288*c_0101_5^25 - 1893828864004658575738717429619504824538595947611696305577196244152\ 47722305113263862806631/8497430361793151783843507714721669216660921\ 733362145153040245288084892710171468317864*c_0101_5^24 - 2011071249971430210902984920566629213790588159134475399180671182277\ 024715066147761490464345/849743036179315178384350771472166921666092\ 1733362145153040245288084892710171468317864*c_0101_5^23 + 3276862140750429438595771078472313492152833616636950269714636802540\ 48569495664549774785829/1062178795224143972980438464340208652082615\ 216670268144130030661010611588771433539733*c_0101_5^22 + 6580238405078138898542920093189698716221237646384301640914805367196\ 492045984144873931400153/849743036179315178384350771472166921666092\ 1733362145153040245288084892710171468317864*c_0101_5^21 + 2597173673413974578572967382450201668990691953081316321350451026342\ 039576390145280759535939/424871518089657589192175385736083460833046\ 0866681072576520122644042446355085734158932*c_0101_5^20 - 2033278568192534570043054152024953595048743444307443094622889262306\ 8381937245184862914848267/42487151808965758919217538573608346083304\ 60866681072576520122644042446355085734158932*c_0101_5^19 - 5439153385954143005945852852428680139622386821483334737483845164869\ 94600736662319727039755/4046395410377691325639765578438890103171867\ 49207721197763821204194518700484355634184*c_0101_5^18 + 1016546940405202647286515622460549425042772162513328042223656922958\ 3154423089451971926339953/70811919681609598198695897622680576805507\ 6811113512096086687107340407725847622359822*c_0101_5^17 - 5907384812388524466968670244265969104082889678290003283368551595545\ 344958630196211747969056/106217879522414397298043846434020865208261\ 5216670268144130030661010611588771433539733*c_0101_5^16 - 1881563749113639499623786868027840859107148764864289882444405975480\ 9909227772469646585664240/10621787952241439729804384643402086520826\ 15216670268144130030661010611588771433539733*c_0101_5^15 + 4107056301058458446817619221131203329685838570942976459642946885240\ 5672991142745715698178961/28324767872643839279478359049072230722203\ 07244454048384346748429361630903390489439288*c_0101_5^14 + 7393174189709196630819162829354840157719051278200797027475844758361\ 4628193251240212828253729/84974303617931517838435077147216692166609\ 21733362145153040245288084892710171468317864*c_0101_5^13 - 3611341117145888953607991496830030267540647334744098755250898528555\ 4746648330046773751990797/28324767872643839279478359049072230722203\ 07244454048384346748429361630903390489439288*c_0101_5^12 - 4221084223762564772355565292236697184762030816445696659335406915302\ 53401566574074556698839/1416238393632191963973917952453611536110153\ 622227024192173374214680815451695244719644*c_0101_5^11 + 4417310812687854305863369604282005868397951290104596913514904331529\ 6111051910681923064918841/84974303617931517838435077147216692166609\ 21733362145153040245288084892710171468317864*c_0101_5^10 - 3903703014880818379224662905785349199323558374420881958867156943097\ 411679798588028131966667/424871518089657589192175385736083460833046\ 0866681072576520122644042446355085734158932*c_0101_5^9 - 9483725426839268870516365423507840417972275547842301773396553815334\ 716173983455958719732907/849743036179315178384350771472166921666092\ 1733362145153040245288084892710171468317864*c_0101_5^8 + 3586644698339839925778784949304106901045293420139232326914011814876\ 11344181449817482181841/8497430361793151783843507714721669216660921\ 733362145153040245288084892710171468317864*c_0101_5^7 + 3854760239416386978159115770491878855682719363143501287965041557185\ 01818278617894529987731/2124357590448287945960876928680417304165230\ 433340536288260061322021223177542867079466*c_0101_5^6 + 1068206605200308144576361732107528049047093216791926840104515256820\ 962392000500539757551683/849743036179315178384350771472166921666092\ 1733362145153040245288084892710171468317864*c_0101_5^5 - 1193069037684706303729101731020764316295878711555884618357970636160\ 24924527966203816170561/4248715180896575891921753857360834608330460\ 866681072576520122644042446355085734158932*c_0101_5^4 - 1273241394710225613404301546728979282898725081711848927507156524760\ 50768931279278972092079/4248715180896575891921753857360834608330460\ 866681072576520122644042446355085734158932*c_0101_5^3 + 2696954734010343411682819147831011392709999003941261912038775589411\ 3643838738927646080615/84974303617931517838435077147216692166609217\ 33362145153040245288084892710171468317864*c_0101_5^2 + 4541904510145813890044981151698996053835983903816405355465462659693\ 247698164293105303399/283247678726438392794783590490722307222030724\ 4454048384346748429361630903390489439288*c_0101_5 - 1190032509515945090491127427407397421657265927719745994189107531345\ 945197277467794018781/424871518089657589192175385736083460833046086\ 6681072576520122644042446355085734158932, c_0011_0 - 1, c_0011_1 - 177943642909056678655975956933169307769548172979497682113261\ 1754896119447202403750/21677118269880489244498744170208339838420718\ 707556492737347564510420644668804766117*c_0101_5^30 + 1155559675217683123291492608278563322935411054160012627686736756988\ 1600431773450635/21677118269880489244498744170208339838420718707556\ 492737347564510420644668804766117*c_0101_5^29 + 3565336785283451206610071073228975173034518981098068963720566653686\ 0481963979143872/21677118269880489244498744170208339838420718707556\ 492737347564510420644668804766117*c_0101_5^28 - 1336233292048530732510558981286565935388928949101897689543298283100\ 87352641007044389/7225706089960163081499581390069446612806906235852\ 164245782521503473548222934922039*c_0101_5^27 + 7830893649578817857411977522442440091062202020618447244181280006633\ 43410270642214586/7225706089960163081499581390069446612806906235852\ 164245782521503473548222934922039*c_0101_5^26 - 1262888876798388902525200891918230820777716600219026693610867391801\ 464063246453666546/722570608996016308149958139006944661280690623585\ 2164245782521503473548222934922039*c_0101_5^25 + 7173870895028154959834223395687710055140147193758099152941363967976\ 32162979122872273/2167711826988048924449874417020833983842071870755\ 6492737347564510420644668804766117*c_0101_5^24 - 2212874057309517421020384780825489772140310252127302316477402336578\ 6497881736229185251/21677118269880489244498744170208339838420718707\ 556492737347564510420644668804766117*c_0101_5^23 + 5270966530751270843718331414051720450229263013151671955030222216403\ 6288069278779039798/21677118269880489244498744170208339838420718707\ 556492737347564510420644668804766117*c_0101_5^22 + 3107718152838533567366198672223848939924464588600164614594417265654\ 3851119910578653005/21677118269880489244498744170208339838420718707\ 556492737347564510420644668804766117*c_0101_5^21 + 7444225540267416907649750022696261786765764500689073801541733651075\ 030473576505389653/216771182698804892444987441702083398384207187075\ 56492737347564510420644668804766117*c_0101_5^20 - 4926060314287243685026104565212569279450621920104264269182538156566\ 83808357143400635182/2167711826988048924449874417020833983842071870\ 7556492737347564510420644668804766117*c_0101_5^19 + 1188459148333942912384034471171443405130472819161515417954138306061\ 64560055255794223840/7225706089960163081499581390069446612806906235\ 852164245782521503473548222934922039*c_0101_5^18 + 4115532873173627313261071271232112307916037698928537967791004680168\ 65268609219980937648/7225706089960163081499581390069446612806906235\ 852164245782521503473548222934922039*c_0101_5^17 - 1829466409636665022407505207170699787328218954580936899279231007099\ 407575618436201883953/216771182698804892444987441702083398384207187\ 07556492737347564510420644668804766117*c_0101_5^16 - 4352338097401104987331778935648884264932338261453088795598237946162\ 05751970800994562937/2167711826988048924449874417020833983842071870\ 7556492737347564510420644668804766117*c_0101_5^15 + 7772930731872644535369705461955159954080086494030068260336169727115\ 19986528862005918103/7225706089960163081499581390069446612806906235\ 852164245782521503473548222934922039*c_0101_5^14 - 1043050186084685199874063535849504542320725599519807527559117236887\ 696841746692736330290/216771182698804892444987441702083398384207187\ 07556492737347564510420644668804766117*c_0101_5^13 - 3148471538347402932977828464639050836438763981390197222161662043722\ 22734699805362158984/7225706089960163081499581390069446612806906235\ 852164245782521503473548222934922039*c_0101_5^12 + 3174047815182549120737348054133564312407981579181493333095005222934\ 81718037869440430382/7225706089960163081499581390069446612806906235\ 852164245782521503473548222934922039*c_0101_5^11 - 3134618753887481675063677360699487509863854975083937481316957161129\ 4792089318244934612/21677118269880489244498744170208339838420718707\ 556492737347564510420644668804766117*c_0101_5^10 - 2312883923721154515364081822920427990786911108658947134285144827809\ 83870731341813304487/2167711826988048924449874417020833983842071870\ 7556492737347564510420644668804766117*c_0101_5^9 + 4400904931467159649135497609349371382145412173889470222188170057758\ 7345543012361933487/21677118269880489244498744170208339838420718707\ 556492737347564510420644668804766117*c_0101_5^8 + 1095019154797792150569748461616878653801895661693550948942538570615\ 9710509545911666758/21677118269880489244498744170208339838420718707\ 556492737347564510420644668804766117*c_0101_5^7 + 1667112562218044661559045724173468862493169850072659427700206252931\ 4640411704114350176/21677118269880489244498744170208339838420718707\ 556492737347564510420644668804766117*c_0101_5^6 - 2327597929098118604797124574778801602333466850734710319673223396898\ 285138948535247242/216771182698804892444987441702083398384207187075\ 56492737347564510420644668804766117*c_0101_5^5 - 6626539156572105222276150236915094902664023823046985174784495921861\ 117835112930514577/216771182698804892444987441702083398384207187075\ 56492737347564510420644668804766117*c_0101_5^4 + 1174460301757246879762786965705365904614034374081098076341862068280\ 363675717875790086/216771182698804892444987441702083398384207187075\ 56492737347564510420644668804766117*c_0101_5^3 + 3996773207894216564683744695618052885002480936439476707903580266144\ 19054316043950700/2167711826988048924449874417020833983842071870755\ 6492737347564510420644668804766117*c_0101_5^2 - 2519266746829210341017687180400987879943866741834716629043697201722\ 1686851737662853/72257060899601630814995813900694466128069062358521\ 64245782521503473548222934922039*c_0101_5 + 7921280712302519910604929207779323781049044626838619846544489368560\ 500170782547457/216771182698804892444987441702083398384207187075564\ 92737347564510420644668804766117, c_0011_4 + 131347954567558249202268702399117364079367814680815657013835\ 012618482424873071467/722570608996016308149958139006944661280690623\ 5852164245782521503473548222934922039*c_0101_5^30 - 9375173122695113492547225623947406623753061988107768303937147122457\ 33071688615252/7225706089960163081499581390069446612806906235852164\ 245782521503473548222934922039*c_0101_5^29 - 2085225170573277026225457238105505426347705754340887522438455181690\ 797997742480301/722570608996016308149958139006944661280690623585216\ 4245782521503473548222934922039*c_0101_5^28 + 3117507638395171224985348497093638695152534024801488994993005859831\ 2901691314868664/72257060899601630814995813900694466128069062358521\ 64245782521503473548222934922039*c_0101_5^27 - 1917310979781306709070542826227981584563498211131551686335602762455\ 02242296035881419/7225706089960163081499581390069446612806906235852\ 164245782521503473548222934922039*c_0101_5^26 + 3939320424180984142516284970250872991857095744270144909662352273172\ 31014265674666013/7225706089960163081499581390069446612806906235852\ 164245782521503473548222934922039*c_0101_5^25 - 2539966841421671590051618622483904238654818614666579215625303921591\ 95711742973250885/7225706089960163081499581390069446612806906235852\ 164245782521503473548222934922039*c_0101_5^24 + 1801391707254908587777556244748249469016003275475494894475338761167\ 439298887911555918/722570608996016308149958139006944661280690623585\ 2164245782521503473548222934922039*c_0101_5^23 - 5061847033102821939720318020329346066648507997949979411680230972560\ 311648184656501393/722570608996016308149958139006944661280690623585\ 2164245782521503473548222934922039*c_0101_5^22 + 1493070860891318408335698935333531684095864316825788251371166634934\ 05183624733093979/7225706089960163081499581390069446612806906235852\ 164245782521503473548222934922039*c_0101_5^21 - 6705727403443021292671625115504084316729877676734916804022560252714\ 66803772669088516/7225706089960163081499581390069446612806906235852\ 164245782521503473548222934922039*c_0101_5^20 + 3862731115918047206407251309247041400195272623855179763632806934786\ 9078014401924512633/72257060899601630814995813900694466128069062358\ 52164245782521503473548222934922039*c_0101_5^19 - 4600425502234748851601687363062778655934670734906174340965064695871\ 4608597437973499927/72257060899601630814995813900694466128069062358\ 52164245782521503473548222934922039*c_0101_5^18 - 6912348482501673559042024435293340269120757140937516621441519732503\ 8790927580678652432/72257060899601630814995813900694466128069062358\ 52164245782521503473548222934922039*c_0101_5^17 + 1667286868539476682072607163650739903374434714268849743664081441439\ 51250344034695546216/7225706089960163081499581390069446612806906235\ 852164245782521503473548222934922039*c_0101_5^16 - 5763993359890314136421731640867224965411068854049542445852776280066\ 0573210722694958777/72257060899601630814995813900694466128069062358\ 52164245782521503473548222934922039*c_0101_5^15 - 1246588431851935740184014494308242035104846884462110156271996750931\ 88808367977990870710/7225706089960163081499581390069446612806906235\ 852164245782521503473548222934922039*c_0101_5^14 + 1431208212666066220132131301881918529316438688913474057362768429472\ 84214212330630019668/7225706089960163081499581390069446612806906235\ 852164245782521503473548222934922039*c_0101_5^13 - 3051073174258638345001871756959426525396920380945096459120233523607\ 1990647916493967105/72257060899601630814995813900694466128069062358\ 52164245782521503473548222934922039*c_0101_5^12 - 4700842287384458249945268189588225108724237613512196782316295579402\ 3252354687591712815/72257060899601630814995813900694466128069062358\ 52164245782521503473548222934922039*c_0101_5^11 + 4355950731400995804926606205044872440056737043844226833187212797903\ 1215052578837782566/72257060899601630814995813900694466128069062358\ 52164245782521503473548222934922039*c_0101_5^10 - 1394143908945071268611639061133142966372812596233879175113079168783\ 1880483763495401761/72257060899601630814995813900694466128069062358\ 52164245782521503473548222934922039*c_0101_5^9 - 1399756597754920358791585540923334475117149083076934124468760042438\ 723893346249558639/722570608996016308149958139006944661280690623585\ 2164245782521503473548222934922039*c_0101_5^8 + 3463898044252594994783787756325688715648062829221749568310515617024\ 517261580732664729/722570608996016308149958139006944661280690623585\ 2164245782521503473548222934922039*c_0101_5^7 - 1419667285581053968559931555270019720417925964115402187370439502409\ 079314098122180059/722570608996016308149958139006944661280690623585\ 2164245782521503473548222934922039*c_0101_5^6 + 2833888259704124688025346500566716079280147539365796970529239296825\ 68283753152793502/7225706089960163081499581390069446612806906235852\ 164245782521503473548222934922039*c_0101_5^5 - 3397885698846581274594261130851286328545585712842660051729145206562\ 99762859944327672/7225706089960163081499581390069446612806906235852\ 164245782521503473548222934922039*c_0101_5^4 - 1688491826003596601157756999997641110100762972874870448345222638412\ 8255471524933931/72257060899601630814995813900694466128069062358521\ 64245782521503473548222934922039*c_0101_5^3 + 1151763598381944146925235337670585330145991440087509087241939123496\ 89572724561047062/7225706089960163081499581390069446612806906235852\ 164245782521503473548222934922039*c_0101_5^2 + 5961426730540452261886657583737814642300885391042492281888968565867\ 923498059616047/722570608996016308149958139006944661280690623585216\ 4245782521503473548222934922039*c_0101_5 - 6982702345526711247501986172811156527081695000967924148092879541215\ 533662634432006/722570608996016308149958139006944661280690623585216\ 4245782521503473548222934922039, c_0101_0 + 149838329261754840952779813355290899728151366645219624599293\ 79948588357395141791620/2167711826988048924449874417020833983842071\ 8707556492737347564510420644668804766117*c_0101_5^30 - 8812205512170889731612118357380078521968075336903961731329484222917\ 4084121199277733/21677118269880489244498744170208339838420718707556\ 492737347564510420644668804766117*c_0101_5^29 - 3552767416928020418341223537667248630185778126656799722504397559206\ 49227827367409766/2167711826988048924449874417020833983842071870755\ 6492737347564510420644668804766117*c_0101_5^28 + 1055148922638246727575262165272902264901560964983435263271851873678\ 663352275187266641/722570608996016308149958139006944661280690623585\ 2164245782521503473548222934922039*c_0101_5^27 - 5941868169342549368241214834464298235216827261660593251997688611464\ 286310000861897366/722570608996016308149958139006944661280690623585\ 2164245782521503473548222934922039*c_0101_5^26 + 6907430652168140472815263088813256138130560184147688093630914643154\ 708561198675360158/722570608996016308149958139006944661280690623585\ 2164245782521503473548222934922039*c_0101_5^25 + 8206607559505189350304280689993659153421429403820383622899723739399\ 126022179563916833/216771182698804892444987441702083398384207187075\ 56492737347564510420644668804766117*c_0101_5^24 + 1882163638972515730385814929443136636599603913762409675612754741277\ 53304296352640847792/2167711826988048924449874417020833983842071870\ 7556492737347564510420644668804766117*c_0101_5^23 - 3271297739132614458448611043365476274003965518007332046826174291009\ 94896589138563936160/2167711826988048924449874417020833983842071870\ 7556492737347564510420644668804766117*c_0101_5^22 - 4751126043332614975886902002400793188658311936601807819483636834208\ 72278972690407219930/2167711826988048924449874417020833983842071870\ 7556492737347564510420644668804766117*c_0101_5^21 - 3123354647835602363476033730396923530842475742445820990748646423746\ 10704012259322306602/2167711826988048924449874417020833983842071870\ 7556492737347564510420644668804766117*c_0101_5^20 + 3960622841299457441342525285862485449646512472073198850160388769638\ 628542425675858754331/216771182698804892444987441702083398384207187\ 07556492737347564510420644668804766117*c_0101_5^19 - 1975787931005409639520227194405450582233210671917983080659314756234\ 82725848055897280371/7225706089960163081499581390069446612806906235\ 852164245782521503473548222934922039*c_0101_5^18 - 3693257044240709093466287213046430174200507081524787765061211013097\ 287469607696171254124/722570608996016308149958139006944661280690623\ 5852164245782521503473548222934922039*c_0101_5^17 + 9011769165049791297096143480913226031771309772228003901242938403695\ 319545788744803048002/216771182698804892444987441702083398384207187\ 07556492737347564510420644668804766117*c_0101_5^16 + 9910236588192907119108388800134680194565514569403248237739755009555\ 266734238970566722588/216771182698804892444987441702083398384207187\ 07556492737347564510420644668804766117*c_0101_5^15 - 5041438595522133762878350724034959583178456916404610966994395772758\ 184366861623297360943/722570608996016308149958139006944661280690623\ 5852164245782521503473548222934922039*c_0101_5^14 - 3663974290737093645755621841133835696397571442844968214691463188749\ 16017203068187722621/2167711826988048924449874417020833983842071870\ 7556492737347564510420644668804766117*c_0101_5^13 + 3151875671161064593201437531726826171330526021477936848850505727429\ 285726613755868991927/722570608996016308149958139006944661280690623\ 5852164245782521503473548222934922039*c_0101_5^12 - 1132535311635551628220233895190305140682470469699221076061317235830\ 236864647903309101581/722570608996016308149958139006944661280690623\ 5852164245782521503473548222934922039*c_0101_5^11 - 2317945117006625877411086616254279014664042379273457623843991363662\ 868170800154566454725/216771182698804892444987441702083398384207187\ 07556492737347564510420644668804766117*c_0101_5^10 + 1347258384723013445705353311563589395717262472605206799315859768948\ 903952093264935783516/216771182698804892444987441702083398384207187\ 07556492737347564510420644668804766117*c_0101_5^9 + 3122640266506802722631155692210931175870324167775903953572014969709\ 39178732456335001841/2167711826988048924449874417020833983842071870\ 7556492737347564510420644668804766117*c_0101_5^8 - 6391414837401332153939191910734536776581251401829915472031839875605\ 7939190211296062572/21677118269880489244498744170208339838420718707\ 556492737347564510420644668804766117*c_0101_5^7 - 1332974019059261858163248552576030731531105340272872782167710354678\ 62611998338244749050/2167711826988048924449874417020833983842071870\ 7556492737347564510420644668804766117*c_0101_5^6 - 5143909985341628651240949769002356290235787961513903050553048973715\ 0103124826753511460/21677118269880489244498744170208339838420718707\ 556492737347564510420644668804766117*c_0101_5^5 + 3820018633624814509747625813868173991180227846302693752709969611277\ 7758125712746416249/21677118269880489244498744170208339838420718707\ 556492737347564510420644668804766117*c_0101_5^4 + 8614138289024609452824065072890446596348976026177669818595569209296\ 571317728935107671/216771182698804892444987441702083398384207187075\ 56492737347564510420644668804766117*c_0101_5^3 - 3453366896740425806480002312152870435387298770885518379790177133625\ 997881297047047771/216771182698804892444987441702083398384207187075\ 56492737347564510420644668804766117*c_0101_5^2 - 8695497273812021884971217602264131751791561331750636964507630983783\ 0239108953331305/72257060899601630814995813900694466128069062358521\ 64245782521503473548222934922039*c_0101_5 + 9073041501764391865049118115734343718316227716590301836221076980575\ 4699113248922078/21677118269880489244498744170208339838420718707556\ 492737347564510420644668804766117, c_0101_2 - 268608490981390037906411698062400145103998972780576289721584\ 8420996328995129590055/72257060899601630814995813900694466128069062\ 35852164245782521503473548222934922039*c_0101_5^30 + 1542195252584341336860850522432963005933068243110005549360950765271\ 1187099316167015/72257060899601630814995813900694466128069062358521\ 64245782521503473548222934922039*c_0101_5^29 + 6609937238041028248171187371966964983249237338365051839347378028291\ 5510154482448177/72257060899601630814995813900694466128069062358521\ 64245782521503473548222934922039*c_0101_5^28 - 5597532049676264460407809599607746035099157097718143495828819190915\ 81181850649695004/7225706089960163081499581390069446612806906235852\ 164245782521503473548222934922039*c_0101_5^27 + 3111525869090016777047568478913198712570277313629241694955259689489\ 331916800086453884/722570608996016308149958139006944661280690623585\ 2164245782521503473548222934922039*c_0101_5^26 - 3225931822030802446247264492547270147474582155051836323574354885073\ 759997150398713071/722570608996016308149958139006944661280690623585\ 2164245782521503473548222934922039*c_0101_5^25 - 2235182208487806975693926229586450287074530934065702681686811840913\ 792575413873706320/722570608996016308149958139006944661280690623585\ 2164245782521503473548222934922039*c_0101_5^24 - 3364354297005801945842922350077212270603349191754728995283494584928\ 7709950274331710762/72257060899601630814995813900694466128069062358\ 52164245782521503473548222934922039*c_0101_5^23 + 5392046747728897565561035644014089783075331801882161200885034313448\ 3752809592557942972/72257060899601630814995813900694466128069062358\ 52164245782521503473548222934922039*c_0101_5^22 + 9599638191782228547189968085016698409847092162338186628792086893603\ 8524669505533717308/72257060899601630814995813900694466128069062358\ 52164245782521503473548222934922039*c_0101_5^21 + 6349736133584567682436564555158485605956910329896980316684787129236\ 5360768597382282670/72257060899601630814995813900694466128069062358\ 52164245782521503473548222934922039*c_0101_5^20 - 7071285335305865719763071598760858628383948884854209383874668076323\ 37725439001459693761/7225706089960163081499581390069446612806906235\ 852164245782521503473548222934922039*c_0101_5^19 + 1532982762264243162423219512022636320766472158154846238970044416559\ 383353295896980176/722570608996016308149958139006944661280690623585\ 2164245782521503473548222934922039*c_0101_5^18 + 2051161126423461908259979892395733846503084333886981574906796632260\ 845631624430332703580/722570608996016308149958139006944661280690623\ 5852164245782521503473548222934922039*c_0101_5^17 - 1351968524767908005922799204321817063038388856765581350348578380354\ 563495979714453595125/722570608996016308149958139006944661280690623\ 5852164245782521503473548222934922039*c_0101_5^16 - 2129515583521561266840126007150605788725601770550192775362672547382\ 047495734541272133119/722570608996016308149958139006944661280690623\ 5852164245782521503473548222934922039*c_0101_5^15 + 2595129292133355524746616277702570542598914341850303156141811463908\ 443884752251800289369/722570608996016308149958139006944661280690623\ 5852164245782521503473548222934922039*c_0101_5^14 + 5164634209475738385060662278936340753158320201421976732172802232990\ 96562224048431309653/7225706089960163081499581390069446612806906235\ 852164245782521503473548222934922039*c_0101_5^13 - 1865162012946700346193114773360575959718893159857811078104696167271\ 235338955882777762008/722570608996016308149958139006944661280690623\ 5852164245782521503473548222934922039*c_0101_5^12 + 4251587397318636581533528916727603801486629762222865793527601787193\ 46934999533672745484/7225706089960163081499581390069446612806906235\ 852164245782521503473548222934922039*c_0101_5^11 + 5743799956389312738026325603164087640901877219460065170687221868252\ 20113654652952174870/7225706089960163081499581390069446612806906235\ 852164245782521503473548222934922039*c_0101_5^10 - 2401949147682769826532763109072775661863877040667229119194091313401\ 80524256804426712964/7225706089960163081499581390069446612806906235\ 852164245782521503473548222934922039*c_0101_5^9 - 9011852722549277394251189229436587447208386758064874905865259648868\ 8337352969345576369/72257060899601630814995813900694466128069062358\ 52164245782521503473548222934922039*c_0101_5^8 + 1424409831895735608373147789609116133205774869312978511613383691067\ 7393774386535009148/72257060899601630814995813900694466128069062358\ 52164245782521503473548222934922039*c_0101_5^7 + 2443196943945265967766579031526046922173606962381337144973884939576\ 7886917558921367827/72257060899601630814995813900694466128069062358\ 52164245782521503473548222934922039*c_0101_5^6 + 1304933622494335247525836948513457629420242638467251498414572917587\ 6450717665736314998/72257060899601630814995813900694466128069062358\ 52164245782521503473548222934922039*c_0101_5^5 - 6860005131865180464326698254281491176666095524598903027753674774546\ 393329915691331905/722570608996016308149958139006944661280690623585\ 2164245782521503473548222934922039*c_0101_5^4 - 2512238933892481056786979389396353895750978247091362838205834778071\ 815091889883321558/722570608996016308149958139006944661280690623585\ 2164245782521503473548222934922039*c_0101_5^3 + 6928179304513809607937006237335496242340507796348571911542684411025\ 13140771256948599/7225706089960163081499581390069446612806906235852\ 164245782521503473548222934922039*c_0101_5^2 + 9023799500960508690532217244834555576088693136095500812733479807697\ 7910925316401278/72257060899601630814995813900694466128069062358521\ 64245782521503473548222934922039*c_0101_5 - 2287163678795674813678051708347643780374454609906579236728763375809\ 7413605505550831/72257060899601630814995813900694466128069062358521\ 64245782521503473548222934922039, c_0101_3 - 173323356610675419752673079544440989593700465850434950464939\ 1748920623973950070564/21677118269880489244498744170208339838420718\ 707556492737347564510420644668804766117*c_0101_5^30 + 1044844885548575689371523907899126871787305049070229641931375779266\ 5695354065339310/21677118269880489244498744170208339838420718707556\ 492737347564510420644668804766117*c_0101_5^29 + 3952701186093775519796804145444024363800402449341539126664232652053\ 1685609544949327/21677118269880489244498744170208339838420718707556\ 492737347564510420644668804766117*c_0101_5^28 - 1240379036360453699510707201434529860616955793211307953906252978005\ 47588840769853602/7225706089960163081499581390069446612806906235852\ 164245782521503473548222934922039*c_0101_5^27 + 7063665487209869480499159045716037747224617469539032463969849190564\ 46283014522989714/7225706089960163081499581390069446612806906235852\ 164245782521503473548222934922039*c_0101_5^26 - 9022259929071509073469810394511283259228842372140248078601361146869\ 88521003355407243/7225706089960163081499581390069446612806906235852\ 164245782521503473548222934922039*c_0101_5^25 - 5736881671489901240830221512419474740690464439716263256187480087482\ 78738479075594027/2167711826988048924449874417020833983842071870755\ 6492737347564510420644668804766117*c_0101_5^24 - 2138997468306438932539542522192614380619128320071933607458379773248\ 4973256732591242758/21677118269880489244498744170208339838420718707\ 556492737347564510420644668804766117*c_0101_5^23 + 4076648803093844309570465303596576740683381691459909963035335611504\ 9724464777318165452/21677118269880489244498744170208339838420718707\ 556492737347564510420644668804766117*c_0101_5^22 + 4841863985480359581850115033448976492009083389391212014153020695848\ 1381069532667767812/21677118269880489244498744170208339838420718707\ 556492737347564510420644668804766117*c_0101_5^21 + 2532654920225955970962208989277442143004799226220941289351368806378\ 0619252952844665953/21677118269880489244498744170208339838420718707\ 556492737347564510420644668804766117*c_0101_5^20 - 4574063300616101899368212523718553969880400456968119480161508999325\ 75324224900800019876/2167711826988048924449874417020833983842071870\ 7556492737347564510420644668804766117*c_0101_5^19 + 4908050270787175458401895299275320913763841459726099014910048819035\ 5984654531106086599/72257060899601630814995813900694466128069062358\ 52164245782521503473548222934922039*c_0101_5^18 + 4232925450375530720466363799873243517422152894515676300509867223730\ 44660876440786766848/7225706089960163081499581390069446612806906235\ 852164245782521503473548222934922039*c_0101_5^17 - 1293481002927570315098463808779506142381982627034702919925419281947\ 277241808383730790599/216771182698804892444987441702083398384207187\ 07556492737347564510420644668804766117*c_0101_5^16 - 9652687011489326166437831352883205350885004862738215494249711420560\ 47248111511938956427/2167711826988048924449874417020833983842071870\ 7556492737347564510420644668804766117*c_0101_5^15 + 6819705299176796868007267335937096173345885123205222220117258975940\ 59758237311626179467/7225706089960163081499581390069446612806906235\ 852164245782521503473548222934922039*c_0101_5^14 - 3384423147711643512491253393262745100696026937745526497632848228571\ 30741955333361651563/2167711826988048924449874417020833983842071870\ 7556492737347564510420644668804766117*c_0101_5^13 - 3908724235929508692569411548153460329528549090783280735976712397748\ 43296265393283685338/7225706089960163081499581390069446612806906235\ 852164245782521503473548222934922039*c_0101_5^12 + 2321397240832509434352793510129854916662600990017386033430726552144\ 91679648678646493497/7225706089960163081499581390069446612806906235\ 852164245782521503473548222934922039*c_0101_5^11 + 1832374794587648185954494849374342397306001984704480910624844768730\ 85082626487595992935/2167711826988048924449874417020833983842071870\ 7556492737347564510420644668804766117*c_0101_5^10 - 2463549215384371648634884130004549408321300835128304673210316740493\ 77425031162025117560/2167711826988048924449874417020833983842071870\ 7556492737347564510420644668804766117*c_0101_5^9 + 1453702058892317383872576807327960385337124024053231634824147668022\ 6286890507954846201/21677118269880489244498744170208339838420718707\ 556492737347564510420644668804766117*c_0101_5^8 + 1449703926460955353218926915201655276949057424301430078645925199105\ 8564819765285299987/21677118269880489244498744170208339838420718707\ 556492737347564510420644668804766117*c_0101_5^7 + 1389312732103734906280024729750856433786774088799547657539674599418\ 2163622845728017690/21677118269880489244498744170208339838420718707\ 556492737347564510420644668804766117*c_0101_5^6 + 1969587945346812936454836401510981918012838906467770536481125988932\ 515105186319162823/216771182698804892444987441702083398384207187075\ 56492737347564510420644668804766117*c_0101_5^5 - 6619519020186382906971971872290321711013248688733322588334212691153\ 979777151895956334/216771182698804892444987441702083398384207187075\ 56492737347564510420644668804766117*c_0101_5^4 + 3541058775141275315270479042671221130252377360867466557515097890967\ 88199343280866932/2167711826988048924449874417020833983842071870755\ 6492737347564510420644668804766117*c_0101_5^3 + 6377849069625890489648211963125221040529711023543934983498287089750\ 77465719215096281/2167711826988048924449874417020833983842071870755\ 6492737347564510420644668804766117*c_0101_5^2 - 1449474079122121254223743435598342525325504306675285619892756058818\ 5022898995336760/72257060899601630814995813900694466128069062358521\ 64245782521503473548222934922039*c_0101_5 - 1792086203961850800288041064667982727071743737913815303565804142146\ 1377780728153698/21677118269880489244498744170208339838420718707556\ 492737347564510420644668804766117, c_0101_5^31 - 6*c_0101_5^30 - 23*c_0101_5^29 + 214*c_0101_5^28 - 1215*c_0101_5^27 + 1527*c_0101_5^26 + 368*c_0101_5^25 + 12521*c_0101_5^24 - 23330*c_0101_5^23 - 28962*c_0101_5^22 - 17425*c_0101_5^21 + 266583*c_0101_5^20 - 71107*c_0101_5^19 - 731427*c_0101_5^18 + 687275*c_0101_5^17 + 582030*c_0101_5^16 - 1077419*c_0101_5^15 + 98132*c_0101_5^14 + 621991*c_0101_5^13 - 296466*c_0101_5^12 - 124418*c_0101_5^11 + 104793*c_0101_5^10 + 10840*c_0101_5^9 - 6670*c_0101_5^8 - 8330*c_0101_5^7 - 2230*c_0101_5^6 + 2821*c_0101_5^5 + 269*c_0101_5^4 - 293*c_0101_5^3 + 10*c_0101_5^2 + 10*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB