Oversized Pancake Flipper solutions

Oversized Pancake Flipper was solved using WRAPL by 1 contestant. Solution sizes: average 888 bytes (shortest: 888; longest: 889).