[math-fun] Casino and unshuffled cards