December

Poker hands manager and probabilities.