user=vaughan [2011-11-19 01:07:29] 1809*2^743888-1 is not prime. Res64: C8EB6809F88966E8 Time : 8829.0 sec. user=vaughan [2011-11-19 03:35:15] 1827*2^743888-1 is not prime. Res64: 903DD8C45E9DB392 Time : 8866.0 sec. user=vaughan [2011-11-19 06:02:32] 1845*2^743888-1 is not prime. Res64: C3C70F124D7F6615 Time : 8837.0 sec. user=vaughan [2011-11-19 08:29:14] 1985*2^743888-1 is not prime. Res64: BC7656C2C69B85B7 Time : 8802.0 sec. user=vaughan [2011-11-19 10:58:06] 1441*2^743889-1 is not prime. Res64: 6DFC7387034A025C Time : 8932.0 sec. user=vaughan [2011-11-19 13:26:23] 1461*2^743889-1 is not prime. Res64: 52ABA6E71F2425A2 Time : 8773.0 sec. user=vaughan [2011-11-19 15:53:26] 1501*2^743889-1 is not prime. Res64: A722BE5A78D432C0 Time : 8823.0 sec. user=vaughan [2011-11-19 18:20:01] 1519*2^743889-1 is not prime. Res64: C050391BEC6A7821 Time : 8795.0 sec. user=vaughan [2011-11-19 20:47:46] 1549*2^743889-1 is not prime. Res64: AF1B26B0A53024F2 Time : 8866.0 sec. user=vaughan [2011-11-19 23:14:18] 1579*2^743889-1 is not prime. Res64: A2F58C3FAFD6D6D3 Time : 8792.0 sec.