.
casino roulette algorithm rocq