user=vaughan [2011-11-21 00:06:55] 1503*2^743890-1 is not prime. Res64: 59E1887BADD11711 Time : 8863.0 sec. user=vaughan [2011-11-21 02:34:17] 1533*2^743890-1 is not prime. Res64: 80D269E2A512BC7E Time : 8842.0 sec. user=vaughan [2011-11-21 05:01:13] 1571*2^743890-1 is not prime. Res64: 9B90B575FFA03BF5 Time : 8817.0 sec. user=vaughan [2011-11-21 07:29:33] 1587*2^743890-1 is not prime. Res64: DBFE4FD4DC0EEDE3 Time : 8901.0 sec. user=vaughan [2011-11-21 09:56:43] 1727*2^743890-1 is not prime. Res64: 76031F0B6E4FED71 Time : 8831.0 sec. user=vaughan [2011-11-21 14:10:43] 1787*2^743890-1 is not prime. Res64: 6255E87DD3A9F49F Time : 15241.0 sec. user=vaughan [2011-11-21 16:39:05] 1953*2^743890-1 is not prime. Res64: 792D8108E7E075C1 Time : 8902.0 sec. user=vaughan [2011-11-21 19:06:26] 1483*2^743891-1 is not prime. Res64: 71A4E03D69E14CF1 Time : 8841.0 sec. user=vaughan [2011-11-21 21:33:06] 1573*2^743891-1 is not prime. Res64: 99601740A892EE0B Time : 8800.0 sec. user=vaughan [2011-11-21 23:59:42] 1581*2^743891-1 is not prime. Res64: 135F6C8249F4A308 Time : 8796.0 sec.