Senate Evacuation solutions

Senate Evacuation was solved using Dart by 2 contestants. Solution sizes: average 1930 bytes (shortest: 1810; longest: 2046).

1142.

40R15T3 (S, L) (1819 B)
2527.

jolleekin (S, L) (2046 B)