Portal was solved using Lisp by 2 contestants. Solution sizes: average 3466 bytes (shortest: 3297; longest: 3551).
