.
blackjack 1 deck strategy xcoq