Create ticTacTeo.kif