Magma V2.19-8 Tue Aug 20 2013 16:18:51 on localhost [Seed = 1124261426] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3020 geometric_solution 6.19344747 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 0 0 0 0 0 0 0 0 0 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.843396175608 1.068099017577 3 4 5 0 0132 0132 0132 0132 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 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.610307729595 0.853704247648 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 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 0.610307729595 0.853704247648 1 3 2 3 0132 1302 2310 2031 0 0 0 0 0 0 -1 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.839695077053 0.667216711415 4 1 2 4 3201 0132 3201 2310 0 0 0 0 0 1 0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.484358089243 0.554158804674 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.317099524662 1.262522391936 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.451556305274 0.136499512122 ==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_0101_4']), '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_0011_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: 31 Groebner basis: [ t - 1846626048500927106171201065502451766128045492165759367312766322111\ 64315507585786148874809/1073630930677939885256015721586596715729130\ 2297714658811912490562284711954914866555715413*c_0101_5^30 - 5235448393681676007360852459202392824227899714016680402440792064093\ 24331842408956279567890/1073630930677939885256015721586596715729130\ 2297714658811912490562284711954914866555715413*c_0101_5^29 + 5607352904574381939960535582051215657462666883077570178819580369677\ 283984157578081505874453/107363093067793988525601572158659671572913\ 02297714658811912490562284711954914866555715413*c_0101_5^28 + 2579557702413096730614179430148247859663131115388910067740654370148\ 0250250930329986406173887/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^27 + 3656876853762033392855467868209396179267093229508416586955537138307\ 4216512121367142548393082/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^26 - 1392257091767337030876550636185231804585032565588232733420312989391\ 94269715672998977312494793/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^25 - 1033661401075124746470249120609012913215903233309876344450786727096\ 844831798367428475675766942/107363093067793988525601572158659671572\ 91302297714658811912490562284711954914866555715413*c_0101_5^24 - 2260456887087951936940749591583079111604479885449397080318578196112\ 0605587820886905651125975/98498250520911916078533552439137313369644\ 975208391365246903583140226715182705197758857*c_0101_5^23 - 2502929364403903837345990231218167562623563284838888889287657771757\ 806631605935469986562492791/107363093067793988525601572158659671572\ 91302297714658811912490562284711954914866555715413*c_0101_5^22 + 1552508487198667460998537374884191635493375558032180812826911069374\ 282480445832667234907351933/107363093067793988525601572158659671572\ 91302297714658811912490562284711954914866555715413*c_0101_5^21 + 1192367202605053896591328878432131353980243993679276677729846563084\ 1777654864455222925751197829/10736309306779398852560157215865967157\ 291302297714658811912490562284711954914866555715413*c_0101_5^20 + 2179046133703870146290291015303598588250877938733070586421338405921\ 0338831552069583215532215613/10736309306779398852560157215865967157\ 291302297714658811912490562284711954914866555715413*c_0101_5^19 + 1568800826409860022320538324712827168514916179777121546311330414643\ 9320815916549026321125631172/10736309306779398852560157215865967157\ 291302297714658811912490562284711954914866555715413*c_0101_5^18 - 1080979521791467950236074560708274377695750128132310677512191655317\ 3935967863998798374413291311/10736309306779398852560157215865967157\ 291302297714658811912490562284711954914866555715413*c_0101_5^17 - 2840832495775837083212971240097235623835676275655864154288775489483\ 5129129707956803620156955108/10736309306779398852560157215865967157\ 291302297714658811912490562284711954914866555715413*c_0101_5^16 - 2601218970607999003675859089091749740760377097397271083228886305624\ 9447152517815393355899790950/10736309306779398852560157215865967157\ 291302297714658811912490562284711954914866555715413*c_0101_5^15 - 2318327229197035605725054030720797344147903674881593557971952266722\ 8659107739433558194465911133/10736309306779398852560157215865967157\ 291302297714658811912490562284711954914866555715413*c_0101_5^14 - 6832958362677275642555639936316853078856082860111682613397439783632\ 907456066076257174716555473/107363093067793988525601572158659671572\ 91302297714658811912490562284711954914866555715413*c_0101_5^13 + 1508175241566294206423319859938136708470302442406991889625335232807\ 772569786689269227800790292/107363093067793988525601572158659671572\ 91302297714658811912490562284711954914866555715413*c_0101_5^12 + 6429313213132839737535006945850298905155269227065002019986655938090\ 035360778346726552705103029/107363093067793988525601572158659671572\ 91302297714658811912490562284711954914866555715413*c_0101_5^11 + 1090483064093427298056196435371258984695980046981326869560344154902\ 9527887565151059272253384878/10736309306779398852560157215865967157\ 291302297714658811912490562284711954914866555715413*c_0101_5^10 + 7442556833550691961590332443862120879365049499050489047334938558769\ 931924692071435773000165055/107363093067793988525601572158659671572\ 91302297714658811912490562284711954914866555715413*c_0101_5^9 + 1810564159145922889181271741145658986357177577878864140784941575488\ 802915709874892629878033566/107363093067793988525601572158659671572\ 91302297714658811912490562284711954914866555715413*c_0101_5^8 - 1342115079676973518147702811126848934029537969384978054829320561424\ 030522304903816711496316991/107363093067793988525601572158659671572\ 91302297714658811912490562284711954914866555715413*c_0101_5^7 - 2483944530982012536731172928830269355365313968425415795308081405827\ 43228275030753174715963275/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^6 - 6513241809546653923175100697303610444042734079307426028173385436827\ 14931411845444478203848421/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^5 - 3097211778447515403063834780474397348348853472330126386206168099504\ 99681157098230054297583854/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^4 + 2495923051081599358175735364294635175150886063228718144540516518887\ 075693231054082050628759/107363093067793988525601572158659671572913\ 02297714658811912490562284711954914866555715413*c_0101_5^3 - 2169212807251544505186149022435861344828282931740720232001124458275\ 945442001935592223540117/107363093067793988525601572158659671572913\ 02297714658811912490562284711954914866555715413*c_0101_5^2 - 1264002695964775105474121530860038441399711415037079072013088749834\ 164286971722330779136494/107363093067793988525601572158659671572913\ 02297714658811912490562284711954914866555715413*c_0101_5 + 1253332213210163415484047261456813368664718610987506378577940682456\ 129200172650693605334396/107363093067793988525601572158659671572913\ 02297714658811912490562284711954914866555715413, c_0011_0 - 1, c_0011_1 + 399365417450351833311141738423032590206232197662490881367872\ 0151871268619776257299300055/10736309306779398852560157215865967157\ 291302297714658811912490562284711954914866555715413*c_0101_5^30 + 1063244716023449311161969128292580857868175702779253334198536261847\ 4077077440711441002441/10736309306779398852560157215865967157291302\ 297714658811912490562284711954914866555715413*c_0101_5^29 - 1233685475890967297299234913049808438961940026690828173939690524645\ 88100357435255236872957/1073630930677939885256015721586596715729130\ 2297714658811912490562284711954914866555715413*c_0101_5^28 - 5373368417629642751698471423311505076742821213851675626313225230317\ 85043622333707225957994/1073630930677939885256015721586596715729130\ 2297714658811912490562284711954914866555715413*c_0101_5^27 - 6901400067720544227632104166651518072932220548308130621863017327175\ 29802596399947546777539/1073630930677939885256015721586596715729130\ 2297714658811912490562284711954914866555715413*c_0101_5^26 + 3168066331440384488608615415978351343882520006313287415264099825988\ 210384851298725763868729/107363093067793988525601572158659671572913\ 02297714658811912490562284711954914866555715413*c_0101_5^25 + 2186416114021649198155011780295738714881559604238136592341609124158\ 0453873180606272923526011/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^24 + 4524413347553067587051056187786482786342386847910022312719445635300\ 94298730259242564419212/9849825052091191607853355243913731336964497\ 5208391365246903583140226715182705197758857*c_0101_5^23 + 4410961495707736242472909313008035502733818387746179931292081539498\ 9918019288676525360745016/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^22 - 4490004499926225862032739290859158903828153635315151225764419124127\ 2820540019361300564681537/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^21 - 2541103584900590265603045685896340573571467795375236533772551324489\ 53070584234326024859390752/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^20 - 4255114672299312606308647360004179935056251759879483728857270656845\ 08839438091739743232437751/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^19 - 2483574823769351602657644571999927199377414002118314220044052726333\ 29092132943244846671107041/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^18 + 3099848300904283022550851315771508295845781687366801823814713618620\ 27156416358204489206455912/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^17 + 5868611664910399572062408126342024821147044100168619279517511416616\ 01143271398743032274897488/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^16 + 4477593945421047193118078224549287927176414173413466495329966307412\ 85722985891387276532729576/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^15 + 3805727891932877070891617587195221264242897962644522792479892219488\ 52907894599596898141378753/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^14 + 3989870920860782371631892980561041592284679592443745834795793991143\ 9071067960226373737728858/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^13 - 7607074326057070334702107248841824701749997308251704644768830542001\ 4820200514930576365604701/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^12 - 1388652882670017313062880159132317483214976635778315273803265111261\ 98769099846203512330722747/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^11 - 2098620677549733185329981939573732165111361256878862699868707601231\ 42705235361351571432733612/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^10 - 1148275686451822712559198428625198284229111253004994305107223675980\ 10588650551483056334669415/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^9 - 2677474392197888506893661188983909076170099133353431604222569179515\ 973587320185300720509890/107363093067793988525601572158659671572913\ 02297714658811912490562284711954914866555715413*c_0101_5^8 + 4194102238406844704777889769074736505866065930250583332997006732665\ 8521824526425674961538808/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^7 + 1564870348955601865936639631871766064174373911301273306260253750585\ 806586303967479327969415/107363093067793988525601572158659671572913\ 02297714658811912490562284711954914866555715413*c_0101_5^6 + 1184886039885560719423837647788474981858074779774499987138615223600\ 2579020258297772524456324/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^5 + 3905420174923806633264355016561301755214575601379107732727168818903\ 764438079241216518388242/107363093067793988525601572158659671572913\ 02297714658811912490562284711954914866555715413*c_0101_5^4 - 1612866090140914600091727420746885525146546408854932709147473099547\ 848825008121315292403832/107363093067793988525601572158659671572913\ 02297714658811912490562284711954914866555715413*c_0101_5^3 - 2521622000589783714198686219761269193140029216289144320767820373278\ 36031648782523832817554/1073630930677939885256015721586596715729130\ 2297714658811912490562284711954914866555715413*c_0101_5^2 + 4578806605670338086513883395151704744586643835611293872730177420722\ 8245631886477089403556/10736309306779398852560157215865967157291302\ 297714658811912490562284711954914866555715413*c_0101_5 - 1489527876148512137742267295498608621907707189062600320339047010594\ 7926299489063406911138/10736309306779398852560157215865967157291302\ 297714658811912490562284711954914866555715413, c_0011_5 - 231521313481134615410653479432962697270396000938072419579345\ 9609953398787434004864151904/10736309306779398852560157215865967157\ 291302297714658811912490562284711954914866555715413*c_0101_5^30 - 5880028178235789703534567364988662117626354745436115369218817049380\ 403837809053240526792/107363093067793988525601572158659671572913022\ 97714658811912490562284711954914866555715413*c_0101_5^29 + 7240650415954194544215486444226760652370912358506111574194372342463\ 6020025947382869767208/10736309306779398852560157215865967157291302\ 297714658811912490562284711954914866555715413*c_0101_5^28 + 3030637963943284159988770260833934269355164620591561701856305719292\ 15725999628905455223070/1073630930677939885256015721586596715729130\ 2297714658811912490562284711954914866555715413*c_0101_5^27 + 3577913684377259550297842032685034170796808854370442559047529448248\ 22130364573698846605620/1073630930677939885256015721586596715729130\ 2297714658811912490562284711954914866555715413*c_0101_5^26 - 1902554149875051888404188862335754587019535074840841621065675176052\ 295794496175165765915377/107363093067793988525601572158659671572913\ 02297714658811912490562284711954914866555715413*c_0101_5^25 - 1246976355784926003270248383348588568730723324834644672015730042561\ 4880740110581208281364208/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^24 - 2470512789120697616647681750576172931390883181643013558891813851913\ 72836803272958904708091/9849825052091191607853355243913731336964497\ 5208391365246903583140226715182705197758857*c_0101_5^23 - 2136768836981465965345145157862854844701868196402596057710622420872\ 6504528227910207152043679/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^22 + 3066293642499281014766516835316222227191878386481828423425346959439\ 3703755344067795169408013/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^21 + 1453249026952948001407185168491826338553750754450482322048970131938\ 11447745403637555971706071/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^20 + 2269698976011911403904313743598661298466124657014918850813066764524\ 22305340745260501693051849/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^19 + 1057044723288631711164401621971581221051533036178798858676701950317\ 74952434384028608123840328/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^18 - 2099684996302418460187013266922525264077096649859753782898636811375\ 68080362061445605777009959/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^17 - 3243412645706331270803826974424668450067095231102468246829649649249\ 55734227480211219780802562/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^16 - 2069140969552964731532711602623667601277391792966799166838832125114\ 91652574251915799138993166/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^15 - 1715261566973315742502598888593349194461926717951891939525369925943\ 75463096218524191196992319/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^14 + 1603614778803814252047273301537288649512897714403867112341573602137\ 8749562662259233478145921/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^13 + 5775849168532248978881029075543121661291121746133540364835878584298\ 0257558515036131400453204/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^12 + 7465991857901361888274786437130088797455362663700140649592520580652\ 2792347786604528558722842/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^11 + 1096126953546166338486956175618517900529320519235469205966573243064\ 40055167287895316676862512/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^10 + 4729180006057778473846192409849363825379760140873933387331277706869\ 6700834607359632812265562/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^9 - 1285809716848450300352157633699887355599808269954534654343271514103\ 6368587356338027952718235/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^8 - 2734064660352019030726015548912844928807651217285862875922017150446\ 6153036819604388709900360/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^7 + 2249839196471286440074957924543855268814869002138969950939225442806\ 405773718866141555318479/107363093067793988525601572158659671572913\ 02297714658811912490562284711954914866555715413*c_0101_5^6 - 5480308860156187935767268191509109051633962966101868543108427564405\ 466208756819077443548172/107363093067793988525601572158659671572913\ 02297714658811912490562284711954914866555715413*c_0101_5^5 - 1575889278297290572347063765561944317561360809146920987769538519785\ 505681403569657735507783/107363093067793988525601572158659671572913\ 02297714658811912490562284711954914866555715413*c_0101_5^4 + 1658075631524072622877466466524161376658627111718513077365835689688\ 963643332008821565105036/107363093067793988525601572158659671572913\ 02297714658811912490562284711954914866555715413*c_0101_5^3 + 5951542444192074789276342846055531261447269501739485973601433123094\ 1948036824952529474112/10736309306779398852560157215865967157291302\ 297714658811912490562284711954914866555715413*c_0101_5^2 - 7929845474243916818758726860872139014826961678231128790053628406311\ 6229759092576222413200/10736309306779398852560157215865967157291302\ 297714658811912490562284711954914866555715413*c_0101_5 + 1312593253557331436760940321197821811968997539592009597943085819523\ 9975666648657646378728/10736309306779398852560157215865967157291302\ 297714658811912490562284711954914866555715413, c_0101_0 + 823942808274301755260754598136445422699426774265826314059891\ 1465891982478869032532083948/10736309306779398852560157215865967157\ 291302297714658811912490562284711954914866555715413*c_0101_5^30 + 2212673552301299794278006962202914845305885952425070409222825610207\ 5285108448797400317059/10736309306779398852560157215865967157291302\ 297714658811912490562284711954914866555715413*c_0101_5^29 - 2540385228282864202106548809563140465813372127758805077087169957644\ 63668133313226791258191/1073630930677939885256015721586596715729130\ 2297714658811912490562284711954914866555715413*c_0101_5^28 - 1114493616480373346767851551714434150746864299073295008772501012150\ 728621679702312855180098/107363093067793988525601572158659671572913\ 02297714658811912490562284711954914866555715413*c_0101_5^27 - 1448743754415969834381524544936471243618453301764654180316484786531\ 092873920482551656275716/107363093067793988525601572158659671572913\ 02297714658811912490562284711954914866555715413*c_0101_5^26 + 6504553946456465415751444945651101730711922756319162579584908995033\ 092690422755326782879200/107363093067793988525601572158659671572913\ 02297714658811912490562284711954914866555715413*c_0101_5^25 + 4525750236884053476963794081208222844274580671565234355677003038131\ 1402194944449702210992942/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^24 + 9428041058205611169183336879846985961569298064294917566953476402420\ 13513000508118070284345/9849825052091191607853355243913731336964497\ 5208391365246903583140226715182705197758857*c_0101_5^23 + 9328122600498404596178035311790195543300847425496154217453707774329\ 3962191852767355881266474/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^22 - 9054194484371193124701585335216274188612074516766947555911806434093\ 7421435610228184572305748/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^21 - 5261067381748452158556056449456770001246254816832387438973315355306\ 50557328715762172567021918/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^20 - 8893372870567550990537095622943155633944708489549215073015709952290\ 33700129000923693541964924/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^19 - 5319128667175736534598615990540041647253560542139649002041958229258\ 70366250293125865245249319/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^18 + 6271317403006820970362523459133097532272230747370441882349780561895\ 30010832603066792232200542/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^17 + 1222400089625944996395377507911043911497459906230482444329643521525\ 637653189898865034743120878/107363093067793988525601572158659671572\ 91302297714658811912490562284711954914866555715413*c_0101_5^16 + 9477842667229392340172198703199736730514357715501351283902456465645\ 47115767893668218545909709/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^15 + 8069142691304983180183125658527103420121807892747645343760992071906\ 77548942313316697335266934/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^14 + 1039541033506261420790620251898055625719422017732453518211429444719\ 83624912228410332817497246/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^13 - 1525904388774737025455218363295562520132106333387796075567074666271\ 52412348420754899445107283/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^12 - 2860841281055743415537049033181219483168330804972077974265787202119\ 32907609944955050222661681/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^11 - 4387991767168333391356745591414743277714132731408819500044396968290\ 65671153146432244535414129/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^10 - 2465812700723964510890949513157596355091074921855615627830457557918\ 09922307085743331432548661/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^9 - 1130922793979452129655111173635335749581785459008717711010668594905\ 7256277743802259937003109/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^8 + 8484538034709509412815007033411157441231541117967628618472296376071\ 9825783753535924836779691/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^7 + 4113006060551199175244476004304026944385173637034630872913782393579\ 592533385803701767537708/107363093067793988525601572158659671572913\ 02297714658811912490562284711954914866555715413*c_0101_5^6 + 2425507509208057828036444181333548390545480835390359284560948066918\ 5011862664870198658343853/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^5 + 8994155842747654062786404539968467855270435208392952771423923469528\ 590973967506407644358910/107363093067793988525601572158659671572913\ 02297714658811912490562284711954914866555715413*c_0101_5^4 - 3261792975317458959304536622045216028546660363177140623710470941955\ 637922585252388694508426/107363093067793988525601572158659671572913\ 02297714658811912490562284711954914866555715413*c_0101_5^3 - 4056478072271320904410222374574256075964305794460648670503737373299\ 72250305500801569767977/1073630930677939885256015721586596715729130\ 2297714658811912490562284711954914866555715413*c_0101_5^2 + 1132623497859168277788212903737214045317922613211870990632158792022\ 69380756152843975395535/1073630930677939885256015721586596715729130\ 2297714658811912490562284711954914866555715413*c_0101_5 - 3066149845483724837527282412250618587013449386132071625659086124213\ 7093424515160106324327/10736309306779398852560157215865967157291302\ 297714658811912490562284711954914866555715413, c_0101_1 + 673544692765461592134194970808210963425388346386565780067094\ 978730424362686323999326010/107363093067793988525601572158659671572\ 91302297714658811912490562284711954914866555715413*c_0101_5^30 + 2081367476529484155796409784523831828573615871189398254635610494320\ 522545284499602672420/107363093067793988525601572158659671572913022\ 97714658811912490562284711954914866555715413*c_0101_5^29 - 1994712752788080760412598580304308752760761054467163892047350033609\ 5803436648692018144321/10736309306779398852560157215865967157291302\ 297714658811912490562284711954914866555715413*c_0101_5^28 - 9929212179306403095318666357109778066900153784152246754515464318102\ 8853201657797426321290/10736309306779398852560157215865967157291302\ 297714658811912490562284711954914866555715413*c_0101_5^27 - 1580367976178431368614272158827641482563746591771885781501472622794\ 55759710846828017987459/1073630930677939885256015721586596715729130\ 2297714658811912490562284711954914866555715413*c_0101_5^26 + 4724994985132338893987715986870135479226646106226401485968875661022\ 24991429883719541139394/1073630930677939885256015721586596715729130\ 2297714658811912490562284711954914866555715413*c_0101_5^25 + 3901388624431973679457722561042136623316538314087828572824634205935\ 744379505957526354099688/107363093067793988525601572158659671572913\ 02297714658811912490562284711954914866555715413*c_0101_5^24 + 9145624760175234312559347997453052557155090598542005161211445506995\ 4787371568972019941341/98498250520911916078533552439137313369644975\ 208391365246903583140226715182705197758857*c_0101_5^23 + 1149133791128253724326021684029874762684030378895545890482177192848\ 6762062255527361438910207/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^22 - 3307421774855560488869119943540415847155145427982860701419644514011\ 519769238566006482191626/107363093067793988525601572158659671572913\ 02297714658811912490562284711954914866555715413*c_0101_5^21 - 4516475362032761000187336976921132774035142413977527447498439454664\ 8835550789847488400833696/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^20 - 9113579853291328997369303092726384003920942894253557403785968064111\ 3455090159114620043652610/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^19 - 7821202607752983719786657850435198840768790609255003395085108767736\ 0155265741711790459901426/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^18 + 2516047350940255014384831752789338356416596546581146401446569658286\ 2066223845338063033207861/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^17 + 1161840216763317575576186839803144910278836270696827836440581201842\ 38614199023111422393072220/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^16 + 1246374828226198554612003585193171236788134627894033806595430382857\ 29196666268837684789763182/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^15 + 1085212097242589535695392749905206419867338053210889739405201810856\ 08080692519781793219124868/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^14 + 4367574406848153664823888838554534777456391397744168622423231927861\ 3247042870879169992604151/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^13 - 9942730851778329247118633782252924608214138605689312054226647993569\ 32421254040810602752716/1073630930677939885256015721586596715729130\ 2297714658811912490562284711954914866555715413*c_0101_5^12 - 2801733686935249052111477135327052191752054760601333750788912526589\ 1680027568477056606655690/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^11 - 4625252248487840086037057052844819724408998265292109389857137712093\ 6630981690757742325711343/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^10 - 3745222283244941553465270122891186764474407857122233160149404340021\ 8748463376263844470572311/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^9 - 1331251549558033830525651006062127494474181739787199838137966630029\ 3404147096536779543502888/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^8 + 4506783262306512270954606867792708256296938140608017227176282542747\ 854745753228259519226463/107363093067793988525601572158659671572913\ 02297714658811912490562284711954914866555715413*c_0101_5^7 + 2993047511452764442486972830537034392668907987771080178131590387460\ 317942612268199880151358/107363093067793988525601572158659671572913\ 02297714658811912490562284711954914866555715413*c_0101_5^6 + 2813260008427788424258719868710792831849488530423877037353688432371\ 034430846204860554925803/107363093067793988525601572158659671572913\ 02297714658811912490562284711954914866555715413*c_0101_5^5 + 1399406119193228732597824712422139940602567855528558339891582393341\ 225395846379138977366689/107363093067793988525601572158659671572913\ 02297714658811912490562284711954914866555715413*c_0101_5^4 + 3549322336343531494994444103545793294773419907404964003297629766554\ 30469641921823262014060/1073630930677939885256015721586596715729130\ 2297714658811912490562284711954914866555715413*c_0101_5^3 - 1170523041100099700481267225191082331881621323952889121681712804724\ 32091115687542395549037/1073630930677939885256015721586596715729130\ 2297714658811912490562284711954914866555715413*c_0101_5^2 - 2383647418995236627279736593902089826540494009431470422662818196043\ 3773443227113636345896/10736309306779398852560157215865967157291302\ 297714658811912490562284711954914866555715413*c_0101_5 + 4331877226750039237437840366944696251946618694280942442499067535936\ 695080609584702958086/107363093067793988525601572158659671572913022\ 97714658811912490562284711954914866555715413, c_0101_4 - 545813679302801177437381183708162438740304032275349199889046\ 4848479028984609998966160982/10736309306779398852560157215865967157\ 291302297714658811912490562284711954914866555715413*c_0101_5^30 - 1463898068744754223836971253592053429334458334978448216489427616092\ 1913699502972249432849/10736309306779398852560157215865967157291302\ 297714658811912490562284711954914866555715413*c_0101_5^29 + 1683956752025677312735672542376800394814251589121744955631735112387\ 76535961122776993562184/1073630930677939885256015721586596715729130\ 2297714658811912490562284711954914866555715413*c_0101_5^28 + 7378873672964657840056659864770582026637277070191048410992672635426\ 01846371554017343901414/1073630930677939885256015721586596715729130\ 2297714658811912490562284711954914866555715413*c_0101_5^27 + 9553777786251929086121957702565513564712082004313399290323988157175\ 90445748813912834132620/1073630930677939885256015721586596715729130\ 2297714658811912490562284711954914866555715413*c_0101_5^26 - 4320759410182524378708807375115500402061328413092568587580358459525\ 143563132313874437798166/107363093067793988525601572158659671572913\ 02297714658811912490562284711954914866555715413*c_0101_5^25 - 2997842757771245875099746682026886086578074834566034495721245718525\ 3507632950360014660906903/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^24 - 6232050431240355345169033314065867239855063253304290587314037859045\ 55633569130057599220458/9849825052091191607853355243913731336964497\ 5208391365246903583140226715182705197758857*c_0101_5^23 - 6121905559781678108372597783904885462618760821689195349764383747588\ 0258716414029829191379085/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^22 + 6102621132232077325241168187655038451172410415025091991318505678061\ 4670740877735478365415401/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^21 + 3491965684772020691667180475902087442532651643701367200817113969548\ 48217072682162855025225066/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^20 + 5874887498949441428800729793830099087355739234645285813159390631123\ 35152055117984715053263714/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^19 + 3463733167888626671375754006970710196029169779368754474165045155480\ 03760719974123798127785273/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^18 - 4241352896820152576368388998684855287316375607509290226616522500370\ 36383232446362603682876085/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^17 - 8140420256059128561979438436948283693778773340613070437951297514041\ 09246038403638131772556944/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^16 - 6217701740672640663114873508451778228587211169008386796338512624836\ 73096148446751751866401724/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^15 - 5224736525095039784882497339653291461806608714494873046208863312733\ 27658951220400317770030040/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^14 - 5773516416562834428292245144450382462549444261778014284848095179177\ 1481773861317860884814901/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^13 + 1092262905287651031333290753658495782951796115957003700746240641547\ 30484902372830514217269695/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^12 + 1916666454309825554831433071322206463193158808298036379409543018456\ 82229967776702187988523380/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^11 + 2893849342799981029348666885181683632258737736940227133555674485766\ 38604542994957616303979032/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^10 + 1602188088665780415097645303803196460417083957907972848438592703758\ 54114705097390615221507560/1073630930677939885256015721586596715729\ 1302297714658811912490562284711954914866555715413*c_0101_5^9 + 3295170470629927995798527612140396719941494615866570961273111605027\ 802401129957135628511398/107363093067793988525601572158659671572913\ 02297714658811912490562284711954914866555715413*c_0101_5^8 - 5879744510871016430063598661741802083885968845865722029857736717345\ 3682383896305202749293392/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^7 - 3152281748226038401427030971376531938911620935411140180439348058897\ 240823349054470390781542/107363093067793988525601572158659671572913\ 02297714658811912490562284711954914866555715413*c_0101_5^6 - 1554316235912619219744969922052852487687587420714697172184053710032\ 3928421097624983122985999/10736309306779398852560157215865967157291\ 302297714658811912490562284711954914866555715413*c_0101_5^5 - 5716124401331254609999376882314044715997435087558496724125315543818\ 867295562551983776585096/107363093067793988525601572158659671572913\ 02297714658811912490562284711954914866555715413*c_0101_5^4 + 2354861291870008533196743072263022728530085016387838707697819071149\ 708490119095330504861530/107363093067793988525601572158659671572913\ 02297714658811912490562284711954914866555715413*c_0101_5^3 + 3450506993669763085336853983213256044315024305675373932176737088411\ 62261480391395698847580/1073630930677939885256015721586596715729130\ 2297714658811912490562284711954914866555715413*c_0101_5^2 - 8300431355266832852024352575842085867442593011505550282264002131531\ 0635948827729289237183/10736309306779398852560157215865967157291302\ 297714658811912490562284711954914866555715413*c_0101_5 + 1702511211498046602952862467777679605672110586502403150706041320836\ 3283231021407351213009/10736309306779398852560157215865967157291302\ 297714658811912490562284711954914866555715413, c_0101_5^31 + 3*c_0101_5^30 - 30*c_0101_5^29 - 145*c_0101_5^28 - 218*c_0101_5^27 + 736*c_0101_5^26 + 5744*c_0101_5^25 + 14191*c_0101_5^24 + 15171*c_0101_5^23 - 7613*c_0101_5^22 - 67514*c_0101_5^21 - 127937*c_0101_5^20 - 97642*c_0101_5^19 + 57495*c_0101_5^18 + 173654*c_0101_5^17 + 161039*c_0101_5^16 + 131825*c_0101_5^15 + 41202*c_0101_5^14 - 16344*c_0101_5^13 - 41149*c_0101_5^12 - 63961*c_0101_5^11 - 46123*c_0101_5^10 - 9933*c_0101_5^9 + 10500*c_0101_5^8 + 3893*c_0101_5^7 + 2963*c_0101_5^6 + 1946*c_0101_5^5 - 94*c_0101_5^4 - 200*c_0101_5^3 - c_0101_5^2 + 3*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB