Magma V2.19-8 Tue Aug 20 2013 16:16:35 on localhost [Seed = 1899031981] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0875 geometric_solution 4.78061987 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 0321 0132 0132 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 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.234825893163 0.579800362024 0 2 3 0 0132 1230 3012 0321 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 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.830213106563 0.629082787096 4 4 1 0 0132 2310 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.404422778236 0.511659541441 5 1 0 5 0132 1230 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 -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.987545768518 0.742617693807 2 4 4 2 0132 1230 3012 3201 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.087945810174 1.022972610718 3 3 6 6 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.381479007630 0.956798846201 6 5 6 5 2031 2310 1302 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.818755417452 0.207050000994 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(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_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : d['c_0011_2'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0011_0'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_0']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : d['c_0101_2']})} 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_3, c_0011_6, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 1292331831965406410974645201590627687998044530416266284218946451273\ 64371329607712781235/2759184242623897941425309215985275981627510006\ 715711077333738216317589295599616378124*c_0101_5^29 - 4972419975402639773422335130572286584632383999406390693542698444528\ 95374719607353019633/1839456161749265294283539477323517321085006671\ 143807384889158810878392863733077585416*c_0101_5^28 - 5164401337043007811738050881238736336342262486979932239172455855520\ 54547661217806332725/2299320202186581617854424346654396651356258338\ 92975923111144851359799107966634698177*c_0101_5^27 + 4306897958448520446499738714203023935679751310942408927041207589451\ 6736216144359127942073/55183684852477958828506184319705519632550200\ 13431422154667476432635178591199232756248*c_0101_5^26 - 2933704503571720833926024294756047854054220307986886421480284580448\ 846555621173236845049/275918424262389794142530921598527598162751000\ 6715711077333738216317589295599616378124*c_0101_5^25 - 1854669535581059470068063463102662834397517197386464832150206874077\ 97477429506668586083457/5518368485247795882850618431970551963255020\ 013431422154667476432635178591199232756248*c_0101_5^24 + 3247572329405338316237028144463598238752400919999254818903272050286\ 55026344646542483441151/5518368485247795882850618431970551963255020\ 013431422154667476432635178591199232756248*c_0101_5^23 + 1809680664270661313831814777320675981517885716713028941190191051297\ 58205539605950360867107/2759184242623897941425309215985275981627510\ 006715711077333738216317589295599616378124*c_0101_5^22 + 1069485473312608316713692699619605214151974783358803604487911252898\ 81042493126641997163146/6897960606559744853563273039963189954068775\ 01678927769333434554079397323899904094531*c_0101_5^21 - 3160202784016907558446758320683117037153314306357145792713182243106\ 649418742269090320033581/551836848524779588285061843197055196325502\ 0013431422154667476432635178591199232756248*c_0101_5^20 - 1538735543033912398047141699250608470758366142239065391088282692847\ 588576005665012800944327/275918424262389794142530921598527598162751\ 0006715711077333738216317589295599616378124*c_0101_5^19 + 3929696743401998904872986321361328829642423165090391143040820332297\ 888493615526672200010511/275918424262389794142530921598527598162751\ 0006715711077333738216317589295599616378124*c_0101_5^18 - 7484638313823251480142974111721220517015297733339919288354212970532\ 72396298976115915689115/4598640404373163235708848693308793302712516\ 67785951846222289702719598215933269396354*c_0101_5^17 + 8487331869753451645937523157314644824650843105902580268317815600474\ 0156933477196835850833/15328801347910544119029495644362644342375055\ 5928650615407429900906532738644423132118*c_0101_5^16 + 1498941038650109763978652774222228028737067445641937998247367732270\ 1300547014419914400672759/55183684852477958828506184319705519632550\ 20013431422154667476432635178591199232756248*c_0101_5^15 - 9291952431297999559896222035181454653867953658959701635020715449043\ 253251751086396132266867/551836848524779588285061843197055196325502\ 0013431422154667476432635178591199232756248*c_0101_5^14 + 4594815196326492441851944915590613619913757537619395489618543403137\ 88826873845267314968739/4598640404373163235708848693308793302712516\ 67785951846222289702719598215933269396354*c_0101_5^13 + 2963653432591657900449932836954588422954587546700887835345861981116\ 813261168310698036580683/551836848524779588285061843197055196325502\ 0013431422154667476432635178591199232756248*c_0101_5^12 - 2283549899262437620542378134237894470390925216366478843590898233296\ 836353647379954168275999/183945616174926529428353947732351732108500\ 6671143807384889158810878392863733077585416*c_0101_5^11 - 4073873626769006837994079877594750131779371142155827475374386841749\ 5934040917953530362427/55183684852477958828506184319705519632550200\ 13431422154667476432635178591199232756248*c_0101_5^10 - 1467039442924144371786589390913020397930984620097096577429098438645\ 758448124905585225745877/551836848524779588285061843197055196325502\ 0013431422154667476432635178591199232756248*c_0101_5^9 + 2524854816587846135995281089829856307937328126655758244180908399031\ 7603120881001635218291/20438401797214058825372660859150192456500074\ 1238200820543239867875376984859230842824*c_0101_5^8 - 6792407303897128174867349405831358800022679320289881707885742501287\ 113066681809127954216/229932020218658161785442434665439665135625833\ 892975923111144851359799107966634698177*c_0101_5^7 + 2495048956179260379008954342976102802116943619626185827203177089908\ 6494513004804962217305/68979606065597448535632730399631899540687750\ 1678927769333434554079397323899904094531*c_0101_5^6 + 5785054542545225858506316744205922291581566608615373760372121531625\ 37845075351966379003023/5518368485247795882850618431970551963255020\ 013431422154667476432635178591199232756248*c_0101_5^5 - 3667704539214933818208869623572054676721012505728688776114937832459\ 40844527835457841731891/5518368485247795882850618431970551963255020\ 013431422154667476432635178591199232756248*c_0101_5^4 + 2927431296583369867992030908050931531100047180033816925599206544502\ 753770782030776336359/613152053916421764761179825774505773695002223\ 714602461629719603626130954577692528472*c_0101_5^3 + 2420110040269984309349902368747895100689577952046771213200408569690\ 5658396981400098988701/55183684852477958828506184319705519632550200\ 13431422154667476432635178591199232756248*c_0101_5^2 - 8174399447167305457194721026676538226738062914974435501366389342013\ 335081031303750280811/551836848524779588285061843197055196325502001\ 3431422154667476432635178591199232756248*c_0101_5 + 7821307081675330036672248015380619756276146935775666371106485670238\ 48522514155802639565/5518368485247795882850618431970551963255020013\ 431422154667476432635178591199232756248, c_0011_0 - 1, c_0011_2 + 436483691826436855144962726856684811509015829791933803425474\ 19464978327356652007856/2299320202186581617854424346654396651356258\ 33892975923111144851359799107966634698177*c_0101_5^29 - 7320518903070483302292902443172624922638555572038652452812419588433\ 0403862459084358/76644006739552720595147478221813221711875277964325\ 307703714950453266369322211566059*c_0101_5^28 - 7598177812124016670867326401032924721512515906779223831793749930667\ 76600911399772564/7664400673955272059514747822181322171187527796432\ 5307703714950453266369322211566059*c_0101_5^27 + 1144457915391315618248386370851970467828841563185885653618273657219\ 1770606040156757783/45986404043731632357088486933087933027125166778\ 5951846222289702719598215933269396354*c_0101_5^26 + 8791458500456095763382624336957554120127588289663932540451179907093\ 067257062975200951/459864040437316323570884869330879330271251667785\ 951846222289702719598215933269396354*c_0101_5^25 - 3364028945565109141594957241883718630944660426542082416530790712444\ 756847579120137797/242033705493324380826781510174147015932237719887\ 34307695909984353663063996487862966*c_0101_5^24 + 3143485723652829460622747333975985557226547411727592812363106523707\ 9039636237770159558/22993202021865816178544243466543966513562583389\ 2975923111144851359799107966634698177*c_0101_5^23 + 1015595927060780909395834073546682347251167941066900001581512866285\ 59024246336044283807/2299320202186581617854424346654396651356258338\ 92975923111144851359799107966634698177*c_0101_5^22 + 3819237169994367518498621143510737527964157399294873908698922111142\ 72932371242507266875/4598640404373163235708848693308793302712516677\ 85951846222289702719598215933269396354*c_0101_5^21 - 8561811061118140417694484206834976485294074396167879559495092327874\ 28542735595198150203/4598640404373163235708848693308793302712516677\ 85951846222289702719598215933269396354*c_0101_5^20 - 9174669369857138133950501597300874581442184375777363442083739791020\ 39490635562583824543/2299320202186581617854424346654396651356258338\ 92975923111144851359799107966634698177*c_0101_5^19 + 9349517464542258891876507414069155670613103509159887288922303508039\ 39582935753434414665/2299320202186581617854424346654396651356258338\ 92975923111144851359799107966634698177*c_0101_5^18 - 1728874268696369634500135336763140193157679453154351674585069362369\ 40454536280144069691/7664400673955272059514747822181322171187527796\ 4325307703714950453266369322211566059*c_0101_5^17 - 6397583513342423152782044240855191893581675424952186915154718669269\ 4625945606407527689/25548002246517573531715826073937740570625092654\ 775102567904983484422123107403855353*c_0101_5^16 + 2872969377380040356954940649602094619648304753310826306771476099458\ 736325073813102972962/229932020218658161785442434665439665135625833\ 892975923111144851359799107966634698177*c_0101_5^15 + 3385831869760407255972669881781397966870939693388232783265264349349\ 67651916780518829276/2299320202186581617854424346654396651356258338\ 92975923111144851359799107966634698177*c_0101_5^14 - 1478187503483751359767662957501074825186347972536737397583359359901\ 35723552039602161593/1532880134791054411902949564436264434237505559\ 28650615407429900906532738644423132118*c_0101_5^13 + 1092885345836125046151979621238519259290965021193941082660153561608\ 142772361009777011742/229932020218658161785442434665439665135625833\ 892975923111144851359799107966634698177*c_0101_5^12 - 2732316050384490344075190757501789947193844904239731845149564908626\ 9576715307457346753/80677901831108126942260503391382338644079239962\ 44769231969994784554354665495954322*c_0101_5^11 - 4608871736739848917259878840463438821455230702407864727903814265099\ 3135201899871455956/12101685274666219041339075508707350796611885994\ 367153847954992176831531998243931483*c_0101_5^10 - 2849995606429834700791521909689582066751962481556991954797294181526\ 02039608763340748268/2299320202186581617854424346654396651356258338\ 92975923111144851359799107966634698177*c_0101_5^9 - 3185605878435581498826040162804829231075074397809650256055198868287\ 150551276655485793/170320014976783823544772173826251603804167284365\ 16735045269988989614748738269236902*c_0101_5^8 + 2581182084045142744423682296015445094712392811960351566573762928444\ 8706151084726960702/76644006739552720595147478221813221711875277964\ 325307703714950453266369322211566059*c_0101_5^7 + 1332460158656557183140483862787719799849246632660924381622002548334\ 019877171819471964/121016852746662190413390755087073507966118859943\ 67153847954992176831531998243931483*c_0101_5^6 + 1241403778907399882969034025263053883824407015528000765418919641816\ 46408832790719100017/2299320202186581617854424346654396651356258338\ 92975923111144851359799107966634698177*c_0101_5^5 + 1113753935059476175869797713886224596138643758398981207205713802771\ 1341215391354200389/22993202021865816178544243466543966513562583389\ 2975923111144851359799107966634698177*c_0101_5^4 - 9263066701311572755625458543222770135281281751636410129504248314326\ 254724071925955401/510960044930351470634316521478754811412501853095\ 50205135809966968844246214807710706*c_0101_5^3 + 4175711309401969612764349825540300085794856309004575439785295195638\ 640347165084592016/229932020218658161785442434665439665135625833892\ 975923111144851359799107966634698177*c_0101_5^2 + 1746187650763766818822565386131019287644294601235438139017835232760\ 454762483850477647/229932020218658161785442434665439665135625833892\ 975923111144851359799107966634698177*c_0101_5 - 7814958646330038994320264726915267919791189459800903644352711767017\ 87585415942583659/4598640404373163235708848693308793302712516677859\ 51846222289702719598215933269396354, c_0011_3 + 395366685549213753522207727658801256816142035787399707090336\ 75004314803153782953481/7664400673955272059514747822181322171187527\ 7964325307703714950453266369322211566059*c_0101_5^29 - 1379399023244137023197909392405667753796909408841679830890770015870\ 01947491178333911/5109600449303514706343165214787548114125018530955\ 0205135809966968844246214807710706*c_0101_5^28 - 3529998439723720620273019236680179612136757569708576471497615413674\ 1941960375423468/13446316971851354490376750565230389774013206660407\ 94871994999130759059110915992387*c_0101_5^27 + 5531437220788193076497111294802445774100181818360127663928390973423\ 832419020644138434/766440067395527205951474782218132217118752779643\ 25307703714950453266369322211566059*c_0101_5^26 + 4638865359570714053310316788713927316537413936169811657687724272172\ 768957958374298503/153288013479105441190294956443626443423750555928\ 650615407429900906532738644423132118*c_0101_5^25 - 2783748732251541570893886465161869054774423850924175855130634905538\ 9765072566040197552/76644006739552720595147478221813221711875277964\ 325307703714950453266369322211566059*c_0101_5^24 + 3635020432013190837255211179673907648669958252050937908589421693082\ 376160984423301767/806779018311081269422605033913823386440792399624\ 4769231969994784554354665495954322*c_0101_5^23 + 4072792320917422255118326206947282076536415087590334928389258719347\ 403880750912488210/403389509155540634711302516956911693220396199812\ 2384615984997392277177332747977161*c_0101_5^22 + 3354288860278146154096431251119066250632063063043126556110240532543\ 49743992370619874021/1532880134791054411902949564436264434237505559\ 28650615407429900906532738644423132118*c_0101_5^21 - 4018331190758806004913658853209613834845981282271180426326060792514\ 96497319718014072489/7664400673955272059514747822181322171187527796\ 4325307703714950453266369322211566059*c_0101_5^20 - 7057383083459798735106152752499686259696177645789984245141455079057\ 37098112344288587238/7664400673955272059514747822181322171187527796\ 4325307703714950453266369322211566059*c_0101_5^19 + 8747409063226300736149424612640574331242457095513180293599103571548\ 95530751403579433409/7664400673955272059514747822181322171187527796\ 4325307703714950453266369322211566059*c_0101_5^18 - 2752616247045125810804864864058126824883534859362895292668133016895\ 47878383455925872601/2554800224651757353171582607393774057062509265\ 4775102567904983484422123107403855353*c_0101_5^17 - 1091543178655760183756151381292854088464801022902625321475595746011\ 2265483194799696915/85160007488391911772386086913125801902083642182\ 58367522634994494807374369134618451*c_0101_5^16 + 4720398992262302714445086659641553782520279375870840582742912010649\ 763093414692728305557/153288013479105441190294956443626443423750555\ 928650615407429900906532738644423132118*c_0101_5^15 - 3139179799589805894500304767492206101137097286666631115439349296909\ 17377603108261957057/1532880134791054411902949564436264434237505559\ 28650615407429900906532738644423132118*c_0101_5^14 + 3118158592914952177250449061042397829405132027362601654030663516189\ 64214080719447638517/5109600449303514706343165214787548114125018530\ 9550205135809966968844246214807710706*c_0101_5^13 + 1554625306607988346860596363791189556994842115507206808002157013489\ 321078227422787588335/153288013479105441190294956443626443423750555\ 928650615407429900906532738644423132118*c_0101_5^12 - 2315300652260550908609173551002523568666298954574935850309873510453\ 65656639763200757840/2554800224651757353171582607393774057062509265\ 4775102567904983484422123107403855353*c_0101_5^11 - 9317651344118834355887864229498847461895792295993398284664434603708\ 21951380619796408513/1532880134791054411902949564436264434237505559\ 28650615407429900906532738644423132118*c_0101_5^10 - 7429944525390567484757231405902794609575833708721270689823762082421\ 03705451084141140855/1532880134791054411902949564436264434237505559\ 28650615407429900906532738644423132118*c_0101_5^9 - 2100333591814202015734654340664403404741620846254899484057907713693\ 024979974430147217/283866691627973039241286956377086006340278807275\ 2789174211664831602458123044872817*c_0101_5^8 - 5943742064112663741991423196454650905338501394187280163612710284133\ 823207355614495120/255480022465175735317158260739377405706250926547\ 75102567904983484422123107403855353*c_0101_5^7 + 2080218053927700825290952473734632311786639524188521134569724790284\ 7594975201614640953/76644006739552720595147478221813221711875277964\ 325307703714950453266369322211566059*c_0101_5^6 + 2015376852499823359706181388389029529341136581876453530720535282095\ 10895636985046670431/1532880134791054411902949564436264434237505559\ 28650615407429900906532738644423132118*c_0101_5^5 - 9038431807161396386633516918479487499959750992849575447432769634708\ 013371459596971787/153288013479105441190294956443626443423750555928\ 650615407429900906532738644423132118*c_0101_5^4 - 1186576079888306737281273404752665989926762784789684003079518424669\ 446206693139664527/851600074883919117723860869131258019020836421825\ 8367522634994494807374369134618451*c_0101_5^3 + 1553259103907111755133641097583346794250796601240615699818613578823\ 686877485289457889/153288013479105441190294956443626443423750555928\ 650615407429900906532738644423132118*c_0101_5^2 + 3805532703004782473161236212701995898890303139318603487559898410707\ 28839003813842381/1532880134791054411902949564436264434237505559286\ 50615407429900906532738644423132118*c_0101_5 - 9157721691776835290754953806815549969590543724906390323431802388729\ 8618713598714186/76644006739552720595147478221813221711875277964325\ 307703714950453266369322211566059, c_0011_6 + 120805851618460474147991378761086336455489054890268476492468\ 358856686633656593407477/229932020218658161785442434665439665135625\ 833892975923111144851359799107966634698177*c_0101_5^29 - 4209298900985450207420673531713684113446981496990256353989605066796\ 35277855331549997/1532880134791054411902949564436264434237505559286\ 50615407429900906532738644423132118*c_0101_5^28 - 4101705133356220446018389215480870319275448071362217057387858638324\ 889449644898086921/153288013479105441190294956443626443423750555928\ 650615407429900906532738644423132118*c_0101_5^27 + 3372188670438673582798369960498221161186188688933575294582262006618\ 0997590641485525659/45986404043731632357088486933087933027125166778\ 5951846222289702719598215933269396354*c_0101_5^26 + 7209411230210027011895070787447521236499847867274423354938596917705\ 110471538483071409/229932020218658161785442434665439665135625833892\ 975923111144851359799107966634698177*c_0101_5^25 - 8506130535870218807084416312552024532521601277039058431592912760043\ 7201924973981385356/22993202021865816178544243466543966513562583389\ 2975923111144851359799107966634698177*c_0101_5^24 + 2099926100126153467009899735312227799735953614230940721264899423526\ 79201342087000947213/4598640404373163235708848693308793302712516677\ 85951846222289702719598215933269396354*c_0101_5^23 + 4746231256129172258557721433537441076607949420417466939991889796287\ 41685363245559793919/4598640404373163235708848693308793302712516677\ 85951846222289702719598215933269396354*c_0101_5^22 + 5135844750091737920506203390417034963268212720530952827399533299369\ 27786594641539328410/2299320202186581617854424346654396651356258338\ 92975923111144851359799107966634698177*c_0101_5^21 - 1224195945524879559129323705297276381710019649755466922922084780697\ 784179143001018661882/229932020218658161785442434665439665135625833\ 892975923111144851359799107966634698177*c_0101_5^20 - 2164771725500059709140174395058286052428756097190793069101077510344\ 565289732637069725916/229932020218658161785442434665439665135625833\ 892975923111144851359799107966634698177*c_0101_5^19 + 2662209174284280648680700324039201489980375887878290899458966175237\ 958591012903098555678/229932020218658161785442434665439665135625833\ 892975923111144851359799107966634698177*c_0101_5^18 - 8356074498896926630418123483149498624729792391095598383506724218391\ 72443830089700046947/7664400673955272059514747822181322171187527796\ 4325307703714950453266369322211566059*c_0101_5^17 - 3658699251217037250160763096058691748877133369603095534624092995258\ 3787966074244675531/25548002246517573531715826073937740570625092654\ 775102567904983484422123107403855353*c_0101_5^16 + 1444673413555172114825757442275567971255023803336026004970906236920\ 1002603527399888893491/45986404043731632357088486933087933027125166\ 7785951846222289702719598215933269396354*c_0101_5^15 - 4437365307245684644158944642161622466756107734113476396159554135608\ 76791134687566119842/2299320202186581617854424346654396651356258338\ 92975923111144851359799107966634698177*c_0101_5^14 + 9464644245051136982751114209482545813756602348435012660726913257110\ 46018525627998717631/1532880134791054411902949564436264434237505559\ 28650615407429900906532738644423132118*c_0101_5^13 + 2409633223407070186637664149797898547877681077813937889241358545466\ 814199090843891887849/229932020218658161785442434665439665135625833\ 892975923111144851359799107966634698177*c_0101_5^12 - 7030869410359762272667515159425817358213734563890801850213382670949\ 45745666679036547836/7664400673955272059514747822181322171187527796\ 4325307703714950453266369322211566059*c_0101_5^11 - 2856818845885052879144699444310299839299438604396445059993925967421\ 582756355750321266661/459864040437316323570884869330879330271251667\ 785951846222289702719598215933269396354*c_0101_5^10 - 1135440346344534514068870412277966554867479865565318659193091141325\ 555199680184525584660/229932020218658161785442434665439665135625833\ 892975923111144851359799107966634698177*c_0101_5^9 - 6844788583834889274914031357902954123023338439556673160678870129261\ 411956547310882954/851600074883919117723860869131258019020836421825\ 8367522634994494807374369134618451*c_0101_5^8 - 1975385389487906379173227236553082739295373259465448077378842390812\ 0456469988630722630/76644006739552720595147478221813221711875277964\ 325307703714950453266369322211566059*c_0101_5^7 + 5716436853882517651589631373145429056477546099340455452246336162485\ 9757494813077947056/22993202021865816178544243466543966513562583389\ 2975923111144851359799107966634698177*c_0101_5^6 + 6133450466578678624503151261221398167116648266176630387547204432103\ 60899755347093930307/4598640404373163235708848693308793302712516677\ 85951846222289702719598215933269396354*c_0101_5^5 - 1280524365934896539202971960905006217610883611909113758077723936478\ 4778426432090475660/22993202021865816178544243466543966513562583389\ 2975923111144851359799107966634698177*c_0101_5^4 - 3635897659429874831473270856104797032986993559620566461683357468122\ 036026251266030469/255480022465175735317158260739377405706250926547\ 75102567904983484422123107403855353*c_0101_5^3 + 6500248805962305293405244850327316795655841039466711339885595870474\ 176372249594512681/459864040437316323570884869330879330271251667785\ 951846222289702719598215933269396354*c_0101_5^2 + 3701014763393108206140287981418190572089241710081967988820919264027\ 84194967979102597/2299320202186581617854424346654396651356258338929\ 75923111144851359799107966634698177*c_0101_5 - 2736970076645927808679577994310695919839249044876689692852981873976\ 26363313545287155/2299320202186581617854424346654396651356258338929\ 75923111144851359799107966634698177, c_0101_1 - 421387406212246425272249296697666172891718074035080987937163\ 55968428459984774275456/7664400673955272059514747822181322171187527\ 7964325307703714950453266369322211566059*c_0101_5^29 + 7342945128013065027540241000810402485256463423462633205838924721447\ 5626943352794166/25548002246517573531715826073937740570625092654775\ 102567904983484422123107403855353*c_0101_5^28 + 7152939986308418054461967158079929547749989213591109996998842873558\ 37245147130226067/2554800224651757353171582607393774057062509265477\ 5102567904983484422123107403855353*c_0101_5^27 - 5884194809009350280808498133930080871568949849472532525567607312903\ 880504133179549517/766440067395527205951474782218132217118752779643\ 25307703714950453266369322211566059*c_0101_5^26 - 2509292640280364707485496139356924836056612416818109754994087510235\ 115270574596540011/766440067395527205951474782218132217118752779643\ 25307703714950453266369322211566059*c_0101_5^25 + 2968654079726758393274446531931282553310761282255139485036556220504\ 3935899526371150862/76644006739552720595147478221813221711875277964\ 325307703714950453266369322211566059*c_0101_5^24 - 3667595181541029033312297216516711948694823438721272522995270477649\ 4308893903720011284/76644006739552720595147478221813221711875277964\ 325307703714950453266369322211566059*c_0101_5^23 - 8277106247454650091241728576952924556431344798194528946403128379329\ 4898636683573691978/76644006739552720595147478221813221711875277964\ 325307703714950453266369322211566059*c_0101_5^22 - 1789165446726793532020672001762046488844543550126602572897958111250\ 58260184886565230151/7664400673955272059514747822181322171187527796\ 4325307703714950453266369322211566059*c_0101_5^21 + 4271825842160100767979131646376940982578847448998676012239443399761\ 91646676996375511348/7664400673955272059514747822181322171187527796\ 4325307703714950453266369322211566059*c_0101_5^20 + 7545280120702755937738897335729111728271094762996985616549258147701\ 68037294435224315393/7664400673955272059514747822181322171187527796\ 4325307703714950453266369322211566059*c_0101_5^19 - 9305471814908401091805425267869748371381426335871077667004047945568\ 06443948964849486405/7664400673955272059514747822181322171187527796\ 4325307703714950453266369322211566059*c_0101_5^18 + 2920444253302443573599347533529462765383262812797960900451396255441\ 38702700099977716336/2554800224651757353171582607393774057062509265\ 4775102567904983484422123107403855353*c_0101_5^17 + 1301403936883620573591397035800596329333755967047236139732797558154\ 6877234485357271388/85160007488391911772386086913125801902083642182\ 58367522634994494807374369134618451*c_0101_5^16 - 2523497808135664680288341842140981534815158069434813494689127397796\ 611810147833828758949/766440067395527205951474782218132217118752779\ 64325307703714950453266369322211566059*c_0101_5^15 + 1610847407656359231998806809682728518704254026110770006838214070150\ 86265350482664116249/7664400673955272059514747822181322171187527796\ 4325307703714950453266369322211566059*c_0101_5^14 - 1643503143813877899516987752836057113388186935024115327282782244387\ 03939788304795221359/2554800224651757353171582607393774057062509265\ 4775102567904983484422123107403855353*c_0101_5^13 - 8476706467262415902368563981531027286050107392923298969104652995114\ 46491936788255444947/7664400673955272059514747822181322171187527796\ 4325307703714950453266369322211566059*c_0101_5^12 + 2458907113574318684055336212360940049329204986547612669706365263697\ 07528979346831809786/2554800224651757353171582607393774057062509265\ 4775102567904983484422123107403855353*c_0101_5^11 + 4952051045041227506031228032035325999179556791971136070918079293915\ 53509481141224702089/7664400673955272059514747822181322171187527796\ 4325307703714950453266369322211566059*c_0101_5^10 + 3919203754475958977302170317777467996206633086613987857580583738135\ 32504353483798623136/7664400673955272059514747822181322171187527796\ 4325307703714950453266369322211566059*c_0101_5^9 + 2402482120052857728688929176261022949835965130694358838598794026161\ 129125056667747955/283866691627973039241286956377086006340278807275\ 2789174211664831602458123044872817*c_0101_5^8 + 7086517966673529959884798704429757576354661965119453619841822714391\ 459973206706175977/255480022465175735317158260739377405706250926547\ 75102567904983484422123107403855353*c_0101_5^7 - 1865289711548487676222258225938360608829195527635930250415695069263\ 5743298482640508636/76644006739552720595147478221813221711875277964\ 325307703714950453266369322211566059*c_0101_5^6 - 1068144388586036733580198132521677544125616543349424710503680672471\ 92290919404342562507/7664400673955272059514747822181322171187527796\ 4325307703714950453266369322211566059*c_0101_5^5 + 5194024241530019743256769000034610886396891420419064397411395839147\ 460828073897201034/766440067395527205951474782218132217118752779643\ 25307703714950453266369322211566059*c_0101_5^4 + 1290359768115594063415705586028742172956667369811158649364187045631\ 096774873641755157/851600074883919117723860869131258019020836421825\ 8367522634994494807374369134618451*c_0101_5^3 - 1371747256834836949481824841094444868499194156445671201778408824542\ 679176234044839003/766440067395527205951474782218132217118752779643\ 25307703714950453266369322211566059*c_0101_5^2 - 7009626030020479537789385955823625261840286674821532691958483609245\ 3853080313684451/76644006739552720595147478221813221711875277964325\ 307703714950453266369322211566059*c_0101_5 + 8639835315660226992204444793713770502002764740668786519223547582979\ 0341248935598512/76644006739552720595147478221813221711875277964325\ 307703714950453266369322211566059, c_0101_2 - 348228135742672277454157846872800967450078478552401848094258\ 2773784910133745092646/76644006739552720595147478221813221711875277\ 964325307703714950453266369322211566059*c_0101_5^29 + 5855852841198584719476644262317309229333203199134919093053497417341\ 098536460817910/255480022465175735317158260739377405706250926547751\ 02567904983484422123107403855353*c_0101_5^28 + 1209013521066852036135778913392178266439618977297431887708286426353\ 07977480488717163/5109600449303514706343165214787548114125018530955\ 0205135809966968844246214807710706*c_0101_5^27 - 4579515335536462821077768153203774606551982810216412680671361659407\ 29278080433311176/7664400673955272059514747822181322171187527796432\ 5307703714950453266369322211566059*c_0101_5^26 - 3287797009688666816282511282137376692172548854394763792980742351807\ 27430730906777243/7664400673955272059514747822181322171187527796432\ 5307703714950453266369322211566059*c_0101_5^25 + 5074137090085502026828280629486458399546882094336713970251142278247\ 651219204566681277/153288013479105441190294956443626443423750555928\ 650615407429900906532738644423132118*c_0101_5^24 - 2613198387873874700211924444014905570300202965061036285266056385570\ 869480747060402346/766440067395527205951474782218132217118752779643\ 25307703714950453266369322211566059*c_0101_5^23 - 1579382203858167499537153860904834384296309814280219011614063927004\ 6139757532685858699/15328801347910544119029495644362644342375055592\ 8650615407429900906532738644423132118*c_0101_5^22 - 1509901271411306544938629042330646622629758490949073232737907293262\ 7912825728063300246/76644006739552720595147478221813221711875277964\ 325307703714950453266369322211566059*c_0101_5^21 + 6695970662414427773057004612767760154524898460010684193260420071489\ 5057312361071714691/15328801347910544119029495644362644342375055592\ 8650615407429900906532738644423132118*c_0101_5^20 + 7089507573922263875731413805146048487281644059075929776837184818914\ 9423711785908357390/76644006739552720595147478221813221711875277964\ 325307703714950453266369322211566059*c_0101_5^19 - 7469399214192809668920012921237720583424504721919587234960195744609\ 3331301993354847649/76644006739552720595147478221813221711875277964\ 325307703714950453266369322211566059*c_0101_5^18 + 1701693156110078196977051968368950173173573169686131988799609552140\ 3852441678568697747/25548002246517573531715826073937740570625092654\ 775102567904983484422123107403855353*c_0101_5^17 + 5122830789164354622073920319531311655662320512998497446183527903401\ 295191325113777450/851600074883919117723860869131258019020836421825\ 8367522634994494807374369134618451*c_0101_5^16 - 2315108242642154150234171134196177765437142215881910182192682119675\ 26392163478420056167/7664400673955272059514747822181322171187527796\ 4325307703714950453266369322211566059*c_0101_5^15 - 2605634364709302597589324394117394545878650356511822189253895525954\ 4966956560125064115/15328801347910544119029495644362644342375055592\ 8650615407429900906532738644423132118*c_0101_5^14 - 6864719049338559876348019724264536577991839629117841133407662512513\ 2881860046868687/51096004493035147063431652147875481141250185309550\ 205135809966968844246214807710706*c_0101_5^13 - 2130778571929216498203642279587642270401189551704344470648282547893\ 97219279641399193477/1532880134791054411902949564436264434237505559\ 28650615407429900906532738644423132118*c_0101_5^12 + 3991823814291935752277523375612868548199897343228694200347062949446\ 4546885808228460815/51096004493035147063431652147875481141250185309\ 550205135809966968844246214807710706*c_0101_5^11 + 5265435432072204707146256005458808196547316045437771847850024356246\ 5640337595578699251/76644006739552720595147478221813221711875277964\ 325307703714950453266369322211566059*c_0101_5^10 + 3984053733208417466296376721551284569922210602161496478453872106728\ 7169505602490335447/15328801347910544119029495644362644342375055592\ 8650615407429900906532738644423132118*c_0101_5^9 + 7617083529077400021502228421831627661520611699603179208649325784421\ 75332737109722761/5677333832559460784825739127541720126805576145505\ 578348423329663204916246089745634*c_0101_5^8 + 5140980016867252379086033271859751861310605628992941705836335527552\ 8265565783046003/25548002246517573531715826073937740570625092654775\ 102567904983484422123107403855353*c_0101_5^7 + 3921074364060152341226064475486703502547258734249661896549144900693\ 581771212142397739/766440067395527205951474782218132217118752779643\ 25307703714950453266369322211566059*c_0101_5^6 - 8060637732549443659801084927408414168058474713739434771034078172256\ 382248462854968513/766440067395527205951474782218132217118752779643\ 25307703714950453266369322211566059*c_0101_5^5 + 9903194666598275097173214822380088168811631489733541272398515080082\ 22162494887808805/1532880134791054411902949564436264434237505559286\ 50615407429900906532738644423132118*c_0101_5^4 + 5575339425752173811409512246753422032484323802473976287575622060044\ 78624007012618533/1703200149767838235447721738262516038041672843651\ 6735045269988989614748738269236902*c_0101_5^3 - 1158060343486132266847147391574019649165268854552832672285404514817\ 775431443079830287/766440067395527205951474782218132217118752779643\ 25307703714950453266369322211566059*c_0101_5^2 - 2351498440308323411964967727315317147156557532330730388733994248316\ 27070538872764405/1532880134791054411902949564436264434237505559286\ 50615407429900906532738644423132118*c_0101_5 - 1773306901532816466444310286636927339930228685063095078807787714938\ 6113733701427545/15328801347910544119029495644362644342375055592865\ 0615407429900906532738644423132118, c_0101_5^30 - 11/2*c_0101_5^29 - 99/2*c_0101_5^28 + 307/2*c_0101_5^27 + 43/2*c_0101_5^26 - 1441/2*c_0101_5^25 + 1062*c_0101_5^24 + 3453/2*c_0101_5^23 + 3713*c_0101_5^22 - 22587/2*c_0101_5^21 - 30295/2*c_0101_5^20 + 26940*c_0101_5^19 - 26801*c_0101_5^18 + 2946*c_0101_5^17 + 121213/2*c_0101_5^16 - 20103*c_0101_5^15 + 25613/2*c_0101_5^14 + 33617/2*c_0101_5^13 - 23038*c_0101_5^12 - 7019*c_0101_5^11 - 6183*c_0101_5^10 + 989*c_0101_5^9 - 123/2*c_0101_5^8 + 616*c_0101_5^7 + 4869/2*c_0101_5^6 - 801*c_0101_5^5 - 235*c_0101_5^4 + 103*c_0101_5^3 - 8*c_0101_5^2 - 4*c_0101_5 + 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.260 seconds, Total memory usage: 32.09MB