I left the code running all day and got lucky, the number I was looking for was in the first 1/15000th part of a 64-bit integer range. Nevertheless, a multi-hour runtime means I should figure out a better solution.