Elections
Passed tests on this version with these SEEDs:
SEED=47u8888888885555iiiiiiiiii59999993n
SEED=ABnnnnnnnnnnn_________e_eIU-e
SEED=Abc:niuw
SEED=AB²293j99999_ij_ij-ji222ßß??j
All passed after about 66 seconds.
Passed tests on this version with these SEEDs:
SEED=47u8888888885555iiiiiiiiii59999993n
SEED=ABnnnnnnnnnnn_________e_eIU-e
SEED=Abc:niuw
SEED=AB²293j99999_ij_ij-ji222ßß??j
All passed after about 66 seconds.