.
blackjack one deck strategy pcoq