shuffle deck player table game game session [] test! [] dealer [] round simulation ? [] bot [] Nash Equilibrium Solver for Heads Up Push or Fold Texas Holdem [] test! [] p2p [] encryption