.
online slot machine algorithm rcoq