.
casino roulette algorithm coqf