The obvious and totally impractical solution is to construct a look-up table between deck states and log2(52!) bit long strings. I imagine there's a better alg

The obvious and totally impractical solution is to construct a look-up table between deck states and log2(52!) bit long strings. I imagine there's a better algorithm, but it's clearly possible.