user=vaughan [2010-08-17 00:05:27] 2209*2^582669-1 is not prime. Res64: C6A6958139DE19B2 Time : 7572.0 sec. user=vaughan [2010-08-17 00:05:46] 2277*2^582669-1 is not prime. Res64: AAA9C45CD9C4469B Time : 7512.0 sec. user=vaughan [2010-08-17 00:06:03] 2137*2^582669-1 is not prime. Res64: ED3F7C1DED042223 Time : 7679.0 sec. user=vaughan [2010-08-17 00:09:03] 2377*2^582669-1 is not prime. Res64: FAE4570F04F56CBF Time : 7550.0 sec. user=vaughan [2010-08-17 00:16:37] 2391*2^582669-1 is not prime. Res64: 16B9B7C72EA700DC Time : 7574.0 sec. user=vaughan [2010-08-17 00:17:02] 2419*2^582669-1 is not prime. Res64: 098FA7E0989A7F48 Time : 7459.0 sec. user=vaughan [2010-08-17 00:17:56] 2401*2^582669-1 is not prime. Res64: A8FB073693D8B641 Time : 7630.0 sec. user=vaughan [2010-08-17 00:19:28] 2485*2^582663-1 is not prime. Res64: 03F67DD1C86E8542 Time : 24193.0 sec. user=vaughan [2010-08-17 00:21:29] 2497*2^582669-1 is not prime. Res64: F31696E260A84F17 Time : 7718.0 sec. user=vaughan [2010-08-17 00:28:22] 2721*2^582669-1 is not prime. Res64: 8E49F5E8CD01D204 Time : 7433.0 sec. user=vaughan [2010-08-17 00:28:39] 2665*2^582669-1 is not prime. Res64: 995D0ED4F9840FF4 Time : 7505.0 sec. user=vaughan [2010-08-17 00:28:41] 2635*2^582669-1 is not prime. Res64: C48FF3775D7C40B6 Time : 7559.0 sec. user=vaughan [2010-08-17 00:32:54] 2641*2^582669-1 is not prime. Res64: 2E1C1C8BD62E1369 Time : 7811.0 sec. user=vaughan [2010-08-17 00:40:08] 2977*2^582669-1 is not prime. Res64: 3CA5E687B757895A Time : 7482.0 sec. user=vaughan [2010-08-17 00:40:32] 2799*2^582669-1 is not prime. Res64: 33E26ADA5C567773 Time : 7589.0 sec. user=vaughan [2010-08-17 00:41:18] 2995*2^582669-1 is not prime. Res64: 14ABD6EE79902108 Time : 7535.0 sec. user=vaughan [2010-08-17 00:42:20] 2967*2^582669-1 is not prime. Res64: 21F28F220F058EF8 Time : 7667.0 sec. user=vaughan [2010-08-17 00:52:00] 2211*2^582670-1 is not prime. Res64: 6F8B23C267DA27CA Time : 7511.0 sec. user=vaughan [2010-08-17 00:52:32] 2217*2^582670-1 is not prime. Res64: 59B6AC67E7E59E1C Time : 7534.0 sec. user=vaughan [2010-08-17 00:52:35] 2103*2^582670-1 is not prime. Res64: 425C9E1C09369F91 Time : 7609.0 sec. user=vaughan [2010-08-17 00:53:26] 2105*2^582670-1 is not prime. Res64: F49B8E221A4D3354 Time : 7630.0 sec. user=vaughan [2010-08-17 01:02:54] 2651*2^582670-1 is not prime. Res64: 7FBD59378D38A2C7 Time : 7430.0 sec. user=vaughan [2010-08-17 01:03:56] 2361*2^582670-1 is not prime. Res64: 9C0A76E948DE92BE Time : 7605.0 sec. user=vaughan [2010-08-17 01:04:51] 2711*2^582670-1 is not prime. Res64: 224F865C2A86F7FA Time : 7543.0 sec. user=vaughan [2010-08-17 01:04:51] 2225*2^582670-1 is not prime. Res64: 5B83DEC180AC61C6 Time : 7681.0 sec. user=vaughan [2010-08-17 01:12:01] 2801*2^582670-1 is not prime. Res64: 1EB5DD6253859AF3 Time : 7308.0 sec. user=vaughan [2010-08-17 01:15:44] 2753*2^582670-1 is not prime. Res64: 90CCF836B242BCA0 Time : 7593.0 sec. user=vaughan [2010-08-17 01:16:34] 2777*2^582670-1 is not prime. Res64: DAA6200103267751 Time : 7587.0 sec. user=vaughan [2010-08-17 01:19:30] 2717*2^582670-1 is not prime. Res64: D01E29B0B903EBEF Time : 7846.0 sec. user=vaughan [2010-08-17 01:20:41] 2985*2^582670-1 is not prime. Res64: 3F9BE9D5CD3BA865 Time : 7049.0 sec. user=vaughan [2010-08-17 01:26:54] 2943*2^582670-1 is not prime. Res64: A2788FA9D4A7C340 Time : 7554.0 sec. user=vaughan [2010-08-17 01:29:13] 2925*2^582670-1 is not prime. Res64: 6E4CDBA923AC4FAA Time : 7697.0 sec. user=vaughan [2010-08-17 01:30:31] 2113*2^582671-1 is not prime. Res64: 211CC4CB06872A23 Time : 6964.0 sec. user=vaughan [2010-08-17 01:33:11] 2871*2^582670-1 is not prime. Res64: 4D92413E4BB9BCB6 Time : 8053.0 sec. user=vaughan [2010-08-17 01:39:53] 2091*2^582671-1 is not prime. Res64: EE4E93456EF74689 Time : 7606.0 sec. user=vaughan [2010-08-17 01:40:05] 2119*2^582665-1 is not prime. Res64: 2623A2E478DB2F9E Time : 24170.0 sec. user=vaughan [2010-08-17 01:40:11] 2271*2^582671-1 is not prime. Res64: F26E7C5EFE210EC5 Time : 6731.0 sec. user=vaughan [2010-08-17 01:40:13] 2083*2^582671-1 is not prime. Res64: D6289E5EB6629C65 Time : 7768.0 sec. user=vaughan [2010-08-17 01:44:57] 2987*2^582670-1 is not prime. Res64: 26D3D097D9B41F12 Time : 8055.0 sec. user=vaughan [2010-08-17 01:51:25] 2185*2^582671-1 is not prime. Res64: 67688DF3B93C8A25 Time : 7758.0 sec. user=vaughan [2010-08-17 01:51:38] 2401*2^582671-1 is not prime. Res64: BC3DEE0C7FA19C01 Time : 6743.0 sec. user=vaughan [2010-08-17 01:51:40] 2215*2^582671-1 is not prime. Res64: A758EC7D2E07756E Time : 7660.0 sec. user=vaughan [2010-08-17 01:57:36] 2143*2^582671-1 is not prime. Res64: C786DA0B0FE104F0 Time : 8146.0 sec. user=vaughan [2010-08-17 02:01:20] 2293*2^582671-1 is not prime. Res64: 066C5C22BEA651ED Time : 7663.0 sec. user=vaughan [2010-08-17 02:03:10] 2395*2^582671-1 is not prime. Res64: 72AAC9875CC59B65 Time : 7717.0 sec. user=vaughan [2010-08-17 02:03:52] 2545*2^582671-1 is not prime. Res64: BF393C4FFD85074C Time : 6889.0 sec. user=vaughan [2010-08-17 02:09:44] 2353*2^582671-1 is not prime. Res64: 1A5AEABF43C3B335 Time : 8124.0 sec. user=vaughan [2010-08-17 02:12:01] 2421*2^582671-1 is not prime. Res64: B2AB469C40453151 Time : 7575.0 sec. user=vaughan [2010-08-17 02:13:27] 2409*2^582671-1 is not prime. Res64: E7AD1FAFDB7E0186 Time : 7681.0 sec. user=vaughan [2010-08-17 02:15:09] 2985*2^582671-1 is not prime. Res64: 2EFC46813AF649A4 Time : 6821.0 sec. user=vaughan [2010-08-17 02:22:45] 2493*2^582671-1 is not prime. Res64: 7B08D23C531B6EDE Time : 8202.0 sec. user=vaughan [2010-08-17 02:23:36] 2605*2^582671-1 is not prime. Res64: 7E10DDDC505DD1BB Time : 7619.0 sec. user=vaughan [2010-08-17 02:24:49] 2625*2^582671-1 is not prime. Res64: F7D44780FD75DB5C Time : 7667.0 sec. user=vaughan [2010-08-17 02:25:53] 2127*2^582672-1 is not prime. Res64: A9848B86C29F9F4B Time : 6779.0 sec. user=vaughan [2010-08-17 02:34:14] 2013*2^582672-1 is not prime. Res64: E716264AA6DCF32D Time : 7536.0 sec. user=vaughan [2010-08-17 02:34:55] 2743*2^582671-1 is not prime. Res64: 0D8E5902FBA14D22 Time : 8219.0 sec. user=vaughan [2010-08-17 02:36:23] 2009*2^582672-1 is not prime. Res64: 62BD5B7D6A654CA9 Time : 7681.0 sec. user=vaughan [2010-08-17 02:37:31] 2303*2^582672-1 is not prime. Res64: B87B13B2D40E5EF7 Time : 6912.0 sec. user=vaughan [2010-08-17 02:45:20] 2163*2^582672-1 is not prime. Res64: 8C7998AC3D05F692 Time : 7512.0 sec. user=vaughan [2010-08-17 02:46:20] 2243*2^582672-1 is not prime. Res64: FC6AC362D4AF5825 Time : 7502.0 sec. user=vaughan [2010-08-17 02:47:04] 2063*2^582672-1 is not prime. Res64: 398D8599F60E5897 Time : 8303.0 sec. user=vaughan [2010-08-17 02:49:57] 2319*2^582672-1 is not prime. Res64: 8420913F17C43C69 Time : 7077.0 sec. user=vaughan [2010-08-17 02:56:53] 2165*2^582672-1 is not prime. Res64: 2B4BDC039B073E49 Time : 8182.0 sec. user=vaughan [2010-08-17 02:57:28] 2459*2^582672-1 is not prime. Res64: 6B51B4D56CF557DC Time : 7493.0 sec. user=vaughan [2010-08-17 02:58:38] 2405*2^582672-1 is not prime. Res64: 0566E62413DB0B96 Time : 7566.0 sec. user=vaughan [2010-08-17 03:00:21] 2425*2^582667-1 is not prime. Res64: 39AFF31C9ED58525 Time : 24142.0 sec. user=vaughan [2010-08-17 03:03:09] 2589*2^582672-1 is not prime. Res64: 4B39E19403E100D7 Time : 7215.0 sec. user=vaughan [2010-08-17 03:08:06] 2597*2^582672-1 is not prime. Res64: B478875791B696B3 Time : 7450.0 sec. user=vaughan [2010-08-17 03:08:45] 2529*2^582672-1 is not prime. Res64: 67545C5384CAD175 Time : 8119.0 sec. user=vaughan [2010-08-17 03:09:43] 2603*2^582672-1 is not prime. Res64: 137E52A723BABD7E Time : 7493.0 sec. user=vaughan [2010-08-17 03:15:51] 2615*2^582672-1 is not prime. Res64: ADF51CD306F5BBBC Time : 7430.0 sec. user=vaughan [2010-08-17 03:18:45] 2607*2^582672-1 is not prime. Res64: 0E3B8EEFCCB9D739 Time : 8034.0 sec. user=vaughan [2010-08-17 03:20:03] 2649*2^582672-1 is not prime. Res64: 9634153EA3AF7EEA Time : 7459.0 sec. user=vaughan [2010-08-17 03:21:11] 2673*2^582672-1 is not prime. Res64: 48C9C9AC452F19DC Time : 7477.0 sec. user=vaughan [2010-08-17 03:26:31] 2747*2^582672-1 is not prime. Res64: A537BCA1DDC0D77A Time : 7550.0 sec. user=vaughan [2010-08-17 03:30:48] 2723*2^582672-1 is not prime. Res64: FBE442E396D5B191 Time : 7878.0 sec. user=vaughan [2010-08-17 03:31:21] 2799*2^582672-1 is not prime. Res64: 733913B38D531369 Time : 7467.0 sec. user=vaughan [2010-08-17 03:34:11] 2853*2^582672-1 is not prime. Res64: 0FA527A7EA26C6E3 Time : 7498.0 sec. user=vaughan [2010-08-17 03:36:26] 2865*2^582672-1 is not prime. Res64: B93BE26908EEEF40 Time : 7555.0 sec. user=vaughan [2010-08-17 03:41:43] 2867*2^582672-1 is not prime. Res64: 80A8447B8D553B47 Time : 7713.0 sec. user=vaughan [2010-08-17 03:43:47] 2963*2^582672-1 is not prime. Res64: FF586FA93FA1BAD9 Time : 7434.0 sec. user=vaughan [2010-08-17 03:46:09] 2011*2^582673-1 is not prime. Res64: 2E474F20ACD003CB Time : 7557.0 sec. user=vaughan [2010-08-17 03:47:38] 2005*2^582673-1 is not prime. Res64: 249F3B8B44C0B467 Time : 7647.0 sec. user=vaughan [2010-08-17 03:51:58] 2047*2^582673-1 is not prime. Res64: B6E077E334872388 Time : 7621.0 sec. user=vaughan [2010-08-17 03:54:24] 2247*2^582673-1 is not prime. Res64: FC75E4E7A1BD37DF Time : 7365.0 sec. user=vaughan [2010-08-17 03:59:32] 2107*2^582673-1 is not prime. Res64: AEF72F138D8540C8 Time : 7687.0 sec. user=vaughan [2010-08-17 03:59:35] 2155*2^582673-1 is not prime. Res64: 866667A3F8B56092 Time : 7678.0 sec. user=vaughan [2010-08-17 04:03:05] 2319*2^582673-1 is not prime. Res64: CA46EC30923C1027 Time : 7530.0 sec. user=vaughan [2010-08-17 04:06:41] 2415*2^582673-1 is not prime. Res64: 8A414FE88BD2260A Time : 7412.0 sec. user=vaughan [2010-08-17 04:07:56] 2469*2^582673-1 is not prime. Res64: 6E62B9FD46670CC8 Time : 7445.0 sec. user=vaughan [2010-08-17 04:12:15] 2337*2^582673-1 is not prime. Res64: F2D06A1775190B85 Time : 7855.0 sec. user=vaughan [2010-08-17 04:15:41] 2505*2^582673-1 is not prime. Res64: 026B8D8AD41C854E Time : 7558.0 sec. user=vaughan [2010-08-17 04:17:22] 2611*2^582673-1 is not prime. Res64: 90F8008806873894 Time : 7436.0 sec. user=vaughan [2010-08-17 04:19:40] 2677*2^582673-1 is not prime. Res64: 826B2B9DBB0EC659 Time : 7471.0 sec. user=vaughan [2010-08-17 04:21:06] 2933*2^582668-1 is not prime. Res64: 086D69BF8F99BF6C Time : 24158.0 sec. user=vaughan [2010-08-17 04:24:41] 2575*2^582673-1 is not prime. Res64: 2A5DEE4BDC858D12 Time : 7961.0 sec. user=vaughan [2010-08-17 04:28:29] 2859*2^582673-1 is not prime. Res64: 15C1693FBAE4A2AD Time : 7493.0 sec. user=vaughan [2010-08-17 04:28:40] 2791*2^582673-1 is not prime. Res64: E69BC5916A159BC9 Time : 7555.0 sec. user=vaughan [2010-08-17 04:30:03] 2015*2^582674-1 is not prime. Res64: 1DDCA7DF1DCA0EEF Time : 7451.0 sec. user=vaughan [2010-08-17 04:35:08] 2985*2^582673-1 is not prime. Res64: 23ABA1CC0BE1A4A0 Time : 7820.0 sec. user=vaughan [2010-08-17 04:39:58] 2213*2^582674-1 is not prime. Res64: BC3CA800ACBC5CDB Time : 7544.0 sec. user=vaughan [2010-08-17 04:41:10] 2225*2^582674-1 is not prime. Res64: 88282A9886CE90DD Time : 7575.0 sec. user=vaughan [2010-08-17 04:41:22] 2295*2^582674-1 is not prime. Res64: 739AA253C51C3905 Time : 7431.0 sec. user=vaughan [2010-08-17 04:46:17] 2247*2^582674-1 is not prime. Res64: D78B198BB64AF80E Time : 7794.0 sec. user=vaughan [2010-08-17 04:51:47] 2301*2^582674-1 is not prime. Res64: 3F4ACA35F0C9221A Time : 7587.0 sec. user=vaughan [2010-08-17 04:51:52] 2331*2^582674-1 is not prime. Res64: 5E1EF53EB6A092B9 Time : 7489.0 sec. user=vaughan [2010-08-17 04:52:41] 2373*2^582674-1 is not prime. Res64: CE17E9BD246FB590 Time : 7364.0 sec. user=vaughan [2010-08-17 04:58:13] 2303*2^582674-1 is not prime. Res64: 99F2071870E5B6FF Time : 7913.0 sec. user=vaughan [2010-08-17 05:01:19] 2453*2^582674-1 is not prime. Res64: 64B93616251B659C Time : 7432.0 sec. user=vaughan [2010-08-17 05:03:49] 2435*2^582674-1 is not prime. Res64: 4E5175022E7F2BCD Time : 7616.0 sec. user=vaughan [2010-08-17 05:06:00] 2745*2^582674-1 is not prime. Res64: 528E1FA9D600A86E Time : 7371.0 sec. user=vaughan [2010-08-17 05:09:33] 2511*2^582674-1 is not prime. Res64: 9D4ABE12425414AB Time : 7856.0 sec. user=vaughan [2010-08-17 05:12:22] 2765*2^582674-1 is not prime. Res64: 690EDA4E5CE950B8 Time : 7457.0 sec. user=vaughan [2010-08-17 05:15:31] 2777*2^582674-1 is not prime. Res64: A1849075CD3EBD86 Time : 7606.0 sec. user=vaughan [2010-08-17 05:18:01] 2867*2^582674-1 is not prime. Res64: 56940D5FE006260A Time : 7330.0 sec. user=vaughan [2010-08-17 05:21:07] 2793*2^582674-1 is not prime. Res64: EF1E9A81B44F196D Time : 7884.0 sec. user=vaughan [2010-08-17 05:23:39] 2049*2^582675-1 is not prime. Res64: 35D3BE29C0DC89DC Time : 7416.0 sec. user=vaughan [2010-08-17 05:26:32] 2925*2^582674-1 is not prime. Res64: 85D98E4A3697E8B8 Time : 7667.0 sec. user=vaughan [2010-08-17 05:32:00] 2223*2^582675-1 is not prime. Res64: 6EB4CE1F11C33AE7 Time : 7530.0 sec. user=vaughan [2010-08-17 05:32:51] 2211*2^582675-1 is not prime. Res64: FA1FCD6B67810208 Time : 7901.0 sec. user=vaughan [2010-08-17 05:33:31] 2301*2^582675-1 is not prime. Res64: 9CBAE3F46768398C Time : 7331.0 sec. user=vaughan [2010-08-17 05:37:53] 2253*2^582675-1 is not prime. Res64: 24E17C4F7F48E368 Time : 7625.0 sec. user=vaughan [2010-08-17 05:41:41] 2477*2^582670-1 is not prime. Res64: 286D27D1EF3CBD8A Time : 24164.0 sec. user=vaughan [2010-08-17 05:42:21] 2515*2^582675-1 is not prime. Res64: 3E566DAD18C164B0 Time : 7555.0 sec. user=vaughan [2010-08-17 05:45:02] 2511*2^582675-1 is not prime. Res64: D21C34CBFF24BBF2 Time : 7851.0 sec. user=vaughan [2010-08-17 05:45:09] 2653*2^582675-1 is not prime. Res64: 53BBEFBD9D8F007B Time : 7282.0 sec. user=vaughan [2010-08-17 05:48:57] 2623*2^582675-1 is not prime. Res64: 218E581AB842E893 Time : 7634.0 sec. user=vaughan [2010-08-17 05:55:38] 2781*2^582675-1 is not prime. Res64: 0B518196482B0768 Time : 7681.0 sec. user=vaughan [2010-08-17 05:56:00] 2733*2^582675-1 is not prime. Res64: 97391EF586B8A73D Time : 7792.0 sec. user=vaughan [2010-08-17 05:56:13] 2863*2^582675-1 is not prime. Res64: CC72197AA6BEB299 Time : 7309.0 sec. user=vaughan [2010-08-17 06:01:39] 2799*2^582675-1 is not prime. Res64: 52F5CD2570391569 Time : 7782.0 sec. user=vaughan [2010-08-17 06:05:58] 2959*2^582675-1 is not prime. Res64: 1A521569ADFA0D3B Time : 7586.0 sec. user=vaughan [2010-08-17 06:07:11] 2049*2^582676-1 is not prime. Res64: 58F2378963EFAA9E Time : 7231.0 sec. user=vaughan [2010-08-17 06:08:47] 2929*2^582675-1 is not prime. Res64: 2F2BE6E3B26FEA16 Time : 7755.0 sec. user=vaughan [2010-08-17 06:13:53] 2043*2^582676-1 is not prime. Res64: 0A8A4585EB731885 Time : 7848.0 sec. user=vaughan [2010-08-17 06:17:12] 2129*2^582676-1 is not prime. Res64: 6AFE0A2D788A611F Time : 7756.0 sec. user=vaughan [2010-08-17 06:18:19] 2577*2^582676-1 is not prime. Res64: 15E3377DD5CDE04F Time : 7257.0 sec. user=vaughan [2010-08-17 06:20:40] 2483*2^582676-1 is not prime. Res64: 19A8DEBEA91BA8FE Time : 7705.0 sec. user=vaughan [2010-08-17 06:26:28] 2487*2^582676-1 is not prime. Res64: B7C2A68E68315C55 Time : 7847.0 sec. user=vaughan [2010-08-17 06:26:58] 2795*2^582676-1 is not prime. Res64: A233D0DFD93B7C02 Time : 7638.0 sec. user=vaughan [2010-08-17 06:31:33] 2903*2^582676-1 is not prime. Res64: D1BCF660C0E3A008 Time : 7384.0 sec. user=vaughan [2010-08-17 06:31:59] 2885*2^582676-1 is not prime. Res64: A8B6838361DDC43C Time : 7639.0 sec. user=vaughan [2010-08-17 06:38:15] 2101*2^582677-1 is not prime. Res64: CA13C55890DECA85 Time : 7775.0 sec. user=vaughan [2010-08-17 06:39:25] 2121*2^582677-1 is not prime. Res64: F47919639100BADA Time : 7762.0 sec. user=vaughan [2010-08-17 06:42:41] 2227*2^582677-1 is not prime. Res64: 2D5EDB4FB6227516 Time : 7363.0 sec. user=vaughan [2010-08-17 06:43:43] 2205*2^582677-1 is not prime. Res64: 9C936043336AE784 Time : 7715.0 sec. user=vaughan [2010-08-17 06:48:58] 2245*2^582677-1 is not prime. Res64: 9F1D4872442B1C34 Time : 7668.0 sec. user=vaughan [2010-08-17 06:51:13] 2257*2^582677-1 is not prime. Res64: 137FE4D38F2D0E05 Time : 7792.0 sec. user=vaughan [2010-08-17 06:53:35] 2475*2^582677-1 is not prime. Res64: 9B92A0B97F395BBA Time : 7308.0 sec. user=vaughan [2010-08-17 06:55:31] 2449*2^582677-1 is not prime. Res64: 3CF3693F18D6B20B Time : 7754.0 sec. user=vaughan [2010-08-17 07:01:09] 2479*2^582677-1 is not prime. Res64: 6E4E754DE9D8173A Time : 7757.0 sec. user=vaughan [2010-08-17 07:02:13] 2521*2^582677-1 is not prime. Res64: 12AA1518B3E3C29E Time : 7772.0 sec. user=vaughan [2010-08-17 07:05:19] 2889*2^582671-1 is not prime. Res64: 7A41FEBBA2570AD6 Time : 24352.0 sec. user=vaughan [2010-08-17 07:07:26] 2587*2^582677-1 is not prime. Res64: 1FB4A7EC834387F3 Time : 7753.0 sec. user=vaughan [2010-08-17 07:08:29] 2667*2^582677-1 is not prime. Res64: 2E833F2EB5BE7262 Time : 7630.0 sec. user=vaughan [2010-08-17 07:09:57] 2761*2^582677-1 is not prime. Res64: 424E906265648E8B Time : 7437.0 sec. user=vaughan [2010-08-17 07:12:46] 2695*2^582677-1 is not prime. Res64: 1D0613F834924F14 Time : 7737.0 sec. user=vaughan [2010-08-17 07:19:00] 2869*2^582677-1 is not prime. Res64: 1B1340747EB89222 Time : 7767.0 sec. user=vaughan [2010-08-17 07:20:39] 2057*2^582678-1 is not prime. Res64: 71076BB1B5DF609F Time : 7358.0 sec. user=vaughan [2010-08-17 07:21:16] 2877*2^582677-1 is not prime. Res64: BC319E037C6BA8EF Time : 7734.0 sec. user=vaughan [2010-08-17 07:24:03] 2955*2^582677-1 is not prime. Res64: 2179622B5D0BB959 Time : 7712.0 sec. user=vaughan [2010-08-17 07:30:16] 2327*2^582678-1 is not prime. Res64: 78FE5AC9060E459D Time : 7096.0 sec. user=vaughan [2010-08-17 07:31:53] 2103*2^582678-1 is not prime. Res64: 2D1086269AD4CDDF Time : 7846.0 sec. user=vaughan [2010-08-17 07:34:11] 2165*2^582678-1 is not prime. Res64: 2ACE394C6E33AAB1 Time : 7832.0 sec. user=vaughan [2010-08-17 07:36:45] 2207*2^582678-1 is not prime. Res64: 8AB012872CDCF085 Time : 7814.0 sec. user=vaughan [2010-08-17 07:40:31] 2667*2^582678-1 is not prime. Res64: 82CFF6F61D39FE6F Time : 7090.0 sec. user=vaughan [2010-08-17 07:42:15] 2351*2^582678-1 is not prime. Res64: 54D17F83F340AA46 Time : 7764.0 sec. user=vaughan [2010-08-17 07:46:36] 2361*2^582678-1 is not prime. Res64: 88ED68F510287D76 Time : 7985.0 sec. user=vaughan [2010-08-17 07:49:26] 2481*2^582678-1 is not prime. Res64: DCBCE65F05487380 Time : 7893.0 sec. user=vaughan [2010-08-17 07:51:10] 2993*2^582678-1 is not prime. Res64: E4AEEAAF6F86EA39 Time : 6933.0 sec. user=vaughan [2010-08-17 07:54:08] 2681*2^582678-1 is not prime. Res64: 6F07492EAC98CD1B Time : 7746.0 sec. user=vaughan [2010-08-17 07:58:18] 2687*2^582678-1 is not prime. Res64: DD0ADC7EB960597B Time : 7989.0 sec. user=vaughan [2010-08-17 08:01:11] 2805*2^582678-1 is not prime. Res64: F22D13CE8F80E715 Time : 7934.0 sec. user=vaughan [2010-08-17 08:02:31] 2253*2^582679-1 is not prime. Res64: 8015E805DC105745 Time : 6994.0 sec. user=vaughan [2010-08-17 08:05:54] 2113*2^582679-1 is not prime. Res64: ABF0007076E72D71 Time : 7794.0 sec. user=vaughan [2010-08-17 08:09:27] 2185*2^582679-1 is not prime. Res64: D01CB2DC0D264807 Time : 7994.0 sec. user=vaughan [2010-08-17 08:12:59] 2371*2^582679-1 is not prime. Res64: 5D26952E7C6686CE Time : 6947.0 sec. user=vaughan [2010-08-17 08:13:52] 2211*2^582679-1 is not prime. Res64: 0269645739B1E4EF Time : 7933.0 sec. user=vaughan [2010-08-17 08:17:41] 2305*2^582679-1 is not prime. Res64: 6C4F50A0B1E2F440 Time : 7734.0 sec. user=vaughan [2010-08-17 08:21:20] 2295*2^582679-1 is not prime. Res64: C55E43FD5F12044C Time : 8049.0 sec. user=vaughan [2010-08-17 08:24:18] 2563*2^582679-1 is not prime. Res64: FCB8D1071DB08A8B Time : 7040.0 sec. user=vaughan [2010-08-17 08:25:05] 2967*2^582672-1 is not prime. Res64: BD4AA2D1625EF9D0 Time : 24301.0 sec. user=vaughan [2010-08-17 08:26:24] 2361*2^582679-1 is not prime. Res64: 596AB007A312A101 Time : 7952.0 sec. user=vaughan [2010-08-17 08:28:19] 2523*2^582679-1 is not prime. Res64: 9E8D7609C8B91715 Time : 7660.0 sec. user=vaughan [2010-08-17 08:32:50] 2439*2^582679-1 is not prime. Res64: 41DA806182BE2B51 Time : 8072.0 sec. user=vaughan [2010-08-17 08:35:41] 2725*2^582679-1 is not prime. Res64: 115AD6F48D7E3085 Time : 6976.0 sec. user=vaughan [2010-08-17 08:38:10] 2533*2^582679-1 is not prime. Res64: 4B9F0DD0C5993739 Time : 7903.0 sec. user=vaughan [2010-08-17 08:39:49] 2635*2^582679-1 is not prime. Res64: D2EA77001B6FAC3D Time : 7671.0 sec. user=vaughan [2010-08-17 08:44:22] 2599*2^582679-1 is not prime. Res64: A8CBC67C7F8F8D2F Time : 7969.0 sec. user=vaughan [2010-08-17 08:47:25] 2871*2^582679-1 is not prime. Res64: 22297C7BE8774BC9 Time : 6972.0 sec. user=vaughan [2010-08-17 08:50:44] 2809*2^582679-1 is not prime. Res64: ABBC24590935CE92 Time : 7622.0 sec. user=vaughan [2010-08-17 08:51:26] 2703*2^582679-1 is not prime. Res64: D0B76668B93427ED Time : 7992.0 sec. user=vaughan [2010-08-17 08:55:40] 2731*2^582679-1 is not prime. Res64: 89A6CBAE2E77BD62 Time : 7979.0 sec. user=vaughan [2010-08-17 08:58:28] 2991*2^582679-1 is not prime. Res64: C31E882A1AB4EDA6 Time : 6976.0 sec. user=vaughan [2010-08-17 09:03:02] 2929*2^582679-1 is not prime. Res64: 3D3661C045B5E2D9 Time : 7652.0 sec. user=vaughan [2010-08-17 09:03:36] 2863*2^582679-1 is not prime. Res64: 834A3DDEA55B0232 Time : 8078.0 sec. user=vaughan [2010-08-17 09:06:56] 2899*2^582679-1 is not prime. Res64: 5924B6AE251B9FD3 Time : 8002.0 sec. user=vaughan [2010-08-17 09:09:10] 2283*2^582680-1 is not prime. Res64: 4F492FFD114F2F53 Time : 7153.0 sec. user=vaughan [2010-08-17 09:14:43] 2063*2^582680-1 is not prime. Res64: 6CF7375F8D1618C1 Time : 7637.0 sec. user=vaughan [2010-08-17 09:15:57] 2953*2^582679-1 is not prime. Res64: 9328B590EE862C4C Time : 8089.0 sec. user=vaughan [2010-08-17 09:18:01] 2217*2^582680-1 is not prime. Res64: ABB99BFA5B98157D Time : 7772.0 sec. user=vaughan [2010-08-17 09:20:12] 2505*2^582680-1 is not prime. Res64: E2D2A77F7A5B4A61 Time : 7173.0 sec. user=vaughan [2010-08-17 09:26:41] 2469*2^582680-1 is not prime. Res64: 62518B72E62F6CB6 Time : 7661.0 sec. user=vaughan [2010-08-17 09:28:08] 2393*2^582680-1 is not prime. Res64: C38CB8502EE4ED4E Time : 8123.0 sec. user=vaughan [2010-08-17 09:30:00] 2595*2^582680-1 is not prime. Res64: CF351105B830A43D Time : 7185.0 sec. user=vaughan [2010-08-17 09:31:02] 2547*2^582680-1 is not prime. Res64: 7B132B2F19DA1EAE Time : 7786.0 sec. user=vaughan [2010-08-17 09:37:47] 2709*2^582680-1 is not prime. Res64: 8915D30674F44B81 Time : 7554.0 sec. user=vaughan [2010-08-17 09:39:15] 2579*2^582680-1 is not prime. Res64: 9C17F7D41A0F03C1 Time : 8112.0 sec. user=vaughan [2010-08-17 09:40:59] 2783*2^582680-1 is not prime. Res64: 05B1FCDAABE5977A Time : 7228.0 sec. user=vaughan [2010-08-17 09:44:13] 2717*2^582680-1 is not prime. Res64: 0447A10F21B3A0F7 Time : 7802.0 sec. user=vaughan [2010-08-17 09:44:46] 2625*2^582674-1 is not prime. Res64: 032FC2B8C40A88D7 Time : 24266.0 sec. user=vaughan [2010-08-17 09:48:17] 2897*2^582680-1 is not prime. Res64: 4567E26A744D079C Time : 7562.0 sec. user=vaughan [2010-08-17 09:50:47] 2265*2^582681-1 is not prime. Res64: 8458BC8EE6715322 Time : 7178.0 sec. user=vaughan [2010-08-17 09:53:08] 2769*2^582680-1 is not prime. Res64: 3DA77E46B990C174 Time : 8183.0 sec. user=vaughan [2010-08-17 09:56:54] 2067*2^582681-1 is not prime. Res64: 312667F6B71948BE Time : 7818.0 sec. user=vaughan [2010-08-17 09:59:27] 2307*2^582681-1 is not prime. Res64: DBD087B37DA8A69D Time : 7519.0 sec. user=vaughan [2010-08-17 10:03:24] 2449*2^582681-1 is not prime. Res64: EBD45D1CD01BEB5A Time : 7253.0 sec. user=vaughan [2010-08-17 10:04:18] 2191*2^582681-1 is not prime. Res64: 68963E52C969CC90 Time : 8092.0 sec. user=vaughan [2010-08-17 10:08:58] 2329*2^582681-1 is not prime. Res64: F66D757C71450D22 Time : 7840.0 sec. user=vaughan [2010-08-17 10:10:05] 2469*2^582681-1 is not prime. Res64: 4BC44E8AE5791FD2 Time : 7452.0 sec. user=vaughan [2010-08-17 10:13:39] 2557*2^582681-1 is not prime. Res64: 6AE145D22706A313 Time : 7240.0 sec. user=vaughan [2010-08-17 10:16:29] 2385*2^582681-1 is not prime. Res64: AECA2BA0B084FBF4 Time : 8118.0 sec. user=vaughan [2010-08-17 10:21:24] 2529*2^582681-1 is not prime. Res64: 3B37FFCF148400A2 Time : 7917.0 sec. user=vaughan [2010-08-17 10:21:33] 2709*2^582681-1 is not prime. Res64: C4C0059C7A1B8E17 Time : 7433.0 sec. user=vaughan [2010-08-17 10:24:21] 2925*2^582681-1 is not prime. Res64: CD6F530C51DF847B Time : 7203.0 sec. user=vaughan [2010-08-17 10:28:34] 2617*2^582681-1 is not prime. Res64: 8D4654A7FED0E42E Time : 8082.0 sec. user=vaughan [2010-08-17 10:32:13] 2875*2^582681-1 is not prime. Res64: 10CC20ED5CDBC4E0 Time : 7854.0 sec. user=vaughan [2010-08-17 10:32:25] 2187*2^582682-1 is not prime. Res64: BF1D8F44103B5673 Time : 7447.0 sec. user=vaughan [2010-08-17 10:36:35] 2417*2^582682-1 is not prime. Res64: 88D73795A067FE7C Time : 7255.0 sec. user=vaughan [2010-08-17 10:40:30] 2133*2^582682-1 is not prime. Res64: BC9801A177E1EB49 Time : 8047.0 sec. user=vaughan [2010-08-17 10:44:06] 2241*2^582682-1 is not prime. Res64: F2356CA5C15331AF Time : 7876.0 sec. user=vaughan [2010-08-17 10:46:08] 2463*2^582682-1 is not prime. Res64: 4BAF3D42B0498244 Time : 7579.0 sec. user=vaughan [2010-08-17 10:46:18] 2483*2^582682-1 is not prime. Res64: 2752447608DF74A4 Time : 7133.0 sec. user=vaughan [2010-08-17 10:50:41] 2451*2^582682-1 is not prime. Res64: F66554F391D6990A Time : 7951.0 sec. user=vaughan [2010-08-17 10:57:26] 2673*2^582682-1 is not prime. Res64: B9036FFDD1E40694 Time : 7138.0 sec. user=vaughan [2010-08-17 10:57:33] 2465*2^582682-1 is not prime. Res64: 0B52043414008ECF Time : 7991.0 sec. user=vaughan [2010-08-17 10:57:34] 2507*2^582682-1 is not prime. Res64: 7C691A343A97E4D1 Time : 7610.0 sec. user=vaughan [2010-08-17 11:01:59] 2535*2^582682-1 is not prime. Res64: F385FD7D0E6F35A8 Time : 7833.0 sec. user=vaughan [2010-08-17 11:04:30] 2805*2^582676-1 is not prime. Res64: 7A8966CCE768F44E Time : 24204.0 sec. user=vaughan [2010-08-17 11:08:10] 2681*2^582682-1 is not prime. Res64: D63C990C93ABC8FB Time : 7509.0 sec. user=vaughan [2010-08-17 11:08:55] 2543*2^582682-1 is not prime. Res64: 49C5667F48E147FD Time : 7996.0 sec. user=vaughan [2010-08-17 11:10:27] 2813*2^582682-1 is not prime. Res64: B43D068F80B0C701 Time : 7277.0 sec. user=vaughan [2010-08-17 11:14:34] 2717*2^582682-1 is not prime. Res64: B32DFC667987A2BE Time : 7858.0 sec. user=vaughan [2010-08-17 11:19:17] 2843*2^582682-1 is not prime. Res64: F79CFDDC75922897 Time : 7474.0 sec. user=vaughan [2010-08-17 11:21:17] 2745*2^582682-1 is not prime. Res64: D1B275375676E2E6 Time : 8061.0 sec. user=vaughan [2010-08-17 11:21:36] 2155*2^582683-1 is not prime. Res64: 9EB558AA6F35949D Time : 7285.0 sec. user=vaughan [2010-08-17 11:25:56] 2079*2^582683-1 is not prime. Res64: 27D238FB08899165 Time : 7799.0 sec. user=vaughan [2010-08-17 11:31:02] 2253*2^582683-1 is not prime. Res64: 71F216EFFBA726D9 Time : 7461.0 sec. user=vaughan [2010-08-17 11:32:32] 2325*2^582683-1 is not prime. Res64: 0AF02E33B88FBB9D Time : 7352.0 sec. user=vaughan [2010-08-17 11:33:38] 2113*2^582683-1 is not prime. Res64: 173B61EF57DC3574 Time : 8137.0 sec. user=vaughan [2010-08-17 11:37:25] 2275*2^582683-1 is not prime. Res64: BE7BD5088562FA3C Time : 7758.0 sec. user=vaughan [2010-08-17 11:43:21] 2653*2^582683-1 is not prime. Res64: C40EF938EDA23CF3 Time : 7343.0 sec. user=vaughan [2010-08-17 11:43:50] 2419*2^582683-1 is not prime. Res64: 57BE4FEE8FAB1593 Time : 7563.0 sec. user=vaughan [2010-08-17 11:46:11] 2341*2^582683-1 is not prime. Res64: 92DD967DA9777B77 Time : 8109.0 sec. user=vaughan [2010-08-17 11:48:32] 2481*2^582683-1 is not prime. Res64: 0D82F4BF4997DB3B Time : 7758.0 sec. user=vaughan [2010-08-17 11:54:02] 2709*2^582683-1 is not prime. Res64: B8DD0122126A7C93 Time : 7545.0 sec. user=vaughan [2010-08-17 11:55:47] 2715*2^582683-1 is not prime. Res64: E95C57D3DCB70224 Time : 7500.0 sec. user=vaughan [2010-08-17 11:57:25] 2671*2^582683-1 is not prime. Res64: 5F10D957330151E5 Time : 7992.0 sec. user=vaughan [2010-08-17 12:01:11] 2971*2^582683-1 is not prime. Res64: B837D6CEFBE566AA Time : 7684.0 sec. user=vaughan [2010-08-17 12:05:41] 2093*2^582684-1 is not prime. Res64: AB00BCD186DF65C6 Time : 7575.0 sec. user=vaughan [2010-08-17 12:06:44] 2145*2^582684-1 is not prime. Res64: 8E87C46E0A04B8C6 Time : 7400.0 sec. user=vaughan [2010-08-17 12:10:11] 2043*2^582684-1 is not prime. Res64: AD9786C943C63388 Time : 7997.0 sec. user=vaughan [2010-08-17 12:12:41] 2183*2^582684-1 is not prime. Res64: FBAFC46F773BCA1B Time : 7703.0 sec. user=vaughan [2010-08-17 12:17:34] 2219*2^582684-1 is not prime. Res64: 8085A95AB10F850F Time : 7650.0 sec. user=vaughan [2010-08-17 12:17:57] 2229*2^582684-1 is not prime. Res64: 6207CCD399460BC4 Time : 7458.0 sec. user=vaughan [2010-08-17 12:21:56] 2189*2^582684-1 is not prime. Res64: 95D8D8B906E2A2FB Time : 7978.0 sec. user=vaughan [2010-08-17 12:23:56] 2247*2^582684-1 is not prime. Res64: 1C135916E8EDADFC Time : 7647.0 sec. user=vaughan [2010-08-17 12:24:17] 2531*2^582678-1 is not prime. Res64: E2F430AE82308DFB Time : 24157.0 sec. user=vaughan [2010-08-17 12:28:31] 2387*2^582684-1 is not prime. Res64: E4CBB4F0CDCA96E9 Time : 7619.0 sec. user=vaughan [2010-08-17 12:29:40] 2399*2^582684-1 is not prime. Res64: 779AA2C83B469BDA Time : 7520.0 sec. user=vaughan [2010-08-17 12:33:38] 2343*2^582684-1 is not prime. Res64: 5C163460AE0AD535 Time : 7935.0 sec. user=vaughan [2010-08-17 12:35:57] 2415*2^582684-1 is not prime. Res64: 63FADAD31C68D04B Time : 7643.0 sec. user=vaughan [2010-08-17 12:40:15] 2475*2^582684-1 is not prime. Res64: 7557005816C857CC Time : 7670.0 sec. user=vaughan [2010-08-17 12:40:41] 2537*2^582684-1 is not prime. Res64: 5E8A5625350227A7 Time : 7446.0 sec. user=vaughan [2010-08-17 12:45:42] 2439*2^582684-1 is not prime. Res64: 9580C56266269FD5 Time : 8009.0 sec. user=vaughan [2010-08-17 12:48:49] 2739*2^582684-1 is not prime. Res64: FE337667222C5829 Time : 7699.0 sec. user=vaughan [2010-08-17 12:51:30] 2091*2^582685-1 is not prime. Res64: D8008E98979E75C4 Time : 7523.0 sec. user=vaughan [2010-08-17 12:52:16] 2131*2^582685-1 is not prime. Res64: 236AFED676EBEB0C Time : 7558.0 sec. user=vaughan [2010-08-17 12:56:28] 2903*2^582684-1 is not prime. Res64: 9FAE3B2D942C624C Time : 7942.0 sec. user=vaughan [2010-08-17 13:00:30] 2179*2^582685-1 is not prime. Res64: FA5CFF81DAE5C8CF Time : 7789.0 sec. user=vaughan [2010-08-17 13:02:18] 2187*2^582685-1 is not prime. Res64: 662FFD34FF351E7D Time : 7492.0 sec. user=vaughan [2010-08-17 13:03:32] 2239*2^582685-1 is not prime. Res64: EF0D5A55E01C3948 Time : 7559.0 sec. user=vaughan [2010-08-17 13:09:04] 2227*2^582685-1 is not prime. Res64: BE16AA6D9A7BD59D Time : 7891.0 sec. user=vaughan [2010-08-17 13:12:21] 2245*2^582685-1 is not prime. Res64: 19DD94283065B43E Time : 7822.0 sec. user=vaughan [2010-08-17 13:13:14] 2437*2^582685-1 is not prime. Res64: 4474D003643F5428 Time : 7367.0 sec. user=vaughan [2010-08-17 13:14:16] 2379*2^582685-1 is not prime. Res64: 5BCF495E71A7845A Time : 7567.0 sec. user=vaughan [2010-08-17 13:20:40] 2427*2^582685-1 is not prime. Res64: D1BC1FF5B24FC4A4 Time : 7905.0 sec. user=vaughan [2010-08-17 13:24:54] 2449*2^582685-1 is not prime. Res64: 76718941062384F2 Time : 7820.0 sec. user=vaughan [2010-08-17 13:25:11] 2487*2^582685-1 is not prime. Res64: 2497218370AE0369 Time : 7554.0 sec. user=vaughan [2010-08-17 13:25:53] 2527*2^582685-1 is not prime. Res64: D78AD83830814EBA Time : 7457.0 sec. user=vaughan [2010-08-17 13:32:33] 2509*2^582685-1 is not prime. Res64: 6B077DE5E1F52D18 Time : 7876.0 sec. user=vaughan [2010-08-17 13:35:37] 2577*2^582685-1 is not prime. Res64: FC70632B3A8DCB59 Time : 7782.0 sec. user=vaughan [2010-08-17 13:36:12] 2631*2^582685-1 is not prime. Res64: 5A4DD51D89D3C017 Time : 7510.0 sec. user=vaughan [2010-08-17 13:39:28] 2691*2^582685-1 is not prime. Res64: 5C92933B52C74DE3 Time : 7616.0 sec. user=vaughan [2010-08-17 13:44:02] 2043*2^582680-1 is not prime. Res64: FD2252DE1E3E2982 Time : 23924.0 sec. user=vaughan [2010-08-17 13:45:02] 2697*2^582685-1 is not prime. Res64: FF2116E7EB300D88 Time : 7885.0 sec. user=vaughan [2010-08-17 13:45:48] 2721*2^582685-1 is not prime. Res64: 3D1A523F2359B5CF Time : 7703.0 sec. user=vaughan [2010-08-17 13:47:10] 2805*2^582685-1 is not prime. Res64: 4BB536212F97DF9C Time : 7400.0 sec. user=vaughan [2010-08-17 13:52:27] 2739*2^582685-1 is not prime. Res64: 99E0F7B35773ACDE Time : 7747.0 sec. user=vaughan [2010-08-17 13:55:01] 2845*2^582685-1 is not prime. Res64: 9F066A3D56C1780A Time : 7731.0 sec. user=vaughan [2010-08-17 13:57:27] 2889*2^582685-1 is not prime. Res64: D5702D36178CF3EC Time : 7736.0 sec. user=vaughan [2010-08-17 13:57:58] 2087*2^582686-1 is not prime. Res64: 8C6B509DEAB53E07 Time : 7436.0 sec. user=vaughan [2010-08-17 14:04:35] 2187*2^582686-1 is not prime. Res64: 546F498F5E9F5B47 Time : 7728.0 sec. user=vaughan [2010-08-17 14:07:10] 2195*2^582686-1 is not prime. Res64: 22B455D244FC3630 Time : 7785.0 sec. user=vaughan [2010-08-17 14:09:34] 2247*2^582686-1 is not prime. Res64: D54348D38E0D9363 Time : 7703.0 sec. user=vaughan [2010-08-17 14:10:01] 2351*2^582686-1 is not prime. Res64: 4DD4055BE8059C09 Time : 7460.0 sec. user=vaughan [2010-08-17 14:19:08] 2391*2^582686-1 is not prime. Res64: 42CBDD69F1A3AFE6 Time : 7944.0 sec. user=vaughan [2010-08-17 14:19:12] 2421*2^582686-1 is not prime. Res64: F384859AC957B217 Time : 7741.0 sec. user=vaughan [2010-08-17 14:19:57] 2553*2^582686-1 is not prime. Res64: 8EA5E80CDFB3AB87 Time : 7343.0 sec. user=vaughan [2010-08-17 14:19:58] 2475*2^582686-1 is not prime. Res64: 7E6F3E26C97745FC Time : 7637.0 sec. user=vaughan [2010-08-17 14:30:41] 2771*2^582686-1 is not prime. Res64: 0A238790F304FE48 Time : 7330.0 sec. user=vaughan [2010-08-17 14:30:41] 2681*2^582686-1 is not prime. Res64: 23B4CDEAF37F06CF Time : 7725.0 sec. user=vaughan [2010-08-17 14:31:23] 2685*2^582686-1 is not prime. Res64: D006117F1E3104F7 Time : 7647.0 sec. user=vaughan [2010-08-17 14:32:02] 2577*2^582686-1 is not prime. Res64: 721CB2C78112E2B9 Time : 8046.0 sec. user=vaughan [2010-08-17 14:41:42] 2855*2^582686-1 is not prime. Res64: 0A4FBF5CB9F6FE1C Time : 7684.0 sec. user=vaughan [2010-08-17 14:41:46] 2913*2^582686-1 is not prime. Res64: C27BFFEF2DEBC094 Time : 7291.0 sec. user=vaughan [2010-08-17 14:41:51] 2871*2^582686-1 is not prime. Res64: 5EBA345F61EDB154 Time : 7555.0 sec. user=vaughan [2010-08-17 14:46:35] 2811*2^582686-1 is not prime. Res64: 549B47A92A91A765 Time : 8215.0 sec. user=vaughan [2010-08-17 14:52:11] 2993*2^582686-1 is not prime. Res64: 77E8947394B58EEE Time : 7589.0 sec. user=vaughan [2010-08-17 14:52:42] 2349*2^582687-1 is not prime. Res64: 58C11BA718DEE04A Time : 7272.0 sec. user=vaughan [2010-08-17 14:52:45] 2211*2^582687-1 is not prime. Res64: 042E4F68E60624F8 Time : 7436.0 sec. user=vaughan [2010-08-17 15:01:19] 2957*2^582686-1 is not prime. Res64: DA36855959DAEAFF Time : 8439.0 sec. user=vaughan [2010-08-17 15:02:49] 2445*2^582687-1 is not prime. Res64: 04CBCE7DC2868A1B Time : 7581.0 sec. user=vaughan [2010-08-17 15:03:48] 2037*2^582682-1 is not prime. Res64: 74A4748A8E43D326 Time : 23923.0 sec. user=vaughan [2010-08-17 15:03:57] 2781*2^582687-1 is not prime. Res64: 10C4BB11654922A2 Time : 7226.0 sec. user=vaughan [2010-08-17 15:04:48] 2481*2^582687-1 is not prime. Res64: 51ABE3D16D0A2007 Time : 7458.0 sec. user=vaughan [2010-08-17 15:13:40] 2931*2^582687-1 is not prime. Res64: 6E5FAE03ED41863C Time : 7476.0 sec. user=vaughan [2010-08-17 15:14:10] 2421*2^582687-1 is not prime. Res64: D9331B5E665E8312 Time : 8514.0 sec. user=vaughan [2010-08-17 15:15:11] 2073*2^582688-1 is not prime. Res64: 5DD9ED0BD3E7F208 Time : 7255.0 sec. user=vaughan [2010-08-17 15:16:59] 2979*2^582687-1 is not prime. Res64: AB2B01BF46122072 Time : 7478.0 sec. user=vaughan [2010-08-17 15:24:02] 2485*2^582687-1 is not prime. Res64: 90855301958BB053 Time : 8505.0 sec. user=vaughan [2010-08-17 15:25:20] 2103*2^582688-1 is not prime. Res64: B99B84DDDAA6CAD1 Time : 7480.0 sec. user=vaughan [2010-08-17 15:27:08] 2393*2^582688-1 is not prime. Res64: BD07EE9C752D0282 Time : 7317.0 sec. user=vaughan [2010-08-17 15:30:24] 2117*2^582688-1 is not prime. Res64: 37ACA2296C717A4B Time : 7531.0 sec. user=vaughan [2010-08-17 15:34:44] 2043*2^582688-1 is not prime. Res64: 4E0AA254071F4B31 Time : 8491.0 sec. user=vaughan [2010-08-17 15:36:59] 2465*2^582688-1 is not prime. Res64: FCFE5E75C0FA080A Time : 7466.0 sec. user=vaughan [2010-08-17 15:38:28] 2595*2^582688-1 is not prime. Res64: D76125478A649C6B Time : 7336.0 sec. user=vaughan [2010-08-17 15:42:39] 2525*2^582688-1 is not prime. Res64: 8D9AF289CEA52280 Time : 7623.0 sec. user=vaughan [2010-08-17 15:45:15] 2399*2^582688-1 is not prime. Res64: EDDF888164B8D8B4 Time : 8362.0 sec. user=vaughan [2010-08-17 15:47:56] 2943*2^582688-1 is not prime. Res64: 8F4716829D0DEB87 Time : 7374.0 sec. user=vaughan [2010-08-17 15:51:02] 2127*2^582689-1 is not prime. Res64: 07EE7F1AD050D607 Time : 7432.0 sec. user=vaughan [2010-08-17 15:55:11] 2975*2^582688-1 is not prime. Res64: 06DA85BDB0DF1BF1 Time : 7763.0 sec. user=vaughan [2010-08-17 15:55:36] 2915*2^582688-1 is not prime. Res64: D0AC6349306A1A8D Time : 8168.0 sec. user=vaughan [2010-08-17 15:59:41] 2197*2^582689-1 is not prime. Res64: D5EE27B177EF6CB3 Time : 7480.0 sec. user=vaughan [2010-08-17 16:02:03] 2371*2^582689-1 is not prime. Res64: 79D1C26616AF9FA6 Time : 7445.0 sec. user=vaughan [2010-08-17 16:06:39] 2329*2^582689-1 is not prime. Res64: 1622CD223709BD08 Time : 7753.0 sec. user=vaughan [2010-08-17 16:09:58] 2131*2^582689-1 is not prime. Res64: AEC9DBFCCB16A79F Time : 8251.0 sec. user=vaughan [2010-08-17 16:11:42] 2511*2^582689-1 is not prime. Res64: 112625E9E31E7931 Time : 7473.0 sec. user=vaughan [2010-08-17 16:12:25] 2709*2^582689-1 is not prime. Res64: 6F04C3A055784B00 Time : 7344.0 sec. user=vaughan [2010-08-17 16:18:05] 2691*2^582689-1 is not prime. Res64: 314BF8985489A5E1 Time : 7711.0 sec. user=vaughan [2010-08-17 16:21:49] 2751*2^582689-1 is not prime. Res64: 9AD6200A702567DE Time : 7357.0 sec. user=vaughan [2010-08-17 16:22:12] 2497*2^582689-1 is not prime. Res64: C99100AE2BCE120D Time : 8257.0 sec. user=vaughan [2010-08-17 16:23:36] 2685*2^582683-1 is not prime. Res64: 564DE677F210457E Time : 23931.0 sec. user=vaughan [2010-08-17 16:23:42] 2805*2^582689-1 is not prime. Res64: 95B59A122D3418A0 Time : 7426.0 sec. user=vaughan [2010-08-17 16:29:57] 2869*2^582689-1 is not prime. Res64: FB6934A980EC0C43 Time : 7799.0 sec. user=vaughan [2010-08-17 16:33:02] 2727*2^582689-1 is not prime. Res64: ADBFB33044BA0638 Time : 8034.0 sec. user=vaughan [2010-08-17 16:34:12] 2919*2^582689-1 is not prime. Res64: F9D29264ABB6C55D Time : 7411.0 sec. user=vaughan [2010-08-17 16:34:56] 2889*2^582689-1 is not prime. Res64: 6D219E3468B758CF Time : 7455.0 sec. user=vaughan [2010-08-17 16:42:03] 2007*2^582690-1 is not prime. Res64: C010E0A80B1D0A0E Time : 7840.0 sec. user=vaughan [2010-08-17 16:43:06] 2145*2^582690-1 is not prime. Res64: EE08EE52C5F71619 Time : 7864.0 sec. user=vaughan [2010-08-17 16:46:49] 2147*2^582690-1 is not prime. Res64: 8E04E5E9CB5317BC Time : 7508.0 sec. user=vaughan [2010-08-17 16:46:52] 2193*2^582690-1 is not prime. Res64: 5EF1D53B1CD178C5 Time : 7506.0 sec. user=vaughan [2010-08-17 16:53:39] 2243*2^582690-1 is not prime. Res64: 10982D92CD1B987A Time : 7624.0 sec. user=vaughan [2010-08-17 16:54:46] 2231*2^582690-1 is not prime. Res64: E1E56A353B948514 Time : 7975.0 sec. user=vaughan [2010-08-17 16:58:09] 2271*2^582690-1 is not prime. Res64: 5E8B5A051AAE8AC1 Time : 7559.0 sec. user=vaughan [2010-08-17 17:00:18] 2403*2^582690-1 is not prime. Res64: FAE563696A5828B9 Time : 7657.0 sec. user=vaughan [2010-08-17 17:04:44] 2513*2^582690-1 is not prime. Res64: 225792E812BE7A28 Time : 7405.0 sec. user=vaughan [2010-08-17 17:05:39] 2471*2^582690-1 is not prime. Res64: 59348E585E863B5C Time : 7974.0 sec. user=vaughan [2010-08-17 17:09:14] 2711*2^582690-1 is not prime. Res64: 885A5C31D631A946 Time : 7586.0 sec. user=vaughan [2010-08-17 17:13:36] 2967*2^582690-1 is not prime. Res64: DB618CA3DF8D7F31 Time : 7166.0 sec. user=vaughan [2010-08-17 17:13:37] 2757*2^582690-1 is not prime. Res64: 8AB6B03BC55DD8DE Time : 7781.0 sec. user=vaughan [2010-08-17 17:17:36] 2847*2^582690-1 is not prime. Res64: 19696B2193819146 Time : 7968.0 sec. user=vaughan [2010-08-17 17:21:18] 2921*2^582690-1 is not prime. Res64: 2D331B844AFFCC8F Time : 7658.0 sec. user=vaughan [2010-08-17 17:24:50] 2071*2^582691-1 is not prime. Res64: 0D1DD6539ADA4B97 Time : 7780.0 sec. user=vaughan [2010-08-17 17:26:23] 2131*2^582691-1 is not prime. Res64: FE0FF20132AF0396 Time : 7341.0 sec. user=vaughan [2010-08-17 17:28:53] 2079*2^582691-1 is not prime. Res64: C943904518C6021C Time : 7914.0 sec. user=vaughan [2010-08-17 17:34:02] 2145*2^582691-1 is not prime. Res64: 83A7D7017F1CA7B1 Time : 7722.0 sec. user=vaughan [2010-08-17 17:35:43] 2353*2^582691-1 is not prime. Res64: 0BC41C943FCF68A4 Time : 7260.0 sec. user=vaughan [2010-08-17 17:36:29] 2311*2^582691-1 is not prime. Res64: E16AD7FF4CFF5B64 Time : 7761.0 sec. user=vaughan [2010-08-17 17:41:24] 2323*2^582691-1 is not prime. Res64: 5A0B46947971389A Time : 7860.0 sec. user=vaughan [2010-08-17 17:43:20] 2271*2^582685-1 is not prime. Res64: 38093D943478470A Time : 23930.0 sec. user=vaughan [2010-08-17 17:45:00] 2379*2^582691-1 is not prime. Res64: 1852EF7D30C58DDC Time : 7682.0 sec. user=vaughan [2010-08-17 17:46:42] 2623*2^582691-1 is not prime. Res64: 2D81EA5A252C33C1 Time : 7287.0 sec. user=vaughan [2010-08-17 17:47:54] 2383*2^582691-1 is not prime. Res64: A71723A272AF5081 Time : 7767.0 sec. user=vaughan [2010-08-17 17:52:53] 2523*2^582691-1 is not prime. Res64: 090FEEAFAECAFD08 Time : 7815.0 sec. user=vaughan [2010-08-17 17:57:07] 2823*2^582691-1 is not prime. Res64: 5D80F73F211D46EB Time : 7292.0 sec. user=vaughan [2010-08-17 17:58:29] 2725*2^582691-1 is not prime. Res64: 1599E9C7A58B7D4B Time : 7647.0 sec. user=vaughan [2010-08-17 17:59:03] 2655*2^582691-1 is not prime. Res64: 6562C2D813D7A6C8 Time : 7867.0 sec. user=vaughan [2010-08-17 18:04:26] 2793*2^582691-1 is not prime. Res64: 823E67B3D77194C7 Time : 7755.0 sec. user=vaughan [2010-08-17 18:08:03] 2237*2^582692-1 is not prime. Res64: 50DC2CCAE37A83E9 Time : 7085.0 sec. user=vaughan [2010-08-17 18:09:38] 2925*2^582691-1 is not prime. Res64: CBD772DCB8411203 Time : 7655.0 sec. user=vaughan [2010-08-17 18:11:22] 2883*2^582691-1 is not prime. Res64: A6143F35E59B23CE Time : 7901.0 sec. user=vaughan [2010-08-17 18:18:09] 2475*2^582692-1 is not prime. Res64: C021AA53817F985E Time : 6958.0 sec. user=vaughan [2010-08-17 18:18:12] 2217*2^582692-1 is not prime. Res64: 245D8F1863B80BB9 Time : 7893.0 sec. user=vaughan [2010-08-17 18:20:53] 2327*2^582692-1 is not prime. Res64: E0BCE0237E77F37D Time : 7708.0 sec. user=vaughan [2010-08-17 18:23:20] 2285*2^582692-1 is not prime. Res64: 375E7BA6059F6927 Time : 7899.0 sec. user=vaughan [2010-08-17 18:29:15] 2649*2^582692-1 is not prime. Res64: F7B656C9D56D37B1 Time : 6973.0 sec. user=vaughan [2010-08-17 18:30:56] 2553*2^582692-1 is not prime. Res64: 63A84CEB2445E718 Time : 7634.0 sec. user=vaughan [2010-08-17 18:31:14] 2349*2^582692-1 is not prime. Res64: E257D2F63AEABC5E Time : 7989.0 sec. user=vaughan [2010-08-17 18:35:54] 2453*2^582692-1 is not prime. Res64: 451956E7AA87D98A Time : 8045.0 sec. user=vaughan [2010-08-17 18:40:43] 2835*2^582692-1 is not prime. Res64: C33824FB6E6B824C Time : 7057.0 sec. user=vaughan [2010-08-17 18:42:22] 2573*2^582692-1 is not prime. Res64: 07B2051FE0C08193 Time : 7945.0 sec. user=vaughan [2010-08-17 18:43:08] 2813*2^582692-1 is not prime. Res64: E5A56FB846DD53CE Time : 7692.0 sec. user=vaughan [2010-08-17 18:46:26] 2793*2^582692-1 is not prime. Res64: 6033D5010E89748B Time : 7935.0 sec. user=vaughan [2010-08-17 18:51:48] 2909*2^582692-1 is not prime. Res64: 543E593A882784AB Time : 7089.0 sec. user=vaughan [2010-08-17 18:53:47] 2897*2^582692-1 is not prime. Res64: 8AD2B646F56CCA0B Time : 7615.0 sec. user=vaughan [2010-08-17 18:54:04] 2825*2^582692-1 is not prime. Res64: 98917406E77D47B1 Time : 7921.0 sec. user=vaughan [2010-08-17 18:58:13] 2883*2^582692-1 is not prime. Res64: 14DFA86074A62F34 Time : 7885.0 sec. user=vaughan [2010-08-17 19:03:28] 2765*2^582686-1 is not prime. Res64: 92D051B24B9E194D Time : 23952.0 sec. user=vaughan [2010-08-17 19:04:15] 2001*2^582693-1 is not prime. Res64: E3E0E3DC5D5EE82C Time : 7438.0 sec. user=vaughan [2010-08-17 19:04:35] 2005*2^582693-1 is not prime. Res64: F8166DEFFA4C1D11 Time : 7191.0 sec. user=vaughan [2010-08-17 19:07:21] 2933*2^582692-1 is not prime. Res64: 67A56F4087B006C5 Time : 7955.0 sec. user=vaughan [2010-08-17 19:10:14] 2987*2^582692-1 is not prime. Res64: 0769A613395EFEAE Time : 7926.0 sec. user=vaughan [2010-08-17 19:16:00] 2131*2^582693-1 is not prime. Res64: 8BEE393CDBBEBB22 Time : 7344.0 sec. user=vaughan [2010-08-17 19:17:41] 2035*2^582693-1 is not prime. Res64: 3CDF57F5A1069861 Time : 7922.0 sec. user=vaughan [2010-08-17 19:19:46] 2077*2^582693-1 is not prime. Res64: 932321A0A3A737A3 Time : 7832.0 sec. user=vaughan [2010-08-17 19:20:23] 2107*2^582693-1 is not prime. Res64: E343E6F42DD73CDF Time : 7607.0 sec. user=vaughan [2010-08-17 19:26:50] 2341*2^582693-1 is not prime. Res64: 447FCCA23941AEDC Time : 7321.0 sec. user=vaughan [2010-08-17 19:29:49] 2149*2^582693-1 is not prime. Res64: 4AB2B7C6E4D4D6E6 Time : 7934.0 sec. user=vaughan [2010-08-17 19:30:57] 2245*2^582693-1 is not prime. Res64: CA6AC48A667F1C7C Time : 7779.0 sec. user=vaughan [2010-08-17 19:31:30] 2379*2^582693-1 is not prime. Res64: 36080B1A2F09A29E Time : 7508.0 sec. user=vaughan [2010-08-17 19:38:11] 2481*2^582693-1 is not prime. Res64: 02530BB4ADFE70E3 Time : 7302.0 sec. user=vaughan [2010-08-17 19:40:32] 2425*2^582693-1 is not prime. Res64: 0829F9366918F2B4 Time : 7899.0 sec. user=vaughan [2010-08-17 19:42:20] 2455*2^582693-1 is not prime. Res64: 2BAD0815D08682B6 Time : 7699.0 sec. user=vaughan [2010-08-17 19:43:21] 2457*2^582693-1 is not prime. Res64: B1B199B01E725F23 Time : 7659.0 sec. user=vaughan [2010-08-17 19:51:46] 2697*2^582693-1 is not prime. Res64: 9C52F364D2D0CC92 Time : 7433.0 sec. user=vaughan [2010-08-17 19:52:36] 2599*2^582693-1 is not prime. Res64: 4B9F6E5DAEC688EA Time : 7657.0 sec. user=vaughan [2010-08-17 19:52:38] 2509*2^582693-1 is not prime. Res64: 5D50BDDF6FAC1AA8 Time : 7875.0 sec. user=vaughan [2010-08-17 19:55:41] 2631*2^582693-1 is not prime. Res64: 4F89AF774176FEBB Time : 7740.0 sec. user=vaughan [2010-08-17 20:03:13] 2859*2^582693-1 is not prime. Res64: 772B092F2388DD9E Time : 7820.0 sec. user=vaughan [2010-08-17 20:03:24] 2207*2^582694-1 is not prime. Res64: 85C8CF1E56B8E6A7 Time : 7462.0 sec. user=vaughan [2010-08-17 20:03:44] 2925*2^582693-1 is not prime. Res64: 4ADD61493B521157 Time : 7515.0 sec. user=vaughan [2010-08-17 20:12:19] 2901*2^582693-1 is not prime. Res64: 46B53A254F7F151A Time : 8112.0 sec. user=vaughan [2010-08-17 20:13:01] 2273*2^582694-1 is not prime. Res64: 7C0C6F010307CE5A Time : 7403.0 sec. user=vaughan [2010-08-17 20:13:29] 2211*2^582694-1 is not prime. Res64: B52059B9B476440E Time : 7744.0 sec. user=vaughan [2010-08-17 20:14:56] 2301*2^582694-1 is not prime. Res64: 6CFB8A1A26757C50 Time : 7414.0 sec. user=vaughan [2010-08-17 20:23:10] 2933*2^582688-1 is not prime. Res64: D9C184FDB80AD079 Time : 23949.0 sec. user=vaughan [2010-08-17 20:24:04] 2423*2^582694-1 is not prime. Res64: 43E3970BAA5B7343 Time : 7552.0 sec. user=vaughan [2010-08-17 20:24:07] 2457*2^582694-1 is not prime. Res64: 3F515DF303D3C7EF Time : 7395.0 sec. user=vaughan [2010-08-17 20:26:22] 2547*2^582694-1 is not prime. Res64: 90F6228AE8965928 Time : 7383.0 sec. user=vaughan [2010-08-17 20:27:07] 2241*2^582694-1 is not prime. Res64: E7C73D5B9E634E8D Time : 8344.0 sec. user=vaughan [2010-08-17 20:34:07] 2585*2^582694-1 is not prime. Res64: 198B7E604D76D24B Time : 7391.0 sec. user=vaughan [2010-08-17 20:34:54] 2837*2^582694-1 is not prime. Res64: 2E4FF1CB26DE4A77 Time : 7420.0 sec. user=vaughan [2010-08-17 20:38:00] 2871*2^582694-1 is not prime. Res64: ED4145445D53F564 Time : 7326.0 sec. user=vaughan [2010-08-17 20:41:21] 2315*2^582694-1 is not prime. Res64: 43209F1B721D9D61 Time : 8592.0 sec. user=vaughan [2010-08-17 20:45:02] 2031*2^582695-1 is not prime. Res64: 0BE129684A087AA4 Time : 7314.0 sec. user=vaughan [2010-08-17 20:47:55] 2963*2^582694-1 is not prime. Res64: A1FFA44C418C7567 Time : 7534.0 sec. user=vaughan [2010-08-17 20:48:07] 2091*2^582695-1 is not prime. Res64: 33DD972A84972836 Time : 7302.0 sec. user=vaughan [2010-08-17 20:53:02] 2553*2^582694-1 is not prime. Res64: A76D3A78CFB16840 Time : 8627.0 sec. user=vaughan [2010-08-17 20:56:45] 2239*2^582695-1 is not prime. Res64: F240E13D298903B7 Time : 7378.0 sec. user=vaughan [2010-08-17 21:00:17] 2275*2^582695-1 is not prime. Res64: A1AAEF3A3FAD835D Time : 7324.0 sec. user=vaughan [2010-08-17 21:02:08] 2253*2^582695-1 is not prime. Res64: 061196537A1DCC05 Time : 7684.0 sec. user=vaughan [2010-08-17 21:02:48] 2897*2^582694-1 is not prime. Res64: A752BC4D11C7F59D Time : 8526.0 sec. user=vaughan [2010-08-17 21:07:58] 2493*2^582695-1 is not prime. Res64: 6BA2BD51CA7BBAE8 Time : 7423.0 sec. user=vaughan [2010-08-17 21:09:44] 2619*2^582695-1 is not prime. Res64: 929FE465776DE4B1 Time : 7170.0 sec. user=vaughan [2010-08-17 21:13:57] 2521*2^582695-1 is not prime. Res64: 2801A0FBB062A460 Time : 7597.0 sec. user=vaughan [2010-08-17 21:16:53] 2209*2^582695-1 is not prime. Res64: 5C4184CDD14CC606 Time : 8705.0 sec. user=vaughan [2010-08-17 21:18:44] 2673*2^582695-1 is not prime. Res64: 300D5F4D212AEC46 Time : 7364.0 sec. user=vaughan [2010-08-17 21:22:30] 2713*2^582695-1 is not prime. Res64: A133813806457540 Time : 7364.0 sec. user=vaughan [2010-08-17 21:24:57] 2691*2^582695-1 is not prime. Res64: F9F885F547D9107B Time : 7637.0 sec. user=vaughan [2010-08-17 21:28:43] 2799*2^582695-1 is not prime. Res64: 98CB66ED92951569 Time : 7314.0 sec. user=vaughan [2010-08-17 21:28:54] 2503*2^582695-1 is not prime. Res64: D678EA459DA320E0 Time : 8659.0 sec. user=vaughan [2010-08-17 21:33:24] 2911*2^582695-1 is not prime. Res64: B778C46AFBBCE99E Time : 7347.0 sec. user=vaughan [2010-08-17 21:37:46] 2839*2^582695-1 is not prime. Res64: 3A2D430C9CA1E269 Time : 7678.0 sec. user=vaughan [2010-08-17 21:40:20] 2973*2^582695-1 is not prime. Res64: 655B1510476DAEEF Time : 7330.0 sec. user=vaughan [2010-08-17 21:40:37] 2755*2^582695-1 is not prime. Res64: 949EF5AD3E60E102 Time : 8414.0 sec. user=vaughan [2010-08-17 21:43:07] 2727*2^582690-1 is not prime. Res64: 2F4DB6D18AE32A1A Time : 23959.0 sec. user=vaughan [2010-08-17 21:43:51] 2057*2^582696-1 is not prime. Res64: A81C450A659279E0 Time : 7292.0 sec. user=vaughan [2010-08-17 21:49:15] 2043*2^582696-1 is not prime. Res64: 895F8648CCAC2355 Time : 7723.0 sec. user=vaughan [2010-08-17 21:51:04] 2207*2^582696-1 is not prime. Res64: 8784A3F663C40CB8 Time : 7158.0 sec. user=vaughan [2010-08-17 21:52:50] 2913*2^582695-1 is not prime. Res64: AF5E1CA340720697 Time : 8481.0 sec. user=vaughan [2010-08-17 21:56:32] 2303*2^582696-1 is not prime. Res64: EECFDC3FB1BF9157 Time : 7436.0 sec. user=vaughan [2010-08-17 22:01:14] 2309*2^582696-1 is not prime. Res64: 81316C0CE45E1D2E Time : 7717.0 sec. user=vaughan [2010-08-17 22:01:59] 2637*2^582696-1 is not prime. Res64: 076E5F3BEB423B14 Time : 7096.0 sec. user=vaughan [2010-08-17 22:03:21] 2127*2^582696-1 is not prime. Res64: 956E106A04222182 Time : 8401.0 sec. user=vaughan [2010-08-17 22:09:38] 2597*2^582696-1 is not prime. Res64: DDB6FD6381013A16 Time : 7575.0 sec. user=vaughan [2010-08-17 22:13:05] 2583*2^582696-1 is not prime. Res64: 4FE703A9EF8F3B81 Time : 7792.0 sec. user=vaughan [2010-08-17 22:13:25] 2657*2^582696-1 is not prime. Res64: 02506F6D8BC5D524 Time : 7224.0 sec. user=vaughan [2010-08-17 22:15:08] 2529*2^582696-1 is not prime. Res64: B348FDD379096CBA Time : 8367.0 sec. user=vaughan [2010-08-17 22:21:16] 2817*2^582696-1 is not prime. Res64: 557425726FE83B19 Time : 7580.0 sec. user=vaughan [2010-08-17 22:25:03] 2639*2^582696-1 is not prime. Res64: D2885F3C82AE6C7B Time : 7964.0 sec. user=vaughan [2010-08-17 22:25:09] 2933*2^582696-1 is not prime. Res64: D7A0CC36AB33A30F Time : 7262.0 sec. user=vaughan [2010-08-17 22:25:12] 2747*2^582696-1 is not prime. Res64: A4C11D46F737244B Time : 7903.0 sec. user=vaughan [2010-08-17 22:32:36] 2967*2^582696-1 is not prime. Res64: AC819D3F9D4DE436 Time : 7574.0 sec. user=vaughan [2010-08-17 22:35:54] 2897*2^582696-1 is not prime. Res64: 7B813191FA3D2F17 Time : 7910.0 sec. user=vaughan [2010-08-17 22:36:22] 2001*2^582697-1 is not prime. Res64: D7BA14CADE957D72 Time : 7335.0 sec. user=vaughan [2010-08-17 22:38:00] 2973*2^582696-1 is not prime. Res64: 86402CD664C57F27 Time : 7853.0 sec. user=vaughan [2010-08-17 22:44:27] 2215*2^582697-1 is not prime. Res64: 1AEC3FA1D7584CDD Time : 7587.0 sec. user=vaughan [2010-08-17 22:47:58] 2095*2^582697-1 is not prime. Res64: DE61E182306C3F11 Time : 7985.0 sec. user=vaughan [2010-08-17 22:48:49] 2401*2^582697-1 is not prime. Res64: 758CCB914EE292DD Time : 7649.0 sec. user=vaughan [2010-08-17 22:49:14] 2407*2^582697-1 is not prime. Res64: 721D8EDAF7BD99EF Time : 7453.0 sec. user=vaughan [2010-08-17 22:55:23] 2469*2^582697-1 is not prime. Res64: 3F670675199671AF Time : 7636.0 sec. user=vaughan [2010-08-17 22:59:26] 2577*2^582697-1 is not prime. Res64: FA64223EE6A3C387 Time : 7361.0 sec. user=vaughan [2010-08-17 23:00:35] 2455*2^582697-1 is not prime. Res64: 2453FD502FBB9FCC Time : 7960.0 sec. user=vaughan [2010-08-17 23:01:04] 2481*2^582697-1 is not prime. Res64: 5246382D23B99B8A Time : 7682.0 sec. user=vaughan [2010-08-17 23:03:08] 2547*2^582692-1 is not prime. Res64: DE41181D06BD6C77 Time : 23973.0 sec. user=vaughan [2010-08-17 23:06:26] 2721*2^582697-1 is not prime. Res64: C219951AC72A0E16 Time : 7569.0 sec. user=vaughan [2010-08-17 23:11:35] 2751*2^582697-1 is not prime. Res64: 25BE107D1EE0626F Time : 7417.0 sec. user=vaughan [2010-08-17 23:12:07] 2731*2^582697-1 is not prime. Res64: 22F6F10575A5A50D Time : 7800.0 sec. user=vaughan [2010-08-17 23:12:45] 2739*2^582697-1 is not prime. Res64: 848DD9B93B1D2A3E Time : 7797.0 sec. user=vaughan [2010-08-17 23:18:30] 2817*2^582697-1 is not prime. Res64: F04EAC0202B3658B Time : 7727.0 sec. user=vaughan [2010-08-17 23:21:25] 2073*2^582698-1 is not prime. Res64: CC9D9B5C8EBA932B Time : 7362.0 sec. user=vaughan [2010-08-17 23:23:53] 2871*2^582697-1 is not prime. Res64: 56291C6B634ADD2F Time : 7797.0 sec. user=vaughan [2010-08-17 23:24:54] 2027*2^582698-1 is not prime. Res64: 8492D8656834E5E4 Time : 7682.0 sec. user=vaughan [2010-08-17 23:29:13] 2117*2^582698-1 is not prime. Res64: A6DD48A0CBDB4CA2 Time : 7604.0 sec. user=vaughan [2010-08-17 23:33:44] 2157*2^582698-1 is not prime. Res64: 7881C5D28BF2DC1D Time : 7502.0 sec. user=vaughan [2010-08-17 23:35:08] 2147*2^582698-1 is not prime. Res64: 5186D2B2103C6C47 Time : 7812.0 sec. user=vaughan [2010-08-17 23:37:35] 2225*2^582698-1 is not prime. Res64: D110EC2368E10205 Time : 7721.0 sec. user=vaughan [2010-08-17 23:40:35] 2307*2^582698-1 is not prime. Res64: CBE2F49AB50A5118 Time : 7632.0 sec. user=vaughan [2010-08-17 23:46:10] 2367*2^582698-1 is not prime. Res64: BBA384240D8DFE88 Time : 7704.0 sec. user=vaughan [2010-08-17 23:46:38] 2381*2^582698-1 is not prime. Res64: 807E76D7EA564A5F Time : 7578.0 sec. user=vaughan [2010-08-17 23:47:37] 2463*2^582698-1 is not prime. Res64: C2A545816DA105DF Time : 7620.0 sec. user=vaughan [2010-08-17 23:53:15] 2483*2^582698-1 is not prime. Res64: 2338117146594680 Time : 7765.0 sec. user=vaughan [2010-08-17 23:57:37] 2535*2^582698-1 is not prime. Res64: 6948A8C1204DEFBF Time : 7702.0 sec. user=vaughan [2010-08-17 23:58:12] 2565*2^582698-1 is not prime. Res64: 0B5898F98E0A96FB Time : 7628.0 sec. user=vaughan [2010-08-17 23:58:46] 2637*2^582698-1 is not prime. Res64: EF299A4B4ABA35CB Time : 7557.0 sec.