diff --git a/civs_ballots.csv b/civs_ballots.csv
new file mode 100644
index 00000000..f8894aec
--- /dev/null
+++ b/civs_ballots.csv
@@ -0,0 +1,451 @@
+asymmetric,cafkafk,djacu,doronbehar,Ericson2314,fpletz,Gabriella439,getchoo,Infinidoge,jtojnar,kloenk,linsui,lovesegfault,mschwaig,numinit,nyabinary,phaer,proofconstruction,roberth,Scrumplex,tomberek,winterqt,yu-re-ka
+5,2,21,15,20,16,7,8,12,4,14,17,13,10,22,1,18,9,6,3,23,11,19
+1,23,1,1,20,1,1,1,1,22,1,1,1,1,1,17,1,1,1,18,1,21,19
+1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
+1,1,1,13,21,1,14,1,1,19,1,1,17,1,20,1,16,1,12,15,18,23,22
+1,1,1,19,1,1,1,22,1,1,1,1,18,1,1,20,23,1,16,17,15,21,1
+1,1,1,11,23,13,20,1,1,21,16,1,22,12,1,1,17,1,14,15,19,18,1
+12,23,1,9,17,8,21,5,6,18,3,20,14,22,2,7,10,4,16,13,11,15,19
+1,1,1,23,1,21,1,1,1,22,1,1,1,1,1,1,1,1,1,1,1,1,1
+20,23,1,1,1,1,21,1,19,16,1,1,1,1,1,22,1,18,1,17,1,1,1
+10,9,6,7,5,1,11,8,12,20,3,2,13,14,15,16,19,17,18,4,22,23,21
+16,20,1,3,13,14,22,15,10,6,7,12,5,11,4,19,17,23,21,9,2,8,18
+13,15,2,21,22,17,3,14,5,23,4,19,8,9,12,10,11,1,20,16,6,18,7
+1,20,1,1,23,1,22,1,1,21,1,1,1,1,1,1,1,19,1,1,1,1,1
+1,1,1,1,22,20,1,1,1,21,1,1,23,1,1,1,1,1,1,1,1,1,1
+15,22,1,1,1,20,23,14,13,1,21,1,1,19,1,17,12,16,18,11,1,10,9
+1,17,1,16,22,1,1,1,14,1,1,1,23,1,1,18,1,1,20,1,15,19,21
+20,23,1,1,1,14,22,15,16,1,17,1,1,1,1,13,1,1,1,19,1,18,21
+1,16,1,1,17,1,19,18,12,1,1,1,14,20,11,21,23,22,1,13,10,15,1
+1,1,1,19,23,1,1,1,1,20,1,1,1,1,1,1,1,1,22,1,21,1,1
+1,14,1,1,22,20,16,1,1,1,18,1,19,21,1,1,15,1,23,1,17,1,1
+1,22,1,1,20,17,1,1,1,19,18,1,16,1,1,1,23,1,1,1,21,1,1
+1,1,1,1,1,20,18,1,1,17,22,1,1,1,1,1,1,1,1,19,1,21,23
+9,3,8,23,13,20,7,22,12,18,1,19,21,4,5,15,6,10,16,11,2,14,17
+15,21,1,6,23,4,22,20,12,8,7,3,9,14,17,13,10,19,18,11,16,5,2
+1,13,1,1,1,20,19,15,16,22,18,14,1,1,1,1,1,1,1,17,1,23,21
+1,23,1,19,20,1,1,1,1,1,1,1,22,1,1,21,1,1,1,1,17,18,1
+1,23,1,1,1,1,20,1,19,18,1,1,1,16,1,21,1,17,1,22,1,1,1
+13,20,1,19,1,23,1,18,15,17,1,21,1,1,1,1,14,22,12,1,1,1,16
+1,19,1,16,15,17,1,1,1,1,1,1,1,1,1,1,20,21,23,1,22,18,1
+11,10,1,1,8,19,22,16,17,21,1,14,1,15,1,1,12,13,9,18,1,23,20
+21,1,1,1,13,10,23,11,1,20,1,1,16,1,14,19,12,18,17,1,1,22,15
+1,1,1,1,22,20,1,1,1,19,1,1,18,1,1,1,23,1,21,1,16,17,1
+14,10,1,1,1,15,22,17,18,20,16,9,1,13,1,1,11,12,1,19,1,23,21
+5,3,1,8,22,21,4,12,13,15,9,2,18,6,10,14,19,7,23,11,20,16,17
+6,2,12,21,16,9,19,22,7,23,5,11,15,14,13,4,20,8,18,10,17,1,3
+10,18,1,1,8,20,22,15,16,21,1,14,1,13,1,1,11,12,9,17,1,23,19
+1,1,1,16,17,23,15,1,1,1,14,1,18,13,1,19,21,12,1,1,1,20,22
+1,22,1,1,1,1,20,1,1,18,1,1,17,19,1,16,23,1,1,1,21,1,1
+1,16,1,1,15,20,22,1,17,21,1,1,1,1,1,1,1,1,14,18,1,23,19
+1,1,21,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,22,20,23,1,1
+21,1,8,10,14,20,2,19,6,12,18,15,22,13,11,5,23,16,17,9,3,4,7
+1,1,22,13,19,1,1,1,1,1,14,17,1,16,23,20,15,12,18,1,21,1,1
+1,1,1,1,1,1,1,21,1,19,1,22,1,1,1,1,1,1,1,1,20,23,18
+14,17,1,7,9,20,23,8,15,10,12,4,11,21,3,22,18,13,16,19,2,6,5
+1,1,1,1,16,14,15,23,1,20,1,17,13,1,1,1,18,1,22,19,21,1,1
+18,3,11,17,21,23,2,5,10,22,7,13,14,12,9,1,16,6,19,8,20,4,15
+16,1,15,18,22,19,2,7,12,20,5,11,17,14,13,3,4,10,23,9,21,8,6
+19,1,1,22,1,20,1,1,1,23,1,1,1,1,1,1,1,1,1,21,1,1,1
+1,1,1,1,1,1,23,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
+12,1,1,17,16,10,23,1,14,20,1,1,18,1,1,21,11,13,19,22,1,9,15
+21,13,1,4,22,18,23,6,7,10,11,3,16,14,15,8,5,12,19,9,2,17,20
+1,1,1,1,1,1,23,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
+20,5,1,13,9,19,23,4,18,17,12,11,6,16,8,15,3,22,14,21,2,7,10
+1,1,1,1,23,19,18,1,1,1,1,1,22,1,1,17,1,1,21,1,20,1,1
+15,21,1,1,1,16,19,1,22,1,1,1,1,1,1,23,1,17,1,1,14,18,20
+8,9,1,1,20,17,22,13,14,21,1,12,1,18,1,1,10,11,19,15,1,23,16
+22,1,1,8,19,9,11,14,12,21,1,1,15,1,1,17,20,18,16,13,7,23,10
+13,23,1,1,1,1,22,15,14,1,1,1,9,18,1,20,16,21,19,12,17,11,10
+1,1,1,1,1,1,23,1,1,22,1,1,1,1,1,1,1,1,21,1,1,1,1
+19,1,1,1,23,18,20,1,1,22,1,1,1,1,1,1,1,1,21,1,17,1,1
+1,1,1,1,22,1,23,17,1,19,18,1,16,1,1,1,1,1,21,1,20,1,1
+1,1,1,1,1,17,23,1,1,22,1,1,20,1,1,1,1,1,19,1,21,18,1
+2,23,4,16,22,14,5,15,13,21,8,6,11,1,3,17,10,7,18,12,9,20,19
+16,23,1,1,1,1,21,1,15,14,1,1,20,1,1,19,17,13,1,1,1,22,18
+17,22,1,23,16,1,19,18,20,14,1,1,1,1,13,1,1,1,15,21,1,12,1
+23,20,1,1,22,1,17,1,14,1,1,1,1,21,15,18,19,1,16,1,1,13,1
+19,22,1,14,1,1,23,1,10,16,1,1,13,18,1,20,9,21,15,17,12,11,1
+1,1,1,1,1,1,20,1,1,22,1,1,19,1,1,1,1,1,23,1,1,21,1
+1,1,1,1,1,1,23,1,1,1,1,1,1,1,1,1,1,1,21,1,1,1,22
+14,18,1,7,8,22,12,23,20,11,21,9,5,6,10,13,16,4,3,15,2,19,17
+1,1,1,17,22,19,1,1,1,20,1,1,16,1,1,1,1,1,23,1,1,18,21
+7,6,19,8,22,11,10,18,2,9,3,1,20,5,17,4,14,13,21,16,23,12,15
+12,23,1,8,21,17,1,19,10,16,1,9,1,15,1,1,13,11,22,14,1,18,20
+14,1,13,9,15,18,17,12,7,3,5,8,6,16,21,11,20,10,22,2,23,19,4
+1,1,19,1,1,1,1,22,1,1,1,1,21,1,20,1,1,1,1,1,23,1,18
+1,21,1,1,20,1,23,1,1,1,1,1,1,1,1,1,1,1,1,1,1,22,1
+18,17,1,1,20,1,23,1,19,12,1,1,13,21,1,22,14,16,15,11,1,10,1
+1,1,16,1,23,1,20,1,1,22,1,1,17,1,1,18,19,1,1,1,21,1,1
+1,1,1,1,23,1,21,1,1,1,1,1,1,20,1,1,1,1,22,1,1,1,1
+1,22,1,1,1,1,23,1,1,1,1,1,1,1,1,21,1,1,20,1,1,1,1
+18,2,5,1,21,11,23,7,10,3,15,4,14,8,17,19,13,20,16,6,9,22,12
+1,1,1,1,1,1,1,1,1,22,1,1,1,1,1,23,1,1,21,1,1,1,1
+20,22,1,6,17,9,23,3,15,13,8,10,5,7,4,21,12,19,18,11,2,14,16
+9,1,10,13,1,20,16,12,14,18,21,11,19,1,8,1,1,15,1,22,1,17,23
+1,18,1,21,1,1,23,1,1,20,1,1,1,1,1,1,1,1,22,1,1,19,1
+1,18,1,14,19,23,20,11,1,22,16,13,12,1,1,1,1,1,21,1,15,10,17
+1,23,1,1,1,19,22,12,18,16,15,1,20,11,1,13,1,1,14,21,1,17,10
+1,23,1,1,1,1,22,1,1,1,1,1,1,1,1,1,1,1,21,1,1,19,20
+1,20,1,1,1,1,23,1,17,22,1,1,1,1,1,21,18,1,1,1,1,19,1
+1,1,1,1,23,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
+19,1,1,1,21,18,16,1,1,17,1,1,1,1,15,1,20,1,22,1,1,23,1
+1,19,1,1,21,1,23,18,17,15,1,1,14,13,1,20,1,1,22,16,1,1,12
+1,1,1,1,17,1,1,1,1,19,1,1,21,1,1,22,23,1,20,1,1,1,18
+12,9,1,3,20,6,18,11,19,16,22,7,5,8,4,13,14,17,15,10,2,21,23
+1,21,1,1,1,1,1,1,1,1,1,1,23,1,1,1,1,1,1,1,1,22,20
+21,2,5,10,20,18,6,3,4,14,9,7,11,16,19,12,15,17,22,1,23,13,8
+1,23,1,16,22,20,1,14,11,21,13,1,12,1,10,15,9,17,18,1,1,19,1
+1,1,20,16,23,1,1,18,1,1,1,1,17,1,21,1,19,1,1,1,22,1,1
+23,1,20,21,14,13,1,1,1,22,15,18,8,12,17,1,16,11,9,10,19,1,1
+1,1,1,1,1,1,1,1,1,20,1,1,19,1,1,1,1,18,22,1,23,21,1
+8,10,4,9,18,21,17,11,1,22,3,6,12,14,15,7,2,5,19,13,16,23,20
+1,20,1,1,1,1,23,1,1,1,1,1,1,1,1,1,18,1,22,1,1,19,21
+1,1,1,19,1,1,1,1,1,21,1,1,18,1,1,1,1,1,20,1,23,22,1
+1,17,1,15,19,1,1,1,18,21,1,1,16,1,1,22,1,23,1,1,1,1,20
+18,19,1,1,1,1,22,20,1,1,1,1,1,1,1,1,21,1,1,17,1,23,1
+16,23,1,1,19,1,22,18,14,13,11,1,1,15,12,20,17,21,1,1,1,10,1
+1,23,1,1,1,1,1,1,21,1,1,1,1,1,1,22,1,19,20,1,1,1,1
+1,1,1,1,1,1,22,1,23,18,1,1,1,20,1,19,1,1,1,21,1,1,1
+1,1,21,22,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,23,1,1
+1,1,22,20,18,1,1,1,1,1,1,19,1,1,21,1,1,1,1,1,23,1,1
+20,3,5,10,21,12,11,15,4,17,7,9,2,8,16,1,13,6,22,14,18,23,19
+10,21,3,22,19,17,11,9,14,20,15,4,12,16,1,6,5,8,23,13,2,7,18
+1,1,19,1,21,1,1,1,1,1,1,1,20,1,1,1,1,1,1,1,22,1,23
+19,1,22,1,21,1,1,1,1,1,1,1,18,1,17,1,1,1,20,1,23,1,1
+1,1,1,1,20,1,1,1,1,1,1,1,22,1,1,1,21,1,1,1,23,1,1
+1,20,1,1,1,1,23,18,1,22,1,17,1,1,1,1,1,1,1,1,1,21,19
+15,9,3,6,8,23,20,13,12,18,19,11,4,7,5,10,14,16,2,17,1,22,21
+3,21,2,15,8,4,22,11,19,18,17,5,9,13,6,23,10,14,7,12,1,20,16
+1,18,1,1,20,1,16,1,17,23,1,1,1,1,19,1,1,1,21,1,1,22,1
+1,1,1,1,23,1,22,17,1,1,1,1,16,1,1,1,1,15,18,1,19,21,20
+1,1,1,1,21,22,18,17,1,20,1,1,23,1,1,1,1,1,1,1,19,1,1
+15,14,1,1,1,1,23,18,22,13,1,1,1,1,1,20,16,12,17,19,1,21,1
+15,1,1,1,17,21,22,1,1,23,1,1,18,1,1,1,14,1,19,1,1,16,20
+9,7,18,13,16,2,17,3,21,8,4,15,6,14,5,1,22,19,12,11,20,23,10
+22,8,9,4,16,10,23,2,7,13,3,5,17,15,18,1,21,12,20,11,19,14,6
+1,16,1,1,13,19,12,14,1,1,1,1,17,11,23,18,21,10,15,1,20,22,1
+1,21,20,1,23,1,1,19,1,18,1,1,1,1,1,1,1,1,1,1,22,17,1
+16,1,1,11,20,1,19,21,1,23,12,1,15,9,1,1,22,10,14,13,18,17,8
+1,1,1,16,23,22,1,1,1,21,1,15,1,1,1,1,1,1,20,19,17,1,18
+1,17,1,1,22,1,19,20,1,1,1,1,1,18,1,1,1,1,1,1,23,21,1
+1,1,1,1,18,21,1,1,1,19,1,1,17,1,22,1,1,1,20,1,23,16,1
+1,23,1,1,1,17,22,1,1,20,1,1,18,1,1,1,1,1,21,1,19,1,1
+1,1,1,23,1,17,1,1,1,1,20,1,1,1,1,1,1,1,22,1,21,19,18
+7,2,22,9,23,14,1,10,6,15,5,16,20,4,8,3,18,13,17,11,19,12,21
+1,1,1,1,1,23,1,1,1,1,22,1,1,1,1,1,1,1,1,1,1,1,1
+1,1,1,1,21,19,23,1,1,1,1,1,1,1,1,1,17,18,22,1,20,1,1
+18,22,1,17,1,7,23,9,15,5,13,6,10,16,1,8,14,11,12,19,1,21,20
+19,23,1,1,1,20,22,14,13,11,16,1,1,1,1,12,15,1,1,18,1,17,21
+12,22,1,3,23,2,21,20,16,17,9,8,11,13,10,19,5,4,15,14,6,18,7
+1,1,1,18,22,1,17,20,1,1,1,1,19,1,1,1,1,1,23,1,21,1,1
+1,19,1,23,15,22,1,20,1,21,12,1,1,1,14,17,1,1,1,13,1,18,16
+16,23,1,1,20,1,21,1,1,15,1,1,1,18,1,17,19,1,22,1,1,1,1
+1,19,1,1,16,20,23,1,1,21,1,1,17,1,1,1,22,1,1,1,1,1,18
+13,15,2,7,22,12,14,5,4,21,1,3,18,11,10,6,20,16,19,9,23,17,8
+12,5,2,22,21,14,10,13,11,20,7,15,16,3,4,1,9,6,23,8,17,18,19
+23,11,4,18,19,15,12,22,2,21,6,1,13,10,16,3,8,14,20,17,9,7,5
+1,22,1,1,1,19,20,1,17,1,23,1,1,1,1,1,16,1,1,15,1,18,21
+2,10,4,13,21,12,16,8,3,23,6,18,20,7,5,11,9,1,22,15,14,19,17
+1,1,1,23,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
+1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,23,1,1,1,1,1,22
+14,20,1,1,1,13,23,1,12,21,1,1,1,1,1,22,15,16,18,17,1,19,1
+1,1,1,1,1,1,1,1,1,1,21,1,23,1,22,1,19,18,1,1,20,17,1
+1,1,1,1,18,1,1,1,19,21,1,1,22,1,1,1,1,1,23,1,1,20,1
+20,1,8,15,22,17,7,18,4,12,5,9,19,13,16,2,14,3,23,6,21,11,10
+1,1,1,1,23,1,1,1,1,1,1,1,1,1,1,1,1,1,22,1,1,1,1
+15,1,1,21,1,18,20,1,1,19,1,14,1,1,1,1,22,1,16,1,1,17,23
+17,19,2,4,7,9,16,22,18,8,5,15,14,12,3,21,11,13,6,23,1,20,10
+1,16,1,1,1,15,14,19,1,18,1,1,22,20,1,1,1,1,13,1,17,23,21
+12,23,1,11,13,10,16,7,21,15,9,20,3,6,2,17,14,22,18,4,5,8,19
+1,21,1,1,1,1,17,1,1,1,18,1,1,1,1,19,1,1,1,20,1,22,23
+1,1,18,20,23,1,1,1,1,19,1,1,1,15,16,1,14,1,22,1,21,1,17
+19,15,20,12,14,18,2,6,7,10,1,4,3,16,9,8,23,11,22,17,21,13,5
+5,1,7,8,21,6,12,23,11,13,9,1,20,1,10,1,15,14,16,22,19,17,18
+1,1,23,1,19,18,1,1,1,1,1,1,1,1,22,1,17,1,20,1,21,1,1
+1,1,1,1,22,23,1,1,1,21,1,1,1,19,1,1,1,1,20,1,1,1,1
+9,1,11,19,5,15,10,3,16,14,6,12,18,13,17,1,23,7,22,4,21,20,8
+1,1,1,1,20,1,18,1,1,22,21,1,1,1,1,1,1,1,23,1,19,1,1
+7,16,1,5,11,8,23,14,21,15,18,9,10,6,3,22,12,19,4,20,2,13,17
+20,23,1,1,1,1,21,19,1,15,1,1,1,1,1,14,1,1,17,18,1,16,22
+1,18,1,1,1,23,20,1,1,1,1,1,1,17,1,1,1,1,19,1,1,21,22
+10,1,18,8,23,14,2,15,6,19,3,17,20,5,16,4,12,9,21,13,22,7,11
+16,1,1,1,23,1,22,1,1,21,1,1,20,1,1,1,1,1,17,1,19,18,1
+9,18,4,6,7,21,22,12,14,20,16,2,8,5,3,13,10,11,15,17,1,23,19
+21,23,1,1,1,14,18,22,17,1,13,1,1,1,1,1,19,1,1,15,1,20,16
+1,20,19,1,1,1,21,1,1,18,1,1,1,1,1,1,1,17,23,1,1,22,1
+15,1,1,13,23,16,11,12,1,18,1,17,20,1,1,1,14,1,22,1,19,1,21
+1,1,17,1,18,1,23,1,1,19,1,1,1,1,1,1,1,1,22,1,21,20,1
+16,23,1,1,20,18,1,15,1,17,1,1,1,1,19,1,1,22,1,1,21,1,1
+1,1,1,1,17,23,1,1,1,20,21,1,18,1,1,1,16,1,19,1,1,1,22
+1,1,1,19,1,20,1,1,1,23,1,1,22,1,1,1,1,1,1,1,18,21,1
+12,9,1,3,21,7,19,11,18,16,20,6,4,8,5,13,14,17,15,10,2,22,23
+1,21,1,1,1,1,1,1,1,22,1,18,17,1,1,1,1,1,1,20,1,23,19
+1,20,1,1,1,1,22,17,23,16,1,1,1,14,1,21,19,18,1,1,15,13,1
+1,1,1,22,17,1,1,23,1,1,1,1,16,1,1,1,18,1,20,1,1,21,19
+1,14,1,1,1,20,17,16,1,18,22,1,1,1,1,15,1,1,1,19,1,21,23
+1,11,1,1,1,1,1,21,12,13,1,1,19,20,18,16,15,1,17,14,23,22,1
+1,23,13,22,15,7,10,20,4,18,11,2,12,19,6,3,5,16,8,9,14,21,17
+1,1,1,1,17,18,19,1,1,1,1,1,20,1,1,1,23,1,21,1,22,1,1
+7,17,22,14,16,12,1,8,6,10,5,3,19,2,21,13,20,15,4,9,23,18,11
+19,22,1,10,15,13,17,11,12,16,8,7,1,1,1,23,14,21,20,18,1,9,1
+22,1,1,21,23,20,1,18,1,1,1,1,17,1,1,1,1,1,19,16,1,1,1
+10,1,21,18,23,17,8,7,5,15,16,13,14,11,20,3,12,9,19,6,22,2,4
+1,1,1,1,1,1,23,1,1,1,1,1,1,1,1,1,1,1,1,1,1,22,1
+1,20,1,1,1,1,22,1,1,18,1,1,1,1,1,17,1,19,1,1,1,23,21
+13,20,2,23,19,21,5,8,11,22,12,16,10,3,7,6,4,1,18,17,9,15,14
+1,1,1,1,22,21,20,1,1,1,1,1,1,1,1,1,18,1,23,1,19,1,1
+1,1,1,1,1,1,19,22,1,18,1,1,21,17,1,1,1,1,1,20,1,23,1
+22,1,1,1,21,1,1,1,1,20,1,1,1,1,1,1,1,1,23,1,19,1,1
+8,1,13,15,21,2,20,4,7,19,6,10,17,14,12,18,3,11,22,5,23,9,16
+11,2,5,15,18,13,3,4,17,21,12,23,16,14,7,1,10,8,22,20,19,9,6
+1,1,1,1,1,22,23,1,1,1,1,1,1,1,21,1,20,1,1,1,1,1,1
+1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,23,1,1
+1,21,1,1,17,1,23,16,20,15,1,1,13,1,1,1,19,12,18,1,1,22,14
+22,1,1,20,1,1,23,1,1,1,1,1,21,1,1,1,1,1,1,1,1,1,1
+1,1,1,1,22,1,17,19,1,23,1,1,1,1,1,1,1,1,21,1,20,18,1
+23,17,1,1,18,1,20,1,1,1,1,1,1,1,1,1,21,19,1,1,22,1,1
+12,16,2,5,7,19,20,14,15,21,18,13,4,10,3,9,11,6,8,17,1,23,22
+17,23,1,1,1,13,19,18,15,1,14,1,1,1,1,1,16,1,1,20,1,22,21
+1,1,1,1,1,19,1,1,21,1,1,1,22,1,1,1,23,20,16,17,1,18,1
+17,1,23,18,1,1,1,1,1,20,1,1,1,1,1,1,1,22,21,1,19,1,1
+15,21,1,1,17,1,20,1,1,1,1,1,23,1,1,16,1,19,18,1,1,22,1
+19,9,2,17,22,21,16,13,4,20,5,8,18,11,1,3,12,15,23,10,14,7,6
+1,1,1,1,1,18,1,23,14,19,1,1,15,17,13,12,21,22,20,1,16,1,1
+1,1,1,1,1,21,1,20,1,23,1,19,22,18,1,17,1,1,16,1,1,1,1
+23,17,21,15,3,8,22,16,4,12,9,6,10,20,7,19,13,2,18,11,5,14,1
+1,1,1,19,23,1,1,20,1,17,1,1,21,1,1,1,18,1,1,1,22,1,16
+1,16,1,1,23,21,22,1,1,20,1,1,19,1,1,1,18,15,17,1,14,1,1
+15,16,3,4,22,20,2,9,13,21,14,23,8,7,5,19,11,10,18,6,17,1,12
+19,1,14,1,13,21,11,1,1,1,20,1,18,17,1,1,23,10,16,15,9,12,22
+1,1,1,1,22,19,21,17,1,1,1,1,1,18,1,1,1,1,20,1,23,1,1
+1,1,1,1,1,1,23,20,1,1,1,1,21,1,19,1,1,1,1,1,1,22,1
+1,21,1,23,1,1,19,1,1,18,20,1,1,1,1,22,1,1,1,1,1,1,1
+1,1,1,22,1,17,1,21,1,20,1,1,18,1,1,1,1,1,1,23,1,19,1
+1,1,1,1,1,1,23,1,1,1,1,1,1,1,1,1,20,1,22,1,21,1,1
+1,1,1,1,21,1,1,1,1,1,1,1,1,1,1,1,1,1,22,1,23,1,1
+20,1,1,1,23,1,1,1,1,1,1,1,1,1,1,1,1,1,21,1,22,19,1
+1,23,1,1,1,1,19,22,15,13,1,1,18,1,1,21,16,12,1,17,14,20,1
+1,1,1,1,23,17,1,1,1,20,18,1,1,19,1,1,1,1,21,1,22,1,1
+1,14,1,1,1,17,21,13,16,19,18,15,1,1,1,12,1,1,1,20,1,22,23
+1,14,15,1,22,1,1,20,1,1,1,1,16,1,1,1,19,1,18,1,23,21,17
+1,1,1,1,1,1,22,21,1,1,1,1,1,1,1,1,1,1,1,1,23,1,1
+1,1,21,19,22,1,1,1,1,18,1,14,16,1,15,1,1,20,17,13,23,1,1
+16,1,1,1,22,21,1,1,1,18,1,1,19,1,1,1,1,1,1,1,17,23,20
+1,1,1,1,21,1,23,1,1,1,1,1,1,1,1,1,1,19,22,1,20,18,1
+4,20,5,15,10,17,1,6,7,12,13,1,14,22,16,23,18,19,8,21,1,11,9
+8,3,21,20,4,11,19,5,14,13,9,17,16,7,23,1,18,6,2,10,22,15,12
+6,21,2,14,23,22,17,9,8,19,15,18,12,11,13,3,1,5,7,10,4,16,20
+1,1,1,1,20,22,21,1,1,1,18,1,1,1,1,1,17,1,19,1,1,1,23
+21,22,1,1,1,18,23,1,17,16,10,1,1,15,1,20,13,14,12,19,1,11,9
+1,1,1,1,21,1,1,1,1,22,1,1,1,1,1,1,1,1,23,1,1,1,1
+12,2,18,14,23,10,1,21,16,13,4,3,8,17,22,9,7,5,15,6,20,19,11
+15,19,1,8,1,21,23,9,10,16,6,7,11,17,1,12,1,14,20,18,1,13,22
+12,1,1,1,1,17,19,15,16,18,22,14,1,1,1,13,1,11,1,20,1,21,23
+1,1,22,19,15,18,1,1,17,1,1,1,1,1,16,1,1,1,23,1,21,1,20
+14,19,1,1,1,23,20,10,11,22,16,17,1,1,1,9,13,1,15,12,1,21,18
+15,14,20,1,18,1,1,1,1,1,1,1,21,1,16,1,19,17,23,1,22,1,1
+15,6,5,7,19,11,20,23,8,2,10,1,18,3,9,14,4,22,21,17,16,13,12
+12,18,1,7,19,11,10,22,17,16,6,3,8,4,5,9,20,15,13,21,2,14,23
+6,21,7,2,5,22,13,17,14,19,3,1,15,4,11,20,10,18,8,9,16,23,12
+1,1,1,21,18,1,1,1,1,22,1,1,19,1,1,1,1,1,1,17,1,23,20
+1,19,1,1,23,1,1,1,1,20,1,1,1,1,1,1,1,1,22,1,21,1,1
+20,1,22,1,1,1,1,16,1,1,1,1,1,18,21,15,17,1,19,1,23,1,1
+19,14,1,11,17,1,1,1,1,21,1,1,18,13,1,1,1,12,22,16,15,20,23
+1,21,1,1,1,1,1,1,1,1,1,1,23,1,1,1,22,1,20,1,19,1,1
+1,1,1,1,1,1,22,1,1,1,1,1,23,1,19,1,21,1,20,1,1,1,1
+17,1,1,1,22,15,16,1,1,1,1,1,18,14,1,1,19,20,23,1,21,1,1
+1,1,1,19,15,1,22,1,20,21,1,1,17,1,1,1,1,1,23,18,16,1,1
+1,19,1,1,1,1,23,17,1,1,1,1,1,16,1,22,21,18,1,20,1,1,1
+1,1,1,1,23,22,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
+1,1,1,1,23,1,1,1,1,1,1,1,1,1,1,1,1,1,21,1,22,1,1
+17,19,1,1,1,1,14,21,1,1,1,1,1,20,1,18,1,22,23,1,16,15,1
+15,10,1,12,22,19,23,8,9,20,13,2,16,14,11,6,3,4,21,7,18,17,5
+14,6,15,13,22,12,8,1,1,19,1,1,21,11,18,7,10,9,20,17,23,16,1
+13,8,3,12,15,16,4,1,11,21,2,7,17,6,18,14,9,5,23,10,20,22,19
+1,1,1,1,23,1,1,1,1,21,1,1,1,1,1,1,1,1,1,1,22,1,1
+15,1,1,18,12,17,20,1,1,19,22,10,16,9,1,14,1,1,11,13,1,23,21
+13,14,1,1,17,12,15,1,1,23,1,1,1,21,1,1,18,1,20,1,19,16,22
+22,21,1,1,1,1,23,17,18,15,1,1,1,14,1,16,20,13,12,19,1,1,1
+20,16,1,15,21,1,18,1,1,17,1,1,1,1,1,1,1,23,19,1,22,1,14
+1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,23,1,1,1,22,1,1
+8,7,6,22,19,15,13,10,11,21,16,5,17,12,14,20,4,9,2,3,1,23,18
+1,1,1,1,23,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
+1,1,1,22,23,1,1,1,1,21,1,1,20,1,1,1,1,1,19,1,1,1,1
+18,1,1,20,23,15,1,1,1,19,14,1,13,1,16,1,1,17,22,1,21,1,1
+14,18,1,1,20,17,19,15,1,22,1,1,1,1,1,16,21,13,23,12,11,1,1
+1,1,1,1,18,1,19,1,1,21,1,1,1,1,1,1,1,20,22,1,23,1,1
+14,1,1,16,18,19,1,1,1,23,15,1,22,1,1,1,1,1,21,1,20,1,17
+1,17,1,1,1,19,23,1,22,1,1,18,1,1,1,1,1,1,20,1,1,21,1
+1,1,1,1,23,1,1,1,1,22,1,20,1,1,1,1,1,1,1,1,1,1,21
+1,1,1,1,1,23,1,1,1,21,1,1,20,19,1,1,22,1,1,1,1,1,18
+23,4,20,9,18,10,5,7,3,19,2,8,14,11,16,1,17,22,21,12,15,13,6
+15,18,3,9,23,19,13,20,12,16,6,8,17,5,11,2,10,1,14,7,22,21,4
+13,1,1,1,20,19,1,18,17,21,1,1,16,12,15,22,23,1,14,1,11,1,1
+17,1,1,20,23,1,18,1,1,1,1,1,1,1,1,1,1,1,22,1,21,19,1
+23,1,1,1,20,17,1,1,1,1,1,1,1,1,21,1,16,22,19,1,18,1,1
+11,10,1,1,8,20,22,16,17,21,1,15,1,14,1,1,12,13,9,18,1,23,19
+1,1,1,23,1,18,1,1,19,1,1,1,1,1,1,20,1,21,1,1,1,22,1
+1,1,1,1,1,1,1,1,1,23,1,1,20,1,1,1,1,1,22,1,21,1,1
+1,1,1,12,15,22,1,11,1,13,1,1,20,18,16,1,23,1,19,17,21,1,14
+21,1,1,1,20,1,1,1,1,1,1,19,1,1,1,1,23,18,22,1,17,1,1
+1,1,1,1,1,1,1,1,1,22,1,1,19,1,1,21,1,1,20,17,1,23,18
+14,1,17,11,18,4,9,20,10,6,8,7,16,15,22,2,13,19,21,12,23,5,3
+1,1,1,1,21,20,1,1,1,18,1,1,1,1,1,1,1,19,23,1,22,1,1
+1,1,23,16,1,1,1,1,1,19,17,18,1,1,20,1,1,1,21,1,22,1,1
+1,12,1,1,1,14,21,16,17,23,19,15,1,1,1,1,1,1,13,18,1,22,20
+21,1,1,1,1,1,23,1,1,1,1,1,1,20,1,1,1,1,22,1,1,1,1
+1,1,1,1,20,22,1,23,1,21,1,1,1,1,1,1,17,1,18,1,19,1,1
+20,1,22,1,1,1,1,1,1,1,1,1,1,1,23,1,1,18,19,1,21,1,1
+15,17,2,12,18,4,23,14,6,16,3,1,8,7,10,20,11,21,22,19,9,13,5
+21,1,1,1,20,23,1,1,1,1,1,1,1,1,1,1,22,1,1,1,1,1,1
+1,16,1,1,23,1,15,1,19,21,1,1,20,1,1,1,1,1,17,1,18,22,1
+1,17,1,1,1,19,20,1,1,1,22,1,18,1,1,16,1,1,14,15,1,21,23
+11,14,1,7,5,20,19,15,16,21,18,13,6,10,3,12,9,4,8,17,2,23,22
+1,1,1,17,1,20,19,1,1,1,1,1,18,1,1,1,23,1,22,1,1,1,21
+1,19,1,16,17,1,23,1,1,1,1,1,1,20,21,1,1,18,1,1,22,1,1
+16,2,7,8,23,15,5,6,10,21,19,14,18,9,4,3,11,12,17,13,20,1,22
+20,22,3,10,7,11,21,18,14,15,2,1,8,6,5,19,23,13,12,9,4,17,16
+1,1,1,1,23,21,13,1,1,15,1,1,20,11,16,1,17,19,18,1,22,14,12
+1,1,1,1,1,1,1,1,1,1,23,1,1,1,1,22,1,1,1,1,1,1,21
+19,22,1,1,1,20,23,1,21,1,14,1,1,1,1,1,15,1,1,18,1,17,16
+1,1,1,1,1,21,22,1,1,1,1,1,1,1,1,1,1,1,1,1,20,23,1
+23,20,1,17,21,19,22,1,1,18,1,1,1,1,1,1,1,1,1,1,1,1,1
+1,1,1,1,1,23,1,1,1,1,1,1,1,20,1,1,1,1,1,21,1,1,22
+19,2,3,15,22,14,17,8,10,20,11,23,18,7,4,1,12,9,21,6,5,13,16
+1,1,1,1,22,1,1,1,1,21,1,1,19,1,1,1,1,18,23,1,20,1,1
+14,20,1,1,1,1,23,16,1,15,1,1,1,21,1,19,17,18,13,1,12,22,1
+17,1,21,1,20,18,1,1,1,1,1,1,1,1,19,1,1,1,22,1,23,1,1
+13,15,8,2,23,22,21,4,10,19,12,6,14,3,7,11,5,16,20,9,1,18,17
+1,23,18,1,17,1,20,1,1,1,1,1,21,1,19,1,1,1,1,1,22,1,1
+22,13,4,12,17,11,14,8,6,23,3,10,21,7,2,1,19,15,18,9,16,20,5
+1,1,1,1,23,1,20,1,1,1,1,1,1,1,1,1,19,1,22,1,21,1,1
+13,17,1,22,11,23,9,18,5,16,3,4,6,10,7,19,14,8,21,12,2,20,15
+1,23,1,1,21,1,19,1,1,1,1,16,1,1,1,22,1,20,17,1,1,1,18
+11,1,23,14,21,16,1,17,9,10,13,1,15,12,20,1,19,1,18,8,22,1,1
+1,22,1,1,1,1,1,1,17,23,1,1,20,1,1,16,1,1,19,18,1,21,1
+1,1,1,1,1,1,1,19,1,1,1,17,18,1,23,1,22,1,1,1,20,21,1
+1,1,12,20,23,18,17,11,1,1,19,22,10,15,14,1,13,1,21,16,1,1,1
+1,1,1,1,23,1,1,1,20,21,1,1,1,1,1,1,1,1,1,1,1,1,22
+11,1,14,8,23,17,2,9,7,18,6,16,20,5,12,3,13,15,21,10,19,4,22
+20,1,1,1,1,23,22,1,1,18,1,1,1,1,1,1,21,19,17,1,1,1,1
+1,1,1,1,1,1,23,1,1,1,1,1,1,1,1,1,1,1,22,1,21,1,1
+1,1,1,1,23,1,1,1,22,1,1,1,1,1,1,1,1,1,1,1,1,1,1
+16,23,1,1,1,20,22,1,15,1,1,1,1,1,1,21,1,1,1,18,1,19,17
+1,1,1,1,23,1,1,1,1,1,1,1,1,1,21,1,1,22,20,1,1,1,1
+1,18,1,14,23,13,19,12,21,22,1,1,10,17,1,9,1,1,15,20,16,1,11
+1,1,1,1,23,22,1,1,1,21,1,1,20,1,1,1,1,1,1,1,1,1,1
+1,22,1,1,1,1,23,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
+19,1,1,1,23,1,18,1,1,1,1,1,17,1,1,1,1,1,22,1,21,20,1
+10,18,1,1,8,19,22,15,16,20,1,14,1,13,1,1,11,12,9,17,1,23,21
+1,23,1,1,1,1,21,17,18,20,1,1,16,22,1,1,1,1,19,1,1,1,1
+14,23,1,1,1,16,21,1,1,18,19,1,1,1,1,1,15,1,1,17,1,22,20
+1,1,1,1,22,18,1,1,1,19,1,1,1,21,1,1,1,1,20,1,23,1,1
+9,21,1,18,8,23,13,5,2,20,10,3,7,14,11,16,15,12,19,6,22,17,4
+1,20,1,1,1,1,1,17,1,1,1,1,21,1,1,1,1,19,1,1,18,22,23
+10,1,9,19,23,6,3,18,12,17,4,5,11,15,13,2,8,7,22,16,14,20,21
+1,1,1,1,23,1,1,1,1,1,1,1,1,21,1,1,1,1,20,1,22,1,1
+18,2,20,16,17,9,12,5,6,4,7,10,11,19,23,3,14,15,21,13,22,8,1
+1,23,1,15,1,1,20,11,16,13,22,14,1,9,1,18,1,10,12,17,1,21,19
+15,13,11,16,19,9,21,12,8,22,17,6,20,4,3,1,10,7,18,14,5,23,1
+1,1,1,1,1,1,1,1,1,23,1,1,1,1,1,1,1,1,1,1,1,1,1
+1,21,1,1,23,1,17,1,1,20,1,1,1,1,1,1,1,18,22,1,16,19,1
+11,16,1,4,10,14,15,13,22,19,20,9,8,5,3,23,7,17,6,18,2,12,21
+1,22,1,11,15,1,21,16,17,1,1,1,13,23,19,18,1,14,1,1,20,12,1
+1,1,1,1,23,1,1,1,1,1,1,1,18,1,17,1,20,1,22,1,19,21,1
+12,19,1,3,10,7,17,11,21,8,14,5,6,13,4,23,15,20,9,22,2,18,16
+1,1,1,1,22,1,1,1,1,1,1,1,1,1,1,1,21,1,23,1,1,1,1
+1,1,1,1,21,18,19,1,1,17,1,1,23,1,1,1,1,1,22,1,20,1,1
+1,23,1,1,1,1,22,1,20,1,1,1,1,18,1,17,1,21,16,1,15,1,19
+1,1,1,1,21,20,1,1,1,1,1,1,1,23,1,1,22,1,1,1,1,1,1
+16,22,1,9,1,13,15,21,20,10,11,18,1,8,1,12,14,1,1,19,1,17,23
+15,23,1,1,1,17,19,1,1,18,20,1,1,1,1,1,14,1,1,16,1,22,21
+12,1,20,15,22,13,3,16,8,9,5,7,11,19,18,2,17,6,21,10,23,14,4
+1,15,1,1,1,19,21,1,16,20,17,1,1,1,1,14,1,13,1,18,1,23,22
+19,1,1,1,1,1,1,1,1,1,1,1,1,21,20,1,1,22,1,1,23,1,1
+13,1,1,15,23,21,1,16,1,22,1,1,18,11,1,1,12,1,20,14,17,1,19
+23,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
+1,1,23,1,21,1,19,1,1,1,1,1,1,1,20,1,1,1,1,1,22,1,1
+7,1,23,12,20,15,1,17,8,11,10,13,16,14,21,1,18,6,19,9,22,1,1
+1,23,1,1,1,1,1,1,1,1,1,1,1,1,1,22,1,1,1,1,1,1,1
+20,7,1,11,21,18,8,10,14,13,22,12,19,23,6,3,17,16,15,4,5,9,2
+23,17,1,1,18,1,20,1,1,1,1,1,1,1,1,1,19,21,22,1,1,1,1
+14,3,21,17,22,18,2,16,6,15,13,20,11,7,8,5,9,1,10,4,23,12,19
+1,1,1,1,1,1,1,1,22,23,1,1,1,1,1,1,1,1,1,1,1,1,1
+1,1,17,1,15,16,1,1,1,18,1,1,21,13,1,1,23,1,22,20,19,1,14
+1,1,1,1,16,18,1,1,1,20,17,1,23,1,1,15,22,19,14,1,13,21,1
+11,19,1,10,22,23,21,1,1,20,16,1,9,1,1,18,15,1,14,1,13,12,17
+23,1,1,1,22,1,1,1,1,20,1,1,1,1,1,19,1,21,1,1,1,1,1
+10,13,1,12,9,19,18,17,7,23,20,5,16,4,3,8,15,6,14,11,2,22,21
+1,1,1,1,23,22,21,1,1,1,1,1,1,1,1,1,1,1,1,1,20,1,1
+1,1,20,1,23,1,1,1,1,1,1,1,1,1,1,1,1,1,21,1,22,1,1
+1,16,19,23,17,15,11,22,1,13,8,9,20,1,14,1,1,1,12,1,21,18,10
+1,1,1,1,23,1,21,1,1,1,1,1,1,1,1,1,1,1,1,1,22,1,1
+18,1,1,1,23,1,19,1,1,22,1,1,1,1,1,1,1,1,20,1,21,1,1
+1,1,1,17,20,19,1,1,1,14,1,18,22,1,16,1,1,1,21,15,23,1,1
+21,23,1,17,1,1,1,1,19,1,18,1,1,1,1,20,1,22,1,1,1,1,1
+14,22,1,13,7,12,16,3,19,21,10,5,6,11,4,23,18,20,17,9,2,15,8
+17,1,1,20,23,1,18,1,19,16,1,1,1,1,1,1,22,1,1,1,21,1,1
+1,1,1,1,21,1,1,1,1,1,1,1,23,1,1,1,1,20,22,1,1,1,1
+19,1,1,1,22,18,23,1,1,15,1,1,20,1,1,1,17,1,21,1,1,1,16
+2,16,10,18,22,9,1,12,8,23,15,6,21,11,7,4,3,5,17,13,19,14,20
+16,2,23,14,3,19,1,17,7,12,13,9,21,5,22,4,18,11,10,6,15,20,8
+1,1,1,1,16,23,1,1,1,19,20,1,1,1,1,21,15,1,22,1,18,17,1
+1,1,1,1,22,1,23,1,1,1,1,1,1,1,1,1,1,1,1,1,21,1,1
+1,21,1,1,1,1,1,22,1,1,1,1,1,1,1,23,1,1,1,1,1,1,1
+17,20,1,16,23,21,19,15,14,11,1,1,13,1,1,1,10,12,22,1,1,18,1
+1,22,1,1,1,17,23,1,1,1,21,1,1,1,1,1,18,1,19,1,1,20,1
+1,1,21,1,18,1,1,20,1,1,1,1,19,1,23,17,1,1,16,1,22,1,15
+1,20,1,1,21,1,23,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,22
+1,1,1,1,22,21,19,1,1,1,1,1,18,1,1,1,1,1,23,1,20,1,1
+17,1,21,18,1,1,20,1,1,1,1,1,19,16,1,1,22,1,23,1,1,1,15
+12,22,1,3,18,15,23,19,13,8,14,5,7,20,4,21,11,16,17,9,2,10,6
+6,21,2,19,20,23,11,8,7,22,3,1,16,5,14,13,9,4,17,10,18,15,12
+15,1,16,13,18,7,20,14,6,12,3,5,11,23,17,9,19,2,21,10,22,8,4
+20,23,1,1,22,14,21,19,15,1,1,1,1,1,1,18,17,1,16,1,1,1,1
+1,1,1,1,23,1,1,1,1,21,1,1,1,1,1,1,1,1,20,1,1,22,19
+1,1,1,1,21,1,23,18,1,1,1,1,1,1,1,1,1,1,20,19,17,22,1
+15,16,1,10,20,12,18,14,13,22,9,1,11,1,1,1,1,1,23,21,1,17,19
+1,15,17,1,19,1,1,1,16,21,1,22,1,1,1,1,1,1,23,1,1,18,20
+20,23,1,15,21,12,17,19,13,11,1,1,8,10,1,14,7,1,18,9,16,22,6
+13,19,4,5,21,1,22,7,18,15,3,6,10,14,12,8,2,23,20,11,16,17,9
+1,1,1,1,1,1,22,1,1,1,1,1,1,1,1,1,1,1,1,1,23,1,1
+1,1,1,20,23,1,1,1,1,1,1,1,1,1,22,1,1,21,1,1,1,1,1
+1,21,1,1,16,1,22,19,1,17,1,20,15,1,1,1,1,1,1,18,1,23,1
+10,18,1,2,19,5,14,12,3,8,6,17,13,16,11,22,4,9,23,21,20,15,7
+22,16,18,1,1,11,1,21,10,8,1,1,1,17,15,14,19,13,20,1,23,12,9
+11,10,1,1,8,20,22,16,17,21,1,15,1,14,1,1,12,13,9,18,1,23,19
+1,1,1,22,21,18,1,1,1,23,1,1,20,1,1,19,1,15,16,1,14,1,17
+20,19,2,10,23,14,21,7,12,5,6,8,16,3,11,4,13,18,22,17,1,15,9
+10,21,1,9,22,8,23,17,16,15,7,2,14,13,6,12,20,4,5,11,19,18,3
+1,18,1,20,23,1,22,1,1,1,1,1,1,1,1,1,1,1,17,1,19,21,1
+19,6,17,12,22,11,2,3,7,15,5,14,8,13,18,1,16,20,23,10,21,9,4
+1,1,1,1,22,23,1,1,1,21,1,1,1,1,1,1,1,1,1,1,20,1,1
+1,1,23,1,21,22,17,1,1,20,1,1,1,1,1,1,1,1,19,1,18,1,1
+1,1,20,19,23,1,1,1,1,17,1,18,1,1,1,1,1,1,21,1,22,1,1
+1,1,1,1,18,1,1,1,17,23,1,22,20,1,1,1,1,1,19,21,1,1,1
+1,1,1,1,1,1,1,1,22,1,1,1,1,1,1,21,1,23,1,1,1,1,1
+1,1,1,20,22,1,18,1,1,1,1,1,21,1,1,1,1,1,19,1,23,17,1
+1,1,1,1,1,1,1,21,1,1,1,1,1,23,1,1,20,1,1,19,22,1,1
+23,1,1,1,1,17,1,1,1,18,1,1,1,1,1,1,22,1,21,1,16,20,19
+13,15,1,19,1,17,1,18,1,1,1,1,1,20,1,1,16,1,22,14,21,1,23
+1,19,1,15,1,16,21,18,17,13,1,1,11,1,1,12,23,1,20,14,1,22,1
+8,17,3,11,16,6,12,19,15,18,9,4,13,21,7,10,1,2,22,23,20,5,14
+17,1,1,1,23,18,1,1,1,1,21,1,19,1,1,1,22,1,1,1,20,1,1
+1,18,1,21,1,19,1,17,1,23,1,1,1,1,1,1,16,14,20,15,1,22,1
+1,18,1,1,1,1,1,17,1,19,1,14,1,16,20,21,1,1,1,15,23,22,1
+9,6,19,20,22,8,5,10,7,16,4,14,21,13,15,12,11,18,23,3,17,2,1
+1,1,1,1,22,1,23,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
+18,12,8,4,19,5,10,13,11,15,3,2,14,16,7,23,17,22,20,21,6,9,1
+13,1,18,17,23,16,1,1,1,10,1,19,14,15,21,1,11,1,9,12,20,1,22
+1,1,1,1,23,18,1,19,1,16,1,15,20,1,21,1,17,1,1,1,22,1,1
+1,1,1,1,22,21,23,1,1,18,17,1,20,1,1,1,1,1,19,1,1,1,1
+18,22,1,3,16,8,23,17,15,14,4,9,11,13,10,19,6,12,7,21,2,20,5
+1,1,1,1,1,1,23,20,18,21,1,1,1,16,1,19,15,22,1,1,14,17,1
+1,17,1,1,1,1,20,1,18,1,1,1,1,1,1,19,1,1,21,1,23,22,1
+1,17,1,1,1,1,23,12,21,11,20,1,1,13,1,22,14,15,1,1,16,18,19
+18,20,1,1,22,1,1,1,16,1,1,1,1,17,1,15,19,1,23,1,21,1,14
+17,21,6,11,2,16,15,3,12,13,8,9,7,5,4,22,10,19,18,14,1,23,20
+20,19,1,1,1,18,17,16,15,1,14,1,1,1,1,1,13,1,1,21,1,22,23
+20,21,1,16,22,19,23,18,13,9,1,15,1,1,1,10,12,14,1,17,1,8,11
+1,1,18,21,19,1,17,1,1,1,1,1,1,1,1,1,22,1,23,1,20,1,1
diff --git a/default.nix b/default.nix
index 556f274b..d67688a1 100644
--- a/default.nix
+++ b/default.nix
@@ -28,5 +28,7 @@ rec {
   # Verifies the voters.json and returns a derivation with the emails/github ids
   voters = import ./nix/voters.nix { inherit pkgs; };
 
+  verifyBallotMatch = import ./nix/verify-ballot-match.nix { inherit pkgs; };
+
   inherit pkgs;
 }
diff --git a/doc/verify.md b/doc/verify.md
index 413d0081..849e217c 100644
--- a/doc/verify.md
+++ b/doc/verify.md
@@ -1,10 +1,109 @@
 # How to verify the election result
 
-TODO
+The resulting Nix Steering Committee for this election is (sorted alphabetically):
+- @Ericson2314 (2 year term)
+- @fpletz (1 year term)
+- @Gabriella439 (2 year term)
+- @jtojnar (2 year term)
+- @roberth (2 year term)
+- @tomberek (1 year term)
+- @winterqt (1 year term)
 
-Because it's anonymous, there's no way to know that exactly those people got a link.
-Could ask random people whether they got to vote and whether their ballot is in the final list.
+You can verify this as follows:
+1. Check that the result matches <https://civs1.civs.us/cgi-bin/results.pl?id=E_8589ef69d0e60845> (see the winning set of choices).
+   The terms are assigned according to the individual preference order.
+2. Clone this repository. Subsequent commands assume it's available under `SC-election-2024`.
+2. Download the CIVS ballots from <https://civs1.civs.us/cgi-bin/download_ballots.pl?id=E_8589ef69d0e60845> and verify that they match the [ones in the repository](../civs_ballots.csv):
+   ```bash
+   curl 'https://civs1.civs.us/cgi-bin/download_ballots.pl?id=E_8589ef69d0e60845' > civs_ballots.csv
+   diff <(sort civs_ballots.csv) <(sort SC-election-2024/civs_ballots.csv)
+   ```
+3. Download the OpaVote ballots from <https://opavote.com/results/6251213851459584> ([direct link](https://opavote.com/ballots/6251213851459584/0?d=1)) and verify that it matches the [ones in the repository](../opavote_ballots.blt):
+   ```
+   diff ballots1.txt SC-election-2024/opavote_ballots.blt
+   ```
 
-In case of CoI disqualifications:
-For every disqualification round of a CoI candidate:
-- Get the ballots from the new election and make sure it matches the previous one with only the CoI conflicted persons being removed
+   Note that the ballots will only be available from OpaVote until 2024-12-27, after that you cannot verify this part.
+4. The two ballot lists are in very different formats, but should have the same data.
+   To verify that, inspect the code in this repository and run:
+   ```
+   nix-build SC-election-2024 -A verifyBallotMatch
+   ```
+5. Recreate the CIVS result (optional, only works if CIVS doesn't change the implementation)
+   1. [Create a new poll](https://civs1.civs.us/civs_create.html) with these options:
+      - <details>
+        <summary>Candidates:</summary>
+
+        ```
+        asymmetric
+        cafkafk
+        djacu
+        doronbehar
+        Ericson2314
+        fpletz
+        Gabriella439
+        getchoo
+        Infinidoge
+        jtojnar
+        kloenk
+        linsui
+        lovesegfault
+        mschwaig
+        numinit
+        nyabinary
+        phaer
+        proofconstruction
+        roberth
+        Scrumplex
+        tomberek
+        winterqt
+        yu-re-ka
+        ```
+        </details>
+      - How many choices will win: 7
+      - [x] Make this a test poll: read all votes from a file.
+      - [x] Enforce proportional representation (rank of their favorite choice)
+   2. Once on the poll control page, load the ballot data from `result/civs_ballots.txt`, which was generated from the previous step.
+   3. Close the poll and verify that the results match.
+
+## Verifying the voters
+
+To verify that only people eligible [according to the constitution](https://github.com/NixOS/nix-constitutional-assembly/blob/00b53920442a5077fa8c295a9955042e45080323/constitution.md#vote-eligibility) are in the [`voters.json`](../voters.json) file:
+
+1. Generate the initial list of automatically eligible people as was done by the EC in [this commit](https://github.com/NixOS/SC-election-2024/commit/fd157a8ad1b19733788325ad59d036fa6b434d20), inspect the code of this repository and run
+   ```
+   # If you don't have 4TB of space or can't wait 10 CPU days for processing:
+   nix-shell -p cachix --run "cachix use nca"
+
+   nix-build -A generateVoters
+   ./result
+   ```
+2. See the approved exception requests, email changes and voters waiving their voting rights by inspecting the [Git history of `voters.json`](https://github.com/NixOS/SC-election-2024/commits/main/voters.json).
+
+Because OpaVote does not give public access to the list of emails that were invited to vote, you need to trust the EC on it matching [`voters.json`](../voters.json).
+Members of the EC can verify it as follows:
+
+1. Download the voter list at <https://opavote.com/manage/6251213851459584/final?d=1>.
+   This requires logging into the OpaVote account and is likely only available until 2024-12-27.
+   The SHA256 hash of the file is
+   ```
+   8f10d15ca2c06a4812cf4ab5ebbdfc774bb831487507266acc0f67a9d6b51d42  voter_list.csv
+   ```
+2. In `nix-shell -p csvkit jq diffutils`, run
+   ``` bash
+   diff \
+     <(jq -r 'keys[] | select(startswith("@") | not) | ascii_downcase' voters.json | sort) \
+     <(csvjson voter_list.csv | jq -r '.[] | select((.Voted == true or .Bounce != true) and .Disabled != true) | .Voter' | sort)
+   ```
+
+Note that:
+- Voters who didn't have an email address in `voters.json` couldn't be invited to vote.
+
+  They were informed of needing to set an email address ([1](https://github.com/NixOS/SC-election-2024/issues/1#issuecomment-2354208422) [2](https://github.com/NixOS/SC-election-2024/issues/130)), which some did with subsequent PRs.
+- Some voters were invited, but their email bounced, in which case those voters were [given another chance](https://github.com/NixOS/SC-election-2024/commit/42efa5e76267e28c6bb053f0c3f26637d25213b1) to add a different email.
+
+  There is also one special case of somebody being able to vote, but an email being bounced,
+  most likely due to a later reminder email that bounced.
+  That person was not given the chance to add another email.
+  No other bounced emails cast a vote.
+- Some voters voluntarily waived their voter rights and were thus manually disabled by the EC to stop sending email reminders.
diff --git a/ec/default.nix b/ec/default.nix
index a33bd274..45bb7f53 100644
--- a/ec/default.nix
+++ b/ec/default.nix
@@ -615,4 +615,57 @@ in
         We cannot change the voter emails where the voting link has been delivered, but for missing and bouncing addresses, users can still [update their email address](https://github.com/nix-constitutional-assembly-2024/SC-election-2024/blob/main/doc/email.md). Everybody without an email address in `voters.json` will be notified once more.
       '';
   };
+
+  result = buildAnnouncement {
+    title = "Results for the Nix Steering Committee Election 2024";
+    announcement =
+      platform: loginExists: discourseLink:
+      ''
+        After successfully tallying the 450 ballots cast (56% turnout) using CIVS,
+        We are hereby concluding this election!
+        We congratulate the first members of the Nix Steering Committee (SC) (ordered alphabetically):
+        - [@Ericson2314] (2 year term)
+        - [@fpletz] (1 year term)
+        - [@Gabriella439] (2 year term)
+        - [@jtojnar] (2 year term)
+        - [@roberth] (2 year term)
+        - [@tomberek] (1 year term)
+        - [@winterqt] (1 year term)
+
+        [@Ericson2314]: https://github.com/NixOS/SC-election-2024/blob/main/candidates/Ericson2314.md
+        [@fpletz]: https://github.com/NixOS/SC-election-2024/blob/main/candidates/fpletz.md
+        [@Gabriella439]: https://github.com/NixOS/SC-election-2024/blob/main/candidates/Gabriella439.md
+        [@jtojnar]: https://github.com/NixOS/SC-election-2024/blob/main/candidates/jtojnar.md
+        [@roberth]: https://github.com/NixOS/SC-election-2024/blob/main/candidates/roberth.md
+        [@tomberek]: https://github.com/NixOS/SC-election-2024/blob/main/candidates/tomberek.md
+        [@winterqt]: https://github.com/NixOS/SC-election-2024/blob/main/candidates/winterqt.md
+
+        This result is certified by all [Election Committee][ec] members.
+
+        [ec]: https://github.com/nixos/SC-election-2024?tab=readme-ov-file#election-committee-ec
+
+        For verification purposes,
+        all OpaVote ballots will soon be available [here][opavote]
+        (the result there should be ignored; voters will also get an email),
+        while the CIVS tally to determine the result using the same ballots
+        is already available [here][civs].
+        See [the new docs][verify] for more info on result verification.
+
+        [opavote]: https://opavote.com/results/6251213851459584
+        [civs]: https://civs1.civs.us/cgi-bin/results.pl?id=E_8589ef69d0e60845
+        [verify]: ${p ../doc/verify.md}
+
+        We are now establishing communications with the first SC members
+        and will soon make a final handover announcement on behalf of the EC / NCA.
+
+        We, the members of the EC / NCA, and @ron from the NixOS Foundation board,
+        are thankful for everybody's participation in this first election,
+        and are looking forward to see the first SC getting started.
+
+      '' + lib.optionalString (platform != "discourse") ''
+        Note that you can also read and publicly discuss this announcement [on Discourse][discourse].
+
+        [discourse]: ${discourseLink}
+      '';
+  };
 }
diff --git a/nix/process.sh b/nix/process.sh
index a5f8423f..4848122c 100755
--- a/nix/process.sh
+++ b/nix/process.sh
@@ -13,6 +13,9 @@
 
 set -euo pipefail
 
+tmp=$(mktemp -d)
+trap 'rm -rf "$tmp"' exit
+
 read -r candidateCount _seatCount;
 echo "Candidate count: $candidateCount" >&2
 while read -ra ballot; do
@@ -40,11 +43,15 @@ while read -ra ballot; do
       candidateRanks[candidate]=$(( rank-- ))
     done
 
-    echo "${ballot[@]}" "->" "${candidateRanks[@]}" >&2
-    echo "${candidateRanks[@]}"
+      echo "${ballot[@]}" "->" "${candidateRanks[@]}" >&2
+    (
+      IFS=,
+      echo "${candidateRanks[*]}"
+    )
   fi
-done
+done | sort -n > "$tmp/sorted"
 
+candidates=()
 echo "Candidates (fill this into the candidate field):" >&2
 for candidate in $(seq "${candidateCount}"); do
   read -r name
@@ -52,11 +59,17 @@ for candidate in $(seq "${candidateCount}"); do
   name=${name#\"}
   if [[ "$name" == "0" ]]; then
     # For some reason CIVS doesn't store candidates named "0"
-    echo "0.0" >&2
-  else
-    echo "$name" >&2
+    name="0.0"
   fi
+  echo "$name" >&2
+  candidates+=("$name")
 done
 
+(
+  IFS=,
+  echo "#" "${candidates[*]}"
+)
+cat "$tmp/sorted"
+
 read -r title
 echo "Title: $title" >&2
diff --git a/nix/verify-ballot-match.nix b/nix/verify-ballot-match.nix
new file mode 100644
index 00000000..02595e70
--- /dev/null
+++ b/nix/verify-ballot-match.nix
@@ -0,0 +1,20 @@
+{ pkgs }:
+pkgs.runCommand "verify-ballot-match" {
+  src = pkgs.lib.fileset.toSource {
+    root = ../.;
+    fileset = pkgs.lib.fileset.unions [
+      ./process.sh
+      ../civs_ballots.csv
+      ../opavote_ballots.blt
+    ];
+  };
+} ''
+  unpackPhase
+  cd "$sourceRoot"
+  patchShebangs .
+  export PATH=${pkgs.lib.makeBinPath [ pkgs.bc pkgs.coreutils pkgs.diffutils ]}
+
+  mkdir $out
+  nix/process.sh < ./opavote_ballots.blt > $out/civs_ballots.txt
+  diff <(tail -n+2 civs_ballots.csv | sort -n) <(tail -n+2 $out/civs_ballots.txt)
+''
diff --git a/opavote_ballots.blt b/opavote_ballots.blt
new file mode 100644
index 00000000..ddc33692
--- /dev/null
+++ b/opavote_ballots.blt
@@ -0,0 +1,476 @@
+23 23
+1 21 15 19 8 18 5 3 13 14 1 17 20 4 9 7 11 12 10 22 6 23 16 2 0
+1 5 19 21 10 4 0
+1 13 5 10 6 0
+1 7 10 21 13 19 22 6 0
+1 3 15 13 22 6 17 8 1 21 4 11 10 18 19 12 23 9 20 14 16 5 2 7 0
+1 7 0
+1 19 21 5 6 18 10 0
+1 21 5 13 4 19 7 22 0
+1 16 9 2 23 7 22 18 6 1 21 0
+1 22 8 13 20 7 10 14 0
+1 7 0
+1 7 22 2 9 17 19 5 8 10 23 13 18 0
+1 23 22 20 1 2 6 7 8 9 11 17 0
+1 7 22 14 2 16 18 17 8 10 1 19 21 0
+1 2 14 7 12 23 10 5 19 22 13 20 1 21 17 4 6 16 9 8 18 11 15 3 0
+1 16 10 19 0
+1 5 7 10 13 21 22 19 1 0
+1 10 17 8 5 7 21 22 1 13 19 20 11 4 18 14 23 0
+1 21 5 22 8 7 14 2 0
+1 17 6 21 13 19 14 20 15 5 23 10 4 8 0
+1 8 20 5 13 21 23 22 19 17 18 10 7 9 15 11 4 3 6 1 0
+1 8 18 17 19 10 6 14 21 13 9 15 16 0
+1 23 21 5 13 3 0
+1 22 19 5 1 23 21 10 15 8 20 17 6 7 4 12 14 11 18 3 9 2 13 16 0
+1 2 18 21 5 15 6 10 1 8 0
+1 5 23 10 9 0
+1 21 5 10 17 19 13 22 18 2 7 1 6 14 15 20 23 4 16 8 9 12 3 11 0
+1 7 19 21 0
+1 0
+1 16 2 18 19 1 20 7 10 5 17 6 9 8 4 22 11 12 0
+1 22 16 2 23 18 19 1 6 7 20 10 9 4 17 12 11 13 3 14 15 8 5 21 0
+1 5 0
+1 21 0
+1 8 19 21 10 20 17 12 5 7 6 13 0
+1 7 19 21 17 0
+1 2 22 7 23 11 10 20 6 17 1 0
+1 13 19 5 18 0
+1 16 20 9 18 2 22 7 23 17 11 14 1 8 5 19 10 6 13 12 15 4 21 3 0
+1 2 7 18 16 19 14 21 17 8 9 1 20 22 23 13 0
+1 5 6 2 23 10 12 7 22 11 4 15 13 14 20 8 9 19 1 18 21 16 3 17 0
+1 5 0
+1 7 18 10 8 16 9 22 14 17 21 0
+1 5 19 21 10 2 0
+1 22 5 6 23 13 10 21 1 0
+1 10 19 5 13 22 12 23 7 20 21 4 6 16 2 17 8 14 11 15 3 9 1 18 0
+1 10 22 7 23 11 20 9 8 12 6 19 2 0
+1 3 21 19 15 10 12 11 4 0
+1 23 8 20 17 5 2 9 10 18 22 19 1 6 7 16 13 4 11 15 14 12 21 3 0
+1 5 21 6 13 18 19 17 15 10 22 7 23 14 0
+1 17 19 21 3 1 6 20 14 2 5 22 4 18 10 15 16 9 8 23 12 13 7 11 0
+1 5 6 7 19 10 22 23 18 2 13 1 11 16 9 20 3 15 12 17 8 14 4 21 0
+1 22 10 7 13 5 19 11 4 1 20 2 8 3 17 6 9 18 12 21 14 15 0
+1 6 5 10 19 14 0
+1 22 7 10 6 23 20 9 8 12 14 18 17 1 2 19 5 0
+1 7 2 11 6 14 19 16 18 1 8 9 17 20 22 23 0
+1 2 22 23 11 7 10 6 20 1 17 0
+1 5 21 19 3 4 12 10 0
+1 16 18 20 19 5 1 17 14 10 13 8 2 9 7 22 3 15 21 6 4 11 12 23 0
+1 19 5 6 21 17 13 23 22 10 16 9 8 20 15 11 4 18 14 1 7 2 12 3 0
+1 5 21 19 1 22 0
+1 7 2 0
+1 14 21 8 17 20 0
+1 5 17 11 21 13 6 1 0
+1 5 19 7 14 0
+1 7 19 1 14 0
+1 6 10 2 5 4 21 19 13 22 15 16 23 7 20 17 8 9 1 14 18 11 3 12 0
+1 4 22 18 16 9 6 0
+1 19 4 2 10 5 23 6 14 11 9 20 13 7 1 8 18 22 16 17 12 3 21 15 0
+1 19 10 20 5 23 7 22 2 1 8 9 6 13 4 11 0
+1 14 2 7 21 15 16 9 8 5 18 13 22 4 0
+1 18 7 5 19 2 9 22 21 10 14 1 15 20 13 23 16 8 12 4 3 11 17 6 0
+1 7 16 14 5 9 1 2 18 19 17 13 10 20 22 0
+1 5 21 3 15 19 4 6 11 10 13 12 17 14 1 18 7 8 20 9 23 16 22 2 0
+1 19 10 11 5 21 7 0
+1 3 18 19 10 21 4 1 0
+1 5 21 15 3 17 8 13 4 0
+1 11 2 23 7 6 22 9 17 20 0
+1 7 2 11 22 19 17 6 0
+1 23 22 2 20 16 11 7 0
+1 22 10 4 23 13 5 20 0
+1 6 17 10 13 14 23 0
+1 23 2 8 9 20 12 22 1 7 17 6 16 11 10 4 14 0
+1 10 13 19 21 6 5 23 4 11 1 0
+1 19 5 14 6 13 11 21 7 17 2 0
+1 6 5 10 21 0
+1 21 19 15 17 22 6 7 14 5 1 3 8 16 18 4 12 9 13 11 23 10 20 2 0
+1 2 22 5 1 8 19 7 21 4 16 9 6 10 14 20 13 17 23 0
+1 22 23 5 15 10 21 13 17 20 7 4 19 0
+1 19 10 5 0
+1 7 6 15 17 0
+1 5 23 19 13 21 10 6 12 18 3 17 15 1 20 8 4 9 11 14 22 16 7 2 0
+1 21 7 0
+1 19 7 10 9 4 20 13 21 5 0
+1 21 13 17 5 0
+1 5 21 13 8 4 17 10 23 0
+1 2 7 23 1 20 22 11 9 8 6 16 0
+1 3 21 5 15 17 19 8 6 13 4 11 14 1 10 9 20 0
+1 19 5 21 1 13 8 6 15 4 17 14 10 22 23 12 3 7 20 11 9 18 16 2 0
+1 19 10 22 7 13 0
+1 2 23 7 1 8 20 19 22 10 16 0
+1 23 11 22 6 20 10 7 8 16 2 0
+1 2 16 5 18 7 23 19 12 0
+1 2 19 5 23 8 22 6 10 14 20 17 1 18 9 12 4 0
+1 12 5 19 10 1 13 7 23 4 6 22 17 11 9 18 8 14 20 21 15 3 2 16 0
+1 5 7 22 4 21 2 19 0
+1 7 20 16 10 19 13 4 5 23 9 18 1 17 6 22 0
+1 22 19 5 17 1 6 10 7 15 0
+1 5 10 6 19 23 13 21 8 4 20 1 17 14 0
+1 22 1 10 17 5 18 16 19 13 8 20 9 7 23 6 4 21 0
+1 7 2 20 22 16 1 8 5 9 10 14 18 13 15 12 6 19 17 23 11 4 21 3 0
+1 19 22 7 2 3 10 18 0
+1 21 5 3 12 23 6 4 8 10 1 11 22 13 19 17 15 14 9 16 20 2 7 18 0
+1 16 8 2 0
+1 2 7 19 10 21 13 6 0
+1 15 21 3 4 7 17 12 13 22 9 10 23 6 20 11 1 14 18 8 5 2 19 16 0
+1 13 5 23 19 22 16 2 4 21 9 0
+1 21 19 5 0
+1 2 19 7 5 17 14 16 1 10 0
+1 22 21 23 10 17 19 18 16 15 14 13 9 7 1 2 8 4 3 5 20 11 12 6 0
+1 2 4 22 8 14 10 23 18 5 21 3 13 11 7 20 19 6 15 17 9 16 12 1 0
+1 21 19 3 20 0
+1 4 19 21 11 22 23 6 0
+1 22 23 10 7 6 11 20 2 9 8 12 1 17 14 16 19 5 18 4 13 15 3 21 0
+1 7 1 17 19 21 15 13 5 14 22 10 18 20 6 3 2 9 23 12 4 11 8 16 0
+1 7 19 5 21 6 18 17 0
+1 7 2 22 23 20 1 4 14 9 17 11 19 18 13 8 16 6 12 10 0
+1 5 19 21 4 10 1 18 15 6 11 13 0
+1 5 18 15 19 0
+1 19 5 6 21 7 13 0
+1 5 7 2 8 18 19 15 21 1 14 16 9 20 17 13 10 11 4 22 6 12 23 3 0
+1 5 10 19 7 1 6 21 0
+1 5 1 4 6 19 8 13 20 0
+1 14 11 5 1 13 6 17 18 19 9 10 12 4 8 22 7 2 15 21 20 16 23 3 0
+1 15 3 21 16 5 19 12 14 17 11 4 18 0
+1 5 10 23 12 0
+1 9 7 16 2 17 18 8 10 21 14 22 0
+1 21 3 15 1 19 14 17 8 16 0
+1 7 19 18 16 20 5 2 10 1 8 22 4 17 15 21 13 14 9 23 6 11 3 12 0
+1 19 4 5 10 23 22 21 13 12 6 8 1 9 7 17 20 11 18 2 15 14 3 16 0
+1 17 23 0
+1 13 22 2 7 18 19 5 16 1 0
+1 7 23 6 19 2 20 14 10 1 18 22 16 13 9 8 4 12 11 0
+1 19 5 21 18 1 15 3 17 10 12 14 4 6 20 22 13 9 2 11 23 8 7 16 0
+1 5 21 7 0
+1 5 19 22 17 21 13 15 0
+1 5 19 23 13 21 10 12 6 1 17 4 8 7 0
+1 2 20 16 7 9 10 18 14 0
+1 22 12 8 21 10 23 0
+1 10 4 20 6 1 0
+1 5 21 10 0
+1 6 5 7 10 2 16 23 11 17 19 21 22 1 4 13 0
+1 17 18 16 14 7 8 5 2 22 13 20 9 15 21 0
+1 17 19 1 5 12 18 21 0
+1 1 8 10 19 5 4 20 15 6 18 13 7 2 14 21 17 22 11 23 3 16 9 12 0
+1 17 2 21 5 10 11 6 13 0
+1 1 5 18 10 16 0
+1 5 10 9 20 7 2 14 21 19 4 6 8 23 13 16 0
+1 3 6 5 10 19 21 7 0
+1 17 22 7 19 2 8 9 6 4 20 10 16 13 0
+1 19 5 21 2 17 1 14 9 16 23 0
+1 7 17 10 6 2 23 13 5 0
+1 2 7 23 6 1 20 22 11 17 8 9 16 10 0
+1 22 7 10 6 23 20 9 2 5 19 0
+1 8 4 22 19 23 17 5 13 0
+1 2 5 7 1 8 16 17 19 9 6 0
+1 21 7 8 0
+1 7 16 17 20 2 18 8 14 0
+1 7 18 20 1 6 9 10 14 16 19 4 11 12 23 5 15 22 13 2 8 17 21 3 0
+1 5 22 10 13 9 21 19 2 7 0
+1 22 23 7 10 6 20 11 9 2 16 18 0
+1 10 12 20 13 19 5 9 0
+1 7 5 19 10 6 21 22 13 1 14 11 4 15 2 9 8 20 16 23 18 17 12 3 0
+1 6 19 16 11 10 21 22 5 17 0
+1 3 21 5 15 7 0
+1 19 5 6 10 1 13 4 7 18 21 8 17 14 20 2 12 22 23 11 9 16 3 15 0
+1 18 16 10 23 5 9 2 13 4 0
+1 16 14 20 2 18 17 6 15 4 13 11 10 22 5 23 19 9 8 3 1 0
+1 5 4 10 13 19 0
+1 5 13 19 21 6 7 16 0
+1 6 23 20 14 0
+1 22 7 23 10 20 9 8 11 6 1 14 18 17 2 12 0
+1 2 22 7 13 16 23 17 1 9 10 18 0
+1 13 19 5 21 7 6 10 0
+1 17 16 13 19 10 23 5 0
+1 7 16 9 11 23 22 2 21 18 17 14 8 10 0
+1 19 5 17 0
+1 19 22 10 21 23 15 13 6 5 16 1 4 9 20 17 2 12 14 18 7 3 11 8 0
+1 5 19 21 7 17 0
+1 22 7 17 8 2 1 20 0
+1 3 21 15 5 19 17 8 13 6 14 12 4 10 11 20 9 1 18 0
+1 1 21 17 7 18 5 2 0
+1 7 5 19 21 10 11 8 13 0
+1 5 17 21 4 9 7 1 10 0
+1 22 7 10 6 23 2 20 9 8 12 14 18 17 1 19 5 0
+1 4 10 6 2 5 19 20 12 22 23 1 11 9 13 21 8 15 16 7 17 14 3 18 0
+1 13 17 22 10 18 6 11 5 16 19 21 0
+1 22 7 2 12 8 20 10 5 13 0
+1 5 7 6 10 13 17 19 2 18 21 0
+1 5 19 7 1 2 18 20 13 22 6 17 9 15 4 23 12 8 11 10 16 14 3 21 0
+1 21 8 13 15 3 23 0
+1 2 11 22 7 23 16 20 9 4 12 10 19 8 18 14 0
+1 23 19 21 14 4 8 6 17 2 20 1 0
+1 22 13 23 14 8 10 21 2 6 7 19 0
+1 10 2 22 13 19 20 9 16 0
+1 22 4 10 16 5 23 13 11 6 15 7 14 9 8 18 1 2 3 12 17 20 19 21 0
+1 19 5 13 4 3 18 21 10 15 12 14 16 17 8 1 6 9 2 7 11 20 22 23 0
+1 18 21 5 1 19 7 10 2 4 23 0
+1 5 19 21 4 10 3 23 15 14 17 0
+1 19 13 10 22 9 5 0
+1 5 7 10 2 18 0
+1 7 23 5 2 0
+1 15 22 17 21 6 16 13 2 19 8 5 7 14 18 0
+1 5 21 14 19 0
+1 17 21 19 13 7 6 5 0
+1 22 7 23 10 6 2 20 9 8 12 14 18 17 1 19 5 0
+1 23 11 22 7 6 13 2 16 20 19 0
+1 12 5 10 6 16 19 21 2 1 11 9 23 17 18 8 13 14 20 15 4 3 7 22 0
+1 18 7 19 2 16 23 17 1 8 6 5 12 14 9 20 22 11 10 13 15 4 21 3 0
+1 5 21 19 10 14 11 6 0
+1 17 19 23 6 7 13 4 0
+1 2 16 0
+1 22 7 10 6 23 20 9 8 12 14 18 17 1 2 19 5 0
+1 5 19 21 4 22 7 1 0
+1 21 5 19 13 3 8 15 20 23 17 18 22 6 7 10 4 1 2 14 16 11 9 12 0
+1 22 7 6 10 23 2 20 11 19 9 16 8 18 17 1 13 5 4 14 3 15 12 21 0
+1 5 21 2 3 8 10 22 0
+1 5 9 0
+1 4 8 21 13 3 22 5 2 6 15 10 19 7 23 12 11 0
+1 7 9 22 16 20 8 19 17 1 2 10 18 0
+1 7 2 18 16 1 14 20 10 19 4 13 21 22 9 17 0
+1 5 21 19 0
+1 21 18 14 15 1 0
+1 21 1 8 19 17 3 14 2 15 16 18 22 6 9 23 10 0
+1 22 10 23 6 7 11 20 9 8 12 2 0
+1 7 1 13 4 0
+1 6 10 5 21 19 1 4 17 23 13 12 14 3 9 15 20 11 18 8 22 2 7 16 0
+1 1 18 19 3 10 5 17 15 21 13 22 20 14 6 4 12 8 23 7 2 9 11 16 0
+1 21 22 8 14 13 15 19 16 17 20 10 9 2 0
+1 19 5 10 21 13 18 0
+1 2 7 16 6 22 20 23 1 9 0
+1 19 10 17 5 7 2 6 16 8 1 18 20 21 0
+1 2 8 16 22 7 13 20 17 9 21 10 18 0
+1 10 5 4 19 12 22 6 20 2 8 1 15 17 16 14 13 23 21 9 11 7 3 18 0
+1 22 10 2 20 23 12 13 0
+1 7 2 16 19 0
+1 13 17 2 19 21 0
+1 20 4 8 10 22 13 6 0
+1 20 19 14 21 8 10 2 5 9 23 13 7 4 16 11 1 15 6 22 12 3 18 17 0
+1 19 17 3 7 13 4 1 14 23 0
+1 7 5 2 17 21 22 8 9 10 13 14 16 20 1 4 6 11 15 19 18 23 12 3 0
+1 7 10 22 2 23 8 12 0
+1 23 22 7 20 10 11 6 9 12 2 8 16 0
+1 15 21 19 3 14 1 5 4 18 17 20 7 13 12 6 22 11 9 8 10 16 2 23 0
+1 10 8 4 17 7 19 21 5 13 14 15 3 12 20 6 18 9 1 11 16 23 2 22 0
+1 16 2 10 18 9 17 19 7 22 1 4 6 14 11 20 23 5 13 12 15 8 21 3 0
+1 21 5 19 3 14 15 17 8 4 22 6 1 13 20 10 9 12 18 11 23 7 16 2 0
+1 7 16 9 20 18 11 23 2 10 8 22 17 5 13 12 6 1 14 4 19 15 21 3 0
+1 7 22 1 10 16 18 19 13 23 15 5 17 8 6 0
+1 5 6 10 13 0
+1 10 13 6 8 12 14 16 19 0
+1 17 13 1 6 8 11 19 18 12 5 14 10 15 4 20 3 23 9 16 22 21 7 2 0
+1 7 22 2 5 0
+1 7 9 22 19 6 12 2 0
+1 10 0
+1 14 17 5 6 0
+1 7 2 16 14 8 5 19 18 6 11 9 1 17 22 20 10 13 23 12 15 4 21 3 0
+1 2 5 10 6 22 19 18 4 16 8 11 13 9 15 17 0
+1 2 16 7 1 9 18 20 10 0
+1 2 5 10 22 23 19 16 4 8 6 9 20 13 17 21 11 18 12 7 3 15 1 14 0
+1 5 23 15 21 12 3 4 6 14 13 1 20 17 10 19 0
+1 7 2 1 16 20 6 9 10 14 18 17 19 22 11 23 0
+1 10 1 13 22 17 19 5 21 18 7 2 4 6 12 20 8 14 9 23 3 11 15 16 0
+1 21 19 10 18 7 5 0
+1 21 22 16 15 10 2 8 14 20 12 0
+1 7 19 4 10 22 2 0
+1 19 17 4 21 5 3 7 0
+1 21 22 10 19 4 13 0
+1 5 23 10 21 11 13 19 1 6 12 20 18 17 9 14 4 3 8 7 15 16 2 22 0
+1 23 11 22 5 9 7 18 10 19 17 16 1 8 20 2 14 12 6 13 15 4 21 3 0
+1 22 23 10 6 7 11 20 9 8 2 12 16 1 14 17 19 4 13 5 18 15 21 3 0
+1 2 13 16 5 4 22 21 0
+1 21 13 19 5 6 12 4 15 20 10 0
+1 21 4 3 0
+1 21 3 15 17 13 22 2 5 18 4 16 6 23 10 20 8 1 9 11 19 12 14 7 0
+1 7 16 10 2 22 19 20 18 17 1 6 9 0
+1 13 6 5 10 21 7 8 0
+1 4 10 6 0
+1 5 19 0
+1 21 3 5 19 1 13 15 0
+1 13 7 17 19 15 0
+1 19 16 20 21 5 2 12 14 22 7 13 8 15 1 18 10 23 11 6 17 9 4 3 0
+1 8 6 10 5 21 19 17 0
+1 4 2 20 9 7 8 1 5 19 10 15 22 0
+1 19 18 8 14 2 16 1 21 22 7 0
+1 10 5 19 21 8 22 7 0
+1 5 19 2 10 22 18 7 21 0
+1 5 2 7 8 16 22 10 9 19 20 14 1 13 15 11 12 23 21 17 18 4 6 3 0
+1 12 19 10 20 21 5 9 13 4 14 6 11 1 17 22 18 15 23 3 8 7 2 16 0
+1 19 21 18 17 2 22 6 4 5 0
+1 19 21 13 3 17 5 18 15 1 2 0
+1 22 11 23 7 10 4 6 13 1 16 20 5 19 12 14 0
+1 5 10 21 19 7 1 0
+1 16 7 2 22 9 10 11 23 4 18 14 20 8 17 13 5 19 15 12 6 1 3 21 0
+1 5 12 19 4 11 6 7 20 14 15 17 3 8 13 0
+1 23 19 10 22 1 13 5 20 21 2 14 18 4 0
+1 10 19 21 13 0
+1 21 22 19 7 16 9 2 0
+1 21 19 22 10 13 18 0
+1 10 22 23 11 6 7 8 13 17 19 2 4 20 1 5 16 9 18 12 14 15 21 3 0
+1 8 6 11 9 22 2 23 17 20 1 16 7 10 15 12 5 4 14 13 18 19 21 3 0
+1 1 17 19 22 23 10 6 21 0
+1 19 5 6 7 21 17 0
+1 5 19 6 2 7 22 1 4 8 9 13 18 10 17 0
+1 6 23 22 7 19 2 14 0
+1 17 8 22 16 4 13 20 19 21 0
+1 6 22 23 7 11 10 20 18 1 17 8 9 12 16 2 5 14 4 15 13 3 19 21 0
+1 17 23 6 11 1 13 14 19 20 3 5 22 7 18 21 0
+1 6 21 2 10 19 4 22 16 17 14 7 18 15 11 1 5 13 20 8 23 12 9 3 0
+1 2 7 18 16 5 8 17 1 14 9 10 15 11 22 0
+1 15 21 3 8 13 5 16 19 23 0
+1 6 7 17 1 18 10 19 0
+1 7 10 19 0
+1 5 13 10 7 21 22 17 11 20 19 6 14 4 0
+1 5 21 19 3 0
+1 6 17 1 5 0
+1 10 4 5 13 16 6 23 19 18 21 0
+1 9 7 20 14 16 10 0
+1 2 18 1 16 9 11 4 0
+1 2 14 7 10 19 9 8 13 0
+1 2 7 19 23 22 0
+1 7 22 5 19 20 8 21 0
+1 13 22 2 23 0
+1 10 13 22 6 4 21 0
+1 7 5 21 0
+1 1 7 5 2 6 10 4 0
+1 3 15 21 19 5 6 17 0
+1 7 21 15 14 2 18 5 4 0
+1 7 19 21 22 10 5 3 0
+1 23 22 13 2 18 21 8 0
+1 2 22 23 20 7 8 1 17 9 11 6 0
+1 13 15 11 21 17 18 22 0
+1 19 5 21 8 13 4 7 0
+1 21 19 1 5 15 6 18 14 17 10 22 16 13 4 11 23 12 7 3 9 8 2 20 0
+1 23 17 4 7 10 6 22 19 1 12 0
+1 7 22 13 8 15 0
+1 21 15 6 19 10 5 13 22 0
+1 2 7 18 9 23 14 16 19 21 0
+1 17 5 19 6 10 13 22 21 0
+1 2 10 22 5 23 20 16 0
+1 6 23 11 10 19 13 5 17 0
+1 7 1 2 17 20 9 8 16 10 14 18 19 0
+1 1 18 15 5 19 21 6 17 0
+1 4 6 10 8 2 22 16 23 5 15 20 11 0
+1 7 19 5 21 18 22 0
+1 22 7 10 23 6 20 9 8 14 12 18 17 1 2 19 5 0
+1 7 2 16 1 18 19 5 23 9 22 10 17 20 12 6 11 14 4 13 15 8 21 3 0
+1 5 3 23 13 21 17 19 12 10 6 18 22 20 8 4 15 1 9 11 14 16 2 7 0
+1 5 19 23 22 4 8 10 20 14 21 15 9 13 1 3 17 18 6 12 11 7 16 2 0
+1 23 6 7 5 19 11 17 0
+1 7 22 0
+1 22 17 9 21 18 3 7 5 12 14 4 19 20 23 1 10 2 13 15 11 8 6 16 0
+1 21 5 13 19 10 15 20 22 3 1 4 6 14 17 18 7 16 2 0
+1 23 11 22 6 20 7 10 0
+1 22 7 10 5 19 14 6 23 20 9 8 12 18 17 2 1 0
+1 19 5 21 10 6 4 13 1 3 14 15 9 12 18 20 22 8 23 11 17 16 7 2 0
+1 21 15 3 5 23 17 12 6 4 11 13 9 22 14 18 8 7 19 1 10 20 2 16 0
+1 17 2 21 7 14 10 13 16 0
+1 7 2 9 6 1 20 22 23 17 11 0
+1 15 3 21 1 19 18 0
+1 11 16 23 0
+1 17 2 7 1 16 8 22 23 10 9 18 19 6 4 20 13 5 14 15 21 3 11 12 0
+1 2 18 9 12 23 19 16 7 10 17 5 1 4 6 11 22 8 14 21 20 13 15 3 0
+1 18 9 16 0
+1 2 21 13 7 15 3 5 0
+1 6 23 17 22 16 13 5 4 7 11 14 18 0
+1 7 23 19 0
+1 1 10 4 3 21 12 15 17 11 5 6 14 18 20 19 13 0
+1 6 18 12 2 4 8 10 23 9 17 1 19 0
+1 19 3 21 23 4 6 9 15 5 0
+1 22 10 16 19 13 23 20 0
+1 1 0
+1 7 5 19 13 1 6 17 23 10 0
+1 5 15 18 4 0
+1 16 9 23 11 10 20 18 2 7 6 8 22 1 5 12 13 17 19 14 4 15 21 3 0
+1 17 19 13 20 21 10 3 6 5 23 14 0
+1 6 10 19 7 5 2 23 11 21 4 12 13 8 22 0
+1 4 16 2 11 7 10 0
+1 1 19 18 7 17 5 2 0
+1 22 10 6 23 19 5 7 21 15 14 20 13 8 2 4 1 16 12 18 3 11 17 9 0
+1 17 16 10 5 6 8 9 13 15 19 1 14 21 0
+1 17 21 0
+1 15 17 22 21 8 13 12 0
+1 7 5 0
+1 5 15 8 21 22 3 14 9 19 4 10 1 23 6 16 13 17 20 18 11 12 2 7 0
+1 8 18 19 7 5 13 20 21 1 16 22 23 6 11 15 9 4 2 3 17 14 10 12 0
+1 19 12 10 23 5 22 3 9 2 0
+1 1 5 14 2 17 16 7 19 15 9 22 0
+1 21 19 5 7 10 16 13 23 4 14 3 15 18 12 22 1 9 11 20 8 17 6 2 0
+1 10 22 19 5 15 2 9 7 0
+1 7 22 5 18 16 1 15 19 11 13 17 23 6 9 21 14 8 20 3 12 10 2 4 0
+1 7 5 6 13 19 10 11 0
+1 5 21 22 8 6 2 13 10 1 19 7 9 15 17 4 12 20 11 14 23 3 16 18 0
+1 23 22 5 11 7 9 18 10 19 17 16 1 8 20 2 14 6 12 15 13 4 21 3 0
+1 17 13 9 18 6 22 20 19 0
+1 10 7 6 23 19 13 5 22 1 17 0
+1 10 23 14 19 21 17 5 22 7 2 1 6 0
+1 5 7 22 23 21 19 8 13 18 0
+1 5 21 15 13 8 6 17 10 12 0
+1 5 6 7 21 0
+1 6 10 22 7 2 23 12 11 19 1 17 20 9 8 16 0
+1 7 16 14 6 20 17 2 19 9 1 18 11 13 10 5 8 4 22 23 12 15 21 3 0
+1 10 22 4 19 6 2 8 17 20 18 0
+1 5 22 10 19 23 0
+1 5 6 0
+1 7 5 2 1 6 8 20 4 12 18 9 17 23 16 10 22 0
+1 2 16 9 19 18 0
+1 21 3 15 4 12 5 0
+1 7 19 23 2 22 17 0
+1 1 7 3 14 16 19 2 8 4 22 17 10 20 13 11 6 15 12 21 9 5 18 23 0
+1 23 20 11 6 13 10 22 7 18 9 4 8 12 3 1 15 0
+1 17 19 21 22 4 13 15 9 6 10 14 12 3 7 1 23 18 11 5 20 8 0
+1 10 5 13 23 21 4 19 2 11 22 20 8 14 3 6 9 15 12 18 16 17 1 7 0
+1 22 6 2 16 10 18 8 21 13 9 7 23 15 17 20 19 3 1 5 14 11 4 12 0
+1 4 0
+1 6 4 19 22 16 8 2 10 23 17 1 20 5 14 7 18 15 13 9 12 11 21 3 0
+1 23 11 22 20 7 10 6 9 8 12 16 1 18 0
+1 21 5 22 8 17 19 23 13 3 2 0
+1 7 10 16 2 22 17 9 0
+1 22 7 6 21 0
+1 4 8 13 6 12 10 23 19 16 22 5 9 20 18 1 3 7 17 15 14 2 21 11 0
+1 10 9 0
+1 5 19 21 22 1 7 13 0
+1 21 5 3 18 4 10 19 13 15 12 20 0
+1 21 5 14 19 10 6 0
+1 2 7 20 13 6 9 22 10 11 19 16 8 14 23 0
+1 7 5 1 23 19 6 22 13 15 14 2 18 11 10 20 16 9 8 17 4 12 21 3 0
+1 19 5 21 18 17 13 1 7 6 14 0
+1 21 5 7 19 6 14 8 0
+1 19 1 5 10 21 0
+1 5 6 10 19 20 23 21 4 12 0
+1 7 19 5 16 2 8 9 20 10 13 14 23 0
+1 2 8 1 22 17 7 9 23 20 6 11 0
+1 14 21 19 7 17 5 15 3 1 8 4 10 13 20 16 22 6 9 12 23 11 18 2 0
+1 22 7 23 2 18 10 16 0
+1 21 19 3 5 15 6 1 0
+1 5 21 19 13 10 3 12 15 8 6 20 17 23 1 18 4 22 9 14 16 11 7 2 0
+1 6 11 0
+1 20 8 16 22 2 9 1 7 12 13 18 14 17 23 6 10 5 19 11 4 15 3 21 0
+1 5 10 21 7 17 16 13 3 0
+1 19 5 23 10 6 22 4 13 0
+0
+"asymmetric"
+"cafkafk"
+"djacu"
+"doronbehar"
+"Ericson2314"
+"fpletz"
+"Gabriella439"
+"getchoo"
+"Infinidoge"
+"jtojnar"
+"kloenk"
+"linsui"
+"lovesegfault"
+"mschwaig"
+"numinit"
+"nyabinary"
+"phaer"
+"proofconstruction"
+"roberth"
+"Scrumplex"
+"tomberek"
+"winterqt"
+"yu-re-ka"
+"Nix Steering Committee Election 2024"