# (echo 'a(n)=if(n<0,0,binomial(n+9,9)-1);'; echo 'for(n=0,1000,print(n," ",a(n)))';)|gp -q > listeEq.txt 0 0 1 9 2 54 3 219 4 714 5 2001 6 5004 7 11439 8 24309 9 48619 10 92377 11 167959 12 293929 13 497419 14 817189 15 1307503 16 2042974 17 3124549 18 4686824 19 6906899 20 10015004 21 14307149 22 20160074 23 28048799 24 38567099 25 52451255 26 70607459 27 94143279 28 124403619 29 163011639 30 211915131 31 273438879 32 350343564 33 445891809 34 563921994 35 708930507 36 886163134 37 1101716329 38 1362649144 39 1677106639 40 2054455633 41 2505433699 42 3042312349 43 3679075399 44 4431613549 45 5317936259 46 6358402049 47 7575968399 48 8996462474 49 10648873949 50 12565671260 51 14783142659 52 17341763504 53 20286591269 54 23667689814 55 27540584511 56 31966749879 57 37014131439 58 42757703559 59 49280065119 60 56672074887 61 65033528559 62 74473879479 63 85113005119 64 97082021464 65 110524147513 66 125595622174 67 142466675899 68 161322559474 69 182364632449 70 205811513764 71 231900297199 72 260887834349 73 293052087899 74 328693558049 75 368136785015 76 411731930609 77 459856441979 78 512916800669 79 571350360239 80 635627275766 81 706252528629 82 783768050064 83 868754947059 84 961835834244 85 1063677275517 86 1174992339234 87 1296543270879 88 1429144287219 89 1573664496039 90 1731030945643 91 1902231808399 92 2088319702699 93 2290415157799 94 2509710226099 95 2747472247519 96 3005047770724 97 3283866636049 98 3585446225074 99 3911395881899 100 4263421511270 101 4643330358809 102 5053035978704 103 5494563394319 104 5970054457289 105 6481773410771 106 7032112662629 107 7623598774439 108 8258898672309 109 8940826085619 110 9672348219897 111 10456592670159 112 11296854581154 113 12196604061069 114 13159493855364 115 14189367287523 116 15290266473624 117 16466440817749 118 17722355795374 119 19062702031999 120 20492404684399 121 22016633131999 122 23640810985999 123 25370626423999 124 27212042857999 125 29171309943775 126 31254974939759 127 33469894423679 128 35823246375344 129 38322542634089 130 40975641739526 131 43790762164379 132 46776495948314 133 49941822741809 134 53296124269244 135 56849199220527 136 60611278580709 137 64593041407179 138 68805631064169 139 73260671924439 140 77970286548153 141 82947113349099 142 88204324758549 143 93755645897199 144 99615373765774 145 105798396965029 146 112320215956024 147 119196963871699 148 126445427890924 149 134083071186349 150 142128055457530 151 150599264060959 152 159516325748779 153 168899639028119 154 178770397153139 155 189150613762031 156 200063149171379 157 211531737340439 158 223581013518059 159 236236542585119 160 249524848105532 161 263473442099009 162 278110855548954 163 293466669659019 164 309571547872014 165 326457268665033 166 344156759134824 167 362704129387599 168 382134707747649 169 402485076799299 170 423793110276909 171 446098010817799 172 469440348593149 173 493862100832099 174 519406692254449 175 546119036427535 176 574045578063034 177 603234336269629 178 633734948777644 179 665598717151939 180 698878653009536 181 733629525258629 182 769907908375814 183 807772231738559 184 847282830030119 185 888501994734287 186 931494026737559 187 976325290056479 188 1023064266708119 189 1071781612741839 190 1122550215450663 191 1175445251780799 192 1230544247958024 193 1287927140349849 194 1347676337582574 195 1409876783932539 196 1474616024011074 197 1541984268762849 198 1612074462797524 199 1684982353074799 200 1760806558963165 201 1839648643692859 202 1921613187223729 203 2006807860548919 204 2095343501455489 205 2187334191763291 206 2282897336063629 207 2382153741979439 208 2485227701968934 209 2592247076694869 210 2703343379981792 211 2818651865383859 212 2938311614386004 213 3062465626261469 214 3191260909608914 215 3324848575592543 216 3463383932908899 217 3607026584504199 218 3755940526066299 219 3910294246315599 220 4070260829119419 221 4236018057454599 222 4407748519243299 223 4585639715087199 224 4769884167925524 225 4960679534642545 226 5158228719650434 227 5362739990473579 228 5574427095360694 229 5793509382951289 230 6020211924023296 231 6254765635348879 232 6497407405685689 233 6748380223931059 234 7007933309466869 235 7276322244723047 236 7553809109987909 237 7840662620493779 238 8137158265806569 239 8443578451548239 240 8760212643481298 241 9087357513984749 242 9425317090951124 243 9774402909134499 244 10134934163979624 245 10507237867962549 246 10891649009473374 247 11288510714271999 248 11698174409547999 249 12120999990615999 250 12557355990278175 251 13007619750885759 252 13472177599131679 253 13951425023606719 254 14445766855151839 255 14955617450039551 256 15481400876017504 257 16023551101247689 258 16582512186174934 259 17158738478358619 260 17752694810301802 261 18364856700312209 262 18995710556429804 263 19645753883455919 264 20315495493119189 265 21005455717413803 266 21716166625145849 267 22448172241723799 268 23202028772229449 269 23978304827805899 270 24777581655399429 271 25600453370892399 272 26447527195664574 273 27319423696620549 274 28216777029721224 275 29140235187057555 276 30090460247505084 277 31068128630998029 278 32073931356461994 279 33108574303444639 280 34172778477483931 281 35267280279253879 282 36392831777527939 283 37550200986000559 284 38740172144007619 285 39963546001186807 286 41221140106119259 287 42513789098994079 288 43842345008337644 289 45207677551849889 290 46610674441390058 291 48052241692154699 292 49533303936090974 293 51054804739588649 294 52617706925494424 295 54222992899492559 296 55871664980896049 297 57564745737892899 298 59303278327292349 299 61088326838816199 300 62920976643980685 301 64802334749614659 302 66733530156060129 303 68715714220101519 304 70750061022670314 305 72837767741372061 306 74980055027883004 307 77178167390263939 308 79433373580239184 309 81746966985488869 310 84120266027003062 311 86554614561546559 312 89051382289283479 313 91611965166611119 314 94237785824252839 315 96930293990660063 316 99690966920773799 317 102521309830196399 318 105422856334824599 319 108397168895995199 320 111445839271195064 321 114570488970387449 322 117772769718006974 323 121054363920675899 324 124416985140694674 325 127862378575360065 326 131392321542164484 327 135008623969930479 328 138713128895934669 329 142507712969075739 330 146394286959141441 331 150374796272229879 332 154451221472380689 333 158625578809472059 334 162899920753439869 335 167276336534875567 336 171756952692059734 337 176343933624488629 338 181039482152951344 339 185845840086215539 340 190765288794380068 341 195800149788953149 342 200952785309715074 343 206225598918424799 344 211621036099430099 345 217141584867241319 346 222789776381129099 347 228568185566806799 348 234479431745258699 349 240526179268775399 350 246711138164258195 351 253037064783854559 352 259506762462987204 353 266123082185839569 354 272888923258360914 355 279807233988854571 356 286881012376213254 357 294113306805865689 358 301507216753499184 359 309065893496623119 360 316792540834038697 361 324690415813280659 362 332762829466097029 363 341013147552033319 364 349444791310187989 365 358061238219206323 366 366866022765580249 367 375862737220321999 368 385055032424079874 369 394446618580764749 370 404041266059756324 371 413842806206758499 372 423855132163373624 373 434082199695465749 374 444528028030383374 375 455196700703112575 376 466092366411431759 377 477219239880139679 378 488581602734428719 379 500183804382475839 380 512030262907323951 381 524125465968126879 382 536473971710831439 383 549080409688370559 384 561949481790441744 385 575085963182945577 386 588494703257159334 387 602180626588721179 388 616148733906500794 389 630404103071432689 390 644951890065388828 391 659797329990167599 392 674945738076676549 393 690402510704386699 394 706173126431136649 395 722263147033365079 396 738678218556850649 397 755424072378038699 398 772506526276034549 399 789931485515343599 400 807704943939438830 401 825832985075236709 402 844321783248562904 403 863177604710689619 404 882406808776026764 405 902015848971049581 406 922011274194545754 407 942399729889265439 408 963187959225058059 409 984382804293580119 410 1005991207314658707 411 1028020211854395759 412 1050476964055098579 413 1073368713877122519 414 1096702816352712139 415 1120486732851927583 416 1144728032360743324 417 1169434392771406849 418 1194613602185145274 419 1220273560227308299 420 1246422279375036334 421 1273067886297543049 422 1300218623209102024 423 1327882849234827599 424 1356069041789340449 425 1384785797968408835 426 1414041835953656909 427 1443845996430431879 428 1474207244018922269 429 1505134668718619939 430 1536637487366218961 431 1568725045107044879 432 1601406816880108314 433 1634692408916877309 434 1668591560253863244 435 1703114144259115587 436 1738270170172721184 437 1774069784661404229 438 1810523273387323494 439 1847641062591163839 440 1885433720689619463 441 1923911959887366799 442 1963086637803625399 443 2002968759113405599 444 2043569477203542199 445 2084900095843613839 446 2126972070871848199 447 2169797011896113599 448 2213386684010098024 449 2257753009524777049 450 2302908069715272590 451 2348864106583204859 452 2395633524634640354 453 2443228892673739169 454 2491662945612205364 455 2540948586294644591 456 2591098887339933629 457 2642127092998706939 458 2694046621027065809 459 2746871064576616119 460 2800614194100941217 461 2855289959278616859 462 2910912490952875629 463 2967496103088028719 464 3025055294742753414 465 3083604752060355093 466 3143159350276113024 467 3203734155741819699 468 3265344427967623924 469 3328005621681288349 470 3391733388904972594 471 3456543581049653599 472 3522452251027295299 473 3589475655380880199 474 3657630256432415899 475 3726932724449030095 476 3797399939827268059 477 3869048995295707079 478 3941897198136002819 479 4015962072422483039 480 4091261361280404596 481 4167813029162990129 482 4245635264147361314 483 4324746480249486059 484 4405165319758257494 485 4486910655588823097 486 4570001593655282784 487 4654457475262875279 488 4740297879519772569 489 4827542625768602739 490 4916211776037821973 491 5006325637513056999 492 5097904765028539749 493 5190969963578756499 494 5285542290850434249 495 5381643059774987599 496 5479293841101549874 497 5578516465990712749 498 5679333028629099124 499 5781765888864894499 500 5885837674864462600 501 5991571285790171509 502 6098989894499557054 503 6208116950265950719 504 6318976181520699839 505 6431591598617108351 506 6545987496616226879 507 6662188458094621439 508 6780219355974250559 509 6900105356374581119 510 7021871921487073727 511 7145544812472168959 512 7271150092378906304 513 7398714129087308169 514 7528263598273661814 515 7659825486398832603 516 7793427093719742474 517 7929096037324148049 518 8066860254188853324 519 8206748004261492399 520 8348787873566018229 521 8493008777332033899 522 8639439963148103449 523 8788111014139179799 524 8939051852168287849 525 9092292741062601355 526 9247864289864052709 527 9405797456104615279 528 9566123549106398494 529 9728874233306696389 530 9894081531608130856 531 10061777828754031379 532 10231995874729193564 533 10404768788186159309 534 10580130059897161994 535 10758113556231880607 536 10938753522661147259 537 11122084587286753079 538 11308141764397498019 539 11496960458051630639 540 11688576465685824483 541 11883025981750838199 542 12080345601374007099 543 12280572324048714399 544 12483743557350990924 545 12689897120683392609 546 12899071249046305674 547 13111304596836829899 548 13326636241675390974 549 13545105688260233449 550 13766752872249946360 551 13991618164174174159 552 14219742373372666129 553 14451166751962818019 554 14685932998835860189 555 14924083263681847111 556 15165660151043603629 557 15410706724399783939 558 15659266510277199809 559 15911383502392575119 560 16167102165823884362 561 16426467441211433309 562 16689524748988840604 563 16956319993644079619 564 17226899568010740464 565 17501310357589672613 566 17779599744901169174 567 18061815613867854399 568 18348006354228436599 569 18638220865982489199 570 18932508563866423239 571 19230919381860815199 572 19533503777729254599 573 19840312737588876399 574 20151397780512743799 575 20466810963164247615 576 20786604884463688984 577 21110832690287212729 578 21439548078198259294 579 21772805302211703739 580 22110659177590850866 581 22453165085677456129 582 22800378978754942564 583 23152357384944984559 584 23509157413137629869 585 23870836757955131867 586 24237453704749664609 587 24609067134635093879 588 24985736529552977969 589 25367521977372972539 590 25754484177027814493 591 26146684443683060399 592 26544184713941755574 593 26947047551084210549 594 27355336150343062224 595 27769114344213797619 596 28188446607800918724 597 28613398064199927549 598 29044034489915311074 599 29480422320314706399 600 29922628655119426995 601 30370721263931531559 602 30824768591797617579 603 31284839764809522319 604 31751004595742114539 605 32223333589728360871 606 32701897949971851379 607 33186769583496969439 608 33678021106936891684 609 34175725852359604369 610 34679957873132123122 611 35190791949823103659 612 35708303596144031654 613 36232569064929180569 614 36763665354154526864 615 37301670212995812623 616 37846662147925946249 617 38398720428851932499 618 38957925095291523749 619 39524356962589784999 620 40098097628175765749 621 40679229477859472499 622 41267835692169336249 623 41864000252730369999 624 42467807948683211874 625 43079344383144250125 626 43698695979707026884 627 44325949988985118179 628 44961194495196688344 629 45604518422790917589 630 46256011543116502126 631 46915764481132426879 632 47583868722161211439 633 48260416618684830559 634 48945501397183511119 635 49639217165017608127 636 50341658917352762959 637 51052922544128547679 638 51773104837070799919 639 52502303496747853439 640 53240617139670870128 641 53988145305438479849 642 54744988463925935174 643 55511248022518988699 644 56287026333392701274 645 57072426700835390129 646 57867553388617926524 647 58672511627408593199 648 59487407622233712549 649 60312348559984257099 650 61147442616968654505 651 61992798966511999959 652 62848527786601889529 653 63714740267581088619 654 64591548619887250389 655 65479066081839899631 656 66377406927474898254 657 67286686474426609189 658 68207021091857976184 659 69138528208438737619 660 70081326320371993132 661 71035534999469342509 662 72001274901274816954 663 72978667773237823519 664 73967836462935324139 665 74968904926343471383 666 75981998236158923699 667 77007242590170063599 668 78044765319678342899 669 79094694897969979799 670 80157160948838233259 671 81232294255156480799 672 82320226767502326524 673 83421091612832966849 674 84535023103212042074 675 85662156744588202635 676 86802629245625619534 677 87956578526586669129 678 89124143728267023144 679 90305465220983375439 680 91500684613614037761 681 92709944762692637379 682 93933389781555150189 683 95171165049540503559 684 96423417221244983869 685 97690294235830684387 686 98971945326388229809 687 100268521029354014479 688 101580173193982191994 689 102907054991871654589 690 104249320926548241388 691 105607126843102415299 692 106980629937882649024 693 108369988768244761349 694 109775363262357445574 695 111196914729064232639 696 112634805867802132199 697 114089200778577195599 698 115560264971997245399 699 117048165379362016799 700 118553070362810957015 701 120075149725528929359 702 121614574722010069479 703 123171518068380041919 704 124746153952776945864 705 126338658045791119641 706 127949207510964094254 707 129577981015346946939 708 131225158740118306434 709 132890922391262262369 710 134575455210306431892 711 136278941985120437359 712 138001569060775049629 713 139743524350462252219 714 141504997346476482289 715 143286179131257305143 716 145087262388493779649 717 146908441414290772699 718 148749912128397481549 719 150611872085498423599 720 152494520486567153894 721 154398058190282971349 722 156322687724510875424 723 158268613297845035699 724 160236040811216037524 725 162225177869562167645 726 164236233793565004434 727 166269419631449578079 728 168324948170849366819 729 170403033950736396039 730 172503893273416707771 731 174627744216591468879 732 176774806645483986939 733 178945302225032903559 734 181139454432151835619 735 183357488568055735647 736 185599631770654243284 737 187866113027012300529 738 190157163185878304194 739 192473014970280069739 740 194813902990188881398 741 197180063755251904249 742 199571735687593234624 743 201989159134683865999 744 204432576382280848249 745 206902231667435918899 746 209398371191573885749 747 211921243133641040999 748 214471097663323887749 749 217048186954338460499 750 219652765197790522025 751 222285088615606919759 752 224945415474038385554 753 227634006097234063469 754 230351122880888050964 755 233097030305958239651 756 235871994952457742504 757 238676285513319195189 758 241510172808332219934 759 244373929798154341119 760 247267831598395642527 761 250192155493777456959 762 253147180952365379679 763 256133189639876897919 764 259150465434063929439 765 262199294439170563903 766 265279965000466301599 767 268392767718855084799 768 271537995465560417824 769 274715943396886872649 770 277926908969058277654 771 281171191953132887899 772 284449094449995836074 773 287760920905429164049 774 291106978125259735724 775 294487575290585332655 776 297903023973079234709 777 301353638150373588779 778 304839734221521869369 779 308361631022540735639 780 311919649842031590281 781 315514114436882146379 782 319145351048048309189 783 322813688416416680559 784 326519457798747994494 785 330262992983701793157 786 334044630307942653384 787 337864708672328274579 788 341723569558179739644 789 345621557043634261389 790 349559017820080727658 791 353536301208678359199 792 357553759176958795099 793 361611746355511921399 794 365710620054755759299 795 369850740281790730159 796 374032469757338615299 797 378256173932766529399 798 382522221007196227099 799 386830981944699063199 800 391182830491576927660 801 395578143193729477409 802 400017299414107987754 803 404500681350256147019 804 409028674051938118814 805 413601665438854197161 806 418220046318444380504 807 422884210403780191439 808 427594554331545069809 809 432351477680103667619 810 437155382987660375037 811 442006675770507407559 812 446905764541362785229 813 451853060827798535619 814 456848979190759453089 815 461893937243172747663 816 466988355668648917674 817 472132658240274181149 818 477327271839494801724 819 482572626475093645699 820 487869155302259307664 821 493217294641748142949 822 498617483999139545974 823 504070166084184814399 824 509575786830249939799 825 515134795413852666415 826 520747644274294160359 827 526414789133385632479 828 532136689015270258919 829 537913806266340744239 830 543746606575252872791 831 549635558993035394879 832 555581135953296595064 833 561583813292527890809 834 567644070270504810494 835 573762389590785700667 836 579939257421308513234 837 586175163415086024129 838 592470600730999835844 839 598826066054693517039 840 605242059619565233293 841 611719085227860223899 842 618257650271863480449 843 624858265755192983799 844 631521446314193856849 845 638247710239433791419 846 645037579497300108349 847 651891579751698810799 848 658810240385855991574 849 665794094524221956149 850 672843679054478423920 851 679959534649649171059 852 687142205790314479204 853 694392240786929755069 854 701710191802248686914 855 709096614873851304671 856 716552069936777311379 857 724077120846265054439 858 731672335400596506059 859 739338285364048623119 860 747075546489951457547 861 754884698543853389159 862 762766325326793853779 863 770721014698683940319 864 778749358601795231364 865 786851953084357262673 866 795029398324263977874 867 803282298652889555499 868 811611262579013986374 869 820016902812858780249 870 828499836290233181424 871 837060684196791273999 872 845700071992400358249 873 854418629435620980499 874 863216990608298999749 875 872095793940270075175 876 881055682234176959509 877 890097302690399984179 878 899221306932101122969 879 908428351030382021839 880 917719095529556383426 881 927094205472537095629 882 936554350426338494564 883 946100204507694153059 884 955732446408790586744 885 965451759423117270677 886 975258831471433360334 887 985154355127851511679 888 995139027646039195919 889 1005213550985537905439 890 1015378631838200648303 891 1025634981654748129599 892 1035983316671444018799 893 1046424357936889703199 894 1056958831338938928399 895 1067587467631732727679 896 1078311002462855043024 897 1089130176400609441449 898 1100045734961417331174 899 1111058428637338083099 900 1122169012923711463930 901 1133378248346922788209 902 1144686900492291197404 903 1156095740032081475119 904 1167605542753639808389 905 1179217089587653905931 906 1190931166636537885129 907 1202748565202942340439 908 1214670081818390006809 909 1226696518272037432619 910 1238828681639563077557 911 1251067384312182251759 912 1263413444025789313454 913 1275867683890227543269 914 1288430932418687114264 915 1301104023557231577683 916 1313887796714453285324 917 1326783096791258170349 918 1339790774210780309274 919 1352911684948426688799 920 1366146690562052602059 921 1379496658222268099799 922 1392962460742875922899 923 1406544976611441343599 924 1420245090019994343699 925 1434063690895864558935 926 1448001674932649419659 927 1462059943621315918879 928 1476239404281436439644 929 1490540970092559074689 930 1504965560125712872186 931 1519514099375048442379 932 1534187518789614360814 933 1548986755305269804809 934 1563912751876733860744 935 1578966457509771940687 936 1594148827293519747809 937 1609460822432945230979 938 1624903410281448969869 939 1640477564373603432839 940 1656184264458031550813 941 1672024496530425051299 942 1687999252866702997649 943 1704109532056310979599 944 1720356339035661402074 945 1736740685121715320189 946 1753263588045706269324 947 1769926071987006540099 948 1786729167607136349024 949 1803673912083916356549 950 1820761349145763985190 951 1837992529106133991359 952 1855368508898103745479 953 1872890352109103675919 954 1890559129015793333239 955 1908375916619083532191 956 1926341798679305029879 957 1944457865751524199439 958 1962725215221006159559 959 1981144951338825821119 960 1999718185257627313192 961 2018446035067532251609 962 2037329625832197314254 963 2056370089625021588219 964 2075568565565504154914 965 2094926199855752380193 966 2114444145817141377524 967 2134123563927125113199 968 2153965621856199623549 969 2173971494505018815099 970 2194142364041663319569 971 2214479419939062876599 972 2234983859012572718049 973 2255656885457704428699 974 2276499710888011759149 975 2297513554373131867695 976 2318699642476982468934 977 2340059209296115367829 978 2361593496498226858944 979 2383303753360825471539 980 2405191236810057542196 981 2427257211459691097629 982 2449502949650258531314 983 2471929731488358558559 984 2494538844886117935619 985 2517331585600813429447 986 2540309257274654525659 987 2563473171474727363279 988 2586824647733100385819 989 2610365013587092199239 990 2634095604619702128323 991 2658017764500203963999 992 2682132845024903395124 993 2706442206158059619249 994 2730947216072971627874 995 2755649251193229662699 996 2780549696234132340374 997 2805649944244269944249 998 2830951396647274382624 999 2856455463283736313999 1000 2882163562453289940825