user=vaughan [2011-09-17 00:34:03] 1945*2^743789-1 is not prime. Res64: 094CE66605EC0C69 Time : 6166.0 sec. user=vaughan [2011-09-17 02:16:42] 1487*2^743790-1 is not prime. Res64: D48A141C0B836BD9 Time : 6159.0 sec. user=vaughan [2011-09-17 03:58:56] 1547*2^743790-1 is not prime. Res64: 76ECA4CF6370F697 Time : 6134.0 sec. user=vaughan [2011-09-17 05:40:52] 1631*2^743790-1 is not prime. Res64: 2F323281049E87F4 Time : 6116.0 sec. user=vaughan [2011-09-17 07:23:00] 1727*2^743790-1 is not prime. Res64: EBD42648B537AA38 Time : 6129.0 sec. user=vaughan [2011-09-17 09:04:48] 1781*2^743790-1 is not prime. Res64: C610DA5B25CECEAB Time : 6109.0 sec. user=vaughan [2011-09-17 10:46:33] 1815*2^743790-1 is not prime. Res64: 0D5511B8090A8CD1 Time : 6106.0 sec. user=vaughan [2011-09-17 14:01:32] 1887*2^743790-1 is not prime. Res64: C3A27C05206A20AD Time : 11700.0 sec. user=vaughan [2011-09-17 15:44:20] 1405*2^743791-1 is not prime. Res64: CEFDE6852C872058 Time : 6107.0 sec. user=vaughan [2011-09-17 17:26:05] 1431*2^743791-1 is not prime. Res64: F07D7ABB6F446D61 Time : 6105.0 sec. user=vaughan [2011-09-17 19:07:59] 1503*2^743791-1 is not prime. Res64: 8B895EDEC6EBD1CE Time : 6114.0 sec. user=vaughan [2011-09-17 20:50:00] 1543*2^743791-1 is not prime. Res64: 4C3CAC025A20B207 Time : 6121.0 sec. user=vaughan [2011-09-17 22:32:01] 1639*2^743791-1 is not prime. Res64: 52D61B5FEA7FBD16 Time : 6121.0 sec.