Magma V2.19-8 Tue Aug 20 2013 16:17:38 on localhost [Seed = 2665415288] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1873 geometric_solution 5.50370185 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 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 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.215311684363 0.123833132955 0 0 2 2 0132 2310 2310 0132 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 0 0 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.675628169612 1.924242339244 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.313268224150 0.631120369639 2 5 4 6 0132 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.342948900372 0.576531942933 3 6 2 5 2031 1023 0132 2310 0 0 0 0 0 -1 0 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.342948900372 0.576531942933 4 3 5 5 3201 0132 2031 1302 0 0 0 0 0 0 -1 1 0 0 -1 1 -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 0 1 -1 0 0 1 -1 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.269236297567 1.331236371700 4 6 3 6 1023 2310 0132 3201 0 0 0 0 0 1 0 -1 1 0 0 -1 0 1 0 -1 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.834044259263 0.766228811276 ==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' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_0'], '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' : d['c_0101_0'], '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_4'], '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_0110_5']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0110_5']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : negation(d['c_0110_5']), 'c_1010_6' : d['c_0110_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_0101_0, c_0101_1, c_0101_5, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 9553210336544233939157881555947546699706684518952049758651210960772\ 378522033249368168774366793/107900359359491276864781325430859054929\ 462766723727958273550913240585819888250109007643612701*c_0110_5^31 + 1323585894022649702593006908108630901965808472783168638162693379213\ 03088364041001383377708412687/1079003593594912768647813254308590549\ 29462766723727958273550913240585819888250109007643612701*c_0110_5^3\ 0 - 372754141044495803166490282976689657182754679799925896417624251\ 583127626254716351958233812231072/107900359359491276864781325430859\ 054929462766723727958273550913240585819888250109007643612701*c_0110\ _5^29 - 18393937488282503679043032742854279208066842668357643022805\ 91984687827438349308955631766364092661/2158007187189825537295626508\ 61718109858925533447455916547101826481171639776500218015287225402*c\ _0110_5^28 + 339229179813187592387964603054718525678209479169012070\ 7196656965480427698481030899049301821248741/10790035935949127686478\ 1325430859054929462766723727958273550913240585819888250109007643612\ 701*c_0110_5^27 - 5511161195226878533120271842087293170873973275436\ 800913948721013744195255162689048576848355510181/107900359359491276\ 8647813254308590549294627667237279582735509132405858198882501090076\ 43612701*c_0110_5^26 + 69291969818230741161405080486093031037515694\ 0191696259228971191436412960089163398112377167305789/21580071871898\ 2553729562650861718109858925533447455916547101826481171639776500218\ 015287225402*c_0110_5^25 + 4002309739232143407013768997539565255172\ 7168075572839925592738790400016080668704145941481847882681/21580071\ 8718982553729562650861718109858925533447455916547101826481171639776\ 500218015287225402*c_0110_5^24 - 3434226946422369296344911302378589\ 7998142707832590590841466509072494334709511360978526751395352254/10\ 7900359359491276864781325430859054929462766723727958273550913240585\ 819888250109007643612701*c_0110_5^23 + 6167272525346946467023607766632753365340367114566031209725976151664\ 2734621516719249313230455002078/10790035935949127686478132543085905\ 4929462766723727958273550913240585819888250109007643612701*c_0110_5\ ^22 - 2582425973464130000623609602477066428957484744062890978108782\ 4516645722885794110048068016116073351/10790035935949127686478132543\ 0859054929462766723727958273550913240585819888250109007643612701*c_\ 0110_5^21 + 7724727602435531198332376586110789435173548534513298790\ 9584350296625852607304725914142700933893205/10790035935949127686478\ 1325430859054929462766723727958273550913240585819888250109007643612\ 701*c_0110_5^20 + 2354819715033979896054547632572174429704291363074\ 83049728655332965652987548732796774969889503121281/2158007187189825\ 5372956265086171810985892553344745591654710182648117163977650021801\ 5287225402*c_0110_5^19 - 370233029071480329172015487485242675816003\ 523469446902450857543509089231042686988187962035950107639/107900359\ 3594912768647813254308590549294627667237279582735509132405858198882\ 50109007643612701*c_0110_5^18 + 72688537750272912209360956893917279\ 033954332945731372781062381925821943155516214890443600900894459/113\ 5793256415697651208224478219568999257502807618189034458430665690377\ 0514552643053436169758*c_0110_5^17 - 9191872440597115845494550897677677153809571638768294064977827065846\ 58288115170307946312956892626849/2158007187189825537295626508617181\ 09858925533447455916547101826481171639776500218015287225402*c_0110_\ 5^16 - 132572393336620986206542415520206277808692455134590640044355\ 9121704369889247910207201402305272761339/21580071871898255372956265\ 0861718109858925533447455916547101826481171639776500218015287225402\ *c_0110_5^15 + 1872235457003630995198639062051311320199267252290194\ 446369658729213979238793314880709405215267219013/215800718718982553\ 7295626508617181098589255334474559165471018264811716397765002180152\ 87225402*c_0110_5^14 - 84383174656032302860141651406756051975276026\ 2719865248638271178656287837388062436035691664653452931/10790035935\ 9491276864781325430859054929462766723727958273550913240585819888250\ 109007643612701*c_0110_5^13 - 3399512749615564465226073397289316810\ 097798176277647758828743759494908170964259811259955704666260483/215\ 8007187189825537295626508617181098589255334474559165471018264811716\ 39776500218015287225402*c_0110_5^12 + 9670753902180285803837453366053870912744093062058660406525093777248\ 61470489486521934200787729632675/1079003593594912768647813254308590\ 54929462766723727958273550913240585819888250109007643612701*c_0110_\ 5^11 + 327882236837645972043919511687121811295397995432859814185451\ 4256409526944188407897813568227137245777/21580071871898255372956265\ 0861718109858925533447455916547101826481171639776500218015287225402\ *c_0110_5^10 + 1720345241102767933832287239475050218132178346340424\ 63182015774846527109459671287366798135716230512/1079003593594912768\ 6478132543085905492946276672372795827355091324058581988825010900764\ 3612701*c_0110_5^9 - 4140657357598057761514843942095564313705777423\ 06396034131225649338365686465096677791552413557788309/1079003593594\ 9127686478132543085905492946276672372795827355091324058581988825010\ 9007643612701*c_0110_5^8 - 2652707018516429115662965238514095475952\ 0589721424958612188974247010897701432946142244343035231059/93826399\ 4430358929258968047224861347212719710641112680639573158613789738158\ 6966000664661974*c_0110_5^7 + 6006348832713878558538348349065602971\ 332367576829369574444937902816971331374565779004164557483123/107900\ 3593594912768647813254308590549294627667237279582735509132405858198\ 88250109007643612701*c_0110_5^6 + 177820443977429893858954482678247\ 432150199314903801350937699464376010490800195516838598038511466861/\ 2158007187189825537295626508617181098589255334474559165471018264811\ 71639776500218015287225402*c_0110_5^5 - 1062912826344569718114301849573475338391331618583187159781090931393\ 2308082625532242148463561167679/21580071871898255372956265086171810\ 9858925533447455916547101826481171639776500218015287225402*c_0110_5\ ^4 - 18007752543137455347826093307974086324822399404204154402510443\ 969715274506952652140240938578485323/215800718718982553729562650861\ 718109858925533447455916547101826481171639776500218015287225402*c_0\ 110_5^3 + 498705035801337371180933153592095390014125184670855760190\ 1094840130131554284653791396810136486363/21580071871898255372956265\ 0861718109858925533447455916547101826481171639776500218015287225402\ *c_0110_5^2 + 32330689934847001098899668330630619289803964080921070\ 5261064474648056223865037784627402858240319/21580071871898255372956\ 2650861718109858925533447455916547101826481171639776500218015287225\ 402*c_0110_5 - 1187075523025628694980269395103510109478914549995821\ 77838524092575913117738787655484500616209135/2158007187189825537295\ 6265086171810985892553344745591654710182648117163977650021801528722\ 5402, c_0011_0 - 1, c_0011_2 + 157558577441542379035732872233364077999760105713747159292903\ 034438241294438625626379232504/567896628207848825604112239109784499\ 6287514038090945172292153328451885257276321526718084879*c_0110_5^31 - 20704886035722586656472014715452136130252215459269709689069583964\ 40562840639046323861100845/5678966282078488256041122391097844996287\ 514038090945172292153328451885257276321526718084879*c_0110_5^30 + 4641040827476581905583342838183058751731375065139283801995519225008\ 746448797711507778711181/567896628207848825604112239109784499628751\ 4038090945172292153328451885257276321526718084879*c_0110_5^29 + 1887044165537771762620972381498639778935174345273648977178293119504\ 7665310598067386371210080/56789662820784882560411223910978449962875\ 14038090945172292153328451885257276321526718084879*c_0110_5^28 - 4348582017525909711939267072436232830072252445076803090199772345553\ 4184228751437123891510081/56789662820784882560411223910978449962875\ 14038090945172292153328451885257276321526718084879*c_0110_5^27 + 5690168812118453958766824941997357511230258493832928293800856806627\ 9825948311593743340249513/56789662820784882560411223910978449962875\ 14038090945172292153328451885257276321526718084879*c_0110_5^26 + 4371570034604455771996240004387006861795100447090414521703219891608\ 6774169071675972435718668/56789662820784882560411223910978449962875\ 14038090945172292153328451885257276321526718084879*c_0110_5^25 - 3132647784782650310118760836784976171864600562427130045834560032048\ 79688776343215618888501393/5678966282078488256041122391097844996287\ 514038090945172292153328451885257276321526718084879*c_0110_5^24 + 3429944480889218621124517221893855694326941309852351877683164155384\ 01903456878489477513436325/5678966282078488256041122391097844996287\ 514038090945172292153328451885257276321526718084879*c_0110_5^23 - 7198548950575985182961646192105732410966981609645553324367113040872\ 77261311709410942795888542/5678966282078488256041122391097844996287\ 514038090945172292153328451885257276321526718084879*c_0110_5^22 - 1693798930590979184880960587961480306862694507929433201053599956938\ 78750811620411020965754880/5678966282078488256041122391097844996287\ 514038090945172292153328451885257276321526718084879*c_0110_5^21 - 1218465121381232490186809497320354717561337695585916380348482689153\ 375712284995176695673510647/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^20 - 2877623272392364792383244395905444317286251204215955740167580095853\ 548177955163443535015048139/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^19 + 4353351576328199543402479202441415229417273997970464813600036669932\ 629947711837385395316339317/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^18 - 7911319068354849727546089204682442511774418866973640686451014846831\ 260035634873433083151936479/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^17 + 1064990292298223771615106656984197487588713246118708222100901930057\ 451714170113061821755576244/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^16 + 1353743860706303086108857697822506843628939622657568787979911621553\ 8088118104859126632564440056/56789662820784882560411223910978449962\ 87514038090945172292153328451885257276321526718084879*c_0110_5^15 - 6962360940516982471477700383343842298267069354119843400575532596207\ 695693584925072423786166478/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^14 + 7509852343536222857719706123509656193962407443900236352556740015428\ 431603703094966077849591308/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^13 + 3471867660348583639678988531409628095591775529616949075194814351860\ 6913410557761421926825447954/56789662820784882560411223910978449962\ 87514038090945172292153328451885257276321526718084879*c_0110_5^12 + 6695587397399677492371845410616498662531671416670602304530091432216\ 030488363812415140384807452/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^11 - 2711454579020257151951239953262816823052108959978564248537884247817\ 6596421351433943649861139951/56789662820784882560411223910978449962\ 87514038090945172292153328451885257276321526718084879*c_0110_5^10 - 2229548470343677685624078046211239809139275407411193324611301006376\ 7713236721447890944860525023/56789662820784882560411223910978449962\ 87514038090945172292153328451885257276321526718084879*c_0110_5^9 - 4998820877329465197919262047747588087479633088705096019133134448433\ 969995914560854389753863375/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^8 + 2050444915833592792058653195574561565725122486419320072723447183765\ 63282015176431764494541362/2469115774816734024365705387433845650559\ 78871221345442273571883845734141620709631596438473*c_0110_5^7 + 3699673024509157970855123572409333602727121651692348721830929205726\ 899548457464876838585565027/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^6 + 1809309509667316768022390655495466643967197554406793348366114253167\ 89463017962227894974723960/5678966282078488256041122391097844996287\ 514038090945172292153328451885257276321526718084879*c_0110_5^5 - 2313563623663740394458569154563938719395982045767676523297778153572\ 19220572071522294742672627/5678966282078488256041122391097844996287\ 514038090945172292153328451885257276321526718084879*c_0110_5^4 - 3410895193235259722748088877490959004641070972317229648606616964461\ 6899327545484702882329039/56789662820784882560411223910978449962875\ 14038090945172292153328451885257276321526718084879*c_0110_5^3 - 6639713313069975269067716239407240209189159366975977022730441766652\ 607515812017178629500005/567896628207848825604112239109784499628751\ 4038090945172292153328451885257276321526718084879*c_0110_5^2 + 5513081203186030857425942085630919096678424659579746082243796070594\ 342593496754077447960104/567896628207848825604112239109784499628751\ 4038090945172292153328451885257276321526718084879*c_0110_5 - 2433266254425921872295505067712793135371619704296138704001680154200\ 804817329535556747876414/567896628207848825604112239109784499628751\ 4038090945172292153328451885257276321526718084879, c_0011_4 + 364222285609363097647126564046674038437884715444964796490106\ 95037126267690634664079857974/5678966282078488256041122391097844996\ 287514038090945172292153328451885257276321526718084879*c_0110_5^31 - 5718973239083678978426966949887320409001736179711653066261232567275\ 79005388807647639719145/5678966282078488256041122391097844996287514\ 038090945172292153328451885257276321526718084879*c_0110_5^30 + 2308184271446574356151907671292610525805715782172432728161139795915\ 357395946517256370667990/567896628207848825604112239109784499628751\ 4038090945172292153328451885257276321526718084879*c_0110_5^29 + 1478209393384579612578804009779588463141138866327800988249205239790\ 439531602592407399265786/567896628207848825604112239109784499628751\ 4038090945172292153328451885257276321526718084879*c_0110_5^28 - 2080025980934430954427954135925200492822486392107120743046978132279\ 3147899142897702391092925/56789662820784882560411223910978449962875\ 14038090945172292153328451885257276321526718084879*c_0110_5^27 + 3960966161850731375694792541310522766061069101781860595700144359618\ 9548775629035114453843246/56789662820784882560411223910978449962875\ 14038090945172292153328451885257276321526718084879*c_0110_5^26 - 2692611155786016510843645221377812869449047342644554057476789930731\ 9978740276348710258118406/56789662820784882560411223910978449962875\ 14038090945172292153328451885257276321526718084879*c_0110_5^25 - 9120038168581299054745153209435128720554314720868632568316766593784\ 2661088589693467034285734/56789662820784882560411223910978449962875\ 14038090945172292153328451885257276321526718084879*c_0110_5^24 + 2598748443479991811454036545950621927650618858300650179160610250866\ 84647096853562055428286822/5678966282078488256041122391097844996287\ 514038090945172292153328451885257276321526718084879*c_0110_5^23 - 3836804021844178979008070914532014476016810393396072744422087212312\ 76472051452515488315276012/5678966282078488256041122391097844996287\ 514038090945172292153328451885257276321526718084879*c_0110_5^22 + 4238906398352770004266319789251214561301236405598634718338337243982\ 68948786904256730099079089/5678966282078488256041122391097844996287\ 514038090945172292153328451885257276321526718084879*c_0110_5^21 - 2670390819686649829244551992536474086497679749589564952757206214362\ 29485940966362540479332454/5678966282078488256041122391097844996287\ 514038090945172292153328451885257276321526718084879*c_0110_5^20 + 1336950787335568175399711153466359361598523902414577438332321904989\ 48100801018086503463090800/5678966282078488256041122391097844996287\ 514038090945172292153328451885257276321526718084879*c_0110_5^19 + 2556566057899170928945222757139415587308609845171107244490920681650\ 290444587121722126066498284/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^18 - 4443999285574306391743209595152357989350333148174906363536947460255\ 970963282774746680983449348/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^17 + 5239767035803094052552572927569637000015818436447039867470104036707\ 763898061470847480150208400/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^16 + 1654907315682333697585178028726536401995400900093546123352634221520\ 619925908925920422859435258/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^15 - 8657102242464129670585849198545798500506035524233344634998070688554\ 269550927094993595222261134/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^14 + 5688808522375961045690383693148282508711698295505062250266586427423\ 283401349686984356122489570/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^13 + 3199211507147223769291898550647726550655784664227129057406426082598\ 420456318419238671905362876/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^12 - 1782102591103293348720109690779405436564276648975734752337765459993\ 2570208615841056728481409641/56789662820784882560411223910978449962\ 87514038090945172292153328451885257276321526718084879*c_0110_5^11 - 9452752913167726228908265404498373076718915200308793786764361821244\ 311461037401186236391691382/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^10 + 1048202163355798686571663426843061468036033503872178438397186427728\ 7057276932065630248040264602/56789662820784882560411223910978449962\ 87514038090945172292153328451885257276321526718084879*c_0110_5^9 + 1138468247324424216196424805245041572975191570249275847166280152600\ 7402297080153666640761816433/56789662820784882560411223910978449962\ 87514038090945172292153328451885257276321526718084879*c_0110_5^8 + 1447194337428831805436845017795277912818570646551150586940903737552\ 43070158879515810209215161/2469115774816734024365705387433845650559\ 78871221345442273571883845734141620709631596438473*c_0110_5^7 - 2098908721714816647541719485662293309817098712904800501850734859494\ 866231661779707422825058652/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^6 - 1897267112828119132488794231980700425540473180660010756858831890434\ 976746427742527824779349290/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^5 - 1009166063143083544006882663817169818736583661949093242492888903762\ 46218374999557045391454433/5678966282078488256041122391097844996287\ 514038090945172292153328451885257276321526718084879*c_0110_5^4 + 2013719993208893074750357049455189062069278722766381307421659694393\ 25278330311438672622525511/5678966282078488256041122391097844996287\ 514038090945172292153328451885257276321526718084879*c_0110_5^3 + 1004437595742068515315282733957849774091288281114472240024010938371\ 3974310418847138927473323/56789662820784882560411223910978449962875\ 14038090945172292153328451885257276321526718084879*c_0110_5^2 - 1063029037550330892922633826438578804275285190730092372675203511859\ 1114528894541032510111332/56789662820784882560411223910978449962875\ 14038090945172292153328451885257276321526718084879*c_0110_5 + 4829164511787482892340910020307298363587662796717563680983214782620\ 89093893324410880437352/5678966282078488256041122391097844996287514\ 038090945172292153328451885257276321526718084879, c_0101_0 - 122921711666740379900533129341553530967909880093944341729975\ 123352037220503972137563148912/567896628207848825604112239109784499\ 6287514038090945172292153328451885257276321526718084879*c_0110_5^31 + 16698789527339277325569996767542493531052043529007025542352303246\ 74066357372645073059946966/5678966282078488256041122391097844996287\ 514038090945172292153328451885257276321526718084879*c_0110_5^30 - 4305090462669672308724650105141687870920061803425285133304671846813\ 789918184733251140639670/567896628207848825604112239109784499628751\ 4038090945172292153328451885257276321526718084879*c_0110_5^29 - 1355974185003320035961082982946539866482542956186948671482900948361\ 5780798997312066629267632/56789662820784882560411223910978449962875\ 14038090945172292153328451885257276321526718084879*c_0110_5^28 + 4163238555940778440459691122609776481255204974417765691676092315934\ 5920194953960592872826511/56789662820784882560411223910978449962875\ 14038090945172292153328451885257276321526718084879*c_0110_5^27 - 5601378532688452117017348305763000389129007492350817046127142612072\ 3146373883262157088206133/56789662820784882560411223910978449962875\ 14038090945172292153328451885257276321526718084879*c_0110_5^26 - 2535408259962523045687158883094699211848336417519935189751182135536\ 6742323299599478660323952/56789662820784882560411223910978449962875\ 14038090945172292153328451885257276321526718084879*c_0110_5^25 + 2757345007198491959250125301951772895170185508711110114946551997657\ 79583608104439201455133585/5678966282078488256041122391097844996287\ 514038090945172292153328451885257276321526718084879*c_0110_5^24 - 3726875769537918637193377250659743103017785271786709322629081707978\ 93837333082057283802004561/5678966282078488256041122391097844996287\ 514038090945172292153328451885257276321526718084879*c_0110_5^23 + 6107321443220307944641156959609499261827036479183526964831599630301\ 70754943414913299545088661/5678966282078488256041122391097844996287\ 514038090945172292153328451885257276321526718084879*c_0110_5^22 - 1390593605371415628739194565644609508349977389707818426119573930059\ 3820964965603606204581186/56789662820784882560411223910978449962875\ 14038090945172292153328451885257276321526718084879*c_0110_5^21 + 7086908030195787986240076468570043005360452766409526776912638944546\ 04340905728989382512993053/5678966282078488256041122391097844996287\ 514038090945172292153328451885257276321526718084879*c_0110_5^20 + 1859827467767002589230893437565334884867191541493628307910131696443\ 259431024921785674527508712/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^19 - 4623991766538053001356716882447695816892178211106666065962194228801\ 218310537125239453662424047/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^18 + 7206846770967714803402407171957026089796781058553156728342815520450\ 180824382720803213646858645/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^17 - 2370617345842654734748494856700746378933179079166943025788678560748\ 173667824230345009392635781/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^16 - 1226998871148111860452317706220520897628496814034512654441073694057\ 2666165871165014322623879893/56789662820784882560411223910978449962\ 87514038090945172292153328451885257276321526718084879*c_0110_5^15 + 1113421913692553299320386546630495158319897602564821430924338926030\ 1702676140621930568968916581/56789662820784882560411223910978449962\ 87514038090945172292153328451885257276321526718084879*c_0110_5^14 - 5536223429891470755985307353386354755799047380734768329701952493694\ 136025216425852376482365296/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^13 - 2734362855168217763213035883199261663455019947789849187456221967557\ 9579485906322002206221434142/56789662820784882560411223910978449962\ 87514038090945172292153328451885257276321526718084879*c_0110_5^12 + 9044021527349814874247503098946868698665112880278312051614787260798\ 822078392896959499686661195/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^11 + 2995736455528329485215551297744494650046693685630002107049763408250\ 2121545754721342581819848457/56789662820784882560411223910978449962\ 87514038090945172292153328451885257276321526718084879*c_0110_5^10 + 5755486835117395833522539492557542369081723905567289585207477844743\ 845192589312176343421263968/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^9 - 1019495884207237997359352535309373723201548886136535514894644003862\ 6444460323148512752134012035/56789662820784882560411223910978449962\ 87514038090945172292153328451885257276321526718084879*c_0110_5^8 - 3111495451613392699065136490625413326298740059769928865628885728423\ 43001484218852016139657116/2469115774816734024365705387433845650559\ 78871221345442273571883845734141620709631596438473*c_0110_5^7 - 4703193752675696014576086778531665513313121761022906684977316167435\ 7479075186621752848341565/56789662820784882560411223910978449962875\ 14038090945172292153328451885257276321526718084879*c_0110_5^6 + 2564059592540192549895155609907634027323824602109759561936016527174\ 880718339930886576109506340/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^5 + 5635471000350854591760088201452486428325765011441274311086904388848\ 23173035391821819547063740/5678966282078488256041122391097844996287\ 514038090945172292153328451885257276321526718084879*c_0110_5^4 - 3397294093564519825524318559798004029961886761414157201221379820106\ 98539371386492205570628418/5678966282078488256041122391097844996287\ 514038090945172292153328451885257276321526718084879*c_0110_5^3 - 5236509217188301361372910323754170916616316041431289534306504051249\ 6093198332629682733778211/56789662820784882560411223910978449962875\ 14038090945172292153328451885257276321526718084879*c_0110_5^2 + 1294833060442093366247109842599598057265710931913757432939582132570\ 7321157848278262721184510/56789662820784882560411223910978449962875\ 14038090945172292153328451885257276321526718084879*c_0110_5 - 1292805981678308292306828867835131757774461692887600917686487491279\ 99898781568788571418240/5678966282078488256041122391097844996287514\ 038090945172292153328451885257276321526718084879, c_0101_1 - 162014328696348858405128111581816096386456179361926254546331\ 931298494099992640778007179336/567896628207848825604112239109784499\ 6287514038090945172292153328451885257276321526718084879*c_0110_5^31 + 21990973236486541017666849612533845207652906253959909056125241862\ 55973875333843980819671680/5678966282078488256041122391097844996287\ 514038090945172292153328451885257276321526718084879*c_0110_5^30 - 5709541013439887749968678445706392357423953089255622299484859499903\ 316526710729009807749909/567896628207848825604112239109784499628751\ 4038090945172292153328451885257276321526718084879*c_0110_5^29 - 1711321672628460223689212511317270149095824643494476439771985243240\ 0257994161817213533942371/56789662820784882560411223910978449962875\ 14038090945172292153328451885257276321526718084879*c_0110_5^28 + 5249098474532052532172741483578827539318638689475131236349084467296\ 1144050998968296229240311/56789662820784882560411223910978449962875\ 14038090945172292153328451885257276321526718084879*c_0110_5^27 - 7941774414622380083034792699072101620238637960647084485136025991222\ 9496504453421535348524065/56789662820784882560411223910978449962875\ 14038090945172292153328451885257276321526718084879*c_0110_5^26 - 1452219437729566473191877132352623686936745727886524599413291958444\ 1347144818533870504812375/56789662820784882560411223910978449962875\ 14038090945172292153328451885257276321526718084879*c_0110_5^25 + 3320818550894866345338758078614177217323282205231167644819716317702\ 63017226612212028621490543/5678966282078488256041122391097844996287\ 514038090945172292153328451885257276321526718084879*c_0110_5^24 - 4892803199192033828501369118349202681965842905505208314254239962537\ 84907263461383789291675850/5678966282078488256041122391097844996287\ 514038090945172292153328451885257276321526718084879*c_0110_5^23 + 9205744164843879123640161004595488122658544181231528030914391757795\ 29509854562029103169394519/5678966282078488256041122391097844996287\ 514038090945172292153328451885257276321526718084879*c_0110_5^22 - 1970023460177924952504965797893408514946086374871274150407897750906\ 04573157210023705652441685/5678966282078488256041122391097844996287\ 514038090945172292153328451885257276321526718084879*c_0110_5^21 + 1295452749291347010161376500230068869947754284432808035734349903566\ 815829745849084973637262982/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^20 + 2351641652263457098335564424452277002996611297610692440951794425417\ 327476366808720851108515701/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^19 - 5547505287520533691107825050265386958954693549437389449654627609600\ 135784447503545681267031762/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^18 + 1025784969054352596167592238828128767457950188987552127414389177299\ 0697634283960193284528412975/56789662820784882560411223910978449962\ 87514038090945172292153328451885257276321526718084879*c_0110_5^17 - 5099069875689548000355048033459076614021993669300400291923769233869\ 975832722245324181242661509/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^16 - 1224204529538971181130270432965298646554185131691293146208766561503\ 8809230172151644704200916233/56789662820784882560411223910978449962\ 87514038090945172292153328451885257276321526718084879*c_0110_5^15 + 1219780769751694610105216326024259860897092546694795801025630680510\ 6979015016426660898974476036/56789662820784882560411223910978449962\ 87514038090945172292153328451885257276321526718084879*c_0110_5^14 - 1123989755530285691583338040290490128939189289187576077735875362670\ 0311847675759750849029036861/56789662820784882560411223910978449962\ 87514038090945172292153328451885257276321526718084879*c_0110_5^13 - 3166301762744009463851047081259497183272085272047974081784060865024\ 2244756749153178555743116065/56789662820784882560411223910978449962\ 87514038090945172292153328451885257276321526718084879*c_0110_5^12 + 6865391732927057451051679380433406764386131785490666778543830016594\ 984394281163838055060111043/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^11 + 2858592537877311835895012374746465057129782080160041421228999123605\ 3643615107176774796142543584/56789662820784882560411223910978449962\ 87514038090945172292153328451885257276321526718084879*c_0110_5^10 + 1071470936037597743240317158933922371251477346726799223666160613221\ 4206896607139193623124236660/56789662820784882560411223910978449962\ 87514038090945172292153328451885257276321526718084879*c_0110_5^9 - 3345720280550171855393964001330141017151704363241302365763044851931\ 331249781698993293965008932/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^8 - 2301229688702939767687351298627938757822609001484215112152253912427\ 63721542141067793098390364/2469115774816734024365705387433845650559\ 78871221345442273571883845734141620709631596438473*c_0110_5^7 - 9841421166327173560257042047894647716892828850425411639689801863227\ 84573083909548019808451786/5678966282078488256041122391097844996287\ 514038090945172292153328451885257276321526718084879*c_0110_5^6 + 1162456819570071588274312347532848594632558822786661206999069075245\ 757641189133402769792976564/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^5 + 1860685368606268452589526944958844582559975752038461772537189289437\ 54985972644777741438620499/5678966282078488256041122391097844996287\ 514038090945172292153328451885257276321526718084879*c_0110_5^4 - 1147496588007306589811504090730895168434599078692427649345681582821\ 10780041105314590591779736/5678966282078488256041122391097844996287\ 514038090945172292153328451885257276321526718084879*c_0110_5^3 + 2875598676542811236502480506924529771018165200978539412826806155748\ 57286863381081731664688/5678966282078488256041122391097844996287514\ 038090945172292153328451885257276321526718084879*c_0110_5^2 + 3416607262179156110385661987592319987725839999632625899971166183236\ 039775082478080679079730/567896628207848825604112239109784499628751\ 4038090945172292153328451885257276321526718084879*c_0110_5 - 4929004031021388025356007380579249522280797021075143123474078609318\ 402376168693690106723894/567896628207848825604112239109784499628751\ 4038090945172292153328451885257276321526718084879, c_0101_5 - 395743470544107796679823478417030922535149662605537837730904\ 189937050637802526933035052009/567896628207848825604112239109784499\ 6287514038090945172292153328451885257276321526718084879*c_0110_5^31 + 54508783994224275289003045353483855937266422760915930980335829360\ 19760867013947303358269317/5678966282078488256041122391097844996287\ 514038090945172292153328451885257276321526718084879*c_0110_5^30 - 1503062321024256807439688789471493000468411819462753950392084568794\ 2177361914122695374514123/56789662820784882560411223910978449962875\ 14038090945172292153328451885257276321526718084879*c_0110_5^29 - 3888551838394473175640592842944333961553646415739749765877208858900\ 4143653297379886600872602/56789662820784882560411223910978449962875\ 14038090945172292153328451885257276321526718084879*c_0110_5^28 + 1361727408716813979371545707450752015638478995922149605545880130008\ 30291441922275433564011238/5678966282078488256041122391097844996287\ 514038090945172292153328451885257276321526718084879*c_0110_5^27 - 2202802988180373624123483438382884917402052262239322833714640765252\ 46387822152125334360182233/5678966282078488256041122391097844996287\ 514038090945172292153328451885257276321526718084879*c_0110_5^26 + 7212579623437552431774761445309472648768664650335075470896242681395\ 060050274227632356471765/567896628207848825604112239109784499628751\ 4038090945172292153328451885257276321526718084879*c_0110_5^25 + 8116346555232456653751586839590196305858247332555370041559408785527\ 05954767220207358122594453/5678966282078488256041122391097844996287\ 514038090945172292153328451885257276321526718084879*c_0110_5^24 - 1355090886415064535052502603742800989390790992466995552559293709765\ 025453115492946276103550529/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^23 + 2507854342317108042413010139127341398054824886373633386067054603198\ 104734205625637609599694361/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^22 - 9750208706775596169012135461593468342727137499300117354324299456788\ 89156789856944786033276550/5678966282078488256041122391097844996287\ 514038090945172292153328451885257276321526718084879*c_0110_5^21 + 3327066745565375464635048383774435649101726904242238851681645552083\ 150979569116866222187599144/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^20 + 5059494251889811198453791414659609467741507876791055511029818918219\ 338045981107624978040124595/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^19 - 1464574374974430325571994203575223920768078417933391784412022945415\ 7051962375250912767588029707/56789662820784882560411223910978449962\ 87514038090945172292153328451885257276321526718084879*c_0110_5^18 + 2781438055645435736443844096483429619493019567841444256549677444555\ 2263918268707556629164442609/56789662820784882560411223910978449962\ 87514038090945172292153328451885257276321526718084879*c_0110_5^17 - 1792291081096019162034252036241666793773640037687076952001612432571\ 8850497133723405627593626007/56789662820784882560411223910978449962\ 87514038090945172292153328451885257276321526718084879*c_0110_5^16 - 2664434990824784845162471281858535860266012434128365443023983850864\ 2162876523892655096975579264/56789662820784882560411223910978449962\ 87514038090945172292153328451885257276321526718084879*c_0110_5^15 + 3507489301310094137221496149621736694288572512745000190510763504238\ 1521375797467854655202817620/56789662820784882560411223910978449962\ 87514038090945172292153328451885257276321526718084879*c_0110_5^14 - 3402547317797455742114213861561941197333434452939957518451894707524\ 5693227106232485898958230347/56789662820784882560411223910978449962\ 87514038090945172292153328451885257276321526718084879*c_0110_5^13 - 7043503583896904087346445243170629440200863401686741077484676692390\ 5760399589165199600562943441/56789662820784882560411223910978449962\ 87514038090945172292153328451885257276321526718084879*c_0110_5^12 + 3138196546137517210658366200186413046247858020965556499980604168483\ 4388073128674211452094955412/56789662820784882560411223910978449962\ 87514038090945172292153328451885257276321526718084879*c_0110_5^11 + 6509241634920165915513527441204124437987375303522748213553788903163\ 7432439056886277456719391955/56789662820784882560411223910978449962\ 87514038090945172292153328451885257276321526718084879*c_0110_5^10 + 1476107840364273433777682506853503436802829618158637661477332727400\ 0835535613929037728182458227/56789662820784882560411223910978449962\ 87514038090945172292153328451885257276321526718084879*c_0110_5^9 - 1143903900140220097425898249212603529178904182135019977362423530315\ 3660886217227152279254527101/56789662820784882560411223910978449962\ 87514038090945172292153328451885257276321526718084879*c_0110_5^8 - 5424719875939185119734380949110290668357594458465273532898641532304\ 89221083484844827072417720/2469115774816734024365705387433845650559\ 78871221345442273571883845734141620709631596438473*c_0110_5^7 - 1183816591142160341556958840636496560987788027465938160009632457015\ 163365601791790505905592901/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^6 + 2952455651764978190192382329177858646994299063991198668680760329536\ 637321120570098365675828225/567896628207848825604112239109784499628\ 7514038090945172292153328451885257276321526718084879*c_0110_5^5 - 1736203803753452662476820909120673273543524523230229343616841430698\ 2708712022646846477527877/56789662820784882560411223910978449962875\ 14038090945172292153328451885257276321526718084879*c_0110_5^4 - 2420297792774851638948349119520416405808279501884157931635559204351\ 18134094895282863556199373/5678966282078488256041122391097844996287\ 514038090945172292153328451885257276321526718084879*c_0110_5^3 + 3245987691584936552337107064761135776833889727945019827191283439905\ 4989431775432159425187031/56789662820784882560411223910978449962875\ 14038090945172292153328451885257276321526718084879*c_0110_5^2 - 6310524665457044443806761110927454314596110462010626588403079151879\ 562410879934949392390290/567896628207848825604112239109784499628751\ 4038090945172292153328451885257276321526718084879*c_0110_5 + 9766081985740077613115165490528381009559442418104078479962476116937\ 44152361693579116522762/5678966282078488256041122391097844996287514\ 038090945172292153328451885257276321526718084879, c_0110_5^32 - 14*c_0110_5^31 + 41*c_0110_5^30 + 91*c_0110_5^29 - 370*c_0110_5^28 + 625*c_0110_5^27 - 111*c_0110_5^26 - 2101*c_0110_5^25 + 3891*c_0110_5^24 - 6915*c_0110_5^23 + 3566*c_0110_5^22 - 8344*c_0110_5^21 - 11131*c_0110_5^20 + 40735*c_0110_5^19 - 77420*c_0110_5^18 + 57640*c_0110_5^17 + 63935*c_0110_5^16 - 108361*c_0110_5^15 + 99739*c_0110_5^14 + 166984*c_0110_5^13 - 128168*c_0110_5^12 - 163505*c_0110_5^11 + 7269*c_0110_5^10 + 52552*c_0110_5^9 + 28753*c_0110_5^8 - 6241*c_0110_5^7 - 10858*c_0110_5^6 + 1369*c_0110_5^5 + 1141*c_0110_5^4 - 256*c_0110_5^3 + 5*c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.270 seconds, Total memory usage: 32.09MB