Generating numbers with $k$ bits set for a poker simulation
Context
I'm trying to generate all possible Texas Hold'em games for $p$ players, which means there will be at most $2 \cdot p + 5$ cards at play.
To make things a little bit easier, I figured that I could use a 64-bit number to represent each of the cards in a standard 52-card deck (from $2^0$ through $2^{51}$) and represent a full game as the sum of any $2 \cdot p + 5$ distinct 64-bit numbers.
For example, if in my ordering, the suit order is clubs, diamonds, hearts, spades, then $1$ would be the ace of clubs ($1♣$), $2$ would be the ace of diamonds ($1♦$), and so on. At the end of the deck will be the king of spades ($K♠$) with a numerical value of $2^{51} = 2\,251\,799\,813\,685\,248$ (quite big). This way, the number $2^{51} + 2^1 + 2^0$ uniquely represents a player's hand of $K♠1♦1♣$.
Example with two players
Plugging in $p=2$ yields a total of $9$ cards at play for a two-player Texas Hold'em game.
This means that any sum of nine distinct numbers from the set described above would represent a valid game of Texas Hold'em poker with two players. For example, the decimal number $511_d$ in binary is $1\,1111\,1111_b$ and the number $991_d$ in binary is $11\,1101\,1111_b$.
What I've tried
My initial strategy was to iterate over all 64-bit numbers, checking each number to see if it has $9$ bits set with an algorithm I found online, but I realized I probably wouldn't be alive anymore by the time it finished.
I then thought that maybe I could generate a few terms of each $k$ algorithmically and then fit a polynomial through them to "predict" the next terms, but that was a dead end as well.
So I was wondering if there exists a closed-form expression to yield the $n$-th number that has $k$-bits set to $1$ in its binary representation ($k=9$ in the two-player example).