user=vaughan [2011-09-23 01:06:49] 1609*2^743803-1 is not prime. Res64: 7156A06D9862F0AB Time : 6093.0 sec. user=vaughan [2011-09-23 02:48:27] 1629*2^743803-1 is not prime. Res64: E2AD28CCDDD0291A Time : 6098.0 sec. user=vaughan [2011-09-23 04:33:07] 1653*2^743803-1 is not prime. Res64: 0C0660096BC750D9 Time : 6281.0 sec. user=vaughan [2011-09-23 06:15:28] 1843*2^743803-1 is not prime. Res64: D8A31249D2DD3E77 Time : 6141.0 sec. user=vaughan [2011-09-23 07:57:00] 1445*2^743804-1 is not prime. Res64: 63B7A8FD901C4F05 Time : 6092.0 sec. user=vaughan [2011-09-23 09:38:40] 1463*2^743804-1 is not prime. Res64: 5CCBD953686A6325 Time : 6100.0 sec. user=vaughan [2011-09-23 11:20:15] 1487*2^743804-1 is not prime. Res64: DF2F75E5FE546BC7 Time : 6095.0 sec. user=vaughan [2011-09-23 13:01:50] 1539*2^743804-1 is not prime. Res64: F685049E5F7B6226 Time : 6095.0 sec. user=vaughan [2011-09-23 14:44:09] 1683*2^743804-1 is not prime. Res64: A77582BCA852CA83 Time : 6139.0 sec. user=vaughan [2011-09-23 16:26:02] 1785*2^743804-1 is not prime. Res64: 9B5EBC3BEC296634 Time : 6114.0 sec. user=vaughan [2011-09-23 18:07:47] 1817*2^743804-1 is not prime. Res64: B840F4C45FDCE096 Time : 6105.0 sec. user=vaughan [2011-09-23 19:49:23] 1839*2^743804-1 is not prime. Res64: F74867524A127D4E Time : 6097.0 sec. user=vaughan [2011-09-23 21:30:53] 1947*2^743804-1 is not prime. Res64: FC9EFB33EA240BB1 Time : 6091.0 sec. user=vaughan [2011-09-23 23:12:29] 1995*2^743804-1 is not prime. Res64: B1BCCAAE073AE45D Time : 6096.0 sec.