user=vaughan [2011-11-10 01:30:45] 1671*2^743879-1 is not prime. Res64: FF339EF933816C17 Time : 8874.0 sec. user=vaughan [2011-11-10 03:57:42] 1755*2^743879-1 is not prime. Res64: 4DE7E9F6BA654B6E Time : 8817.0 sec. user=vaughan [2011-11-10 06:25:09] 1845*2^743879-1 is not prime. Res64: BCEC082DD5CAF692 Time : 8847.0 sec. user=vaughan [2011-11-10 08:52:40] 1915*2^743879-1 is not prime. Res64: 914996282C345559 Time : 8851.0 sec. user=vaughan [2011-11-10 11:20:14] 1995*2^743879-1 is not prime. Res64: E03528B0EEF14778 Time : 8854.0 sec. user=vaughan [2011-11-10 13:48:02] 1425*2^743880-1 is not prime. Res64: A945F2A94679178A Time : 8869.0 sec. user=vaughan [2011-11-10 16:15:15] 1529*2^743880-1 is not prime. Res64: 5645128F92A3D77A Time : 8833.0 sec. user=vaughan [2011-11-10 18:42:34] 1589*2^743880-1 is not prime. Res64: 45CC61DB5B276649 Time : 8840.0 sec. user=vaughan [2011-11-10 21:09:48] 1649*2^743880-1 is not prime. Res64: 34387E310D44EF72 Time : 8834.0 sec. user=vaughan [2011-11-10 23:37:19] 1707*2^743880-1 is not prime. Res64: CEC2E69BE8AC9EF8 Time : 8852.0 sec.