Magma V2.19-8 Tue Aug 20 2013 16:17:54 on localhost [Seed = 3953817387] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2136 geometric_solution 5.62038845 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 1 -1 0 0 1 -1 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 -1 1 -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 2.083222651729 0.611570093958 0 2 3 0 0132 0132 0132 3201 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 0 1 -1 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.111736865403 0.737833727439 4 1 5 3 0132 0132 0132 2031 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.410363354203 0.643554617790 5 2 4 1 1023 1302 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 -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.410363354203 0.643554617790 2 3 4 4 0132 3201 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.579506073469 1.296078328849 6 3 6 2 0132 1023 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.975535924827 0.698556798471 5 5 6 6 0132 3201 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.551865938373 0.200127555597 ==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' : 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' : d['c_0101_2'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], '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_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0101_1']), '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_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_0101_1'], '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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 793369967403299171668995633141196270625121007134559838118783232/198\ 7332017731630815029767998636972721101518178928807510902503*c_0101_5\ ^26 - 7961670864591938336237758790472790693070085472469871433151973\ 052/1987332017731630815029767998636972721101518178928807510902503*c\ _0101_5^25 + 452715223406183026313989958323202310295277688995213780\ 678104534/198733201773163081502976799863697272110151817892880751090\ 2503*c_0101_5^24 + 701932816423250993873175746048361922054577726050\ 75884203130204099/1987332017731630815029767998636972721101518178928\ 807510902503*c_0101_5^23 - 2896961503344186621167576829793820826433\ 9837827738059023125326966/19873320177316308150297679986369727211015\ 18178928807510902503*c_0101_5^22 - 214011882192689466868495644881431933815230735498560805330005433872/\ 1987332017731630815029767998636972721101518178928807510902503*c_010\ 1_5^21 + 6855700522834872260832748882276644201415856799184809683504\ 3184430/19873320177316308150297679986369727211015181789288075109025\ 03*c_0101_5^20 + 29489498151996087918567030423500049025243051978188\ 2729934976836020/19873320177316308150297679986369727211015181789288\ 07510902503*c_0101_5^19 - 19876812213295736584613647701694115183530\ 4462019827815009925057788/19873320177316308150297679986369727211015\ 18178928807510902503*c_0101_5^18 - 154981265514192632875279459388807851544304004004483463979920709699/\ 1987332017731630815029767998636972721101518178928807510902503*c_010\ 1_5^17 + 7417037258920057861145318093478324246303510586010401124872\ 71377798/1987332017731630815029767998636972721101518178928807510902\ 503*c_0101_5^16 + 2475423367513660977581747508922634823900363489142\ 49034149496524320/1987332017731630815029767998636972721101518178928\ 807510902503*c_0101_5^15 - 1191002416780095678496661648046303573639\ 936183277180411915295398039/198733201773163081502976799863697272110\ 1518178928807510902503*c_0101_5^14 - 1028501023607863133992100469323399976125605432702941977151317554791\ /1987332017731630815029767998636972721101518178928807510902503*c_01\ 01_5^13 + 556952082509769657989160781556120659916179965367760766031\ 954175760/198733201773163081502976799863697272110151817892880751090\ 2503*c_0101_5^12 + 128730723494786000760535539709895324837943228229\ 0348838694693631834/19873320177316308150297679986369727211015181789\ 28807510902503*c_0101_5^11 + 38085132764470108096829289972079993496\ 3541361458666608158367557085/19873320177316308150297679986369727211\ 01518178928807510902503*c_0101_5^10 - 494948884312457787357804857801543985745746170270902879651154929767/\ 1987332017731630815029767998636972721101518178928807510902503*c_010\ 1_5^9 - 42656363987766592857474794202154705153681330247054611495903\ 0266212/19873320177316308150297679986369727211015181789288075109025\ 03*c_0101_5^8 - 166859376639715723506846433670493048370801144613351\ 19214929673432/1987332017731630815029767998636972721101518178928807\ 510902503*c_0101_5^7 + 12620849969802288829407315665420444185223872\ 4280947645752140209190/19873320177316308150297679986369727211015181\ 78928807510902503*c_0101_5^6 + 442291039424030449653575974256436412\ 10771184664103457681614146885/1987332017731630815029767998636972721\ 101518178928807510902503*c_0101_5^5 - 12448679421489164208765561669183668767196593641420829668902172099/1\ 987332017731630815029767998636972721101518178928807510902503*c_0101\ _5^4 - 934055784426153072682127611525866045088252433815160800709268\ 2205/1987332017731630815029767998636972721101518178928807510902503*\ c_0101_5^3 - 566944490801826853523209286491861123605383867123271359\ 770093467/198733201773163081502976799863697272110151817892880751090\ 2503*c_0101_5^2 + 5417688795577124951370380414317493704596431354387\ 89156849992070/1987332017731630815029767998636972721101518178928807\ 510902503*c_0101_5 + 1117774621794108681339667916269365150227840127\ 63188883467715750/1987332017731630815029767998636972721101518178928\ 807510902503, c_0011_0 - 1, c_0011_3 + 157218618816523356669350970408657922656876938908836080529812\ 51/1987332017731630815029767998636972721101518178928807510902503*c_\ 0101_5^26 - 1650317437624214398956403119533178121894312726564319701\ 22275363/1987332017731630815029767998636972721101518178928807510902\ 503*c_0101_5^25 + 8517997940830568526171578901867148804330411181547\ 7810709204322/19873320177316308150297679986369727211015181789288075\ 10902503*c_0101_5^24 + 13510744898203261077733695253485364448910095\ 65988238230184691873/1987332017731630815029767998636972721101518178\ 928807510902503*c_0101_5^23 - 1193647268252090987105877659416114214\ 846708652654979708775575687/198733201773163081502976799863697272110\ 1518178928807510902503*c_0101_5^22 - 3685224178644626521631163454129903586440572626274952635882854323/19\ 87332017731630815029767998636972721101518178928807510902503*c_0101_\ 5^21 + 301717616730572684685632167050708562692793071066838126556428\ 6923/1987332017731630815029767998636972721101518178928807510902503*\ c_0101_5^20 + 44334978377087682710783442092814045843753412924990419\ 75154070162/1987332017731630815029767998636972721101518178928807510\ 902503*c_0101_5^19 - 5834186200698455170543634737418857356425978818\ 634174428758717862/198733201773163081502976799863697272110151817892\ 8807510902503*c_0101_5^18 - 330592561916157484146799498919830070177\ 136413082416921913923167/198733201773163081502976799863697272110151\ 8178928807510902503*c_0101_5^17 + 146109098597325102844549705549870\ 86047470831964616231893449186325/1987332017731630815029767998636972\ 721101518178928807510902503*c_0101_5^16 - 1823846379971761389168542985396428317698314690565583539481818058/19\ 87332017731630815029767998636972721101518178928807510902503*c_0101_\ 5^15 - 225334556344833218817145117736751491107365388111085617760664\ 34431/1987332017731630815029767998636972721101518178928807510902503\ *c_0101_5^14 - 1040139633108682757069140149254729964004926497462399\ 1560887157280/19873320177316308150297679986369727211015181789288075\ 10902503*c_0101_5^13 + 15359004908557503933953198271942595573829305\ 372005836156591471393/198733201773163081502976799863697272110151817\ 8928807510902503*c_0101_5^12 + 191311032167007247787033127983374875\ 83223911658658706452939876060/1987332017731630815029767998636972721\ 101518178928807510902503*c_0101_5^11 - 194786109968577499813853437728070200844330314731848843293786691/198\ 7332017731630815029767998636972721101518178928807510902503*c_0101_5\ ^10 - 9764351621719342536555224709610346722855542336318168025481514\ 294/1987332017731630815029767998636972721101518178928807510902503*c\ _0101_5^9 - 4987860356688767285672290717479010314708159313287775261\ 504917565/198733201773163081502976799863697272110151817892880751090\ 2503*c_0101_5^8 + 1305782944862092868955640764318500568090512681942\ 702956311895508/198733201773163081502976799863697272110151817892880\ 7510902503*c_0101_5^7 + 2139634206969903896126429896843739204504323\ 132648982443660123333/198733201773163081502976799863697272110151817\ 8928807510902503*c_0101_5^6 + 3299983522858997441554952720705687227\ 57008043072540041087214419/1987332017731630815029767998636972721101\ 518178928807510902503*c_0101_5^5 - 267236575734513859826873976131019321777488270314077094851498000/198\ 7332017731630815029767998636972721101518178928807510902503*c_0101_5\ ^4 - 14945426229856791936758241961647615825716277340501837196530509\ 0/1987332017731630815029767998636972721101518178928807510902503*c_0\ 101_5^3 - 120244610548553950135870542644540560830087514310043052700\ 79015/1987332017731630815029767998636972721101518178928807510902503\ *c_0101_5^2 + 13753602780675939699612471414197604978225432016838904\ 997754437/198733201773163081502976799863697272110151817892880751090\ 2503*c_0101_5 + 475746372574772440156711378541207631648182945683512\ 8120108963/19873320177316308150297679986369727211015181789288075109\ 02503, c_0101_0 - 557881660412787174156247382501866212741844146838519367992475\ 99/1987332017731630815029767998636972721101518178928807510902503*c_\ 0101_5^26 + 5810584541727915019106030178028398234513336720279982252\ 54252879/1987332017731630815029767998636972721101518178928807510902\ 503*c_0101_5^25 - 2454668043884840588146558881278859572799726509440\ 01716729464480/1987332017731630815029767998636972721101518178928807\ 510902503*c_0101_5^24 - 4915749118087473487580672372820028937982298\ 049195476143565216831/198733201773163081502976799863697272110151817\ 8928807510902503*c_0101_5^23 + 391324747408142725895661976415732114\ 5865902010837316935727391344/19873320177316308150297679986369727211\ 01518178928807510902503*c_0101_5^22 + 14192481154219510635997708456525766299121214366179027132548587076/1\ 987332017731630815029767998636972721101518178928807510902503*c_0101\ _5^21 - 10496422430662313841661085561004995492467680103714435488373\ 740048/198733201773163081502976799863697272110151817892880751090250\ 3*c_0101_5^20 - 185959641511434904425162737716992757545872223660740\ 06553958006357/1987332017731630815029767998636972721101518178928807\ 510902503*c_0101_5^19 + 2166690428144391747469109288514166240891226\ 7798191773155513728206/19873320177316308150297679986369727211015181\ 78928807510902503*c_0101_5^18 + 50420576184942505963266361129035960\ 79202413952080435895923944143/1987332017731630815029767998636972721\ 101518178928807510902503*c_0101_5^17 - 55817849776244291844464171228254487027636313431120930761459336737/1\ 987332017731630815029767998636972721101518178928807510902503*c_0101\ _5^16 + 28335166126355906024250436316651612943279571211021553771396\ 34160/1987332017731630815029767998636972721101518178928807510902503\ *c_0101_5^15 + 8915290267836656420371639852922905179339891232209539\ 0679515816159/19873320177316308150297679986369727211015181789288075\ 10902503*c_0101_5^14 + 40378214391625541424311986315159386856806925\ 831350727776589773010/198733201773163081502976799863697272110151817\ 8928807510902503*c_0101_5^13 - 643758287707532792174735261039393598\ 27929486283539277857405437891/1987332017731630815029767998636972721\ 101518178928807510902503*c_0101_5^12 - 75002346563899759187289951829094027946769710989408775253168682005/1\ 987332017731630815029767998636972721101518178928807510902503*c_0101\ _5^11 + 53751527916508835005481880679760676500063757273581616888027\ 24632/1987332017731630815029767998636972721101518178928807510902503\ *c_0101_5^10 + 4318621543218357917511467180570961939447418854541741\ 2796457867905/19873320177316308150297679986369727211015181789288075\ 10902503*c_0101_5^9 + 176425721733239602059156871720673934372896289\ 06003426030431390867/1987332017731630815029767998636972721101518178\ 928807510902503*c_0101_5^8 - 84843920598859063119444734980992344178\ 60090843044317996859213180/1987332017731630815029767998636972721101\ 518178928807510902503*c_0101_5^7 - 9085397108333807109759241796552185329843569841965426553638727652/19\ 87332017731630815029767998636972721101518178928807510902503*c_0101_\ 5^6 - 3927359596873865203005726120741468634166147134670298688263269\ 49/1987332017731630815029767998636972721101518178928807510902503*c_\ 0101_5^5 + 16754672336061184511821563029356278303631082466188318882\ 45636542/1987332017731630815029767998636972721101518178928807510902\ 503*c_0101_5^4 + 39230792934489879779328418191826135957868883579891\ 3470865183261/19873320177316308150297679986369727211015181789288075\ 10902503*c_0101_5^3 - 820744209909236839105209924279705453576010718\ 41122823665005969/1987332017731630815029767998636972721101518178928\ 807510902503*c_0101_5^2 - 41175948715568434256310119201730344322484\ 807424742905600851359/198733201773163081502976799863697272110151817\ 8928807510902503*c_0101_5 - 548811274370365673871872534699776093542\ 9829363844502648528515/19873320177316308150297679986369727211015181\ 78928807510902503, c_0101_1 - 211693072071934246992338711754404032860707296994775134806/15\ 4068688869806249711587564821844539972208557169455578797*c_0101_5^26 + 1890203265193306341690922934133764259158725147790888604573/154068\ 688869806249711587564821844539972208557169455578797*c_0101_5^25 + 2247147468795810952557052035261530443715298811618432291205/15406868\ 8869806249711587564821844539972208557169455578797*c_0101_5^24 - 19091785288587706955730288629323341634047614643786383480745/1540686\ 88869806249711587564821844539972208557169455578797*c_0101_5^23 - 12456343559573208930549967935487135618600614653118581886159/1540686\ 88869806249711587564821844539972208557169455578797*c_0101_5^22 + 66985341482169640170697196210757955543739896738085134804349/1540686\ 88869806249711587564821844539972208557169455578797*c_0101_5^21 + 39980638146434344822566193591274549474757861091271891750926/1540686\ 88869806249711587564821844539972208557169455578797*c_0101_5^20 - 100149448987798501777713200259694460848509623697052168886515/154068\ 688869806249711587564821844539972208557169455578797*c_0101_5^19 - 21232374476325251600788817077651591697472218991340045695734/1540686\ 88869806249711587564821844539972208557169455578797*c_0101_5^18 + 97588357693029151887935898964832091681974960130367567829875/1540686\ 88869806249711587564821844539972208557169455578797*c_0101_5^17 - 168879358916492158600755454753614641838170928801898524889268/154068\ 688869806249711587564821844539972208557169455578797*c_0101_5^16 - 270176040187360881826320376842568845269992692828349751743877/154068\ 688869806249711587564821844539972208557169455578797*c_0101_5^15 + 260109278154620793842970996662504962338702313378826541747516/154068\ 688869806249711587564821844539972208557169455578797*c_0101_5^14 + 586146405859714422678777964804968691326195271142310742951770/154068\ 688869806249711587564821844539972208557169455578797*c_0101_5^13 + 134264551679431637482250476827010867073616583236112414419168/154068\ 688869806249711587564821844539972208557169455578797*c_0101_5^12 - 467156943705113455965492831723337316870834748654540915430365/154068\ 688869806249711587564821844539972208557169455578797*c_0101_5^11 - 439334752427147721190068312443160392232294412730160727719034/154068\ 688869806249711587564821844539972208557169455578797*c_0101_5^10 + 12919309441852115208205803544324438755931355160202806998682/1540686\ 88869806249711587564821844539972208557169455578797*c_0101_5^9 + 219781180691921338209917008298094489237108383303857586634073/154068\ 688869806249711587564821844539972208557169455578797*c_0101_5^8 + 115053592105619162856566996182932900559489648247495667233801/154068\ 688869806249711587564821844539972208557169455578797*c_0101_5^7 - 18644656405842542964029825698093105116915936868038761683262/1540686\ 88869806249711587564821844539972208557169455578797*c_0101_5^6 - 37460334328632061511811651091463661009725377384003227594654/1540686\ 88869806249711587564821844539972208557169455578797*c_0101_5^5 - 7633639555405099324449325675427477935951842945944387851573/15406868\ 8869806249711587564821844539972208557169455578797*c_0101_5^4 + 3165571285539340010438471975163479871328699396661567985941/15406868\ 8869806249711587564821844539972208557169455578797*c_0101_5^3 + 1743278157992431731254145670511049032920870839747126244352/15406868\ 8869806249711587564821844539972208557169455578797*c_0101_5^2 - 33920764725379078778416902207207463225718913795157451839/1540686888\ 69806249711587564821844539972208557169455578797*c_0101_5 + 12638314696844183126662228412791010241739644526105789347/1540686888\ 69806249711587564821844539972208557169455578797, c_0101_2 + 163669070057124837826949640586975222913671192834542779245210\ 00/1987332017731630815029767998636972721101518178928807510902503*c_\ 0101_5^26 - 1685257991892940719064167999489653012289601329920869564\ 68232830/1987332017731630815029767998636972721101518178928807510902\ 503*c_0101_5^25 + 5498182809054238455895051014481259200366090662691\ 7972804030899/19873320177316308150297679986369727211015181789288075\ 10902503*c_0101_5^24 + 14168041634056474481545256881853700923764461\ 09701422624875921732/1987332017731630815029767998636972721101518178\ 928807510902503*c_0101_5^23 - 9564642321229463974085408034707611563\ 40789454334006787869176909/1987332017731630815029767998636972721101\ 518178928807510902503*c_0101_5^22 - 4026459454397094094105396908000634742842755120710562672919847329/19\ 87332017731630815029767998636972721101518178928807510902503*c_0101_\ 5^21 + 231557387001220248678226981089328028768356336601012425540012\ 2603/1987332017731630815029767998636972721101518178928807510902503*\ c_0101_5^20 + 50955106706202944448188370958844664103809562478206914\ 12881038755/1987332017731630815029767998636972721101518178928807510\ 902503*c_0101_5^19 - 5013803881710513424471884618809390461403030959\ 283665088740903366/198733201773163081502976799863697272110151817892\ 8807510902503*c_0101_5^18 - 140496743471171388411903154236292206903\ 1509208802522637068148778/19873320177316308150297679986369727211015\ 18178928807510902503*c_0101_5^17 + 14894141037043607333450445257127829805423052832918206570534637522/1\ 987332017731630815029767998636972721101518178928807510902503*c_0101\ _5^16 + 11934066603225259050859822366147915827507546834987357772825\ 29901/1987332017731630815029767998636972721101518178928807510902503\ *c_0101_5^15 - 2323222077052877162185783279467305248344038741917137\ 8688756265067/19873320177316308150297679986369727211015181789288075\ 10902503*c_0101_5^14 - 15660115018561512964144871004189761899483067\ 906371647424157537045/198733201773163081502976799863697272110151817\ 8928807510902503*c_0101_5^13 + 129431612761619352487732567007100824\ 88371158132745039512064085243/1987332017731630815029767998636972721\ 101518178928807510902503*c_0101_5^12 + 22704857376725319779687582059860582496009926126271110542646255601/1\ 987332017731630815029767998636972721101518178928807510902503*c_0101\ _5^11 + 42967362889534893001807220675959733711079695066957335729375\ 73394/1987332017731630815029767998636972721101518178928807510902503\ *c_0101_5^10 - 9507774058042906961953922282824246197085688352402672\ 156893139591/198733201773163081502976799863697272110151817892880751\ 0902503*c_0101_5^9 - 7141369533017508620951151781557040053001734961\ 262762659455804101/198733201773163081502976799863697272110151817892\ 8807510902503*c_0101_5^8 + 9814197403297698744630022626495348958747\ 0633338103347234574266/19873320177316308150297679986369727211015181\ 78928807510902503*c_0101_5^7 + 231572185353398227801916124882053353\ 3745045560301436026960894120/19873320177316308150297679986369727211\ 01518178928807510902503*c_0101_5^6 + 750826524576396522275465791861802723726457546110780490214268489/198\ 7332017731630815029767998636972721101518178928807510902503*c_0101_5\ ^5 - 18912530444275131339167464052949268414731790808153487787421096\ 5/1987332017731630815029767998636972721101518178928807510902503*c_0\ 101_5^4 - 189202533061040776098223142407384905637413272852855841962\ 876508/198733201773163081502976799863697272110151817892880751090250\ 3*c_0101_5^3 - 2792217215136341135847931506727142808326097147770966\ 0574486619/19873320177316308150297679986369727211015181789288075109\ 02503*c_0101_5^2 + 119331863007588551903864227240202818093975721730\ 06470967828644/1987332017731630815029767998636972721101518178928807\ 510902503*c_0101_5 + 4753799492779825287431535210141479217768619600\ 945064833215756/198733201773163081502976799863697272110151817892880\ 7510902503, c_0101_4 + 864419544401695262300443921593657823942573379226305753112760\ 86/1987332017731630815029767998636972721101518178928807510902503*c_\ 0101_5^26 - 8765037128564442895989713088581592914220739082150028010\ 85642640/1987332017731630815029767998636972721101518178928807510902\ 503*c_0101_5^25 + 1332279179919846699360774254355736432589530035394\ 67511786816582/1987332017731630815029767998636972721101518178928807\ 510902503*c_0101_5^24 + 7712188089476286503378273487564022985628806\ 586776652596289169602/198733201773163081502976799863697272110151817\ 8928807510902503*c_0101_5^23 - 397486359833082698203338369874969900\ 3944119206101569039714833190/19873320177316308150297679986369727211\ 01518178928807510902503*c_0101_5^22 - 23570688310912381566299464717815043687598981559902858636335572383/1\ 987332017731630815029767998636972721101518178928807510902503*c_0101\ _5^21 + 10266738100545008375075248274969969345054862098872904393536\ 561378/198733201773163081502976799863697272110151817892880751090250\ 3*c_0101_5^20 + 329947561659505473104339737894456690610909650795503\ 86204723629183/1987332017731630815029767998636972721101518178928807\ 510902503*c_0101_5^19 - 2585610339064645266494231383744793267860916\ 7033470519378549205747/19873320177316308150297679986369727211015181\ 78928807510902503*c_0101_5^18 - 16653788862649540990396296215454672\ 874031238551062438553980231354/198733201773163081502976799863697272\ 1101518178928807510902503*c_0101_5^17 + 84507449593838242980590101994398490889051757228618256140990649353/1\ 987332017731630815029767998636972721101518178928807510902503*c_0101\ _5^16 + 19055769567185772437293909783451073400965670721524034222172\ 436578/198733201773163081502976799863697272110151817892880751090250\ 3*c_0101_5^15 - 138648303769966247685665647378955549582151521894162\ 538259427072242/198733201773163081502976799863697272110151817892880\ 7510902503*c_0101_5^14 - 992875681804535146437568746982298701421054\ 05030042427487352735261/1987332017731630815029767998636972721101518\ 178928807510902503*c_0101_5^13 + 8155684645589220924931041605754616\ 0519983704490702485266966127862/19873320177316308150297679986369727\ 21101518178928807510902503*c_0101_5^12 + 140755557666143541821066269594857244544326906695766560535686575651/\ 1987332017731630815029767998636972721101518178928807510902503*c_010\ 1_5^11 + 2255185753493078020910586375610974331296576187568506512245\ 0892921/19873320177316308150297679986369727211015181789288075109025\ 03*c_0101_5^10 - 67105138884488458547115553284016894133710166831616\ 047306606757025/198733201773163081502976799863697272110151817892880\ 7510902503*c_0101_5^9 - 4330565237243201698498784835903438157755355\ 3098628337837364622794/19873320177316308150297679986369727211015181\ 78928807510902503*c_0101_5^8 + 593025084470442053790773255420985438\ 0271425579385317829126953674/19873320177316308150297679986369727211\ 01518178928807510902503*c_0101_5^7 + 16600126842418107537901510302737617515924470637979230404725800271/1\ 987332017731630815029767998636972721101518178928807510902503*c_0101\ _5^6 + 371381496577469816254806763583794674290011020916127372970523\ 8185/1987332017731630815029767998636972721101518178928807510902503*\ c_0101_5^5 - 243534834098911531598082816136063477712983900950810081\ 6919762342/19873320177316308150297679986369727211015181789288075109\ 02503*c_0101_5^4 - 112023084619990542839131478991103926360454431203\ 6391427588912734/19873320177316308150297679986369727211015181789288\ 07510902503*c_0101_5^3 + 405030474003665268303915349867876343539402\ 80368992926881130246/1987332017731630815029767998636972721101518178\ 928807510902503*c_0101_5^2 + 88318179531874379910964596644695024026\ 073498403137398571826142/198733201773163081502976799863697272110151\ 8178928807510902503*c_0101_5 + 126217306893750314663347052700337862\ 97841998329985233037433829/1987332017731630815029767998636972721101\ 518178928807510902503, c_0101_5^27 - 10*c_0101_5^26 + 4/29*c_0101_5^25 + 2589/29*c_0101_5^24 - 967/29*c_0101_5^23 - 8059/29*c_0101_5^22 + 2285/29*c_0101_5^21 + 11465/29*c_0101_5^20 - 6979/29*c_0101_5^19 - 6709/29*c_0101_5^18 + 27321/29*c_0101_5^17 + 10414/29*c_0101_5^16 - 45188/29*c_0101_5^15 - 40099/29*c_0101_5^14 + 22044/29*c_0101_5^13 + 51170/29*c_0101_5^12 + 14895/29*c_0101_5^11 - 21165/29*c_0101_5^10 - 18115/29*c_0101_5^9 - 404/29*c_0101_5^8 + 5899/29*c_0101_5^7 + 76*c_0101_5^6 - 586/29*c_0101_5^5 - 525/29*c_0101_5^4 - 60/29*c_0101_5^3 + 32/29*c_0101_5^2 + 11/29*c_0101_5 + 1/29 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.260 seconds, Total memory usage: 32.09MB