Magma V2.19-8 Tue Aug 20 2013 16:17:55 on localhost [Seed = 1764292009] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2152 geometric_solution 5.63166364 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 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.256724134542 0.170081114971 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.036211018282 1.623363853995 1 3 4 5 0132 3201 0132 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 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.296284699790 1.069491085564 5 4 2 1 1023 0132 2310 0132 0 0 0 0 0 0 0 0 -1 0 1 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 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.296284699790 1.069491085564 6 3 6 2 0132 0132 1023 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 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.878808440558 0.595148611706 5 3 2 5 3201 1023 0132 2310 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 -1 0 1 0 0 0 0 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.707536934089 0.664649919588 4 6 4 6 0132 1302 1023 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.569753357359 0.175179349736 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], '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_0'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], '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_3'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_3'], '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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_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' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 3470183797679013208972436405533717675537835181581013884393894303104\ 78111057121951640114965790105531/3586836146825227130800095220760511\ 4928752880153821725638996881306575064096978587151419614916166960*c_\ 0101_4^33 - 1724110839334400397294621263827449963663098788196918920\ 230606365858790761369236995990137596665642467/358683614682522713080\ 0095220760511492875288015382172563899688130657506409697858715141961\ 4916166960*c_0101_4^32 - 888017857516175384905521266889122138194058\ 0166469222162900825695833089850727868423239410621758459291/17934180\ 7341261356540004761038025574643764400769108628194984406532875320484\ 89293575709807458083480*c_0101_4^31 + 2338014471904985091668895847225100759480665070928167054429453216840\ 231771514696938993102418304169347/179341807341261356540004761038025\ 57464376440076910862819498440653287532048489293575709807458083480*c\ _0101_4^30 + 159864300595506719620159565893924288503051916777063615\ 290330572282517241681259920741010587067489185571/358683614682522713\ 0800095220760511492875288015382172563899688130657506409697858715141\ 9614916166960*c_0101_4^29 + 819663334474695345214739674020201188371\ 08553486112692377140412695833051919889544989311494609415087/4575046\ 1056444223607144071693373871082592959379874650049740920033896765429\ 819626468647468005315*c_0101_4^28 - 1126816150882608145579720405732555167680202831667562852176189247682\ 58028368126292363277566779488823947/5124051638321753044000136029657\ 873561250411450545960805570983043796437728139798164488516416595280*\ c_0101_4^27 + 14509776672926303301286073108214687845459489123745042\ 238067627429532070853979560630043183061005097/215296287324443405210\ 0897491452888050945551029641160002340749178065730137873864774995174\ 9649560*c_0101_4^26 + 445373701028028024203169428551809312672232189\ 057528066771404777329844307015020381609139111474573942269/512405163\ 8321753044000136029657873561250411450545960805570983043796437728139\ 798164488516416595280*c_0101_4^25 - 2106162894463859347980238568987475592213974565874063088365444048503\ 5074532376304711849116787954957329/26373795197244317138235994270297\ 8786240830001131042100286741774313051941889548434936908933207110*c_\ 0101_4^24 - 1351285104126498139390464099892740871420957993667307506\ 717175621150234221217199609150339873735844581033/448354518353153391\ 3500119025950639366094110019227715704874610163321883012122323393927\ 451864520870*c_0101_4^23 + 1504837633544011280269236662007921438659\ 404202453714593350760611857899804909306811665786978632401490315/358\ 6836146825227130800095220760511492875288015382172563899688130657506\ 409697858715141961491616696*c_0101_4^22 + 2492017035924598352158994565401465727885294100199268561220544565552\ 168033840688909867161597672056487513/358683614682522713080009522076\ 0511492875288015382172563899688130657506409697858715141961491616696\ *c_0101_4^21 - 4610629401357629924251172002679358071050834467417440\ 7052424645372600039224010929564256884886595278729031/35868361468252\ 2713080009522076051149287528801538217256389968813065750640969785871\ 51419614916166960*c_0101_4^20 - 81835678395440675794661400572264346\ 4848273627707427662854874247955958594371208594598012120047962167217\ /896709036706306782700023805190127873218822003845543140974922032664\ 3766024244646787854903729041740*c_0101_4^19 + 6564596867532104542983828830055796098922795313879562893171439743702\ 5661495229814133000079423920701779673/35868361468252271308000952207\ 6051149287528801538217256389968813065750640969785871514196149161669\ 60*c_0101_4^18 - 10752053786106998163775458517111481176362025185798\ 0043488962909459172119406148572340086149696476695584213/35868361468\ 2522713080009522076051149287528801538217256389968813065750640969785\ 87151419614916166960*c_0101_4^17 + 3431183498726836197813761219762156877288512878271325183854895034203\ 478845860811447611324732341446233511/896709036706306782700023805190\ 1278732188220038455431409749220326643766024244646787854903729041740\ *c_0101_4^16 + 1461579442504732989228286157327243524631648354830201\ 83586963640107301047816434868194635387884582751339543/3586836146825\ 2271308000952207605114928752880153821725638996881306575064096978587\ 151419614916166960*c_0101_4^15 - 1344083459653480088722120698110042\ 1730076871487664058191013798426320699123847403060307590868052190789\ 503/896709036706306782700023805190127873218822003845543140974922032\ 6643766024244646787854903729041740*c_0101_4^14 - 5820264025928680397588808550775903363487724654886710918385626531041\ 27357328964149424761088000745444632/3202532273951095652500085018536\ 17097578150715659122550348186440237277358008737385280532276037205*c\ _0101_4^13 + 302219706995094260332570243141651701702676665925806237\ 375016515682718079243070229317638208684109004009/358683614682522713\ 0800095220760511492875288015382172563899688130657506409697858715141\ 9614916166960*c_0101_4^12 + 126144880766836492903642724373315528321\ 02471454221916146429464072751476999969593421039053546112928642633/1\ 7934180734126135654000476103802557464376440076910862819498440653287\ 532048489293575709807458083480*c_0101_4^11 - 4324919546329722780031417111884744660287024019746825441638655746667\ 2863423192366057347592044950919801/51240516383217530440001360296578\ 73561250411450545960805570983043796437728139798164488516416595280*c\ _0101_4^10 - 739936776691914829667193586546556925338806197140628528\ 3012370923204049044663544535067742525544114991061/89670903670630678\ 2700023805190127873218822003845543140974922032664376602424464678785\ 4903729041740*c_0101_4^9 + 2655574017621377717669731133347079099134\ 240327628868908710209459492789325666098751397715663555804080083/896\ 7090367063067827000238051901278732188220038455431409749220326643766\ 024244646787854903729041740*c_0101_4^8 + 9865505970064090479755243533404458053775726477433915259057431497421\ 267037088042921855002414725096556481/358683614682522713080009522076\ 0511492875288015382172563899688130657506409697858715141961491616696\ 0*c_0101_4^7 - 2814059853761825129581730390759262741956786750135510\ 853902250138447702895808255731753895832907271438787/179341807341261\ 3565400047610380255746437644007691086281949844065328753204848929357\ 5709807458083480*c_0101_4^6 - 1794282883585686134109166772155247505\ 49925323420879014996134361964040530016964530230680594744301052451/3\ 5868361468252271308000952207605114928752880153821725638996881306575\ 064096978587151419614916166960*c_0101_4^5 + 1762031734744709125889045481110996055598353582563928208025654002388\ 564459683807123764947334522595128459/358683614682522713080009522076\ 0511492875288015382172563899688130657506409697858715141961491616696\ 0*c_0101_4^4 + 2408957262756201725233340056418922099911763174354245\ 992495215490509946440117942220775935641242650643/301414802254220767\ 2941256488034043271323771441497624003277048849292022193023410684993\ 24495093840*c_0101_4^3 - 105889026281953889391547241018316950599624\ 57239120547968352460015938946703908797615372224729524994381/4483545\ 1835315339135001190259506393660941100192277157048746101633218830121\ 22323393927451864520870*c_0101_4^2 - 6703672546578333303336394199085209723779728737215879413100228199801\ 433328200404539601363440198181499/717367229365045426160019044152102\ 2985750576030764345127799376261315012819395717430283922983233392*c_\ 0101_4 - 5175550669326499907228679811161489071278141812629621147520\ 32615598552320456231874592189150919300467/2241772591765766956750059\ 5129753196830470550096138578524373050816609415060611616969637259322\ 60435, c_0011_0 - 1, c_0011_1 + 178029421363830693811302593090645235934989231382538670426944\ 82846510906086891215315379159308235/2928029507612430310857220588375\ 92774928594940031197760318341888216939298750845609399343795234016*c\ _0101_4^33 - 442800881891219950325306241127401105515111509514206926\ 84805636085344621286429682810707644451389/1464014753806215155428610\ 2941879638746429747001559888015917094410846964937542280469967189761\ 7008*c_0101_4^32 - 909468601269209160279057362778762347704194150061\ 872452654129362242483935187786137270567312948351/292802950761243031\ 0857220588375927749285949400311977603183418882169392987508456093993\ 43795234016*c_0101_4^31 + 59933171035555305352515868815552746554471\ 743944741812856073140947143983471231177237973799258771/732007376903\ 1075777143051470939819373214873500779944007958547205423482468771140\ 2349835948808504*c_0101_4^30 + 814210184314013596543006600195257460\ 5603710808909436013496794246753027412335192824552408411465645/29280\ 2950761243031085722058837592774928594940031197760318341888216939298\ 750845609399343795234016*c_0101_4^29 + 3262511221085773276407563829191864618691845176149733053187348792113\ 219716140639603990192028958089/292802950761243031085722058837592774\ 928594940031197760318341888216939298750845609399343795234016*c_0101\ _4^28 - 39977476728160728628294136625931108403169622478716629636389\ 126232284329750615221904233214079915181/292802950761243031085722058\ 8375927749285949400311977603183418882169392987508456093993437952340\ 16*c_0101_4^27 + 99604071671082031938744110936912429750910324685210\ 393561457000596387093131049746219477323615115/172237029859554724168\ 0717993162310440756440823712928001872599342452584110299091819996139\ 9719648*c_0101_4^26 + 157478798622883758577183308413705070879815188\ 326444197095202018182622294991236619546767201678017689/292802950761\ 2430310857220588375927749285949400311977603183418882169392987508456\ 09399343795234016*c_0101_4^25 - 86927072319569806002897241613255805\ 57828141695811695702701152282801380284017632702131066838406327/1722\ 3702985955472416807179931623104407564408237129280018725993424525841\ 102990918199961399719648*c_0101_4^24 - 3401211808214483713873255904825614211580880011347904075345692983540\ 9342537120669425885890398822559/18300184422577689442857628677349548\ 433037183751949860019896368013558706171927850587458987202126*c_0101\ _4^23 + 38306184090410859180977969884291861043454669426881797813885\ 3081518795060213466154632438231167465191/14640147538062151554286102\ 9418796387464297470015598880159170944108469649375422804699671897617\ 008*c_0101_4^22 + 3103022909330129709772099111972230537809215684332\ 69892716620897801738086935369408341616870324471661/7320073769031075\ 7771430514709398193732148735007799440079585472054234824687711402349\ 835948808504*c_0101_4^21 - 2326987207295209416163735695320335393900\ 601252889597918772726980695551207820538171293142616363150625/292802\ 9507612430310857220588375927749285949400311977603183418882169392987\ 50845609399343795234016*c_0101_4^20 - 8059183855915874959433939502448594865190252683857159011120451878351\ 9272381773585671781052788970353/29280295076124303108572205883759277\ 4928594940031197760318341888216939298750845609399343795234016*c_010\ 1_4^19 + 3233464893665641445724388087617241606709560584032310683486\ 944504406471582714112413672990629253063901/292802950761243031085722\ 0588375927749285949400311977603183418882169392987508456093993437952\ 34016*c_0101_4^18 - 27658704993540673383183454897989780447552354263\ 90477240141157183414197707181071939717639543016385553/1464014753806\ 2151554286102941879638746429747001559888015917094410846964937542280\ 4699671897617008*c_0101_4^17 + 903698040858775212949176155248289653\ 193866604823595414517527199177802542988615932856073999178687021/292\ 8029507612430310857220588375927749285949400311977603183418882169392\ 98750845609399343795234016*c_0101_4^16 + 7169211331287115914420014019123459436371093676212558281451701218856\ 557999221714624774881124692529491/292802950761243031085722058837592\ 774928594940031197760318341888216939298750845609399343795234016*c_0\ 101_4^15 - 27156712427853457440425742819597364595067210176663927410\ 07889714264962151809212064558733662591813175/2928029507612430310857\ 2205883759277492859494003119776031834188821693929875084560939934379\ 5234016*c_0101_4^14 - 744148791122638466091319298666098847438036391\ 669888154019829927856690238828346343358004196452123957/732007376903\ 1075777143051470939819373214873500779944007958547205423482468771140\ 2349835948808504*c_0101_4^13 - 397739425201127634829857941798656109\ 56056333002088714095875958410493171014580920421138534513461551/2928\ 0295076124303108572205883759277492859494003119776031834188821693929\ 8750845609399343795234016*c_0101_4^12 + 1116427497587862574515649907154111219651298893714137820224741036461\ 337802151108842131503176486363333/292802950761243031085722058837592\ 774928594940031197760318341888216939298750845609399343795234016*c_0\ 101_4^11 - 71316632048042101973921314927318672786535461641603785133\ 591718386826359299953055607147833659031209/292802950761243031085722\ 0588375927749285949400311977603183418882169392987508456093993437952\ 34016*c_0101_4^10 - 14383724800995641229203681484717845262831125085\ 81213156198436455220533487212918734913625908646328153/2928029507612\ 4303108572205883759277492859494003119776031834188821693929875084560\ 9399343795234016*c_0101_4^9 + 6684365057930143942046420556177857423\ 6924541092457754768903827362667005144431543646800749051159755/36600\ 3688451553788857152573546990968660743675038997200397927360271174123\ 43855701174917974404252*c_0101_4^8 + 4410430434227827925348085904932437881725209485180808987662291783927\ 71159483480445279329669964704421/2928029507612430310857220588375927\ 74928594940031197760318341888216939298750845609399343795234016*c_01\ 01_4^7 - 2799759667294406740498618450607741283724089497671655196658\ 00417879947195052395588196536367474849139/2928029507612430310857220\ 5883759277492859494003119776031834188821693929875084560939934379523\ 4016*c_0101_4^6 + 1742103377848300106625755192107059038798894862842\ 1895604431558889535219863823304412691782970324451/29280295076124303\ 1085722058837592774928594940031197760318341888216939298750845609399\ 343795234016*c_0101_4^5 + 40268702584279942678506370313730410767178\ 150408014220578414750939761508500322231870059573578579401/146401475\ 3806215155428610294187963874642974700155988801591709441084696493754\ 22804699671897617008*c_0101_4^4 + 350254394889431892493962283502257\ 248725286998833653690158217598772375822722181436345578122985591/861\ 1851492977736208403589965811552203782204118564640009362996712262920\ 551495459099980699859824*c_0101_4^3 + 9341229738506269063136447453768071693877933627934365476048626030590\ 78692434944447760734947660815/2928029507612430310857220588375927749\ 28594940031197760318341888216939298750845609399343795234016*c_0101_\ 4^2 - 9852507658030038429622819859161745762399371001715255585808962\ 45998063539287217935965724292556007/2928029507612430310857220588375\ 92774928594940031197760318341888216939298750845609399343795234016*c\ _0101_4 - 225110090464268793483527931107215842662432234607582609692\ 80293476673036549529237531644220329389/2928029507612430310857220588\ 3759277492859494003119776031834188821693929875084560939934379523401\ 6, c_0011_3 + 656583101794951520010574715029362155834994260137649840693320\ 14160589569419744852423756983758047/1024810327664350608800027205931\ 574712250082290109192161114196608759287545627959632897703283319056*\ c_0101_4^33 - 46329959506516376532663171181008767438357988236425406\ 073851601985955966760395361144212794983005/146401475380621515542861\ 0294187963874642974700155988801591709441084696493754228046996718976\ 17008*c_0101_4^32 - 84236313165465525497705282821915826591206744662\ 8583577083847447216375817257973037635375228063743/25620258191608765\ 2200006801482893678062520572527298040278549152189821886406989908224\ 425820829764*c_0101_4^31 + 3937876693264155469062848007228383674891\ 33888594696829493303387680208729267078702697652932475799/5124051638\ 3217530440001360296578735612504114505459608055709830437964377281397\ 9816448851641659528*c_0101_4^30 + 302409499835704778132708316663048\ 05737405782841100379527342780882571066789567556084331540932181523/1\ 0248103276643506088000272059315747122500822901091921611141966087592\ 87545627959632897703283319056*c_0101_4^29 + 4618554239847006086753223412937470067680040517817464274942992305295\ 10697644958477150088222238419/3660036884515537888571525735469909686\ 6074367503899720039792736027117412343855701174917974404252*c_0101_4\ ^28 - 2123299680054407408190536037262260548790972771737154409111233\ 3916367745073782576776370697674584189/14640147538062151554286102941\ 8796387464297470015598880159170944108469649375422804699671897617008\ *c_0101_4^27 + 2753985351568992048138132913722051633382050583970178\ 787975088528510127986494954538707741653867/215296287324443405210089\ 7491452888050945551029641160002340749178065730137873864774995174964\ 956*c_0101_4^26 + 8415733807438347154332269634993777856348246730066\ 0501735122598214270162380904013917558954288761341/14640147538062151\ 5542861029418796387464297470015598880159170944108469649375422804699\ 671897617008*c_0101_4^25 - 7792035106392856604839996461401727759361\ 694834147101493385491787529043807245501084046354272906951/150707401\ 1271103836470628244017021635661885720748812001638524424646011096511\ 7053424966224754692*c_0101_4^24 - 102760150746196465614117213552470\ 7286343882360631717165419084392052558935072513357895575934272349705\ /512405163832175304400013602965787356125041145054596080557098304379\ 643772813979816448851641659528*c_0101_4^23 + 7008870489536863971051972324893620170869658173954127662536849081720\ 18239227931072279191670982651599/2562025819160876522000068014828936\ 78062520572527298040278549152189821886406989908224425820829764*c_01\ 01_4^22 + 849764072385079462612706920640265476730609979599455671590\ 45507927234085103668298624768114948734121/1830018442257768944285762\ 8677349548433037183751949860019896368013558706171927850587458987202\ 126*c_0101_4^21 - 8627066563802114867214226954269476296021294861322\ 579235723321896933841155377108685334302211021229881/102481032766435\ 0608800027205931574712250082290109192161114196608759287545627959632\ 897703283319056*c_0101_4^20 - 3613802817112128800454122792286703061\ 93047519727976283670717128558119866318048774368060847245293621/5124\ 0516383217530440001360296578735612504114505459608055709830437964377\ 2813979816448851641659528*c_0101_4^19 + 1245494288692398040737554650510261731183086484768807593438904771708\ 9973726404763303305559426333475525/10248103276643506088000272059315\ 74712250082290109192161114196608759287545627959632897703283319056*c\ _0101_4^18 - 203265860921825286793535658063940666941990924157435645\ 39479816061945810233455747051008385484922066709/1024810327664350608\ 8000272059315747122500822901091921611141966087592875456279596328977\ 03283319056*c_0101_4^17 + 15840234622349317016325124879347870734817\ 5231399045687276989928509774128957487874278112664792858611/73200737\ 6903107577714305147093981937321487350077994400795854720542348246877\ 11402349835948808504*c_0101_4^16 + 3994484327059251229379826749735578852761309781350496313669040091733\ 589165641477440300874809886236277/146401475380621515542861029418796\ 387464297470015598880159170944108469649375422804699671897617008*c_0\ 101_4^15 - 12765626453773040943628726861093358308926146859515702139\ 12122341762938770390483650565822554149576375/1281012909580438261000\ 0340074144683903126028626364902013927457609491094320349495411221291\ 0414882*c_0101_4^14 - 599113725949183843966247178936135662859142841\ 9711083379534178896169391420234963653502763374817373781/51240516383\ 2175304400013602965787356125041145054596080557098304379643772813979\ 816448851641659528*c_0101_4^13 + 3518861928530825145976014361866299\ 30846970945007123617784738881037893387498349681966251152704607923/1\ 0248103276643506088000272059315747122500822901091921611141966087592\ 87545627959632897703283319056*c_0101_4^12 + 1007425301235417274615774756422498894045160129650747825100080524783\ 872762030917927718403023812089505/256202581916087652200006801482893\ 678062520572527298040278549152189821886406989908224425820829764*c_0\ 101_4^11 + 83817518018175835716897126760944769597421681504590732710\ 20268963259688202210467456086609379985397/1024810327664350608800027\ 2059315747122500822901091921611141966087592875456279596328977032833\ 19056*c_0101_4^10 - 13836215047887986271762626694067751967061092268\ 18420891031236397976024505247698106086395125280578159/2562025819160\ 8765220000680148289367806252057252729804027854915218982188640698990\ 8224425820829764*c_0101_4^9 + 9780370706589415979091606961369523590\ 44430099596472821401582890994137600734275602947834259289430189/5124\ 0516383217530440001360296578735612504114505459608055709830437964377\ 2813979816448851641659528*c_0101_4^8 + 1829754228552009184239803904734445139410561462419464131491098348712\ 686641275409711398629154975864747/102481032766435060880002720593157\ 4712250082290109192161114196608759287545627959632897703283319056*c_\ 0101_4^7 - 28910382941442549925946209318770464864327524018717274441\ 4739451164237054518744348749245953777497661/25620258191608765220000\ 6801482893678062520572527298040278549152189821886406989908224425820\ 829764*c_0101_4^6 + 91867161500004892807048369738053249235515694630\ 419599137756208461438677404657681820841469898601977/102481032766435\ 0608800027205931574712250082290109192161114196608759287545627959632\ 897703283319056*c_0101_4^5 + 31811883936551832668740346908712288507\ 4881540870460631240484756584530203274866692583426213458865319/10248\ 1032766435060880002720593157471225008229010919216111419660875928754\ 5627959632897703283319056*c_0101_4^4 + 1780128717237056305125536002303910179215671645779812497336920149957\ 581476524871643392624575236603/602829604508441534588251297606808654\ 26475428829952480065540976985840443860468213699864899018768*c_0101_\ 4^3 + 8876559171108589851755999504474036321468270832813051349453595\ 54194212286615924692348687049619039/1281012909580438261000034007414\ 46839031260286263649020139274576094910943203494954112212910414882*c\ _0101_4^2 - 3724267072253871992238190681782393847914548329917512691\ 024207030000690059293047225374914052721565/102481032766435060880002\ 7205931574712250082290109192161114196608759287545627959632897703283\ 319056*c_0101_4 - 4796255678336404110381670818913838423516958062845\ 53788030940611684505783871482491990436860971619/5124051638321753044\ 0001360296578735612504114505459608055709830437964377281397981644885\ 1641659528, c_0101_0 - 201798534155955797583648845116566649344053291295261621552327\ 80974266795393344006420470475216179/2928029507612430310857220588375\ 92774928594940031197760318341888216939298750845609399343795234016*c\ _0101_4^33 + 515910309792388408996531636759219349399148498732951583\ 09509625080483747356132225951881226810997/1464014753806215155428610\ 2941879638746429747001559888015917094410846964937542280469967189761\ 7008*c_0101_4^32 + 101667646995981169125492324535948298922857006252\ 9416756569152453756129772132723364724652286022283/29280295076124303\ 1085722058837592774928594940031197760318341888216939298750845609399\ 343795234016*c_0101_4^31 - 1033175730782760222225431617247898861079\ 81241543943095711454205322799365130235477446527380533035/7320073769\ 0310757771430514709398193732148735007799440079585472054234824687711\ 402349835948808504*c_0101_4^30 - 9175414013168624086540467003846684\ 285357672473654656719181813215273811510528442468897332779014349/292\ 8029507612430310857220588375927749285949400311977603183418882169392\ 98750845609399343795234016*c_0101_4^29 - 2420975621528599313574006035953866922277833112301252286384708918874\ 850485565573042250517664424225/292802950761243031085722058837592774\ 928594940031197760318341888216939298750845609399343795234016*c_0101\ _4^28 + 45670632501289469870734258344186221402840605139242617541291\ 507110328763448847546994157563237365385/292802950761243031085722058\ 8375927749285949400311977603183418882169392987508456093993437952340\ 16*c_0101_4^27 - 48639329023636488953792450037695333406602847010616\ 8182695584288572045215593943565047669707186575/17223702985955472416\ 8071799316231044075644082371292800187259934245258411029909181999613\ 99719648*c_0101_4^26 - 17741050078053102137895961559853221657247424\ 4682254447074299204025780310212781706611238337286673161/29280295076\ 1243031085722058837592774928594940031197760318341888216939298750845\ 609399343795234016*c_0101_4^25 + 1131262428642741691507952708250497\ 4084145960227333319624283910695717546309281436466130210944964671/17\ 2237029859554724168071799316231044075644082371292800187259934245258\ 41102990918199961399719648*c_0101_4^24 + 1475264197477979276641048419041205421882167550829978805504846222348\ 36087064057783452636846939249733/7320073769031075777143051470939819\ 3732148735007799440079585472054234824687711402349835948808504*c_010\ 1_4^23 - 4756241990600978474611645800885242165443963725771759770381\ 09153208536519175246707924347078233240589/1464014753806215155428610\ 2941879638746429747001559888015917094410846964937542280469967189761\ 7008*c_0101_4^22 - 796142791176952846652543735644456313236988170379\ 06274030643429575392354439396444092033305222106417/1830018442257768\ 9442857628677349548433037183751949860019896368013558706171927850587\ 458987202126*c_0101_4^21 + 2815838420657308172777269517137145449021\ 929093900400285677194833702805840131423180321952958643453957/292802\ 9507612430310857220588375927749285949400311977603183418882169392987\ 50845609399343795234016*c_0101_4^20 - 3053432613385526909443086270352095915354207401715197867114502686499\ 31247941618817696977352594627923/2928029507612430310857220588375927\ 74928594940031197760318341888216939298750845609399343795234016*c_01\ 01_4^19 - 361904641338873439817366385220786294014477374152220083831\ 0674250879838350415589294533950061719445125/29280295076124303108572\ 2058837592774928594940031197760318341888216939298750845609399343795\ 234016*c_0101_4^18 + 3397446697239719557300036175185150534796745809\ 590984791446591556095342247625962290590285172096499049/146401475380\ 6215155428610294187963874642974700155988801591709441084696493754228\ 04699671897617008*c_0101_4^17 - 20091120180124399368984709993225162\ 17193391091576710237667317294028159136534990227864761934792248281/2\ 9280295076124303108572205883759277492859494003119776031834188821693\ 9298750845609399343795234016*c_0101_4^16 - 7846166457710360945437496636439453390835934215516541769070602704529\ 931595777001754239697003413640811/292802950761243031085722058837592\ 774928594940031197760318341888216939298750845609399343795234016*c_0\ 101_4^15 + 42357027966999459855386437537702634989220505867736127907\ 68259476173474179586085112216180714647153663/2928029507612430310857\ 2205883759277492859494003119776031834188821693929875084560939934379\ 5234016*c_0101_4^14 + 333218309084945795360221860844836171167182047\ 583817174171639529960937203140173463767477030380496025/366003688451\ 5537888571525735469909686607436750389972003979273602711741234385570\ 1174917974404252*c_0101_4^13 - 231415417630830028076930411075642296\ 379579464822273966099174475705938576043115438369898107401961317/292\ 8029507612430310857220588375927749285949400311977603183418882169392\ 98750845609399343795234016*c_0101_4^12 - 1210640526798121093988661584782173380522755251559242412216151321301\ 593267767077974774966430653126809/292802950761243031085722058837592\ 774928594940031197760318341888216939298750845609399343795234016*c_0\ 101_4^11 + 19372151895732854414846569623015787724661980642234191117\ 9553247630353460490970454579987522231024689/29280295076124303108572\ 2058837592774928594940031197760318341888216939298750845609399343795\ 234016*c_0101_4^10 + 1613303349702493847298784761002684835842576662\ 925301432997610707284357404283687530508160532186729785/292802950761\ 2430310857220588375927749285949400311977603183418882169392987508456\ 09399343795234016*c_0101_4^9 - 212110416400889927992596400548645745\ 659747170684343870688084131423182036949558255518519370967605585/732\ 0073769031075777143051470939819373214873500779944007958547205423482\ 4687711402349835948808504*c_0101_4^8 - 3461035093549453714950142601458149769968788071841459946923053853945\ 60129433131884814582165471169145/2928029507612430310857220588375927\ 74928594940031197760318341888216939298750845609399343795234016*c_01\ 01_4^7 + 3416859283440162921369553552987608354175650994778524643280\ 56136167756681528867990643387014173808431/2928029507612430310857220\ 5883759277492859494003119776031834188821693929875084560939934379523\ 4016*c_0101_4^6 - 7417557547435161297330232404295289959778440646009\ 9415435556235759735622533486454493358647366550219/29280295076124303\ 1085722058837592774928594940031197760318341888216939298750845609399\ 343795234016*c_0101_4^5 - 36668990004619065868173731570816849031437\ 331238010608462812122784809344416473930729747871586215941/146401475\ 3806215155428610294187963874642974700155988801591709441084696493754\ 22804699671897617008*c_0101_4^4 - 157481885005803954705942783864285\ 853611780216317983476046017479920795881566676094002137305866357/861\ 1851492977736208403589965811552203782204118564640009362996712262920\ 551495459099980699859824*c_0101_4^3 - 1147151723373385563595129819036539998192870246257845313727638757635\ 182592214909885801271894078847/292802950761243031085722058837592774\ 928594940031197760318341888216939298750845609399343795234016*c_0101\ _4^2 + 118079573545999179877669003236611070421016804644407971794084\ 8748926403311913817765771167266100803/29280295076124303108572205883\ 7592774928594940031197760318341888216939298750845609399343795234016\ *c_0101_4 + 2606214436710223543074242744832616895749397204822523384\ 32106223335446837211750638466330028372889/2928029507612430310857220\ 5883759277492859494003119776031834188821693929875084560939934379523\ 4016, c_0101_1 - 274006747737561879796470587721733748314806121299565858703942\ 17150322159140414417899017203904657/2928029507612430310857220588375\ 92774928594940031197760318341888216939298750845609399343795234016*c\ _0101_4^33 + 681348529633775555389058356889699079085771010156551440\ 19478864580763093833279692891165416474281/1464014753806215155428610\ 2941879638746429747001559888015917094410846964937542280469967189761\ 7008*c_0101_4^32 + 140012165717227327045713633243538990669978765948\ 5894587298639594370725128165917836759977466192325/29280295076124303\ 1085722058837592774928594940031197760318341888216939298750845609399\ 343795234016*c_0101_4^31 - 9205053085348141846392221418780625944173\ 5985562719727135953684817647169143764446253723642651153/73200737690\ 3107577714305147093981937321487350077994400795854720542348246877114\ 02349835948808504*c_0101_4^30 - 12540667684825411941592943320397990\ 441809495874651442476015361343331636420390371762081413986903039/292\ 8029507612430310857220588375927749285949400311977603183418882169392\ 98750845609399343795234016*c_0101_4^29 - 5032207322994961272006239778120412300425817852769264498626358181387\ 412957761133089616284948977551/292802950761243031085722058837592774\ 928594940031197760318341888216939298750845609399343795234016*c_0101\ _4^28 + 61593506057407076523543584038469204139302783543563270747520\ 197894210173912308481647379064259847595/292802950761243031085722058\ 8375927749285949400311977603183418882169392987508456093993437952340\ 16*c_0101_4^27 - 14825340408076307911137895285791321438963055807391\ 6613381865583524072499807788272172065663353137/17223702985955472416\ 8071799316231044075644082371292800187259934245258411029909181999613\ 99719648*c_0101_4^26 - 24269720631345848498854559885698435499763927\ 7860664002683195820412534062138407490364705411556425731/29280295076\ 1243031085722058837592774928594940031197760318341888216939298750845\ 609399343795234016*c_0101_4^25 + 1337131926747914604674102272999273\ 2832748184047885916650660269677085147203902127960031877447103761/17\ 2237029859554724168071799316231044075644082371292800187259934245258\ 41102990918199961399719648*c_0101_4^24 + 2097360360686113589259313673335879622893754965135931559476944562525\ 76991586562009967382304235275273/7320073769031075777143051470939819\ 3732148735007799440079585472054234824687711402349835948808504*c_010\ 1_4^23 - 5899721525810276447849049203696557800316667295692746963371\ 94365417443460156350816684354453400783511/1464014753806215155428610\ 2941879638746429747001559888015917094410846964937542280469967189761\ 7008*c_0101_4^22 - 119683387390533023432667934490289561888981452207\ 314919031400772821558772384181884054792816214117329/183001844225776\ 8944285762867734954843303718375194986001989636801355870617192785058\ 7458987202126*c_0101_4^21 + 358618301705559292744325760841653482518\ 7187831226783930514728139477777673793365830903639456502904431/29280\ 2950761243031085722058837592774928594940031197760318341888216939298\ 750845609399343795234016*c_0101_4^20 + 1327545808182153575953420984085650193204306595412507067993793160904\ 68882549694225723382765409823955/2928029507612430310857220588375927\ 74928594940031197760318341888216939298750845609399343795234016*c_01\ 01_4^19 - 499283301270756856721284350988792518479822138743602017402\ 3937181965070234587693526642474212925991479/29280295076124303108572\ 2058837592774928594940031197760318341888216939298750845609399343795\ 234016*c_0101_4^18 + 4262399424164242210355736107381798463516909801\ 931424655430657274536770482035322609914935755239356305/146401475380\ 6215155428610294187963874642974700155988801591709441084696493754228\ 04699671897617008*c_0101_4^17 - 13793978996438407387544148106667885\ 58863665469414004481027984566974909663906047836602392655213544463/2\ 9280295076124303108572205883759277492859494003119776031834188821693\ 9298750845609399343795234016*c_0101_4^16 - 1108602345870859378026248538783939065877314087550767606550860693349\ 0169593488216367646224139305239937/29280295076124303108572205883759\ 2774928594940031197760318341888216939298750845609399343795234016*c_\ 0101_4^15 + 4221308487925243861576808657505811717778359703798909012\ 446195153911275096753035394891309848060888081/292802950761243031085\ 7220588375927749285949400311977603183418882169392987508456093993437\ 95234016*c_0101_4^14 + 14293201738642252697600093513176752688067765\ 6128170328526386750294576061985518054291100847124772127/91500922112\ 8884472142881433867477421651859187597493000994818400677935308596392\ 5293729493601063*c_0101_4^13 + 736706428267778267825141795112803635\ 32329155066253123839843729240664704874086910655987967472426793/2928\ 0295076124303108572205883759277492859494003119776031834188821693929\ 8750845609399343795234016*c_0101_4^12 - 1700185329520854446177713428515161079032102542949757331075320340196\ 034138200097316253721054810732895/292802950761243031085722058837592\ 774928594940031197760318341888216939298750845609399343795234016*c_0\ 101_4^11 + 80023612290754342029839590011536584696832007624479070840\ 158375868612216694631154042911090448620051/292802950761243031085722\ 0588375927749285949400311977603183418882169392987508456093993437952\ 34016*c_0101_4^10 + 22190510096739618564014980815083555275871189076\ 66099635023658494468963961504121497308479971941731839/2928029507612\ 4303108572205883759277492859494003119776031834188821693929875084560\ 9399343795234016*c_0101_4^9 - 2084297266369785730219187713879384175\ 85533141466243036630511346356987683308191449960850862567149287/7320\ 0737690310757771430514709398193732148735007799440079585472054234824\ 687711402349835948808504*c_0101_4^8 - 6745683791161952074707657086908802238736029524916372954387376683051\ 83076563969353749593839370385787/2928029507612430310857220588375927\ 74928594940031197760318341888216939298750845609399343795234016*c_01\ 01_4^7 + 4294560998136851447164146196547630615808449972008129710297\ 21858400422705979394053540934967803689889/2928029507612430310857220\ 5883759277492859494003119776031834188821693929875084560939934379523\ 4016*c_0101_4^6 - 3273583753371256844873421983615090002381727270975\ 5146141245822012273315195097008041529528741242009/29280295076124303\ 1085722058837592774928594940031197760318341888216939298750845609399\ 343795234016*c_0101_4^5 - 61240715293197010133599752097294889056019\ 853356198078834452138424320431713742652268389894443895509/146401475\ 3806215155428610294187963874642974700155988801591709441084696493754\ 22804699671897617008*c_0101_4^4 - 547112202777243820062576203521719\ 389541173191669013512857715770156407213271099794729113102639681/861\ 1851492977736208403589965811552203782204118564640009362996712262920\ 551495459099980699859824*c_0101_4^3 - 1847550245382405743863129871954237240701355657006839773627786361227\ 033986035459027056194388568857/292802950761243031085722058837592774\ 928594940031197760318341888216939298750845609399343795234016*c_0101\ _4^2 + 158496217378160005860038607954748383243325765791368610966748\ 2873639475625957635961214771324305953/29280295076124303108572205883\ 7592774928594940031197760318341888216939298750845609399343795234016\ *c_0101_4 + 2623220818466133200507779925039871213578910806213583813\ 03525134294880089100558786186330612065767/2928029507612430310857220\ 5883759277492859494003119776031834188821693929875084560939934379523\ 4016, c_0101_3 + 316085118409101857689908457990071337732867239943198653477311\ 6276058264687614528193884683485569/12810129095804382610000340074144\ 6839031260286263649020139274576094910943203494954112212910414882*c_\ 0101_4^33 - 4537381057311830764324657178134967472740159099461003458\ 094607967073633529068238070620981254639/366003688451553788857152573\ 5469909686607436750389972003979273602711741234385570117491797440425\ 2*c_0101_4^32 - 641020067072016263162315841763021026059370076130145\ 575469747727168161292011051661467277510118625/512405163832175304400\ 0136029657873561250411450545960805570983043796437728139798164488516\ 41659528*c_0101_4^31 + 96415206048961287943490758551931761641978168\ 929027811847029021986551855300462768779081440143761/256202581916087\ 6522000068014828936780625205725272980402785491521898218864069899082\ 24425820829764*c_0101_4^30 + 71123931661627610593794046251451141299\ 0391620856187330374942908189887478902736261432806146479588/64050645\ 4790219130500017003707234195156301431318245100696372880474554716017\ 47477056106455207441*c_0101_4^29 + 7483203688080677389114033672504178147213096269181775206380847476590\ 8529339075443425828341941221/18300184422577689442857628677349548433\ 037183751949860019896368013558706171927850587458987202126*c_0101_4^\ 28 - 39638587176272361260012818851675419023847593578565886648180135\ 43629509198642782016323121993989059/7320073769031075777143051470939\ 8193732148735007799440079585472054234824687711402349835948808504*c_\ 0101_4^27 + 2145963930667714452904349716872668537600222963925240337\ 5828966465397251369227302829364093197813/43059257464888681042017949\ 8290577610189110205928232000468149835613146027574772954999034992991\ 2*c_0101_4^26 + 192730897896159290882895829401808579057601307817467\ 9056522880896056841100305031733760295541296801/91500922112888447214\ 2881433867477421651859187597493000994818400677935308596392529372949\ 3601063*c_0101_4^25 - 797257611849980325717397363927988322749724051\ 952855687388592494547645049383408776588435741454084/376768502817775\ 9591176570610042554089154714301872030004096311061615027741279263356\ 241556188673*c_0101_4^24 - 3670910610267100233099456108438934781063\ 49864056244892044308367397789778642349913587858974606441485/5124051\ 6383217530440001360296578735612504114505459608055709830437964377281\ 3979816448851641659528*c_0101_4^23 + 5419482368308489892254969041003193507402678830900820813067168569375\ 46625500692051991403066757810173/5124051638321753044000136029657873\ 56125041145054596080557098304379643772813979816448851641659528*c_01\ 01_4^22 + 116089743790326842499884562734318069215859343554590186602\ 490570499185126192452296992280792610431513/732007376903107577714305\ 1470939819373214873500779944007958547205423482468771140234983594880\ 8504*c_0101_4^21 - 160198159527987791651910458008942736824116967055\ 9819694388078626951947827844484628046478585774761569/51240516383217\ 5304400013602965787356125041145054596080557098304379643772813979816\ 448851641659528*c_0101_4^20 + 9756854534279922031401370285662567177\ 2591905374290587650419108342607252938895411403974502131357733/51240\ 5163832175304400013602965787356125041145054596080557098304379643772\ 813979816448851641659528*c_0101_4^19 + 2551695429312498613585082971324170258436218273465505424360504758879\ 93267980368640065632050611559282/6405064547902191305000170037072341\ 9515630143131824510069637288047455471601747477056106455207441*c_010\ 1_4^18 - 1960752898379323667386717616954658376636563144222004990506\ 468086652298954446561294249925591246193487/256202581916087652200006\ 8014828936780625205725272980402785491521898218864069899082244258208\ 29764*c_0101_4^17 + 15359259409494301035926841087859403330996093686\ 1377643828590516875839994281451981111144910870018211/73200737690310\ 7577714305147093981937321487350077994400795854720542348246877114023\ 49835948808504*c_0101_4^16 + 31564764325731969183546411379891449314\ 4152757485694401184076178518949274560488131088243015264257563/36600\ 3688451553788857152573546990968660743675038997200397927360271174123\ 43855701174917974404252*c_0101_4^15 - 2205798329145641625762354783724890258014079144198052958130310448280\ 33920710641824907204929910702037/6405064547902191305000170037072341\ 9515630143131824510069637288047455471601747477056106455207441*c_010\ 1_4^14 - 1572560266209788550062287638753310402807387108346474267274\ 487741529950773563686587122978109579587825/512405163832175304400013\ 6029657873561250411450545960805570983043796437728139798164488516416\ 59528*c_0101_4^13 - 35421276037480077229723039988638412983991727780\ 4605444739692894287031533291628697480511246320288743/51240516383217\ 5304400013602965787356125041145054596080557098304379643772813979816\ 448851641659528*c_0101_4^12 + 7083609347558178627354761989026979313\ 47223513006018200154119057736429275031681930115737916132917465/5124\ 0516383217530440001360296578735612504114505459608055709830437964377\ 2813979816448851641659528*c_0101_4^11 - 1068123409618977435517801983952898144680486642539190105404209300269\ 2628530798561233353474150454944/64050645479021913050001700370723419\ 515630143131824510069637288047455471601747477056106455207441*c_0101\ _4^10 - 22415531945806075181953977962098408910060497262713595093805\ 8193083956386343966596721491467770413627/12810129095804382610000340\ 0741446839031260286263649020139274576094910943203494954112212910414\ 882*c_0101_4^9 + 36466204406550443486180709680328077755996946238310\ 0482474960233316574274983473352061527713237900429/51240516383217530\ 4400013602965787356125041145054596080557098304379643772813979816448\ 851641659528*c_0101_4^8 + 19899552203638024297499333461609716938373\ 0090232688811789225151307256940786992757758164413326309251/51240516\ 3832175304400013602965787356125041145054596080557098304379643772813\ 979816448851641659528*c_0101_4^7 - 1286694333058994943678524415493116195151960243932560593020815269195\ 44672047384676991347249599604477/5124051638321753044000136029657873\ 56125041145054596080557098304379643772813979816448851641659528*c_01\ 01_4^6 + 1176565500941888820376320431644772210973674785321914274211\ 6915190175862933667680492126504903804391/25620258191608765220000680\ 1482893678062520572527298040278549152189821886406989908224425820829\ 764*c_0101_4^5 + 17597639093690951390511734755839998105885425113318\ 164988189663638301109504954296017440623202378665/256202581916087652\ 2000068014828936780625205725272980402785491521898218864069899082244\ 25820829764*c_0101_4^4 + 894083233580489275687112734560260702797084\ 668393623500952473851018739566882731600845039896095581/301414802254\ 2207672941256488034043271323771441497624003277048849292022193023410\ 6849932449509384*c_0101_4^3 + 3353921409473273969501123031480243841\ 29796188168173322841520586020119419224997138197796763034456/6405064\ 5479021913050001700370723419515630143131824510069637288047455471601\ 747477056106455207441*c_0101_4^2 - 9067912844866278658899646555920660987149862738334454402961350399095\ 45018447252187106530682292615/5124051638321753044000136029657873561\ 25041145054596080557098304379643772813979816448851641659528*c_0101_\ 4 - 234561811157019569709457098897112185196683348016002253294594924\ 16341526405061953086548818930791/5124051638321753044000136029657873\ 56125041145054596080557098304379643772813979816448851641659528, c_0101_4^34 - 5*c_0101_4^33 - 51*c_0101_4^32 + 15*c_0101_4^31 + 459*c_0101_4^30 + 170*c_0101_4^29 - 2268*c_0101_4^28 + 154*c_0101_4^27 + 8932*c_0101_4^26 - 8578*c_0101_4^25 - 30677*c_0101_4^24 + 44322*c_0101_4^23 + 69550*c_0101_4^22 - 134671*c_0101_4^21 - 2710*c_0101_4^20 + 187532*c_0101_4^19 - 318647*c_0101_4^18 + 54153*c_0101_4^17 + 416136*c_0101_4^16 - 173876*c_0101_4^15 - 170993*c_0101_4^14 + 10271*c_0101_4^13 + 63634*c_0101_4^12 - 4500*c_0101_4^11 - 83438*c_0101_4^10 + 34029*c_0101_4^9 + 25455*c_0101_4^8 - 17962*c_0101_4^7 + 1656*c_0101_4^6 + 4807*c_0101_4^5 + 360*c_0101_4^4 - 9*c_0101_4^3 - 56*c_0101_4^2 - 12*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.090 Total time: 0.290 seconds, Total memory usage: 32.09MB