Magma V2.19-8 Tue Aug 20 2013 16:16:27 on localhost [Seed = 947496153] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0737 geometric_solution 4.68593494 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 3201 0132 0 0 0 0 0 0 -1 1 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 1 -1 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 1.064717978627 0.785954289893 0 4 3 3 0132 0132 3201 2031 0 0 0 0 0 0 1 -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 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.175249672985 0.593001697767 0 0 5 5 2310 0132 3201 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.433413703709 0.874566609214 1 1 0 4 2310 1302 0132 2310 0 0 0 0 0 0 -1 1 -1 0 0 1 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 -1 1 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.175249672985 0.593001697767 3 1 6 6 3201 0132 0132 3201 0 0 0 0 0 0 0 0 1 0 0 -1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.291293446566 0.498658532855 2 5 2 5 2310 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.820276439592 0.186500278832 6 4 6 4 2031 2310 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.077049383670 1.918457340017 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0011_3'], '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_3, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t + 1114120084260602139941565319598394324960414880106269400281018085470\ 6128/13484523914531484406877262975934403346946762744557868169757424\ 24411*c_0101_2^28 + 98494673364259992643549687716724380884531382830\ 07003432021500713404864/1348452391453148440687726297593440334694676\ 274455786816975742424411*c_0101_2^27 - 3314160936606885696885653245869995294248214600830507759550995342938\ 76784/1348452391453148440687726297593440334694676274455786816975742\ 424411*c_0101_2^26 - 1750213439305607494217049153166653082917205156\ 462980771845583740980552268/404535717435944532206317889278032100408\ 4028823367360450927227273233*c_0101_2^25 + 9649805657571209988962953689815395740909541171208442761938144276158\ 375748/404535717435944532206317889278032100408402882336736045092722\ 7273233*c_0101_2^24 + 242754467781784437208300906324229840793540527\ 84623321747233619000985922190/4045357174359445322063178892780321004\ 084028823367360450927227273233*c_0101_2^23 - 3183597764308090804597933310824444096072407213287234342628400322775\ 1864021/40453571743594453220631788927803210040840288233673604509272\ 27273233*c_0101_2^22 - 11606791605151434490119334182417894454197588\ 0635823591416219551918865673299/40453571743594453220631788927803210\ 04084028823367360450927227273233*c_0101_2^21 + 1740666836157899326237801429308617255148078870197317412110907742896\ 6499629/13484523914531484406877262975934403346946762744557868169757\ 42424411*c_0101_2^20 + 30946428494237173451635017377380107241797961\ 1246617951319552883590305379089/40453571743594453220631788927803210\ 04084028823367360450927227273233*c_0101_2^19 - 1612550464457876581933088514177084973779347262749693491952259505673\ 9873469/13484523914531484406877262975934403346946762744557868169757\ 42424411*c_0101_2^18 - 18039924225755336465117707082461003026794699\ 4602766686541847168290860319557/13484523914531484406877262975934403\ 34694676274455786816975742424411*c_0101_2^17 + 9876590455468477674973121261889655181506919300767983963082656468231\ 670785/134845239145314844068772629759344033469467627445578681697574\ 2424411*c_0101_2^16 + 218795324024000858387751042236228082308035507\ 323664050729158602227610622767/134845239145314844068772629759344033\ 4694676274455786816975742424411*c_0101_2^15 - 2614628301633803226833629314583826540185074792195448575007451153802\ 2131777/40453571743594453220631788927803210040840288233673604509272\ 27273233*c_0101_2^14 - 55710176871064327620054398261935285988380848\ 1471893857737380225396749747875/40453571743594453220631788927803210\ 04084028823367360450927227273233*c_0101_2^13 + 3642618883970582119932570728460885004741536189166787165233403481257\ 8616027/40453571743594453220631788927803210040840288233673604509272\ 27273233*c_0101_2^12 + 32478445302684144744251580306071644860352296\ 7804802044658810292015955639114/40453571743594453220631788927803210\ 04084028823367360450927227273233*c_0101_2^11 - 3400150666796342285158259338832967991248243673542169142789560556002\ 1649521/40453571743594453220631788927803210040840288233673604509272\ 27273233*c_0101_2^10 - 41413428322336193836763020677802556128796453\ 611010163648296188367113090907/134845239145314844068772629759344033\ 4694676274455786816975742424411*c_0101_2^9 + 1745833182219506533088007937902367004656911664069087837899561772327\ 5400403/40453571743594453220631788927803210040840288233673604509272\ 27273233*c_0101_2^8 + 287275427522428332346140548975382935869140905\ 16251664252655659651108115979/4045357174359445322063178892780321004\ 084028823367360450927227273233*c_0101_2^7 - 4456249370190266803498353613763914676277137489301475660340702639085\ 256984/404535717435944532206317889278032100408402882336736045092722\ 7273233*c_0101_2^6 - 3479152718806297026869492712156416548407544952\ 390388604290594513942259702/404535717435944532206317889278032100408\ 4028823367360450927227273233*c_0101_2^5 + 1300286587740031308878412389917582721900267697523677134474100011841\ 44122/1348452391453148440687726297593440334694676274455786816975742\ 424411*c_0101_2^4 + 61130326456639837404061303525709133801201354116\ 946771042577449977414749/134845239145314844068772629759344033469467\ 6274455786816975742424411*c_0101_2^3 + 4640139374613845011877944567010956063107170057772242513486337702495\ 029/134845239145314844068772629759344033469467627445578681697574242\ 4411*c_0101_2^2 - 4296280432147132841939678694376178827098211048551\ 910422453498304865402/404535717435944532206317889278032100408402882\ 3367360450927227273233*c_0101_2 - 179671363059852375793380531675094\ 0811880202227490008411623733254521372/40453571743594453220631788927\ 80321004084028823367360450927227273233, c_0011_0 - 1, c_0011_3 - 746652404484940039549814250631949838568497748292007374414602\ 402927104/134845239145314844068772629759344033469467627445578681697\ 5742424411*c_0101_2^28 - 406908978347898248183907546401571768493612\ 514495653035162811238863824/134845239145314844068772629759344033469\ 4676274455786816975742424411*c_0101_2^27 + 2241571670643695503472097421650460445344491543434707162226145543902\ 9136/13484523914531484406877262975934403346946762744557868169757424\ 24411*c_0101_2^26 + 31589399846806659274687977526771545564973569578\ 974814476834453873390784/134845239145314844068772629759344033469467\ 6274455786816975742424411*c_0101_2^25 - 2282445891553919130436230208079450019006064946045138803147999186727\ 03116/1348452391453148440687726297593440334694676274455786816975742\ 424411*c_0101_2^24 - 4693690912451937195153678928230235616279500172\ 62200963753872200266642496/1348452391453148440687726297593440334694\ 676274455786816975742424411*c_0101_2^23 + 8879279470552448731887235025530769762154220063545898331725640441128\ 10270/1348452391453148440687726297593440334694676274455786816975742\ 424411*c_0101_2^22 + 2349424901895441803036455271553912316037824380\ 374120615151527926102052261/134845239145314844068772629759344033469\ 4676274455786816975742424411*c_0101_2^21 - 2002987625030053033516759703366450067462221849575436244530418410255\ 481052/134845239145314844068772629759344033469467627445578681697574\ 2424411*c_0101_2^20 - 649223255689433516637783108441862098477410197\ 5090144129778782808652945109/13484523914531484406877262975934403346\ 94676274455786816975742424411*c_0101_2^19 + 3277595520424084504925472991382448488833597217064213315278924635724\ 554523/134845239145314844068772629759344033469467627445578681697574\ 2424411*c_0101_2^18 + 116262520642955079935542608101070883062665168\ 37847202659333814151956124845/1348452391453148440687726297593440334\ 694676274455786816975742424411*c_0101_2^17 - 4427530870167778486025392278053576524326393782093831796241137068484\ 073556/134845239145314844068772629759344033469467627445578681697574\ 2424411*c_0101_2^16 - 142365396887606201435012870404985923266056245\ 32736268880143411614327772277/1348452391453148440687726297593440334\ 694676274455786816975742424411*c_0101_2^15 + 5024189608413054485022236822114371467788238037892006110291988263105\ 992891/134845239145314844068772629759344033469467627445578681697574\ 2424411*c_0101_2^14 + 119902539810201589912383883579959371402617761\ 66647279028181366771022688473/1348452391453148440687726297593440334\ 694676274455786816975742424411*c_0101_2^13 - 4430354665807921310744125182378007008646842481787691196411327074154\ 635769/134845239145314844068772629759344033469467627445578681697574\ 2424411*c_0101_2^12 - 677673179580468563626057788944962803963587295\ 8463263063757848397631037374/13484523914531484406877262975934403346\ 94676274455786816975742424411*c_0101_2^11 + 2740598249737555182912802913199881042761695484974105890837878549128\ 812652/134845239145314844068772629759344033469467627445578681697574\ 2424411*c_0101_2^10 + 242412196254007191121747141216832083060535890\ 1486926778385451241283686678/13484523914531484406877262975934403346\ 94676274455786816975742424411*c_0101_2^9 - 1074520700080995262580180147032626122166588908426391356600679104475\ 620710/134845239145314844068772629759344033469467627445578681697574\ 2424411*c_0101_2^8 - 4892461583075942524196368986038449159434850661\ 96574718062101025101242585/1348452391453148440687726297593440334694\ 676274455786816975742424411*c_0101_2^7 + 2304365893366864676942968190524393703553058349387912160234369362587\ 09751/1348452391453148440687726297593440334694676274455786816975742\ 424411*c_0101_2^6 + 44462760469825898490724735964993949621090518807\ 179890607353626674940954/134845239145314844068772629759344033469467\ 6274455786816975742424411*c_0101_2^5 - 1868399259563242568515313683335062518277461427120918583394653411557\ 6944/13484523914531484406877262975934403346946762744557868169757424\ 24411*c_0101_2^4 - 191562259058280691755341942968184271894242866478\ 0382318659305969673301/13484523914531484406877262975934403346946762\ 74455786816975742424411*c_0101_2^3 - 2333604842801721010309622023966173664651361225134411476809566670350\ 38/1348452391453148440687726297593440334694676274455786816975742424\ 411*c_0101_2^2 + 20110347425852878260018554737818459336371872925815\ 5946115749111201750/13484523914531484406877262975934403346946762744\ 55786816975742424411*c_0101_2 + 18769287945836440716245677625420596\ 641010370880919437456271723379147/134845239145314844068772629759344\ 0334694676274455786816975742424411, c_0011_5 + 868759537261790591067964785695240384971888611362373697988317\ 880177232/134845239145314844068772629759344033469467627445578681697\ 5742424411*c_0101_2^28 + 573857051178187713048023451052142320193843\ 300853157943636940627920592/134845239145314844068772629759344033469\ 4676274455786816975742424411*c_0101_2^27 - 2596674969741027489313973910070894632225848723771509367454014772914\ 6384/13484523914531484406877262975934403346946762744557868169757424\ 24411*c_0101_2^26 - 39701633160543485414813373538561213129852227212\ 508259478553352020054068/134845239145314844068772629759344033469467\ 6274455786816975742424411*c_0101_2^25 + 2595612485934690353777195226488952621293996417147636168027727430121\ 10888/1348452391453148440687726297593440334694676274455786816975742\ 424411*c_0101_2^24 + 5732415365095464728191749822098747818642589597\ 13130672549729198120440222/1348452391453148440687726297593440334694\ 676274455786816975742424411*c_0101_2^23 - 9538107434987430960191124746554051790703668065410092939560299588414\ 66205/1348452391453148440687726297593440334694676274455786816975742\ 424411*c_0101_2^22 - 2805773678232651453765801355294676122004715425\ 442832852502442593796511484/134845239145314844068772629759344033469\ 4676274455786816975742424411*c_0101_2^21 + 1971535409158804286314428707100243137306115852381854982375156211824\ 445042/134845239145314844068772629759344033469467627445578681697574\ 2424411*c_0101_2^20 + 760966361588962585075719448567089270765542679\ 4294680995426408208632120930/13484523914531484406877262975934403346\ 94676274455786816975742424411*c_0101_2^19 - 2907496328260482841798919209223894182061379539975253239531381100802\ 122763/134845239145314844068772629759344033469467627445578681697574\ 2424411*c_0101_2^18 - 134304390384411561993492700953560600184250090\ 28328159882042489015848589620/1348452391453148440687726297593440334\ 694676274455786816975742424411*c_0101_2^17 + 3647130501043578195799274151693219072497929084043152288097272753813\ 832955/134845239145314844068772629759344033469467627445578681697574\ 2424411*c_0101_2^16 + 162700019116198855764968033924443222283439116\ 56104688697787387331025285295/1348452391453148440687726297593440334\ 694676274455786816975742424411*c_0101_2^15 - 4110370157590136919320947752545943300183055222317112487209316433634\ 855348/134845239145314844068772629759344033469467627445578681697574\ 2424411*c_0101_2^14 - 136041652059225626724505367078927646489218289\ 79012437673175779419340338734/1348452391453148440687726297593440334\ 694676274455786816975742424411*c_0101_2^13 + 3755917398320518152530842376506596926029829482098110371280211340075\ 905070/134845239145314844068772629759344033469467627445578681697574\ 2424411*c_0101_2^12 + 766025153169405437980464641654504323497927837\ 8212418167278500801576447323/13484523914531484406877262975934403346\ 94676274455786816975742424411*c_0101_2^11 - 2420081286300556488324893222358176320272700950084238062771669216868\ 475952/134845239145314844068772629759344033469467627445578681697574\ 2424411*c_0101_2^10 - 274013014516109302670474290795976998092306546\ 9515467760664484006260672535/13484523914531484406877262975934403346\ 94676274455786816975742424411*c_0101_2^9 + 9792621325308170532168705818203887195833749253783819505291780799035\ 43642/1348452391453148440687726297593440334694676274455786816975742\ 424411*c_0101_2^8 + 55575471549788711534833368653873672249702356259\ 0038230484272548393183446/13484523914531484406877262975934403346946\ 76274455786816975742424411*c_0101_2^7 - 2137556234794624739205420147598558623590537439548318951869356037558\ 98073/1348452391453148440687726297593440334694676274455786816975742\ 424411*c_0101_2^6 - 50830537770951190997321924217668171682323452175\ 471568186955365500243320/134845239145314844068772629759344033469467\ 6274455786816975742424411*c_0101_2^5 + 1712158465923874451016578172930825224651342322029689921929787820507\ 0006/13484523914531484406877262975934403346946762744557868169757424\ 24411*c_0101_2^4 + 193503158728415391968118687771689208171694971640\ 4102437080093576818268/13484523914531484406877262975934403346946762\ 74455786816975742424411*c_0101_2^3 + 2893655869406891626340250442543668973476219379340761565130378310168\ 18/1348452391453148440687726297593440334694676274455786816975742424\ 411*c_0101_2^2 - 18007956352580395265662256826650734864218953951640\ 5070496932068075624/13484523914531484406877262975934403346946762744\ 55786816975742424411*c_0101_2 - 19385819440907632664178450634164976\ 098303674316357929646477522762412/134845239145314844068772629759344\ 0334694676274455786816975742424411, c_0011_6 - 310681606908098317499636840492174288813621747608320479177055\ 8774333808/13484523914531484406877262975934403346946762744557868169\ 75742424411*c_0101_2^28 - 21528832132690871536391075429459652750169\ 44725397875904392372761396608/1348452391453148440687726297593440334\ 694676274455786816975742424411*c_0101_2^27 + 9277484982089079200584495179912997688732023767076332212867337773106\ 9616/13484523914531484406877262975934403346946762744557868169757424\ 24411*c_0101_2^26 + 14496170203632008622225488678559365910475623827\ 5098073801358059403732044/13484523914531484406877262975934403346946\ 76274455786816975742424411*c_0101_2^25 - 9230429293226417552667814049535386150803300832920158762166666818071\ 43044/1348452391453148440687726297593440334694676274455786816975742\ 424411*c_0101_2^24 - 2078770739386975397469499976522779661178154757\ 187919832527410441231379990/134845239145314844068772629759344033469\ 4676274455786816975742424411*c_0101_2^23 + 3339075878851889257895121794437425244203817787900820366522822558278\ 417173/134845239145314844068772629759344033469467627445578681697574\ 2424411*c_0101_2^22 + 101271564057491648355606449143262704194057191\ 92224153820816294474365325967/1348452391453148440687726297593440334\ 694676274455786816975742424411*c_0101_2^21 - 6710644155578374772457715556053425135606902827781923718803365937209\ 879785/134845239145314844068772629759344033469467627445578681697574\ 2424411*c_0101_2^20 - 273602480188620068926842597460932403191554107\ 19624905581787396240189698193/1348452391453148440687726297593440334\ 694676274455786816975742424411*c_0101_2^19 + 9506330144589258872602643385862858009874305986470945709812909501685\ 656012/134845239145314844068772629759344033469467627445578681697574\ 2424411*c_0101_2^18 + 481487486132258963311372651632813915581402590\ 44161085070034643661314514679/1348452391453148440687726297593440334\ 694676274455786816975742424411*c_0101_2^17 - 1151671740836703950019634722626567981026438897532904785140763138538\ 3457372/13484523914531484406877262975934403346946762744557868169757\ 42424411*c_0101_2^16 - 58221896520934368032800375645884289241492345\ 586584701355691976906291313685/134845239145314844068772629759344033\ 4694676274455786816975742424411*c_0101_2^15 + 1289749573031707057095671645569274252046162768617867080627221060503\ 2500838/13484523914531484406877262975934403346946762744557868169757\ 42424411*c_0101_2^14 + 48649202821744885408760454563877505201598167\ 317356746923781775632359908372/134845239145314844068772629759344033\ 4694676274455786816975742424411*c_0101_2^13 - 1195310557324909924130145400633345986673681260426400057800731816863\ 5746739/13484523914531484406877262975934403346946762744557868169757\ 42424411*c_0101_2^12 - 27410629411460084584355845664340925721133804\ 676443898686168506128999507788/134845239145314844068772629759344033\ 4694676274455786816975742424411*c_0101_2^11 + 7828479407000820783552498855798243955668248085825762688694849626789\ 689484/134845239145314844068772629759344033469467627445578681697574\ 2424411*c_0101_2^10 + 982692510312484030879427262826657181108335516\ 5785220899047865588642944039/13484523914531484406877262975934403346\ 94676274455786816975742424411*c_0101_2^9 - 3203361209958619407961491316976434745648863714780321428864616004845\ 230083/134845239145314844068772629759344033469467627445578681697574\ 2424411*c_0101_2^8 - 2002252078812246702458189756298241684502964565\ 976159022134665048102945935/134845239145314844068772629759344033469\ 4676274455786816975742424411*c_0101_2^7 + 7011228895453943708285690480286845657077802278647806603870790439526\ 82464/1348452391453148440687726297593440334694676274455786816975742\ 424411*c_0101_2^6 + 18431273553758225137669443287802088023675030363\ 9554993874473003074669891/13484523914531484406877262975934403346946\ 76274455786816975742424411*c_0101_2^5 - 5488444338667082865789637882828867361262927812669839565848364016732\ 9903/13484523914531484406877262975934403346946762744557868169757424\ 24411*c_0101_2^4 - 668113111579509302225382362611878148840511866398\ 5928824775861380598699/13484523914531484406877262975934403346946762\ 74455786816975742424411*c_0101_2^3 - 1168461482210797218731486688136291899135696856169277976171487002277\ 554/134845239145314844068772629759344033469467627445578681697574242\ 4411*c_0101_2^2 + 5790995918306960587383952197509032545811441551707\ 64549466487959054205/1348452391453148440687726297593440334694676274\ 455786816975742424411*c_0101_2 + 5975833847439940957622346987641228\ 7892416247318607871707781749070959/13484523914531484406877262975934\ 40334694676274455786816975742424411, c_0101_0 + 133105919086939811246921444783983369753450662367456799187335\ 9002953312/13484523914531484406877262975934403346946762744557868169\ 75742424411*c_0101_2^28 + 89030248256526416355141185198482088538990\ 5273196239329712505765480720/13484523914531484406877262975934403346\ 94676274455786816975742424411*c_0101_2^27 - 3978865874555512303408469729498236305197640281563861738042466528018\ 2752/13484523914531484406877262975934403346946762744557868169757424\ 24411*c_0101_2^26 - 61156410064705108336863997540648464328791847504\ 599874084427429031064680/134845239145314844068772629759344033469467\ 6274455786816975742424411*c_0101_2^25 + 3975134312444831783355233174154167230828869097609270997483895743630\ 77652/1348452391453148440687726297593440334694676274455786816975742\ 424411*c_0101_2^24 + 8818024136221670715686818205376101552349892124\ 41511100304321909763993112/1348452391453148440687726297593440334694\ 676274455786816975742424411*c_0101_2^23 - 1457635180194571267296305065956327024315997156087693615054827653195\ 736704/134845239145314844068772629759344033469467627445578681697574\ 2424411*c_0101_2^22 - 431518129737118370233982189562366485691565989\ 6881170722609108779716878849/13484523914531484406877262975934403346\ 94676274455786816975742424411*c_0101_2^21 + 3001117487307470837648113908105810734032264467746259191883963314237\ 793117/134845239145314844068772629759344033469467627445578681697574\ 2424411*c_0101_2^20 + 117058251471455696701456042377730985565577141\ 48664389850265137837239497875/1348452391453148440687726297593440334\ 694676274455786816975742424411*c_0101_2^19 - 4402777813469370590845302247300816795435411578735109590425462861554\ 013779/134845239145314844068772629759344033469467627445578681697574\ 2424411*c_0101_2^18 - 206716257188018636016154980650301353697253810\ 53926621517776384706654168440/1348452391453148440687726297593440334\ 694676274455786816975742424411*c_0101_2^17 + 5505651481081204141602257357956940895305067005297748617004091802304\ 563686/134845239145314844068772629759344033469467627445578681697574\ 2424411*c_0101_2^16 + 250658782509434330047951911778876374248747342\ 67943409424798420628322112710/1348452391453148440687726297593440334\ 694676274455786816975742424411*c_0101_2^15 - 6218765799119416200082153986262943800014786571939255821529147709722\ 637809/134845239145314844068772629759344033469467627445578681697574\ 2424411*c_0101_2^14 - 209862363318132047149843753126037244425081397\ 39426426975258254998079890589/1348452391453148440687726297593440334\ 694676274455786816975742424411*c_0101_2^13 + 5713584157045831639266052594453279334971679867587459626297928013581\ 307404/134845239145314844068772629759344033469467627445578681697574\ 2424411*c_0101_2^12 + 118357902371920370163802028703478506131873042\ 36676207538857012425563821243/1348452391453148440687726297593440334\ 694676274455786816975742424411*c_0101_2^11 - 3702387038249849413171081750172855455058538912896959069832733621836\ 022162/134845239145314844068772629759344033469467627445578681697574\ 2424411*c_0101_2^10 - 424113141376572712002736165988656613072678049\ 7164904534777157162391581323/13484523914531484406877262975934403346\ 94676274455786816975742424411*c_0101_2^9 + 1505430384332922820473875783248865470450723038623154494612147509641\ 160711/134845239145314844068772629759344033469467627445578681697574\ 2424411*c_0101_2^8 + 8615758931112440349831113962484111267371325917\ 36178815290860464020990505/1348452391453148440687726297593440334694\ 676274455786816975742424411*c_0101_2^7 - 3298949277102940470921240345334390307563582740738242649271287788313\ 73204/1348452391453148440687726297593440334694676274455786816975742\ 424411*c_0101_2^6 - 78833358779710602721428230135494969625423479015\ 846091955603218178934078/134845239145314844068772629759344033469467\ 6274455786816975742424411*c_0101_2^5 + 2648701778178682557266142112294449483794274860307648630916577724827\ 7747/13484523914531484406877262975934403346946762744557868169757424\ 24411*c_0101_2^4 + 298756537340209553993612831121581111650390718692\ 2019131722995192380391/13484523914531484406877262975934403346946762\ 74455786816975742424411*c_0101_2^3 + 4527483397702560213814788568148005803875528891456860861062617811692\ 71/1348452391453148440687726297593440334694676274455786816975742424\ 411*c_0101_2^2 - 27869796811838051133524393221260905480219896503968\ 1252488226664535777/13484523914531484406877262975934403346946762744\ 55786816975742424411*c_0101_2 - 29280434358459934163278710013647824\ 832780971584894860415803596077803/134845239145314844068772629759344\ 0334694676274455786816975742424411, c_0101_1 - 259738085512144572818266430446630114995969571803390856744825\ 6368672144/13484523914531484406877262975934403346946762744557868169\ 75742424411*c_0101_2^28 - 17345531556356058337955195538506741016251\ 20517373676553804403336401280/1348452391453148440687726297593440334\ 694676274455786816975742424411*c_0101_2^27 + 7763616647525645588000775727232203675081477220883453336508277891765\ 1744/13484523914531484406877262975934403346946762744557868169757424\ 24411*c_0101_2^26 + 11925601207718886729703376536945692929164422511\ 0432976388723355637287556/13484523914531484406877262975934403346946\ 76274455786816975742424411*c_0101_2^25 - 7755873574747992014869673664744722033852744842814685964149271192575\ 91132/1348452391453148440687726297593440334694676274455786816975742\ 424411*c_0101_2^24 - 1719686111246809533269293657694361082193548033\ 206742078850941861373291838/134845239145314844068772629759344033469\ 4676274455786816975742424411*c_0101_2^23 + 2843775314706160472963131326834573524729593238342853167213917570890\ 807219/134845239145314844068772629759344033469467627445578681697574\ 2424411*c_0101_2^22 + 841388538148262322601264115301802665554141230\ 6691316546809671288835299795/13484523914531484406877262975934403346\ 94676274455786816975742424411*c_0101_2^21 - 5854832035828820237174822953461473631820617766380397222797178231933\ 992664/134845239145314844068772629759344033469467627445578681697574\ 2424411*c_0101_2^20 - 228180239655282804282873749611250933092038156\ 40331795634000714317885382781/1348452391453148440687726297593440334\ 694676274455786816975742424411*c_0101_2^19 + 8588811900240023160632873995511511556389397506233580274750495125690\ 015121/134845239145314844068772629759344033469467627445578681697574\ 2424411*c_0101_2^18 + 402805059952880366997345597479403751389366604\ 75841529432973991420192420740/1348452391453148440687726297593440334\ 694676274455786816975742424411*c_0101_2^17 - 1073629589492370358054695473164753217069478068318295961306643880771\ 0220195/13484523914531484406877262975934403346946762744557868169757\ 42424411*c_0101_2^16 - 48821066931188553572099747586560513817169174\ 756057560527442619546245169419/134845239145314844068772629759344033\ 4694676274455786816975742424411*c_0101_2^15 + 1211639466929435624264284148585681503731456705732901809085518698480\ 5478460/13484523914531484406877262975934403346946762744557868169757\ 42424411*c_0101_2^14 + 40852144127354981647371306902379766791475075\ 662708981290190682448316470329/134845239145314844068772629759344033\ 4694676274455786816975742424411*c_0101_2^13 - 1111914876248731412712994139996441541925564358507765624322308484010\ 8167938/13484523914531484406877262975934403346946762744557868169757\ 42424411*c_0101_2^12 - 23023847739989935653200774399492052574039524\ 197412943091039091638076347293/134845239145314844068772629759344033\ 4694676274455786816975742424411*c_0101_2^11 + 7195630605476499552894113489368995336037073762064899003527267015066\ 922294/134845239145314844068772629759344033469467627445578681697574\ 2424411*c_0101_2^10 + 824313860297709599364707423210657492544588461\ 4945632538848217468726352785/13484523914531484406877262975934403346\ 94676274455786816975742424411*c_0101_2^9 - 2921131989081839755132726304489581948450545482910064494231433275965\ 335328/134845239145314844068772629759344033469467627445578681697574\ 2424411*c_0101_2^8 - 1672780858215292517125865441837227698158377291\ 091477440180692032119344091/134845239145314844068772629759344033469\ 4676274455786816975742424411*c_0101_2^7 + 6385895436817415575101046254073475180903462427545121569711878366875\ 52769/1348452391453148440687726297593440334694676274455786816975742\ 424411*c_0101_2^6 + 15287950968755358966626082012392692915687337556\ 3412163137367095115144698/13484523914531484406877262975934403346946\ 76274455786816975742424411*c_0101_2^5 - 5097236185616991796005972393794157616748573277302412594275268272743\ 4324/13484523914531484406877262975934403346946762744557868169757424\ 24411*c_0101_2^4 - 581215551923078290203709757027789932273058144802\ 4255665200261933143379/13484523914531484406877262975934403346946762\ 74455786816975742424411*c_0101_2^3 - 8888642984157938347187248661957430074276278299737781529689903172142\ 10/1348452391453148440687726297593440334694676274455786816975742424\ 411*c_0101_2^2 + 54170174972567026008723600152551718811308664826787\ 8200461019806955639/13484523914531484406877262975934403346946762744\ 55786816975742424411*c_0101_2 + 53817994179622563092187497910506598\ 296926553223090070690419605709617/134845239145314844068772629759344\ 0334694676274455786816975742424411, c_0101_2^29 + 1/3*c_0101_2^28 - 271/9*c_0101_2^27 - 431/12*c_0101_2^26 + 2825/9*c_0101_2^25 + 40475/72*c_0101_2^24 - 21049/16*c_0101_2^23 - 206795/72*c_0101_2^22 + 120037/36*c_0101_2^21 + 1155739/144*c_0101_2^20 - 898051/144*c_0101_2^19 - 690659/48*c_0101_2^18 + 446605/48*c_0101_2^17 + 156529/9*c_0101_2^16 - 524585/48*c_0101_2^15 - 2036981/144*c_0101_2^14 + 85667/9*c_0101_2^13 + 1068223/144*c_0101_2^12 - 91513/16*c_0101_2^11 - 107611/48*c_0101_2^10 + 104621/48*c_0101_2^9 + 38449/144*c_0101_2^8 - 66215/144*c_0101_2^7 + 375/16*c_0101_2^6 + 1411/36*c_0101_2^5 - 209/48*c_0101_2^4 - 29/72*c_0101_2^3 - 23/72*c_0101_2^2 + 7/144*c_0101_2 + 1/144 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB