Infinite House of Pancakes solutions

Infinite House of Pancakes was solved using AWK by 1 contestant. Solution sizes: average 725 bytes (shortest: 724; longest: 727).