user=vaughan
[2011-11-18 00:36:54]
1671*2^743887-1 is not prime.  Res64: B69C6B01F7E54A02  Time : 8810.0 sec.
user=vaughan
[2011-11-18 03:04:15]
1695*2^743887-1 is not prime.  Res64: 65076E029E1CC1AF  Time : 8841.0 sec.
user=vaughan
[2011-11-18 05:30:57]
1725*2^743887-1 is not prime.  Res64: 148B6D30F9F0198D  Time : 8802.0 sec.
user=vaughan
[2011-11-18 07:58:25]
1909*2^743887-1 is not prime.  Res64: B5F1B32CB01B48E0  Time : 8848.0 sec.
user=vaughan
[2011-11-18 10:25:12]
1945*2^743887-1 is not prime.  Res64: D36A0B803305EDAB  Time : 8807.0 sec.
user=vaughan
[2011-11-18 12:52:47]
1963*2^743887-1 is not prime.  Res64: 595FA4E90921C880  Time : 8855.0 sec.
user=vaughan
[2011-11-18 15:19:37]
1981*2^743887-1 is not prime.  Res64: FA392B60B9D22F67  Time : 8810.0 sec.
user=vaughan
[2011-11-18 17:47:06]
1517*2^743888-1 is not prime.  Res64: 2D8A6EEE58FDBB95  Time : 8849.0 sec.
user=vaughan
[2011-11-18 20:13:56]
1557*2^743888-1 is not prime.  Res64: 0B8E1FF23A7D16F8  Time : 8811.0 sec.
user=vaughan
[2011-11-18 22:40:21]
1793*2^743888-1 is not prime.  Res64: 72E015A0BC4C92BB  Time : 8786.0 sec.