user=vaughan [2010-05-03 00:02:54] 2023*2^556623-1 is not prime. Res64: 4ED2F36B23ADE5BE Time : 13705.0 sec. user=vaughan [2010-05-03 01:18:46] 2079*2^556623-1 is not prime. Res64: DB36329803C12254 Time : 13695.0 sec. user=vaughan [2010-05-03 02:34:41] 2083*2^556623-1 is not prime. Res64: E84BB69080A62444 Time : 13679.0 sec. user=vaughan [2010-05-03 03:50:48] 2121*2^556623-1 is not prime. Res64: 69E298F3E7F9E9ED Time : 13674.0 sec. user=vaughan [2010-05-03 05:06:57] 2131*2^556623-1 is not prime. Res64: 428796F3B2FCC351 Time : 13692.0 sec. user=vaughan [2010-05-03 06:22:55] 2155*2^556623-1 is not prime. Res64: 4C8C75668CCA4AD4 Time : 13695.0 sec. user=vaughan [2010-05-03 07:39:07] 2419*2^556623-1 is not prime. Res64: 0AF72E634D9D3CEA Time : 13699.0 sec. user=vaughan [2010-05-03 08:55:15] 2443*2^556623-1 is not prime. Res64: 91F72956C73B350E Time : 13698.0 sec. user=vaughan [2010-05-03 10:11:04] 2499*2^556623-1 is not prime. Res64: 3E90D9DB9893E142 Time : 13689.0 sec. user=vaughan [2010-05-03 11:26:49] 2511*2^556623-1 is not prime. Res64: F5CCADB47DA0815E Time : 13662.0 sec. user=vaughan [2010-05-03 12:42:32] 2551*2^556623-1 is not prime. Res64: EFD384A79FCAEF21 Time : 13637.0 sec. user=vaughan [2010-05-03 13:58:36] 2575*2^556623-1 is not prime. Res64: B48EA5D7181DAB66 Time : 13652.0 sec. user=vaughan [2010-05-03 15:14:36] 2595*2^556623-1 is not prime. Res64: EDF904724C195004 Time : 13667.0 sec. user=vaughan [2010-05-03 16:31:01] 2599*2^556623-1 is not prime. Res64: 92FAF81B693752FD Time : 13709.0 sec. user=vaughan [2010-05-03 17:46:48] 2601*2^556623-1 is not prime. Res64: 1B015C82B7237E51 Time : 13692.0 sec. user=vaughan [2010-05-03 19:02:10] 2643*2^556623-1 is not prime. Res64: 375668BD9EA4D990 Time : 13654.0 sec. user=vaughan [2010-05-03 20:18:07] 2653*2^556623-1 is not prime. Res64: 6FEE91FCE295883F Time : 13626.0 sec. user=vaughan [2010-05-03 21:33:48] 2809*2^556623-1 is not prime. Res64: 655289A91904C384 Time : 13621.0 sec. user=vaughan [2010-05-03 22:49:37] 2851*2^556623-1 is not prime. Res64: 12696A9218F73732 Time : 13648.0 sec.