Tic-Tac-Toe-Tomek solutions

Tic-Tac-Toe-Tomek was solved using Mathematica by 2 contestants. Solution sizes: average 20516 bytes (shortest: 9653; longest: 31380).