Magma V2.19-8 Tue Aug 20 2013 16:17:50 on localhost [Seed = 1326371757] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2075 geometric_solution 5.59137146 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 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.489249923340 0.232120801436 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.842353346500 0.559436984559 1 4 3 5 0132 0132 3012 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.882448778189 1.017768007473 5 2 4 1 3201 1230 1023 0132 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 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.882448778189 1.017768007473 6 2 3 6 0132 0132 1023 3201 0 0 0 0 0 -1 0 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -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.170795252343 0.657568359918 5 5 2 3 1230 3012 0132 2310 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.093081885541 0.993274113538 4 4 6 6 0132 2310 1230 3012 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 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 2.045867619933 0.681081819508 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : negation(d['c_0011_5']), '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_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t - 1740000100204016587956998652622851728333421795197364700407051446755\ 8460212238879625868482234195987731323/62405365092498237582788142708\ 2594272065015946530689399734505913522183176321992003068724099211422\ 94650*c_0101_6^30 + 56917972402803916142537095053564314800211942919\ 84291892091545750942226176396640990326337233160076595884/8915052156\ 0711767975411632440370610295002278075812771390643701931740453760284\ 5718669605856016318495*c_0101_6^29 - 6952214901165517145135343648210708357923325806996290426771633207950\ 75160183810109339424523184382988434217/6240536509249823758278814270\ 8259427206501594653068939973450591352218317632199200306872409921142\ 294650*c_0101_6^28 - 1591675000200774258061602237323181244380079722\ 62799700073973183363206917967323924399702320186405838864833/7610410\ 3771339314125351393546657838056709261772035292650549501649046728819\ 7551223254541584404174325*c_0101_6^27 + 2219800908075387947991709443150218251453405994244152772913835660648\ 5647875387492044403835339079833871403731/62405365092498237582788142\ 7082594272065015946530689399734505913522183176321992003068724099211\ 42294650*c_0101_6^26 + 18248104264996036582880030739894513496174467\ 1491944911392787466245481215328710121108662052516900473642188749/62\ 4053650924982375827881427082594272065015946530689399734505913522183\ 17632199200306872409921142294650*c_0101_6^25 - 2228631598153177882266198205382204563034542934854140043879217090470\ 92498846014208247221173746578907207744251/6240536509249823758278814\ 2708259427206501594653068939973450591352218317632199200306872409921\ 142294650*c_0101_6^24 - 6282551159526942910262041228392927905814000\ 26638608884297092050428432547754154552072255644272019026618637583/3\ 1202682546249118791394071354129713603250797326534469986725295676109\ 158816099600153436204960571147325*c_0101_6^23 + 1554231004473602189227321966303327021877998739232498021529264626891\ 73209925138005415860356280272765844536173/8915052156071176797541163\ 2440370610295002278075812771390643701931740453760284571866960585601\ 63184950*c_0101_6^22 + 23056056845308683594884544221818979447617779\ 00966927964605573741704366200916095930831614254458585198084804721/3\ 1202682546249118791394071354129713603250797326534469986725295676109\ 158816099600153436204960571147325*c_0101_6^21 - 1371699656860937252878046230322190944851689090643127573201629789020\ 488650590331987188651757925082930437700379/312026825462491187913940\ 7135412971360325079732653446998672529567610915881609960015343620496\ 0571147325*c_0101_6^20 - 136786887171411877789096150043835193863222\ 4855901113480402362798836033446466133243696758911173314447162781137\ /891505215607117679754116324403706102950022780758127713906437019317\ 4045376028457186696058560163184950*c_0101_6^19 + 2293899644661982580365527655873408769027061457816153197782451322452\ 053800482377167329351238389447880803767636/312026825462491187913940\ 7135412971360325079732653446998672529567610915881609960015343620496\ 0571147325*c_0101_6^18 + 542679526938849758539154213831783988245837\ 788817028385438078232165206843605304884769203621892733962771070307/\ 2496214603699929503311525708330377088260063786122757598938023654088\ 732705287968012274896396845691786*c_0101_6^17 - 5747335648391170706704859506747016110569116838876528017107200216422\ 876494802020465455027664874440738563392861/624053650924982375827881\ 4270825942720650159465306893997345059135221831763219920030687240992\ 1142294650*c_0101_6^16 - 130384031869137963188320238612413339740290\ 057170514076785224250445338393868040818698775103880511400070878493/\ 5244148327100692233847743084727682958529545769165457140626100113631\ 79139766379834511532856480187350*c_0101_6^15 + 3617906281223854306435133314965328820906029811610922751140431790174\ 18460841158322569409855064460633854217466/6240536509249823758278814\ 2708259427206501594653068939973450591352218317632199200306872409921\ 14229465*c_0101_6^14 + 93555329257440441489030399297277401464584066\ 2647324006928220767391486649582608767624841656069287734231137591/44\ 5752607803558839877058162201853051475011390379063856953218509658702\ 2688014228593348029280081592475*c_0101_6^13 + 1981010402312917425317660138449318469880663923619766486549146919642\ 562708183764508814171915842664646955598/183545191448524228184671007\ 9654689035485341019207909999219135039771126989182329420790364997680\ 655725*c_0101_6^12 - 7396434309583001211773181977423634790915712637\ 009610136054643014611049381462433673180473192749155443191780753/624\ 0536509249823758278814270825942720650159465306893997345059135221831\ 7632199200306872409921142294650*c_0101_6^11 - 8309569784601550363801428873528467709294596757682644185732013951524\ 79237419319915141058707624667066126988644/3120268254624911879139407\ 1354129713603250797326534469986725295676109158816099600153436204960\ 571147325*c_0101_6^10 + 7699732525265663542899246476940603749716785\ 6109382282819168982025423474281127457003169979810408563634022752/18\ 3545191448524228184671007965468903548534101920790999921913503977112\ 6989182329420790364997680655725*c_0101_6^9 + 3428764543851380320666236765192955754534439329260697683601976534001\ 9691471431132173481966134708930331986984/18354519144852422818467100\ 7965468903548534101920790999921913503977112698918232942079036499768\ 0655725*c_0101_6^8 - 2304791624077774633939469953756599954692564759\ 25542002988945300599366181238843364219024056931763569079991279/3120\ 2682546249118791394071354129713603250797326534469986725295676109158\ 816099600153436204960571147325*c_0101_6^7 - 3707717545507536046996628130058309090953420182213490840616880300573\ 80873837265904420649472971523274756065337/6240536509249823758278814\ 2708259427206501594653068939973450591352218317632199200306872409921\ 142294650*c_0101_6^6 - 23994254951557705084836609243065404038012029\ 977744795094669235335188030703816567234876471916308360206894387/624\ 0536509249823758278814270825942720650159465306893997345059135221831\ 7632199200306872409921142294650*c_0101_6^5 + 1858007524109085892867216074694088476479347825169700975622303802752\ 0582862787995594284672400274591707951211/31202682546249118791394071\ 3541297136032507973265344699867252956761091588160996001534362049605\ 71147325*c_0101_6^4 + 224497723106189779406046045762217649184654556\ 6580911334975007253437357785154824233242331423317435922315649/89150\ 5215607117679754116324403706102950022780758127713906437019317404537\ 6028457186696058560163184950*c_0101_6^3 + 3142766122002990118350368177482209084429227654798271693320652851558\ 807218367962430735806600066236761630347/624053650924982375827881427\ 0825942720650159465306893997345059135221831763219920030687240992114\ 2294650*c_0101_6^2 + 2193826348586682326025091668271901171051525126\ 49417434427246401133680414564811889555772603411050525687122/3120268\ 2546249118791394071354129713603250797326534469986725295676109158816\ 099600153436204960571147325*c_0101_6 + 4806933731571697482518458585910963841717774277501849670849106660249\ 2339586959460430400542588831085980716/31202682546249118791394071354\ 1297136032507973265344699867252956761091588160996001534362049605711\ 47325, c_0011_0 - 1, c_0011_1 - 899032816554845095964861248821497654695538290640458823296723\ 8483426497511575880702837599428625631/17830104312142353595082326488\ 0741220590004556151625542781287403863480907520569143733921171203263\ 699*c_0101_6^30 + 2284122905161702752624516347552363663105703271197\ 42155150413559662348101805202392327796629061915709/1783010431214235\ 3595082326488074122059000455615162554278128740386348090752056914373\ 3921171203263699*c_0101_6^29 - 898789854721383149401105143257259469\ 542756857452377550962989449956491977260312092370919464881312213/178\ 3010431214235359508232648807412205900045561516255427812874038634809\ 07520569143733921171203263699*c_0101_6^28 - 1290529785605649303630340696642029092342455619075612428224119904292\ 88192888912942136345186087814262/4348805929790817950020079631237590\ 746097672101259159580031400094231241646843149847168809053738139*c_0\ 101_6^27 + 26976897237993978412684236399085426028268623432344302927\ 631900600783040783485808064840292384045688674/178301043121423535950\ 8232648807412205900045561516255427812874038634809075205691437339211\ 71203263699*c_0101_6^26 + 49324400316598796689935857453856514131351\ 161843360776392138129751745747761172623397657508225868254565/178301\ 0431214235359508232648807412205900045561516255427812874038634809075\ 20569143733921171203263699*c_0101_6^25 - 3078255341638940062339054188358064001338698450303263309975487897379\ 30973366739789687790582341007781257/1783010431214235359508232648807\ 4122059000455615162554278128740386348090752056914373392117120326369\ 9*c_0101_6^24 - 154778743821102269287937504532547425479230108048597\ 926507036046382913208582056098354342915157423668876/178301043121423\ 5359508232648807412205900045561516255427812874038634809075205691437\ 33921171203263699*c_0101_6^23 + 17114762552084626401034584608534658\ 8396892154445880497593203940473187552383264910647546051136113982716\ 5/17830104312142353595082326488074122059000455615162554278128740386\ 3480907520569143733921171203263699*c_0101_6^22 - 2916766841716282271729705462610124688842967869021631737762347007990\ 15934014303527041188488894051158287/1783010431214235359508232648807\ 4122059000455615162554278128740386348090752056914373392117120326369\ 9*c_0101_6^21 - 481359303705309589282332009198282035493990586051352\ 8386439246893141716991480391916990973624431487450712/17830104312142\ 3535950823264880741220590004556151625542781287403863480907520569143\ 733921171203263699*c_0101_6^20 + 2546160128871351632309433884032736\ 1292800561590177058689225274277089635373119371157200854873519561424\ 71/1783010431214235359508232648807412205900045561516255427812874038\ 63480907520569143733921171203263699*c_0101_6^19 + 7549499698935153767596444260714936046087734913162272080157458504920\ 841940538159087282127485871424975231/178301043121423535950823264880\ 7412205900045561516255427812874038634809075205691437339211712032636\ 99*c_0101_6^18 - 55069014464665203229106287308348843839326906478239\ 38759709667755084210383953506210438686872690353086273/1783010431214\ 2353595082326488074122059000455615162554278128740386348090752056914\ 3733921171203263699*c_0101_6^17 - 833304056910073473393995444725290\ 9239325997672464823080210962763960191377538570608136168628763857032\ 772/178301043121423535950823264880741220590004556151625542781287403\ 863480907520569143733921171203263699*c_0101_6^16 + 4116468048195856468840111040785557236853358430187699194192008861078\ 58663025519150441055320701738644485/1048829665420138446769548616945\ 5365917059091538330914281252200227263582795327596690230657129603747\ *c_0101_6^15 + 7116243103761231764045032603527863715063818341752670\ 514447170883439877250263756543729417160199150579404/178301043121423\ 5359508232648807412205900045561516255427812874038634809075205691437\ 33921171203263699*c_0101_6^14 - 57364143531012676954633965379886980\ 7533691895527580500668242756085836164918071703494849559769666149578\ 9/17830104312142353595082326488074122059000455615162554278128740386\ 3480907520569143733921171203263699*c_0101_6^13 - 2705965208371702888764953893283463338428430937725666764972973324623\ 52394887906654784325167087827484499/1048829665420138446769548616945\ 5365917059091538330914281252200227263582795327596690230657129603747\ *c_0101_6^12 + 2862135498393876285959368549666717982716426667454857\ 588081355391027265463610725342080573181184100323416/178301043121423\ 5359508232648807412205900045561516255427812874038634809075205691437\ 33921171203263699*c_0101_6^11 + 23388103935489909384254841687108144\ 5484538486858198187528343360509863167131486149909316924654184698097\ 0/17830104312142353595082326488074122059000455615162554278128740386\ 3480907520569143733921171203263699*c_0101_6^10 - 5038358358660886721014877095199045089049793618543626298556228192840\ 5628533306187786885874871123528610/10488296654201384467695486169455\ 365917059091538330914281252200227263582795327596690230657129603747*\ c_0101_6^9 - 525102621085013569201078252835823914471960422750937479\ 48504662245801562026616081662558214171933590375/1048829665420138446\ 7695486169455365917059091538330914281252200227263582795327596690230\ 657129603747*c_0101_6^8 + 15248359905112200246617195878778383117550\ 2899437528305333173469644724869443492123043539501924364283779/17830\ 1043121423535950823264880741220590004556151625542781287403863480907\ 520569143733921171203263699*c_0101_6^7 + 1927871877859486483617930763195503508809402731575763735378425887727\ 99667433555676181915464431798854155/1783010431214235359508232648807\ 4122059000455615162554278128740386348090752056914373392117120326369\ 9*c_0101_6^6 + 2809759784222122238423981569246381009198558066096606\ 883373555323592464556765760235888940128963057588/178301043121423535\ 9508232648807412205900045561516255427812874038634809075205691437339\ 21171203263699*c_0101_6^5 - 137976248102963450710035431329284642776\ 04820842578260937404867302760331521690621062049765950353609482/1783\ 0104312142353595082326488074122059000455615162554278128740386348090\ 7520569143733921171203263699*c_0101_6^4 - 7102866604472567337140119630585630951802321519626670239859035357668\ 016376480797670053775749944012273/178301043121423535950823264880741\ 220590004556151625542781287403863480907520569143733921171203263699*\ c_0101_6^3 + 428351511290029348911111470671315978871479537887598022\ 140280178931190534213270881783479269995683249/178301043121423535950\ 8232648807412205900045561516255427812874038634809075205691437339211\ 71203263699*c_0101_6^2 - 116707155922202131680440184410154187667008\ 333391557339616535511743987742190534054407655088947527027/178301043\ 1214235359508232648807412205900045561516255427812874038634809075205\ 69143733921171203263699*c_0101_6 - 7756901810998169061568131339281862259863405730716758621903736640478\ 9071267152053337607858019620060/17830104312142353595082326488074122\ 0590004556151625542781287403863480907520569143733921171203263699, c_0011_3 + 141578021291031267776351454703790862541584919707797418219951\ 836341112561729820471954577557850473207/891505215607117679754116324\ 4037061029500227807581277139064370193174045376028457186696058560163\ 18495*c_0101_6^30 - 65434083655257954526786804197657243796635263765\ 8549135786551987861704291772173652343789837754703891/17830104312142\ 3535950823264880741220590004556151625542781287403863480907520569143\ 733921171203263699*c_0101_6^29 + 6335127292050389806561078552422091\ 878824836662455308322881028062195632623339275483308257517267696308/\ 8915052156071176797541163244037061029500227807581277139064370193174\ 04537602845718669605856016318495*c_0101_6^28 + 2564288224036404654622636046208896999502911632488550581298938377322\ 498066139734038788446167608823439/217440296489540897501003981561879\ 53730488360506295797900157000471156208234215749235844045268690695*c\ _0101_6^27 - 203556804224613978957257216374309324060735631632499730\ 946425013208291848629069501986323284931718077429/891505215607117679\ 7541163244037061029500227807581277139064370193174045376028457186696\ 05856016318495*c_0101_6^26 - 14495687718263541360973999599139565070\ 97787838209589155918375945707819502652488641797529120444416693991/8\ 9150521560711767975411632440370610295002278075812771390643701931740\ 4537602845718669605856016318495*c_0101_6^25 + 2142831989561524077194663606655754863503294146639715401388265309579\ 874631235016493224315811788637305209/891505215607117679754116324403\ 7061029500227807581277139064370193174045376028457186696058560163184\ 95*c_0101_6^24 + 98654417258475589904736997029005310999461237526644\ 01041978711687021075811858244547957082812330867551854/8915052156071\ 1767975411632440370610295002278075812771390643701931740453760284571\ 8669605856016318495*c_0101_6^23 - 111962638203108384019683720567560\ 8766587073242166484701546846955692875955939895802012074757872685774\ 4669/89150521560711767975411632440370610295002278075812771390643701\ 9317404537602845718669605856016318495*c_0101_6^22 - 3569786673764148085499844037617938057319812988699703327920342423389\ 7286716810376375702857883645726128478/89150521560711767975411632440\ 3706102950022780758127713906437019317404537602845718669605856016318\ 495*c_0101_6^21 + 3128188360946809986612906091572439995096648564438\ 5334011951207172016947919451835459505740335595470591627/89150521560\ 7117679754116324403706102950022780758127713906437019317404537602845\ 718669605856016318495*c_0101_6^20 + 7280543445835862426663212828726500684141630916083905579596346980630\ 2811865770726224237985997362334799646/89150521560711767975411632440\ 3706102950022780758127713906437019317404537602845718669605856016318\ 495*c_0101_6^19 - 5669391644275314202939219619310037698584991747833\ 5110972364814206468287422665047987897051393548146655068/89150521560\ 7117679754116324403706102950022780758127713906437019317404537602845\ 718669605856016318495*c_0101_6^18 - 2008685361102855082441826719348384990133127631620728069355191604881\ 5328261111919249772513053732331341923/17830104312142353595082326488\ 0741220590004556151625542781287403863480907520569143733921171203263\ 699*c_0101_6^17 + 7456132683571026142683948231380423031919062655118\ 4863460232550279603211572705142020849041388492165035399/89150521560\ 7117679754116324403706102950022780758127713906437019317404537602845\ 718669605856016318495*c_0101_6^16 + 6600976235470852491180889312037182442247476103684261170776032452152\ 431140528123559710019846734681063164/524414832710069223384774308472\ 7682958529545769165457140626100113631791397663798345115328564801873\ 5*c_0101_6^15 - 121830049735918364109217298996024615394442131883361\ 84037923781538105876627995631176537733766971245413573/1783010431214\ 2353595082326488074122059000455615162554278128740386348090752056914\ 3733921171203263699*c_0101_6^14 - 951719945511596833405136364808076\ 9085991523142690355732585862401550907475468969666828174468470441628\ 4191/89150521560711767975411632440370610295002278075812771390643701\ 9317404537602845718669605856016318495*c_0101_6^13 + 1530044429359771984569237846123046130524928758010637859252038626131\ 069220136946676357708220109708703341/524414832710069223384774308472\ 7682958529545769165457140626100113631791397663798345115328564801873\ 5*c_0101_6^12 + 560437254024037651779747330633667314855135128637198\ 49791775251138491242567974751644172533474290972859437/8915052156071\ 1767975411632440370610295002278075812771390643701931740453760284571\ 8669605856016318495*c_0101_6^11 - 180794423667575658608836376034745\ 2612088899687096689475414759480349774765404837077483342314152073821\ 813/891505215607117679754116324403706102950022780758127713906437019\ 317404537602845718669605856016318495*c_0101_6^10 - 1293378247101007078343649885604228499102101926803380267911546475822\ 242549892843752293151298698472686101/524414832710069223384774308472\ 7682958529545769165457140626100113631791397663798345115328564801873\ 5*c_0101_6^9 - 2139571614049515636011511371375960445383893406982520\ 11481014891687396531174388749644618701855020263237/5244148327100692\ 2338477430847276829585295457691654571406261001136317913976637983451\ 153285648018735*c_0101_6^8 + 50675412389262630497912056978718853082\ 44280776162822279978452792506835447065477369309407195885159201537/8\ 9150521560711767975411632440370610295002278075812771390643701931740\ 4537602845718669605856016318495*c_0101_6^7 + 1705626951108013065906270662033451148703240161609567162967996436269\ 058233322953006481017498301947239903/891505215607117679754116324403\ 7061029500227807581277139064370193174045376028457186696058560163184\ 95*c_0101_6^6 - 304131256207416973924102419032511405789785962670957\ 856319193996695542670660299705403248062060534823447/891505215607117\ 6797541163244037061029500227807581277139064370193174045376028457186\ 69605856016318495*c_0101_6^5 - 237885976715903229993911384548434359\ 256296057536537524371632898768487228353016350093887621257378342608/\ 8915052156071176797541163244037061029500227807581277139064370193174\ 04537602845718669605856016318495*c_0101_6^4 - 6986742688717508777667114697443522335214136132911696768401748896364\ 3959296770793960342954129225140547/89150521560711767975411632440370\ 6102950022780758127713906437019317404537602845718669605856016318495\ *c_0101_6^3 - 15099413084671273043282198056410268567414616919789615\ 06737226161508966697557613468120474746435824283/8915052156071176797\ 5411632440370610295002278075812771390643701931740453760284571866960\ 5856016318495*c_0101_6^2 - 1684065676329002953583612865242943630519\ 418656987965545015765812297972131794561235769153910153644431/891505\ 2156071176797541163244037061029500227807581277139064370193174045376\ 02845718669605856016318495*c_0101_6 - 2922772180182623916229459712892839903939425978059890378979320757366\ 68080398413208385347146385403843/8915052156071176797541163244037061\ 02950022780758127713906437019317404537602845718669605856016318495, c_0011_5 + 558661006114715263696780813814540228385446655946733769012688\ 795275826532863899916900463183854420857/891505215607117679754116324\ 4037061029500227807581277139064370193174045376028457186696058560163\ 18495*c_0101_6^30 - 26513755274445698449360027951250316708138812332\ 31017040713945046887485982566491016757601768073619938/1783010431214\ 2353595082326488074122059000455615162554278128740386348090752056914\ 3733921171203263699*c_0101_6^29 + 333207426782058780587390986046884\ 4921081883878946638147918011283521652587821661487956896008218914482\ 8/89150521560711767975411632440370610295002278075812771390643701931\ 7404537602845718669605856016318495*c_0101_6^28 + 9560073319167325924319400234488326619529244772523163615844105386125\ 981771591655710254375626478151679/217440296489540897501003981561879\ 53730488360506295797900157000471156208234215749235844045268690695*c\ _0101_6^27 - 104020054119061769143410881917522206750107615925521731\ 5382306762897936609750604714907584720249791519674/89150521560711767\ 9754116324403706102950022780758127713906437019317404537602845718669\ 605856016318495*c_0101_6^26 - 5012571149338482642583193724694198363\ 796820940455741258965953272929744147471953178492555200303159731981/\ 8915052156071176797541163244037061029500227807581277139064370193174\ 04537602845718669605856016318495*c_0101_6^25 + 1137126043948785725859848004015010036862976261310662539485795864857\ 5238591175348435730201943313472840274/89150521560711767975411632440\ 3706102950022780758127713906437019317404537602845718669605856016318\ 495*c_0101_6^24 + 3112980070715415104699642539633784285191995699180\ 0908324685736780552469768786404741697871075657646800619/89150521560\ 7117679754116324403706102950022780758127713906437019317404537602845\ 718669605856016318495*c_0101_6^23 - 6133005341662768646609558191000425206274250028300272116608359543258\ 3197498148422124043874888953407661169/89150521560711767975411632440\ 3706102950022780758127713906437019317404537602845718669605856016318\ 495*c_0101_6^22 - 9859714331004248999019470674263163631361416728953\ 9065725268890314037642791140742621833162900084051571038/89150521560\ 7117679754116324403706102950022780758127713906437019317404537602845\ 718669605856016318495*c_0101_6^21 + 1728060714643628376847332034519273091387081688208351869688747769985\ 71025897657355171372000620820929551687/8915052156071176797541163244\ 0370610295002278075812771390643701931740453760284571866960585601631\ 8495*c_0101_6^20 + 168802977090919818691538227981369481208212282830\ 434987612915622114020320758314006307924585008636230603906/891505215\ 6071176797541163244037061029500227807581277139064370193174045376028\ 45718669605856016318495*c_0101_6^19 - 2953115867780427222620339163706827404999370449174944759316700270088\ 42081578983060860910225413952236028058/8915052156071176797541163244\ 0370610295002278075812771390643701931740453760284571866960585601631\ 8495*c_0101_6^18 - 398376299303311346615372440360541462920049741864\ 78914761594622823206180319643420434616622964835465246865/1783010431\ 2142353595082326488074122059000455615162554278128740386348090752056\ 9143733921171203263699*c_0101_6^17 + 3632334805730809204724812146253324983680248262302424794983260154388\ 11963054165615200677834902700216350529/8915052156071176797541163244\ 0370610295002278075812771390643701931740453760284571866960585601631\ 8495*c_0101_6^16 + 122070189667034373970140991620786022156623246380\ 69540782355414783780050195299377663916175692673702387929/5244148327\ 1006922338477430847276829585295457691654571406261001136317913976637\ 983451153285648018735*c_0101_6^15 - 6097026405026870905930357069543821588319169033156719798359389330808\ 7047984239459253194690335911003699978/17830104312142353595082326488\ 0741220590004556151625542781287403863480907520569143733921171203263\ 699*c_0101_6^14 - 1792644726359187290572365885812425025328475070109\ 99255227217206806434649399583542490845644912325029129606/8915052156\ 0711767975411632440370610295002278075812771390643701931740453760284\ 5718669605856016318495*c_0101_6^13 + 9424249326509946799178839286530685972668532795885536209103196802705\ 551809175242184046330076571762960851/524414832710069223384774308472\ 7682958529545769165457140626100113631791397663798345115328564801873\ 5*c_0101_6^12 + 114793714232882412119696482666279202090362073119014\ 578798182467359137942433910622111145205402157720927017/891505215607\ 1176797541163244037061029500227807581277139064370193174045376028457\ 18669605856016318495*c_0101_6^11 - 4861203948294352824425888128857237313084943103969024464493027705254\ 7671381066148106800456424365076081668/89150521560711767975411632440\ 3706102950022780758127713906437019317404537602845718669605856016318\ 495*c_0101_6^10 - 2948327522850573069092809376643495532275589037855\ 824612990668434520451682206908153181805001375134509836/524414832710\ 0692233847743084727682958529545769165457140626100113631791397663798\ 3451153285648018735*c_0101_6^9 + 3423689980463148284712903801543099\ 7112402617571265420921332037744053826263750686500061295979765722997\ 8/52441483271006922338477430847276829585295457691654571406261001136\ 317913976637983451153285648018735*c_0101_6^8 + 1262381141344833114652015044501281429122359251037074384989279474187\ 7591519217504768802929750521451626222/89150521560711767975411632440\ 3706102950022780758127713906437019317404537602845718669605856016318\ 495*c_0101_6^7 + 14497017603585487773930367987990059764496603780414\ 43726945464722588078063642213040364773987504294049558/8915052156071\ 1767975411632440370610295002278075812771390643701931740453760284571\ 8669605856016318495*c_0101_6^6 - 1042354514567019296820694581644219\ 0749048870317613895728994661940389858943152357607387782404244206640\ 42/8915052156071176797541163244037061029500227807581277139064370193\ 17404537602845718669605856016318495*c_0101_6^5 - 4673104639778681174242155332138543763360162372780592385411084980308\ 69079620773361723487337917884302548/8915052156071176797541163244037\ 0610295002278075812771390643701931740453760284571866960585601631849\ 5*c_0101_6^4 - 8707556075519270523261570663945892241022534199697903\ 3527014249294196226803345603699109914499319701867/89150521560711767\ 9754116324403706102950022780758127713906437019317404537602845718669\ 605856016318495*c_0101_6^3 - 58477427295006222621505954577873819813\ 87076101825274448877528771548328417096194421268093294169679443/8915\ 0521560711767975411632440370610295002278075812771390643701931740453\ 7602845718669605856016318495*c_0101_6^2 - 1002248855058883576129939701088586737887400027769625222576501373089\ 803762192883709244395887552058631/891505215607117679754116324403706\ 102950022780758127713906437019317404537602845718669605856016318495*\ c_0101_6 + 24731532000302829814712793227694475317702119004572194493\ 8882648274794823610803132625286627454842297/89150521560711767975411\ 6324403706102950022780758127713906437019317404537602845718669605856\ 016318495, c_0101_0 - 331537676828005337723855800599016069400711533362218471701330\ 40537759371695257806980401465815104006/1783010431214235359508232648\ 8074122059000455615162554278128740386348090752056914373392117120326\ 3699*c_0101_6^30 + 763398875036818519316744124494831940402123332566\ 627315627286945076315111808564492096882335021146133/178301043121423\ 5359508232648807412205900045561516255427812874038634809075205691437\ 33921171203263699*c_0101_6^29 - 14240536604355001754077593306531558\ 88992412657690755488891905416644861563702591029526311444973603463/1\ 7830104312142353595082326488074122059000455615162554278128740386348\ 0907520569143733921171203263699*c_0101_6^28 - 6011421409212596346109527214858654753258696014619211694657768157915\ 36310253984142357485774284740236/4348805929790817950020079631237590\ 746097672101259159580031400094231241646843149847168809053738139*c_0\ 101_6^27 + 45362856313107823179024833542274610493376649900105676142\ 531333348060657537637831813100720607697580039/178301043121423535950\ 8232648807412205900045561516255427812874038634809075205691437339211\ 71203263699*c_0101_6^26 + 34067315376444698042284486182229305857882\ 0428229251638901035779934317673690381878442887096558656125221/17830\ 1043121423535950823264880741220590004556151625542781287403863480907\ 520569143733921171203263699*c_0101_6^25 - 4655165688499614988664447398025725743895266572629129968198937078279\ 78343707044703337381682135879334641/1783010431214235359508232648807\ 4122059000455615162554278128740386348090752056914373392117120326369\ 9*c_0101_6^24 - 231833596455763891531790428855574174530597557021951\ 9923570226906408869049549261378107519292268455511288/17830104312142\ 3535950823264880741220590004556151625542781287403863480907520569143\ 733921171203263699*c_0101_6^23 + 2340989649195507906371446155578966\ 5292273127532946623989301268660921993426055005653466061924390380545\ 92/1783010431214235359508232648807412205900045561516255427812874038\ 63480907520569143733921171203263699*c_0101_6^22 + 8380270925229137777437173984992974312284944415481683728988476705019\ 405414677495101092584932419661939479/178301043121423535950823264880\ 7412205900045561516255427812874038634809075205691437339211712032636\ 99*c_0101_6^21 - 61520780513715841552671941382462996145026796242785\ 71689468678672992372794410789444130596958942749324006/1783010431214\ 2353595082326488074122059000455615162554278128740386348090752056914\ 3733921171203263699*c_0101_6^20 - 170884233010392724519637431846078\ 7560371115568471848100610728287912098032297374339141869250732565305\ 8780/17830104312142353595082326488074122059000455615162554278128740\ 3863480907520569143733921171203263699*c_0101_6^19 + 1053662527204092114220100509229032142157607869668069426070154820763\ 6215756579264047696284560721920664690/17830104312142353595082326488\ 0741220590004556151625542781287403863480907520569143733921171203263\ 699*c_0101_6^18 + 2376732219900969768616418921067754574709591179007\ 4763995022614250205635924810365024663490850031848149058/17830104312\ 1423535950823264880741220590004556151625542781287403863480907520569\ 143733921171203263699*c_0101_6^17 - 1334036071245720706614604088660923566918404553366398051667003559266\ 1271737612363210343162435081972743321/17830104312142353595082326488\ 0741220590004556151625542781287403863480907520569143733921171203263\ 699*c_0101_6^16 - 1577414901384593674478626838415198288691788453609\ 394110499170106347625466771782636849308942278907798207/104882966542\ 0138446769548616945536591705909153833091428125220022726358279532759\ 6690230657129603747*c_0101_6^15 + 949999208121377928871409614558336\ 4652668815842793992410248140600270881532886802831007026489272686196\ 318/178301043121423535950823264880741220590004556151625542781287403\ 863480907520569143733921171203263699*c_0101_6^14 + 2253515299704156684778796353518494375348614937692570267823766425783\ 7586037316206165260948490125584189726/17830104312142353595082326488\ 0741220590004556151625542781287403863480907520569143733921171203263\ 699*c_0101_6^13 - 1230143678862451414743593826520843755308822746358\ 37053885372972441165603311972259395655847644155683049/1048829665420\ 1384467695486169455365917059091538330914281252200227263582795327596\ 690230657129603747*c_0101_6^12 - 1274951023223559715623821152060295\ 8275410670554676698624535526292461792218234285649598918291835912773\ 406/178301043121423535950823264880741220590004556151625542781287403\ 863480907520569143733921171203263699*c_0101_6^11 - 1812796078650570443561676830819769469562393747992912779092711421337\ 221737522938519271045650586704051526/178301043121423535950823264880\ 7412205900045561516255427812874038634809075205691437339211712032636\ 99*c_0101_6^10 + 26736342391242655765076512936123277039668105834656\ 1286006104094241592964034673321702921134071061973238/10488296654201\ 3844676954861694553659170590915383309142812522002272635827953275966\ 90230657129603747*c_0101_6^9 + 973190958337546458330591653166284112\ 63175387992317418077939682365332724022376033419201386443717313795/1\ 0488296654201384467695486169455365917059091538330914281252200227263\ 582795327596690230657129603747*c_0101_6^8 - 8113592965950952013288398046738751853568120675284451350105749528031\ 26882017531379503500250766642049196/1783010431214235359508232648807\ 4122059000455615162554278128740386348090752056914373392117120326369\ 9*c_0101_6^7 - 5536303557283000685171393347501767001723495039326776\ 91202757140249108994100602759305813072196208849688/1783010431214235\ 3595082326488074122059000455615162554278128740386348090752056914373\ 3921171203263699*c_0101_6^6 - 4521599599859891960571556327652937423\ 8200452967785509683075491910809079955694565589319325278731608858/17\ 8301043121423535950823264880741220590004556151625542781287403863480\ 907520569143733921171203263699*c_0101_6^5 + 5228118362824531847402274113727449070356221520222207338316765487988\ 2457937697527981509985386846847521/17830104312142353595082326488074\ 1220590004556151625542781287403863480907520569143733921171203263699\ *c_0101_6^4 + 30719791286253300311461879359893622373811111125594716\ 616827290053567109327450595932122803699766387138/178301043121423535\ 9508232648807412205900045561516255427812874038634809075205691437339\ 21171203263699*c_0101_6^3 + 569592471955311674376201390249389277358\ 0142149832004702226107314008592556734006522498313846393058684/17830\ 1043121423535950823264880741220590004556151625542781287403863480907\ 520569143733921171203263699*c_0101_6^2 + 6733130352731432206886920210891637498416900451277108142045614992440\ 01635077940960068964923677822212/1783010431214235359508232648807412\ 20590004556151625542781287403863480907520569143733921171203263699*c\ _0101_6 + 479947715170917014035131427250569693269818182268663188085\ 21410769422512090421935018867264512833326/1783010431214235359508232\ 6488074122059000455615162554278128740386348090752056914373392117120\ 3263699, c_0101_1 - 154012248725010221341322952237393897977333331389183643578503\ 838920234633585392153478047787862737368/178301043121423535950823264\ 8807412205900045561516255427812874038634809075205691437339211712032\ 63699*c_0101_6^30 + 36462398768827105441850679313681683160635027025\ 86562084246589217675574732682579012591588977818297585/1783010431214\ 2353595082326488074122059000455615162554278128740386348090752056914\ 3733921171203263699*c_0101_6^29 - 898030242200244391077192289230888\ 2789982126725787452141734229230274662606479572419103378313184787377\ /178301043121423535950823264880741220590004556151625542781287403863\ 480907520569143733921171203263699*c_0101_6^28 - 2651067779545460002818518077373018010006785337575648770788049158670\ 178062719776504430372660925917703/434880592979081795002007963123759\ 0746097672101259159580031400094231241646843149847168809053738139*c_\ 0101_6^27 + 2812388570547481971123199574378369122950425403388649418\ 10443466804104200240929728445792593981780031118/1783010431214235359\ 5082326488074122059000455615162554278128740386348090752056914373392\ 1171203263699*c_0101_6^26 + 140129381010221722975213637880405721735\ 5449062240259027452111651382280303886411482803134378689332634436/17\ 8301043121423535950823264880741220590004556151625542781287403863480\ 907520569143733921171203263699*c_0101_6^25 - 3071177689223762272393254058157038740306824618423617413916925370937\ 333450865173467664203340004313267322/178301043121423535950823264880\ 7412205900045561516255427812874038634809075205691437339211712032636\ 99*c_0101_6^24 - 87980856690562364794714055926697288954097419797965\ 40717277993204820578303929978935359147331645214584309/1783010431214\ 2353595082326488074122059000455615162554278128740386348090752056914\ 3733921171203263699*c_0101_6^23 + 165705154998093966738213247489300\ 8146260623947387451794547917405761620032823887534826228706729608270\ 1359/17830104312142353595082326488074122059000455615162554278128740\ 3863480907520569143733921171203263699*c_0101_6^22 + 2835820086174879263569109654889559012656658100269538101511793166185\ 2715925739517099989270707636053196284/17830104312142353595082326488\ 0741220590004556151625542781287403863480907520569143733921171203263\ 699*c_0101_6^21 - 4687367675321704797948958337801285428243306995691\ 6311127544994663122343510611991458599268786628415786681/17830104312\ 1423535950823264880741220590004556151625542781287403863480907520569\ 143733921171203263699*c_0101_6^20 - 4980689734489036248645520333786394946412065603947861171065476575783\ 6976037373880655398399331771375533255/17830104312142353595082326488\ 0741220590004556151625542781287403863480907520569143733921171203263\ 699*c_0101_6^19 + 8088944557840376861874554675828880253610369743778\ 2726875104235927366376790337823509427005186988413017228/17830104312\ 1423535950823264880741220590004556151625542781287403863480907520569\ 143733921171203263699*c_0101_6^18 + 6015669686845502950475364158541329891167506767994453994272972924774\ 3928851145179342055942156150328834122/17830104312142353595082326488\ 0741220590004556151625542781287403863480907520569143733921171203263\ 699*c_0101_6^17 - 1004688418812215206894078021636465651800844945248\ 61385302450477275136529928506410088265103294192973813581/1783010431\ 2142353595082326488074122059000455615162554278128740386348090752056\ 9143733921171203263699*c_0101_6^16 - 3717790335679869449991518972215294504765469270784484992033873966750\ 947938641779932959478977134696062600/104882966542013844676954861694\ 5536591705909153833091428125220022726358279532759669023065712960374\ 7*c_0101_6^15 + 848515494405026787104963182338594725318994045873249\ 52862283923980358876392236527580286664051500757824157/1783010431214\ 2353595082326488074122059000455615162554278128740386348090752056914\ 3733921171203263699*c_0101_6^14 + 543467685958252983507240178676851\ 9818602573642220394610802060932502305159631511890686485253002320056\ 6321/17830104312142353595082326488074122059000455615162554278128740\ 3863480907520569143733921171203263699*c_0101_6^13 - 2633645587261814528585143922629720935302210255476751903985716793952\ 480647175426014905181771264944491025/104882966542013844676954861694\ 5536591705909153833091428125220022726358279532759669023065712960374\ 7*c_0101_6^12 - 343848730611769686903129097652031563523803663196850\ 95085576706286746718647695538921910772728665809261037/1783010431214\ 2353595082326488074122059000455615162554278128740386348090752056914\ 3733921171203263699*c_0101_6^11 + 135472658863246514600938829180696\ 3445352806374273825426435448980329038323572443907960501340455069243\ 6254/17830104312142353595082326488074122059000455615162554278128740\ 3863480907520569143733921171203263699*c_0101_6^10 + 8757730117449027996972627483080063165752156783758585084473236819655\ 09672121494937402664354390665270701/1048829665420138446769548616945\ 5365917059091538330914281252200227263582795327596690230657129603747\ *c_0101_6^9 - 92610993676896076648180958256933090130345715915464799\ 123760603787118725946067396668407532429757688867/104882966542013844\ 6769548616945536591705909153833091428125220022726358279532759669023\ 0657129603747*c_0101_6^8 - 3780382513882942295652360117779775542759\ 692372419380984769418327212628857825598180513731163379667887039/178\ 3010431214235359508232648807412205900045561516255427812874038634809\ 07520569143733921171203263699*c_0101_6^7 - 4011828916391077386113619860356885224403646309305293929587168372675\ 45357812152007809508893864322307657/1783010431214235359508232648807\ 4122059000455615162554278128740386348090752056914373392117120326369\ 9*c_0101_6^6 + 3303652552338556288514209074780937573880163852044188\ 81825899172597825710823818365855379533028453447725/1783010431214235\ 3595082326488074122059000455615162554278128740386348090752056914373\ 3921171203263699*c_0101_6^5 + 1228253939157588758306550137495998930\ 76783446296779201974855942685326880726000431325785720352572991433/1\ 7830104312142353595082326488074122059000455615162554278128740386348\ 0907520569143733921171203263699*c_0101_6^4 + 2248089761610631653810021922426655281274165770634539342988314477824\ 0212207128244000635727051680577633/17830104312142353595082326488074\ 1220590004556151625542781287403863480907520569143733921171203263699\ *c_0101_6^3 + 15756707052916596318162829983324878446337305765942345\ 46943178302093788160137858091984295520494814518/1783010431214235359\ 5082326488074122059000455615162554278128740386348090752056914373392\ 1171203263699*c_0101_6^2 + 1067876288739727620588234975998078290583\ 322648096765775243382396903481012016311588206401790519006381/178301\ 0431214235359508232648807412205900045561516255427812874038634809075\ 20569143733921171203263699*c_0101_6 - 3666012347438995620653535724681144911612180738172456747901758261625\ 7058762967959149983955127628562/17830104312142353595082326488074122\ 0590004556151625542781287403863480907520569143733921171203263699, c_0101_6^31 - 23*c_0101_6^30 + 127/3*c_0101_6^29 + 745*c_0101_6^28 - 4049/3*c_0101_6^27 - 10327*c_0101_6^26 + 41393/3*c_0101_6^25 + 211558/3*c_0101_6^24 - 207059/3*c_0101_6^23 - 768689/3*c_0101_6^22 + 180023*c_0101_6^21 + 1579805/3*c_0101_6^20 - 920254/3*c_0101_6^19 - 739793*c_0101_6^18 + 387757*c_0101_6^17 + 2527639/3*c_0101_6^16 - 271872*c_0101_6^15 - 2145884/3*c_0101_6^14 + 151580/3*c_0101_6^13 + 411478*c_0101_6^12 + 190889/3*c_0101_6^11 - 454007/3*c_0101_6^10 - 164917/3*c_0101_6^9 + 29532*c_0101_6^8 + 18921*c_0101_6^7 + 416/3*c_0101_6^6 - 6433/3*c_0101_6^5 - 759*c_0101_6^4 - 368/3*c_0101_6^3 - 38/3*c_0101_6^2 - 10/3*c_0101_6 + 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.090 Total time: 0.290 seconds, Total memory usage: 32.09MB