Magma V2.19-8 Tue Aug 20 2013 16:17:12 on localhost [Seed = 3448525074] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1443 geometric_solution 5.26581143 oriented_manifold CS_known 0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 2310 0132 0132 0 0 0 0 0 -1 0 1 1 0 0 -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 -1 1 0 1 0 0 -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 1.080572490858 1.932540941157 0 4 4 0 0132 0132 3201 3201 0 0 0 0 0 -1 0 1 -1 0 1 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 1 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.199319499782 0.184667176287 3 5 6 0 1302 0132 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.566007803817 0.702286148209 5 2 0 6 0132 2031 0132 2310 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 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.566007803817 0.702286148209 1 1 4 4 2310 0132 2031 1302 0 0 0 0 0 1 -1 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 1 -1 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 5.551355750486 2.569914612219 3 2 5 5 0132 0132 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 -1 1 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.333457980094 0.551779581040 3 6 6 2 3201 1230 3012 0132 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 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.352944373555 0.550147076026 ==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' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(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_0011_6'], 'c_1100_5' : d['c_0101_5'], '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_0011_6'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_6'], 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_2']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_0'], '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_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0101_5']), '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' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : negation(d['c_0011_2']), 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_2'], '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_6, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 2823481402056571028127306427747578389837583616312471602251066889675\ 8749569656161322446336061/14710072694359045919321484902093519330971\ 9426039367558578514099505540639406037419620107072*c_0101_5^31 + 8412134643073600502004455947105207465472895862139523549893559842757\ 16081944752190695973240953/1471007269435904591932148490209351933097\ 19426039367558578514099505540639406037419620107072*c_0101_5^30 - 1578414433443725973448398083422921072226362900292392448713685167400\ 488830283478673406512739249/147100726943590459193214849020935193309\ 719426039367558578514099505540639406037419620107072*c_0101_5^29 - 2763357579090379764553810872291254179286593077068816724980144518878\ 133072093977099894686524609/147100726943590459193214849020935193309\ 719426039367558578514099505540639406037419620107072*c_0101_5^28 + 1000811419941527159287964302717148786468388624023431136363442409122\ 7136043859746850263608823685/14710072694359045919321484902093519330\ 9719426039367558578514099505540639406037419620107072*c_0101_5^27 - 1419105711399017367031413299105241339458815791323110731117850417303\ 7570931618150100778734641901/18387590867948807399151856127616899163\ 714928254920944822314262438192579925754677452513384*c_0101_5^26 + 3643713849671633724451892029783870611227317888426196865011495772573\ 12437724645166740664004906843/1471007269435904591932148490209351933\ 09719426039367558578514099505540639406037419620107072*c_0101_5^25 - 1765159946670297284633868983184953153809842021736525560809698025088\ 87763621322934890999099314077/7355036347179522959660742451046759665\ 4859713019683779289257049752770319703018709810053536*c_0101_5^24 - 1567693330051943381825051417620286548966470905964201764708729103710\ 56424009929299276292078556597/7355036347179522959660742451046759665\ 4859713019683779289257049752770319703018709810053536*c_0101_5^23 + 1907969756830454261051107445804544641520456684640663451671607187450\ 385615245004304716812817543453/147100726943590459193214849020935193\ 309719426039367558578514099505540639406037419620107072*c_0101_5^22 - 7036351953796759143928213353671482463583102774640506604563729942366\ 44681316299599376521791854973/3677518173589761479830371225523379832\ 7429856509841889644628524876385159851509354905026768*c_0101_5^21 - 9505908950365966578763525655805236192769584199787671969280970701875\ 89719909016266923077619524835/1471007269435904591932148490209351933\ 09719426039367558578514099505540639406037419620107072*c_0101_5^20 + 6223888345974497830158755420676428655828746881023965676675459572334\ 562912704182495052631922865569/147100726943590459193214849020935193\ 309719426039367558578514099505540639406037419620107072*c_0101_5^19 - 2862839117988561308662980113582687330937554620641737756739520134754\ 007221640426536940660907217897/147100726943590459193214849020935193\ 309719426039367558578514099505540639406037419620107072*c_0101_5^18 - 7294401010587665219902743195476130034982014288613514519251959912644\ 468496055415848193282742144871/147100726943590459193214849020935193\ 309719426039367558578514099505540639406037419620107072*c_0101_5^17 + 6618444797953509227354792690420979785702688439312482687729948096416\ 454253862508885722730924865797/147100726943590459193214849020935193\ 309719426039367558578514099505540639406037419620107072*c_0101_5^16 + 3712287120279338313632483886505421517605952768377340257780401133928\ 278936961315798510776365818155/735503634717952295966074245104675966\ 54859713019683779289257049752770319703018709810053536*c_0101_5^15 - 4811703693072182791087987419511896630633584153658563254765226896484\ 520543580520217818593625031989/735503634717952295966074245104675966\ 54859713019683779289257049752770319703018709810053536*c_0101_5^14 - 4332765328775366809525834461244876924990047488972965951137858563331\ 847217300622554915604948099037/147100726943590459193214849020935193\ 309719426039367558578514099505540639406037419620107072*c_0101_5^13 + 3838959188731391133801032612647373118579234170288018527345793663877\ 563577722551392990327156548347/735503634717952295966074245104675966\ 54859713019683779289257049752770319703018709810053536*c_0101_5^12 + 1341228261749456877950838684566995053879499920703732647129078590512\ 299435453471346463170408483155/147100726943590459193214849020935193\ 309719426039367558578514099505540639406037419620107072*c_0101_5^11 - 8215796134359557709681678631497530622002362225859976155940060784333\ 14801526641641125338955527431/3677518173589761479830371225523379832\ 7429856509841889644628524876385159851509354905026768*c_0101_5^10 - 8456092395003788416333717474183789839179554606206368802736483590329\ 3119978036189513760019873255/18387590867948807399151856127616899163\ 714928254920944822314262438192579925754677452513384*c_0101_5^9 + 9778259749430989463224565427474725703153709917193750409553977040602\ 74051985276910877093422538487/1471007269435904591932148490209351933\ 09719426039367558578514099505540639406037419620107072*c_0101_5^8 + 1548281709341243643466875584090377211583739436200962775805111593096\ 18575779954459870861034208595/7355036347179522959660742451046759665\ 4859713019683779289257049752770319703018709810053536*c_0101_5^7 - 2114059753756927803964109924913577404822083312129154345264680814856\ 2947880750200548543001573201/18387590867948807399151856127616899163\ 714928254920944822314262438192579925754677452513384*c_0101_5^6 - 8269902912608099400986530306942551114080433405230392963640004722974\ 3310311200990752523385876493/14710072694359045919321484902093519330\ 9719426039367558578514099505540639406037419620107072*c_0101_5^5 + 1312369805970205245075889415010037844819327655260926067825805159138\ 6156528789436542886893467881/14710072694359045919321484902093519330\ 9719426039367558578514099505540639406037419620107072*c_0101_5^4 + 5597287050652997503212449786002397088700921301413591287444197812294\ 080856340857726663339530827/735503634717952295966074245104675966548\ 59713019683779289257049752770319703018709810053536*c_0101_5^3 - 7775801505713847708840294166674866078607942274374328075883261926778\ 440732776504545137288771/459689771698720184978796403190422479092873\ 2063730236205578565609548144981438669363128346*c_0101_5^2 - 2659954480439320397397459815041820276091354962101618490346425700457\ 07513077149094659249209587/7355036347179522959660742451046759665485\ 9713019683779289257049752770319703018709810053536*c_0101_5 - 3592172234218237185563039942172704145373089810667364168183801461733\ 1023132541337344215232105/14710072694359045919321484902093519330971\ 9426039367558578514099505540639406037419620107072, c_0011_0 - 1, c_0011_2 - 433784504310197822373172019829001740786875616358623547121891\ 215706718918173072627357830/229844885849360092489398201595211239546\ 4366031865118102789282804774072490719334681564173*c_0101_5^31 + 1262069050660475538128955455318556194927624869012270678337858298441\ 5603005558697482581393/22984488584936009248939820159521123954643660\ 31865118102789282804774072490719334681564173*c_0101_5^30 - 1528635938267267974985146199321771853711979114364517254086095645868\ 0652710995836536625742/22984488584936009248939820159521123954643660\ 31865118102789282804774072490719334681564173*c_0101_5^29 - 5731722623708468986160825607308173140314227283091048924806903534979\ 3267339339887646103787/22984488584936009248939820159521123954643660\ 31865118102789282804774072490719334681564173*c_0101_5^28 + 1213716429727379299584489715221712511779849267019763703826433079599\ 73702679132743808672394/2298448858493600924893982015952112395464366\ 031865118102789282804774072490719334681564173*c_0101_5^27 - 1645868909446911869191953308073573883707781153705885906323887656103\ 977760909042962167005218/229844885849360092489398201595211239546436\ 6031865118102789282804774072490719334681564173*c_0101_5^26 + 4399379288880628892458735407404860621399945599868783644212225117871\ 626591009126953754222582/229844885849360092489398201595211239546436\ 6031865118102789282804774072490719334681564173*c_0101_5^25 - 1784028462300292453206084738342826744566513011020858624292386489756\ 270452044809450889376453/229844885849360092489398201595211239546436\ 6031865118102789282804774072490719334681564173*c_0101_5^24 - 7857988854402160993597277180394765704977684554036096381479283576229\ 036370514541940256926427/229844885849360092489398201595211239546436\ 6031865118102789282804774072490719334681564173*c_0101_5^23 + 2557769816873646431671185220790995485586454927743196378466780684384\ 5928255593394312235610182/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^22 - 2399046258821953120708008615635990129812690579273634601655131060414\ 3748775814765001425741874/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^21 - 4052570059495961706629171545259598362316474908335452495499023819917\ 7009635249143409276961003/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^20 + 8106398247473903608110053315386190509091607162292276404186763235086\ 7693262976351299795956532/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^19 + 1666214056304194439209953315286858030535714527624153100146706142938\ 8992991373198905430805368/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^18 - 1290635356318084450119868142136490285473345020610169687744267786727\ 90894326760204806798491244/2298448858493600924893982015952112395464\ 366031865118102789282804774072490719334681564173*c_0101_5^17 + 2486509612307063651225611914960570440723545857666939308185184394676\ 0665488646153472942096651/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^16 + 1639933481491112438408006673069295789272948242259938521580193722830\ 91139226998342445609901352/2298448858493600924893982015952112395464\ 366031865118102789282804774072490719334681564173*c_0101_5^15 - 6229564477860944455259615014947319039102305169118505800773782004063\ 5835258535137373505386101/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^14 - 1436458354046317572360535436866525242901085555561508126044543615080\ 87149099124749879971465964/2298448858493600924893982015952112395464\ 366031865118102789282804774072490719334681564173*c_0101_5^13 + 5906397003673398976148566684674447223358328818711471541742331666887\ 4029500044634290818864777/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^12 + 8075386595898388083431527171770935361506887642463767394892468854588\ 2460333397033281300947582/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^11 - 2467475321045337114557963433026805341594360424003412174954998268774\ 5201623864262978819427999/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^10 - 3350797353878083247041167648700861958204803155470149433438451952514\ 3747707634092865886599390/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^9 + 2730755854458552587841396127558856638625199375934700772992255275635\ 404782991134487220222285/229844885849360092489398201595211239546436\ 6031865118102789282804774072490719334681564173*c_0101_5^8 + 1024189283289954001215016980985220973051901877444661271595698599833\ 7715066184323643105654067/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^7 + 1667448385627647712385632728614711267709556208560581617050170205487\ 958375675947428470297235/229844885849360092489398201595211239546436\ 6031865118102789282804774072490719334681564173*c_0101_5^6 - 1559905085793744826707340210501369138662849943718017442104693289108\ 987915964519050650632204/229844885849360092489398201595211239546436\ 6031865118102789282804774072490719334681564173*c_0101_5^5 - 5790891971599815240279924264074801625964709615418865136218724073755\ 79759420381633010415507/2298448858493600924893982015952112395464366\ 031865118102789282804774072490719334681564173*c_0101_5^4 + 7158800068446704870405661506129233459124980157325855730371011998814\ 5772446160681665127339/22984488584936009248939820159521123954643660\ 31865118102789282804774072490719334681564173*c_0101_5^3 + 5956080658975823299126130768574196164629118896428200060993865853925\ 9533912008054135148491/22984488584936009248939820159521123954643660\ 31865118102789282804774072490719334681564173*c_0101_5^2 + 3047201454745427283060905871781984931680168313442101676378555249842\ 945598814362924543999/229844885849360092489398201595211239546436603\ 1865118102789282804774072490719334681564173*c_0101_5 - 1696444300065801163050426795781410464564378378394285044724104416456\ 137851120747454376362/229844885849360092489398201595211239546436603\ 1865118102789282804774072490719334681564173, c_0011_6 + 421186741490492019964420580757441094816012602313692408340966\ 893506969134794530661325023/229844885849360092489398201595211239546\ 4366031865118102789282804774072490719334681564173*c_0101_5^31 - 1242613951113969818844065279077104340781001553419056679901021352537\ 2268109392964076175578/22984488584936009248939820159521123954643660\ 31865118102789282804774072490719334681564173*c_0101_5^30 + 1993490957892217121532731274396286578413200763835240417639340835916\ 8671437157680191439414/22984488584936009248939820159521123954643660\ 31865118102789282804774072490719334681564173*c_0101_5^29 + 4693427879716460018810638525943686594946751084584539846114409373964\ 8229781916325883821005/22984488584936009248939820159521123954643660\ 31865118102789282804774072490719334681564173*c_0101_5^28 - 1354224617419482693848491192981436987729400419109111410114061326941\ 33942760728961906535694/2298448858493600924893982015952112395464366\ 031865118102789282804774072490719334681564173*c_0101_5^27 + 1654261451128909879620284318238180150949668381550299100754964793010\ 762080398804633017222016/229844885849360092489398201595211239546436\ 6031865118102789282804774072490719334681564173*c_0101_5^26 - 4955513749280495334060931104111271923264158481072097213347647075918\ 294704901366391411685022/229844885849360092489398201595211239546436\ 6031865118102789282804774072490719334681564173*c_0101_5^25 + 3837231743125066568250520573951906391773534557509649661824674517536\ 655399284223681279714774/229844885849360092489398201595211239546436\ 6031865118102789282804774072490719334681564173*c_0101_5^24 + 5747914017595292043384388180438138413644450889004896868271427836537\ 310706364882758664353267/229844885849360092489398201595211239546436\ 6031865118102789282804774072490719334681564173*c_0101_5^23 - 2672132394681142373210667270994696494504286774602996403180006742423\ 2947969257743105195440590/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^22 + 3420200669857395802434829894809350209390650969144208661087892528980\ 4434508917619649226195324/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^21 + 2393120411722577570885926834507169574950959023111351446082217735396\ 7876575948147263062685544/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^20 - 8545170400336211376354607208097339764917640879806028702782105932726\ 4203500166957166734478401/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^19 + 1765132440613087733391928106810516674679994713134775286818261461285\ 7088467350808437179898166/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^18 + 1133741260706529557826862403324117237947990059927029262541319377931\ 22073839965023269018847554/2298448858493600924893982015952112395464\ 366031865118102789282804774072490719334681564173*c_0101_5^17 - 6497846033633275073008732154086740299282978505176570935616146551749\ 8297860543314921194832092/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^16 - 1293467592239835681055263357462082850490387190033326391865425447565\ 25166741358381861664666691/2298448858493600924893982015952112395464\ 366031865118102789282804774072490719334681564173*c_0101_5^15 + 1048241408671112567378657986347957944739038112297069438436043250769\ 31877490522388302217830952/2298448858493600924893982015952112395464\ 366031865118102789282804774072490719334681564173*c_0101_5^14 + 9511329395673562098767588604433061409052574174496359463750178960598\ 9751599956278458507663956/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^13 - 8552508554858911720942228928534136845511377413987468938498152979091\ 1686309626139389869504992/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^12 - 4542517496444660485934341111827863090897188368746832818520857961747\ 3190924375875853053594338/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^11 + 3499806820985195574714481001888242154306240169641755850103459763770\ 1694760797369087123028419/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^10 + 2081781477993452809657582265451732735194144192700008400011455814778\ 7239661122906283038145589/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^9 - 8301944698541270256504840413009500490770158841440428819836299641102\ 073550781570599003693506/229844885849360092489398201595211239546436\ 6031865118102789282804774072490719334681564173*c_0101_5^8 - 7261781697985084802393025606556609565857456632902794221433821904527\ 308767758026671976120064/229844885849360092489398201595211239546436\ 6031865118102789282804774072490719334681564173*c_0101_5^7 + 3502728630982905717727171350491906068897371566284080805494654769169\ 12809402895768159879806/2298448858493600924893982015952112395464366\ 031865118102789282804774072490719334681564173*c_0101_5^6 + 1425056985229688966284600320949805474461572790524219285644418162083\ 408525407160087724603034/229844885849360092489398201595211239546436\ 6031865118102789282804774072490719334681564173*c_0101_5^5 + 2102219298308972579414658749087259392941264679586295271655052959608\ 42681417685397199385615/2298448858493600924893982015952112395464366\ 031865118102789282804774072490719334681564173*c_0101_5^4 - 1179198829671433428428124692953331368119436289778479739833926408326\ 78964821577374007707674/2298448858493600924893982015952112395464366\ 031865118102789282804774072490719334681564173*c_0101_5^3 - 3198837473287771353025183512625682306267885242969475711177172590037\ 0056779527316894806883/22984488584936009248939820159521123954643660\ 31865118102789282804774072490719334681564173*c_0101_5^2 + 2303552797622357423209522905385257038012789426767171474390399108623\ 130372956288865601799/229844885849360092489398201595211239546436603\ 1865118102789282804774072490719334681564173*c_0101_5 + 1969830602984052873192291970180498024068161551491415145672287278636\ 207730799978463192951/229844885849360092489398201595211239546436603\ 1865118102789282804774072490719334681564173, c_0101_0 - 125704933792935194447532811008323195531060074635037092890714\ 3984047406337657694062321777/22984488584936009248939820159521123954\ 64366031865118102789282804774072490719334681564173*c_0101_5^31 + 3716337677731575024200959601458441719973678580958018764115385640732\ 1576392931031707107884/22984488584936009248939820159521123954643660\ 31865118102789282804774072490719334681564173*c_0101_5^30 - 6179966100403334499032060692827689138577725277289332129967938364720\ 1118970341419563952301/22984488584936009248939820159521123954643660\ 31865118102789282804774072490719334681564173*c_0101_5^29 - 1355526594503144093279060273986384532488032266947661620380002612358\ 16776017191209768678423/2298448858493600924893982015952112395464366\ 031865118102789282804774072490719334681564173*c_0101_5^28 + 4115447741276013985485147177625212813148227096795703428828987081862\ 61656409338600859426094/2298448858493600924893982015952112395464366\ 031865118102789282804774072490719334681564173*c_0101_5^27 - 4965430352132384528961047723207608211152453923174175394286479265401\ 795512805874764348743675/229844885849360092489398201595211239546436\ 6031865118102789282804774072490719334681564173*c_0101_5^26 + 1510103586551221070451581070997998212361878266461129088407353721599\ 2219987121548182463513020/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^25 - 1247551810167965510647553187152721599947015249983361669501244851775\ 9481236347387295881720926/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^24 - 1612569820838550206491898884243048958829395826057677209332834670855\ 7913043794250501628735098/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^23 + 8058288415397234452795327828541793720706114312171992738426065604689\ 0801739163280698723664004/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^22 - 1073494924223176491011757966501507600249118144433288343982741981867\ 15400452180980228165309209/2298448858493600924893982015952112395464\ 366031865118102789282804774072490719334681564173*c_0101_5^21 - 6340385935035433498779477584736188399586190441588266320247985046099\ 0347292467799229748130972/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^20 + 2572654976369444717180242952457545320209287776779929399542074914727\ 01923853969576156411862539/2298448858493600924893982015952112395464\ 366031865118102789282804774072490719334681564173*c_0101_5^19 - 7006668703601994889325515726426859038088288418261212786891444839589\ 9478484465200172926048497/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^18 - 3300276812712830118845826238461232903528213683853785866266873040303\ 69705669552566461924220189/2298448858493600924893982015952112395464\ 366031865118102789282804774072490719334681564173*c_0101_5^17 + 2140673035252816633030439673721441658609549171689247302451984265205\ 43935494764618282625700382/2298448858493600924893982015952112395464\ 366031865118102789282804774072490719334681564173*c_0101_5^16 + 3676625539741819377882537323631190322125027332648137900966231180378\ 02880898642010279743101256/2298448858493600924893982015952112395464\ 366031865118102789282804774072490719334681564173*c_0101_5^15 - 3337674183614461580478846069700895544418135961917228632519071940485\ 71529611326360331022272095/2298448858493600924893982015952112395464\ 366031865118102789282804774072490719334681564173*c_0101_5^14 - 2571223359935872091074506836544411504342667414906404516563975192033\ 41116684682123892166107829/2298448858493600924893982015952112395464\ 366031865118102789282804774072490719334681564173*c_0101_5^13 + 2684847728639822943116341004803700766384516180889850692180092079227\ 38435384553922636656223744/2298448858493600924893982015952112395464\ 366031865118102789282804774072490719334681564173*c_0101_5^12 + 1146193188305825776595088638593828820401941271755985803895044386139\ 16285143890345633686733707/2298448858493600924893982015952112395464\ 366031865118102789282804774072490719334681564173*c_0101_5^11 - 1101778709750604492095769297738810273607214668734451039752167473738\ 24528280180449678702379918/2298448858493600924893982015952112395464\ 366031865118102789282804774072490719334681564173*c_0101_5^10 - 5374363123332883606845731924394938128086941439498438950709757141501\ 9938036045519875805191899/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^9 + 2854403928717468261044413036099059368475872800172212880058225870199\ 9779180523459855273395584/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^8 + 1928097407329651651638961699521914770580476076906499587641148277670\ 9288583135859858241400819/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^7 - 2787012167870504618438950277178696239152228916360417979211248095237\ 345351330004021721727340/229844885849360092489398201595211239546436\ 6031865118102789282804774072490719334681564173*c_0101_5^6 - 3888852159958543931768397850978555028666949612988019486598433515957\ 206702592340259350269125/229844885849360092489398201595211239546436\ 6031865118102789282804774072490719334681564173*c_0101_5^5 - 2386262101367886989548370903202673116099677067494921763977092027683\ 11912740071509600024499/2298448858493600924893982015952112395464366\ 031865118102789282804774072490719334681564173*c_0101_5^4 + 4066731149971817499275515250197092182131055781154013587768649586337\ 16396200719555928228215/2298448858493600924893982015952112395464366\ 031865118102789282804774072490719334681564173*c_0101_5^3 + 5662557366411632359898427758025857782870421340350715160705781379432\ 8114822270194583121049/22984488584936009248939820159521123954643660\ 31865118102789282804774072490719334681564173*c_0101_5^2 - 1588926780429178847554604420089817477869922083296208439349609115679\ 8092952743706020507627/22984488584936009248939820159521123954643660\ 31865118102789282804774072490719334681564173*c_0101_5 - 4322722539433212713205779163262204206865048793432131847169823321624\ 208588803159600105102/229844885849360092489398201595211239546436603\ 1865118102789282804774072490719334681564173, c_0101_1 - 302711358308810262364718328506382245603473995999982514396778\ 6145434218560576028930330748/22984488584936009248939820159521123954\ 64366031865118102789282804774072490719334681564173*c_0101_5^31 + 8993294640003005209819208537054316359272225107970029276862690596831\ 4940726646571022709708/22984488584936009248939820159521123954643660\ 31865118102789282804774072490719334681564173*c_0101_5^30 - 1616381507608910025352884809740572457903987847324804779545097130659\ 10296535680599566897215/2298448858493600924893982015952112395464366\ 031865118102789282804774072490719334681564173*c_0101_5^29 - 3099728685729926678617836212659053666413298826322332818041897872963\ 52574471890446783723703/2298448858493600924893982015952112395464366\ 031865118102789282804774072490719334681564173*c_0101_5^28 + 1047516907119621090603462872162004496098453033364962573397807620808\ 104035965621411447763802/229844885849360092489398201595211239546436\ 6031865118102789282804774072490719334681564173*c_0101_5^27 - 1208409458878995828951598195574823975957011822254448430058368513112\ 0283588549305553041015193/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^26 + 3804332645101573299292623712950726322485715624999543825131067607481\ 3130024482457091211848402/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^25 - 3462690208109342472585153206561071743652560137662571263091573207658\ 1685825123439541036013642/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^24 - 3663598915874587580293258378792683388703891779698309132649208851275\ 0994647369995871269819566/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^23 + 2017293197037330254699842964751555483688484127424796012990964912148\ 75274684341578792066339887/2298448858493600924893982015952112395464\ 366031865118102789282804774072490719334681564173*c_0101_5^22 - 2849476363683083658113168076716742504748494261186039409821435576466\ 12077159702311324720136998/2298448858493600924893982015952112395464\ 366031865118102789282804774072490719334681564173*c_0101_5^21 - 1262479970427405682871891484913704829417278757206205865867299738583\ 84756146448427651957512370/2298448858493600924893982015952112395464\ 366031865118102789282804774072490719334681564173*c_0101_5^20 + 6580093815118973394281597320621140640340137582376288010352384249830\ 19984914846394889081059531/2298448858493600924893982015952112395464\ 366031865118102789282804774072490719334681564173*c_0101_5^19 - 2531576993418206020758834209411151924132729521178387519417973871334\ 61660822669865713308907692/2298448858493600924893982015952112395464\ 366031865118102789282804774072490719334681564173*c_0101_5^18 - 8043533014081230981172031468035275660222327895262054856337298828490\ 05269672866882307355205247/2298448858493600924893982015952112395464\ 366031865118102789282804774072490719334681564173*c_0101_5^17 + 6455418139838492658190068443655604172547080218413923110190858597626\ 91516895335851569653976759/2298448858493600924893982015952112395464\ 366031865118102789282804774072490719334681564173*c_0101_5^16 + 8493976371218158000207118764004154418311288366374412174474633121531\ 67637429604987824944241881/2298448858493600924893982015952112395464\ 366031865118102789282804774072490719334681564173*c_0101_5^15 - 9647200651333164964386965924459031756026306896186756175340994943441\ 76236833286252178633009004/2298448858493600924893982015952112395464\ 366031865118102789282804774072490719334681564173*c_0101_5^14 - 5429986843879010958580317249450135133385732799505624082965683215584\ 74920885015037490232269053/2298448858493600924893982015952112395464\ 366031865118102789282804774072490719334681564173*c_0101_5^13 + 7824867032339090709950746638898322831319799099211019945499526405310\ 80557203561803852452341195/2298448858493600924893982015952112395464\ 366031865118102789282804774072490719334681564173*c_0101_5^12 + 2051725924017137428704495620740291195445420525650261702086333066872\ 15597778776282482956102024/2298448858493600924893982015952112395464\ 366031865118102789282804774072490719334681564173*c_0101_5^11 - 3381479495079091919873456889625197270438010291601246888569362757118\ 16942313604068384055868416/2298448858493600924893982015952112395464\ 366031865118102789282804774072490719334681564173*c_0101_5^10 - 9768452148921987222933060683134181173624048025273504247252760194060\ 7802132411125786252282716/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^9 + 9779230790214536855808624177297060950593606434681864181053586707290\ 9220662232337961492567356/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^8 + 4031487408487031784368964405422203145086445536468674408542355025501\ 9084263167513870740621607/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^7 - 1537930006487084877050138605551458559310604212718870414156815371582\ 4245825447820400389177400/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^6 - 9868045137955403737514439220400236577347654143865597987603033039873\ 590922037897266799172259/229844885849360092489398201595211239546436\ 6031865118102789282804774072490719334681564173*c_0101_5^5 + 7717367497108412697968257688723165263913359205682044027395560520441\ 66533773819724999855829/2298448858493600924893982015952112395464366\ 031865118102789282804774072490719334681564173*c_0101_5^4 + 1253570214271058120997341017817105420373703700358458057661476902850\ 412550561294214566091761/229844885849360092489398201595211239546436\ 6031865118102789282804774072490719334681564173*c_0101_5^3 + 4130594978320857071649324734568059800831222737851243653800279155042\ 0517790210799678805615/22984488584936009248939820159521123954643660\ 31865118102789282804774072490719334681564173*c_0101_5^2 - 5761580691476771467427465024524127233684048550459158637466492018956\ 4284870233897256105520/22984488584936009248939820159521123954643660\ 31865118102789282804774072490719334681564173*c_0101_5 - 5567713016932165144346920531498403731270355719831262821305191309448\ 994675470060461747838/229844885849360092489398201595211239546436603\ 1865118102789282804774072490719334681564173, c_0101_4 - 199754034562134265713604413173272867441897919164006620126635\ 2384772218306921970728992825/45968977169872018497879640319042247909\ 28732063730236205578565609548144981438669363128346*c_0101_5^31 + 5908612096603037897511658487331950120105259367564271896243464832587\ 3859753602537850927919/45968977169872018497879640319042247909287320\ 63730236205578565609548144981438669363128346*c_0101_5^30 - 9910599297760551161301855274341756510992671506468647326510214197901\ 1710740540123581782619/45968977169872018497879640319042247909287320\ 63730236205578565609548144981438669363128346*c_0101_5^29 - 2142331204637836390551198465709306987352389463695445789979975600766\ 19593212154912771960361/4596897716987201849787964031904224790928732\ 063730236205578565609548144981438669363128346*c_0101_5^28 + 6584258879506411785869297821360446172751362756574030284653663625009\ 33272221038649808315357/4596897716987201849787964031904224790928732\ 063730236205578565609548144981438669363128346*c_0101_5^27 - 3950174190977992162377694798516043637694463216819522757586684696356\ 077679110692840449607080/229844885849360092489398201595211239546436\ 6031865118102789282804774072490719334681564173*c_0101_5^26 + 2411310309258321022682343675126308228677636326017697471129287291652\ 8938891669930901902444747/45968977169872018497879640319042247909287\ 32063730236205578565609548144981438669363128346*c_0101_5^25 - 1007257321207030176398317499727122972769263053329473751757524729185\ 0334279945190472726670362/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^24 - 1276483658612066996792652874491187698276676504552934312711168839770\ 2479168547813049454333052/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^23 + 1288008032515917350902828941326078657205356668346444726844175727811\ 45508097787159525227576689/4596897716987201849787964031904224790928\ 732063730236205578565609548144981438669363128346*c_0101_5^22 - 8632812757032754119650173860332507836631421624111454084433053712285\ 9238332734158966996414395/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^21 - 9900701176371212637655139280540553060102223448097339682881651304559\ 2418584472466334288923449/45968977169872018497879640319042247909287\ 32063730236205578565609548144981438669363128346*c_0101_5^20 + 4125416811718498570275390417890600838160358121027017707331506813868\ 13572030728163448136878969/4596897716987201849787964031904224790928\ 732063730236205578565609548144981438669363128346*c_0101_5^19 - 1189263506333284851565538944355579022370191680809594853464817697971\ 00776908017015753858268133/4596897716987201849787964031904224790928\ 732063730236205578565609548144981438669363128346*c_0101_5^18 - 5255386009965471255158022259986929738252982535690334041950439971297\ 63326984799235254532875615/4596897716987201849787964031904224790928\ 732063730236205578565609548144981438669363128346*c_0101_5^17 + 3525867691896912013937044465348557707868934766795923322635631709042\ 43250520857336781270094269/4596897716987201849787964031904224790928\ 732063730236205578565609548144981438669363128346*c_0101_5^16 + 2901377308290400290584283215228123322730375717345679607012899535276\ 84047287818397739132069330/2298448858493600924893982015952112395464\ 366031865118102789282804774072490719334681564173*c_0101_5^15 - 2727481982661890673251779648620874525851879519716365924721254588032\ 33740425090421808979701839/2298448858493600924893982015952112395464\ 366031865118102789282804774072490719334681564173*c_0101_5^14 - 4001226693246614559420027249148200705073001646549464240782668307658\ 05649250483708728520058235/4596897716987201849787964031904224790928\ 732063730236205578565609548144981438669363128346*c_0101_5^13 + 2201615529055176973017794961518140798369118468646600093628917306463\ 83370690293157420885367460/2298448858493600924893982015952112395464\ 366031865118102789282804774072490719334681564173*c_0101_5^12 + 1728067190410610256875617928742867748615623473470211697828973568508\ 68110076417164328596039853/4596897716987201849787964031904224790928\ 732063730236205578565609548144981438669363128346*c_0101_5^11 - 9135886468273796810507669611147737255381156687541320836721634709712\ 8962357231400056681153702/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^10 - 4010513720320497044926536909732683031962370210441875792906948922976\ 4586328093824475334331869/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^9 + 4841780829787661636911750390406762294429103043498786886076132859229\ 2295089123723131812305187/45968977169872018497879640319042247909287\ 32063730236205578565609548144981438669363128346*c_0101_5^8 + 1464121568144577608006550762774299293317808627846911362867722076558\ 0885724923494483344392994/22984488584936009248939820159521123954643\ 66031865118102789282804774072490719334681564173*c_0101_5^7 - 2807022228063636005036305549331191224424597865921764819097940235947\ 556727352116223271895869/229844885849360092489398201595211239546436\ 6031865118102789282804774072490719334681564173*c_0101_5^6 - 6023568534823915797561136426863585151146026508305542005465062868359\ 607784332123054082388597/459689771698720184978796403190422479092873\ 2063730236205578565609548144981438669363128346*c_0101_5^5 - 1226522138093080668858117098829020785192869832256449158342869818696\ 40262659689341028244669/4596897716987201849787964031904224790928732\ 063730236205578565609548144981438669363128346*c_0101_5^4 + 3382515204401722026568394303009663241815425598958223662956595699241\ 70151593262612507037677/2298448858493600924893982015952112395464366\ 031865118102789282804774072490719334681564173*c_0101_5^3 + 3334360934573983478842376720706917739379319554351884629511738907561\ 8875176635035941370430/22984488584936009248939820159521123954643660\ 31865118102789282804774072490719334681564173*c_0101_5^2 - 1492380340753650573963854560603710961958489676628989954796367303725\ 8565261483719598074140/22984488584936009248939820159521123954643660\ 31865118102789282804774072490719334681564173*c_0101_5 - 9080182866210936730825852015379809470331828751810235180903545789761\ 263286899297189525673/459689771698720184978796403190422479092873206\ 3730236205578565609548144981438669363128346, c_0101_5^32 - 30*c_0101_5^31 + 62*c_0101_5^30 + 88*c_0101_5^29 - 378*c_0101_5^28 + 4089*c_0101_5^27 - 13715*c_0101_5^26 + 14941*c_0101_5^25 + 9272*c_0101_5^24 - 70659*c_0101_5^23 + 113117*c_0101_5^22 + 16919*c_0101_5^21 - 233424*c_0101_5^20 + 145778*c_0101_5^19 + 249834*c_0101_5^18 - 294916*c_0101_5^17 - 228073*c_0101_5^16 + 409816*c_0101_5^15 + 95951*c_0101_5^14 - 324135*c_0101_5^13 + 2595*c_0101_5^12 + 142015*c_0101_5^11 + 660*c_0101_5^10 - 46099*c_0101_5^9 - 4371*c_0101_5^8 + 10234*c_0101_5^7 + 2061*c_0101_5^6 - 1442*c_0101_5^5 - 417*c_0101_5^4 + 130*c_0101_5^3 + 34*c_0101_5^2 - 5*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB