Magma V2.19-8 Tue Aug 20 2013 16:15:56 on localhost [Seed = 3263389438] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0158 geometric_solution 3.64764989 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.525154011710 0.013971963491 2 0 2 0 0132 2310 1023 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.571989630020 0.036654403200 1 3 1 3 0132 0132 1023 2310 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.417758459132 0.591715489537 2 2 4 4 3201 0132 2310 0132 0 0 0 0 0 0 0 0 -1 0 1 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 1 -1 0 0 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.974782260401 1.458602936369 5 3 3 6 0132 3201 0132 0132 0 0 0 0 0 1 0 -1 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 -1 0 0 0 -1 1 -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.798534712340 0.402909830079 4 6 6 6 0132 1302 3201 2031 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.502726815837 0.500909278875 5 5 4 5 2310 1302 0132 2031 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.502726815837 0.500909278875 ==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' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(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' : negation(d['c_0101_5']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_4']), '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_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t - 1791739990699493721857344681218906494332592117697362020405398297433\ 355692091028756295395686149015706167/409186016890710596039254463855\ 0392617550344677084493484379572869490574522923508760427054479382065\ 040*c_0101_5^28 + 4140165927418213834996421255750302910350094580604\ 749145414363913483757760591278572774908775509783723472/255741260556\ 6941225245340399093995385968965423177808427737233043431609076827192\ 97526690904961379065*c_0101_5^27 - 3309343256000282780177329762363241315248231177569605668931101289603\ 4425886950502101680543713989811309437/20459300844535529801962723192\ 7519630877517233854224674218978643474528726146175438021352723969103\ 2520*c_0101_5^26 - 231456174637323557730035841350908799440119610869\ 4755463540056225607928318173278891175344393286849494611039/40918601\ 6890710596039254463855039261755034467708449348437957286949057452292\ 3508760427054479382065040*c_0101_5^25 + 8894114411691746719871325106259282191666452139610929257962044050897\ 54698757183350033689253004354487106767/4091860168907105960392544638\ 5503926175503446770844934843795728694905745229235087604270544793820\ 65040*c_0101_5^24 + 33389008541594884151319242433727462947081214517\ 798173360688034959005523814156910175998375752343335625227493/409186\ 0168907105960392544638550392617550344677084493484379572869490574522\ 923508760427054479382065040*c_0101_5^23 + 5875302856045949133728754478519193952753240112110894178634573638918\ 4670176234833515867881298524637788027201/40918601689071059603925446\ 3855039261755034467708449348437957286949057452292350876042705447938\ 2065040*c_0101_5^22 - 101555339392710642193876554603999923753363056\ 919235652720348976765728697950341204763510956306974520242576581/204\ 5930084453552980196272319275196308775172338542246742189786434745287\ 261461754380213527239691032520*c_0101_5^21 - 2292513977829552130301366133251492612650781863719317324184998067678\ 29469416647280840725175212800400418915203/1022965042226776490098136\ 1596375981543875861692711233710948932173726436307308771901067636198\ 45516260*c_0101_5^20 - 16035925817372406115267201760175999778330227\ 3995662644454184477248120383918742665706699492456456909633579081/81\ 8372033781421192078508927710078523510068935416898696875914573898114\ 904584701752085410895876413008*c_0101_5^19 + 3329817491326912213823314227260396074855556904064453070861651163504\ 5413544256435460666827934324098029134575/10229650422267764900981361\ 5963759815438758616927112337109489321737264363073087719010676361984\ 551626*c_0101_5^18 + 1741737634229577815023317617641534554241216620\ 89000058996751970971148753412143878528820231278469168396197945/8183\ 7203378142119207850892771007852351006893541689869687591457389811490\ 4584701752085410895876413008*c_0101_5^17 - 5946335651583071344999961514286378504047255267931130029195379671452\ 9364962981021169375559799373820459806817/51148252111338824504906807\ 9818799077193793084635561685547446608686321815365438595053381809922\ 75813*c_0101_5^16 - 65837840502320635906549648534939143675316286971\ 281061627221533251387579491182437429412516320567532803901345/102296\ 5042226776490098136159637598154387586169271123371094893217372643630\ 73087719010676361984551626*c_0101_5^15 + 3760178748544727077932988458424095241053451819213425163437550078295\ 154045215096015853672768119689191498884423/204593008445355298019627\ 2319275196308775172338542246742189786434745287261461754380213527239\ 691032520*c_0101_5^14 + 6975157354090743778287626093150911025801119\ 65505876287656942095018460224360462560403047226782008975911882831/4\ 0918601689071059603925446385503926175503446770844934843795728694905\ 7452292350876042705447938206504*c_0101_5^13 - 2468269635812697783315535569843368475708421189961212882661573902854\ 86899577785059603030982967173884076346859/2557412605566941225245340\ 3990939953859689654231778084277372330434316090768271929752669090496\ 1379065*c_0101_5^12 - 184430054917980824220822072347509081155136910\ 9269862505320862510194006979655063170044944626312607631716657733/10\ 2296504222677649009813615963759815438758616927112337109489321737264\ 3630730877190106763619845516260*c_0101_5^11 - 6700699437656186092347276232955344072462432386931665444956532797667\ 6213237828233983989315923166809137289433/20459300844535529801962723\ 1927519630877517233854224674218978643474528726146175438021352723969\ 1032520*c_0101_5^10 + 940994355728739849283945336877367464434196695\ 451136679208798415245947647175232179771937950491705409974871109/102\ 2965042226776490098136159637598154387586169271123371094893217372643\ 630730877190106763619845516260*c_0101_5^9 + 1498599609762513735870949864535834720808526423631721740515000688558\ 39169470125068701309196556982449734834423/8183720337814211920785089\ 2771007852351006893541689869687591457389811490458470175208541089587\ 6413008*c_0101_5^8 - 1974069385371401486715406732663635322638773923\ 84036784422409849823482623450682121385348385299193689646381767/8183\ 7203378142119207850892771007852351006893541689869687591457389811490\ 4584701752085410895876413008*c_0101_5^7 - 5649155526005274006355135741437788260962508468371271389642762075156\ 291374091726944082118338592205141276789/102296504222677649009813615\ 9637598154387586169271123371094893217372643630730877190106763619845\ 51626*c_0101_5^6 + 648973552207110469827500131045417421767939836945\ 15426664574615636665883837198247797294249716884622244199231/2045930\ 0844535529801962723192751963087751723385422467421897864347452872614\ 61754380213527239691032520*c_0101_5^5 + 2214451448042836598384425620618087800943297812168319249350338021552\ 4329512591149162719221539169882128298081/40918601689071059603925446\ 3855039261755034467708449348437957286949057452292350876042705447938\ 2065040*c_0101_5^4 - 2028873125522745773848290903796307207842112136\ 199838992731063091853367832228905697142401777552723842891103/102296\ 5042226776490098136159637598154387586169271123371094893217372643630\ 730877190106763619845516260*c_0101_5^3 - 1008052118574073958885347689416335941491651723209087629375706983915\ 18122362423014529458147210569532555713/2045930084453552980196272319\ 2751963087751723385422467421897864347452872614617543802135272396910\ 32520*c_0101_5^2 + 519273710025749811958383207778024724859366154302\ 91698853504273645021318026214326161325056567650429124133/1022965042\ 2267764900981361596375981543875861692711233710948932173726436307308\ 77190106763619845516260*c_0101_5 - 4174732439101137625089294187857602086477423051733623636622052474963\ 5853305016191304469321111169091166251/40918601689071059603925446385\ 5039261755034467708449348437957286949057452292350876042705447938206\ 5040, c_0011_0 - 1, c_0011_1 - 166174725355437508316439545225480313613964180417835476456726\ 90607121889870499341472530049639629928/5114825211133882450490680798\ 1879907719379308463556168554744660868632181536543859505338180992275\ 813*c_0101_5^28 + 3095893795976258633949915878224527728611941541019\ 390341164263440610292701258645107952083375375617971/255741260556694\ 1225245340399093995385968965423177808427737233043431609076827192975\ 26690904961379065*c_0101_5^27 - 39675725357338046162290732091332213\ 85259511759138565272124885976303785482031341929732920446931637491/2\ 5574126055669412252453403990939953859689654231778084277372330434316\ 0907682719297526690904961379065*c_0101_5^26 - 1061153142537619207811034649794052588171575841243632336705932989675\ 77836966591085179152300584603869547/2557412605566941225245340399093\ 9953859689654231778084277372330434316090768271929752669090496137906\ 5*c_0101_5^25 + 719096652719767860971795902810375873050443929034366\ 82597040089922215913299563140585008515561200274976/2557412605566941\ 2252453403990939953859689654231778084277372330434316090768271929752\ 6690904961379065*c_0101_5^24 + 152513751358050742246401630359992823\ 2890755053079713237754108078943330078963015552724310039112255809752\ /255741260556694122524534039909399538596896542317780842773723304343\ 160907682719297526690904961379065*c_0101_5^23 + 2283612865727729381253463653137577275736645056931907525851583577704\ 786098442864431092872610213309546662/255741260556694122524534039909\ 3995385968965423177808427737233043431609076827192975266909049613790\ 65*c_0101_5^22 - 10045948960900690277297036506878687180779821839241\ 643751823715846672108651021443645818235538497013199776/255741260556\ 6941225245340399093995385968965423177808427737233043431609076827192\ 97526690904961379065*c_0101_5^21 - 3955212255885159587216555939314573696342706493782393595041627751287\ 6288915633144366188954463914625410197/25574126055669412252453403990\ 9399538596896542317780842773723304343160907682719297526690904961379\ 065*c_0101_5^20 - 5185765965217458368723281886066493292442351333851\ 179580133973063490454624051849193055139279137370167412/511482521113\ 3882450490680798187990771937930846355616855474466086863218153654385\ 9505338180992275813*c_0101_5^19 + 683252648442069884619621000110096\ 5788879605872665043373992733098087340532402349624268886281038925580\ 0913/25574126055669412252453403990939953859689654231778084277372330\ 4343160907682719297526690904961379065*c_0101_5^18 + 3939382863219719787741287215326889886997197444103816634668533196039\ 685663125648877517044168789559102585/511482521113388245049068079818\ 7990771937930846355616855474466086863218153654385950533818099227581\ 3*c_0101_5^17 - 225077898319178671436400667389024722494952184782996\ 786157082977793478226033662715646129475125965872101387/255741260556\ 6941225245340399093995385968965423177808427737233043431609076827192\ 97526690904961379065*c_0101_5^16 - 1121342081821158940606855718789196272461686227124462074413257270648\ 5729982168730536116467769548338604007/51148252111338824504906807981\ 8799077193793084635561685547446608686321815365438595053381809922758\ 13*c_0101_5^15 + 36020798803881038720718069086391873234402661181068\ 7543262439264180651891922268146864078135038815610300543/25574126055\ 6694122524534039909399538596896542317780842773723304343160907682719\ 297526690904961379065*c_0101_5^14 + 2161950013291566859559273710494734571019132117189434452832254470729\ 66084659239549091372306279672652949962/2557412605566941225245340399\ 0939953859689654231778084277372330434316090768271929752669090496137\ 9065*c_0101_5^13 - 238573488304403532846308052933784204461462799018\ 784808668808818259476065201900288034537642675390563693002/255741260\ 5566941225245340399093995385968965423177808427737233043431609076827\ 19297526690904961379065*c_0101_5^12 - 2657496064655154765235305513204064261824652122941446037910753513292\ 82532538432463154271015357620561629506/2557412605566941225245340399\ 0939953859689654231778084277372330434316090768271929752669090496137\ 9065*c_0101_5^11 + 676148613471945942963895756988304362177562171067\ 36757512391527777077328805083169498903220554226316206609/2557412605\ 5669412252453403990939953859689654231778084277372330434316090768271\ 9297526690904961379065*c_0101_5^10 + 1479115125938347600140026195933712872307908919085029077807496789771\ 14910176087625636969160993028241006637/2557412605566941225245340399\ 0939953859689654231778084277372330434316090768271929752669090496137\ 9065*c_0101_5^9 - 8704769894278796905581194631290074507265739296031\ 173880055844920080320538440952890494994383315313659764/255741260556\ 6941225245340399093995385968965423177808427737233043431609076827192\ 97526690904961379065*c_0101_5^8 - 399624570050501885346516171072822\ 8512074108952918683604140786247250893470971268864906645985838677059\ 4333/25574126055669412252453403990939953859689654231778084277372330\ 4343160907682719297526690904961379065*c_0101_5^7 + 1888845033413460788842960704848517127495356699489728085915112180181\ 110617811373222766922549633303987561/255741260556694122524534039909\ 3995385968965423177808427737233043431609076827192975266909049613790\ 65*c_0101_5^6 + 471563024515956476996002307506282391408720981736492\ 5193134299726577796195640216260825574049016200606777/25574126055669\ 4122524534039909399538596896542317780842773723304343160907682719297\ 526690904961379065*c_0101_5^5 - 10452684670274293371008741051084997\ 2241942166431763200181782051443575784311745232469592559447964046782\ /511482521113388245049068079818799077193793084635561685547446608686\ 32181536543859505338180992275813*c_0101_5^4 - 1509918153880096686492706372705498916562728306805663266549526024272\ 87482197683503404522459685757210176/2557412605566941225245340399093\ 9953859689654231778084277372330434316090768271929752669090496137906\ 5*c_0101_5^3 + 4397228618824562054192627742236411942485150372720611\ 6310842731850191885375018712975263751634661087696/25574126055669412\ 2524534039909399538596896542317780842773723304343160907682719297526\ 690904961379065*c_0101_5^2 - 52296313615610659625986981057928455951\ 71846436182752403424052457752771787036816253832222560414651043/2557\ 4126055669412252453403990939953859689654231778084277372330434316090\ 7682719297526690904961379065*c_0101_5 + 1144867977930399910546866986349927371309678296245289166178784740631\ 6802521777912867143427249666462/51148252111338824504906807981879907\ 719379308463556168554744660868632181536543859505338180992275813, c_0011_4 + 497635250265843477598047210810624943267071620394508497713174\ 13356042324550113581760779728483142269/2557412605566941225245340399\ 0939953859689654231778084277372330434316090768271929752669090496137\ 9065*c_0101_5^28 - 185694261920092786775142739370586091864095508315\ 4455187040149059166913777558179437461925128841720969/25574126055669\ 4122524534039909399538596896542317780842773723304343160907682719297\ 526690904961379065*c_0101_5^27 + 2478377318402747862983851123499536\ 286385535371765539022453964829898123343377364233391900222086558497/\ 2557412605566941225245340399093995385968965423177808427737233043431\ 60907682719297526690904961379065*c_0101_5^26 + 6339623396307355071429928860415598819210612965294257000969253631707\ 7023910235642144538963939166952359/25574126055669412252453403990939\ 9538596896542317780842773723304343160907682719297526690904961379065\ *c_0101_5^25 - 4648817442707077668507155975479898364871909354179410\ 6805816524511277270498029298825729000886116942012/25574126055669412\ 2524534039909399538596896542317780842773723304343160907682719297526\ 690904961379065*c_0101_5^24 - 9101223030823349979783116829204676344\ 29182101060731942944974997582114458500254941859130110642300247637/2\ 5574126055669412252453403990939953859689654231778084277372330434316\ 0907682719297526690904961379065*c_0101_5^23 - 1319007206826484889785245571634600028777335787285135439403716427919\ 680266292792741550331865201369858394/255741260556694122524534039909\ 3995385968965423177808427737233043431609076827192975266909049613790\ 65*c_0101_5^22 + 60776962200693340896555555396642539414553438638491\ 75226906486802785839182934367799869363909907021683782/2557412605566\ 9412252453403990939953859689654231778084277372330434316090768271929\ 7526690904961379065*c_0101_5^21 + 466917346172556537486943612678785\ 8783974171784576964723599199801310709438225429875529466603241584333\ 690/511482521113388245049068079818799077193793084635561685547446608\ 68632181536543859505338180992275813*c_0101_5^20 + 1433861680054595380185681764481224924684096827395424891821418431400\ 2072696740975030381886616749104401692/25574126055669412252453403990\ 9399538596896542317780842773723304343160907682719297526690904961379\ 065*c_0101_5^19 - 8289680336585172485306116360215787754387294665768\ 575178470771261093379507149666972179910812774368637209/511482521113\ 3882450490680798187990771937930846355616855474466086863218153654385\ 9505338180992275813*c_0101_5^18 - 948789833453987927794745275576129\ 6359258531553214367195455839326682944432126675251305355095258306112\ 203/255741260556694122524534039909399538596896542317780842773723304\ 343160907682719297526690904961379065*c_0101_5^17 + 2694777232839841855521034040375293786703747663309519004228764022460\ 7474076937307331704993319340901177307/51148252111338824504906807981\ 8799077193793084635561685547446608686321815365438595053381809922758\ 13*c_0101_5^16 + 26356800928657844613339609268835966417184946683045\ 900133740961374355778623757443144421905015673990525887/255741260556\ 6941225245340399093995385968965423177808427737233043431609076827192\ 97526690904961379065*c_0101_5^15 - 2155151669544529687643105384325422669633121643207501842329001213663\ 13285091118659980697134432212872281997/2557412605566941225245340399\ 0939953859689654231778084277372330434316090768271929752669090496137\ 9065*c_0101_5^14 - 118214129516714147145745756073544529262874456131\ 944492411787060472347207947344199493269920321657161723783/255741260\ 5566941225245340399093995385968965423177808427737233043431609076827\ 19297526690904961379065*c_0101_5^13 + 1467110529637438936197283135051603438816752457143008802212950783634\ 46149164603955573166983498505614793551/2557412605566941225245340399\ 0939953859689654231778084277372330434316090768271929752669090496137\ 9065*c_0101_5^12 + 150868479952967809682658804756664615665258093434\ 105150776010801608580433136489219251717537998904147118291/255741260\ 5566941225245340399093995385968965423177808427737233043431609076827\ 19297526690904961379065*c_0101_5^11 - 4657581206068961728816865047151363254710008722135983839866014269186\ 4547643258577297087578866572291436102/25574126055669412252453403990\ 9399538596896542317780842773723304343160907682719297526690904961379\ 065*c_0101_5^10 - 8498945026939084556643672173321631157071129141560\ 8357408901069911405177011747292891150010976730340157996/25574126055\ 6694122524534039909399538596896542317780842773723304343160907682719\ 297526690904961379065*c_0101_5^9 + 8771189731586369975930881587899812682651233467348462954643246678628\ 839939751705674322193570091433811158/255741260556694122524534039909\ 3995385968965423177808427737233043431609076827192975266909049613790\ 65*c_0101_5^8 + 228160665572361832030791095970196427286253388754379\ 62112580754254745651077128479227612897625119089157629/2557412605566\ 9412252453403990939953859689654231778084277372330434316090768271929\ 7526690904961379065*c_0101_5^7 - 2003444546458168922169979164673938\ 9220455844969654193882023378329362994771715228834855464938316370344\ 57/2557412605566941225245340399093995385968965423177808427737233043\ 43160907682719297526690904961379065*c_0101_5^6 - 5218600339948286060184694959969852297556700038183113699382710866538\ 22365381917588054760754537072856258/5114825211133882450490680798187\ 9907719379308463556168554744660868632181536543859505338180992275813\ *c_0101_5^5 + 37701826576268154824230133030538192861222033565557299\ 5519071992227406431897715128412944087285927341926/25574126055669412\ 2524534039909399538596896542317780842773723304343160907682719297526\ 690904961379065*c_0101_5^4 + 78398731738602829192882548788719006315\ 853941045557219130859817907514659843724727966583034315844008764/255\ 7412605566941225245340399093995385968965423177808427737233043431609\ 07682719297526690904961379065*c_0101_5^3 - 2488671705590359503686121731171646630031832128680735118281942487423\ 7423400660374018450199229443193372/25574126055669412252453403990939\ 9538596896542317780842773723304343160907682719297526690904961379065\ *c_0101_5^2 + 60046073192774309062598679694756686432536538084277233\ 8349445052405307749646702834151098081647631794/51148252111338824504\ 9068079818799077193793084635561685547446608686321815365438595053381\ 80992275813*c_0101_5 - 14004199956782798394408124467671258788327143\ 850857880898209939423726102165030365859408274665135898/511482521113\ 3882450490680798187990771937930846355616855474466086863218153654385\ 9505338180992275813, c_0101_0 - 957832286390947970305978668941107994400824100469365707507237\ 2317794883116106918254040912559402742/51148252111338824504906807981\ 8799077193793084635561685547446608686321815365438595053381809922758\ 13*c_0101_5^28 + 17876343508351926211711538566001423467868292201117\ 03147042887640879459078674625185348405806431998199/2557412605566941\ 2252453403990939953859689654231778084277372330434316090768271929752\ 6690904961379065*c_0101_5^27 - 240194004684400572741683210440590449\ 4895611749577813488641503826643108985574084667643554142624238436/25\ 5741260556694122524534039909399538596896542317780842773723304343160\ 907682719297526690904961379065*c_0101_5^26 - 6111354756228227392531309392941682090464155971384181420643784361845\ 3454759442456820622637775494563121/25574126055669412252453403990939\ 9538596896542317780842773723304343160907682719297526690904961379065\ *c_0101_5^25 + 4559928398731957221618966508644615403715039004386886\ 9185386400429283803050307424777071531833134070623/25574126055669412\ 2524534039909399538596896542317780842773723304343160907682719297526\ 690904961379065*c_0101_5^24 + 8797904955389912049391554397623831612\ 74072218694639377833960592255062581396439159906379703467034989646/2\ 5574126055669412252453403990939953859689654231778084277372330434316\ 0907682719297526690904961379065*c_0101_5^23 + 1256388834896829109068971474363082828910970301872421346063396846749\ 891657037271305322233097243961225174/255741260556694122524534039909\ 3995385968965423177808427737233043431609076827192975266909049613790\ 65*c_0101_5^22 - 59267268397444393390014225103024097929389370452282\ 40491448604900029469864516132528776991526844919945058/2557412605566\ 9412252453403990939953859689654231778084277372330434316090768271929\ 7526690904961379065*c_0101_5^21 - 224956527387168072360070263811130\ 7235741181132957440338879618180928064110338023434713085499134715087\ 7901/25574126055669412252453403990939953859689654231778084277372330\ 4343160907682719297526690904961379065*c_0101_5^20 - 1312688160576637905229111600640231846190658728338793981993158257729\ 5362812010245491909312908903390542611/25574126055669412252453403990\ 9399538596896542317780842773723304343160907682719297526690904961379\ 065*c_0101_5^19 + 4168495186057424595533152139400830819542605199277\ 0758163817886407178338492183197645645249055558234879802/25574126055\ 6694122524534039909399538596896542317780842773723304343160907682719\ 297526690904961379065*c_0101_5^18 + 9752191681119697544352255380087732287838143714415673111844679004180\ 712083516933778728996451137188014439/255741260556694122524534039909\ 3995385968965423177808427737233043431609076827192975266909049613790\ 65*c_0101_5^17 - 13259837144787536908038226537892991219963662461583\ 5950379217662859490828488005925081611477585692675583523/25574126055\ 6694122524534039909399538596896542317780842773723304343160907682719\ 297526690904961379065*c_0101_5^16 - 2475221588297893184606526913720997116304171446283554986011067221355\ 9580961634813731565940080131263153771/25574126055669412252453403990\ 9399538596896542317780842773723304343160907682719297526690904961379\ 065*c_0101_5^15 + 2168116165277951183103415210650806134159809837202\ 05245828671137936827669244711811702858129157279879049917/2557412605\ 5669412252453403990939953859689654231778084277372330434316090768271\ 9297526690904961379065*c_0101_5^14 + 1136730468547751655033940997012712442820022398417082832284866084595\ 65158531618809293739943493064878768437/2557412605566941225245340399\ 0939953859689654231778084277372330434316090768271929752669090496137\ 9065*c_0101_5^13 - 157041255944619188886779512020084499819794640239\ 715354636633549007197764246256548361474508367799939694342/255741260\ 5566941225245340399093995385968965423177808427737233043431609076827\ 19297526690904961379065*c_0101_5^12 - 3058545548246797258609350578611585967790719338737295720143530693064\ 4998771173684224002139442370493205707/51148252111338824504906807981\ 8799077193793084635561685547446608686321815365438595053381809922758\ 13*c_0101_5^11 + 55572949093002577024114538901832437860117555746088\ 006150726581907516092772491574832864945641456851824528/255741260556\ 6941225245340399093995385968965423177808427737233043431609076827192\ 97526690904961379065*c_0101_5^10 + 1853223560979230788711537189403963766915016040924467690834273042382\ 2065616096704162853103390163914763819/51148252111338824504906807981\ 8799077193793084635561685547446608686321815365438595053381809922758\ 13*c_0101_5^9 - 222236581064291782742387573911042692339157502485687\ 7815513895971264939199192525434544502678088215834535/51148252111338\ 8245049068079818799077193793084635561685547446608686321815365438595\ 05338180992275813*c_0101_5^8 - 277307432217482065329744921756843440\ 7809270054737895940488272782190812272544813636129705491954018561835\ 4/25574126055669412252453403990939953859689654231778084277372330434\ 3160907682719297526690904961379065*c_0101_5^7 + 3733418246974103097660388021516151177874574869513802522422911031548\ 13612868971785918393522877126073695/5114825211133882450490680798187\ 9907719379308463556168554744660868632181536543859505338180992275813\ *c_0101_5^6 + 38265272659734477468094219059125757993822040119553602\ 43827413475665569175790756600151578035287919814986/2557412605566941\ 2252453403990939953859689654231778084277372330434316090768271929752\ 6690904961379065*c_0101_5^5 - 2691878361762477241462761914792878674\ 33138119170469151707914568180566704936043593281813693638675115554/2\ 5574126055669412252453403990939953859689654231778084277372330434316\ 0907682719297526690904961379065*c_0101_5^4 - 1824273538939226585413084171562478525375098660978893988902102591457\ 71789918034256314304585749220148219/2557412605566941225245340399093\ 9953859689654231778084277372330434316090768271929752669090496137906\ 5*c_0101_5^3 + 1926982030788494144538633628372531969987151805091759\ 6751844098559409782823645565902015324376317302406/25574126055669412\ 2524534039909399538596896542317780842773723304343160907682719297526\ 690904961379065*c_0101_5^2 - 13658751479514803189601744802064099057\ 42164204350102202452633015324345381893567413444434414830092654/2557\ 4126055669412252453403990939953859689654231778084277372330434316090\ 7682719297526690904961379065*c_0101_5 - 1399044664358414683156230105716809691515333207232650100187154773071\ 40293795569172607942366164940709/2557412605566941225245340399093995\ 38596896542317780842773723304343160907682719297526690904961379065, c_0101_1 + 148444081189707018386031970309791373350203035745978568631013\ 20265021707390385425539892697225984516/2557412605566941225245340399\ 0939953859689654231778084277372330434316090768271929752669090496137\ 9065*c_0101_5^28 - 553343814987735395091173144449614869668564776805\ 906344749908921966946092593698797975338802027992698/255741260556694\ 1225245340399093995385968965423177808427737233043431609076827192975\ 26690904961379065*c_0101_5^27 + 14342693950088396124024519565447261\ 9692350700822655411276489192970443737172551217175114124878118741/51\ 1482521113388245049068079818799077193793084635561685547446608686321\ 81536543859505338180992275813*c_0101_5^26 + 3791860522975888267187924829932604095915895937965901470880863680939\ 077861446450170450095191991423774/511482521113388245049068079818799\ 07719379308463556168554744660868632181536543859505338180992275813*c\ _0101_5^25 - 263315595703664748388994654676213370391429852029933101\ 1008142499358197069437825683304081114637201302/51148252111338824504\ 9068079818799077193793084635561685547446608686321815365438595053381\ 80992275813*c_0101_5^24 - 27266268489641719306700169323615372380662\ 7242390293989278569268500324737441088482328709954867355974437/25574\ 1260556694122524534039909399538596896542317780842773723304343160907\ 682719297526690904961379065*c_0101_5^23 - 8063689172000350986187082321126910890748179053167173232773498680929\ 1275659618332352862292019800460437/51148252111338824504906807981879\ 907719379308463556168554744660868632181536543859505338180992275813*\ c_0101_5^22 + 36131237381612573594883687569429560882217130764046079\ 7022181007456365738058505113907994917752426212125/51148252111338824\ 5049068079818799077193793084635561685547446608686321815365438595053\ 38180992275813*c_0101_5^21 + 70426244813695568281064947021816677377\ 38160485996121073735931124292653825009846487266824534348163996514/2\ 5574126055669412252453403990939953859689654231778084277372330434316\ 0907682719297526690904961379065*c_0101_5^20 + 4479254619332902661302073299930120722425449237887596904037271742909\ 643007391027981712998218936028019358/255741260556694122524534039909\ 3995385968965423177808427737233043431609076827192975266909049613790\ 65*c_0101_5^19 - 12396329380479047089995946217610248500379952993559\ 818608119397521590292691148136107888384662278362808246/255741260556\ 6941225245340399093995385968965423177808427737233043431609076827192\ 97526690904961379065*c_0101_5^18 - 3315001446441221700540174617997585287520795914106211684402453027464\ 207075292675117591207614331374232682/255741260556694122524534039909\ 3995385968965423177808427737233043431609076827192975266909049613790\ 65*c_0101_5^17 + 40585992368861878472830131619883413592301008327829\ 290915773483735160785874988847530572478691240467110284/255741260556\ 6941225245340399093995385968965423177808427737233043431609076827192\ 97526690904961379065*c_0101_5^16 + 9268684219961473774024156741646430701321655853619829616880117593969\ 250571383079460630056067597817118943/255741260556694122524534039909\ 3995385968965423177808427737233043431609076827192975266909049613790\ 65*c_0101_5^15 - 65389274203703279618502155200054004571490217680242\ 557865965007713587542331461428957638048341204449685974/255741260556\ 6941225245340399093995385968965423177808427737233043431609076827192\ 97526690904961379065*c_0101_5^14 - 3722956198686985425404537967660904974321572767103372367841845491106\ 8038407463837140898311826006020595556/25574126055669412252453403990\ 9399538596896542317780842773723304343160907682719297526690904961379\ 065*c_0101_5^13 + 4464775610764180973377243859081559737150830152853\ 9138910894068346986689799650331323787512525841668405918/25574126055\ 6694122524534039909399538596896542317780842773723304343160907682719\ 297526690904961379065*c_0101_5^12 + 4665369138926173818626619305453790537652378102792755624024384413330\ 8683395464551489742952586918267546436/25574126055669412252453403990\ 9399538596896542317780842773723304343160907682719297526690904961379\ 065*c_0101_5^11 - 1429810711467438757112375943526843081877835894783\ 1800839438947613948265728056506352058749266514469666756/25574126055\ 6694122524534039909399538596896542317780842773723304343160907682719\ 297526690904961379065*c_0101_5^10 - 2665163382652180383578532723261218377336899447974431129299791870417\ 8662906493599566244684590980603829448/25574126055669412252453403990\ 9399538596896542317780842773723304343160907682719297526690904961379\ 065*c_0101_5^9 + 58673120377822454413247218850475144286302842594608\ 7605937830898372329492003508924713600601683895120701/51148252111338\ 8245049068079818799077193793084635561685547446608686321815365438595\ 05338180992275813*c_0101_5^8 + 758811024471470099137072610807912231\ 8023715686199264100397010532493331429597891797130839815779443979507\ /255741260556694122524534039909399538596896542317780842773723304343\ 160907682719297526690904961379065*c_0101_5^7 - 1594241103712883374863401613730764857911457956281928907492907231078\ 57642080042937560919241928910880371/5114825211133882450490680798187\ 9907719379308463556168554744660868632181536543859505338180992275813\ *c_0101_5^6 - 10078193204909747223993954281513442712039448676452906\ 17781930329551596278549102700007422706708909217994/2557412605566941\ 2252453403990939953859689654231778084277372330434316090768271929752\ 6690904961379065*c_0101_5^5 + 1673631188853886753855805221826056225\ 74706381569345301008847951987249257640298201102769009335074900149/2\ 5574126055669412252453403990939953859689654231778084277372330434316\ 0907682719297526690904961379065*c_0101_5^4 + 4285503541792638401538807037695990093376118772207742096485847137629\ 5614521749484666742578829411241378/25574126055669412252453403990939\ 9538596896542317780842773723304343160907682719297526690904961379065\ *c_0101_5^3 - 24887018126998404345067478330583592519587613673586104\ 45300309602818982958045300099752867228416408800/5114825211133882450\ 4906807981879907719379308463556168554744660868632181536543859505338\ 180992275813*c_0101_5^2 + 16023204536381426754078036918633492212406\ 49454068660752378700765557147973505704535098200655683733281/2557412\ 6055669412252453403990939953859689654231778084277372330434316090768\ 2719297526690904961379065*c_0101_5 + 4131376341502429580090571943567519057286911752609107582698353517404\ 934420264036607496748640869923/511482521113388245049068079818799077\ 19379308463556168554744660868632181536543859505338180992275813, c_0101_4 - 207333842277152308985551776196949352053151082699170412284712\ 26230684208359327377596150110867000153/2557412605566941225245340399\ 0939953859689654231778084277372330434316090768271929752669090496137\ 9065*c_0101_5^28 + 154559417565769677125699292822223210354597779998\ 105470169691864982565043442311141267099477993279790/511482521113388\ 2450490680798187990771937930846355616855474466086863218153654385950\ 5338180992275813*c_0101_5^27 - 999527774924302311865377164490412546\ 577119421356284825894271026514980194284633667496612999352414862/255\ 7412605566941225245340399093995385968965423177808427737233043431609\ 07682719297526690904961379065*c_0101_5^26 - 2647053960898135260340017042757001053990116680609764937719316477960\ 4281487175720901853106498198456766/25574126055669412252453403990939\ 9538596896542317780842773723304343160907682719297526690904961379065\ *c_0101_5^25 + 1826796253492218495709539127653062396731864856414480\ 3543239750247203277527107698132846135397363315123/25574126055669412\ 2524534039909399538596896542317780842773723304343160907682719297526\ 690904961379065*c_0101_5^24 + 3804810563257640871546555543558515751\ 61221107304731458560844104345000501438077290697805124516672341742/2\ 5574126055669412252453403990939953859689654231778084277372330434316\ 0907682719297526690904961379065*c_0101_5^23 + 1130660041782544182036311729173091198738387679913885363211204569920\ 11727701367011549146949633559541061/5114825211133882450490680798187\ 9907719379308463556168554744660868632181536543859505338180992275813\ *c_0101_5^22 - 2515742300251948655236621069283425576756666027686111\ 920056424723864318186869002605697765688599068576963/255741260556694\ 1225245340399093995385968965423177808427737233043431609076827192975\ 26690904961379065*c_0101_5^21 - 98449357377691104033963901456006395\ 3215265887921539950618735012368170491977660560607802399539134038017\ 8/25574126055669412252453403990939953859689654231778084277372330434\ 3160907682719297526690904961379065*c_0101_5^20 - 6342646082636921556108597483813829596626064590852901668823522520562\ 867744031586189645220134608615816087/255741260556694122524534039909\ 3995385968965423177808427737233043431609076827192975266909049613790\ 65*c_0101_5^19 + 17197327570580650239935419914519158272170304466812\ 203602796759958756533178214985152154929021956770985021/255741260556\ 6941225245340399093995385968965423177808427737233043431609076827192\ 97526690904961379065*c_0101_5^18 + 4826670308614330815746120896656998327829534411928519570695143048118\ 414280802422628317248011022018508328/255741260556694122524534039909\ 3995385968965423177808427737233043431609076827192975266909049613790\ 65*c_0101_5^17 - 56241018378998526912260211629672050448046284749051\ 743681911787016979349701007678354978525090395527986569/255741260556\ 6941225245340399093995385968965423177808427737233043431609076827192\ 97526690904961379065*c_0101_5^16 - 1346446043403608309584787627713669875061408709197474823333708143294\ 1388572419096065367362003294698355122/25574126055669412252453403990\ 9399538596896542317780842773723304343160907682719297526690904961379\ 065*c_0101_5^15 + 1806346295183263761367096601178720270514469267510\ 3924507546269597298898587173037041133067928436639459416/51148252111\ 3388245049068079818799077193793084635561685547446608686321815365438\ 59505338180992275813*c_0101_5^14 + 5344415230692326101064631574768806030253186173133828344812557873123\ 1582018736378306200912976864367665567/25574126055669412252453403990\ 9399538596896542317780842773723304343160907682719297526690904961379\ 065*c_0101_5^13 - 6055255959237385873527415026153730061955032456054\ 8740480998770922197989318172117814518649857142885211118/25574126055\ 6694122524534039909399538596896542317780842773723304343160907682719\ 297526690904961379065*c_0101_5^12 - 6655660402671852508103628723802668288841842295031140759835010214359\ 7935419420529122755031613272012880757/25574126055669412252453403990\ 9399538596896542317780842773723304343160907682719297526690904961379\ 065*c_0101_5^11 + 1764370308336040151912101664332876414844240885115\ 9032358973799904530879443729173630412743618265801394423/25574126055\ 6694122524534039909399538596896542317780842773723304343160907682719\ 297526690904961379065*c_0101_5^10 + 3744618242030226601439436791491167547066119775153515271998059502277\ 0231699000464838480201014711614867297/25574126055669412252453403990\ 9399538596896542317780842773723304343160907682719297526690904961379\ 065*c_0101_5^9 - 23454751126654434110516404638469510335200217798175\ 80615090616932130043205028114305942474114569680917441/2557412605566\ 9412252453403990939953859689654231778084277372330434316090768271929\ 7526690904961379065*c_0101_5^8 - 2064879450517320180641149172134012\ 5260367005378870990964722954182746507808402352638141854278195715668\ 55/5114825211133882450490680798187990771937930846355616855474466086\ 8632181536543859505338180992275813*c_0101_5^7 + 4210062894452185927057861648729811569777768360839344970939905209374\ 60473302858045089310546943871915714/2557412605566941225245340399093\ 9953859689654231778084277372330434316090768271929752669090496137906\ 5*c_0101_5^6 + 1304967387790444998124523329102704386679496494897539\ 636603240765776796048389394721157584104073148305908/255741260556694\ 1225245340399093995385968965423177808427737233043431609076827192975\ 26690904961379065*c_0101_5^5 - 103478037094389047746059533422568186\ 928775399961384124950292428111382780155203443317912764777592252449/\ 2557412605566941225245340399093995385968965423177808427737233043431\ 60907682719297526690904961379065*c_0101_5^4 - 1187934490165186721723876137515715103087719984639511978917730147460\ 3786925330962194327682401523407649/51148252111338824504906807981879\ 907719379308463556168554744660868632181536543859505338180992275813*\ c_0101_5^3 + 850609790649934789205184747753978123690372574040772887\ 9957557892018551634028310259825066371512073192/25574126055669412252\ 4534039909399538596896542317780842773723304343160907682719297526690\ 904961379065*c_0101_5^2 - 67804160315674077101337479097197538881154\ 0683415522055869858826642431046612751636988031969380038187/25574126\ 0556694122524534039909399538596896542317780842773723304343160907682\ 719297526690904961379065*c_0101_5 - 2487137657002303583892023123056076939455526329309880908877148457361\ 1440615248370606680796412933542/25574126055669412252453403990939953\ 8596896542317780842773723304343160907682719297526690904961379065, c_0101_5^29 - 37*c_0101_5^28 + 38*c_0101_5^27 + 1291*c_0101_5^26 - 534*c_0101_5^25 - 18630*c_0101_5^24 - 32248*c_0101_5^23 + 114441*c_0101_5^22 + 508742*c_0101_5^21 + 431863*c_0101_5^20 - 759887*c_0101_5^19 - 467315*c_0101_5^18 + 2674823*c_0101_5^17 + 1395880*c_0101_5^16 - 4259130*c_0101_5^15 - 3779472*c_0101_5^14 + 2347730*c_0101_5^13 + 4077676*c_0101_5^12 - 62510*c_0101_5^11 - 2130242*c_0101_5^10 - 355513*c_0101_5^9 + 577262*c_0101_5^8 + 111951*c_0101_5^7 - 79674*c_0101_5^6 - 10861*c_0101_5^5 + 5271*c_0101_5^4 + 42*c_0101_5^3 - 130*c_0101_5^2 + 25*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB