user=vaughan [2010-06-05 00:46:23] 2053*2^563295-1 is not prime. Res64: 18009521022DC574 Time : 13552.0 sec. user=vaughan [2010-06-05 02:01:48] 2125*2^563295-1 is not prime. Res64: F739FFF414ECA0DF Time : 13561.0 sec. user=vaughan [2010-06-05 03:17:42] 2179*2^563295-1 is not prime. Res64: ED680BE6A727D2B3 Time : 13598.0 sec. user=vaughan [2010-06-05 04:33:04] 2191*2^563295-1 is not prime. Res64: E7ABF008A33DB6E4 Time : 13602.0 sec. user=vaughan [2010-06-05 05:48:20] 2193*2^563295-1 is not prime. Res64: F50176B2BCE091B5 Time : 13592.0 sec. user=vaughan [2010-06-05 07:03:35] 2203*2^563295-1 is not prime. Res64: 9A2B0435E7553F95 Time : 13553.0 sec. user=vaughan [2010-06-05 08:18:48] 2211*2^563295-1 is not prime. Res64: 753A3A72AF8C8ABC Time : 13545.0 sec. user=vaughan [2010-06-05 09:34:06] 2251*2^563295-1 is not prime. Res64: AF3E18A32C9E9885 Time : 13547.0 sec. user=vaughan [2010-06-05 10:49:25] 2259*2^563295-1 is not prime. Res64: 1325D6869CA48D7A Time : 13550.0 sec. user=vaughan [2010-06-05 12:04:41] 2379*2^563295-1 is not prime. Res64: CED03B5213F5248B Time : 13553.0 sec. user=vaughan [2010-06-05 13:19:59] 2401*2^563295-1 is not prime. Res64: A2186E3A285969F6 Time : 13553.0 sec. user=vaughan [2010-06-05 14:35:10] 2443*2^563295-1 is not prime. Res64: 024E7A7A5C87EB2A Time : 13545.0 sec. user=vaughan [2010-06-05 15:50:56] 2509*2^563295-1 is not prime. Res64: E3B0E94506DA5F91 Time : 13575.0 sec. user=vaughan [2010-06-05 17:06:12] 2515*2^563295-1 is not prime. Res64: DEB2BC0BB666C413 Time : 13574.0 sec. user=vaughan [2010-06-05 18:21:27] 2643*2^563295-1 is not prime. Res64: B28D5B127173C6B3 Time : 13577.0 sec. user=vaughan [2010-06-05 19:36:41] 2743*2^563295-1 is not prime. Res64: D10D728AD5E92704 Time : 13545.0 sec. user=vaughan [2010-06-05 20:52:10] 2763*2^563295-1 is not prime. Res64: 02F6F074D1815EFD Time : 13559.0 sec. user=vaughan [2010-06-05 22:07:31] 2781*2^563295-1 is not prime. Res64: DDBDEC2A18BE13B1 Time : 13565.0 sec. user=vaughan [2010-06-05 23:22:52] 2851*2^563295-1 is not prime. Res64: E7FA538EE9A281B2 Time : 13571.0 sec.