Magma V2.19-8 Tue Aug 20 2013 16:17:38 on localhost [Seed = 2328565356] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1872 geometric_solution 5.50340267 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 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.153259379265 0.181788719181 0 1 1 0 0132 3201 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.859644619267 0.864540129707 3 0 4 0 0132 2310 0132 0132 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 0 1 -1 -1 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.706624522310 2.145371141155 2 5 4 6 0132 0132 0213 0132 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 1 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.412721634777 0.695813093027 6 3 5 2 3201 0213 3201 0132 0 0 0 0 0 1 0 -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 0 1 0 -1 1 0 0 -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.412721634777 0.695813093027 4 3 6 6 2310 0132 1302 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.843708885053 0.935143161288 5 5 3 4 2031 1302 0132 2310 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 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.383404959656 0.597165750224 ==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' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : negation(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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_4'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : d['c_0011_4'], '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' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0011_6'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : negation(d['c_0101_4']), 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0011_6'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0011_4'])})} 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_2, c_0011_4, c_0011_6, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t - 3401236567459936243886208434414438616440106349519528290549629519883\ 42573345251297323655363245/4970899225696881347380712491388406269963\ 99949079495850762095875677202749480743250451393889501184*c_0101_4^2\ 8 + 812438917603676384951900615384736794306283681986762242969911224\ 342596972974188930691885805979/124272480642422033684517812284710156\ 749099987269873962690523968919300687370185812612848472375296*c_0101\ _4^27 - 70070796414732899830711362092452967525674298095067918479299\ 9043411572706372662184938919379207/38237686351514471902928557626064\ 663615107688390730450058622759667477134575441788496261068423168*c_0\ 101_4^26 + 10348310163083181033839051895170499136642816792738860899\ 882499939899983120839249967875116603567/497089922569688134738071249\ 1388406269963999490794958507620958756772027494807432504513938895011\ 84*c_0101_4^25 - 53744622339998368425626518526941419542678545661821\ 64838162739880831400478413039495043106691/3330808915637149120464160\ 0719568522312811575253249520956988466609300639874078212975837167616\ *c_0101_4^24 + 2875092184108489451292283915313664866896485983015726\ 70561765292514943251619194103103241907253231/4970899225696881347380\ 7124913884062699639994907949585076209587567720274948074325045139388\ 9501184*c_0101_4^23 - 278861183138869773059685745100928103305343361\ 9082144154238700538085355285356053515786568632323/17753211520346004\ 8120739731835300223927285696099819946700748527027572410528836875161\ 21210339328*c_0101_4^22 - 43969224830518770058055423371181213524281\ 357507761673999881100523349514924402818434739622227029/710128460813\ 8401924829589273412008957091427843992797868029941081102896421153475\ 0064484841357312*c_0101_4^21 + 414901518614152706534252689841125961\ 615066468131607619506029717429525388577210597531116402720305/248544\ 9612848440673690356245694203134981999745397479253810479378386013747\ 40371625225696944750592*c_0101_4^20 - 1295862693058098944526885609422883654170853965551028232678186239406\ 886460216340486856626566484533/248544961284844067369035624569420313\ 498199974539747925381047937838601374740371625225696944750592*c_0101\ _4^19 - 11806572170150694453285644144915495836659252968777613462593\ 64232895430345526893987563565802010409/2485449612848440673690356245\ 6942031349819997453974792538104793783860137474037162522569694475059\ 2*c_0101_4^18 - 471806637181803450181591292930160123712235732391843\ 043772115644113139725175881967793306378249273/621362403212110168422\ 5890614235507837454999363493698134526198445965034368509290630642423\ 6187648*c_0101_4^17 + 265540125991192470798559848468870279215534385\ 600447076278132870157955141903599350580407544728991/382376863515144\ 7190292855762606466361510768839073045005862275966747713457544178849\ 6261068423168*c_0101_4^16 + 841475308872065994831226179274854718106\ 766334692456474249697211536738297329784568995183155182715/124272480\ 6424220336845178122847101567490999872698739626905239689193006873701\ 85812612848472375296*c_0101_4^15 + 8153658210527013319236072922047731665565248022334292954269228648629\ 383088540312754495722096471577/248544961284844067369035624569420313\ 498199974539747925381047937838601374740371625225696944750592*c_0101\ _4^14 + 20007266956635085034724944119040293192263587596900186929321\ 89439887092538738796622329583748960097/1242724806424220336845178122\ 8471015674909998726987396269052396891930068737018581261284847237529\ 6*c_0101_4^13 + 130041915211854547094307353514681410762863173870707\ 4669153218969023405089696043557979923210774059/62136240321211016842\ 2589061423550783745499936349369813452619844596503436850929063064242\ 36187648*c_0101_4^12 - 10420997119267850798646663320274825322593725\ 01648532923994225117610784549526930891311111681617471/1553406008030\ 2754210564726535588769593637498408734245336315496114912585921273226\ 576606059046912*c_0101_4^11 - 6781750848160860620330727000330485588\ 89344659354651693135537123740470382320294836891803335563021/1941757\ 5100378442763205908169485961992046873010917806670394370143640732401\ 59153322075757380864*c_0101_4^10 + 6108591244878103094595671814529247246458631619813606366214802685276\ 3821831950082099590179687087/11095757200216253007546233239706263995\ 45535600623874666879678293922327565805230469757575646208*c_0101_4^9 + 22332238817433669863196415713686727341834983892281878329129643513\ 96182292473370050531610412150875/3883515020075688552641181633897192\ 398409374602183561334078874028728146480318306644151514761728*c_0101\ _4^8 - 706768120623060292719414799235591496020039462209326502937249\ 602467021182188528947612901443459599/194175751003784427632059081694\ 8596199204687301091780667039437014364073240159153322075757380864*c_\ 0101_4^7 + 48984255698567365647496558234717434946029013248920377745\ 8388021244111551968832432595148601031411/48543937750946106908014770\ 4237149049801171825272945166759859253591018310039788330518939345216\ *c_0101_4^6 + 81267797301181629275517359966372491862199229839709011\ 32036567253167411645035463132352403668117/5334498653950121638243381\ 365243396151661228849153243590767684105395805604832838796911421376*\ c_0101_4^5 - 826930213258751863332386649818106190959485204520535018\ 47313590059144673366702978911477014603031/1213598443773652672700369\ 2605928726245029295631823629168996481339775457750994708262973483630\ 4*c_0101_4^4 + 1363725990133560427401460506530821756950864407344652\ 6771479500699286547096118003329425458031347/12135984437736526727003\ 6926059287262450292956318236291689964813397754577509947082629734836\ 304*c_0101_4^3 + 15733603664934755921386616682188978552378791822907\ 807734376371997182993502781724810536106509997/606799221886826336350\ 1846302964363122514647815911814584498240669887728875497354131486741\ 8152*c_0101_4^2 - 3425478671628392224297404958088529573474389575566\ 0102528768901825823597703635736091615372926/10835700390836184577681\ 8683981506484330618710998425260437468583390852301348167038062263246\ 7*c_0101_4 + 185340912742507295678017718342176096719929811960197371\ 4343589648118073170319630294339599110783/15169980547170658408754615\ 757410907806286619539779536461245601674719322188743385328716854538, c_0011_0 - 1, c_0011_2 + 277892403440268700804275097130198844272736861446675400814929\ 77558915384027397650955/1408035654898245295201951839102479957664599\ 4732335687342165545399185003872126788503584768*c_0101_4^28 - 6643316913607754965254420644105557534202249342412818056105926454050\ 9699038585444921/35200891372456132380048795977561998941614986830839\ 21835541386349796250968031697125896192*c_0101_4^27 + 3758239664999507913678412965422553344081332914742769603839205279575\ 49691520234508393/7040178274491226476009759195512399788322997366167\ 843671082772699592501936063394251792384*c_0101_4^26 - 5643179450026106766812297812248297117239438749996949579880841306547\ 9432497610499371/88002228431140330950121989943904997354037467077098\ 0458885346587449062742007924281474048*c_0101_4^25 + 1197662364734624735527853839900028266425808631048795477222551457318\ 57936066285639431/2514349383746866598574913998397285638686784773631\ 37273967241882128303640573692651849728*c_0101_4^24 - 1185040781974906680572500622545005107139115349745926461302747591048\ 2908417663035997983/70401782744912264760097591955123997883229973661\ 67843671082772699592501936063394251792384*c_0101_4^23 + 7794055172476428178295107268291941034975658449302139012378452305810\ 331396181184286105/140803565489824529520195183910247995766459947323\ 35687342165545399185003872126788503584768*c_0101_4^22 + 2045568454229462681988355988137736096918065002497383576814158566171\ 3767584010214040011/14080356548982452952019518391024799576645994732\ 335687342165545399185003872126788503584768*c_0101_4^21 - 3340995552805736974210565689349056988198657719864875195569020745055\ 5764559744486416665/70401782744912264760097591955123997883229973661\ 67843671082772699592501936063394251792384*c_0101_4^20 + 2188754301055944327123587231977428822000106181889431885853323496936\ 04308849609679612195/1408035654898245295201951839102479957664599473\ 2335687342165545399185003872126788503584768*c_0101_4^19 + 1783224522621309799579777594541248164115447690714869344561149351914\ 40802347172865139317/1408035654898245295201951839102479957664599473\ 2335687342165545399185003872126788503584768*c_0101_4^18 + 3500952497335623201779641491043863235103322019667244398504613323120\ 89238361787590205897/1408035654898245295201951839102479957664599473\ 2335687342165545399185003872126788503584768*c_0101_4^17 - 6456582925933662583348823829467007788102568187588303799437434436139\ 9374193956965881811/35200891372456132380048795977561998941614986830\ 83921835541386349796250968031697125896192*c_0101_4^16 - 2228150131256704210175335373817937572062124317053858038790973322365\ 04066682957491842513/1408035654898245295201951839102479957664599473\ 2335687342165545399185003872126788503584768*c_0101_4^15 - 2233337375874118812050485696171161655386010942734986041728776158252\ 4776080323580395921/22000557107785082737530497485976249338509366769\ 2745114721336646862265685501981070368512*c_0101_4^14 - 1938015255025101272422609722509289282019537525749099077761562307454\ 52170167860370364297/3520089137245613238004879597756199894161498683\ 083921835541386349796250968031697125896192*c_0101_4^13 - 6442674124090411885140149333341287321890838847145528185654408457654\ 1780634384138932599/88002228431140330950121989943904997354037467077\ 0980458885346587449062742007924281474048*c_0101_4^12 + 8379148239077776714423831471455121736997868471753301862512226199545\ 1287562932209253217/44001114215570165475060994971952498677018733538\ 5490229442673293724531371003962140737024*c_0101_4^11 + 5579161166196993304998056537079084946179228966045842207299637978481\ 9799857324238074321/55001392769462706843826243714940623346273416923\ 186278680334161715566421375495267592128*c_0101_4^10 - 1793087788723712023477851299964589529582377787590072926599229740315\ 351566029888955475/137503481923656767109565609287351558365683542307\ 96569670083540428891605343873816898032*c_0101_4^9 - 3997711200367612750203781241322526820833750039291072329325465552706\ 9522908819254855005/27500696384731353421913121857470311673136708461\ 593139340167080857783210687747633796064*c_0101_4^8 + 1295109384292174007260678520283904920795943687928697759516533177954\ 5847417994144164543/13750348192365676710956560928735155836568354230\ 796569670083540428891605343873816898032*c_0101_4^7 - 4573275672017069188756075285875735705239910934346633851518824822534\ 0474719542798399281/13750348192365676710956560928735155836568354230\ 796569670083540428891605343873816898032*c_0101_4^6 - 8444195076690235073040667782821245794025239863378559391479691838010\ 052995490262022301/196433545605223953013665156124787940522405060439\ 9509952869077204127372191981973842576*c_0101_4^5 + 1125242559029245678558506021852257602165222304232698738694513476902\ 4706291467289519173/68751740961828383554782804643675779182841771153\ 98284835041770214445802671936908449016*c_0101_4^4 - 2904376034930175964394367858950391205213488501509639868080037919746\ 668110342471154973/343758704809141917773914023218378895914208855769\ 9142417520885107222901335968454224508*c_0101_4^3 - 1087355898182364284528094412840014308368451588810894601735872494746\ 39076066151344041/8593967620228547944347850580459472397855221394247\ 85604380221276805725333992113556127*c_0101_4^2 + 8178580945247604426283652863732271935875338866731440539724160193077\ 84663106012097405/1718793524045709588869570116091894479571044278849\ 571208760442553611450667984227112254*c_0101_4 + 2817074024864726390891904055726577988530384172813723053152179242906\ 13131943150320300/8593967620228547944347850580459472397855221394247\ 85604380221276805725333992113556127, c_0011_4 + 165727870569785040035104622636987987822364970672131881488186\ 71798593683888861859195/5632142619592981180807807356409919830658397\ 8929342749368662181596740015488507154014339072*c_0101_4^28 - 6759721702935085770190062323704492810019149016248537957964613854118\ 0416433226526771/56321426195929811808078073564099198306583978929342\ 749368662181596740015488507154014339072*c_0101_4^27 - 9353461940596232752641191411286332618633548236070997671787779899708\ 5771965462246437/14080356548982452952019518391024799576645994732335\ 687342165545399185003872126788503584768*c_0101_4^26 + 1478190663296597070556526513249721985042049344601390219735959914287\ 551958684785929295/563214261959298118080780735640991983065839789293\ 42749368662181596740015488507154014339072*c_0101_4^25 + 3218375936207800871736197877640305048157384926415289624526726352589\ 49813194655366179/8045918027989973115439724794871314043797711275620\ 392766951740228105716498358164859191296*c_0101_4^24 + 3269029527519526936767990877608687122719655402416771340212054921262\ 337381040590751323/281607130979649059040390367820495991532919894646\ 71374684331090798370007744253577007169536*c_0101_4^23 - 4441345578689962871157582921276552127525731591930468173959302990848\ 275344452959368377/402295901399498655771986239743565702189885563781\ 0196383475870114052858249179082429595648*c_0101_4^22 - 6359903193077778009999960451313851064210547113285586511823784369293\ 4692837087264047/80459180279899731154397247948713140437977112756203\ 92766951740228105716498358164859191296*c_0101_4^21 + 3320408086193732969970118884159663055865737874954107386154816722701\ 1051784174572661079/56321426195929811808078073564099198306583978929\ 342749368662181596740015488507154014339072*c_0101_4^20 - 3974712618568201295518779909253312634140194011518409162923733331520\ 2631956146726489189/56321426195929811808078073564099198306583978929\ 342749368662181596740015488507154014339072*c_0101_4^19 + 7043223245730175196271935961962444043233930417281092128650528839752\ 97783401955955001187/5632142619592981180807807356409919830658397892\ 9342749368662181596740015488507154014339072*c_0101_4^18 + 1132603798758017212820238315070160049823175584154022130473310450326\ 307614130674234928557/563214261959298118080780735640991983065839789\ 29342749368662181596740015488507154014339072*c_0101_4^17 + 6895614722285609044613327983476427881763082292231416199561951411432\ 32376921452821723735/2816071309796490590403903678204959915329198946\ 4671374684331090798370007744253577007169536*c_0101_4^16 - 2362203715802293124434550220163270047504696809267855499584955036421\ 75899281501354222783/2816071309796490590403903678204959915329198946\ 4671374684331090798370007744253577007169536*c_0101_4^15 - 5018227780895035688666730922786500388618550980202046806103443263690\ 45893509455259596151/1408035654898245295201951839102479957664599473\ 2335687342165545399185003872126788503584768*c_0101_4^14 - 2220341240907616693433849607144536458505377053294419433495703033265\ 7077933593973870263/22000557107785082737530497485976249338509366769\ 2745114721336646862265685501981070368512*c_0101_4^13 - 5234939549486394657928754628672633831396449686620983690279772834689\ 766652785082990595/550013927694627068438262437149406233462734169231\ 86278680334161715566421375495267592128*c_0101_4^12 - 1100462235242948767664633273922785027013327083441309021676667168460\ 67047217916811718249/1760044568622806619002439798878099947080749341\ 541960917770693174898125484015848562948096*c_0101_4^11 + 2380459834428267626910336108508741816636751309410524972543966208787\ 77589481842000788701/8800222843114033095012198994390499735403746707\ 70980458885346587449062742007924281474048*c_0101_4^10 + 5638257873621137629766304727123538177274277794393530060850053879106\ 9311458053440690227/62858734593671664964372849959932140967169619340\ 784318491810470532075910143423162962432*c_0101_4^9 + 2615523122225315539027530043824903754095371267775604133417625941091\ 3657681342743238819/22000557107785082737530497485976249338509366769\ 2745114721336646862265685501981070368512*c_0101_4^8 - 1157561608297247924734678682134197009458781907095880599308715843814\ 54199276134337101335/1100027855389254136876524874298812466925468338\ 46372557360668323431132842750990535184256*c_0101_4^7 - 1170849297359600291010713231102084987397400603003947676065584844811\ 5563569230272592181/27500696384731353421913121857470311673136708461\ 593139340167080857783210687747633796064*c_0101_4^6 - 3501729205761350355262434747357093566298797914471124741459091483437\ 27931723510407565/1227709660032649706335407225779924628265031627749\ 69372054317325257960761998873365161*c_0101_4^5 - 2997298655454711674277317223667460074930908344857447924907894551349\ 5141352843565322837/68751740961828383554782804643675779182841771153\ 98284835041770214445802671936908449016*c_0101_4^4 - 8655699917752641456406217035034984348581588359403200658018597909112\ 193621841164000393/687517409618283835547828046436757791828417711539\ 8284835041770214445802671936908449016*c_0101_4^3 - 1621266050028097364892050711662892362083579544458584153627531916123\ 75098319777971581/3437587048091419177739140232183788959142088557699\ 142417520885107222901335968454224508*c_0101_4^2 + 3924824488969868204879868504483355442552335008153064832638243217456\ 4211554539969509/24554193200652994126708144515598492565300632554993\ 8744108634650515921523997746730322*c_0101_4 - 5028578670266398685949976854342929056579409691368725949253697445398\ 2253336604699197/85939676202285479443478505804594723978552213942478\ 5604380221276805725333992113556127, c_0011_6 - 420610762572379233559376189985629054300532971537479283573291\ 783799205043056537334435/112642852391859623616156147128198396613167\ 957858685498737324363193480030977014308028678144*c_0101_4^28 + 3970396018181155908434259763290140730321955761196316994459586964906\ 928274688578762763/112642852391859623616156147128198396613167957858\ 685498737324363193480030977014308028678144*c_0101_4^27 - 5404773273450460238976150809573636913587307573329098360681938084305\ 811444356992739491/563214261959298118080780735640991983065839789293\ 42749368662181596740015488507154014339072*c_0101_4^26 + 1152977407215373094200724009068800416127297093536903983279788583486\ 6054182809272673895/11264285239185962361615614712819839661316795785\ 8685498737324363193480030977014308028678144*c_0101_4^25 - 1392442310347819540608929308878389506448864151523016655942578982845\ 5311077038768095635/16091836055979946230879449589742628087595422551\ 240785533903480456211432996716329718382592*c_0101_4^24 + 8568622716913383252854018336462873896124696730869466085449602266336\ 4972896410654974345/28160713097964905904039036782049599153291989464\ 671374684331090798370007744253577007169536*c_0101_4^23 - 1371978071904336105487376999849958505026480732470990761273856645386\ 2302378276216813451/28160713097964905904039036782049599153291989464\ 671374684331090798370007744253577007169536*c_0101_4^22 - 3955325155266630022883009880272401430508946332038267340446614989252\ 34855122608950089595/1126428523918596236161561471281983966131679578\ 58685498737324363193480030977014308028678144*c_0101_4^21 + 1027134820862488176623078715718565850658309403600100779504770165401\ 239263938420834539145/112642852391859623616156147128198396613167957\ 858685498737324363193480030977014308028678144*c_0101_4^20 - 3145021427367890625520460233131753783958539103570420815835965530386\ 214990407824318582621/112642852391859623616156147128198396613167957\ 858685498737324363193480030977014308028678144*c_0101_4^19 - 3335775214572795604850718145953009511696023482867562471347605033062\ 405514885136989297081/112642852391859623616156147128198396613167957\ 858685498737324363193480030977014308028678144*c_0101_4^18 - 4885767133799578248645461573302255794967003126619759426720168843196\ 683459427798384755463/112642852391859623616156147128198396613167957\ 858685498737324363193480030977014308028678144*c_0101_4^17 + 6384798134968589645788220824635485379376840265041610489629670436360\ 604916648246781545/220005571077850827375304974859762493385093667692\ 745114721336646862265685501981070368512*c_0101_4^16 + 8435709693404258871225468538180197081178011020562260573155234799824\ 5139624572184096795/20114795069974932788599311987178285109494278189\ 05098191737935057026429124589541214797824*c_0101_4^15 + 3275852078394544214996353632072876536242806563998152526635463782829\ 06328031167490420157/1760044568622806619002439798878099947080749341\ 541960917770693174898125484015848562948096*c_0101_4^14 + 2150326188863283778895999758497889250580118298707569484653762721458\ 90665250215073918227/1760044568622806619002439798878099947080749341\ 541960917770693174898125484015848562948096*c_0101_4^13 + 4627352001210198180552799253484116741859355778449662252191499853915\ 38450295968930415623/3520089137245613238004879597756199894161498683\ 083921835541386349796250968031697125896192*c_0101_4^12 - 3061761685111752629793038600244411447604540832228067592256430930396\ 88625685050180790977/8800222843114033095012198994390499735403746707\ 70980458885346587449062742007924281474048*c_0101_4^11 - 8648876681813794787167627841582755990563920154927211766142615397601\ 51113961886122815819/4400111421557016547506099497195249867701873353\ 85490229442673293724531371003962140737024*c_0101_4^10 + 1997356340400000869802530553148571736951007237312394300123166361700\ 1073831967709198651/44001114215570165475060994971952498677018733538\ 5490229442673293724531371003962140737024*c_0101_4^9 + 9744152243266668883315654229745140514448155071780822959064757968203\ 9040698306401937237/31429367296835832482186424979966070483584809670\ 392159245905235266037955071711581481216*c_0101_4^8 - 6941895069353053076164830566621148150007301211826333884795302003225\ 134055629998932613/392867091210447906027330312249575881044810120879\ 9019905738154408254744383963947685152*c_0101_4^7 + 3118079912577113877780072264421623849641159209121910386430405065352\ 72361400623470871151/5500139276946270684382624371494062334627341692\ 3186278680334161715566421375495267592128*c_0101_4^6 + 3701462363095513194334391346498233297460520571483946052928152867193\ 7598457396757848817/39286709121044790602733031224957588104481012087\ 99019905738154408254744383963947685152*c_0101_4^5 - 4514062755799724605183320070862456959539464124714226428161946676078\ 8983930311464974361/13750348192365676710956560928735155836568354230\ 796569670083540428891605343873816898032*c_0101_4^4 + 1280454548981546684690579422014156338412767257329877077460112083888\ 619778780694733211/171879352404570958886957011609189447957104427884\ 9571208760442553611450667984227112254*c_0101_4^3 + 5137656512625445287570754926919951815370989212629365183360508725289\ 586942702612536925/343758704809141917773914023218378895914208855769\ 9142417520885107222901335968454224508*c_0101_4^2 - 1298300417873448970298700667893652599061885864533826323906098573155\ 140450981616674327/859396762022854794434785058045947239785522139424\ 785604380221276805725333992113556127*c_0101_4 + 4805205125968377168408907257791365789978117136004815304378424887212\ 45829292577977261/8593967620228547944347850580459472397855221394247\ 85604380221276805725333992113556127, c_0101_1 + 904753073898351925221688354570983352354637531856602004477848\ 55381181133279714499955/1126428523918596236161561471281983966131679\ 57858685498737324363193480030977014308028678144*c_0101_4^28 - 3670381920863469052519738898534981679102096535935239804920006842191\ 64751647665201849/1126428523918596236161561471281983966131679578586\ 85498737324363193480030977014308028678144*c_0101_4^27 - 5439583688774887943391486777319217175716157285839397989530839474326\ 93487950945459023/2816071309796490590403903678204959915329198946467\ 1374684331090798370007744253577007169536*c_0101_4^26 + 9195951752971870840777036169290579419490159963987335560466723290019\ 288798629109731029/112642852391859623616156147128198396613167957858\ 685498737324363193480030977014308028678144*c_0101_4^25 + 1328911935813791941932299587422440432808133269266482153705929049898\ 809823915471391701/160918360559799462308794495897426280875954225512\ 40785533903480456211432996716329718382592*c_0101_4^24 + 1985998378048712414518503683705025619375001542733621042525951335095\ 7539366363849087069/56321426195929811808078073564099198306583978929\ 342749368662181596740015488507154014339072*c_0101_4^23 - 9235076292269175014255356183909385373894762879153412741449901809558\ 2513769526198574517/28160713097964905904039036782049599153291989464\ 671374684331090798370007744253577007169536*c_0101_4^22 + 9293065010106392384133355181736516139178587229457356954477748594361\ 3572795782773485035/11264285239185962361615614712819839661316795785\ 8685498737324363193480030977014308028678144*c_0101_4^21 + 2239037983453705393505269050454660259728427567149161973859218906883\ 6824624398599057295/16091836055979946230879449589742628087595422551\ 240785533903480456211432996716329718382592*c_0101_4^20 - 2661749755744313191649360650359187821817111421322985014767204625256\ 09027650935956299017/1126428523918596236161561471281983966131679578\ 58685498737324363193480030977014308028678144*c_0101_4^19 + 4072024220464030813566380041541309640876796054653809070096633716168\ 924417474738722690991/112642852391859623616156147128198396613167957\ 858685498737324363193480030977014308028678144*c_0101_4^18 + 5365966832402650507294434766736578623087791293289990960019323827865\ 483046647398393412341/112642852391859623616156147128198396613167957\ 858685498737324363193480030977014308028678144*c_0101_4^17 + 3294229011763109842908916976993410149281206505959012963739267553342\ 545458954202415320673/563214261959298118080780735640991983065839789\ 29342749368662181596740015488507154014339072*c_0101_4^16 - 6850928093591900586427843776052824773014538573464740230180090080937\ 8831497766948914901/17600445686228066190024397988780999470807493415\ 41960917770693174898125484015848562948096*c_0101_4^15 - 1268375683211061491909967158052861951321184121168851734564391608351\ 423132161194379709721/140803565489824529520195183910247995766459947\ 32335687342165545399185003872126788503584768*c_0101_4^14 - 1874818853731892128856698747344928622468230151946611730194507987075\ 531787975728133700881/704017827449122647600975919551239978832299736\ 6167843671082772699592501936063394251792384*c_0101_4^13 - 6699119944509537668024778745762360054240398037015646728514429434678\ 06991653836294569537/3520089137245613238004879597756199894161498683\ 083921835541386349796250968031697125896192*c_0101_4^12 - 2286925604209098402214097466177843390179555986294240189154029923659\ 75710162447464546779/1760044568622806619002439798878099947080749341\ 541960917770693174898125484015848562948096*c_0101_4^11 + 1298084663134238489520447426935009858100950556243046049699783318232\ 7519765643803175437/15714683648417916241093212489983035241792404835\ 196079622952617633018977535855790740608*c_0101_4^10 + 1011964667447349972164405234603055077231201112016172271179208767173\ 355407980821232424969/440011142155701654750609949719524986770187335\ 385490229442673293724531371003962140737024*c_0101_4^9 - 1103294529461180581059727348397569048173705932181723732732089055483\ 7403797122358249363/55001392769462706843826243714940623346273416923\ 186278680334161715566421375495267592128*c_0101_4^8 - 1681462956015351133800144624303865066164933476013240412478355936276\ 12137082054152676101/5500139276946270684382624371494062334627341692\ 3186278680334161715566421375495267592128*c_0101_4^7 - 4042128407866097551623934853536415538429027266007657184105805350183\ 91444418678813681/8593967620228547944347850580459472397855221394247\ 85604380221276805725333992113556127*c_0101_4^6 - 3232161780680012164239685102598114361275084536229750735227652119606\ 9038726009636341199/39286709121044790602733031224957588104481012087\ 99019905738154408254744383963947685152*c_0101_4^5 - 1385468422352230112118383366563388460835911908485387479019389102957\ 54024584421545506931/1375034819236567671095656092873515583656835423\ 0796569670083540428891605343873816898032*c_0101_4^4 - 2115696922994549285626383836914240102932110124454145814505048337247\ 865487341998101673/343758704809141917773914023218378895914208855769\ 9142417520885107222901335968454224508*c_0101_4^3 + 1689795917569732916018277287305452332211046295335205142548732806103\ 88079903475015023/1718793524045709588869570116091894479571044278849\ 571208760442553611450667984227112254*c_0101_4^2 + 6651402336299545282297001719996580651937196208089985317514560316141\ 74010761406291001/1718793524045709588869570116091894479571044278849\ 571208760442553611450667984227112254*c_0101_4 - 3535485911905091304101154945057464355854399513919761864745919015180\ 5578198807633398/85939676202285479443478505804594723978552213942478\ 5604380221276805725333992113556127, c_0101_2 + 867913558040266947411994775513670793908868014843312137234138\ 492783731185665649815/352008913724561323800487959775619989416149868\ 3083921835541386349796250968031697125896192*c_0101_4^28 - 1991573958552532486645034435156965033597952896987541112630106963689\ 453759619693253/402295901399498655771986239743565702189885563781019\ 6383475870114052858249179082429595648*c_0101_4^27 - 3204922897069567514110579645867830721311659988027248685172725698406\ 91012502471101891/2816071309796490590403903678204959915329198946467\ 1374684331090798370007744253577007169536*c_0101_4^26 + 8957564876123239746141288306164609906169484968089291935196720492945\ 2598658747605395/20114795069974932788599311987178285109494278189050\ 98191737935057026429124589541214797824*c_0101_4^25 - 2800324606178682350520079262489884867955863775821023823181311158911\ 5136358211852649/40229590139949865577198623974356570218988556378101\ 96383475870114052858249179082429595648*c_0101_4^24 + 7044688855967596288981602112371491210491696609680649916985178010515\ 072356956492462653/281607130979649059040390367820495991532919894646\ 71374684331090798370007744253577007169536*c_0101_4^23 - 7013573097224230739244215031658330704225285872168420821311437890462\ 36194039187154935/4400111421557016547506099497195249867701873353854\ 90229442673293724531371003962140737024*c_0101_4^22 + 1285856541883641080172320631698927744513192292387598789930241883938\ 1264692346399491325/14080356548982452952019518391024799576645994732\ 335687342165545399185003872126788503584768*c_0101_4^21 + 1780273793387622784710621523816198806733112007572246976824540296359\ 3775101791019454381/28160713097964905904039036782049599153291989464\ 671374684331090798370007744253577007169536*c_0101_4^20 - 5858632079579032222368910945237439385430679917557730766341623707675\ 0443109580808291797/28160713097964905904039036782049599153291989464\ 671374684331090798370007744253577007169536*c_0101_4^19 + 6477364032677678785712404825860828668020732993794779126638354346751\ 4864146729855919153/40229590139949865577198623974356570218988556378\ 10196383475870114052858249179082429595648*c_0101_4^18 + 3840031277314842791304796171321637633315066559587684043414271862127\ 73832043894697020719/2816071309796490590403903678204959915329198946\ 4671374684331090798370007744253577007169536*c_0101_4^17 + 5457755116491075432775033093881848193526725698153247996780036627166\ 28181541412011759413/2816071309796490590403903678204959915329198946\ 4671374684331090798370007744253577007169536*c_0101_4^16 - 6111022553397249588036399780349287418845115722674923885236277900842\ 663409046070414189/220005571077850827375304974859762493385093667692\ 745114721336646862265685501981070368512*c_0101_4^15 - 3939922321155042026602080732394703573293249769173195291194275526742\ 56921911446069171451/1408035654898245295201951839102479957664599473\ 2335687342165545399185003872126788503584768*c_0101_4^14 - 3788235557826963550557749215501751277745589907856728806620759936299\ 39399123412621478167/3520089137245613238004879597756199894161498683\ 083921835541386349796250968031697125896192*c_0101_4^13 - 2637432917939867133599343316638067982439696233334789840928147757204\ 8059708329920960235/88002228431140330950121989943904997354037467077\ 0980458885346587449062742007924281474048*c_0101_4^12 - 8761546437150637888821387177709859938103807282750306311902419819707\ 039990721547266881/220005571077850827375304974859762493385093667692\ 745114721336646862265685501981070368512*c_0101_4^11 + 3176503096532366386882883387600058758846545995118402634804899398127\ 57938533872425456993/8800222843114033095012198994390499735403746707\ 70980458885346587449062742007924281474048*c_0101_4^10 + 1978398256969869023132348143419964352949583360610736706461295016919\ 42627468053359052003/2200055710778508273753049748597624933850936676\ 92745114721336646862265685501981070368512*c_0101_4^9 - 4398625046376179415454048568821495111927280648103759420813174926617\ 6292443555345774345/11000278553892541368765248742988124669254683384\ 6372557360668323431132842750990535184256*c_0101_4^8 - 7864690074689671174751178606314335495602173351923293000517403587243\ 4384291882067165443/55001392769462706843826243714940623346273416923\ 186278680334161715566421375495267592128*c_0101_4^7 + 1857284658123264068772017962544860793719924461955525454391801493429\ 078519913139028583/392867091210447906027330312249575881044810120879\ 9019905738154408254744383963947685152*c_0101_4^6 - 1749167728562912117980625768244065417146407583329755756481683614030\ 963125588733550257/491083864013059882534162890311969851306012651099\ 877488217269301031843047995493460644*c_0101_4^5 - 2045840101560924244697719485931821467952641315215945929965504959766\ 8810983804471367909/68751740961828383554782804643675779182841771153\ 98284835041770214445802671936908449016*c_0101_4^4 + 1963465534853448634150439171981130042409355716363920300700624909800\ 674989617677015685/982167728026119765068325780623939702612025302199\ 754976434538602063686095990986921288*c_0101_4^3 + 1015283591469701025009397619074803009711335016672690601861596200522\ 594301324322083907/343758704809141917773914023218378895914208855769\ 9142417520885107222901335968454224508*c_0101_4^2 + 1576309590102157030956151765832973526435274609949835920188007250750\ 77715446600561097/1718793524045709588869570116091894479571044278849\ 571208760442553611450667984227112254*c_0101_4 + 1153547293414652914916583542364127027867568322480272848583327284432\ 5173713469499660/12277096600326497063354072257799246282650316277496\ 9372054317325257960761998873365161, c_0101_4^29 - 49/5*c_0101_4^28 + 146/5*c_0101_4^27 - 189/5*c_0101_4^26 + 1231/5*c_0101_4^25 - 908*c_0101_4^24 + 2288/5*c_0101_4^23 + 761*c_0101_4^22 - 12803/5*c_0101_4^21 + 41291/5*c_0101_4^20 + 24343/5*c_0101_4^19 + 10125*c_0101_4^18 - 65432/5*c_0101_4^17 - 36484/5*c_0101_4^16 - 240464/5*c_0101_4^15 - 59184/5*c_0101_4^14 - 140608/5*c_0101_4^13 + 110080*c_0101_4^12 + 487168*c_0101_4^11 - 953344/5*c_0101_4^10 - 3965952/5*c_0101_4^9 + 3417088/5*c_0101_4^8 - 8394752/5*c_0101_4^7 - 8843264/5*c_0101_4^6 + 1409024*c_0101_4^5 - 1949696/5*c_0101_4^4 - 294912/5*c_0101_4^3 + 1048576/5*c_0101_4^2 - 786432/5*c_0101_4 + 262144/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB