Magma V2.19-8 Tue Aug 20 2013 16:16:13 on localhost [Seed = 2480017234] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0483 geometric_solution 4.50565136 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 3201 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 -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 -2.260177957720 0.321290139294 0 0 2 2 2310 0132 3201 0132 0 0 0 0 0 1 0 -1 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 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 0.184277368216 0.053471526758 1 3 1 3 2310 0132 0132 2310 0 0 0 0 0 -1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.178678609267 1.069406977593 2 2 5 4 3201 0132 0132 0132 0 0 0 0 0 1 0 -1 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 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.762331693282 1.911129691739 6 5 3 5 0132 2031 0132 3012 0 0 0 0 0 0 1 -1 0 0 0 0 0 1 0 -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 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.596959927309 0.630370611164 4 6 4 3 1302 3201 1230 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 1 0 -1 -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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.596959927309 0.630370611164 4 6 5 6 0132 2310 2310 3201 0 0 0 0 0 1 -1 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 1 -1 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.207990522285 0.836336704820 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : negation(d['1']), 's_3_0' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : d['c_0101_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0101_0']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_4']), '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t - 3014855933190880448805104712484792751859193092592967708870350967570\ 17907096156954886169457435814001/4770595809764881743909120723770209\ 38282302332082527202746804718116925706705316081096861405000240*c_01\ 01_6^30 - 283831537794745627719373874630698894146833927284539587728\ 198998890742891343045942007579887242401461/238529790488244087195456\ 0361885104691411511660412636013734023590584628533526580405484307025\ 0012*c_0101_6^29 - 191124317206777354551902951672619848006922071895\ 23507813825975998061039102595683803335334747946208643/2385297904882\ 4408719545603618851046914115116604126360137340235905846285335265804\ 0548430702500120*c_0101_6^28 - 553232728714145028736854994728918996\ 17707830865228047950364385077257823576807932022436182543512008803/4\ 7705958097648817439091207237702093828230233208252720274680471811692\ 5706705316081096861405000240*c_0101_6^27 + 3248601331272269466524019923109700266280808368315674685461600802132\ 35843801106427797384100480121142821/2385297904882440871954560361885\ 10469141151166041263601373402359058462853352658040548430702500120*c\ _0101_6^26 + 849835787334190658724118596487122926532692246944625782\ 59408020226281396513843537501391972685619509909/1192648952441220435\ 9772801809425523457057558302063180068670117952923142667632902027421\ 535125006*c_0101_6^25 + 4027046145254980841695533586103032158442291\ 97586672536013496226478363315279293205743429855741018745157/2385297\ 9048824408719545603618851046914115116604126360137340235905846285335\ 2658040548430702500120*c_0101_6^24 - 6549433268678824473406179164465358355549725088837957084493778131022\ 448733719734142435831748321815776835/954119161952976348781824144754\ 04187656460466416505440549360943623385141341063216219372281000048*c\ _0101_6^23 - 594830030030295999487366822202038965670746077007112163\ 44137929238747286984303364060803769423879030452197/4770595809764881\ 7439091207237702093828230233208252720274680471811692570670531608109\ 6861405000240*c_0101_6^22 + 409078526808611028063275630828124140425\ 92388016667996714995284089117263758224385608805333601703298946373/2\ 3852979048824408719545603618851046914115116604126360137340235905846\ 2853352658040548430702500120*c_0101_6^21 + 2207276940690542087659381934912879289660843360259200333827362470898\ 88144291527565514551226248182737765351/4770595809764881743909120723\ 7702093828230233208252720274680471811692570670531608109686140500024\ 0*c_0101_6^20 - 404729184299154359949859143573042602087653819330897\ 39357145213637010710325082211436084415212534663773687/1192648952441\ 2204359772801809425523457057558302063180068670117952923142667632902\ 0274215351250060*c_0101_6^19 - 112941284334322394075619942759261062\ 8361383743369149474065185623970443735574312903579223697725679804896\ 29/1192648952441220435977280180942552345705755830206318006867011795\ 29231426676329020274215351250060*c_0101_6^18 + 3127788232392014179489800888422662419265966086253655296247094628973\ 69967169224976184482688983553282242933/4770595809764881743909120723\ 7702093828230233208252720274680471811692570670531608109686140500024\ 0*c_0101_6^17 + 610671128159522576406980193382173014316248593836786\ 804946041173198742815541161718924796558389219497470671/477059580976\ 4881743909120723770209382823023320825272027468047181169257067053160\ 81096861405000240*c_0101_6^16 - 18551236158988626382115569816139408\ 0371969136521085715385545848309376066489123115615766375161139245379\ 417/238529790488244087195456036188510469141151166041263601373402359\ 058462853352658040548430702500120*c_0101_6^15 - 5663895507240719882863659974579695203480205275423174619743658586534\ 52174450347561872892770305654712325417/4770595809764881743909120723\ 7702093828230233208252720274680471811692570670531608109686140500024\ 0*c_0101_6^14 + 259748300245869323238337658167458970490857581622141\ 98085444783334869985439754312505919756923185315864731/4770595809764\ 8817439091207237702093828230233208252720274680471811692570670531608\ 109686140500024*c_0101_6^13 + 2161559107416390731028095223662196705\ 8898249301298736132067457823470388850210066918675893099775544845514\ 9/23852979048824408719545603618851046914115116604126360137340235905\ 8462853352658040548430702500120*c_0101_6^12 - 1144439305441873998757053768555541196029894472647063355006427353671\ 49067313227675104651221533564198632463/4770595809764881743909120723\ 7702093828230233208252720274680471811692570670531608109686140500024\ 0*c_0101_6^11 - 278617734423745858823784890711044371127227228132473\ 939973878239674727362893635443703069176242290866181113/477059580976\ 4881743909120723770209382823023320825272027468047181169257067053160\ 81096861405000240*c_0101_6^10 + 16973476098547420467526612340003529\ 6034288401183921007846747859099143351866708548080872904834117374941\ 79/4770595809764881743909120723770209382823023320825272027468047181\ 16925706705316081096861405000240*c_0101_6^9 + 1089322055416790251020256567205615551333107510926429114834348625734\ 90231144327031715739651693352048019071/4770595809764881743909120723\ 7702093828230233208252720274680471811692570670531608109686140500024\ 0*c_0101_6^8 + 2031858738003639568034487902458506710214012622758351\ 262554426502272431276691016093329916772281192413/124884707061907899\ 0552125843918902979796602963566825138080640623342737452108157280358\ 27592932*c_0101_6^7 - 101871476407845778239685173330170097733980771\ 49149793350142445980138771493159390593004159862917021683323/2385297\ 9048824408719545603618851046914115116604126360137340235905846285335\ 2658040548430702500120*c_0101_6^6 - 3345777941277057357815487095677197906259791236014057438020622054279\ 94110754704443776294477732202388257/4770595809764881743909120723770\ 2093828230233208252720274680471811692570670531608109686140500024*c_\ 0101_6^5 + 15152756130567093985796824578055251734144830109655633174\ 38216877094251513901470837773748590346278976129/4770595809764881743\ 9091207237702093828230233208252720274680471811692570670531608109686\ 1405000240*c_0101_6^4 + 2251121335400014488674446400785055695332637\ 94274649946130939743373740942522901888066647236138662893399/2385297\ 9048824408719545603618851046914115116604126360137340235905846285335\ 2658040548430702500120*c_0101_6^3 - 5498314319252079059079100486631533806708211822961962193062493648504\ 786126205439102443978834046264807/238529790488244087195456036188510\ 469141151166041263601373402359058462853352658040548430702500120*c_0\ 101_6^2 - 201263053931771588484137830311489240588058839955421715968\ 90121272646244936722922437227003063858970189/4770595809764881743909\ 1207237702093828230233208252720274680471811692570670531608109686140\ 5000240*c_0101_6 - 211566344143278545047746795219128401776993694139\ 2421548479534478172415160626878274673725279153964063/47705958097648\ 8174390912072377020938282302332082527202746804718116925706705316081\ 096861405000240, c_0011_0 - 1, c_0011_2 - 104767372392380638075912181874000006230158032910467292413496\ 815529754570952368855690117/289419008524571304946132412954569842847\ 647106014203868667882376073667268706771163609085*c_0101_6^30 - 1942734174979097229367854409085377912326801062534721598122070358812\ 432450377992662679861/289419008524571304946132412954569842847647106\ 014203868667882376073667268706771163609085*c_0101_6^29 - 1272330736234598231038208858045160070688733050757572496715443281528\ 0965757725232236778854/28941900852457130494613241295456984284764710\ 6014203868667882376073667268706771163609085*c_0101_6^28 - 1549181150520110665390434577285947046002629661179671319542841146985\ 9038628830176825173266/28941900852457130494613241295456984284764710\ 6014203868667882376073667268706771163609085*c_0101_6^27 + 2308978656968499819435850972643174445723089577600191102169229762729\ 72066747332314557144711/2894190085245713049461324129545698428476471\ 06014203868667882376073667268706771163609085*c_0101_6^26 + 1116520768033067093184099694450327742548916543434161547653390167531\ 288094522986470809205141/289419008524571304946132412954569842847647\ 106014203868667882376073667268706771163609085*c_0101_6^25 - 9979279480582941131438814876884249542891315959680091291948970043289\ 059422701960223789025/578838017049142609892264825909139685695294212\ 02840773733576475214733453741354232721817*c_0101_6^24 - 1142798825109351099745656002796351318493685914898935184526336854891\ 7647818763789747324989727/28941900852457130494613241295456984284764\ 7106014203868667882376073667268706771163609085*c_0101_6^23 - 1743993299978154537598396868433155051907449454995617642165093851996\ 7072701234246526548631948/28941900852457130494613241295456984284764\ 7106014203868667882376073667268706771163609085*c_0101_6^22 + 3397379028083383351825103845983736509673025752886348010159470412397\ 0773047797495417682658212/28941900852457130494613241295456984284764\ 7106014203868667882376073667268706771163609085*c_0101_6^21 + 6821139763561276622357469052391608827318943196573955399010968826460\ 0396891376610661187119058/28941900852457130494613241295456984284764\ 7106014203868667882376073667268706771163609085*c_0101_6^20 - 7682215815159371186790831782493376958803586725284414803788732129434\ 0979904581135380257437148/28941900852457130494613241295456984284764\ 7106014203868667882376073667268706771163609085*c_0101_6^19 - 1393020210013168173705616209358438451530317644961462817108376056971\ 58437160323057314452421179/2894190085245713049461324129545698428476\ 47106014203868667882376073667268706771163609085*c_0101_6^18 + 1500633906758064042005779929400626729971243922460536881574515493901\ 52262440272947358370587691/2894190085245713049461324129545698428476\ 47106014203868667882376073667268706771163609085*c_0101_6^17 + 3559474006906619082757669780852475700754948801974697640221416703654\ 9351127746360467803005371/57883801704914260989226482590913968569529\ 421202840773733576475214733453741354232721817*c_0101_6^16 - 1827239166658125192087228601070918587091524484537593170810700569750\ 75661015871374178387485501/2894190085245713049461324129545698428476\ 47106014203868667882376073667268706771163609085*c_0101_6^15 - 1567008333794675266213787987777754988106615709856984861290650265872\ 56956190295670423915839994/2894190085245713049461324129545698428476\ 47106014203868667882376073667268706771163609085*c_0101_6^14 + 1381362369887888532098245078793588431554567471151072748285221343618\ 66398987014397211482792063/2894190085245713049461324129545698428476\ 47106014203868667882376073667268706771163609085*c_0101_6^13 + 1222350213166291927617541457638391037972512705838535669728682166903\ 67039196940113040141204167/2894190085245713049461324129545698428476\ 47106014203868667882376073667268706771163609085*c_0101_6^12 - 7609540446298678998576710328563663996329465762827378936279265020174\ 0358134576553806213893196/28941900852457130494613241295456984284764\ 7106014203868667882376073667268706771163609085*c_0101_6^11 - 8357615780856491854755528740679439918767141492928519374745679551274\ 7146967645924914652540649/28941900852457130494613241295456984284764\ 7106014203868667882376073667268706771163609085*c_0101_6^10 + 2940956923843167975533173885566876119604457333694067707575025808682\ 1768613758595747908194069/28941900852457130494613241295456984284764\ 7106014203868667882376073667268706771163609085*c_0101_6^9 + 3458426349043771433250375901917071309590813196135161854018271646415\ 9151553860838927970202038/28941900852457130494613241295456984284764\ 7106014203868667882376073667268706771163609085*c_0101_6^8 - 3146346218630724474019193010677918365350712107822211611112728706628\ 5157456452902357804612/15152827671443523819169236280343970829719743\ 77037716589884200921851661092705608186435*c_0101_6^7 - 7138773501276385523781001137933636713575208311857706319899127756969\ 274225771133819212545316/289419008524571304946132412954569842847647\ 106014203868667882376073667268706771163609085*c_0101_6^6 + 2121874952343395387842017491487516829737773608965500874131473145898\ 87496130699411303002046/2894190085245713049461324129545698428476471\ 06014203868667882376073667268706771163609085*c_0101_6^5 + 1372895685050592605215556514783760450943731878173664706295163847667\ 31674804683739056749508/5788380170491426098922648259091396856952942\ 1202840773733576475214733453741354232721817*c_0101_6^4 + 9002280848107128506777806615606758716514448350621844081984790473368\ 3076009848918534160419/28941900852457130494613241295456984284764710\ 6014203868667882376073667268706771163609085*c_0101_6^3 - 2170029192616781477473800118585045264346481591228188448296733192347\ 6962158831825590176524/28941900852457130494613241295456984284764710\ 6014203868667882376073667268706771163609085*c_0101_6^2 - 7071476322331494641357617762171038821391904732484940289532318585852\ 067064268463141949384/289419008524571304946132412954569842847647106\ 014203868667882376073667268706771163609085*c_0101_6 - 6187064011121593918537667761164483631032463211629433981735150404383\ 73406200375913768022/2894190085245713049461324129545698428476471060\ 14203868667882376073667268706771163609085, c_0011_4 - 210576951910976236490115911618359614466422827269198848734646\ 56830025306743299684494409675205623/1490811190551525544971600226178\ 19043213219478775789750858376474411539283345411275342769189062575*c\ _0101_6^30 - 378621229475067817208230663157212648897940383946890072\ 735099450128907642298738813025958099524789/149081119055152554497160\ 0226178190432132194787757897508583764744115392833454112753427691890\ 62575*c_0101_6^29 - 23308929620539403982424992221609113999511314203\ 28941159541743560730931436774948289326352665058701/1490811190551525\ 5449716002261781904321321947877578975085837647441153928334541127534\ 2769189062575*c_0101_6^28 - 154977941318606587701108158134133206028\ 7606433692313304307404047625152980191186636861872066353814/14908111\ 9055152554497160022617819043213219478775789750858376474411539283345\ 411275342769189062575*c_0101_6^27 + 4900814105660559964173422873668909035550741265357649892658852226301\ 0536283642340976428930722771014/14908111905515255449716002261781904\ 3213219478775789750858376474411539283345411275342769189062575*c_010\ 1_6^26 + 1996044366298642553555670828022179370551362471226291966600\ 70336185038988206208887688778612262695819/1490811190551525544971600\ 2261781904321321947877578975085837647441153928334541127534276918906\ 2575*c_0101_6^25 - 600847271586871124416402814449430226326984939385\ 2380235532590908871459589330410695066160810089309/59632447622061021\ 7988640090471276172852877915103159003433505897646157133381645101371\ 0767562503*c_0101_6^24 - 236663888017096241835657497011445591499014\ 8350646819272056314364660481793824791795834072529924115338/14908111\ 9055152554497160022617819043213219478775789750858376474411539283345\ 411275342769189062575*c_0101_6^23 - 2240804637628439310021630273744864851384886918547080136155457620650\ 849872058671783480330238320971342/149081119055152554497160022617819\ 043213219478775789750858376474411539283345411275342769189062575*c_0\ 101_6^22 + 94994080355064473032393183252222759771238340880633982282\ 96878508519100589606021023460070743295087608/1490811190551525544971\ 6002261781904321321947877578975085837647441153928334541127534276918\ 9062575*c_0101_6^21 + 112420307175844470222111801932699025636208337\ 22179239226184595520347192982153420193343823854335072307/1490811190\ 5515255449716002261781904321321947877578975085837647441153928334541\ 1275342769189062575*c_0101_6^20 - 246689542482274605196620050555061\ 6954838248545255502160386711161191904269210421677319881340293919330\ 7/14908111905515255449716002261781904321321947877578975085837647441\ 1539283345411275342769189062575*c_0101_6^19 - 2412368703423192171862492503141510618685272576025380458077099336988\ 4733897057109223365757514157331451/14908111905515255449716002261781\ 9043213219478775789750858376474411539283345411275342769189062575*c_\ 0101_6^18 + 4860205941509019249132864671868624307245599948365675295\ 4351134572994800893595021379137539471885066404/14908111905515255449\ 7160022617819043213219478775789750858376474411539283345411275342769\ 189062575*c_0101_6^17 + 5670719846968285995969300445638726197317019\ 577151753257480415476526484893488553410523750563065296108/298162238\ 1103051089943200452356380864264389575515795017167529488230785666908\ 2255068553837812515*c_0101_6^16 - 619921257579398150129637859498107\ 8063103866951778687216878264245141857316994734650640574566911716263\ 4/14908111905515255449716002261781904321321947877578975085837647441\ 1539283345411275342769189062575*c_0101_6^15 - 2358112312825606568803432285072114122570348108443070043117835452647\ 0387492347224629826726733006578601/14908111905515255449716002261781\ 9043213219478775789750858376474411539283345411275342769189062575*c_\ 0101_6^14 + 5107921084726683212148722977707539059120787523865871127\ 6449607810118458789655739811884292909299717007/14908111905515255449\ 7160022617819043213219478775789750858376474411539283345411275342769\ 189062575*c_0101_6^13 + 2046135954315606520290441805336407770135174\ 4614980871278348997032700708767253103263843724043316530223/14908111\ 9055152554497160022617819043213219478775789750858376474411539283345\ 411275342769189062575*c_0101_6^12 - 3234961795416529461609881039166439318916508014278866208973010441622\ 4896002577272214268209290036082079/14908111905515255449716002261781\ 9043213219478775789750858376474411539283345411275342769189062575*c_\ 0101_6^11 - 1667651963578736411355691505223817285119977385937729303\ 7795350895719759406846037244889717296015769581/14908111905515255449\ 7160022617819043213219478775789750858376474411539283345411275342769\ 189062575*c_0101_6^10 + 1615603272964256714407259303301184521336799\ 9386721092584194429651464702274983675573958990898847786901/14908111\ 9055152554497160022617819043213219478775789750858376474411539283345\ 411275342769189062575*c_0101_6^9 + 8797309179387437075651281135566717491114790751734575495585525237671\ 256984066573048473914762017257442/149081119055152554497160022617819\ 043213219478775789750858376474411539283345411275342769189062575*c_0\ 101_6^8 - 239658166592962936609640775903713475327323172112256557689\ 97502313958187339600303367634699622816098/7805294191369243690950786\ 5244931436237287685222926571130040038958921090756759830022392245582\ 5*c_0101_6^7 - 2438738181689738355805944993369760681270496063051237\ 992643474916743319172262520492947656442560165819/149081119055152554\ 4971600226178190432132194787757897508583764744115392833454112753427\ 69189062575*c_0101_6^6 + 440574455562296810276277138544471314906846\ 026817171667168048633123834227812933068849779212030563464/149081119\ 0551525544971600226178190432132194787757897508583764744115392833454\ 11275342769189062575*c_0101_6^5 + 596491300426010584239859927455549\ 12777469388935299804071906020618157958136714651201826189005877288/2\ 9816223811030510899432004523563808642643895755157950171675294882307\ 856669082255068553837812515*c_0101_6^4 + 1728288474471674434708645491977435741004804926527439634325135358235\ 5490960473647686443295604083641/14908111905515255449716002261781904\ 3213219478775789750858376474411539283345411275342769189062575*c_010\ 1_6^3 - 12090206898165107888695018747298370154483248838995473677703\ 749887210178110559920951828905683198476/149081119055152554497160022\ 6178190432132194787757897508583764744115392833454112753427691890625\ 75*c_0101_6^2 - 285197806840224839105360377376630697923266700881737\ 2929242883760067041302632802434087620176706416/14908111905515255449\ 7160022617819043213219478775789750858376474411539283345411275342769\ 189062575*c_0101_6 - 1363657583215074712106178332025928065580990264\ 25241042320426926609111201695804615698455179643398/1490811190551525\ 5449716002261781904321321947877578975085837647441153928334541127534\ 2769189062575, c_0101_0 + 219045577048357883488128731702604111501315616170661218404157\ 630119033807367249169923143397982534/149081119055152554497160022617\ 819043213219478775789750858376474411539283345411275342769189062575*\ c_0101_6^30 + 41165318359115211122899558422484326955345273779136705\ 83802690676339055718513957604287644601634962/1490811190551525544971\ 6002261781904321321947877578975085837647441153928334541127534276918\ 9062575*c_0101_6^29 + 276326445080422271819104532495391650383437151\ 65449008459794899070606718883290156443508756343740808/1490811190551\ 5255449716002261781904321321947877578975085837647441153928334541127\ 5342769189062575*c_0101_6^28 + 393507027756567788447640014180061369\ 86811460823612222219596177292942736869079448500005186549111137/1490\ 8111905515255449716002261781904321321947877578975085837647441153928\ 3345411275342769189062575*c_0101_6^27 - 4724811677855577929945792558771268489162457772394745112227553140059\ 40316774464301045307891740321512/1490811190551525544971600226178190\ 43213219478775789750858376474411539283345411275342769189062575*c_01\ 01_6^26 - 245138730537035456084143365114845235760787954434929398292\ 6948968138508029458437985505325170404437877/14908111905515255449716\ 0022617819043213219478775789750858376474411539283345411275342769189\ 062575*c_0101_6^25 - 2054876984630374613259550781962035695622671935\ 9138601655880431699104140116501044292864878093233448/59632447622061\ 0217988640090471276172852877915103159003433505897646157133381645101\ 3710767562503*c_0101_6^24 + 237233400890025114752583981546548964599\ 98484492409034056765547894201280038949237878186671916987531204/1490\ 8111905515255449716002261781904321321947877578975085837647441153928\ 3345411275342769189062575*c_0101_6^23 + 4233953988721802565662083304178745145519027217090023094232534768934\ 7552070403964238555285970146342886/14908111905515255449716002261781\ 9043213219478775789750858376474411539283345411275342769189062575*c_\ 0101_6^22 - 6013613559004240110669595502958195904516573473066308743\ 3506612986093526118039140171916499698886932939/14908111905515255449\ 7160022617819043213219478775789750858376474411539283345411275342769\ 189062575*c_0101_6^21 - 1566457962385120292046125129206468485102323\ 32750010747054491166753731262656725331118268056958449816706/1490811\ 1905515255449716002261781904321321947877578975085837647441153928334\ 5411275342769189062575*c_0101_6^20 + 1213404469692926249682056234192849522083291367336816336090721620513\ 47104430690360973236865021725687456/1490811190551525544971600226178\ 19043213219478775789750858376474411539283345411275342769189062575*c\ _0101_6^19 + 318285124374750464988056753455001661102466155845250223\ 138360052946530349228066693882310187507127795383/149081119055152554\ 4971600226178190432132194787757897508583764744115392833454112753427\ 69189062575*c_0101_6^18 - 23510820812719975010819266994985435367600\ 3512447725317715201896156797122066828435749134097838917116132/14908\ 1119055152554497160022617819043213219478775789750858376474411539283\ 345411275342769189062575*c_0101_6^17 - 8481347667650973090001555251854007890928405291558405592401515512500\ 3937498044923364456231672171373814/29816223811030510899432004523563\ 808642643895755157950171675294882307856669082255068553837812515*c_0\ 101_6^16 + 27793917422874711007138028551404711597405202983418721081\ 6254179860475355474535544786388998375097905222/14908111905515255449\ 7160022617819043213219478775789750858376474411539283345411275342769\ 189062575*c_0101_6^15 + 3866464543345382376191108289337094436245683\ 96164592147060535124345394941445306810950756997725251568108/1490811\ 1905515255449716002261781904321321947877578975085837647441153928334\ 5411275342769189062575*c_0101_6^14 - 1948829085996492158994751739410939336618562184570419636514607237730\ 00123762862865683926633333988949031/1490811190551525544971600226178\ 19043213219478775789750858376474411539283345411275342769189062575*c\ _0101_6^13 - 293631401546639948453064449396122133051304215449257133\ 908204604735854111630970664518587521780182288959/149081119055152554\ 4971600226178190432132194787757897508583764744115392833454112753427\ 69189062575*c_0101_6^12 + 88823287801136894842799724621444873559030\ 022215796285821419684138378538231407657533566006471349309907/149081\ 1190551525544971600226178190432132194787757897508583764744115392833\ 45411275342769189062575*c_0101_6^11 + 1892125710354488794466924833303374927245965679541190413111885317101\ 62855947285028945176060666896101048/1490811190551525544971600226178\ 19043213219478775789750858376474411539283345411275342769189062575*c\ _0101_6^10 - 174276794707317871827233719196672986394192691811014757\ 00640973224722318243542485855881283019891528358/1490811190551525544\ 9716002261781904321321947877578975085837647441153928334541127534276\ 9189062575*c_0101_6^9 - 7228058694684465681498686345650246142745180\ 8585144031621946170361886631311751051698811823011724001386/14908111\ 9055152554497160022617819043213219478775789750858376474411539283345\ 411275342769189062575*c_0101_6^8 - 1490195717294598317682840246186096946292500458988282932660022287528\ 3451873459460642260997578899441/78052941913692436909507865244931436\ 2372876852229265711300400389589210907567598300223922455825*c_0101_6\ ^7 + 12754187666074843841448582737376812380906227838634484424783990\ 713245515790228857077707359287616878402/149081119055152554497160022\ 6178190432132194787757897508583764744115392833454112753427691890625\ 75*c_0101_6^6 + 162368260803249501484482322267316111188117710577339\ 6685000433177906855821475681624126348879923670513/14908111905515255\ 4497160022617819043213219478775789750858376474411539283345411275342\ 769189062575*c_0101_6^5 - 17424951119691738288888476563227795995206\ 4216368129974062338935613270465383283787110896162441870494/29816223\ 8110305108994320045235638086426438957551579501716752948823078566690\ 82255068553837812515*c_0101_6^4 - 217128245839369969557325044322593\ 246978311595785570749026732891944808181565133716642105250677189878/\ 1490811190551525544971600226178190432132194787757897508583764744115\ 39283345411275342769189062575*c_0101_6^3 + 8053450193824270587769690754311800133850769384145139770689681757040\ 181821422419802034516039162733/149081119055152554497160022617819043\ 213219478775789750858376474411539283345411275342769189062575*c_0101\ _6^2 + 881765274964450252844727465787946085452193523405748437490757\ 6361715782951733283659386624774353078/14908111905515255449716002261\ 7819043213219478775789750858376474411539283345411275342769189062575\ *c_0101_6 + 7812619436026696965956908552716325075400925504152117646\ 80515963309606688124100196607901862022909/1490811190551525544971600\ 2261781904321321947877578975085837647441153928334541127534276918906\ 2575, c_0101_1 + 239765973679311383906752237724065520701213405421196273849239\ 60649804337428050621366889086576119/1490811190551525544971600226178\ 19043213219478775789750858376474411539283345411275342769189062575*c\ _0101_6^30 + 470999363161453584502866977876802902992324063347056847\ 239152152333581859146389826435829200491567/149081119055152554497160\ 0226178190432132194787757897508583764744115392833454112753427691890\ 62575*c_0101_6^29 + 34119106283338879803630208212375266510639085590\ 54624543636202568900309521931098562123669709545303/1490811190551525\ 5449716002261781904321321947877578975085837647441153928334541127534\ 2769189062575*c_0101_6^28 + 695408934811469489057223515063638029847\ 8468799753928174396540289682349395536004454659258556673042/14908111\ 9055152554497160022617819043213219478775789750858376474411539283345\ 411275342769189062575*c_0101_6^27 - 4754214127611239334763423965264463812841032996916652491577814062341\ 3408132415960419128573065953517/14908111905515255449716002261781904\ 3213219478775789750858376474411539283345411275342769189062575*c_010\ 1_6^26 - 3114273425598783361916451632793150468567278006997094587434\ 88737526243327875788857138708319422064132/1490811190551525544971600\ 2261781904321321947877578975085837647441153928334541127534276918906\ 2575*c_0101_6^25 - 116927782463245575875827005076613387648063671838\ 56648347158954921454916753122178337369776914734802/5963244762206102\ 1798864009047127617285287791510315900343350589764615713338164510137\ 10767562503*c_0101_6^24 + 25029603067055835958880905646659048356175\ 51843348341348050207408328912942561079102455436045473213439/1490811\ 1905515255449716002261781904321321947877578975085837647441153928334\ 5411275342769189062575*c_0101_6^23 + 6814166262684795580035687805447791471286998398515615409707928259826\ 541207801400277048230743471184251/149081119055152554497160022617819\ 043213219478775789750858376474411539283345411275342769189062575*c_0\ 101_6^22 - 22412220309490858211329593798747190866097953816498538495\ 20393672290005724933367391875963068522934799/1490811190551525544971\ 6002261781904321321947877578975085837647441153928334541127534276918\ 9062575*c_0101_6^21 - 218270164023271947842075993857546145321766343\ 66463979838917621507767786081959420299981288830567830796/1490811190\ 5515255449716002261781904321321947877578975085837647441153928334541\ 1275342769189062575*c_0101_6^20 - 193512290388124914448253183370031\ 0207103050725027467104095055783520569014618095857160277052592143679\ /149081119055152554497160022617819043213219478775789750858376474411\ 539283345411275342769189062575*c_0101_6^19 + 4307225396978331886413076593435623276250170300287026673523770162404\ 9181152116363072615840392712464853/14908111905515255449716002261781\ 9043213219478775789750858376474411539283345411275342769189062575*c_\ 0101_6^18 + 4591049040115201109656645191202569756914998638495414879\ 192086949420293355403167302957439153742530213/149081119055152554497\ 1600226178190432132194787757897508583764744115392833454112753427691\ 89062575*c_0101_6^17 - 12450178385812670287268975633906671831587422\ 606236904368591190294321880492702030565524869494672675644/298162238\ 1103051089943200452356380864264389575515795017167529488230785666908\ 2255068553837812515*c_0101_6^16 - 103136760518076597803693593499852\ 7368719716516432806975664118995045889642021165162727359250508843854\ 8/14908111905515255449716002261781904321321947877578975085837647441\ 1539283345411275342769189062575*c_0101_6^15 + 5977476225231544621064170183953338770600564175792446060054998692110\ 8677516317974535209405182446780453/14908111905515255449716002261781\ 9043213219478775789750858376474411539283345411275342769189062575*c_\ 0101_6^14 + 1563476652019815893914518737595686801901583679419777757\ 9011980462078227460781411440311170529467781779/14908111905515255449\ 7160022617819043213219478775789750858376474411539283345411275342769\ 189062575*c_0101_6^13 - 4242547392239435442268384412506662540558625\ 2106662906972691101576556263393705546726145353487017085469/14908111\ 9055152554497160022617819043213219478775789750858376474411539283345\ 411275342769189062575*c_0101_6^12 - 1747115424099768869773370671686153240062327617333491981477613641454\ 9317428058856524691469394541977863/14908111905515255449716002261781\ 9043213219478775789750858376474411539283345411275342769189062575*c_\ 0101_6^11 + 2330702318155137818172027865359301241387304763453762203\ 7234491586360039490356951902816763759003153518/14908111905515255449\ 7160022617819043213219478775789750858376474411539283345411275342769\ 189062575*c_0101_6^10 + 1468773732844730145768147631021830411754623\ 3292666020733060949114781849437997422499478024930045188597/14908111\ 9055152554497160022617819043213219478775789750858376474411539283345\ 411275342769189062575*c_0101_6^9 - 6261947337376007358044328203343364696141380297332015740467786812139\ 475859389753263594019520033878551/149081119055152554497160022617819\ 043213219478775789750858376474411539283345411275342769189062575*c_0\ 101_6^8 - 304319461106012719203979218762545432161497736795349105492\ 68922142701325547251530270348486792527306/7805294191369243690950786\ 5244931436237287685222926571130040038958921090756759830022392245582\ 5*c_0101_6^7 + 1652836444523990227576249652988766296218599552406665\ 24923362983218988028787242599609031095817713807/1490811190551525544\ 9716002261781904321321947877578975085837647441153928334541127534276\ 9189062575*c_0101_6^6 + 8232434615555585281128335118041939807234925\ 37625603930566476914373143323468253096980906605694050858/1490811190\ 5515255449716002261781904321321947877578975085837647441153928334541\ 1275342769189062575*c_0101_6^5 + 2530032294433375083810388104159962\ 1314363049171646284112029224046665276385190675555513885726467316/29\ 8162238110305108994320045235638086426438957551579501716752948823078\ 56669082255068553837812515*c_0101_6^4 - 2383256774278671140832759469078641065534535053892309403944646403886\ 4786568602356110382821543866048/14908111905515255449716002261781904\ 3213219478775789750858376474411539283345411275342769189062575*c_010\ 1_6^3 - 11183915432585887036760816824919223821725028456135019401940\ 178003355526936158140734743478790507572/149081119055152554497160022\ 6178190432132194787757897508583764744115392833454112753427691890625\ 75*c_0101_6^2 - 116128101537357769217186571099363093160034353342138\ 4305659753805487030689762430558101107487828577/14908111905515255449\ 7160022617819043213219478775789750858376474411539283345411275342769\ 189062575*c_0101_6 + 1810012724353539977163146111203279005455713775\ 7159036418261085700576797052532540359986256484544/14908111905515255\ 4497160022617819043213219478775789750858376474411539283345411275342\ 769189062575, c_0101_4 - 572362950328805418342448932713655492039955381379800812357258\ 26293954464365245895087259479779421/1490811190551525544971600226178\ 19043213219478775789750858376474411539283345411275342769189062575*c\ _0101_6^30 - 107071559692964874730120038681313631117011720152371622\ 6363415229619286546346502399094805390924778/14908111905515255449716\ 0022617819043213219478775789750858376474411539283345411275342769189\ 062575*c_0101_6^29 - 7126088600851954739400551506484799473966462274\ 534917193722977216258276538666226689512935682804127/149081119055152\ 5544971600226178190432132194787757897508583764744115392833454112753\ 42769189062575*c_0101_6^28 - 96291287743841319583047990478336173095\ 01062104425783611551757539162707801997904571677612286418628/1490811\ 1905515255449716002261781904321321947877578975085837647441153928334\ 5411275342769189062575*c_0101_6^27 + 1245573906696788176473805585377697017350044416222132691307641133341\ 44866384139165984841379362247703/1490811190551525544971600226178190\ 43213219478775789750858376474411539283345411275342769189062575*c_01\ 01_6^26 + 630238542801357754845157870960915042679887251645394340228\ 430136680998578437175700569517960575803088/149081119055152554497160\ 0226178190432132194787757897508583764744115392833454112753427691890\ 62575*c_0101_6^25 + 30220298094592206443293514806874798530352276550\ 23989240495121684340064286003399431874571673261210/5963244762206102\ 1798864009047127617285287791510315900343350589764615713338164510137\ 10767562503*c_0101_6^24 - 62293851346131529098932362826275222070301\ 76068300369320850371517846644644081186009179387439876288251/1490811\ 1905515255449716002261781904321321947877578975085837647441153928334\ 5411275342769189062575*c_0101_6^23 - 1053583726134285964844022752437872415860327209874061477990730955872\ 8899183496269115190883408286378534/14908111905515255449716002261781\ 9043213219478775789750858376474411539283345411275342769189062575*c_\ 0101_6^22 + 1684330160862318231662326503226177506711954867774934815\ 4794066238365065397021496780040435084740575766/14908111905515255449\ 7160022617819043213219478775789750858376474411539283345411275342769\ 189062575*c_0101_6^21 + 3991819836559114970749408064079638622949568\ 8073431893366154112131182395568523920603394081492302110164/14908111\ 9055152554497160022617819043213219478775789750858376474411539283345\ 411275342769189062575*c_0101_6^20 - 3562832915992133091913769108891622315980198890241299525236228447552\ 6238257808617170758610914010392864/14908111905515255449716002261781\ 9043213219478775789750858376474411539283345411275342769189062575*c_\ 0101_6^19 - 8163185001693325158490025156169528561212296193024087684\ 3135478181818430953479112678970013002782413777/14908111905515255449\ 7160022617819043213219478775789750858376474411539283345411275342769\ 189062575*c_0101_6^18 + 6932222814249626383625783157085335882120676\ 8254915500517052011672741271718935601855175038157538423958/14908111\ 9055152554497160022617819043213219478775789750858376474411539283345\ 411275342769189062575*c_0101_6^17 + 2157513830581293096569138218412949292603553650402508109733504275415\ 0188136194107512745332295025862466/29816223811030510899432004523563\ 808642643895755157950171675294882307856669082255068553837812515*c_0\ 101_6^16 - 83546277287969085231780494813249580896452794626311743339\ 039648633579918601863176457274381906071734893/149081119055152554497\ 1600226178190432132194787757897508583764744115392833454112753427691\ 89062575*c_0101_6^15 - 97879558074013251525408539887181085378609798\ 923716541036946794306004392992805567578536809194059345827/149081119\ 0551525544971600226178190432132194787757897508583764744115392833454\ 11275342769189062575*c_0101_6^14 + 6109837316421257630893942120816165132822692007301816447189962911430\ 9020425265362691508698691929214664/14908111905515255449716002261781\ 9043213219478775789750858376474411539283345411275342769189062575*c_\ 0101_6^13 + 7512927745293409501556129969913227969191044700228220963\ 3673120766158830304455026132167740273001683121/14908111905515255449\ 7160022617819043213219478775789750858376474411539283345411275342769\ 189062575*c_0101_6^12 - 3065425206300496256813486468156508062080103\ 1031508184190440580089993268629771539276473943882619414033/14908111\ 9055152554497160022617819043213219478775789750858376474411539283345\ 411275342769189062575*c_0101_6^11 - 4951762424384585966748151581933629728544046708873293651101570560421\ 7676939079379352885248770944805662/14908111905515255449716002261781\ 9043213219478775789750858376474411539283345411275342769189062575*c_\ 0101_6^10 + 9028879030310085376284737712177999918955734396248268435\ 014732356046163268736696283794992326201578402/149081119055152554497\ 1600226178190432132194787757897508583764744115392833454112753427691\ 89062575*c_0101_6^9 + 197635864665476411341794737708613408351244892\ 79645912396299388346256528575064664510325215196945185509/1490811190\ 5515255449716002261781904321321947877578975085837647441153928334541\ 1275342769189062575*c_0101_6^8 - 3951569852707431047744830022000319\ 626746492382794554013697907130405911176362563155744481272499771/780\ 5294191369243690950786524493143623728768522292657113004003895892109\ 07567598300223922455825*c_0101_6^7 - 3805476984267671861299375917101377486939111138582405287625451687334\ 490965113770908988929356459497588/149081119055152554497160022617819\ 043213219478775789750858376474411539283345411275342769189062575*c_0\ 101_6^6 - 247677581382648708743772791217192028209774923269938782599\ 563277809881160961548336807852035178163747/149081119055152554497160\ 0226178190432132194787757897508583764744115392833454112753427691890\ 62575*c_0101_6^5 + 613881146528515746485439353324914400081882796177\ 05590978502949695262805056352872633691840835377621/2981622381103051\ 0899432004523563808642643895755157950171675294882307856669082255068\ 553837812515*c_0101_6^4 + 60246137997958898609443502341433433900387\ 047429993609451939124500115115126096350880765441677332757/149081119\ 0551525544971600226178190432132194787757897508583764744115392833454\ 11275342769189062575*c_0101_6^3 - 565967382092805445375298095808123\ 6992676361011141849514338598174484267834287300611076511187464502/14\ 9081119055152554497160022617819043213219478775789750858376474411539\ 283345411275342769189062575*c_0101_6^2 - 3150947429550564327133657561119552289192124570535935052571570669175\ 577043555391757524854213724282/149081119055152554497160022617819043\ 213219478775789750858376474411539283345411275342769189062575*c_0101\ _6 - 26035454364742269788188225265450832557871778520217932386487671\ 7868447520775364938943328619700871/14908111905515255449716002261781\ 9043213219478775789750858376474411539283345411275342769189062575, c_0101_6^31 + 19*c_0101_6^30 + 130*c_0101_6^29 + 205*c_0101_6^28 - 2125*c_0101_6^27 - 11646*c_0101_6^26 - 4578*c_0101_6^25 + 108281*c_0101_6^24 + 215910*c_0101_6^23 - 238767*c_0101_6^22 - 780605*c_0101_6^21 + 414675*c_0101_6^20 + 1597896*c_0101_6^19 - 787161*c_0101_6^18 - 2218378*c_0101_6^17 + 895953*c_0101_6^16 + 2109495*c_0101_6^15 - 554247*c_0101_6^14 - 1599660*c_0101_6^13 + 144297*c_0101_6^12 + 1002970*c_0101_6^11 + 97060*c_0101_6^10 - 379916*c_0101_6^9 - 86413*c_0101_6^8 + 66594*c_0101_6^7 + 22660*c_0101_6^6 - 3723*c_0101_6^5 - 2397*c_0101_6^4 - 180*c_0101_6^3 + 79*c_0101_6^2 + 18*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB