Theme Park solutions

Theme Park was solved using WRAPL by 1 contestant. Solution sizes: average 1223 bytes (shortest: 1220; longest: 1226).