[math-fun] RE tic-tac-toe variants