user=vaughan
[2009-04-20 20:26:18]
503*2^667354-1 is not prime.  Res64: 9F1A150AEF92C771  Time : 912.0 sec.
user=vaughan
[2009-04-20 20:42:17]
533*2^667354-1 is not prime.  Res64: B928B6D770952C3E  Time : 960.0 sec.
user=vaughan
[2009-04-20 20:58:17]
555*2^667354-1 is not prime.  Res64: 623EACAB305F16E3  Time : 961.0 sec.
user=vaughan
[2009-04-20 21:13:13]
403*2^667355-1 is not prime.  Res64: 0EAEBD8624CC32B3  Time : 896.0 sec.
user=vaughan
[2009-04-20 21:29:11]
469*2^667355-1 is not prime.  Res64: F378AC2B9E366AA5  Time : 958.0 sec.
user=vaughan
[2009-04-20 21:44:07]
553*2^667355-1 is not prime.  Res64: 8BEDF6F2D3C01883  Time : 896.0 sec.
user=vaughan
[2009-04-20 21:59:05]
585*2^667355-1 is not prime.  Res64: 03E2CBEAED502481  Time : 898.0 sec.
user=vaughan
[2009-04-20 22:13:49]
503*2^667356-1 is not prime.  Res64: 4C5D7FF89924CC0D  Time : 884.0 sec.
user=vaughan
[2009-04-20 22:29:37]
525*2^667356-1 is not prime.  Res64: D806B28C0A8F9440  Time : 948.0 sec.
user=vaughan
[2009-04-20 22:44:22]
429*2^667357-1 is not prime.  Res64: 1373F69C07FFFBFC  Time : 885.0 sec.
user=vaughan
[2009-04-20 22:59:08]
501*2^667358-1 is not prime.  Res64: 4C076412B1C70887  Time : 886.0 sec.
user=vaughan
[2009-04-20 23:13:53]
515*2^667358-1 is not prime.  Res64: 840153E0F2388938  Time : 886.0 sec.
user=vaughan
[2009-04-20 23:28:38]
533*2^667358-1 is not prime.  Res64: 0DE65EB7349CE132  Time : 886.0 sec.
user=vaughan
[2009-04-20 23:43:24]
543*2^667359-1 is not prime.  Res64: 28BD9B5F5B7A6058  Time : 887.0 sec.
user=vaughan
[2009-04-20 23:58:09]
579*2^667359-1 is not prime.  Res64: 8BD418F05C2C0B73  Time : 885.0 sec.