Senate Evacuation solutions

Senate Evacuation was solved using D by 2 contestants. Solution sizes: average 1225 bytes (shortest: 1161; longest: 1289).