Lotto Decoding by Bryan Law