They aren't using greedy decoding, there's enough randomness in sampling to swap some with independent signal.

[dead]