Counting Sheep solutions

Counting Sheep was solved using Maxima by 1 contestant. Solution sizes: average 431 bytes (shortest: 430; longest: 433).