@permutans here's my code: gist.github.com/christianp/a92…
Looks like a pretty brute force program!