Magma V2.19-8 Tue Aug 20 2013 16:17:19 on localhost [Seed = 1141233811] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1555 geometric_solution 5.34294561 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 -1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.489812942915 0.435657750392 0 3 2 4 0132 0132 1230 0132 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.860143041152 1.013830944331 3 0 4 1 2310 0132 0132 3012 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0.860143041152 1.013830944331 3 1 2 3 3012 0132 3201 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.135356162674 0.744239771261 5 5 1 2 0132 2310 0132 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 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.154638114851 1.232927052037 4 6 6 4 0132 0132 3201 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.387066761966 0.401388179246 5 5 6 6 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.554737618952 0.415155170410 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0101_2']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0101_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0101_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), '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' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 1716274133567295891511234766938835495463747825272637305571727914208\ 8517561799/10467086723939575413477475225295316375807796395673631775\ 2099240291721720005*c_0101_6^29 + 494549071186736020018073377674629\ 00744623013642451775544032284877590260734369/1046708672393957541347\ 74752252953163758077963956736317752099240291721720005*c_0101_6^28 + 5205155261953925031858673244329702957721653799775444824688104534913\ 27661235873/1046708672393957541347747522529531637580779639567363177\ 52099240291721720005*c_0101_6^27 + 1738053032603567042197026887620959273381460355494860631240318240272\ 336086053523/209341734478791508269549504505906327516155927913472635\ 504198480583443440010*c_0101_6^26 - 3477392529212058488426558942139897486405782842940118630697134680006\ 714235241133/104670867239395754134774752252953163758077963956736317\ 752099240291721720005*c_0101_6^25 - 6403223381536508028630764862384945123650791486099453119127739753975\ 2018907453753/20934173447879150826954950450590632751615592791347263\ 5504198480583443440010*c_0101_6^24 - 1311174955965131373689001009620107677842343992153023731335510710969\ 09894785959409/2093417344787915082695495045059063275161559279134726\ 35504198480583443440010*c_0101_6^23 + 1424273076425050106344173491515490481966548308490494742818527535606\ 3208868965337/41868346895758301653909900901181265503231185582694527\ 100839696116688688002*c_0101_6^22 + 5141606008057565700127247022781531143975926574984939491511372710374\ 92442286282211/2093417344787915082695495045059063275161559279134726\ 35504198480583443440010*c_0101_6^21 + 3349690732196303556064837183620577966163285328388092154698124442164\ 44716887428678/1046708672393957541347747522529531637580779639567363\ 17752099240291721720005*c_0101_6^20 + 1439481614884237587174256670972853818539479677870976227101191721578\ 29930465277109/2093417344787915082695495045059063275161559279134726\ 35504198480583443440010*c_0101_6^19 - 5799997510247125817527882769699103060490751474949250487800078070746\ 03160555950909/2093417344787915082695495045059063275161559279134726\ 35504198480583443440010*c_0101_6^18 - 4200687083547557743172503844533662572206614632263817435958997967186\ 51844069836169/1046708672393957541347747522529531637580779639567363\ 17752099240291721720005*c_0101_6^17 - 8754822455335603055244444772640002754389165071467615150254964006366\ 05715602342449/2093417344787915082695495045059063275161559279134726\ 35504198480583443440010*c_0101_6^16 - 1604456956930449092529842794900771087661466451054807658776165146394\ 77500369965877/4186834689575830165390990090118126550323118558269452\ 7100839696116688688002*c_0101_6^15 - 1265189086501968404590855824087155790004164370643263765736234321442\ 97386975201167/1903106677079922802450450040962784795601417526486114\ 8682199861871222130910*c_0101_6^14 - 1405966153948200933414463832037327669985282793607348021747888925662\ 553435789740223/209341734478791508269549504505906327516155927913472\ 635504198480583443440010*c_0101_6^13 - 4001854978846570843396663339627733320572966239360943028633821495764\ 66935601119859/1046708672393957541347747522529531637580779639567363\ 17752099240291721720005*c_0101_6^12 - 6058853358610756722084843731338377267298637907648000014740240631345\ 2128659722011/41868346895758301653909900901181265503231185582694527\ 100839696116688688002*c_0101_6^11 + 2107342454577711225596001918915314732730339233862398948284948195638\ 59827167355271/1046708672393957541347747522529531637580779639567363\ 17752099240291721720005*c_0101_6^10 + 1139526693802846986417632770786836857248874873681684118445034655166\ 27817841098821/1046708672393957541347747522529531637580779639567363\ 17752099240291721720005*c_0101_6^9 + 1110834605084550715728500358548000764906554176433969668607215628078\ 6091563862266/20934173447879150826954950450590632751615592791347263\ 550419848058344344001*c_0101_6^8 + 1699083198090964566046882902458673578068460134228929299280558190933\ 2762165594099/10467086723939575413477475225295316375807796395673631\ 7752099240291721720005*c_0101_6^7 - 2041010972979906480744004514532525709583945704747926496837598587753\ 375218415299/951553338539961401225225020481392397800708763243057434\ 1099930935611065455*c_0101_6^6 + 2271681969698495839211943000883253\ 172233986008444819972972738580785806509830987/418683468957583016539\ 09900901181265503231185582694527100839696116688688002*c_0101_6^5 + 8029333533123820845009280988492938062539698264554144888541557026895\ 29165604693/4186834689575830165390990090118126550323118558269452710\ 0839696116688688002*c_0101_6^4 + 3156225107191041783017076459933434\ 363418548192742074767715425065331771595623713/209341734478791508269\ 549504505906327516155927913472635504198480583443440010*c_0101_6^3 + 2380942815438476024727337816840333318162476753032169041399750141460\ 219928506563/104670867239395754134774752252953163758077963956736317\ 752099240291721720005*c_0101_6^2 + 2115995530281502952201187074968392171724174301354799419250390480420\ 81262846527/1046708672393957541347747522529531637580779639567363177\ 52099240291721720005*c_0101_6 - 21188893519350884142530061969255698\ 9722199336536751237125472378692302572553219/20934173447879150826954\ 9504505906327516155927913472635504198480583443440010, c_0011_0 - 1, c_0011_4 - 358231807033113727875177924182217318094456841296137219062854\ 4072371865146/19031066770799228024504500409627847956014175264861148\ 68219986187122213091*c_0101_6^29 + 9938979616863390564942939227364294073120752095464905202562144571890\ 966272/190310667707992280245045004096278479560141752648611486821998\ 6187122213091*c_0101_6^28 + 109855114382011484429114447485493889926\ 571073274744550514398848817151573213/190310667707992280245045004096\ 2784795601417526486114868219986187122213091*c_0101_6^27 + 1926824879339404977263672192615905403541278433955712173429675242443\ 62806246/1903106677079922802450450040962784795601417526486114868219\ 986187122213091*c_0101_6^26 - 7094504886001880384855377116253163438\ 38882617318535819522269951796640413297/1903106677079922802450450040\ 962784795601417526486114868219986187122213091*c_0101_6^25 - 6764493962760707648390371453671445439963706475380101582025734629835\ 328007905/190310667707992280245045004096278479560141752648611486821\ 9986187122213091*c_0101_6^24 - 143765838310066251843687760687783706\ 13725498213317382273178921310796752457645/1903106677079922802450450\ 040962784795601417526486114868219986187122213091*c_0101_6^23 + 6153650008735026853904494957121796713545333798477230082293648806940\ 539053614/190310667707992280245045004096278479560141752648611486821\ 9986187122213091*c_0101_6^22 + 547855032981890470434036703993383989\ 94122997572187339092978241138392257764037/1903106677079922802450450\ 040962784795601417526486114868219986187122213091*c_0101_6^21 + 7531945973385581153716021332071758726447612397671751817064532202315\ 0494447514/19031066770799228024504500409627847956014175264861148682\ 19986187122213091*c_0101_6^20 + 21059908550015847026401578172289355\ 779990716669210526149998485855875294701835/190310667707992280245045\ 0040962784795601417526486114868219986187122213091*c_0101_6^19 - 6041981895693352980702501474096178192452767981844639830037848157741\ 7846736416/19031066770799228024504500409627847956014175264861148682\ 19986187122213091*c_0101_6^18 - 94007024474980888571607612029934100\ 092883929534003166438982637752085245776897/190310667707992280245045\ 0040962784795601417526486114868219986187122213091*c_0101_6^17 - 9900925892071605113872858016243076111647430112442262906204728087577\ 1885656162/19031066770799228024504500409627847956014175264861148682\ 19986187122213091*c_0101_6^16 - 91609387262254770182542543858991629\ 151448349073648524353498280198919989336741/190310667707992280245045\ 0040962784795601417526486114868219986187122213091*c_0101_6^15 - 1522992189102077377758071871068924229183496994286086254379182439202\ 09766811734/1903106677079922802450450040962784795601417526486114868\ 219986187122213091*c_0101_6^14 - 1605817302095019076007133909620849\ 73069458473814760334971817297084418909657167/1903106677079922802450\ 450040962784795601417526486114868219986187122213091*c_0101_6^13 - 9565383937576821673749849840389448868331638855286475192385726522121\ 7021954100/19031066770799228024504500409627847956014175264861148682\ 19986187122213091*c_0101_6^12 - 37619316688028158668913711092626199\ 364437178710507503185611560892916363578052/190310667707992280245045\ 0040962784795601417526486114868219986187122213091*c_0101_6^11 + 4186909872605018951446827651423107042415874239611896644279171440960\ 7428499468/19031066770799228024504500409627847956014175264861148682\ 19986187122213091*c_0101_6^10 + 28886990432174630831134318200355477\ 434324247617553371344703858197195092985334/190310667707992280245045\ 0040962784795601417526486114868219986187122213091*c_0101_6^9 + 1271112241148877685119915054934864534237211293300083777829181582170\ 8008467468/19031066770799228024504500409627847956014175264861148682\ 19986187122213091*c_0101_6^8 + 463092419843993238951891024147199335\ 8805033464907963435781919842972469385224/19031066770799228024504500\ 40962784795601417526486114868219986187122213091*c_0101_6^7 - 4548400464164478717765594234278156549036208851129421399702605679536\ 809130500/190310667707992280245045004096278479560141752648611486821\ 9986187122213091*c_0101_6^6 + 6590943817102294561970173260227995544\ 75497953867046929719199794850762443641/1903106677079922802450450040\ 962784795601417526486114868219986187122213091*c_0101_6^5 + 6872249705574845456247591451973103262694076357994645799727635532199\ 37400539/1903106677079922802450450040962784795601417526486114868219\ 986187122213091*c_0101_6^4 + 28410309507332539655125969722518300766\ 8286939599035964134172077227131851789/19031066770799228024504500409\ 62784795601417526486114868219986187122213091*c_0101_6^3 + 5513039822705133111821922906962548788013838297531461977470902754308\ 35498925/1903106677079922802450450040962784795601417526486114868219\ 986187122213091*c_0101_6^2 + 81566983897227955597171637151441940340\ 714967831376885327124849696616442020/190310667707992280245045004096\ 2784795601417526486114868219986187122213091*c_0101_6 - 2656264999369320152279388858250546427118024911377807721249509944154\ 6656407/19031066770799228024504500409627847956014175264861148682199\ 86187122213091, c_0101_0 - 111546256871855560068484946572770729757277238506968283639870\ 715626436702/190310667707992280245045004096278479560141752648611486\ 8219986187122213091*c_0101_6^29 + 342415562793119828107988692648200\ 024271483542350863653410540956225980455/190310667707992280245045004\ 0962784795601417526486114868219986187122213091*c_0101_6^28 + 3329579204422681449605910649609882090316371471401938160851900161154\ 646056/190310667707992280245045004096278479560141752648611486821998\ 6187122213091*c_0101_6^27 + 498635623116650764004053177637501353791\ 6800907415171577630234649120156814/19031066770799228024504500409627\ 84795601417526486114868219986187122213091*c_0101_6^26 - 2386529796886857483274481852147975700167767536997414981712808363641\ 4024573/19031066770799228024504500409627847956014175264861148682199\ 86187122213091*c_0101_6^25 - 20404249940595126977037943374921556882\ 7375799295941576766020931336440858343/19031066770799228024504500409\ 62784795601417526486114868219986187122213091*c_0101_6^24 - 3852280050724941168577436061160512340889823124781044199419180232876\ 13008289/1903106677079922802450450040962784795601417526486114868219\ 986187122213091*c_0101_6^23 + 3238834190699902343348058035846929739\ 65464541468153417692160870350075018806/1903106677079922802450450040\ 962784795601417526486114868219986187122213091*c_0101_6^22 + 1645287534144983706536435877769843239845579700966332943942556432941\ 302808353/190310667707992280245045004096278479560141752648611486821\ 9986187122213091*c_0101_6^21 + 182818811876869499584908296632599866\ 6041465396207776673123056416148676274499/19031066770799228024504500\ 40962784795601417526486114868219986187122213091*c_0101_6^20 - 4155079146018290821857207386626773775037207444159389432767805152271\ 2501818/19031066770799228024504500409627847956014175264861148682199\ 86187122213091*c_0101_6^19 - 20366140856631473577498503925265916388\ 04751918719458212389972379612785736544/1903106677079922802450450040\ 962784795601417526486114868219986187122213091*c_0101_6^18 - 2295294778962814741984326182911287156221954327981257094031185250004\ 626391444/190310667707992280245045004096278479560141752648611486821\ 9986187122213091*c_0101_6^17 - 217828969515650082625893492387581980\ 5304881507799333676696072528512758338450/19031066770799228024504500\ 40962784795601417526486114868219986187122213091*c_0101_6^16 - 1990200491163125905438368772212583976255070830046609671803771156050\ 071461995/190310667707992280245045004096278479560141752648611486821\ 9986187122213091*c_0101_6^15 - 399297322866232464606956507322049790\ 9045733023849500416401655622774405951026/19031066770799228024504500\ 40962784795601417526486114868219986187122213091*c_0101_6^14 - 3682511932116200118479164916558848042534651361156937985254694505483\ 029013418/190310667707992280245045004096278479560141752648611486821\ 9986187122213091*c_0101_6^13 - 156704716627375450157601356689891680\ 0596570535649575164129035656935721386528/19031066770799228024504500\ 40962784795601417526486114868219986187122213091*c_0101_6^12 - 4124966421934250417751302666845293824062576181897556707899177213720\ 46502368/1903106677079922802450450040962784795601417526486114868219\ 986187122213091*c_0101_6^11 + 1495219875122034301312679577498290272\ 645186548464113378027683767981131711985/190310667707992280245045004\ 0962784795601417526486114868219986187122213091*c_0101_6^10 + 4031620208609904951407740198560111675831468763674247212836082492515\ 05776362/1903106677079922802450450040962784795601417526486114868219\ 986187122213091*c_0101_6^9 + 10335486876915710753977100450001519969\ 5187968898443682500493156368355836934/19031066770799228024504500409\ 62784795601417526486114868219986187122213091*c_0101_6^8 + 5837265413142403103427805778647314460885109568729627261742542448844\ 6848662/19031066770799228024504500409627847956014175264861148682199\ 86187122213091*c_0101_6^7 - 157991129901519072353522455299291939464\ 718569520502404769671452982011403753/190310667707992280245045004096\ 2784795601417526486114868219986187122213091*c_0101_6^6 + 7682693048815420539317158862654432017710473355327860690978262819353\ 7780507/19031066770799228024504500409627847956014175264861148682199\ 86187122213091*c_0101_6^5 + 729158942103194474103363518689170062677\ 3655889063382725036197620575986194/19031066770799228024504500409627\ 84795601417526486114868219986187122213091*c_0101_6^4 + 5833093907952841257287984630154669142957210094399856902721673166840\ 207483/190310667707992280245045004096278479560141752648611486821998\ 6187122213091*c_0101_6^3 + 1471631687382753161672423058445556646165\ 1231225849656572634506588559355750/19031066770799228024504500409627\ 84795601417526486114868219986187122213091*c_0101_6^2 - 7566380092220899571828449175964264660654867964080065541986801458916\ 23336/1903106677079922802450450040962784795601417526486114868219986\ 187122213091*c_0101_6 + 3130339134742053369812090491940316079171877\ 56386452589047422961985341177/1903106677079922802450450040962784795\ 601417526486114868219986187122213091, c_0101_1 - 823617654205790498136814184586159179487450640806176042414299\ 29583180717/1903106677079922802450450040962784795601417526486114868\ 219986187122213091*c_0101_6^29 + 2476725799380167744570902683957878\ 43403756604186603930585259243891603553/1903106677079922802450450040\ 962784795601417526486114868219986187122213091*c_0101_6^28 + 2453687904787619698201353815939941352623346776079270052311865355387\ 247341/190310667707992280245045004096278479560141752648611486821998\ 6187122213091*c_0101_6^27 + 389934443268954193795211939622604995278\ 1059076628419414913947038853584318/19031066770799228024504500409627\ 84795601417526486114868219986187122213091*c_0101_6^26 - 1677401305897233249056076813454201360670960338395280799171801282451\ 6178936/19031066770799228024504500409627847956014175264861148682199\ 86187122213091*c_0101_6^25 - 15087108599708961834061255829117856767\ 9823980082956852362292283040186849713/19031066770799228024504500409\ 62784795601417526486114868219986187122213091*c_0101_6^24 - 2984247282738818592232778421672529544893351571007178928696696776571\ 64068481/1903106677079922802450450040962784795601417526486114868219\ 986187122213091*c_0101_6^23 + 1836454580028227057111340137388526182\ 81878030424075684952993638127331725731/1903106677079922802450450040\ 962784795601417526486114868219986187122213091*c_0101_6^22 + 1160737389490390918415841565646490998399732833258484160640853957395\ 899980259/190310667707992280245045004096278479560141752648611486821\ 9986187122213091*c_0101_6^21 + 149544235531904903162053871131209554\ 6241953241863465583304288844374715070824/19031066770799228024504500\ 40962784795601417526486114868219986187122213091*c_0101_6^20 + 3694204867203698246555433365336797545234370118681683259320374277633\ 62680138/1903106677079922802450450040962784795601417526486114868219\ 986187122213091*c_0101_6^19 - 1193600259716921390371142159815158299\ 575113283598041037507033226740265677057/190310667707992280245045004\ 0962784795601417526486114868219986187122213091*c_0101_6^18 - 1872607969278589134459947717506490810726564759404849146233492405787\ 949929462/190310667707992280245045004096278479560141752648611486821\ 9986187122213091*c_0101_6^17 - 214701978047522263206418794228150961\ 6017516931569829516788923248333334767001/19031066770799228024504500\ 40962784795601417526486114868219986187122213091*c_0101_6^16 - 1951983312706569036132679348368317564763519400706716342761116659222\ 146344899/190310667707992280245045004096278479560141752648611486821\ 9986187122213091*c_0101_6^15 - 333619663662218843061905579988032694\ 5383637064453799757262709713959297480411/19031066770799228024504500\ 40962784795601417526486114868219986187122213091*c_0101_6^14 - 3192280850212273476792408238267207799624516484245011627279633014245\ 978753155/190310667707992280245045004096278479560141752648611486821\ 9986187122213091*c_0101_6^13 - 200498844307256156631001033771528636\ 1175124755359244459338693337024604137534/19031066770799228024504500\ 40962784795601417526486114868219986187122213091*c_0101_6^12 - 9823673756516268862567712472571937082758021182042377519693561287598\ 88439672/1903106677079922802450450040962784795601417526486114868219\ 986187122213091*c_0101_6^11 + 9432689072132585171122562966542658187\ 21979987727127133929928874697713950346/1903106677079922802450450040\ 962784795601417526486114868219986187122213091*c_0101_6^10 + 4007127170061082095531648345643624162847257570797515141356822678752\ 07175312/1903106677079922802450450040962784795601417526486114868219\ 986187122213091*c_0101_6^9 + 36863574970079533089831076451745157494\ 1580189460472576124675700801691408241/19031066770799228024504500409\ 62784795601417526486114868219986187122213091*c_0101_6^8 + 9434196439735635379862015297045972202456513223132011059077716796988\ 8373933/19031066770799228024504500409627847956014175264861148682199\ 86187122213091*c_0101_6^7 - 158268247078418546770157414869845568897\ 573826982451014897503216526880462653/190310667707992280245045004096\ 2784795601417526486114868219986187122213091*c_0101_6^6 + 4541091627235939077491151452504936256551316132659578855738678154202\ 9647004/19031066770799228024504500409627847956014175264861148682199\ 86187122213091*c_0101_6^5 - 112451090405163117180824952563644364756\ 46800633409160295682200816434663529/1903106677079922802450450040962\ 784795601417526486114868219986187122213091*c_0101_6^4 + 1595109975230243447285049521265973447941968947123004989970806336754\ 8802096/19031066770799228024504500409627847956014175264861148682199\ 86187122213091*c_0101_6^3 + 191398073393999693904696515069457344059\ 29586976849865630598036565801404428/1903106677079922802450450040962\ 784795601417526486114868219986187122213091*c_0101_6^2 - 1266423851886506823214291598107215249657237263899456104444869470948\ 638627/190310667707992280245045004096278479560141752648611486821998\ 6187122213091*c_0101_6 + 881263501311402794236996331518201463534315\ 320086429967328631571990028788/190310667707992280245045004096278479\ 5601417526486114868219986187122213091, c_0101_2 + 423976492887207773206084385895660233130015746758912202114003\ 3948220576418/19031066770799228024504500409627847956014175264861148\ 68219986187122213091*c_0101_6^29 - 1211247847295254637107439584718634292512829888266886921041996997130\ 1924748/19031066770799228024504500409627847956014175264861148682199\ 86187122213091*c_0101_6^28 - 12888584506920816122260434639062690672\ 7202211808827569182166115442617587461/19031066770799228024504500409\ 62784795601417526486114868219986187122213091*c_0101_6^27 - 2178454771000818721936896516715825737181818440541363259950227838413\ 72458242/1903106677079922802450450040962784795601417526486114868219\ 986187122213091*c_0101_6^26 + 8537356505984327716886341796724650542\ 50652889090046536154292896298204590330/1903106677079922802450450040\ 962784795601417526486114868219986187122213091*c_0101_6^25 + 7930147332223351166233454121211239817372622199593414610065935641254\ 731425067/190310667707992280245045004096278479560141752648611486821\ 9986187122213091*c_0101_6^24 + 163900031883352232149647548120739288\ 80030807341060036741640104697141914700856/1903106677079922802450450\ 040962784795601417526486114868219986187122213091*c_0101_6^23 - 8396523567593305750538436927782418656751413124883687805815305005544\ 325379153/190310667707992280245045004096278479560141752648611486821\ 9986187122213091*c_0101_6^22 - 637200115009013991663161633930321314\ 89077529683459923748514191239113688635406/1903106677079922802450450\ 040962784795601417526486114868219986187122213091*c_0101_6^21 - 8430415210742802922328410127137548834316577088415683780004012328633\ 6168953894/19031066770799228024504500409627847956014175264861148682\ 19986187122213091*c_0101_6^20 - 19823936564965914222613282578046830\ 916238126690621998215654391073857111723719/190310667707992280245045\ 0040962784795601417526486114868219986187122213091*c_0101_6^19 + 7116336532126366414519434960068839591986316832228256987780660931276\ 9823791801/19031066770799228024504500409627847956014175264861148682\ 19986187122213091*c_0101_6^18 + 10549068881898382372019678921708276\ 4176275997274016937569334103685833674914129/19031066770799228024504\ 50040962784795601417526486114868219986187122213091*c_0101_6^17 + 1106907183242815857812583102577389566223124350904522617915666175200\ 00968468742/1903106677079922802450450040962784795601417526486114868\ 219986187122213091*c_0101_6^16 + 1018023267781363671490611219506704\ 85080139646729138012318337971919105280820788/1903106677079922802450\ 450040962784795601417526486114868219986187122213091*c_0101_6^15 + 1743955152621516300654091261282127504374103108360759842477971478280\ 55360803097/1903106677079922802450450040962784795601417526486114868\ 219986187122213091*c_0101_6^14 + 1779446281579372618749443854573668\ 54397193806494132526254929221981769244466352/1903106677079922802450\ 450040962784795601417526486114868219986187122213091*c_0101_6^13 + 1031853701738542156721435103078286778362939025580163180508104218155\ 77915751485/1903106677079922802450450040962784795601417526486114868\ 219986187122213091*c_0101_6^12 + 3994357045150217717461828903338896\ 0780560915551042134828702474703138846125901/19031066770799228024504\ 50040962784795601417526486114868219986187122213091*c_0101_6^11 - 5103100908453032192006631914736571162329399468727075468996424683934\ 3284362166/19031066770799228024504500409627847956014175264861148682\ 19986187122213091*c_0101_6^10 - 29403216495531710362193684312625853\ 494760978982659004352431932552665612280429/190310667707992280245045\ 0040962784795601417526486114868219986187122213091*c_0101_6^9 - 1439726271764871892926608586435708944773978368983230319783885846746\ 2758323991/19031066770799228024504500409627847956014175264861148682\ 19986187122213091*c_0101_6^8 - 456551926423980381505867567059862010\ 9101862008211669676287313223103519866427/19031066770799228024504500\ 40962784795601417526486114868219986187122213091*c_0101_6^7 + 5429473561831704741298626827979408080437035468042638984709478015010\ 164160290/190310667707992280245045004096278479560141752648611486821\ 9986187122213091*c_0101_6^6 - 1250867358830502816329910132565514718\ 968020118297783941712497361610250039438/190310667707992280245045004\ 0962784795601417526486114868219986187122213091*c_0101_6^5 - 5453103741620149595361863371607349428360729169117563607049572704566\ 38372842/1903106677079922802450450040962784795601417526486114868219\ 986187122213091*c_0101_6^4 - 38883749900276804820323382133586611198\ 7152816875054701915215011645528857557/19031066770799228024504500409\ 62784795601417526486114868219986187122213091*c_0101_6^3 - 6020676311630024209264538444334526445127511013902397276058824353404\ 65517892/1903106677079922802450450040962784795601417526486114868219\ 986187122213091*c_0101_6^2 - 64988481073595096678076744322647988504\ 158497846376705493028534454801975320/190310667707992280245045004096\ 2784795601417526486114868219986187122213091*c_0101_6 + 2558651435582095113981726948232506662403994726373652729178193876275\ 2594953/19031066770799228024504500409627847956014175264861148682199\ 86187122213091, c_0101_3 + 460276320685666714056104545344562505280381139959693041684086\ 9192520213099/19031066770799228024504500409627847956014175264861148\ 68219986187122213091*c_0101_6^29 - 1348515099243352965231665144084402512939746577896362116431018490596\ 3016104/19031066770799228024504500409627847956014175264861148682199\ 86187122213091*c_0101_6^28 - 13884658007908125058894457671980789651\ 5674802937068409484489270590347024711/19031066770799228024504500409\ 62784795601417526486114868219986187122213091*c_0101_6^27 - 2266684413339998798930536170763605826658021553778170952122987157940\ 27548474/1903106677079922802450450040962784795601417526486114868219\ 986187122213091*c_0101_6^26 + 9407167233036771368970086617094178612\ 98373629731392728775123190309259756590/1903106677079922802450450040\ 962784795601417526486114868219986187122213091*c_0101_6^25 + 8536917068162860527045226834318424490528129640638646003612167739873\ 332659220/190310667707992280245045004096278479560141752648611486821\ 9986187122213091*c_0101_6^24 + 171905392518503349471275440257111891\ 12130400373241061040893833819131964747704/1903106677079922802450450\ 040962784795601417526486114868219986187122213091*c_0101_6^23 - 1020703877348023760630513439172047587057796387421605733943657969106\ 5256527422/19031066770799228024504500409627847956014175264861148682\ 19986187122213091*c_0101_6^22 - 68145936259801811565977647390592870\ 635584699076301372652957780361389020949966/190310667707992280245045\ 0040962784795601417526486114868219986187122213091*c_0101_6^21 - 8685004517359146136777899310201123567751310187781140363044175044613\ 4338705951/19031066770799228024504500409627847956014175264861148682\ 19986187122213091*c_0101_6^20 - 16435257728768938202766919639070525\ 376200093604427416070711247633628101434769/190310667707992280245045\ 0040962784795601417526486114868219986187122213091*c_0101_6^19 + 7715888109581630563067867278583587539614813855514351689206252806492\ 1592834467/19031066770799228024504500409627847956014175264861148682\ 19986187122213091*c_0101_6^18 + 10900748843508885201106837824681944\ 7452598563297520897183833061695224241183752/19031066770799228024504\ 50040962784795601417526486114868219986187122213091*c_0101_6^17 + 1137025844911371552627467556178515138327319200041302374793387311599\ 52800482866/1903106677079922802450450040962784795601417526486114868\ 219986187122213091*c_0101_6^16 + 1038796337098007584477683540250518\ 80586603421197650251164283881629339204237112/1903106677079922802450\ 450040962784795601417526486114868219986187122213091*c_0101_6^15 + 1834511466268948134208925094886414301701520967958857959572289194887\ 03044902882/1903106677079922802450450040962784795601417526486114868\ 219986187122213091*c_0101_6^14 + 1812975815428889272677773883459097\ 05898207191906876647371648336226206952583222/1903106677079922802450\ 450040962784795601417526486114868219986187122213091*c_0101_6^13 + 1019124676238834459782272073173787705420130733005591777065067019859\ 66701259792/1903106677079922802450450040962784795601417526486114868\ 219986187122213091*c_0101_6^12 + 3845574007951642606956601864386536\ 4551957682388831431376636750685866813914622/19031066770799228024504\ 50040962784795601417526486114868219986187122213091*c_0101_6^11 - 5705609238449791343805844210938041643043139360609362305481955925445\ 6226653158/19031066770799228024504500409627847956014175264861148682\ 19986187122213091*c_0101_6^10 - 27381773944392293659695598225865262\ 797606583324709826639597994381565018106651/190310667707992280245045\ 0040962784795601417526486114868219986187122213091*c_0101_6^9 - 1488017196390431517570491322335503749194640729532604095686016337094\ 6641331095/19031066770799228024504500409627847956014175264861148682\ 19986187122213091*c_0101_6^8 - 401820503368216787846917616762268442\ 5865824788158635321992294251711343529947/19031066770799228024504500\ 40962784795601417526486114868219986187122213091*c_0101_6^7 + 5937092599798478794065501963469150969875114950719289404876234570792\ 935644446/190310667707992280245045004096278479560141752648611486821\ 9986187122213091*c_0101_6^6 - 1790610631122458349408183142263122393\ 588968505856402918952495738389921221523/190310667707992280245045004\ 0962784795601417526486114868219986187122213091*c_0101_6^5 - 3352176005309259153781968153181636779857292550588740331691351343807\ 28644836/1903106677079922802450450040962784795601417526486114868219\ 986187122213091*c_0101_6^4 - 46655734203840204591889125452086615446\ 5514653572325992906789126087277138473/19031066770799228024504500409\ 62784795601417526486114868219986187122213091*c_0101_6^3 - 6080504192247832225418850795120482767479389182647958995215684161293\ 92159171/1903106677079922802450450040962784795601417526486114868219\ 986187122213091*c_0101_6^2 - 41733600210115946598351576210255350603\ 933002862058398347628255761547286478/190310667707992280245045004096\ 2784795601417526486114868219986187122213091*c_0101_6 + 2228017191481532238046497730398507176492143012299272373203222851478\ 6895502/19031066770799228024504500409627847956014175264861148682199\ 86187122213091, c_0101_6^30 - 3*c_0101_6^29 - 30*c_0101_6^28 - 47*c_0101_6^27 + 209*c_0101_6^26 + 1842*c_0101_6^25 + 3596*c_0101_6^24 - 2551*c_0101_6^23 - 14777*c_0101_6^22 - 17703*c_0101_6^21 - 1694*c_0101_6^20 + 17599*c_0101_6^19 + 22470*c_0101_6^18 + 22381*c_0101_6^17 + 20089*c_0101_6^16 + 37514*c_0101_6^15 + 35923*c_0101_6^14 + 17999*c_0101_6^13 + 5653*c_0101_6^12 - 13509*c_0101_6^11 - 5246*c_0101_6^10 - 2267*c_0101_6^9 - 566*c_0101_6^8 + 1453*c_0101_6^7 - 477*c_0101_6^6 - 100*c_0101_6^5 - 66*c_0101_6^4 - 130*c_0101_6^3 + 6*c_0101_6^2 + 9*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB