Senate Evacuation solutions

Senate Evacuation was solved using Lisp by 6 contestants. Solution sizes: average 1753 bytes (shortest: 594; longest: 3484).