user=vaughan
[2011-11-22 00:04:21]
531*2^1048071-1 is not prime.  Res64: AD7814619D28A525  Time : 1898.0 sec.
user=vaughan
[2011-11-22 00:10:08]
541*2^1048071-1 is not prime.  Res64: B92489255B218A5E  Time : 1965.0 sec.
user=vaughan
[2011-11-22 00:12:04]
453*2^1048072-1 is not prime.  Res64: EBDAD7CFD44046A4  Time : 1917.0 sec.
user=vaughan
[2011-11-22 00:16:28]
567*2^1048073-1 is not prime.  Res64: 9D36521A7A7A1A9B  Time : 1982.0 sec.
user=vaughan
[2011-11-22 00:33:57]
425*2^1048074-1 is not prime.  Res64: 221D17479D7A4FA6  Time : 2639.0 sec.
user=vaughan
[2011-11-22 00:36:07]
453*2^1048074-1 is not prime.  Res64: 94DCBF046A58F3AD  Time : 1907.0 sec.
user=vaughan
[2011-11-22 00:43:04]
483*2^1048074-1 is not prime.  Res64: 4E227EFBC3048072  Time : 1977.0 sec.
user=vaughan
[2011-11-22 00:44:06]
497*2^1048074-1 is not prime.  Res64: F1522668587FB7EB  Time : 1922.0 sec.
user=vaughan
[2011-11-22 00:49:18]
503*2^1048074-1 is not prime.  Res64: 02EB72B4F16ECC5F  Time : 1972.0 sec.
user=vaughan
[2011-11-22 01:18:43]
507*2^1048074-1 is not prime.  Res64: 55B2AA663D784369  Time : 2624.0 sec.
user=vaughan
[2011-11-22 02:02:41]
483*2^1048076-1 is not prime.  Res64: 6DD497B46DA50C66  Time : 2638.0 sec.
user=vaughan
[2011-11-22 02:47:38]
525*2^1048078-1 is not prime.  Res64: C3D8FB4F5F9B89BC  Time : 2635.0 sec.
user=vaughan
[2011-11-22 18:20:45]
561*2^1048078-1 is not prime.  Res64: C2BAD50EF9F0EC45  Time : 55922.0 sec.
user=kar_bon
[2011-11-22 18:42:57]
477*2^1048004-1 is not prime.  Res64: 59BE456356ECE6E6  Time : 1757.0 sec.
user=vaughan
[2011-11-22 19:05:38]
581*2^1048078-1 is not prime.  Res64: D07F7A7FE3B9B8F6  Time : 2630.0 sec.
user=kar_bon
[2011-11-22 19:14:11]
459*2^1048079-1 is not prime.  Res64: E467FA491C0D08EC  Time : 1873.0 sec.
user=kar_bon
[2011-11-22 19:45:09]
465*2^1048080-1 is not prime.  Res64: FB41D7736F7262A6  Time : 1857.0 sec.
user=vaughan
[2011-11-22 19:49:33]
423*2^1048080-1 is not prime.  Res64: CD258EC7E75C1CEE  Time : 2635.0 sec.
user=kar_bon
[2011-11-22 20:17:10]
509*2^1048080-1 is not prime.  Res64: C58AF0496D135032  Time : 1920.0 sec.
user=vaughan
[2011-11-22 20:34:27]
543*2^1048080-1 is not prime.  Res64: 05603ADAC3CA04B5  Time : 2624.0 sec.
user=kar_bon
[2011-11-22 20:48:20]
415*2^1048081-1 is not prime.  Res64: 067A93B2AA7D5DE8  Time : 1869.0 sec.
user=vaughan
[2011-11-22 21:19:41]
465*2^1048081-1 is not prime.  Res64: 481702CA15F83E9A  Time : 2715.0 sec.
user=kar_bon
[2011-11-22 21:20:29]
547*2^1048081-1 is not prime.  Res64: 6B7156A3D364942F  Time : 1929.0 sec.
user=kar_bon
[2011-11-22 21:51:54]
537*2^1048082-1 is not prime.  Res64: 786309031B500037  Time : 1885.0 sec.
user=vaughan
[2011-11-22 22:04:41]
545*2^1048082-1 is not prime.  Res64: 8AFFE2A9FF4B53E8  Time : 2630.0 sec.
user=kar_bon
[2011-11-22 22:18:32]
551*2^1048082-1 is not prime.  Res64: 25FC27DD054DA2BE  Time : 1597.0 sec.
user=vaughan
[2011-11-22 22:48:23]
429*2^1048083-1 is not prime.  Res64: 04A330AC73ACD1D3  Time : 2623.0 sec.
user=kar_bon
[2011-11-22 22:49:34]
453*2^1048083-1 is not prime.  Res64: 5A645F2858256503  Time : 1862.0 sec.
user=kar_bon
[2011-11-22 23:21:16]
583*2^1048083-1 is not prime.  Res64: 3CE0B4AC0D9FA1C4  Time : 1902.0 sec.
user=vaughan
[2011-11-22 23:32:16]
481*2^1048083-1 is not prime.  Res64: E3F9254A6BBE7C61  Time : 2634.0 sec.
user=kar_bon
[2011-11-22 23:52:17]
591*2^1048083-1 is not prime.  Res64: 5DD1059864DFC6D3  Time : 1860.0 sec.