.
online roulette algorithm calculator jcoq