Standing Ovation solutions

Standing Ovation was solved using Idris by 2 contestants. Solution sizes: average 971 bytes (shortest: 676; longest: 1266).