user=vaughan [2011-09-03 00:29:14] 1609*2^743767-1 is not prime. Res64: F5EBBFA2D83B5E6D Time : 6095.0 sec. user=vaughan [2011-09-03 02:10:44] 1675*2^743767-1 is not prime. Res64: A2C14C9AD7FF7A44 Time : 6090.0 sec. user=vaughan [2011-09-03 03:52:44] 1875*2^743767-1 is not prime. Res64: FD1B8CB4782AFF2E Time : 6121.0 sec. user=vaughan [2011-09-03 05:34:19] 1893*2^743767-1 is not prime. Res64: DD8FA69233E42854 Time : 6095.0 sec. user=vaughan [2011-09-03 07:15:49] 1935*2^743767-1 is not prime. Res64: 95827C574926E999 Time : 6090.0 sec. user=vaughan [2011-09-03 08:57:16] 1945*2^743767-1 is not prime. Res64: EB17C3259130405D Time : 6088.0 sec. user=vaughan [2011-09-03 10:39:35] 1425*2^743768-1 is not prime. Res64: 5C74E3B2C048FF76 Time : 6139.0 sec. user=vaughan [2011-09-03 12:21:27] 1509*2^743768-1 is not prime. Res64: 8319042E67BC8ECD Time : 6112.0 sec. user=vaughan [2011-09-03 14:03:05] 1547*2^743768-1 is not prime. Res64: 0E29CC2C8E21C65F Time : 6099.0 sec. user=vaughan [2011-09-03 15:44:58] 1553*2^743768-1 is not prime. Res64: C8AD67030985F8A8 Time : 6113.0 sec. user=vaughan [2011-09-03 17:26:40] 1607*2^743768-1 is not prime. Res64: DED9DBA00D913A5C Time : 6103.0 sec. user=vaughan [2011-09-03 19:08:11] 1683*2^743768-1 is not prime. Res64: 51C2FDEF85D86D1E Time : 6092.0 sec. user=vaughan [2011-09-03 20:50:02] 1697*2^743768-1 is not prime. Res64: A3BBADABC95EFFFB Time : 6111.0 sec. user=vaughan [2011-09-03 22:31:56] 1733*2^743768-1 is not prime. Res64: D77BD775A23DDB7C Time : 6114.0 sec.