user=vaughan [2009-11-13 00:03:20] 1679*2^664272-1 is not prime. Res64: 65349D03229FF3DB Time : 6639.0 sec. user=vaughan [2009-11-13 01:59:16] 1685*2^664272-1 is not prime. Res64: 7F7315693B38F45B Time : 6956.0 sec. user=vaughan [2009-11-13 03:49:18] 1805*2^664272-1 is not prime. Res64: 1F1002045BC993A6 Time : 6603.0 sec. user=vaughan [2009-11-13 05:39:36] 1859*2^664272-1 is not prime. Res64: 347EF3F1058C6733 Time : 6619.0 sec. user=vaughan [2009-11-13 07:30:01] 1883*2^664272-1 is not prime. Res64: E0F4CB6706E6CB21 Time : 6625.0 sec. user=vaughan [2009-11-13 09:20:03] 1907*2^664272-1 is not prime. Res64: 9B2FA3A2EE675E0F Time : 6602.0 sec. user=vaughan [2009-11-13 11:09:43] 1913*2^664272-1 is not prime. Res64: 54CB201E6E0CD77F Time : 6580.0 sec. user=vaughan [2009-11-13 12:59:44] 1953*2^664272-1 is not prime. Res64: 86FC784D07E1C8C3 Time : 6601.0 sec. user=vaughan [2009-11-13 14:48:49] 1985*2^664272-1 is not prime. Res64: 570D205727C3B41F Time : 6545.0 sec. user=vaughan [2009-11-13 16:37:57] 1401*2^664273-1 is not prime. Res64: 0EE5352565C7E16F Time : 6548.0 sec. user=vaughan [2009-11-13 18:31:02] 1431*2^664273-1 is not prime. Res64: 3D552D54954A3CFB Time : 6785.0 sec. user=vaughan [2009-11-13 20:25:40] 1449*2^664273-1 is not prime. Res64: CB62898526DBA1EB Time : 6879.0 sec. user=vaughan [2009-11-13 22:19:42] 1519*2^664273-1 is not prime. Res64: 9D960C3E7161E40A Time : 6843.0 sec.