Oversized Pancake Flipper solutions

Oversized Pancake Flipper was solved using AWK by 3 contestants. Solution sizes: average 408 bytes (shortest: 317; longest: 608).