160103(4)

Ruby

A190945(100)(4)

n が 50 以下のときの値を求めてみた。

def C(n, r)
  r = [r, n - r].min
  return 1 if r == 0
  return n if r == 1
  numerator = (n - r + 1..n).to_a
  denominator = (1..r).to_a
  (2..r).each{|p|
    pivot = denominator[p - 1]
    if pivot > 1
      offset = (n - r) % p
      (p - 1).step(r - 1, p){|k|
        numerator[k - offset] /= pivot
        denominator[k] /= pivot
      }
    end
  }
  result = 1
  (0..r - 1).each{|k|
    result *= numerator[k] if numerator[k] > 1
  }
  return result
end

=begin
隣接をm個除去しておいてd + m個隣接を増やす入れ方を考える。
つまり、
隣接箇所(k)からm箇所選んでに数字を入れ
非隣接箇所(s - k)からmm(= i - d - 2m)箇所数字を入れ
入れた数字(m + mm)にd + m個数字を重複的に追加する方法の数である。

調べる範囲を整理しておく。
上記より、
① 0 ≦ m ≦ k
② 0 ≦ mm ≦ s - k
③ m + mm ≠ 0
④ d + m ≧ 0
となるが、②については、①および④より、
s - k
≧ (i - 1) * i / 2 + 1 - (i - 1) * (i - 2) / 2 = i
≧ i - (d + m) - m = mm
となるので、0 ≦ mm でよい。
=end
def A190945(n)
  a_ary = [1]
  # iまでの数字を使った並びで隣接がｊ箇所ある並び方がa[j]
  a = [1]
  (2..n).each{|i|
    b = []
    s = (i - 1) * i / 2 + 1
    (0..s - 1).each{|j|
      x = 0
      (0..(i - 1) * (i - 2) / 2).each{|k|
        d = j - k
        (0..k).each{|m|
          if d + m >= 0
            mm = i - d - 2 * m
            # a[k] * C(k, m) * C(s - k, mm) * H(m + mm, d + m)
            x += a[k] * C(k, m) * C(s - k, mm) * C(i - 1, d + m) if 0 <= mm && m + mm != 0
          end
        }
      }
      b[j] = x
    }
    a = b
    a_ary << a[0]
  }
  a_ary
end

p A190945(50)

出力結果
[1, 1, 10, 1074, 1637124, 45156692400, 27230193578558160, 420296434943941609215120, 190200071567439616748736269178720, 2843464512159537301384360263178682136716160, 1562137388408002436396705025296003247844758163480828800, 34720858746642455813825034034587385646933035729452542224864163980800, 34083077613811306138835793220030269055400932913570487721385259423732425090293132800, 1601602945998587560679867617102875859308153634492089036186326474097633848398824106722597980721984000, 3881569719975022166414480361030560401177233237082292562788450805475422350859154139368271934640369126993346182798080000, 520008210832189859924214574823280144447190717474392949132171050029205084739351946224138534275493208110511108703374340683743272007702579200, 4108817034931721709456675521951406308059378766053681669200952831490100607724182853745547601683206918388492738793110780519396540803571324497491706210939548160000, 2034982786921758997427437813290168943143002114716345715182330367847069856863504517064952079160983214665360501344206824709537577636529783568201752382095460452410654971202564275410944000, 66904321074426993498582229628536022129348459185387800447992336220795658154975290744208782900974929381289404651850751723256480564944120411366429967092099179554077993061569125421870640939911138667817003804672000, 154153662951163661668418347459109977994449840778947953198330393605739366550668040729072970121940909926786637754163094125373800382845531577698229021548964931460056137492675286412868495863955175997012028635074610101277336323498755571712000, 26206036310945555168631509632185205439022256508803204157387941239569085476119361522467035741322197839191431808749587943541395866053555253761267116616259209603749342280444924765507429271548069898771181997027772205593291070477863507616863549294005759391332496056320000, 345177482052884108431217589827666703240033182580548644987653582270359419809767432801939597316390262636968878564153572710860995548498660478204617994488922882071743921250327414611946221153328982897021857672901243443793022498555697727451616916288223562456692556618047434108284223871430252129484800000, 369088008196948980728379678398448512084860400840579000283858155199556918068942545959211252659522379002156842157852555936199471336335909632021420943738860536677251730837683251541969289201573596723103997157839276560026944504138380483242859430170033697972087061636218420093302801472358779351049168058795428490949375780089059901440000, 33497490256028940705533966277102349685309083650014904640471864266025222984951991283493440177341127069951805992500065293059062124660448754350803539605010427326935183949435786152406970520960637779566107770069339215337737005871349996131883738258423983193351161912870415733882503333564591319021897721744390752742666845141812114935714641396934180777913579128509071360000, 269284364450698011569936670561690303439011957682942260887568335831670171120165143027612680953626131667625622328136035323457009771868073606187288675687953373065782896666447816540758375446520663436837038248240243827170667993857970624061906123140182022670397182814116494945822576062562561209002616708108700512748093692063998608702746092421209305376093506688738392146718281810585938708552864108084264960000, 199751142803409040920511371088509427708933264297357642982266996585771928246727834680652395874239327307130033590497965664002530016825424585609834355399215603696286359291009769477390509737304074735651552042000124844682567498693486831636948894235769431242103624473563500920006700906392518805810397811974986229786177647585300383241026305747604106288805181627576218063506334388421490542821275327206160397139455751724477888877042781783198924800000, 14220350410329365275568282236210640952488735398234926313796823329685437906450280252807273477499824847585880665537079413211805961660409916629535741887884166860745793696678817840130690037184844396130854729307843610283878017890065232458672473498905817580639674722302853694599294467935342281720057066140727328986800780305389394320035209759185321280941249902465899074006774232450275873820125186225598295018608025470723509623147773786181414535288276044960442313099857615508611688038400000, 100900134859203531859181082993694608176721678623609703973069093327720392597952100234644109682617570594960062784389133769625875775532907798145384194778778343415243569578451157846804495640052804393646658932263450541068604387451148615103471695387331530588867946924173924445111346276033246209436236739438428795521336398318660649506729243026345250693088886678104936797621548459041527357701410019390784401688714607288437696085668622457398482182093274055855165374048002587359286407572452806249261649554469061016040877082542080000000, 74003500221356610177615368059333499014276467552977639760837703765607191476769302594493287004487229426490697943906432967287638467739540532376377851812794790957479126891218236351697854228360666425995136279870900801910168935425316849067934269612982020612482565004675570443871435582999000492995160400099486980731494406160048712516093537307317143447440042435938450221858817957164817009455344854909433873646656748861410973252917172240183000884763156367508191258431614176913167136800317385082098009178995447428934797309884586217776390933432360803659162155599165418373120000000, 5811039166955685854897337820585786422888612575901907079195289613896138436596735285277940033164913283659238256177294367682414900329269602409316242079472588485564166427381046176952205704762579541394619385618791947894892193147887523876422685409363899879524940115396346085987614923900491536272506803814398376601338832065173691370244014349528479108373299336970599511336967239627043791264610765841060415309239615756302832197912035150672602085797873445618509052531696072332186821460099739220598111038384353870549094546732576532041046220300141576229719036149267019565655591557743067906816691875328363928694337740315033600000, 50540500554635487905482582764619239373116885344352849247691266944087711147478547611157521499375600839093652381028220982186234521970989389973837053371785913416523180160438170772998578229117591225896550543830619206453118671954422334767167562405928661780606216623062215453494479640857725745494634320308525493584321100428921316128423432684485875115355591834068887100655211863637933342223284607771821163492217221739763175138599078092333021489395521858816448773034005551478323765542333907652617581623109913994488293832985479185842157254782720381857354475517165323937453200916556876431190002768087956889606930720290895524889120465147375756478775402713032251489124352000000, 50311584445971645242129528602464312513163480715003656037854938893559605555930600399747492100326993733654342113731898678826369591496088585589093555396270579745991340132577670762882349722478366113815721969924531986970898184548670016642648455361819761399734580236858873444906620549277061485160228068904011200502645890862580651256634490078560379085408118053505923485672615983781643460354762477524718011449397541607537762126036061964810733462616561702581573109477523292467044198522959161144997712571859071765787199733653347843487191374587041588416530552622049550084590699488852084870274766841669985412323492794126926897503729111458783446824741733372497452886227167924115867930080357196746474465496722067349652373504000000, 5917577168613636817126032188407657398204394804945338141136354378814273586593270973217857801951165849428661145804759493993269113204710687658895190279687164816121835907700369050811610351369359091286088356127363191885858059365528237155303566210066228261335506485346835908199620756524223493385329180084386191174754272861591021789222696770286949516396690189769766076362778390188539385575102467409751961294629670872679976170320346905391611630775966529513905204895218675070755721119976253370739043981448183941868328052845960272061990823703734295140718154625358564258550605702309889270084916681688588537213436432176388798821970044316584445464303541471949042446729570928484753939289469438023978277764030916006317738499025253139954562418362305873067818309734113521489149952000000, 84809862388716352202959384631828939181055035563890720703766740197830809662419753130633428751527010452683479806224946661050502572793052076009082892275644566652583630559584046659018342590174887172779838442591851608291236003206444565192220285145063283222415706705790712652255371144224551202207443516945565998437714930787661032171164319624522191550020734171941751162813559268007214114208778991355084757065061376774887932716072257763408383376459363230547215115773065181870612974555167303741954293014357273553864416217860264268238461096284361819370241642039246659123925640429721142592583185565120660079210883375551979884282628668871752797040134556921621242917054297273371066221061098711191832956310424925505502214363974538974554014597521863985799059647515223917137723940550224821491183036085413498976732121798620980749271040000000, 152599828149775757452509319834607322795670523636059490478725386798190060279090610397417506888722158056021230542715384893372488484156371452415284156190201454360846964328599463014190825698148726790050073700541710637420467133540011775317630548457032628244918639769559744963953570673053241835771249353945254216278570831183419988349737053993935012816033966412924334706871528705259382762148743272876562141574039772249973069747261836010234608336241258736612813945957055477644026515996822676331319348825735241362986608382883134797443583936015753794247696114195809159133011338427042796639415269720164550892189032869007605567739394263747660699847291083167263386452205357411811358398726778018223473720771403830491513613418821045843659213834887366683218820471900550945317798837182208299540275099882631705492408691476371557083826193595806062802713540471254278661582766493655071000142807040000000, 35486958315811656062036916814821204604152886088797567058625421532389579273596370148031705828024098288215319567135312486384519016349492063479109926180245370031448264967191198472891395223253280742867998284440262232871861621566746144361956543675205707298884834633814859937303265449062169591980251501481136758430957781456081186432035510353980260871088884113081634453375455995186976109772916896835578125271341368359925626330056211552938167486280999020456855960302073788631835741440662181803033599752652622491488206264120398044166877780329915243092694533175770901046288638038789983533093247279567580824195986705883058247968253982725293494595119357581611785641627850580072041844138798811098761113651211032117580247835521789687888933590611630822036640202564135082603427638007310252329515369749424893151636743714630199031024808663511033916478039288770146758920968038048726074739878392789110105800920440882101415693069887154653013613137562173440000000, 1097075873956490594264734253162848096511917042059552442526150356803053763939468126875931765392104440092018945687729521803300534423995669698310008230122860527999679805428460099817810205190308456304524406375837906341788161146600135488965131490927253761745560446959534033922774552154185034213696120888305153465920490380340638360957490860780369573904093151575274102164737757024996953290578060367614648794354946487066486267605029136389257676058836442178782524320875407464566457488128129957978443315264183948224597982912356049349747515396437308134129507584810263163588980651209486200068615496270252021397565888835404301695460795095098695758201353534716261569104744497590812817856430610205258694927822650648951183618010088319053446547092197292927402153303814353333865180648283744705208171259729412758175123111838010441304787707416022782484733186185072241421964194016590758388428283408334316079593777421428272243594709036437733528979572507790804670003078961277799280640606531023815402858303880832221184000000000, 4634124351383634037076156818508514702280716000748675854994268689358149639822301702700315092610353142083591631206803365200661113141216457681842404671161344842634825850323198316693725817732610077416849304984612917263022869880092644350949078372981423841500233105919027530554574128532973074897877118462783220506262897879823179315724478466971707478606181882995191735752138912564249734540071487520667069020960330466822239700185481079097635937732358256784156972202796215040820431999269482738503943088102110504769179664373197218738113492892541867302620969264200619402862321786966901799920928653352381261563572931569555901239781849616071214327029748454197291022877208953256357347424584263506918610050178877231812350601844915204782680078216050550279752451443426108699611276771799832434189184254193129790267011597407142349412340767762460590720184564543636455748564903796345940638688478381956735009222567673119497885261395044509444766897305582303618006142783564773274769542103727794267169502626280261503532098033965923735628037017475545388829607314332467446839333670092800000000, 2746968282916339103122895493265881671882288588300561047330868855499521898328018080716712396848736902273733065772349210127906934455353923814967295559609256946018665524162047848965250237644756069451874856587314824995094731667316914494669035807060302179942547127679202167124237793036250762247435016629655354213497880690812466749860967935180442985639197158303300501804954279629798906056225377379888945680800015187791937326432864349576141160803426265502572938278260324114712776792353554645750980508992037401590675765493492309850531383023803281861384063444441169471327035537921344018646290283604163366231039355677486652474055304384958007042914553558013045411129713336292405354199328052409162483532640684033256570400709905881642573750896290964008450556380885496392642206534828963815605104122231822179962209277750854667679237598035425354240643780754488500295224806578824723520859527575118182328458353972978824102564803658632670874869219006123660783914210292335077989326140694859223639929087691845397992917874983227696157084424343247977200061382754926870792079512535836761496165377599740738487777732083871567427236765460310156482969600000000, 234522635997655283522486306601632857921818229006934083934797209566906334840005949709753327944007790635118852411049409961826027668832477511442189866982920952329809448288516210618849798160064691430533680543029570222150492817574734397984947619462934864149850929456272996846907705304930399648294247347139099407359679259398525332095718571922249619175961955612110718663750188675157972114481466339642974114628050693124054781345583058044508472346643162830466217432659943902112328287316086799828204335705257711177081203377723227994530423792042049699147275385213828907731602897334608971561597732381053628191996056952857263412028639445063971912684844237506641085918749491295175134067038405657078588871538177319633550176051244030821165052910374868925872493250241447300221467068746912059990261139501823801943098759111804141879679809352100202373140963820596796833505863628896638740210550192183862019696316063330436136185040602568071052620281721914843233482061053006697893843775865910819811429742012678022582471999720960947782400375123177554301042875034432531023832094573658510904341832656880981041577564134384508554716989720046787245028772880232174142510004596905437139199052741258838751080401794372730880000000000, 2957773945170804372621216870001799883255755940496747645093747634243059791785587809711844282599102177674205258391680057402322367304969099054519780227576136170705827155611241759794061694460270060595522817403267573572680036176721913202245423601101657070626610377943338166853823948225264626115656401007763722677989559115270515857922103039785978126458852824899719443971191842785200081391220658381508971125712956118361976169475961783818926122891693056390864924937464386273507952404358492050802280451886608537623400589050805022137857385919248550657779730293947077527474122723528772032299263498313944991270860848439346925819939810608991439842738168120474790109589458662829200891426309999298843241290418645980513218336926154561942759808175979892431599394822552420615915038587169672106877306773779045377531043196385180208901879226827406104450326202448024200557057989268532586625554433870202794772760333220870964828857135642402191290656386856467191778060989505661063303478275307296943921611065450925759563769139701176974295658446981906995098323641397741656358587039551374436549612613892462913498192010275806029778114838572075029873324844577541428531779852643274992770976316953139976575298973929423803707471675060131608831666107654135828807858134836443394088024856019022643200000000, 5648408422391592546716174711178837816892366758763981048764360410655679939308745863288983340453997635706530752208616679064894392330150340293460509889196744304457239193135342724351883461416517236950587060800854064545571564706911404396297771190429542882553554344552499759434648278987215724327620090178745513769401982068548833497388693846342661484111478758465983684425268702770569271221330234028881222583315886071181381435055481416445557591635812539196937779972067049511631193282418550127040966873015709110990996558516634938435271961033186250916771599941587175615834769582094126194187976307680342772088381003876832626924409534315155279717692179486871191085886226489933316148406361354596957924978417051540115871682895902171743721721860561207321338390378245069927496563792132376063811292217829652838562604420912568940099956058724755946991847600844701702130606805636180006238108124400564702732731798326965130845928638371377383263442068813009229688245750150578241015771665421132331116115791539043531317034263664768475675003056706436159278952110450907929807248155888517573612348817467436479708821682181607121394829240803403520032231909964575629696428363508330181040767110243318758863255045794934083664017787620345391285545732866186579370383377725984461855055610901058702762174699769239646260900695196525955165252783267776234756023747015081984000000000, 1673173355787115793371528189998749601816308484372166501417435081720789523030876908572665452505568602396664100004422984680001726129209816213195280662069027724133425021700048775433639753998725119270738561823671877615989100255375780465275424726569857179347937692874696267025088197358316380572746986577967561307613820555021227448173226969741122843105696707756205918855102334754597440391105301474108937347601479373047375718681199157219421494429794313202089943393815092709092787521725362484350327688407177661131715086344828146446227914810385974836469080760123938142441316435257915737934301376682857114925093249557803217602254236209435622041245581930915079003481955342095470897021898567433586044687287519817826780457922382398810518291280919680167501254840228358851026401176256139116845390698497247691565098889026387270616492494624286434203691101212402947561783178169025198116748045984274214176194772994205844034098664962959376685827216210645739520377877282250395767709938829178332336580189462287098090362999927990001958011068008023976388170589635627425441405141933645483086142466916850892131317743113334863091379355289732806252078077785280503775242724446450768573730163791667367467368002752031171341556551781291251777789757623115319940722965647648778665676792291832651214345615496203702488351139957714905596084945247704077019257814124942461403024194028719081390440955212013044962870601012101720197745986279837794304000000000, 78711029527283109715329516933159098117694033755961261095447529737951066641392140790650740941975255082916302783131849044418047710639419438869987031056406896650368374032863873716027369399876545683381652843502899315422580975067996581671167397624957003178065658451110689688295146813155901191696175600620902802476752390468451751249539023089258249247003599451129829299467366974503292657878287096152482098412737438567897114650040209320361915985083250076303700137255136173583332163122401351185633294491228298138946781678174288851237541404907904874389386901268679691744828846881068831766727950272628626728158346753130792217557008470033002201114600325014772690734874601557317528896014102265582801222454140075580666266125615955708742506795437442064601483970804686916665152185292293280674053645754288103900239956218874404971283213507726046184967858669579801779587903480730622175832480917206168857481431862055651810559513304769186439912159188418979820666845546471479984311860214049785010277732683305178141192498155083355840167793852565926414038357958455980010628584592889498345811974798729713872671054132119424918793446828787245000919609940258557731145733637384272715818896652055588677508117397867168853979415071909418119963910167174848730439546942037231485845647916339104698774429510998924379304924755098024448910397353120779180098932996173869060039356128259631874309947604221994443059417039991181485646648992811491997759376761967009107820689440130626418110650884570676087631522834754972237692928000000000, 601728695503384084070050351476023227129633704976958021557347189166521965689266957889952247464627517259622497262039666031569736130489827143099900770053665073321247574432219148172639718580302694705641486159625839624902616811497190515698996069077465935371820655766293497130768043952706224863453308374196517185405537797524557394521467548005047699423244126115367601112794339240546743173814746319805273978757473926499379199451857137235144716573252346043707473972841510612572472024657112868484500806705338247372481320852819772224706436083544803643533434026187430091703397474529553132577209115684612190746293217943953048378712771274361399855385793086546239053398722437820526227481053992498996624744775962067632070525098263674819186904100428165380511892039875000316121478894171379754911923291672532147667060949501576530284663796786316499084605872360663075677515403963363538905206058058412984151881255424678159852597852310108490227021234290739812401825006702189420112039912041505797875502632248937631249540785429897617867978520702233156365721605453854252730913364680137505634351901737183331904352061439270130201385638299266546117089440317447593147649264247768009946783021222728022516794591059051999311609966779495629034311937197114067682410978679468277228801803592752894373037455770134997610026854264122050001232091794101938354183196258689973787770258409189233651459165369596228921358660351524099404168979681632618261863072357694947274023642341850337916929188950644224156168884667639620206672751514117631349207824970908180811615447544658819765657073328126429701270149267456000000000, 764543507182246140092384616801207139623273598402982988395581609682290834566515553916974662425871372600292412649937250655196642863606154293405303213470572091327783483969548600077598774091284878717224543060222125890474209413988812582705904083708700710607990685429845963132295718654830679088294449294991187384433504027234128823627868650713586638607765548667410142908056394609153634303495556583214337835731145201793328734252153452242103754343704141590654043770507486509109413673513294722443675854700846357365261061571016149274418649051546544906473123881568082182761939454858532064831293035684516669027764019848953037773888176906697096607919437043887711141794625064000059413316773730701631825569761209493112003665106588917154620043756382108740725376529660092924039832506254194774058901734812106218212271335599915115454763120399584924720423752724862818068535556393620583321586394321580424548881189937867615703610223854911559483308199184641387705330972844601785185862010611777549283549396744137112007300056684175856819418320991781041660712960750309431746249949346058213731205048522825574530322064167027803540053687093210780805228575357161027696954415719931346189573144410732498184106949693149076880123213676207641521304312714156808578715461092945190287921552733851546437640646487158624056535227055863567557422976184410670622211937918420967087244320235588260408450133229634783010040113655288482727121048355195044873531851457788409447042452216997048091718304998048988083920258969919934911382715932392307421074150307769200597479870371358763415664829041090780861389834092448910938959728347032586466572190513514392968348801639126806248409134778834611077120000000000, 165040683606556298387175121779837563606069488687592452134782430163534273709479518490175474532275525420110625661387170431140207189261808974848465021902629045271207551444821997261316152924626049681455735979073337117398240615225966951283009584589379207065510408688393004107640199796450529618508101582448547282881813842373097699679038872773869531010089370298243124920991306751450286001644438776835708237549844957620883324402696323420321883842176750138780758173460393037860762992433220028232062484682651028684017601267515154170191951575824510696414678598976616132634817348468182887775005677989988433617792769624169209129250545108450834183486619905169928205378002459246782207913749308664421326732698394738479261206871596870408088361626187876087911901674308562623689769074731921890358302240612634086672674493032042554252748017251300155948907907814143308758105442417651016951306553034083208567589891681614045636764326491193058159421044072200156318626629382585829767194438362066616906908316905566917680957358036770153599860722647421430943783887622334823369635983834346800953507437129290793694022486121024314558710915875472886525571331508663589419861092704359054705094455967118695292315530387977299776879970666195389060948131937293338442832439542542918979778382843336386971273197516728883147231809187308719455412946429089441537212585001364178022830757123360638714793376972346179448488531260591513747337723289864328659963186611559620948119378803986174172724924915711126811279678458446960832018485321749803468992588981488126757710152492544586734113679660537821110148055140750521033205378457252884205342327373998204113588477918297480298931880580273070334372779920574578394658120503698430646061357033259190929021729974347598344264345989414912000000000, 6184612403325905997935607436876864529238436358627657769785599790810619631582663787867402913170913851287077491712463732129999897904283847024449608200816016310894227812690857586314711003903730830829585913898644937424385897950486285502231046048213296155991464066235301371308877663491371476198964929442423626130653115930622045633166899356378358621411370564556534337065503054867314294092480670567940114679683531232424945331355058356606760902432189842398705767463758386519084556925630441584912537749546512511394229436361359673274993894442828797236895010491579769540888065304413276179636414030500245892149608777002997794447854378414938386310663828964671385755471035788787166491159332701057630480119740669645088687601949382936424091774077148860245980263335042940988723756180566676943786422106342411589098918704484292492137375704917700422515410385717981395487569650220243147295452951333581978612745266199223977705111785015945974425808037607151268908973812699498604404415018336959284533224453914061418155042842897850104074208539948773047376298206018269360873522135564529382664885540654190725606155888597898934029733404996386444745066039563396146876808118661249914934225804032641100335419485244257596813194977955412536969347808045096756579671554156398691876250521383431859872809229600020124918090480995236714631731717565902827709964668159065282105760097128596563454303033235930055329742418441042654173260313445293494815690666459094956901010125553248722525055108856487390368573191417934118634160417477810056846484388470498415805597347105745188119710943133442917244694906654964648073129820754679252210818305497885679938843901435910475971181880104790724118362527681484585338461064577523338528877235354067911695231463761177126728503279800445037701581042260397107124407621936917108770994434374012103674225756540535593152376995840000000000, 41087999173816536515605237073389281134822369038478948842671483357027746953802074613299484145947483289939395612467868505333806197864890894372823253396476181714412104661832025406901654478110314374564274848195272107282002113796541139686883620481665296228113520603792891105263862896247107236809924225893926378303124218579185440424111662948404828410682169651296410505145718691614348217978406015653257937198211756061929884048696973617994710853810570850414052815870447844320723672451708539603485365051535817093817914000786021369845145256635140988004372462918390037684665761354181830132714007295277272412110213708488793550012310087493464897815480576480958721915899179209730894466209093541542205073701075214127086981847066218138865246127096209719233309442215801826072393516340799819293622927745880032234275017225875409995295182096964573769033569558628327406830874133137488771809190212184902922495436531320165630028114295019414430841738946475066541513817068259196726630244511738644365068182087747554630016482516929303808083641914585035179245591234583325821914492069074127123616314884407156053858313209206018301174332447086789338594032830628536755869967019733301352347809849093830087160949044315949563511493552316120596995284996092007371193549924626404065159644909272384417099826711835901026670723702848842476656906449147659639117749871091910020786847920314753508730985654972190781988848928467410152644456196469380628696585927410368320223910062340192436191450399561519977483579855292350461556730591033396708312015972238804303330208103219965398995532530620383957073506954827025445354148956720501379623001083139058128715473078345520937489689276895477451663335231423507127133742099592438404755375660651281390422464185241351470980698514729030786925147197401765869623499753465862702893008658991654310788423655360500772775462711880332412856253927384651477562237715927589728406453631007722885601598470115633778770575360000000000, 49403540066231698707692993157395893007117509239909994999467217781038950695815272687316789425325124835562035362453576817996616772187839258865602905193134587885590039279447051713844605902310769546726280383331739441168740583948134816141403143605385231967902726699930064367203434564650703521975422759489922371265364730612230405765015865547153470926796037828278668968723369845318886428622272630522110699385700602560696681234989560174201613728354465484915173212756758126824906167653966799269699791951438218793557846659084189039460525609896719584627309729695652302084619524807181787695522797110524087956002078866024933401643451956207614763881091982907816908220000034705021779219765751989556342111991039268147062987462467815340873812666971398710507540655574775991955408747081297015343094020243831210289595377998391026503873898517987500597891724438413085147214998190261104024574124245799260726734962722307585547523056295387873327284484186025751335958216936291463593237082734587301820335954522736149933533369809508886062868523534428492166239503572384192552045971337331627104559691162202962726050352550970514890806770642091711719367183908543991282065031497182061730931944446900214350763638199631416341248219757654944047701354388739582788786253888069332443667559240780538365238920043731194975213918591390577812729998054317363801417955213214699910316546744460095736329672346984460351515747357173140729589658462401297176771638736551202684615452989558719443229886089391894806419716618335038781619629699997560982551769844178012990128338812432789980841887766862714734007412800374960166242651262014069324403599955950620493107533185381127022698089935996182380585512325953187666349910392895935971800591381820398887484274031956621465680622635435256587650319769770159600105583600768113561049391362376674261048049074011826898614385860840728196872200388268778182619728254953147111451872705320436464071455352163907202772476371168717936909196824625378699337627418992101965224482597108362000999677922571813218083143680000000000]