user=vaughan [2009-11-16 13:30:50] 1617*2^664280-1 is not prime. Res64: AFBA3FF301B1759B Time : 53542.0 sec. user=vaughan [2009-11-16 15:18:50] 1623*2^664280-1 is not prime. Res64: 14F4D4F628DCB70A Time : 6480.0 sec. user=vaughan [2009-11-16 17:06:32] 1625*2^664280-1 is not prime. Res64: 18D716B335AECE3B Time : 6462.0 sec. user=vaughan [2009-11-16 18:54:22] 1665*2^664280-1 is not prime. Res64: A731B34304B669EC Time : 6470.0 sec. user=vaughan [2009-11-16 20:42:16] 1749*2^664280-1 is not prime. Res64: 2C32FFFAC7A189DA Time : 6474.0 sec. user=vaughan [2009-11-16 22:30:47] 1817*2^664280-1 is not prime. Res64: 365F6A75D28BD5E6 Time : 6511.0 sec.