user=vaughan [2011-08-16 00:07:17] 1501*2^743411-1 is not prime. Res64: CDDD11457A3C4F23 Time : 6083.0 sec. user=vaughan [2011-08-16 01:48:46] 1635*2^743411-1 is not prime. Res64: 6AA7B3694371A32D Time : 6089.0 sec. user=vaughan [2011-08-16 03:32:24] 1641*2^743411-1 is not prime. Res64: 898E164348A00B35 Time : 6218.0 sec. user=vaughan [2011-08-16 05:14:00] 1869*2^743411-1 is not prime. Res64: 6E41343378AC8371 Time : 6097.0 sec. user=vaughan [2011-08-16 06:55:44] 1915*2^743411-1 is not prime. Res64: 3D1D9B726527BEBB Time : 6104.0 sec. user=vaughan [2011-08-16 08:37:19] 1409*2^743412-1 is not prime. Res64: A349AD9BDF8708DC Time : 6095.0 sec. user=vaughan [2011-08-16 10:19:41] 1463*2^743412-1 is not prime. Res64: AD61164891C052D2 Time : 6142.0 sec. user=vaughan [2011-08-16 12:01:17] 1547*2^743412-1 is not prime. Res64: 007BBEC773EE03ED Time : 6096.0 sec. user=vaughan [2011-08-16 13:42:47] 1557*2^743412-1 is not prime. Res64: EBFB1ADC89BAF964 Time : 6090.0 sec. user=vaughan [2011-08-16 15:24:27] 1643*2^743412-1 is not prime. Res64: 15356402C734DF35 Time : 6100.0 sec. user=vaughan [2011-08-16 17:06:18] 1799*2^743412-1 is not prime. Res64: 41ADDDCC1FFF15B0 Time : 6112.0 sec. user=vaughan [2011-08-16 18:48:03] 1839*2^743412-1 is not prime. Res64: EF8B952F8D19AEA9 Time : 6105.0 sec. user=vaughan [2011-08-16 20:29:50] 1845*2^743412-1 is not prime. Res64: A51488847A68E867 Time : 6107.0 sec. user=vaughan [2011-08-16 22:12:26] 1893*2^743412-1 is not prime. Res64: 484A85E2EF1628E6 Time : 6157.0 sec. user=vaughan [2011-08-16 23:54:03] 1943*2^743412-1 is not prime. Res64: CE61050E4DB1031C Time : 6098.0 sec.