.
blackjack double deck basic strategy vcoq