Magma V2.19-8 Tue Aug 20 2013 16:17:39 on localhost [Seed = 728414157] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1888 geometric_solution 5.50798979 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 0132 2310 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 0 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.489473379474 1.877138987233 0 2 2 0 3201 0132 3201 0132 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 1 0 -1 0 0 0 0 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.087715066177 0.580557419451 1 1 3 4 2310 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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 0 0 0 -0.875166377587 0.315666107016 4 5 6 2 1230 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -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.581493269907 1.204694479899 5 3 2 6 0132 3012 0132 0132 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 -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.581493269907 1.204694479899 4 3 5 5 0132 0132 2031 1302 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 -1 0 1 0 0 -1 1 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.667063598158 1.006095721124 6 6 4 3 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.191925754479 0.569185744291 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : negation(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' : negation(d['1']), 's_0_6' : negation(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_1100_2'], 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_1100_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_1100_2'], 'c_1100_2' : d['c_1100_2'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_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_3, c_0011_6, c_0101_1, c_0101_5, c_1100_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 2860616159613681594659922294346588155703780032925337379357172101297\ 1741871658225236212595836183717083906964999/94575730887524211168701\ 8958935489271826475850577698450885660002378035747954725011270260430\ 56703833279699801316*c_1100_2^27 - 2848668197339123114739918446689662459677744450048511473173298684759\ 14054544326242937242795557919967127925426583/9457573088752421116870\ 1895893548927182647585057769845088566000237803574795472501127026043\ 056703833279699801316*c_1100_2^26 + 1954553161314407174954726258330580581274949474455936064146193951878\ 471505558370795431462432184300023251550052747/945757308875242111687\ 0189589354892718264758505776984508856600023780357479547250112702604\ 3056703833279699801316*c_1100_2^25 + 4395660833457625648819042935466037592687840196447953768500065943335\ 346959688926500183605227838518081349351961591/472878654437621055843\ 5094794677446359132379252888492254428300011890178739773625056351302\ 1528351916639849900658*c_1100_2^24 - 7520810233549275147272145117996296605805916902951352774110735987159\ 7912817537668150774438351922854325307667528339/94575730887524211168\ 7018958935489271826475850577698450885660002378035747954725011270260\ 43056703833279699801316*c_1100_2^23 + 6458383012791044332886625220255902032907703857910289445031093957733\ 560594799232588171390775453979023453510550953/236439327218810527921\ 7547397338723179566189626444246127214150005945089369886812528175651\ 0764175958319924950329*c_1100_2^22 + 6987686637104785836724885498429575314202581693109952108216019255206\ 68626528110192287187887940567874256420466589443/9457573088752421116\ 8701895893548927182647585057769845088566000237803574795472501127026\ 043056703833279699801316*c_1100_2^21 - 2906819943013105184970835375826848998445886417691706723158887596647\ 22766882026958419472651296772033101109003117446/2364393272188105279\ 2175473973387231795661896264442461272141500059450893698868125281756\ 510764175958319924950329*c_1100_2^20 - 1169569061244530186870287822215582224326077855213749884361511041841\ 721597344405543085259265803660126050655325142093/472878654437621055\ 8435094794677446359132379252888492254428300011890178739773625056351\ 3021528351916639849900658*c_1100_2^19 + 9345260340964970675982681207961573289208844449751805418574110342879\ 140585060774924365234305039711495944121485091549/945757308875242111\ 6870189589354892718264758505776984508856600023780357479547250112702\ 6043056703833279699801316*c_1100_2^18 - 7079878217604409043768020071619037886956141636377009469471398547685\ 33770168825796898846069439049930144184952764613/4728786544376210558\ 4350947946774463591323792528884922544283000118901787397736250563513\ 021528351916639849900658*c_1100_2^17 - 4113169530940727842852916488664214056886125353722650458529671465296\ 1523004393886274141420386078376300754813632555405/94575730887524211\ 1687018958935489271826475850577698450885660002378035747954725011270\ 26043056703833279699801316*c_1100_2^16 + 3279756367333511147491191112436455325801713765101963273122059061832\ 5146650445203632473218515139151585603615312445357/94575730887524211\ 1687018958935489271826475850577698450885660002378035747954725011270\ 26043056703833279699801316*c_1100_2^15 + 1241397209403270603380317340695727763242024069048977785590728056871\ 65815157831287132857807022714871837083273203907183/9457573088752421\ 1168701895893548927182647585057769845088566000237803574795472501127\ 026043056703833279699801316*c_1100_2^14 - 5030326213075295250296255185173911588655787799362082218120158509037\ 88183416305003951612534817636342746620095447175/5030623983378947402\ 5905263773164322969493396307324385685407446935001901486953458046290\ 4484344169325955850007*c_1100_2^13 - 1483352053233783574945355322579832444272664484994313331315229672358\ 42033402013069645998849223554043328704494819442385/4728786544376210\ 5584350947946774463591323792528884922544283000118901787397736250563\ 513021528351916639849900658*c_1100_2^12 + 5186296085572990074071831788153511280574538492180790092031450580116\ 4363540904056193446633216345157859919751650921217/94575730887524211\ 1687018958935489271826475850577698450885660002378035747954725011270\ 26043056703833279699801316*c_1100_2^11 + 4588164079703223415819790285585580492774210579259538258535828023069\ 28325224464201111732877147791004157745281810004979/9457573088752421\ 1168701895893548927182647585057769845088566000237803574795472501127\ 026043056703833279699801316*c_1100_2^10 + 2227834094090603601966827776783025660845101086427631480854680635606\ 42245811664647733649645474919857487492130581857797/9457573088752421\ 1168701895893548927182647585057769845088566000237803574795472501127\ 026043056703833279699801316*c_1100_2^9 - 2799044709680840230263502222985122741307318785068181894811651577654\ 23740778344299496570288735822329340206375899389445/9457573088752421\ 1168701895893548927182647585057769845088566000237803574795472501127\ 026043056703833279699801316*c_1100_2^8 - 3388968476595936384318877085188532886253742334064547061999895551822\ 62174051904044435184518450559023600647249879015815/9457573088752421\ 1168701895893548927182647585057769845088566000237803574795472501127\ 026043056703833279699801316*c_1100_2^7 - 2211518440998898451005657889267599626804174331817429192647161015633\ 087835405714612266181034567116248865399939424485/556327828750142418\ 6394229170208760422508681473986461475798000013988445576204264772178\ 002532747284310570576548*c_1100_2^6 + 1295310848370210711692901550013662848551095661263903038148207512730\ 66019024755075309822189646883373340843777279931587/9457573088752421\ 1168701895893548927182647585057769845088566000237803574795472501127\ 026043056703833279699801316*c_1100_2^5 + 6667993064163810997018641511438888368708879945883254823506038166290\ 3960565804295204432596847456481022140741695941699/94575730887524211\ 1687018958935489271826475850577698450885660002378035747954725011270\ 26043056703833279699801316*c_1100_2^4 - 8267908542195680600533573273001337841448598970507342463520072098104\ 103269621067719006849309123933323907513590821927/945757308875242111\ 6870189589354892718264758505776984508856600023780357479547250112702\ 6043056703833279699801316*c_1100_2^3 - 2834248020876618470081432168220635165423018602075265694923463244128\ 065851893574192469197755062567929585300416591036/236439327218810527\ 9217547397338723179566189626444246127214150005945089369886812528175\ 6510764175958319924950329*c_1100_2^2 - 4243601540997746346951352072440915348113155731864431275326143461506\ 01022246390728221717138186821715376969158769049/9457573088752421116\ 8701895893548927182647585057769845088566000237803574795472501127026\ 043056703833279699801316*c_1100_2 + 4680631109284424352777582362581267784546896436390759384190602583462\ 60281203676182091941022637959675719882234753371/9457573088752421116\ 8701895893548927182647585057769845088566000237803574795472501127026\ 043056703833279699801316, c_0011_0 - 1, c_0011_1 + 255445550712610787021895958396255831535875721747201424589352\ 442365629784505928982265826754/168307465989850264545693212019937821\ 6984457403469296326332900510563894458715071878222253262557*c_1100_2\ ^27 + 2319988306074086160409000053026399465046694626559607658569360\ 567944731253688376681152368579/168307465989850264545693212019937821\ 6984457403469296326332900510563894458715071878222253262557*c_1100_2\ ^26 - 3898263883261229745494887115232941877652468883799986313351366\ 8597783918594462176560850241375/33661493197970052909138642403987564\ 33968914806938592652665801021127788917430143756444506525114*c_1100_\ 2^25 - 614713732578808673203018436380280683858853542465245656887749\ 47984343469542548537967045541213/1683074659898502645456932120199378\ 216984457403469296326332900510563894458715071878222253262557*c_1100\ _2^24 + 72586092859115293162367219932025210364205514669442858824116\ 9737702874029418959979838996633372/16830746598985026454569321201993\ 78216984457403469296326332900510563894458715071878222253262557*c_11\ 00_2^23 - 865577558238308225818472679301105362239874372297766478196\ 898943759573400017570561185793008656/168307465989850264545693212019\ 9378216984457403469296326332900510563894458715071878222253262557*c_\ 1100_2^22 - 1099358524823631152871074465616896009094143422992123271\ 4435628088739091868090993818948591937161/33661493197970052909138642\ 4039875643396891480693859265266580102112778891743014375644450652511\ 4*c_1100_2^21 + 304461145971733081931001186612036496248737410583308\ 12974961640217943180450560545764642822563505/3366149319797005290913\ 8642403987564339689148069385926526658010211277889174301437564445065\ 25114*c_1100_2^20 + 15313696748743506721563739373021292399970915129\ 734358819628476765006434811756729972831347142143/336614931979700529\ 0913864240398756433968914806938592652665801021127788917430143756444\ 506525114*c_1100_2^19 - 9052325539441700246264343698566604309838766\ 8991288846878069989762453850155601789480990923550362/16830746598985\ 0264545693212019937821698445740346929632633290051056389445871507187\ 8222253262557*c_1100_2^18 + 183821906311598640404297916482033711436\ 563316365658282745284739463490222485914696693577911827509/336614931\ 9797005290913864240398756433968914806938592652665801021127788917430\ 143756444506525114*c_1100_2^17 + 2887427478417120656212341537807160\ 33285449635035430884823661383925076385072882208194338145632591/1683\ 0746598985026454569321201993782169844574034692963263329005105638944\ 58715071878222253262557*c_1100_2^16 - 1096937968794918946510843722798192799737182403422890726503800877732\ 626126852015640657227685858669/336614931979700529091386424039875643\ 3968914806938592652665801021127788917430143756444506525114*c_1100_2\ ^15 - 6334798186592296662933502203358895447890555022018534027993380\ 36277781725243504302812856298146146/1683074659898502645456932120199\ 378216984457403469296326332900510563894458715071878222253262557*c_1\ 100_2^14 + 14135882594855032163386431394759410839950927013572992013\ 23233324957516316947404453092982214764782/1683074659898502645456932\ 1201993782169844574034692963263329005105638944587150718782222532625\ 57*c_1100_2^13 + 28411172602596685937600917973931697093913025347583\ 15295376496636151222359368112898255567870771883/3366149319797005290\ 9138642403987564339689148069385926526658010211277889174301437564445\ 06525114*c_1100_2^12 - 34899386535972165677225779986424733941745031\ 68973981452556210784797983538286001958184760040873639/3366149319797\ 0052909138642403987564339689148069385926526658010211277889174301437\ 56444506525114*c_1100_2^11 - 25906950592707840835062247249477043613\ 83899306303956270373381593405368126710192528241571045528647/1683074\ 6598985026454569321201993782169844574034692963263329005105638944587\ 15071878222253262557*c_1100_2^10 + 3368600150612388837306395312244660954589511787910803619758183794014\ 81143890183181568039127207678/1683074659898502645456932120199378216\ 984457403469296326332900510563894458715071878222253262557*c_1100_2^\ 9 + 451709755087363650469691134035763127565989022082049820332284696\ 4583242308665286884879079745714881/33661493197970052909138642403987\ 56433968914806938592652665801021127788917430143756444506525114*c_11\ 00_2^8 + 1010812029723224821130226338562926789227067710666571938123\ 435353526284179673998601403477306893179/168307465989850264545693212\ 0199378216984457403469296326332900510563894458715071878222253262557\ *c_1100_2^7 - 36603201246573317033095300572607417001702780668301600\ 311737993886200376567965673544595985811794/990043917587354497327607\ 1295290460099908572961584096037252355944493496815971011048366195662\ 1*c_1100_2^6 - 1252341394767781490957817435703473026805656932615941\ 045944051514706234169957191935993481763597993/336614931979700529091\ 3864240398756433968914806938592652665801021127788917430143756444506\ 525114*c_1100_2^5 - 93760177709200993412105048528748002572035837272\ 25526337905054455419956053604682449437805419442/1683074659898502645\ 4569321201993782169844574034692963263329005105638944587150718782222\ 53262557*c_1100_2^4 + 111482499808413725455485406371287037203419603\ 906124364032689865341932377569875341712747515797820/168307465989850\ 2645456932120199378216984457403469296326332900510563894458715071878\ 222253262557*c_1100_2^3 + 13167325607341657029804457883920403285534\ 061370412996156832831938186060243590220300614160862577/336614931979\ 7005290913864240398756433968914806938592652665801021127788917430143\ 756444506525114*c_1100_2^2 - 65319025759965709806748058507701723032\ 90736907620602076147249665791496225835087654759298729057/1683074659\ 8985026454569321201993782169844574034692963263329005105638944587150\ 71878222253262557*c_1100_2 - 24783971576151619630272844850909370248\ 39525143066139927848838940310913816506222171758679561379/3366149319\ 7970052909138642403987564339689148069385926526658010211277889174301\ 43756444506525114, c_0011_3 - 716567750174293214482222917785071791283704188372869730634062\ 649098913316177265635809720877/336614931979700529091386424039875643\ 3968914806938592652665801021127788917430143756444506525114*c_1100_2\ ^27 - 3253046000745217970790192039987208343317515671239411993947412\ 875452204803858501139665507878/168307465989850264545693212019937821\ 6984457403469296326332900510563894458715071878222253262557*c_1100_2\ ^26 + 2734687954562055200077842172897821240159171191717896153462233\ 4835488971150084198590985457992/16830746598985026454569321201993782\ 16984457403469296326332900510563894458715071878222253262557*c_1100_\ 2^25 + 861491827945473816658903998469289880801204739477463830148012\ 49104508025128633760074261040209/1683074659898502645456932120199378\ 216984457403469296326332900510563894458715071878222253262557*c_1100\ _2^24 - 20366447573342416686510620485587920172073549031081044897159\ 89528532587281917480706343690709087/3366149319797005290913864240398\ 756433968914806938592652665801021127788917430143756444506525114*c_1\ 100_2^23 + 24333106800329774467990633517001683588092063326571360446\ 60523452420192195674511044727259576681/3366149319797005290913864240\ 398756433968914806938592652665801021127788917430143756444506525114*\ c_1100_2^22 + 15414371488572924166246341976595646118546742358214724\ 599661153232939513833824986006045349442343/336614931979700529091386\ 4240398756433968914806938592652665801021127788917430143756444506525\ 114*c_1100_2^21 - 2137261439418396492009604522786396603636611379629\ 2689227146397923459466581507429055557448872550/16830746598985026454\ 5693212019937821698445740346929632633290051056389445871507187822225\ 3262557*c_1100_2^20 - 213781168983881069116947077155459551422661319\ 74003736427156332719984966230600926337893559847919/3366149319797005\ 2909138642403987564339689148069385926526658010211277889174301437564\ 44506525114*c_1100_2^19 + 12701030106806525310347884248634656583690\ 1534068812552513885648335526853818442181889551187080589/16830746598\ 9850264545693212019937821698445740346929632633290051056389445871507\ 1878222253262557*c_1100_2^18 - 258468034192817986986668882070173329\ 361858896169024385051177474753507044245256658931129347943341/336614\ 9319797005290913864240398756433968914806938592652665801021127788917\ 430143756444506525114*c_1100_2^17 - 4047472048292216633971585878284447839340906956162737230017404464433\ 39287675840567063123825742780/1683074659898502645456932120199378216\ 984457403469296326332900510563894458715071878222253262557*c_1100_2^\ 16 + 77042155196725427045391703824127284311895627488194446082361961\ 1169299686894003501706131078343023/16830746598985026454569321201993\ 78216984457403469296326332900510563894458715071878222253262557*c_11\ 00_2^15 + 177366172648899626977870970290613346986956927187679954567\ 4795332024346085532480094775063631505243/33661493197970052909138642\ 4039875643396891480693859265266580102112778891743014375644450652511\ 4*c_1100_2^14 - 397129932130912294189355450238863321041076387265791\ 0058960626559317072743087007035157739714075191/33661493197970052909\ 1386424039875643396891480693859265266580102112778891743014375644450\ 6525114*c_1100_2^13 - 198808256000792557047549212192048815414869547\ 2049593830491220545339026424845589980905466504890986/16830746598985\ 0264545693212019937821698445740346929632633290051056389445871507187\ 8222253262557*c_1100_2^12 + 245461622352797736598858839804047006083\ 1431844554497032745953881562209728642800382370048717542385/16830746\ 5989850264545693212019937821698445740346929632633290051056389445871\ 5071878222253262557*c_1100_2^11 + 725871251051444351116317889696647\ 5608758219426338300464207500390991336302447153899007311248312015/33\ 6614931979700529091386424039875643396891480693859265266580102112778\ 8917430143756444506525114*c_1100_2^10 - 4849363388327866970915495261784888296550222279529830755369044294076\ 22066154003749443687834400427/1683074659898502645456932120199378216\ 984457403469296326332900510563894458715071878222253262557*c_1100_2^\ 9 - 317160663102232793140062621819954848811793978960066143223072914\ 3153342528754373595401711366905879/16830746598985026454569321201993\ 78216984457403469296326332900510563894458715071878222253262557*c_11\ 00_2^8 - 2818641102115627020434897023194400485205903030926416566157\ 290942531431989603169352064964680679375/336614931979700529091386424\ 0398756433968914806938592652665801021127788917430143756444506525114\ *c_1100_2^7 + 51875357906308052796384760688440572335222278015982080\ 231452047841400650456157693882855648296638/990043917587354497327607\ 1295290460099908572961584096037252355944493496815971011048366195662\ 1*c_1100_2^6 + 8806633271545905871818027627839503469826827667204586\ 46138171352980886381902156824161744561463495/1683074659898502645456\ 9321201993782169844574034692963263329005105638944587150718782222532\ 62557*c_1100_2^5 + 237262942377141582423938258107565248661808963972\ 36551041191625923311422407909600867903748341277/3366149319797005290\ 9138642403987564339689148069385926526658010211277889174301437564445\ 06525114*c_1100_2^4 - 157112979342019156951082884928908981994701681\ 308788770004530512919642105372148529186741858262205/168307465989850\ 2645456932120199378216984457403469296326332900510563894458715071878\ 222253262557*c_1100_2^3 - 18465305702523742914695671302554904292183\ 859655665496127063586401189274885204277784096794867721/336614931979\ 7005290913864240398756433968914806938592652665801021127788917430143\ 756444506525114*c_1100_2^2 + 96925551344666891098511819011106246687\ 13364836450005542250492223000076699628220198005087802070/1683074659\ 8985026454569321201993782169844574034692963263329005105638944587150\ 71878222253262557*c_1100_2 + 59323323209030409452320770846840968195\ 3242959839767321880445022198528614564418971019842670437/16830746598\ 9850264545693212019937821698445740346929632633290051056389445871507\ 1878222253262557, c_0011_6 - 423504841422493930454145147675623436992607039438343073740277\ 94734692274889918159129352308262479216312999/4514354696301871654830\ 6394221264404383125338929723076414589976247161610880893795287363266\ 3755149562194271128*c_1100_2^27 - 379538970924355796997106993778491\ 0144309501975037035176412345862077989554205618292661353801813387165\ 90081/4514354696301871654830639422126440438312533892972307641458997\ 62471616108808937952873632663755149562194271128*c_1100_2^26 + 3271919893529194274334318061635267834045391463574146786609726928368\ 179819842125166712340693027195630942127/451435469630187165483063942\ 2126440438312533892972307641458997624716161088089379528736326637551\ 49562194271128*c_1100_2^25 + 12194000349649597764735077441467547493\ 3873881422048210259611535982810488900756773006223283077839626850395\ 8/56429433703773395685382992776580505478906673662153845518237470308\ 952013601117244109204082969393695274283891*c_1100_2^24 - 1210804217273648521396513494895758236015492411914284065264850807773\ 85123347987351323488392090139980235375041/4514354696301871654830639\ 4221264404383125338929723076414589976247161610880893795287363266375\ 5149562194271128*c_1100_2^23 + 198660719051125862283834591035121710\ 6606557710622256429950867995294309449458436976142837018714601222009\ 2188/56429433703773395685382992776580505478906673662153845518237470\ 308952013601117244109204082969393695274283891*c_1100_2^22 + 8767576203843932701745220985457458611795855862287123250282510914291\ 23036804516750160405779372598219933309963/4514354696301871654830639\ 4221264404383125338929723076414589976247161610880893795287363266375\ 5149562194271128*c_1100_2^21 - 129897102010382844866249631284761847\ 1175302293708199891378653030909577638718336210124354670412688772570\ 698011/225717734815093582741531971106322021915626694648615382072949\ 881235808054404468976436816331877574781097135564*c_1100_2^20 - 1095421583423658186347451736510603613566368891263328769574021510172\ 94434081561269495865345065806398454640529/5642943370377339568538299\ 2776580505478906673662153845518237470308952013601117244109204082969\ 393695274283891*c_1100_2^19 + 1474308318873116649972350640991909730\ 8909050491933874390228009045124893009858567310449105334532666445805\ 567931/451435469630187165483063942212644043831253389297230764145899\ 762471616108808937952873632663755149562194271128*c_1100_2^18 - 8414299682388997200353371480499266169908525908828389659909305778682\ 913676373906175570274015051364335638633775/225717734815093582741531\ 9711063220219156266946486153820729498812358080544044689764368163318\ 77574781097135564*c_1100_2^17 - 44274972713790314352390394864236750\ 3177350084469852672535921613779391531273187254183233491385372360249\ 00974561/4514354696301871654830639422126440438312533892972307641458\ 99762471616108808937952873632663755149562194271128*c_1100_2^16 + 9312666463240288121386908943969981297857335655709331767479054672749\ 3102306021402745715380798653552721540227831/45143546963018716548306\ 3942212644043831253389297230764145899762471616108808937952873632663\ 755149562194271128*c_1100_2^15 + 9107286742627411485814371654101766\ 3674569826732563625629478982331960433313003224227202736672385051442\ 956704923/451435469630187165483063942212644043831253389297230764145\ 899762471616108808937952873632663755149562194271128*c_1100_2^14 - 2477634584457175895244619783196201913023046970099611317491860302654\ 994107013683172522166352254777053910902707/480250499606582090939429\ 7257581319615226099886140752810062763430549107540520616519932262380\ 373931512705012*c_1100_2^13 - 2569447568763883232255228979336220364\ 9129100409390367712112831456983028116012566341819236669545091846673\ 311880/564294337037733956853829927765805054789066736621538455182374\ 70308952013601117244109204082969393695274283891*c_1100_2^12 + 2877133830713268087268116087277524188888967139582316885914036457910\ 42306139161240028851578994308761692712364247/4514354696301871654830\ 6394221264404383125338929723076414589976247161610880893795287363266\ 3755149562194271128*c_1100_2^11 + 386460331493477117547883652558848\ 4636783407816952851280329223381580530857192976607076283049481417501\ 36693618267/4514354696301871654830639422126440438312533892972307641\ 45899762471616108808937952873632663755149562194271128*c_1100_2^10 - 6821029551459129260606482427246767138648875975444260862048757574087\ 1287115663513016471687831286050620581762361/45143546963018716548306\ 3942212644043831253389297230764145899762471616108808937952873632663\ 755149562194271128*c_1100_2^9 - 33803503898898320593654740903986245\ 4456260358301765362311294113331250916890909590998680563166616317442\ 018106525/451435469630187165483063942212644043831253389297230764145\ 899762471616108808937952873632663755149562194271128*c_1100_2^8 - 1439028854498193087947838514962822403983357205472468359226076074885\ 01084887412655772480729716576622401723086629/4514354696301871654830\ 6394221264404383125338929723076414589976247161610880893795287363266\ 3755149562194271128*c_1100_2^7 + 5184464806852494366465785007247976\ 9041158052358575662399384309127686601462631182978162390641202911038\ 21253599/2655502762530512738135670248309670846066196407630769200858\ 2338968918594635819879580801921397361738952604184*c_1100_2^6 + 8502198196628323376979629589103270175575041182377932574290072670201\ 0216357066485600682329916745432404925976761/45143546963018716548306\ 3942212644043831253389297230764145899762471616108808937952873632663\ 755149562194271128*c_1100_2^5 + 26565775516608652809792408994022870\ 2696753480806994805868554720569175247657437887809039335528912114343\ 4042687/45143546963018716548306394221264404383125338929723076414589\ 9762471616108808937952873632663755149562194271128*c_1100_2^4 - 1072353678821425961408130258925984309726436861302804057482116176597\ 1896156623326210418870661158059585289600701/45143546963018716548306\ 3942212644043831253389297230764145899762471616108808937952873632663\ 755149562194271128*c_1100_2^3 + 12807970750616844708501704447482597\ 3609601848493605358052263643120428491401550687102437396765306262921\ 221788/564294337037733956853829927765805054789066736621538455182374\ 70308952013601117244109204082969393695274283891*c_1100_2^2 + 3403332036589478938938684905087170574296051333481617056215824049496\ 85841376176574261728200462962545042003963/4514354696301871654830639\ 4221264404383125338929723076414589976247161610880893795287363266375\ 5149562194271128*c_1100_2 - 123189131670807452722202067337954615877\ 6438530112339120864803766707113991848766073818467423635599889902494\ 59/4514354696301871654830639422126440438312533892972307641458997624\ 71616108808937952873632663755149562194271128, c_0101_1 + 323323632273058339917352947347515025268428773854087826645989\ 590175600295313155085544762030386282399/464908518496207251635459560\ 2692468165756147034018153736750013001499620077948321897320679942278\ 733313364*c_1100_2^27 + 3240409883705105025635988387718209434642281\ 752491251768592717347887924508650212130073270591040418187/464908518\ 4962072516354595602692468165756147034018153736750013001499620077948\ 321897320679942278733313364*c_1100_2^26 - 2187574456185874635293413036647489786417799021833674334232915679761\ 0094701889379800628759921303502807/46490851849620725163545956026924\ 6816575614703401815373675001300149962007794832189732067994227873331\ 3364*c_1100_2^25 - 251748364990032904358504675830687793428610483070\ 28481222677853238514724464656117080110129923958440193/1162271296240\ 5181290886489006731170414390367585045384341875032503749050194870804\ 74330169985569683328341*c_1100_2^24 + 8428837492753086788272669663925849270289898420826704692559019024465\ 28300004875830021763380281369480297/4649085184962072516354595602692\ 4681657561470340181537367500130014996200779483218973206799422787333\ 13364*c_1100_2^23 - 11938311810399085956246182349470137345075308461\ 7745748436356714776955044405666895454177692745359669497/23245425924\ 8103625817729780134623408287807351700907686837500650074981003897416\ 0948660339971139366656682*c_1100_2^22 - 7889808475457733752574541143980057909554822938174656376106408540574\ 266360412499480549059065391754662873/464908518496207251635459560269\ 2468165756147034018153736750013001499620077948321897320679942278733\ 313364*c_1100_2^21 + 3141213078842039623118791642417123588481154807\ 080034377867797235863139770421334595989816631010964230071/116227129\ 6240518129088648900673117041439036758504538434187503250374905019487\ 080474330169985569683328341*c_1100_2^20 + 6810764020368539330943700744603630293231991407999214079665799373164\ 978788802099795675122758880652847840/116227129624051812908864890067\ 3117041439036758504538434187503250374905019487080474330169985569683\ 328341*c_1100_2^19 - 1034226918416207270254427988737147685760852629\ 84315082633293369896700413907789737505054791285926910445685/4649085\ 1849620725163545956026924681657561470340181537367500130014996200779\ 48321897320679942278733313364*c_1100_2^18 + 4134230149774667984728748740523562955503729620439420559982549629516\ 554716771478697801294739920036275751/232454259248103625817729780134\ 6234082878073517009076868375006500749810038974160948660339971139366\ 656682*c_1100_2^17 + 4655031112676644361910330276541463282468914123\ 93279616873468008949218037322232779805316745479044186075355/4649085\ 1849620725163545956026924681657561470340181537367500130014996200779\ 48321897320679942278733313364*c_1100_2^16 - 3361427390822465842072580694488102533661776250311388874556845284255\ 63794320135440194123080270482259358531/4649085184962072516354595602\ 6924681657561470340181537367500130014996200779483218973206799422787\ 33313364*c_1100_2^15 - 14324159999113379199751281074208098662761289\ 65131245056899913103197152814833798678844129913771629350228195/4649\ 0851849620725163545956026924681657561470340181537367500130014996200\ 77948321897320679942278733313364*c_1100_2^14 + 2441422815879373268957963124473603338667075292520984419736963178049\ 44647312751228188501351376869947051814/1162271296240518129088648900\ 6731170414390367585045384341875032503749050194870804743301699855696\ 83328341*c_1100_2^13 + 17172134289247376017799970642738583815961016\ 32128580373430320320277758139355984466383512790282872528837443/2324\ 5425924810362581772978013462340828780735170090768683750065007498100\ 38974160948660339971139366656682*c_1100_2^12 - 3995432494869656457025008588037375067004446471118761912339877105257\ 78260590650990473189704832605784098007/4649085184962072516354595602\ 6924681657561470340181537367500130014996200779483218973206799422787\ 33313364*c_1100_2^11 - 52104843630744989548308870542687714305321067\ 73724675432876716491795672667680345584015567442533937909816795/4649\ 0851849620725163545956026924681657561470340181537367500130014996200\ 77948321897320679942278733313364*c_1100_2^10 - 2768637108806103022842215318121610664713092018117794956398253321594\ 226202232483649035400965203049913631617/464908518496207251635459560\ 2692468165756147034018153736750013001499620077948321897320679942278\ 733313364*c_1100_2^9 + 29813415578483023387638910589283728495397924\ 13656394655485122146876924485049741517944640353730001822640293/4649\ 0851849620725163545956026924681657561470340181537367500130014996200\ 77948321897320679942278733313364*c_1100_2^8 + 3893600018882041015298054359610878906401165414687582869898119979938\ 832216462470228210718093912020649159261/464908518496207251635459560\ 2692468165756147034018153736750013001499620077948321897320679942278\ 733313364*c_1100_2^7 + 35585364819095704998471830962697101030114424\ 733093008383302222135078080829758838564674724089868432124739/273475\ 5991154160303737997413348510685738910020010678668676478236176247104\ 67548346901216467192866665492*c_1100_2^6 - 1342674903585642544140429070152161914184357695453109081754325347256\ 855072291963039661339340074749847320269/464908518496207251635459560\ 2692468165756147034018153736750013001499620077948321897320679942278\ 733313364*c_1100_2^5 - 74607763176724572001127656019397807197836310\ 7896958562596449591252809089877794522051814054927324317830479/46490\ 8518496207251635459560269246816575614703401815373675001300149962007\ 7948321897320679942278733313364*c_1100_2^4 + 5652379621002126869003457530124738577070995727425916709086532275370\ 6487469134783052501377575903105749699/46490851849620725163545956026\ 9246816575614703401815373675001300149962007794832189732067994227873\ 3313364*c_1100_2^3 + 2538189680169793182871990539914445557147945343\ 4489682314509543323994341142534449473201536489946930713298/11622712\ 9624051812908864890067311704143903675850453843418750325037490501948\ 7080474330169985569683328341*c_1100_2^2 + 1846321266564503115270127351137224321603423495735760065038937782807\ 827106369425857972778894561596709811/464908518496207251635459560269\ 2468165756147034018153736750013001499620077948321897320679942278733\ 313364*c_1100_2 - 2114929616612368492898541314193640959763770595590\ 479671437465508410356743635232169976893318122370715505/464908518496\ 2072516354595602692468165756147034018153736750013001499620077948321\ 897320679942278733313364, c_0101_5 + 219800563602690304520373369717644993648143801424639592914239\ 35132557186978087387054463103179025469334075/1128588674075467913707\ 6598555316101095781334732430769103647494061790402720223448821840816\ 5938787390548567782*c_1100_2^27 + 201926632282020763744550729176578\ 1162261884837120169332536092431874820113419544177866882752001692890\ 01825/1128588674075467913707659855531610109578133473243076910364749\ 40617904027202234488218408165938787390548567782*c_1100_2^26 - 8297261960668379031235888786668050094195451768040262037345222986159\ 92525388366600534977683465897455932589/5642943370377339568538299277\ 6580505478906673662153845518237470308952013601117244109204082969393\ 695274283891*c_1100_2^25 - 2745429713732021173442548114125422502690\ 831929904646989126816829392343031956841629155808154888511229855996/\ 5642943370377339568538299277658050547890667366215384551823747030895\ 2013601117244109204082969393695274283891*c_1100_2^24 + 6217313757030700276028100003714557317580406218929217716351557380792\ 5035500699769218602355824902172068730021/11285886740754679137076598\ 5553161010957813347324307691036474940617904027202234488218408165938\ 787390548567782*c_1100_2^23 - 3371965714324039829445609263009954266\ 8944293126749549110399437579179073033464413245497314486910281744903\ 434/564294337037733956853829927765805054789066736621538455182374703\ 08952013601117244109204082969393695274283891*c_1100_2^22 - 2451695051931009110353304074829712331207276928421137490617700015892\ 95673482041231835412189075731901243838852/5642943370377339568538299\ 2776580505478906673662153845518237470308952013601117244109204082969\ 393695274283891*c_1100_2^21 + 1280727903963318564204430847415372495\ 5740499939969096264089486676709863020207713624723620091291467807721\ 78835/1128588674075467913707659855531610109578133473243076910364749\ 40617904027202234488218408165938787390548567782*c_1100_2^20 + 8438285716843415521601479393350993282468678134362650981696178559165\ 01015523301677945948544432236585658504749/1128588674075467913707659\ 8555316101095781334732430769103647494061790402720223448821840816593\ 8787390548567782*c_1100_2^19 - 795709358422571252471665305187029731\ 6906474180911270999083504488947835445678034992026279527782699002099\ 607095/112858867407546791370765985553161010957813347324307691036474\ 940617904027202234488218408165938787390548567782*c_1100_2^18 + 7238026051836141878787886575659151630213309176678974504860075836524\ 025006231739586692078897478377952073463659/112858867407546791370765\ 9855531610109578133473243076910364749406179040272022344882184081659\ 38787390548567782*c_1100_2^17 + 26645757739616388302431886105335201\ 5468592746188334164707493685398191345869696688974377457550313413981\ 96051853/1128588674075467913707659855531610109578133473243076910364\ 74940617904027202234488218408165938787390548567782*c_1100_2^16 - 2335763456364006615647519341154975387770053261206328099834927246005\ 7858161510343713724763006196335755061956288/56429433703773395685382\ 9927765805054789066736621538455182374703089520136011172441092040829\ 69393695274283891*c_1100_2^15 - 60860025518459351704740276217673038\ 1965858431154453086266037979877630163505437922391642878924370091186\ 33015893/1128588674075467913707659855531610109578133473243076910364\ 74940617904027202234488218408165938787390548567782*c_1100_2^14 + 1320085954802461239421777700730128497527265552945452983392287870891\ 110236060375318573444194827771295179545138/120062624901645522734857\ 4314395329903806524971535188202515690857637276885130154129983065595\ 093482878176253*c_1100_2^13 + 1344748228898119590709638352187428209\ 8881950233557745806986185203609744019240277857032123753176491058241\ 3679691/11285886740754679137076598555316101095781334732430769103647\ 4940617904027202234488218408165938787390548567782*c_1100_2^12 - 7697015663337968971828620127292795592650316268905845125645570479830\ 3648563872191248900082129310309884504606202/56429433703773395685382\ 9927765805054789066736621538455182374703089520136011172441092040829\ 69393695274283891*c_1100_2^11 - 23916078780383431356603715230937082\ 2675014923937499407793736120187492553717785518815379347897996966229\ 200206737/112858867407546791370765985553161010957813347324307691036\ 474940617904027202234488218408165938787390548567782*c_1100_2^10 + 2640243145692145083585152255915832406661026031984590853267044369367\ 6125647659196970626250541134844139142552205/11285886740754679137076\ 5985553161010957813347324307691036474940617904027202234488218408165\ 938787390548567782*c_1100_2^9 + 10362234292363313745585352634690067\ 4448843748786293879265501299733679097255658593515922286720299483006\ 166858013/564294337037733956853829927765805054789066736621538455182\ 37470308952013601117244109204082969393695274283891*c_1100_2^8 + 9513495485011597133003507719801533065437455949801746651995615602850\ 0257984680593063670804197197442791710869643/11285886740754679137076\ 5985553161010957813347324307691036474940617904027202234488218408165\ 938787390548567782*c_1100_2^7 - 33633566977869409414811733122938669\ 9511652061552172953644471923648858610828180011056193903201623800367\ 6301177/66387569063262818453391756207741771151654910190769230021455\ 84742229648658954969895200480349340434738151046*c_1100_2^6 - 2959433232677473328213047696038200823012966374311857742299116627209\ 0412284189863446917368159206415349421373627/56429433703773395685382\ 9927765805054789066736621538455182374703089520136011172441092040829\ 69393695274283891*c_1100_2^5 - 138224649562906506308230832733375905\ 6747100527776813300097159064273472396985747534241817368490056391413\ 081863/112858867407546791370765985553161010957813347324307691036474\ 940617904027202234488218408165938787390548567782*c_1100_2^4 + 1066636122903495913726161791834190884618526741511049861319253489835\ 1001627716412315576374553940767983644263311/11285886740754679137076\ 5985553161010957813347324307691036474940617904027202234488218408165\ 938787390548567782*c_1100_2^3 + 63771635142004904419719653508462041\ 7763185583518363703003615904986555413967552024227186559654872720638\ 218805/112858867407546791370765985553161010957813347324307691036474\ 940617904027202234488218408165938787390548567782*c_1100_2^2 - 5448882480295712204035752268152665948421914772452449663828639225792\ 62995315627429612093303189633691555777519/1128588674075467913707659\ 8555316101095781334732430769103647494061790402720223448821840816593\ 8787390548567782*c_1100_2 - 101855348282136802237250137371049278840\ 9705286847900796319509797609674425198317334914467762020625632967150\ 2/56429433703773395685382992776580505478906673662153845518237470308\ 952013601117244109204082969393695274283891, c_1100_2^28 + 10*c_1100_2^27 - 68*c_1100_2^26 - 311*c_1100_2^25 + 2623*c_1100_2^24 - 771*c_1100_2^23 - 24717*c_1100_2^22 + 39903*c_1100_2^21 + 85418*c_1100_2^20 - 328385*c_1100_2^19 + 32659*c_1100_2^18 + 1471129*c_1100_2^17 - 1115204*c_1100_2^16 - 4491036*c_1100_2^15 + 3303951*c_1100_2^14 + 10749530*c_1100_2^13 - 1842261*c_1100_2^12 - 16665076*c_1100_2^11 - 7920496*c_1100_2^10 + 10430296*c_1100_2^9 + 12264016*c_1100_2^8 + 1021008*c_1100_2^7 - 4932002*c_1100_2^6 - 2363642*c_1100_2^5 + 434112*c_1100_2^4 + 447425*c_1100_2^3 - 1249*c_1100_2^2 - 22754*c_1100_2 + 419 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB