Bathroom Stalls solutions

Bathroom Stalls was solved using Picat by 2 contestants. Solution sizes: average 992 bytes (shortest: 603; longest: 1747).