“During the 2017 competition, the Libratus team provided the human players with a log of all hands played, including the bot's hidden cards, at the end of each day.”