Magma V2.19-8 Tue Aug 20 2013 16:18:54 on localhost [Seed = 2884253406] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3059 geometric_solution 6.22840172 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 -1 1 0 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 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.556595597798 0.840388480469 3 4 5 0 0132 0132 0132 0132 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.512588640998 0.669415552532 4 3 0 5 2310 3201 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 -1 1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.512588640998 0.669415552532 1 3 2 3 0132 2310 2310 3201 0 0 0 0 0 1 -1 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 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.974487749290 1.068057962455 4 1 2 4 3012 0132 3201 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.681951448786 0.643441852495 6 2 6 1 0132 2310 1023 0132 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.856467600495 1.866839011161 5 6 5 6 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.410625024399 0.190508896407 ==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' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_5']), 'c_1100_0' : negation(d['c_0011_5']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : 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' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_5, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 1488013167275288868649442890768183405908396053654734890587803/84931\ 3173866377096215962173982441274846213416283735870284427*c_0101_5^29 + 4790485045179869573988186017977928653721686204973661584054122/849\ 313173866377096215962173982441274846213416283735870284427*c_0101_5^\ 28 + 64582125566922478340333087320695868384869234842578429859882095\ /849313173866377096215962173982441274846213416283735870284427*c_010\ 1_5^27 - 1853843186732081009902296539005180431284718236851637527822\ 98526/849313173866377096215962173982441274846213416283735870284427*\ c_0101_5^26 - 96206063878675028593509196150427726603824534195576982\ 3872101844/84931317386637709621596217398244127484621341628373587028\ 4427*c_0101_5^25 + 701160755542819262297082711206262318146752942618\ 647772249755711/283104391288792365405320724660813758282071138761245\ 290094809*c_0101_5^24 + 8097053081806578355816895459067674175214410\ 694200594627358064129/849313173866377096215962173982441274846213416\ 283735870284427*c_0101_5^23 - 1300322953630833795905039076758787068\ 4280785278839962316428348691/84931317386637709621596217398244127484\ 6213416283735870284427*c_0101_5^22 - 38686231420959389345543305167217665869594950076788132426956259565/8\ 49313173866377096215962173982441274846213416283735870284427*c_0101_\ 5^21 + 539185505222862983152480903568651297313565493621127415784814\ 06347/849313173866377096215962173982441274846213416283735870284427*\ c_0101_5^20 + 97533551771408196805460401012094927417996548185351234\ 795645122249/849313173866377096215962173982441274846213416283735870\ 284427*c_0101_5^19 - 1527644101254077326137558511922881078919385152\ 77602219389939743814/8493131738663770962159621739824412748462134162\ 83735870284427*c_0101_5^18 - 10678577714562616053439410844004062890\ 6640957853062444910684039107/84931317386637709621596217398244127484\ 6213416283735870284427*c_0101_5^17 + 269199144022266680249779397631532413577331454342602941828089118246/\ 849313173866377096215962173982441274846213416283735870284427*c_0101\ _5^16 - 62884655180599326385828951751152020223194806341000947981248\ 6847/40443484469827480772188674951544822611724448394463612870687*c_\ 0101_5^15 - 2555414717903060330725594056067686833223990900284784434\ 84411645927/8493131738663770962159621739824412748462134162837358702\ 84427*c_0101_5^14 + 47010990490926876709530547133595804856636194239\ 611019457142769549/283104391288792365405320724660813758282071138761\ 245290094809*c_0101_5^13 + 3104747623561410035485081369616825916728\ 9577762627546107062639966/28310439128879236540532072466081375828207\ 1138761245290094809*c_0101_5^12 - 430670294996237173120024540555548\ 14509639047851238994277241037563/2831043912887923654053207246608137\ 58282071138761245290094809*c_0101_5^11 + 7116804128200695264394166352016706587756791037449136052942477556/28\ 3104391288792365405320724660813758282071138761245290094809*c_0101_5\ ^10 + 3468232906177016316852196413207985784347926535560945667755337\ 9724/849313173866377096215962173982441274846213416283735870284427*c\ _0101_5^9 - 8083918989908773492658616063821580819337042321566530967\ 75714119/2739719915697990632954716690265939596278107794463664097691\ 7*c_0101_5^8 + 1142129300447569994211130747243869917399155463838821\ 089291819366/121330453409482442316566024854634467835173345183390838\ 612061*c_0101_5^7 + 23026867289695860652830012944636551613740462257\ 21787577745907303/8493131738663770962159621739824412748462134162837\ 35870284427*c_0101_5^6 - 124890158789562474027835382517499003129963\ 2030786037313284199565/28310439128879236540532072466081375828207113\ 8761245290094809*c_0101_5^5 + 1602725383648135700802854881156401870\ 348426489432702688655791985/849313173866377096215962173982441274846\ 213416283735870284427*c_0101_5^4 - 188290897530289588290213433173454511396164065513222675541891309/849\ 313173866377096215962173982441274846213416283735870284427*c_0101_5^\ 3 - 7000072481101838258074662094477790607294635704348967008508006/4\ 0443484469827480772188674951544822611724448394463612870687*c_0101_5\ ^2 + 77810733549554841701414508032685795267582425183731527343199044\ /849313173866377096215962173982441274846213416283735870284427*c_010\ 1_5 + 199819919909657363996930131647293221606966845243173208219501/\ 283104391288792365405320724660813758282071138761245290094809, c_0011_0 - 1, c_0011_1 - 2645060778324375979797097082488507801160615103682631337069/2\ 02217422349137403860943374757724113058622241972318064353435*c_0101_\ 5^29 + 7192199845406775998850317222520420476349984500923599485524/2\ 02217422349137403860943374757724113058622241972318064353435*c_0101_\ 5^28 + 113062558803334811196277868250712626463974532946725587823881\ /202217422349137403860943374757724113058622241972318064353435*c_010\ 1_5^27 - 2695296917135969338577437579632259394904243612519904015193\ 66/202217422349137403860943374757724113058622241972318064353435*c_0\ 101_5^26 - 32133107984114708685915071606868628172516079876391843012\ 5169/40443484469827480772188674951544822611724448394463612870687*c_\ 0101_5^25 + 2888901490888979325597824258138325865408405889930732633\ 858001/202217422349137403860943374757724113058622241972318064353435\ *c_0101_5^24 + 1235815992353685277785246848022948913781635998410095\ 9300749309/20221742234913740386094337475772411305862224197231806435\ 3435*c_0101_5^23 - 185177321876657131452557318267110518850902327752\ 61597972445588/2022174223491374038609433747577241130586222419723180\ 64353435*c_0101_5^22 - 10859046749305883903336335102698932607447976\ 948470321835825427/404434844698274807721886749515448226117244483944\ 63612870687*c_0101_5^21 + 84713575606600213143223281252473652974419\ 501447693991291207247/202217422349137403860943374757724113058622241\ 972318064353435*c_0101_5^20 + 1268266500022893556545378405205054873\ 58052861530610126272990313/2022174223491374038609433747577241130586\ 22241972318064353435*c_0101_5^19 - 252892131716620489301671425270538791134821834475804190696196288/202\ 217422349137403860943374757724113058622241972318064353435*c_0101_5^\ 18 - 11430782062611154981638312306848016099769606345687709470815311\ 6/202217422349137403860943374757724113058622241972318064353435*c_01\ 01_5^17 + 437426662385529035258171732282669776851623101216725373861\ 493618/202217422349137403860943374757724113058622241972318064353435\ *c_0101_5^16 - 8800708070142892280153389852317472536095630943266283\ 5045312866/20221742234913740386094337475772411305862224197231806435\ 3435*c_0101_5^15 - 392970424923214887087091536163089403944467842162\ 533377849915104/202217422349137403860943374757724113058622241972318\ 064353435*c_0101_5^14 + 2710657343785095620847542844019296892204693\ 41436768467550879403/2022174223491374038609433747577241130586222419\ 72318064353435*c_0101_5^13 + 27202120383206441360786033717547371354\ 966615659994564961763136/404434844698274807721886749515448226117244\ 48394463612870687*c_0101_5^12 - 21430448893189140056906554755004404\ 8536553752442022331096147209/20221742234913740386094337475772411305\ 8622241972318064353435*c_0101_5^11 + 35808714524157140877027223609345368479869072009571514803684628/2022\ 17422349137403860943374757724113058622241972318064353435*c_0101_5^1\ 0 + 62673095835341115590691660872217828560492206215731105211157437/\ 202217422349137403860943374757724113058622241972318064353435*c_0101\ _5^9 - 105112194268124132662209463758873035650062799015047130532993\ 6/6523142656423787221320754024442713324471685224913485946885*c_0101\ _5^8 + 506131381089098627582402211644285560391870630730280825993413\ 4/202217422349137403860943374757724113058622241972318064353435*c_01\ 01_5^7 + 2705254749519283732934207059032900026747067447243922677960\ 42/40443484469827480772188674951544822611724448394463612870687*c_01\ 01_5^6 - 4116356000832603201968775154501869894206690934734740718729\ 511/202217422349137403860943374757724113058622241972318064353435*c_\ 0101_5^5 + 20348390430906421907041966136767130277759797475791067547\ 14427/202217422349137403860943374757724113058622241972318064353435*\ c_0101_5^4 - 231018836050251599591095816834487029059076032741660223\ 87437/40443484469827480772188674951544822611724448394463612870687*c\ _0101_5^3 - 7894794789349483245304785128588500630385563464645596680\ 74122/202217422349137403860943374757724113058622241972318064353435*\ c_0101_5^2 + 819064496240132539286697242457033941659358894880817342\ 61946/202217422349137403860943374757724113058622241972318064353435*\ c_0101_5 + 85632612636643810855059112740222845990720784845980503178\ 11/202217422349137403860943374757724113058622241972318064353435, c_0011_5 - 139028600974391258364244769745329603407769829844349568940956\ /202217422349137403860943374757724113058622241972318064353435*c_010\ 1_5^29 + 4864783816265478492208282189908172159341238533193130735730\ 6/202217422349137403860943374757724113058622241972318064353435*c_01\ 01_5^28 + 623195524654396224549088621565687132936298247277360489567\ 0249/202217422349137403860943374757724113058622241972318064353435*c\ _0101_5^27 + 600534939790285708844061041199291501025187675195986783\ 312081/202217422349137403860943374757724113058622241972318064353435\ *c_0101_5^26 - 1816099601762580737059287408641745602813104025657732\ 9772511341/40443484469827480772188674951544822611724448394463612870\ 687*c_0101_5^25 - 6695621261147978945164007971144493891922224204254\ 6427598200291/20221742234913740386094337475772411305862224197231806\ 4353435*c_0101_5^24 + 602514007911263534821307307698383685323379488\ 256129395157310201/202217422349137403860943374757724113058622241972\ 318064353435*c_0101_5^23 + 5815307553618942699115277442278674689137\ 59082330034753395457833/2022174223491374038609433747577241130586222\ 41972318064353435*c_0101_5^22 - 43480490177893891614966687657472732\ 7338838055861584534297337065/40443484469827480772188674951544822611\ 724448394463612870687*c_0101_5^21 - 1714383679481191992600475754257937238915704620769109167708062332/20\ 2217422349137403860943374757724113058622241972318064353435*c_0101_5\ ^20 + 4877017530145219296862758840983141093753953352103528765545464\ 562/202217422349137403860943374757724113058622241972318064353435*c_\ 0101_5^19 + 1457640668887039078601598433688566924502145467508889894\ 108384663/202217422349137403860943374757724113058622241972318064353\ 435*c_0101_5^18 - 7144661804659737635961093577609904140945755666817\ 954954259607739/202217422349137403860943374757724113058622241972318\ 064353435*c_0101_5^17 + 1657457095506593965156228847772113858860223\ 623786209523264506202/202217422349137403860943374757724113058622241\ 972318064353435*c_0101_5^16 + 5936852856625548501222299170056213573\ 946926010512159225929307121/202217422349137403860943374757724113058\ 622241972318064353435*c_0101_5^15 - 3925033606418247203412361102725616785089473563624218631482499851/20\ 2217422349137403860943374757724113058622241972318064353435*c_0101_5\ ^14 - 1451887330525385069966724954702606298871987102387859319445361\ 518/202217422349137403860943374757724113058622241972318064353435*c_\ 0101_5^13 + 5970007886193703377776477796228794233331209102636014446\ 98690450/4044348446982748077218867495154482261172444839446361287068\ 7*c_0101_5^12 - 795849819464134437873300509779830827943694922424637\ 665617777921/202217422349137403860943374757724113058622241972318064\ 353435*c_0101_5^11 - 4560985691263032851265060636113259475034115903\ 31076324811637003/2022174223491374038609433747577241130586222419723\ 18064353435*c_0101_5^10 + 52702428536971614423463807656869540694199\ 0257723013079553642623/20221742234913740386094337475772411305862224\ 1972318064353435*c_0101_5^9 - 1154184782438615834624356033859282746\ 6183480757485760649073559/65231426564237872213207540244427133244716\ 85224913485946885*c_0101_5^8 - 578265759160108820582965886335704781\ 059820440380534861453549/202217422349137403860943374757724113058622\ 241972318064353435*c_0101_5^7 + 13710524272413554787275182066915972\ 896223541735563946134025722/404434844698274807721886749515448226117\ 24448394463612870687*c_0101_5^6 - 547313699594924273986903919936757\ 04994793627505688462820572289/2022174223491374038609433747577241130\ 58622241972318064353435*c_0101_5^5 + 14509551676255971590228142969861136201186568712265458183112133/2022\ 17422349137403860943374757724113058622241972318064353435*c_0101_5^4 - 229476954940842073718826961525758716499902275822621088065650/4044\ 3484469827480772188674951544822611724448394463612870687*c_0101_5^3 - 2623365289095354690077116995340960576341324576156350416334363/20221\ 7422349137403860943374757724113058622241972318064353435*c_0101_5^2 + 439975231162345349204469609838552849672474754903329009086734/202217\ 422349137403860943374757724113058622241972318064353435*c_0101_5 - 425240927215134019427901754828900161313574644944752359761771/202217\ 422349137403860943374757724113058622241972318064353435, c_0101_0 + 126324233865708115214992849884165640252035383304976394632314\ /202217422349137403860943374757724113058622241972318064353435*c_010\ 1_5^29 - 3062482308400749098122658542590877974512582982920727313820\ 9/202217422349137403860943374757724113058622241972318064353435*c_01\ 01_5^28 - 567737780170123778193466653128564487978580865925002677995\ 0886/202217422349137403860943374757724113058622241972318064353435*c\ _0101_5^27 - 115528149974970406930210314163227044256203955121068615\ 5123859/20221742234913740386094337475772411305862224197231806435343\ 5*c_0101_5^26 + 165811729379857807796158970257890613149688144084015\ 75855066728/4044348446982748077218867495154482261172444839446361287\ 0687*c_0101_5^25 + 699552487642434333097901452414666106268813317281\ 29271776519519/2022174223491374038609433747577241130586222419723180\ 64353435*c_0101_5^24 - 54756585142051253655054030118503820626120745\ 0074341926652583204/20221742234913740386094337475772411305862224197\ 2318064353435*c_0101_5^23 - 595171679449627434209105524605904216578\ 486249601177834076199592/202217422349137403860943374757724113058622\ 241972318064353435*c_0101_5^22 + 3921893157711948675249511924236500\ 70810494503831521431896598567/4044348446982748077218867495154482261\ 1724448394463612870687*c_0101_5^21 + 1833732431273812104398454347960300108228405450613930173492010493/20\ 2217422349137403860943374757724113058622241972318064353435*c_0101_5\ ^20 - 4406890499970671361923329872033680364415045616879076340442762\ 618/202217422349137403860943374757724113058622241972318064353435*c_\ 0101_5^19 - 2008145274157250828806874920687078748285269019374822631\ 854180272/202217422349137403860943374757724113058622241972318064353\ 435*c_0101_5^18 + 6657905448356805803326233569391821905520574302009\ 324687170577691/202217422349137403860943374757724113058622241972318\ 064353435*c_0101_5^17 - 5039523571607966733044180403802411515487662\ 66268039812952785933/2022174223491374038609433747577241130586222419\ 72318064353435*c_0101_5^16 - 60463740282978895624827365393643171369\ 48240229902308147319969249/2022174223491374038609433747577241130586\ 22241972318064353435*c_0101_5^15 + 2802723710764877692881394592912826038706456413118283884260303289/20\ 2217422349137403860943374757724113058622241972318064353435*c_0101_5\ ^14 + 2230041257302808296099740530709320053803204694510422758699057\ 162/202217422349137403860943374757724113058622241972318064353435*c_\ 0101_5^13 - 5171083995140988763112504030588010984683845356990386149\ 66765852/4044348446982748077218867495154482261172444839446361287068\ 7*c_0101_5^12 + 124541527148474905417174471774645285789464535283508\ 357987649629/202217422349137403860943374757724113058622241972318064\ 353435*c_0101_5^11 + 6200330279174654210399754931154278868885725256\ 30787659599901122/2022174223491374038609433747577241130586222419723\ 18064353435*c_0101_5^10 - 32812355223749198902665498704039536654439\ 9653735557298616925142/20221742234913740386094337475772411305862224\ 1972318064353435*c_0101_5^9 + 6666658879753798917945934953182016002\ 423600407553301151364056/652314265642378722132075402444271332447168\ 5224913485946885*c_0101_5^8 + 2599379736582107639082190837951471978\ 7868958156690536126018336/20221742234913740386094337475772411305862\ 2241972318064353435*c_0101_5^7 - 1109154653354017669261621951273716\ 5854237340936778321343279843/40443484469827480772188674951544822611\ 724448394463612870687*c_0101_5^6 + 33687606583867467223708988502773072954721844238651008810073896/2022\ 17422349137403860943374757724113058622241972318064353435*c_0101_5^5 - 7420864580465803882250947643206024652347139946315991119222567/202\ 217422349137403860943374757724113058622241972318064353435*c_0101_5^\ 4 + 291982919430278641660522322796361736207224555388509553558511/40\ 443484469827480772188674951544822611724448394463612870687*c_0101_5^\ 3 + 1694523672491292482340986115949443135893822080995142755974592/2\ 02217422349137403860943374757724113058622241972318064353435*c_0101_\ 5^2 - 182927718272211534183441421392924172904837098556629992579921/\ 202217422349137403860943374757724113058622241972318064353435*c_0101\ _5 + 436614723777986846541280739988391619068339002827715601314649/2\ 02217422349137403860943374757724113058622241972318064353435, c_0101_1 - 136060842613260990064861349768898104280865939460301792509223\ /202217422349137403860943374757724113058622241972318064353435*c_010\ 1_5^29 + 5351146263624816353050231759818950502119038877439716411195\ 8/202217422349137403860943374757724113058622241972318064353435*c_01\ 01_5^28 + 609960636131805356188929864672404226025977789326681982644\ 4707/202217422349137403860943374757724113058622241972318064353435*c\ _0101_5^27 + 323013208731862773945247542232833067789602078654289305\ 029583/202217422349137403860943374757724113058622241972318064353435\ *c_0101_5^26 - 1780330104569538488763172056792224037813520489855720\ 3748654275/40443484469827480772188674951544822611724448394463612870\ 687*c_0101_5^25 - 6172028630631793999108702481325525206848692478824\ 2546854206448/20221742234913740386094337475772411305862224197231806\ 4353435*c_0101_5^24 + 594330010079209655880427422865750116354422422\ 032615954084961558/202217422349137403860943374757724113058622241972\ 318064353435*c_0101_5^23 + 5454011089809690657265514529715445145875\ 72439568013254751586269/2022174223491374038609433747577241130586222\ 41972318064353435*c_0101_5^22 - 43289169336933578090557676640004502\ 4697180821697631244433761231/40443484469827480772188674951544822611\ 724448394463612870687*c_0101_5^21 - 1601018205326791656268587559984737912219918224938012637561452806/20\ 2217422349137403860943374757724113058622241972318064353435*c_0101_5\ ^20 + 4889406806039447177374464351769489326229774526497035688853136\ 926/202217422349137403860943374757724113058622241972318064353435*c_\ 0101_5^19 + 1270255993007037487044572492118428991682329561111935347\ 478202694/202217422349137403860943374757724113058622241972318064353\ 435*c_0101_5^18 - 7154881525261168954144369156878895726408739309886\ 183921608322767/202217422349137403860943374757724113058622241972318\ 064353435*c_0101_5^17 + 1856555182304391587245216970769320923570352\ 681800080303816203516/202217422349137403860943374757724113058622241\ 972318064353435*c_0101_5^16 + 5903565901706829204639136658020856312\ 777735850952312443779846968/202217422349137403860943374757724113058\ 622241972318064353435*c_0101_5^15 - 4076850748048907446029364016027776550351266086914254702962715443/20\ 2217422349137403860943374757724113058622241972318064353435*c_0101_5\ ^14 - 1424266276751767277154696967018426285954226699255427992701626\ 274/202217422349137403860943374757724113058622241972318064353435*c_\ 0101_5^13 + 6081523359850870100895626279919324464905542673025195443\ 63699585/4044348446982748077218867495154482261172444839446361287068\ 7*c_0101_5^12 - 823047040665624204212475328936312158137636866379809\ 525317246813/202217422349137403860943374757724113058622241972318064\ 353435*c_0101_5^11 - 4891310534705442509139591112761176756545487990\ 73040959169183409/2022174223491374038609433747577241130586222419723\ 18064353435*c_0101_5^10 + 53236737706402239797105543953112107373038\ 8097744105744673269634/20221742234913740386094337475772411305862224\ 1972318064353435*c_0101_5^9 - 1105369219282831078904542642777632408\ 3144079417718314193551322/65231426564237872213207540244427133244716\ 85224913485946885*c_0101_5^8 - 653890863329914066568982762863734395\ 784992137365206245039777/202217422349137403860943374757724113058622\ 241972318064353435*c_0101_5^7 + 14214238630693876395855728053416190\ 451602664110347449440756210/404434844698274807721886749515448226117\ 24448394463612870687*c_0101_5^6 - 516021285233113841045955809272448\ 82000989922044239488417244342/2022174223491374038609433747577241130\ 58622241972318064353435*c_0101_5^5 + 12774887472262894352572966864705835145589147422713766657032314/2022\ 17422349137403860943374757724113058622241972318064353435*c_0101_5^4 - 188691059827630972274999481769099717954184672084668372435171/4044\ 3484469827480772188674951544822611724448394463612870687*c_0101_5^3 - 2756451336535716688434485128678353857249233841061720027839019/20221\ 7422349137403860943374757724113058622241972318064353435*c_0101_5^2 + 327109669524134282145665046885870683528756607091096548370022/202217\ 422349137403860943374757724113058622241972318064353435*c_0101_5 - 394228009326550299120695889876286670742767929508763631156953/202217\ 422349137403860943374757724113058622241972318064353435, c_0101_4 + 26541665619681549240482319199095123285194748081201799629142/\ 202217422349137403860943374757724113058622241972318064353435*c_0101\ _5^29 - 2627553763137336620843522951534183837463535099799852915442/\ 202217422349137403860943374757724113058622241972318064353435*c_0101\ _5^28 - 11863094378909193603903362107909293198275814457216992182997\ 48/202217422349137403860943374757724113058622241972318064353435*c_0\ 101_5^27 - 41820681906072358679615974546034519292583962138516916434\ 3177/202217422349137403860943374757724113058622241972318064353435*c\ _0101_5^26 + 341003649930810315330638032643077640341138269616951070\ 2271107/40443484469827480772188674951544822611724448394463612870687\ *c_0101_5^25 + 1724158730814106750688314950375507413829087409708412\ 3438396157/20221742234913740386094337475772411305862224197231806435\ 3435*c_0101_5^24 - 108059798955517240436060986182631663045628143524\ 770344351914052/202217422349137403860943374757724113058622241972318\ 064353435*c_0101_5^23 - 1390296816009507118899077634381074624587456\ 11158812121071635731/2022174223491374038609433747577241130586222419\ 72318064353435*c_0101_5^22 + 72194966062465250833793175265385235148\ 202410886464699870616723/404434844698274807721886749515448226117244\ 48394463612870687*c_0101_5^21 + 41977055671412189479632774108773865\ 3533295017580998424913634194/20221742234913740386094337475772411305\ 8622241972318064353435*c_0101_5^20 - 748010732251963027547041288259146385470320562633226838590798864/202\ 217422349137403860943374757724113058622241972318064353435*c_0101_5^\ 19 - 48379798548081056334884538731747219171618074610392988350251256\ 6/202217422349137403860943374757724113058622241972318064353435*c_01\ 01_5^18 + 106373597933812800668006136023245983787100947392532285320\ 6495218/20221742234913740386094337475772411305862224197231806435343\ 5*c_0101_5^17 + 547845962549260095675485266321844306740382133734127\ 97530346596/2022174223491374038609433747577241130586222419723180643\ 53435*c_0101_5^16 - 90676377837846334725050866037588977651800683700\ 2085928776988212/20221742234913740386094337475772411305862224197231\ 8064353435*c_0101_5^15 + 281770263077624290867682276073825104066111\ 914125537533431445827/202217422349137403860943374757724113058622241\ 972318064353435*c_0101_5^14 + 2732081775075246885350849199409880202\ 15830121332299974205497421/2022174223491374038609433747577241130586\ 22241972318064353435*c_0101_5^13 - 53902689698892743196276024474101661872752412593097244165636600/4044\ 3484469827480772188674951544822611724448394463612870687*c_0101_5^12 - 1539572687868061025439832854016298599924763637141120852194808/202\ 217422349137403860943374757724113058622241972318064353435*c_0101_5^\ 11 + 14275338862197923340681547336943642907296997592486377229080701\ /202217422349137403860943374757724113058622241972318064353435*c_010\ 1_5^10 - 1490814132035932644074309238197101005630011459534598985512\ 2166/202217422349137403860943374757724113058622241972318064353435*c\ _0101_5^9 + 1342395225034684777476302358761511170721010427331042402\ 267773/6523142656423787221320754024442713324471685224913485946885*c\ _0101_5^8 + 5111735422552187857560927660548591880532140647924936384\ 887548/202217422349137403860943374757724113058622241972318064353435\ *c_0101_5^7 + 73525461366163458990559094087971481542960211534282308\ 6209743/40443484469827480772188674951544822611724448394463612870687\ *c_0101_5^6 + 78202984478501571386655417622400334808544333174208943\ 4753993/20221742234913740386094337475772411305862224197231806435343\ 5*c_0101_5^5 - 6255663472372965380597768893416705302792114475384571\ 47985926/2022174223491374038609433747577241130586222419723180643534\ 35*c_0101_5^4 - 307782881881323821995579956137516283318824723527347\ 9967429/40443484469827480772188674951544822611724448394463612870687\ *c_0101_5^3 - 25494841664686689140257072198641933631759946448488896\ 8731894/20221742234913740386094337475772411305862224197231806435343\ 5*c_0101_5^2 + 3172131024451422240343070069277803097423110309821509\ 04890477/2022174223491374038609433747577241130586222419723180643534\ 35*c_0101_5 + 27033996790735603697042644549890227535963999952202688\ 47207/202217422349137403860943374757724113058622241972318064353435, c_0101_5^30 - 45*c_0101_5^28 - 20*c_0101_5^27 + 654*c_0101_5^26 + 711*c_0101_5^25 - 4200*c_0101_5^24 - 5734*c_0101_5^23 + 14402*c_0101_5^22 + 18092*c_0101_5^21 - 31575*c_0101_5^20 - 23695*c_0101_5^19 + 49556*c_0101_5^18 + 7327*c_0101_5^17 - 49793*c_0101_5^16 + 12870*c_0101_5^15 + 23324*c_0101_5^14 - 18527*c_0101_5^13 - 3369*c_0101_5^12 + 6339*c_0101_5^11 - 2285*c_0101_5^10 + 801*c_0101_5^9 + 963*c_0101_5^8 - 481*c_0101_5^7 + 174*c_0101_5^6 + 56*c_0101_5^5 - 28*c_0101_5^4 + 18*c_0101_5^3 + 4*c_0101_5^2 + 2*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.260 seconds, Total memory usage: 32.09MB