user=vaughan [2009-11-17 00:19:40] 1847*2^664280-1 is not prime. Res64: 090CDEE2C39EDC11 Time : 6533.0 sec. user=vaughan [2009-11-17 02:09:14] 1465*2^664281-1 is not prime. Res64: DABD21B52EAF8BEE Time : 6574.0 sec. user=vaughan [2009-11-17 03:58:07] 1567*2^664281-1 is not prime. Res64: 94256B738B60D116 Time : 6533.0 sec. user=vaughan [2009-11-17 05:46:49] 1585*2^664281-1 is not prime. Res64: 53F50D38F6AD4235 Time : 6522.0 sec. user=vaughan [2009-11-17 07:35:33] 1581*2^664278-1 is not prime. Res64: FAABB25F47CA7064 Time : 6524.0 sec. user=vaughan [2009-11-17 09:24:13] 1631*2^664278-1 is not prime. Res64: D18B896371192CDB Time : 6521.0 sec. user=vaughan [2009-11-17 11:12:59] 1983*2^664278-1 is not prime. Res64: 66B73AFCDDE4CE52 Time : 6526.0 sec. user=vaughan [2009-11-17 13:01:51] 1991*2^664278-1 is not prime. Res64: 10854C266C80D643 Time : 6532.0 sec. user=vaughan [2009-11-17 14:51:07] 1431*2^664279-1 is not prime. Res64: 4A3C4948A0CCA0D7 Time : 6557.0 sec. user=vaughan [2009-11-17 16:39:49] 1539*2^664279-1 is not prime. Res64: 6E2652B33D86315C Time : 6523.0 sec. user=vaughan [2009-11-17 18:28:29] 1693*2^664279-1 is not prime. Res64: DEB0D3A6B4B13048 Time : 6521.0 sec. user=vaughan [2009-11-17 20:17:23] 1695*2^664279-1 is not prime. Res64: 1CB9AEF46E751CAB Time : 6534.0 sec. user=vaughan [2009-11-17 22:06:17] 1609*2^664281-1 is not prime. Res64: EC64EEE298066482 Time : 6534.0 sec. user=vaughan [2009-11-17 23:55:19] 1647*2^664281-1 is not prime. Res64: 8A0A4E48AEBACBCF Time : 6543.0 sec.