user=vaughan [2011-10-22 00:35:32] 1717*2^743853-1 is not prime. Res64: 66D3B5E0E6B39418 Time : 9083.0 sec. user=vaughan [2011-10-22 03:04:48] 1755*2^743853-1 is not prime. Res64: 57440E779BD235FE Time : 8956.0 sec. user=vaughan [2011-10-22 05:34:48] 1797*2^743853-1 is not prime. Res64: 79669D3BEE8E96C2 Time : 9000.0 sec. user=vaughan [2011-10-22 08:04:08] 1825*2^743853-1 is not prime. Res64: DA34C7F0A2DAE7B7 Time : 8961.0 sec.