user=vaughan [2011-12-01 01:32:50] 1553*2^743902-1 is not prime. Res64: E21B75EA040A3414 Time : 8851.0 sec. user=vaughan [2011-12-01 04:00:54] 1625*2^743902-1 is not prime. Res64: 8D2E2EC4A1804C71 Time : 8884.0 sec. user=vaughan [2011-12-01 06:29:02] 1643*2^743902-1 is not prime. Res64: 9981CA9236CD2825 Time : 8888.0 sec. user=vaughan [2011-12-01 08:56:59] 1787*2^743902-1 is not prime. Res64: 806FFFBD82290F17 Time : 8877.0 sec. user=vaughan [2011-12-01 11:24:27] 1791*2^743902-1 is not prime. Res64: 65C4437F7340E5D6 Time : 8848.0 sec. user=vaughan [2011-12-01 13:52:07] 1441*2^743903-1 is not prime. Res64: 157E3841ADCAEE9E Time : 8861.0 sec. user=vaughan [2011-12-01 16:19:39] 1443*2^743903-1 is not prime. Res64: CCDB53E11E47CEEE Time : 8852.0 sec. user=vaughan [2011-12-01 18:47:22] 1485*2^743903-1 is not prime. Res64: C16E47714658F9DF Time : 8863.0 sec. user=vaughan [2011-12-01 21:15:18] 1629*2^743903-1 is not prime. Res64: C85C5FD98B0ECAB4 Time : 8876.0 sec. user=vaughan [2011-12-01 23:42:30] 1735*2^743903-1 is not prime. Res64: E05564BAEC251592 Time : 8832.0 sec.