Lawnmower solutions

Lawnmower was solved using Mathematica by 2 contestants. Solution sizes: average 19055 bytes (shortest: 8948; longest: 39271).