.
6 deck blackjack strategy agda