.
blackjack deck estimation coqg