[ create a new paste ] login | about

Project: programmingpraxis
Link: http://programmingpraxis.codepad.org/SqkD5d7H    [ raw code | output | fork ]

programmingpraxis - Scheme, pasted on Dec 14:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
; the seven immortals

(define (immortals n)
  (define (binom n k)
    (let loop ((n n) (k k) (b 1))
      (if (zero? k) b
        (loop (- n 1) (- k 1)
              (* (/ b k) n)))))
  (define (fact2 n)
    (if (< n 1) 1
      (* n (fact2 (- n 2)))))
  (let loop ((k n) (i 0))
    (if (zero? k) i
      (loop (- k 1)
            (+ i (* (binom n k)
                    (fact2 (+ k k -3))))))))

(do ((n 1 (+ n 1))) (#f)
  (display n) (display #\tab)
  (display (immortals n))
  (newline))


Output:
1	1
2	3
3	9
4	37
5	225
6	1881
7	19873
8	251889
9	3712257
10	62286625
11	1171487361
12	24402416193
13	557542291969
14	13861636770177
15	372514645389825
16	10759590258589441
17	332386419622387713
18	10935312198369141249
19	381705328034883127297
20	14089260601787531469825
21	548302210950105933701121
22	22436943914629372893714433
23	963100234961887746240585729
24	43270511388173885173956079617
25	2030755735354175876530343706625
26	99374261198300099567819381350401
27	5061862284073188031947029957476353
28	267974353235243948348477371110801409
29	14723099493265562577725699104586203137
30	838397258121758480503878860541573300225
31	49420449517709575075569189686219225825281
32	3012087240094444628894049271192014456553473
33	189610674596911043444382725216370894766604289
34	12315506765549895521822252612381806100463353857
35	824560934184802944529695152327249593987378970625
36	56857179919347713430551102980040745152084093173761
37	4034348566931729554993541363595371680182963422625793
38	294334362638916256275661279285534489192285070379450369
39	22062801069470824030770748082067372930919760128718667777
40	1697940403132888806410616770616983398454743054550458957825
41	134070208165073438590387681802793282041905863553739223203841
42	10854525956479125082286119332638456488762991880933478668173313
43	900518282858380338070441458670195709364571225459898113377435649
44	76511083093563504316981359183029923747319508087790958584996560897
45	6653729703342050910144160759743656067340034443885133321502483021825
46	591949675822363866524446146050456352923344344221760812662573781483521
47	53847227042950007036515782646745568110752396499564562499378559458476033
48	5005996072509998457979185631065340505235930902602223358551302653637296129
49	475406289164836651290496305448185113964017136585855244420984713041166729217
50	46099228723048011977586677742077737798960558156958796064118474217977884442625
51	4562382243388317532629618143662955268499654102037294081969748950493671771340801
52	460660867495857491106507209523929508131470741475794199162374308580120776463613953
53	47434242466256794051683269503547721497748993086870718128362074201481218887996407809
54	4979199649468659275421136803166521950899457368611861936495168188647516399822476148737
55	532630663956259467987900981635601216775384504556699051583615060360171799540923812020225
56	58041661073746988958372782931567816430693355190689590861183188138867671145521146945863681
57	6441011405896561702923106778392408103958812716846883882675152184792839926749784990990467073
58	727658550909800877391979675482535792778205607228806149266792465618552837138886078221084786689
59	83661234582452900619930561969680632622212628163387274784557608358316159676607810014690941075457
60	9786161971722085769619552710715375425873261861626699298964316275338317607057333024503443042074625
61	1164300088456755944279954657849483375190125908015597442901571040037600173685687025738650252119900161
62	140850699031174130738260882826929695971238822830784430719518020298995946441592822511125910707494715393
63	17321113468896954474453635092965946361910038418423335326300439708110834937220484800188020296466477088769
64	2164713109003088323308137150477516099908288749044661412843196132664291712838140389187288692605631779045377
65	274866175428376495210711489969222419653936474960158473922162648698391152371317747761548886055573158650445825
66	35451190101518542895362435866436837462023664207444795626211528833544491885602348958407007657185778493282058241
67	4643274758243901964820027617693725185592804060687972104102196336399685296786496119805200557789187104171372838913
68	617448358131079378537905134364856638649524573128390659335781964213862867856719765293470335717688177640864164610049
69	83341491338705624813939574517614156231094720593207565463508448431334992828150924607618458381746262712990219680874497
70	11415917931319287270085430374888403343757437050770926122975827972462715934520600268240848350351943285878211061244493825
71	1586560701597281430338008712051910486253687926224880598051724733364393331836942908108652184875827583243130917818906705921
72	223670559280566624315645105998137135773210129462723573413882344565654147458143967713338409786617540873929884359588034117633
73	31980095795371585375484222009196272441321727581255811765479609255849724594188211571953085094650806713858892495614754347286529
74	4636438084469288737670612227866927754610083547961790876041596129047474285222589870219003015990171619255804541243254281722658817
75	681459782323739738539678944866944259360976749416319189512865244929160434973003445479763389772537080256207956014650650051555098625
76	101523501635890567470301249895861599740954999880253609795523547320016944103167128341431658013482036295542822721011109365474865971201
77	15327990361742157815227758784551187633202291515887268172113623675413343117565506984184687982803843880723565444279461724744343252631553
78	2344875896456365156154648460336920209153045823465080242596987419726372230713200337799861474017715724041915483720001394768345731545694209
79	363409473350761187740949629442169567357095590984074104010280312183949586464919033607245578621446253305145939251012621554801816573717774337
80	57048206397780161968397606995129558249374922135376225755293965312747267849004521656572423309293708937814435755232233985285288393063188660225
81	9069567507908704124905065178509982189122852247102744264205389600090130922006336419674428436907562029521486370556995418196877852238315341742081
82	1460028126844769681995740146585406126201503326644713622228915492833936151973487767478892674202919467934554853437885635842277995342930848799260673
83	237957203731245200370816953350730967618030397801208183986212456930350747452442954693711792305625952568425472199041897029549303268473575487033049089
84	39258531150330471494344321391888163207643596482777536080421267878627790675877931509754661338816223494681492279370265891355366195339687009946808877057
85	6555456423028670017387548745674288616324295102276023086601089310845169907975482077250239523813780387074995223604765631046737237867963856989242339098625
86	1107753641619317722801844752128008077029830755984851743588513567304312159940932704775882426620743907808653334325317212076414918184346108896480240137666561
87	189406087853761717078926638981761411607123111271803023926328946214876322285668642304164736180671981916511474325494540788603327122794240946792451621353684993
88	32763910152912777487965714195956212214236230809752361959796835280677529761876621470293660553204915413514290852463444902315682723602121701793899020331587207169
89	5733112715450386775676074610027503341262722954932578372713209114865427005368007697726151263796266843961209170552279263628765973780361633109090756093001099902977
90	1014662087342950371677483383458015388970630636893863029914107385766085406657891331573542653377265023281489688586567215733308151808103193030498840558935173259853825
91	181607215432949997282325315592637819413286224509007481277450951797219596337454198297646970380424376158755126294882688564542289450178109651530154964511590988791152641
92	32867844708900482537737905462070724332425438084724678521051705682884538989404927867825363846322574226656201862345894085483234596303341175446937414559383358426696384513
93	6014267698798025987443826746951967918394235942279683471318462870520066768324415155193099905173355572491530199433386097033039384460982004106354935765456405208574562664449
94	1112540372860577343912532524517120878095496753780262335460318476659715894656311902282501064686828137677266563548213477748245443874830231305148887693266846064127503128068097
95	208026907770414511769916675180791755113295273353540738573932002592368815642941647579933897378951099035697706269570657230427932044189418868595996158410261255876758570295885825
96	39313729805535247540940787104692180504687957553954490485309619981984728952174213778753765299710211470623883544144264313009140454059771841085260981436228937864399902761885368321
97	7508294956370847941600807122466186639918335157875382351373252092043333146214004249185375629247601991344931680871941181909512804226991825065599677173341185908836443684785180639233
98	1448982357953670662647614069060129925126247556862357005012260839579901592948795026868884641605891005295615712681592602013721710771948818325555796741229561652368576493712519282556929
99	282528916347470763682378599339782092743320527454078398041533967147620218921305880433461056131422107047637073076141249523035190801673477994096078624555019211426109049805435883975868417
100	55653826929924384417906735083602948638002467419648776125231297848991982831014702910505249954983610776383608557965012070362250879998502776802563519907130350655200613715721226209275674625
101	11074259602715382730844871296852633309051829378438939545437952776368872522418679406014357779770437733867194296977774164167843137839365859761693488256515066288754900933183158065059961241601
102	2225758366708662585978246841477344132803593036025896735401169738661015868996708270026978211022721732864343759060801448723691139165792206110947966796794803059496139464532422241447838484529153
103	451795557849613229462470001916820265896886406156081390354569284320467987280755076486676626061562064206617219211820029610142752389702379411241999754941810750614306450974244773010086818750660609
104	92611378693478340776557301545520641883401059502731431685548631603852236110822223852629827457211104549593092343268401001252326617610536964256996668357873285196290924171000744258339629934823079937
105	19169193292210775329795724961069594896440868004087672861400364962462607769696625505437775372879104836960386825803768842101574243965933593647916971069409746684700736485765511892948544968143063220225
106	4006082201838632367694025208500055593457068058362837700240111429480338662053018689132880564538597683806266684026705092631067602643147841903568594624220893413895933567934847341224943121023730429460481
107	845225557811841377581216650510265031694852964356055005804286745677789723508064277489017871303132338741492935006591080643260798020626564561703183662468114537448781360267205347818382850123784521642934273
108	180020967780540587475693841814577704885698721807706123974265979729138208357046409383175388018059060586344947021028776367834762309448451178037117624518593239823465481313643887102111792098590809319683391489
109	38701960320109409157192327035438567008464835670163614897187725684427450424844282542828255951699280501482346082580792022033364326468410116510689519224923027061779607189929363258927376397668877356376738758657
110	8397782778807693348198226036210029668180251854741588112560534215624232063194217477091027562882506274115328247552028387555085444986653643042518223548888166573186438892478226823057907684014322467258438070042625
111	1838997780067268466589027416018410042257793144195713389485936227786757014809262102800603847524777538595046098323278471017271457745240751243721657486525913580147425042763425441155775667675663789778453492882472961
112	406393199398038291659464080176048402794894062099695739904889403972791477769627070541819846031540697175246630956811270263797034650656409667350768916380899641813480970059350281581863342718146181743085302168359534593
113	90620141162425509195204011818246718376590524246032005939450376774881057449079189090340310249219565998609955008301310161582666955212101837207978585992339715124266714083715455775518495019305396021540734103306861805569
114	20388307039644208424201067788803971414077812421568702105097280145825268109515961016474458831120493718124244093279856749438064602046886666624181886659166692299034430683686279841629678758908718463794268629057301513240577
115	4627872612853846504621336941152745230619878592589568782607985187343488247871249056643579022758650506684644583525914640155037881200901800771430051040683752389131517385069384679974748540166786179452181960049510780527181825
116	1059721390337266528125341250873706489617334179438640018515664218655462485345198611994234049703331902982299678069506000183287957817736630244105349905425654710271471079508710632030617338123811816027329169026704300173206487041
117	244781696112063742136007020032352468697717717796283704338069046164603607326579948201520989197892994574342687768747379846006837425276288998853469406217313262228702778412684769385349080783405646924707460999463911139101598810113
118	57030942084883995292244312834866030356695489766341745050775491375351865892848931403949260704676381065098330813218622479922710575385301254254591189176981700159312925915963197748276520446195949415431150848322306400309243803598849
119	13401533851750175845825560172300747981567474203456728877759231669688193899383274943556466572852923184643661197606170523618102082158565891800354101865900395307711876660461921063018316442237360329367520639408190827444153560330141697
120	3175991692500339460426929174552879904388165333858312137584612570438456403970721390892299120291282739251697962296722552470886690436796980549971683541060172438597510168821937971934269501386297122428597298277248708008434947333317197825
121	759021638075661428299464867451338997537583486317165298089644801304504370417121147827698236892423155856093032263787931667344461205113219517961119065406625290389551590118754252209100284386574342903815146633081724123437790505516893470721
122	182914646424724983499047181062982240467233267677960290600398565673643951191182403197707036940855913294275602900960872605799405032551694254053497666411466758544130887347883620045394175602215507079095544939022683050533904045080425458040833
123	44445972447942434585262442751709539958605746942760922573763376692850825024266728820170558643767091593774360407962088660488222779408565772426670917552438672513912885924894627253537158377550259587630782069343062723644153766116277689755107329
124	10888712219173356562033795310379053198662074364070408721658092619285586543976584418575321495279253977398100862045037435819076150096499463230463885291962692615820713739236498933838973993679218843815714885003393849986030486069514527017078358017
125	2689378029187902703607236151171581227358460217047656654172913652162998458300174787059277432285600747679472972405994686095329805974638542569593229164853742977940086611621277868033188335154813808888564857527644595241071810411242765833176166170625
126	669622329242182336761300588965300543539949535670896561362813889885928217939049550660175527697580373425518717885987412164877682456135510776590691319890445071331066474470510342274837340290283647511187285660660300347771444981293312826539771953152001
127	168067103705674597382538724909160498502772951014369923986577526010908835309148842720025295066854282714815489718222517204653152867840539802973316718862849014744987849740440044230514646292692466092979277642389429249637654039062281655298062138319306753
128	42518960269613833421627465777329580281645182375589552966004536878739818401167287465018740362945802394713052634085478567292021897087638690217968410995911476697108822949556261607612911473910154341148894950609107313119630178896571038987766681057003307009
129	10841828650472488659006701325419627464484456812691246858756597594298600848859683487308471057377010716671548708958017548822366398520268326506238744134924448686685141785552850320225893587870070240014314412279479778270718086363522241877111966443183104065537
130	2786221900072341705000949055787712854124325400621439584893973008814324145858297179559610697789628747883423599331574474125809189168780617456533360136773562600176912504351649867123516414510209302103676703470848633107060401695633423076236043538628533995700225
131	721598818569685996248905012160196238931558645390274567889156266917206641702453748978798578950385451663355533161880278710016573920267690773807051562086045919387459114267185224368855535439808200284552221155227979865485317738410174216933322208768191231825018881
132	188328900327438777490502864533355033832287791837289119615716721003998787199828008371400609682180105603853692705387760509803380359547914460963835768910709357478267936861862396519453788984628073637401518646360368382883103422219209687990556575290145426831281487873
133	49528327598341440154483045313595437124646045562661295092626477090589537267345146420319358131252646120178249013467632381008648039405698747330167581380036554251544446125365135781902422430585702075398879136254157066396651179582931071636236538813483590198256507813889
134	13124439653671724366280016291450513836156459567039185588820862258309753235718654697578156700737743959876789155322757069052692679306276121543208196332559474741821603398141870720511869658665885684468553046283673921671662308258749355278233431275359456309199110202720257
135	3504076235387666624201642909964694130940526023755708510719167189366735871184950959710300407818539672086771722890889569028011320379521273309295311705316089434268775799140423496707631219311060395281365316795508496914211196097216601687368048189394320688692228790234906625
136	942556984848178622955547981291775776618179782330940717785193508319275051846292722353435007801806520594261632108603039228918829479058049240693067947425553089072277632850416039016522224406146517591162126212290702207985674123018620129664249984692119532743418013608690319361
137	255422391142679140122126204039852614436529077715554322522657020787335061945229313819093120411164730810831562024913704707490302539160559607128386156915904463901538409117946967421389569346819244357279566963574692689411437916122621759609711886728741257678885413470619872264193
138	69727474559245683450772759760045669792815586033703206614534880674450325608786947780506673800521441255525020307628597857103619136452731426861227906377363221562615720026916455078770214911541188808074622925437298144493745914307891260217533052467869463852042906755221063852883969
139	19174286398396429189739574861457605541232619719852592032595373728410985390928314296805772267710436320821116093786616826061331558160145559362131467580843459519245114126512388238732275794445645999585986766938747672697996315484128144214386842000394839436044469890323122538651058177
140	5311067380826737014748286984271921644260265549201651093622673199670756748158828603029023835106956336519234318427158727440775367048586606166005126629501574770755734557002961155855674551110481137396259576035700284125873714340410030321259067887523697652269494701431876609993892429825
141	1481730066439935363956393274634929930841329220254903580445221791263856813575012080845021057594988852055555696653344190972119929937319408969860038645337804767146217044005405654932743837088489937591068604995253230206889201046979252609572510692746524787593366064831634976487467584061441
142	416350157734668632797543886517485558593573445227007944077150951294100468025172617132241753520286694592768282378446603092999521588816371906561717452275741500249880089264449559645082461835541006719935601408219343438219258307804153607348852958210238307363389232776717274165447581040115713
143	117822633457776950071138848080969578540215920945917863501064427178805597584093719834596672019404444430362414377629285528175782071121650909316087505471034649517096419710606139733202519911560514766185847316115641619075512826319037516745955647094967666251526026146175521529664672221519413249
144	33578197023812092491365612999613298592743991385197584689298361001068288175195604504194827056042869112430118783241739932573675809166390677699124375373365047692818110331703723389637427110621342495207250750406322770832265960451212741857641543123112624392030514157232058017072778247177079095297
145	9636587824422042875892808555641310756090687333704480045829621413280170982352115105895746350598757824383929834232863866349104007803437479715464786905953475756470692006654017767972416682124417210367026692089979653213398848915969386850177929193093085137024348581752734158716416709587201188429825
146	2784872791945486927186418453366092262674403569272591913730693685160939781311306655403549941827387337028734917480390416660793796278338615820952042133868232105545583429933471072929005983954000801682827637988476265828344309057100270491412883418491292028663372239602695609202809740088606991707013121
147	810368971603350946218673488284651677960147361526155130635980306614316606216054725766915025079222265127670488392678005415977850142996272075641080585312985359898420919474630580107021801643387904265958498498544795563138225780789815922532310002875074091509693584178115319512875250426673778831426322433
148	237429725050553205031697198530397962195057049639323466384341386201171765931814565218784373690394094070448675521708098809799214565935072437187117791694660435571105348797140950056023281923873567618497047233003557873409105152689418401700023753120235343047422882309922711427679697561856040520877476937729
149	70039329399369156809301643412465539913060683074228004131096800144789005000377159105933167764933202054375017489861364558097438067874454544872997106488366845262517250651789230564871212996180133195412402265413483871042406210364954061390137467162738639610950303862820400448017379404183092555645630982127617
150	20800966102946943874072443971752672301357956555327426838084312710059174303864712673132886250590356772170761506673217624867716378285938802785871376631608311078429951300291642705214926534848365369082583755017783133324361137353254863610554358136066284471835058532192122365503730512573128481507176544546586625
151	6219278032064272415178942698502062028433468761675959650185964772974315589659300654208085924847627071034915946755006878092885682065419304472299513857535983269950230214891956042395016596555655570766151405825710894835995619342866972864749266200671063749667232468498790589516713939950683616685459274069337702401
152	1871940073920320292334070816868153425551897463146430931451059898999805437437341654343555817656305087707349045944996765461341425637514276432193120029233121237579283679604682648706320104346283776029914784265349319734206719978065142836343890976445569234489010017809912737079665483250309367437593533452486916964353
153	567179121950029830055343129747574014511133054292965511427465676004956661041695435521561710446363068033439495519465494609307556146456452566827129436674177917310037368614496370569833226675917348619581184389295177087168700205051571862497659079914449043904760206743789839733005225870349039881556054550238944095633409
154	172983997654089509987480772032795993492187833989924638631780472528422797814902976723368755316384269461394036820897272340216941704570595116860850512893353107598172173990076856503864833410900745842126688499139127296834955006432493056216362447815029063249102986198149857660753221478452211537320249071136655896672731137
155	53104380107898959888487032102138913199124423888174555321068726110544695075389274636656935630628875169155063976216364508447151317714634708602559202104657110341705538079410406921054860056741247176000189052942948292882318182318051977180990354930415301175201053605353068888874226605795213649211117449108616421393746100225
156	16408732794175909817334860912332896333745993176797235511555453147785044406048055214579405731346872178905037681212594843193149656563119875180566488993446764742573283430680302320010808519232407393348999332977580841331499800466602040078679937669606084354705104691938024899676176749138196045678877132011618727304092744417281
157	5102956065189219387523268650631996315210623050907627018345127939562443909823471773262137624263467910765595376577750085349627181636566435027252746094898737581256252302491478276884003141662807837605975732904487022628048654472696604287667671562178808744701329935159793611205638387030109059593255796543503154595402087474921473
158	1597175862372043651999663209971974313527339396127480551809741760734202883741071047466933280619086006116220766413512772019020286041721040957750664396254261316385295211985090564013093592607082685086764794341453964721029186567080220705742943370095889635348840196766906654100072134028224851153939152695208342262582770345378316289
159	503095038392966000705436221457544172239032692292197044234081335963106378986674233919200081186363922072923834047671466931039928199786693949180598081450358574902076311259701311092642230271072681210734186680301634952694759580383977616059867120736652621206907881918832007914481812622617538501813303419978089158124008369497472761857
160	159476320284728878342992825522727958940310702220950121250962366956354352000732745793211141034026857869244821023440029422568648716570901384814865478623205171720249743103173758128104065463752060331155880159735337554175646265233773371722611488402565040639755775267616702200801393475371401740909677836995956099443933340530366033690625

Timeout


Create a new paste based on this one


Comments: