Magma V2.19-8 Tue Aug 20 2013 16:17:37 on localhost [Seed = 3229703206] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1853 geometric_solution 5.49421910 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 -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 -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.457644007893 0.270235201407 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.922177058186 0.686467766341 1 4 5 5 0132 0132 0132 3201 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 -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.585550488040 1.375848738419 5 5 4 1 2310 1023 0132 0132 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 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 0.585550488040 1.375848738419 6 2 6 3 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.737337745571 0.568520712499 3 2 3 2 1023 2310 3201 0132 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 -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.261894114125 0.615363993161 4 6 4 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.563138963355 0.144065974903 ==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' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : 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_1'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), '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' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 2045249441779425532474330997703879339324608776831926326768453480927\ 3008713584776564467209692959901/15379132472613716605861413657760117\ 620273978572514659532480756574659374049040580096982086082432*c_0101\ _4^31 - 49875051923437918627587282968535332997732904695208180389448\ 55878623456543334864742623265778971599/1281594372717809717155117804\ 813343135022831547709554961040063047888281170753381674748507173536*\ c_0101_4^30 + 23146898328969614521306477450839920744882826406223496\ 242753009327445821432899975587713333054791189/480597889769178643933\ 1691768050036756335618303910831103900236429581054390325181280306901\ 90076*c_0101_4^29 + 16020585742269796000097173917868619737490216467\ 63428319822015617904577325338296456967298994961110477/1537913247261\ 3716605861413657760117620273978572514659532480756574659374049040580\ 096982086082432*c_0101_4^28 - 5243743354596007133775882187766731053\ 710929936156961218435732226448168916145790501363342068745383953/768\ 9566236306858302930706828880058810136989286257329766240378287329687\ 024520290048491043041216*c_0101_4^27 - 3552615572399384396874757234757393963911584052500749445437202417209\ 258967601511766127142176387230175/256318874543561943431023560962668\ 6270045663095419109922080126095776562341506763349497014347072*c_010\ 1_4^26 + 9448668307077451024619817708629780825837858277061650308280\ 6158104995204210315785304709930816751183945/15379132472613716605861\ 4136577601176202739785725146595324807565746593740490405800969820860\ 82432*c_0101_4^25 + 53304120383778539587854726320103599345216371620\ 155292217692904566378452164223150126579023919992353739/768956623630\ 6858302930706828880058810136989286257329766240378287329687024520290\ 048491043041216*c_0101_4^24 - 2251428412523466768053685288719658218\ 96415367972381090793874771757747131376350938225070594447435232549/7\ 6895662363068583029307068288800588101369892862573297662403782873296\ 87024520290048491043041216*c_0101_4^23 - 1030926957374476139487927166715540695636743969126898378994566763787\ 81647575142384619268733819691358417/7689566236306858302930706828880\ 058810136989286257329766240378287329687024520290048491043041216*c_0\ 101_4^22 + 54995792503630631301288342141086547606024587410864286604\ 7044113797611894252763678580699690891803707389/76895662363068583029\ 3070682888005881013698928625732976624037828732968702452029004849104\ 3041216*c_0101_4^21 - 110054724785185550750070835800507730158789322\ 24626064907901699721567907367857745226012184617529160943/7689566236\ 3068583029307068288800588101369892862573297662403782873296870245202\ 90048491043041216*c_0101_4^20 - 21308621352339999255079821651083755\ 0525060793441992634846666211181616630661485006566792075128236099411\ 5/15379132472613716605861413657760117620273978572514659532480756574\ 659374049040580096982086082432*c_0101_4^19 + 4408355089539065707538374416323972844381432028887514240892980074304\ 86065254067647245946769349082657257/2563188745435619434310235609626\ 686270045663095419109922080126095776562341506763349497014347072*c_0\ 101_4^18 + 31236268147035064673353289526434883085851023921925414841\ 1733246750707484166264661929467984896174667095/38447831181534291514\ 6535341444002940506849464312866488312018914366484351226014502424552\ 1520608*c_0101_4^17 - 369368989161041887776333871308365661091484805\ 149294459262020703486785495140709739271299263159085419903/384478311\ 8153429151465353414440029405068494643128664883120189143664843512260\ 145024245521520608*c_0101_4^16 - 2801016723880285668598000932030246\ 3337022941664479128584239911290016203446201756730522462715169631476\ 77/5126377490871238868620471219253372540091326190838219844160252191\ 553124683013526698994028694144*c_0101_4^15 + 2566179681204388797739627594834996076528777729904387460452814781156\ 407959130367303675524277828806382997/512637749087123886862047121925\ 3372540091326190838219844160252191553124683013526698994028694144*c_\ 0101_4^14 + 2319273909666011710207775763257021249375934331266412841\ 645963453892348190395427482866007606112164570097/512637749087123886\ 8620471219253372540091326190838219844160252191553124683013526698994\ 028694144*c_0101_4^13 - 2229169235463848576961153609437936084876638\ 82767616518042461892547671287592089683687343629906840592811/4805978\ 8976917864393316917680500367563356183039108311039002364295810543903\ 2518128030690190076*c_0101_4^12 - 171525254486588510614745641105844\ 3816522949164725546975905717414374354100278478101879407351891347220\ 91/6407971863589048585775589024066715675114157738547774805200315239\ 44140585376690837374253586768*c_0101_4^11 + 3540051583549180023667047431846185277787057660904755705062939714518\ 877144851251508676634171787389391439/153791324726137166058614136577\ 60117620273978572514659532480756574659374049040580096982086082432*c\ _0101_4^10 + 128292495523328085833530226882479641879235167633280644\ 5431183855493918225101785144124739905650407986547/76895662363068583\ 0293070682888005881013698928625732976624037828732968702452029004849\ 1043041216*c_0101_4^9 - 1822864851179162503187083175082651040552076\ 992167425353569990669481982143032537047624138420344336379185/153791\ 3247261371660586141365776011762027397857251465953248075657465937404\ 9040580096982086082432*c_0101_4^8 - 8263297588232025966775472983272133435841691768291699285542884394064\ 1735775875362874188259915739816401/25631887454356194343102356096266\ 86270045663095419109922080126095776562341506763349497014347072*c_01\ 01_4^7 + 7881367332207769615051025481720751481476845305579507672567\ 940956244200016725583685046491168887340535/512637749087123886862047\ 1219253372540091326190838219844160252191553124683013526698994028694\ 144*c_0101_4^6 + 13412532408325543753429209943620984754070521896357\ 9512645522841988159024141450827493626243947883617289/51263774908712\ 3886862047121925337254009132619083821984416025219155312468301352669\ 8994028694144*c_0101_4^5 - 7650307561690551163745957762655944598927\ 7108629677795486527051724678402919502087127988082123869730639/15379\ 1324726137166058614136577601176202739785725146595324807565746593740\ 49040580096982086082432*c_0101_4^4 - 1259688692032439387031020779523870579085816623452930101133082773950\ 3365880067260956377710653781371267/76895662363068583029307068288800\ 58810136989286257329766240378287329687024520290048491043041216*c_01\ 01_4^3 - 7244701219904213634296879004243172274491351813152742171740\ 583723396566804829481137930301470760613263/153791324726137166058614\ 1365776011762027397857251465953248075657465937404904058009698208608\ 2432*c_0101_4^2 + 5290402269676052901426178688987533492469248129614\ 52088509113221326995376737471897186276823806421837/2563188745435619\ 4343102356096266862700456630954191099220801260957765623415067633494\ 97014347072*c_0101_4 + 27787423325358988837151261481481975605147911\ 3281213791349009794927075883185895493382292925627628419/15379132472\ 6137166058614136577601176202739785725146595324807565746593740490405\ 80096982086082432, c_0011_0 - 1, c_0011_1 + 714797969065808459482805726182408125884129431653143013321614\ 56473576679190327314145/1899549386013899695537860877318866136863498\ 1643942761303697043734698919372591724224*c_0101_4^31 + 5221829126859262695477782741680325842002190439221964265065084474132\ 4218459061757065/47488734650347492388446521932971653421587454109856\ 90325924260933674729843147931056*c_0101_4^30 - 4046274494874683258748734657159526774909970171199127913359708826821\ 1351896055352554/29680459156467182742779076208107283388492158818660\ 5645370266308354670615196745691*c_0101_4^29 - 5588486373479612147444821189889883672169888571415074568333818981947\ 961530645065665073/189954938601389969553786087731886613686349816439\ 42761303697043734698919372591724224*c_0101_4^28 + 1833903736462353726884698923518359844345058292287754048840364869482\ 6648639927871692341/94977469300694984776893043865943306843174908219\ 71380651848521867349459686295862112*c_0101_4^27 + 3717494301961101453667546948996570257986180936951397749860717915867\ 6882326369363713425/94977469300694984776893043865943306843174908219\ 71380651848521867349459686295862112*c_0101_4^26 - 3305572463722074884033670849695313949432707274060608067145821851128\ 37368674717873193117/1899549386013899695537860877318866136863498164\ 3942761303697043734698919372591724224*c_0101_4^25 - 1856456497000324888712727830508981275683038088168275888370794309080\ 57183791389656917351/9497746930069498477689304386594330684317490821\ 971380651848521867349459686295862112*c_0101_4^24 + 7877278277656659404523291659912506629375917452027818543338886204350\ 11571264628358931353/9497746930069498477689304386594330684317490821\ 971380651848521867349459686295862112*c_0101_4^23 + 3572625029883212943597671949144543356419665359148639709060368500074\ 86058885028864476389/9497746930069498477689304386594330684317490821\ 971380651848521867349459686295862112*c_0101_4^22 - 1923985837565573714893308184394453346202893491474990100124680293623\ 175118093152310848081/949774693006949847768930438659433068431749082\ 1971380651848521867349459686295862112*c_0101_4^21 + 4574824112287093743446227878174869444067399499467321200441621791738\ 3165444211604114747/94977469300694984776893043865943306843174908219\ 71380651848521867349459686295862112*c_0101_4^20 + 7448856995376195914214773486118215051144175926832239594813257772377\ 966323245707474066271/189954938601389969553786087731886613686349816\ 43942761303697043734698919372591724224*c_0101_4^19 - 4636538122358992704905502090478981288309057718963954201886929260996\ 362672066250294820151/949774693006949847768930438659433068431749082\ 1971380651848521867349459686295862112*c_0101_4^18 - 1083217928096882193528507826817350799193911069389808342797353461160\ 720423461591612757587/474887346503474923884465219329716534215874541\ 0985690325924260933674729843147931056*c_0101_4^17 + 1296113171045816125089987107932404706459697379882506538236103897945\ 281745436764018608051/474887346503474923884465219329716534215874541\ 0985690325924260933674729843147931056*c_0101_4^16 + 2935380498848826508493063055789688633094287108582429225068255723916\ 2846094674540432407075/18995493860138996955378608773188661368634981\ 643942761303697043734698919372591724224*c_0101_4^15 - 2702702032301928263262124123554161413822239678268234282902638865358\ 7826101265569167476011/18995493860138996955378608773188661368634981\ 643942761303697043734698919372591724224*c_0101_4^14 - 2422835258416307181759640713432408725756136285852397890547229248339\ 5719568071399552952175/18995493860138996955378608773188661368634981\ 643942761303697043734698919372591724224*c_0101_4^13 + 7822463870616871010367757747111936096921411767605049381130626435145\ 99776482290875239359/5936091831293436548555815241621456677698431763\ 73211290740532616709341230393491382*c_0101_4^12 + 1788679531645206622677558220388667356312076772041143863718414435134\ 665122953730846568201/237443673251737461942232609664858267107937270\ 5492845162962130466837364921573965528*c_0101_4^11 - 1243076902350002105394635937588227921324610721000652375300099172347\ 5959757779794751248827/18995493860138996955378608773188661368634981\ 643942761303697043734698919372591724224*c_0101_4^10 - 4466520794054067036567337181532492563891957205619868670343109828167\ 075311013937356861151/949774693006949847768930438659433068431749082\ 1971380651848521867349459686295862112*c_0101_4^9 + 6404909285945912803146249676106076164589184529978798471609282146015\ 353732920829471557957/189954938601389969553786087731886613686349816\ 43942761303697043734698919372591724224*c_0101_4^8 + 8572806311264049327473650090668702828521733059824726576126096235527\ 73585213269110432559/9497746930069498477689304386594330684317490821\ 971380651848521867349459686295862112*c_0101_4^7 - 8809975484164861846139684808461512068222681686001822972845373579149\ 9059693955308757865/18995493860138996955378608773188661368634981643\ 942761303697043734698919372591724224*c_0101_4^6 - 1407901674969599922515273858562271439762769845308908766857280460788\ 573204191186731979767/189954938601389969553786087731886613686349816\ 43942761303697043734698919372591724224*c_0101_4^5 + 2718867116534634885133163308010491527347770321985376966866754806471\ 84356582644528675483/1899549386013899695537860877318866136863498164\ 3942761303697043734698919372591724224*c_0101_4^4 + 4363997386543974568552958280781075484843334979412617655005108517485\ 4430206992664616655/94977469300694984776893043865943306843174908219\ 71380651848521867349459686295862112*c_0101_4^3 + 2524509393542280706489298807638132482467354717792065775658741267873\ 5824101575314690587/18995493860138996955378608773188661368634981643\ 942761303697043734698919372591724224*c_0101_4^2 - 5586955515681043285873797311001725571577908948697564075473640362426\ 138157710409949331/949774693006949847768930438659433068431749082197\ 1380651848521867349459686295862112*c_0101_4 - 9471913046620019149754987869572812254962704186111990698367488906318\ 08164338940346335/1899549386013899695537860877318866136863498164394\ 2761303697043734698919372591724224, c_0011_3 + 147657851571108067703285601665500262606923833624390183321285\ 659831867465304666818726117783/371003465932668398898540355724103501\ 33824442673389154731358934920341627221901970667800694*c_0101_4^31 + 8651615482159300259105932965188886022977342374108031778442725617364\ 26182988073752420607301/7420069318653367977970807114482070026764888\ 5346778309462717869840683254443803941335601388*c_0101_4^30 - 1069146518057319507901773893989273270973702438667639888342861104231\ 2236194253672343337845411/74200693186533679779708071144820700267648\ 885346778309462717869840683254443803941335601388*c_0101_4^29 - 2316539670067806395046993160176428759978993449390995059845559670145\ 0088744775611252905933733/74200693186533679779708071144820700267648\ 885346778309462717869840683254443803941335601388*c_0101_4^28 + 3783199151173277549947541454241912908951115065594585668366586496441\ 5106176464012572735656200/18550173296633419944927017786205175066912\ 221336694577365679467460170813610950985333900347*c_0101_4^27 + 1541079426513960689144052916117770600758023091343765477245765298665\ 31332317256669561521729413/3710034659326683988985403557241035013382\ 4442673389154731358934920341627221901970667800694*c_0101_4^26 - 6814692927762204408965303409115725517601812411137042595210494517580\ 24371824762748376051802303/3710034659326683988985403557241035013382\ 4442673389154731358934920341627221901970667800694*c_0101_4^25 - 1542972510073011637296280777233105932676122072263958103084284996336\ 990234406873495791867962461/742006931865336797797080711448207002676\ 48885346778309462717869840683254443803941335601388*c_0101_4^24 + 6493641874118226462541571334063736166627192043948990600506241521749\ 814314525125677357898566649/742006931865336797797080711448207002676\ 48885346778309462717869840683254443803941335601388*c_0101_4^23 + 2993827352807825593398487853477635390111149853476335045859351405320\ 582111574959139670967196255/742006931865336797797080711448207002676\ 48885346778309462717869840683254443803941335601388*c_0101_4^22 - 1585810038942799065021477447514492768331161028247368958545009377824\ 0097683381631043157908542319/74200693186533679779708071144820700267\ 648885346778309462717869840683254443803941335601388*c_0101_4^21 + 2775835870241062491265589968550609956244142866432979153028368280952\ 21234970554502977670521279/7420069318653367977970807114482070026764\ 8885346778309462717869840683254443803941335601388*c_0101_4^20 + 3073562879143731329453230187182958666388202388410629660283495439947\ 2255873068495078091383023411/74200693186533679779708071144820700267\ 648885346778309462717869840683254443803941335601388*c_0101_4^19 - 9525311064693226517980986100958767841883958354827967358957684856145\ 613930442559713965441171443/185501732966334199449270177862051750669\ 12221336694577365679467460170813610950985333900347*c_0101_4^18 - 9049495328072252746988233726764794235664463940142255020299289271300\ 883071000506537562535437731/371003465932668398898540355724103501338\ 24442673389154731358934920341627221901970667800694*c_0101_4^17 + 1060344348012333783768998259462020317502245344924986897910426147766\ 7969634515794053161150954279/37100346593266839889854035572410350133\ 824442673389154731358934920341627221901970667800694*c_0101_4^16 + 3033420389446107866363422069918090306461578764807930401947592886919\ 3065168303928275147254859169/18550173296633419944927017786205175066\ 912221336694577365679467460170813610950985333900347*c_0101_4^15 - 1107352587123493967575351434748259726684354091675421151500621828953\ 28050440598790907161920154861/7420069318653367977970807114482070026\ 7648885346778309462717869840683254443803941335601388*c_0101_4^14 - 2513280076675128974256482983554058435719005655392428802949769777167\ 5652714796400804846142567560/18550173296633419944927017786205175066\ 912221336694577365679467460170813610950985333900347*c_0101_4^13 + 1025145980097982493793223856426320530606680724818698834290618868880\ 17873627561391214597432663947/7420069318653367977970807114482070026\ 7648885346778309462717869840683254443803941335601388*c_0101_4^12 + 5949246579433551807174715556529596543336707625157916286768998962054\ 0735884361102484976882031547/74200693186533679779708071144820700267\ 648885346778309462717869840683254443803941335601388*c_0101_4^11 - 5079095275612976765736217595883049997524216907908255940328017625664\ 4992469966652971075046587059/74200693186533679779708071144820700267\ 648885346778309462717869840683254443803941335601388*c_0101_4^10 - 9259291625497057841146674001324039973207728517863663549091131395407\ 731954454961372091099367714/185501732966334199449270177862051750669\ 12221336694577365679467460170813610950985333900347*c_0101_4^9 + 6538472577486830997612706069612443831225160461665759468555619896521\ 032929952505410830696342216/185501732966334199449270177862051750669\ 12221336694577365679467460170813610950985333900347*c_0101_4^8 + 7147351202889092317125388508299571147836838171810243202989196172967\ 724463399061450433984817763/742006931865336797797080711448207002676\ 48885346778309462717869840683254443803941335601388*c_0101_4^7 - 2966000510625844855090466036798086851436143001329929096823532698781\ 52141583602154431298807965/7420069318653367977970807114482070026764\ 8885346778309462717869840683254443803941335601388*c_0101_4^6 - 2895438116771051148682125846345638039332262182876192164830898952388\ 992006359474792824229567979/371003465932668398898540355724103501338\ 24442673389154731358934920341627221901970667800694*c_0101_4^5 + 1094870809244364090918373865318038627668582371338061117031409411943\ 994085683880055091782613907/742006931865336797797080711448207002676\ 48885346778309462717869840683254443803941335601388*c_0101_4^4 + 8954736724814084989060759645940573831339920382934406598519438572988\ 6734290670559137565387086/18550173296633419944927017786205175066912\ 221336694577365679467460170813610950985333900347*c_0101_4^3 + 2624364154109653815636363429148838828892255112769830749724412944660\ 2259260086925149481057030/18550173296633419944927017786205175066912\ 221336694577365679467460170813610950985333900347*c_0101_4^2 - 4548089199102363562877648764526462546528757894313625695784796815718\ 2229920010703470978605799/74200693186533679779708071144820700267648\ 885346778309462717869840683254443803941335601388*c_0101_4 - 3869398890796838902066368365867629465138075253414046850705368653755\ 654568365166127133589479/742006931865336797797080711448207002676488\ 85346778309462717869840683254443803941335601388, c_0101_0 - 488862811676793026492170869695699544252405581975864071797333\ 3716787566338651307503776599609/11872110909845388764753291383171312\ 04282382165548452951403485917450932071100863061369622208*c_0101_4^3\ 1 - 358172780374804840983999251582877215397328823980528490078264513\ 1315559927102583986154086999/29680277274613471911883228457928280107\ 0595541387113237850871479362733017775215765342405552*c_0101_4^30 + 2212097609915178931764579883957770043451087479555385573579543603154\ 8111900670790701913590037/14840138637306735955941614228964140053529\ 7770693556618925435739681366508887607882671202776*c_0101_4^29 + 3836512299213312880543815225642592478619633829874512791998418433371\ 39726062478487496543151473/1187211090984538876475329138317131204282\ 382165548452951403485917450932071100863061369622208*c_0101_4^28 - 1252291157845916924839021313231955866993781230683872510816054879749\ 553406364529995137116572509/593605545492269438237664569158565602141\ 191082774226475701742958725466035550431530684811104*c_0101_4^27 - 2552231095669402009719077633355871748178450738695047922320694769313\ 802493326756674017721897969/593605545492269438237664569158565602141\ 191082774226475701742958725466035550431530684811104*c_0101_4^26 + 2255559038276136733639278751522706160067111435329812466200280489004\ 9059595637554868150732936565/11872110909845388764753291383171312042\ 82382165548452951403485917450932071100863061369622208*c_0101_4^25 + 1278070340096528127215050904643272747527509120223551357744002200428\ 2159859755464960425698248187/59360554549226943823766456915856560214\ 1191082774226475701742958725466035550431530684811104*c_0101_4^24 - 5373033070190145650685139120504744862100581352678001223275000102032\ 2312950646711410274873899533/59360554549226943823766456915856560214\ 1191082774226475701742958725466035550431530684811104*c_0101_4^23 - 2482239079739993898059458722004322805811083049178438439581018501744\ 1352321756461792311922393857/59360554549226943823766456915856560214\ 1191082774226475701742958725466035550431530684811104*c_0101_4^22 + 1312146923161121786651838739999737495201835486980835003085973772553\ 67726838226751815416847129613/5936055454922694382376645691585656021\ 41191082774226475701742958725466035550431530684811104*c_0101_4^21 - 2203106937247950332885913307608950417314283376053298619754489595057\ 479973616530109667427142967/593605545492269438237664569158565602141\ 191082774226475701742958725466035550431530684811104*c_0101_4^20 - 5087297250924819261514930149106447473006716750262385796101786388489\ 77315137529534612762918666399/1187211090984538876475329138317131204\ 282382165548452951403485917450932071100863061369622208*c_0101_4^19 + 3151623073940571551454852484571637198075880541506782341161637093084\ 45236748135460984050026971295/5936055454922694382376645691585656021\ 41191082774226475701742958725466035550431530684811104*c_0101_4^18 + 7501868747834427775961463567800358284288179699145933344964229845802\ 1846092852667431786285920439/29680277274613471911883228457928280107\ 0595541387113237850871479362733017775215765342405552*c_0101_4^17 - 8767360647910570372992147027243836020261289121996396509492226242707\ 6358088841516378138475771919/29680277274613471911883228457928280107\ 0595541387113237850871479362733017775215765342405552*c_0101_4^16 - 2008552498957970485281385045570428641886696017359991858988294739470\ 745514193026121576172859140219/118721109098453887647532913831713120\ 4282382165548452951403485917450932071100863061369622208*c_0101_4^15 + 18311938641626443607874425248681369915517997703038466147614981426\ 47351486196797356661400597236795/1187211090984538876475329138317131\ 204282382165548452951403485917450932071100863061369622208*c_0101_4^\ 14 + 16650001557654998855313017115948281752644637531579145790714106\ 23519657170929931157534915077663623/1187211090984538876475329138317\ 131204282382165548452951403485917450932071100863061369622208*c_0101\ _4^13 - 21195990355778089520436897773576442954382233446331984470057\ 1221707913310977760219477625426105969/14840138637306735955941614228\ 9641400535297770693556618925435739681366508887607882671202776*c_010\ 1_4^12 - 6158535190522586091692680693864731500874428375411653419509\ 3031200963378988112670590396528272245/74200693186533679779708071144\ 820700267648885346778309462717869840683254443803941335601388*c_0101\ _4^11 + 84021185554118341489892521163695163959135603838364495848600\ 4941579182596723886733554254452848635/11872110909845388764753291383\ 17131204282382165548452951403485917450932071100863061369622208*c_01\ 01_4^10 + 306593291361469539173559969203045615258830741959313687665\ 720460984276473025788198074484938873031/593605545492269438237664569\ 158565602141191082774226475701742958725466035550431530684811104*c_0\ 101_4^9 - 432679810736243124859779719933183875779818719816650796120\ 271403771270433673965888966872687863213/118721109098453887647532913\ 8317131204282382165548452951403485917450932071100863061369622208*c_\ 0101_4^8 - 59197776518374285120534992099989083738263058312795412324\ 342428108304136428504796400200898614507/593605545492269438237664569\ 158565602141191082774226475701742958725466035550431530684811104*c_0\ 101_4^7 + 496552494699983871240727579045242054924723535048829817570\ 5613300903746144203874140343923902249/11872110909845388764753291383\ 17131204282382165548452951403485917450932071100863061369622208*c_01\ 01_4^6 + 9576821217406069561164594479647660803909364038344381843826\ 7354690712427868602310920864336580511/11872110909845388764753291383\ 17131204282382165548452951403485917450932071100863061369622208*c_01\ 01_4^5 - 1810423736591629860888315553152089390557245393588178200492\ 2438313066842446160586770892304771675/11872110909845388764753291383\ 17131204282382165548452951403485917450932071100863061369622208*c_01\ 01_4^4 - 2968731367001298510556741354781716252307907579265382279591\ 236789261751219414124366361986618983/593605545492269438237664569158\ 565602141191082774226475701742958725466035550431530684811104*c_0101\ _4^3 - 172831020631006653383812165819987259115690107261676412437405\ 7019784052616377354430383708192467/11872110909845388764753291383171\ 31204282382165548452951403485917450932071100863061369622208*c_0101_\ 4^2 + 3759157909070887753295890858958596310313487366321254574422469\ 82950519446668469489834112487359/5936055454922694382376645691585656\ 02141191082774226475701742958725466035550431530684811104*c_0101_4 + 6395548612754462059586063264379830469856921216492169336275983159370\ 5900328341680247097025183/11872110909845388764753291383171312042823\ 82165548452951403485917450932071100863061369622208, c_0101_1 + 119575634349683748234436507487650112837661044135194875050378\ 40707440583144854409/1899549386013899695537860877318866136863498164\ 3942761303697043734698919372591724224*c_0101_4^31 - 1068869705346455376153996140548309830316708890948091781733115408125\ 9260568736009/47488734650347492388446521932971653421587454109856903\ 25924260933674729843147931056*c_0101_4^30 - 9186142998740934059978343566661942585225438343375934959701146359328\ 9967165682673/23744367325173746194223260966485826710793727054928451\ 62962130466837364921573965528*c_0101_4^29 + 1610318360709165563341532064553026531127366616238176026796709665632\ 298364289483103/189954938601389969553786087731886613686349816439427\ 61303697043734698919372591724224*c_0101_4^28 + 7368515973879402244859806800515965058264628972496237007390717400899\ 277596386068365/949774693006949847768930438659433068431749082197138\ 0651848521867349459686295862112*c_0101_4^27 - 9910564549876556437042265350972329733580183714894236538072139889487\ 748314907941807/949774693006949847768930438659433068431749082197138\ 0651848521867349459686295862112*c_0101_4^26 - 1694595927685210148844750750236920984839055009574004740560959771998\ 51432631835197637/1899549386013899695537860877318866136863498164394\ 2761303697043734698919372591724224*c_0101_4^25 + 9785899953501946087869475675679399595508287798412952007349865018147\ 0408996780842981/94977469300694984776893043865943306843174908219713\ 80651848521867349459686295862112*c_0101_4^24 + 4731347862674932228259892714878616647538226267056461750543818245588\ 94008669214138637/9497746930069498477689304386594330684317490821971\ 380651848521867349459686295862112*c_0101_4^23 - 5008137688311679555285828154561742915533954003868525423116171860348\ 87387592949394479/9497746930069498477689304386594330684317490821971\ 380651848521867349459686295862112*c_0101_4^22 - 1345749466724754692601132032851148985196382990015920726606803329508\ 166587753905081165/949774693006949847768930438659433068431749082197\ 1380651848521867349459686295862112*c_0101_4^21 + 1256217649042551356168218119438646537485270146044538536477299124910\ 342408296956574551/949774693006949847768930438659433068431749082197\ 1380651848521867349459686295862112*c_0101_4^20 + 4159446484601955308624502355775352440941996353776357042810274731312\ 305660707353065199/189954938601389969553786087731886613686349816439\ 42761303697043734698919372591724224*c_0101_4^19 - 3748666170431659239270851003015575512907879008763825402012183691617\ 195828410350542655/949774693006949847768930438659433068431749082197\ 1380651848521867349459686295862112*c_0101_4^18 + 6697259721693471301369355182224531233092197739201719376989413149104\ 70463361477653657/4748873465034749238844652193297165342158745410985\ 690325924260933674729843147931056*c_0101_4^17 + 2618541153636133701341515808390104014516933164657899628367435176315\ 339247199066270495/474887346503474923884465219329716534215874541098\ 5690325924260933674729843147931056*c_0101_4^16 + 7992498041511737440151948780809551999763060972102281721593643310530\ 470779143594529131/189954938601389969553786087731886613686349816439\ 42761303697043734698919372591724224*c_0101_4^15 - 3653961600196729334653754524994555675624961348065542433474737976936\ 7627423396028355883/18995493860138996955378608773188661368634981643\ 942761303697043734698919372591724224*c_0101_4^14 - 6318454049822312573328953113798516188835177293839389152745400511943\ 876497052666096055/189954938601389969553786087731886613686349816439\ 42761303697043734698919372591724224*c_0101_4^13 + 4644960381794081651276678054623076968966508238963847699273934275345\ 444795550687607829/237443673251737461942232609664858267107937270549\ 2845162962130466837364921573965528*c_0101_4^12 + 5392293647260395902703335890129250640275004832780112563358126348659\ 13598608520254241/1187218366258687309711163048324291335539686352746\ 422581481065233418682460786982764*c_0101_4^11 - 2209450253897393969169590945740469670341396653270883058812405548501\ 9877851521436164235/18995493860138996955378608773188661368634981643\ 942761303697043734698919372591724224*c_0101_4^10 - 4844141346880946687510035875824222712921071336548672906830861250343\ 917166114823766119/949774693006949847768930438659433068431749082197\ 1380651848521867349459686295862112*c_0101_4^9 + 1012348688174436379944245841453923526444377493618425620338987516627\ 3191481025273246109/18995493860138996955378608773188661368634981643\ 942761303697043734698919372591724224*c_0101_4^8 + 2223205452528452311253359661760201170490265976630442674231267271164\ 914752577095874091/949774693006949847768930438659433068431749082197\ 1380651848521867349459686295862112*c_0101_4^7 - 1470672776121709298642601439794100415784175427324190477101762110780\ 690502419167218777/189954938601389969553786087731886613686349816439\ 42761303697043734698919372591724224*c_0101_4^6 - 2696502864380713399453052918648204621056685089824033554767895219208\ 698093695600527087/189954938601389969553786087731886613686349816439\ 42761303697043734698919372591724224*c_0101_4^5 + 1745364076293277319110193531958565232686365644127968201887334469769\ 83049583234992683/1899549386013899695537860877318866136863498164394\ 2761303697043734698919372591724224*c_0101_4^4 + 2100198651817974546492581638894244069437862533195627832747572239488\ 09238832307446039/9497746930069498477689304386594330684317490821971\ 380651848521867349459686295862112*c_0101_4^3 + 1590110765554490364964422078369907307956439456175352530818163306304\ 98748030687157379/1899549386013899695537860877318866136863498164394\ 2761303697043734698919372591724224*c_0101_4^2 - 1408377708476845016019268661061825551133577598208536396946264613967\ 5395010974072079/94977469300694984776893043865943306843174908219713\ 80651848521867349459686295862112*c_0101_4 - 7358238766201783946844945648449477106377849934307992099886635492194\ 223879772143/189954938601389969553786087731886613686349816439427613\ 03697043734698919372591724224, c_0101_3 + 717641633606139008500982656056520060786500033476808803836318\ 76692624700204748313639/1899549386013899695537860877318866136863498\ 1643942761303697043734698919372591724224*c_0101_4^31 + 5254099992717268048053288938044306665886256515500481168661353642234\ 8292987866375561/47488734650347492388446521932971653421587454109856\ 90325924260933674729843147931056*c_0101_4^30 - 3247889396955000583991804433294493216118555587541354144926845402467\ 96929908460655243/2374436732517374619422326096648582671079372705492\ 845162962130466837364921573965528*c_0101_4^29 - 5626462022823359325728428463651474957886288797244417930453226066326\ 479178057748219375/189954938601389969553786087731886613686349816439\ 42761303697043734698919372591724224*c_0101_4^28 + 1838952571057499021494181458336184080956205530733074804028971816716\ 1629244482459862723/94977469300694984776893043865943306843174908219\ 71380651848521867349459686295862112*c_0101_4^27 + 3742798704376107985451167840777881051122281024417540192962960285050\ 4660298088488645759/94977469300694984776893043865943306843174908219\ 71380651848521867349459686295862112*c_0101_4^26 - 3312739884980923086301042142636343865113374886619880297052960965263\ 95299408661837910923/1899549386013899695537860877318866136863498164\ 3942761303697043734698919372591724224*c_0101_4^25 - 1872766950718826015433298194203809868424238739359285423751947007424\ 77554404578557718501/9497746930069498477689304386594330684317490821\ 971380651848521867349459686295862112*c_0101_4^24 + 7891583577170892630900472308523341352431235844961365168569382122474\ 48330462809156501587/9497746930069498477689304386594330684317490821\ 971380651848521867349459686295862112*c_0101_4^23 + 3627791452033626634998089175237937173761413213145137628725695345828\ 34305569737322804047/9497746930069498477689304386594330684317490821\ 971380651848521867349459686295862112*c_0101_4^22 - 1927007496445516094401244994938818813259766577854855114412821188827\ 844867377411055748387/949774693006949847768930438659433068431749082\ 1971380651848521867349459686295862112*c_0101_4^21 + 3619614397089107565999446053255217556925349757588277556989631413216\ 8107932506525261289/94977469300694984776893043865943306843174908219\ 71380651848521867349459686295862112*c_0101_4^20 + 7467991594566963023635263214319082302201065701054718989908098565983\ 161019443126762924321/189954938601389969553786087731886613686349816\ 43942761303697043734698919372591724224*c_0101_4^19 - 4634012243159517287854606170039314745154240603205360836544053748693\ 098972273341894358001/949774693006949847768930438659433068431749082\ 1971380651848521867349459686295862112*c_0101_4^18 - 1096466783285002547036418166685713076433795487288195804361790771545\ 618660365908457761849/474887346503474923884465219329716534215874541\ 0985690325924260933674729843147931056*c_0101_4^17 + 1289194588398083119200894564420964792827776404099284251766015622232\ 345767704855018016265/474887346503474923884465219329716534215874541\ 0985690325924260933674729843147931056*c_0101_4^16 + 2947639084676039685815540342040284732176157186855228148944974477805\ 4441879405859603642757/18995493860138996955378608773188661368634981\ 643942761303697043734698919372591724224*c_0101_4^15 - 2694244028515620970579524905418580234296795560256837235684223637254\ 4003269714585239631397/18995493860138996955378608773188661368634981\ 643942761303697043734698919372591724224*c_0101_4^14 - 2438911931686048230834604808554257760024171269565257558130727828511\ 8960272934993815361785/18995493860138996955378608773188661368634981\ 643942761303697043734698919372591724224*c_0101_4^13 + 3117373239904968204949064148129895541422469364369732015563085156651\ 983877963966370609559/237443673251737461942232609664858267107937270\ 5492845162962130466837364921573965528*c_0101_4^12 + 9011220145707336685685029191128871095565224256435290148577854933660\ 20790363546615318209/1187218366258687309711163048324291335539686352\ 746422581481065233418682460786982764*c_0101_4^11 - 1235872850258217728058147194478869109005301570754341073174790372291\ 4752944876726532379301/18995493860138996955378608773188661368634981\ 643942761303697043734698919372591724224*c_0101_4^10 - 4489857706049791679676797054238992792233278569709884814342099883062\ 219107049151509780505/949774693006949847768930438659433068431749082\ 1971380651848521867349459686295862112*c_0101_4^9 + 6366363136307156621209640369907045441720366239323935459743825370511\ 419279203303488360787/189954938601389969553786087731886613686349816\ 43942761303697043734698919372591724224*c_0101_4^8 + 8632040746397176360636094077322514918237141900046951907200360887148\ 32398336832671919141/9497746930069498477689304386594330684317490821\ 971380651848521867349459686295862112*c_0101_4^7 - 7426585834534267608921712901800347013217492085200028560062994878705\ 4941884651977827479/18995493860138996955378608773188661368634981643\ 942761303697043734698919372591724224*c_0101_4^6 - 1406205058573017831400519033415632449273377855908996219148090116993\ 652062856659028304993/189954938601389969553786087731886613686349816\ 43942761303697043734698919372591724224*c_0101_4^5 + 2679203279606552320538656812191351957751122977233688907808546428996\ 97556565917681364709/1899549386013899695537860877318866136863498164\ 3942761303697043734698919372591724224*c_0101_4^4 + 4329540104006543801915421498880634684762049013927924683729471071058\ 7769744056500077177/94977469300694984776893043865943306843174908219\ 71380651848521867349459686295862112*c_0101_4^3 + 2538472445080100776535457000413670622554930805750529286105214974395\ 1419011476184280333/18995493860138996955378608773188661368634981643\ 942761303697043734698919372591724224*c_0101_4^2 - 5527959907198577601165768580254007249787797278331112502705597595473\ 051561146964131985/949774693006949847768930438659433068431749082197\ 1380651848521867349459686295862112*c_0101_4 - 9392238014611200100334621059860892207445849536894219525328446513356\ 88561178845265345/1899549386013899695537860877318866136863498164394\ 2761303697043734698919372591724224, c_0101_4^32 + 3*c_0101_4^31 - 36*c_0101_4^30 - 81*c_0101_4^29 + 507*c_0101_4^28 + 1080*c_0101_4^27 - 4543*c_0101_4^26 - 5553*c_0101_4^25 + 21632*c_0101_4^24 + 11704*c_0101_4^23 - 53036*c_0101_4^22 - 2888*c_0101_4^21 + 104265*c_0101_4^20 - 121645*c_0101_4^19 - 70622*c_0101_4^18 + 67736*c_0101_4^17 + 416183*c_0101_4^16 - 346126*c_0101_4^15 - 367940*c_0101_4^14 + 323695*c_0101_4^13 + 226984*c_0101_4^12 - 158243*c_0101_4^11 - 138211*c_0101_4^10 + 79875*c_0101_4^9 + 30809*c_0101_4^8 + 633*c_0101_4^7 - 19758*c_0101_4^6 + 2290*c_0101_4^5 + 1507*c_0101_4^4 + 445*c_0101_4^3 - 129*c_0101_4^2 - 25*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB