The input file can be found on the website.

We're all working together on this list of numbers; everyone is testing a different area of this file. William keeps track of our progress to make sure we don't repeat eachother's work. It's also possible to use a client that does this automatically.

So yes, this is a coordinated project. Testing the same numbers over and over again would be a bit silly.