Original writeup (http://uzpg.me/cyber-security/2020/05/31/castors-ctf-writeups.html#car-lottery).