Magma V2.19-8 Tue Aug 20 2013 16:17:18 on localhost [Seed = 1781266111] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1533 geometric_solution 5.32778943 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 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 0 0 0 0 0 0 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.870985302032 0.949319221912 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 -0.671448030972 0.160598047269 0 3 4 0 3201 0132 0132 0132 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 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.691706458407 0.489057637206 5 2 4 6 0132 0132 1302 0132 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 -1 0 1 1 0 0 -1 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.493467030970 0.481156387335 3 6 5 2 2031 2310 1023 0132 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 0 -1 1 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.493467030970 0.481156387335 3 5 4 5 0132 2310 1023 3201 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 1 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.061662189589 1.180845107419 6 6 3 4 1230 3012 0132 3201 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 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.613023111940 0.729038924578 ==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' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : negation(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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], '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_0011_4']), 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0011_6']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : negation(d['c_0101_1']), '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_2, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 716644416871960595987122329651214037010515541248278100957313500/272\ 61848130725960843659108661065651320826502885591035010684253*c_0101_\ 5^21 - 117546918499086282072120828905712125257059919596613107263875\ 854/1009698078915776327542929950409838937808388995762630926321639*c\ _0101_5^20 - 118306525041365987889269466272535248698920271698442585\ 16073516035/2726184813072596084365910866106565132082650288559103501\ 0684253*c_0101_5^19 - 667555942310705086785606471100299474339920994\ 38655773934484750841/2726184813072596084365910866106565132082650288\ 5591035010684253*c_0101_5^18 - 909555419063841763995085370321136507\ 9212231003226985049139539276/90872827102419869478863695536885504402\ 75500961863678336894751*c_0101_5^17 + 67766149574259444299230583912480084910675078667844137301924146912/2\ 7261848130725960843659108661065651320826502885591035010684253*c_010\ 1_5^16 - 7223797822349120054324593731383932532878760528438498244463\ 4838647/30290942367473289826287898512295168134251669872878927789649\ 17*c_0101_5^15 + 14243929620265706344154572378398572196061751574231\ 10240743275093159/2726184813072596084365910866106565132082650288559\ 1035010684253*c_0101_5^14 + 377013119077347582391771994465555409646\ 141067897216091666123414982/272618481307259608436591086610656513208\ 26502885591035010684253*c_0101_5^13 - 1186907772418607731048265764880792236879963818802987938336618168751\ 7/27261848130725960843659108661065651320826502885591035010684253*c_\ 0101_5^12 + 5873194494195572383428119435757930125641001642605337885\ 866330908340/908728271024198694788636955368855044027550096186367833\ 6894751*c_0101_5^11 + 139441181976398797901898187035340041328969405\ 42396472536893423104965/2726184813072596084365910866106565132082650\ 2885591035010684253*c_0101_5^10 - 262189151836569306394475738698434\ 72191440153793176078440122498841614/2726184813072596084365910866106\ 5651320826502885591035010684253*c_0101_5^9 - 148282145973174041447910266418945027129652333582777721464971376563/\ 1009698078915776327542929950409838937808388995762630926321639*c_010\ 1_5^8 + 90246057665829129972157510825386985672005339646400473409470\ 22625538/2726184813072596084365910866106565132082650288559103501068\ 4253*c_0101_5^7 - 1956176539499147684426101743609912009455382467181\ 57394539441546856/9087282710241986947886369553688550440275500961863\ 678336894751*c_0101_5^6 + 77245190858211168328536676250037229785216\ 402569318724336110103844/908728271024198694788636955368855044027550\ 0961863678336894751*c_0101_5^5 - 4412705731828031522886196356441681\ 59266259909537244692000191280722/2726184813072596084365910866106565\ 1320826502885591035010684253*c_0101_5^4 - 242380612874023660671676388978854450600918821492268601755787301655/\ 27261848130725960843659108661065651320826502885591035010684253*c_01\ 01_5^3 + 3925732857211647109193506204440805238441435966649496901463\ 2604320/90872827102419869478863695536885504402755009618636783368947\ 51*c_0101_5^2 + 211559677637020083039935923155424464513482576259995\ 90514788538437/2726184813072596084365910866106565132082650288559103\ 5010684253*c_0101_5 - 568443701155765534618062626091953872395278629\ 26340297507878103/2726184813072596084365910866106565132082650288559\ 1035010684253, c_0011_0 - 1, c_0011_2 + 86016071301114024528162897072233222105562694039877436301040/\ 1009698078915776327542929950409838937808388995762630926321639*c_010\ 1_5^21 + 3806240001132458354682496273125907290519258810802680712183\ 68/1009698078915776327542929950409838937808388995762630926321639*c_\ 0101_5^20 + 1416072698818219366807128401745698609710849164058132551\ 535764/100969807891577632754292995040983893780838899576263092632163\ 9*c_0101_5^19 + 799774166161631297978148226886892402891641551960238\ 8559245948/10096980789157763275429299504098389378083889957626309263\ 21639*c_0101_5^18 + 32120625778269741532279761157957339746254807928\ 13481402612969/1009698078915776327542929950409838937808388995762630\ 926321639*c_0101_5^17 - 8352275408702558081788160175208349624823554\ 388587454694632898/100969807891577632754292995040983893780838899576\ 2630926321639*c_0101_5^16 + 781311933727886659028662148592422634727\ 74604338478166786337200/1009698078915776327542929950409838937808388\ 995762630926321639*c_0101_5^15 - 1709089744378472894679512989514907\ 95125996642314469754748680613/1009698078915776327542929950409838937\ 808388995762630926321639*c_0101_5^14 - 47054125202114152724325513167631151455093252862329602894225742/1009\ 698078915776327542929950409838937808388995762630926321639*c_0101_5^\ 13 + 14313301753090798571982067102867287074941864172974296366861132\ 18/1009698078915776327542929950409838937808388995762630926321639*c_\ 0101_5^12 - 2121746175248874081784766231115037342543283691702233510\ 372551659/100969807891577632754292995040983893780838899576263092632\ 1639*c_0101_5^11 - 170922165635954478687549256140502095051880255250\ 2024411447254348/10096980789157763275429299504098389378083889957626\ 30926321639*c_0101_5^10 + 32426526116863781850000345834673019031546\ 03881379038241025171624/1009698078915776327542929950409838937808388\ 995762630926321639*c_0101_5^9 + 48181267681937037049098615271624107\ 7446052844801921633579611650/10096980789157763275429299504098389378\ 08388995762630926321639*c_0101_5^8 - 1213156808087037391574790146393481882553228414009463514558219252/10\ 09698078915776327542929950409838937808388995762630926321639*c_0101_\ 5^7 + 1080000572015073479657413392640654445794309231806478596332355\ 15/1009698078915776327542929950409838937808388995762630926321639*c_\ 0101_5^6 + 21782712956752186333227954580371367423446891642866766060\ 506895/100969807891577632754292995040983893780838899576263092632163\ 9*c_0101_5^5 + 3774701602318145705343384882864359285560443778046284\ 9698386254/10096980789157763275429299504098389378083889957626309263\ 21639*c_0101_5^4 + 286355687721212036598262643190766620444622372317\ 49686429955469/1009698078915776327542929950409838937808388995762630\ 926321639*c_0101_5^3 - 17284938197683189831821616733278106547933443\ 362919494459430918/100969807891577632754292995040983893780838899576\ 2630926321639*c_0101_5^2 - 2921765749365017087634873859241516155696\ 267356388187622124767/100969807891577632754292995040983893780838899\ 5762630926321639*c_0101_5 + 150216564199302472042416660737176749534\ 3659461333742617455877/10096980789157763275429299504098389378083889\ 95762630926321639, c_0011_4 - 10977560462279745004241413117376646099331149578553936149436/\ 1009698078915776327542929950409838937808388995762630926321639*c_010\ 1_5^21 - 2761172506754210023689231463704379767426305446095147472724\ 6/1009698078915776327542929950409838937808388995762630926321639*c_0\ 101_5^20 - 99919289687138741977367333613897909748594770556651466533\ 809/1009698078915776327542929950409838937808388995762630926321639*c\ _0101_5^19 - 726948005864181461636207382633902117482170914285980544\ 395458/100969807891577632754292995040983893780838899576263092632163\ 9*c_0101_5^18 + 134788052317232596904852203459047536744087353049288\ 9542563059/10096980789157763275429299504098389378083889957626309263\ 21639*c_0101_5^17 + 75632716874711125587112942431501557930949618698\ 5136065202777/10096980789157763275429299504098389378083889957626309\ 26321639*c_0101_5^16 - 12329509291758065598685426422224842501372525\ 499037465235557082/100969807891577632754292995040983893780838899576\ 2630926321639*c_0101_5^15 + 419571193476513682816608007291663199675\ 90168595688989484541344/1009698078915776327542929950409838937808388\ 995762630926321639*c_0101_5^14 - 4667739205533671395089861054077492\ 8284084169594992823271719039/10096980789157763275429299504098389378\ 08388995762630926321639*c_0101_5^13 - 168782532192490012449073738145267161762042113225425959589569803/100\ 9698078915776327542929950409838937808388995762630926321639*c_0101_5\ ^12 + 6218885461547106055880611031793603880307057009121229170747468\ 32/1009698078915776327542929950409838937808388995762630926321639*c_\ 0101_5^11 - 4958653172419049851818021141323935406769160400354002329\ 80553472/1009698078915776327542929950409838937808388995762630926321\ 639*c_0101_5^10 - 5092438649338966409637428173974162650501817691631\ 78475040183094/1009698078915776327542929950409838937808388995762630\ 926321639*c_0101_5^9 + 90574137582827298929401839821608575340239703\ 5680425013277880389/10096980789157763275429299504098389378083889957\ 62630926321639*c_0101_5^8 - 170309560764572549608969056480782851670\ 338128427733684720361129/100969807891577632754292995040983893780838\ 8995762630926321639*c_0101_5^7 - 2982642884299429724009692042172355\ 77279856701193299006327908885/1009698078915776327542929950409838937\ 808388995762630926321639*c_0101_5^6 + 142979486309896909165344416660927212565397396138507455418992688/100\ 9698078915776327542929950409838937808388995762630926321639*c_0101_5\ ^5 - 33518587726399604402514807303122970535089102804558473967963764\ /1009698078915776327542929950409838937808388995762630926321639*c_01\ 01_5^4 + 2184104241017323433218910556266958434838486607740295913485\ 0641/1009698078915776327542929950409838937808388995762630926321639*\ c_0101_5^3 - 988384251643220280079355965561290223273847346993794190\ 648072/100969807891577632754292995040983893780838899576263092632163\ 9*c_0101_5^2 - 5043602973987315234875191654828185280481630770913025\ 497933229/100969807891577632754292995040983893780838899576263092632\ 1639*c_0101_5 + 790071642403418068250927631636240124564796911123153\ 279567996/100969807891577632754292995040983893780838899576263092632\ 1639, c_0011_6 - 158357616063237416746352828523852502090150469664942125651304\ /1009698078915776327542929950409838937808388995762630926321639*c_01\ 01_5^21 - 687812490352191636942160472441065394634911774149559236773\ 332/1009698078915776327542929950409838937808388995762630926321639*c\ _0101_5^20 - 254820587541916663330052892660599913798723607316949191\ 2675566/10096980789157763275429299504098389378083889957626309263216\ 39*c_0101_5^19 - 14501428027922635285897659278391830344878626261666\ 855203462724/100969807891577632754292995040983893780838899576263092\ 6321639*c_0101_5^18 - 467220567395355585119845106420244332266391454\ 8340888788550330/10096980789157763275429299504098389378083889957626\ 30926321639*c_0101_5^17 + 16058956693293236773935474267184947804165\ 713185651972420131805/100969807891577632754292995040983893780838899\ 5762630926321639*c_0101_5^16 - 144770512899140537559766274801976576\ 567994740698907399912627667/100969807891577632754292995040983893780\ 8388995762630926321639*c_0101_5^15 + 326439957721179614341719809759190119884741248704195917344830707/100\ 9698078915776327542929950409838937808388995762630926321639*c_0101_5\ ^14 + 6224563776102694866507439024648545168285898661293267870330126\ 9/1009698078915776327542929950409838937808388995762630926321639*c_0\ 101_5^13 - 26430748586109072660179661956310842251939066469596102392\ 70382242/1009698078915776327542929950409838937808388995762630926321\ 639*c_0101_5^12 + 4116156784587672295446646887867355062199358012994\ 791731502377159/100969807891577632754292995040983893780838899576263\ 0926321639*c_0101_5^11 + 285158232588992941118574398797915461176917\ 8488244337121117023593/10096980789157763275429299504098389378083889\ 95762630926321639*c_0101_5^10 - 62238340896499929165717669745478314\ 41499203331275943686927530451/1009698078915776327542929950409838937\ 808388995762630926321639*c_0101_5^9 - 479022007694576808739081724804048022455916750081770897897685053/100\ 9698078915776327542929950409838937808388995762630926321639*c_0101_5\ ^8 + 22928878662080279329596657248295470569356584426606545269208971\ 56/1009698078915776327542929950409838937808388995762630926321639*c_\ 0101_5^7 - 29919310169920289608582053189970107812061764775193359118\ 8716316/10096980789157763275429299504098389378083889957626309263216\ 39*c_0101_5^6 - 133877226801134232078336638667544708453870060282437\ 5184597912/10096980789157763275429299504098389378083889957626309263\ 21639*c_0101_5^5 - 884983911576446160844502330364444444964578484265\ 88371476831202/1009698078915776327542929950409838937808388995762630\ 926321639*c_0101_5^4 - 51237719449529961215610457125315941474380133\ 541902074006235955/100969807891577632754292995040983893780838899576\ 2630926321639*c_0101_5^3 + 3318758995840541577957857049190185337629\ 6570726562005318514996/10096980789157763275429299504098389378083889\ 95762630926321639*c_0101_5^2 + 442453284411887660524689643796607008\ 4854134901205290424753892/10096980789157763275429299504098389378083\ 88995762630926321639*c_0101_5 - 16118366448552818782752283899735928\ 48530044633259533507734054/1009698078915776327542929950409838937808\ 388995762630926321639, c_0101_0 - 146251838025917656081295630212327825001438284248184333852400\ /1009698078915776327542929950409838937808388995762630926321639*c_01\ 01_5^21 - 605543436483203378365555449417589407833649790469600339799\ 988/1009698078915776327542929950409838937808388995762630926321639*c\ _0101_5^20 - 223634587447664556358080096477614848046852519084502663\ 4056578/10096980789157763275429299504098389378083889957626309263216\ 39*c_0101_5^19 - 12961117410217040674249281729775614641292052788873\ 282195404117/100969807891577632754292995040983893780838899576263092\ 6321639*c_0101_5^18 - 176298256166036153830035066553966569207685223\ 8507006001263172/10096980789157763275429299504098389378083889957626\ 30926321639*c_0101_5^17 + 14711169039747982729828271474345233691045\ 710647409128748963768/100969807891577632754292995040983893780838899\ 5762630926321639*c_0101_5^16 - 136540141311446654390735813405276901\ 471772322962941245378030269/100969807891577632754292995040983893780\ 8388995762630926321639*c_0101_5^15 + 330032618574730946654333466495312617439603436240582570883995337/100\ 9698078915776327542929950409838937808388995762630926321639*c_0101_5\ ^14 - 1503720339336534003623039213091878107080682961735345723218308\ 1/1009698078915776327542929950409838937808388995762630926321639*c_0\ 101_5^13 - 24229897782921389251549449796592064844587216611125149786\ 01224080/1009698078915776327542929950409838937808388995762630926321\ 639*c_0101_5^12 + 4290073800727759818734168977142056013004544314047\ 490871475522763/100969807891577632754292995040983893780838899576263\ 0926321639*c_0101_5^11 + 166199632916390465243860761610002037081163\ 3921283616364093264928/10096980789157763275429299504098389378083889\ 95762630926321639*c_0101_5^10 - 58819224874264768010948648620265716\ 43049289023708180875007805059/1009698078915776327542929950409838937\ 808388995762630926321639*c_0101_5^9 + 793671416687152009156788825315940749333777896500661337899321325/100\ 9698078915776327542929950409838937808388995762630926321639*c_0101_5\ ^8 + 16542083653396083851883503142135423265820996549962130131902566\ 32/1009698078915776327542929950409838937808388995762630926321639*c_\ 0101_5^7 - 55260038651290378103353106662196878812485331687927691450\ 8107599/10096980789157763275429299504098389378083889957626309263216\ 39*c_0101_5^6 + 227837922775346488672416658365597234666931782580679\ 606799270518/100969807891577632754292995040983893780838899576263092\ 6321639*c_0101_5^5 - 1477184424056965368915523862450416498988354740\ 01414924625357666/1009698078915776327542929950409838937808388995762\ 630926321639*c_0101_5^4 - 14202454609251977300395307990381006496934\ 188685526977814967109/100969807891577632754292995040983893780838899\ 5762630926321639*c_0101_5^3 + 2785028097565846977754481210214201119\ 0670942061479678997895880/10096980789157763275429299504098389378083\ 88995762630926321639*c_0101_5^2 - 250086200518572337741045232473891\ 4945040426210111438132780795/10096980789157763275429299504098389378\ 08388995762630926321639*c_0101_5 + 415470931713116095922270657692304112601077146929853061871956/100969\ 8078915776327542929950409838937808388995762630926321639, c_0101_1 + 128541250108849267355421979410582935855081088282906854521496\ /1009698078915776327542929950409838937808388995762630926321639*c_01\ 01_5^21 + 538953535441221394321163574877522577119897505284495678538\ 512/1009698078915776327542929950409838937808388995762630926321639*c\ _0101_5^20 + 199234955285454227592969401774604179695402583948055273\ 3365580/10096980789157763275429299504098389378083889957626309263216\ 39*c_0101_5^19 + 11490079000909336753114570692753576133264655904834\ 696972292603/100969807891577632754292995040983893780838899576263092\ 6321639*c_0101_5^18 + 213064160802779759362763665433024931069464325\ 2006379222581944/10096980789157763275429299504098389378083889957626\ 30926321639*c_0101_5^17 - 12942763984437343111111981992595267242870\ 839630729835048919761/100969807891577632754292995040983893780838899\ 5762630926321639*c_0101_5^16 + 119320352539751818906229222923398177\ 338740117294553427475144421/100969807891577632754292995040983893780\ 8388995762630926321639*c_0101_5^15 - 283608077547499016603943751826263747220817143750765996114029278/100\ 9698078915776327542929950409838937808388995762630926321639*c_0101_5\ ^14 - 3014918713953256393375674582667677447327372077863641399275781\ /1009698078915776327542929950409838937808388995762630926321639*c_01\ 01_5^13 + 213260094201958050549176937053840598050236003581521025047\ 0483320/10096980789157763275429299504098389378083889957626309263216\ 39*c_0101_5^12 - 36583006170017274393841556271171495100316961897540\ 43113070772333/1009698078915776327542929950409838937808388995762630\ 926321639*c_0101_5^11 - 1678292213918176607797423246100295154304942\ 172194549268959694912/100969807891577632754292995040983893780838899\ 5762630926321639*c_0101_5^10 + 512483447311728688632863741232709839\ 2689650783387506575367116955/10096980789157763275429299504098389378\ 08388995762630926321639*c_0101_5^9 - 402179145760507083197872484066864880166563202321438271322757317/100\ 9698078915776327542929950409838937808388995762630926321639*c_0101_5\ ^8 - 15571271258793675365045099755130457572028866885841444969788996\ 01/1009698078915776327542929950409838937808388995762630926321639*c_\ 0101_5^7 + 41425406320038028836889333491051921960687342466496466249\ 1325820/10096980789157763275429299504098389378083889957626309263216\ 39*c_0101_5^6 - 143811070963961720235021257672245876950582384542348\ 805342817226/100969807891577632754292995040983893780838899576263092\ 6321639*c_0101_5^5 + 1138590452419812971817903906499156718544253735\ 78414628357908007/1009698078915776327542929950409838937808388995762\ 630926321639*c_0101_5^4 + 20603037946425081216945692186094397808896\ 248855538710149504971/100969807891577632754292995040983893780838899\ 5762630926321639*c_0101_5^3 - 2495497545353809216764603522666309576\ 3315416956729314888614232/10096980789157763275429299504098389378083\ 88995762630926321639*c_0101_5^2 + 550578718875399313049671213578489\ 230150808364993941756264568/100969807891577632754292995040983893780\ 8388995762630926321639*c_0101_5 + 756797877074839334377133860654909\ 53153694396362320399633206/1009698078915776327542929950409838937808\ 388995762630926321639, c_0101_5^22 + 9/2*c_0101_5^21 + 67/4*c_0101_5^20 + 94*c_0101_5^19 + 87/2*c_0101_5^18 - 395/4*c_0101_5^17 + 3591/4*c_0101_5^16 - 7663/4*c_0101_5^15 - 1471/2*c_0101_5^14 + 33347/2*c_0101_5^13 - 93471/4*c_0101_5^12 - 22445*c_0101_5^11 + 37048*c_0101_5^10 + 19233/2*c_0101_5^9 - 59795/4*c_0101_5^8 - 1803/4*c_0101_5^7 + 1383/2*c_0101_5^6 + 2045/4*c_0101_5^5 + 1619/4*c_0101_5^4 - 183*c_0101_5^3 - 137/2*c_0101_5^2 + 41/4*c_0101_5 + 9/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB