ini:= u(0)=1, u(1)=13, u(2)=638, u(3)=41476, u(4)=3015296, u(5)=232878412, u(6)=18691183682, u(7)=1540840801552, u(8)=129548309399618, u(9)=11057865563760844, u(10)=955237244106091682, u(11)=83324522236732005112, u(12)=7327068320498628273506, u(13)=648679579345635742189498 : rec:= (1115658938223205122540445611445410205780571938092030873845306060670603662694728418648549366183562208703724833016003952640*n^7+ 952636518053208502025809405330282658389353763124258722831844955248855769434210186551084441854473669473637441141546680320*n^8+ 7791566462007709063748855813867389234359293680009502192934099168491012303719218517411716356699172894720*n^31+ 506059318870045892164882793062949720064917115339516425477034331092112892971696739680834770744590223360*n^32+ 27683514368653628764296351440140235012335682435427806591032613661610256752378790973576820185848371200*n^33+ 1233151557251081537489170145175574426566887145911498953718388889167265672073974669463233878968002560*n^34+ 42570740679809857735334611391845816918947988917718118894756448325251982358135075831820017735915520*n^35+ 1031590887882640532335763019702964697839158834691905845752733320679864942259426988410294216161280*n^36+ 13303951235178703430997020982946478695487448065743877886656205840553371681039672019192751124480*n^37+ 36504343888992660832287165049255575202647396400108671782840569886965172925155048355437137920*n^38+ 13498000993974816472133940082931056015848944367305690524781758292558630349686915008109015040*n^39+ 1580909544013892486118423546482740154336177717568563479311926918252404328194830363785441280*n^40+ 87977517513759444106115862899272171929294400653305133912162472762103160894689796327505920*n^41+ 16104914734421129877407553785566348032833540843925298164448979729332034284617327719576964443868510013377261726597120000*n^2+ 111083034259143839947748586031945312738662491548345323437744583261464447642834085249716986718426271451903716671619072000*n^3+ 358499735037970835522229898294753034693889753653858516125855681920857105507546711423992702652537101364912709945419366400*n^4+ 724137350248094293079491204149096757190386987010569513766701194533874024707997873542451433495467865146596247493819760640*n^5+ 1033468920111789588439896880630086591804387961673097847966240934577413658186056751100671662044258309757336905930600611840*n^6+ 3190575611279161063408087517473100680889267372888884294434019960258979654493529513574400*n^42+ 81485842113778642951599276305548194159401589249382862210978146657017664788591212298240*n^43+ 1427747484926419353983477934045511329887014940963561373386936204322581310052781690880*n^44+ 13359611791735666098148726602767985974557656139952035025655469929241294589866383360*n^45-\ 87414875585938302085141056111947069625779043723898396188843965811033543694080000*n^46-\ 5467371458822191525684409821879756302198198146654407699508783222329854347520000*n^47-\ 91127515212567658086887605608697629869811511262452188793835564117172053760000*n^48-\ 739588130417605654603740306697422678850489539527839965843851550141753600000*n^49-\ 2639848365621127794612290587240297327628663906860551192699418914451200000*n^50-\ 9561588445633004539285739167467407139686629582514036866937926560000000*n^51-\ 69825985288841773435905783450653231430469757340695097849993120000000*n^52+ 1284000648569161476323538731975949191415112810013716006121571984076404717413940961718700901273071117606255659089920*n^20+ 187677353579765229890394646428168765047918206988979439468439039180346863352255895149452879732234307046671655649280*n^21+ 24224300417254821976487510209886033792945689825094167851414888911256474250365011043701793627164890128684854476800*n^22+ 2763098091668647648548193593156519337049720006979003930686197281333300892678340006644715903066751497093180866560*n^23+ 280001871486689869614823266689677953920919776636621673651344255441249143068680031765671893987905743776145694720*n^24+ 25583829046380416229049978214960281542943408879976658596167417336252888047510746547674394661897184871326208000*n^25+ 2173177001066993805793890074593461238587809443084756028244847296691399174882028498947710957813052908914012160*n^26+ 179757823399233705189636084725238042982633498237885535359595563706324668038345115804438421834169555555471360*n^27+ 15070749671796247113221464698084758020408392035187005207961407901517325064457591019432068456647699137863680*n^28+ 1277703097341075973604297863663510088058449351619408286956238464698512437170946267236640654669510578780160*n^29+ 104520887721652664664065863723210844722759512161370334693578199809359722412570062795017018209246836131840*n^30+ 664461946180222242610184735898430807710564850795656764096175729270363142939561509429956683756086626102807455919757066240*n^9+ 388034621504167290088962885872709116675505719934694078348969381404186926865855209852590797308499794990360823177003663360*n^10+ 193456392938996002328705915306471552947797558851792734542216721855671960519247288057890653556297226443151543884872417280*n^11+ 83611721951550618008338501781119551384946216693870769663221755409568888126301792008436619014689749076085973929154314240*n^12+ 31693383041110594873857502539360995453171379158496056652999027683301003660884825857537005877557739549867578514577817600*n^13+ 10622128656190476183006880370173668768157139047345164406414427048841217430129762307985345172722129473931180870352240640*n^14+ 3163206939667262399402732355977800226267459051085001920268136347697411016628569604102283164426355563646262230966599680*n^15+ 838834873694278776933472947061840311444890154356467729209966250438004877503394890432579118319332863618350946302033920*n^16+ 198124191238727131723323345535064167824956678224161469725386534892173945286206554185401013586686050362074086009733120*n^17+ 41630333263240193498092071600606259071226933597650850208223862796722984822002029094975167317008125390650740633108480*n^18+ 7767275500541060385053026402412530473800075523367091556178996777247145785897017204495416833141717704198896843816960*n^19)*u(n)+( -1223871922019722662119171186844127887295987686932656240505052734255737765219414216864879071297078980922342123346329600000*n-\ 21139295624436728073994064820596657689320251449658509293497430908053444336532151851797506071254741163950328058701222510592*n^7-\ 14457061406910289984331446610446287374726736185451912175218492479001351569335518195956598154492917185159534991434269065216*n^8-\ 29024407134149904977188601529443692823243047798252820773609509308972393115079023379250953207222977110296*n^31-\ 1869137904077963418552710952369259563674247229242127170936158943947932583758603655451614513152654355928*n^32-\ 101257038743562870304002403993181517702053427714525127033856567988059093101054668770348636711222634840*n^33-\ 4460357748141606800743705736487943808641616156945771087711175762144549924635103825252389095992528888*n^34-\ 151851637815965993779403199943301805598512458537671709414370707205077880903600822736505457553416696*n^35-\ 3595536256554091536333077999493711334681355915501869901431014991496352394338869716010168552065044*n^36-\ 42661659628436038269668821071229232039455955422710175349219476940595128705379402651722667539344*n^37+ 65219299621047464907954148866987826476872699007240492827037551518751255927132849155521417264*n^38-\ 39821272862832192753969129834738597323282369317108995307468911481364484674255796935202709072*n^39-\ 5244068881832161079206889373590381187399426221868697049954584162277334901077837632840797944*n^40-\ 296729179656423835107694353213094972399389126877106272215795301249024612793121514250659616*n^41-\ 4746113959471611517441615572860973632506620066121838533674748317772821330858341606644508795212072569922197635450535936000*n^2-\ 11512007897713617505279340341562452661078800676942134924094199878951605852556460726379504069878415851225365698620004761600*n^3-\ 19682237059568825862292959860955610863012607325748924013677078196754729473438620796989982385460592179505458994078883512320*n^4-\ 25354125829232156688725587210902716573499004054148018313221936139304101036163334348649961531871260229485007701863271759872*n^5-\ 25697197483598468063061354911802812429092676553818776898288950685362749914864728545409581294638634851821211438050204188672*n^6-\ 10797807163811811847549680047537365540990204769964792903473274294468617038782662114282160*n^42-\ 275954315059129161508742820011247757701262599211082513754066567611960087386629639656992*n^43-\ 4839910537048819002720961767755352789517348687712580458006899194310623847682706559404*n^44-\ 45559940895469279680396503309013170643544038665657873618779022924418871150584805208*n^45+ 284516548491125955777933040457609180930997544560754076166478216123409154520587000*n^46+ 18239172562583347679421956330515112199252541860776904604336463358534234044301000*n^47+ 304274020207453316438855085825263841302456021697701668110694329988487905803000*n^48+ 2465967925092981440714255314928174407815714311590088826152184682667375505000*n^49+ 8783999838507005580661693237800978130619412202684791695967152460719985000*n^50+ 31822391382509676440123052382984577714093690297041983759532131526125000*n^51+ 232911385179136979802340799193215973338916575945139851370348800062500*n^52-\ 6376217696046446220640777743992746844257770981334663708923713075837207162224513642457733249703214794729128721864416*n^20-\ 894982257001240789350396937724810992478043955319687697003792200416699769012914789754650411813552598047508865765344*n^21-\ 111208567249711819705258776007248262044670741457667867400156681715801882591331777122739311523891822678132053870400*n^22-\ 12233093247808605998659316275727164380861165135010246806358992283790547605697202416270759113442988687375848276448*n^23-\ 1196873532993651057484858022246934621831895721989293177428962861389446962651947574655205431300074071403012238376*n^24-\ 105682665644174452337911672406535629360981922988828932144429950316915760211087910041556630723585550853606411120*n^25-\ 8692568617165426750553452860420347873592727396238706614638951646690103648384746088809175150585709967320216128*n^26-\ 699812765364831088717883982904071156381013502446461551869840502948150357061468231652572720172133087756162608*n^27-\ 57592600594628485272842409002902699366688229091439978312099452612916119178727790142369178031166540409169284*n^28-\ 4830340578044718124418587506111517205427449744246213848988772445797535055884066174388628433963645987194808*n^29-\ 392234872143696907059915622220783203433586443721750517834545809250462557154591678362335251416938069163112*n^30-\ 8381434789792184854042326331319628331636605987055070981885337225015927996620386143556188797422590903498835664644573888512*n^9-\ 4186925209111354880954424235068396402515585287979390039008685126420424645461803393493963926208350932993662922545446453248*n^10-\ 1827116063609279983466687609619421979598455245598232541871077672093013996427269251970931002426680067601293525749868232704*n^11-\ 704330646261673316875498058099874315105396399590992623962674430513666588956459708711482346517706316084116373851685527552*n^12-\ 241869018693572716171832676354309647005972160230261987574865677567179094261143794225025228718623939778496100889153945600*n^13-\ 74399722608895590734695589092717199094267805591377223466918415991169289644787856741772746031728370489110180959841308672*n^14-\ 20555465710805154864704218828694938295061885738885732906622550604345174645336894944196325427544350917511535723217496064*n^15-\ 5102612871483049789095507490342646027352200214178918849194151393309260064499310164625792399662098359111691583268950016*n^16-\ 1136467089975972703004318428309543268346197497619672839236563427450473710008890897259409476642613470622146980711540736*n^17-\ 226540601126577537154943882233953313471086056865129750719990029996188750263949965802562425633073164272050585834281984*n^18-\ 40296076887795915419747986687960239876640292073418071583789111114543392773414627453143491591491072098939360850332928*n^19-\ 147853152061052766711296457421319562543867114725528273492409207976895839705460814995703285415852747914218645225472000000)*u(n+1) +(8578220510765175160643420631538492139758005980155419095512016519109343424273253342863950049728792068036049579467079680000*n+ 61497153424213220850647333892352671019468038085252283357246997965841890590824224098038693868336810345095392129402010599424*n^7+ 37412835366325232086454929168375543878117220918436429078860035301513963570064283190607959253244210091153297312292751802368*n^8+ 23717168463630696930356144202012691684775958474474548117573891384613841015072904603671807283451922315436*n^31+ 1549108495649393680337277808830831291276020669527067248881136110945653172022492953396395537548886376992*n^32+ 84831150273350684067003914449012116484284382600762122270125215243874390864927112072723616875893440804*n^33+ 3764302073326758428278718342084433682644398567898428066237423748509852877513577348034053952173573132*n^34+ 128521219074286859840887865229414316795818070434775139704991578896569081089804537201926985824641924*n^35+ 3008958883935668186777056768419295402628008566275717447511866734052103264234909932343892934943516*n^36+ 30927481333300481109772079900453579181014579218516614131155500885652676305111288363638878135128*n^37-\ 474618717596249194458733654548627093467399720975983834454262654996018683557569045712326671400*n^38+ 9494885884292410246740854132353597575377642373407958701507570097918465036116475509249874232*n^39+ 3361572582274048139221783456938952442251403952551789769885063587632778224921545949279288316*n^40+ 213576313136441800539090384174705291313514056596569422943587050846264358528864269206211784*n^41+ 27989113405366141290182945858594382893634530148551131740420821376330626720698609627222206609519619819318190613611937792000*n^2+ 57808503064531402306880215559794050552489914890755914021220453859399026822398303995635369154336620313670218622776324915200*n^3+ 85075917023166557191401564143688676030166255159397171428375310543129731583820521699540895148081325231196086645778085314560*n^4+ 95250742701832185410706139236200374895225890844457812147446490832126493908661582324187068681302213852763823078453740044288*n^5+ 84628390338160422958399788294197219591017924746457031909731950765480479488670159649555941223329290912102964496430635417600*n^6+ 8125754780583582694746518327078109530110029100139898029779968225925317105230212977462912*n^42+ 213530092348047662495535121013879391310295619958891920462861019576041804538548015663480*n^43+ 3852913174193855961789870108869015333050971005524299555906903558782659018906026785560*n^44+ 38556161031382229390395261437925704345407481710698559013160770229519292715771536236*n^45-\ 166415617182934317354720264005553304641191110921784724609804044733580298718846900*n^46-\ 13674001969570447468885803176039584691332285807756595520113459289838358087710500*n^47-\ 235291844265484977043497896500986801242655944416204277728797956356561079331000*n^48-\ 1929724901448577740208593286437515644170401211716468357509860919995720787500*n^49-\ 6841412044235917479621356986550352278210116172025052052362778555821432500*n^50-\ 24489926965801102701043112055452909333001854868416808222234011517187500*n^51-\ 184572754438825615912646563874606010148236413889361880139077534812500*n^52+ 7379889661893531691839204327659051021239089530276184086689715095278260298808140217178460097397856864106803455812704*n^20+ 1003465095972561677017354346427797583858616072024760512330575776539098382127649512558289637782422712484615189129856*n^21+ 120715208868097463673191657390640048149311228863700630875003040847717436882312731797665030690402308762335572295168*n^22+ 12821244030165465677866162473571236820880030891778095769801488175922994297543322867073022222505100744740510934400*n^23+ 1204443398493893261210330839137482969218527607536728718321078756802215810527511629085126170641086673141420069980*n^24+ 101193225506165017418538048325804795562061382519145722226723199430445907449699541529748734861793395760909945856*n^25+ 7837567310203510417844099800943614291887589016504335758681383648203672599937733044518943646607143994530031080*n^26+ 592654212454585456377388738859621904368706147253521186741393501992476191126543563781159541473221235367684976*n^27+ 46622429055575650792910603254758956490377688000003058401188805220645373383635321677347298466331262453129472*n^28+ 3855498239842612713502916621685533198270967791506682744276615499959066079896250809150406640334815346483964*n^29+ 315655108618580250071444445460873672748114674744938795588229120678744701432521319502639860414365661380892*n^30+ 19424892240719780852241075575460458248201869001119345309909536604009592898142489428857016933114280069949162269680853712896*n^9+ 8750575651112680360890832569030789307623027962248019762147741342144401869426509939576849397321783751536578587728680583168*n^10+ 3469591900103291364055481779817855617484715713069262648905313092583195428017541964809454254511665616661358522522455670784*n^11+ 1225502816773006518184704084538866987809533940886010642074419308304947055901669265417037527191305264758268587047329046528*n^12+ 389185493629837195740189994661283647655061729659094009530222607640392308190711975166740595449881356589535797207142998016*n^13+ 111780330364798152939662769153478762556404664267470498518242551899631050109491659653469929348441112988671435729272557568*n^14+ 29105986515975733818914353819748659117878059656939605752712109845023498622357384197007646914285268351338544266726496256*n^15+ 6866243846439366273374555188384876232605782906490513936447095871819095895274636609600259213329030229015131862985493504*n^16+ 1463316992187778912714278117532438978667961477026165066490636994853837269578831402149598032929049116233058136712988672*n^17+ 280591059960433309010167145914154598592662661771616131403717323071818309931768968374675597334010572062115112477377280*n^18+ 48190684612576497636421139807237221921810984470264094136751805023127503688526304155634416325658953272419872551621888*n^19+ 1247814353522385343605913546298817247072285512752194533092432400581719718274958961459338052943262699859962173692313600000)*u(n+2 )+(2531838916769759894135302160824972295340060732779088917028453152745677113515194282267953721538890650339354975540346880000*n+ 49090653914081890892377233032485840101838085274658855590902641176435929362441922976268986639031900766050208374080290684928*n^7+ 33201107796584782033869801964069594310793443188440546622457126620843598588594185660817183612220752089753521010576917135360*n^8+ 39380106162698478051202424549569209225002874805226573742094438225837387261204385522800264620265961449719*n^31+ 2385398672871204865228629127320465697658925264669256186345769521355782332766066560352636712483415167075*n^32+ 121353710643865748844298350385226479073417973810406827841324306936032373188251521340340764552112524875*n^33+ 5012772767272819423476332783526114723492078511059551576074836058937601560195239747946879760621491587*n^34+ 159381109936710479912107735740114919960846802593852946518160664668785174528794834420063520998487655*n^35+ 3502790205611402668962719398125036223121360204227402709932642421660748115569233676545815028629585*n^36+ 41230466077899068681886899305817965599111304440205302033057352166324146089796978140296509951454*n^37+ 548908702369636265298599307343219302069896665130910150732130537950439503086858479774199529086*n^38+ 91272696522646538625016903359127545571267919505885628152772526735409481687725480600133538210*n^39+ 7595235575954269545782575791138603001711541476472108450905784777856450819428148943944372106*n^40+ 369395845937833915393516094500317519153638216416004262848116621336412953892190694198282896*n^41+ 10779170680298058531223470914334162521170786308162547471236811660837244635127523429655424259397359857925907012562976768000*n^2+ 27124555883939290165904104178684848313233188676089287922197361675324379296461314551128468383254515863160322967732224000000*n^3+ 46820286197433296598772265481165244496994133956670658144258152497115138780287516006589453794040103730127045030135726080000*n^4+ 60095937774995250866978192021273722360682362234044749131488278834137934398264378045542897450975861211149550665909487534080*n^5+ 60343145815048965657181466148170620460332285042387466959063114420090068343698817989575849902174173238903910287890205114368*n^6+ 12345280460158474974958680766521569194723593534294078489764649912192689093923168835477760*n^42+ 295383727926680957870688865969626237587496595649472501437026764745753731736740648720192*n^43+ 4818603297115525784655152361984529355608788624218224658224561869091542313324918883530*n^44+ 38487923446137577507974930305526404343860289776150043610966920154237820843514631259*n^45-\ 441974530798655048446081455354223175874445951794973034587918400858471984789123325*n^46-\ 19794772237219963255169694455573027299897725967685080458539103624410544202027125*n^47-\ 306028164905580201391153996303960376329538432567999834219843766305584514159625*n^48-\ 2382965781732516189872262314346695629528446826647669346963917767174477353125*n^49-\ 8520239905634620296874946198191664408039768614850769372397836976042858125*n^50-\ 31944191965804180757281267101986012125682181788025218926388571561515625*n^51-\ 217331080477423837828607784410156267292493293913003665828977561671875*n^52+ 9872697249419761822216011659965098673140166808986222893915486809165365069392820684179632744793366026466940999381264*n^20+ 1320239492294099857663949533542179161528767730552549755069788622775155446218112156452792196962415467128418597785304*n^21+ 157137957915086463947203786485218657304208528739634135022237427938411693799385405512214770824614089384063615052200*n^22+ 16709118101730198187373358037277846805832329351438539010948695628354509312726574037664015474854717062457323688428*n^23+ 1603992577900532958310472693815156747050849162533442972418916859199710314621875504774744421585188232101299219180*n^24+ 142084904126184261797552731142454992555298526570216725044364481116880368294154626585725329027606269104689588026*n^25+ 12035983200717772815247405461445658891670984108005508748661044247812786321064927929948010520507819520313692922*n^26+ 1013469486347452927687674378434246368952369766100374402190969786302337305479491197469112495959775589267139762*n^27+ 86076024118859352304590519795082546348837943728119722655709664719225740797854497254677187436504656716952520*n^28+ 7187283580717538274916496006672365183421318813250703344636563059476482545018300095093097640782495743978879*n^29+ 562246231410143690425441259572875583418861204477893650956623451646067157525580455547565590532794041895271*n^30+ 19039965214303284794065120973539937253766514712918378323881705595527892414041177688548055561824131115596028352539282046976*n^9+ 9402495153512869221843358838230191956930880885209012722273501854732356111933348333192920465589985942886448719914208886784*n^10+ 4046863779043513106254611802308036403254093846622066521495362275953010333243188425581128030993098577092487001276078227456*n^11+ 1532109903909535007909883371860066852397209811513184808914319345738054072133521024845015279810219767110208551914582364160*n^12+ 513655037658346501421539450555707043539995377979775328075036947759612650722370167356827132490835402631173876893395957760*n^13+ 153190653616450535819761261875529457226841528519789918853743064907961273101217668036908580295859980553779541318880053248*n^14+ 40751318869792186943423819742776539882578287840486790673512756098711950466019428799424618019056195450825903273269263360*n^15+ 9681164065025570358200374527678347286436849785096943329001225722998727495463323300034362222092600071947004866920606720*n^16+ 2054153766280835195098282932467728381157118085632890567603078246211724027168121844993046357926365942794497942930351616*n^17+ 389010505293615368079016756918114630052227097104886723357111360848354798173851171561930335343290067334534833010180224*n^18+ 65676940471636379682421640350215643779943901138320896341784251148175811470838422428067229472916030159762490716503040*n^19+ 244119679952880441684674841754562585034929790511770418038553919676509372199840253459803818321365910439219451605811200000)*u(n+3) +(-10167917609166524106984776399761694128299659691925844120594173572043346876403662536795757730601683049877291472519168000000-\ 65677755571117574345205580242542347253757005970710750778440611009082863321360188502084354402980561403272327317478703104000*n-\ 341050322775369200011232894503276677685112482394673442313974055636554853337630919624920705202589643924850652515592138391552*n^7-\ 199792461701309815697049148092118067138282255097469474812982521973069125488446741007730797207925572419526510149397360934912*n^8-\ 81404568963657708424839212879897201669245669750081409376071660739520244704542197091036618244339572279185*n^31-\ 5009261561162817392740826269072517847812868554236333769251500039210951868425288740427548005337876093163*n^32-\ 258457305224273352664563785850533523714556807877168726888551753308681356800165812751583482105865379100*n^33-\ 10805619091853411308729856653981393314693888978834430957936741761446062144582744066815512861431328902*n^34-\ 346608119148073887748860635743731792226547061509276844465593181260615761977631442788214445426863079*n^35-\ 7573758755431030968265382103598578225352771380209665729052243123860395316936660200461253931655561*n^36-\ 75662271566218867051079766990880310421028113588298311727934456179112363103073133458013244643408*n^37+ 116496244555188500962478469838751339545524303272267110639297868007804426171340564134701922726*n^38-\ 120300699736663990174209412346564506710738417858510879928663495824808395281298405586179959857*n^39-\ 13072365090104645427876899594833975248789262371583058280833389850513038184862235258012932023*n^40-\ 686651746413957415468986803624479049788682743647262353245447666405651374150799099884266250*n^41-\ 201540873910806185092363007304860708400998584127857369614205728351852414036914905839840952604979746639360077257526109798400*n^2-\ 392235628213852727610464165998221807012188455843670176158581934512937184437690947445678826604608452867263375525374989434880*n^3-\ 545452463595683120911593504819199611587025610964585551293738386433544241358751827710523021041969977092321364064555822481408*n^4-\ 579153332222158371683406858375986738893154870375141319280066131513229558162003736783593298685982490867955019355331558899712*n^5-\ 490165749585382617621158044045400829928278673900791532023715958615809774534562535089250609749053247793167392345569600995328*n^6-\ 23828276885165739967960033120629415988266933859118643089010313959868083388006078698212520*n^42-\ 586016268357300463215680610866597551234149310927648265224478080823036302248938715828735*n^43-\ 9871478727330661014783843290334884756902323229776912594691331907065257629238628675757*n^44-\ 85862790841691458395313745147874164380506140495913477591717906364018614884837337586*n^45+ 723594327007297350177254788142620358755261143348249810997118066470765247841405300*n^46+ 38057469842958550652910424470507282684690107061067422522586112591099327652131625*n^47+ 607604096277364284774149266579515122136046710255183265477553630488414713112875*n^48+ 4798243121776514626361412891725890984075358626086529949338833806843700615000*n^49+ 17065675899570544949368912160517889839571713315107935943315934108291776250*n^50+ 63113040258287374562435142908807663718392744363604199250673232854609375*n^51+ 444495389158663726424564991021293025061559160163691938762730717390625*n^52-\ 27822461460150017500041912147530868920719314304596458149011349348062985574974041964356310224642923270534805142197672*n^20-\ 3643137156632762337459432493427099245475297945505403547979903852344095034072205886742498108353619697630313906547180*n^21-\ 423398026892531609935086672183047972289337927539732427985234194005778380319908163467293545630665131061075362840650*n^22-\ 43716865269792225559837122002222502808649933658499977337360839567374260490620213211254620848708844018581486617415*n^23-\ 4037856425225329965390824362080907079053975129326855963925992450711019606530992756523183687158204648500883972585*n^24-\ 339908933117083052453056669587124159577048949646536675587450512677758593037343367235240659901528412942714021522*n^25-\ 27069349417021615892900528505786524563717771177917122729858998420040383453913668215188020778867550855055843212*n^26-\ 2147321250800451161843951251542398953421959062170142009741259576248800157932953745465932128727425757786330313*n^27-\ 175529582641309175209855642153625435642576062535982340321104323344409520384076485513695133204828025573578723*n^28-\ 14508777653424532995196794243918143503517813974792636014944378164672240630218856957298581895309827279384562*n^29-\ 1144611640439115523402628952405679391042530184332912226964192548504741520109502075140315753058612031146736*n^30-\ 100469435528403568928845310490931850021732962321665266448331160135951251200315856843801976211527667597233342108779643731968*n^9-\ 44071820952603541563463713773892340034556843919342565336321304623574277024403225834460769235719329045874454268522088587264*n^10-\ 17087168150539393526881152074323786826607006221620961636179955183267813150861710847566648288065846684683881376271962091520*n^11-\ 5915135105914746567075646918477336120428530989858961231320418107905185050488483021991049145004362855684453839211446495232*n^12-\ 1841003062794807474048508910950910347715524914161655172342799650662984589698491994685227746575387204677841552855749114880*n^13-\ 517083273457770487534299473429727393194441473383594981347656374803430031498313239048764904716694643208700614504049479168*n^14-\ 131184825516209451388841597958961733242884811530521810553766934399222315559540163988903584030000536812952553922331382016*n^15-\ 30026873006636745939382091756487114374221316484470497589036242395295599140691021402322946851341779209315156954529406464*n^16-\ 6185245189397150803523167302179104514540709170851250355708843428745703184459678121773703432050518567583784187260104832*n^17-\ 1143049315983941579228534260042730657736964528538923633413607432125918148601622640105368237716484692483117189752792096*n^18-\ 188886853910533591672074679795816836439913789017540492335123788496169636658386798631672672524875743407605083663482448*n^19)*u(n+ 4)+(80976318854356236476676527420631314412241829779264469765020254971269890801663466584496582311219075387053274154923982848000*n +314140275637679612695846702566305877549064521328012996018866662674128989305675154817025225851569992153126001067088997253120*n^7 +173721772609512545866237880493788146709829573363691477734519467120108996414478893485934352498969484775516653292736967606272*n^8 +33073031865860665880591016221941926006165538217812908842307604597682269292629435677077313328642825328585*n^31+ 2073923598098326733593415200921999286616330554264123112781996030786676775605693576512738652802453125585*n^32+ 108668405265716911485349755628666236862003942970156461197686651016468810852182964767929053934259351929*n^33+ 4597795559930072958129846576799600856432427664416534367337501014356329579873725501240191022650275761*n^34+ 148578279878008840910470192217905903035435838841850271654996602252530397181469213789006711213551135*n^35+ 3217503647829648095632105749626149598008878743795226288299435416518898488205208540764609593262223*n^36+ 26043413455630319601337247748769420617059226098585738758326947412405787019732353969973355156806*n^37-\ 606141965003204508020572699502636999176815771522663691654973138625845618846633464413229028454*n^38+ 19323043097430737693061391399887774092131632443493109019015525254089313099402739875576899052*n^39+ 4200198943960986714770023393477467328113685311486663311302131024953161033058192231712654872*n^40+ 246990808305936572136169325245384512627146552384496862667141570962811705346470440063500922*n^41+ 237846952275063191269592763194893672385063603585090320088256043931171669857016203337172453147433150938660216590333430988800*n^2+ 442538712867853448324884543349404024804683784772348800053871280336759493064552800007763098832483107310650720622447280783360*n^3+ 587243827263322042302916881839061468134322034874933506044888227465302840568384730026802868543402947836942930530422075949056*n^4+ 593585795816027612596676520196826975127069518706172795256730958514728656374185777006545038319518795779392605244563128320000*n^5+ 476950555847655510785981830759824225645269493127449865924791277375119075261121852707262845682926736934837004631380986953728*n^6+ 8987734859053132268610763608946882454657901463675903317479169034360207730490416407496822*n^42+ 228180129778678317783475839112921395962022895653323557013167947852743979562088392506860*n^43+ 3978560134529806112663039194001521341690092670173969862304796576333098169761397179384*n^44+ 37526007975856296950530406123420958440277033271759192963969367812059501364857884059*n^45-\ 215776842160446505094427770699539841607232586667157050448909573716611736890725125*n^46-\ 14283474236987910031075523523059810284719299818558997272060565304328966666392375*n^47-\ 236357989615288614211094499982478689359705514562597353056357578033624201658375*n^48-\ 1893457447108410666833324422331774055906220141212738188488073918985283276875*n^49-\ 6694915717852445664070331649222976128438932767999616504208421911664576875*n^50-\ 24419536779121777704186853167732556974104181352063058708407441444265625*n^51-\ 178194402198583807193936883228332343738221489267203895619444072140625*n^52+ 15167229227961264204223000252345718340190126366775476762622548226646727587003822446723012084020862849383710521728464*n^20+ 1951260771352834805871381560581000747906164767533021214263213170965963926295551143886146921640505149921103192854832*n^21+ 222184322117838613351223267995756012807950402778822947429228335249254929040806341895895101139948435655804906690164*n^22+ 22358637795616264533171199068173749356956504390268446179172923781460625420077942476738455364643414686439020335634*n^23+ 1994735432771469822955117187522499977525975726788415716129825637660488917742650025359630915593911969367912308846*n^24+ 160034994768133450765212516977934555964417341912690592583944165274232948729506454402813967908569237212265693320*n^25+ 11970485906072418084628373501830669135546561362391647169726189564925996827105201618658515840863936439171431668*n^26+ 889157920608067876797101020303173769381080054856590134269387783798741899978252427158707542723338216869642654*n^27+ 69565954189422551424884283607578193028076451669993834085432288938743998135285780553941715212655569114666154*n^28+ 5697980868548253556834600317763583591582457610981463283354866029203598089292984008999289402975161797685823*n^29+ 455701660485024806698151308557086906662987116018757755226316455335738101651110944643833048006350763296903*n^30+ 82291338775836080516912407319249467224455363132076107110963920042575320299422090172653224183707093408572620028653945061376*n^9+ 33975932880466868745557940444552744583883004998037646033313297116565330979761153740284603517089864026460796464554889658368*n^10+ 12413192725523516187208250153566734515470390868609448074116523129682602465723176850250464844717932759832468716358920413184*n^11+ 4063893803989126019691847271295010622210271149626171116509057774414720733176828987568548591304842161985731018603187654656*n^12+ 1203212833674261788986350054871892377856910059519723248276029143947554171886072473453109741492738219601744608350177402880*n^13+ 323851570105109109492037137045854728395547895406633683616215638402114077482445688805445602602924508549406331136269265920*n^14+ 79338829973885896144353085127457010281127022107485556098937545148007265588402018913269128295183942717563305661332964864*n^15+ 17656354683074078464079290761148367102813125507708982495643212742269375603385870715694415939957683492398707077539263488*n^16+ 3555173444267812696506957094681488545913554453280764156451981279664451164911580514444414384068128292261790881067116928*n^17+ 644553774632717061828270744602360239248666235511160757138810444899060298605799742007200058136689166488489788877872320*n^18+ 104700499974654754879174701102792780428125310394058422213514452875438672260763992225178329299990482535693086650579552*n^19+ 13093832760455487040669561087547569921298867567021974668407235047510545412217992111042541498845242842288067725754368000000)*u(n+ 5)+(20675699456743592749423323145053199241508919537143090428999603418830965839123817698809023355602416468769791737742753792000*n +131264842672525268704392965093357765991195755108583674497509043993625643532635222343567430448873667251046349962411054202880*n^7 +79343180842490136321031175084002241394578967363030130985833553966989717344274677364810711186625412596990680597280170377216*n^8+ 32841909283549055169248645052863783159956088415950575032540988274464118019565449703716414835912359862395*n^31+ 1938797518303145178831671504758609684781854679819022286259048589579191992000243252215361442351126710651*n^32+ 95826830988392071484763365585525231505990909954088475940869820598554965364907338880634750811099482776*n^33+ 3830901907854873022520331511535241653419883181237179120722621280114902914285277999690766808458583754*n^34+ 117040370641464971863849942351269999671165153295851327246538529966648775553543547907804815190866141*n^35+ 2425275845107967935510781408179327825072744080763318843189128285982565185652710871042761999926375*n^36+ 25048986819191197499085094251729336419149911487929583723293086102956630688336938763214949142180*n^37+ 371285355356433097056077693037421652590327212510766124111327546980786419664737617508476328470*n^38+ 70430199770956275877986598731061091438545339363472853035140067014627387415881969867685964943*n^39+ 5647808263770193170814187580051141741542733856903679917854293891995750264696142616319100871*n^40+ 266373470718784291223470425786103147524112139389810399959620551357576743720925987163460174*n^41+ 66029180587468341739915702864165471367339920346078367122128063164426606143650350539061946171629319331161010486996316979200*n^2+ 133076662868084913501380999733309801866769771386091566482083089250599262640351419676437351505480041579499141771990338109440*n^3+ 191154164170141088512514443720296328766045214866569455380459988974466306550902857571511412857250788562810802179571097534464*n^4+ 209421022767136791286115747580234119066574086461019382641480972789396441284952231910989668577987593923178521348376161681408*n^5+ 182844468425030375495593065565524088718785475575231486703593273933814445212176397854593352859309320689179524482904595890176*n^6+ 8681962010070877090085966298176148749674641689070936090418022669056794489496877697530984*n^42+ 203063104717229556689264938011160219120646389449784928558538752690927808281529837678641*n^43+ 3228890335589164829080465544743806416744696454037279261707462820137526651608528022951*n^44+ 24339757388065302867860584846784646325343359046213257061162995110686519447077371542*n^45-\ 323420785997884603393574763415222620365652326931935064604766441218645999452295500*n^46-\ 13370751143770322167232230293706725024043128027797932719815223103186933329160875*n^47-\ 201379075600299800820658776877941759215057950191244379405800412952171204028875*n^48-\ 1541675214897955326957273955062709942740336445584670276048376371526830282500*n^49-\ 5503628730051480274384015182443630169240481291906335439318145039819733750*n^50-\ 20887874871561089329598421529038091848555754861050901854729907443328125*n^51-\ 138799479540052381545561505236400802458195099594626277781418869859375*n^52+ 11377444416602065230095665074322569444558492565045297486146367265046928353192025059140788413645929819482096618642912*n^20+ 1459027270034156158083556106686039833778710873477532314538046417759092023052300347181720428811025604280267234367048*n^21+ 166511310018016293187529280845681965419989735285208312257003530521136396001060507342576439250810975956757599632934*n^22+ 16979198911675076497168068634996181506337926832361914004203287609228353542145942797635050989527002988707084456321*n^23+ 1564726945901407034770043213800416558017125692753552900336135236601703312106599054999623812247499242581482344553*n^24+ 133519087618320030338422075042501549843799963788802540217155999527455158108414171936404944199434446092377514942*n^25+ 10972878990876259807704728970879107459442156265846306612845885353517884697338358645197091811098093831798630692*n^26+ 904911246409402346152616802356959987876431952878192769329923788062757013734932916743361799138787465594193567*n^27+ 75769162882062056288269919635162222128556528591153495295195803581013121829262756926939438462378265997173857*n^28+ 6238620018455661604009600082604190067790450180503224846938182680922801645271103748656831049729429875688862*n^29+ 479410898020115236070143434602477044975675405359145333559581684829871162018395182769087681033591570599280*n^30+ 41137742999106280629035557479459010156032339128074269932719328149064354007562481228273969175611286111498660869181215293440*n^9+ 18566363368081194947893783824215080138058945173861843090725770079330710795408021108813323883728181083386841259324380643328*n^10+ 7377488777827120291236417550201220344281794298074369584263373911668237543627417079277308773969403442199268084047311245312*n^11+ 2602569818446369030953830955326595360712998443396155826103386077555916198520884610056803767624126011880500243617029578752*n^12+ 819622624157232428305284793852395937743521364969766312973754423831176634930011887047301615907522904179239596134703968256*n^13+ 231151407321516520743649700787268350173541660396954252776702846584021111941521171287371592895527183645153726284450450944*n^14+ 58447105885009820614509533680917933995750738048561593408598185453487353482182578081454042924588021462704602818102863616*n^15+ 13247019944119634342576258315176849029621764140373484212261657707552307203012502900352751777631578941445313925304475648*n^16+ 2688263819872899991133540122542872277062506314760890997312546534544867530863610436587430469565891010542598873111319872*n^17+ 487650746395656873484938833703008612040956726708696906113603702603177709573593079955784213593568638969942673779559488*n^18+ 78926321553936543070491667980906713003258989840597373058364561971513456551700351364643509001062396353929724449845744*n^19+ 3047816573089281477496891789340684745554736724252117857710956648294320930876063831640912192584040926605622637284556800000)*u(n+6 )+(-90351065408746919940451007740363500861235164496418680555460944071168113467493836306516394822673768758864311830982950912000*n -352821864765467772733258736075928739103042048411835205336414368863130166637910887528133676089621249944035637334532881383424*n^7 -196639026870797173080855171450443623839725462968199682629994883276639179140550378244276004775757226781658356157654338502656*n^8 -39508171582573808784695763648692158010302192679081622078401455764181319172490961563361756533177198952174*n^31-\ 2359143865933403851242760965898292538815798833840248553969352305524042325926921932796059240064839782492*n^32-\ 117741488984720278172055846174045061303495502315637121459720493511326391224292033489993185113491800406*n^33-\ 4743687481681443676405583004863566368549453513866796710977188576672850382444782739191666110111433858*n^34-\ 145596031142078149146134353365423901289679153615477752195413729501857705473764264690991637872848716*n^35-\ 2988047810044536949189230859067747875839868273781630786508677770997892703044554349143531057061382*n^36-\ 25845386383180176542965565480926398391023601576774569647853525655634179682806862971535208616736*n^37-\ 16677709310357552964227322093271775536361941258486025044649384448877269002531099635813663744*n^38-\ 62099099268922450111733469807407972452688229767873996684659124442982701020707989392236501834*n^39-\ 5917520396565496183124339004437539729048272118125393815108488342044134252735602016172468868*n^40-\ 293911630093639344952432827239103665257337725915499839134329992065136008215860821641287006*n^41-\ 265162500371745774370393093746472150411232164248704711823251911883169604185328368601949885458692575763398502964463350579200*n^2-\ 492939073447467808316077514571487125236798609763250324539610714750173481863324089984441001884231721564419685755141530583040*n^3-\ 653934351001886140156012732602496383100328468448554521335282985301475256421589416944746034770709390008928863553205802369024*n^4-\ 661577884097655016500557637152383650785067259860505726232309541067585925925878744812183172584123787250467201173022564155392*n^5-\ 532999233264966152848676124538210441631475213214438632466162743905709141733505801539975270307413373272569214052786377850880*n^6-\ 9827194190782283724642800834669432949464665461106195324431196820821860530795577882466786*n^42-\ 234268693948140792597047765558207619623708351931924407290476990580747302552362288636716*n^43-\ 3813368336005549463124666252197342590776192912642441233092962953263022436576492060426*n^44-\ 30797882151641673145855441529168236877556508380892519366362703806825866349464525308*n^45+ 327900631244561943287377583136615623135254525307131997780599136063044328244506100*n^46+ 15017858538242270762403741565497730970060494708144313355952207087296490127847750*n^47+ 231214543437056247380013626318042453471282759395790890536438361224498644785500*n^48+ 1786322852837165139853746915185716845883678508145571533895267712409048963750*n^49+ 6347753047984371132069354712936439988393233220152257174217853712817141250*n^50+ 23877750299474985057990979875040102960960826197282859982630696665437500*n^51+ 162655299505331338857365135652312854086997193885916826445031926468750*n^52-\ 17266938019489734243241437618018420745523595614102128880138953433255170297162276662609323941017096699658045652727200*n^20-\ 2185052671210767148179651567011789465998329929862600033635018929831073371812602518380796110013830341569961649169016*n^21-\ 245361874801785874827060047335026534561510453794089826066170090083441294022618930922484618822010422472740616255832*n^22-\ 24488932999725144446917863864354759854144778717546641258670502793976540336184060979717953752979582390819860476366*n^23-\ 2190666187753091880406781717078411707611755816793696619640900865478203449563355924533362242589272630153765959868*n^24-\ 179475464419244440222359975303743114091042195406903998901528342071960747261401919616203234904098960722785638002*n^25-\ 14034603665652291891340566716783429294036038983799995045124718045271829111302810649160463802686930458754684318*n^26-\ 1104484303870302558361610121251303634146131680692367602747138688034774544906138060411424929531176619329326788*n^27-\ 89920331007460651221742179758323071902303360139935423995108678423814866063519086628762060894687907009599902*n^28-\ 7361110373421707869663853863969818965138036109427047564029023849625927063574216879290249958857918206914796*n^29-\ 569970916103335809480880172223106163713270214983520720697829553433433449624407032742146495785042179323548*n^30-\ 94143796924617553568047075492269276807177379447700319834134838554601300074936150082355652129032033160603377276181618098176*n^9-\ 39378277693484874247375570536789353297991223308479402962777594244282531194207513121960506684319777861546595716658306416640*n^10-\ 14591990030416181240683428473092683139717967488026970128391906731426987608048621423969571660410849638200596550958823211008*n^11-\ 4841776491669886785454469849620427658173916382360357544406082536436255604510180927580272831382357648802049429375103000576*n^12-\ 1448755365374491134673361391998019603339993129352063963024158115618754685440210411970293200975209082639345724123056101376*n^13-\ 392253648231236212828255424888028582202370411262059651432387966614165463863994517280379205335446977910147303895950530560*n^14-\ 96124970664967315631580940385584168972261068176080177225077429638870202286996216997884008272807907292321343972148420096*n^15-\ 21278924084338949974602739053116646386484028500128339058017013340279916800361949348938418546543219641843901681171001856*n^16-\ 4241459098856644691212841873602206607293592317677865407060869938511804714740373035052056252353326635661042586800225536*n^17-\ 758477142233867223593526299598439884434829959140464888078651540923593215821390690657647805268725562484655781569321984*n^18-\ 121242474583639267298935185292046339603939017883930632358319557302881648539359752240005939713204403783432773085025088*n^19-\ 14612388229349582666051963268633552399171540981937834742138554448834676499193304305540329273579436833170294535775846400000)*u(n+ 7)+(53353219000927067512321376638388561915685572894046285746929129522433099882005220903113415904293756236172703510357344256000*n +185655215552459735596215746647342131743874624710302467786527012281965234134578590739164504996620487798863448824078911143936*n^7 +100972058979110578233137772623835218905528362845461229799133196119669895175729104323985872056386295917852940487002815397888*n^8 +14361725964219758792058259506365128077839299243097193910801677466708479712032619800743892540250659967444*n^31+ 858008332954117578402646048393264554213538436020242400962818396117827563670710168137051223289502642596*n^32+ 42774943683225765670174778350401308304303796836886632004226541233788743872367264414327730613532156164*n^33+ 1718385300799457410780842975857679389209518324653291888422773858836466995187968669154044122701542648*n^34+ 52434001305003677842137030579378558579774522360706156189837018671177148559310042342680172085315988*n^35+ 1058848913366574672118477341590895168126640133710640857502890182539511895613280898433232440487736*n^36+ 8085632367760297178680150612823007790029427536542535791973538280333998505022145090266165306412*n^37-\ 59242838263590198184635534794106588971968530237585140006791039792558873405343514989538726108*n^38+ 19152221026160342287173846056840240080348400505929383546629737707238484857119531146438397640*n^39+ 1987660966498368286034957968254026483508452434122213100041473032418001508023338116155749020*n^40+ 100463756941684889715014126524773129608293558464457961519133130184714870808936388057921592*n^41+ 154013281882578708211389311470811361999038528982684811159707955613104223734664201168483600853139098181412759927491500441600*n^2+ 281445302184677719764187396469449050783805614291156512785248669395546647436189199260028628155734452033493425001906432901120*n^3+ 366639067221569521453938476950465023224179362859571277258621929792267129283572854454793085629056867793843704981919620923392*n^4+ 363750252150249518323755486966904293219625572028353458022440000534250451437862893743734814578426175439671570700406452387840*n^5+ 286934138837353413628191588157430759435558950323260657196392667530353580836291753947048378095781492602595232648239475851264*n^6+ 3379653688374213273630217691509818665148775722377424958416393546535121253956699792984344*n^42+ 80853748600097980658893709374381157227429119260261074579230315453971429924153055942640*n^43+ 1322250227417590577864134702203937624021129325429499167687079040205729257126308538568*n^44+ 10853291510243311314016003205739035078658067718507894881472312380057057512288876464*n^45-\ 108187302428834185659376802934249049405132161180103535516348928738154897136049900*n^46-\ 5103968733695334881696979217633359398094038692148014702584588930391302024601500*n^47-\ 78880973320866923493238144363330424722148523961610368256247352084135626676500*n^48-\ 609479600809122341937435510892261435593681384945784343138778861303272047500*n^49-\ 2160726685827732276708008736281867829263052525137839326279616807458255000*n^50-\ 8120485043642723799061488385760059881564536889096950517440430257437500*n^51-\ 55603534310697752746108124300773680597250346251580894194668528000000*n^52+ 7174373480170704140991959611689549283474107391469422902993025486508015385974778543227701352070624821124987446672232*n^20+ 898965295086625993923616942684565696308700717555366046530244442180268573074466391784872963314460863434236241408444*n^21+ 99823613533903390256257174854302408865897206117040665509694037623050030527512130196438747060644336536553169274348*n^22+ 9831000654969151278895383756685015400136364559502347415265646604563840934261624842642404362750981095043109948096*n^23+ 864905515263553518495915596656496535506185552655013160522997054547266449163826721256263471914164666164479229652*n^24+ 69389969239835490101137474592414241407769241499432792936156834032754062610857588749333791953159560490471170512*n^25+ 5295584726591430610146361329444654261398727769383816261151786154987498037745151545278118632237898263587153608*n^26+ 407463990941301582568962419204121506721208745907307422265789244613212646232757395223473272718286440410061960*n^27+ 32723021567172191114964415386048172922618304494000989398692237820022896758529883705681846551250473859927704*n^28+ 2668492737037130863473098093716636537115216279193316510104061495359167509577845956041654838614776264083368*n^29+ 206843130251983056434153564980769645882291202467606902503645070486884727289743370027461069325431157616604*n^30+ 47111073132769158196689890433727745120874990344272240947058545248462866485902646853448264473369638960100045993214373838848*n^9+ 19190840365049295002820650281487186480886471394306531756239628064539867032304395955223849550686999546279110842907874377728*n^10+ 6927835556783448855976827273438348552061844157172798288515041295171525139730352358703265986633065350745168732305673203712*n^11+ 2242767995621877081608954279527289677079734971729338120811381436131151567820736733881916844653368264743374074052659193856*n^12+ 656415770504872484020262983073833818214147505341117341169028082367884558282963593951753944852613627737145961796817871872*n^13+ 174393899409509367216053332908036075468613057522448122226632212778712230412514076993079243317157880784796818658343916544*n^14+ 42070122828318878853835174545159508113667779676173113790378405297626212996492696767482799630577596402872984441101424128*n^15+ 9192971178051195522632099574573632046948763147869605885855004431906743621699626523172398555226918182819218969594873856*n^16+ 1812469033473929371700780393664843679779871570764037761201310607442080720494387149703335997537067655234793994551729984*n^17+ 320988298724468270745376971685105531328466914458602400202109881971691559939111942671813816627986739567299883383632320*n^18+ 50842651353365764403110931210441211604536599254585471057917845126061491676351451250595592052705779940098902271892336*n^19+ 8772976604906881611217685725214594569543400438591416692704650918519540984108596508369933902798895547517500993726054400000)*u(n+8 )+(-6547217997374626614091572936652258855634270530470650669029529233807345125897703358118078671049843730719799397591285760000*n-\ 18727049201256495344614739468490141037838423814634063825112124148617469532608124210506197754571289284406007678180029628416*n^7-\ 9695224268832682284429124065177958045620357904258653884295005815860116794728101204670031016537584163016571500407900995584*n^8-\ 372404219645300962137934041762743182983181247112616281025256958557036264306684656618762336062905910285*n^31-\ 23283011542241269538415070536351197473422773638784856314419996235619744093077301330270128838243882541*n^32-\ 1199484983943971091463536735701717256685058789085436338474963830732359497410899872848609378911204669*n^33-\ 49206369708930028439981817894147022672489696332611772608786728112649484205816200745927104676709841*n^34-\ 1507818977189953582850007085568692695282179329845770682027721103086481067157387307378713087451197*n^35-\ 28546798249805746009050168639843725457511521518967785135626072020903074247663337252269140834109*n^36+ 10968309333177787667685855799770633036069643382284304472915188011747343513861783127777201862*n^37+ 20012928851832355797249518706871444034745528053865727851733125704202316341681628419466048018*n^38+ 464800210363433225261600279255924050432776382000501169400030019109887235450298809595273314*n^39-\ 13103315315557127876244720435931085819473764305144755300046965024055825083934611320589254*n^40-\ 1381969080920733560953198949654064026352210145998421124118649645896459669110609468844732*n^41-\ 18427203356666544772050465470489904265417835035730152946398479265421817400513947334106175749824822062550279964583788544000*n^2-\ 32777153584029450040438533498888120416673873272880742186763922293954795999379800431610306037889900942784834270440036761600*n^3-\ 41451031063593285101442663557849322133753162756599213111442735608137500297288643290509927070598482434162478884958765056000*n^4-\ 39780348397694369326746740935850037601020207606258683829045911307044844320995274173680054469260234370501698859526132858880*n^5-\ 30218162815694373241300388636186762909937733606619478594528262856831620880920627962668554826139538088951217712577818656768*n^6-\ 57316054293347333589503795377880627317425170978365870600871067218481318222658203022904*n^42-\ 1554811249939177777667490747650189054622813713306890048521673767370076335309170387704*n^43-\ 29027903295651311487428733357238815549478898809685282850537321494488893504522661312*n^44-\ 320899808215812214690283527969697353630969982445060866350505088321815126750443097*n^45+ 160586425728047046448272129071712788176510809844273681065257374688453965680675*n^46+ 79262638950778749741669670807884782850427679333027089801718075979334191126375*n^47+ 1431726620930841374705715504947540709235216376722305911284453169593155276375*n^48+ 11664594193180378700088137240616786182047260121489103811628797145567936875*n^49+ 40039116007059686657930111519912506811515717772958363194319017268099375*n^50+ 142451016404984994980593728971988655760415570207773031614306602171875*n^51+ 1136176063082086743882302622396139052549521837456721000938742671875*n^52-\ 385108768970514226723092600669256598615791094823106363535188625895212322999201324420404957186880323305965042768208*n^20-\ 46807381455969010339390133177203557002170359900738500744182816207250591090299689337226667105197506514114541458552*n^21-\ 5006358607821812380837693984110120473405512422432492671428591731318233832137556799390355087079629636510704746228*n^22-\ 468797049490415376412482283748271542198218259580707903230062925759388806501298670183247293039216266693072641260*n^23-\ 38329976384344100898681685899198673407794118283293884962451504124805720655702734312091562801107564524414878100*n^24-\ 2752147045076526608108835075579639530803568401957196164777998565567341606867390092163948017097558463708558402*n^25-\ 178785501691911069173928041691484820253478436928502011360558495756214751471893936988559345589499787444337334*n^26-\ 11376863260380204289064522867302008590995503759600104900394513572164402136778998077005098683881168535756798*n^27-\ 795696479516045302396501442680080162716684434293143458423259238457655680765477946174210602799340774751878*n^28-\ 62987208345630849322493221735565336740669660927058576543070041688075570762477894970038411246860820221733*n^29-\ 5080601519901263547844856827889588405887765223300667655733217984352649648791605672811429799394439208177*n^30-\ 4277944122017229566330793886574522786093594404808593944138696141981912839757965718391427261000966041590538578032179347456*n^9-\ 1638055112276826562786884646475931897588173399139088190995196512275722371957821458045617286244648705189603748511564513280*n^10-\ 553444062612250903465915742528158807927254842969772060068525839429809712844632904134730764168945088583790604472349753344*n^11-\ 167483299865375196311764341544949776503533114523086077828063420566550381107079754477298587814525854257135852300703420416*n^12-\ 45948232987008356878179323030454965806519439068636731648770965186986787299291697449862293659780572933159950451211581440*n^13-\ 11516239876211904598932459764478973703932975462772847345042880818714728756981775687497153871118873525481636719401921536*n^14-\ 2643468640342019582418636907742778947145718401480857171272066657959496883939516642337747034705411717500096745183880192*n^15-\ 554463833484829703323980075346545399251605505357327810059376248940913265578775647780745000972933632268309201293390848*n^16-\ 105691352051157817259515507084864135461715241106624241165512816036087489019720748192068459126214502299356797257739776*n^17-\ 18184444660260798955074547537677437000773309658387479410241336350837586971569914811958753105038078298914501305848000*n^18-\ 2804329902967361964926590987269417117302657208333154223836713124018248135666152028321452430836322900521200318480768*n^19-\ 1103686950407001926898127710388082672903486246927067123830580121406423340253994607147795176204298607763104613793792000000)*u(n+9 )+(-3806286855292274749835005190366929817373133707192199036709139270252478633654384767891464978412247342736555729800396800000*n-\ 13673448094910622861521004644380955426154478378523071582811367590568455948293262423087782044184832341404795118741272133632*n^7-\ 7498402658766171903940570057146966741904506827667260374572447130220570980774451472478365771671733519112349149524657438720*n^8-\ 1159641247265194498552902363195784209065196973056087841859029143089439823654445206220078784581141305241*n^31-\ 68345558169902534393160898612001708605447044999345218217355869844371379853282945082708672931741713329*n^32-\ 3360064383709489319862929950395923343888345313300498466874198444039116402294640588671537259716613156*n^33-\ 133027375842626730181660167371567951820504723486697582650316043095220637725435324977145997868243430*n^34-\ 3994452021761345869365214958818695254657985661036297400616998715061153010790659025688499666564085*n^35-\ 79275995688413353824599991842377232219011492457082858975472579063643312858501436541959734808698*n^36-\ 626446222671351093783906748737992918337343164676614415546688639388560960575752893302601958728*n^37-\ 1382127512443756914466896392759540374967347367579769473693110113193717728826898282392339082*n^38-\ 1866164009407405773765646931001658018969269834709474939660647029554494545984676379683146853*n^39-\ 168453926939571030103054548578372701573101673865225460883800859334741590548705491787058067*n^40-\ 8151801151290729604268007839760969478928970280242154727505549111947921023375426729646722*n^41-\ 11034359624432446456561665475973435495801339850635573508683954032956430006568667603148136200118906579223637431391617024000*n^2-\ 20251650600856710549153490210170367068246367554900668982885186409446230542616899303262593267680177073999570612571760230400*n^3-\ 26505718752281165776185954699820143825087934362327908653651201696553604606359447945056616366916856423829393349254326517760*n^4-\ 26436500601383437715074347608740295473022893588983121404371530179958448252712338458162130607544495592885279405654786703360*n^5-\ 20981946716153687614503688878821661795279772281242257208799739883589861663678266516912249991136575491252450523180926238720*n^6-\ 267623182362746873188811637392462245215021729763108829140809911474557292965856934532292*n^42-\ 6278568762350840537073842898087733900806093889793810096345861685941055085190404430973*n^43-\ 100334895910912001671372401656078529982580739310005869695070842935431521500562905054*n^44-\ 775836101966302158889821271305122020782609159219483156118940893367074785192155770*n^45+ 9334804808372381210883538140633851107242307872524526585840322872371138272119000*n^46+ 399922171174237174436372511899234738795107520493183764319925971975151005761625*n^47+ 6036992010579718438879652058254727691035552541450629459719487008060123383125*n^48+ 46072350392070440007270578262567387906010417928602040332233608698975080000*n^49+ 163663095436378658903680203883498754010161733868983776419391690299931250*n^50+ 621563718095365385753717665416521650312808122207313414254295269078125*n^51+ 4153383711447621288972362682341647888559708856012512613621078281250*n^52-\ 560434293480634036723857723954721563138638512661448891622432334307827185442890778720273805208732525880887758545800*n^20-\ 70012306632588464975797712611033478167840543236334648745858246372268579157319627719057373442282165640497123123060*n^21-\ 7757103001610054802888710235819109407523248961439050692806826790152107559110115999103154603198681551357339184290*n^22-\ 763673256510445914572248582481989101722633865392562219870023457350012229355484465650220189784266209605378930299*n^23-\ 67403093181545335063414093208811466263165622960214071224083759538326149389303196692542634789838301418416054353*n^24-\ 5457105189153112967044758227571926184395480760004251893410942320482674799640454463853161524419157134485816442*n^25-\ 423222048756975166897812366979876105692938800538121281790225248938777955709552940208849811729249145781465352*n^26-\ 33184795338168876426631189450927523498556560885182762591755927807359152011654068399126033654231399574298475*n^27-\ 2697545688095179430315374436338140822094346002287821606028193541903369827522624597064556640416262134553602*n^28-\ 220030029942592315037846578031528343174365115893872956136428506911179705201671062515333362927568672382314*n^29-\ 16910277998198465354530788211066423782326648403469057244707338331034503060936958525427293353586426145612*n^30-\ 3531437838166664741386644176352322045355826466520131023663948334496394999296081081081605417699726722754004520204023758848*n^9-\ 1453169530497112590098819709243694156424118413795365220187195991756567608507785937130028244610986588513001375639540162560*n^10-\ 530016745677240866826013789897474813873644875587137957493929446951309528534977049067438054249752651814899509655957753856*n^11-\ 173248062803354031627315633523266449528194872646897526489136493905883221928402157132245494831207584198936547932929148928*n^12-\ 51122229762260549112288360300623944812643951062157453804547474273142118209664208661309048386026237195280751861237892096*n^13-\ 13664333576594394502481958605765847093656797470789365457515349727687319222620174453646632797521438212011056231740114432*n^14-\ 3308458537677134438399685479409566036984579509469418529713461739972304682041751379196399201701813355170241348337432832*n^15-\ 723976963303431184768070883082863455782291243374912723457684387044795697240354649008314498030541687670062362493080064*n^16-\ 142673754475472382778506942805512400837002094587747769955501520674627359454948391493107514483592263419000934948389504*n^17-\ 25221282874018217375029429757937911084727620995292372194513949440776396137153171203385165516323561098293532229960480*n^18-\ 3984059220492240841824112333555253876834893928904682290093640454788072707046694457173791946949593765516652755573104*n^19-\ 623016440785833319494006388975141416270688131655960878475397636859169174217690429818156875391201449979007639067033600000)*u(n+10 )+(1513619057636477295132966779130960415691922687587087784506498439609327719520713206153204259160877928446890781075046400000*n+ 5082042789809833855723879997368820983178948478742663793398897423399926169881169068006331410897369797245018912400357720064*n^7+ 2746749208800585177874271700610459911659656989122526859963842780169994501248715628974911172638028145595945987482775191552*n^8+ 344885202475453086469065240344650069246595333474936015094533399087324568505646801399388066649076533351*n^31+ 20301154785861069543532768765914654835675632604014783770908693118985656553289866039465344363239942858*n^32+ 995683717058593710140475902673085040223076286058934402119191162667929583770018792684574627838798169*n^33+ 39273586487161068037264281715119324772247899043170772918888450801220328132928839104831987642682991*n^34+ 1172204202176384088800758085502020153119528695553644714405898717802898406241058042832542906410541*n^35+ 22947832632909793996415972034100368369220394531328334380992126296346909182127174051505795856250*n^36+ 165704192156844444763080865710833320572289474910053135281545353894058907762531136002583266342*n^37-\ 348911262778933632534259282327065448705985532435386247026365473489668286276045541321849506*n^38+ 515534756797464420944149368892671222129849324247192654781547985214998555067467953568924550*n^39+ 47980172266202134014032797952318656675364717086594601245422138503157218035700299510101115*n^40+ 2333024262722747729960946435417912044592120969322176679411049379870264904502723361177326*n^41+ 4345918311087080353927928723530081303503280207378967937555881177843410420763573219463464865071386907735217825147518976000*n^2+ 7896960043406138875458999880193431018587136119052529576856215608702160909456972247761165925561478770384280899674544537600*n^3+ 10226543048822362526321256358790469006414931085822672085169656140333119984182929710754145308259403076509833357062874071040*n^4+ 10083721889847121493713108661051729246988887316720859901730349944371187454554880761114016080462631901324942500616806072320*n^5+ 7904325985371192035067284314536924333588350398796183572455781039657902911968090727766529603618515786356532271285241118720*n^6+ 76627725057099536515373622525854569837990849033785177869504902155548902162125825983792*n^42+ 1796879215424759935622247830414994911460352363643186221765160699330212879848726389966*n^43+ 28708648999563903037390076818353382436332356143986435581815127323238370092889690913*n^44+ 222557929443196871691251059109192019990109731353175048377697560180375071787268575*n^45-\ 2637077180673246219758089204653725294942881219297284741044866421652102188706825*n^46-\ 113436941311232643726051587542238644709194847946316912588552892798466877228125*n^47-\ 1710481605522223008450413259249193849587719263843112952576565213468610887500*n^48-\ 13029097425769911959287074295071732220984516415615540525848908882283381875*n^49-\ 46223860552971243485378936965270569027508572190376031321911064084890625*n^50-\ 175748634693287190870992530170555411653563250927941242931930163109375*n^51-\ 1173879623127461026441871916003857609721840830244699575498595000000*n^52+ 180643655527254582603257708797893379889598615271180495394434659048091442296024731695448718961765186652923238059472*n^20+ 22424307563116629865534943667418952582003737919259993050672762409890426389850172465566784690903369295164605744296*n^21+ 2466798441302462079606808243068698745080964711690396895942586576578699639119097710900483010213068887181984287360*n^22+ 240807338989738151526359922917375794888271274357214298074158394970099449942913995443104150284727765214510642496*n^23+ 21035829177519995000814809571373386812979525239069453001195783742489438202013472808198907642564525316425679639*n^24+ 1681849522889961254124414749068142043074868634592995208063852871145187832240339318900053652354073244427384412*n^25+ 128626693522251648371221239002317297991244195733203863994771581018608962450380564357778564360694940356477522*n^26+ 9963252820642308985391079206554679989104399584351511196356494652185989112467068862821134125331212906535668*n^27+ 804244824305289652257911794141457583846854776047338828726533637422582804950505922724023054276399077096005*n^28+ 65462700497939449217408582299979639608023243696798447818078743411631514680142817659898331111381064404515*n^29+ 5030605947928374555133312541963840587187323341282401200016629091294929629051694572329596038981362521979*n^30+ 1273859182500003809637701220738527231452983988443456395571856617291295224615840344676916881754841448463111010361142935552*n^9+ 515952689855828108902505306043860614487249421159297440370567532230730371434753754453198544471372432764383058228307673088*n^10+ 185258409119888550398874326800162530123795056651638132323300890426173199621998794164283004260739768056781052458179117056*n^11+ 59667436815259132147839936041485753564351344801015488919237805910384516145423134295544157872503539186290015042252386304*n^12+ 17374998167475748203959009903956906724080019184306887267160102898301697448072700678753972007553931245834145372981331968*n^13+ 4591706072664065271273779214983497117104709013521105997717214043846188412516225933385168452522385108059530213269436416*n^14+ 1101307690894770962393538444911614229246439348284846919668547815602654721694158929398458833657357232325616035210582016*n^15+ 239112750591107309222830562980916787614559289243169313652190819162013009564133150107448339444512346692231951379332352*n^16+ 46807672756949876357843782876775737364101596649914636570039629042748633105252556923841858368860142507805310899718400*n^17+ 8224838961897237491708449411634294780407075080942899273121314875068394847097662130530199791099355196834545957009088*n^18+ 1291755669689443975858257225830540224813205998458517435024941678553710736308960049909215983874347767519770376464192*n^19+ 250164456982584272240172086327120951330185505158648132183545669137825575858994842743398568361930740723467506050662400000)*u(n+11 )+(-228770902295453580888657464066700791648266798789919815751089719839299392608480623148003559679774552527217796264755200000*n-\ 746099237391506244388016860741351535622416662258946781643524816255305601815325215099174571102728837470354755047017414656*n^7-\ 400719577720141879865340488848083817865739543158469040686079124538356782846348274721073527148771401224743303902282252288*n^8-\ 45274167076431430266392202878278654728807737693135763017203809809929602681685186581128645226804268479*n^31-\ 2658073093280630439532444943124284134971924952417880438281061471408478193593073586126452572720483129*n^32-\ 129924109047865786769192496636558319305872684435828143490228305060246915691392611073770910580127766*n^33-\ 5102332187289389112902104042355725250808325018753498515786776206955889583221547929206052264358684*n^34-\ 151360240117748865352311866694283758712218892378144197739095546633410762927981595384827478995691*n^35-\ 2929324849158443294367798754944864740323504301047860907466733002331335511406969396709857679441*n^36-\ 19951596582242750836412782154301986258774465518685460275788459744216892631805933782713243948*n^37+ 75169627270271118093082584861560516046124107177836425683902009587075519818249772528765870*n^38-\ 66162359990169532752096619617595985646026792900375229426006191897415752632287631340153205*n^39-\ 6170518264056247690298063463962239328889437805942155063003266194949725264547647299371259*n^40-\ 299206318561167040414242420951861045041980498888762402631818375548108576624358449488178*n^41-\ 654186387141197414532551335859350817323913368615457943058681618704384689411945952399064355539558381935191063154130944000*n^2-\ 1183660388728480101133264382565198619784287364020210300178747100357080994248486608277751271571064542670856629518755430400*n^3-\ 1525847164351591340425365391486163891572220416323411540889839073336802867247804235771555552767390663010848757271557570560*n^4-\ 1497111100212265094350479279703282909654642539163158679953283396757440796534921187802496104850749383921029369089354629120*n^5-\ 1167243061426854998875937052507404498438144956086106038381095669087527873254428404514396825505969511674653197937324064768*n^6-\ 37962200596758313838023606955713849542000581590762501058853145166739818367949396902277527800469222306469006383513600000-\ 9797062816777311688457894637483350662998657983636196099186479347127426633730772672732*n^42-\ 229030027177831698848564435356638360584362200853508675119771834845195112054254193969*n^43-\ 3646363957337105140165116005481559707867201839183467735619970452033240303157692203*n^44-\ 28056906404961555785871311769709418482216842240736633213382405540687471151888716*n^45+ 338238908723893853585521671864385560222565595725847047955366892367790860041750*n^46+ 14394707650812378050120188345450720769685710539251260207292598090623500995875*n^47+ 216146490362833627763551109561991011204615278551218844510239145619613809125*n^48+ 1641333535474882019551461803283112969976290819658256186780765504011028750*n^49+ 5819944736123835542911946814563813613354066472542886739965034316907500*n^50+ 22180054099589057211456712914574587915576287393399590028970805359375*n^51+ 147551877097003069728588812960510917901121559839431403911986453125*n^52-\ 24760110184151653737401914299193988120767281087049838852511080774805247124839117315321356311115069950821088215192*n^20-\ 3061147965314974158408836775417993895889889280647777500478253430531431817081012410307858875305034915408189260948*n^21-\ 335242289163071369481691227063459655985344354830664100628176408733101958570902112488914240685805448134907849654*n^22-\ 32562551976910433511118515684866999280242513255870417934954131812106529117124146281709063346391041871423275887*n^23-\ 2828421903621269132879249914792951204463176039459032376951290121652036768611759203190500964566223685187812273*n^24-\ 224724323710349632100433010497419824445128289529638532873862843314642324003413498161657163678843010810419270*n^25-\ 17080195981586316039106785207458781727905942063163725246777034026908959943313812800377977988688783363975988*n^26-\ 1316643449720988711074651278922627429610608085724247480279291415817586691659682774364269745349572769987155*n^27-\ 106008599998361628945409726639124224242587712739962868705863831315515940278751712781356523814492861437553*n^28-\ 8618779987918880449968701679440386298448202114703145103126627178900966201912046439753881905620703481588*n^29-\ 661575988304991249141071039514133352816068539165594691623340665322172516114246856185919687644801799054*n^30-\ 184602522185488957430754611962459743166001455421799616345647604871674158075959307307379531968824355537807953661803429888*n^9-\ 74253786525679034283378693423318135828279442272575546071729034522406156877344679925758846815994460837971437610104225792*n^10-\ 26477725988974654226591984445058825357286329517884075098454984695827404660095853792925741042012034132214641611590582272*n^11-\ 8471489873919201875628108757941851559313648055926128836415230685232804539318831980398556439425584416315323924993267712*n^12-\ 2451903763927304854742254313949105745999868094504231238331416947564890540932947877178019053225575927915589238023808000*n^13-\ 644477865081508535840501394778953302401657999138828316702703191175204462016006916381312404851318663550679220823506432*n^14-\ 153849037445548013195979233207531180244833993420925027521334748103562779036565781022211420721875069211450148249312000*n^15-\ 33264583569504638776701473879469223255037031136377499055796156704489605820130098247823471405829866346903307838000640*n^16-\ 6487054782949044543137446562394064016666148956961599736919649869925646216614875448270541870200491115690358329171328*n^17-\ 1135746124556102026900594155792795215774670124250478573525900645577602887088918939903133662662474853890096193438016*n^18-\ 177727562281221998347958499728834835240605111898142919715688223648735700396586172388454748744732014260954707861536*n^19)*u(n+12) +(16185148998647674129003008601333764476774240150538252554122759398175710232298771396384297209704247782122051547955200000*n+ 51507854103479554601146630310587116076231472633130148922938489233385027487796687842144946346573087375023560256651264000*n^7+ 27516373789335147485368428999260313071819071619482219804649616566107275257821744219218767534029752833050246445271613440*n^8+ 2832754215118268147689281399511423749745679301769293866883876556600749494290397910522547588169515100*n^31+ 165872082052929868533260988300913158946595924825666296840735659871720463920410429437899151226828140*n^32+ 8079990386251911172372244689874623772555690141359176437179726033717574314782098815334582367365480*n^33+ 315933587526799766707850502339324708799263789710437132350080941687328497998892366053308954642800*n^34+ 9315436479056570722336750954755889749743715624430193527938513126075307605674470852536339114540*n^35+ 178263581143636162850886141282346111832515454600944875333272542162202403229536999924041883180*n^36+ 1145284420320459050880907282780759995731436174965781844589009220343527290142796017416929680*n^37-\ 6049047884253549255308032301311800945951832613337702962119045034336995705723801654194040*n^38+ 4070100245950068098754069560687648291591316799815165820910857698076968386133581066949220*n^39+ 379244976156512395181772622198354083067160353345034815735761587917382833484399195613780*n^40+ 18324803503853374712894567585185863440496219926455556341789945461550106322128329317640*n^41+ 46125206816950699222057593379866421795135886559718947701494704546606161974154876151122925195698610786109976110694400000*n^2+ 83158941478861699315175720909054870716778121665294759390015696625403668297731893957861324985082356969194557410377728000*n^3+ 106788321830305828266672886828024653713632382802637284879267962336298832601146657491320655864676189647421065638235340800*n^4+ 104341154191268353208129325481869325866540041705116223005286744563260068740009083255835194111237233442677592713771089920*n^5+ 80982029798609466640109323226907968473900517333234166261458255113916779705346664827097082898495659434250975687842201600*n^6+ 597967767828528466152821269159213751548328087433828039512115094577698594388556601120*n^42+ 13932506815607451447290834068859785015251071867900402674282080933481204902439083860*n^43+ 220966054621558857589217006103207524804916357097969090639814536323313467208600020*n^44+ 1685679249642017778621124278454376909111642112207190609351204935932203758973120*n^45-\ 20743509324735668006783200009609412461044527871345106124816432266236209301000*n^46-\ 872187844668275541475114455295221413551366767119738057942617113029359687500*n^47-\ 13037459062250348891930548710652716105415337158291790387855977221038857500*n^48-\ 98679891870016404047144668167723458709154395636166045450039565300025000*n^49-\ 349746925325255328332085424823671039063836665116847032814525896650000*n^50-\ 1336227123245649897583614105298182439631022398627313504852345937500*n^51-\ 8849697954832863430736879347379608443219057721144125348413437500*n^52+ 2694810799810415304858153515857240979364476654379060262371443310295148354087459237337754659365163727518003363840000000+ 1610047893029859126532336220999857774291982829996127454790721916012158892876888713092898328753629350436922024800*n^20+ 198321859971979762066890611752314759326000542379781825044737588932326634610107096434655892567340072208877617680*n^21+ 21631503258157210204229153680570031677595421839835307201033594426237859524088687189839127371474815985266558840*n^22+ 2091610580706922941182491560875376260989616666997771817229544124844092783975490459093289443919497387698233740*n^23+ 180758156035826842070553567267268845432807981949317099091628781655284220761908185537380166127227328893168220*n^24+ 14282196758341433155097913185358241844101657505306869916419404883642625226326836907723556378843228618762040*n^25+ 1079675881926965607416905817218875024932570875322630868666184013650636246915352955121234368431351405473920*n^26+ 82890158043860421997392252168984499751195363298731087096400824091739601866514939458687454357405119719260*n^27+ 6659858226501575201543674428656086735768463113849032490135745556122968171919328262923858086721981328860*n^28+ 540915192737295815364915788467770041681212644107248859433607318744950925734175418828280799285475817120*n^29+ 41471914835162195914563336312724436583477593196953231996757813592844359004547320388462031249643590920*n^30+ 12604030678561186500524258035155291230406000175230690560568684072393714830022565523086509030327184946778183949563985920*n^9+ 5039802522500872613893716075253315602209399595322413078426928692472044258350975076531077652009731619043988247531356160*n^10+ 1786438390240725115225651530717276229200586157412473747580993977525298845975018809490166719581619838526893891357573120*n^11+ 568297663841197285514293065144328707466876812500200626739198781483198727122933014120413145253548662921196375423672320*n^12+ 163614535742894143572757172131864918226629310372213513818220320658885725507849756966578193180950729464126541112299520*n^13+ 42803451610111325991890322946931667073314270895228670477543169059381668999120985512157266416575264813413517398743040*n^14+ 10175777519849001310646270427095795708533888592628150687884143591426916551409550664107719331325583337637966910602240*n^15+ 2192091764020323536448865294148933703272051115960222129856844278210287328209151064721407278886067830428488857661440*n^16+ 426046882955151426983960242491230697016933356177646890908936968759506852505900985712990680385891547261162978106880*n^17+ 74349621157081281671972487742273949253331949909468146217294138128555240187255424714055891272506591904654832016640*n^18+ 11596557148824218951687164857189041045984526692584945314676391746617384145562240256328993579941364640044661281920*n^19)*u(n+13)+ (-154750083682278194908503458351147506971868460969869643909305049205896801459662664447802015859149424874917724160000000*n-\ 487839239578037863915696066108875238088575271385647945540893442864417459199227734468383478158481358354228275146915840*n^7-\ 260112152555957324553829165301413016481054460700163944570852871953933851891840786984052838267447458323061090486845440*n^8-\ 25723057168117224987436108434357047508896273677559949179547275187570100932993599255129757298494720*n^31-\ 1501553315366156156434718071111155870847612054407077446512233281654409253023014584494534842055520*n^32-\ 72878151540445941780496439022219003391700672604117343348384349801428270185336747074647410631680*n^33-\ 2837236078521399012975558169065451533416116998385931019418314217109484768243367495163105173440*n^34-\ 83184032437965809708754887120341030480355997047862170818054100518028410943561660035899870720*n^35-\ 1577077314329775161597521870877832315971799499286492606767192517407553253757884269544814560*n^36-\ 9795897812621556429651907746609618010769874053017061997046518155280173179657384567511040*n^37+ 46697274534508109513338911613195779599211526543768090326648462914640708334250518844160*n^38-\ 37392452357636767790676767430034781590383583233454115344523292374507075760694919397120*n^39-\ 3428457158840956573745469918377453173673689359985100233836303473019216837556787932320*n^40-\ 164472404970736628643841729039522974852740096633678555635596026656368262152055430400*n^41-\ 440428564580946042306323552590336743824609449687778036472906183206340835802105901679284708573469759463478999908352000*n^2-\ 792921340449953481468452272741809153036416771373620644443171598044580066325772715613376688883532681380170933941043200*n^3-\ 1016680919769664761740083467068401449749709810446120008234848087698158131250317520597585348122515753282532152526766080*n^4-\ 991766962980301615735333057221827062171178674474168661520895336179242918680937904121759445433692611904102865504829440*n^5-\ 768403114515352392141076155694501636885113580964359924135317014827977324091689098584930444001328372401734297300500480*n^6-\ 5340105732761787758634441260955517252960767977332064269033563826037738069418751680*n^42-\ 123866124903870305277018525314973936276775468266259913350579909382393036869416960*n^43-\ 1953899762333727827066524059821223306639849006884154816524405423746831683386400*n^44-\ 14700802787275128169689042956735662403535981824211584302792251047851363764480*n^45+ 187733351867072041718165583663947556580925787859463049762820789774138320000*n^46+ 7745004030096836193926401095376024669294070723469289246448662177445280000*n^47+ 115089293287838318692511077356790634785240450689774808118251371739980000*n^48+ 867865242497655539219231404815195792140129451632651993743268472000000*n^49+ 3075962312323839694934992639701141586181842462122316976975016600000*n^50+ 11787334478069258805047293784251232857435819995982879869480000000*n^51+ 77581669639348126995379923658995715075097060260851945097500000*n^52-\ 25798252408061482480774897588027627188658751147924927028777924107680691583123920012578362278670148470953528524800000-\ 14876239196521790146382747527011037965782723198944339209511550763112111821281850811522149349757357492926318080*n^20-\ 1828120348866190660201886984947101325847544775654276533300752602909410473478337607440047413936755783550860800*n^21-\ 198902863536877622445759155827241966741166462496515294534483065195459977121063672526005137738683058878904320*n^22-\ 19183173213028463516863869750874734712045105059975104452485016986924329508512072770840827840932270714461440*n^23-\ 1653696172796097376808472733714223594775820355777331238298846015355084591849415028188421128427050485354720*n^24-\ 130392530452152149994295124691885117315503156047695162919790958879841001638532488045680524184237435751680*n^25-\ 9845905380157696113418392464092585606873238793822639724494684554389174280046262622644338968742295974720*n^26-\ 755891776464910941271396729767939866530604113153218656383372408313451555751907928843950302175154908160*n^27-\ 60752051484466573530344725363972237383280197361360928617085998728331191560556206019387740100325073760*n^28-\ 4931949749508891409626723996585001768239295493193178261801000172779113455318125421100986943530737920*n^29-\ 377525585623695853490912321755037346580216023562077024736015644767294873763308867789474781214742400*n^30-\ 118910567770557162944858798504853330888134894411085401677991440864392419516349067572151389157488482199133163177902080*n^9-\ 47452432238198417702836387534120734306535094600400379162699590402563387497119914424081435855291028798479308056166400*n^10-\ 16787223543575993838656700716500578994417383511561397975666912829501914497207843298963214271169578516465165341818880*n^11-\ 5330171107409316621505155170757175294844842963128157169870686359797822929018724918129524370292222475373292927713280*n^12-\ 1531784030377352664372078295166366369136304861957129802388765611217313725840766846562955780104932553285363149701120*n^13-\ 400032295804132635172485947477506771016909830606585392914125626762124143020219088947496730739153990167543720181760*n^14-\ 94937493926143767337710094584879062743197367223824181899552913610059366439861731384509518717395029392305309614080*n^15-\ 20416150899532894208743321357253294095589828813161803099122102417050041197942910667054115286200807868002272419840*n^16-\ 3960840873436977413335717721009348033440442899228036309704497269188862630509312460202316338001219925213620879360*n^17-\ 689885389930358874358369165361767834973506640154602323484147207170178490277766484177672892742867674662911016960*n^18-\ 107383496136867692368537322887565351661362370333302569227827315752764580897468169851282319285220144604905338880*n^19)*u(n+14) :