user=vaughan [2011-11-25 02:09:47] 1419*2^743895-1 is not prime. Res64: 57D61CFEA57577CC Time : 9769.0 sec. user=vaughan [2011-11-25 04:43:03] 1431*2^743895-1 is not prime. Res64: CED4AB3BB497CBF8 Time : 9196.0 sec. user=vaughan [2011-11-25 07:11:26] 1441*2^743895-1 is not prime. Res64: EC8C4238C7B9F11E Time : 8903.0 sec. user=vaughan [2011-11-25 09:39:46] 1573*2^743895-1 is not prime. Res64: B9312EE4A7C0EF14 Time : 8900.0 sec. user=vaughan [2011-11-25 12:08:45] 1581*2^743895-1 is not prime. Res64: 98DEF0B49CED6F9C Time : 8939.0 sec. user=vaughan [2011-11-25 14:37:06] 1731*2^743895-1 is not prime. Res64: E88F9D1F288E4EDF Time : 8901.0 sec. user=vaughan [2011-11-25 17:06:16] 1735*2^743895-1 is not prime. Res64: F8B4CF212E5046DF Time : 8951.0 sec. user=vaughan [2011-11-25 19:33:08] 1801*2^743895-1 is not prime. Res64: B6036BF1664C9A68 Time : 8813.0 sec. user=vaughan [2011-11-25 22:00:42] 1843*2^743895-1 is not prime. Res64: F28F92A222CD74CB Time : 8854.0 sec.