user=vaughan [2010-04-21 00:52:22] 1713*2^670723-1 is not prime. Res64: E86F308379698A57 Time : 884.0 sec. user=vaughan [2010-04-21 00:52:23] 1731*2^670723-1 is not prime. Res64: ABB1B9C16463FD53 Time : 885.0 sec. user=vaughan [2010-04-21 00:55:35] 1743*2^670723-1 is not prime. Res64: D6889B2DEB4507E0 Time : 1075.0 sec. user=vaughan [2010-04-21 00:55:36] 1675*2^670723-1 is not prime. Res64: 4AE4928B8950226A Time : 1079.0 sec.