.
blackjack strategy multiple deck coqc