# (echo 'a(n)=if(n<0,0,binomial(n+10,10)-n-1);'; echo 'for(n=0,1000,print(n," ",a(n)))';)|gp -q > listeLE.txt 0 0 1 9 2 63 3 282 4 996 5 2997 6 8001 7 19440 8 43749 9 92368 10 184745 11 352704 12 646633 13 1144052 14 1961241 15 3268744 16 5311718 17 8436267 18 13123091 19 20029990 20 30044994 21 44352143 22 64512217 23 92561016 24 131128115 25 183579370 26 254186829 27 348330108 28 472733727 29 635745366 30 847660497 31 1121099376 32 1471442940 33 1917334749 34 2481256743 35 3190187250 36 4076350384 37 5178066713 38 6540715857 39 8217822496 40 10272278129 41 12777711828 42 15820024177 43 19499099576 44 23930713125 45 29248649384 46 35607051433 47 43183019832 48 52179482306 49 62828356255 50 75394027515 51 90177170174 52 107518933678 53 127805524947 54 151473214761 55 179013799272 56 210980549151 57 247994680590 58 290752384149 59 340032449268 60 396704524155 61 461738052714 62 536211932193 63 621324937312 64 718406958776 65 828931106289 66 954526728463 67 1096993404362 68 1258315963836 69 1440680596285 70 1646492110049 71 1878392407248 72 2139280241597 73 2432332329496 74 2761025887545 75 3129162672560 76 3540894603169 77 4000751045148 78 4513667845817 79 5085018206056 80 5720645481822 81 6426898010451 82 7210666060515 83 8079421007574 84 9041256841818 85 10104934117335 86 11279926456569 87 12576469727448 88 14005614014667 89 15579278510706 90 17310309456349 91 19212541264748 92 21300860967447 93 23591276125246 94 26100986351345 95 28848458598864 96 31853506369588 97 35137373005637 98 38722819230711 99 42634215112610 100 46897636623880 101 51540966982689 102 56594002961393 103 62088566355712 104 68058620813001 105 74540394223772 106 81572506886401 107 89196105660840 108 97455004333149 109 106395830418768 110 116068178638665 111 126524771308824 112 137821625889978 113 150018229951047 114 163177723806411 115 177367091093934 116 192657357567558 117 209123798385307 118 226846154180681 119 245908856212680 120 266401260897079 121 288417894029078 122 312058705015077 123 337429331439076 124 364641374297075 125 393812684240850 126 425067659180609 127 458537553604288 128 494360799979632 129 532683342613721 130 573658984353247 131 617449746517626 132 664226242465940 133 714168065207749 134 767464189476993 135 824313388697520 136 884924667278229 137 949517708685408 138 1018323339749577 139 1091584011674016 140 1169554298222169 141 1252501411571268 142 1340705736329817 143 1434461382227016 144 1534076755992790 145 1639875152957819 146 1752195368913843 147 1871392332785542 148 1997837760676466 149 2131920831862815 150 2274048887320345 151 2424648151381304 152 2584164477130083 153 2753064116158202 154 2931834513311341 155 3120985127073372 156 3321048276244751 157 3532580013585190 158 3756161027103249 159 3992397569688368 160 4241922417793900 161 4505395859892909 162 4783506715441863 163 5076973385100882 164 5386544932972896 165 5713002201637929 166 6057158960772753 167 6419863090160352 168 6801997797908001 169 7204482874707300 170 7628275984984209 171 8074373995802008 172 8543814344395157 173 9037676445227256 174 9557083137481705 175 10103202173909240 176 10677247751972274 177 11280482088241903 178 11914217037019547 179 12579815754171486 180 13278694407181022 181 14012323932439651 182 14782231840815465 183 15590004072554024 184 16437286902584143 185 17325788897318430 186 18257282924055989 187 19233608214112468 188 20256672480820587 189 21328454093562426 190 22451004309013089 191 23626449560793888 192 24856993808751912 193 26144920949101761 194 27492597286684335 195 28902474070616874 196 30377090094627948 197 31919074363390797 198 33531148826188321 199 35216131179263120 200 36976937738226285 201 38816586381919144 202 40738199569142873 203 42745007429691792 204 44840350931147281 205 47027685122910572 206 49310582458974201 207 51692736200953640 208 54177963902922574 209 56770210979617443 210 59473554359599235 211 62292206224983094 212 65230517839369098 213 68292983465630567 214 71484244375239481 215 74809092950832024 216 78272476883740923 217 81879503468245122 218 85635443994311421 219 89545738240627020 220 93615999069746439 221 97852017127201038 222 102259765646444337 223 106845405361531536 224 111615289529457060 225 116575969064099605 226 121734197783750039 227 127096937774223618 228 132671364869584312 229 138464874252535601 230 144485086176558897 231 150739851811907776 232 157237259217593465 233 163985639441524524 234 170993572750991393 235 178269894995714440 236 185823704105702349 237 193664366726196128 238 201801524992002697 239 210245103443550936 240 219005316087032234 241 228092673601016983 242 237517990691968107 243 247292393601102606 244 257427327765082230 245 267934565633044779 246 278826214642518153 247 290114725356790152 248 301812899766338151 249 313933899756954150 250 326491255747232325 251 339498875498118084 252 352971053097249763 253 366922478120856482 254 381368244976008321 255 396323862426047872 256 411805263302065376 257 427828814403313065 258 444411326589487999 259 461570065067846618 260 479322759878148420 261 497687616578460629 262 516683327134890433 263 536329081018346352 264 556644576511465541 265 577650032228879344 266 599366198854025193 267 621814371095748992 268 645016399867978441 269 668994704695784340 270 693772286351183769 271 719372739722076168 272 745820266917740742 273 773139690614361291 274 801356467644082515 275 830496702831140070 276 860587163078645154 277 891655291709643183 278 923729223066105177 279 956837797369549816 280 991010575847033747 281 1026277856126287626 282 1062670687903815565 283 1100220888889816124 284 1138961061033823743 285 1178924607035010550 286 1220145747141129809 287 1262659536240123888 288 1306501881248461532 289 1351709558800311421 290 1398320233241701479 291 1446372474933856178 292 1495905778869947152 293 1546960583609535801 294 1599578290535030225 295 1653801283434522784 296 1709672948415418833 297 1767237694153311732 298 1826540972480604081 299 1887629299319420280 300 1950550275963400965 301 2015352610713015624 302 2082086140869075753 303 2150801855089177272 304 2221551916111847586 305 2294389683853219647 306 2369369738881102651 307 2446547906271366590 308 2525981279851605774 309 2607728246837094643 310 2691848512864097705 311 2778403127425644264 312 2867454509714927743 313 2959066474881538862 314 3053304260705791701 315 3150234554696451764 316 3249925521617225563 317 3352446831447421962 318 3457869687782246561 319 3566266856678241760 320 3677712695949436824 321 3792283184919824273 322 3910055954637831247 323 4031110318558507146 324 4155527303699201820 325 4283389682274561885 326 4414782003816726369 327 4549790627786656848 328 4688503756682591517 329 4831011469651667256 330 4977405756610808697 331 5127780552883038576 332 5282231774355419265 333 5440857353164891324 334 5603757273918331193 335 5771033610453206760 336 5942790563145266494 337 6119134496769755123 338 6300173978922706467 339 6486019819008922006 340 6676785107803302074 341 6872585257592255223 342 7073538042901970297 343 7279763641820395096 344 7491384677919825195 345 7708526262787066514 346 7931316039168195613 347 8159884224735002412 348 8394363656480261111 349 8634889835749036510 350 8881600973913294705 351 9134638038697149264 352 9394144801160136468 353 9660267883345976037 354 9933156806604336951 355 10212964040593191522 356 10499845052969404776 357 10793958359775270465 358 11095465576528769649 359 11404531470025392768 360 11721324010859431465 361 12046014426672712124 362 12378777256138809153 363 12719790403690842472 364 13069235195001030461 365 13427296433220236784 366 13794162455985817033 367 14170025193206139032 368 14555080225630218906 369 14949526844210983655 370 15353568110270739979 371 15767410916477498478 372 16191266048640872102 373 16625348248336337851 374 17069876276366721225 375 17525072977069833800 376 17991165343481265559 377 18468384583361405238 378 18956966186095833957 379 19457149990478309796 380 19969180253385633747 381 20493305719353760626 382 21029779691064592065 383 21578860100752962624 384 22140809582543404368 385 22715895545726349945 386 23304390248983509279 387 23906570875572230458 388 24522719609478731252 389 25153123712550163941 390 25798075602615552769 391 26457872932605720368 392 27132818670682396917 393 27823221181386783616 394 28529394307817920265 395 29251657454851285344 396 29990335673408135993 397 30745759745786174692 398 31518266272062209241 399 32308197757577552840 400 33115902701516991670 401 33941735686592228379 402 34786057469840791283 403 35649235074551480902 404 36531641883327507666 405 37433657732298557247 406 38355669006493103001 407 39298068736382368440 408 40261256695607426499 409 41245639499901006618 410 42251630707215665325 411 43279650919070061084 412 44330127883125159663 413 45403496597002282182 414 46500199413354994321 415 47620686146206921904 416 48765414178567665228 417 49934848571339072077 418 51129462173524217351 419 52349735733751525650 420 53596158013126561984 421 54869225899424105033 422 56169444522633207057 423 57497327371868034656 424 58853396413657375105 425 60238182211625783940 426 61652224047579440849 427 63096070044009872728 428 64570277288028794997 429 66075411956747414936 430 67612049444113633897 431 69180774489220678776 432 70782181306100787090 433 72416873715017664399 434 74085465275271527643 435 75788579419530643230 436 77526849589703364414 437 79300919374364768643 438 81111442647752092137 439 82959083710343255976 440 84844517431032875439 441 86768429390920242238 442 88731516028723867637 443 90734484787837273236 444 92778054265040815435 445 94862954360884429274 446 96989926431756277473 447 99159723443652391072 448 101373110127662489096 449 103630863137187266145 450 105933771206902538735 451 108282635313485743594 452 110678268838120383948 453 113121497730794123117 454 115613160676406328481 455 118154109262700973072 456 120745208150040906701 457 123387335243039613640 458 126081381864066679449 459 128828252928643295568 460 131628867122744236785 461 134484157082022853644 462 137395069572975729273 463 140362565676063757992 464 143387620970806511406 465 146471225722866866499 466 149614385073142979523 467 152818119228884799222 468 156083463656852423146 469 159411469278533711495 470 162803202667438684089 471 166259746248488337688 472 169782198499515632987 473 173371674154896513186 474 177029304411328929085 475 180756237135777959180 476 184553637075605227239 477 188422686070900934318 478 192364583269036937137 479 196380545341459420176 480 200471806702739824772 481 204639619731902814901 482 208885254996050176215 483 213210001476299662274 484 217615166796057919768 485 222102077451646742865 486 226672079045302025649 487 231326536520564900928 488 236066834400084673497 489 240894377025853276236 490 245810588801891098209 491 250816914439404155208 492 255914819204432694957 493 261105789168011451456 494 266391331458861885705 495 271772974518636873304 496 277252268359738423178 497 282830784825729135927 498 288510117854358235051 499 294291883743223129550 500 300177721418087592150 501 306169292703877763659 502 312268282598377320713 503 318476399548643271432 504 324795375730163971271 505 331226967328781079622 506 337772954825397306501 507 344435143283491927940 508 351215362639466178499 509 358115467995840759618 510 365137339917327833345 511 372282884729800002304 512 379554034822178908608 513 386952748951266216777 514 394481012549539878591 515 402140838035938711194 516 409934265129658453668 517 417863361166982601717 518 425930221421171455041 519 434136969425432947440 520 442485757298998965669 521 450978766076330999568 522 459618206039479103017 523 468406317053618282816 524 477345368905786570665 525 486437661646849172020 526 495685525936713224729 527 505091323392817840008 528 514657446941924238502 529 524386321175230934891 530 534280402706839065747 531 544342180535593097126 532 554574176410322290690 533 564978945198508449999 534 575559075258405611993 535 586317188814637492600 536 597255942337298639859 537 608378026924585392938 538 619686168688982890957 539 631183129147034521596 540 642871705612720346079 541 654754731594471184278 542 666835077195845191377 543 679115649519893905776 544 691599393077244896700 545 704289290197928289309 546 717188361446974594983 547 730299666043811424882 548 743626302285486815856 549 757171407973747049305 550 770938160845996995665 551 784929779010171169824 552 799149521383543835953 553 813600688135506653972 554 828286621134342514161 555 843210704398024361272 556 858376364549067964901 557 873787071273467748840 558 889446337783744948649 559 905357721286137523768 560 921524823451961408130 561 937951290893172841439 562 954640815642161682043 563 971597135635805761662 564 988824035203816502126 565 1006325345561406174739 566 1024104945306307343913 567 1042166760920175198312 568 1060514767274403634911 569 1079152988140386124110 570 1098085496704252547349 571 1117316416086113362548 572 1136849919863842617147 573 1156690232601431493546 574 1176841630381944237345 575 1197308441345108484960 576 1218095046229572173944 577 1239205878919859386673 578 1260645426998057645967 579 1282418232300269349706 580 1304528891477860200572 581 1326982056563537656701 582 1349782435542292599265 583 1372934792927237583824 584 1396443950340375213693 585 1420314787098330345560 586 1444552240803080010169 587 1469161307937715104048 588 1494147044467268082017 589 1519514566444641054556 590 1545269050621668869049 591 1571415735065351929448 592 1597959919779293685022 593 1624906967330377895571 594 1652262303480720957795 595 1680031417824934755414 596 1708219864432735674138 597 1736833262496935601687 598 1765877296986850912761 599 1795357719307165619160 600 1825280347962285046155 601 1855651069226216577714 602 1886475837818014195293 603 1917760677582823717612 604 1949511682178565832151 605 1981735015768294193022 606 2014436913718266044401 607 2047623683301763013840 608 2081301704408699905524 609 2115477430261059509893 610 2150157388134191633015 611 2185348180084014736674 612 2221056483680158768328 613 2257289052745087948897 614 2294052718099242475761 615 2331354388312238288384 616 2369201050460164234633 617 2407599770889016167132 618 2446557695984307690881 619 2486082052946897475880 620 2526180150575073241629 621 2566859380052932714128 622 2608127215745102050377 623 2649991215997832420376 624 2692459023946515632250 625 2735538368329659882375 626 2779237064309366909259 627 2823563014298352027438 628 2868524208793548715782 629 2914128727216339633371 630 2960384738759456135497 631 3007300503240588562376 632 3054884371962749773815 633 3103144788581434604374 634 3152090289978618115493 635 3201729507143635723620 636 3252071166060988486579 637 3303124088605117034258 638 3354897193442187834177 639 3407399496938935687616 640 3460640114078606557744 641 3514628259384045037593 642 3569373247847970972767 643 3624884495870489961466 644 3681171522203882662740 645 3738243948904718052869 646 3796111502293335979393 647 3854784013920744572592 648 3914271421542978285141 649 3974583770102962542240 650 4035731212719931196745 651 4097724011686443196704 652 4160572539473045086233 653 4224287279740626174852 654 4288878828360513425241 655 4354357894442353324872 656 4420735301369828223126 657 4488021987844254832315 658 4556229008936112808499 659 4625367537144551546118 660 4695448863464923539250 661 4766484398464392881759 662 4838485673365667698713 663 4911464341138905522232 664 4985432177601840846371 665 5060401082528184317754 666 5136383080764343241453 667 5213390323354513305052 668 5291435088674191647951 669 5370529783572161627750 670 5450686944520999861009 671 5531919238776156341808 672 5614239465543658668332 673 5697660557156491635181 674 5782195580259703677255 675 5867857737004291879890 676 5954660366249917499424 677 6042616944776504168553 678 6131741088504771191697 679 6222046553725754567136 680 6313547238339368604897 681 6406257183102061242276 682 6500190572883616392465 683 6595361737933156896024 684 6691785155154401879893 685 6789475449390232564280 686 6888447394716620794089 687 6988715915745974808568 688 7090296088939957000562 689 7193203143931828655151 690 7297452464858376896539 691 7403059591701479311838 692 7510040221639361960862 693 7618410210407606722211 694 7728185573669964167785 695 7839382488399028400424 696 7952017294266830532623 697 8066106495045407728222 698 8181666760017404973621 699 8298714925396766990420 700 8417267995759577947435 701 8537343145485106876794 702 8658957720207116946273 703 8782129238275496988192 704 8906875392228273934056 705 9033214050274065053697 706 9161163257785029147951 707 9290741238800376094890 708 9421966397540494401324 709 9554857319931756663693 710 9689432775142063095585 711 9825711717127183532944 712 9963713286187958582573 713 10103456810538420834792 714 10244961807884897317081 715 10388247987016154622224 716 10533335249404648401873 717 10680243690818939174572 718 10828993602947336656121 719 10979605475032835079720 720 11132099995519402233614 721 11286498053709685204963 722 11442820741434196080387 723 11601089354732041116086 724 11761325395543257153610 725 11923550573412819321255 726 12087786807206384325689 727 12254056226837833903768 728 12422381175008683270587 729 12592784208959419666626 730 12765288102232836374397 731 12939915846449427843276 732 13116690653094911830215 733 13295635955319944733774 734 13476775409752096569393 735 13660132898320152305040 736 13845732530090806548324 737 14033598643117818848853 738 14223755806303697153047 739 14416228821273977222786 740 14611042724264166104184 741 14808222788019418008433 742 15007794523707011243057 743 15209783682841695109056 744 15414216259223975957305 745 15621118490891411876204 746 15830516862082985761953 747 16042438105216626802952 748 16256909202879950690701 749 16473957389834289151200 750 16693610155032079673225 751 16915895243647686592984 752 17140840659121724978538 753 17368474665218959042007 754 17598825788099847092971 755 17831922818405805332622 756 18067794813358263075126 757 18306471098871582270315 758 18547981271679914490249 759 18792355201478068831368 760 19039623033076464473895 761 19289815188570241930854 762 19542962369522607310533 763 19799095559162484208452 764 20058246024596548137891 765 20320445319035718701794 766 20585725284036185003393 767 20854118051755040088192 768 21125656047220600506016 769 21400371990617487378665 770 21678298899586545656319 771 21959470091539678544218 772 22243919185989674380292 773 22531680106895103544341 774 22822787085020363280065 775 23117274660310948612720 776 23415177684284027847429 777 23716531322434401436208 778 24021371056655923305577 779 24329732687678464041216 780 24641652337520495631497 781 24957166451957377777876 782 25276311803005426087065 783 25599125491421842767624 784 25925644949220590762118 785 26255907942204292555275 786 26589952572512235208659 787 26927817281184563483238 788 27269540850742743222882 789 27615162407786377484271 790 27964721425606458211929 791 28318257726815136571128 792 28675811485992095366227 793 29037423232347607287626 794 29403133852402363046925 795 29772984592684153777084 796 30147017062441492392383 797 30525273236374258921782 798 30907795457381455148881 799 31294626439326154212080 800 31685809269817731139740 801 32081387413011460617149 802 32481404712425568604903 803 32885905393775824751922 804 33294934067827762870736 805 33708535733266617067897 806 34126755779585061448401 807 34549639989988841639840 808 34977234544320386709649 809 35409586022000490377268 810 35846741404988150752305 811 36288748080758658159864 812 36735653845300020945093 813 37187506906127819480712 814 37644355885318578933801 815 38106249822561751681464 816 38573238178230400599138 817 39045370836470674780287 818 39522698108310169582011 819 40005270734785263227710 820 40493139890087522535374 821 40986357184729270678323 822 41484974668728410224297 823 41989044834812595038696 824 42498620621642844978495 825 43013755417056697644910 826 43534503061330991805269 827 44060917850464377437748 828 44593054539479647696667 829 45130968345745988440906 830 45674714952321241313697 831 46224350511314276708576 832 46779931647267573303640 833 47341515460560101194449 834 47909159530830606004943 835 48482921920421391705610 836 49062861177842700218844 837 49649036341257786242973 838 50241506941988786078817 839 50840333008043479595856 840 51445575067663044829149 841 52057294152890905053048 842 52675551803162768533497 843 53300410068917961517296 844 53931931515232155374145 845 54570179225471589165564 846 55215216804968889273913 847 55867108384720588084712 848 56525918625106444076286 849 57191712719630666032435 850 57864556398685144456355 851 58544515933334793627414 852 59231658139125108106618 853 59926050379912037861687 854 60627760571714286548601 855 61336857186588137853272 856 62053409256524915164651 857 62777486377371180219090 858 63509158712771776725149 859 64248496998135825348268 860 64995572544625776805815 861 65750457243169630194974 862 66513223568496424048753 863 67283944583195107989072 864 68062693941796903220436 865 68849545894881260483109 866 69644575293205524460983 867 70447857591858414016482 868 71259468854437428002856 869 72079485757250286783105 870 72907985593540519964529 871 73745046277737311238528 872 74590746349729711596777 873 75445164979165332577276 874 76308381969773631577025 875 77180477763713901652200 876 78061533445948078611709 877 78951630748638478595888 878 79850852055570579718857 879 80759280406600961740696 880 81676999502130518124122 881 82604093707603055219751 882 83540648058029393714315 883 84486748262537087867374 884 85442480708945878454118 885 86407932468368995724795 886 87383191299840429085129 887 88368345654968280596808 888 89363484682614319792727 889 90368698233599857698166 890 91384076865438058346469 891 92409711847092806476068 892 93445695163764250494867 893 94492119521701140198066 894 95549078353040079126465 895 96616665820671811854144 896 97694976823134666897168 897 98784106999535276338617 898 99884152734496693669791 899 100995211163134031752890 900 102117380176057743216820 901 103250758424404666005029 902 104395445324896957202433 903 105551541064929038677552 904 106719146607682678485941 905 107898363697270332391872 906 109089294863906870277001 907 110292043429109812617440 908 111506713510928202624249 909 112733410029200240056868 910 113972238710839803134425 911 115223306095151985386184 912 116486719539177774699638 913 117762587223068002242907 914 119051018155486689357171 915 120352122179043920934854 916 121666009975758374220178 917 122992793072549632390527 918 124332583846760412699801 919 125685495531708839388600 920 127051642222270891990659 921 128431138880493160090458 922 129824101341236036013357 923 131230646317847477356956 924 132650891407867471700655 925 134084955098763336259590 926 135532956773695985679249 927 136995016717317301598128 928 138471256121598738037772 929 139961797091691297112461 930 141466762651817009984647 931 142986276751192058427026 932 144520464269981672787840 933 146069451025286942592649 934 147633363777163676453393 935 149212330234673448394080 936 150806479061966968141889 937 152415939884399913372868 938 154040843294681362342737 939 155681320859054965775576 940 157337505123512997326389 941 159009529620043422377688 942 160697528872910125375337 943 162401638404966436354936 944 164121994744002097757010 945 165858735429123813077199 946 167611999017169519346523 947 169381925089156525886622 948 171168654256763662235646 949 172972328168847578592195 950 174793089517993342577385 951 176631082047099476568744 952 178486450555997580314223 953 180359340908106683990142 954 182249900037122477323381 955 184158275953741560855572 956 186084617752420865885451 957 188029075618172390084890 958 189991800833393396244449 959 191972945784732222065568 960 193972663969989849378760 961 195991110005057381630369 962 198028439630889578944623 963 200084809720514600532842 964 202160378286080104687756 965 204255304485935857067949 966 206369748631752998445473 967 208503872195680123558672 968 210657837817536323182221 969 212831809312041341997320 970 215025951676083005316889 971 217240431096022068193488 972 219475414955034640911537 973 221731071840492345340236 974 224007571551380357099385 975 226305085105753488967080 976 228623784748230471436014 977 230963843957526586803843 978 233325437454024813662787 979 235708741207385639134326 980 238113932444195696676522 981 240541189655655387774151 982 242990692605305646305465 983 245462622336794004864024 984 247957161181680122799643 985 250474492767280936229090 986 253014802024555590754749 987 255578275196030318118028 988 258165099843763418503847 989 260775464857350510703086 990 263409560461970212831409 991 266067578226470416795408 992 268749711071495320190532 993 271456153277653379809781 994 274187100493726351437655 995 276942749744919581100354 996 279723299441153713440728 997 282528949385397983384977 998 285359900782045257767601 999 288216356245328994081600 1000 291098519807782284022425