user=vaughan [2011-10-15 00:15:23] 1985*2^743844-1 is not prime. Res64: 03167969066A74FF Time : 9073.0 sec. user=vaughan [2011-10-15 02:45:21] 1435*2^743845-1 is not prime. Res64: 7D4793440F75A164 Time : 8998.0 sec. user=vaughan [2011-10-15 05:16:31] 1447*2^743845-1 is not prime. Res64: 3E3213EA38B0965A Time : 9071.0 sec. user=vaughan [2011-10-15 07:46:22] 1449*2^743845-1 is not prime. Res64: 10482B551D8D0619 Time : 8991.0 sec. user=vaughan [2011-10-15 10:17:36] 1479*2^743845-1 is not prime. Res64: 195DBC08723F2548 Time : 9074.0 sec. user=vaughan [2011-10-15 12:51:21] 1617*2^743845-1 is not prime. Res64: C3C6D2CAF0AC6D8D Time : 9226.0 sec. user=vaughan [2011-10-15 15:25:41] 1815*2^743845-1 is not prime. Res64: 0DAC48DA77AD70DD Time : 9261.0 sec. user=vaughan [2011-10-15 17:56:22] 1899*2^743845-1 is not prime. Res64: B0193E5AD526DA03 Time : 9041.0 sec. user=vaughan [2011-10-15 20:26:54] 1927*2^743845-1 is not prime. Res64: D9ABE6DE4C53345F Time : 9033.0 sec. user=vaughan [2011-10-15 22:57:16] 1475*2^743846-1 is not prime. Res64: BC0A884D052301DE Time : 9022.0 sec.