.
3 2 double deck blackjack dcoq