Port 22

On the Randomness of Automatic Card Shufflers