A253974 Recurrence (of order 8): 225*n^2*(2*n - 3)*(4*n - 5)*(4*n - 3)*(5*n - 9)*(5*n - 8)*(5*n - 7)*(5*n - 6)*(5*n - 4)*(5*n - 3)*(5*n - 2)*(5*n - 1)*(8*n - 15)*(8*n - 9)*(8*n - 5)*(8*n - 3)*(48263472204574214241777121299363495464152230375009098098303299998469120*n^55 - 9957003076168890776206361921725135897795915014435995450864393447975109120*n^54 + 1005251614786354885071365585414018345518126837242033262831445395331562565104*n^53 - 66197182915051211154661888865515751101316275116929231630465295361407781344252*n^52 + 3197519443487758283934295818832244443349271683871376959007218776610963657979864*n^51 - 120796995019099161437696591503815631461013991013426696799243903630237015462687945*n^50 + 3716396397304272939658867500971918809032764623320226130626361444554665585555085517*n^49 - 95733357861013770041435232645124950668921365400595240791783016485926956423562389975*n^48 + 2106906634725856622665061178941255280739008298729559417427609479378216955738603145729*n^47 - 40226303830988298146464814188492105579043949327206527382446258496264239440148928067719*n^46 + 674290723140029646179629058094695010150154346974285506657902907651599334790021466130909*n^45 - 10018593327959819300279978325187826681636799283795456190423902225862279083406740250726629*n^44 + 132974694626374186687217573482043131155954810595721898181849336392013844570383632626082389*n^43 - 1586815388571562394706644817079311875098350220083844590153425205758427566120325221034428784*n^42 + 17116369083291875137378260166629392117912635981874304281557482412740286251587045863834258174*n^41 - 167644749394420333687430044935648104974000334070276690376995448739185936354255482814099791764*n^40 + 1496674308502505826714557983729997282927514500398729024408474903637634536991322420552996115964*n^39 - 12219169895789839150282769696770176784248802228406686961578070036879913656123121789747220001344*n^38 + 91483443845436507606323292896428797448624771595320645780468365631652758089589767970279630621424*n^37 - 629594372289948690661335073253826583995175637391602426858699844498532122331487143267904583062484*n^36 + 3990923883062706044887118782083979695581658043127697276660716639681478342745279449576699492817294*n^35 - 23341108886454491129407861098439308187439723044530157871159795280570502989919464142638700621428629*n^34 + 126132035122229326085194446900904309333346932262329107828885304243361275414242298632572948781022561*n^33 - 630516857020182562526501357668883984805210746409736526273739076794072937986427620696714823422552335*n^32 + 2918415951621503777251369051080999980263281744815414694572844520320456908455714413517839156724136761*n^31 - 12516881938428293820399123750270915174378750306132767725579607978352476567491384748828892930753096399*n^30 + 49770932162988186692393168531830906260844909602798594809086162242697384274594311833441668201911614245*n^29 - 183541801112496095345229528052381817991085084925787822707253938325074463179705098816169289456748984789*n^28 + 627829920355482697600162630943588577897646477253406622938946183035328180089082213792369513183897481721*n^27 - 1991982582832872955383663814743238347404737568693796677473428855707620768800282345988995066350056516406*n^26 + 5861041072712586218060124745479182869901665982086472576223802387095878010089219462745701441844395073916*n^25 - 15985938650381789840335968818417595892105275088300451743574202947475823190496424205698871617266443227446*n^24 + 40394372349016035953052800211721827385332952533090867133705140172729112341485934334788634217299612038586*n^23 - 94488942902847487005624718351173271744069436708312754958214137715050203899739151431972105634546708991866*n^22 + 204401472432944041729117012464200451385858443629543725396747771224353444123617844805111598065077971184526*n^21 - 408409384956473461461332092907318143171342625705902571334791305662341568256846301466290459167640121584486*n^20 + 752614924217599110717143449074678797948101511305319813898934927924099164684753983412721162745438524151836*n^19 - 1276883656313646076181154771824342294306134433317610489526322848328691070081856618487244226434809447451756*n^18 + 1990359431209623581660036758046306548776519023113341391860423188948470179314271762301306356885474924569576*n^17 - 2843538879706351582374783125267237908660863134493974639334781960030178813221090711810887301523371535826016*n^16 + 3712801641867035439620674258446253033313319179733711446841969240758502635481788909144484114799543692655936*n^15 - 4415886013312314621515892994162362213155815584327312677060264584512259297653505166205543416960078023522176*n^14 + 4765604221739088464290127699623426636583631366680678603193869367173624727413849933805754806879988462172160*n^13 - 4645292646650473031143397103737013085241050402354834967990461676935784327764495133194561630182485396249088*n^12 + 4067676825845985954579849692813304568262836898139001115945727695058679038659123086863301534944737149593600*n^11 - 3179078466514782851830357452201092915836826214841873785931063208027165570292382847804421687229465358048256*n^10 + 2200252933816342849066228938315655828548854580716294137463213155602284332681111117061789051656779093669888*n^9 - 1335626776528573065051249336199829135645443325090950321423418395985326207906038528397598632010114713460736*n^8 + 702625343329019682574516218229665110737306791257691570703096166347657657964456917188404386030615233331200*n^7 - 315442686975596973400561756901577560557865744121151401283750440399569857999279858235506343327655434649600*n^6 + 118435792216150124876506815273632279988906747052260772363602246236425084833210298612711313149332652032000*n^5 - 36168584048684961431487438390797569711103696426054866295278042820428280897263981191775255515483340800000*n^4 + 8627484032288046828722873537368499758747827014832126082104585884109667061795636827610601502113792000000*n^3 - 1507480049755165165370383286132818188034575143767132672281207468626371073382588502933415455358976000000*n^2 + 171558924806757833443824980275329708239952516124129930851155796067031917673436948187965696245760000000*n - 9540161325804468884368871353099197639069189030316105813668184263609742658591973966538604544000000000)*a(n) = 20*(2*n - 1)*(5*n - 9)*(5*n - 8)*(5*n - 7)*(5*n - 6)*(4200098246399055451898745676253576837179570956524881100269985790257867332968775680*n^67 - 908502898910097254324409792187317427342223940610654775586545181654304121659305492480*n^66 + 96332715887700514121155991731458409056907439924501505041183087663121219208149866643456*n^65 - 6674507266120268002782227099875480601988808229278102017008745712079595412821775660351488*n^64 + 339851981441353278994861955347103661474435921238561740305276084127785102902841156592295936*n^63 - 13560793051106276595358591652018517999290979271902867690294155825173763887560223788257239040*n^62 + 441570899370219360035931060069765319715381023338836997202334263058567706820155942328403452416*n^61 - 12065147032103808131691269650084522759816390196510252416048218829603638326182106737428050159104*n^60 + 282289166518266662165117159159208164966309479824390439038737326341449674641341401316721086158304*n^59 - 5743513771380383797656500245150842456154028296495459273028201662442780124197557251894370941327096*n^58 + 102855158037123728854467479536665543715747355241751439272569785811306132721978141133252938455016056*n^57 - 1636994065041653712867520851699195244981719730514698832731260957597876781927674792397731250558664694*n^56 + 23339002224279872486074629001686339046411397440156176038343025424758360965510508988287132932776097300*n^55 - 300047320045709667412575928162874328070151086126165773572014460756641628025212851366148585215172274189*n^54 + 3497619702494985324651794503788614555154025791900518635502067520425654619725411580917316666249243118577*n^53 - 37142537483599065663237241292764724482741807920089238484307224400544097833917500715240957283824273183124*n^52 + 360772848103527088643383279064650034594171307964301731800565422927484288514996144925427937791666702543200*n^51 - 3216361024337667648078244313931282021182765286228665800808282349426505338361205679695257009479438686899980*n^50 + 26397810872562563186874828491859495663609193589637776699573989905614282730391205498330036773125891072399840*n^49 - 199975123921009433312390825774473309433853077296109944751186832804547482754425263407834585072321512024569040*n^48 + 1401443550039151491480100058384010932507088702732520552108223913198031636450487187612533503406560870843708020*n^47 - 9103889882969942772180256505072371618036907499998481111634761488418353477230108130705761210193739812409625875*n^46 + 54913576805021891788458758480255898562250621731559702312142861840933564123323221586163673619827964201596257193*n^45 - 308024835592727642071805971052315083230742561520953020897553647124988440507374421652434126657919175499082227514*n^44 + 1608828620560071125734690133983572790890130791834328562128481570814310395427335419779044786658593035339217431418*n^43 - 7833181397555322204017661590580170659831919950192908516661583782549820690980627478970584001641493172746330720400*n^42 + 35586549412604466321363314514062313663779881376053544124691373402157194933279612743281179942021090181879352253528*n^41 - 150974049749015691670815475007414896783862578540466592189807616609619362505255080488353641604882122291954720800522*n^40 + 598516563792997010350380125906593606834879685710930002659952008051301599977079082777055972985671149809741007481482*n^39 - 2218397515732040828997459690395990892560576143171284147688721062967873877367720637198586389790723986887723358360673*n^38 + 7690774211759767786404858167359651467618007762956803451090765665570500394570435928873189255301724187316908357134043*n^37 - 24945667794337768335222175858511574188416808054362362069952878987949556184971764288788427024844534308125170135930172*n^36 + 75716760460650158362115124112143939796530079896308923372894319364146378941078953090340691274651483207518215268841780*n^35 - 215075028275719970194161652409573637233064392572990243785282638817598814234292498329966000302343707033171210819165812*n^34 + 571703519140991754510289537538493092233893380567133066200252572678457926846924340304413280114934974461086744982114136*n^33 - 1421900931843333761737648825826674800232556041425357638390053178929708678838661433155171316359505003641846875936643132*n^32 + 3308054978746985189475161165610847702371596428798725389962402884729614365071845053137438361876201542954771297891152760*n^31 - 7196481880216233284855204603224607288605544836518769620736515265993629374260939956738793020653852010175194263196702345*n^30 + 14631937421096793420367764866905989257520099120368591695431848385467301509386851862405300420061865634959301980508523235*n^29 - 27787945175588122246715593395405592276331572477770181752299413785995613484449261705872743370959604125396051673104883010*n^28 + 49257187485979640342310028871086850529092824493833084767474173939124372508927462680069198863805444361098038674661356450*n^27 - 81427417224506536342112552922078415855980387100341920882753859662996918581552336551879771978233169901720632895937812520*n^26 + 125409063164613866532516074906903755570826920889910253541275695414589523596789985405564263038870617774396732481818955576*n^25 - 179741892901698078161553015764179593207594964515607814746950630087932871539247179690375507510192058098483718823555876948*n^24 + 239423544922874463256824875306925812352814746873534490739263338793571929625417146973153389845513149874174526986262575446*n^23 - 295964859876949532295646737135202271219396446883407779223024008085123402641829718231410740143873849694640415608364542710*n^22 + 338956064696446857269656987122242419999426587402327009544122892165918399023480087099574496254567617656263608609825982056*n^21 - 358968968625881987528142625207892304374467038303669638888569507853181334584237470092530868896148741092237454130684624724*n^20 + 350796602842657819999451198133306068731582523414345451706633329533092398255324196982272667708212541683370140381046987664*n^19 - 315568684037555298159677213485856878061416473063140314299943132379454434968254217690837615235078510073574034406275080656*n^18 + 260609703129517280612800913773235764543830676450482414703954891362628115566910229707074300563229431721969451119888786176*n^17 - 196972323864705271170073957279395141581293152679950963618615991021213088313949758742312985797697990610058166683208304384*n^16 + 135772735711010567822607218768433126576236318652720633765832113013183119172218889712437213503078352571264440066950155520*n^15 - 85009766757599982917463215800184746284108599385784633978935379372407585483959038257377685782835202459801408284024589824*n^14 + 48124754188078995114976571449324768725505693481859974613464345331473441986168988921735588771946610025412812803192691712*n^13 - 24501282037706543582164317151215273150858469888630452326572825603370754801261185036800117723418172579741305309652102144*n^12 + 11148481693743392706573856087831419698699018568071293996655924996817934323427948867933717292654224447674963589934039040*n^11 - 4500335275891708779511452437925253384013274940943252523840864971064209321828771802259053387747881067646768997080166400*n^10 + 1597512297155083159523280473809258008642026726723688782351385012950083900019818177095329653940099847860900227356672000*n^9 - 493354593818936632304973567426847974471558857941317072985188960801570867006282829705855092731737459381911092551680000*n^8 + 130805551835622592635476428784824080748028057750861528534908818369094643281640574460041023488275174636230194790400000*n^7 - 29277471224915473577067188522312561887803294315510316867201569119503860463637472542222166910975473179565219840000000*n^6 + 5411439921748362276302862643955021210636384717449838724859746163276019226662272156748551204789038169069486080000000*n^5 - 801520851426251504810128727828651283031023043795526660253094248607887015609653828683446324589261996321996800000000*n^4 + 91095341617310755438994415854876124740571029416039715122608266241954122710391256596800211235033008504832000000000*n^3 - 7420631193202274185873372852470863354852968724677238572065974725100076947177144828752550132476658319360000000000*n^2 + 383011935732991233817288874413794023344207726956685239574565100377110623729931695508140437539258368000000000000*n - 9311689183235279054306984271997218142818258121973975443340482016974773237955396227283108075929600000000000000)*a(n-1) - 96*(2*n - 3)*(2*n - 1)*(19985719952421692095547643601426422281680833418582527843458951411739454741568999915520*n^70 - 4432935696166577332940662115892398852568946007843468763378141481647006529645469616046080*n^69 + 482371550726049811241011143871486694622964361669379636637917888355050046887215374168571904*n^68 - 34325792089006567406046551631625832712756886790706969051624469077667540962907811496195175424*n^67 + 1796588608431212178220655467792003163410725018079440917136482075889688176941693457538323059392*n^66 - 73752936408135995501876517247328619745602940805146179451349619618204150338808839358667536122352*n^65 + 2472991045250259342793234953803684516708996907088411195050449697249261889496135870982871061925544*n^64 - 69645060634095872471843268407678911585947119991344063595316147629019224547643317110742181400242504*n^63 + 1681168430366865837062260451595109023014377637008138561370763789018896481224670100992613869431440610*n^62 - 35325998805755889133753079026475000548857177938292030809403098877642195249683478202233706623189471915*n^61 + 654034476481102884447871100082690228003737885727470066440448464821877936298609291790715708203321320840*n^60 - 10773476986150870953079970277743362947636825147041761482698296994130878784328481439280648135268864870450*n^59 + 159155280566374275307921783388415353421060967442936961258428043060942445647096804344292283414216096092594*n^58 - 2122631341342751647760380086949292168335710683532206092005843101710846235696120603789122462250859930377589*n^57 + 25700458106925040143199456549975774090196475788600292500875467718485890142577747598694775052737423083520302*n^56 - 283846239236526533537342174781253617710659978663133468690361647125960738213570825142321437825326911879281422*n^55 + 2871257623035197294547515119878502635712245652455988229371426352697985072013038585448600794302124755229206324*n^54 - 26695505884865221456380928156305820763615101601858898982076301651043278597326550567545138799219916446299892879*n^53 + 228828878988918058709628136543565008579330417402584339666868528376573856940417787622908570253185090335095294000*n^52 - 1813220396036939770204424460432341188821833970832958745634413209373048295453409918639131431729510625365399106590*n^51 + 13312918014337694388370071472147679626515785239971388491523450534744653925233208579493420869360191330606236708820*n^50 - 90754848810868254077603178518000415319627741887787799128859089476945519311921232754133251068497311350938568681425*n^49 + 575469829060702916262009369273308085760179875126575464784863253952430522999515598897403224615599265933834807327322*n^48 - 3399522279101275359443051402560320643113137594820937085832961562128438433782471392393010920790191704620051287446682*n^47 + 18735153411196363473842054662046070433489200389815553995017420014553537261518239071829512726592703411395518159832516*n^46 - 96441918612645352105017479323954123622178453406285358680109293201300948630481064708025991899060903734832421260924121*n^45 + 464194446535625999100757322285646985136502936471248198493336673160741709868647524403116532722611381812322455478860632*n^44 - 2090994957908675525612535929598627125443187249106110284556218097935911841254800491590663374697223693263375042470846262*n^43 + 8821868725911088215154817649168691023326330002516335365520103917474538004363076382303465013939317106304004794418035020*n^42 - 34882267160470161270881698718228922161706033517504291306692250451390825406735204145962049823150593902583520640372524735*n^41 + 129335283263457175050568175780286467004128052313626629644678811821064831818203640745888623014700852800440751800947269630*n^40 - 449864522866924844231531963865605643772207376728635614306183342398992964713377672860429135750052200150765212182432294610*n^39 + 1468377824463493545530302010200987328750750962340535648656887747455960872891037319327169479868503897519980998170455640692*n^38 - 4498633280793890942625934390339308749919759503004199659833151766373554386072857047996293249298561919662533803350396291077*n^37 + 12937879282607786990834427027395509600159055360787986322362937332698730919474846030949294603492662069184763326004116851696*n^36 - 34929859242641851794557372730252149449854001456432567789694099460063391917148607968566511307943297260436357722165292714306*n^35 + 88522204758052386492712341474096376939545937781570692442814455272213995592546813138029913246034448661524671604766062753972*n^34 - 210551615811119260993642810969287895502861709731112426499281833822018564314564890665324987873776725076754396590057280063787*n^33 + 469898194159497973457896157238700739093378921763309927085490527550840041168803548114063549096047948393114627417314186552390*n^32 - 983633842068222576958575794454391994496219410542136313727529549910312290995832497148996388544402697322576441395621312091710*n^31 + 1930411425626109317706513988239869839712973569040215168745171334459213190981771106852590591374869034472256482347626837547810*n^30 - 3549851925928382682277963816693534044109576673235897899963816953312266269815150989705104463969344797836269005527315065906520*n^29 + 6112580771175976035936990642572912305186949373913638283372207838547546327557660710783836159091164898937341848940269680643424*n^28 - 9848119199795678727326594415944520794429111438335898294644576116046007472464358387752255399809399417436717238245283562879544*n^27 + 14832131894098797034256828821691213360053215075980852210016128222752710886352344184040293965250776856928156978598051409733242*n^26 - 20860552239899700415701763777118410098111664218265072292808337506004460082900278824412584384571588940746553666660109150203552*n^25 + 27365831157151006846855313853942299334976191034876779956895644409025098809761759032940413251169972960940220539997751552547724*n^24 - 33440553224214649739925144534071480203552351930073379261783655972676396990232240888604356618169815253649112774121870094120384*n^23 + 38007339293509698883640239069616399130614018350995340374775069453854774834595617753818432380108255522457090499349305050525520*n^22 - 40110277981867546850766686779533097063413177777726689353274463943565203292772052677782704536078776269140700606796514719010000*n^21 + 39229341709617447268583238391712842644513931118337936183512564125659663985963815758229256062663539402320885566969235649995680*n^20 - 35481553291520732188827866936133507185416598394472056334276882135041135160185881673138535281883161307097365398746916989163840*n^19 + 29606113268721755241106332213716573313213442839598038811562614358856907604446880998630415364435180633953214072706723363572864*n^18 - 22728066857492017403267361864395160340925632522660150548600544032541787324712800451494805436343531429242540491376164795177984*n^17 + 16003083427807219971361603354146637704560387340472584146538759517232660372202593694718723912749804472812687696270954432049152*n^16 - 10298600809488941954102054604932244149045717223084178942752600935422439520062088300297734636573877192513283249492221661980672*n^15 + 6033106698957137701820511243812787109400750205917217280144758742244256423679835352882938032787770038689896264285485814063104*n^14 - 3202468603106371465199692304794384686123494960746324455426593577459878377752903032547502543618803996818022548719838579625984*n^13 + 1532090064309216939956193643601133272843328683491157547384318253792027477603028534143852953428637374879741433886993050869760*n^12 - 656478860670740550075339259539147485868889568729406136668550673979243627227628132668047114607155951012740246481198309785600*n^11 + 250081919646922264059819303170663621162970747212385451898726078064791280319959715338228784471247514554312553293621071872000*n^10 - 83950801534812469855332587372979673866238614861117141330532521226372300707188983694116842862989606285184836204992839680000*n^9 + 24568298052194159295467190742697354871159067560242837062480081303423665250766203225606971658919937509373363396683366400000*n^8 - 6185014522446386768834159598076189708638437615890557334836646456277526601591306397374758989356315923765523402702848000000*n^7 + 1316942312255340734610003962716431511064362013893324267650001607478305493253503645770070613824106239097455207383040000000*n^6 - 231963026661260498599279523085752996439490463825310315844182497222963525412795444470996601369674220331045119590400000000*n^5 + 32790356891935578058445670830165339321082877592558261479073149627225853554466915578331291470890210508389482496000000000*n^4 - 3560780361659390160221110812361457286651779482407029704088249923936420807437887218302060906046075859423723520000000000*n^3 + 277290837315164536652203288200820485052361763039764184719116497994225059482344466184702170981622012051456000000000000*n^2 - 13674673010625999609669637321214135933305580678398332815225318353326610513336945852626657474238926028800000000000000*n + 316823906718142078416213692750060831757373889817190532467548165918872290970394142174686718973706240000000000000000)*a(n-2) + 16*(n - 2)*(2*n - 5)*(2*n - 3)*(2*n - 1)*(2172361046139267101478849312627243699152317393810843617926198947639207115087900442455040*n^68 - 474237613190469854173582820459013304346452849675207114621004898157756920252836751914795520*n^67 + 50764569527815841688060862378325986362465157134558554601368735007884184928333764522920562288*n^66 - 3551800171850708905742945667316283358270431818020219745028247374576303128249940316838125154236*n^65 + 182680429196977151592735583335175736426166008574694366777855664857038250807482828577887213558604*n^64 - 7365398385798365905574163949795499111175010475016301343699793158294369875382598249352786697020961*n^63 + 242416599098339608313463847823795463972266100082497706985063526337273661395826955875727076171568560*n^62 - 6697198055348150114761178283867286468687149447943018061093411122798824275408299940998625860388392863*n^61 + 158492061743360182039250735313254270371913517614436086218924701785068054586256425905917075652332570582*n^60 - 3262905564812644164235486704499870616685742198480579280615023491642015272332609044326492351976505651743*n^59 + 59147186064317070027558284910058320770080165553147114698939165540283532408338387131136045387507904172296*n^58 - 953259473369525761995428175161354655528740786990694250771741314225552600025624214844247827205732536456351*n^57 + 13768438666422001087699554696406015344238614886036035838869723302391146558910805491633785659801310959805364*n^56 - 179399323696942305810288376369982814075006267307559636692296341187052976092501624223067804878596227692393931*n^55 + 2120463477849360215074285285033690495036610935526397741538781258371723073762587793663030200740023224190456766*n^54 - 22843577975888232937375491257048261887033244782209522367256019979138961178717206170003882568386212957857031435*n^53 + 225204486315482060958439704246020595748195974644554995934920570349386774765575944960348001900781707216994518700*n^52 - 2038846222807959625809620096567399523211317876352927670500143825477311269976448033303754782734555550539981815755*n^51 + 17001999482487856799888388812243224543183000338421569840753819722177539489868871545350705994823961586851081893690*n^50 - 130938388021065913291775030424199364602964575579480307971091893277517841314015519423013435033291762201767015496995*n^49 + 933433256167889401890810162293068988675850475379965953649365946596843561565984575781965129974762250168933746961000*n^48 - 6171927860969725608691014392572369607988215544841362053351472864508118287105920518207284964146028880073618263362505*n^47 + 37917684864033881201365763949333480544802375874609925087568977460066827254396557959643673857034366663030665708489374*n^46 - 216776079809408357130018644401345731788122803153171516228035307555620543638691826560937087776318998189054610176360013*n^45 + 1154804134233923281737597187209986441549693041259491519172412417104430182084500448305398666220229364966755109958451632*n^44 - 5738970455857071968866817380008928783882943623312278229372673864317559020718450600097773048960995534873412735296521213*n^43 + 26632945721930079916776645790967616431388472521046611775701297424642910297896701924719530012138179921932418011991234090*n^42 - 115512874578811171109899777627370506118927041077885612475381070866442446602804873467140513648298880268298621014442057949*n^41 + 468569920364422971195171541890755456176629857778669833405718163995084673785960593297260643110510327829265120890997989136*n^40 - 1778699322751615285433806675734534571187796229301425213360212468900768500808885170062374463048635806114837000085199677489*n^39 + 6321407160562763535040780488665261227073078652084468563925256250960121708897729976623070042438967172017478108024248873178*n^38 - 21040560344531414613065880870637239943007085079037395711620537462513129971336012206222725828133716566130789798628928151513*n^37 + 65604648158509097389737545405146732628382560986063506448460883449116727424451271699800883786981615418852226560497281171332*n^36 - 191646474339364331733399833103492558366193972382480518995859672833349370315409958281005108665344924703421045412984150907353*n^35 + 524524469720918728468289788715880640809405057235099789809040334361391867856628518476114096420644871194885680046449975061198*n^34 - 1344913258356065407722985591583333544084852009641990091161956095585901237583885120066073723681986049169553592796031926566885*n^33 + 3230029297410166676835447055985532348043346848376139801759964709052407855109262281082850825557699872632112630163137113417820*n^32 - 7264021348739691279295933328132547024781316692458368673158664452495364608026044927735518223526875907536713159753686710110370*n^31 + 15290964464686324294895152113859842944719787154201493945229076343940800339247788479245274475299001121739382883180018877394410*n^30 - 30113477197958721170095742986482909323573099929506085961980539401585991649508096085777328822381312688617006387018458815219280*n^29 + 55448135510722341124798375762894024581094343377503217123366277204583995246697871515233332008791362650519977630169925184788810*n^28 - 95387819356889980391336222578114695863632761551785102584815018928847854952889025810250616705125388302392074548318129673744000*n^27 + 153180624581024650029045902909264320582873584181878083206960424133113536385597762549513139056755561227485638279412710302436438*n^26 - 229396086271749805342042930827823947687413394771346113187672672448669065405151490362015101004183431755415867003074228323755776*n^25 + 319994432113804931254164305554736445687668231077129547971654278147044852913013348785546400351635456757121233311942682791752364*n^24 - 415247656304321647182639486316117535597383602930296507510698073926487516231411006263598672724163978424679572035626152513585976*n^23 + 500539996363516943813610484404723089569070547235548487485585987633502212310365895736236311700598973943291333796774770258513200*n^22 - 559515285911400384816485317904768725587122071457440651827717608232794930745451475742625492467576292190056359535715803739933088*n^21 + 578905835961341451546863092132570923359147070023342006525989055337605713525238035433295254561518314029198180904662748422773632*n^20 - 553225971599544516128480587404572630576968808475130491912070287013577338704865140916551989230236616736863715672849404640775168*n^19 + 487137892382479319874461105614340553478616125023118589563634940951847840624164681685191806969490375374646268946387785734245376*n^18 - 394161827451401342581620895350353169571460426062501540124872808696565351960869432662930358799486282044535626355615725445313536*n^17 + 292166056518713462209627398622220938532111292290278123488704803989064993969969518696542451725616829435614896226118988588411904*n^16 - 197692489437805415418747183040924764995467646756970471658456263982057528532313914070896576156968085906502394596786973699823616*n^15 + 121620703948784773650169120203707486026732998940939579027906816026995224166308576985094580000806416692755613157053607178203136*n^14 - 67712463626291013697972749990307734008748910639618158615258345110338872656570996240300449285764993175036908377216936717230080*n^13 + 33934262839905292164932949927231322195528993548244440628512857625048029045665513796194855724831023635785051145617055328174080*n^12 - 15211943873395125240190191828976670935331938260492455998574393636291184641975977901094071890821850139332649845545149875814400*n^11 + 6054478005990388219227636254343288419232154708063557270301358081409846952093087838823311130137995376411230639677608656896000*n^10 - 2120532849897349667185900195078797889082896685508519512827499108070157212578131034288715793895213078221443742105482362880000*n^9 + 646521229750933373286218595433708932325908678108779779589473862941598181544045906494344255744460469932134357643342643200000*n^8 - 169298702855658471552715140224095329333121108154148528092177238981450293759438744928185857602904818985093394605277184000000*n^7 + 37432070376228361510250002593779508319473338077252916159212394436582046499430642816638898932404288335031573826764800000000*n^6 - 6833450349467007595376066710292713748387166830968442334468145731595371388544117030669363030849400899677305647923200000000*n^5 + 999038073080300111602281677377958596319215221018482277487426945673428914863978595064670670994393926332024094720000000000*n^4 - 111919885740826644888861272408551485473664433259682059263194626351907237955891638862929142081143182969033195520000000000*n^3 + 8963733896839475661525125619289349065476629629301449697489226898702597124061754578667658217226355377333862400000000000*n^2 - 452800716177337790512531027163127148515006679764538244122182983461859839673905059152605492063505523671040000000000000*n + 10682588397533941425727860498817667191031326749295461503549167239594734930519350059350737130631462912000000000000000)*a(n-3) - 768*(n - 3)*(n - 2)*(2*n - 7)*(2*n - 5)*(2*n - 3)*(2*n - 1)*(434698346174868096950242438809133599258692906717137454133556798717765388997948323235840*n^66 - 92506048595224192159462199575965537650079659887205038780934519019724473650759037804748800*n^65 + 9646001591522102737002059107844602663853850309137113796549205244721705478379500393921563808*n^64 - 656951123019441987174734933706323336019850719106526865931742463362367700630063429053236873976*n^63 + 32866284725852856445768356239810209903389456333518589525821521905058426150486212296749165674268*n^62 - 1287939133026810301051671571477687636415935092477843508229106247418811045969778143616352193613630*n^61 + 41167860335725463622202648252172957428748758310748306844199201688725752861629870916726001339911339*n^60 - 1103650843789974521217899921073738846587222498290614782199070158222609545244343260318492463379785033*n^59 + 25323481556559322951222508896248154470657397969692091901116004224364693379517285353506669601313693859*n^58 - 505034348974955809128547535761190966882848638252945620005475551659911926796017196383885400817538786185*n^57 + 8860578816422300253985074135577994269776610607766924587530098294534129281122967505564115476149436756518*n^56 - 138085839098126079707877095069243748409855866969740309287365728122635583239339898686565958285115020070656*n^55 + 1926716692885941226786221985761368942660468759890993507318709608984963520293408621082169302021061612689318*n^54 - 24228155275605932244699696810514584679044604491520537816896603224930684199314972570154767600432565011523950*n^53 + 276091701096954974661354956300658184216440495918610976811853562670929969834945585555703922359478023519041795*n^52 - 2864514278160997099864250649498718583422850903628883542284550643717817951714834965053973411239614358095454305*n^51 + 27167732981939585222072683302919776887793411823061678953772382552418898892523446883257995653299148304770923515*n^50 - 236351623160312630255117445062051304313707006565222591535687758310807372465431256898602848987670869120918136975*n^49 + 1891743758383973287368610033070210644916574684541057640573662802725090241519877182745686617348125170164935901760*n^48 - 13966550742867191914972642391382595972534749506953372845820675396222769120746406295604132304787065666791172813270*n^47 + 95327278057487348155507462744212884658488025297677169163573650478236035684631660327246167088607672990174498012580*n^46 - 602694913361944812187399188081916041459615972790617989699557884154697496614542893166563750777055693586651089865000*n^45 + 3535657793691590666888692239038945866530499749044410343509491258295888528868634261074605398449099480503193595804339*n^44 - 19274234772465325341604604432345776467032179497631865389962687437507268500355010093522581642776039669778260909788533*n^43 + 97762534537869388642902135815703642664669974974382484657218733541524148279958436071392322427078322135406975141416619*n^42 - 461882207512829619145337266539535814271411580217969528302863259556338448306275887399678298682292372900377359633883715*n^41 + 2034494692114953002796725311213160386516468484675844768326261966369729478087948217231080752857134967224091268334699322*n^40 - 8361521184472889599096312759620193078372947015452037429528053183384145382605270255584073818810151500892401274916219484*n^39 + 32084316704539845949637012412673942247468566424203284394737548259539528137784320236550081515937667724612085864510570582*n^38 - 114999708789461903746808215525075548739487586307129150146154550272044362359241076490105572768760710604416030938699936830*n^37 + 385176827177181033952009079419920614353386062027968512833188533999422116560062910507803322880890601645563292129169453509*n^36 - 1205851182702612835915039209975094415852352585342170045344193702816265786011674124089070619926943702126691250923391562703*n^35 + 3529047323359504892460045635051643069058468373885156155509390333818036750727554484639367428445840209316515740239940899309*n^34 - 9655216198526948515764277962044416314456963103823532172187793275320020671563528334495646184249273126564601243130640141225*n^33 + 24692717682254294778018647119763387138163412765655615998614801493225968221640233356717699996229978002230514088453269120900*n^32 - 59018868622697151378558950098854621705723635697256111492657248096978909067402747472342528390944897650977586124204731891070*n^31 + 131792696583918283211137006044450580722312366409714936232529735637620367760509570746596410603773512599547606602895856607060*n^30 - 274842116389128455790571345885095162063059867348525768450051440628810686114349956562854530763904442220122564458234933983150*n^29 + 534967928351048715969511511507481149028507769591318182698465815272811537920590634781069093829526209687056336989771809077690*n^28 - 971251352127652166732987731532454938453062392088814523249778851770461309797297399093073971674085213200956601771565801798130*n^27 + 1643405970845000060489496529088924091527994580806593168422335432586404938217818182542612983008311421777089726107612407455530*n^26 - 2589147072532434686403427757714510187739803822458100102058896839784956113828045622533836051536504746066608414890138378452700*n^25 + 3793948631060596224896032322374236457383728605296415315252898265926664766712250828692297893798470229709620372717543285758428*n^24 - 5164196154954047266379293050274054399396300176254662063733319185649929682343909516049401916938086896899168399821203577649016*n^23 + 6520292514152451472952408925406208091929012757015837098816950828947207178649253660106275357327178517631185570526563305868688*n^22 - 7623874876304572659910659116610184592875240880780280519227200359730649404849071435886421276065677230600162338120668386685280*n^21 + 8239958414190000578412795250715749096157702081166372544569143777308388356283994750884248619392294101760115200312778661761664*n^20 - 8214936518240015765315695962034901416038575342308759038815652727914132204155194349922150520776990117964431916536072254635008*n^19 + 7536701109335071351662318014955367414763959440609519708888030870842745036319028475343497061037395056950049659836454617680384*n^18 - 6345780124106245769255135186985452206272048086807688544182856442620594978773910965505513683893631797928200247417372200847360*n^17 + 4888582313552519227620363842518244075561769345399120973284172977626189296852836629551382843145238976218594387939870429314048*n^16 - 3433632825714360822155560797810964366533287681814580050640452751239226713917890547369027583943048795057011823377298114492416*n^15 + 2190045783983512102519368703573057060632866229462411747769209726705640662281599978118139806442746790087467517017319009128448*n^14 - 1262608229408599528138315421069063620344065133987957734762129104198624688088490311150377817734614643893964828611644477235200*n^13 + 654428927198262564320925091757430558400230630855977814544359310378269380457540025914363102216566737031645798826354496634880*n^12 - 303037208475437087503461937627937390810925611066267207220575414070345002140474781546646632478986442212925252932193764966400*n^11 + 124430444818864677394247496804582189139523788003919501946434422103388764434210125174833029192045680518284278653118726144000*n^10 - 44902195912463373149971149824227171047136657370806240419845489149621103760668858989804876370148383818508147085561692160000*n^9 + 14085972132633567144920604083978780891666740597019702814411288091961433189971490333723838724090500919675815151743795200000*n^8 - 3789774969059027264882874024891746960205701501049933461633395456989836561464965019761037461443938939615321626181632000000*n^7 + 859581298317287192094619175697423910133270630529869502451843771528587217682554988948672685729357151583063821516800000000*n^6 - 160705562997653916223504157147388659002589297516841946665079543394267846599918884778893978054399625888214050406400000000*n^5 + 24015895883413565346813277845658743518391301524216339201328803428057478098008433644295223862302635851878236160000000000*n^4 - 2744139645924034026615131858441840964804118547521775187988414972491298200932298582732755577931187585065943040000000000*n^3 + 223585800219159052289581178397453751448524510354012409629856246401123640037405901064858521173170514925977600000000000*n^2 - 11452310823010366013171037646087065991602254857680816368434842409958814264064407448228475870064830054400000000000000*n + 272708465237586157760182564720341938749539685256797068918000388758616293194678871997223080971730944000000000000000)*a(n-4) + 32768*(n - 4)*(n - 3)*(n - 2)*(2*n - 9)*(2*n - 7)*(2*n - 5)*(2*n - 3)*(2*n - 1)*(51588795085796789836595584719392081672347441359337113903153457266351915545995011809280*n^64 - 10591445530912026316844007806928823759528521211745334633256473307698124090075191068160000*n^63 + 1064587172941655346162181351209454970101725836719942323036813485196187756672093457351965056*n^62 - 69829361792866301615411591863037406555074539810562456092525026069262142739817853619026621664*n^61 + 3361552670048893259525915474920574325840970488514373737887281112100875493999608432189790346384*n^60 - 126640487984093378461716816105163876815861431483574106366083790635041830286696177420849988185052*n^59 + 3887918208057950967632347487398217689213448716467353858039794757629389806823454785823145753400624*n^58 - 100012741657085237748804339963846263975786791922243516981680002406626303243282533462918262523681359*n^57 + 2199804795832025011757287770725487802642860124773613507867469273315725533297455933853077163380334879*n^56 - 42012601651405295988259952864100382939876031510638714037456040650700492573748277988108933195282059376*n^55 + 705127239372542870802165579821835869873946824374649371639208484837629762785720986748923261467846352123*n^54 - 10501164771723882770144227566127140616706124567262314468030512121820581522859376361134342563727378962650*n^53 + 139865966756457523433945391700180241895625401088305515344341136906976217150785558937439113620493859635030*n^52 - 1676985813533893286829709648796839696991066376352988751696132686025749915099621339090209941009000161366625*n^51 + 18200006946538821627527358772505517106167598640630484820528222274074035042634136449086832287531260372075625*n^50 - 179621040402740500090881680482864755045914609054336289902752239051651406237348479447905325647367247021536195*n^49 + 1618490632137869156465595518557876315989330846191342169154219262461813766370399157193443576916928971809604145*n^48 - 13360149450051324865109893357776364210159435608538232581950193663115173889064893586901862963786275980177645150*n^47 + 101330031116757725172580069798765669475323962465615807660813534581047132495245426317478713326842044058494807310*n^46 - 707939539210010840573172996808582659525221603993277494147776733108205436773141447402977209996378404605786656230*n^45 + 4566074691385741764909735892940733795282308190447850038545930752251105910337953231378802986069940987904866312520*n^44 - 27240074649090462222422269374427020549869147321989500910827812924600970281553504802810574621876264439051057514395*n^43 + 150559865441359553063634178091643931252947134364090746676158277287816478166607501145278576638523761649964597825863*n^42 - 772081869155859435656324221912232108825763827046389448885523362681063306765575343312682936070658877439446130074407*n^41 + 3677892373634357691108203705221558044348384640284691411846605296105607185265569296578333701395268568071095946714217*n^40 - 16291599771135098148953459815274550858866044202204684444963941105687924127629005794692715568044623434291531229052676*n^39 + 67163163758161391230318269241497200733286141574350186296162300481211450441863747680762048105028505944454116213522542*n^38 - 257873442906898662569735125703292216342693041192745456296248146661062526456319318298226709835722499556729543578646812*n^37 + 922638856022821748626064696881174643549245598152158923071962087812183848657612941168361637993427411845820150382589922*n^36 - 3077427934765254830452821188736297390439013644660435208908968871658485012178317197269621865940627277087814736918400223*n^35 + 9571918289260089273623484748077656241862718053206639891976935779972984046323160525981084497943708848167643447910339879*n^34 - 27767287269353196436411817882243223691254006278213601692104243592720803516435076588112098718732805098722548283565611085*n^33 + 75128651622685944716018512824652719459542709455925477374468611476035562122410876437006777546357322829779886229638967375*n^32 - 189572888919129524484747899467076332464427709925388359095051918904732687824999995274628287541954109044394289191414457550*n^31 + 446018397841274117062623541708393937437820896856287748930521216222914223088637134035734641155610060447949372488435758350*n^30 - 978112229518476589657859055979273809721682483307791417601235820523754583782730615510546436901455661901083071507393052830*n^29 + 1998399405169095366111546899947594027521912999170871111918031488989033254285695543248947369077800491890531398602498156380*n^28 - 3801674265894102306672578867029640815281824351122556718929472542198370295488279487666647118642619147483795149825912982625*n^27 + 6728965127703888524588037193221362325157253450544326535863032984306604496088648678198546461697715525088492247853896883865*n^26 - 11071876545362071195365488012104097969724203141344102502979675660114910497254932372090654805550155204519892085288039999770*n^25 + 16917858411105597474802973746660431206346208033424809210330023469539621251483064837506728427790400543155396184333215738200*n^24 - 23977275025863431222884180913185324858404569653135067714964105002475681492962894720037611987655803875336482367317635383680*n^23 + 31476366582837887725915466458128825098935250919241638925146016597818273521740188642353127258694836350140711779444340413531*n^22 - 38213138232463511965629530539221734606434617396458161329357592980099361662721744147241709438301944934000365868796684446854*n^21 + 42825298146655871699868411247109076299827573964542429392140973776200565531076607528839856460127792621571016758975910646324*n^20 - 44213535376810234180276391752724318926442534571508315177251864508974744237877804918422201046944757248219601042276500182472*n^19 + 41952864083417932500642139928555350084194589410943455959780525114485100706882144940985570285138635187766646572341278128384*n^18 - 36489066756272929691457560778317645180114404045606842458078120109965949581978709131689559265366733817052655954159227141504*n^17 + 29002711614131230864428984267162611422869341590378197711385054951237257338533223454047425552046896536708935756305542042624*n^16 - 20993172268714781011408929753778494799230880439642397217639780558231208815517977038006727149887275425340060910949703954176*n^15 + 13783008706731704273846806644991352262825008006150600566057673296068440329693925947315079264966874551407971737303016622848*n^14 - 8170122861491806252870824529965173654886190183950361051138340373794486170330758925497109842261848292684937496372188208640*n^13 + 4349056191313642078725362249796389629231941956071377307070325463817340853282929707460659224844684983640847757875391902720*n^12 - 2065861429855948951310964553050655247438575674146128564939203874460635392702324086973506638073116545517795024746982656000*n^11 + 869153352592323995998584412538760185019424084497558075742755587089970755505152570370050100169239937778423185479291904000*n^10 - 320980948289661666336415212670910734054589248138728522006283566350437830960319530408709198845033590149451072519055360000*n^9 + 102919064770184625771642273286802003549352743426867373623630730744631919060406333726159601418770647033358229096755200000*n^8 - 28264655313581549165817261140478620117166269569736487583656367428086980257039554885463758556190974324951210835968000000*n^7 + 6534595321709263514570696511936284190572144209982093471503646328854912137555678160735672621647235087070641971200000000*n^6 - 1243323685802116909139352313842092627793767987691451347060475864550389255001792786948419663865170714071058022400000000*n^5 + 188760242939260973034218184558166434838388518677793708384893626295267237333051133308623973347158846610006016000000000*n^4 - 21867291813493084390305127585789530263622571884422221370856190896100594997714112843535264779054170731806720000000000*n^3 + 1801985876668369251559248404247744060585176213962224888867159484665531551099836611658310865507379288473600000000000*n^2 - 93061194959122749075222141708761736378384476116061427244841490812787314575519184481355316575112724480000000000000*n + 2224531876663921258975706057850390238311899916013754843174493860189457040458454954126539000938496000000000000000)*a(n-5) - 786432000*(n - 5)*(n - 4)*(n - 3)*(n - 2)*(2*n - 11)^2*(2*n - 9)*(2*n - 7)*(2*n - 5)*(2*n - 3)*(2*n - 1)*(2616684628723706456781557719695151177867415785293294780696311079935711487936660480*n^61 - 497968571804149864766234683500012892333522190557118635040330070497360738018304652800*n^60 + 46332281996372011816911742185033716376417714683602477176173982260087164737178604225616*n^59 - 2809249104189860383095564662214473162039150206205916753949922685330515057258561580296884*n^58 + 124831437034764395959343006269863831328414459412562638448512329970775459519888345554720628*n^57 - 4334690786628877851950216717360710493885083706946789236448699446903832005053077646193205083*n^56 + 122478674129909639212373844984056891262169577840027751612008007850342794119214737638029879846*n^55 - 2895333887537006849887141380293135003570963128820250082581094738570079247568437800928517049316*n^54 + 58432508122099429028085964122151698907545579207798704328729579697332044105417396953231895467198*n^53 - 1022322933231533302619032634323777294408485738319869652174329929365753562402345671844969447349555*n^52 + 15693080293524372902718127130622277245089048166523734086184345611820184057650951742822914886422520*n^51 - 213395986391430191764552134498488980330427443026200448033136330496303062023782723731441681064064200*n^50 + 2590749776963855149996528277461804378954630259660463546017352341284394998008208060505125055881238640*n^49 - 28264639815880317830821201033429723841858847759904994460779598385501552312621888844858293913650085055*n^48 + 278612349027786100859664818788375111932353517425687471816390402960856201891776542880222564402070576040*n^47 - 2492823317853098675986322247743612071643894757743469782584246331301845293089803831745757545637293005070*n^46 + 20324309920552359770733243778871030808813938063961432256026529055005958793069567745805180699312842626760*n^45 - 151505203726060365763801722347391456708308917956061033945976128701912589852490747206796206539037386815885*n^44 + 1035561652807469891476887888494568984369424469833811060877693928386220251677295360296731670793263451277080*n^43 - 6506330942384924295624254213240479051223266021809016515730774735548184876202035653177059521862183857547100*n^42 + 37655935780466813734320443105244415209599948025378244811551617727490826320096529073576587830068744542373720*n^41 - 201123472153835474024299111345493627599875798847891556981366705027609750065921533007893004249119465225912475*n^40 + 992896827292479392083807659671521872418104548270081635355869617928018997702214797730553766540819795682457468*n^39 - 4536649317259260746712364340059553786152237458169453117657864237127155333187153117708742816379027528297654522*n^38 + 19206199528699140995940264508052916359162568714351553546930732169095646984177284457678799723418888050992160684*n^37 - 75409164742936408643100376278450322260857585902214021861514904574925895853105963070955786590280207623971292429*n^36 + 274793895075021483099927214817765581779094893846356824937052382113656750586459861533586779256959689453546694888*n^35 - 929911748190385961690569889947802163405917188195282322360071562484637116826346528885400397774637934169466110608*n^34 + 2923554849658974033403455187537619390604089391421239281932598165658521621206057192025078031965949911809481114384*n^33 - 8541487265029547675396553597561996828567417778350271577594607551722705956884835776036434677083529279198533066905*n^32 + 23193335842261452167319093680218360569390681119615901472286713154575677594875871164525647975483286601100225549560*n^31 - 58531984424407688608179283641881522300555027930350741459907949852652787168375400928744760811395325734912449770450*n^30 + 137263486995588675025799289608290826580930832715734826413169641430051449964268689863868379973656860116673247806360*n^29 - 299032411503027985565267698065244259930069962964055449207423526664423170250218380192946188552739167939697002243595*n^28 + 604908698555996580219754707745187024106899646708308891921217766556436866493643450401909360380088250889363326257560*n^27 - 1135564543988798762213036529420394713796998086793633074023511325587843138636489098023857032733390107092328940180680*n^26 + 1976781787897524584445409965478447286019010326106517266293481377507330273142300673257823881397285664488042234127540*n^25 - 3188112247007251922502969340921842303757367940768095594830593913196562097009646444574166531470771928466316781135890*n^24 + 4758423848233561693453137109020508063015760199922698019033489065963901592107827186105523273656184633386379054348670*n^23 - 6564344698252927457790452746570469929704349218596668509151569679085696532145489894910793396679207014371181395733250*n^22 + 8357417880703688003199460056757252342289814685802989874110256528806473131516028514740008163551627184643079799778550*n^21 - 9803004409617106116135993319777870079476034456451180438598892210877806920005904954779352235883097014044423184112200*n^20 + 10572916679285815649266554417317379935351193014765527898498712594644255237812108822780864436862489371412216458891616*n^19 - 10461524702744190740850114723016730781783715986436613789344406732260899153132218319828176714369353582783369873910544*n^18 + 9471781717921675257748878165529859244345273613850648681854785632594195747746497972726295049170662176580882477204288*n^17 - 7823669935800516837086459337942224702574760053716725688421709959007942699979819836975597217596105721186527421839488*n^16 + 5875474100450125360858193631999175099456168987530369823970500902907786939077223803387424544633440017245434135209216*n^15 - 3995865237720040640877061751418721515213143137788783685516780629485342621569012342313918571238440238505351613989376*n^14 + 2449749617846860103463484590930423500784981590866790896030474896983928410117162497439716896408605158977715660512768*n^13 - 1346634997662374440470056028318159918022912527411541968365404972250175244882500464280207952484018721574521381488640*n^12 + 659567968150781221140012460834892819928868001376025624267991789469226197460017307678988484642959385866787133009920*n^11 - 285693653516213795919167024612316863114151371401053344155960633377410538195774670066164690760916243604511922688000*n^10 + 108458953882744535506166030242637921894777443906058207633861146083424168727211320927277043386388410272370014208000*n^9 - 35693215881368132609975772128470135289529410939664077872069152559216638601846224334894401413326484000231116800000*n^8 + 10044634332552128295332360844576888932138973089870064707310458428637560820878581453282010947234715220249395200000*n^7 - 2375572681290816510662559477087752077871332708606606619909384964062453088843852493865229664297492796233728000000*n^6 + 461524804564132908438186443080114911065643525524172576321556272648190457233463217377808205043614073917440000000*n^5 - 71400590195890454767016099091181068394534532988760225997303613887180577233799906853764323390596341350400000000*n^4 + 8409348819525425666098817277206195990674511913384478651816138627359078599536332663014947938816098304000000000*n^3 - 702581463539248279484632035230511471620134911203418854070739345953779501780369785177492366545223680000000000*n^2 + 36657354888677232788087430789612198524665462849030608779711629919681823657593810804469427863552000000000000*n - 880822242509100003768367408404754195810606144612240499562625791647136916013484979900489728000000000000000)*a(n-6) + 4194304000000*(n - 6)*(n - 5)*(n - 4)*(n - 3)*(n - 2)*(2*n - 13)^2*(2*n - 11)^2*(2*n - 9)*(2*n - 7)*(2*n - 5)*(2*n - 3)*(2*n - 1)*(218694437588643363173623482213196431183885363713524475867114007757663181629440*n^58 - 37682178794913326008471193538911404078266411093883445439192816920098040725908480*n^57 + 3170445805208642355108970409864062070461196048485356313232191211113597278532335648*n^56 - 173609753859890186484048767979256711507404891848204136550934449796588682045915239688*n^55 + 6958064213037120331388874423635081964491868397852371890157484982174672370076678887368*n^54 - 217632676381869066906601969596801154860290577871161514546038397577909849113391714365202*n^53 + 5531402489457915462716282425713263663060523865111338275038902157273430765961596749421284*n^52 - 117455844449469360834957499030852703984142120175169909434967987924205135590281494108091207*n^51 + 2126218415084425778291724301204096005060383209264323555229503681293992777949090501859258888*n^50 - 33317883048013433052887034559184635695780673058038091344608114423868486665726632643475319325*n^49 + 457375583413906324473909714039853356415933315341580160678983378754339451283405377534124962149*n^48 - 5553227584855174158613517552548271397647888258595251403661600931271089911940486415101815441442*n^47 + 60100200510604230085170059627044448338769645673053110143569240596078920298435034561553471839983*n^46 - 583523065924856365327149177323461794242855469999097958977935719919965326008449508491136714937375*n^45 + 5110063024880135493746967747674232950529773156249496866562909754778612056316358732643096803357309*n^44 - 40546026296036986098242736619581035759642413289695651269538202849305751259512253942543477519879807*n^43 + 292612865191866506512685044966219535681467990271336622733737949144917294819154972972745994846258908*n^42 - 1927010054579898775826968793512952298919482366080145622148791947492267222555972965606379859296984260*n^41 + 11612746735455233977058928742190283174392010402809708503190437154258305988046629372045503280348620144*n^40 - 64192544719949695639844139229136487710570504237075341379269100385459632476297817837138644132530594502*n^39 + 326150879738654051626946526881862292401725555510455087492734939228797883416055374946561168025759655943*n^38 - 1525769814494631459371428922578342687164774010047735262517521624080672214144138528736828398157680685700*n^37 + 6581576201517350635210192075450205508221969688634554732665709861887169032339837284610131877340964173058*n^36 - 26210124898366516134562221829625506730943641251784543565719449429728991687359728749138365203230416090061*n^35 + 96457951151959827139379462046073861657698618787677026078080662912930844420848789336314953210123693954472*n^34 - 328306558646422683641456139660873511315036928740907745109313005646780576136960706006573762638782318406101*n^33 + 1034079276650754968384289496358380052306073202415489105740217528392211963803235718547691784685067521014981*n^32 - 3015386272896587956731742150716730581501890700009816644868041636945350271991631508820913502066191212570438*n^31 + 8142434024793937406814750429468101612777511782506686719423597904103368927705698393887538012518905117042637*n^30 - 20362095505916766923576161296735600387810207208655778968115436599778823287704608749672662843093401291908375*n^29 + 47153170869540028387307332450267519686707569568307774491263671953600478842368713656468136842241182870135801*n^28 - 101090759302087626071749514834349976593745375663607848846589302073660247632058289256576703770445511095568133*n^27 + 200559739928806373939501858928991526452645811523583128963888759228871067220301972471472622505310841966517092*n^26 - 368004524275288787874356680558678042675902572157017706436633412870892625002331271482121485911536959272874650*n^25 + 624033159067178430872175534379651888432883502166285197796578084157984937091160851893075781574296062406274966*n^24 - 976997899709845902043304733673980308385715311978680813063978948516590077430501375353454187340393778732120618*n^23 + 1410619968073313008592531449204456398963266363060921799858806281021289859066230131771846889625205898005191317*n^22 - 1875690479664678967222623319523332178524557091158451723148252369986004731933240970011891522388398982124495140*n^21 + 2293229534427783255572174287417915594863349846070399826352648489559936278720768673504320209442284126238131156*n^20 - 2573085434076251569302993279868928975558919247593510595306602118034226345841972814757517772699176015039075848*n^19 + 2643849535474792133484882787045534017347666605540937286344737420169620502182080125789273907388332578532318192*n^18 - 2481437186606677034977799829597821987525875371293477070696025507820214599495275416321323354480318481231971520*n^17 + 2121253280731762193601444625507663646547539684803490442547229561136666381651841876403634772443560159920892544*n^16 - 1646060482181178866740382475347656638958899196912229585298722097038374248692437528722693498064857990509899776*n^15 + 1154972914118474917110502206001285657947812198234907422329074638652031204989662913357713654558055835796655360*n^14 - 729460028070338244749674246353209148186587710773576985274859384792366212346408090127613592103619280273871872*n^13 + 412505124000179118977212757094692256358065980215867094326184830870104203471183334189756767871605423642280960*n^12 - 207556255364130504414483148336638605684514156665305693191810345248770457957002016007835694167334637668628480*n^11 + 92232306764160500414030458719626989242870634194210985470943218701802492545307023757733681791559778674790400*n^10 - 35873270253026103897542690828495863832635999771092564056999669152944409903308706103198871537193093558272000*n^9 + 12079059074188106899128184934511351301163758351922628435562354397131593785928616982072641451116607078400000*n^8 - 3473260301692157416891479141227968239920629385998854438909414967370951377226639809663640130215775436800000*n^7 + 838161447838898754049942956504124607148895946586737536092498706564872217466037376127146777211836416000000*n^6 - 165915074199695548372746752771164251541848966613985364362252906689707014560215435336435700860088320000000*n^5 + 26113052066796231155892631219779309038385348332243633803804659755836247191752660720962238813388800000000*n^4 - 3123555324575584910888317439538531117093435263416755457857520823394747732631238707795196313600000000000*n^3 + 264525442953170671266126413479635154262658773308642224469576161848677190556733613482942955520000000000*n^2 - 13956095863477776477664372898435611499692013478212412666336786037836382571553901071040512000000000000*n + 337943600995727760160179804861418423470340227096419415036088506495583062327475239321600000000000000)*a(n-7) - 2717908992000000000*(n - 7)*(n - 6)*(n - 5)*(n - 4)*(n - 3)*(n - 2)*(2*n - 15)^2*(2*n - 13)^2*(2*n - 11)^2*(2*n - 9)*(2*n - 7)*(2*n - 5)*(2*n - 3)*(2*n - 1)*(48263472204574214241777121299363495464152230375009098098303299998469120*n^55 - 7302512104917308992908620250260143647267542343810495055457711948059307520*n^54 + 539244704897027491305261066770415797801413488569378019160748549638633315824*n^53 - 25901126540085080435997793971272646955099473364871014501976649357427509181260*n^52 + 909989651292130227345426069524226812341400722423057047193431589482055521901192*n^51 - 24932958713607876489203458518975257948408362893941562789005051447377004118015529*n^50 + 554699019048556543708849086941039889851873468732951946456304951417873674706869267*n^49 - 10301754910106007347931470727851294805752327803070340151466350901457525197638307727*n^48 + 162956213671771036164027133298729254749931036659633507862105581500851532996352891321*n^47 - 2229192505894487164083872508470947950939690328915591526791420909136714073005072406228*n^46 + 26686899194012181811383146261600200069192604109880190277817919097642528637833730979536*n^45 - 282253312175723002883502914501610641587615484194737784824412091297423328859683071503726*n^44 + 2657757657400830626598660448734377077593034178963826249866493668932497859722463371239040*n^43 - 22422446698614806521193302777091381659683445590315688021144527419242330042952974074694587*n^42 + 170387067120757300762778123564615220463843184345573955729959543367518136050298485790746745*n^41 - 1171391567148549567352249390150955971343577825752399133456480180124421300241822047655854445*n^40 + 7313150330612450922656976599737697748780700720096827297213089809047058020222987011965090609*n^39 - 41592930732342405320484835125171543538883342144106490788234773976792680028318055404541414666*n^38 + 216079035038809053106347703508405585472660973646793146155123229266612957524808970243949230634*n^37 - 1027707412875942333117982621823935952534716311935457693400887224955924762561128482665056321664*n^36 + 4483526183622271002572779910110750384458450799480495643130855534124228497872293687533570267168*n^35 - 17970310052803719678567176222376125463950078259192022629877243718638237296191626194478551763695*n^34 + 66259288097489987367826070744575668938083474300489366997669685294369382614882274538511093073445*n^33 - 224984210300757014673201710829418040789221862783708896092935210038460423027232370464638054846393*n^32 + 704090141926551962778610907003749144629958556402844244625164731300948086470235988751821579178443*n^31 - 2032064056150432259150574217945276855679880693387176345596237870434948466758890851082837581407696*n^30 + 5410677220531164668407175219969642778900779038744862772535010364204387408343896667341738632677788*n^29 - 13294039388262431512621079180312254346063751010145814916048896241267859720236048106901823694963478*n^28 + 30140838239270225448957151289794702965552937331092240212011179172585923561412710911787010784679784*n^27 - 63047133493108285701156207664456831491593212529024820721433002455664910931266771006976124761769277*n^26 + 121624700826897105643809868760286970130855346325128578690233380665049505331148702796699018538025519*n^25 - 216258732176655420038421760895783063779067986355186670752955342683917912212448301027165607023534379*n^24 + 354144815148616565101854467447761258028815761213092009696986010812012961713865320651588260147176715*n^23 - 533592242962487292525840553015811255890496577841795528760552417457611139301047718314065845424234418*n^22 + 738796818685452609725661884062587948000427134008049379167099135996834733097268979116682781229557210*n^21 - 938607057613266163013898952943200520096085034381072609326029232779606850527454309741974371417044560*n^20 + 1092250433385270716815716675545960891833661423726487055606834707497243514449216649115923993273560496*n^19 - 1161830138326148893920551517454452987546559013093925046305152147727045505362358270751919980206955664*n^18 + 1126927816802101424608304540714827084505512669399618011193499410284816861703206240931470076438792896*n^17 - 993940568741319415691445577373489032748674679920514076230957707504610067084109795841113057039698816*n^16 + 794534069354659210547016304677093627203985554350014242846991374910169962554094220473425540199393792*n^15 - 573447066768038111235534393313855031330610267780072551875673525449865207521325962686664329909834240*n^14 + 372016858139895566994772465681919371947217982884787830745788531153448946147521885450383306699239936*n^13 - 215794462433305317373196885078986111533443614680843237976653212202527383431564904504630820782743552*n^12 + 111231764504759691037294995242029483328173545590185805563678847424850139776518343820820236948152320*n^11 - 50571828704757073778820463326678543969063257865007407667930455522089586046540077716976106725396480*n^10 + 20099904433428275469326861934885103408676095549844216010395462557352565249865497248321566493491200*n^9 - 6907616489601132132683841408859479894237851976798159155018329856382422293962790157243060736000000*n^8 + 2024807366730097303255102454395989592730380352754415628927702143561062894108208716708261888000000*n^7 - 497510831003249922456562524413676467815436452674761087873090941283966554532514662934688972800000*n^6 + 100151153864507937357604982388632955614714058391625821040184226965416034894765670347608064000000*n^5 - 16009117774483155618801269722325722440429776751965822513164832492594551081771520767672320000000*n^4 + 1942236439929337871583369434438557088169494144081171520038188554541617669045817894502400000000*n^3 - 166568701293442571143309092297908850344010449573862522374662728398024234617100009472000000000*n^2 + 8882852642712868097399730303441391039433420537185218194983900917767685975559372800000000000*n - 216859770782949883275027145340438051078997776504235660160665558066986636083200000000000000)*a(n-8)