user=vaughan
[2011-11-25 00:01:35]
523*2^1048119-1 is not prime.  Res64: CD57EC92353167B8  Time : 2701.0 sec.
user=vaughan
[2011-11-25 00:46:39]
579*2^1048119-1 is not prime.  Res64: B929C9DB827089D7  Time : 2705.0 sec.
user=vaughan
[2011-11-25 01:33:53]
429*2^1048120-1 is not prime.  Res64: 531897DF8AC54F66  Time : 2692.0 sec.
user=vaughan
[2011-11-25 02:18:51]
563*2^1048120-1 is not prime.  Res64: 7F11F55B1CBB9F2D  Time : 2698.0 sec.
user=vaughan
[2011-11-25 03:03:24]
441*2^1048121-1 is not prime.  Res64: DDE6F46C3F4F9EF8  Time : 2673.0 sec.
user=vaughan
[2011-11-25 03:47:12]
475*2^1048121-1 is not prime.  Res64: 78DC474BB29E347B  Time : 2629.0 sec.
user=vaughan
[2011-11-25 04:32:08]
487*2^1048121-1 is not prime.  Res64: DA396820F0B89494  Time : 2620.0 sec.
user=vaughan
[2011-11-25 05:15:46]
511*2^1048121-1 is not prime.  Res64: 1BEB5263D0575B0E  Time : 2619.0 sec.
user=vaughan
[2011-11-25 05:59:39]
561*2^1048121-1 is not prime.  Res64: 8F5F931D9E44AB79  Time : 2633.0 sec.
user=vaughan
[2011-11-25 06:45:53]
579*2^1048121-1 is not prime.  Res64: 5EA43513513EDE7F  Time : 2633.0 sec.
user=vaughan
[2011-11-25 07:30:39]
521*2^1048122-1 is not prime.  Res64: F65C3444FFC4449C  Time : 2621.0 sec.
user=vaughan
[2011-11-25 08:14:20]
543*2^1048122-1 is not prime.  Res64: 04893EFD5D1CEDBC  Time : 2621.0 sec.
user=vaughan
[2011-11-25 08:58:10]
411*2^1048123-1 is not prime.  Res64: 9B0580E3D2CABDF9  Time : 2630.0 sec.
user=vaughan
[2011-11-25 09:43:08]
489*2^1048123-1 is not prime.  Res64: A0238714D7ADFA79  Time : 2637.0 sec.
user=vaughan
[2011-11-25 10:27:51]
511*2^1048123-1 is not prime.  Res64: 0318E21E22E8BD7D  Time : 2618.0 sec.
user=vaughan
[2011-11-25 11:11:38]
541*2^1048123-1 is not prime.  Res64: 6B4BB859689D8030  Time : 2627.0 sec.
user=vaughan
[2011-11-25 11:55:32]
519*2^1048124-1 is not prime.  Res64: 76515A18A6DB7415  Time : 2634.0 sec.
user=vaughan
[2011-11-25 12:40:17]
469*2^1048125-1 is not prime.  Res64: 1A465A64EBC5CF7E  Time : 2624.0 sec.
user=vaughan
[2011-11-25 13:24:10]
507*2^1048125-1 is not prime.  Res64: A39F3DF8B2A75CAF  Time : 2633.0 sec.
user=vaughan
[2011-11-25 14:09:14]
465*2^1048126-1 is not prime.  Res64: 5E447E755B0F875F  Time : 2622.0 sec.
user=vaughan
[2011-11-25 14:53:00]
567*2^1048126-1 is not prime.  Res64: E34347F2058A2BCE  Time : 2626.0 sec.
user=vaughan
[2011-11-25 15:36:42]
433*2^1048127-1 is not prime.  Res64: 6C53108EE10F7126  Time : 2622.0 sec.
user=vaughan
[2011-11-25 16:20:32]
501*2^1048127-1 is not prime.  Res64: 8775176B22100EC7  Time : 2630.0 sec.
user=vaughan
[2011-11-25 17:08:20]
565*2^1048127-1 is not prime.  Res64: 8860A85132CCDBE0  Time : 2634.0 sec.
user=vaughan
[2011-11-25 17:54:18]
585*2^1048127-1 is not prime.  Res64: 2194603CF93459FD  Time : 2625.0 sec.
user=vaughan
[2011-11-25 18:37:57]
589*2^1048127-1 is not prime.  Res64: F62964329E7A9C38  Time : 2619.0 sec.
user=vaughan
[2011-11-25 19:23:01]
437*2^1048128-1 is not prime.  Res64: 0762C95CA369F481  Time : 2704.0 sec.
user=vaughan
[2011-11-25 20:06:49]
527*2^1048128-1 is not prime.  Res64: A5AB8B0951FF73BB  Time : 2628.0 sec.
user=vaughan
[2011-11-25 20:50:38]
411*2^1048129-1 is not prime.  Res64: 1D2B34D4D018A519  Time : 2630.0 sec.
user=vaughan
[2011-11-25 21:34:25]
535*2^1048129-1 is not prime.  Res64: D141778FF3C12AA3  Time : 2628.0 sec.
user=vaughan
[2011-11-25 22:18:05]
405*2^1048130-1 is not prime.  Res64: E667BF8A54390116  Time : 2620.0 sec.
user=vaughan
[2011-11-25 23:01:46]
417*2^1048130-1 is not prime.  Res64: 0D626EA03B964ACE  Time : 2621.0 sec.
user=vaughan
[2011-11-25 23:45:26]
521*2^1048130-1 is not prime.  Res64: E3F6214190DBE308  Time : 2621.0 sec.