user=vaughan [2011-10-19 00:04:01] 1447*2^743849-1 is not prime. Res64: FD78E3B2A52C5899 Time : 9156.0 sec. user=vaughan [2011-10-19 02:34:54] 1567*2^743849-1 is not prime. Res64: 870D1FCAC5B9DBA9 Time : 9053.0 sec. user=vaughan [2011-10-19 05:04:33] 1711*2^743849-1 is not prime. Res64: C71EC1386C988153 Time : 8979.0 sec. user=vaughan [2011-10-19 07:35:07] 1765*2^743849-1 is not prime. Res64: D08E800934400A35 Time : 9035.0 sec. user=vaughan [2011-10-19 10:05:35] 1881*2^743849-1 is not prime. Res64: 83F6653E9EA3A183 Time : 9028.0 sec. user=vaughan [2011-10-19 12:35:58] 1451*2^743850-1 is not prime. Res64: 3D9C190A5343C499 Time : 9024.0 sec. user=vaughan [2011-10-19 15:05:24] 1755*2^743850-1 is not prime. Res64: 61393DE5558EE11A Time : 8966.0 sec. user=vaughan [2011-10-19 17:35:55] 1971*2^743850-1 is not prime. Res64: 0042E55BA057C5E0 Time : 9032.0 sec. user=vaughan [2011-10-19 20:05:15] 1973*2^743850-1 is not prime. Res64: DAB2FD978E4561FF Time : 8961.0 sec. user=vaughan [2011-10-19 22:36:01] 1983*2^743850-1 is not prime. Res64: 8D0629FB3C8B5E7D Time : 9047.0 sec.