.
blackjack deck estimation xcoq