Oversized Pancake Flipper solutions

Oversized Pancake Flipper was solved using Coq by 1 contestant.