On the Probabilities of the First Player Winning in a Two-Player Pile game where the winner is the first to accumulate n dollars By Shalosh B. Ekhad Consider the following simple 2-Player Pile game Players take turn tossing a die with, 3, faces marked as follows, with the given probabilities A face marked with , 1, dots , with probability, 1/2 A face marked with , 2, dots , with probability, 1/4 A face marked with , 4, dots , with probability, 1/4 and they get the number of chips indicated by the die The player to be the FIRST to accumulate n chips is declared the winner. Theorem: The probability of the FIRST player winning is 1/2 + 1/2 a(n) where a(n) is a squence of numbers satisfying the linear recurrence a(n) = 1/4 (1331962698954927089615840256764120917782902163710385010846328026\ 557650326549922401384799215773295980224742613421723372410713431644254170\ 276972408506471412199153666231685825743727715977414770010370066035119072\ 750624004845400781222126373844899274617687241500537272619787250719888102\ 084383958129663832984629131802022570220122630245503951157515801175839185\ 9 92118554973217804866405484504125607126 n - 8328420721200008708625394741\ 524146921449342909165204486303764189908802498017100102083761560416608895\ 601966320893108799108733016959305494224554989694850225858841206177005423\ 523847805305810497377391899331285603323772402055618936195725710570829173\ 363625539211931997366407383256833201780382095562248691608128205874888629\ 771319854110319461897823680749153115775555514461014762609693888974708102\ 8 602 n + 212993661668126398507578988307969990599628774890961541171699277\ 960865569960074945010113084644659286357173096372304497502595209846503970\ 632331105510787692872176498442374373490463494845018919971974797681847829\ 198717958790512968767741426721458932064403014212719134528161865371586375\ 260067501864788150166039659458426766869801371551873395447486748471844971\ 7 794049157236966307449337987966245560411645 n - 288560560911730823872442\ 764492169808229986870651818326150815679940257115886574944211188187601137\ 763944119290646357663391945845170118918582050412502744303617166477341693\ 353730136099970605861512701184873987712034074431567621960046779787282245\ 863962069660609889612375257232692423262032384521086321139658993657911239\ 766657027807608805474692046787386833471791475196486435661598057719501890\ 6 1081882931 n + 22437575540475111741573570296692504998398483115186902325\ 986685450247588994435416867229537807648551906365963563905132920099646879\ 668765358023171420807815065643082393585218390719051873437702346049955347\ 598383620757141134922928308529768694261462913773010097798808475259427418\ 031618409585701172939516586787082086731999937614017562914483001388477851\ 5 525658685384480442729860765736710506920329687877324 n - 101886682433476\ 703819706979900115844064577177494030771047229785758735923060404599925209\ 184717870590976480609203827505181229332454751951371091851534696270956136\ 993055792452835705154139626690314222977832701737134284583882003067849114\ 594465134211553846898166998335844376906523070684228521729251204312673904\ 930358989778895382745648185870315704823996390397382390111145589300230730\ 4 848697513103897893365 n + 266727022169211167208052228467160860974047097\ 920907370771764051993583119403470442259868915603979367316762589992937966\ 451185691030878343767998103585574654293568540636066915732031333846542488\ 754658188643795391367211284403353859551974309544311567464684677395023138\ 128968298853054819447492546583901878469898115870076592194620941918147316\ 3 998321081154420691729605960679908992349751766026247885264012557 n - 393\ 014812596578697190835631008929521997367804929473874993335610089798267686\ 529040512151547119407527698372413263662384871286634599539402934633715360\ 369711234204025604212213314712224569273460357132068392122267052628938578\ 660269246757442097618914384677693934834436899187314707768520750496014089\ 061848269201889953404686430331823212001113367129247502409282255237400675\ 2 611592395183686747068436299997458 n + 300775945885276211307467530477119\ 654052138142853732644606185872901787726677204058514476907724582838802705\ 753603566550423935364838665148048645681407572274410969661621127532316572\ 595297487327567093253794373798867503002550679554338963905223113023672230\ 523586044438145409186336619842164303553715860046438175013814507110646262\ 977020528680201778947544530875152561553484107589858092339548672906712436\ 864 n - 9183337801494498614562322353294126520559399814078836755493275125\ 120267744379895631034702845557673901605444482889805498315671529327678445\ 220517868460126957201054226024857811206782041677039400407818429938681310\ 316555399514685889244951714192454344747814099140975769928372279909341690\ 839503158971805741552137145157042992574291547677094676856053796984672799\ 4940674679543258513495279172611161665413408) a(n - 1)/(n (3 n - 1) (3 n - 2) %1) - 1/48 (91083668733145697444912730717902942735697113515784\ 633253958145742374522902418042278296969852007068145666250262131224357971\ 510112895085939443821363419324915536551945495381838207903715524245806680\ 072346507114978229357278579341202621189574677718981170785288985874916266\ 372315386813527873681046226811608387786160369709399463940731326504347400\ 9 3655675719178553455096734421689037915291696385860032 n - 59343586252031\ 646171713019922631740356985849990171986055821912265753072332632777476423\ 819080971221523279051253554415875758610489907969262254210751252448148474\ 498193610915084094600478717185419570022751109405159701346795243108071689\ 975903009453047989377837149174983340774240046204677724108454051293887615\ 807673460460632639175181229181393034504999743317052023720492106006380975\ 8 224984977442717984 n + 161223852733851308464153044264695807163990765173\ 717162264595980509295167601856030172062974348622688515272703350546932995\ 312619930642996476746247572177445972717460743433717627248109590848301488\ 954684023532226155722375052479160477894802728204153861954184844045681443\ 640723455980515917718025540045581097137015326902536091539272532421853640\ 7 5697324201333220426224330447316743275139694380815462322666 n - 23832357\ 183185955127450871722053798912837794347316918603455600906496792013761259\ 997060889096435079191162337965179833445081341104673238447051883250101154\ 751602846640782186902740636561954319905167913156078754556435036718929915\ 482810764492210116728324803011590408922183115154689894257935400684456575\ 083452162939966891683568040280560007524765234657482227313536808271828362\ 6 477823832202485805125611907 n + 210276977390088914158089900750243260558\ 884690294477781718066368834446375911527236185532020695632241833106059200\ 397835094338669162415779102807874959107026213340543837667516516959281428\ 055236229899188401900997043480124108811573671859681711787908677031224469\ 154390206618668577700003300287437167887136820050543666509589289832262072\ 5 302038327521584722691488977168927405645077363230963581459404890361540 n - 114848842780455751595507717647772899697377308453643796712333567289423147\ 510205763830087388105684213664491328282543324056405513821276808466833113\ 166711072694611376146015616204475149447942667165127878983070499419746908\ 950364694012085081953850295276837459548765933513247049284462414151021729\ 844775039572490007690165040084626331401237627950584634262539743988984417\ 4 8048726490476025612938598247365514565 n + 39285297628534705258144654709\ 241468006939520620000242873511545161798050507975569675429441379427484397\ 263519301810261786933350565378409705795492311494052712759313116877435908\ 058134261389364358861317508168926207580331958391276790817826150861569490\ 307416740311786866807608041552574471511633751441412050503124667057371502\ 650786935620850206478291650983183118982895465227432464046894086146971554\ 3 62349330 n - 8366265827104238660933005465563559979478736421664922556879\ 136720465402052088716381727484513328453353292847281756798469691817853742\ 487900539615318543928212919923555442619322622426841766266991145882830883\ 054185780484576592997617893164341032637288604291345135752175687496092825\ 420685152831677076462532966068943302957174601867001031309244350704543028\ 2 504708290945379509001570066487919627746377866584724 n + 104158236141882\ 151948169670720143917335183049518125909921329385160665094667593710421341\ 617312956040357273924742973163899031884403447622108924530174877787232708\ 950090891590495994344468184632908263590747903830645891943827200247654733\ 019127651774582402664099543286439613496002424531124328506108213808523739\ 949343170887198041445791167143889038045465473660733500238042667455763239\ 26134045422699837033152 n - 58015691032720661110756573727602084620395315\ 644387495773232005053049065778454042826716692439194348424969278852672669\ 476652174329192782814538885398373929776720978784551719004238981847281342\ 369500143154409575399276485865509377682288125382088654602939562237961888\ 676735445216056476203305288654991173692919515423051555287903596100967941\ 81945236841683902919187701050630248406624728620953582957265152400) a(n - 2) /(n (3 n - 1) (3 n - 2) %1) + 1/192 (11967632719828578662505122611250081\ 579998071748455655602904365236555967992825806018137925699399584367251650\ 163236274275598849548597945411482050435627555475580246565585793434849380\ 241663332303132183365417813971587182050386915409532040975977401092883433\ 880514790585797220282958360446209622811432601501552135640954517285654890\ 9 47965243150776316992208933583773007394506503424468484760012155445942 n - 655256456003495460554653300860315474457341691518384374425181207281582152\ 748307893620002646190595212309469218127846196095166367908364320932546364\ 574987222124810398968507206158933547579425520191796228038502308061110789\ 310709519188976192914527797516371777797940828544384416795448541778820403\ 932595029134951794825690029418959194904286601791974528674077444377248680\ 8 86551652933668389047947262533114 n + 1242418126018127261514955427992141\ 535303375012167338245461058187587193182205428873961123353489984121716374\ 076770815862669763072098720571906497843829215083423623360342733136163311\ 820495168766253242855761167628558472978647596279446626732042158372283871\ 737680214493026644410996818339816660803159389959297258632063925462495639\ 7 946530169245232970409452716991268110703386385531363891345721193179825174 n - 552288829506574062333735039854217833360005987636529535445737806427076\ 362399515092801792480746438372276844515976107583020257715908758401018070\ 763377197000795695411822684981935022093337721203924141616794356770594997\ 840593269993182922530334956544560971133557045982921044683941505679549731\ 049719847830981119223952468959545392517094810601275739213364861007950540\ 6 9632683567725167883317695982132550006 n - 13915020571984540354407099257\ 431317034212223685344836513790097646004822403576209928734413244076413319\ 394422773933670386589518233749753596190224585565154223535447240060221950\ 574323702039087164931183627332366088690785536988826782778436604974105470\ 624198612100047579436985447790809408497424577008763317144567154107160807\ 333775024366837428426715174435987104594951104863999646342029478233945693\ 5 4377827 n + 24982687991424309544550864023135774896721763798141490224159\ 837258002788866407210379349327478671526014296964163682247803941135789018\ 787472211485273472342336331625670877241919611129567290672524985226615477\ 454385791855042621755917589562471198052616451247955648021862715749088456\ 799339592004478883282458993842123245748251377257127236277869697104985669\ 4 46951292247234594415350783641799447358045271423632 n - 1855837253323748\ 657357739337702107626341044192172406175482326834105972575181461959206379\ 782124338326068020097152576685421111457795826448858525174301188941191735\ 456610237873004490886538263279858110895402498909105286899398021725060908\ 885340466766506527861738474361928289238519654355483340402858136832327954\ 814097685800017840027344399926768145364679295369300961725031240803541562\ 3 2211316192823054326837 n + 73196204976440947206502010851194759655360424\ 953588303397776171061679310730247248526932482153156227011710725459585910\ 965108858544460221443768278861909784194489340860404277466279256618161514\ 090094082816773300592825548428050017952961549774581271262096023255091781\ 002070611089172197822613913055083937508833726893930981496997771652856839\ 2 989655443295318225175629243560015688492019855005862377714505341348 n - 150065579339729325503886927972076145460541912780612949864260730955173983\ 414398947250886184637492842098425647216946355658242784877349037941033737\ 267902099966424830292820137736957121383010134740496708115633138976731602\ 253983361857202361490996087688129071545628865829526393354221755175743439\ 430010298024159600447193050387326592263491701553198316400795623552485261\ 372611930209440013173705138524152823336 n + 1256139685074406848667514256\ 019980929835860861331821560919627025014149124396149595661679453211463606\ 627655032901974903412212794630829378301807909170535946973882318486789057\ 554265702472682045851790047035159249036376262460425166138458905197558003\ 806753880168252359408199324257673913268014343820496873754158357932665554\ 960591430953160680297619130280981928311500498911342109566262769460532403\ 27110055800) a(n - 3)/(n (3 n - 1) (3 n - 2) %1) + 1/768 (10831951099771\ 128722232004598582036534787857308247691849914291517939505883197650859529\ 141656657725700082611188138767605408490248039681379449260163433287480604\ 911332501813895858049992200858750691761455474314877183821551774233095139\ 954481412941875999443325361582550547500902511615745971328966883449116094\ 689519865492367251930036937677955746363077042700310270037335849314816782\ 9 66545947137487712 n - 5061327722088579511362642861215421315117484622280\ 711385909330112308533376933362024755429686020002266731213795360936090868\ 853560903891949851235779916551748796945346405256120608548525274890441082\ 713848720640686148804665349434673961104885687605517623140590280502794558\ 174991517680157903856127541886287028662988560149787114598841488465161524\ 8 8288164525652088765210591694567498986822661260637570016 n + 55817631769\ 386190251745811118341561172907114275473955199049418502733846728238017297\ 237446106672653169396144848650594566896495007727988572265706950368270769\ 139735214185848514230809573449652438277767899588748540571838899612617654\ 769356236441368646691219601013237658909877229994166619851427501302608876\ 614931139531115628639316032929868432600808712054965138529676859988517579\ 7 0091192631516563700546 n + 10184396008493930305430994499427517476664266\ 939394348013981885350895172546229860434131850104518123165316737804383313\ 999850729797822608450571244516057615130383713196845319572492807392576057\ 968232405292819800939401805612847245434715408000341857477273459621874393\ 157419245362204738493403465949612712773327172797929776498820717456815294\ 6 881377411572052264003209800449729137958447603756095653736329685 n - 354\ 413321704762065224298931903283517416229949022586895445810980213640017185\ 208466183593514870347784031244426734425049873536317841718040563260961011\ 669684230119227037055923486072525686122627577484885634876925268219176561\ 835053711635431292723083629888651106351297783394873029229285299084859266\ 367339141321287224094533154357333416488469755859898646384231369727634459\ 5 577167613553418089232345839635550 n + 452413341196322368894835487947723\ 724130081908072181926657807859389824905200440357804382350685594860902204\ 587998368877445294552829128039782783217719343459622990933359644454369064\ 354011286181375378052452600843682503994224707244559997181329711097528641\ 063845428660638540535948981862952642759991106036586653815386126086137787\ 474068327044652553794596547151340050632098905325319896201407795799507843\ 4 1249 n - 32995322281266475203279331447527040947521982379281172901567523\ 203777561578986382347639747305130824749432918051243962648771526517394503\ 945330281261590113062583589040809395918136317799024601562696225932588945\ 465070772323222976868055470119255664350566908801346677786955429021744538\ 839896460523640134935800601565259457820448139681387075860667697427387476\ 3 867280523847057247855665839752666644745513939766 n + 148115869340778172\ 402838212904763142198891111477987433360499060820157540077042771268676865\ 009650670080355315505649115695086784540047515813644456895569711621601414\ 333315046054050137079699651270001625128455146271937520405047054254226714\ 328914502859391055663341756198511284172342174457042594939414091415182625\ 417510626694317118898360915899044689445688423519296454835301105139407133\ 2 247271140695794915652 n - 384381331440958833043837324754348104326793305\ 800442006541625107282768496672984527676466787192995685312773280438691317\ 836711604808264426039920537561941975142318340228342099406325633051476904\ 166252163039026648166812189681468799389415622637645799965309752501797294\ 040169165405259238027469309183086265631580877056907855251021877213624148\ 411727014347414909839735571380593595624423865746554385793045260464 n + 4\ 363425020359954564467180467169672890970879866456893829757748848647400085\ 890930131957889171587354392311417367793466099783678300585538983495004880\ 873185254266927488013590995371274089170114214112798566779933505061831382\ 461389270069259960919307068999805527983629092370352396480881427715684624\ 213648133138105744571303178119872538885215025096038226930854451739461351\ 00918613637439954718146310245774301200) a(n - 4)/(n (3 n - 1) (3 n - 2) %1) - 1/3072 (8052914752153636958436716385867400319446233897734613836233159\ 143344622553267875205020608252564383830793513846658107140123129519040671\ 573954873468715043593628056526441302526673007511078149178017692784514853\ 305838213045128323626007374467404866442978131568781598593635223173162868\ 600383664797255611330574762142354634437782084261856640389759839733104616\ 9 729580138234347588059220788941830192648826 n - 384934660198659003568679\ 843097722104249769209322220319675635345177764827517899326647014470050988\ 337950581223039819290783999968386873955100085232109106860125884538964549\ 331404308275801835691882448195662912335647697640098504838424649869102776\ 244067682351683489840725079284534431382717426713386119706925526941071015\ 078466761032522929786466501944359389992619560604627137243188260795257580\ 8 228772924 n + 353104287033574490549100997107809926968475252315543444187\ 976516011437650346949657550285353262608475096165132899319358668357029437\ 643888140766880364715030291899786705815164367856970122823779271352363579\ 347172819867973168823019687882664309611455759219289060470407529973463977\ 506482845265152552200658994145103666036368457265842558528899244609484388\ 7 4312279972305829060632674006868461921600760552004 n + 13987344643191227\ 284785124838124354115094376653591369235778320863881826772308877198648691\ 195059916435024041243030641626027783721831050901911936745562635947966498\ 318335617408319577096877903685388236807982823317611212845351357779460940\ 513436402988564468616430491979919360679864534252046171317128722908686820\ 829498586704171989664933201386483339494888145322789864248680150976619871\ 6 8330339185034906238 n - 45086127040940469995670931044641100073525981521\ 902505920279249472598151383383489862838076616955622738966450988796983391\ 844192388408123553191066998468876078612913489790262960197733695959852291\ 494565516026868720570934656689810996019730049774476542007791095512296105\ 451016739679877468719711424484180419789373407076113597717960798623294516\ 5 21770955545529975103978923192082151135058780014195525915472253 n + 6002\ 288198286606671335404307324000865158173429370940828473412237269991362319\ 147749108853890803063440250283292863053533741221657959799985105599605561\ 324318428241160286236522652760506484909622649876847923711624807097466186\ 243887436439796373017086017200479257640290358914707325897167515206811972\ 060880954990785843396796440285777155432436957802165177995089341994825329\ 4 2343040232552906225046674523694456 n - 44535482122085182993529468967662\ 736642910421536825503247318521923037468920438398236790268564971330100738\ 448599525356001166961215682550112666176340071361259262317997900624134993\ 677102954118099400165299932126250506723412581250310515048876937304393759\ 713610631387717552342349271062868148720819669923045177442610565731908439\ 647494051517941480114332273754505760198947405058202719101637784849954417\ 3 2067201 n + 19169700645234231686661550571974391466113713681876380651735\ 995037402872133583624051277721453669523375777684247349163286978191460488\ 143822501492336744789049797562088959093736012073283580846063121240349240\ 806113639779573416111812058728980436935956218724669908873805337338984532\ 188022541245519216090627573806661108074306340694547115487111319832009272\ 2 90126745892015843800686668600701793506010315511953114 n - 4490096906927\ 797838192742354017296872016180798829536596581791095490435026075238661641\ 070266164804327857148343189127880254198397314311910798598646367147232018\ 919553327753807577805094795683921838642318031433710646194589374002835698\ 779544683958479883814016466690211599249153956945447437356867549168359627\ 963936165830611682523303903662055673945628668153690962181587726086432656\ 465008234774185997438644756 n + 4443511379381876633138732571052669160321\ 222006700502711031182976233446523779318066878713488932394964777023974059\ 037973919615763200778140889694831565112977866590510841187461524556106218\ 337876950621037141460068051865234356568308131266294591815729588027886693\ 922751942524398002780348457784179907804921304936042796079996764314718216\ 072225512245330670788906605796612131709095393394052548268029386527350216) a(n - 5)/(n (3 n - 1) (3 n - 2) %1) + 1/12288 (1195486146545603964982902\ 722016248048968168348776786471914040292328826234614085896542218804673605\ 808641741177705373463627656581559756065260240250849427639040097946020867\ 090428703118659886628105764200709388037034956471281655107191002658783951\ 676593570069876044796817477176159863554086048083649140837678770174109490\ 670066676872848432170465490270441765650657586498157531565181341664982478\ 9 8119834 n - 80462884092075827810172889284153247614651983530718535308073\ 835561613075627957517595703879534360355694189780421056569452567254107336\ 405619071299457188170228311702292701291696589662358347236494980731111726\ 401737314300204983559140064290650859246079928084510897192240593638778163\ 385502015639799461494929638920228784680103226689720015795898149498653421\ 8 7069675966312721279592082119737185181271875957 n + 22470445678549800663\ 303475058417608882356489993539495227999612860357923912359426787436056926\ 480637544653351871431861805940764568878352657306651451183788732488326677\ 028063022093163066715299723409505498897476838829814994976452641407207209\ 226601949354745935020278124796411200476874564071991140278181165293188529\ 892370469560571690905049053063505183890694728512327896242265808000654779\ 7 796768876750931 n - 332132557228880327549045100492055449254618722075563\ 436418239684574200130163353378581263166085771521829331872569435601652175\ 010744171232045225417441186977031451096450493841802335496896882634133954\ 038073301147010219964015335536637583460342457312750664360564477567405488\ 273530665017514169819730124545969620840931522205355624328015135356991787\ 6 090967410943097649890868876360937051114805108190083095605 n + 267235350\ 881234072110997487758947904326368655896969267957318097044964120537337351\ 035758368141174810549572559033655317286242715829541799155507797942060091\ 485833773125183070073692094301923970804035697904094740176902400522074372\ 624584355231488505601264523842878266774328098598783817524110027795659725\ 063974762798676015215860010810253139130474320684717093901868333172035487\ 5 9993143879505139579970447503 n - 92799803626720732347264134678889864178\ 892529836834037975262791642985776053212893014837780383633300209205972251\ 404125247705577440315769309966077697462913434846744778839530973720158078\ 871605284621635409061071537236376476995609085130718443159891733990533685\ 932845402126207315280264305517849236414917470388954136282688196866535238\ 4 11572758839315965597832690533734481955974411600625520820419097337884610 n - 204456866562287657748976645584310336504289873168805761044369566894041\ 997929174747590531562694156754806231875528980335184769239736728908419449\ 352318828584032060359470535462183365174695335472648012141161886067242363\ 766070604972782340425205974439167279449409224399520403024526870710972022\ 985033762344117187314114227629735748194655412000374005626975099388148528\ 3 21099312683146628743901607971230622011760 n + 3193013336025056233996896\ 049672343126069599336458980553872124255676555590130407680234391830210074\ 199798238444766378688132746734250214888404162573094827312073840231475393\ 170793988306596197239918519746545520777955491613485508418940038438076449\ 467177668730999992219944154083764066576578827619190193856196895539994798\ 028745023301061924319272334561561392921048443997606678922004056142297034\ 2 47052503031840 n - 1148834463303808949350255730562659450559412670334863\ 897041604746651248647472057420618947231499864412190209276852879703982381\ 663146016135580023028424244222201832289960342164821674948619530800982881\ 511527115627755277306988029554291022233274026618498764288396314121787238\ 430078511199194121902837996121330987806644635110170493124970305539276451\ 742015935295192339591471522726382289022126845840017803722328 n + 1498753\ 688535485374830646604707150184697655668241999933422881717282596314739624\ 516622304227937447406914594872069674727180565272266863963743155610474100\ 205800579090170057604391413375140740594765731834985977890611208076652436\ 032939894248196864382133418137867855003479621089478398407275740060363145\ 214480264878451431591099332093952309919630398330265137323756456240956476\ 465019822440167107363819532042704) a(n - 6)/(n (3 n - 1) (3 n - 2) %1) + 1/49152 (232302931091367520367695355493536954283843048948852482504719861\ 518223005434463959282408592496180228130323420874163279501732650436194654\ 897063898209063647511336697292718865838786798054431743530845951290677860\ 404865599646792302752347985246145164064395272835336752767655369391813586\ 891927704905018373388459845977124640309660279100487729225493824650488933\ 9 27207890539989774045689825311548934599236 n - 2429201503852034051740545\ 751377708405853306255467335344576157498309182710329083978457862807535020\ 615141914910012034368871669194163639684770450040942600394196159777753102\ 499733949715741665081025076825091802943493454277663693070906582336586125\ 824455998151145664350327315239418468998803331739962520703663680869057367\ 448550839998781264580169074859966228220078010982080486984612385978783581\ 8 559521810 n + 108515920020140283340196804111929328676761971521932216056\ 751994997539836582898765266443312558423578510644074809928034409799778880\ 610809527689013226622279153421244947297404358493753937946152475340242119\ 987920097933527592821101209346691093850017090400439561099097436991031890\ 517887494212818391786183076097146154020549103361307144541718461987713217\ 7 352104266021777091990024380026254634200837122762699 n - 271697671835882\ 416485081918966715175272518004946844372853619036750001732663934421151740\ 988293158955303285012526180797832345440363431416697295546248477011731335\ 874892146492901269565222071793190315565136520445820057995587409556435713\ 397123505552335737058176333733365179115328992013111295394661977157107994\ 822371374436797430707219383766093317760852274585081403181288449705391683\ 6 7547772518488628262671 n + 42044641505675080348214688308937817744947304\ 080263408564271152758947315713095315634561274472973966345171738824889525\ 367032338670989834434854874004639106236335287887693240810142129268745399\ 263924586614951166070751779325714354991373745592425462924772764511796426\ 224164256477911057849775985945513128776268265161162489514415761033464124\ 5 573897418925190344590855975564746962723308896300623330027864766557 n - 417429608636466469677223610416023191023284676548265608882311289813430487\ 568036649606127503956615397532628080398861059575694488255768983979429092\ 281090602373823943901315115625864672160582891194301167257532470439827312\ 435703817472558961260058214861648656082477029676056390979284134540311601\ 195743789491420430745569521232740322655637754487949559129993690042304214\ 4 508612727589777940642331793157007949783 n + 266187418837903137709308270\ 806551831998271347979710039895658932851990665736145629908810591359926253\ 961190019634850667239924937891954199574438272375708896742011034206198336\ 620838020094681712938863666748762573728403569149737222021943068981056849\ 891475653267004345378194689563123284829951426715597523558623303922750496\ 023598466663086446660380967680165219673750959209397703632126957549036229\ 3 9201442779828 n - 10527982563333290042926608937623318091093089286367699\ 863870144184328858616417738409041336882330269679875726551757821589250087\ 451533943912555855497061324638078504500129942546266822535340562212201904\ 055507558971210236579797268485374948258113138325639054820441428014055040\ 208193389653382551717908178245124588570911964162818903527339824214200345\ 2 977171295724155844164706066343947084713138493097452338321568 n + 234866\ 092654932930745942386683062757557896421958145550511416080317567196348419\ 650483221249657007032775721360030860119923718917412058505304959721577096\ 775751037297771922846664854092680236250894730915870831368901887097553650\ 310766252339859904991466185626843262876277405696168879513144081611713760\ 434918288030737317628353867521885564397936532514917661008062952397653502\ 12889721555927729997831656293511944 n - 22608907699825770936755977803736\ 449938104975377544982422153655725729223169757366242366856010208664685701\ 481307856498325903154272989984703434345648602644374165487929219743774604\ 711424639549680316906732323710129456040117132256944610817474855913368040\ 309167917863871912692626710237791612428951710326185905053665424754544255\ 557790590146036207531880269757626859271443562479783412280730228009436345\ 040349568) a(n - 7)/(n (3 n - 1) (3 n - 2) %1) - 1/98304 (39262797308197\ 463282435995593159460113478049921902745076262583599571211345481459283698\ 455190642170424284650205689065801705298282460538976409395099166413428825\ 561667737372294936216135100662733812758676089892786611496015992507753434\ 918881057537240335456378916709012304820663259596208579105979749414636111\ 663436392804537852182469560118255014665094493079924770861312450829555141\ 9 009225042166587936 n - 169497802390497570461575687303186946111265754484\ 861533361347677084762801884229146584521284118452380070390211907107393420\ 235559937419560186612220492817082910230609107381390744141153438160037740\ 474604287274486639730157057043364005760186474297994425150523483406915481\ 253200885994583431294083662431481757478156862434045803898432121712918639\ 8 3916438730333766785274505320046441005831748343476170307626 n + 47622051\ 593268529848613089550601681743565749154209614936047451527695557058306905\ 304930934894665094814047721696177787330462178615358626693407350657627012\ 002844731434564394265141723991353812243740146834932973126193601626952568\ 991713097675247903388313563235385308878389206084234049480535893530164663\ 970901353158396119118463305549617627683246268603889884280515268845597294\ 7 29116118794605243630257083 n + 1031251497002348362603747711255154105232\ 490101107768988504800691260237759473643598815860217705156394396723850606\ 879951487428397492278457532600483926738684465655829216712067919947911498\ 004581582539179420127477354714032244464941009543903573468322082683460698\ 010821593784730791365491740024410239347179481545417982288770970726694357\ 6 640592139034994194088985220578084766552447896634136982561027538785949 n - 273681613220666160510363311664316450169302289474965464062986968116476064\ 136990651680559791183812939306111435088678196645418388179287352564208564\ 834114119997374893636950302232937809890661741119636641567954762854354021\ 145477619188237802526881281653632782234283612199607111707138848708017365\ 437414779838778665160256263466509127088371436647027551123018382129667986\ 5 57120933228808579023868605410039180691 n + 3450911577313576620716985237\ 669992710198388247206976979553697575003582328391289871283633322252191986\ 790345946985223988559281217629431678839389294028927297767593146565550171\ 456304588974307194098040330531622308807381673718284038505573976990876174\ 832226423315923547376676557708191458709103784073353767698759907946109428\ 587333276359791616691424209952897812052370663450663137602760900117187602\ 4 32475571281 n - 2526188790074193936251957737061903598862536743564028888\ 522257117875673946115253549915944634555375318268370330585352930099677824\ 526876037896772901347138722978607831781341059984209653900031164844164435\ 910731078407436513844907171637496015204378858839915362595711876176850980\ 735411918377171891993803044444196819557224916236111274702592206665571092\ 3 098780830527723771398872507412224994742227840188688825688 n + 110669764\ 200765349677637623575200775858672000098028657295268878244413035659866076\ 761832098127117133676063958372891958019176078102065192113101412527689924\ 010304559115270961260843004265694342574882268669838807898198159898260206\ 452941923211400856175157195314039211041393364851194719724628906835393877\ 770209323291682970752512953257080683711598938940204792185052460477199396\ 2 23258135683409369781411460314316 n - 2727961103273524953425716749419017\ 040653510016436303466078650742880131530532577682114952981029256469789369\ 875022438524082709686905814762408910225267402231673789659119206129170515\ 034177686656383757790938072830943470165315357716471561200119424536170270\ 407880409293884160699115661828413214497171466317399962438685387710304724\ 558207541184722828865922295104348990686440210903241840496024844926897096\ 6322880 n + 295082190154565288715852576229679454526313016690718096419071\ 676293649198675475931693907253427662285761369754802877537817631432572139\ 179006302204021415278899007054226503803047237927285242089521095137897976\ 962188466801870661275552933599923695072219683166270586955120411036313629\ 203987853479223391984061789175234758636919765994719591740466749303916004\ 29354160937859512330419752325017771228836416421058176) a(n - 8)/(n (3 n - 1) (3 n - 2) %1) + 1/196608 (170329515236142281236880485583248151\ 925433959231809341844075969540207054388248277220878560415471591115478977\ 347854322583809731686087471700199755399840042671579101977614313110649539\ 231482296588821972690668396055350776566903025188077004834078793790735750\ 825578473816341854902530101578091755101305702434827245720487964552449980\ 9 09950879223831795726565567939693585555156850707615554852008313170132 n - 187052146831630366855297183354229784562654032889438828585837178961660857\ 839191835542579961831480829052607335411396610789795674779000807820386420\ 373539847447010139283026317903436141869433900649075526646584505243245173\ 102202673507680385720249436482196766496999460359109671326206069818440255\ 776630961691833210865727828000249293975834929144968035576072180335119996\ 8 743189139623927219050543637794864 n - 461950165147859199295018604799507\ 251697151293046865007126319170189593588714277657711217833142585801106857\ 576427919262802449990036811686952716412266233402753293072614584538817592\ 366076319892300774721886424390968888966050970322041042081612456890445496\ 728559886099086956995356555736755691646777358900708779830077526543789260\ 980046826943122343451846667124127310181176940794540947761272852568531788\ 7 25 n + 2257521432684979755289828344153381373273957679029468767141733630\ 674884794917376549483484041723040536477217569651876121864178376336679438\ 921962581867746663939803063240202934926142636906969716712016087026395237\ 469009136182745990788180857101478313393576942821275344485203970562321883\ 451957895743292146287931311759786659631068792524444775498713342533505966\ 6 684301620752329284011680448804163313096699155 n - 492259394577649254276\ 739436828305889454713081682463332490791239333166491431402510137128460898\ 800119398995480939618326062740412147450189743436946164534610979588024725\ 220038495601314663489625817533390616953282733441213823717181284469952982\ 700592178261719432204926699178406670846294234502489948607468210048006634\ 025789666275318162660004463932677127745330542106534779094257330962554335\ 5 37691146833392881 n + 6107654797844279626468924721866942386245616744249\ 321528042047528113993746946928991830896316667238036930753014961522790166\ 461393286865711287130269741736117903219248169868694575628855290397613532\ 555489003193362492987560770512206187435972516245305292750205448005290600\ 580122704217915886774894275434286800390660538738396515218343617859931368\ 4 21698143071610730761792391915097788774674110626339857027007969 n - 4569\ 363922390613551927015587623094585178169501359566681158126864621852448127\ 232541458032818415953868583289304081961852604818337189836912719240817493\ 351552785094860387642551436030074489569954134011157009572612022300273780\ 040112580733405616682300769702271996836349532272671987502013787847795331\ 587985996220237550326389303077145161458873115837577119891836977712298462\ 3 484766801668158786413887218665781722 n + 203579856793920991934809702351\ 453823014134496248776653134343609645740483180496195285090278591935171029\ 532703067134023094717300503180303145949935025516058782862722018282772429\ 174477908087216612931418998398346226342625749668307962451307436095820023\ 155361540067820156682411586192518756295034860174408021380306755378510467\ 053687856459069066303858846278071399028706010412012624472514348924548410\ 2 20825157332 n - 4962994100738836918084310193569234320194826843649569171\ 505066362467043624442217939729279504144453660537758081475236883331940093\ 826901316719396550482897016163804382387173661893318352065965347775253342\ 364151164407381222183795124396735653731689688183596374592409654611816305\ 675562393895642444981626321504863499330001150177512443418375103539689386\ 7002037879250855886574179310596694548097515861915609213496 n + 509129610\ 511411480989905128577575454389069301318952699327526725237453228154128489\ 052492811065417920966501744898236691049122229255828064574496675177207446\ 438010708945436364275169837264636272786350876154811509568021100876984927\ 043511644545050470624828909341347000400774661527156131533060794505121265\ 845339332253064863623237114848256751677565444784700603665948879469278780\ 61692510914612132520287633898688) a(n - 9)/(n (3 n - 1) (3 n - 2) %1) - 1/393216 (28663799625490983479125161913870763288718886296357282765622280\ 887106281782218861040905864359975325741582759161536394199273008409251872\ 847662793116884744774255759363710914603683746167160391813208265927700899\ 461177532458300952688685508372250851732090779129495868263366093399775147\ 935004652421153045545572400301094449473139739283652008870022302911450327\ 9 396579999571710353692114167739942928232452 n - 239676865269074295409659\ 525871043706279513017083381794348799163718826316872722323461005581827938\ 572805654873653368652817866378554510802312859258455102833214350597899721\ 182982792465547280688986726664356808470449622228575796213866389131760803\ 185529873050143398256886711296510868020433568921941552504046227307046675\ 790365567444819000539025841023477657304690587300861459311080261833840512\ 8 6862196868 n + 92832137637987021298929094052347875475005629021003470536\ 253275760944350696729739529980188986626502270963743721042088542492996325\ 436877984982700307036589077518461265984250677412601605171924262142618707\ 257611280129836593075093097008789759290342270557575460642067882124796598\ 317361343395358104594057527194570576622332894026549440504006409171737336\ 7 135491116176887259222833509279167992805391616982779 n - 220903695924056\ 039010094694436781934787362979513633219836222637797208330520841164591870\ 766201800298760480309781885464201000363485589427147557383794921630634888\ 374250896493955513602874595867138710053254088135267846356017892010328827\ 187713440702511731361951761214542484322974919380659370124390033680370728\ 208234127939860900111987731777457156434079022916013899086824431615710713\ 6 6418489365845049973561 n + 35108518131373905553846554580520862056406717\ 999077179127293497299796856124741195280168732005257444778468561559016002\ 784475406827228519278016691760034849243668720420461916286078577280853624\ 059015151403159840436221790382373628350636976457491767365921990372748266\ 518794163082115276067509704068978366012634217586420351735661297957060697\ 5 047664679456589936606572456693034981255040759127968491520455573711 n - 375945048498320728474885589784052456997140570700331953048941610728814340\ 958954403505113967923069684642979888295000997876390317641942011424946213\ 955209117607981938700660162365462978263622596113352305261681976583001059\ 315047410107521867192124769488304453647191177542487388001528179946996303\ 886293579623660428132537567406090606544048772734564244686230144646859581\ 4 740810924083292767681030979506380255155 n + 263829125934094014692898084\ 072528696228464547987143801035944750664782207681734401737067673809206950\ 862679562473905911194883886077465731688631303815030355175672191812385517\ 318985257718600108258083266202136916963484624501774969336220090712288172\ 916468758167469596366612015437027580242575809310724490754049769156741077\ 340040537878325242222800595810293557631752218842075870084973140035761523\ 3 3723915484666 n - 11455056101480920851981590411736235618588801228327363\ 618736577217036831471558810165228682798729329802335790005031249195518382\ 027326680921626812644117087371835589235398807210002401834678647134516120\ 442568719771947567822725005337459879106767537747288858080222494583015574\ 946532518070045756903653730598660182397628034594685250893210681782989980\ 2 003605746649852247904045427784832717567683847817203244306408 n + 275076\ 340812829522694367450132811652545964868498371183793830586317160401387825\ 665084043641170211347677846253399668238752840337889040165785631937343768\ 038881120190773623706822918299584385099444130789709199604497773412506296\ 978740466894604041026720010525769442778687897170686276077624173186423773\ 283328199123774180423577875582669166690116553770989760893272372045466985\ 09912613228363758390434202879047664 n - 27537919837538253575837156806197\ 229284752205879176918054556609982454650925134356203213252557037495452533\ 360954345134388860060943776823385302629006359647252233463216302055613057\ 711691875677209647114425646369376370208444738106343355756076466636179881\ 353292477040166508859269415447994887663138995506458479425434601987694408\ 557892115292482113191181356787841217066023948049953935046983805742722859\ 017359872) a(n - 10)/(n (3 n - 1) (3 n - 2) %1) + 1/393216 (365495263403\ 865470873819371987449581461453161478737425214581972381374963064309630744\ 896059865215109070497009345900417373523099626470702092872722200172612573\ 488537935868250389909513513202933202666182195497074189661148358963949067\ 409163159273654819005358561310715316744834596336545000157716751744755152\ 427054926148975545382352458148426752890777468375148585372924413650854624\ 9 8653507358588097372 n + 29745352362813378716444250682269972217889244913\ 526226849573695117892046481687051425035551195200508382624896764908817448\ 398192445797476702300323616367960490716748184935251120185160189903749076\ 660090363549229102626352173422834917391297853947086236433780471492775717\ 045279762571756069008066555669285104404145474725424080571685224470224011\ 8 7731220091284234633649286471207744057489934541487240657311 n - 35739804\ 010843020274272429304201088312250915734843325468213957303362513625249790\ 840425558344369326881674734160786499548382194539890827564784451885665350\ 385694565870507739088646055513079043231047448427203788279734818885266213\ 489037159498975260525035937942918462107190114427553545809385973727882897\ 029427897291346421038059463106650883568659286813850981069575588617730408\ 7 719670166291324108437497940 n + 132380492216525518199325150852693215458\ 326155784357021535618463156392204563330511233145070702704356904856440643\ 126022265569471299853581710006376880694682355532187907264414396872385040\ 057590722091993916730550659349126564820713200341836914578640898962134385\ 140636025805683199724512330739318402119982541047573856158010803022700774\ 6 0821962549808273531569345056657509848201019456956749091891615982142552 n - 256787204876466841266669571428232067048911122328904315418133899241806\ 752386119360467251588401182359128546518985749718835224271538897009568950\ 060272561991113345946973970516876482022609059057336252668622679094026873\ 210021367044288589638656443237900888180660369736776552023867402473394859\ 215115279179567121530637312927045657711305418491187233071603166049278462\ 5 26249443793211156933279909971598001308120 n + 2955154349029192962406388\ 917635394254701108795111074498633780929321975129717162426386676750629998\ 621413978525293978334726317193348693412073745677132757800866448050252337\ 690807953077230422279634132338334879099955538266171830684169430325592319\ 020178334416472840443090609657192022679181736737486562217752664043487969\ 702499801816072928811471220931882952029230422610797891594441751125582932\ 4 89309416115045 n - 2081748571716211028919779224238323710930338214590137\ 547498992955725008196931929744695161393347346580159817288962572871775010\ 430013460316476547248108860188718089635872488318718197065792186537472574\ 976488938394910495779942546339695996661530873246187433467129481106674568\ 549989220677354375581325176321721686890112077859774904433247840149370622\ 3 501431068652286002814528666993423683557645344696878943983376 n + 876533\ 460001659308517003827732909285259931481794893942695394668890462952391615\ 944412261118925110994084176837896208292565227957594696737451368123878304\ 281845913842014427164095719702776189527967289908608599633116160495399973\ 456098432527017116456184463004605397288146167727326551683788053400728034\ 624018512576991197710189043903525981782305892302090159785305244474212697\ 2 3952629766905678281347360083867636 n - 20096377672570505678218156214081\ 720768753733431906850330293667765236565160122909906218449361852522088191\ 863792532140753331989270784789622037705479975827595354959026170550972758\ 472446621804080275891987615075732269589012317648293546285544047104697408\ 865558100663387838571780978392393578015500111937940106687469326435897398\ 387977529164364252152692511360635074161821409020359938871031214661739318\ 256849824 n + 1909349506383987338255878956150308476244412991589414319219\ 767744287373646785059970881272232013875419593810449825080610487108793050\ 188205024591685443287207206393596097461906392237684476543017385297781923\ 965079593725758396436287530827393693099453301083561095766782550606623515\ 182707391138497570970134732979371090451903784898604141037965116125852767\ 1189638367556828487959276102211334105933591435178651648) a(n - 11)/(n (3 n - 1) (3 n - 2) %1) - 1/786432 (350271502726911148649155250266953455\ 138326106822267895235307354648642563115060936785351166166325090341569453\ 256985871616376116627895921873944460168913267127333682230796643859042242\ 788422318868574332748302563644311790377045817088377116750260211193866559\ 025376793135886226525190156028238241992885506142442836476820911638402525\ 9 24127362023605985413225198750402029717862867210005612975360127078522 n - 404319141132157272700524397456071639746936799581661449091880552441905256\ 099146814370604310912810266879814715037948922730419216222045651804896202\ 242248661108471447863309983767053375181147151675441010180342640255498184\ 723986664539959860721905858071836723078831375227074349567268477388335841\ 564964871777367931493930199679313010488129685834126361767787841435790879\ 8 8601207168886282667241217957720245 n + 19654957496357111141209277177225\ 850644020228837226895568195565137093168431147719555940526731436886868041\ 596943431720222378679551717673736596429631779148206141819003611116518037\ 551536171608970983729310387932526755060312238626229703985779547389670192\ 051877240372953665950753594910946965287487199821595698761141568926601726\ 657886289136173528048241829447427683029184445475051962588807843565339782\ 7 3161 n - 53161430099735364245868466800364574344021305207570284462575552\ 671198903931858358537426470829814498447604113179794872580775484768542734\ 839925948610008605521832941646538790813171563373305174753190054079973412\ 185172659923365499884862657699851200956217055541561066871463185877062667\ 437792978137806740880347216353166085954767010513127360255625055270343504\ 6 41526042284244426715298702457457657427231124875 n + 8853464870759906658\ 172533744487415440004602314134314190624378603869811041538562057388498004\ 896279273387566040530730535129833884607147169103658278949150443061535149\ 437649536301979233724557234183189727780673973181385972935033116789973848\ 463752547427944128394674062822703028700538655162202215614984925923427821\ 250121133237983963781745037041245850625365665889809363869682691936683801\ 5 8973679645381301003 n - 94403921932895087933101588448625297774530766815\ 487977835263313969778938414087972164276990145027004230699795880088976750\ 915150676869217462888538806393738624530469093814438038089379927655878631\ 390976600304126797005090683145490770074372362120710130787121860079621055\ 623481314096140333407120067351488712061200276108840525889174576715270585\ 4 7901139475219209707267634793644708420259247306488155561146436884 n + 64\ 572030563780838648084260842550046677652097318835607219272858121391890281\ 764705158686506117870418928318571106139415926138929196361548662198977221\ 641322165267822884642002186445882748624534541170114102024414275090594826\ 581707230228689196955443420150421860957049527081996526466870505831394666\ 980574940306102988794819885943807528440278052989188088477923414004830392\ 3 56232219062799055518952298256010312474 n - 2736636369929237379487555434\ 618297053652597508635953682876742073323507291211736885014890463568018935\ 413691001802562451846123446075200136690903993132637019831807355190260997\ 636773966375839146022652409292939237557541185312389903118396983069891484\ 779081149500631000217604715993905503044437067644813591778714257133026100\ 025494628135383572987427904118940058210290715450924007843540339003812230\ 2 3474097036564 n + 65361371687768053592758913354856083257058599881335047\ 744047446103056064708942926842501672055374734851601962620778447877011522\ 612478482067640606725023694403899039613354178612902144517627818245591236\ 978868116734149225096285110743124052064107112322345657218449773466337729\ 012717580629476496477457118715683946137282277379555523716594080319407457\ 058386491803913910701011221414230615995552320351811946627776 n - 6731985\ 969682321546342898303442548429513437144857273138214238853730161234235646\ 995763662995705883850479977887057303788973780172489049743595161154764505\ 938158666564686906611703550468766645594756771381006830583616166736351950\ 651290872532788189548846212237688900387541948733856181284007270992513684\ 875749386069126284615463423395060606870735914886424805356712535102679508\ 6712156963808548962064904070088320) a(n - 12)/(n (3 n - 1) (3 n - 2) %1) - 1/1572864 (2826587457790858417012473526585451683345879700947521904274953\ 274046198496246685448717558247514928591747863009998026475789353175989248\ 635433840776938490754479747864227246346088585414580634867781897477859067\ 656575157310840824334453645510399631892146256134918985877613085185043107\ 566303075902407773136500850712305364641817383819961005961123128208558516\ 9 5324756782645959762241692116955667941978744 n - 27419674155974256243007\ 589533178852396624738332877601284756473586943230456793309590551002280938\ 480099946280789224867278715241720891971778484136050713250693654728510487\ 126027654129955505667499166063049403305333779474054781718316716478813837\ 830642567718799998129418488804498337126478235002484913924567187174526799\ 222247642456615903555156634977283923244205752198138318067561189152487216\ 8 56879324669 n + 1154890099585868234240459757574549926989636083007171353\ 924085699584638532455144697560155976549740658771635875696865538219888930\ 265297468149742452068555731501533069736546747697478794626567632265382960\ 103736667688007106008249853543822892442160231613609425111869157423832778\ 714883299703737316072953807604119397875699663962321991175180898971096231\ 7 21110646570663470601112989865771711690230852331009348 n - 2760728036259\ 328196427236324365741617413272172090903684749657404241566668073526922773\ 598778548824080898452839926026419751623540822007620548902840550230957753\ 771522732696551499402152749510013235449860231619825950680319980497797679\ 682068725927306657057391906019418289103100872195174665672561662461303050\ 442721280886193459818639173701521710652554121604746581867421689241509923\ 6 571223957592332770120516 n + 411874709142465784470780088606228365743960\ 062578769798055904825603455208032564155204162898716311619777543610243629\ 856679641997592651931077651343169747793008987093812305115598929140762422\ 101456333773386526024500915789054307749844479235625135848794516423184215\ 844533781002199568723807329602598589731914917903050553177550181737873156\ 5 71009373459377138119679761369846587768761273879649481873430059357962 n - 397580806405963252397700047484274314159570077286760844732758619056706569\ 530526542205230083697064840588695915191578628314295399569813031228984797\ 609596852110945380976813925950540744553176700350701982272819256969874522\ 574349696542669516588183773091969002065694602902319816128797278791252493\ 807326374036445681143569250945709160672877573810481992603434468390547473\ 4 217095860125542789929051890360936055847 n + 248794099264671784669246441\ 720922545843413299958322316382314630599740262053425507383519278199068447\ 377562072939352647423332505181668632916037693819191414214496440260993187\ 320144295794355637269352788664240884099403235875816002862292600704366898\ 154780339037052205089290933567216211069596705918098227667600650637086199\ 497956017904045068353953842773872345574772674157523786334739613350479401\ 3 9433172199514 n - 97794080232417907053850531405772514968848788168832395\ 385303642966592536418543313035756675192507854780638127397782011199267467\ 072686093316378569751306616445551658928995117708137319940873337586314409\ 314322252011789796364166434910671395709587467256956965263668848519444173\ 323861066277697953037715131701257947324802140549069099011099035777202541\ 2 13061904883544159736288899735069515320989747064345721703688 n + 2209227\ 659762978726051824050289599699430614193500357302205406970251412750940025\ 983185131298202817655235751947985543432403729107006154269034902994150291\ 003534053212961422490289728733694025422613807512282911064456287656258643\ 188696868494579065084616149389109977396845310661852096198207805571318121\ 272510816543179968395339489545372058381184305853672126781302038673579631\ 8683722217423392484716010268857136 n - 220959892201854486905603517940605\ 400895547975475597616595009934688097944736730089933995253487559582232825\ 080276216764666179917932487286285540398274141271276674846635826879714364\ 781664525746676069357725591789971955571412216180866936673771455103637847\ 438880070467971445329105114403605221238121568991705342077176335730174049\ 131337432428439563384332874517623148518185863727580338118187932198717254\ 58710912) a(n - 13)/(n (3 n - 1) (3 n - 2) %1) - 1/1572864 (180080055531\ 591196881558418387324707946879719223324678729486087878580172815655163550\ 244726641026648235760666592983534597981117730985810625722812687378154593\ 903390009918314825110056368442924328997959342246375971279164161629980272\ 623959313362007617841330791796849834336220749729901726107664363037595566\ 157337196405189962922511717762530275825405985991218240210331378530372366\ 9 1262413010121356920 n - 14609682934394155810129746169511943643054770086\ 781945991790566164253672924313317084118259030688066247275382811016692648\ 672142557574698445693316346138924686374144095325125265320293248706323904\ 737946553502035477795805559061672460533939411273846935578592060422153094\ 023491617665714292125197726000426902196235357874347926390834008144259826\ 8 5764737925136173874248170539027283558796014013982708258845 n + 41963060\ 732353280989490238610616187248622568957585477419920550025588983842337710\ 233491522684069805208032320378331541661239358532752353582259974348799426\ 644360558869357591259100267498962071770221418239116087511927309579646571\ 874303462704378831918964259168379880525664391093743177453321050753892472\ 243128174628500836048328975999874401416108907554820329404548081446784924\ 7 47234288640922992285202714 n - 3445580529426769292706743730930252924155\ 238979184119610492094179286658637960862213927213670245980294549006117293\ 822811362903187029394828134507776565722532679475148942678637128571816707\ 230695133396685204594589643100093825228251015275328199532089978730970820\ 794710417095885851657435404105952872002888041130707624700656612631395507\ 6 2251238828279480730543218705080686763454772121768735150187389520210 n - 742604026694125202569913019102640694899009084555739849705329980014166756\ 520450518672289130272663571397487857663003051618184088364344130804088537\ 665114736418798222128181219361801256891555127858881758708843266144744805\ 372954832302503220179145724629287406554147490216547286634044643642983564\ 664229371598344947091425721456764063891342391967673362144574950832487087\ 5 457268607483203938451279990426909216 n + 213978168892921611993152558861\ 500161477157014831101711642383952071969578524887889232530949816857951114\ 698370417236833997578843483072197655487793482830535092380268313935622447\ 002376392196074836751029155931003875337140011492126468534197858104516096\ 546660156548584854702766448042468754649411884038290969134957888950913808\ 068785708149222033274525045848270718084661665159325869871536233067739816\ 4 08109231 n - 2276145600962912597093520769979158663561086338514023221304\ 080293546278967102828400829512153979352385455212559841353450958571447696\ 919055316806650984926641357825634724087178045449672075179024876500038144\ 507313136525892598564350944508135060703477806658914368249072061292183437\ 543675918220177033787522724552968837417500026810207249832862982573872986\ 3 48116915082181847698136196126667561982477374105272706 n + 1216719426827\ 745164806025372087747685053343603281407154709723318543496886527713592111\ 826756541641736690066449562451979788777312323587139553180047585907884923\ 900186708154817540093397109360311802683827579806442628061100619854302831\ 182108217670907361329842589504601157738985777082643410002635152217340640\ 360799332407821145879593580502821610801553041382113545003269983157035761\ 2 170927270569958083812587344 n - 314056770419063551501148768962360629047\ 750223935387225696001295120191166203482969833367060947510321956048618236\ 771666339952554864427855184857959349357478865805879643896560248441638078\ 798058718180012572776129000079531677124373113771530870321368051678893753\ 677997361756434255308635089812458810577984248618284520578260153775022008\ 184210977611568887738313570474423524457202685537978328624579189686087004\ 8 n + 292773026332193948764185941176134870850915906780186358500375776403\ 846284878181599092649016390601141830492088641288362489170863971165136405\ 143586470284977762298341757617087041112812688872049757441799575031942343\ 043888517433972143960481625844351012772327155939513732468369678457337145\ 108516530958949356921972458547557679171876689389203738614809235125085108\ 5156528454133736375519548962162215616833159168) a(n - 14)/(n (3 n - 1) (3 n - 2) %1) + 1/1572864 (567464174288535196524818847542504823306543051\ 725057410286824047928065702644032027731736850618019145947311466074539126\ 509632642086186100895513542255326280297927138449825427807588849584448740\ 093496650225794762230760024056433044019142032253369223823957948901817185\ 659526690070806561958131539559875040909771193007519402581074642566024016\ 9 0296105343914201051513693867129525369061662509717095634696 n - 65791052\ 972355632049685064662639917442342138697531118381888682074282674522726421\ 745087672944805713381648325157314557250983440986393404785094641046656491\ 600847530067509662701466389620045338103999800111113231640882158708946049\ 785359254717902371904604396166230218270683116258594319515570380597090172\ 032858461584197254050639984436760840574283858501333919809247978008867265\ 8 2579097155185586914140419 n + 32593754967165540044558807848847929058771\ 850246353442273956438154575738059141531929172384526898419584228300497224\ 811125799316551400119944567070351493108509971086574146486753026519077776\ 991575059410141895961343512123968006545911873571979930027369951723231395\ 985415808541354579146672030202486319901685638271781501868376493807753330\ 7 290355991431161959884228594695992633165837637758985145964352548044 n - 907441633900714807043230707363036737020518754076028921801191559828415001\ 953449908865705072016991933840379774005480387777912199976527696109672298\ 180782014973952813674283377654945648487153440979763625916225900346581078\ 504604547060705329714182265716682299128613926591349143375881828688356396\ 459370808414543297131768478948477483469202260552422584063199796399158283\ 6 213438473399677178539858297673977004 n + 156437436854083425605817524442\ 301554930498329509124393354881807330630991204668074927011359029313396045\ 122529255578433742873590887964629074419625229718099345390026049111415640\ 736648754355303616846132113811156667497107891388545561489211931446841377\ 309508500704766414883269381195749029287166705068731361457811252046802336\ 340793401568770588468866984137358705115010011835289359553154436904723572\ 5 67499094 n - 1728790934319912363976884004794758621718864270866317235453\ 809700079195150240686115959994904978382093863996743677503711960379489342\ 966679328212991651423220267163824316368396231520778678544547942224154747\ 776708445939565311232918281841305990849930267717003522043278511251118077\ 599458421255948120475828814385134152522848121193800556681501828530910208\ 4 14389206810009217298715706789929409707351444264125913 n + 1221134612907\ 189423041141253531594606091171209064215344724022034661600306593190742281\ 116110790434573504338378534360905256811269514883157415262516424974622571\ 331190463630032493629276152854430616028982353065329029322455746833475784\ 440769857517607537343738353057695770520522000528697778495883276543522001\ 898404180736394962863032746983223240461471987807115885968316659432370742\ 3 140264721582313747404200374 n - 529659458230858275936567999080908464132\ 884067746019274262678009153815797728504855697536560725000647019943285230\ 374176700571128585530779400016631257513299207157335483528808151992626093\ 347835818048252469579891114221290658555215742744485719816468037364166528\ 357519748024656467902132892137902043955912811912577391684032075399164571\ 032983528743566310197679724243815764948892871176810194465277362466535808\ 2 8 n + 12751118477112008785118989004028293112924377388247844387036038569\ 442042029322394181793988494949293242761784558535974622539374644849295837\ 790086799569520732339514525539046902545519363132805843504220770859743348\ 469173224207554248939289981647499493340002336658714269574766929334950563\ 714655251224462845774821603364562468672279837469140483730358570087533941\ 401535230603969779173285310686993366492770761616 n - 1294702427531505687\ 442039189035189990513996793161830614924798951185544286584868383347743887\ 174067832266686259897554946100909583463151108126577990382798859785718161\ 345660802563407326234798094241403020261863844632397298635666832594474829\ 509258308164794382300687289393204088338092896632178387340172651302159995\ 684883411514785089434388969657338103558980657092652737835331960017971702\ 2210775299105890014848) a(n - 15)/(n (3 n - 1) (3 n - 2) %1) + 1/1572864 (n - 20) (42028556043547556678436473092851506653022466361199821993372263\ 004388076992172806127698748053536000077400799665803505326465683014950856\ 595977675465989373389159515871101908655552114004167834379743287228770837\ 594266712283501638726762247767905975154074626374193773948808995457071333\ 170277508134102436488846933318756145485662760804694881167465917900461217\ 8 85524730739275603286376355854953980058944 n - 3802911574108976589037906\ 486014558481898064371901416869582830900256215670442388908805136025102655\ 087449577419710168972393278770228032888984610315971361532003207118731086\ 816360927678607935912270418674699408663757815451247194988640935508716888\ 973813267208660565760728050433187007750809845313998177792446729093377359\ 982331133643872009062123067296008490297640427640201979358310375333261319\ 7 01106687 n + 1464384921749362323352755413595898294693943360206308448795\ 022665596497083169193425114669178313706622711213831909664963817692960367\ 711121847169630758015573889163940548097140406249934693281606619190928160\ 215374384285626986232579914508091919514066924131644443468439545163465041\ 244098891396786068369421265539966947525490284936177243605862518201843745\ 6 3541720661889786408147503931336508133659221797954 n - 31262671666513721\ 535537551116544687029092011204404825480456197041729720636621020092568659\ 027336419052228400073069122991017644508308169357015535192514000388717446\ 619504391988001840642984831095720967062184797644197152433414396627793617\ 167557881642969573410837587717020408283752358453844155848524394991395222\ 844675568092482111565738092659235684440115921459918227982398532927854250\ 5 7263963850875094490 n + 40353134014157913731365537998903562689428156704\ 191011270230546520767690913832352075035570792818655774583593187962443879\ 174844500885312544269174575106165853929163850465221116391046824546844986\ 489540871906368549492516328631559884915124120350218493234072020970004668\ 144830542478536377890070011459818888177054974631763279584485055163082110\ 4 93991870736769624230585250660497319973670233074881787532689812 n - 3214\ 768584862838108280408810058965051828372524340676456177408005384230978666\ 348710881544477787880944697442721159054503412092238061153130026460326280\ 524164654475407398909354031046637906685410931479250060430011796491931247\ 002856615505902411843762780838261181147254036464747105855437683327287848\ 324879122709496787598176059995767224361248745493135907149744764838057275\ 3 0141033772133877005060868199590967 n + 15390765073621046006027861197674\ 452321799921150582750893541701743503354186005577984887832040353911003525\ 721118110508215134939436561248210785037568775121282668213017476446632608\ 544637168114220573926149605066528100029328907635656375805497709508430945\ 735596167663942488974625840302527188512077398239770434868018796463259413\ 700672333574883289815996989890778891675323519343344779927372712592740457\ 2 7801482 n - 40409603597175524593534074654195892843193136731793988373782\ 425188836502962411144700022523765548303748844266894755320922916162834806\ 310409288787514095132060821401693514153866689226877766342326276761031927\ 127492438920645434758458011495032944591866240957144144452944162085798531\ 065963900836112111160680367958566058944572792747152469687211819323730379\ 6357283033241787078808537676133325984133988997633232 n + 446125716903078\ 613178703028190772039080086059072342970222016593819954502838872372571650\ 368900682590217796276857735138001294122211241595909308976390284468864748\ 789211513453543056999147855487291542716220113613496310476458610259055567\ 978455962092884051040485699376207551501681333715177312711294509216784486\ 272834768256064882331824661700434045055683671602030274754107212225139410\ 152657225754037525628608) a(n - 16)/(n (3 n - 1) (3 n - 2) %1) + 7/1572864 (14550202377165816460695303235353665240360698608364495262875253666417935\ 972516258430158588570983480667446820279186119400961224898971501816612236\ 727210767792552833563475060064269914271076406554519099181776491308571203\ 232003783791891449397424523080103011285031860400611623616510295653896058\ 155635686726808676543969522194447832266737288638044834787116159116895721\ 9 9998229451370761282073179723208 n - 15267325900949118193047606396638883\ 687131065164574696306926301984618002421049874057132471563276403030694854\ 545042736723183352221946432976239445541463150977409965206042435736541528\ 263021833487438650305356065825100186246064140507101712690540786266993154\ 950187679810895247615315667182504490910818404152787989417872200081196828\ 8 961603659999211262719538322144796305432609332785505958031367532795287 n + 700820979807185632935149464819782973465793798754219037375449999618481806\ 077827015785581485350356036922800809140431766155415615083220441870857193\ 145969200943985645478706430472580021899698008819121377349048928155588111\ 739180198816321670568667912365679391631408177486950417293861177642928239\ 967684681027411933605638644833349493075153784766151152130096485107439219\ 7 974829701509671717999234271494948 n - 184284472496509255432724724519251\ 288100063126961407836495754521357217568829719832826691326198302695085387\ 259147317153557254245212321061095790788315740650923117851676062388439839\ 231446029231491232748064069220072613115131086955449533788607852157175922\ 261554931269607454550846785810725145579934251963125010666320890636585275\ 306001471775593934299204819775889568886014232050859408585688584497879033\ 6 12 n + 3051236148098617562515794843546320781871900006784386508983782773\ 955364709906247076781907317729954732623197506376378824008638165599503141\ 173338165855801477061585865584374430967527039831214213034577687178160805\ 886570046171839534922194881407891047544221741014462242396855684111510375\ 495320616570184607483374813300226855642765197509636670634502856592280317\ 5 96256453908201195967250641579172304131654706 n - 3289407998753987263088\ 649128562588962402860517427697297088347616728773659258583724807557529952\ 484285343892906985784804005923744450539535252370394403243958682016099203\ 959529476653993445752079556779199656896206528384790979596482030082036246\ 617084734482111819314072068680782144326773959409410808950996185612931860\ 642244766676980844292027046802412128147420775177807296751722248543084330\ 4 464653640495041 n + 230194491583879974472674258949706359454771125753343\ 538026659893499791480642046788859036957083397047553132278370586712341561\ 553047530535385318177859392338562222472990225275028642260714439921995937\ 295700831924542352809000190415376593126894404815947147224634050359383630\ 362370856322832697956861998829235230252717450209015281165191913594015362\ 3 41393031398182023734615720535977371580632785462432771943794 n - 1005447\ 113074996326240292644266644636330419003794886467387828961576223690569926\ 198693940905651820910640094718815020018591629727625738706800179971832180\ 589907134480071030086119055786209587408894129550996645347278646104161815\ 990865042180115295750608193982934766448131317637413365204921619799136779\ 198506457954279175839965497482853586234414774666595550933268156374291391\ 2 46987816159858696327343019232472 n + 2482490462590365808335952949414826\ 013239360041408928402900617892919618626316062034545562552767490263157098\ 916160768731349804040695642270348620284065149006496766792094843685010410\ 588186694128048029021075139233694610036349577026128280645938020620045565\ 209734061645717788991251045040239426973298070349540462576464402234885188\ 938221889416258679892456104932442628750069694457471300732437518601080928\ 49776 n - 26426010934387818295716949609615763433071894006661560055045163\ 619927129088830803741563994603737195450004480327581719317413055052424950\ 460907075099436490404711257784096852495404842365369229780727736198552798\ 118479207549663529933794570503444666610597101854857477101709717699780350\ 441389878506090450855558814911242281665487077259908485319284376053096587\ 0312225542280831185138295809344443737316334640512) a(n - 17)/(n (3 n - 1) (3 n - 2) %1) - 7/1572864 (n - 18) (991872919446090850607308617498255511\ 820470076241345154504189167135079926866528295315746244638872281587344385\ 486296693765822394733640806585053988306906423416700098287162782153826270\ 225149873594208662647765965242782972749007724210175062101439385302770882\ 692090767690034683422951187980382885571443182976444617346151034878784546\ 8 9220643543746396168132099196506156713352911874292483116716932936 n - 74\ 150231877785494530285287026844226120115545805607054363281307333831503196\ 416219270129538689673437565481998093276756355596066245551339401712603383\ 663341406704316278222830953866677660033669020752075278662815737375005066\ 215235442115716051002323947293860490498978037847936956909360901234657675\ 283410255844988954552014465253985651010849829504157198824388001985739314\ 7 8210921505893008949168521033 n + 25208844216324084926061878831793928347\ 531717042079265896357872566113191660927942893082281601192047611766434919\ 202648911250103017847316772178592616269784498829300025843994037553202751\ 290127607809423801016521271822707934404113392636404986639966044550627919\ 417626154000137317140057845400480662850297247170421857361181395443898383\ 6 186388903756048990646388713811299996447536519802550787829158862580 n - 509188461444376105228516982960720416968022883723295395157353603514876286\ 919753275061468393755437367178888806097028064373761631286626779040369107\ 902248240025887307779703130819328524285762737796978700950514558741521986\ 826497429305714181695892989611952759728606523226494271429322012314305599\ 023424081185536762825506075605096190802769199678841256128309750765979127\ 5 060906129327329972177178347868250 n + 654011449461171608012353435091126\ 043622653224757917530028500773162419961144297154104923046882469986622419\ 128559663952894070000973120710474449113736757376222046603880705049948137\ 870967778409593982719501693467635977940086335965097630047156348927428421\ 580303206743474416443981250180749690796409328046772262619243456724023183\ 520476723869205317689479961494137840540684400249767756993288085065866735\ 4 6 n - 52796318273136014788966862838037427576641429601279378918233283454\ 229114655846505290495755798677902934889067208304622743410031983695047120\ 148408627024021887525492602825753709118970240571168942279993649051850005\ 462038591753995478812596417288693515097609033021748540238498580942308190\ 451866346319894644099104361045852333608592261930729944492614411076035933\ 3 867333929316421322868691289093277086831293 n + 251512417817525286752432\ 100283637198096228125725807945753972000312295755853489066944760501243303\ 724318359229557857736511576302755794661307342402872339396346006226384732\ 705787929243296968953734882921278018704007833231312636069258234082453234\ 329890705750542371837408534334391078448169563467486037340299579665546839\ 758599924750852541248131216230893589474854622708253910209324899394642964\ 2 850594687208 n - 619159284360895235638269853708826994615806825670804314\ 142991546189290196630010275547744854203998906082766146515508996105620285\ 170011986383345059745759993780410964098712675620801951681561532537708010\ 572881046689465094392035771068684040363281803468798648118788871109953418\ 972942336161916653618828060870488146969073328606518793357315148248093608\ 966940778250359494540627034858897413715259223556663776 n + 5651883141390\ 676932875261249698458975538167356331953282974351388293111125398753508948\ 213414211072277122362278182700406038749514898599113472508548204610624165\ 780131974882692355455109760235982612029082275618612779471344001275356833\ 082149337337828455120372097420702830765969333742201824726532133099186115\ 066719822672855123797668931775067792116064776976978951542621174372609622\ 28677706425358168745856) a(n - 18)/(n (3 n - 1) (3 n - 2) %1) - 7/1572864 (n - 17) (n - 18) (n - 19) (14687418829186275894002615454132777449946087\ 116865198518899332386579347822891715738059631376609404548242077580092891\ 039096629785662841475366495363694844259936152454276687770623281969953618\ 960319543379359902624024417046535181529220094377585525192980311051864307\ 388221058808945105564944693829679407026697309647235152209746687794787789\ 6 828258748414706674132714165311151684448799944172141277096 n - 885224483\ 934948515366799854692271020456524921178186254210708623822987065098918797\ 575097864502783514457101139781664914865956696231256555832244887750609137\ 710095468431654989532482981102745637431888789368622683562632643516006020\ 263998942376701370576512136016667185345224740443377298759429394495303699\ 458882228312676471684125513168298350247153813300583350935609134826489506\ 5 182324307164977819789 n + 210840515021392196365323345534132168240613143\ 750464224446047041513534220260919205819899152694510241037483692576886199\ 132976104865189044267259967889947515938457555086425621391837011241874295\ 688034718622429149559018590079385339575520357172884890092576672809709219\ 507684708294192658661823934142691285512564476787632020604568010590494439\ 4 90820106801158714534664965844501300696803272192375153373374 n - 2531307\ 081854682897436177950279965376823653140472758945114946117922891729601481\ 574656235357808190543532805017759324068566584165976908677976215253688059\ 942787489029871814338877545226967293641172547390236046552772354361300043\ 595261731513117205679195091651626873543900203637805610223854177358811850\ 522562468216725071977671347244786314670475930437633924235581495168979277\ 3 94507656225285452561393021 n + 1612872212851664483017964893660591914656\ 274814182977842082385258997098729443674514195193225786781520058965777722\ 655687606253048562025817712854519589482388627957249260806016010366643537\ 391341743112538835096052464235139640968329403836333591118094244028126394\ 601881171251946602840076353513168382601688823352654467261980536204487674\ 2 632679008152519929704362055637958966641592908055758956488892601816 n - 517228689633560738176480854275107314686542204628388721672972279035580709\ 825186121703342372461427571118995483947247887415685135149660876561792333\ 812895885518673197164960121185860277866905780591629334226254981841813868\ 723538626138578419717189574863389297344960728381270864348609524181342988\ 262636989821430473515352304577200270087692127759841198767204241549926602\ 6365468182991444838128165672607512 n + 655934275713909406300790447367877\ 952430837217431617732485158376936127659423759887214484299159874940009392\ 162913251769688161121470534719139800287225885120791360125394408843066160\ 679688882861888306374970538620641210734842429662635126968125586219733592\ 011615682374059426149890208243290482853671687786754672026366321211641377\ 690875012340421797846867287116160995263386779497694301329977002766610835\ 2) a(n - 19)/(n (3 n - 1) (3 n - 2) %1) - 7/1572864 (n - 18) (n - 19) (n - 20) (57360988818897156454059777684080928143768435656619445288591133\ 630059400849899883888070686021129853700252678554967180073386489111876067\ 209544068394965166872914720240650555742963676897928912296305714785098072\ 094836427411975698432932154596998128395215871515602560634067436954721007\ 272333990900147734768262417319554965217719550293018034363342031762807106\ 6 92128429772340322461405530211423418580 n - 3218131293636633113384353699\ 674199362144981860997765452561376324085731846353433438704415797133471414\ 006412350999748460198313353430580172512975278309189391667068037841904413\ 672607759580611235383767876058399388051797529278040535162936041898588730\ 418135430119933448668366546678855271303905728833302612051989252012179809\ 688914874670421265783407332790052992079630712644069203115248011078293671\ 5 47 n + 7314887090997494945716823892534290729294721565264675803940382138\ 699313830724658361235896746786987632539334695409184356596890299160316850\ 341199570784256375953244134501380913736606061978123364135467944394239731\ 963635504468668310897967768116913440833896658976392410613751782358309478\ 106954399518118084579578444165995410784627196556594155912976121534385221\ 4 292589368797943774750313708891122122361 n - 857223283042206997889124815\ 629575521346294286997460442326851552476673298175527302740966600828363877\ 332296529748251386384603651420911363401554756107543076373608456634792533\ 997920473702665266983911520354404632123717064037138738501245632818159192\ 931510348347824085941196023821805020180226917342590627859347124894018253\ 448426761722896317418190827306996737369612994681191580178906169268685111\ 3 56969 n + 5433062356228707408671353136239615992313487827682307118939792\ 465901111790663859084087819104922043925728429852807795085903834419122658\ 781377891116949717963020012500133102721302454771520739933968481289662793\ 697352153589413725814809235801937787746823181342131833012730733582045551\ 447322635441296587438804373194851620037418925033865586198710030295982696\ 2 60329255077562017260880217962205271808805027 n - 1760862881032300099015\ 891141496049219469965041779256602848379728028984008908895509747622218432\ 560740912099450626459647941421087788429778330711860719097479269788276222\ 728854038690175102793958103946589876988796325114931675645573892709924109\ 063964588701204358194207845422235618102791832797321941472524103864260561\ 687307109297549269712508311302771691453171575753205347594567711113367755\ 670405673948 n + 2290607706973634194185119099177219460119149803766784563\ 688622932780753520686776021703915973378045921882622752049147149485535031\ 064304823485169208504957238938204822363049410692450882627525264123647825\ 645320134146854438749780235560921279486488796778369425590402916490111253\ 111453462955540064778405956892890138220561226586448997256420481173789520\ 378486629265470848376269387394134335168314207345568) a(n - 20)/(n (3 n - 1) (3 n - 2) %1) %1 := 2261971481000568676458775895281731035933614234300886273041186321932951\ 302176756741123348710050988419224205044871660903652581719848084645282557\ 247468687727071787294291801753647178201588643300702778353178871193921218\ 827643982260005746188261070872430723232323674697541009113022130770012878\ 367744085050597328903432053720152061439650194407646696827874481765571552\ 6 158234909653730289250841410286 n - 131871953715656797917549651719638970\ 676278299043555528055275995365563308887311052546941783138858663152781102\ 766389780438873172146527581730364298957304128795736779033995098653474225\ 244750146945283003500541710719753557139841795906353251680789123368205645\ 967491667616777779030991095044295587589420936594189454387706150285967316\ 5 855634641402812821469948896742343302085203966867956887937236823351 n + 303147198975429144561444205609286138479515265302753499147565276866968362\ 030327135711316695031913658449684169384290918460133434899453341994473845\ 763318086786451184984771254973686909721068532535481135050309415978832292\ 253152401370880534571148836223391439890293293510680790423536913189319401\ 098581604229383051846715023533198340535404434942310145406667565163039071\ 4 6321027471818262933378171565602 n - 34820511120730740740700838940845722\ 020797063327919894339483095541703339349028566362410368636729571218858247\ 750095613794489756840511121416654368374989751776310237787179670701412385\ 565638948343100090720537566771367389540581831091026970013841741657425509\ 700816761813286424726034447749708091031348085064161195806716029383953230\ 3 083677642388442935494086842358775162155671342621882201218994689801434 n + 206740707188500412436245915881371913883734356184732629570629625815005689\ 080948560823636222683733357328830842049231660116111559823283723335420032\ 820317806238949898844444539957881492271352495000804132210063360326878300\ 473824910730452727875015223644355454217435043196989160581292283633443108\ 453571585066207046687581176366719418353717914718740657753931240112463999\ 2 956855104265289815575247097700293 n - 577976099501765493048092166730537\ 023676409773180609161160395072462456615983316186313994807263910451120639\ 078198323066147631473903104175726211004808733185986750619206162863262843\ 468994941177790273780927591147898235020887415328369398145520497934022131\ 500003181033686858826362517914258978983981961065035605742387320418062994\ 754452939596944077821222342529355747896618993731764476009054629366168522 n + 534369885941880372313919321523945560297025757659050201108751772492680\ 277490249127017433297288602011737213339570786050428265931690673300252295\ 922902979901458714243718867278800021048214616664359047972214209498161030\ 760934670047676984879277655146196284050241048847184581941263649439336044\ 277762736077717763008714507880183268936159281922099885634716497685281885\ 905205269343876969100661508606381064 Subject to the initial conditions 41 35 a(1) = 1, a(2) = 1/2, a(3) = 3/8, a(4) = 9/32, a(5) = ---, a(6) = ---, 128 128 33 1917 223 26701 51171 a(7) = ---, a(8) = ----, a(9) = ----, a(10) = ------, a(11) = ------, 128 8192 1024 131072 262144 197425 757097 5811387 22422239 a(12) = -------, a(13) = -------, a(14) = --------, a(15) = ---------, 1048576 4194304 33554432 134217728 86958933 337656019 164044591 a(16) = ---------, a(17) = ----------, a(18) = ----------, 536870912 2147483648 1073741824 5108970513 19922923099 a(19) = -----------, a(20) = ------------ 34359738368 137438953472 and in Maple notation a(n) = 1/4*(1331962698954927089615840256764120917782902163710385010846328026557\ 6503265499224013847992157732959802247426134217233724107134316442541702769724085\ 0647141219915366623168582574372771597741477001037006603511907275062400484540078\ 1222126373844899274617687241500537272619787250719888102084383958129663832984629\ 1318020225702201226302455039511575158011758391859211855497321780486640548450412\ 5607126*n^9-8328420721200008708625394741524146921449342909165204486303764189908\ 8024980171001020837615604166088956019663208931087991087330169593054942245549896\ 9485022585884120617700542352384780530581049737739189933128560332377240205561893\ 6195725710570829173363625539211931997366407383256833201780382095562248691608128\ 2058748886297713198541103194618978236807491531157755555144610147626096938889747\ 08102602*n^8+212993661668126398507578988307969990599628774890961541171699277960\ 8655699600749450101130846446592863571730963723044975025952098465039706323311055\ 1078769287217649844237437349046349484501891997197479768184782919871795879051296\ 8767741426721458932064403014212719134528161865371586375260067501864788150166039\ 6594584267668698013715518733954474867484718449717940491572369663074493379879662\ 45560411645*n^7-288560560911730823872442764492169808229986870651818326150815679\ 9402571158865749442111881876011377639441192906463576633919458451701189185820504\ 1250274430361716647734169335373013609997060586151270118487398771203407443156762\ 1960046779787282245863962069660609889612375257232692423262032384521086321139658\ 9936579112397666570278076088054746920467873868334717914751964864356615980577195\ 018901081882931*n^6+22437575540475111741573570296692504998398483115186902325986\ 6854502475889944354168672295378076485519063659635639051329200996468796687653580\ 2317142080781506564308239358521839071905187343770234604995534759838362075714113\ 4922928308529768694261462913773010097798808475259427418031618409585701172939516\ 5867870820867319999376140175629144830013884778515256586853844804427298607657367\ 10506920329687877324*n^5-101886682433476703819706979900115844064577177494030771\ 0472297857587359230604045999252091847178705909764806092038275051812293324547519\ 5137109185153469627095613699305579245283570515413962669031422297783270173713428\ 4583882003067849114594465134211553846898166998335844376906523070684228521729251\ 2043126739049303589897788953827456481858703157048239963903973823901111455893002\ 30730848697513103897893365*n^4+266727022169211167208052228467160860974047097920\ 9073707717640519935831194034704422598689156039793673167625899929379664511856910\ 3087834376799810358557465429356854063606691573203133384654248875465818864379539\ 1367211284403353859551974309544311567464684677395023138128968298853054819447492\ 5465839018784698981158700765921946209419181473169983210811544206917296059606799\ 08992349751766026247885264012557*n^3-393014812596578697190835631008929521997367\ 8049294738749933356100897982676865290405121515471194075276983724132636623848712\ 8663459953940293463371536036971123420402560421221331471222456927346035713206839\ 2122267052628938578660269246757442097618914384677693934834436899187314707768520\ 7504960140890618482692018899534046864303318232120011133671292475024092822552374\ 00675611592395183686747068436299997458*n^2+300775945885276211307467530477119654\ 0521381428537326446061858729017877266772040585144769077245828388027057536035665\ 5042393536483866514804864568140757227441096966162112753231657259529748732756709\ 3253794373798867503002550679554338963905223113023672230523586044438145409186336\ 6198421643035537158600464381750138145071106462629770205286802017789475445308751\ 52561553484107589858092339548672906712436864*n-91833378014944986145623223532941\ 2652055939981407883675549327512512026774437989563103470284555767390160544448288\ 9805498315671529327678445220517868460126957201054226024857811206782041677039400\ 4078184299386813103165553995146858892449517141924543447478140991409757699283722\ 7990934169083950315897180574155213714515704299257429154767709467685605379698467\ 27994940674679543258513495279172611161665413408)/n/(3*n-1)/(3*n-2)/(22619714810\ 0056867645877589528173103593361423430088627304118632193295130217675674112334871\ 0050988419224205044871660903652581719848084645282557247468687727071787294291801\ 7536471782015886433007027783531788711939212188276439822600057461882610708724307\ 2323232367469754100911302213077001287836774408505059732890343205372015206143965\ 0194407646696827874481765571552158234909653730289250841410286*n^6-1318719537156\ 5679791754965171963897067627829904355552805527599536556330888731105254694178313\ 8858663152781102766389780438873172146527581730364298957304128795736779033995098\ 6534742252447501469452830035005417107197535571398417959063532516807891233682056\ 4596749166761677777903099109504429558758942093659418945438770615028596731685563\ 4641402812821469948896742343302085203966867956887937236823351*n^5+3031471989754\ 2914456144420560928613847951526530275349914756527686696836203032713571131669503\ 1913658449684169384290918460133434899453341994473845763318086786451184984771254\ 9736869097210685325354811350503094159788322922531524013708805345711488362233914\ 3989029329351068079042353691318931940109858160422938305184671502353319834053540\ 44349423101454066675651630390716321027471818262933378171565602*n^4-348205111207\ 3074074070083894084572202079706332791989433948309554170333934902856636241036863\ 6729571218858247750095613794489756840511121416654368374989751776310237787179670\ 7014123855656389483431000907205375667713673895405818310910269700138417416574255\ 0970081676181328642472603444774970809103134808506416119580671602938395323008367\ 7642388442935494086842358775162155671342621882201218994689801434*n^3+2067407071\ 8850041243624591588137191388373435618473262957062962581500568908094856082363622\ 2683733357328830842049231660116111559823283723335420032820317806238949898844444\ 5399578814922713524950008041322100633603268783004738249107304527278750152236443\ 5545421743504319698916058129228363344310845357158506620704668758117636671941835\ 3717914718740657753931240112463999956855104265289815575247097700293*n^2-5779760\ 9950176549304809216673053702367640977318060916116039507246245661598331618631399\ 4807263910451120639078198323066147631473903104175726211004808733185986750619206\ 1628632628434689949411777902737809275911478982350208874153283693981455204979340\ 2213150000318103368685882636251791425897898398196106503560574238732041806299475\ 4452939596944077821222342529355747896618993731764476009054629366168522*n+534369\ 8859418803723139193215239455602970257576590502011087517724926802774902491270174\ 3329728860201173721333957078605042826593169067330025229592290297990145871424371\ 8867278800021048214616664359047972214209498161030760934670047676984879277655146\ 1962840502410488471845819412636494393360442777627360777177630087145078801832689\ 36159281922099885634716497685281885905205269343876969100661508606381064)*a(n-1) -1/48*(910836687331456974449127307179029427356971135157846332539581457423745229\ 0241804227829696985200706814566625026213122435797151011289508593944382136341932\ 4915536551945495381838207903715524245806680072346507114978229357278579341202621\ 1895746777189811707852889858749162663723153868135278736810462268116083877861603\ 6970939946394073132650434740036556757191785534550967344216890379152916963858600\ 32*n^9-593435862520316461717130199226317403569858499901719860558219122657530723\ 3263277747642381908097122152327905125355441587575861048990796926225421075125244\ 8148474498193610915084094600478717185419570022751109405159701346795243108071689\ 9759030094530479893778371491749833407742400462046777241084540512938876158076734\ 6046063263917518122918139303450499974331705202372049210600638097522498497744271\ 7984*n^8+1612238527338513084641530442646958071639907651737171622645959805092951\ 6760185603017206297434862268851527270335054693299531261993064299647674624757217\ 7445972717460743433717627248109590848301488954684023532226155722375052479160477\ 8948027282041538619541848440456814436407234559805159177180255400455810971370153\ 2690253609153927253242185364056973242013332204262243304473167432751396943808154\ 62322666*n^7-238323571831859551274508717220537989128377943473169186034556009064\ 9679201376125999706088909643507919116233796517983344508134110467323844705188325\ 0101154751602846640782186902740636561954319905167913156078754556435036718929915\ 4828107644922101167283248030115904089221831151546898942579354006844565750834521\ 6293996689168356804028056000752476523465748222731353680827182836247782383220248\ 5805125611907*n^6+2102769773900889141580899007502432605588846902944777817180663\ 6883444637591152723618553202069563224183310605920039783509433866916241577910280\ 7874959107026213340543837667516516959281428055236229899188401900997043480124108\ 8115736718596817117879086770312244691543902066186685777000033002874371678871368\ 2005054366650958928983226207230203832752158472269148897716892740564507736323096\ 3581459404890361540*n^5-1148488427804557515955077176477728996973773084536437967\ 1233356728942314751020576383008738810568421366449132828254332405640551382127680\ 8466833113166711072694611376146015616204475149447942667165127878983070499419746\ 9089503646940120850819538502952768374595487659335132470492844624141510217298447\ 7503957249000769016504008462633140123762795058463426253974398898441780487264904\ 76025612938598247365514565*n^4+392852976285347052581446547092414680069395206200\ 0024287351154516179805050797556967542944137942748439726351930181026178693335056\ 5378409705795492311494052712759313116877435908058134261389364358861317508168926\ 2075803319583912767908178261508615694903074167403117868668076080415525744715116\ 3375144141205050312466705737150265078693562085020647829165098318311898289546522\ 743246404689408614697155462349330*n^3-83662658271042386609330054655635599794787\ 3642166492255687913672046540205208871638172748451332845335329284728175679846969\ 1817853742487900539615318543928212919923555442619322622426841766266991145882830\ 8830541857804845765929976178931643410326372886042913451357521756874960928254206\ 8515283167707646253296606894330295717460186700103130924435070454302850470829094\ 5379509001570066487919627746377866584724*n^2+1041582361418821519481696707201439\ 1733518304951812590992132938516066509466759371042134161731295604035727392474297\ 3163899031884403447622108924530174877787232708950090891590495994344468184632908\ 2635907479038306458919438272002476547330191276517745824026640995432864396134960\ 0242453112432850610821380852373994934317088719804144579116714388903804546547366\ 073350023804266745576323926134045422699837033152*n-5801569103272066111075657372\ 7602084620395315644387495773232005053049065778454042826716692439194348424969278\ 8526726694766521743291927828145388853983739297767209787845517190042389818472813\ 4236950014315440957539927648586550937768228812538208865460293956223796188867673\ 5445216056476203305288654991173692919515423051555287903596100967941819452368416\ 83902919187701050630248406624728620953582957265152400)/n/(3*n-1)/(3*n-2)/(22619\ 7148100056867645877589528173103593361423430088627304118632193295130217675674112\ 3348710050988419224205044871660903652581719848084645282557247468687727071787294\ 2918017536471782015886433007027783531788711939212188276439822600057461882610708\ 7243072323232367469754100911302213077001287836774408505059732890343205372015206\ 1439650194407646696827874481765571552158234909653730289250841410286*n^6-1318719\ 5371565679791754965171963897067627829904355552805527599536556330888731105254694\ 1783138858663152781102766389780438873172146527581730364298957304128795736779033\ 9950986534742252447501469452830035005417107197535571398417959063532516807891233\ 6820564596749166761677777903099109504429558758942093659418945438770615028596731\ 6855634641402812821469948896742343302085203966867956887937236823351*n^5+3031471\ 9897542914456144420560928613847951526530275349914756527686696836203032713571131\ 6695031913658449684169384290918460133434899453341994473845763318086786451184984\ 7712549736869097210685325354811350503094159788322922531524013708805345711488362\ 2339143989029329351068079042353691318931940109858160422938305184671502353319834\ 05354044349423101454066675651630390716321027471818262933378171565602*n^4-348205\ 1112073074074070083894084572202079706332791989433948309554170333934902856636241\ 0368636729571218858247750095613794489756840511121416654368374989751776310237787\ 1796707014123855656389483431000907205375667713673895405818310910269700138417416\ 5742550970081676181328642472603444774970809103134808506416119580671602938395323\ 0083677642388442935494086842358775162155671342621882201218994689801434*n^3+2067\ 4070718850041243624591588137191388373435618473262957062962581500568908094856082\ 3636222683733357328830842049231660116111559823283723335420032820317806238949898\ 8444445399578814922713524950008041322100633603268783004738249107304527278750152\ 2364435545421743504319698916058129228363344310845357158506620704668758117636671\ 9418353717914718740657753931240112463999956855104265289815575247097700293*n^2-\ 5779760995017654930480921667305370236764097731806091611603950724624566159833161\ 8631399480726391045112063907819832306614763147390310417572621100480873318598675\ 0619206162863262843468994941177790273780927591147898235020887415328369398145520\ 4979340221315000031810336868588263625179142589789839819610650356057423873204180\ 62994754452939596944077821222342529355747896618993731764476009054629366168522*n +534369885941880372313919321523945560297025757659050201108751772492680277490249\ 1270174332972886020117372133395707860504282659316906733002522959229029799014587\ 1424371886727880002104821461666435904797221420949816103076093467004767698487927\ 7655146196284050241048847184581941263649439336044277762736077717763008714507880\ 183268936159281922099885634716497685281885905205269343876969100661508606381064) *a(n-2)+1/192*(1196763271982857866250512261125008157999807174845565560290436523\ 6555967992825806018137925699399584367251650163236274275598849548597945411482050\ 4356275554755802465655857934348493802416633323031321833654178139715871820503869\ 1540953204097597740109288343388051479058579722028295836044620962281143260150155\ 2135640954517285654890479652431507763169922089335837730073945065034244684847600\ 12155445942*n^9-655256456003495460554653300860315474457341691518384374425181207\ 2815821527483078936200026461905952123094692181278461960951663679083643209325463\ 6457498722212481039896850720615893354757942552019179622803850230806111078931070\ 9519188976192914527797516371777797940828544384416795448541778820403932595029134\ 9517948256900294189591949042866017919745286740774443772486808655165293366838904\ 7947262533114*n^8+1242418126018127261514955427992141535303375012167338245461058\ 1875871931822054288739611233534899841217163740767708158626697630720987205719064\ 9784382921508342362336034273313616331182049516876625324285576116762855847297864\ 7596279446626732042158372283871737680214493026644410996818339816660803159389959\ 2972586320639254624956399465301692452329704094527169912681107033863855313638913\ 45721193179825174*n^7-552288829506574062333735039854217833360005987636529535445\ 7378064270763623995150928017924807464383722768445159761075830202577159087584010\ 1807076337719700079569541182268498193502209333772120392414161679435677059499784\ 0593269993182922530334956544560971133557045982921044683941505679549731049719847\ 8309811192239524689595453925170948106012757392133648610079505409632683567725167\ 883317695982132550006*n^6-13915020571984540354407099257431317034212223685344836\ 5137900976460048224035762099287344132440764133193944227739336703865895182337497\ 5359619022458556515422353544724006022195057432370203908716493118362733236608869\ 0785536988826782778436604974105470624198612100047579436985447790809408497424577\ 0087633171445671541071608073337750243668374284267151744359871045949511048639996\ 463420294782339456934377827*n^5+24982687991424309544550864023135774896721763798\ 1414902241598372580027888664072103793493274786715260142969641636822478039411357\ 8901878747221148527347234233633162567087724191961112956729067252498522661547745\ 4385791855042621755917589562471198052616451247955648021862715749088456799339592\ 0044788832824589938421232457482513772571272362778696971049856694695129224723459\ 4415350783641799447358045271423632*n^4-1855837253323748657357739337702107626341\ 0441921724061754823268341059725751814619592063797821243383260680200971525766854\ 2111145779582644885852517430118894119173545661023787300449088653826327985811089\ 5402498909105286899398021725060908885340466766506527861738474361928289238519654\ 3554833404028581368323279548140976858000178400273443999267681453646792953693009\ 617250312408035415622211316192823054326837*n^3+73196204976440947206502010851194\ 7596553604249535883033977761710616793107302472485269324821531562270117107254595\ 8591096510885854446022144376827886190978419448934086040427746627925661816151409\ 0094082816773300592825548428050017952961549774581271262096023255091781002070611\ 0891721978226139130550839375088337268939309814969977716528568399896554432953182\ 25175629243560015688492019855005862377714505341348*n^2-150065579339729325503886\ 9279720761454605419127806129498642607309551739834143989472508861846374928420984\ 2564721694635565824278487734903794103373726790209996642483029282013773695712138\ 3010134740496708115633138976731602253983361857202361490996087688129071545628865\ 8295263933542217551757434394300102980241596004471930503873265922634917015531983\ 16400795623552485261372611930209440013173705138524152823336*n+12561396850744068\ 4866751425601998092983586086133182156091962702501414912439614959566167945321146\ 3606627655032901974903412212794630829378301807909170535946973882318486789057554\ 2657024726820458517900470351592490363762624604251661384589051975580038067538801\ 6825235940819932425767391326801434382049687375415835793266555496059143095316068\ 029761913028098192831150049891134210956626276946053240327110055800)/n/(3*n-1)/( 3*n-2)/(22619714810005686764587758952817310359336142343008862730411863219329513\ 0217675674112334871005098841922420504487166090365258171984808464528255724746868\ 7727071787294291801753647178201588643300702778353178871193921218827643982260005\ 7461882610708724307232323236746975410091130221307700128783677440850505973289034\ 3205372015206143965019440764669682787448176557155215823490965373028925084141028\ 6*n^6-1318719537156567979175496517196389706762782990435555280552759953655633088\ 8731105254694178313885866315278110276638978043887317214652758173036429895730412\ 8795736779033995098653474225244750146945283003500541710719753557139841795906353\ 2516807891233682056459674916676167777790309910950442955875894209365941894543877\ 0615028596731685563464140281282146994889674234330208520396686795688793723682335\ 1*n^5+3031471989754291445614442056092861384795152653027534991475652768669683620\ 3032713571131669503191365844968416938429091846013343489945334199447384576331808\ 6786451184984771254973686909721068532535481135050309415978832292253152401370880\ 5345711488362233914398902932935106807904235369131893194010985816042293830518467\ 1502353319834053540443494231014540666756516303907163210274718182629333781715656\ 02*n^4-348205111207307407407008389408457220207970633279198943394830955417033393\ 4902856636241036863672957121885824775009561379448975684051112141665436837498975\ 1776310237787179670701412385565638948343100090720537566771367389540581831091026\ 9700138417416574255097008167618132864247260344477497080910313480850641611958067\ 1602938395323008367764238844293549408684235877516215567134262188220121899468980\ 1434*n^3+2067407071885004124362459158813719138837343561847326295706296258150056\ 8908094856082363622268373335732883084204923166011611155982328372333542003282031\ 7806238949898844444539957881492271352495000804132210063360326878300473824910730\ 4527278750152236443554542174350431969891605812922836334431084535715850662070466\ 8758117636671941835371791471874065775393124011246399995685510426528981557524709\ 7700293*n^2-5779760995017654930480921667305370236764097731806091611603950724624\ 5661598331618631399480726391045112063907819832306614763147390310417572621100480\ 8733185986750619206162863262843468994941177790273780927591147898235020887415328\ 3693981455204979340221315000031810336868588263625179142589789839819610650356057\ 4238732041806299475445293959694407782122234252935574789661899373176447600905462\ 9366168522*n+534369885941880372313919321523945560297025757659050201108751772492\ 6802774902491270174332972886020117372133395707860504282659316906733002522959229\ 0297990145871424371886727880002104821461666435904797221420949816103076093467004\ 7676984879277655146196284050241048847184581941263649439336044277762736077717763\ 0087145078801832689361592819220998856347164976852818859052052693438769691006615\ 08606381064)*a(n-3)+1/768*(1083195109977112872223200459858203653478785730824769\ 1849914291517939505883197650859529141656657725700082611188138767605408490248039\ 6813794492601634332874806049113325018138958580499922008587506917614554743148771\ 8382155177423309513995448141294187599944332536158255054750090251161574597132896\ 6883449116094689519865492367251930036937677955746363077042700310270037335849314\ 81678266545947137487712*n^9-506132772208857951136264286121542131511748462228071\ 1385909330112308533376933362024755429686020002266731213795360936090868853560903\ 8919498512357799165517487969453464052561206085485252748904410827138487206406861\ 4880466534943467396110488568760551762314059028050279455817499151768015790385612\ 7541886287028662988560149787114598841488465161524828816452565208876521059169456\ 7498986822661260637570016*n^8+5581763176938619025174581111834156117290711427547\ 3955199049418502733846728238017297237446106672653169396144848650594566896495007\ 7279885722657069503682707691397352141858485142308095734496524382777678995887485\ 4057183889961261765476935623644136864669121960101323765890987722999416661985142\ 7501302608876614931139531115628639316032929868432600808712054965138529676859988\ 5175790091192631516563700546*n^7+1018439600849393030543099449942751747666426693\ 9394348013981885350895172546229860434131850104518123165316737804383313999850729\ 7978226084505712445160576151303837131968453195724928073925760579682324052928198\ 0093940180561284724543471540800034185747727345962187439315741924536220473849340\ 3465949612712773327172797929776498820717456815294881377411572052264003209800449\ 729137958447603756095653736329685*n^6-35441332170476206522429893190328351741622\ 9949022586895445810980213640017185208466183593514870347784031244426734425049873\ 5363178417180405632609610116696842301192270370559234860725256861226275774848856\ 3487692526821917656183505371163543129272308362988865110635129778339487302922928\ 5299084859266367339141321287224094533154357333416488469755859898646384231369727\ 634459577167613553418089232345839635550*n^5+45241334119632236889483548794772372\ 4130081908072181926657807859389824905200440357804382350685594860902204587998368\ 8774452945528291280397827832177193434596229909333596444543690643540112861813753\ 7805245260084368250399422470724455999718132971109752864106384542866063854053594\ 8981862952642759991106036586653815386126086137787474068327044652553794596547151\ 3400506320989053253198962014077957995078431249*n^4-3299532228126647520327933144\ 7527040947521982379281172901567523203777561578986382347639747305130824749432918\ 0512439626487715265173945039453302812615901130625835890408093959181363177990246\ 0156269622593258894546507077232322297686805547011925566435056690880134667778695\ 5429021744538839896460523640134935800601565259457820448139681387075860667697427\ 387476867280523847057247855665839752666644745513939766*n^3+14811586934077817240\ 2838212904763142198891111477987433360499060820157540077042771268676865009650670\ 0803553155056491156950867845400475158136444568955697116216014143333150460540501\ 3707969965127000162512845514627193752040504705425422671432891450285939105566334\ 1756198511284172342174457042594939414091415182625417510626694317118898360915899\ 044689445688423519296454835301105139407133247271140695794915652*n^2-38438133144\ 0958833043837324754348104326793305800442006541625107282768496672984527676466787\ 1929956853127732804386913178367116048082644260399205375619419751423183402283420\ 9940632563305147690416625216303902664816681218968146879938941562263764579996530\ 9752501797294040169165405259238027469309183086265631580877056907855251021877213\ 624148411727014347414909839735571380593595624423865746554385793045260464*n+4363\ 4250203599545644671804671696728909708798664568938297577488486474000858909301319\ 5788917158735439231141736779346609978367830058553898349500488087318525426692748\ 8013590995371274089170114214112798566779933505061831382461389270069259960919307\ 0689998055279836290923703523964808814277156846242136481331381057445713031781198\ 7253888521502509603822693085445173946135100918613637439954718146310245774301200 )/n/(3*n-1)/(3*n-2)/(2261971481000568676458775895281731035933614234300886273041\ 1863219329513021767567411233487100509884192242050448716609036525817198480846452\ 8255724746868772707178729429180175364717820158864330070277835317887119392121882\ 7643982260005746188261070872430723232323674697541009113022130770012878367744085\ 0505973289034320537201520614396501944076466968278744817655715521582349096537302\ 89250841410286*n^6-131871953715656797917549651719638970676278299043555528055275\ 9953655633088873110525469417831388586631527811027663897804388731721465275817303\ 6429895730412879573677903399509865347422524475014694528300350054171071975355713\ 9841795906353251680789123368205645967491667616777779030991095044295587589420936\ 5941894543877061502859673168556346414028128214699488967423433020852039668679568\ 87937236823351*n^5+303147198975429144561444205609286138479515265302753499147565\ 2768669683620303271357113166950319136584496841693842909184601334348994533419944\ 7384576331808678645118498477125497368690972106853253548113505030941597883229225\ 3152401370880534571148836223391439890293293510680790423536913189319401098581604\ 2293830518467150235331983405354044349423101454066675651630390716321027471818262\ 933378171565602*n^4-34820511120730740740700838940845722020797063327919894339483\ 0955417033393490285663624103686367295712188582477500956137944897568405111214166\ 5436837498975177631023778717967070141238556563894834310009072053756677136738954\ 0581831091026970013841741657425509700816761813286424726034447749708091031348085\ 0641611958067160293839532300836776423884429354940868423587751621556713426218822\ 01218994689801434*n^3+206740707188500412436245915881371913883734356184732629570\ 6296258150056890809485608236362226837333573288308420492316601161115598232837233\ 3542003282031780623894989884444453995788149227135249500080413221006336032687830\ 0473824910730452727875015223644355454217435043196989160581292283633443108453571\ 5850662070466875811763667194183537179147187406577539312401124639999568551042652\ 89815575247097700293*n^2-577976099501765493048092166730537023676409773180609161\ 1603950724624566159833161863139948072639104511206390781983230661476314739031041\ 7572621100480873318598675061920616286326284346899494117779027378092759114789823\ 5020887415328369398145520497934022131500003181033686858826362517914258978983981\ 9610650356057423873204180629947544529395969440778212223425293557478966189937317\ 64476009054629366168522*n+53436988594188037231391932152394556029702575765905020\ 1108751772492680277490249127017433297288602011737213339570786050428265931690673\ 3002522959229029799014587142437188672788000210482146166643590479722142094981610\ 3076093467004767698487927765514619628405024104884718458194126364943933604427776\ 2736077717763008714507880183268936159281922099885634716497685281885905205269343\ 876969100661508606381064)*a(n-4)-1/3072*(80529147521536369584367163858674003194\ 4623389773461383623315914334462255326787520502060825256438383079351384665810714\ 0123129519040671573954873468715043593628056526441302526673007511078149178017692\ 7845148533058382130451283236260073744674048664429781315687815985936352231731628\ 6860038366479725561133057476214235463443778208426185664038975983973310461672958\ 0138234347588059220788941830192648826*n^9-3849346601986590035686798430977221042\ 4976920932222031967563534517776482751789932664701447005098833795058122303981929\ 0783999968386873955100085232109106860125884538964549331404308275801835691882448\ 1956629123356476976400985048384246498691027762440676823516834898407250792845344\ 3138271742671338611970692552694107101507846676103252292978646650194435938999261\ 9560604627137243188260795257580228772924*n^8+3531042870335744905491009971078099\ 2696847525231554344418797651601143765034694965755028535326260847509616513289931\ 9358668357029437643888140766880364715030291899786705815164367856970122823779271\ 3523635793471728198679731688230196878826643096114557592192890604704075299734639\ 7750648284526515255220065899414510366603636845726584255852889924460948438843122\ 79972305829060632674006868461921600760552004*n^7+139873446431912272847851248381\ 2435411509437665359136923577832086388182677230887719864869119505991643502404124\ 3030641626027783721831050901911936745562635947966498318335617408319577096877903\ 6853882368079828233176112128453513577794609405134364029885644686164304919799193\ 6067986453425204617131712872290868682082949858670417198966493320138648333949488\ 81453227898642486801509766198718330339185034906238*n^6-450861270409404699956709\ 3104464110007352598152190250592027924947259815138338348986283807661695562273896\ 6450988796983391844192388408123553191066998468876078612913489790262960197733695\ 9598522914945655160268687205709346566898109960197300497744765420077910955122961\ 0545101673967987746871971142448418041978937340707611359771796079862329451621770\ 955545529975103978923192082151135058780014195525915472253*n^5+60022881982866066\ 7133540430732400086515817342937094082847341223726999136231914774910885389080306\ 3440250283292863053533741221657959799985105599605561324318428241160286236522652\ 7605064849096226498768479237116248070974661862438874364397963730170860172004792\ 5764029035891470732589716751520681197206088095499078584339679644028577715543243\ 69578021651779950893419948253292343040232552906225046674523694456*n^4-445354821\ 2208518299352946896766273664291042153682550324731852192303746892043839823679026\ 8564971330100738448599525356001166961215682550112666176340071361259262317997900\ 6241349936771029541180994001652999321262505067234125812503105150488769373043937\ 5971361063138771755234234927106286814872081966992304517744261056573190843964749\ 40515179414801143322737545057601989474050582027191016377848499544172067201*n^3+ 1916970064523423168666155057197439146611371368187638065173599503740287213358362\ 4051277721453669523375777684247349163286978191460488143822501492336744789049797\ 5620889590937360120732835808460631212403492408061136397795734161118120587289804\ 3693595621872466990887380533733898453218802254124551921609062757380666110807430\ 6340694547115487111319832009272901267458920158438006866686007017935060103155119\ 53114*n^2-449009690692779783819274235401729687201618079882953659658179109549043\ 5026075238661641070266164804327857148343189127880254198397314311910798598646367\ 1472320189195533277538075778050947956839218386423180314337106461945893740028356\ 9877954468395847988381401646669021159924915395694544743735686754916835962796393\ 6165830611682523303903662055673945628668153690962181587726086432656465008234774\ 185997438644756*n+4443511379381876633138732571052669160321222006700502711031182\ 9762334465237793180668787134889323949647770239740590379739196157632007781408896\ 9483156511297786659051084118746152455610621833787695062103714146006805186523435\ 6568308131266294591815729588027886693922751942524398002780348457784179907804921\ 3049360427960799967643147182160722255122453306707889066057966121317090953933940\ 52548268029386527350216)/n/(3*n-1)/(3*n-2)/(22619714810005686764587758952817310\ 3593361423430088627304118632193295130217675674112334871005098841922420504487166\ 0903652581719848084645282557247468687727071787294291801753647178201588643300702\ 7783531788711939212188276439822600057461882610708724307232323236746975410091130\ 2213077001287836774408505059732890343205372015206143965019440764669682787448176\ 5571552158234909653730289250841410286*n^6-1318719537156567979175496517196389706\ 7627829904355552805527599536556330888731105254694178313885866315278110276638978\ 0438873172146527581730364298957304128795736779033995098653474225244750146945283\ 0035005417107197535571398417959063532516807891233682056459674916676167777790309\ 9109504429558758942093659418945438770615028596731685563464140281282146994889674\ 2343302085203966867956887937236823351*n^5+3031471989754291445614442056092861384\ 7951526530275349914756527686696836203032713571131669503191365844968416938429091\ 8460133434899453341994473845763318086786451184984771254973686909721068532535481\ 1350503094159788322922531524013708805345711488362233914398902932935106807904235\ 3691318931940109858160422938305184671502353319834053540443494231014540666756516\ 30390716321027471818262933378171565602*n^4-348205111207307407407008389408457220\ 2079706332791989433948309554170333934902856636241036863672957121885824775009561\ 3794489756840511121416654368374989751776310237787179670701412385565638948343100\ 0907205375667713673895405818310910269700138417416574255097008167618132864247260\ 3444774970809103134808506416119580671602938395323008367764238844293549408684235\ 8775162155671342621882201218994689801434*n^3+2067407071885004124362459158813719\ 1388373435618473262957062962581500568908094856082363622268373335732883084204923\ 1660116111559823283723335420032820317806238949898844444539957881492271352495000\ 8041322100633603268783004738249107304527278750152236443554542174350431969891605\ 8129228363344310845357158506620704668758117636671941835371791471874065775393124\ 0112463999956855104265289815575247097700293*n^2-5779760995017654930480921667305\ 3702367640977318060916116039507246245661598331618631399480726391045112063907819\ 8323066147631473903104175726211004808733185986750619206162863262843468994941177\ 7902737809275911478982350208874153283693981455204979340221315000031810336868588\ 2636251791425897898398196106503560574238732041806299475445293959694407782122234\ 2529355747896618993731764476009054629366168522*n+534369885941880372313919321523\ 9455602970257576590502011087517724926802774902491270174332972886020117372133395\ 7078605042826593169067330025229592290297990145871424371886727880002104821461666\ 4359047972214209498161030760934670047676984879277655146196284050241048847184581\ 9412636494393360442777627360777177630087145078801832689361592819220998856347164\ 97685281885905205269343876969100661508606381064)*a(n-5)+1/12288*(11954861465456\ 0396498290272201624804896816834877678647191404029232882623461408589654221880467\ 3605808641741177705373463627656581559756065260240250849427639040097946020867090\ 4287031186598866281057642007093880370349564712816551071910026587839516765935700\ 6987604479681747717615986355408604808364914083767877017410949067006667687284843\ 21704654902704417656506575864981575315651813416649824788119834*n^9-804628840920\ 7582781017288928415324761465198353071853530807383556161307562795751759570387953\ 4360355694189780421056569452567254107336405619071299457188170228311702292701291\ 6965896623583472364949807311117264017373143002049835591400642906508592460799280\ 8451089719224059363877816338550201563979946149492963892022878468010322668972001\ 57958981494986534217069675966312721279592082119737185181271875957*n^8+224704456\ 7854980066330347505841760888235648999353949522799961286035792391235942678743605\ 6926480637544653351871431861805940764568878352657306651451183788732488326677028\ 0630220931630667152997234095054988974768388298149949764526414072072092266019493\ 5474593502027812479641120047687456407199114027818116529318852989237046956057169\ 0905049053063505183890694728512327896242265808000654779796768876750931*n^7-3321\ 3255722888032754904510049205544925461872207556343641823968457420013016335337858\ 1263166085771521829331872569435601652175010744171232045225417441186977031451096\ 4504938418023354968968826341339540380733011470102199640153355366375834603424573\ 1275066436056447756740548827353066501751416981973012454596962084093152220535562\ 4328015135356991787090967410943097649890868876360937051114805108190083095605*n^ 6+26723535088123407211099748775894790432636865589696926795731809704496412053733\ 7351035758368141174810549572559033655317286242715829541799155507797942060091485\ 8337731251830700736920943019239708040356979040947401769024005220743726245843552\ 3148850560126452384287826677432809859878381752411002779565972506397476279867601\ 5215860010810253139130474320684717093901868333172035487999314387950513957997044\ 7503*n^5-9279980362672073234726413467888986417889252983683403797526279164298577\ 6053212893014837780383633300209205972251404125247705577440315769309966077697462\ 9134348467447788395309737201580788716052846216354090610715372363764769956090851\ 3071844315989173399053368593284540212620731528026430551784923641491747038895413\ 6282688196866535238115727588393159655978326905337344819559744116006255208204190\ 97337884610*n^4-204456866562287657748976645584310336504289873168805761044369566\ 8940419979291747475905315626941567548062318755289803351847692397367289084194493\ 5231882858403206035947053546218336517469533547264801214116188606724236376607060\ 4972782340425205974439167279449409224399520403024526870710972022985033762344117\ 1873141142276297357481946554120003740056269750993881485282109931268314662874390\ 1607971230622011760*n^3+3193013336025056233996896049672343126069599336458980553\ 8721242556765555901304076802343918302100741997982384447663786881327467342502148\ 8840416257309482731207384023147539317079398830659619723991851974654552077795549\ 1613485508418940038438076449467177668730999992219944154083764066576578827619190\ 1938561968955399947980287450233010619243192723345615613929210484439976066789220\ 0405614229703447052503031840*n^2-1148834463303808949350255730562659450559412670\ 3348638970416047466512486474720574206189472314998644121902092768528797039823816\ 6314601613558002302842424422220183228996034216482167494861953080098288151152711\ 5627755277306988029554291022233274026618498764288396314121787238430078511199194\ 1219028379961213309878066446351101704931249703055392764517420159352951923395914\ 71522726382289022126845840017803722328*n+14987536885354853748306466047071501846\ 9765566824199993342288171728259631473962451662230422793744740691459487206967472\ 7180565272266863963743155610474100205800579090170057604391413375140740594765731\ 8349859778906112080766524360329398942481968643821334181378678550034796210894783\ 9840727574006036314521448026487845143159109933209395230991963039833026513732375\ 6456240956476465019822440167107363819532042704)/n/(3*n-1)/(3*n-2)/(226197148100\ 0568676458775895281731035933614234300886273041186321932951302176756741123348710\ 0509884192242050448716609036525817198480846452825572474686877270717872942918017\ 5364717820158864330070277835317887119392121882764398226000574618826107087243072\ 3232323674697541009113022130770012878367744085050597328903432053720152061439650\ 194407646696827874481765571552158234909653730289250841410286*n^6-13187195371565\ 6797917549651719638970676278299043555528055275995365563308887311052546941783138\ 8586631527811027663897804388731721465275817303642989573041287957367790339950986\ 5347422524475014694528300350054171071975355713984179590635325168078912336820564\ 5967491667616777779030991095044295587589420936594189454387706150285967316855634\ 641402812821469948896742343302085203966867956887937236823351*n^5+30314719897542\ 9144561444205609286138479515265302753499147565276866968362030327135711316695031\ 9136584496841693842909184601334348994533419944738457633180867864511849847712549\ 7368690972106853253548113505030941597883229225315240137088053457114883622339143\ 9890293293510680790423536913189319401098581604229383051846715023533198340535404\ 4349423101454066675651630390716321027471818262933378171565602*n^4-3482051112073\ 0740740700838940845722020797063327919894339483095541703339349028566362410368636\ 7295712188582477500956137944897568405111214166543683749897517763102377871796707\ 0141238556563894834310009072053756677136738954058183109102697001384174165742550\ 9700816761813286424726034447749708091031348085064161195806716029383953230083677\ 642388442935494086842358775162155671342621882201218994689801434*n^3+20674070718\ 8500412436245915881371913883734356184732629570629625815005689080948560823636222\ 6837333573288308420492316601161115598232837233354200328203178062389498988444445\ 3995788149227135249500080413221006336032687830047382491073045272787501522364435\ 5454217435043196989160581292283633443108453571585066207046687581176366719418353\ 717914718740657753931240112463999956855104265289815575247097700293*n^2-57797609\ 9501765493048092166730537023676409773180609161160395072462456615983316186313994\ 8072639104511206390781983230661476314739031041757262110048087331859867506192061\ 6286326284346899494117779027378092759114789823502088741532836939814552049793402\ 2131500003181033686858826362517914258978983981961065035605742387320418062994754\ 452939596944077821222342529355747896618993731764476009054629366168522*n+5343698\ 8594188037231391932152394556029702575765905020110875177249268027749024912701743\ 3297288602011737213339570786050428265931690673300252295922902979901458714243718\ 8672788000210482146166643590479722142094981610307609346700476769848792776551461\ 9628405024104884718458194126364943933604427776273607771776300871450788018326893\ 6159281922099885634716497685281885905205269343876969100661508606381064)*a(n-6)+ 1/49152*(2323029310913675203676953554935369542838430489488524825047198615182230\ 0543446395928240859249618022813032342087416327950173265043619465489706389820906\ 3647511336697292718865838786798054431743530845951290677860404865599646792302752\ 3479852461451640643952728353367527676553693918135868919277049050183733884598459\ 7712464030966027910048772922549382465048893327207890539989774045689825311548934\ 599236*n^9-24292015038520340517405457513777084058533062554673353445761574983091\ 8271032908397845786280753502061514191491001203436887166919416363968477045004094\ 2600394196159777753102499733949715741665081025076825091802943493454277663693070\ 9065823365861258244559981511456643503273152394184689988033317399625207036636808\ 6905736744855083999878126458016907485996622822007801098208048698461238597878358\ 1559521810*n^8+1085159200201402833401968041119293286767619715219322160567519949\ 9753983658289876526644331255842357851064407480992803440979977888061080952768901\ 3226622279153421244947297404358493753937946152475340242119987920097933527592821\ 1012093466910938500170904004395610990974369910318905178874942128183917861830760\ 9714615402054910336130714454171846198771321735210426602177709199002438002625463\ 4200837122762699*n^7-2716976718358824164850819189667151752725180049468443728536\ 1903675000173266393442115174098829315895530328501252618079783234544036343141669\ 7295546248477011731335874892146492901269565222071793190315565136520445820057995\ 5874095564357133971235055523357370581763337333651791153289920131112953946619771\ 5710799482237137443679743070721938376609331776085227458508140318128844970539168\ 37547772518488628262671*n^6+420446415056750803482146883089378177449473040802634\ 0856427115275894731571309531563456127447297396634517173882488952536703233867098\ 9834434854874004639106236335287887693240810142129268745399263924586614951166070\ 7517793257143549913737455924254629247727645117964262241642564779110578497759859\ 4551312877626826516116248951441576103346412457389741892519034459085597556474696\ 2723308896300623330027864766557*n^5-4174296086364664696772236104160231910232846\ 7654826560888231128981343048756803664960612750395661539753262808039886105957569\ 4488255768983979429092281090602373823943901315115625864672160582891194301167257\ 5324704398273124357038174725589612600582148616486560824770296760563909792841345\ 4031160119574378949142043074556952123274032265563775448794955912999369004230421\ 4508612727589777940642331793157007949783*n^4+2661874188379031377093082708065518\ 3199827134797971003989565893285199066573614562990881059135992625396119001963485\ 0667239924937891954199574438272375708896742011034206198336620838020094681712938\ 8636667487625737284035691497372220219430689810568498914756532670043453781946895\ 6312328482995142671559752355862330392275049602359846666308644666038096768016521\ 96737509592093977036321269575490362299201442779828*n^3-105279825633332900429266\ 0893762331809109308928636769986387014418432885861641773840904133688233026967987\ 5726551757821589250087451533943912555855497061324638078504500129942546266822535\ 3405622122019040555075589712102365797972684853749482581131383256390548204414280\ 1405504020819338965338255171790817824512458857091196416281890352733982421420034\ 5977171295724155844164706066343947084713138493097452338321568*n^2+2348660926549\ 3293074594238668306275755789642195814555051141608031756719634841965048322124965\ 7007032775721360030860119923718917412058505304959721577096775751037297771922846\ 6648540926802362508947309158708313689018870975536503107662523398599049914661856\ 2684326287627740569616887951314408161171376043491828803073731762835386752188556\ 439793653251491766100806295239765350212889721555927729997831656293511944*n-2260\ 8907699825770936755977803736449938104975377544982422153655725729223169757366242\ 3668560102086646857014813078564983259031542729899847034343456486026443741654879\ 2921974377460471142463954968031690673232371012945604011713225694461081747485591\ 3368040309167917863871912692626710237791612428951710326185905053665424754544255\ 5577905901460362075318802697576268592714435624797834122807302280094363450403495\ 68)/n/(3*n-1)/(3*n-2)/(22619714810005686764587758952817310359336142343008862730\ 4118632193295130217675674112334871005098841922420504487166090365258171984808464\ 5282557247468687727071787294291801753647178201588643300702778353178871193921218\ 8276439822600057461882610708724307232323236746975410091130221307700128783677440\ 8505059732890343205372015206143965019440764669682787448176557155215823490965373\ 0289250841410286*n^6-1318719537156567979175496517196389706762782990435555280552\ 7599536556330888731105254694178313885866315278110276638978043887317214652758173\ 0364298957304128795736779033995098653474225244750146945283003500541710719753557\ 1398417959063532516807891233682056459674916676167777790309910950442955875894209\ 3659418945438770615028596731685563464140281282146994889674234330208520396686795\ 6887937236823351*n^5+3031471989754291445614442056092861384795152653027534991475\ 6527686696836203032713571131669503191365844968416938429091846013343489945334199\ 4473845763318086786451184984771254973686909721068532535481135050309415978832292\ 2531524013708805345711488362233914398902932935106807904235369131893194010985816\ 0422938305184671502353319834053540443494231014540666756516303907163210274718182\ 62933378171565602*n^4-348205111207307407407008389408457220207970633279198943394\ 8309554170333934902856636241036863672957121885824775009561379448975684051112141\ 6654368374989751776310237787179670701412385565638948343100090720537566771367389\ 5405818310910269700138417416574255097008167618132864247260344477497080910313480\ 8506416119580671602938395323008367764238844293549408684235877516215567134262188\ 2201218994689801434*n^3+2067407071885004124362459158813719138837343561847326295\ 7062962581500568908094856082363622268373335732883084204923166011611155982328372\ 3335420032820317806238949898844444539957881492271352495000804132210063360326878\ 3004738249107304527278750152236443554542174350431969891605812922836334431084535\ 7158506620704668758117636671941835371791471874065775393124011246399995685510426\ 5289815575247097700293*n^2-5779760995017654930480921667305370236764097731806091\ 6116039507246245661598331618631399480726391045112063907819832306614763147390310\ 4175726211004808733185986750619206162863262843468994941177790273780927591147898\ 2350208874153283693981455204979340221315000031810336868588263625179142589789839\ 8196106503560574238732041806299475445293959694407782122234252935574789661899373\ 1764476009054629366168522*n+534369885941880372313919321523945560297025757659050\ 2011087517724926802774902491270174332972886020117372133395707860504282659316906\ 7330025229592290297990145871424371886727880002104821461666435904797221420949816\ 1030760934670047676984879277655146196284050241048847184581941263649439336044277\ 7627360777177630087145078801832689361592819220998856347164976852818859052052693\ 43876969100661508606381064)*a(n-7)-1/98304*(39262797308197463282435995593159460\ 1134780499219027450762625835995712113454814592836984551906421704242846502056890\ 6580170529828246053897640939509916641342882556166773737229493621613510066273381\ 2758676089892786611496015992507753434918881057537240335456378916709012304820663\ 2595962085791059797494146361116634363928045378521824695601182550146650944930799\ 24770861312450829555141009225042166587936*n^9-169497802390497570461575687303186\ 9461112657544848615333613476770847628018842291465845212841184523800703902119071\ 0739342023555993741956018661222049281708291023060910738139074414115343816003774\ 0474604287274486639730157057043364005760186474297994425150523483406915481253200\ 8859945834312940836624314817574781568624340458038984321217129186393916438730333\ 766785274505320046441005831748343476170307626*n^8+47622051593268529848613089550\ 6016817435657491542096149360474515276955570583069053049309348946650948140477216\ 9617778733046217861535862669340735065762701200284473143456439426514172399135381\ 2243740146834932973126193601626952568991713097675247903388313563235385308878389\ 2060842340494805358935301646639709013531583961191184633055496176276832462686038\ 8988428051526884559729429116118794605243630257083*n^7+1031251497002348362603747\ 7112551541052324901011077689885048006912602377594736435988158602177051563943967\ 2385060687995148742839749227845753260048392673868446565582921671206791994791149\ 8004581582539179420127477354714032244464941009543903573468322082683460698010821\ 5937847307913654917400244102393471794815454179822887709707266943576405921390349\ 94194088985220578084766552447896634136982561027538785949*n^6-273681613220666160\ 5103633116643164501693022894749654640629869681164760641369906516805597911838129\ 3930611143508867819664541838817928735256420856483411411999737489363695030223293\ 7809890661741119636641567954762854354021145477619188237802526881281653632782234\ 2836121996071117071388487080173654374147798387786651602562634665091270883714366\ 4702755112301838212966798657120933228808579023868605410039180691*n^5+3450911577\ 3135766207169852376699927101983882472069769795536975750035823283912898712836333\ 2225219198679034594698522398855928121762943167883938929402892729776759314656555\ 0171456304588974307194098040330531622308807381673718284038505573976990876174832\ 2264233159235473766765577081914587091037840733537676987599079461094285873332763\ 5979161669142420995289781205237066345066313760276090011718760232475571281*n^4-\ 2526188790074193936251957737061903598862536743564028888522257117875673946115253\ 5499159446345553753182683703305853529300996778245268760378967729013471387229786\ 0783178134105998420965390003116484416443591073107840743651384490717163749601520\ 4378858839915362595711876176850980735411918377171891993803044444196819557224916\ 2361112747025922066655710920987808305277237713988725074122249947422278401886888\ 25688*n^3+110669764200765349677637623575200775858672000098028657295268878244413\ 0356598660767618320981271171336760639583728919580191760781020651921131014125276\ 8992401030455911527096126084300426569434257488226866983880789819815989826020645\ 2941923211400856175157195314039211041393364851194719724628906835393877770209323\ 2916829707525129532570806837115989389402047921850524604771993962325813568340936\ 9781411460314316*n^2-2727961103273524953425716749419017040653510016436303466078\ 6507428801315305325776821149529810292564697893698750224385240827096869058147624\ 0891022526740223167378965911920612917051503417768665638375779093807283094347016\ 5315357716471561200119424536170270407880409293884160699115661828413214497171466\ 3173999624386853877103047245582075411847228288659222951043489906864402109032418\ 404960248449268970966322880*n+2950821901545652887158525762296794545263130166907\ 1809641907167629364919867547593169390725342766228576136975480287753781763143257\ 2139179006302204021415278899007054226503803047237927285242089521095137897976962\ 1884668018706612755529335999236950722196831662705869551204110363136292039878534\ 7922339198406178917523475863691976599471959174046674930391600429354160937859512\ 330419752325017771228836416421058176)/n/(3*n-1)/(3*n-2)/(2261971481000568676458\ 7758952817310359336142343008862730411863219329513021767567411233487100509884192\ 2420504487166090365258171984808464528255724746868772707178729429180175364717820\ 1588643300702778353178871193921218827643982260005746188261070872430723232323674\ 6975410091130221307700128783677440850505973289034320537201520614396501944076466\ 96827874481765571552158234909653730289250841410286*n^6-131871953715656797917549\ 6517196389706762782990435555280552759953655633088873110525469417831388586631527\ 8110276638978043887317214652758173036429895730412879573677903399509865347422524\ 4750146945283003500541710719753557139841795906353251680789123368205645967491667\ 6167777790309910950442955875894209365941894543877061502859673168556346414028128\ 21469948896742343302085203966867956887937236823351*n^5+303147198975429144561444\ 2056092861384795152653027534991475652768669683620303271357113166950319136584496\ 8416938429091846013343489945334199447384576331808678645118498477125497368690972\ 1068532535481135050309415978832292253152401370880534571148836223391439890293293\ 5106807904235369131893194010985816042293830518467150235331983405354044349423101\ 454066675651630390716321027471818262933378171565602*n^4-34820511120730740740700\ 8389408457220207970633279198943394830955417033393490285663624103686367295712188\ 5824775009561379448975684051112141665436837498975177631023778717967070141238556\ 5638948343100090720537566771367389540581831091026970013841741657425509700816761\ 8132864247260344477497080910313480850641611958067160293839532300836776423884429\ 35494086842358775162155671342621882201218994689801434*n^3+206740707188500412436\ 2459158813719138837343561847326295706296258150056890809485608236362226837333573\ 2883084204923166011611155982328372333542003282031780623894989884444453995788149\ 2271352495000804132210063360326878300473824910730452727875015223644355454217435\ 0431969891605812922836334431084535715850662070466875811763667194183537179147187\ 40657753931240112463999956855104265289815575247097700293*n^2-577976099501765493\ 0480921667305370236764097731806091611603950724624566159833161863139948072639104\ 5112063907819832306614763147390310417572621100480873318598675061920616286326284\ 3468994941177790273780927591147898235020887415328369398145520497934022131500003\ 1810336868588263625179142589789839819610650356057423873204180629947544529395969\ 44077821222342529355747896618993731764476009054629366168522*n+53436988594188037\ 2313919321523945560297025757659050201108751772492680277490249127017433297288602\ 0117372133395707860504282659316906733002522959229029799014587142437188672788000\ 2104821461666435904797221420949816103076093467004767698487927765514619628405024\ 1048847184581941263649439336044277762736077717763008714507880183268936159281922\ 099885634716497685281885905205269343876969100661508606381064)*a(n-8)+1/196608*( 1703295152361422812368804855832481519254339592318093418440759695402070543882482\ 7722087856041547159111547897734785432258380973168608747170019975539984004267157\ 9101977614313110649539231482296588821972690668396055350776566903025188077004834\ 0787937907357508255784738163418549025301015780917551013057024348272457204879645\ 5244998009950879223831795726565567939693585555156850707615554852008313170132*n^ 9-18705214683163036685529718335422978456265403288943882858583717896166085783919\ 1835542579961831480829052607335411396610789795674779000807820386420373539847447\ 0101392830263179034361418694339006490755266465845052432451731022026735076803857\ 2024943648219676649699946035910967132620606981844025577663096169183321086572782\ 8000249293975834929144968035576072180335119996743189139623927219050543637794864 *n^8-46195016514785919929501860479950725169715129304686500712631917018959358871\ 4277657711217833142585801106857576427919262802449990036811686952716412266233402\ 7532930726145845388175923660763198923007747218864243909688889660509703220410420\ 8161245689044549672855988609908695699535655573675569164677735890070877983007752\ 6543789260980046826943122343451846667124127310181176940794540947761272852568531\ 78825*n^7+225752143268497975528982834415338137327395767902946876714173363067488\ 4794917376549483484041723040536477217569651876121864178376336679438921962581867\ 7466639398030632402029349261426369069697167120160870263952374690091361827459907\ 8818085710147831339357694282127534448520397056232188345195789574329214628793131\ 1759786659631068792524444775498713342533505966684301620752329284011680448804163\ 313096699155*n^6-49225939457764925427673943682830588945471308168246333249079123\ 9333166491431402510137128460898800119398995480939618326062740412147450189743436\ 9461645346109795880247252200384956013146634896258175333906169532827334412138237\ 1718128446995298270059217826171943220492669917840667084629423450248994860746821\ 0048006634025789666275318162660004463932677127745330542106534779094257330962554\ 33537691146833392881*n^5+610765479784427962646892472186694238624561674424932152\ 8042047528113993746946928991830896316667238036930753014961522790166461393286865\ 7112871302697417361179032192481698686945756288552903976135325554890031933624929\ 8756077051220618743597251624530529275020544800529060058012270421791588677489427\ 5434286800390660538738396515218343617859931368216981430716107307617923919150977\ 88774674110626339857027007969*n^4-456936392239061355192701558762309458517816950\ 1359566681158126864621852448127232541458032818415953868583289304081961852604818\ 3371898369127192408174933515527850948603876425514360300744895699541340111570095\ 7261202230027378004011258073340561668230076970227199683634953227267198750201378\ 7847795331587985996220237550326389303077145161458873115837577119891836977712298\ 462484766801668158786413887218665781722*n^3+20357985679392099193480970235145382\ 3014134496248776653134343609645740483180496195285090278591935171029532703067134\ 0230947173005031803031459499350255160587828627220182827724291744779080872166129\ 3141899839834622634262574966830796245130743609582002315536154006782015668241158\ 6192518756295034860174408021380306755378510467053687856459069066303858846278071\ 39902870601041201262447251434892454841020825157332*n^2-496299410073883691808431\ 0193569234320194826843649569171505066362467043624442217939729279504144453660537\ 7580814752368833319400938269013167193965504828970161638043823871736618933183520\ 6596534777525334236415116440738122218379512439673565373168968818359637459240965\ 4611816305675562393895642444981626321504863499330001150177512443418375103539689\ 3867002037879250855886574179310596694548097515861915609213496*n+509129610511411\ 4809899051285775754543890693013189526993275267252374532281541284890524928110654\ 1792096650174489823669104912222925582806457449667517720744643801070894543636427\ 5169837264636272786350876154811509568021100876984927043511644545050470624828909\ 3413470004007746615271561315330607945051212658453393322530648636232371148482567\ 5167756544478470060366594887946927878061692510914612132520287633898688)/n/(3*n-\ 1)/(3*n-2)/(2261971481000568676458775895281731035933614234300886273041186321932\ 9513021767567411233487100509884192242050448716609036525817198480846452825572474\ 6868772707178729429180175364717820158864330070277835317887119392121882764398226\ 0005746188261070872430723232323674697541009113022130770012878367744085050597328\ 9034320537201520614396501944076466968278744817655715521582349096537302892508414\ 10286*n^6-131871953715656797917549651719638970676278299043555528055275995365563\ 3088873110525469417831388586631527811027663897804388731721465275817303642989573\ 0412879573677903399509865347422524475014694528300350054171071975355713984179590\ 6353251680789123368205645967491667616777779030991095044295587589420936594189454\ 3877061502859673168556346414028128214699488967423433020852039668679568879372368\ 23351*n^5+303147198975429144561444205609286138479515265302753499147565276866968\ 3620303271357113166950319136584496841693842909184601334348994533419944738457633\ 1808678645118498477125497368690972106853253548113505030941597883229225315240137\ 0880534571148836223391439890293293510680790423536913189319401098581604229383051\ 8467150235331983405354044349423101454066675651630390716321027471818262933378171\ 565602*n^4-34820511120730740740700838940845722020797063327919894339483095541703\ 3393490285663624103686367295712188582477500956137944897568405111214166543683749\ 8975177631023778717967070141238556563894834310009072053756677136738954058183109\ 1026970013841741657425509700816761813286424726034447749708091031348085064161195\ 8067160293839532300836776423884429354940868423587751621556713426218822012189946\ 89801434*n^3+206740707188500412436245915881371913883734356184732629570629625815\ 0056890809485608236362226837333573288308420492316601161115598232837233354200328\ 2031780623894989884444453995788149227135249500080413221006336032687830047382491\ 0730452727875015223644355454217435043196989160581292283633443108453571585066207\ 0466875811763667194183537179147187406577539312401124639999568551042652898155752\ 47097700293*n^2-577976099501765493048092166730537023676409773180609161160395072\ 4624566159833161863139948072639104511206390781983230661476314739031041757262110\ 0480873318598675061920616286326284346899494117779027378092759114789823502088741\ 5328369398145520497934022131500003181033686858826362517914258978983981961065035\ 6057423873204180629947544529395969440778212223425293557478966189937317644760090\ 54629366168522*n+53436988594188037231391932152394556029702575765905020110875177\ 2492680277490249127017433297288602011737213339570786050428265931690673300252295\ 9229029799014587142437188672788000210482146166643590479722142094981610307609346\ 7004767698487927765514619628405024104884718458194126364943933604427776273607771\ 7763008714507880183268936159281922099885634716497685281885905205269343876969100\ 661508606381064)*a(n-9)-1/393216*(286637996254909834791251619138707632887188862\ 9635728276562228088710628178221886104090586435997532574158275916153639419927300\ 8409251872847662793116884744774255759363710914603683746167160391813208265927700\ 8994611775324583009526886855083722508517320907791294958682633660933997751479350\ 0465242115304554557240030109444947313973928365200887002230291145032739657999957\ 1710353692114167739942928232452*n^9-2396768652690742954096595258710437062795130\ 1708338179434879916371882631687272232346100558182793857280565487365336865281786\ 6378554510802312859258455102833214350597899721182982792465547280688986726664356\ 8084704496222285757962138663891317608031855298730501433982568867112965108680204\ 3356892194155250404622730704667579036556744481900053902584102347765730469058730\ 08614593110802618338405126862196868*n^8+928321376379870212989290940523478754750\ 0562902100347053625327576094435069672973952998018898662650227096374372104208854\ 2492996325436877984982700307036589077518461265984250677412601605171924262142618\ 7072576112801298365930750930970087897592903422705575754606420678821247965983173\ 6134339535810459405752719457057662233289402654944050400640917173733613549111617\ 6887259222833509279167992805391616982779*n^7-2209036959240560390100946944367819\ 3478736297951363321983622263779720833052084116459187076620180029876048030978188\ 5464201000363485589427147557383794921630634888374250896493955513602874595867138\ 7100532540881352678463560178920103288271877134407025117313619517612145424843229\ 7491938065937012439003368037072820823412793986090011198773177745715643407902291\ 60138990868244316157107136418489365845049973561*n^6+351085181313739055538465545\ 8052086205640671799907717912729349729979685612474119528016873200525744477846856\ 1559016002784475406827228519278016691760034849243668720420461916286078577280853\ 6240590151514031598404362217903823736283506369764574917673659219903727482665187\ 9416308211527606750970406897836601263421758642035173566129795706069704766467945\ 6589936606572456693034981255040759127968491520455573711*n^5-3759450484983207284\ 7488558978405245699714057070033195304894161072881434095895440350511396792306968\ 4642979888295000997876390317641942011424946213955209117607981938700660162365462\ 9782636225961133523052616819765830010593150474101075218671921247694883044536471\ 9117754248738800152817994699630388629357962366042813253756740609060654404877273\ 4564244686230144646859581740810924083292767681030979506380255155*n^4+2638291259\ 3409401469289808407252869622846454798714380103594475066478220768173440173706767\ 3809206950862679562473905911194883886077465731688631303815030355175672191812385\ 5173189852577186001082580832662021369169634846245017749693362200907122881729164\ 6875816746959636661201543702758024257580931072449075404976915674107734004053787\ 83252422228005958102935576317522188420758700849731400357615233723915484666*n^3-\ 1145505610148092085198159041173623561858880122832736361873657721703683147155881\ 0165228682798729329802335790005031249195518382027326680921626812644117087371835\ 5892353988072100024018346786471345161204425687197719475678227250053374598791067\ 6753774728885808022249458301557494653251807004575690365373059866018239762803459\ 4685250893210681782989980003605746649852247904045427784832717567683847817203244\ 306408*n^2+27507634081282952269436745013281165254596486849837118379383058631716\ 0401387825665084043641170211347677846253399668238752840337889040165785631937343\ 7680388811201907736237068229182995843850994441307897091996044977734125062969787\ 4046689460404102672001052576944277868789717068627607762417318642377328332819912\ 3774180423577875582669166690116553770989760893272372045466985099126132283637583\ 90434202879047664*n-27537919837538253575837156806197229284752205879176918054556\ 6099824546509251343562032132525570374954525333609543451343888600609437768233853\ 0262900635964725223346321630205561305771169187567720964711442564636937637020844\ 4738106343355756076466636179881353292477040166508859269415447994887663138995506\ 4584794254346019876944085578921152924821131911813567878412170660239480499539350\ 46983805742722859017359872)/n/(3*n-1)/(3*n-2)/(22619714810005686764587758952817\ 3103593361423430088627304118632193295130217675674112334871005098841922420504487\ 1660903652581719848084645282557247468687727071787294291801753647178201588643300\ 7027783531788711939212188276439822600057461882610708724307232323236746975410091\ 1302213077001287836774408505059732890343205372015206143965019440764669682787448\ 1765571552158234909653730289250841410286*n^6-1318719537156567979175496517196389\ 7067627829904355552805527599536556330888731105254694178313885866315278110276638\ 9780438873172146527581730364298957304128795736779033995098653474225244750146945\ 2830035005417107197535571398417959063532516807891233682056459674916676167777790\ 3099109504429558758942093659418945438770615028596731685563464140281282146994889\ 6742343302085203966867956887937236823351*n^5+3031471989754291445614442056092861\ 3847951526530275349914756527686696836203032713571131669503191365844968416938429\ 0918460133434899453341994473845763318086786451184984771254973686909721068532535\ 4811350503094159788322922531524013708805345711488362233914398902932935106807904\ 2353691318931940109858160422938305184671502353319834053540443494231014540666756\ 51630390716321027471818262933378171565602*n^4-348205111207307407407008389408457\ 2202079706332791989433948309554170333934902856636241036863672957121885824775009\ 5613794489756840511121416654368374989751776310237787179670701412385565638948343\ 1000907205375667713673895405818310910269700138417416574255097008167618132864247\ 2603444774970809103134808506416119580671602938395323008367764238844293549408684\ 2358775162155671342621882201218994689801434*n^3+2067407071885004124362459158813\ 7191388373435618473262957062962581500568908094856082363622268373335732883084204\ 9231660116111559823283723335420032820317806238949898844444539957881492271352495\ 0008041322100633603268783004738249107304527278750152236443554542174350431969891\ 6058129228363344310845357158506620704668758117636671941835371791471874065775393\ 1240112463999956855104265289815575247097700293*n^2-5779760995017654930480921667\ 3053702367640977318060916116039507246245661598331618631399480726391045112063907\ 8198323066147631473903104175726211004808733185986750619206162863262843468994941\ 1777902737809275911478982350208874153283693981455204979340221315000031810336868\ 5882636251791425897898398196106503560574238732041806299475445293959694407782122\ 2342529355747896618993731764476009054629366168522*n+534369885941880372313919321\ 5239455602970257576590502011087517724926802774902491270174332972886020117372133\ 3957078605042826593169067330025229592290297990145871424371886727880002104821461\ 6664359047972214209498161030760934670047676984879277655146196284050241048847184\ 5819412636494393360442777627360777177630087145078801832689361592819220998856347\ 16497685281885905205269343876969100661508606381064)*a(n-10)+1/393216*(365495263\ 4038654708738193719874495814614531614787374252145819723813749630643096307448960\ 5986521510907049700934590041737352309962647070209287272220017261257348853793586\ 8250389909513513202933202666182195497074189661148358963949067409163159273654819\ 0053585613107153167448345963365450001577167517447551524270549261489755453823524\ 581484267528907774683751485853729244136508546248653507358588097372*n^9+29745352\ 3628133787164442506822699722178892449135262268495736951178920464816870514250355\ 5119520050838262489676490881744839819244579747670230032361636796049071674818493\ 5251120185160189903749076660090363549229102626352173422834917391297853947086236\ 4337804714927757170452797625717560690080665556692851044041454747254240805716852\ 244702240117731220091284234633649286471207744057489934541487240657311*n^8-35739\ 8040108430202742724293042010883122509157348433254682139573033625136252497908404\ 2555834436932688167473416078649954838219453989082756478445188566535038569456587\ 0507739088646055513079043231047448427203788279734818885266213489037159498975260\ 5250359379429184621071901144275535458093859737278828970294278972913464210380594\ 63106650883568659286813850981069575588617730408719670166291324108437497940*n^7+ 1323804922165255181993251508526932154583261557843570215356184631563922045633305\ 1123314507070270435690485644064312602226556947129985358171000637688069468235553\ 2187907264414396872385040057590722091993916730550659349126564820713200341836914\ 5786408989621343851406360258056831997245123307393184021199825410475738561580108\ 0302270077408219625498082735315693450566575098482010194569567490918916159821425\ 52*n^6-256787204876466841266669571428232067048911122328904315418133899241806752\ 3861193604672515884011823591285465189857497188352242715388970095689500602725619\ 9111334594697397051687648202260905905733625266862267909402687321002136704428858\ 9638656443237900888180660369736776552023867402473394859215115279179567121530637\ 3129270456577113054184911872330716031660492784622624944379321115693327990997159\ 8001308120*n^5+2955154349029192962406388917635394254701108795111074498633780929\ 3219751297171624263866767506299986214139785252939783347263171933486934120737456\ 7713275780086644805025233769080795307723042227963413233833487909995553826617183\ 0684169430325592319020178334416472840443090609657192022679181736737486562217752\ 6640434879697024998018160729288114712209318829520292304226107978915944417511255\ 8293289309416115045*n^4-2081748571716211028919779224238323710930338214590137547\ 4989929557250081969319297446951613933473465801598172889625728717750104300134603\ 1647654724810886018871808963587248831871819706579218653747257497648893839491049\ 5779942546339695996661530873246187433467129481106674568549989220677354375581325\ 1763217216868901120778597749044332478401493706225014310686522860028145286669934\ 23683557645344696878943983376*n^3+876533460001659308517003827732909285259931481\ 7948939426953946688904629523916159444122611189251109940841768378962082925652279\ 5759469673745136812387830428184591384201442716409571970277618952796728990860859\ 9633116160495399973456098432527017116456184463004605397288146167727326551683788\ 0534007280346240185125769911977101890439035259817823058923020901597853052444742\ 126973952629766905678281347360083867636*n^2-20096377672570505678218156214081720\ 7687537334319068503302936677652365651601229099062184493618525220881918637925321\ 4075333198927078478962203770547997582759535495902617055097275847244662180408027\ 5891987615075732269589012317648293546285544047104697408865558100663387838571780\ 9783923935780155001119379401066874693264358973983879775291643642521526925113606\ 35074161821409020359938871031214661739318256849824*n+19093495063839873382558789\ 5615030847624441299158941431921976774428737364678505997088127223201387541959381\ 0449825080610487108793050188205024591685443287207206393596097461906392237684476\ 5430173852977819239650795937257583964362875308273936930994533010835610957667825\ 5060662351518270739113849757097013473297937109045190378489860414103796511612585\ 27671189638367556828487959276102211334105933591435178651648)/n/(3*n-1)/(3*n-2)/ (226197148100056867645877589528173103593361423430088627304118632193295130217675\ 6741123348710050988419224205044871660903652581719848084645282557247468687727071\ 7872942918017536471782015886433007027783531788711939212188276439822600057461882\ 6107087243072323232367469754100911302213077001287836774408505059732890343205372\ 0152061439650194407646696827874481765571552158234909653730289250841410286*n^6-\ 1318719537156567979175496517196389706762782990435555280552759953655633088873110\ 5254694178313885866315278110276638978043887317214652758173036429895730412879573\ 6779033995098653474225244750146945283003500541710719753557139841795906353251680\ 7891233682056459674916676167777790309910950442955875894209365941894543877061502\ 85967316855634641402812821469948896742343302085203966867956887937236823351*n^5+ 3031471989754291445614442056092861384795152653027534991475652768669683620303271\ 3571131669503191365844968416938429091846013343489945334199447384576331808678645\ 1184984771254973686909721068532535481135050309415978832292253152401370880534571\ 1488362233914398902932935106807904235369131893194010985816042293830518467150235\ 331983405354044349423101454066675651630390716321027471818262933378171565602*n^4 -348205111207307407407008389408457220207970633279198943394830955417033393490285\ 6636241036863672957121885824775009561379448975684051112141665436837498975177631\ 0237787179670701412385565638948343100090720537566771367389540581831091026970013\ 8417416574255097008167618132864247260344477497080910313480850641611958067160293\ 83953230083677642388442935494086842358775162155671342621882201218994689801434*n ^3+2067407071885004124362459158813719138837343561847326295706296258150056890809\ 4856082363622268373335732883084204923166011611155982328372333542003282031780623\ 8949898844444539957881492271352495000804132210063360326878300473824910730452727\ 8750152236443554542174350431969891605812922836334431084535715850662070466875811\ 7636671941835371791471874065775393124011246399995685510426528981557524709770029\ 3*n^2-5779760995017654930480921667305370236764097731806091611603950724624566159\ 8331618631399480726391045112063907819832306614763147390310417572621100480873318\ 5986750619206162863262843468994941177790273780927591147898235020887415328369398\ 1455204979340221315000031810336868588263625179142589789839819610650356057423873\ 2041806299475445293959694407782122234252935574789661899373176447600905462936616\ 8522*n+534369885941880372313919321523945560297025757659050201108751772492680277\ 4902491270174332972886020117372133395707860504282659316906733002522959229029799\ 0145871424371886727880002104821461666435904797221420949816103076093467004767698\ 4879277655146196284050241048847184581941263649439336044277762736077717763008714\ 5078801832689361592819220998856347164976852818859052052693438769691006615086063\ 81064)*a(n-11)-1/786432*(350271502726911148649155250266953455138326106822267895\ 2353073546486425631150609367853511661663250903415694532569858716163761166278959\ 2187394446016891326712733368223079664385904224278842231886857433274830256364431\ 1790377045817088377116750260211193866559025376793135886226525190156028238241992\ 8855061424428364768209116384025252412736202360598541322519875040202971786286721\ 0005612975360127078522*n^9-4043191411321572727005243974560716397469367995816614\ 4909188055244190525609914681437060431091281026687981471503794892273041921622204\ 5651804896202242248661108471447863309983767053375181147151675441010180342640255\ 4981847239866645399598607219058580718367230788313752270743495672684773883358415\ 6496487177736793149393019967931301048812968583412636176778784143579087986012071\ 68886282667241217957720245*n^8+196549574963571111412092771772258506440202288372\ 2689556819556513709316843114771955594052673143688686804159694343172022237867955\ 1717673736596429631779148206141819003611116518037551536171608970983729310387932\ 5267550603122386262297039857795473896701920518772403729536659507535949109469652\ 8748719982159569876114156892660172665788628913617352804824182944742768302918444\ 54750519625888078435653397823161*n^7-531614300997353642458684668003645743440213\ 0520757028446257555267119890393185835853742647082981449844760411317979487258077\ 5484768542734839925948610008605521832941646538790813171563373305174753190054079\ 9734121851726599233654998848626576998512009562170555415610668714631858770626674\ 3779297813780674088034721635316608595476701051312736025562505527034350441526042\ 284244426715298702457457657427231124875*n^6+88534648707599066581725337444874154\ 4000460231413431419062437860386981104153856205738849800489627927338756604053073\ 0535129833884607147169103658278949150443061535149437649536301979233724557234183\ 1897277806739731813859729350331167899738484637525474279441283946740628227030287\ 0053865516220221561498492592342782125012113323798396378174503704124585062536566\ 58898093638696826919366838018973679645381301003*n^5-944039219328950879331015884\ 4862529777453076681548797783526331396977893841408797216427699014502700423069979\ 5880088976750915150676869217462888538806393738624530469093814438038089379927655\ 8786313909766003041267970050906831454907700743723621207101307871218600796210556\ 2348131409614033340712006735148871206120027610884052588917457671527058579011394\ 75219209707267634793644708420259247306488155561146436884*n^4+645720305637808386\ 4808426084255004667765209731883560721927285812139189028176470515868650611787041\ 8928318571106139415926138929196361548662198977221641322165267822884642002186445\ 8827486245345411701141020244142750905948265817072302286891969554434201504218609\ 5704952708199652646687050583139466698057494030610298879481988594380752844027805\ 298918808847792341400483039256232219062799055518952298256010312474*n^3-27366363\ 6992923737948755543461829705365259750863595368287674207332350729121173688501489\ 0463568018935413691001802562451846123446075200136690903993132637019831807355190\ 2609976367739663758391460226524092929392375575411853123899031183969830698914847\ 7908114950063100021760471599390550304443706764481359177871425713302610002549462\ 81353835729874279041189400582102907154509240078435403390038122303474097036564*n ^2+6536137168776805359275891335485608325705859988133504774404744610305606470894\ 2926842501672055374734851601962620778447877011522612478482067640606725023694403\ 8990396133541786129021445176278182455912369788681167341492250962851107431240520\ 6410711232234565721844977346633772901271758062947649647745711871568394613728227\ 7379555523716594080319407457058386491803913910701011221414230615995552320351811\ 946627776*n-6731985969682321546342898303442548429513437144857273138214238853730\ 1612342356469957636629957058838504799778870573037889737801724890497435951611547\ 6450593815866656468690661170355046876664559475677138100683058361616673635195065\ 1290872532788189548846212237688900387541948733856181284007270992513684875749386\ 0691262846154634233950606068707359148864248053567125351026795086712156963808548\ 962064904070088320)/n/(3*n-1)/(3*n-2)/(2261971481000568676458775895281731035933\ 6142343008862730411863219329513021767567411233487100509884192242050448716609036\ 5258171984808464528255724746868772707178729429180175364717820158864330070277835\ 3178871193921218827643982260005746188261070872430723232323674697541009113022130\ 7700128783677440850505973289034320537201520614396501944076466968278744817655715\ 52158234909653730289250841410286*n^6-131871953715656797917549651719638970676278\ 2990435555280552759953655633088873110525469417831388586631527811027663897804388\ 7317214652758173036429895730412879573677903399509865347422524475014694528300350\ 0541710719753557139841795906353251680789123368205645967491667616777779030991095\ 0442955875894209365941894543877061502859673168556346414028128214699488967423433\ 02085203966867956887937236823351*n^5+303147198975429144561444205609286138479515\ 2653027534991475652768669683620303271357113166950319136584496841693842909184601\ 3343489945334199447384576331808678645118498477125497368690972106853253548113505\ 0309415978832292253152401370880534571148836223391439890293293510680790423536913\ 1893194010985816042293830518467150235331983405354044349423101454066675651630390\ 716321027471818262933378171565602*n^4-34820511120730740740700838940845722020797\ 0633279198943394830955417033393490285663624103686367295712188582477500956137944\ 8975684051112141665436837498975177631023778717967070141238556563894834310009072\ 0537566771367389540581831091026970013841741657425509700816761813286424726034447\ 7497080910313480850641611958067160293839532300836776423884429354940868423587751\ 62155671342621882201218994689801434*n^3+206740707188500412436245915881371913883\ 7343561847326295706296258150056890809485608236362226837333573288308420492316601\ 1611155982328372333542003282031780623894989884444453995788149227135249500080413\ 2210063360326878300473824910730452727875015223644355454217435043196989160581292\ 2836334431084535715850662070466875811763667194183537179147187406577539312401124\ 63999956855104265289815575247097700293*n^2-577976099501765493048092166730537023\ 6764097731806091611603950724624566159833161863139948072639104511206390781983230\ 6614763147390310417572621100480873318598675061920616286326284346899494117779027\ 3780927591147898235020887415328369398145520497934022131500003181033686858826362\ 5179142589789839819610650356057423873204180629947544529395969440778212223425293\ 55747896618993731764476009054629366168522*n+53436988594188037231391932152394556\ 0297025757659050201108751772492680277490249127017433297288602011737213339570786\ 0504282659316906733002522959229029799014587142437188672788000210482146166643590\ 4797221420949816103076093467004767698487927765514619628405024104884718458194126\ 3649439336044277762736077717763008714507880183268936159281922099885634716497685\ 281885905205269343876969100661508606381064)*a(n-12)-1/1572864*(2826587457790858\ 4170124735265854516833458797009475219042749532740461984962466854487175582475149\ 2859174786300999802647578935317598924863543384077693849075447974786422724634608\ 8585414580634867781897477859067656575157310840824334453645510399631892146256134\ 9189858776130851850431075663030759024077731365008507123053646418173838199610059\ 611231282085585165324756782645959762241692116955667941978744*n^9-27419674155974\ 2562430075895331788523966247383328776012847564735869432304567933095905510022809\ 3848009994628078922486727871524172089197177848413605071325069365472851048712602\ 7654129955505667499166063049403305333779474054781718316716478813837830642567718\ 7999981294184888044983371264782350024849139245671871745267992222476424566159035\ 5515663497728392324420575219813831806756118915248721656879324669*n^8+1154890099\ 5858682342404597575745499269896360830071713539240856995846385324551446975601559\ 7654974065877163587569686553821988893026529746814974245206855573150153306973654\ 6747697478794626567632265382960103736667688007106008249853543822892442160231613\ 6094251118691574238327787148832997037373160729538076041193978756996639623219911\ 7518089897109623121110646570663470601112989865771711690230852331009348*n^7-2760\ 7280362593281964272363243657416174132721720909036847496574042415666680735269227\ 7359877854882408089845283992602641975162354082200762054890284055023095775377152\ 2732696551499402152749510013235449860231619825950680319980497797679682068725927\ 3066570573919060194182891031008721951746656725616624613030504427212808861934598\ 18639173701521710652554121604746581867421689241509923571223957592332770120516*n ^6+4118747091424657844707800886062283657439600625787697980559048256034552080325\ 6415520416289871631161977754361024362985667964199759265193107765134316974779300\ 8987093812305115598929140762422101456333773386526024500915789054307749844479235\ 6251358487945164231842158445337810021995687238073296025985897319149179030505531\ 7755018173787315671009373459377138119679761369846587768761273879649481873430059\ 357962*n^5-39758080640596325239770004748427431415957007728676084473275861905670\ 6569530526542205230083697064840588695915191578628314295399569813031228984797609\ 5968521109453809768139259505407445531767003507019822728192569698745225743496965\ 4266951658818377309196900206569460290231981612879727879125249380732637403644568\ 1143569250945709160672877573810481992603434468390547473217095860125542789929051\ 890360936055847*n^4+24879409926467178466924644172092254584341329995832231638231\ 4630599740262053425507383519278199068447377562072939352647423332505181668632916\ 0376938191914142144964402609931873201442957943556372693527886642408840994032358\ 7581600286229260070436689815478033903705220508929093356721621106959670591809822\ 7667600650637086199497956017904045068353953842773872345574772674157523786334739\ 6133504794019433172199514*n^3-9779408023241790705385053140577251496884878816883\ 2395385303642966592536418543313035756675192507854780638127397782011199267467072\ 6860933163785697513066164455516589289951177081373199408733375863144093143222520\ 1178979636416643491067139570958746725695696526366884851944417332386106627769795\ 3037715131701257947324802140549069099011099035777202541130619048835441597362888\ 99735069515320989747064345721703688*n^2+220922765976297872605182405028959969943\ 0614193500357302205406970251412750940025983185131298202817655235751947985543432\ 4037291070061542690349029941502910035340532129614224902897287336940254226138075\ 1228291106445628765625864318869686849457906508461614938910997739684531066185209\ 6198207805571318121272510816543179968395339489545372058381184305853672126781302\ 0386735796318683722217423392484716010268857136*n-220959892201854486905603517940\ 6054008955479754755976165950099346880979447367300899339952534875595822328250802\ 7621676466617991793248728628554039827414127127667484663582687971436478166452574\ 6676069357725591789971955571412216180866936673771455103637847438880070467971445\ 3291051144036052212381215689917053420771763357301740491313374324284395633843328\ 7451762314851818586372758033811818793219871725458710912)/n/(3*n-1)/(3*n-2)/(226\ 1971481000568676458775895281731035933614234300886273041186321932951302176756741\ 1233487100509884192242050448716609036525817198480846452825572474686877270717872\ 9429180175364717820158864330070277835317887119392121882764398226000574618826107\ 0872430723232323674697541009113022130770012878367744085050597328903432053720152\ 061439650194407646696827874481765571552158234909653730289250841410286*n^6-13187\ 1953715656797917549651719638970676278299043555528055275995365563308887311052546\ 9417831388586631527811027663897804388731721465275817303642989573041287957367790\ 3399509865347422524475014694528300350054171071975355713984179590635325168078912\ 3368205645967491667616777779030991095044295587589420936594189454387706150285967\ 316855634641402812821469948896742343302085203966867956887937236823351*n^5+30314\ 7198975429144561444205609286138479515265302753499147565276866968362030327135711\ 3166950319136584496841693842909184601334348994533419944738457633180867864511849\ 8477125497368690972106853253548113505030941597883229225315240137088053457114883\ 6223391439890293293510680790423536913189319401098581604229383051846715023533198\ 3405354044349423101454066675651630390716321027471818262933378171565602*n^4-3482\ 0511120730740740700838940845722020797063327919894339483095541703339349028566362\ 4103686367295712188582477500956137944897568405111214166543683749897517763102377\ 8717967070141238556563894834310009072053756677136738954058183109102697001384174\ 1657425509700816761813286424726034447749708091031348085064161195806716029383953\ 230083677642388442935494086842358775162155671342621882201218994689801434*n^3+20\ 6740707188500412436245915881371913883734356184732629570629625815005689080948560\ 8236362226837333573288308420492316601161115598232837233354200328203178062389498\ 9884444453995788149227135249500080413221006336032687830047382491073045272787501\ 5223644355454217435043196989160581292283633443108453571585066207046687581176366\ 719418353717914718740657753931240112463999956855104265289815575247097700293*n^2 -577976099501765493048092166730537023676409773180609161160395072462456615983316\ 1863139948072639104511206390781983230661476314739031041757262110048087331859867\ 5061920616286326284346899494117779027378092759114789823502088741532836939814552\ 0497934022131500003181033686858826362517914258978983981961065035605742387320418\ 062994754452939596944077821222342529355747896618993731764476009054629366168522* n+53436988594188037231391932152394556029702575765905020110875177249268027749024\ 9127017433297288602011737213339570786050428265931690673300252295922902979901458\ 7142437188672788000210482146166643590479722142094981610307609346700476769848792\ 7765514619628405024104884718458194126364943933604427776273607771776300871450788\ 0183268936159281922099885634716497685281885905205269343876969100661508606381064 )*a(n-13)-1/1572864*(1800800555315911968815584183873247079468797192233246787294\ 8608787858017281565516355024472664102664823576066659298353459798111773098581062\ 5722812687378154593903390009918314825110056368442924328997959342246375971279164\ 1616299802726239593133620076178413307917968498343362207497299017261076643630375\ 9556615733719640518996292251171776253027582540598599121824021033137853037236612\ 62413010121356920*n^9-146096829343941558101297461695119436430547700867819459917\ 9056616425367292431331708411825903068806624727538281101669264867214255757469844\ 5693316346138924686374144095325125265320293248706323904737946553502035477795805\ 5590616724605339394112738469355785920604221530940234916176657142921251977260004\ 2690219623535787434792639083400814425982657647379251361738742481705390272835587\ 96014013982708258845*n^8+419630607323532809894902386106161872486225689575854774\ 1992055002558898384233771023349152268406980520803232037833154166123935853275235\ 3582259974348799426644360558869357591259100267498962071770221418239116087511927\ 3095796465718743034627043788319189642591683798805256643910937431774533210507538\ 9247224312817462850083604832897599987440141610890755482032940454808144678492447\ 234288640922992285202714*n^7-34455805294267692927067437309302529241552389791841\ 1961049209417928665863796086221392721367024598029454900611729382281136290318702\ 9394828134507776565722532679475148942678637128571816707230695133396685204594589\ 6431000938252282510152753281995320899787309708207947104170958858516574354041059\ 5287200288804113070762470065661263139550722512388282794807305432187050806867634\ 54772121768735150187389520210*n^6-742604026694125202569913019102640694899009084\ 5557398497053299800141667565204505186722891302726635713974878576630030516181840\ 8836434413080408853766511473641879822212818121936180125689155512785888175870884\ 3266144744805372954832302503220179145724629287406554147490216547286634044643642\ 9835646642293715983449470914257214567640638913423919676733621445749508324870874\ 57268607483203938451279990426909216*n^5+213978168892921611993152558861500161477\ 1570148311017116423839520719695785248878892325309498168579511146983704172368339\ 9757884348307219765548779348283053509238026831393562244700237639219607483675102\ 9155931003875337140011492126468534197858104516096546660156548584854702766448042\ 4687546494118840382909691349578889509138080687857081492220332745250458482707180\ 8466166515932586987153623306773981608109231*n^4-2276145600962912597093520769979\ 1586635610863385140232213040802935462789671028284008295121539793523854552125598\ 4135345095857144769691905531680665098492664135782563472408717804544967207517902\ 4876500038144507313136525892598564350944508135060703477806658914368249072061292\ 1834375436759182201770337875227245529688374175000268102072498328629825738729864\ 8116915082181847698136196126667561982477374105272706*n^3+1216719426827745164806\ 0253720877476850533436032814071547097233185434968865277135921118267565416417366\ 9006644956245197978877731232358713955318004758590788492390018670815481754009339\ 7109360311802683827579806442628061100619854302831182108217670907361329842589504\ 6011577389857770826434100026351522173406403607993324078211458795935805028216108\ 01553041382113545003269983157035761170927270569958083812587344*n^2-314056770419\ 0635515011487689623606290477502239353872256960012951201911662034829698333670609\ 4751032195604861823677166633995255486442785518485795934935747886580587964389656\ 0248441638078798058718180012572776129000079531677124373113771530870321368051678\ 8937536779973617564342553086350898124588105779842486182845205782601537750220081\ 842109776115688877383135704744235244572026855379783286245791896860870048*n+2927\ 7302633219394876418594117613487085091590678018635850037577640384628487818159909\ 2649016390601141830492088641288362489170863971165136405143586470284977762298341\ 7576170870411128126888720497574417995750319423430438885174339721439604816258443\ 5101277232715593951373246836967845733714510851653095894935692197245854755767917\ 1876689389203738614809235125085108515652845413373637551954896216221561683315916\ 8)/n/(3*n-1)/(3*n-2)/(226197148100056867645877589528173103593361423430088627304\ 1186321932951302176756741123348710050988419224205044871660903652581719848084645\ 2825572474686877270717872942918017536471782015886433007027783531788711939212188\ 2764398226000574618826107087243072323232367469754100911302213077001287836774408\ 5050597328903432053720152061439650194407646696827874481765571552158234909653730\ 289250841410286*n^6-13187195371565679791754965171963897067627829904355552805527\ 5995365563308887311052546941783138858663152781102766389780438873172146527581730\ 3642989573041287957367790339950986534742252447501469452830035005417107197535571\ 3984179590635325168078912336820564596749166761677777903099109504429558758942093\ 6594189454387706150285967316855634641402812821469948896742343302085203966867956\ 887937236823351*n^5+30314719897542914456144420560928613847951526530275349914756\ 5276866968362030327135711316695031913658449684169384290918460133434899453341994\ 4738457633180867864511849847712549736869097210685325354811350503094159788322922\ 5315240137088053457114883622339143989029329351068079042353691318931940109858160\ 4229383051846715023533198340535404434942310145406667565163039071632102747181826\ 2933378171565602*n^4-3482051112073074074070083894084572202079706332791989433948\ 3095541703339349028566362410368636729571218858247750095613794489756840511121416\ 6543683749897517763102377871796707014123855656389483431000907205375667713673895\ 4058183109102697001384174165742550970081676181328642472603444774970809103134808\ 5064161195806716029383953230083677642388442935494086842358775162155671342621882\ 201218994689801434*n^3+20674070718850041243624591588137191388373435618473262957\ 0629625815005689080948560823636222683733357328830842049231660116111559823283723\ 3354200328203178062389498988444445399578814922713524950008041322100633603268783\ 0047382491073045272787501522364435545421743504319698916058129228363344310845357\ 1585066207046687581176366719418353717914718740657753931240112463999956855104265\ 289815575247097700293*n^2-57797609950176549304809216673053702367640977318060916\ 1160395072462456615983316186313994807263910451120639078198323066147631473903104\ 1757262110048087331859867506192061628632628434689949411777902737809275911478982\ 3502088741532836939814552049793402213150000318103368685882636251791425897898398\ 1961065035605742387320418062994754452939596944077821222342529355747896618993731\ 764476009054629366168522*n+5343698859418803723139193215239455602970257576590502\ 0110875177249268027749024912701743329728860201173721333957078605042826593169067\ 3300252295922902979901458714243718867278800021048214616664359047972214209498161\ 0307609346700476769848792776551461962840502410488471845819412636494393360442777\ 6273607771776300871450788018326893615928192209988563471649768528188590520526934\ 3876969100661508606381064)*a(n-14)+1/1572864*(567464174288535196524818847542504\ 8233065430517250574102868240479280657026440320277317368506180191459473114660745\ 3912650963264208618610089551354225532628029792713844982542780758884958444874009\ 3496650225794762230760024056433044019142032253369223823957948901817185659526690\ 0708065619581315395598750409097711930075194025810746425660240160296105343914201\ 051513693867129525369061662509717095634696*n^9-65791052972355632049685064662639\ 9174423421386975311183818886820742826745227264217450876729448057133816483251573\ 1455725098344098639340478509464104665649160084753006750966270146638962004533810\ 3999800111113231640882158708946049785359254717902371904604396166230218270683116\ 2585943195155703805970901720328584615841972540506399844367608405742838585013339\ 198092479780088672652579097155185586914140419*n^8+32593754967165540044558807848\ 8479290587718502463534422739564381545757380591415319291723845268984195842283004\ 9722481112579931655140011994456707035149310850997108657414648675302651907777699\ 1575059410141895961343512123968006545911873571979930027369951723231395985415808\ 5413545791466720302024863199016856382717815018683764938077533302903559914311619\ 59884228594695992633165837637758985145964352548044*n^7-907441633900714807043230\ 7073630367370205187540760289218011915598284150019534499088657050720169919338403\ 7977400548038777791219997652769610967229818078201497395281367428337765494564848\ 7153440979763625916225900346581078504604547060705329714182265716682299128613926\ 5913491433758818286883563964593708084145432971317684789484774834692022605524225\ 84063199796399158283213438473399677178539858297673977004*n^6+156437436854083425\ 6058175244423015549304983295091243933548818073306309912046680749270113590293133\ 9604512252925557843374287359088796462907441962522971809934539002604911141564073\ 6648754355303616846132113811156667497107891388545561489211931446841377309508500\ 7047664148832693811957490292871667050687313614578112520468023363407934015687705\ 8846886698413735870511501001183528935955315443690472357267499094*n^5-1728790934\ 3199123639768840047947586217188642708663172354538097000791951502406861159599949\ 0497838209386399674367750371196037948934296667932821299165142322026716382431636\ 8396231520778678544547942224154747776708445939565311232918281841305990849930267\ 7170035220432785112511180775994584212559481204758288143851341525228481211938005\ 5668150182853091020814389206810009217298715706789929409707351444264125913*n^4+ 1221134612907189423041141253531594606091171209064215344724022034661600306593190\ 7422811161107904345735043383785343609052568112695148831574152625164249746225713\ 3119046363003249362927615285443061602898235306532902932245574683347578444076985\ 7517607537343738353057695770520522000528697778495883276543522001898404180736394\ 9628630327469832232404614719878071158859683166594323707421402647215823137474042\ 00374*n^3-529659458230858275936567999080908464132884067746019274262678009153815\ 7977285048556975365607250006470199432852303741767005711285855307794000166312575\ 1329920715733548352880815199262609334783581804825246957989111422129065855521574\ 2744485719816468037364166528357519748024656467902132892137902043955912811912577\ 3916840320753991645710329835287435663101976797242438157649488928711768101944652\ 773624665358088*n^2+12751118477112008785118989004028293112924377388247844387036\ 0385694420420293223941817939884949492932427617845585359746225393746448492958377\ 9008679956952073233951452553904690254551936313280584350422077085974334846917322\ 4207554248939289981647499493340002336658714269574766929334950563714655251224462\ 8457748216033645624686722798374691404837303585700875339414015352306039697791732\ 85310686993366492770761616*n-12947024275315056874420391890351899905139967931618\ 3061492479895118554428658486838334774388717406783226668625989755494610090958346\ 3151108126577990382798859785718161345660802563407326234798094241403020261863844\ 6323972986356668325944748295092583081647943823006872893932040883380928966321783\ 8734017265130215999568488341151478508943438896965733810355898065709265273783533\ 19600179717022210775299105890014848)/n/(3*n-1)/(3*n-2)/(22619714810005686764587\ 7589528173103593361423430088627304118632193295130217675674112334871005098841922\ 4205044871660903652581719848084645282557247468687727071787294291801753647178201\ 5886433007027783531788711939212188276439822600057461882610708724307232323236746\ 9754100911302213077001287836774408505059732890343205372015206143965019440764669\ 6827874481765571552158234909653730289250841410286*n^6-1318719537156567979175496\ 5171963897067627829904355552805527599536556330888731105254694178313885866315278\ 1102766389780438873172146527581730364298957304128795736779033995098653474225244\ 7501469452830035005417107197535571398417959063532516807891233682056459674916676\ 1677777903099109504429558758942093659418945438770615028596731685563464140281282\ 1469948896742343302085203966867956887937236823351*n^5+3031471989754291445614442\ 0560928613847951526530275349914756527686696836203032713571131669503191365844968\ 4169384290918460133434899453341994473845763318086786451184984771254973686909721\ 0685325354811350503094159788322922531524013708805345711488362233914398902932935\ 1068079042353691318931940109858160422938305184671502353319834053540443494231014\ 54066675651630390716321027471818262933378171565602*n^4-348205111207307407407008\ 3894084572202079706332791989433948309554170333934902856636241036863672957121885\ 8247750095613794489756840511121416654368374989751776310237787179670701412385565\ 6389483431000907205375667713673895405818310910269700138417416574255097008167618\ 1328642472603444774970809103134808506416119580671602938395323008367764238844293\ 5494086842358775162155671342621882201218994689801434*n^3+2067407071885004124362\ 4591588137191388373435618473262957062962581500568908094856082363622268373335732\ 8830842049231660116111559823283723335420032820317806238949898844444539957881492\ 2713524950008041322100633603268783004738249107304527278750152236443554542174350\ 4319698916058129228363344310845357158506620704668758117636671941835371791471874\ 0657753931240112463999956855104265289815575247097700293*n^2-5779760995017654930\ 4809216673053702367640977318060916116039507246245661598331618631399480726391045\ 1120639078198323066147631473903104175726211004808733185986750619206162863262843\ 4689949411777902737809275911478982350208874153283693981455204979340221315000031\ 8103368685882636251791425897898398196106503560574238732041806299475445293959694\ 4077821222342529355747896618993731764476009054629366168522*n+534369885941880372\ 3139193215239455602970257576590502011087517724926802774902491270174332972886020\ 1173721333957078605042826593169067330025229592290297990145871424371886727880002\ 1048214616664359047972214209498161030760934670047676984879277655146196284050241\ 0488471845819412636494393360442777627360777177630087145078801832689361592819220\ 99885634716497685281885905205269343876969100661508606381064)*a(n-15)+1/1572864* (n-20)*(42028556043547556678436473092851506653022466361199821993372263004388076\ 9921728061276987480535360000774007996658035053264656830149508565959776754659893\ 7338915951587110190865555211400416783437974328722877083759426671228350163872676\ 2247767905975154074626374193773948808995457071333170277508134102436488846933318\ 7561454856627608046948811674659179004612178552473073927560328637635585495398005\ 8944*n^8-3802911574108976589037906486014558481898064371901416869582830900256215\ 6704423889088051360251026550874495774197101689723932787702280328889846103159713\ 6153200320711873108681636092767860793591227041867469940866375781545124719498864\ 0935508716888973813267208660565760728050433187007750809845313998177792446729093\ 3773599823311336438720090621230672960084902976404276402019793583103753332613190\ 1106687*n^7+1464384921749362323352755413595898294693943360206308448795022665596\ 4970831691934251146691783137066227112138319096649638176929603677111218471696307\ 5801557388916394054809714040624993469328160661919092816021537438428562698623257\ 9914508091919514066924131644443468439545163465041244098891396786068369421265539\ 9669475254902849361772436058625182018437453541720661889786408147503931336508133\ 659221797954*n^6-31262671666513721535537551116544687029092011204404825480456197\ 0417297206366210200925686590273364190522284000730691229910176445083081693570155\ 3519251400038871744661950439198800184064298483109572096706218479764419715243341\ 4396627793617167557881642969573410837587717020408283752358453844155848524394991\ 3952228446755680924821115657380926592356844401159214599182279823985329278542507\ 263963850875094490*n^5+40353134014157913731365537998903562689428156704191011270\ 2305465207676909138323520750355707928186557745835931879624438791748445008853125\ 4426917457510616585392916385046522111639104682454684498648954087190636854949251\ 6328631559884915124120350218493234072020970004668144830542478536377890070011459\ 8188881770549746317632795844850551630821109399187073676962423058525066049731997\ 3670233074881787532689812*n^4-3214768584862838108280408810058965051828372524340\ 6764561774080053842309786663487108815444777878809446974427211590545034120922380\ 6115313002646032628052416465447540739890935403104663790668541093147925006043001\ 1796491931247002856615505902411843762780838261181147254036464747105855437683327\ 2878483248791227094967875981760599957672243612487454931359071497447648380572750\ 141033772133877005060868199590967*n^3+15390765073621046006027861197674452321799\ 9211505827508935417017435033541860055779848878320403539110035257211181105082151\ 3493943656124821078503756877512128266821301747644663260854463716811422057392614\ 9605066528100029328907635656375805497709508430945735596167663942488974625840302\ 5271885120773982397704348680187964632594137006723335748832898159969898907788916\ 753235193433447799273727125927404577801482*n^2-40409603597175524593534074654195\ 8928431931367317939883737824251888365029624111447000225237655483037488442668947\ 5532092291616283480631040928878751409513206082140169351415386668922687776634232\ 6276761031927127492438920645434758458011495032944591866240957144144452944162085\ 7985310659639008361121111606803679585660589445727927471524696872118193237303796\ 357283033241787078808537676133325984133988997633232*n+4461257169030786131787030\ 2819077203908008605907234297022201659381995450283887237257165036890068259021779\ 6276857735138001294122211241595909308976390284468864748789211513453543056999147\ 8554872915427162201136134963104764586102590555679784559620928840510404856993762\ 0755150168133371517731271129450921678448627283476825606488233182466170043404505\ 5683671602030274754107212225139410152657225754037525628608)/n/(3*n-1)/(3*n-2)/( 2261971481000568676458775895281731035933614234300886273041186321932951302176756\ 7411233487100509884192242050448716609036525817198480846452825572474686877270717\ 8729429180175364717820158864330070277835317887119392121882764398226000574618826\ 1070872430723232323674697541009113022130770012878367744085050597328903432053720\ 152061439650194407646696827874481765571552158234909653730289250841410286*n^6-13\ 1871953715656797917549651719638970676278299043555528055275995365563308887311052\ 5469417831388586631527811027663897804388731721465275817303642989573041287957367\ 7903399509865347422524475014694528300350054171071975355713984179590635325168078\ 9123368205645967491667616777779030991095044295587589420936594189454387706150285\ 967316855634641402812821469948896742343302085203966867956887937236823351*n^5+30\ 3147198975429144561444205609286138479515265302753499147565276866968362030327135\ 7113166950319136584496841693842909184601334348994533419944738457633180867864511\ 8498477125497368690972106853253548113505030941597883229225315240137088053457114\ 8836223391439890293293510680790423536913189319401098581604229383051846715023533\ 1983405354044349423101454066675651630390716321027471818262933378171565602*n^4-\ 3482051112073074074070083894084572202079706332791989433948309554170333934902856\ 6362410368636729571218858247750095613794489756840511121416654368374989751776310\ 2377871796707014123855656389483431000907205375667713673895405818310910269700138\ 4174165742550970081676181328642472603444774970809103134808506416119580671602938\ 3953230083677642388442935494086842358775162155671342621882201218994689801434*n^ 3+20674070718850041243624591588137191388373435618473262957062962581500568908094\ 8560823636222683733357328830842049231660116111559823283723335420032820317806238\ 9498988444445399578814922713524950008041322100633603268783004738249107304527278\ 7501522364435545421743504319698916058129228363344310845357158506620704668758117\ 6366719418353717914718740657753931240112463999956855104265289815575247097700293 *n^2-57797609950176549304809216673053702367640977318060916116039507246245661598\ 3316186313994807263910451120639078198323066147631473903104175726211004808733185\ 9867506192061628632628434689949411777902737809275911478982350208874153283693981\ 4552049793402213150000318103368685882636251791425897898398196106503560574238732\ 0418062994754452939596944077821222342529355747896618993731764476009054629366168\ 522*n+5343698859418803723139193215239455602970257576590502011087517724926802774\ 9024912701743329728860201173721333957078605042826593169067330025229592290297990\ 1458714243718867278800021048214616664359047972214209498161030760934670047676984\ 8792776551461962840502410488471845819412636494393360442777627360777177630087145\ 0788018326893615928192209988563471649768528188590520526934387696910066150860638\ 1064)*a(n-16)+7/1572864*(145502023771658164606953032353536652403606986083644952\ 6287525366641793597251625843015858857098348066744682027918611940096122489897150\ 1816612236727210767792552833563475060064269914271076406554519099181776491308571\ 2032320037837918914493974245230801030112850318604006116236165102956538960581556\ 3568672680867654396952219444783226673728863804483478711615911689572199982294513\ 70761282073179723208*n^9-152673259009491181930476063966388836871310651645746963\ 0692630198461800242104987405713247156327640303069485454504273672318335222194643\ 2976239445541463150977409965206042435736541528263021833487438650305356065825100\ 1862460641405071017126905407862669931549501876798108952476153156671825044909108\ 1840415278798941787220008119682896160365999921126271953832214479630543260933278\ 5505958031367532795287*n^8+7008209798071856329351494648197829734657937987542190\ 3737544999961848180607782701578558148535035603692280080914043176615541561508322\ 0441870857193145969200943985645478706430472580021899698008819121377349048928155\ 5881117391801988163216705686679123656793916314081774869504172938611776429282399\ 6768468102741193360563864483334949307515378476615115213009648510743921997482970\ 1509671717999234271494948*n^7-1842844724965092554327247245192512881000631269614\ 0783649575452135721756882971983282669132619830269508538725914731715355725424521\ 2321061095790788315740650923117851676062388439839231446029231491232748064069220\ 0726131151310869554495337886078521571759222615549312696074545508467858107251455\ 7993425196312501066632089063658527530600147177559393429920481977588956888601423\ 205085940858568858449787903312*n^6+30512361480986175625157948435463207818719000\ 0678438650898378277395536470990624707678190731772995473262319750637637882400863\ 8165599503141173338165855801477061585865584374430967527039831214213034577687178\ 1608058865700461718395349221948814078910475442217410144622423968556841115103754\ 9532061657018460748337481330022685564276519750963667063450285659228031796256453\ 908201195967250641579172304131654706*n^5-32894079987539872630886491285625889624\ 0286051742769729708834761672877365925858372480755752995248428534389290698578480\ 4005923744450539535252370394403243958682016099203959529476653993445752079556779\ 1996568962065283847909795964820300820362466170847344821118193140720686807821443\ 2677395940941080895099618561293186064224476667698084429202704680241212814742077\ 5177807296751722248543084330464653640495041*n^4+2301944915838799744726742589497\ 0635945477112575334353802665989349979148064204678885903695708339704755313227837\ 0586712341561553047530535385318177859392338562222472990225275028642260714439921\ 9959372957008319245423528090001904153765931268944048159471472246340503593836303\ 6237085632283269795686199882923523025271745020901528116519191359401536241393031\ 398182023734615720535977371580632785462432771943794*n^3-10054471130749963262402\ 9264426664463633041900379488646738782896157622369056992619869394090565182091064\ 0094718815020018591629727625738706800179971832180589907134480071030086119055786\ 2095874088941295509966453472786461041618159908650421801152957506081939829347664\ 4813131763741336520492161979913677919850645795427917583996549748285358623441477\ 466659555093326815637429139146987816159858696327343019232472*n^2+24824904625903\ 6580833595294941482601323936004140892840290061789291961862631606203454556255276\ 7490263157098916160768731349804040695642270348620284065149006496766792094843685\ 0104105881866941280480290210751392336946100363495770261282806459380206200455652\ 0973406164571778899125104504023942697329807034954046257646440223488518893822188\ 941625867989245610493244262875006969445747130073243751860108092849776*n-2642601\ 0934387818295716949609615763433071894006661560055045163619927129088830803741563\ 9946037371954500044803275817193174130550524249504609070750994364904047112577840\ 9685249540484236536922978072773619855279811847920754966352993379457050344466661\ 0597101854857477101709717699780350441389878506090450855558814911242281665487077\ 2599084853192843760530965870312225542280831185138295809344443737316334640512)/n /(3*n-1)/(3*n-2)/(2261971481000568676458775895281731035933614234300886273041186\ 3219329513021767567411233487100509884192242050448716609036525817198480846452825\ 5724746868772707178729429180175364717820158864330070277835317887119392121882764\ 3982260005746188261070872430723232323674697541009113022130770012878367744085050\ 5973289034320537201520614396501944076466968278744817655715521582349096537302892\ 50841410286*n^6-131871953715656797917549651719638970676278299043555528055275995\ 3655633088873110525469417831388586631527811027663897804388731721465275817303642\ 9895730412879573677903399509865347422524475014694528300350054171071975355713984\ 1795906353251680789123368205645967491667616777779030991095044295587589420936594\ 1894543877061502859673168556346414028128214699488967423433020852039668679568879\ 37236823351*n^5+303147198975429144561444205609286138479515265302753499147565276\ 8669683620303271357113166950319136584496841693842909184601334348994533419944738\ 4576331808678645118498477125497368690972106853253548113505030941597883229225315\ 2401370880534571148836223391439890293293510680790423536913189319401098581604229\ 3830518467150235331983405354044349423101454066675651630390716321027471818262933\ 378171565602*n^4-34820511120730740740700838940845722020797063327919894339483095\ 5417033393490285663624103686367295712188582477500956137944897568405111214166543\ 6837498975177631023778717967070141238556563894834310009072053756677136738954058\ 1831091026970013841741657425509700816761813286424726034447749708091031348085064\ 1611958067160293839532300836776423884429354940868423587751621556713426218822012\ 18994689801434*n^3+206740707188500412436245915881371913883734356184732629570629\ 6258150056890809485608236362226837333573288308420492316601161115598232837233354\ 2003282031780623894989884444453995788149227135249500080413221006336032687830047\ 3824910730452727875015223644355454217435043196989160581292283633443108453571585\ 0662070466875811763667194183537179147187406577539312401124639999568551042652898\ 15575247097700293*n^2-577976099501765493048092166730537023676409773180609161160\ 3950724624566159833161863139948072639104511206390781983230661476314739031041757\ 2621100480873318598675061920616286326284346899494117779027378092759114789823502\ 0887415328369398145520497934022131500003181033686858826362517914258978983981961\ 0650356057423873204180629947544529395969440778212223425293557478966189937317644\ 76009054629366168522*n+53436988594188037231391932152394556029702575765905020110\ 8751772492680277490249127017433297288602011737213339570786050428265931690673300\ 2522959229029799014587142437188672788000210482146166643590479722142094981610307\ 6093467004767698487927765514619628405024104884718458194126364943933604427776273\ 6077717763008714507880183268936159281922099885634716497685281885905205269343876\ 969100661508606381064)*a(n-17)-7/1572864*(n-18)*(991872919446090850607308617498\ 2555118204700762413451545041891671350799268665282953157462446388722815873443854\ 8629669376582239473364080658505398830690642341670009828716278215382627022514987\ 3594208662647765965242782972749007724210175062101439385302770882692090767690034\ 6834229511879803828855714431829764446173461510348787845469220643543746396168132\ 099196506156713352911874292483116716932936*n^8-74150231877785494530285287026844\ 2261201155458056070543632813073338315031964162192701295386896734375654819980932\ 7675635559606624555133940171260338366334140670431627822283095386667766003366902\ 0752075278662815737375005066215235442115716051002323947293860490498978037847936\ 9569093609012346576752834102558449889545520144652539856510108498295041571988243\ 880019857393148210921505893008949168521033*n^7+25208844216324084926061878831793\ 9283475317170420792658963578725661131916609279428930822816011920476117664349192\ 0264891125010301784731677217859261626978449882930002584399403755320275129012760\ 7809423801016521271822707934404113392636404986639966044550627919417626154000137\ 3171400578454004806628502972471704218573611813954438983831863889037560489906463\ 88713811299996447536519802550787829158862580*n^6-509188461444376105228516982960\ 7204169680228837232953951573536035148762869197532750614683937554373671788888060\ 9702806437376163128662677904036910790224824002588730777970313081932852428576273\ 7796978700950514558741521986826497429305714181695892989611952759728606523226494\ 2714293220123143055990234240811855367628255060756050961908027691996788412561283\ 09750765979127060906129327329972177178347868250*n^5+654011449461171608012353435\ 0911260436226532247579175300285007731624199611442971541049230468824699866224191\ 2855966395289407000097312071047444911373675737622204660388070504994813787096777\ 8409593982719501693467635977940086335965097630047156348927428421580303206743474\ 4164439812501807496907964093280467722626192434567240231835204767238692053176894\ 799614941378405406844002497677569932880850658667356*n^4-52796318273136014788966\ 8628380374275766414296012793789182332834542291146558465052904957557986779029348\ 8906720830462274341003198369504712014840862702402188752549260282575370911897024\ 0571168942279993649051850005462038591753995478812596417288693515097609033021748\ 5402384985809423081904518663463198946440991043610458523336085922619307299444926\ 14411076035933867333929316421322868691289093277086831293*n^3+251512417817525286\ 7524321002836371980962281257258079457539720003122957558534890669447605012433037\ 2431835922955785773651157630275579466130734240287233939634600622638473270578792\ 9243296968953734882921278018704007833231312636069258234082453234329890705750542\ 3718374085343343910784481695634674860373402995796655468397585999247508525412481\ 31216230893589474854622708253910209324899394642964850594687208*n^2-619159284360\ 8952356382698537088269946158068256708043141429915461892901966300102755477448542\ 0399890608276614651550899610562028517001198638334505974575999378041096409871267\ 5620801951681561532537708010572881046689465094392035771068684040363281803468798\ 6481187888711099534189729423361619166536188280608704881469690733286065187933573\ 15148248093608966940778250359494540627034858897413715259223556663776*n+56518831\ 4139067693287526124969845897553816735633195328297435138829311112539875350894821\ 3414211072277122362278182700406038749514898599113472508548204610624165780131974\ 8826923554551097602359826120290822756186127794713440012753568330821493373378284\ 5512037209742070283076596933374220182472653213309918611506671982267285512379766\ 893177506779211606477697697895154262117437260962228677706425358168745856)/n/(3* n-1)/(3*n-2)/(22619714810005686764587758952817310359336142343008862730411863219\ 3295130217675674112334871005098841922420504487166090365258171984808464528255724\ 7468687727071787294291801753647178201588643300702778353178871193921218827643982\ 2600057461882610708724307232323236746975410091130221307700128783677440850505973\ 2890343205372015206143965019440764669682787448176557155215823490965373028925084\ 1410286*n^6-1318719537156567979175496517196389706762782990435555280552759953655\ 6330888731105254694178313885866315278110276638978043887317214652758173036429895\ 7304128795736779033995098653474225244750146945283003500541710719753557139841795\ 9063532516807891233682056459674916676167777790309910950442955875894209365941894\ 5438770615028596731685563464140281282146994889674234330208520396686795688793723\ 6823351*n^5+3031471989754291445614442056092861384795152653027534991475652768669\ 6836203032713571131669503191365844968416938429091846013343489945334199447384576\ 3318086786451184984771254973686909721068532535481135050309415978832292253152401\ 3708805345711488362233914398902932935106807904235369131893194010985816042293830\ 5184671502353319834053540443494231014540666756516303907163210274718182629333781\ 71565602*n^4-348205111207307407407008389408457220207970633279198943394830955417\ 0333934902856636241036863672957121885824775009561379448975684051112141665436837\ 4989751776310237787179670701412385565638948343100090720537566771367389540581831\ 0910269700138417416574255097008167618132864247260344477497080910313480850641611\ 9580671602938395323008367764238844293549408684235877516215567134262188220121899\ 4689801434*n^3+2067407071885004124362459158813719138837343561847326295706296258\ 1500568908094856082363622268373335732883084204923166011611155982328372333542003\ 2820317806238949898844444539957881492271352495000804132210063360326878300473824\ 9107304527278750152236443554542174350431969891605812922836334431084535715850662\ 0704668758117636671941835371791471874065775393124011246399995685510426528981557\ 5247097700293*n^2-5779760995017654930480921667305370236764097731806091611603950\ 7246245661598331618631399480726391045112063907819832306614763147390310417572621\ 1004808733185986750619206162863262843468994941177790273780927591147898235020887\ 4153283693981455204979340221315000031810336868588263625179142589789839819610650\ 3560574238732041806299475445293959694407782122234252935574789661899373176447600\ 9054629366168522*n+534369885941880372313919321523945560297025757659050201108751\ 7724926802774902491270174332972886020117372133395707860504282659316906733002522\ 9592290297990145871424371886727880002104821461666435904797221420949816103076093\ 4670047676984879277655146196284050241048847184581941263649439336044277762736077\ 7177630087145078801832689361592819220998856347164976852818859052052693438769691\ 00661508606381064)*a(n-18)-7/1572864*(n-17)*(n-18)*(n-19)*(14687418829186275894\ 0026154541327774499460871168651985188993323865793478228917157380596313766094045\ 4824207758009289103909662978566284147536649536369484425993615245427668777062328\ 1969953618960319543379359902624024417046535181529220094377585525192980311051864\ 3073882210588089451055649446938296794070266973096472351522097466877947877898282\ 58748414706674132714165311151684448799944172141277096*n^6-885224483934948515366\ 7998546922710204565249211781862542107086238229870650989187975750978645027835144\ 5710113978166491486595669623125655583224488775060913771009546843165498953248298\ 1102745637431888789368622683562632643516006020263998942376701370576512136016667\ 1853452247404433772987594293944953036994588822283126764716841255131682983502471\ 53813300583350935609134826489506182324307164977819789*n^5+210840515021392196365\ 3233455341321682406131437504642244460470415135342202609192058198991526945102410\ 3748369257688619913297610486518904426725996788994751593845755508642562139183701\ 1241874295688034718622429149559018590079385339575520357172884890092576672809709\ 2195076847082941926586618239341426912855125644767876320206045680105904944399082\ 0106801158714534664965844501300696803272192375153373374*n^4-2531307081854682897\ 4361779502799653768236531404727589451149461179228917296014815746562353578081905\ 4353280501775932406856658416597690867797621525368805994278748902987181433887754\ 5226967293641172547390236046552772354361300043595261731513117205679195091651626\ 8735439002036378056102238541773588118505225624682167250719776713472447863146704\ 7593043763392423558149516897927794507656225285452561393021*n^3+1612872212851664\ 4830179648936605919146562748141829778420823852589970987294436745141951932257867\ 8152005896577772265568760625304856202581771285451958948238862795724926080601601\ 0366643537391341743112538835096052464235139640968329403836333591118094244028126\ 3946018811712519466028400763535131683826016888233526544672619805362044876746326\ 79008152519929704362055637958966641592908055758956488892601816*n^2-517228689633\ 5607381764808542751073146865422046283887216729722790355807098251861217033423724\ 6142757111899548394724788741568513514966087656179233381289588551867319716496012\ 1185860277866905780591629334226254981841813868723538626138578419717189574863389\ 2973449607283812708643486095241813429882626369898214304735153523045772002700876\ 921277598411987672042415499266026365468182991444838128165672607512*n+6559342757\ 1390940630079044736787795243083721743161773248515837693612765942375988721448429\ 9159874940009392162913251769688161121470534719139800287225885120791360125394408\ 8430661606796888828618883063749705386206412107348424296626351269681255862197335\ 9201161568237405942614989020824329048285367168778675467202636632121164137769087\ 50123404217978468672871161609952633867794976943013299770027666108352)/n/(3*n-1) /(3*n-2)/(226197148100056867645877589528173103593361423430088627304118632193295\ 1302176756741123348710050988419224205044871660903652581719848084645282557247468\ 6877270717872942918017536471782015886433007027783531788711939212188276439822600\ 0574618826107087243072323232367469754100911302213077001287836774408505059732890\ 3432053720152061439650194407646696827874481765571552158234909653730289250841410\ 286*n^6-13187195371565679791754965171963897067627829904355552805527599536556330\ 8887311052546941783138858663152781102766389780438873172146527581730364298957304\ 1287957367790339950986534742252447501469452830035005417107197535571398417959063\ 5325168078912336820564596749166761677777903099109504429558758942093659418945438\ 7706150285967316855634641402812821469948896742343302085203966867956887937236823\ 351*n^5+30314719897542914456144420560928613847951526530275349914756527686696836\ 2030327135711316695031913658449684169384290918460133434899453341994473845763318\ 0867864511849847712549736869097210685325354811350503094159788322922531524013708\ 8053457114883622339143989029329351068079042353691318931940109858160422938305184\ 6715023533198340535404434942310145406667565163039071632102747181826293337817156\ 5602*n^4-3482051112073074074070083894084572202079706332791989433948309554170333\ 9349028566362410368636729571218858247750095613794489756840511121416654368374989\ 7517763102377871796707014123855656389483431000907205375667713673895405818310910\ 2697001384174165742550970081676181328642472603444774970809103134808506416119580\ 6716029383953230083677642388442935494086842358775162155671342621882201218994689\ 801434*n^3+20674070718850041243624591588137191388373435618473262957062962581500\ 5689080948560823636222683733357328830842049231660116111559823283723335420032820\ 3178062389498988444445399578814922713524950008041322100633603268783004738249107\ 3045272787501522364435545421743504319698916058129228363344310845357158506620704\ 6687581176366719418353717914718740657753931240112463999956855104265289815575247\ 097700293*n^2-57797609950176549304809216673053702367640977318060916116039507246\ 2456615983316186313994807263910451120639078198323066147631473903104175726211004\ 8087331859867506192061628632628434689949411777902737809275911478982350208874153\ 2836939814552049793402213150000318103368685882636251791425897898398196106503560\ 5742387320418062994754452939596944077821222342529355747896618993731764476009054\ 629366168522*n+5343698859418803723139193215239455602970257576590502011087517724\ 9268027749024912701743329728860201173721333957078605042826593169067330025229592\ 2902979901458714243718867278800021048214616664359047972214209498161030760934670\ 0476769848792776551461962840502410488471845819412636494393360442777627360777177\ 6300871450788018326893615928192209988563471649768528188590520526934387696910066\ 1508606381064)*a(n-19)-7/1572864*(n-18)*(n-19)*(n-20)*(573609888188971564540597\ 7768408092814376843565661944528859113363005940084989988388807068602112985370025\ 2678554967180073386489111876067209544068394965166872914720240650555742963676897\ 9289122963057147850980720948364274119756984329321545969981283952158715156025606\ 3406743695472100727233399090014773476826241731955496521771955029301803436334203\ 176280710692128429772340322461405530211423418580*n^6-32181312936366331133843536\ 9967419936214498186099776545256137632408573184635343343870441579713347141400641\ 2350999748460198313353430580172512975278309189391667068037841904413672607759580\ 6112353837678760583993880517975292780405351629360418985887304181354301199334486\ 6836654667885527130390572883330261205198925201217980968891487467042126578340733\ 279005299207963071264406920311524801107829367147*n^5+73148870909974949457168238\ 9253429072929472156526467580394038213869931383072465836123589674678698763253933\ 4695409184356596890299160316850341199570784256375953244134501380913736606061978\ 1233641354679443942397319636355044686683108979677681169134408338966589763924106\ 1375178235830947810695439951811808457957844416599541078462719655659415591297612\ 1534385221292589368797943774750313708891122122361*n^4-8572232830422069978891248\ 1562957552134629428699746044232685155247667329817552730274096660082836387733229\ 6529748251386384603651420911363401554756107543076373608456634792533997920473702\ 6652669839115203544046321237170640371387385012456328181591929315103483478240859\ 4119602382180502018022691734259062785934712489401825344842676172289631741819082\ 730699673736961299468119158017890616926868511156969*n^3+54330623562287074086713\ 5313623961599231348782768230711893979246590111179066385908408781910492204392572\ 8429852807795085903834419122658781377891116949717963020012500133102721302454771\ 5207399339684812896627936973521535894137258148092358019377877468231813421318330\ 1273073358204555144732263544129658743880437319485162003741892503386558619871003\ 029598269660329255077562017260880217962205271808805027*n^2-17608628810323000990\ 1589114149604921946996504177925660284837972802898400890889550974762221843256074\ 0912099450626459647941421087788429778330711860719097479269788276222728854038690\ 1751027939581039465898769887963251149316756455738927099241090639645887012043581\ 9420784542223561810279183279732194147252410386426056168730710929754926971250831\ 1302771691453171575753205347594567711113367755670405673948*n+229060770697363419\ 4185119099177219460119149803766784563688622932780753520686776021703915973378045\ 9218826227520491471494855350310643048234851692085049572389382048223630494106924\ 5088262752526412364782564532013414685443874978023556092127948648879677836942559\ 0402916490111253111453462955540064778405956892890138220561226586448997256420481\ 173789520378486629265470848376269387394134335168314207345568)/n/(3*n-1)/(3*n-2) /(22619714810005686764587758952817310359336142343008862730411863219329513021767\ 5674112334871005098841922420504487166090365258171984808464528255724746868772707\ 1787294291801753647178201588643300702778353178871193921218827643982260005746188\ 2610708724307232323236746975410091130221307700128783677440850505973289034320537\ 20152061439650194407646696827874481765571552158234909653730289250841410286*n^6-\ 1318719537156567979175496517196389706762782990435555280552759953655633088873110\ 5254694178313885866315278110276638978043887317214652758173036429895730412879573\ 6779033995098653474225244750146945283003500541710719753557139841795906353251680\ 7891233682056459674916676167777790309910950442955875894209365941894543877061502\ 85967316855634641402812821469948896742343302085203966867956887937236823351*n^5+ 3031471989754291445614442056092861384795152653027534991475652768669683620303271\ 3571131669503191365844968416938429091846013343489945334199447384576331808678645\ 1184984771254973686909721068532535481135050309415978832292253152401370880534571\ 1488362233914398902932935106807904235369131893194010985816042293830518467150235\ 331983405354044349423101454066675651630390716321027471818262933378171565602*n^4 -348205111207307407407008389408457220207970633279198943394830955417033393490285\ 6636241036863672957121885824775009561379448975684051112141665436837498975177631\ 0237787179670701412385565638948343100090720537566771367389540581831091026970013\ 8417416574255097008167618132864247260344477497080910313480850641611958067160293\ 83953230083677642388442935494086842358775162155671342621882201218994689801434*n ^3+2067407071885004124362459158813719138837343561847326295706296258150056890809\ 4856082363622268373335732883084204923166011611155982328372333542003282031780623\ 8949898844444539957881492271352495000804132210063360326878300473824910730452727\ 8750152236443554542174350431969891605812922836334431084535715850662070466875811\ 7636671941835371791471874065775393124011246399995685510426528981557524709770029\ 3*n^2-5779760995017654930480921667305370236764097731806091611603950724624566159\ 8331618631399480726391045112063907819832306614763147390310417572621100480873318\ 5986750619206162863262843468994941177790273780927591147898235020887415328369398\ 1455204979340221315000031810336868588263625179142589789839819610650356057423873\ 2041806299475445293959694407782122234252935574789661899373176447600905462936616\ 8522*n+534369885941880372313919321523945560297025757659050201108751772492680277\ 4902491270174332972886020117372133395707860504282659316906733002522959229029799\ 0145871424371886727880002104821461666435904797221420949816103076093467004767698\ 4879277655146196284050241048847184581941263649439336044277762736077717763008714\ 5078801832689361592819220998856347164976852818859052052693438769691006615086063\ 81064)*a(n-20) a(1) = 1, a(2) = 1/2, a(3) = 3/8, a(4) = 9/32, a(5) = 41/128, a(6) = 35/128, a( 7) = 33/128, a(8) = 1917/8192, a(9) = 223/1024, a(10) = 26701/131072, a(11) = 51171/262144, a(12) = 197425/1048576, a(13) = 757097/4194304, a(14) = 5811387/ 33554432, a(15) = 22422239/134217728, a(16) = 86958933/536870912, a(17) = 337656019/2147483648, a(18) = 164044591/1073741824, a(19) = 5108970513/ 34359738368, a(20) = 19922923099/137438953472 Just for kicks, a(1000), equals , 2956328923302958817784740856815296857232516\ 591681129683352185957408187437989588405820741322007917974660547078628882\ 717107284582487535526429383081216490677531598791799763461376314445245909\ 846632143734634414841230498292832739630089231074829028482089075702790471\ 918663298510815396030979874537558011516304753998441477887087592770973621\ 692690160781656706760442280531031145530218831494764680655821853484424443\ 345457067615801290344564013699113257115069009625387956525878870697225167\ 458116543210049121229127529069411981102675443344681954733922064101845653\ / 88035214520354385948697321079548820155766545127733383 / 14351633690928\ / 181552910415014721024800278971276108690005970534210322078267404628923208\ 243578956328373980574557987343284668088987010788191642824141952083164817\ 391248643164035000086097393530005608928615873757935780597701932955798545\ 493414628255058294246363124569770299851118078700702913956192020527746291\ 585168021113623057313200297435600989257362616847062553625339588328228815\ 251016529535161470158485414650824874424552265877722482300505269981647906\ 442611179237761490069369722948709004895010244652078822844422553197965751\ 941043598302429006813614409472985328146929441100102855346352245681720273\ 106393628672 Hence the probability of the first player winning if the goal is to reach, 1000, chips is 1464726658325847743468888910040255448600222293527680297430575280606289701120\ 358776379031771115712017144662926585023155637881744525954174428576245007\ 373223257055112782314038113771754191812099027214298933719941990364753121\ 622976155441652211115790650315393340361696216618096916024030601194364577\ 632889792206056786526141176607247739479777025827344078251773859785339269\ 144278183713416600600322705234383385709515942013131384600675693870187518\ 130735941334357371803341407795643944546545481654933124956420173559732949\ 439607601948537806649790239902002459403837336336144979548605155266743179\ / 4501876039651521362055 / 287032673818563631058208300294420496005579425\ / 522173800119410684206441565348092578464164871579126567479611491159746865\ 693361779740215763832856482839041663296347824972863280700001721947870600\ 112178572317475158715611954038659115970909868292565101165884927262491395\ 405997022361574014058279123840410554925831703360422272461146264005948712\ 019785147252336941251072506791766564576305020330590703229403169708293016\ 497488491045317554449646010105399632958128852223584755229801387394458974\ 180097900204893041576456888451063959315038820871966048580136272288189459\ 70656293858882200205710692704491363440546212787257344 that, in floating point is 0.5102996251 ----------------------- This ends this article that took, 124.583, seconds to produce.