Magma V2.19-8 Tue Aug 20 2013 16:16:27 on localhost [Seed = 3137021524] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0725 geometric_solution 4.67513951 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0.644197454492 0.069959072307 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.821577653400 0.096655914160 1 3 1 3 0132 0132 1023 1023 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 -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.694174478120 0.340407155035 4 2 5 2 0132 0132 0132 1023 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 1.861245143272 1.496224318431 3 6 5 5 0132 0132 2310 1230 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.342296736102 1.137461527531 4 4 6 3 3012 3201 3201 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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.342296736102 1.137461527531 5 4 6 6 2310 0132 1230 3012 0 0 0 0 0 0 0 0 1 0 -1 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.205204581669 0.421547196796 ==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' : 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' : 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' : negation(d['c_0101_5']), 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_5'], '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' : d['c_0011_1'], 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_5'], '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_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_4'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_5, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 3003430089621441972471238874609864473547710123145838879290066064926\ 128718467445094429624982/471100092828622769828042882707740053754704\ 3579527626249878673877633888394649887511982933*c_0101_5^31 + 3341653361740130652575453295744446948786770328320671491571334724464\ 1258962538521624830997691/94220018565724553965608576541548010750940\ 87159055252499757347755267776789299775023965866*c_0101_5^30 + 2100741913056985543329433007863215266623246454464300686577129168366\ 05483516841677009981906281/9422001856572455396560857654154801075094\ 087159055252499757347755267776789299775023965866*c_0101_5^29 - 1863611456360988647174592390378835929017219027908541412269277271566\ 154376806056001367016033335/942200185657245539656085765415480107509\ 4087159055252499757347755267776789299775023965866*c_0101_5^28 + 1464966515397927944064359692584610385252506848373807914274495139828\ 458156671285828371610810173/942200185657245539656085765415480107509\ 4087159055252499757347755267776789299775023965866*c_0101_5^27 + 8581368951682693062750844909637933603851911811349327813843487618174\ 379942223203303431221729370/471100092828622769828042882707740053754\ 7043579527626249878673877633888394649887511982933*c_0101_5^26 - 1252784357990201742729706389136134155938752657447139652187115649534\ 4692002699369065489865493258/47110009282862276982804288270774005375\ 47043579527626249878673877633888394649887511982933*c_0101_5^25 - 8555660716339969275559931462185302451213934730733563348119604438899\ 2155947908339412891530870815/94220018565724553965608576541548010750\ 94087159055252499757347755267776789299775023965866*c_0101_5^24 + 2454498848781637706601160736623634456590918868588310044065322264311\ 4407455301755997405634283115/47110009282862276982804288270774005375\ 47043579527626249878673877633888394649887511982933*c_0101_5^23 + 5143022230264738652539895549775443560572312615078377271321881478716\ 28715328419409742653610250283/9422001856572455396560857654154801075\ 094087159055252499757347755267776789299775023965866*c_0101_5^22 + 1424285465707562465148948529205317907693939024205800853382073004646\ 02412845162806179468000827463/4711000928286227698280428827077400537\ 547043579527626249878673877633888394649887511982933*c_0101_5^21 - 1115395402330039930833561554788860931338456302853635646177211195272\ 048674503538973169667802953667/471100092828622769828042882707740053\ 7547043579527626249878673877633888394649887511982933*c_0101_5^20 - 1204630355535510958995311754094700485151006005219344333129206370688\ 165015404253007629592074929256/471100092828622769828042882707740053\ 7547043579527626249878673877633888394649887511982933*c_0101_5^19 + 2274985118214420114888176963428204676836803022520372970282606949587\ 988510604167839259310912934519/471100092828622769828042882707740053\ 7547043579527626249878673877633888394649887511982933*c_0101_5^18 + 3951018604325541236034386822299676506092996216489932071373352545205\ 355335933108970925155019375931/471100092828622769828042882707740053\ 7547043579527626249878673877633888394649887511982933*c_0101_5^17 - 2727962824962512510811799840710447981360984208339336174212724216059\ 934474476461537072888368934407/942200185657245539656085765415480107\ 5094087159055252499757347755267776789299775023965866*c_0101_5^16 - 6280356967368174050775021940574181899791569598739565624635927862352\ 895199084961587983966658981957/471100092828622769828042882707740053\ 7547043579527626249878673877633888394649887511982933*c_0101_5^15 - 3237108752036116642579579102530075554525774840042093724940840723987\ 928475812150902744317343143557/942200185657245539656085765415480107\ 5094087159055252499757347755267776789299775023965866*c_0101_5^14 + 4904889510973621153456199892043493859068722706557634975746096073997\ 087219721978923339473626051952/471100092828622769828042882707740053\ 7547043579527626249878673877633888394649887511982933*c_0101_5^13 + 4946640160518925694541803473933453629091598974743621538558454625972\ 077079550938097926581616135759/942200185657245539656085765415480107\ 5094087159055252499757347755267776789299775023965866*c_0101_5^12 - 4095621753641762689986008112405794841371321053975551495527214777781\ 802002732377210049424015867725/942200185657245539656085765415480107\ 5094087159055252499757347755267776789299775023965866*c_0101_5^11 - 2317308336815621338360997386622581863298860500820996946687847369267\ 555150572626019545322452642573/942200185657245539656085765415480107\ 5094087159055252499757347755267776789299775023965866*c_0101_5^10 + 1268330405364477456081331616755792111554873167873862179511524079243\ 498645523181091739543959163421/942200185657245539656085765415480107\ 5094087159055252499757347755267776789299775023965866*c_0101_5^9 + 3152706790230313693649097765715528974225207166698344040458175030309\ 8411455123145522572423898805/42827281166238433620731171155249095795\ 8822143593420568170788534330353490422717046543903*c_0101_5^8 - 2578636273406910031602760176746376101302852124083808849393829294117\ 86360239593459109645449409761/9422001856572455396560857654154801075\ 094087159055252499757347755267776789299775023965866*c_0101_5^7 - 1390964153671274017927396986808285055920983147595134903195387136426\ 0438332614039559325443552795/85654562332476867241462342310498191591\ 7644287186841136341577068660706980845434093087806*c_0101_5^6 + 2395210008228834279022940984444726037086247398755945031953580204019\ 3164268675355482737222653245/94220018565724553965608576541548010750\ 94087159055252499757347755267776789299775023965866*c_0101_5^5 + 1012393675789976381174276563722598291089341279287816644054936929711\ 0940243026351269742104581523/47110009282862276982804288270774005375\ 47043579527626249878673877633888394649887511982933*c_0101_5^4 - 3358011609555078306073956800088641393785814862072411624650272500401\ 97183679172803311326103255/9422001856572455396560857654154801075094\ 087159055252499757347755267776789299775023965866*c_0101_5^3 - 1364532753093387447981710721586745203443290390516481837208755365896\ 429983897447338134847652795/942200185657245539656085765415480107509\ 4087159055252499757347755267776789299775023965866*c_0101_5^2 - 4045759149837441164178109129452640965850370915327054731037013510743\ 369386065893407363481539/856545623324768672414623423104981915917644\ 287186841136341577068660706980845434093087806*c_0101_5 + 3753701231543446507580242492015479350743443299186884610699580320475\ 3747783419950497245177811/94220018565724553965608576541548010750940\ 87159055252499757347755267776789299775023965866, c_0011_0 - 1, c_0011_1 - 976257796859693366245975956761305612423591952282861486347508\ 120255252500783307818940341/428272811662384336207311711552490957958\ 822143593420568170788534330353490422717046543903*c_0101_5^31 + 5243687706511216628814480841859070729190123815216142139385980241193\ 736501539143771146815/428272811662384336207311711552490957958822143\ 593420568170788534330353490422717046543903*c_0101_5^30 + 3515588066070628014773892471307664168447398200177529704830870391869\ 8921803059238594525943/42827281166238433620731171155249095795882214\ 3593420568170788534330353490422717046543903*c_0101_5^29 - 2961895516522165488912401199830612375390747286210026668876236422534\ 18633089839141991829539/4282728116623843362073117115524909579588221\ 43593420568170788534330353490422717046543903*c_0101_5^28 + 1810494793832397525452232204269467797318799890013582853560094000709\ 00427379262698563353316/4282728116623843362073117115524909579588221\ 43593420568170788534330353490422717046543903*c_0101_5^27 + 2826829863857954791655771359721620553464794339250181503173907519505\ 902286838370521560831195/428272811662384336207311711552490957958822\ 143593420568170788534330353490422717046543903*c_0101_5^26 - 3534734785821694400010737547575923355157622195950256710510762815696\ 704515642227360438644208/428272811662384336207311711552490957958822\ 143593420568170788534330353490422717046543903*c_0101_5^25 - 1460235781365242030763762802756402872895113140566122115984752301009\ 9431756178635733812929873/42827281166238433620731171155249095795882\ 2143593420568170788534330353490422717046543903*c_0101_5^24 + 5235400648280067601439060604972450905189579834164019753059251363355\ 440248606803666316323686/428272811662384336207311711552490957958822\ 143593420568170788534330353490422717046543903*c_0101_5^23 + 8465617645697717727413982681996191922430597154173940666193039922120\ 3224677134023953396526542/42827281166238433620731171155249095795882\ 2143593420568170788534330353490422717046543903*c_0101_5^22 + 6235290108063463089373576493204904699546878298634665924219257629081\ 4787707069709721742569641/42827281166238433620731171155249095795882\ 2143593420568170788534330353490422717046543903*c_0101_5^21 - 3511581077446986483375234485572244135097956842103623115297257669467\ 11668957515878488915706359/4282728116623843362073117115524909579588\ 22143593420568170788534330353490422717046543903*c_0101_5^20 - 4585310047068613196092069864388735993617127689775325933702230713428\ 83343341653697851141279032/4282728116623843362073117115524909579588\ 22143593420568170788534330353490422717046543903*c_0101_5^19 + 6546649012965332641254433045850011928378896140400469982303233467580\ 47481601681021717395743334/4282728116623843362073117115524909579588\ 22143593420568170788534330353490422717046543903*c_0101_5^18 + 1409485263355205045735298686725312410842106010470278394993030060635\ 533667022206982716863663915/428272811662384336207311711552490957958\ 822143593420568170788534330353490422717046543903*c_0101_5^17 - 1817108398307087048220983713872141505178864629991500121548778545767\ 12903620737788356326637865/4282728116623843362073117115524909579588\ 22143593420568170788534330353490422717046543903*c_0101_5^16 - 2078903616001755341938984637857204222139400614105249934167066054732\ 788698821036047640664186267/428272811662384336207311711552490957958\ 822143593420568170788534330353490422717046543903*c_0101_5^15 - 9111987015618683067132001171101377533466975716813027913077990201309\ 43559664161772022031867003/4282728116623843362073117115524909579588\ 22143593420568170788534330353490422717046543903*c_0101_5^14 + 1429392048467980469674058830181598082661318330897908181011075886571\ 469592483148602510818807229/428272811662384336207311711552490957958\ 822143593420568170788534330353490422717046543903*c_0101_5^13 + 1065060792754282493642247980628242060379490355140806869041513540168\ 632676915501746361171782287/428272811662384336207311711552490957958\ 822143593420568170788534330353490422717046543903*c_0101_5^12 - 4750013428169370671547717100185793043685518455415688664407767886088\ 68593563565447121125911709/4282728116623843362073117115524909579588\ 22143593420568170788534330353490422717046543903*c_0101_5^11 - 4597107686528185492957598412044790436954102300810269079074031878735\ 11480240845673093325832433/4282728116623843362073117115524909579588\ 22143593420568170788534330353490422717046543903*c_0101_5^10 + 1271284467111190804387335080430060667280739952036999690096543365756\ 59828566020818481120130586/4282728116623843362073117115524909579588\ 22143593420568170788534330353490422717046543903*c_0101_5^9 + 1336683643177385150173499920343031378358791894868392609016970290799\ 40084248242253018614169813/4282728116623843362073117115524909579588\ 22143593420568170788534330353490422717046543903*c_0101_5^8 - 1954546828629349989940466624923473772652339844419216427048969390322\ 2724887346057307165148973/42827281166238433620731171155249095795882\ 2143593420568170788534330353490422717046543903*c_0101_5^7 - 2753595708021149061615097178314320887205997830481910399621313379867\ 3484330754685186987585269/42827281166238433620731171155249095795882\ 2143593420568170788534330353490422717046543903*c_0101_5^6 - 6383186050711291658593495649391633670616122434186423779753608308935\ 95280159647929386191664/4282728116623843362073117115524909579588221\ 43593420568170788534330353490422717046543903*c_0101_5^5 + 2986018884421788574469226884270836926577438553116465375853556766788\ 688511051056761144617107/428272811662384336207311711552490957958822\ 143593420568170788534330353490422717046543903*c_0101_5^4 + 3904525891476432059393604849956622832359844133933475366022969512028\ 68287841893314435709574/4282728116623843362073117115524909579588221\ 43593420568170788534330353490422717046543903*c_0101_5^3 - 1369641877785001031949496476239077539183252883490763009601205941114\ 82589492371336910828438/4282728116623843362073117115524909579588221\ 43593420568170788534330353490422717046543903*c_0101_5^2 - 2103322702300650646264429642078326603185841056724440795601558817084\ 4784225524574728085420/42827281166238433620731171155249095795882214\ 3593420568170788534330353490422717046543903*c_0101_5 + 2574832149999554941709648394182320014354665555079900776382308365317\ 416497630840050990308/428272811662384336207311711552490957958822143\ 593420568170788534330353490422717046543903, c_0011_5 - 117008057119865843966988797038199615881366959425589065154293\ 353580086072000880826029957/428272811662384336207311711552490957958\ 822143593420568170788534330353490422717046543903*c_0101_5^31 + 6552747287310089086980212560089802730487589884414353271329458428481\ 07988383094769443807/4282728116623843362073117115524909579588221435\ 93420568170788534330353490422717046543903*c_0101_5^30 + 4068220922689458196086943252665554852453310906959317844470543353971\ 240207488019846390376/428272811662384336207311711552490957958822143\ 593420568170788534330353490422717046543903*c_0101_5^29 - 3645335332301388411743565559270760853873539706070311209986054192097\ 1054043358832915332523/42827281166238433620731171155249095795882214\ 3593420568170788534330353490422717046543903*c_0101_5^28 + 2985944129709919451861025337162225138515505522413428581654819113766\ 7833566844215105210990/42827281166238433620731171155249095795882214\ 3593420568170788534330353490422717046543903*c_0101_5^27 + 3332909127476394128409755664227230287438336007067870187704887328157\ 55638867551511466382830/4282728116623843362073117115524909579588221\ 43593420568170788534330353490422717046543903*c_0101_5^26 - 4998440703613589543738543066554445216671838639476000110126835834803\ 14701076812931380608012/4282728116623843362073117115524909579588221\ 43593420568170788534330353490422717046543903*c_0101_5^25 - 1650224409272588263632520483702735482096021700635256690794019268356\ 354710737527547315706471/428272811662384336207311711552490957958822\ 143593420568170788534330353490422717046543903*c_0101_5^24 + 1013391973760499198316538633842249697739983939573316814001403358800\ 268299029385778516245286/428272811662384336207311711552490957958822\ 143593420568170788534330353490422717046543903*c_0101_5^23 + 9998662359184614320477589250114820445302417788990662210724407995936\ 958303768139661874404396/428272811662384336207311711552490957958822\ 143593420568170788534330353490422717046543903*c_0101_5^22 + 5202976108820666459069980922558902131088191410485539099009346397593\ 288365497746727866879105/428272811662384336207311711552490957958822\ 143593420568170788534330353490422717046543903*c_0101_5^21 - 4371324756298583489684675532050626012114818288737756684887719867287\ 2152327517427708235058097/42827281166238433620731171155249095795882\ 2143593420568170788534330353490422717046543903*c_0101_5^20 - 4552242482977200930918232543728436290381425846215379571922042462064\ 5996571241650679979169982/42827281166238433620731171155249095795882\ 2143593420568170788534330353490422717046543903*c_0101_5^19 + 9042712413145369888355860656292152366060092427416575773106774909783\ 6277920062380350600149819/42827281166238433620731171155249095795882\ 2143593420568170788534330353490422717046543903*c_0101_5^18 + 1516158695654882567882556052661469098638234866571623839617706329249\ 80517953384660490042535226/4282728116623843362073117115524909579588\ 22143593420568170788534330353490422717046543903*c_0101_5^17 - 5835854496698821208742739463086559401744917249209872396377443729465\ 8741051848330938156945825/42827281166238433620731171155249095795882\ 2143593420568170788534330353490422717046543903*c_0101_5^16 - 2448518631966548480495567865292943991734538322234876986088450106022\ 91276412597206829965113045/4282728116623843362073117115524909579588\ 22143593420568170788534330353490422717046543903*c_0101_5^15 - 5642117312639675130966091628469018438124122035844906539587188155312\ 6985998773556567950882099/42827281166238433620731171155249095795882\ 2143593420568170788534330353490422717046543903*c_0101_5^14 + 1951671040201151690514772307614229860381769319302006116609570048293\ 06281881402491905116074007/4282728116623843362073117115524909579588\ 22143593420568170788534330353490422717046543903*c_0101_5^13 + 9352319792930075144275985032438389904497466668796202971076695974232\ 6069758331313788155891353/42827281166238433620731171155249095795882\ 2143593420568170788534330353490422717046543903*c_0101_5^12 - 8291264160027740183006326955629922606983084039494441488879309245181\ 8655185215333248149695344/42827281166238433620731171155249095795882\ 2143593420568170788534330353490422717046543903*c_0101_5^11 - 4530959372587126890955216594060804633141474883196216252315097734552\ 1664379789640946175092985/42827281166238433620731171155249095795882\ 2143593420568170788534330353490422717046543903*c_0101_5^10 + 2522063177901103986184794418500477590734669147295445393238631624845\ 2112360273724146440354273/42827281166238433620731171155249095795882\ 2143593420568170788534330353490422717046543903*c_0101_5^9 + 1361917421890806184378149929025738614580296866567040860227529688794\ 1609982152760333414742053/42827281166238433620731171155249095795882\ 2143593420568170788534330353490422717046543903*c_0101_5^8 - 5081447094722823023888080813084468519205703515336070429680060912639\ 629794410526634543243378/428272811662384336207311711552490957958822\ 143593420568170788534330353490422717046543903*c_0101_5^7 - 3040401920355955457292658440822219900877263608479460959687967103884\ 233941135105514689182844/428272811662384336207311711552490957958822\ 143593420568170788534330353490422717046543903*c_0101_5^6 + 4487243356756107935296549216949849756333634242483355985334340653148\ 61344440588343635554531/4282728116623843362073117115524909579588221\ 43593420568170788534330353490422717046543903*c_0101_5^5 + 4089508287698840590382528020694166682594342858656251977030025650425\ 11696411189328326237926/4282728116623843362073117115524909579588221\ 43593420568170788534330353490422717046543903*c_0101_5^4 + 5065992153100699509828548894798462115030108040967780051453988149348\ 970847830204744129314/428272811662384336207311711552490957958822143\ 593420568170788534330353490422717046543903*c_0101_5^3 - 2414011769117077098148190799708084262454309199944695612916168021860\ 7249137891390399662769/42827281166238433620731171155249095795882214\ 3593420568170788534330353490422717046543903*c_0101_5^2 - 1796493837580376002697807154242828484405750851764488568731315438990\ 338604637334659611296/428272811662384336207311711552490957958822143\ 593420568170788534330353490422717046543903*c_0101_5 + 2956311925134639993477392685627026042782795942615356955541704948091\ 88230797043756473202/4282728116623843362073117115524909579588221435\ 93420568170788534330353490422717046543903, c_0101_0 - 272044849343436536151800447274506236792004853464584769196724\ 2485910391528892623048711597/85654562332476867241462342310498191591\ 7644287186841136341577068660706980845434093087806*c_0101_5^31 + 7366907859002971944080932399309951483596149092568002554870977390453\ 274751219527201454748/428272811662384336207311711552490957958822143\ 593420568170788534330353490422717046543903*c_0101_5^30 + 4861798514743272483338270508497725523582060585555751781539613918407\ 4989557876680561531511/42827281166238433620731171155249095795882214\ 3593420568170788534330353490422717046543903*c_0101_5^29 - 4146461096517960468534959789214044908739653042046492990347155744065\ 88947329040677098424398/4282728116623843362073117115524909579588221\ 43593420568170788534330353490422717046543903*c_0101_5^28 + 5438936525506264632864599252908430472780202422256366886205051682894\ 30745666778716324212111/8565456233247686724146234231049819159176442\ 87186841136341577068660706980845434093087806*c_0101_5^27 + 3915068325554141577185697049641716502362337052178173360166456842088\ 562710317704572371125920/428272811662384336207311711552490957958822\ 143593420568170788534330353490422717046543903*c_0101_5^26 - 1017302527937192975542454604258376523276145589229653447800786808977\ 0975320357087078037508141/85654562332476867241462342310498191591764\ 4287186841136341577068660706980845434093087806*c_0101_5^25 - 4004890004123400479437785978787132138915645727473955737539993730252\ 2418037347621518528344633/85654562332476867241462342310498191591764\ 4287186841136341577068660706980845434093087806*c_0101_5^24 + 1600997116125810583948341434988491487518295238967685659165278785745\ 5748539415642184107348911/85654562332476867241462342310498191591764\ 4287186841136341577068660706980845434093087806*c_0101_5^23 + 2343654914633278584144703783419847193193818997558997230633988338236\ 83397310664924374891213189/8565456233247686724146234231049819159176\ 44287186841136341577068660706980845434093087806*c_0101_5^22 + 8207553628437417469481243043932299773645658352952438497605644014818\ 4679418052050657883705094/42827281166238433620731171155249095795882\ 2143593420568170788534330353490422717046543903*c_0101_5^21 - 4901686214051602039759028453055908642019838499889068523310017072016\ 34421681370996853484106553/4282728116623843362073117115524909579588\ 22143593420568170788534330353490422717046543903*c_0101_5^20 - 6164088706127734066144566027356548193024951149443351766755120076160\ 64260770140872964903600349/4282728116623843362073117115524909579588\ 22143593420568170788534330353490422717046543903*c_0101_5^19 + 9267747025870207435925480440418571989520637250724957543573379173405\ 75021508751971741651673365/4282728116623843362073117115524909579588\ 22143593420568170788534330353490422717046543903*c_0101_5^18 + 3827814843394067557269201021660921421356084850189734194844694233182\ 361504090663397194565941333/856545623324768672414623423104981915917\ 644287186841136341577068660706980845434093087806*c_0101_5^17 - 6202730346410693348721642582975939208026301299431597945084559803523\ 06321377021793095416622567/8565456233247686724146234231049819159176\ 44287186841136341577068660706980845434093087806*c_0101_5^16 - 5699992363811495539919996681752076735615902039534748712091093967250\ 219721081451722629190802825/856545623324768672414623423104981915917\ 644287186841136341577068660706980845434093087806*c_0101_5^15 - 2337416606941566109246969443697654144063212365694328063962405240440\ 087125272241968423465848833/856545623324768672414623423104981915917\ 644287186841136341577068660706980845434093087806*c_0101_5^14 + 3973154387080916306368934270186296923295850486329337409175114808519\ 706556932322299491806790281/856545623324768672414623423104981915917\ 644287186841136341577068660706980845434093087806*c_0101_5^13 + 1398521028791257688216790636710198581984038087329396618837608473082\ 376335304081864700695810089/428272811662384336207311711552490957958\ 822143593420568170788534330353490422717046543903*c_0101_5^12 - 6761916416572123607680686333071845865542482899703444006539469948427\ 64806504061095494927751864/4282728116623843362073117115524909579588\ 22143593420568170788534330353490422717046543903*c_0101_5^11 - 6036706590158470019249546046436056731658763662825140614290580305176\ 58918805751031948463136617/4282728116623843362073117115524909579588\ 22143593420568170788534330353490422717046543903*c_0101_5^10 + 3656521718056483577089831764372122949621975561967952966083268489937\ 59676167571331778249832487/8565456233247686724146234231049819159176\ 44287186841136341577068660706980845434093087806*c_0101_5^9 + 3522841707555690486274570191968472556822156192204666722318547435736\ 65528545656919255754838715/8565456233247686724146234231049819159176\ 44287186841136341577068660706980845434093087806*c_0101_5^8 - 2868857912144543708702495085718579035901582835026245068255019855935\ 8921107404944282869548876/42827281166238433620731171155249095795882\ 2143593420568170788534330353490422717046543903*c_0101_5^7 - 3670482185932624665892558659698413457016546634977195546861312467691\ 1587688085777219866934460/42827281166238433620731171155249095795882\ 2143593420568170788534330353490422717046543903*c_0101_5^6 - 8195472904664115242812821891122509843333431191600959529831157622517\ 82037001602127396495373/8565456233247686724146234231049819159176442\ 87186841136341577068660706980845434093087806*c_0101_5^5 + 8116871002042233574509169143518099373284316567176213330083653332256\ 718681645186120199435871/856545623324768672414623423104981915917644\ 287186841136341577068660706980845434093087806*c_0101_5^4 + 4726891029849122504543080358041643870868041074147939731080559190849\ 64374763936152530740002/4282728116623843362073117115524909579588221\ 43593420568170788534330353490422717046543903*c_0101_5^3 - 1949343825700571597287417802612834434753114409044279816728629390032\ 57310889173547083574734/4282728116623843362073117115524909579588221\ 43593420568170788534330353490422717046543903*c_0101_5^2 - 2656893040684254686958598078618318588075252267401319245475827688752\ 3768494930075772458158/42827281166238433620731171155249095795882214\ 3593420568170788534330353490422717046543903*c_0101_5 + 7964053051021255236513872464424404497670250175940494583476403447528\ 247203284398098822427/856545623324768672414623423104981915917644287\ 186841136341577068660706980845434093087806, c_0101_1 - 604783385363284746176307278604793342375929812059110604383118\ 951007975386457164826674555/428272811662384336207311711552490957958\ 822143593420568170788534330353490422717046543903*c_0101_5^31 + 3260145170541805820396727973751613323960247422211982259823724580528\ 535605571047455756985/428272811662384336207311711552490957958822143\ 593420568170788534330353490422717046543903*c_0101_5^30 + 2171424169546404202046616835803251052701664818995875701130678093150\ 3424085025266763735422/42827281166238433620731171155249095795882214\ 3593420568170788534330353490422717046543903*c_0101_5^29 - 1838973297681847007268392044248029130503836388826283133720527570057\ 22461413412238656483187/4282728116623843362073117115524909579588221\ 43593420568170788534330353490422717046543903*c_0101_5^28 + 1157507306708123462583327774142130224625741663882738050109609927983\ 71402651183926033303117/4282728116623843362073117115524909579588221\ 43593420568170788534330353490422717046543903*c_0101_5^27 + 1748440966825392142322022743811980175721089874965796824843483677148\ 182188730096970068885011/428272811662384336207311711552490957958822\ 143593420568170788534330353490422717046543903*c_0101_5^26 - 2222275912552954839929537054042813270823225296849640311745951099080\ 092060712307774992791237/428272811662384336207311711552490957958822\ 143593420568170788534330353490422717046543903*c_0101_5^25 - 9000484132957500584259785953466754560590530190811603621179589804020\ 123810045907465009240627/428272811662384336207311711552490957958822\ 143593420568170788534330353490422717046543903*c_0101_5^24 + 3404074095364410657441657573034960067404429587828604965966924859855\ 815436157082835358563871/428272811662384336207311711552490957958822\ 143593420568170788534330353490422717046543903*c_0101_5^23 + 5237575249121497447298043960289552429048262381478056775986604255391\ 3344926739178954764594447/42827281166238433620731171155249095795882\ 2143593420568170788534330353490422717046543903*c_0101_5^22 + 3765737317755805744443690764231262455257576925949133221950882452256\ 9912690632788940635382962/42827281166238433620731171155249095795882\ 2143593420568170788534330353490422717046543903*c_0101_5^21 - 2181930312148463294447809827447757693026070506316747215160942400911\ 75910923650601088879828502/4282728116623843362073117115524909579588\ 22143593420568170788534330353490422717046543903*c_0101_5^20 - 2800080595917264127040308273905108443524505712912155202056799107822\ 05393021742526437642397752/4282728116623843362073117115524909579588\ 22143593420568170788534330353490422717046543903*c_0101_5^19 + 4104462181242231156085585734926729631462961935000185672568893975175\ 79321220342519242522569111/4282728116623843362073117115524909579588\ 22143593420568170788534330353490422717046543903*c_0101_5^18 + 8658031441891278699997219480177125842038385577491086627817455009629\ 24432604931976093628897863/4282728116623843362073117115524909579588\ 22143593420568170788534330353490422717046543903*c_0101_5^17 - 1276135193439218629513706034611861990866872279954441584920466415606\ 46805168109362680767832876/4282728116623843362073117115524909579588\ 22143593420568170788534330353490422717046543903*c_0101_5^16 - 1286014056293530568335463742812703185028747194173361485086665150785\ 122290370827726347950430654/428272811662384336207311711552490957958\ 822143593420568170788534330353490422717046543903*c_0101_5^15 - 5429696264961119461947842735906490876166924215621633446818244023835\ 97775300226506127761601751/4282728116623843362073117115524909579588\ 22143593420568170788534330353490422717046543903*c_0101_5^14 + 8951726212047274779775459062093115761451421394892388953669122460015\ 41666018128572236884316134/4282728116623843362073117115524909579588\ 22143593420568170788534330353490422717046543903*c_0101_5^13 + 6464393792705642778953966630528236520476458938669900264892532353412\ 91303174027357610814734762/4282728116623843362073117115524909579588\ 22143593420568170788534330353490422717046543903*c_0101_5^12 - 3044587144576073696584435496216791249193411761094905971695015213598\ 17903155759185491963890288/4282728116623843362073117115524909579588\ 22143593420568170788534330353490422717046543903*c_0101_5^11 - 2813061480655118542288234856937328647099405423456864016601870447091\ 77844226087674921159802235/4282728116623843362073117115524909579588\ 22143593420568170788534330353490422717046543903*c_0101_5^10 + 8250159768372833335611895527812209083602050996407894599793889789968\ 0266908084128294792750945/42827281166238433620731171155249095795882\ 2143593420568170788534330353490422717046543903*c_0101_5^9 + 8194752399289602060836962501247622381098073187484579880507301616460\ 8732678168443250007728513/42827281166238433620731171155249095795882\ 2143593420568170788534330353490422717046543903*c_0101_5^8 - 1317446062769016398902158359031434098784894758492509468662464659467\ 9037097107736587686020124/42827281166238433620731171155249095795882\ 2143593420568170788534330353490422717046543903*c_0101_5^7 - 1699807770057617414164402353689118072009515894931331750106646614032\ 1358176849073484381149522/42827281166238433620731171155249095795882\ 2143593420568170788534330353490422717046543903*c_0101_5^6 - 1989522376871391946795741706305170489312529592810798743815271369858\ 73961071314790893763478/4282728116623843362073117115524909579588221\ 43593420568170788534330353490422717046543903*c_0101_5^5 + 1875477818521591267149603588313063962585853623863239854167223905219\ 473374738694067912726601/428272811662384336207311711552490957958822\ 143593420568170788534330353490422717046543903*c_0101_5^4 + 2277907158987734260637293663100766974089142576920670640789327979238\ 72945601297252297888748/4282728116623843362073117115524909579588221\ 43593420568170788534330353490422717046543903*c_0101_5^3 - 8809065197400034605882394086298301183633391361057815763492650023069\ 8257415700851858879511/42827281166238433620731171155249095795882214\ 3593420568170788534330353490422717046543903*c_0101_5^2 - 1287709018589249169664500340399841996832127311957355021681733118155\ 7452899784493160873080/42827281166238433620731171155249095795882214\ 3593420568170788534330353490422717046543903*c_0101_5 + 1940209822226271257506082295728102800187634960484946007862918507725\ 515239841906537123608/428272811662384336207311711552490957958822143\ 593420568170788534330353490422717046543903, c_0101_4 - 130602098936400558697841027928640301586982861441157135627802\ 6913677346702872992061884259/85654562332476867241462342310498191591\ 7644287186841136341577068660706980845434093087806*c_0101_5^31 + 3506840259297583357717088221205738796305734633200934682830084951922\ 556556814729972159881/428272811662384336207311711552490957958822143\ 593420568170788534330353490422717046543903*c_0101_5^30 + 2350958708677119182338037320868849686817294451846938382880002763012\ 2560162782175155285780/42827281166238433620731171155249095795882214\ 3593420568170788534330353490422717046543903*c_0101_5^29 - 1980447536424570386920183185925218360329656401423637680928052260460\ 64492524288379434085572/4282728116623843362073117115524909579588221\ 43593420568170788534330353490422717046543903*c_0101_5^28 + 2424651364954857623647943335777004496176447071154838109460100755718\ 49234698765319213203743/8565456233247686724146234231049819159176442\ 87186841136341577068660706980845434093087806*c_0101_5^27 + 1888093827830040350279997693910830069502531372705458263463477176345\ 619362092231133289385079/428272811662384336207311711552490957958822\ 143593420568170788534330353490422717046543903*c_0101_5^26 - 4720237223935907408799324882800092126361260822501263216788804462596\ 529051461669823901647563/856545623324768672414623423104981915917644\ 287186841136341577068660706980845434093087806*c_0101_5^25 - 1948782419831626165290052137786686100938989968049980669229581654218\ 0640100527213076672387389/85654562332476867241462342310498191591764\ 4287186841136341577068660706980845434093087806*c_0101_5^24 + 6906482994202235798605044897277135394947644127748693613736027716262\ 965477998245163050409301/856545623324768672414623423104981915917644\ 287186841136341577068660706980845434093087806*c_0101_5^23 + 1130084551420232646293128291814439784616239179079992756264927068826\ 39861112799016062473912495/8565456233247686724146234231049819159176\ 44287186841136341577068660706980845434093087806*c_0101_5^22 + 4183726267840494801884208029723612165269158206093942357690332080450\ 1402898718256758159282655/42827281166238433620731171155249095795882\ 2143593420568170788534330353490422717046543903*c_0101_5^21 - 2340840210274677343943655523665888410133784948222669068420610275176\ 54887287550475868502244349/4282728116623843362073117115524909579588\ 22143593420568170788534330353490422717046543903*c_0101_5^20 - 3065253180970073677021565770975081530582501501670311333337579065892\ 85174601170578576881204857/4282728116623843362073117115524909579588\ 22143593420568170788534330353490422717046543903*c_0101_5^19 + 4342924361737944150386720196026565454733483798068339335514933219132\ 83633236119614900105533076/4282728116623843362073117115524909579588\ 22143593420568170788534330353490422717046543903*c_0101_5^18 + 1879548557003890288680421691455974654640512561136107531839950734158\ 659171809067759681074516445/856545623324768672414623423104981915917\ 644287186841136341577068660706980845434093087806*c_0101_5^17 - 2280184498642456557577634996362484790099497391733487421278316459889\ 35339006201991509413364733/8565456233247686724146234231049819159176\ 44287186841136341577068660706980845434093087806*c_0101_5^16 - 2759080905001150675006995591481896685478388982140756971395199370259\ 575319158910725958562363455/856545623324768672414623423104981915917\ 644287186841136341577068660706980845434093087806*c_0101_5^15 - 1229225040287354012313939398414812588023580879189164564804700971664\ 290876730936247578260179137/856545623324768672414623423104981915917\ 644287186841136341577068660706980845434093087806*c_0101_5^14 + 1876827365599039375414129721661238286346033276161283656522203286584\ 567727736522171879442747011/856545623324768672414623423104981915917\ 644287186841136341577068660706980845434093087806*c_0101_5^13 + 7088908923027805308201901093370840481277184488731712629882375412748\ 38323540182851572577555620/4282728116623843362073117115524909579588\ 22143593420568170788534330353490422717046543903*c_0101_5^12 - 3046547216850057271093296284103120704594751567791404682497366057337\ 74174679841513019193110773/4282728116623843362073117115524909579588\ 22143593420568170788534330353490422717046543903*c_0101_5^11 - 3019522555938076232002924338208098024379709887053705270474488261417\ 91181768013109538552943691/4282728116623843362073117115524909579588\ 22143593420568170788534330353490422717046543903*c_0101_5^10 + 1603380539042758540892871142149444097155141157350832919798047894778\ 15717936983321583484114983/8565456233247686724146234231049819159176\ 44287186841136341577068660706980845434093087806*c_0101_5^9 + 1749495318382171753949056745041043543811646877850711028520098694715\ 46431286984624996365625995/8565456233247686724146234231049819159176\ 44287186841136341577068660706980845434093087806*c_0101_5^8 - 1165629285695408692981895338386907869892061667558582017329913874444\ 6021736665465087304432313/42827281166238433620731171155249095795882\ 2143593420568170788534330353490422717046543903*c_0101_5^7 - 1796172526711217732846952012391792453351309128705257224466572384565\ 3630872596303182360893979/42827281166238433620731171155249095795882\ 2143593420568170788534330353490422717046543903*c_0101_5^6 - 1286015022120022192790768907534754445475893545793449002442384000694\ 770552503818427083101931/856545623324768672414623423104981915917644\ 287186841136341577068660706980845434093087806*c_0101_5^5 + 3816934308411764720192778419094189648695481998547041112273403644519\ 387494016765245501785383/856545623324768672414623423104981915917644\ 287186841136341577068660706980845434093087806*c_0101_5^4 + 2629876855691343613676414713107865035086205696783969898953762693632\ 43557738410717286015287/4282728116623843362073117115524909579588221\ 43593420568170788534330353490422717046543903*c_0101_5^3 - 8521950565176789137500411220126793011728297253679188927076782985592\ 5182521196272412666718/42827281166238433620731171155249095795882214\ 3593420568170788534330353490422717046543903*c_0101_5^2 - 1294779314516943186363779292508370947383917399337625849743402107650\ 2764599458402303211336/42827281166238433620731171155249095795882214\ 3593420568170788534330353490422717046543903*c_0101_5 + 3498814067023054219272138674111605158673400956574178209466935870573\ 775473300666556889743/856545623324768672414623423104981915917644287\ 186841136341577068660706980845434093087806, c_0101_5^32 - 5*c_0101_5^31 - 38*c_0101_5^30 + 290*c_0101_5^29 - 73*c_0101_5^28 - 2963*c_0101_5^27 + 2545*c_0101_5^26 + 16288*c_0101_5^25 + 206*c_0101_5^24 - 88636*c_0101_5^23 - 96079*c_0101_5^22 + 335588*c_0101_5^21 + 602884*c_0101_5^20 - 494604*c_0101_5^19 - 1690443*c_0101_5^18 - 352666*c_0101_5^17 + 2191912*c_0101_5^16 + 1724068*c_0101_5^15 - 1108512*c_0101_5^14 - 1629693*c_0101_5^13 + 76090*c_0101_5^12 + 646844*c_0101_5^11 + 45985*c_0101_5^10 - 183680*c_0101_5^9 - 31201*c_0101_5^8 + 35234*c_0101_5^7 + 11153*c_0101_5^6 - 2754*c_0101_5^5 - 1523*c_0101_5^4 - 10*c_0101_5^3 + 72*c_0101_5^2 + 5*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB