Counting Sheep solutions

Counting Sheep was solved using Picat by 2 contestants. Solution sizes: average 659 bytes (shortest: 476; longest: 843).