Oversized Pancake Flipper solutions

Oversized Pancake Flipper was solved using Picat by 3 contestants. Solution sizes: average 1100 bytes (shortest: 736; longest: 1987).