The final problem and solution
Weil's theorem tells us that we only need to check that our pattern holds up to about 40,000,000. Unfortunately we had only checked to 4 million in our initial testing. It takes a lot longer to find the next 36,000,000!