.
online roulette algorithm coqn