Magma V2.19-8 Tue Aug 20 2013 16:16:36 on localhost [Seed = 4189611298] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0889 geometric_solution 4.79018552 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 2 0132 0132 0132 3012 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 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.660280706227 0.676348882790 0 4 4 2 0132 0132 3201 0213 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.950741600497 0.328771139022 3 0 0 1 1302 0132 1230 0213 0 0 0 0 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 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.260950200074 0.757034851681 5 2 5 0 0132 2031 2310 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 1 0 -1 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.515262525554 1.000242572617 1 1 6 6 2310 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.746521761963 0.790977730911 3 3 5 5 0132 3201 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.485697421915 0.143604702116 4 6 6 4 3201 1230 3012 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.360664284034 0.125004850014 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(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' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0101_0'], 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0011_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : negation(d['c_0011_0']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_3']})} 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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 35 Groebner basis: [ t - 7779096040961356030886719378755053933798796149896910997335388593460\ 494419373017/328242398192125325242327770136645347401527658266994679\ 8878164471433453442015740*c_0101_4^34 - 4638860109427845882556767425350047466957671703463212862313199506201\ 1477033586219/82060599548031331310581942534161336850381914566748669\ 9719541117858363360503935*c_0101_4^33 - 1813800290168071327491317540626973847178613619821948210711199844216\ 573902895382961/328242398192125325242327770136645347401527658266994\ 6798878164471433453442015740*c_0101_4^32 - 8654541451041035195933851492048457424431299915966904614450960520044\ 202507326508831/328242398192125325242327770136645347401527658266994\ 6798878164471433453442015740*c_0101_4^31 - 6758613058396549705377680565661519838230030967631177681959249381234\ 589336933009991/164121199096062662621163885068322673700763829133497\ 3399439082235716726721007870*c_0101_4^30 + 6351869360522978221285412965610914321795672583826426015975307162353\ 9685568534721309/32824239819212532524232777013664534740152765826699\ 46798878164471433453442015740*c_0101_4^29 + 3741848537973596965216607203301806829168766021549511620452656718467\ 64210785828338317/3282423981921253252423277701366453474015276582669\ 946798878164471433453442015740*c_0101_4^28 + 5802845669320507466064126989058685567078412939896153927188685887975\ 83763625060083541/3282423981921253252423277701366453474015276582669\ 946798878164471433453442015740*c_0101_4^27 - 1053971390215922160895657302683495688911606971546043833210998865128\ 04690831721869747/3282423981921253252423277701366453474015276582669\ 94679887816447143345344201574*c_0101_4^26 - 1088627535048602223732533637050268621654439828064197263353154978014\ 664116072577169385/656484796384250650484655540273290694803055316533\ 989359775632894286690688403148*c_0101_4^25 - 5508702811761059508063012673999722578565111093933738780959026885160\ 741612763946298761/328242398192125325242327770136645347401527658266\ 9946798878164471433453442015740*c_0101_4^24 + 1086565488832029096796670862117436568403194869602083105620547765699\ 6790287567157604673/32824239819212532524232777013664534740152765826\ 69946798878164471433453442015740*c_0101_4^23 + 3161623394093294940333962456715875104600179996935434755654754635573\ 7884487638202056381/32824239819212532524232777013664534740152765826\ 69946798878164471433453442015740*c_0101_4^22 + 2664228190826090249075701078313869522540177071927234242442807727563\ 620138509635661352/820605995480313313105819425341613368503819145667\ 486699719541117858363360503935*c_0101_4^21 - 5577672039222894119591356940132523341810254637085101569264453772288\ 0827089757559557481/32824239819212532524232777013664534740152765826\ 69946798878164471433453442015740*c_0101_4^20 - 1388512477790613427949808318807385344786968189508661854557625098456\ 1554870866213556335/65648479638425065048465554027329069480305531653\ 3989359775632894286690688403148*c_0101_4^19 + 3106745669256371186437489489792588996984797583913467528330916524786\ 5751569758311840409/32824239819212532524232777013664534740152765826\ 69946798878164471433453442015740*c_0101_4^18 + 1132968008192249165520526096089884477834828467741013412509893152508\ 85495817374115587481/3282423981921253252423277701366453474015276582\ 669946798878164471433453442015740*c_0101_4^17 + 1705354720026809481914256214460618445687067647150211247187226477958\ 7216934709699348629/16412119909606266262116388506832267370076382913\ 34973399439082235716726721007870*c_0101_4^16 - 9296987411139965146830129389140385284198414453740501608847011023159\ 9464182539417534207/32824239819212532524232777013664534740152765826\ 69946798878164471433453442015740*c_0101_4^15 - 3725796696835663524664240574999385206549875453924234312356535848236\ 5052977358389350639/16412119909606266262116388506832267370076382913\ 34973399439082235716726721007870*c_0101_4^14 + 9009439703179344440413472323415549695206671431370580611366281585217\ 840028284742827421/820605995480313313105819425341613368503819145667\ 486699719541117858363360503935*c_0101_4^13 + 6210020622029580117296926196088366787261562913562439425257473902819\ 1361235626436937051/32824239819212532524232777013664534740152765826\ 69946798878164471433453442015740*c_0101_4^12 + 5853913692735572550475047648558207765289236112283211058488219530003\ 91464887874664873/8206059954803133131058194253416133685038191456674\ 86699719541117858363360503935*c_0101_4^11 - 7232150556355620108682594589906514334004050245357571715220405888510\ 235600303268623296/820605995480313313105819425341613368503819145667\ 486699719541117858363360503935*c_0101_4^10 - 4772437043718037733292689766622114776865628907996027942506097995549\ 415833373625737087/164121199096062662621163885068322673700763829133\ 4973399439082235716726721007870*c_0101_4^9 + 7505376114793769141861518490367555141150655605902441465767042275072\ 610003612375320157/328242398192125325242327770136645347401527658266\ 9946798878164471433453442015740*c_0101_4^8 + 4642862868033465771296239005901352231340794594561046920713250130102\ 527222949939938067/328242398192125325242327770136645347401527658266\ 9946798878164471433453442015740*c_0101_4^7 - 7868654226704886888732177994332317293512078769827458298155185767261\ 31873278320858617/3282423981921253252423277701366453474015276582669\ 946798878164471433453442015740*c_0101_4^6 - 1069650648101893996377945099974193065533792944804434053686368850127\ 150882230845156683/328242398192125325242327770136645347401527658266\ 9946798878164471433453442015740*c_0101_4^5 - 7209016567759540106306272108245257634221130995225645915766421612973\ 3238103540895327/32824239819212532524232777013664534740152765826699\ 46798878164471433453442015740*c_0101_4^4 + 5567981826843224031717784678505508979300189240352846019264361297785\ 375670760631373/164121199096062662621163885068322673700763829133497\ 339943908223571672672100787*c_0101_4^3 + 2072923424391659664712208741712757762676161681836817785356640742931\ 2652224970796547/32824239819212532524232777013664534740152765826699\ 46798878164471433453442015740*c_0101_4^2 - 2922591468829555537671307998052063916231480206548465337406660192992\ 181156560837653/328242398192125325242327770136645347401527658266994\ 6798878164471433453442015740*c_0101_4 - 5465800262282670992223846663689906704815696453363828671601155125263\ 71751204893129/3282423981921253252423277701366453474015276582669946\ 798878164471433453442015740, c_0011_0 - 1, c_0011_3 - 565908664992814625423259653605874394268000818099323473942685\ 798593403589141715/131296959276850130096931108054658138960611063306\ 7978719551265788573381376806296*c_0101_4^34 - 6680250780062664127670373730470309517283446725796699828583642718300\ 836725070453/656484796384250650484655540273290694803055316533989359\ 775632894286690688403148*c_0101_4^33 - 1286753803324284249351270501317091778398477810925079908773125089207\ 22714465623365/1312969592768501300969311080546581389606110633067978\ 719551265788573381376806296*c_0101_4^32 - 5978934728178414494984874653545399117526744648748722406698341766498\ 16655088029389/1312969592768501300969311080546581389606110633067978\ 719551265788573381376806296*c_0101_4^31 - 1043462867524603964466252272889145769296340518147677389431099274379\ 84949220479757/1641211990960626626211638850683226737007638291334973\ 39943908223571672672100787*c_0101_4^30 + 4835179683874878297510164116391642316625526819969824084044302118563\ 405669105438853/131296959276850130096931108054658138960611063306797\ 8719551265788573381376806296*c_0101_4^29 + 2604635456881144883558187710181629660079026789402841364314856048305\ 8173366117541959/13129695927685013009693110805465813896061106330679\ 78719551265788573381376806296*c_0101_4^28 + 3573533013750669800635412569611787266708590436431539075018289555235\ 5916767229176301/13129695927685013009693110805465813896061106330679\ 78719551265788573381376806296*c_0101_4^27 - 4292218707590306636570423147889152730460659530274922838617731653471\ 1331351137425503/65648479638425065048465554027329069480305531653398\ 9359775632894286690688403148*c_0101_4^26 - 3752464251763842218310770350670541796888178961894401908269900226701\ 23197696959439131/1312969592768501300969311080546581389606110633067\ 978719551265788573381376806296*c_0101_4^25 - 3068292775799255001132520571430560623407147950928055783853653312257\ 08687023472860253/1312969592768501300969311080546581389606110633067\ 978719551265788573381376806296*c_0101_4^24 + 8708539963372321551555969518191309148372293262749998253005811403191\ 91067245391886639/1312969592768501300969311080546581389606110633067\ 978719551265788573381376806296*c_0101_4^23 + 2086770650165295644163258436677235788491630815397835561272382353629\ 283688754529228561/131296959276850130096931108054658138960611063306\ 7978719551265788573381376806296*c_0101_4^22 + 3084461759838691952164899101128075262490106452480931857079257764232\ 9227703459010953/16412119909606266262116388506832267370076382913349\ 7339943908223571672672100787*c_0101_4^21 - 4137698262953298900653192369527004820633937367780811417160723715355\ 486481663073410767/131296959276850130096931108054658138960611063306\ 7978719551265788573381376806296*c_0101_4^20 - 4016239530658739702655962060842240947743238225181381878227253662077\ 374501648696766143/131296959276850130096931108054658138960611063306\ 7978719551265788573381376806296*c_0101_4^19 + 3297032942797151106480209618374911851708554498621480154548837688695\ 604265737562485047/131296959276850130096931108054658138960611063306\ 7978719551265788573381376806296*c_0101_4^18 + 7436237675675600705102806766852720523385546859501866986102532371029\ 353518953899601565/131296959276850130096931108054658138960611063306\ 7978719551265788573381376806296*c_0101_4^17 + 2950221445684349489009257277688537537308215116866652616956730521497\ 94386959121542801/6564847963842506504846555402732906948030553165339\ 89359775632894286690688403148*c_0101_4^16 - 6940709025150099066745199392332105932544017169354917037919114538041\ 052867574420868013/131296959276850130096931108054658138960611063306\ 7978719551265788573381376806296*c_0101_4^15 - 4583311301338212089437053659815120179135495779582771076464628829544\ 82745165507961119/1641211990960626626211638850683226737007638291334\ 97339943908223571672672100787*c_0101_4^14 + 1780742047497066128725866021561876224547723846811525754327899575503\ 526814836529047037/656484796384250650484655540273290694803055316533\ 989359775632894286690688403148*c_0101_4^13 + 3617477069036179642687682634777202159036965292229283877895126848837\ 484656819260893999/131296959276850130096931108054658138960611063306\ 7978719551265788573381376806296*c_0101_4^12 - 1860151120719979018644305538384931369977847750621505841207813329357\ 96741701621169475/3282423981921253252423277701366453474015276582669\ 94679887816447143345344201574*c_0101_4^11 - 2388151724749020636025684111321920150827104487563794188786748892010\ 23207502131159586/1641211990960626626211638850683226737007638291334\ 97339943908223571672672100787*c_0101_4^10 - 1069080517981669753948153605387182610382795272420148613053946180408\ 50939641325295043/6564847963842506504846555402732906948030553165339\ 89359775632894286690688403148*c_0101_4^9 + 5927819294765347667880160882344341105428330105891133393507096524114\ 70130271050813099/1312969592768501300969311080546581389606110633067\ 978719551265788573381376806296*c_0101_4^8 + 1882851462088990341766475746157131821981991699627013516367400728096\ 43648576028076427/1312969592768501300969311080546581389606110633067\ 978719551265788573381376806296*c_0101_4^7 - 1006928462445611278707015675462108806945061565575630327125447582015\ 85584805208562595/1312969592768501300969311080546581389606110633067\ 978719551265788573381376806296*c_0101_4^6 - 5178066621573611020760005153366038259201780716355731796045361480982\ 0494605050433703/13129695927685013009693110805465813896061106330679\ 78719551265788573381376806296*c_0101_4^5 + 6523847922794497560554680064788975256905758660893008299175589601688\ 854344478160783/131296959276850130096931108054658138960611063306797\ 8719551265788573381376806296*c_0101_4^4 + 3066592275438373718318143134250231427921665644351601115794103976750\ 762296314693037/656484796384250650484655540273290694803055316533989\ 359775632894286690688403148*c_0101_4^3 + 1686625523824123265940359277617553507878500234855477396034944903596\ 03184382266987/1312969592768501300969311080546581389606110633067978\ 719551265788573381376806296*c_0101_4^2 - 1927286884456167692043995549082752198426086648062061468836087943079\ 66044201778303/1312969592768501300969311080546581389606110633067978\ 719551265788573381376806296*c_0101_4 - 3764729476665236794551614389696337052733731872525406751307224955995\ 907884717593/131296959276850130096931108054658138960611063306797871\ 9551265788573381376806296, c_0011_6 - 110581973216763596559764457219919649190223325424930232626674\ 6985898002301437/32824239819212532524232777013664534740152765826699\ 4679887816447143345344201574*c_0101_4^34 - 1264197832734766837004174345827034875633904954684509363289018749880\ 5147375413/16412119909606266262116388506832267370076382913349733994\ 3908223571672672100787*c_0101_4^33 - 2327080492208020445290680063612824914954430735237563800746879077168\ 90436471485/3282423981921253252423277701366453474015276582669946798\ 87816447143345344201574*c_0101_4^32 - 9965736880634874259633742065602914903856990943498182227722296586436\ 06884094441/3282423981921253252423277701366453474015276582669946798\ 87816447143345344201574*c_0101_4^31 - 4475835449824552317615485481680282015582426065856804307644072291742\ 22708371966/1641211990960626626211638850683226737007638291334973399\ 43908223571672672100787*c_0101_4^30 + 1015142467539976538664329360561170220478505746462365331362450319108\ 4632314911037/32824239819212532524232777013664534740152765826699467\ 9887816447143345344201574*c_0101_4^29 + 4374781188105810005536929105566367389987317445512984197005999314127\ 6700355902849/32824239819212532524232777013664534740152765826699467\ 9887816447143345344201574*c_0101_4^28 + 3839309003466572268740614117258375689147972262842306529280606696934\ 8101699501303/32824239819212532524232777013664534740152765826699467\ 9887816447143345344201574*c_0101_4^27 - 9903181416128355020735953901742553190504042182937010765065876303709\ 7523491618799/16412119909606266262116388506832267370076382913349733\ 9943908223571672672100787*c_0101_4^26 - 6031388308372980715992700035647304195476569212254531059898040231519\ 52392396010633/3282423981921253252423277701366453474015276582669946\ 79887816447143345344201574*c_0101_4^25 - 1797024295149156799107483403852111402243686777400219960317568636223\ 43384483781281/3282423981921253252423277701366453474015276582669946\ 79887816447143345344201574*c_0101_4^24 + 1886473514348124824485380677845790357357342013495822599516652743140\ 126745209433737/328242398192125325242327770136645347401527658266994\ 679887816447143345344201574*c_0101_4^23 + 2919322714144070738987172910899342255860485562089048370670713397334\ 211260319802347/328242398192125325242327770136645347401527658266994\ 679887816447143345344201574*c_0101_4^22 - 7591093770576851298814730546948791696169016608881279595510325858630\ 80133695460265/1641211990960626626211638850683226737007638291334973\ 39943908223571672672100787*c_0101_4^21 - 7568496286587046816006075170330061976613290828840261430662104406797\ 587559186616665/328242398192125325242327770136645347401527658266994\ 679887816447143345344201574*c_0101_4^20 - 3420449003945592685692420607930715369553577553305174420781158405118\ 621096430504757/328242398192125325242327770136645347401527658266994\ 679887816447143345344201574*c_0101_4^19 + 9223998767752208006857724026218156611106337442986499312992378790669\ 436001081164521/328242398192125325242327770136645347401527658266994\ 679887816447143345344201574*c_0101_4^18 + 1025312775389017653932432803114317070382376451190992992770319559270\ 7439097608526499/32824239819212532524232777013664534740152765826699\ 4679887816447143345344201574*c_0101_4^17 - 2465579807687520213275939527320919883943130076900453427680662059802\ 634438865914654/164121199096062662621163885068322673700763829133497\ 339943908223571672672100787*c_0101_4^16 - 1255106120842491067314868511656562011518780695191254247234471495574\ 9705776889935195/32824239819212532524232777013664534740152765826699\ 4679887816447143345344201574*c_0101_4^15 - 6135369245877616389424900831121227038136648270966639528514270565335\ 98183422908834/1641211990960626626211638850683226737007638291334973\ 39943908223571672672100787*c_0101_4^14 + 4444640856615846511583837474353133220711215935350451982097507000050\ 718252151917450/164121199096062662621163885068322673700763829133497\ 339943908223571672672100787*c_0101_4^13 + 3944243862979934377257765477052026164396069479732484045829941902415\ 602933789100329/328242398192125325242327770136645347401527658266994\ 679887816447143345344201574*c_0101_4^12 - 1866884139851969959120950881577579567481195204032603190808495569038\ 596871894374254/164121199096062662621163885068322673700763829133497\ 339943908223571672672100787*c_0101_4^11 - 1505132777605286957011484731162200633024996001505558105367437622629\ 622601835550036/164121199096062662621163885068322673700763829133497\ 339943908223571672672100787*c_0101_4^10 + 3784709367224006431855990284392096378023165054609288522354880044468\ 42633404718378/1641211990960626626211638850683226737007638291334973\ 39943908223571672672100787*c_0101_4^9 + 1261117206173609326791989893924755352604268622421151188775667899047\ 901064692527565/328242398192125325242327770136645347401527658266994\ 679887816447143345344201574*c_0101_4^8 + 5621586380227668525543703357699156851412157920310510624801487675614\ 7730722216803/32824239819212532524232777013664534740152765826699467\ 9887816447143345344201574*c_0101_4^7 - 3057509730472119331418819125650752388621375215847585853447893690135\ 38341994332717/3282423981921253252423277701366453474015276582669946\ 79887816447143345344201574*c_0101_4^6 - 7111063599353016723037872752772950977614990499902182259114234611857\ 1014132292335/32824239819212532524232777013664534740152765826699467\ 9887816447143345344201574*c_0101_4^5 + 3679788836576251491061942913872384316850117597480336125678885347617\ 3063067075645/32824239819212532524232777013664534740152765826699467\ 9887816447143345344201574*c_0101_4^4 + 7738377489034919338970881784473124193152083447052561395183021810965\ 071281220097/164121199096062662621163885068322673700763829133497339\ 943908223571672672100787*c_0101_4^3 - 5306405074584099533696560989307912680709332636266106385585722402547\ 39612290657/3282423981921253252423277701366453474015276582669946798\ 87816447143345344201574*c_0101_4^2 - 8380216303682611276386577412628220185439525143633735625249952984574\ 89811596749/3282423981921253252423277701366453474015276582669946798\ 87816447143345344201574*c_0101_4 - 3396363312082611903887197815255048404404774311455381304339562052826\ 52982141399/3282423981921253252423277701366453474015276582669946798\ 87816447143345344201574, c_0101_0 + 227878660322717302927840227777189860778995457570869010922795\ 1627861527587965/32824239819212532524232777013664534740152765826699\ 4679887816447143345344201574*c_0101_4^34 + 2675895580319630781950044848047643223553559424777458741925481721335\ 6568412316/16412119909606266262116388506832267370076382913349733994\ 3908223571672672100787*c_0101_4^33 + 5106655031420831919763831720819551009719384237196411805313340717321\ 15670987371/3282423981921253252423277701366453474015276582669946798\ 87816447143345344201574*c_0101_4^32 + 2324634150983346885406641297355885413446621374024333900345947502093\ 772762223355/328242398192125325242327770136645347401527658266994679\ 887816447143345344201574*c_0101_4^31 + 1445122677672634106646863249694369616729575673381869851770328730698\ 268154846678/164121199096062662621163885068322673700763829133497339\ 943908223571672672100787*c_0101_4^30 - 2063252995072219314406996922177506974467521566354863460034764457005\ 9405706761423/32824239819212532524232777013664534740152765826699467\ 9887816447143345344201574*c_0101_4^29 - 1032079544047846032102561290207049537524956425182637226140571358664\ 37972897049777/3282423981921253252423277701366453474015276582669946\ 79887816447143345344201574*c_0101_4^28 - 1237514519471576907672754382236794902221628996991105343248349188922\ 39210914178069/3282423981921253252423277701366453474015276582669946\ 79887816447143345344201574*c_0101_4^27 + 1976926669113213996504420622063430012971885403153023202246403325761\ 16491153788136/1641211990960626626211638850683226737007638291334973\ 39943908223571672672100787*c_0101_4^26 + 1499877445081170372715738339268992440975287143896722157450515592280\ 789219797942973/328242398192125325242327770136645347401527658266994\ 679887816447143345344201574*c_0101_4^25 + 9183588240885064623932928338443616101660257577740847914190881159307\ 81780584033153/3282423981921253252423277701366453474015276582669946\ 79887816447143345344201574*c_0101_4^24 - 4087585266700733715138397662602334999303609320096131024170034546033\ 943238125709229/328242398192125325242327770136645347401527658266994\ 679887816447143345344201574*c_0101_4^23 - 8169015258274137596668998848790026118278797500178258552574620086702\ 266736346123857/328242398192125325242327770136645347401527658266994\ 679887816447143345344201574*c_0101_4^22 + 6060370502806663234035070645289161269945770372669341661237437864489\ 04443818285659/1641211990960626626211638850683226737007638291334973\ 39943908223571672672100787*c_0101_4^21 + 1884586825488824866688178424052355375971758439032553467982972195916\ 1034862824868275/32824239819212532524232777013664534740152765826699\ 4679887816447143345344201574*c_0101_4^20 + 1364604294525994955682186682917049328257517758180109503887414367782\ 0560251565151315/32824239819212532524232777013664534740152765826699\ 4679887816447143345344201574*c_0101_4^19 - 1979243807526724410312837553542006306148208821160630588115068158751\ 2364016706023323/32824239819212532524232777013664534740152765826699\ 4679887816447143345344201574*c_0101_4^18 - 3126029363284037790850937839190063726537346270154976590296720588699\ 6445743889251941/32824239819212532524232777013664534740152765826699\ 4679887816447143345344201574*c_0101_4^17 + 2809368577851924097712118516027134733131133197792228913132529060440\ 560745237342358/164121199096062662621163885068322673700763829133497\ 339943908223571672672100787*c_0101_4^16 + 3458610577952639532677881080678316463428728601564900712668719729770\ 0328774690185473/32824239819212532524232777013664534740152765826699\ 4679887816447143345344201574*c_0101_4^15 + 5212840120270193852514137800865523974887832164142992836289939901762\ 094182309575515/164121199096062662621163885068322673700763829133497\ 339943908223571672672100787*c_0101_4^14 - 1115642094773322255618377974400478909630613624593905325690214460883\ 9098285219783781/16412119909606266262116388506832267370076382913349\ 7339943908223571672672100787*c_0101_4^13 - 1492716153350222036306281745909752230831851888436237640367572231713\ 8223585958662795/32824239819212532524232777013664534740152765826699\ 4679887816447143345344201574*c_0101_4^12 + 4003265584366959771697843507000765123227324454488283153355324634362\ 325012951719553/164121199096062662621163885068322673700763829133497\ 339943908223571672672100787*c_0101_4^11 + 4882826306210688282948506398576798568310691025618994628710160357190\ 538573179820244/164121199096062662621163885068322673700763829133497\ 339943908223571672672100787*c_0101_4^10 - 4073593882325470523676778860783652206501934857491414470131038326178\ 15180112367899/1641211990960626626211638850683226737007638291334973\ 39943908223571672672100787*c_0101_4^9 - 3747783205368972299281251972787980813269322482856817920819494909864\ 732241713448271/328242398192125325242327770136645347401527658266994\ 679887816447143345344201574*c_0101_4^8 - 5824626527201120182504717979723951406239110904110433525860547129479\ 48087610319055/3282423981921253252423277701366453474015276582669946\ 79887816447143345344201574*c_0101_4^7 + 8351907645017159516455712558327086412867216919043174559193383292242\ 13185027580037/3282423981921253252423277701366453474015276582669946\ 79887816447143345344201574*c_0101_4^6 + 2758851958253166034201591723125967357084423769155204927732478349787\ 85161426463427/3282423981921253252423277701366453474015276582669946\ 79887816447143345344201574*c_0101_4^5 - 8654493636413857162721825565764152350519031236680819392568425930340\ 0910513478225/32824239819212532524232777013664534740152765826699467\ 9887816447143345344201574*c_0101_4^4 - 2372560786792477441124797989365373457995960680812074375871476366821\ 2852270406010/16412119909606266262116388506832267370076382913349733\ 9943908223571672672100787*c_0101_4^3 - 6897087097287128909542111884843983203551516523314326715858655087366\ 90044135309/3282423981921253252423277701366453474015276582669946798\ 87816447143345344201574*c_0101_4^2 + 2235270013999747788296138844841663374577593485621654144420071470626\ 447619623091/328242398192125325242327770136645347401527658266994679\ 887816447143345344201574*c_0101_4 + 3640340168970091375487500674862671081236419626159660198055813598622\ 92073300029/3282423981921253252423277701366453474015276582669946798\ 87816447143345344201574, c_0101_1 + 796312880843471584837106630150221382721817474109658751806415\ 26954601179337461/6564847963842506504846555402732906948030553165339\ 89359775632894286690688403148*c_0101_4^34 + 9447858537215469807227880779218169669863460309464865533679369562989\ 56165091919/3282423981921253252423277701366453474015276582669946798\ 87816447143345344201574*c_0101_4^33 + 1833105904204776720353122418422716145712335746288693560260766474961\ 2616445738711/65648479638425065048465554027329069480305531653398935\ 9775632894286690688403148*c_0101_4^32 + 8627944041026856202838671245461176455372901447191867383440917239739\ 2161286014303/65648479638425065048465554027329069480305531653398935\ 9775632894286690688403148*c_0101_4^31 + 3182597674463624438623145740980507211064751691841659769675125501052\ 1552654742911/16412119909606266262116388506832267370076382913349733\ 9943908223571672672100787*c_0101_4^30 - 6675309827790326009930072006954064691996549346710458492252642079831\ 81536021933391/6564847963842506504846555402732906948030553165339893\ 59775632894286690688403148*c_0101_4^29 - 3748767514040386587833081454359142364054166239275457374875890373628\ 173279494476353/656484796384250650484655540273290694803055316533989\ 359775632894286690688403148*c_0101_4^28 - 5459284335113435157214901376816176609484934939335548765686069784897\ 786086386261847/656484796384250650484655540273290694803055316533989\ 359775632894286690688403148*c_0101_4^27 + 5765349033908375096591022456972389514995636729325989963410521322017\ 110735405134453/328242398192125325242327770136645347401527658266994\ 679887816447143345344201574*c_0101_4^26 + 5433819921426043132728730316375815281167665772605013149415752969220\ 4361219968991809/65648479638425065048465554027329069480305531653398\ 9359775632894286690688403148*c_0101_4^25 + 4935649230197149928855985689809195753025226623690632953597557784325\ 2157789963978499/65648479638425065048465554027329069480305531653398\ 9359775632894286690688403148*c_0101_4^24 - 1181714675067135556286891688792855916406238507334414770009517303047\ 22856527965087209/6564847963842506504846555402732906948030553165339\ 89359775632894286690688403148*c_0101_4^23 - 3091544741951376073967233126190908744857769816962153978816368104016\ 27275148185724259/6564847963842506504846555402732906948030553165339\ 89359775632894286690688403148*c_0101_4^22 - 1706551177422530227497220495793533863192459195684912583953077740522\ 6545140720804669/16412119909606266262116388506832267370076382913349\ 7339943908223571672672100787*c_0101_4^21 + 5828772752521533862139997705895538882214867001427872476024024741165\ 64412248579897085/6564847963842506504846555402732906948030553165339\ 89359775632894286690688403148*c_0101_4^20 + 6363324293358353027415699394923118171837306222113772137521079906641\ 28307379551652821/6564847963842506504846555402732906948030553165339\ 89359775632894286690688403148*c_0101_4^19 - 4052013811906293166090580601305086242831105700882921029877228519408\ 64556767967754725/6564847963842506504846555402732906948030553165339\ 89359775632894286690688403148*c_0101_4^18 - 1112424898902143931488363981408071791641923629120213189094704841500\ 131070493041095979/656484796384250650484655540273290694803055316533\ 989359775632894286690688403148*c_0101_4^17 - 1010338365011416844336767301048307575291493838809838964601546771158\ 78070236968554395/3282423981921253252423277701366453474015276582669\ 94679887816447143345344201574*c_0101_4^16 + 9850698364770984245488856825344858757124243836861394684049330727667\ 86041851209028695/6564847963842506504846555402732906948030553165339\ 89359775632894286690688403148*c_0101_4^15 + 1589939325668279759529501373413572411509815055406665859681880118717\ 44710129368897958/1641211990960626626211638850683226737007638291334\ 97339943908223571672672100787*c_0101_4^14 - 2282106190430519349100849080328405572720277523691970360663939123151\ 49635120714590343/3282423981921253252423277701366453474015276582669\ 94679887816447143345344201574*c_0101_4^13 - 5790944498177273764895598669655747789694874472616263082219703263520\ 90743021478736573/6564847963842506504846555402732906948030553165339\ 89359775632894286690688403148*c_0101_4^12 + 1319988528333848292606142233955921989061832140540471977177772946761\ 0745515904741289/16412119909606266262116388506832267370076382913349\ 7339943908223571672672100787*c_0101_4^11 + 7272157391705178038774506805442119570192042664246249797921107225788\ 1996677022068597/16412119909606266262116388506832267370076382913349\ 7339943908223571672672100787*c_0101_4^10 + 2998766944083721876997952153644699706051703736185068181021281461186\ 3670631843003573/32824239819212532524232777013664534740152765826699\ 4679887816447143345344201574*c_0101_4^9 - 8489284655072307692001833660760816736755140483527545584762991892222\ 3707799837055121/65648479638425065048465554027329069480305531653398\ 9359775632894286690688403148*c_0101_4^8 - 3663312543840883194603634251008604028232377777596001093210162179471\ 2324473192063429/65648479638425065048465554027329069480305531653398\ 9359775632894286690688403148*c_0101_4^7 + 1267124580336911617743691911198554446641477720962586689076229637370\ 3889411417788541/65648479638425065048465554027329069480305531653398\ 9359775632894286690688403148*c_0101_4^6 + 9264137625938728380691955843343675492055928076287657399391729708302\ 986109553260245/656484796384250650484655540273290694803055316533989\ 359775632894286690688403148*c_0101_4^5 - 3837137267295470229943834471937426625937828746976044629733771691657\ 50986667223421/6564847963842506504846555402732906948030553165339893\ 59775632894286690688403148*c_0101_4^4 - 5235272299844146698870255275979972270544847827749121965221255847944\ 46967608189469/3282423981921253252423277701366453474015276582669946\ 79887816447143345344201574*c_0101_4^3 - 8673873533209519836312451584444400233536424837020893302825119153278\ 4996280893269/65648479638425065048465554027329069480305531653398935\ 9775632894286690688403148*c_0101_4^2 + 3090334752330054741578951301524037403702650006195352237325183052716\ 5537909412521/65648479638425065048465554027329069480305531653398935\ 9775632894286690688403148*c_0101_4 + 1389867566536992170599521137552312105197377158848788027195089355401\ 689818231127/656484796384250650484655540273290694803055316533989359\ 775632894286690688403148, c_0101_3 - 138824024774944167938173542221413754196960567582001030445059\ 345135185440769725/131296959276850130096931108054658138960611063306\ 7978719551265788573381376806296*c_0101_4^34 - 1650093956056108869383625809531096047163521276468182048335337115355\ 928010340451/656484796384250650484655540273290694803055316533989359\ 775632894286690688403148*c_0101_4^33 - 3210567091284996041858858512085966269988630655639187432751008181674\ 1976768476819/13129695927685013009693110805465813896061106330679787\ 19551265788573381376806296*c_0101_4^32 - 1519406188535704764436882050452210657562751915796930497306616435947\ 88476556590019/1312969592768501300969311080546581389606110633067978\ 719551265788573381376806296*c_0101_4^31 - 2874450121328533195491275289373302154035010819600614677739489235349\ 0808593866668/16412119909606266262116388506832267370076382913349733\ 9943908223571672672100787*c_0101_4^30 + 1145867437904021832600740883562679608451506108622396599287721059299\ 459457015515227/131296959276850130096931108054658138960611063306797\ 8719551265788573381376806296*c_0101_4^29 + 6566218719683826508690499220985087294241596231857361026893593160011\ 691348434162641/131296959276850130096931108054658138960611063306797\ 8719551265788573381376806296*c_0101_4^28 + 9830455599495190881087305358458208642734739268335959353097636189167\ 553607759757179/131296959276850130096931108054658138960611063306797\ 8719551265788573381376806296*c_0101_4^27 - 9674976698276749046137324541098716915188935281578545289152408271387\ 323282486600749/656484796384250650484655540273290694803055316533989\ 359775632894286690688403148*c_0101_4^26 - 9476591783113985544693859110262625932849975900986233181124700740468\ 9983164164447661/13129695927685013009693110805465813896061106330679\ 78719551265788573381376806296*c_0101_4^25 - 9026421850252960288643095489831536604956223872184113875156868117193\ 3215510828947331/13129695927685013009693110805465813896061106330679\ 78719551265788573381376806296*c_0101_4^24 + 1972306885899263172471114609798027410111211393272079252992877412706\ 02678037150290457/1312969592768501300969311080546581389606110633067\ 978719551265788573381376806296*c_0101_4^23 + 5381167617619024582943978878413997011891682669102577016280980782144\ 21344888958884447/1312969592768501300969311080546581389606110633067\ 978719551265788573381376806296*c_0101_4^22 + 1804490093241211456822773047051621936412782223882656784919125422659\ 9988146478991538/16412119909606266262116388506832267370076382913349\ 7339943908223571672672100787*c_0101_4^21 - 9774021722268527730316105227675243660820391312349907147575051310826\ 94693822279350097/1312969592768501300969311080546581389606110633067\ 978719551265788573381376806296*c_0101_4^20 - 1114576894870523147419789113643347326297556478087262928089307957635\ 052933549582433257/131296959276850130096931108054658138960611063306\ 7978719551265788573381376806296*c_0101_4^19 + 6291850701510160295196318163228724677690845084616400648648284799371\ 50002538340202369/1312969592768501300969311080546581389606110633067\ 978719551265788573381376806296*c_0101_4^18 + 1870413219816795735403908328650560087884018861370448556971430414072\ 946179978952770571/131296959276850130096931108054658138960611063306\ 7978719551265788573381376806296*c_0101_4^17 + 1987780619485189214061509607504366105128450591256818231679366559532\ 16897844114001259/6564847963842506504846555402732906948030553165339\ 89359775632894286690688403148*c_0101_4^16 - 1598143468939426040808004225995628526971313870340584826113297821715\ 374815106972182323/131296959276850130096931108054658138960611063306\ 7978719551265788573381376806296*c_0101_4^15 - 1339611444446774470672949431652407981091547593873187186272386586412\ 07493123737765188/1641211990960626626211638850683226737007638291334\ 97339943908223571672672100787*c_0101_4^14 + 3548820562468449610680428822546603277382683477743339676630896301582\ 30322252257322991/6564847963842506504846555402732906948030553165339\ 89359775632894286690688403148*c_0101_4^13 + 9315289920175242594956767378720636595031862330073297613810182912986\ 10521931950904225/1312969592768501300969311080546581389606110633067\ 978719551265788573381376806296*c_0101_4^12 - 1790387721463185786502415177804275850862791254278216664168528122995\ 0667921058244577/32824239819212532524232777013664534740152765826699\ 4679887816447143345344201574*c_0101_4^11 - 5640022880961143358807318221778006279496758563369020622003341012414\ 3517938995832045/16412119909606266262116388506832267370076382913349\ 7339943908223571672672100787*c_0101_4^10 - 4635357923236787712931383326503333432962362372577000944100922316221\ 7487156273313829/65648479638425065048465554027329069480305531653398\ 9359775632894286690688403148*c_0101_4^9 + 1277960875863665406877167819159449027274809232459959214978189632263\ 94713626505260213/1312969592768501300969311080546581389606110633067\ 978719551265788573381376806296*c_0101_4^8 + 5313580511082423830722511969794662633304338005188302777742377113090\ 0721199638621869/13129695927685013009693110805465813896061106330679\ 78719551265788573381376806296*c_0101_4^7 - 1899069981323599878424466422431443583878811335222295954862345006734\ 7615398090633253/13129695927685013009693110805465813896061106330679\ 78719551265788573381376806296*c_0101_4^6 - 1276608298167522832940918559251966133836075219082069321801727238877\ 5386457242570857/13129695927685013009693110805465813896061106330679\ 78719551265788573381376806296*c_0101_4^5 + 8367728846021319001927400438345464401400274139047303915215702181211\ 88642484181305/1312969592768501300969311080546581389606110633067978\ 719551265788573381376806296*c_0101_4^4 + 6976909714807037887123272920701707509258893852024312456644445425163\ 05305170864299/6564847963842506504846555402732906948030553165339893\ 59775632894286690688403148*c_0101_4^3 + 6584917313396515189391039430363279796134323227537145670094521598505\ 3253901422317/13129695927685013009693110805465813896061106330679787\ 19551265788573381376806296*c_0101_4^2 - 4898479938663655972983181077632780057283466317224335364713557680423\ 0606749224769/13129695927685013009693110805465813896061106330679787\ 19551265788573381376806296*c_0101_4 - 1997268321713517053171384733176387669933090889049147739735580934238\ 446531779807/131296959276850130096931108054658138960611063306797871\ 9551265788573381376806296, c_0101_4^35 + 23*c_0101_4^34 + 213*c_0101_4^33 + 918*c_0101_4^32 + 831*c_0101_4^31 - 9447*c_0101_4^30 - 40836*c_0101_4^29 - 35108*c_0101_4^28 + 190355*c_0101_4^27 + 571275*c_0101_4^26 + 138328*c_0101_4^25 - 1872614*c_0101_4^24 - 2756968*c_0101_4^23 + 1812981*c_0101_4^22 + 7603893*c_0101_4^21 + 2667010*c_0101_4^20 - 10186512*c_0101_4^19 - 9670188*c_0101_4^18 + 6965051*c_0101_4^17 + 13013481*c_0101_4^16 - 932681*c_0101_4^15 - 10330022*c_0101_4^14 - 2649603*c_0101_4^13 + 5244359*c_0101_4^12 + 2646972*c_0101_4^11 - 1678518*c_0101_4^10 - 1312471*c_0101_4^9 + 297814*c_0101_4^8 + 391176*c_0101_4^7 - 13106*c_0101_4^6 - 69184*c_0101_4^5 - 4675*c_0101_4^4 + 6489*c_0101_4^3 + 604*c_0101_4^2 - 208*c_0101_4 - 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB