Magma V2.19-8 Tue Aug 20 2013 16:16:11 on localhost [Seed = 1377029782] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0439 geometric_solution 4.48764093 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.413370718270 0.082778107177 0 2 2 0 3201 0132 1023 0132 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 0 -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 1.188242167350 0.097273803683 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 1 0 -1 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 0 1 0 0 0 0 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.300730517733 0.380084853626 2 4 5 2 0132 0132 0132 1023 0 0 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 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.338848543652 0.562761714287 5 3 6 5 2310 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.115792736115 0.783379423556 6 4 4 3 0132 2310 3201 0132 0 0 0 0 0 1 0 -1 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 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.115792736115 0.783379423556 5 6 6 4 0132 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 -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.701010714574 1.147552984258 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], '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_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : negation(d['c_0011_5']), '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' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], '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_0101_4']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_5, c_0101_0, c_0101_2, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t + 3788023639429105830117767994652416114200886638125988778559480033425\ 754132198963/396731361684829666353997986964918793086100216451446918\ 1683516980835072830588*c_0101_4^30 - 3986626448925351596026642020117891798741706968489719752683473612729\ 928422577307/283379544060592618824284276403513423632928726036747798\ 691679784345362345042*c_0101_4^29 + 1559883413153016242890864552031969286802532074073406206211991541921\ 84658076007497/3967313616848296663539979869649187930861002164514469\ 181683516980835072830588*c_0101_4^28 - 8520494658498587948258476494018109670954316489224909239930140481889\ 2953949319519/39673136168482966635399798696491879308610021645144691\ 81683516980835072830588*c_0101_4^27 - 5359886466663608947427231658196669174146882045326459739761667010694\ 29550715558329/1983656808424148331769989934824593965430501082257234\ 590841758490417536415294*c_0101_4^26 - 8583044428304428681948791486164674643152804009153155596707104274782\ 3037987069025/19836568084241483317699899348245939654305010822572345\ 90841758490417536415294*c_0101_4^25 + 1094727366031221268159258820272480576133461527859164576680350678917\ 879356568409293/396731361684829666353997986964918793086100216451446\ 9181683516980835072830588*c_0101_4^24 + 7285047292948143225639314695474905379671616515176118839378734603489\ 841223906890137/396731361684829666353997986964918793086100216451446\ 9181683516980835072830588*c_0101_4^23 - 5599846015993654845175246459759256954228697745687463432609281334131\ 55421496664988/9918284042120741658849949674122969827152505411286172\ 95420879245208768207647*c_0101_4^22 - 2485595826235338230807995352563524246245657066247496462936868925221\ 2000303362874333/39673136168482966635399798696491879308610021645144\ 69181683516980835072830588*c_0101_4^21 - 4299985484457295263689444678677905558286979955958726212312446984936\ 851054617180257/396731361684829666353997986964918793086100216451446\ 9181683516980835072830588*c_0101_4^20 + 6720956875902484726924695508105353727805339306295099641021299093934\ 093612927838955/396731361684829666353997986964918793086100216451446\ 9181683516980835072830588*c_0101_4^19 + 5688033174230066691974233639399030061391650303657909174145768253837\ 5013209281516827/39673136168482966635399798696491879308610021645144\ 69181683516980835072830588*c_0101_4^18 + 3760336519904861652640432199399535423367777158191084091721376723522\ 8129106036040735/19836568084241483317699899348245939654305010822572\ 34590841758490417536415294*c_0101_4^17 - 2070994848001042886349532011848837914808658524526665124722727147421\ 3212909123533721/19836568084241483317699899348245939654305010822572\ 34590841758490417536415294*c_0101_4^16 - 5829715207257852838943489563931037220726640123020221779625322011034\ 627400238082879/396731361684829666353997986964918793086100216451446\ 9181683516980835072830588*c_0101_4^15 - 1831124513272785420946382751229393001811885419385934867001903358037\ 4095041677044021/99182840421207416588499496741229698271525054112861\ 7295420879245208768207647*c_0101_4^14 - 2063976441637135479297028255025188980003977181293566564350859831293\ 62474494330995579/3967313616848296663539979869649187930861002164514\ 469181683516980835072830588*c_0101_4^13 + 6095520961034125361244893758737032533944712963153169458810307699125\ 4810166416956229/39673136168482966635399798696491879308610021645144\ 69181683516980835072830588*c_0101_4^12 + 2410967111730736813853567938378754908678756975941219430963106147977\ 34289371092544399/3967313616848296663539979869649187930861002164514\ 469181683516980835072830588*c_0101_4^11 - 4724335949009551165720135278081326347500055347665613129639867730688\ 698880879133441/198365680842414833176998993482459396543050108225723\ 4590841758490417536415294*c_0101_4^10 - 1255518626585773908086405951991265183766528209610855028861857101277\ 16305947825983721/3967313616848296663539979869649187930861002164514\ 469181683516980835072830588*c_0101_4^9 + 4794602780928120538724879556580875325439877280184529391726472667425\ 714633282343895/566759088121185237648568552807026847265857452073495\ 597383359568690724690084*c_0101_4^8 + 1079370310130702962195074899797983281742390270707119744432043419906\ 9703816807193197/19836568084241483317699899348245939654305010822572\ 34590841758490417536415294*c_0101_4^7 - 1082648812016060016350733809486106536383785937127653819355450186717\ 8824416374880933/19836568084241483317699899348245939654305010822572\ 34590841758490417536415294*c_0101_4^6 + 8679876220048959991579051153067451296355088463780756064305000870602\ 22232075891548/9918284042120741658849949674122969827152505411286172\ 95420879245208768207647*c_0101_4^5 + 7463548440297187261651299940959280168860233718470170603338874409606\ 54309349898206/9918284042120741658849949674122969827152505411286172\ 95420879245208768207647*c_0101_4^4 - 5155841228074745861172998740827141551741465722063021026120325865706\ 59017272617147/1983656808424148331769989934824593965430501082257234\ 590841758490417536415294*c_0101_4^3 + 6724368320069687736756051187291667478949019870164392130867146927836\ 751698588831/198365680842414833176998993482459396543050108225723459\ 0841758490417536415294*c_0101_4^2 + 1070880053556458055694645151802449023457718553230072992483672099130\ 2340231611458/99182840421207416588499496741229698271525054112861729\ 5420879245208768207647*c_0101_4 - 193805901969912497492280927872879\ 2943208277927756495436863892272248950321933009/39673136168482966635\ 39979869649187930861002164514469181683516980835072830588, c_0011_0 - 1, c_0011_1 + 128502918906890721341427420211426951637526711867670685819455\ 7328073848370585/39673136168482966635399798696491879308610021645144\ 69181683516980835072830588*c_0101_4^30 - 9103317168708118212378268444443758423664662822184405540059765508059\ 609858445/198365680842414833176998993482459396543050108225723459084\ 1758490417536415294*c_0101_4^29 + 422987086106794281539675596635677\ 71724850484286825183660524236118703237087659/3967313616848296663539\ 979869649187930861002164514469181683516980835072830588*c_0101_4^28 - 3141891285985511146715434740342170032814251383678889521382423344399\ 54300249/3967313616848296663539979869649187930861002164514469181683\ 516980835072830588*c_0101_4^27 - 1883041034008567014531570359242284\ 49896354614341079530413271450266039076698005/1983656808424148331769\ 989934824593965430501082257234590841758490417536415294*c_0101_4^26 - 1324957384646378933735825776642484851730039439842205998877071484001\ 28912817993/1983656808424148331769989934824593965430501082257234590\ 841758490417536415294*c_0101_4^25 + 3118195087206322156046235067643386928865232451077865978676651484988\ 54797546447/3967313616848296663539979869649187930861002164514469181\ 683516980835072830588*c_0101_4^24 + 2667932084424034798908671951380794085946822971739840777087674227098\ 446181793687/396731361684829666353997986964918793086100216451446918\ 1683516980835072830588*c_0101_4^23 + 1647121407324246373310264748542181458798180590515545642806700159296\ 99211278758/9918284042120741658849949674122969827152505411286172954\ 20879245208768207647*c_0101_4^22 - 8675372944420171161437356970472545089149046294800244681762388555598\ 081275238379/396731361684829666353997986964918793086100216451446918\ 1683516980835072830588*c_0101_4^21 - 6218314138954165472798791364634907603819864622998358087378332179710\ 896550086163/396731361684829666353997986964918793086100216451446918\ 1683516980835072830588*c_0101_4^20 + 8564124029171444524982109921277556825145662352620243913905349874657\ 09233642257/3967313616848296663539979869649187930861002164514469181\ 683516980835072830588*c_0101_4^19 + 2027167697547012146770194114505555530678046132986477513781369502656\ 0808725744269/39673136168482966635399798696491879308610021645144691\ 81683516980835072830588*c_0101_4^18 + 2603215417883498232866109560925682139930691162127913007071980593317\ 214896407447/283379544060592618824284276403513423632928726036747798\ 691679784345362345042*c_0101_4^17 + 8899542298584351173309490836966864930375405761768575122577146422563\ 72434177613/1983656808424148331769989934824593965430501082257234590\ 841758490417536415294*c_0101_4^16 - 7577168706962449921116897102449228788424560137339316660784965420630\ 626915133457/396731361684829666353997986964918793086100216451446918\ 1683516980835072830588*c_0101_4^15 - 6521741079086878598173290889616771188220739608247138213003203134928\ 816194242189/991828404212074165884994967412296982715250541128617295\ 420879245208768207647*c_0101_4^14 - 8411732379867637579156107997640862667691556825069855059868856414068\ 7710070161521/39673136168482966635399798696491879308610021645144691\ 81683516980835072830588*c_0101_4^13 - 2080360089504770514916347967925406707305584032427104257694719550951\ 5361257918193/39673136168482966635399798696491879308610021645144691\ 81683516980835072830588*c_0101_4^12 + 1253299602699657306796224042998229144489905836365856984832559958409\ 1507675960899/56675908812118523764856855280702684726585745207349559\ 7383359568690724690084*c_0101_4^11 + 2123895683178868326611203761778038309936519641700080483981305753934\ 7011831869805/19836568084241483317699899348245939654305010822572345\ 90841758490417536415294*c_0101_4^10 - 3901887825106011134071447612435533166182577307045212589079183472668\ 1074288091627/39673136168482966635399798696491879308610021645144691\ 81683516980835072830588*c_0101_4^9 - 1104613696212672406361399656829440160936438266982201419390923048591\ 0419423819341/39673136168482966635399798696491879308610021645144691\ 81683516980835072830588*c_0101_4^8 + 5817800083122459033664701613475897852183560534717762528518488281180\ 730611030521/198365680842414833176998993482459396543050108225723459\ 0841758490417536415294*c_0101_4^7 - 1540893870241251564389477049175528341235251670883058925453584003530\ 887950609417/198365680842414833176998993482459396543050108225723459\ 0841758490417536415294*c_0101_4^6 - 6529405836220407951419207030149155889865093317324902578526890680378\ 11225090426/9918284042120741658849949674122969827152505411286172954\ 20879245208768207647*c_0101_4^5 + 329470592942930096840052883401896\ 274197549761032556772570576330669539176535594/991828404212074165884\ 994967412296982715250541128617295420879245208768207647*c_0101_4^4 + 1162006968936367745683172947254849789496137515270708095448908316000\ 61287297057/1983656808424148331769989934824593965430501082257234590\ 841758490417536415294*c_0101_4^3 - 7609051408473446184329767816267706900761417358013101488607875059446\ 0215307429/19836568084241483317699899348245939654305010822572345908\ 41758490417536415294*c_0101_4^2 + 340307190064366587034627707842790\ 878765650150659596979320766179900727477495/141689772030296309412142\ 138201756711816464363018373899345839892172681172521*c_0101_4 + 8192389319649520781749740135294518404399800674877915612019484021561\ 449777921/396731361684829666353997986964918793086100216451446918168\ 3516980835072830588, c_0011_5 + 590849531051233141282628684211286684913874005694556048424258\ 8909615620056295/39673136168482966635399798696491879308610021645144\ 69181683516980835072830588*c_0101_4^30 - 2163639559214727326062282043534039663723183574463117724412946011017\ 5183213883/99182840421207416588499496741229698271525054112861729542\ 0879245208768207647*c_0101_4^29 + 235892555482298260602963376712692\ 990370713117690774445759301028857088278900047/396731361684829666353\ 9979869649187930861002164514469181683516980835072830588*c_0101_4^28 - 11338987229789510829056271892066376801573712361059171091860903354\ 9588107651355/39673136168482966635399798696491879308610021645144691\ 81683516980835072830588*c_0101_4^27 - 4198582889806807090045969066460427775604706768338350304371988275604\ 41872137194/9918284042120741658849949674122969827152505411286172954\ 20879245208768207647*c_0101_4^26 - 1035481276368933295068101735404440461999523288272972133726499843238\ 32044460924/9918284042120741658849949674122969827152505411286172954\ 20879245208768207647*c_0101_4^25 + 1655524852182306963182074465192406560099305959977165932186732350364\ 409991177959/396731361684829666353997986964918793086100216451446918\ 1683516980835072830588*c_0101_4^24 + 1150332793095520072221711726683631585450887788759445033902611667665\ 0235138753085/39673136168482966635399798696491879308610021645144691\ 81683516980835072830588*c_0101_4^23 - 1242606906136529678960830813818885248344611649343906758485154009479\ 928530926123/198365680842414833176998993482459396543050108225723459\ 0841758490417536415294*c_0101_4^22 - 3887256828938299421512120442624085874285265827118161094267156922600\ 3332786447723/39673136168482966635399798696491879308610021645144691\ 81683516980835072830588*c_0101_4^21 - 1009735506199406104002074232389087317065608615576650050463199090417\ 3871196068229/39673136168482966635399798696491879308610021645144691\ 81683516980835072830588*c_0101_4^20 + 9239895560583357315603691145244354020555608082993841327979203227537\ 737933381945/396731361684829666353997986964918793086100216451446918\ 1683516980835072830588*c_0101_4^19 + 8945009176346880279864568785630049328021556378387801290078700347360\ 3065247624119/39673136168482966635399798696491879308610021645144691\ 81683516980835072830588*c_0101_4^18 + 4467755975673185233599765769519146852579871350994826521886630048331\ 273739294521/141689772030296309412142138201756711816464363018373899\ 345839892172681172521*c_0101_4^17 - 1323275004716580151047360637803916152132439855354083304901725349294\ 9114136321264/99182840421207416588499496741229698271525054112861729\ 5420879245208768207647*c_0101_4^16 - 1250330641004025320959104323150403901200451992054965241244877733168\ 5135085857905/39673136168482966635399798696491879308610021645144691\ 81683516980835072830588*c_0101_4^15 - 2897080971283750092762440593373674638612612110016587115892211377913\ 0593508968951/99182840421207416588499496741229698271525054112861729\ 5420879245208768207647*c_0101_4^14 - 3319195128809308679053923946032242462563082065841085623201698071383\ 24546587561727/3967313616848296663539979869649187930861002164514469\ 181683516980835072830588*c_0101_4^13 + 6521887313598152772583649894387667861898874596603758601743559118116\ 7648539670287/39673136168482966635399798696491879308610021645144691\ 81683516980835072830588*c_0101_4^12 + 5407593473600089041465649331481017859997493723177444816959724974350\ 6905894876021/56675908812118523764856855280702684726585745207349559\ 7383359568690724690084*c_0101_4^11 + 4696919542748118288236927638097217048115039985841456266896757659073\ 877243696378/991828404212074165884994967412296982715250541128617295\ 420879245208768207647*c_0101_4^10 - 1908163246468960159903028566189152944510266468733711783219686507672\ 61273782897787/3967313616848296663539979869649187930861002164514469\ 181683516980835072830588*c_0101_4^9 + 3582888439703571128382624220731485079955884652021964077424219131804\ 2129940120481/39673136168482966635399798696491879308610021645144691\ 81683516980835072830588*c_0101_4^8 + 8790736293967755998609178030530042912221267936121333573479106480050\ 385967038993/991828404212074165884994967412296982715250541128617295\ 420879245208768207647*c_0101_4^7 - 7564817131703263964849959269949258326117821041407279192802002086507\ 994642210161/991828404212074165884994967412296982715250541128617295\ 420879245208768207647*c_0101_4^6 + 1489419849431330874549021766573379415137314580626006948873952919385\ 438161450789/198365680842414833176998993482459396543050108225723459\ 0841758490417536415294*c_0101_4^5 + 2326471642449324883265365022863583616892650022539751692690330155629\ 934100802153/198365680842414833176998993482459396543050108225723459\ 0841758490417536415294*c_0101_4^4 - 2862298819192938508775783842153357366523145479202538584688551130949\ 67205805439/9918284042120741658849949674122969827152505411286172954\ 20879245208768207647*c_0101_4^3 - 168431966750385891855018945977624\ 28393801544610940199749081290652486872709734/9918284042120741658849\ 94967412296982715250541128617295420879245208768207647*c_0101_4^2 + 4052862822104328989355350548968419307831002852716450507224153203326\ 746691001/283379544060592618824284276403513423632928726036747798691\ 679784345362345042*c_0101_4 + 3037406890545402238129490075907684842\ 907089235052552601148819295311842871757/396731361684829666353997986\ 9649187930861002164514469181683516980835072830588, c_0101_0 + 395083626270239816243741297215215397954535566224115204538346\ 4496458019500434/99182840421207416588499496741229698271525054112861\ 7295420879245208768207647*c_0101_4^30 - 1189258467456724986145177939942163104774749716364972173596834770400\ 10853943099/1983656808424148331769989934824593965430501082257234590\ 841758490417536415294*c_0101_4^29 + 3621798020406689205035734257441193782245454219799340938846554671054\ 14768138903/1983656808424148331769989934824593965430501082257234590\ 841758490417536415294*c_0101_4^28 - 1398179676506755720279868152327965931159079441323858284277087961194\ 59561714414/9918284042120741658849949674122969827152505411286172954\ 20879245208768207647*c_0101_4^27 - 2182991167177188565091222737660813025483685190432235330241495845913\ 205731143755/198365680842414833176998993482459396543050108225723459\ 0841758490417536415294*c_0101_4^26 + 3517592876769759105690285213764658624481836657120227955003557026755\ 45196405995/1983656808424148331769989934824593965430501082257234590\ 841758490417536415294*c_0101_4^25 + 2419182963443848562833326659143219510435839194883134656369312489273\ 214466486391/198365680842414833176998993482459396543050108225723459\ 0841758490417536415294*c_0101_4^24 + 7238819027129964521788733314375532593355375483583540377105029272457\ 628336733914/991828404212074165884994967412296982715250541128617295\ 420879245208768207647*c_0101_4^23 - 9507360435582536775358542492784478183956659518971626504797598190360\ 724338136119/198365680842414833176998993482459396543050108225723459\ 0841758490417536415294*c_0101_4^22 - 5052001895331204475016195961620245009423768721761110940336603257497\ 8003105054455/19836568084241483317699899348245939654305010822572345\ 90841758490417536415294*c_0101_4^21 + 3745558103136739993457840035787862239097747118144470421439958443169\ 522348810429/991828404212074165884994967412296982715250541128617295\ 420879245208768207647*c_0101_4^20 + 1737374047421794462644434336175046778254793682523966935486703020041\ 4925510499299/19836568084241483317699899348245939654305010822572345\ 90841758490417536415294*c_0101_4^19 + 5715983499901289869800053068961866588183841505944090956935050316062\ 2904924870429/99182840421207416588499496741229698271525054112861729\ 5420879245208768207647*c_0101_4^18 + 1702469453068812549380716612601705021418223369751280802407663044665\ 6627965290669/28337954406059261882428427640351342363292872603674779\ 8691679784345362345042*c_0101_4^17 - 1372575382386601449118356702701823225991201795798539442805709428042\ 64535826413923/1983656808424148331769989934824593965430501082257234\ 590841758490417536415294*c_0101_4^16 + 1360384084503695819964924438492752300022617754506959190710288036266\ 4598064081927/19836568084241483317699899348245939654305010822572345\ 90841758490417536415294*c_0101_4^15 - 7408308169043899884703868441119836133695900878877183813124453317743\ 6479726462135/99182840421207416588499496741229698271525054112861729\ 5420879245208768207647*c_0101_4^14 - 1910198760538519836481871830702505694364717904952961950429285421242\ 69786807243255/9918284042120741658849949674122969827152505411286172\ 95420879245208768207647*c_0101_4^13 + 2649904370205760308717886804965504107823842107229891248562713024819\ 07782504641411/1983656808424148331769989934824593965430501082257234\ 590841758490417536415294*c_0101_4^12 + 3335456384958175695215259292298226788938031075472178647583814902471\ 2390233482486/14168977203029630941214213820175671181646436301837389\ 9345839892172681172521*c_0101_4^11 - 1800319543183661346301416794140931958374260639091581179239838780068\ 23005602282277/1983656808424148331769989934824593965430501082257234\ 590841758490417536415294*c_0101_4^10 - 2605936444270556094090371915254139837686378101618004016873060476350\ 40026572399933/1983656808424148331769989934824593965430501082257234\ 590841758490417536415294*c_0101_4^9 + 7650883171750093560819958838223316467762563046548657941804258192062\ 7945884426967/99182840421207416588499496741229698271525054112861729\ 5420879245208768207647*c_0101_4^8 + 2544643100629059818076927150755504213029321408040757839929788298320\ 7639522226301/19836568084241483317699899348245939654305010822572345\ 90841758490417536415294*c_0101_4^7 - 6007627599803634502019435075120750724989151705049435900785046214627\ 1395522230673/19836568084241483317699899348245939654305010822572345\ 90841758490417536415294*c_0101_4^6 + 2104233507345213229452604743881074222423586141428810007594007922514\ 3407080963035/19836568084241483317699899348245939654305010822572345\ 90841758490417536415294*c_0101_4^5 + 4365507771659976387233689694178172813589273719060182947293812736007\ 350922740437/198365680842414833176998993482459396543050108225723459\ 0841758490417536415294*c_0101_4^4 - 4171638106196628044496789842215752013109215411012095419493035323771\ 819352235901/198365680842414833176998993482459396543050108225723459\ 0841758490417536415294*c_0101_4^3 + 6398677681696981189313110207307369512972384211682205184935782861203\ 73517364787/1983656808424148331769989934824593965430501082257234590\ 841758490417536415294*c_0101_4^2 + 1441954546635951779028155700727592281067752729983680155728841326017\ 9166961259/28337954406059261882428427640351342363292872603674779869\ 1679784345362345042*c_0101_4 - 293301033820004266305779441587718310\ 35009607365315024722403858377793528872861/1983656808424148331769989\ 934824593965430501082257234590841758490417536415294, c_0101_2 + 337016777168063517193599091343617460201205506180627987069673\ 6158924354874701/99182840421207416588499496741229698271525054112861\ 7295420879245208768207647*c_0101_4^30 - 1004267725741439096649416894741370949352848456144361947597880888786\ 37263459341/1983656808424148331769989934824593965430501082257234590\ 841758490417536415294*c_0101_4^29 + 2939475857459640685458710865385714330650452494495294362860530228313\ 82945709025/1983656808424148331769989934824593965430501082257234590\ 841758490417536415294*c_0101_4^28 - 9847818769191670919133358534029332424071444813470033020692570167334\ 2773735574/99182840421207416588499496741229698271525054112861729542\ 0879245208768207647*c_0101_4^27 - 188391599003227564766261984836502\ 5524539280519410114547157138312241039733426241/19836568084241483317\ 69989934824593965430501082257234590841758490417536415294*c_0101_4^2\ 6 + 108083658052655007387183602453384944789845314485960614622504265\ 50585466432301/1983656808424148331769989934824593965430501082257234\ 590841758490417536415294*c_0101_4^25 + 2009028710219264428015131654351759911027414353059889652634169788297\ 492064831371/198365680842414833176998993482459396543050108225723459\ 0841758490417536415294*c_0101_4^24 + 6321531990633547872412744366080534345958940248846854560401541248447\ 720280607991/991828404212074165884994967412296982715250541128617295\ 420879245208768207647*c_0101_4^23 - 6138948882641793291087216783380124541463063748260222587424015436213\ 998569381035/198365680842414833176998993482459396543050108225723459\ 0841758490417536415294*c_0101_4^22 - 4364165429276772840758208478933070569677216959348550301593883379304\ 0761755659137/19836568084241483317699899348245939654305010822572345\ 90841758490417536415294*c_0101_4^21 - 1597765911990760059671292889518814037278559996769050935398280126475\ 49083326368/9918284042120741658849949674122969827152505411286172954\ 20879245208768207647*c_0101_4^20 + 1346498884827399270649419183202224696936420599618487566990044903952\ 8989608426947/19836568084241483317699899348245939654305010822572345\ 90841758490417536415294*c_0101_4^19 + 4964436020997471075836756835537874444248335308253510130710473955691\ 6010300666633/99182840421207416588499496741229698271525054112861729\ 5420879245208768207647*c_0101_4^18 + 1672076628558663512008801102300542512183860718872335615331181121764\ 9572475684527/28337954406059261882428427640351342363292872603674779\ 8691679784345362345042*c_0101_4^17 - 9638652755235563906156215499759756834698554643749821094176363947929\ 6509143281795/19836568084241483317699899348245939654305010822572345\ 90841758490417536415294*c_0101_4^16 + 1040542514353064991134089967758403453985570751206491172257959046485\ 686975181649/198365680842414833176998993482459396543050108225723459\ 0841758490417536415294*c_0101_4^15 - 6415095708877384373282202408873205719407369562880269714783525262090\ 8918235552807/99182840421207416588499496741229698271525054112861729\ 5420879245208768207647*c_0101_4^14 - 1728689808497858723212961562945784806172994615457733718840218225678\ 43929971309401/9918284042120741658849949674122969827152505411286172\ 95420879245208768207647*c_0101_4^13 + 1699167262154868753625289455486155994332049273625405452429015294434\ 30717972969421/1983656808424148331769989934824593965430501082257234\ 590841758490417536415294*c_0101_4^12 + 2951016520658153851721165387699077562333893479810866739429814308821\ 0866182791497/14168977203029630941214213820175671181646436301837389\ 9345839892172681172521*c_0101_4^11 - 8817293551746942468649758773775140364872056157374271785946286631792\ 7485430248351/19836568084241483317699899348245939654305010822572345\ 90841758490417536415294*c_0101_4^10 - 2227981132961279394515364646498326957272745403662362345744192625221\ 39492643551179/1983656808424148331769989934824593965430501082257234\ 590841758490417536415294*c_0101_4^9 + 4834479198614489607886613844533872831166150231605627001795512247144\ 0940927591066/99182840421207416588499496741229698271525054112861729\ 5420879245208768207647*c_0101_4^8 + 2960442029784829292058162991414598870232162138411703077641957604513\ 3232297992423/19836568084241483317699899348245939654305010822572345\ 90841758490417536415294*c_0101_4^7 - 4522888474320069215196999587155219002740967581203465684851690306657\ 5407358435979/19836568084241483317699899348245939654305010822572345\ 90841758490417536415294*c_0101_4^6 + 1237347719604561262761355861763528855932734956863293906068495696155\ 0654751003593/19836568084241483317699899348245939654305010822572345\ 90841758490417536415294*c_0101_4^5 + 4481983149993630464527931163420079831836493107965187145524669978395\ 201463032307/198365680842414833176998993482459396543050108225723459\ 0841758490417536415294*c_0101_4^4 - 2744380656648029013354852599094411093023228894903546157813942861426\ 307102221031/198365680842414833176998993482459396543050108225723459\ 0841758490417536415294*c_0101_4^3 + 3022597830251465449568397955529360546825929354496996507147761016038\ 02460981843/1983656808424148331769989934824593965430501082257234590\ 841758490417536415294*c_0101_4^2 + 1160901147724004583715481418816560646771601614264240306747068549701\ 6964158897/28337954406059261882428427640351342363292872603674779869\ 1679784345362345042*c_0101_4 - 141827911224775078340648405668842115\ 19400006069967312749346292509762600021281/1983656808424148331769989\ 934824593965430501082257234590841758490417536415294, c_0101_3 + 572021693348828863035519045104258853335202129471634512802668\ 0538187508444563/19836568084241483317699899348245939654305010822572\ 34590841758490417536415294*c_0101_4^30 - 8338472337603882754772805247983664808037384702572240657004236222612\ 3153526463/19836568084241483317699899348245939654305010822572345908\ 41758490417536415294*c_0101_4^29 + 1112045453277950984490729795992283141971308250714301340902709679987\ 76441780923/9918284042120741658849949674122969827152505411286172954\ 20879245208768207647*c_0101_4^28 - 9274932039069338320258394161871300461077350259601561121684829153032\ 4355938797/19836568084241483317699899348245939654305010822572345908\ 41758490417536415294*c_0101_4^27 - 1636330601737957766268088185266436952881234464114386671901581311750\ 956031309807/198365680842414833176998993482459396543050108225723459\ 0841758490417536415294*c_0101_4^26 - 5139100213681621973794010828681610049827046981233262120399470924140\ 15210467933/1983656808424148331769989934824593965430501082257234590\ 841758490417536415294*c_0101_4^25 + 7961215897346135262971350191345008534416969330449257835900361499289\ 55414256264/9918284042120741658849949674122969827152505411286172954\ 20879245208768207647*c_0101_4^24 + 1125124665151899811186335664282471495817358186721634655538409409560\ 9989494860135/19836568084241483317699899348245939654305010822572345\ 90841758490417536415294*c_0101_4^23 - 1639833215546505805014381873926750823590088487639825276308426439023\ 145823994885/198365680842414833176998993482459396543050108225723459\ 0841758490417536415294*c_0101_4^22 - 1896219509018085135436529263332246619193377078558631932778074759118\ 7627598679565/99182840421207416588499496741229698271525054112861729\ 5420879245208768207647*c_0101_4^21 - 1238036646736796764280432588364645336793556895964693347391161544477\ 1903871550357/19836568084241483317699899348245939654305010822572345\ 90841758490417536415294*c_0101_4^20 + 4334389643075622462926286786408341004601230664590552380775543864181\ 634774508422/991828404212074165884994967412296982715250541128617295\ 420879245208768207647*c_0101_4^19 + 8727461656137214941628683985509637300701087943361930552757270147494\ 3445472682851/19836568084241483317699899348245939654305010822572345\ 90841758490417536415294*c_0101_4^18 + 1815657149887766041103887334432446139309987613130439699598401285187\ 7490895220999/28337954406059261882428427640351342363292872603674779\ 8691679784345362345042*c_0101_4^17 - 4367098322400139680646468692255356483681399043661209851617492068196\ 1529871655435/19836568084241483317699899348245939654305010822572345\ 90841758490417536415294*c_0101_4^16 - 8451205312669960770255453775719814409586570272784262746414293795781\ 188588865987/991828404212074165884994967412296982715250541128617295\ 420879245208768207647*c_0101_4^15 - 5612729201384698756362165113120759590977670796214829691451081489428\ 2035612603083/99182840421207416588499496741229698271525054112861729\ 5420879245208768207647*c_0101_4^14 - 3291671569695503955516446283170091332360814571124785695316555902539\ 87183344025579/1983656808424148331769989934824593965430501082257234\ 590841758490417536415294*c_0101_4^13 + 2089451528323914724296521508094796473881716323690127404932119375025\ 0586521776606/99182840421207416588499496741229698271525054112861729\ 5420879245208768207647*c_0101_4^12 + 5346452798248744198702274559011922282473879577318881144926272250859\ 7430667192739/28337954406059261882428427640351342363292872603674779\ 8691679784345362345042*c_0101_4^11 + 4272309311480412203609129607366117252150408815446947424348468955501\ 8247840079517/19836568084241483317699899348245939654305010822572345\ 90841758490417536415294*c_0101_4^10 - 9372057220443080511850842968882155529739553470325037337161241091030\ 3234225710179/99182840421207416588499496741229698271525054112861729\ 5420879245208768207647*c_0101_4^9 + 2196213091731021217723846040538776954958326239958498634028420132553\ 8599985403747/19836568084241483317699899348245939654305010822572345\ 90841758490417536415294*c_0101_4^8 + 3855393574469161132815686527010177929323035372413153658763705079377\ 9989040877353/19836568084241483317699899348245939654305010822572345\ 90841758490417536415294*c_0101_4^7 - 2745729251111506700845957768844256146908650948108267075162501587844\ 2454478702477/19836568084241483317699899348245939654305010822572345\ 90841758490417536415294*c_0101_4^6 + 5361654724452120823027916577889769729504571823280470195390376361894\ 30603413145/1983656808424148331769989934824593965430501082257234590\ 841758490417536415294*c_0101_4^5 + 5029453583305914046294291594064226534693845621839212048268720703068\ 308566583387/198365680842414833176998993482459396543050108225723459\ 0841758490417536415294*c_0101_4^4 - 8562002330916515661703491246285093792011340564382052511688977644022\ 45956331835/1983656808424148331769989934824593965430501082257234590\ 841758490417536415294*c_0101_4^3 - 1741085215119495465629113843982098308598284524877706741604639423226\ 76881970105/1983656808424148331769989934824593965430501082257234590\ 841758490417536415294*c_0101_4^2 + 8393530194545634134130727287771293362910358966474100774233396057542\ 044635219/283379544060592618824284276403513423632928726036747798691\ 679784345362345042*c_0101_4 + 3773720003397519036765126156559764960\ 084790822016248378173083074526176843441/991828404212074165884994967\ 412296982715250541128617295420879245208768207647, c_0101_4^31 - 15*c_0101_4^30 + 45*c_0101_4^29 - 32*c_0101_4^28 - 281*c_0101_4^27 + 32*c_0101_4^26 + 329*c_0101_4^25 + 1852*c_0101_4^24 - 1131*c_0101_4^23 - 6595*c_0101_4^22 + 660*c_0101_4^21 + 2724*c_0101_4^20 + 14684*c_0101_4^19 + 15693*c_0101_4^18 - 17700*c_0101_4^17 - 651*c_0101_4^16 - 17943*c_0101_4^15 - 49157*c_0101_4^14 + 32496*c_0101_4^13 + 64818*c_0101_4^12 - 20763*c_0101_4^11 - 38789*c_0101_4^10 + 17650*c_0101_4^9 + 6587*c_0101_4^8 - 7972*c_0101_4^7 + 1850*c_0101_4^6 + 1084*c_0101_4^5 - 550*c_0101_4^4 - 4*c_0101_4^3 + 34*c_0101_4^2 - 3*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB