.
blackjack r zcoq