user=vaughan
[2011-12-17 00:05:42]
437*2^1048668-1 is not prime.  Res64: 1D6F29EB98838780  Time : 2636.0 sec.
user=vaughan
[2011-12-17 00:49:32]
453*2^1048668-1 is not prime.  Res64: 969772FCD057932F  Time : 2631.0 sec.
user=vaughan
[2011-12-17 01:33:24]
473*2^1048668-1 is not prime.  Res64: C383D54C070C3E45  Time : 2633.0 sec.
user=vaughan
[2011-12-17 02:17:21]
427*2^1048669-1 is not prime.  Res64: 4C4A908AE2E401FA  Time : 2637.0 sec.
user=vaughan
[2011-12-17 03:01:21]
525*2^1048669-1 is not prime.  Res64: BBFA449C480FF60E  Time : 2641.0 sec.
user=vaughan
[2011-12-17 03:46:31]
503*2^1048670-1 is not prime.  Res64: 71F267C07FE18B9B  Time : 2638.0 sec.
user=vaughan
[2011-12-17 04:30:22]
515*2^1048670-1 is not prime.  Res64: 3CFCDF13D6A30E85  Time : 2632.0 sec.
user=vaughan
[2011-12-17 05:14:22]
575*2^1048670-1 is not prime.  Res64: 5A1730D6B6A1F626  Time : 2640.0 sec.
user=vaughan
[2011-12-17 05:59:20]
585*2^1048670-1 is not prime.  Res64: BAFCDBD848545900  Time : 2633.0 sec.
user=vaughan
[2011-12-17 06:43:09]
593*2^1048670-1 is not prime.  Res64: 0329A466BD806F27  Time : 2629.0 sec.
user=vaughan
[2011-12-17 07:27:05]
595*2^1048671-1 is not prime.  Res64: C13CC009679B53E2  Time : 2636.0 sec.
user=vaughan
[2011-12-17 08:12:19]
519*2^1048672-1 is not prime.  Res64: 577E20D04FDA5294  Time : 2642.0 sec.
user=vaughan
[2011-12-17 08:56:24]
537*2^1048672-1 is not prime.  Res64: AB9B78141B3455D4  Time : 2645.0 sec.
user=vaughan
[2011-12-17 09:41:44]
481*2^1048673-1 is not prime.  Res64: D160200EFA24225E  Time : 2637.0 sec.
user=vaughan
[2011-12-17 10:25:51]
495*2^1048673-1 is not prime.  Res64: B16851DC0391BBCD  Time : 2648.0 sec.
user=vaughan
[2011-12-17 11:11:22]
411*2^1048674-1 is not prime.  Res64: 808454B117EC17B7  Time : 2645.0 sec.
user=vaughan
[2011-12-17 11:56:24]
521*2^1048674-1 is not prime.  Res64: DB99DBD4CB784AA1  Time : 2641.0 sec.
user=vaughan
[2011-12-17 12:45:08]
567*2^1048674-1 is not prime.  Res64: F43DC2D0437F7244  Time : 2639.0 sec.
user=vaughan
[2011-12-17 13:30:32]
429*2^1048675-1 is not prime.  Res64: 3978A345444C5D4C  Time : 2639.0 sec.
user=vaughan
[2011-12-17 14:16:51]
451*2^1048675-1 is not prime.  Res64: 543AB94ECAEDAFFF  Time : 2636.0 sec.
user=vaughan
[2011-12-17 15:00:54]
463*2^1048675-1 is not prime.  Res64: 2706F1823CB88388  Time : 2644.0 sec.
user=vaughan
[2011-12-17 15:46:13]
553*2^1048675-1 is not prime.  Res64: D8F5580E5ED5328F  Time : 2646.0 sec.
user=vaughan
[2011-12-17 16:31:54]
425*2^1048676-1 is not prime.  Res64: 0043A4D0E13AF5B7  Time : 2635.0 sec.
user=vaughan
[2011-12-17 17:15:50]
503*2^1048676-1 is not prime.  Res64: 387E79014867862A  Time : 2637.0 sec.
user=vaughan
[2011-12-17 17:59:50]
475*2^1048677-1 is not prime.  Res64: 1A9D0D4F588C3414  Time : 2641.0 sec.
user=vaughan
[2011-12-17 18:45:12]
483*2^1048678-1 is not prime.  Res64: 04AC42FF5A8D6012  Time : 2639.0 sec.
user=vaughan
[2011-12-17 19:29:09]
451*2^1048679-1 is not prime.  Res64: B01FDE0D997A61A4  Time : 2638.0 sec.
user=vaughan
[2011-12-17 20:13:03]
481*2^1048679-1 is not prime.  Res64: CFD12F4C40AC2538  Time : 2635.0 sec.
user=vaughan
[2011-12-17 20:56:51]
565*2^1048679-1 is not prime.  Res64: 77FDB64413A9587C  Time : 2628.0 sec.
user=vaughan
[2011-12-17 21:40:38]
573*2^1048679-1 is not prime.  Res64: FE8D35C56B5F0A2A  Time : 2627.0 sec.
user=vaughan
[2011-12-17 22:24:27]
405*2^1048680-1 is not prime.  Res64: B76690D45B5A24BE  Time : 2629.0 sec.
user=vaughan
[2011-12-17 23:08:48]
453*2^1048680-1 is not prime.  Res64: AD79943A49018AFD  Time : 2661.0 sec.
user=vaughan
[2011-12-17 23:52:58]
539*2^1048680-1 is not prime.  Res64: 84FA9EDE133E3D13  Time : 2651.0 sec.