user=vaughan
[2011-08-23 01:17:10]
1875*2^743749-1 is not prime.  Res64: AFE0D78D1A280520  Time : 6098.0 sec.
user=vaughan
[2011-08-23 02:58:42]
1981*2^743749-1 is not prime.  Res64: FA11BA9EA2FE6B05  Time : 6093.0 sec.
user=vaughan
[2011-08-23 04:41:21]
1989*2^743749-1 is not prime.  Res64: 2EF6A50FFB99CF69  Time : 6159.0 sec.
user=vaughan
[2011-08-23 06:24:18]
1473*2^743750-1 is not prime.  Res64: 7C72685E7C73240D  Time : 6178.0 sec.
user=vaughan
[2011-08-23 08:05:58]
1547*2^743750-1 is not prime.  Res64: D121D0C456962C41  Time : 6101.0 sec.
user=vaughan
[2011-08-23 09:47:49]
1641*2^743750-1 is not prime.  Res64: E860B33F215427CB  Time : 6111.0 sec.
user=vaughan
[2011-08-23 11:29:53]
1821*2^743750-1 is not prime.  Res64: 9F25644A6E5AB9F0  Time : 6124.0 sec.
user=vaughan
[2011-08-23 13:11:27]
1851*2^743750-1 is not prime.  Res64: 8467E798A9ED432B  Time : 6095.0 sec.
user=vaughan
[2011-08-23 14:52:54]
1853*2^743750-1 is not prime.  Res64: 67E0175FB857C7BE  Time : 6088.0 sec.
user=vaughan
[2011-08-23 16:34:26]
1883*2^743750-1 is not prime.  Res64: E3CC56669C320058  Time : 6093.0 sec.
user=vaughan
[2011-08-23 18:16:29]
1907*2^743750-1 is not prime.  Res64: 4F64E1EA755E0E0C  Time : 6123.0 sec.
user=vaughan
[2011-08-23 19:58:18]
1911*2^743750-1 is not prime.  Res64: 1067387079816144  Time : 6109.0 sec.
user=vaughan
[2011-08-23 21:40:00]
1953*2^743750-1 is not prime.  Res64: C13DB64B17EB60AF  Time : 6102.0 sec.
user=vaughan
[2011-08-23 23:22:29]
1991*2^743750-1 is not prime.  Res64: C25080F73B7B308D  Time : 6150.0 sec.