user=vaughan [2011-09-01 01:00:16] 1613*2^743764-1 is not prime. Res64: 80B63B117AC71175 Time : 6111.0 sec. user=vaughan [2011-09-01 02:45:46] 1793*2^743764-1 is not prime. Res64: DE40FC06D6BC03A9 Time : 6331.0 sec. user=vaughan [2011-09-01 04:28:30] 1839*2^743764-1 is not prime. Res64: C7D75EFF38084B09 Time : 6164.0 sec. user=vaughan [2011-09-01 06:10:43] 1853*2^743764-1 is not prime. Res64: E2FC8A04E851D859 Time : 6133.0 sec. user=vaughan [2011-09-01 07:52:36] 1947*2^743764-1 is not prime. Res64: C9D363AD8D6B938C Time : 6113.0 sec. user=vaughan [2011-09-01 09:34:31] 1471*2^743765-1 is not prime. Res64: 73A4DF4B9FAF6F6D Time : 6115.0 sec. user=vaughan [2011-09-01 11:16:29] 1491*2^743765-1 is not prime. Res64: D9870C706467CEDE Time : 6119.0 sec. user=vaughan [2011-09-01 12:57:54] 1497*2^743765-1 is not prime. Res64: ABEF187E03F5EABB Time : 6085.0 sec. user=vaughan [2011-09-01 14:39:10] 1525*2^743765-1 is not prime. Res64: C93FAB859E1B5C05 Time : 6077.0 sec. user=vaughan [2011-09-01 16:20:35] 1557*2^743765-1 is not prime. Res64: 960F1D412C6A35CA Time : 6085.0 sec. user=vaughan [2011-09-01 18:02:03] 1747*2^743765-1 is not prime. Res64: AEAFBEDBF8F27A6F Time : 6089.0 sec. user=vaughan [2011-09-01 19:44:04] 1767*2^743765-1 is not prime. Res64: 1D95A7E1ADBC1734 Time : 6122.0 sec. user=vaughan [2011-09-01 21:25:25] 1809*2^743765-1 is not prime. Res64: 4FD3FA4165210002 Time : 6081.0 sec. user=vaughan [2011-09-01 23:07:00] 1897*2^743765-1 is not prime. Res64: AE7A7754E75BA0B8 Time : 6095.0 sec.