.
blackjack double deck strategy pcoq