user=vaughan [2011-04-29 22:52:24] 885*2^937153-1 is not prime. Res64: 93586DEA93C522CB Time : 132500.0 sec. user=vaughan [2011-04-29 22:52:27] 987*2^937148-1 is not prime. Res64: 1E2A19A980EA9BA5 Time : 133425.0 sec. user=vaughan [2011-04-29 22:52:30] 867*2^937149-1 is not prime. Res64: 069E6BA713D4097D Time : 133118.0 sec. user=vaughan [2011-04-29 22:52:33] 861*2^937149-1 is not prime. Res64: EEE88BEC29F0D6F0 Time : 133408.0 sec. user=vaughan [2011-04-29 23:15:08] 977*2^936888-1 is not prime. Res64: 1409F479945124E9 Time : 1364.0 sec. user=vaughan [2011-04-29 23:15:19] 877*2^936889-1 is not prime. Res64: 960B73092520D338 Time : 1372.0 sec. user=vaughan [2011-04-29 23:15:24] 893*2^936890-1 is not prime. Res64: FDA905DE053CEC4C Time : 1372.0 sec. user=vaughan [2011-04-29 23:15:26] 857*2^936890-1 is not prime. Res64: 9D9761B157189542 Time : 1376.0 sec. user=vaughan [2011-04-29 23:35:21] 895*2^936987-1 is not prime. Res64: E6452D1ABE4C5495 Time : 1213.0 sec. user=vaughan [2011-04-29 23:35:33] 909*2^936987-1 is not prime. Res64: EECF5CB80203538F Time : 1214.0 sec. user=vaughan [2011-04-29 23:35:39] 961*2^936987-1 is not prime. Res64: 5FC4F58C29181604 Time : 1215.0 sec. user=vaughan [2011-04-29 23:35:41] 819*2^936988-1 is not prime. Res64: 1DB8955B40FD2BFE Time : 1215.0 sec. user=vaughan [2011-04-29 23:55:46] 839*2^936988-1 is not prime. Res64: 40CACFD78F88963E Time : 1225.0 sec. user=vaughan [2011-04-29 23:55:59] 999*2^937200-1 is not prime. Res64: 4A87DDDF1AF35C28 Time : 1227.0 sec. user=vaughan [2011-04-29 23:56:05] 931*2^937201-1 is not prime. Res64: 9639A70E02FF12BA Time : 1226.0 sec. user=vaughan [2011-04-29 23:56:07] 997*2^937201-1 is not prime. Res64: 463530D17F42D9EB Time : 1227.0 sec.