Problem 12.

This one took a while.  Most of the time was spent coming up with
an efficient enough solution to actually run on my machine.  The--
still farily naive--optimizations to the divisors generator were
the key.