Magma V2.19-8 Tue Aug 20 2013 16:16:31 on localhost [Seed = 3364443183] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0807 geometric_solution 4.74320992 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 1023 3201 0 0 0 0 0 -1 0 1 -1 0 1 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 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.111999498828 0.143861897747 0 0 3 3 0132 2310 2310 0132 0 0 0 0 0 -1 1 0 1 0 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 -1 1 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 1.256931895266 3.129722557194 2 0 0 2 3201 0132 1023 2310 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.839818684608 0.924848990983 4 1 1 5 0132 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.355893132274 0.238324629778 3 6 5 5 0132 0132 1302 3201 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.292128275234 0.776931904911 4 4 3 6 2031 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.292128275234 0.776931904911 6 4 5 6 3201 0132 0132 2310 0 0 0 0 0 -1 0 1 -1 0 1 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 -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.124895865777 1.039425390902 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : 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' : 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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0101_0']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t - 1219153764673726426637500542845124347998325521183033887974936588480\ 0632783368931078304612/39670721183111987475082407497302932825572232\ 754292288082825001602042158074739301421713*c_0101_6^30 + 9012158550925724423953759333904180292819269826243691661494074247641\ 0637879233911119604336/39670721183111987475082407497302932825572232\ 754292288082825001602042158074739301421713*c_0101_6^29 + 5462130707447647947662091871784790839159233758585344521122176356765\ 12283500800682502086903/3967072118311198747508240749730293282557223\ 2754292288082825001602042158074739301421713*c_0101_6^28 - 5921386709111869230765583988898195884626038363930238385045221006893\ 38047723616926831064217/1322357372770399582502746916576764427519074\ 4251430762694275000534014052691579767140571*c_0101_6^27 - 3106548080836518250358224473053113561232818263122441397146455535450\ 344723558711900039465233/132235737277039958250274691657676442751907\ 44251430762694275000534014052691579767140571*c_0101_6^26 + 4666734215742513790642688411305805706812293089388968692124400706855\ 591765193334153236404654/132235737277039958250274691657676442751907\ 44251430762694275000534014052691579767140571*c_0101_6^25 + 9636679013882060058084685097254505629282165356410085106232099277427\ 9113062860601633278486835/39670721183111987475082407497302932825572\ 232754292288082825001602042158074739301421713*c_0101_6^24 - 2223274599721897843635639376612499947165369255295487641870108396052\ 6379312884582078573669134/13223573727703995825027469165767644275190\ 744251430762694275000534014052691579767140571*c_0101_6^23 - 2387000176768858611616836111679685598365792369365770515009048817592\ 86720636539425753836601137/1322357372770399582502746916576764427519\ 0744251430762694275000534014052691579767140571*c_0101_6^22 + 1005962018941080339518113220561577916381933392301948263625182796708\ 98805229693702578100328546/1322357372770399582502746916576764427519\ 0744251430762694275000534014052691579767140571*c_0101_6^21 + 3661548144645105005545973241819335148084327140042282249583388425643\ 017108380679430926520621630/396707211831119874750824074973029328255\ 72232754292288082825001602042158074739301421713*c_0101_6^20 - 1621899712775151864395564825095644102622050269601527039883698519314\ 594974534914358524405274245/396707211831119874750824074973029328255\ 72232754292288082825001602042158074739301421713*c_0101_6^19 - 3771458449014051313178119578616947846470638473566130845563448405616\ 475758838124079807494778236/132235737277039958250274691657676442751\ 90744251430762694275000534014052691579767140571*c_0101_6^18 + 7159112270129524231889921829759032115744502554664332294808064408585\ 756578408473493044540883994/396707211831119874750824074973029328255\ 72232754292288082825001602042158074739301421713*c_0101_6^17 + 1892897570553685478093972875540122417808442923220024993926983329866\ 0280135586810859665938733130/39670721183111987475082407497302932825\ 572232754292288082825001602042158074739301421713*c_0101_6^16 - 1719495738561287933885009740522379186119809112691016883053458936497\ 2786309666230386034446091264/39670721183111987475082407497302932825\ 572232754292288082825001602042158074739301421713*c_0101_6^15 - 1478552891647206706236391331789631289995953139758786611466721831261\ 0646059183972006286258982338/39670721183111987475082407497302932825\ 572232754292288082825001602042158074739301421713*c_0101_6^14 + 6375617653977603518235487420000076333332071431198522009932243736494\ 393024835817557229889371432/132235737277039958250274691657676442751\ 90744251430762694275000534014052691579767140571*c_0101_6^13 + 4898593883435475237473066090702856477609615003526581630772806309615\ 893392199687882242708688504/396707211831119874750824074973029328255\ 72232754292288082825001602042158074739301421713*c_0101_6^12 - 3635051907023452429822239623232076101074396978587109832172640948183\ 150380076482905325736063575/132235737277039958250274691657676442751\ 90744251430762694275000534014052691579767140571*c_0101_6^11 - 8376853197190072037356060839292346586674336485662106214403583175641\ 4014140293168005162212563/13223573727703995825027469165767644275190\ 744251430762694275000534014052691579767140571*c_0101_6^10 + 3415409389096961691749491810833928522890040084188751098542155013904\ 035160267628725042424615316/396707211831119874750824074973029328255\ 72232754292288082825001602042158074739301421713*c_0101_6^9 - 1434649412533892168077509592840937478894348831559820593103316408004\ 98865706038975526864152108/3967072118311198747508240749730293282557\ 2232754292288082825001602042158074739301421713*c_0101_6^8 - 2084340359194455092383677233304156375218390967711332843940196103518\ 28634893692228634549468570/1322357372770399582502746916576764427519\ 0744251430762694275000534014052691579767140571*c_0101_6^7 - 4175134932650620107453314312481649237709598226896784557946512743143\ 371043795648607494998789/132235737277039958250274691657676442751907\ 44251430762694275000534014052691579767140571*c_0101_6^6 + 7690569267420728192679488389314633177189683284998726503451317538105\ 2277813186087455404208536/39670721183111987475082407497302932825572\ 232754292288082825001602042158074739301421713*c_0101_6^5 + 3819963847301869530939898107511950045209877954158503273673656848670\ 463193042582430427554200/132235737277039958250274691657676442751907\ 44251430762694275000534014052691579767140571*c_0101_6^4 - 7150922185805166272353616726122094712226628748783494189301983594000\ 497125298289158070976556/396707211831119874750824074973029328255722\ 32754292288082825001602042158074739301421713*c_0101_6^3 - 3653884610425825911989382951845056699723881789672876029056320451816\ 23953898778214376015714/1322357372770399582502746916576764427519074\ 4251430762694275000534014052691579767140571*c_0101_6^2 + 3400928709059104285631858681210520986561625649196321697526755139028\ 91182853446746988794454/3967072118311198747508240749730293282557223\ 2754292288082825001602042158074739301421713*c_0101_6 + 1447699117523207599365481321117263044769020813261388996591842515230\ 6335690229460461942970/39670721183111987475082407497302932825572232\ 754292288082825001602042158074739301421713, c_0011_0 - 1, c_0011_3 - 210276726840182448556292999118877653208080730902039957475038\ 755425661408843785387696540/171906458460151945725357099154979375577\ 479675268599915025575006942182684990536972827423*c_0101_6^30 + 1474411230947875199336414533007745833913428868413278949692870155037\ 430781570450116283368/171906458460151945725357099154979375577479675\ 268599915025575006942182684990536972827423*c_0101_6^29 + 9977054446195171820510696642674575390096986519040501590623346866673\ 365480412957317279875/171906458460151945725357099154979375577479675\ 268599915025575006942182684990536972827423*c_0101_6^28 - 2681090746987513591925408539970131387011756218000574591792385382451\ 7870512346533667301768/17190645846015194572535709915497937557747967\ 5268599915025575006942182684990536972827423*c_0101_6^27 - 1707180972499573235427398527259612805535839856739589480049238727287\ 36602444340063379601066/1719064584601519457253570991549793755774796\ 75268599915025575006942182684990536972827423*c_0101_6^26 + 1759320790979258377905992462296001755941451213644230897052282824103\ 15881283332300885063149/1719064584601519457253570991549793755774796\ 75268599915025575006942182684990536972827423*c_0101_6^25 + 1725231853016157402564962104447490584866536840284294423320341128168\ 093116510553212693879000/171906458460151945725357099154979375577479\ 675268599915025575006942182684990536972827423*c_0101_6^24 - 4902124205031156130371258062824206207214859737779819643138791610787\ 46211737260793141217034/1719064584601519457253570991549793755774796\ 75268599915025575006942182684990536972827423*c_0101_6^23 - 9614876881208266575437259872064960400401207507129198429865404604022\ 57649139728694866776208/1322357372770399582502746916576764427519074\ 4251430762694275000534014052691579767140571*c_0101_6^22 + 4395990224494497022280016531517003791787178253932857854329213738405\ 75692664569990918232393/1719064584601519457253570991549793755774796\ 75268599915025575006942182684990536972827423*c_0101_6^21 + 6304471102143569945959092784901687033162004451609280309493746630781\ 9983734194377354595734235/17190645846015194572535709915497937557747\ 9675268599915025575006942182684990536972827423*c_0101_6^20 - 3980949964502648163057661206630629362753668682246319165257472495419\ 377695899278465205675049/171906458460151945725357099154979375577479\ 675268599915025575006942182684990536972827423*c_0101_6^19 - 1952803039084796409163638044201148728282934981400116430656617128599\ 55696372076193580527076681/1719064584601519457253570991549793755774\ 79675268599915025575006942182684990536972827423*c_0101_6^18 + 4909353208389836287454140984743898113337068236955114891789534967058\ 2488972673038466162313692/17190645846015194572535709915497937557747\ 9675268599915025575006942182684990536972827423*c_0101_6^17 + 3409503825055621095097004355555151116785402199663359974908583355274\ 44178206863228225812277091/1719064584601519457253570991549793755774\ 79675268599915025575006942182684990536972827423*c_0101_6^16 - 1657630805973270551285138789713303688103348617556039957521417042813\ 66224743705265696435403673/1719064584601519457253570991549793755774\ 79675268599915025575006942182684990536972827423*c_0101_6^15 - 3109907563293587166464592775543787919507771547718277746679276928557\ 35945756722226066587295510/1719064584601519457253570991549793755774\ 79675268599915025575006942182684990536972827423*c_0101_6^14 + 1600407295339096837171037197735829576607446977722912488949914042469\ 8715400260601589583095006/13223573727703995825027469165767644275190\ 744251430762694275000534014052691579767140571*c_0101_6^13 + 1576486553661089205433415428336160982669031185700835039410380568501\ 92753930816149067154451871/1719064584601519457253570991549793755774\ 79675268599915025575006942182684990536972827423*c_0101_6^12 - 1241455920882272750798294754084894678859952072942175462255568524486\ 37887970564411606166179362/1719064584601519457253570991549793755774\ 79675268599915025575006942182684990536972827423*c_0101_6^11 - 3753008793233506882251188478949928848318831852422761299727565122785\ 458846223818282754877101/132235737277039958250274691657676442751907\ 44251430762694275000534014052691579767140571*c_0101_6^10 + 3842763497694639276137596074699163566361030201751614391183413898168\ 4830659309776672188533309/17190645846015194572535709915497937557747\ 9675268599915025575006942182684990536972827423*c_0101_6^9 + 1121846172983329832610159821487256340115182590779100139484265894752\ 1832997666539903777767857/17190645846015194572535709915497937557747\ 9675268599915025575006942182684990536972827423*c_0101_6^8 - 6083092212138430122506676466865155715276353191313517055341484801950\ 378713702586407998268874/171906458460151945725357099154979375577479\ 675268599915025575006942182684990536972827423*c_0101_6^7 - 2247373117026287697757050257390562768070208322665658701647478052666\ 243442823711215639521155/171906458460151945725357099154979375577479\ 675268599915025575006942182684990536972827423*c_0101_6^6 + 4275978013235878065415250110277651741431475425297748661274692447052\ 86043911223851764220283/1719064584601519457253570991549793755774796\ 75268599915025575006942182684990536972827423*c_0101_6^5 + 3027435109231859364269569819544535951538775444194751003648588340385\ 07753275888468452994112/1719064584601519457253570991549793755774796\ 75268599915025575006942182684990536972827423*c_0101_6^4 - 1105777924428209253184446570034431971587075339170058297346952828147\ 1620561420107676984086/17190645846015194572535709915497937557747967\ 5268599915025575006942182684990536972827423*c_0101_6^3 - 1764896413648169923011932926172133846589248229371710090343613116596\ 0996938485189422615814/17190645846015194572535709915497937557747967\ 5268599915025575006942182684990536972827423*c_0101_6^2 + 6054056858628397240673140395081601225880588605564356006261432610688\ 98828746015204455187/1719064584601519457253570991549793755774796752\ 68599915025575006942182684990536972827423*c_0101_6 + 1612194480761069734426510851777184572068615161984852737315831520197\ 99121471734946476710/1719064584601519457253570991549793755774796752\ 68599915025575006942182684990536972827423, c_0011_5 - 298016497926328571549208944402453061145115328368054689294536\ 6856723354533456217199606/17190645846015194572535709915497937557747\ 9675268599915025575006942182684990536972827423*c_0101_6^30 + 4361005137510096178622650327171772564092893489493841741682604536194\ 7504935422016814917/17190645846015194572535709915497937557747967526\ 8599915025575006942182684990536972827423*c_0101_6^29 - 1224438132923081089548346418815500577439937237069472295498347848019\ 3556647543956232536/17190645846015194572535709915497937557747967526\ 8599915025575006942182684990536972827423*c_0101_6^28 - 1497764991690319788013106188587234338357437278950369448497463172274\ 535533766846659806837/171906458460151945725357099154979375577479675\ 268599915025575006942182684990536972827423*c_0101_6^27 + 2164249351723169605453918900547506421449120535825704058521738728172\ 36293110997243322368/1719064584601519457253570991549793755774796752\ 68599915025575006942182684990536972827423*c_0101_6^26 + 2166933057423625784492000549859907172126537740689436835547333133851\ 2690412659364763471866/17190645846015194572535709915497937557747967\ 5268599915025575006942182684990536972827423*c_0101_6^25 + 9851028969399308364507406031426474731663490760356168909262914403388\ 367450673628969412551/171906458460151945725357099154979375577479675\ 268599915025575006942182684990536972827423*c_0101_6^24 - 1982814810958986870020690667207064941979061810115781499872390891746\ 43815184615629717180001/1719064584601519457253570991549793755774796\ 75268599915025575006942182684990536972827423*c_0101_6^23 - 1296451528731189855883875612284744572221265543861854038813192847477\ 1777036805737089870939/13223573727703995825027469165767644275190744\ 251430762694275000534014052691579767140571*c_0101_6^22 + 1372697328339485065434457329932429398340933539425777729251343540575\ 652387962160229592031121/171906458460151945725357099154979375577479\ 675268599915025575006942182684990536972827423*c_0101_6^21 + 1166072610693985815196527469648857052538780990481675024825890204893\ 117064250558497982445337/171906458460151945725357099154979375577479\ 675268599915025575006942182684990536972827423*c_0101_6^20 - 6904998461445287791330169716587812906526261618682280691572547539143\ 624463073348164633735442/171906458460151945725357099154979375577479\ 675268599915025575006942182684990536972827423*c_0101_6^19 - 3928423087630692566597267712836747446149094306579722212337958607957\ 586575249686126319819193/171906458460151945725357099154979375577479\ 675268599915025575006942182684990536972827423*c_0101_6^18 + 2202536340194412892039825771583705562230504895473174064765109649488\ 5569895183743501158280929/17190645846015194572535709915497937557747\ 9675268599915025575006942182684990536972827423*c_0101_6^17 + 4272553349675596196495094552129997790984539473558476390554005354330\ 846967478260410141714168/171906458460151945725357099154979375577479\ 675268599915025575006942182684990536972827423*c_0101_6^16 - 4073630802479861942269727351883572464530527152344262700092161442231\ 7525790045205803286075859/17190645846015194572535709915497937557747\ 9675268599915025575006942182684990536972827423*c_0101_6^15 + 5860852249785507507600205925037289385423672270843429232996478789931\ 409037668942721165987723/171906458460151945725357099154979375577479\ 675268599915025575006942182684990536972827423*c_0101_6^14 + 3128471491967926903457928420665917608444775614580844497439293098243\ 577614989034293083647304/132235737277039958250274691657676442751907\ 44251430762694275000534014052691579767140571*c_0101_6^13 - 1420896846636687315005111994808926571386895876625980234243706444580\ 0099112942822559119006255/17190645846015194572535709915497937557747\ 9675268599915025575006942182684990536972827423*c_0101_6^12 - 2266850233856434147847214160308351008233222229068161748756351711725\ 7788124275805534950838085/17190645846015194572535709915497937557747\ 9675268599915025575006942182684990536972827423*c_0101_6^11 + 7462061009426625499243105346081079537276371769829830436383992590635\ 32324290161338708481448/1322357372770399582502746916576764427519074\ 4251430762694275000534014052691579767140571*c_0101_6^10 + 7543056167242315057928379035007987949852867478712596996177577806567\ 361516096574364752086184/171906458460151945725357099154979375577479\ 675268599915025575006942182684990536972827423*c_0101_6^9 - 2779985696072452722932390185438453008801618312578143758365868316411\ 796566673273325532829169/171906458460151945725357099154979375577479\ 675268599915025575006942182684990536972827423*c_0101_6^8 - 1724307870461218669921120074074061511251113839048293763284666486155\ 993157454811599358732828/171906458460151945725357099154979375577479\ 675268599915025575006942182684990536972827423*c_0101_6^7 + 2675583482654578735628997454666526064539736859978034616136024954744\ 84778527764459433589565/1719064584601519457253570991549793755774796\ 75268599915025575006942182684990536972827423*c_0101_6^6 + 2973803656714368102048792133228148839608734792068535157140947093308\ 38152050006757647855878/1719064584601519457253570991549793755774796\ 75268599915025575006942182684990536972827423*c_0101_6^5 + 1860381823172829402972744986228922037119673336401281866579389481359\ 5659506177451598458108/17190645846015194572535709915497937557747967\ 5268599915025575006942182684990536972827423*c_0101_6^4 - 2833001956116095724288589001036774668276244104251971871563920626902\ 9330960661030103711438/17190645846015194572535709915497937557747967\ 5268599915025575006942182684990536972827423*c_0101_6^3 - 4084617254801427397652019611867161374601902663755027054063822200992\ 774187536437623073408/171906458460151945725357099154979375577479675\ 268599915025575006942182684990536972827423*c_0101_6^2 + 4905687334491916507663514351527333579882683937271264022543282420527\ 35260240604973203114/1719064584601519457253570991549793755774796752\ 68599915025575006942182684990536972827423*c_0101_6 + 9864386988670790397694612390117012693069402675164651580273274856949\ 8744200580572004516/17190645846015194572535709915497937557747967526\ 8599915025575006942182684990536972827423, c_0101_0 - 196291705450255232346377374082922686903453291865641177875881\ 631009399485166437894082818/171906458460151945725357099154979375577\ 479675268599915025575006942182684990536972827423*c_0101_6^30 + 1371587792401579443598818591464596243056386643454189815179517109585\ 642777209628461661495/171906458460151945725357099154979375577479675\ 268599915025575006942182684990536972827423*c_0101_6^29 + 9363703928105539613852739561520180804398325854049852934247684950985\ 370227955609450751744/171906458460151945725357099154979375577479675\ 268599915025575006942182684990536972827423*c_0101_6^28 - 2492695466454256466066657934827918220700122428083787916764281118867\ 8085575484254396598125/17190645846015194572535709915497937557747967\ 5268599915025575006942182684990536972827423*c_0101_6^27 - 1607114873969410933706128202600922995387705269411788105103148634576\ 47973177347243450681870/1719064584601519457253570991549793755774796\ 75268599915025575006942182684990536972827423*c_0101_6^26 + 1628198786484086857165341868280581917600320731563846133724131435550\ 21868534734939578441758/1719064584601519457253570991549793755774796\ 75268599915025575006942182684990536972827423*c_0101_6^25 + 1626957940901423576066707675347597039452737485099377354610041538171\ 196768591770694231824066/171906458460151945725357099154979375577479\ 675268599915025575006942182684990536972827423*c_0101_6^24 - 4378410215519684745414857257643398519119487062498169869133343684809\ 67241574276597652146179/1719064584601519457253570991549793755774796\ 75268599915025575006942182684990536972827423*c_0101_6^23 - 9082482352713623388652393682889697079115360727033279610031674109332\ 26434750724706736889322/1322357372770399582502746916576764427519074\ 4251430762694275000534014052691579767140571*c_0101_6^22 + 2208641643039501988362019896587683540542027594120735921577818387339\ 48897957938093106643462/1719064584601519457253570991549793755774796\ 75268599915025575006942182684990536972827423*c_0101_6^21 + 5980635643706645788197547159963709262134260461646063745907266396330\ 3281343005083712554457927/17190645846015194572535709915497937557747\ 9675268599915025575006942182684990536972827423*c_0101_6^20 - 2729506893220719797976202336922687699647721094323782911134196330993\ 971673630820394451936203/171906458460151945725357099154979375577479\ 675268599915025575006942182684990536972827423*c_0101_6^19 - 1871311023604881459463788102505090088050232556699839435442812711769\ 68071458352037252731787982/1719064584601519457253570991549793755774\ 79675268599915025575006942182684990536972827423*c_0101_6^18 + 4376553072553845614591510384426768132599442256500470629681738331097\ 7248531801324443886475386/17190645846015194572535709915497937557747\ 9675268599915025575006942182684990536972827423*c_0101_6^17 + 3334737253558556491865307398280799675197297668585543273322886094140\ 90426102753519859224803018/1719064584601519457253570991549793755774\ 79675268599915025575006942182684990536972827423*c_0101_6^16 - 1568758308803124248777718983761979272725332263442918804275388113366\ 82671417166192897275920012/1719064584601519457253570991549793755774\ 79675268599915025575006942182684990536972827423*c_0101_6^15 - 3155477140816861550268027969806633562537097223855791783932571170900\ 96969663365818486969193675/1719064584601519457253570991549793755774\ 79675268599915025575006942182684990536972827423*c_0101_6^14 + 1606139686907207986256230271210856867869214313726544730116041847545\ 3167950549461464836794584/13223573727703995825027469165767644275190\ 744251430762694275000534014052691579767140571*c_0101_6^13 + 1650616926026071056684575938811670743823058725719206292356810633012\ 76669737408914450239895268/1719064584601519457253570991549793755774\ 79675268599915025575006942182684990536972827423*c_0101_6^12 - 1324628134099275838859699931056259725845057181473753961055007521965\ 20891997838956725396458737/1719064584601519457253570991549793755774\ 79675268599915025575006942182684990536972827423*c_0101_6^11 - 3909208820249235230126595646357128174851072634235498354851062889988\ 696556034343653967198696/132235737277039958250274691657676442751907\ 44251430762694275000534014052691579767140571*c_0101_6^10 + 4372419685257567724873952720265181868821386501581796194556790201779\ 7614964890599795238407235/17190645846015194572535709915497937557747\ 9675268599915025575006942182684990536972827423*c_0101_6^9 + 1107032549262227721114962767498653046464071396591051811528560687032\ 8654007872059809498639465/17190645846015194572535709915497937557747\ 9675268599915025575006942182684990536972827423*c_0101_6^8 - 7496465238220306931653895424902690388733819209842295258896319439438\ 722910789049311203412007/171906458460151945725357099154979375577479\ 675268599915025575006942182684990536972827423*c_0101_6^7 - 2223546044196036310573048525399452119272699839884532725414855165346\ 581224362626506866816783/171906458460151945725357099154979375577479\ 675268599915025575006942182684990536972827423*c_0101_6^6 + 6340525485508830382854401292715709240999225419866388537761571466482\ 99779229680175232729482/1719064584601519457253570991549793755774796\ 75268599915025575006942182684990536972827423*c_0101_6^5 + 3343175117802789156008696945942552153082649405073045292530998356880\ 64799947604917297853958/1719064584601519457253570991549793755774796\ 75268599915025575006942182684990536972827423*c_0101_6^4 - 3088460766681198570533516734655200319517343146440614154022371181638\ 5212193252399310813019/17190645846015194572535709915497937557747967\ 5268599915025575006942182684990536972827423*c_0101_6^3 - 2237042255020599359027931956120453944822100816213203174074421586345\ 3729201762437607795228/17190645846015194572535709915497937557747967\ 5268599915025575006942182684990536972827423*c_0101_6^2 + 1767064071266436060431608799798512032427252866343208187443222111971\ 213848281648597152622/171906458460151945725357099154979375577479675\ 268599915025575006942182684990536972827423*c_0101_6 + 2678389988730872722847044081321398030598666583406926308437254252132\ 94443141807317351296/1719064584601519457253570991549793755774796752\ 68599915025575006942182684990536972827423, c_0101_1 + 528179275990643735508832449822199203359556038562037211822144\ 143089441880559994241359020/171906458460151945725357099154979375577\ 479675268599915025575006942182684990536972827423*c_0101_6^30 - 3774069216356240906299260837264570041251383599760918225590599909785\ 686794168396457043848/171906458460151945725357099154979375577479675\ 268599915025575006942182684990536972827423*c_0101_6^29 - 2455262333260778878512097755143309946068470518969316082244623767177\ 8441519660486345177253/17190645846015194572535709915497937557747967\ 5268599915025575006942182684990536972827423*c_0101_6^28 + 7058959189739992504537189494736143930678365961244036672480647144505\ 8840159467122295893861/17190645846015194572535709915497937557747967\ 5268599915025575006942182684990536972827423*c_0101_6^27 + 4193010375066839682421268216100673689843223597926114314000871060661\ 26888260270874090890204/1719064584601519457253570991549793755774796\ 75268599915025575006942182684990536972827423*c_0101_6^26 - 4970217090680254189348278773764895871344021080711041985440008201278\ 09692533219467542633386/1719064584601519457253570991549793755774796\ 75268599915025575006942182684990536972827423*c_0101_6^25 - 4266042969291008471355918498130731419546044220460743135243722027208\ 526807377834103297908342/171906458460151945725357099154979375577479\ 675268599915025575006942182684990536972827423*c_0101_6^24 + 1790547049816700664078145730057665020697324877045293423643065927996\ 201205574438527885796843/171906458460151945725357099154979375577479\ 675268599915025575006942182684990536972827423*c_0101_6^23 + 2395695887480717182616328761531110083262977295979798667553649323603\ 052681163734179058345096/132235737277039958250274691657676442751907\ 44251430762694275000534014052691579767140571*c_0101_6^22 - 5174956007635378364542014034344318746313719630281796463411117393474\ 675190922505306518894214/171906458460151945725357099154979375577479\ 675268599915025575006942182684990536972827423*c_0101_6^21 - 1575497658655952544209688423087858965092130270896812338547197673809\ 35784117641458048174675700/1719064584601519457253570991549793755774\ 79675268599915025575006942182684990536972827423*c_0101_6^20 + 3042107496172120751159319943830765473250214285937466197700884579533\ 7352275464052877917318561/17190645846015194572535709915497937557747\ 9675268599915025575006942182684990536972827423*c_0101_6^19 + 4859082443450318315544203708239799548082398978787068495536703592649\ 30999863122532270140670802/1719064584601519457253570991549793755774\ 79675268599915025575006942182684990536972827423*c_0101_6^18 - 1850294357808988037789840174975878238740339919705394660634799003000\ 17141052670281746562832717/1719064584601519457253570991549793755774\ 79675268599915025575006942182684990536972827423*c_0101_6^17 - 8311172260421054711475197683133098579932113494959755772698556443313\ 04871212154328378269408164/1719064584601519457253570991549793755774\ 79675268599915025575006942182684990536972827423*c_0101_6^16 + 5175262822449048100794042036584958299783053684526166813760504753830\ 38809066545818541020639501/1719064584601519457253570991549793755774\ 79675268599915025575006942182684990536972827423*c_0101_6^15 + 7161491821547631873944128731966467409699415122441692337597441603269\ 06286031492945496000147819/1719064584601519457253570991549793755774\ 79675268599915025575006942182684990536972827423*c_0101_6^14 - 4639965544020237965910824676897044172535875845366581432055793076186\ 1761874994462531943514487/13223573727703995825027469165767644275190\ 744251430762694275000534014052691579767140571*c_0101_6^13 - 3291363874955465804797201758928794151241547319419946205296591334438\ 62037414872726608248383842/1719064584601519457253570991549793755774\ 79675268599915025575006942182684990536972827423*c_0101_6^12 + 3481448202361688993391663889976955870132877371202574887159639243248\ 41214256992678414836013648/1719064584601519457253570991549793755774\ 79675268599915025575006942182684990536972827423*c_0101_6^11 + 6817438283351803135628011676166307004974386296929332862472256361546\ 310849577865540452472072/132235737277039958250274691657676442751907\ 44251430762694275000534014052691579767140571*c_0101_6^10 - 1080024752675549885369437545154217817901020118855286085476445362369\ 79692910080106167856509113/1719064584601519457253570991549793755774\ 79675268599915025575006942182684990536972827423*c_0101_6^9 - 1886505094496299925723921241823622371378558668269384084926796985338\ 4655392743691778984732034/17190645846015194572535709915497937557747\ 9675268599915025575006942182684990536972827423*c_0101_6^8 + 1833519121910195413337055939764152218654366693805720563069187082931\ 0338551230156744520731769/17190645846015194572535709915497937557747\ 9675268599915025575006942182684990536972827423*c_0101_6^7 + 4314524085690794917811289783043860548618244486511441312402580789477\ 593068865111617769382766/171906458460151945725357099154979375577479\ 675268599915025575006942182684990536972827423*c_0101_6^6 - 1698300618210864085521183303817102780076580261386178785936343147674\ 364150484023257437729278/171906458460151945725357099154979375577479\ 675268599915025575006942182684990536972827423*c_0101_6^5 - 6986089389933084423071398404070509034898904177297875190740185244264\ 23595537380885275644969/1719064584601519457253570991549793755774796\ 75268599915025575006942182684990536972827423*c_0101_6^4 + 9701985057222309229610307936070233103713427608686634071386949422034\ 1974413246993668014370/17190645846015194572535709915497937557747967\ 5268599915025575006942182684990536972827423*c_0101_6^3 + 4806671780825765982518051198155813095039335837616150194304944322052\ 3142039649510904156247/17190645846015194572535709915497937557747967\ 5268599915025575006942182684990536972827423*c_0101_6^2 - 4028373339923199190685633133279973347835138406621101986417755781137\ 022604202298404916703/171906458460151945725357099154979375577479675\ 268599915025575006942182684990536972827423*c_0101_6 - 6226292183667293458828003393790730824610337617814985312105074311181\ 00983690499199789533/1719064584601519457253570991549793755774796752\ 68599915025575006942182684990536972827423, c_0101_2 - 516520918345435331016690847824850608350017232191324776292248\ 507948989242888164101832848/171906458460151945725357099154979375577\ 479675268599915025575006942182684990536972827423*c_0101_6^30 + 3640273689936994650376836784811902527665277040495568936103221233097\ 918395746803328821040/171906458460151945725357099154979375577479675\ 268599915025575006942182684990536972827423*c_0101_6^29 + 2443031529694059505327117732367418259797614847111632991287166487283\ 0044291651913207430346/17190645846015194572535709915497937557747967\ 5268599915025575006942182684990536972827423*c_0101_6^28 - 6712330181595689284478685736536335562190215311997038208751987544645\ 1698653625761407287995/17190645846015194572535709915497937557747967\ 5268599915025575006942182684990536972827423*c_0101_6^27 - 4193782671282211436388018554670313438463728712442539180554150589770\ 26369488101759445937373/1719064584601519457253570991549793755774796\ 75268599915025575006942182684990536972827423*c_0101_6^26 + 4545377074822248943349749731141101576371991261051208958530074869270\ 01896282462440108827791/1719064584601519457253570991549793755774796\ 75268599915025575006942182684990536972827423*c_0101_6^25 + 4262803602574136969279453078278784303361067967212763433699456047834\ 043972673177122473607233/171906458460151945725357099154979375577479\ 675268599915025575006942182684990536972827423*c_0101_6^24 - 1410171428144957689726797995230870149145973300127086867921996732294\ 281040380756592889559166/171906458460151945725357099154979375577479\ 675268599915025575006942182684990536972827423*c_0101_6^23 - 2390123339080868519781677467350776605454345428045593176287438060829\ 071521531722649226433058/132235737277039958250274691657676442751907\ 44251430762694275000534014052691579767140571*c_0101_6^22 + 2406705159227934225713506721353251561109369374026619239929793952259\ 885825574488782254381190/171906458460151945725357099154979375577479\ 675268599915025575006942182684990536972827423*c_0101_6^21 + 1578284358690358090011734778009581341055886709184416768720980173176\ 61114018212899486903837832/1719064584601519457253570991549793755774\ 79675268599915025575006942182684990536972827423*c_0101_6^20 - 1621703806010177099358568494321285807008965430594415165260287476496\ 9983416999566219183627221/17190645846015194572535709915497937557747\ 9675268599915025575006942182684990536972827423*c_0101_6^19 - 4943810120897382440173738136925974620869288844715825470544965560497\ 29115027611235838155888650/1719064584601519457253570991549793755774\ 79675268599915025575006942182684990536972827423*c_0101_6^18 + 1426790708550590372540361105122931759965686252991893798845221357372\ 64863648674366296071451977/1719064584601519457253570991549793755774\ 79675268599915025575006942182684990536972827423*c_0101_6^17 + 8781169686258438890121815172293315226890558474086606931401569598239\ 10368867029265588533486854/1719064584601519457253570991549793755774\ 79675268599915025575006942182684990536972827423*c_0101_6^16 - 4605357379040917796158923629450279558905148023225258920715730142160\ 36504751485505730499386080/1719064584601519457253570991549793755774\ 79675268599915025575006942182684990536972827423*c_0101_6^15 - 8202841804008636724880606610659046513448373344091346847536758783382\ 21096325808931917749109676/1719064584601519457253570991549793755774\ 79675268599915025575006942182684990536972827423*c_0101_6^14 + 4568719944446365296339110942951035776811311213674979122236641210597\ 9811718023784855781133144/13223573727703995825027469165767644275190\ 744251430762694275000534014052691579767140571*c_0101_6^13 + 4192201553862053255443346379555717780105146305680033810072069633836\ 95656920530276682275772819/1719064584601519457253570991549793755774\ 79675268599915025575006942182684990536972827423*c_0101_6^12 - 3725980071030709159418841232879055678798654363778947274624342629094\ 02046078529787154687052352/1719064584601519457253570991549793755774\ 79675268599915025575006942182684990536972827423*c_0101_6^11 - 9692345965238576191359195045813268385054266758078204510635445110240\ 670321169065104598572646/132235737277039958250274691657676442751907\ 44251430762694275000534014052691579767140571*c_0101_6^10 + 1233565310971624320571455374134364049232395236398266952771805550839\ 78878687729494106346446430/1719064584601519457253570991549793755774\ 79675268599915025575006942182684990536972827423*c_0101_6^9 + 2793645733472459162224282874801115486764466286834360787270653501115\ 2774730936985012226705378/17190645846015194572535709915497937557747\ 9675268599915025575006942182684990536972827423*c_0101_6^8 - 2174426584918294111365436083885938283724751869784752299260758131251\ 7851736177057931346338308/17190645846015194572535709915497937557747\ 9675268599915025575006942182684990536972827423*c_0101_6^7 - 6108108258466691002971055415267712804551540377788923565589266541872\ 734760073625483501070997/171906458460151945725357099154979375577479\ 675268599915025575006942182684990536972827423*c_0101_6^6 + 1975351012872136966895864977346368194103177885095122653754023652192\ 301004484878784697808082/171906458460151945725357099154979375577479\ 675268599915025575006942182684990536972827423*c_0101_6^5 + 9898755884845224301833392471390183527540888920261431084338589584054\ 17299454236227662477009/1719064584601519457253570991549793755774796\ 75268599915025575006942182684990536972827423*c_0101_6^4 - 9242688601929577046373290743549908184643778295400814877419901028952\ 2822633232752857791343/17190645846015194572535709915497937557747967\ 5268599915025575006942182684990536972827423*c_0101_6^3 - 6991907116305851141553588482555468130187313236090206335055428678874\ 3869049134215485418180/17190645846015194572535709915497937557747967\ 5268599915025575006942182684990536972827423*c_0101_6^2 + 2249814238114000713157029007836402929103802855845793261853269376265\ 988817579027576567427/171906458460151945725357099154979375577479675\ 268599915025575006942182684990536972827423*c_0101_6 + 9680479108483966136312469844837586598619319797375439267417752978936\ 94436139185070201488/1719064584601519457253570991549793755774796752\ 68599915025575006942182684990536972827423, c_0101_6^31 - 15/2*c_0101_6^30 - 44*c_0101_6^29 + 301/2*c_0101_6^28 + 1497/2*c_0101_6^27 - 1230*c_0101_6^26 - 7777*c_0101_6^25 + 6317*c_0101_6^24 + 58112*c_0101_6^23 - 31055*c_0101_6^22 - 297411*c_0101_6^21 + 330483/2*c_0101_6^20 + 1825025/2*c_0101_6^19 - 1372671/2*c_0101_6^18 - 2972855/2*c_0101_6^17 + 1574432*c_0101_6^16 + 2117471/2*c_0101_6^15 - 3388907/2*c_0101_6^14 - 236030*c_0101_6^13 + 937398*c_0101_6^12 - 72245*c_0101_6^11 - 285296*c_0101_6^10 + 82561/2*c_0101_6^9 + 51747*c_0101_6^8 - 9349/2*c_0101_6^7 - 6819*c_0101_6^6 - 443/2*c_0101_6^5 + 743*c_0101_6^4 + 32*c_0101_6^3 - 44*c_0101_6^2 + c_0101_6 + 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB