Magma V2.19-8 Tue Aug 20 2013 16:16:09 on localhost [Seed = 1393741716] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0419 geometric_solution 4.47798268 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 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 -1 0 1 0 0 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.716273469809 0.051512433511 0 2 0 2 0132 0132 1023 1023 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 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.469779088057 0.177587348627 3 1 3 1 0132 0132 2310 1023 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 0 0 0 -1 0 0 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.599250032512 3.990275836260 2 2 5 4 0132 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.186590601734 0.433756129899 5 5 3 6 1230 3012 0132 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.208011955477 1.273591797910 4 4 6 3 1230 3012 3201 0132 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 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 0 0 0 1.208011955477 1.273591797910 5 6 4 6 2310 2310 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.188632682572 0.807292009644 ==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' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_2'], '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_0101_0'], 'c_0011_5' : d['c_0011_4'], '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_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_4'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 43248233711617795418677088961748995857044504718771914578534299812/1\ 5400001628924546109306153498990531077684638041719345605060849793*c_\ 0101_5^22 - 5768649814801500381926106190911403334307572106035550632\ 58445663108/1540000162892454610930615349899053107768463804171934560\ 5060849793*c_0101_5^21 + 227952624565356624268718108960280651449292\ 3981001924839443140261/15400001628924546109306153498990531077684638\ 041719345605060849793*c_0101_5^20 + 2569874427540217704260524328615563130990740772458657781424246231717\ 1/15400001628924546109306153498990531077684638041719345605060849793\ *c_0101_5^19 - 2159607590178326497491665353740431921568152130436225\ 2526968180499964/15400001628924546109306153498990531077684638041719\ 345605060849793*c_0101_5^18 - 9751422833275684082154732991458867786\ 6962498591932995430035711641091/51333338763081820364353844996635103\ 59228212680573115201686949931*c_0101_5^17 + 5546840319332193607296444548818539491965864197563274704011428816926\ 470/154000016289245461093061534989905310776846380417193456050608497\ 93*c_0101_5^16 + 38802633580850548738659590630529107378531524527601\ 78968662104791070992/5133333876308182036435384499663510359228212680\ 573115201686949931*c_0101_5^15 + 3345936503502195467148978515658831\ 802297999404519349791628336323382218/513333387630818203643538449966\ 3510359228212680573115201686949931*c_0101_5^14 - 1744774605588014411283372290032251794078990717070330431679745472982\ 878/154000016289245461093061534989905310776846380417193456050608497\ 93*c_0101_5^13 - 15706269178040165318859237097634710005448877634166\ 389520757850538235257/154000016289245461093061534989905310776846380\ 41719345605060849793*c_0101_5^12 - 1967307315648527898182616956522704347918198998366335524716561871992\ 0327/15400001628924546109306153498990531077684638041719345605060849\ 793*c_0101_5^11 - 5012981558441883440020228148085472888085512503981\ 504700483464477143340/513333387630818203643538449966351035922821268\ 0573115201686949931*c_0101_5^10 + 355303651018328978185713824711165\ 33838228304203529476768423830076516/5133333876308182036435384499663\ 510359228212680573115201686949931*c_0101_5^9 + 9926013381229032637816493445384116167677455682609149330648473706757\ 347/154000016289245461093061534989905310776846380417193456050608497\ 93*c_0101_5^8 + 631651157050017744226963699257846065966398902719462\ 3058541284221801611/15400001628924546109306153498990531077684638041\ 719345605060849793*c_0101_5^7 + 57944548322077377410458767189489607\ 2268724325757241981977848031791397/15400001628924546109306153498990\ 531077684638041719345605060849793*c_0101_5^6 - 2891242952967451765306642130516031398013084218493976600262516030038\ 24/5133333876308182036435384499663510359228212680573115201686949931\ *c_0101_5^5 - 12887402497022410281611107659870824015436669601651678\ 7679534875103859/51333338763081820364353844996635103592282126805731\ 15201686949931*c_0101_5^4 - 520185033018236716410319856321658400812\ 18503712686400627217643382849/5133333876308182036435384499663510359\ 228212680573115201686949931*c_0101_5^3 - 6196488983135189129127217967575691991656712369727225904738875257977\ 2/15400001628924546109306153498990531077684638041719345605060849793\ *c_0101_5^2 - 16566508542861377421948468499320115802797129970823372\ 66046048192918/1540000162892454610930615349899053107768463804171934\ 5605060849793*c_0101_5 + 212561619997472319607701431141916887165382\ 1524527755300292665370143/15400001628924546109306153498990531077684\ 638041719345605060849793, c_0011_0 - 1, c_0011_4 - 881347535666078158889020467689980893985196034285244723518235\ 72/125203265275809317961838646333256350225078358062758907358218291*\ c_0101_5^22 - 17619046127647766717229533451839771079516830321780818\ 97253220690/1252032652758093179618386463332563502250783580627589073\ 58218291*c_0101_5^21 - 11796014257814915085242640770051662698085977\ 236891731685948528760/125203265275809317961838646333256350225078358\ 062758907358218291*c_0101_5^20 - 2769164996351483588437957721995125\ 7248683750059445687919615769580/12520326527580931796183864633325635\ 0225078358062758907358218291*c_0101_5^19 - 238873192606192977215824192102725382563227381116373444141413862103/\ 125203265275809317961838646333256350225078358062758907358218291*c_0\ 101_5^18 - 22103328782627504990166966487397927447920362760269842735\ 33858150332/1252032652758093179618386463332563502250783580627589073\ 58218291*c_0101_5^17 - 36163761746202029154698740689940535892547908\ 85064235272621195527255/1252032652758093179618386463332563502250783\ 58062758907358218291*c_0101_5^16 - 2329840668672972633149070056160347851393495411949018026994863317600\ /125203265275809317961838646333256350225078358062758907358218291*c_\ 0101_5^15 + 1684162686821497275903469522479656221602555142469027740\ 351320272959/125203265275809317961838646333256350225078358062758907\ 358218291*c_0101_5^14 + 5474394617118598954929533383337189490080672\ 036057787601756760566921/125203265275809317961838646333256350225078\ 358062758907358218291*c_0101_5^13 + 5840422054372669345868444430614045968348888555331511116042793834162\ /125203265275809317961838646333256350225078358062758907358218291*c_\ 0101_5^12 + 3651675374649449447658111444922465287938894638692191349\ 096601561905/125203265275809317961838646333256350225078358062758907\ 358218291*c_0101_5^11 - 1023258347925123490388625694455516818745434\ 455349826318138125325343/125203265275809317961838646333256350225078\ 358062758907358218291*c_0101_5^10 - 3150495831758747005143754127577307834063907929231662530328966239713\ /125203265275809317961838646333256350225078358062758907358218291*c_\ 0101_5^9 - 15095583622153427668910751391559061692627779378641324946\ 71934900904/1252032652758093179618386463332563502250783580627589073\ 58218291*c_0101_5^8 + 756382370369428518462202536559450731333156844\ 09544765795034836844/1252032652758093179618386463332563502250783580\ 62758907358218291*c_0101_5^7 + 278880188367943891228796155083437675\ 536558701007207561465614468655/125203265275809317961838646333256350\ 225078358062758907358218291*c_0101_5^6 + 91092339227478056797468785799129820921819500893237956115373805569/1\ 25203265275809317961838646333256350225078358062758907358218291*c_01\ 01_5^5 + 3786731648718661321195003342789958671558160192145116038560\ 8920751/12520326527580931796183864633325635022507835806275890735821\ 8291*c_0101_5^4 + 1346920798834736564092480166889513985461404249810\ 6092363377214363/12520326527580931796183864633325635022507835806275\ 8907358218291*c_0101_5^3 - 1781750561478966048206997302634390682014\ 133091631962302807902409/125203265275809317961838646333256350225078\ 358062758907358218291*c_0101_5^2 - 555155334359827860751265903561958889703210770245417008350376001/125\ 203265275809317961838646333256350225078358062758907358218291*c_0101\ _5 + 10753771549313887846878337903694445359191093872117752018554965\ 2/125203265275809317961838646333256350225078358062758907358218291, c_0011_6 + 227180514229699719653559409191077002322746957986340053171938\ 254/125203265275809317961838646333256350225078358062758907358218291\ *c_0101_5^22 + 4547638396310164646277922558794251072615426625714116\ 548435511393/125203265275809317961838646333256350225078358062758907\ 358218291*c_0101_5^21 + 3052298605277111268199561939294492477059956\ 0247808727823238607911/12520326527580931796183864633325635022507835\ 8062758907358218291*c_0101_5^20 + 721059931315758784261877605327830\ 40807073257387495798320101558037/1252032652758093179618386463332563\ 50225078358062758907358218291*c_0101_5^19 + 617066878855123276383944385515587549838987848100809679911837563371/\ 125203265275809317961838646333256350225078358062758907358218291*c_0\ 101_5^18 + 57125621329401837229291805665682572851501862410037290744\ 63421919010/1252032652758093179618386463332563502250783580627589073\ 58218291*c_0101_5^17 + 94622832659566796042630691873556046796034021\ 05106911433195262984207/1252032652758093179618386463332563502250783\ 58062758907358218291*c_0101_5^16 + 6147459702058823257563458122086696025224456233692173774379652193751\ /125203265275809317961838646333256350225078358062758907358218291*c_\ 0101_5^15 - 4355793851860519206737944426977088922780684016889775316\ 562408196561/125203265275809317961838646333256350225078358062758907\ 358218291*c_0101_5^14 - 1434614333104255252693126971863229986019012\ 5152925499328556495746625/12520326527580931796183864633325635022507\ 8358062758907358218291*c_0101_5^13 - 1536148198702535666002253260276284980169174258086916776975034589082\ 5/125203265275809317961838646333256350225078358062758907358218291*c\ _0101_5^12 - 956088304693156367921287836440294720851695317662979197\ 9544822406496/12520326527580931796183864633325635022507835806275890\ 7358218291*c_0101_5^11 + 266876941698083235953694777404063318194204\ 7500305555573798135305002/12520326527580931796183864633325635022507\ 8358062758907358218291*c_0101_5^10 + 8380691013914519910071390246015192173349210762918274286881167255936\ /125203265275809317961838646333256350225078358062758907358218291*c_\ 0101_5^9 + 40770126959675104084943025327194977794737843300319547744\ 11436352336/1252032652758093179618386463332563502250783580627589073\ 58218291*c_0101_5^8 - 226167940958306336465216276350246681560299785\ 643882459457165283732/125203265275809317961838646333256350225078358\ 062758907358218291*c_0101_5^7 - 79309234981736228681376503270844829\ 4967463778186047160425978558491/12520326527580931796183864633325635\ 0225078358062758907358218291*c_0101_5^6 - 254090498833940385891982518457929871517092384601751005234863589624/\ 125203265275809317961838646333256350225078358062758907358218291*c_0\ 101_5^5 - 939745447742942916668600274617490640129486324334339814944\ 53446931/1252032652758093179618386463332563502250783580627589073582\ 18291*c_0101_5^4 - 335192500284195294366334639531085336196809016632\ 77190648540061496/1252032652758093179618386463332563502250783580627\ 58907358218291*c_0101_5^3 + 483735895996071940884148741223669173247\ 3178254546947837060776218/12520326527580931796183864633325635022507\ 8358062758907358218291*c_0101_5^2 + 2096036102124779479200917824650212313832405659174247457082364412/12\ 5203265275809317961838646333256350225078358062758907358218291*c_010\ 1_5 - 2525645157623724003151788862193208159107030535676647595042274\ 74/125203265275809317961838646333256350225078358062758907358218291, c_0101_0 + 144056270629350950136764573910450490241196292611943595498857\ 786/125203265275809317961838646333256350225078358062758907358218291\ *c_0101_5^22 + 2904678254468530996612503724848394320577226640284733\ 157952882841/125203265275809317961838646333256350225078358062758907\ 358218291*c_0101_5^21 + 1977607368404436615041662559119349854557623\ 8724620218704168116112/12520326527580931796183864633325635022507835\ 8062758907358218291*c_0101_5^20 + 485623048533967727101926141302178\ 21033554569152430699903176500321/1252032652758093179618386463332563\ 50225078358062758907358218291*c_0101_5^19 + 398061919253721777162904022062318221734682199036425615192945159727/\ 125203265275809317961838646333256350225078358062758907358218291*c_0\ 101_5^18 + 36796031628058290198883064711788862380931584748632082675\ 57257985048/1252032652758093179618386463332563502250783580627589073\ 58218291*c_0101_5^17 + 65305194013400889625276773380542533714779445\ 32054077408784498658825/1252032652758093179618386463332563502250783\ 58062758907358218291*c_0101_5^16 + 4794619130750376125833727947836282901867746396477153026658430047862\ /125203265275809317961838646333256350225078358062758907358218291*c_\ 0101_5^15 - 2173572126766145312182881989082489424291944666109068527\ 237554490844/125203265275809317961838646333256350225078358062758907\ 358218291*c_0101_5^14 - 9490587789465061024843726640588554296734420\ 883048547426294599791853/125203265275809317961838646333256350225078\ 358062758907358218291*c_0101_5^13 - 1108817683792249193933692439558732816689255663793499500504721776247\ 0/125203265275809317961838646333256350225078358062758907358218291*c\ _0101_5^12 - 751959969801619028591556686243409665004822986174997682\ 5432554607020/12520326527580931796183864633325635022507835806275890\ 7358218291*c_0101_5^11 + 778426688862213171441881024082558702193549\ 016930806489406650202746/125203265275809317961838646333256350225078\ 358062758907358218291*c_0101_5^10 + 5543926619367843966976686708102986879920159559372782142563054600577\ /125203265275809317961838646333256350225078358062758907358218291*c_\ 0101_5^9 + 33801845714127610810175462431393116659295897628857971158\ 51791613507/1252032652758093179618386463332563502250783580627589073\ 58218291*c_0101_5^8 + 244860154869786871667280677112733734366285369\ 039550170435172868408/125203265275809317961838646333256350225078358\ 062758907358218291*c_0101_5^7 - 52101893682193030386542713093910745\ 6476122054140442876730050336429/12520326527580931796183864633325635\ 0225078358062758907358218291*c_0101_5^6 - 236448775852994662436000429745078499431217373493282219632666751344/\ 125203265275809317961838646333256350225078358062758907358218291*c_0\ 101_5^5 - 852215332530621117086631905787050354495712108783837451580\ 50445683/1252032652758093179618386463332563502250783580627589073582\ 18291*c_0101_5^4 - 298985534053025961345391890719356433071984143799\ 65800180872950313/1252032652758093179618386463332563502250783580627\ 58907358218291*c_0101_5^3 + 365885162356094921813380592092634869822\ 573109204389232662269773/125203265275809317961838646333256350225078\ 358062758907358218291*c_0101_5^2 + 1957716466915147435988493396008401984527579507814731507228298462/12\ 5203265275809317961838646333256350225078358062758907358218291*c_010\ 1_5 + 3437680488797353661951290096568365454372697455234027432467946\ /125203265275809317961838646333256350225078358062758907358218291, c_0101_1 + 204936906035998558288552522494037304452288255888307953475156\ 306/125203265275809317961838646333256350225078358062758907358218291\ *c_0101_5^22 + 4173697893199740205030541098691888299215086502715097\ 016184290571/125203265275809317961838646333256350225078358062758907\ 358218291*c_0101_5^21 + 2895582633531755911241778892451424500998276\ 1368377350009136811447/12520326527580931796183864633325635022507835\ 8062758907358218291*c_0101_5^20 + 745059567566650362226895615348469\ 53333517616579276850772006098453/1252032652758093179618386463332563\ 50225078358062758907358218291*c_0101_5^19 + 578524216661376330826834652884903463039555306152524526955855384554/\ 125203265275809317961838646333256350225078358062758907358218291*c_0\ 101_5^18 + 53455624247437182217565876161997376151878806626246083615\ 40162469094/1252032652758093179618386463332563502250783580627589073\ 58218291*c_0101_5^17 + 10313313684225703393804185931062495669039093\ 299409506821296989070243/125203265275809317961838646333256350225078\ 358062758907358218291*c_0101_5^16 + 8368380053404448521471817862939210600358130565963095905990573989955\ /125203265275809317961838646333256350225078358062758907358218291*c_\ 0101_5^15 - 2147765678585310848721785571452954818154012760730243905\ 407209405999/125203265275809317961838646333256350225078358062758907\ 358218291*c_0101_5^14 - 1432004815583737785067928882367617510954197\ 2674747295896759921309118/12520326527580931796183864633325635022507\ 8358062758907358218291*c_0101_5^13 - 1816087050965643027996059312054027590226387623265642879474252311700\ 2/125203265275809317961838646333256350225078358062758907358218291*c\ _0101_5^12 - 131629453443774008112203136398359468427909755043344203\ 04036745664061/1252032652758093179618386463332563502250783580627589\ 07358218291*c_0101_5^11 - 42987225616521606428376256299281702573637\ 1020862897892641094446144/12520326527580931796183864633325635022507\ 8358062758907358218291*c_0101_5^10 + 8425075473101916904692755291510130225475162087828242366208181971736\ /125203265275809317961838646333256350225078358062758907358218291*c_\ 0101_5^9 + 61076031870506107576822651951203291102916714016372768267\ 20196233398/1252032652758093179618386463332563502250783580627589073\ 58218291*c_0101_5^8 + 940168530993686271796857350366423002148158305\ 616053645033956403419/125203265275809317961838646333256350225078358\ 062758907358218291*c_0101_5^7 - 75326010142563423951165400325585813\ 4723449861170337357597617524100/12520326527580931796183864633325635\ 0225078358062758907358218291*c_0101_5^6 - 427961747903181662856539197087085816923280120486173640364930110392/\ 125203265275809317961838646333256350225078358062758907358218291*c_0\ 101_5^5 - 158461074353467163589012952490371922581948831406204490284\ 211467896/125203265275809317961838646333256350225078358062758907358\ 218291*c_0101_5^4 - 64467688150969791399142669095058554123851046651\ 114647387172380192/125203265275809317961838646333256350225078358062\ 758907358218291*c_0101_5^3 - 61581670652623543791353849241895644356\ 94972568354825201012300951/1252032652758093179618386463332563502250\ 78358062758907358218291*c_0101_5^2 + 2686355454342173885290187113202926757040907037334495909884522987/12\ 5203265275809317961838646333256350225078358062758907358218291*c_010\ 1_5 + 1250736461687933316126734730649251459993168636536041163390405\ 91/125203265275809317961838646333256350225078358062758907358218291, c_0101_2 - 870440015941107933170896667785077954715167557049084508042849\ 32/125203265275809317961838646333256350225078358062758907358218291*\ c_0101_5^22 - 17489932136524670968769524262172709804820974625824366\ 80280766638/1252032652758093179618386463332563502250783580627589073\ 58218291*c_0101_5^21 - 11823805893261418471148216239523884425360577\ 124965209756703148852/125203265275809317961838646333256350225078358\ 062758907358218291*c_0101_5^20 - 2845916417905965246403236418329337\ 3471107867148130759277738028639/12520326527580931796183864633325635\ 0225078358062758907358218291*c_0101_5^19 - 238177074134810064404331165784777626333847143104875127311302552960/\ 125203265275809317961838646333256350225078358062758907358218291*c_0\ 101_5^18 - 22058385397322666804021849404895520027340738188059423125\ 46515108969/1252032652758093179618386463332563502250783580627589073\ 58218291*c_0101_5^17 - 37837812625525192040216897848859506162092646\ 50013607737712050441362/1252032652758093179618386463332563502250783\ 58062758907358218291*c_0101_5^16 - 2565577861818129709412848378081792099877852985381799052783923378959\ /125203265275809317961838646333256350225078358062758907358218291*c_\ 0101_5^15 + 1589229652802965987912738639840507117342702144014112517\ 299947201347/125203265275809317961838646333256350225078358062758907\ 358218291*c_0101_5^14 + 5685858380798862103877933834529644148550090\ 578051698446092082914114/125203265275809317961838646333256350225078\ 358062758907358218291*c_0101_5^13 + 6254573869635917483664871174613728330184908199141817291052717469558\ /125203265275809317961838646333256350225078358062758907358218291*c_\ 0101_5^12 + 3961354696905864213509237827786314050940460591670797114\ 788144586456/125203265275809317961838646333256350225078358062758907\ 358218291*c_0101_5^11 - 9027955365883667628927204819919782930911646\ 42841011175286401804073/1252032652758093179618386463332563502250783\ 58062758907358218291*c_0101_5^10 - 3390637968460101859479449979357437922920411448329066548880836340030\ /125203265275809317961838646333256350225078358062758907358218291*c_\ 0101_5^9 - 17790688890032307335583039546858208587745752259432673688\ 07236007387/1252032652758093179618386463332563502250783580627589073\ 58218291*c_0101_5^8 + 454516264153503736861710756632300648743428836\ 00309307313462102014/1252032652758093179618386463332563502250783580\ 62758907358218291*c_0101_5^7 + 347464741911842618194540215300753940\ 907482990641039081129545823465/125203265275809317961838646333256350\ 225078358062758907358218291*c_0101_5^6 + 120114568494906438755370659767502476897763659043246481276981053747/\ 125203265275809317961838646333256350225078358062758907358218291*c_0\ 101_5^5 + 387501149274293138422147290431909580684088453514388319038\ 52048962/1252032652758093179618386463332563502250783580627589073582\ 18291*c_0101_5^4 + 131315276723705216889045516024466357696821341666\ 01067118188942559/1252032652758093179618386463332563502250783580627\ 58907358218291*c_0101_5^3 - 233936162648541861262389771587352390178\ 1230814541295200916840239/12520326527580931796183864633325635022507\ 8358062758907358218291*c_0101_5^2 - 1315696959276747773785014753508836526016214488311830133644242944/12\ 5203265275809317961838646333256350225078358062758907358218291*c_010\ 1_5 + 6638160410229154611742489373714279139279950671741403580958241\ 9/125203265275809317961838646333256350225078358062758907358218291, c_0101_5^23 + 41/2*c_0101_5^22 + 144*c_0101_5^21 + 382*c_0101_5^20 + 2868*c_0101_5^19 + 52905/2*c_0101_5^18 + 53752*c_0101_5^17 + 93817/2*c_0101_5^16 - 6497*c_0101_5^15 - 145275/2*c_0101_5^14 - 97900*c_0101_5^13 - 148277/2*c_0101_5^12 - 15907/2*c_0101_5^11 + 42942*c_0101_5^10 + 35641*c_0101_5^9 + 14731/2*c_0101_5^8 - 4110*c_0101_5^7 - 2796*c_0101_5^6 - 931*c_0101_5^5 - 683/2*c_0101_5^4 - 93/2*c_0101_5^3 + 21*c_0101_5^2 + 7/2*c_0101_5 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB