Submissions for team idkcp on problem King of Tic-Tac-Toe