.
blackjack multiple decks tcoq