Brute-force a solution for xkcd.com/1193