They used the xkcd PRNG: https://xkcd.com/221/