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