Submissions for team Waffle^2 on problem King of Tic-Tac-Toe