user=vaughan [2010-08-16 00:01:20] 2121*2^582637-1 is not prime. Res64: 686AEE72D182AC87 Time : 2460.0 sec. user=vaughan [2010-08-16 00:06:52] 2451*2^582638-1 is not prime. Res64: 06D34AD6BCFA1B44 Time : 2781.0 sec. user=vaughan [2010-08-16 00:09:12] 2205*2^582639-1 is not prime. Res64: 59E457F520735D23 Time : 2916.0 sec. user=vaughan [2010-08-16 00:09:27] 2821*2^582637-1 is not prime. Res64: 164B53EC445F5B2E Time : 2942.0 sec. user=vaughan [2010-08-16 00:12:24] 2813*2^582636-1 is not prime. Res64: A001638979E26C4F Time : 24189.0 sec. user=vaughan [2010-08-16 00:12:54] 2127*2^582637-1 is not prime. Res64: 6E67A5128DDEB731 Time : 3153.0 sec. user=vaughan [2010-08-16 00:17:06] 2621*2^582638-1 is not prime. Res64: 844713F4203F08D3 Time : 3395.0 sec. user=vaughan [2010-08-16 00:20:56] 2251*2^582639-1 is not prime. Res64: 1FC043B99A5E9766 Time : 3620.0 sec. user=vaughan [2010-08-16 00:22:03] 2941*2^582637-1 is not prime. Res64: D30C184D1FD2CC10 Time : 3697.0 sec. user=vaughan [2010-08-16 00:22:46] 2245*2^582637-1 is not prime. Res64: A371007CE059A8F8 Time : 3744.0 sec. user=vaughan [2010-08-16 00:29:42] 2687*2^582638-1 is not prime. Res64: CD50623AB75800A7 Time : 4150.0 sec. user=vaughan [2010-08-16 00:32:25] 2275*2^582639-1 is not prime. Res64: 297B0A218623C246 Time : 4308.0 sec. user=vaughan [2010-08-16 00:32:43] 2287*2^582637-1 is not prime. Res64: 710D92AB5A07C0EA Time : 4341.0 sec. user=vaughan [2010-08-16 00:35:20] 2001*2^582638-1 is not prime. Res64: 71E1A08A042C41E4 Time : 4494.0 sec. user=vaughan [2010-08-16 00:39:45] 2735*2^582638-1 is not prime. Res64: 6D5E034365FCB252 Time : 4752.0 sec. user=vaughan [2010-08-16 00:43:19] 2289*2^582639-1 is not prime. Res64: 01FBC11A9D17D2B2 Time : 4962.0 sec. user=vaughan [2010-08-16 00:44:47] 2359*2^582637-1 is not prime. Res64: E014838DD213EC08 Time : 5064.0 sec. user=vaughan [2010-08-16 00:47:07] 2037*2^582638-1 is not prime. Res64: 31CD93BDC3CBFC87 Time : 5200.0 sec. user=vaughan [2010-08-16 00:51:41] 2813*2^582638-1 is not prime. Res64: BB3CEE0E954A5257 Time : 5468.0 sec. user=vaughan [2010-08-16 00:55:21] 2535*2^582637-1 is not prime. Res64: D18936CD02C3C43A Time : 5698.0 sec. user=vaughan [2010-08-16 00:56:28] 2335*2^582639-1 is not prime. Res64: 029CED87D2BE808A Time : 5750.0 sec. user=vaughan [2010-08-16 00:57:43] 2043*2^582638-1 is not prime. Res64: EF7AF4FF25E1465B Time : 5835.0 sec. user=vaughan [2010-08-16 01:02:32] 2817*2^582638-1 is not prime. Res64: 0B13C73A95E15F8B Time : 6118.0 sec. user=vaughan [2010-08-16 01:06:05] 2611*2^582637-1 is not prime. Res64: 0892A608772D8926 Time : 6341.0 sec. user=vaughan [2010-08-16 01:09:37] 2349*2^582639-1 is not prime. Res64: A85BE3B072B1D328 Time : 6538.0 sec. user=vaughan [2010-08-16 01:09:50] 2111*2^582638-1 is not prime. Res64: 8313D5F2C1D697FE Time : 6562.0 sec. user=vaughan [2010-08-16 01:12:45] 2951*2^582638-1 is not prime. Res64: 645C32A3CD7664EE Time : 6731.0 sec. user=vaughan [2010-08-16 01:17:35] 2709*2^582637-1 is not prime. Res64: F4009F58D8ACC44C Time : 7031.0 sec. user=vaughan [2010-08-16 01:20:39] 2379*2^582639-1 is not prime. Res64: C171BDEBACB286CC Time : 7200.0 sec. user=vaughan [2010-08-16 01:20:56] 2195*2^582638-1 is not prime. Res64: 63F28E89B766596C Time : 7227.0 sec. user=vaughan [2010-08-16 01:24:48] 2071*2^582639-1 is not prime. Res64: 341465D627716A0A Time : 7453.0 sec. user=vaughan [2010-08-16 01:29:18] 2715*2^582639-1 is not prime. Res64: 0065548429630C6C Time : 7152.0 sec. user=vaughan [2010-08-16 01:31:59] 2321*2^582638-1 is not prime. Res64: 1642B3D26B384DF6 Time : 7890.0 sec. user=vaughan [2010-08-16 01:32:06] 2659*2^582639-1 is not prime. Res64: 3A6B9E8339E68C7F Time : 7886.0 sec. user=vaughan [2010-08-16 01:32:58] 2967*2^582636-1 is not prime. Res64: 30FC3947D7D53B5B Time : 24164.0 sec. user=vaughan [2010-08-16 01:37:37] 2033*2^582640-1 is not prime. Res64: 9EA0C28BBC17133C Time : 7478.0 sec. user=vaughan [2010-08-16 01:38:49] 2273*2^582640-1 is not prime. Res64: CAAEF9F728464D1D Time : 7085.0 sec. user=vaughan [2010-08-16 01:44:10] 2845*2^582639-1 is not prime. Res64: 20952256B13AAD01 Time : 7931.0 sec. user=vaughan [2010-08-16 01:44:32] 2207*2^582640-1 is not prime. Res64: AA7584CE6ABC743A Time : 7870.0 sec. user=vaughan [2010-08-16 01:48:47] 2325*2^582640-1 is not prime. Res64: 3F0DB953B504E10D Time : 7491.0 sec. user=vaughan [2010-08-16 01:49:19] 2679*2^582640-1 is not prime. Res64: 994A6D37DC07FFE7 Time : 7095.0 sec. user=vaughan [2010-08-16 01:55:25] 2519*2^582640-1 is not prime. Res64: 5D82EE6C7C150FFC Time : 7809.0 sec. user=vaughan [2010-08-16 01:57:09] 2457*2^582640-1 is not prime. Res64: F3422DC312D15892 Time : 7992.0 sec. user=vaughan [2010-08-16 02:00:24] 2847*2^582640-1 is not prime. Res64: 78A170E901EC1E8E Time : 7144.0 sec. user=vaughan [2010-08-16 02:01:18] 2709*2^582640-1 is not prime. Res64: E095D9CC4B536D1B Time : 7541.0 sec. user=vaughan [2010-08-16 02:07:04] 2775*2^582640-1 is not prime. Res64: D7927C69F9C92D36 Time : 7795.0 sec. user=vaughan [2010-08-16 02:09:09] 2757*2^582640-1 is not prime. Res64: 16CCB092F4214CA7 Time : 7963.0 sec. user=vaughan [2010-08-16 02:10:12] 2963*2^582640-1 is not prime. Res64: 900E16038F938191 Time : 7038.0 sec. user=vaughan [2010-08-16 02:13:29] 2859*2^582640-1 is not prime. Res64: BB71B38D30BD4C91 Time : 7597.0 sec. user=vaughan [2010-08-16 02:18:40] 2885*2^582640-1 is not prime. Res64: C6E1B889A4CD86CF Time : 7768.0 sec. user=vaughan [2010-08-16 02:20:42] 2259*2^582641-1 is not prime. Res64: 238C964A5261C442 Time : 7077.0 sec. user=vaughan [2010-08-16 02:21:00] 2897*2^582640-1 is not prime. Res64: 0A7DAF9D6F8EF0F0 Time : 7893.0 sec. user=vaughan [2010-08-16 02:25:13] 2061*2^582641-1 is not prime. Res64: E18650E388B13A6A Time : 7687.0 sec. user=vaughan [2010-08-16 02:30:29] 2089*2^582641-1 is not prime. Res64: F0F8176B77415F50 Time : 7773.0 sec. user=vaughan [2010-08-16 02:31:18] 2199*2^582641-1 is not prime. Res64: F8FCF9032A486D8B Time : 7755.0 sec. user=vaughan [2010-08-16 02:32:24] 2385*2^582641-1 is not prime. Res64: 7A382A5A652848B9 Time : 7181.0 sec. user=vaughan [2010-08-16 02:38:40] 2271*2^582641-1 is not prime. Res64: B8FF9B24759554D7 Time : 7738.0 sec. user=vaughan [2010-08-16 02:40:48] 2467*2^582641-1 is not prime. Res64: A13C8D7A91591745 Time : 6962.0 sec. user=vaughan [2010-08-16 02:42:50] 2401*2^582641-1 is not prime. Res64: 70D7DE8B63ED3568 Time : 7650.0 sec. user=vaughan [2010-08-16 02:45:26] 2275*2^582641-1 is not prime. Res64: DC7852646D6D0344 Time : 7981.0 sec. user=vaughan [2010-08-16 02:49:09] 2427*2^582641-1 is not prime. Res64: 6275C7832BB5F3BD Time : 7765.0 sec. user=vaughan [2010-08-16 02:50:38] 2905*2^582641-1 is not prime. Res64: 70B8F80CAC40C59E Time : 6917.0 sec. user=vaughan [2010-08-16 02:53:23] 2979*2^582636-1 is not prime. Res64: CD83A878C0BD81A8 Time : 24155.0 sec. user=vaughan [2010-08-16 02:53:47] 2511*2^582641-1 is not prime. Res64: 1F2EE8C0CBAD10DC Time : 7600.0 sec. user=vaughan [2010-08-16 02:58:38] 2449*2^582641-1 is not prime. Res64: F52D95D360824CBA Time : 8119.0 sec. user=vaughan [2010-08-16 02:59:43] 2691*2^582641-1 is not prime. Res64: 6F64EAC7661E2F5C Time : 7683.0 sec. user=vaughan [2010-08-16 03:03:07] 2133*2^582642-1 is not prime. Res64: 19F43177589C666E Time : 7022.0 sec. user=vaughan [2010-08-16 03:05:25] 2043*2^582642-1 is not prime. Res64: 3B1AC491CCF6699F Time : 7662.0 sec. user=vaughan [2010-08-16 03:10:25] 2051*2^582642-1 is not prime. Res64: B9EC1A06C1E96C77 Time : 7673.0 sec. user=vaughan [2010-08-16 03:10:55] 2929*2^582641-1 is not prime. Res64: A2DAD168EFAB141C Time : 8068.0 sec. user=vaughan [2010-08-16 03:14:33] 2355*2^582642-1 is not prime. Res64: 54C0A206D614673A Time : 7019.0 sec. user=vaughan [2010-08-16 03:17:31] 2211*2^582642-1 is not prime. Res64: 43E94A99E01EDF3E Time : 7661.0 sec. user=vaughan [2010-08-16 03:21:13] 2201*2^582642-1 is not prime. Res64: 6B690C24D6796D92 Time : 7896.0 sec. user=vaughan [2010-08-16 03:21:48] 2277*2^582642-1 is not prime. Res64: 7298B00F7F044865 Time : 7743.0 sec. user=vaughan [2010-08-16 03:26:51] 2475*2^582642-1 is not prime. Res64: 7DA282D1D60EC8DA Time : 7053.0 sec. user=vaughan [2010-08-16 03:28:38] 2385*2^582642-1 is not prime. Res64: 228ABB15CC479A08 Time : 7663.0 sec. user=vaughan [2010-08-16 03:32:23] 2405*2^582642-1 is not prime. Res64: 1BF9E9C33FB89B62 Time : 7655.0 sec. user=vaughan [2010-08-16 03:34:15] 2373*2^582642-1 is not prime. Res64: 4B4F8792CE8CC2B1 Time : 8016.0 sec. user=vaughan [2010-08-16 03:38:15] 2741*2^582642-1 is not prime. Res64: FCDDEE4FE1BC414E Time : 7167.0 sec. user=vaughan [2010-08-16 03:39:24] 2607*2^582642-1 is not prime. Res64: 09A0E98CB6BD84B0 Time : 7645.0 sec. user=vaughan [2010-08-16 03:44:46] 2637*2^582642-1 is not prime. Res64: B25D45346E2C42A1 Time : 7961.0 sec. user=vaughan [2010-08-16 03:45:20] 2697*2^582642-1 is not prime. Res64: 238CCADE4DBF8600 Time : 7663.0 sec. user=vaughan [2010-08-16 03:48:59] 2025*2^582643-1 is not prime. Res64: 5311994250BC74AB Time : 7180.0 sec. user=vaughan [2010-08-16 03:51:40] 2865*2^582642-1 is not prime. Res64: 91858F23A3A98D75 Time : 7650.0 sec. user=vaughan [2010-08-16 03:55:47] 2867*2^582642-1 is not prime. Res64: 8FC2000EEE86880B Time : 7876.0 sec. user=vaughan [2010-08-16 03:56:30] 2897*2^582642-1 is not prime. Res64: 2CAD69A876B49044 Time : 7663.0 sec. user=vaughan [2010-08-16 04:01:53] 2221*2^582643-1 is not prime. Res64: EBD2BB22D3B98B85 Time : 7289.0 sec. user=vaughan [2010-08-16 04:03:09] 2193*2^582643-1 is not prime. Res64: F3803E74C1592D8F Time : 7561.0 sec. user=vaughan [2010-08-16 04:07:30] 2035*2^582643-1 is not prime. Res64: 54F87FF19CC5A17C Time : 7926.0 sec. user=vaughan [2010-08-16 04:07:31] 2235*2^582643-1 is not prime. Res64: 751366A3C76271AF Time : 7573.0 sec. user=vaughan [2010-08-16 04:13:32] 2443*2^582643-1 is not prime. Res64: 036BC4845F38E098 Time : 7400.0 sec. user=vaughan [2010-08-16 04:13:44] 2987*2^582636-1 is not prime. Res64: 8C953246D6117743 Time : 24143.0 sec. user=vaughan [2010-08-16 04:14:21] 2431*2^582643-1 is not prime. Res64: BF535D36BF4F872D Time : 7512.0 sec. user=vaughan [2010-08-16 04:18:06] 2379*2^582643-1 is not prime. Res64: 26F84FCD5E398B3F Time : 7862.0 sec. user=vaughan [2010-08-16 04:22:20] 2445*2^582643-1 is not prime. Res64: BD891BB7C042941B Time : 7731.0 sec. user=vaughan [2010-08-16 04:23:08] 2485*2^582643-1 is not prime. Res64: B73F2F95498926A1 Time : 7346.0 sec. user=vaughan [2010-08-16 04:25:35] 2505*2^582643-1 is not prime. Res64: A1D6DBD5DFC08F56 Time : 7475.0 sec. user=vaughan [2010-08-16 04:29:12] 2451*2^582643-1 is not prime. Res64: 9FCF744C2159DB71 Time : 7833.0 sec. user=vaughan [2010-08-16 04:33:57] 2583*2^582643-1 is not prime. Res64: 1CD53B68804AC943 Time : 7724.0 sec. user=vaughan [2010-08-16 04:34:50] 2821*2^582643-1 is not prime. Res64: 3A643201C098B4B8 Time : 7346.0 sec. user=vaughan [2010-08-16 04:37:07] 2721*2^582643-1 is not prime. Res64: 796FC779581D9952 Time : 7549.0 sec. user=vaughan [2010-08-16 04:41:27] 2623*2^582643-1 is not prime. Res64: 2184381645CE99EC Time : 7858.0 sec. user=vaughan [2010-08-16 04:44:21] 2835*2^582643-1 is not prime. Res64: D76879C3FC681383 Time : 7541.0 sec. user=vaughan [2010-08-16 04:45:40] 2087*2^582644-1 is not prime. Res64: 67B0977EFC171BA3 Time : 7492.0 sec. user=vaughan [2010-08-16 04:48:35] 2139*2^582644-1 is not prime. Res64: C42B24335E5B01E2 Time : 7545.0 sec. user=vaughan [2010-08-16 04:53:56] 2145*2^582644-1 is not prime. Res64: 38B9675981C023FE Time : 7711.0 sec. user=vaughan [2010-08-16 04:56:24] 2169*2^582644-1 is not prime. Res64: E0966D6BE0C4DD63 Time : 7635.0 sec. user=vaughan [2010-08-16 04:57:50] 2283*2^582644-1 is not prime. Res64: BFCB0A5DD37C6E14 Time : 7632.0 sec. user=vaughan [2010-08-16 04:59:20] 2435*2^582644-1 is not prime. Res64: 494B61858AABD528 Time : 7533.0 sec. user=vaughan [2010-08-16 05:05:56] 2439*2^582644-1 is not prime. Res64: 6A076808A39039AB Time : 7639.0 sec. user=vaughan [2010-08-16 05:07:50] 2457*2^582644-1 is not prime. Res64: 4137132D32A41808 Time : 7688.0 sec. user=vaughan [2010-08-16 05:09:10] 2567*2^582644-1 is not prime. Res64: 712A1DFDE91DCCB3 Time : 7563.0 sec. user=vaughan [2010-08-16 05:10:44] 2595*2^582644-1 is not prime. Res64: 260E35746461B139 Time : 7519.0 sec. user=vaughan [2010-08-16 05:18:02] 2633*2^582644-1 is not prime. Res64: 271894623AD562A6 Time : 7628.0 sec. user=vaughan [2010-08-16 05:19:29] 2609*2^582644-1 is not prime. Res64: F061A36A67B9D053 Time : 7744.0 sec. user=vaughan [2010-08-16 05:19:48] 2639*2^582644-1 is not prime. Res64: 738AC278E32536AD Time : 7515.0 sec. user=vaughan [2010-08-16 05:22:03] 2727*2^582644-1 is not prime. Res64: F09A5821B0842100 Time : 7473.0 sec. user=vaughan [2010-08-16 05:29:02] 2807*2^582644-1 is not prime. Res64: 4F7E2B3150437FC3 Time : 7670.0 sec. user=vaughan [2010-08-16 05:31:26] 2873*2^582644-1 is not prime. Res64: 3927FAC9C83F37E6 Time : 7778.0 sec. user=vaughan [2010-08-16 05:31:33] 2919*2^582644-1 is not prime. Res64: 4A464BBDA7952D71 Time : 7482.0 sec. user=vaughan [2010-08-16 05:34:12] 2925*2^582644-1 is not prime. Res64: 01D8773F0E45D05C Time : 7534.0 sec. user=vaughan [2010-08-16 05:34:33] 2999*2^582636-1 is not prime. Res64: 2F6EB6B20DFA0B0C Time : 24157.0 sec. user=vaughan [2010-08-16 05:40:41] 2999*2^582644-1 is not prime. Res64: 3FB0F0B69A107DF8 Time : 7586.0 sec. user=vaughan [2010-08-16 05:40:49] 2077*2^582645-1 is not prime. Res64: E3FC01134CE2C612 Time : 7355.0 sec. user=vaughan [2010-08-16 05:43:50] 2973*2^582644-1 is not prime. Res64: 49ECBBCC694F7191 Time : 7887.0 sec. user=vaughan [2010-08-16 05:45:01] 2211*2^582645-1 is not prime. Res64: BABA95B71DF6212C Time : 7537.0 sec. user=vaughan [2010-08-16 05:52:33] 2341*2^582645-1 is not prime. Res64: 4E078E0C6CE5CA29 Time : 7414.0 sec. user=vaughan [2010-08-16 05:52:43] 2277*2^582645-1 is not prime. Res64: BE0CDBF86F3B36BD Time : 7678.0 sec. user=vaughan [2010-08-16 05:55:26] 2307*2^582645-1 is not prime. Res64: A86FB10614AA5F1C Time : 7807.0 sec. user=vaughan [2010-08-16 05:56:56] 2421*2^582645-1 is not prime. Res64: CCF9C8F605A0DBA9 Time : 7516.0 sec. user=vaughan [2010-08-16 06:02:41] 2641*2^582645-1 is not prime. Res64: 57FAF86022DDBF66 Time : 7249.0 sec. user=vaughan [2010-08-16 06:04:13] 2445*2^582645-1 is not prime. Res64: F1CC4642F45F4A88 Time : 7707.0 sec. user=vaughan [2010-08-16 06:07:46] 2655*2^582645-1 is not prime. Res64: 8F23829625FB9B77 Time : 7478.0 sec. user=vaughan [2010-08-16 06:08:22] 2547*2^582645-1 is not prime. Res64: 590F6583B7913827 Time : 7912.0 sec. user=vaughan [2010-08-16 06:14:49] 2917*2^582645-1 is not prime. Res64: AACFAA3FEA3AEBE6 Time : 7277.0 sec. user=vaughan [2010-08-16 06:15:30] 2679*2^582645-1 is not prime. Res64: 9CC91D8FA30C1E4B Time : 7680.0 sec. user=vaughan [2010-08-16 06:20:18] 2121*2^582646-1 is not prime. Res64: 44B96D5019DE9E7C Time : 7557.0 sec. user=vaughan [2010-08-16 06:21:25] 2739*2^582645-1 is not prime. Res64: 4A4314BB6865AD60 Time : 8034.0 sec. user=vaughan [2010-08-16 06:25:38] 2187*2^582646-1 is not prime. Res64: BC2CAD38116CD99E Time : 7350.0 sec. user=vaughan [2010-08-16 06:25:46] 2145*2^582646-1 is not prime. Res64: C7BF7339DA297C37 Time : 7661.0 sec. user=vaughan [2010-08-16 06:32:21] 2225*2^582646-1 is not prime. Res64: 462CD5F665BFF728 Time : 7607.0 sec. user=vaughan [2010-08-16 06:33:52] 2165*2^582646-1 is not prime. Res64: D5B36FEDE261F382 Time : 7892.0 sec. user=vaughan [2010-08-16 06:36:12] 2291*2^582646-1 is not prime. Res64: 6C7EDC049D3D9EA6 Time : 7283.0 sec. user=vaughan [2010-08-16 06:36:19] 2247*2^582646-1 is not prime. Res64: EEBE31ED1CB572C6 Time : 7627.0 sec. user=vaughan [2010-08-16 06:45:23] 2285*2^582646-1 is not prime. Res64: F758913DB24BFD61 Time : 7886.0 sec. user=vaughan [2010-08-16 06:45:23] 2303*2^582646-1 is not prime. Res64: 16EB068EF3D1B52C Time : 7697.0 sec. user=vaughan [2010-08-16 06:47:52] 2451*2^582646-1 is not prime. Res64: D4F10F151C608A0F Time : 7585.0 sec. user=vaughan [2010-08-16 06:48:22] 2525*2^582646-1 is not prime. Res64: 533273D946313041 Time : 7363.0 sec. user=vaughan [2010-08-16 06:55:43] 2933*2^582640-1 is not prime. Res64: F7E3B1FC532928A4 Time : 24200.0 sec. user=vaughan [2010-08-16 06:56:44] 2543*2^582646-1 is not prime. Res64: 80736C32DC676A69 Time : 7690.0 sec. user=vaughan [2010-08-16 06:58:09] 2463*2^582646-1 is not prime. Res64: 6887232EB0F76E3F Time : 8029.0 sec. user=vaughan [2010-08-16 06:58:40] 2661*2^582646-1 is not prime. Res64: ABBF5206F378BD56 Time : 7251.0 sec. user=vaughan [2010-08-16 06:59:37] 2607*2^582646-1 is not prime. Res64: 3A9F3D96DA9B0A5B Time : 7541.0 sec. user=vaughan [2010-08-16 07:07:29] 2675*2^582646-1 is not prime. Res64: C12E99270D376592 Time : 7690.0 sec. user=vaughan [2010-08-16 07:09:56] 2795*2^582646-1 is not prime. Res64: 8BF70FBEF490769B Time : 7247.0 sec. user=vaughan [2010-08-16 07:10:26] 2633*2^582646-1 is not prime. Res64: 8D984A07DC19B051 Time : 8042.0 sec. user=vaughan [2010-08-16 07:10:51] 2681*2^582646-1 is not prime. Res64: D0BE1739AAF5745E Time : 7495.0 sec. user=vaughan [2010-08-16 07:19:19] 2019*2^582647-1 is not prime. Res64: ED89FAE077553994 Time : 7172.0 sec. user=vaughan [2010-08-16 07:20:09] 2801*2^582646-1 is not prime. Res64: 2860CE1EEA01689C Time : 7766.0 sec. user=vaughan [2010-08-16 07:21:36] 2691*2^582646-1 is not prime. Res64: B657A0BEB949928D Time : 8026.0 sec. user=vaughan [2010-08-16 07:24:49] 2927*2^582646-1 is not prime. Res64: C9D41441CBAA1869 Time : 7607.0 sec. user=vaughan [2010-08-16 07:30:24] 2409*2^582647-1 is not prime. Res64: 746F99FC665EA313 Time : 7132.0 sec. user=vaughan [2010-08-16 07:31:16] 2061*2^582647-1 is not prime. Res64: AB17D0DB6D26F7FB Time : 7753.0 sec. user=vaughan [2010-08-16 07:32:24] 2987*2^582646-1 is not prime. Res64: 01C0F2EBB5AD90FB Time : 7975.0 sec. user=vaughan [2010-08-16 07:35:49] 2155*2^582647-1 is not prime. Res64: F5C60C213EFC5637 Time : 7607.0 sec. user=vaughan [2010-08-16 07:41:30] 2499*2^582647-1 is not prime. Res64: F3AB3E8E3F878383 Time : 7241.0 sec. user=vaughan [2010-08-16 07:43:15] 2421*2^582647-1 is not prime. Res64: F1D3AF99723C0B53 Time : 7744.0 sec. user=vaughan [2010-08-16 07:43:34] 2215*2^582647-1 is not prime. Res64: 5EE0954D04068B58 Time : 7929.0 sec. user=vaughan [2010-08-16 07:50:11] 2455*2^582647-1 is not prime. Res64: FE6B6E66F71FBA05 Time : 7770.0 sec. user=vaughan [2010-08-16 07:52:07] 2803*2^582647-1 is not prime. Res64: ACAD6DD3AE295F9D Time : 7174.0 sec. user=vaughan [2010-08-16 07:54:01] 2553*2^582647-1 is not prime. Res64: 21F84E080C6DA1AE Time : 7811.0 sec. user=vaughan [2010-08-16 07:54:42] 2619*2^582647-1 is not prime. Res64: E048409143C7B4B2 Time : 7781.0 sec. user=vaughan [2010-08-16 08:00:44] 2965*2^582647-1 is not prime. Res64: 05F77238C879B15C Time : 7682.0 sec. user=vaughan [2010-08-16 08:04:34] 2049*2^582648-1 is not prime. Res64: D4F78FC0A7E5A9F6 Time : 7313.0 sec. user=vaughan [2010-08-16 08:05:39] 2973*2^582647-1 is not prime. Res64: FF371DDEE750D93C Time : 7813.0 sec. user=vaughan [2010-08-16 08:06:29] 2043*2^582648-1 is not prime. Res64: CC26B21EC4117E35 Time : 7773.0 sec. user=vaughan [2010-08-16 08:13:05] 2069*2^582648-1 is not prime. Res64: 036C6C2B7164B62D Time : 7733.0 sec. user=vaughan [2010-08-16 08:13:30] 2235*2^582648-1 is not prime. Res64: BCC893912E14A59E Time : 7122.0 sec. user=vaughan [2010-08-16 08:16:18] 2657*2^582642-1 is not prime. Res64: 18C57E82F0319F45 Time : 24201.0 sec. user=vaughan [2010-08-16 08:18:01] 2147*2^582648-1 is not prime. Res64: 433EB708EB2C4109 Time : 7816.0 sec. user=vaughan [2010-08-16 08:18:35] 2183*2^582648-1 is not prime. Res64: 7E21F9D546055FC4 Time : 7813.0 sec. user=vaughan [2010-08-16 08:23:40] 2555*2^582648-1 is not prime. Res64: 944C9C1CD405E2EA Time : 7082.0 sec. user=vaughan [2010-08-16 08:25:25] 2375*2^582648-1 is not prime. Res64: 0B98766494B3B4C9 Time : 7795.0 sec. user=vaughan [2010-08-16 08:30:18] 2403*2^582648-1 is not prime. Res64: 41D113AC058FDB8C Time : 7803.0 sec. user=vaughan [2010-08-16 08:30:47] 2463*2^582648-1 is not prime. Res64: 35EBF0E98238D67B Time : 7765.0 sec. user=vaughan [2010-08-16 08:33:26] 2967*2^582648-1 is not prime. Res64: 785A48A8EA7F326C Time : 7034.0 sec. user=vaughan [2010-08-16 08:37:13] 2865*2^582648-1 is not prime. Res64: A5B4786339C60483 Time : 7888.0 sec. user=vaughan [2010-08-16 08:41:43] 2873*2^582648-1 is not prime. Res64: AD6E6AA296787BD8 Time : 7762.0 sec. user=vaughan [2010-08-16 08:41:54] 2895*2^582648-1 is not prime. Res64: EF75BA09117213DD Time : 7683.0 sec. user=vaughan [2010-08-16 08:45:36] 2329*2^582649-1 is not prime. Res64: 041D27B26E88B28D Time : 7034.0 sec. user=vaughan [2010-08-16 08:50:08] 2095*2^582649-1 is not prime. Res64: 4DD15B96D7A7B8F9 Time : 8030.0 sec. user=vaughan [2010-08-16 08:52:36] 2275*2^582649-1 is not prime. Res64: 3940F3F78F491856 Time : 7633.0 sec. user=vaughan [2010-08-16 08:53:23] 2277*2^582649-1 is not prime. Res64: 6A5CE81E87C6D93E Time : 7680.0 sec. user=vaughan [2010-08-16 08:56:14] 2469*2^582649-1 is not prime. Res64: 1F9E38D37E7306BB Time : 7054.0 sec. user=vaughan [2010-08-16 09:01:23] 2317*2^582649-1 is not prime. Res64: 8F76368FE9CE312D Time : 8011.0 sec. user=vaughan [2010-08-16 09:04:19] 2397*2^582649-1 is not prime. Res64: 5D1ECDCB01ADD4DB Time : 7655.0 sec. user=vaughan [2010-08-16 09:05:14] 2401*2^582649-1 is not prime. Res64: FC34F8CAF582A761 Time : 7626.0 sec. user=vaughan [2010-08-16 09:07:36] 2635*2^582649-1 is not prime. Res64: 751943091A76570C Time : 7061.0 sec. user=vaughan [2010-08-16 09:12:07] 2535*2^582649-1 is not prime. Res64: 0C7091FD9611988E Time : 7951.0 sec. user=vaughan [2010-08-16 09:15:07] 2541*2^582649-1 is not prime. Res64: 91375C47BB192503 Time : 7659.0 sec. user=vaughan [2010-08-16 09:17:42] 2845*2^582649-1 is not prime. Res64: 91E848F29A1D444E Time : 7636.0 sec. user=vaughan [2010-08-16 09:19:12] 2959*2^582649-1 is not prime. Res64: 4BF765B7B9797B2E Time : 7194.0 sec. user=vaughan [2010-08-16 09:23:38] 2911*2^582649-1 is not prime. Res64: 848A39996EC66988 Time : 7967.0 sec. user=vaughan [2010-08-16 09:25:59] 2105*2^582650-1 is not prime. Res64: 65B2C8DBD65B5A6F Time : 7551.0 sec. user=vaughan [2010-08-16 09:28:36] 2301*2^582650-1 is not prime. Res64: BD3B682CE0F1C21E Time : 7621.0 sec. user=vaughan [2010-08-16 09:31:13] 2343*2^582650-1 is not prime. Res64: 94C79D4351492855 Time : 7250.0 sec. user=vaughan [2010-08-16 09:35:23] 2313*2^582650-1 is not prime. Res64: 7060F1462E9926FE Time : 7834.0 sec. user=vaughan [2010-08-16 09:36:43] 2325*2^582644-1 is not prime. Res64: 09A495ABB03526D9 Time : 24201.0 sec. user=vaughan [2010-08-16 09:38:10] 2397*2^582650-1 is not prime. Res64: AA72E850A086E207 Time : 7615.0 sec. user=vaughan [2010-08-16 09:39:23] 2507*2^582650-1 is not prime. Res64: 8600E8DA574D3F38 Time : 7620.0 sec. user=vaughan [2010-08-16 09:43:12] 2645*2^582650-1 is not prime. Res64: ED0FBFE7059E7457 Time : 7303.0 sec. user=vaughan [2010-08-16 09:47:07] 2567*2^582650-1 is not prime. Res64: A855EB3D18991C91 Time : 7878.0 sec. user=vaughan [2010-08-16 09:50:28] 2897*2^582650-1 is not prime. Res64: 5B0EEBC2D51C27D2 Time : 7615.0 sec. user=vaughan [2010-08-16 09:50:39] 2771*2^582650-1 is not prime. Res64: 24CE241D4310570F Time : 7645.0 sec. user=vaughan [2010-08-16 09:55:34] 2975*2^582650-1 is not prime. Res64: 077408B09A0AA880 Time : 7407.0 sec. user=vaughan [2010-08-16 09:57:29] 2955*2^582650-1 is not prime. Res64: 576E8F49B5EA59C5 Time : 7638.0 sec. user=vaughan [2010-08-16 10:02:36] 2997*2^582650-1 is not prime. Res64: 5984D7A085BC80D1 Time : 7716.0 sec. user=vaughan [2010-08-16 10:03:26] 2001*2^582651-1 is not prime. Res64: 8FDDACD284812118 Time : 7724.0 sec. user=vaughan [2010-08-16 10:05:57] 2095*2^582651-1 is not prime. Res64: 01EEB3137939B366 Time : 7283.0 sec. user=vaughan [2010-08-16 10:07:16] 2035*2^582651-1 is not prime. Res64: 377C6D096AC30316 Time : 7593.0 sec. user=vaughan [2010-08-16 10:15:05] 2169*2^582651-1 is not prime. Res64: 5F40DD8A105B35AD Time : 7716.0 sec. user=vaughan [2010-08-16 10:15:10] 2133*2^582651-1 is not prime. Res64: 718DDEEA1E3FEDD2 Time : 7771.0 sec. user=vaughan [2010-08-16 10:17:44] 2233*2^582651-1 is not prime. Res64: 71DD77093FDD01DD Time : 7454.0 sec. user=vaughan [2010-08-16 10:18:23] 2205*2^582651-1 is not prime. Res64: 2E5C8DF7152D5506 Time : 7519.0 sec. user=vaughan [2010-08-16 10:25:11] 2421*2^582651-1 is not prime. Res64: 41AF211600BE2CE1 Time : 7630.0 sec. user=vaughan [2010-08-16 10:26:28] 2515*2^582651-1 is not prime. Res64: 55D0BFB84964816A Time : 7673.0 sec. user=vaughan [2010-08-16 10:29:41] 2595*2^582651-1 is not prime. Res64: 3A0B78F14119E0FF Time : 7457.0 sec. user=vaughan [2010-08-16 10:30:26] 2571*2^582651-1 is not prime. Res64: 6C6EEC33EFAD8723 Time : 7607.0 sec. user=vaughan [2010-08-16 10:37:09] 2781*2^582651-1 is not prime. Res64: EB8B2ECD4A763B2E Time : 7611.0 sec. user=vaughan [2010-08-16 10:37:24] 2785*2^582651-1 is not prime. Res64: 4128014E07511953 Time : 7597.0 sec. user=vaughan [2010-08-16 10:40:23] 2889*2^582651-1 is not prime. Res64: 9385F4A5B940C7AD Time : 7391.0 sec. user=vaughan [2010-08-16 10:43:06] 2823*2^582651-1 is not prime. Res64: AE43B145AFA49502 Time : 7780.0 sec. user=vaughan [2010-08-16 10:48:27] 2163*2^582652-1 is not prime. Res64: 884F0A9B5461B379 Time : 7604.0 sec. user=vaughan [2010-08-16 10:49:06] 2273*2^582652-1 is not prime. Res64: 3AF3712014829EDA Time : 7632.0 sec. user=vaughan [2010-08-16 10:52:45] 2339*2^582652-1 is not prime. Res64: 26BBF47E6BB12C75 Time : 7629.0 sec. user=vaughan [2010-08-16 10:53:09] 2369*2^582652-1 is not prime. Res64: 6BFBC9E51257C0C9 Time : 7381.0 sec. user=vaughan [2010-08-16 10:57:05] 2091*2^582646-1 is not prime. Res64: 9CD75BE4093A9540 Time : 24201.0 sec. user=vaughan [2010-08-16 11:00:03] 2607*2^582652-1 is not prime. Res64: 208B6B284E0BABAD Time : 7647.0 sec. user=vaughan [2010-08-16 11:02:32] 2633*2^582652-1 is not prime. Res64: 38F81C944FA4FC4E Time : 7750.0 sec. user=vaughan [2010-08-16 11:03:21] 2639*2^582652-1 is not prime. Res64: 5D3730A8F326B64F Time : 7628.0 sec. user=vaughan [2010-08-16 11:04:00] 2649*2^582652-1 is not prime. Res64: C9E9107C45F78528 Time : 7358.0 sec. user=vaughan [2010-08-16 11:11:03] 2759*2^582652-1 is not prime. Res64: BC932D66F9B51AA3 Time : 7549.0 sec. user=vaughan [2010-08-16 11:13:40] 2789*2^582652-1 is not prime. Res64: 277096DCA0D24EBB Time : 7565.0 sec. user=vaughan [2010-08-16 11:15:02] 2693*2^582652-1 is not prime. Res64: CFFC99F4C16FC56C Time : 7843.0 sec. user=vaughan [2010-08-16 11:15:26] 2007*2^582653-1 is not prime. Res64: F99E61BF400928F2 Time : 7399.0 sec. user=vaughan [2010-08-16 11:23:06] 2061*2^582653-1 is not prime. Res64: 1C2BFA93CF29E1DB Time : 7525.0 sec. user=vaughan [2010-08-16 11:25:01] 2191*2^582653-1 is not prime. Res64: 5A0A92838D928EA6 Time : 7550.0 sec. user=vaughan [2010-08-16 11:26:28] 2271*2^582653-1 is not prime. Res64: 1C81E6DB605CEBC0 Time : 7371.0 sec. user=vaughan [2010-08-16 11:27:07] 2017*2^582653-1 is not prime. Res64: 3F5D21D0A678B0FC Time : 7921.0 sec. user=vaughan [2010-08-16 11:35:22] 2287*2^582653-1 is not prime. Res64: E21362C47C40A9C0 Time : 7606.0 sec. user=vaughan [2010-08-16 11:36:04] 2401*2^582653-1 is not prime. Res64: 78267716F1F013D2 Time : 7491.0 sec. user=vaughan [2010-08-16 11:36:45] 2421*2^582653-1 is not prime. Res64: 9C48EA3339E94000 Time : 7282.0 sec. user=vaughan [2010-08-16 11:39:55] 2281*2^582653-1 is not prime. Res64: 3360BB25960F21AE Time : 8037.0 sec. user=vaughan [2010-08-16 11:45:08] 2505*2^582653-1 is not prime. Res64: 94A6646EA552C851 Time : 7546.0 sec. user=vaughan [2010-08-16 12:04:40] 2761*2^582653-1 is not prime. Res64: FF1DB36CA6624750 Time : 8052.0 sec. user=vaughan [2010-08-16 12:04:40] 2153*2^582654-1 is not prime. Res64: E6E8889CDA49813B Time : 7324.0 sec. user=vaughan [2010-08-16 12:04:40] 2589*2^582653-1 is not prime. Res64: 139825982BD00A45 Time : 8253.0 sec. user=vaughan [2010-08-16 12:04:41] 2491*2^582653-1 is not prime. Res64: 30CDF24C4C61D4C3 Time : 8792.0 sec. user=vaughan [2010-08-16 12:04:41] 2961*2^582653-1 is not prime. Res64: DBF39208C72E632E Time : 8042.0 sec. user=vaughan [2010-08-16 12:04:43] 2123*2^582654-1 is not prime. Res64: D373FECD473A0EC9 Time : 7634.0 sec. user=vaughan [2010-08-16 12:05:31] 2511*2^582653-1 is not prime. Res64: 707A344D4B111D30 Time : 8540.0 sec. user=vaughan [2010-08-16 12:05:32] 2971*2^582653-1 is not prime. Res64: 5222522B1F872AA5 Time : 7799.0 sec. user=vaughan [2010-08-16 12:09:00] 2271*2^582654-1 is not prime. Res64: 98A1746B95ED7793 Time : 7383.0 sec. user=vaughan [2010-08-16 12:16:37] 2427*2^582654-1 is not prime. Res64: 8CEDC172A2C41747 Time : 7287.0 sec. user=vaughan [2010-08-16 12:16:45] 2277*2^582654-1 is not prime. Res64: 4C608D6740802B50 Time : 7769.0 sec. user=vaughan [2010-08-16 12:16:56] 2243*2^582654-1 is not prime. Res64: 70C5E043A7ABBA3C Time : 8010.0 sec. user=vaughan [2010-08-16 12:17:00] 2443*2^582647-1 is not prime. Res64: CB71635781457332 Time : 24147.0 sec. user=vaughan [2010-08-16 12:18:38] 2597*2^582654-1 is not prime. Res64: 91731586E8514A1F Time : 7254.0 sec. user=vaughan [2010-08-16 12:27:36] 2685*2^582654-1 is not prime. Res64: C20665E28FAF59E2 Time : 7268.0 sec. user=vaughan [2010-08-16 12:27:43] 2645*2^582654-1 is not prime. Res64: 570D551C4CA83700 Time : 7761.0 sec. user=vaughan [2010-08-16 12:28:28] 2301*2^582654-1 is not prime. Res64: 458D7515AEBB381D Time : 8003.0 sec. user=vaughan [2010-08-16 12:30:53] 2735*2^582654-1 is not prime. Res64: 6511197B5198EE80 Time : 7228.0 sec. user=vaughan [2010-08-16 12:38:35] 2697*2^582654-1 is not prime. Res64: 65039B950F494499 Time : 7735.0 sec. user=vaughan [2010-08-16 12:40:02] 2837*2^582654-1 is not prime. Res64: AD08D800311B99ED Time : 7358.0 sec. user=vaughan [2010-08-16 12:40:19] 2655*2^582654-1 is not prime. Res64: 4ED43FE1AB49165C Time : 8108.0 sec. user=vaughan [2010-08-16 12:41:46] 2915*2^582654-1 is not prime. Res64: FADF4B639B469821 Time : 7121.0 sec. user=vaughan [2010-08-16 12:50:07] 2043*2^582655-1 is not prime. Res64: 996D75DAD244DD2C Time : 7042.0 sec. user=vaughan [2010-08-16 12:50:49] 2883*2^582654-1 is not prime. Res64: 0B6ABB53D13697B9 Time : 7827.0 sec. user=vaughan [2010-08-16 12:53:03] 2925*2^582654-1 is not prime. Res64: 2848CB78092365CF Time : 7438.0 sec. user=vaughan [2010-08-16 12:54:25] 2813*2^582654-1 is not prime. Res64: 4CAF154FC408D7C3 Time : 8236.0 sec. user=vaughan [2010-08-16 13:00:38] 2245*2^582655-1 is not prime. Res64: 42A36B262C779F4F Time : 7037.0 sec. user=vaughan [2010-08-16 13:01:54] 2121*2^582655-1 is not prime. Res64: 0F240A1EDF7D45E0 Time : 7725.0 sec. user=vaughan [2010-08-16 13:04:12] 2145*2^582655-1 is not prime. Res64: F8EE236DA6A78D4D Time : 7449.0 sec. user=vaughan [2010-08-16 13:05:26] 2921*2^582654-1 is not prime. Res64: 6B2EEE476D0C31D3 Time : 8219.0 sec. user=vaughan [2010-08-16 13:12:54] 2275*2^582655-1 is not prime. Res64: E9B3E6DA7292EE54 Time : 7154.0 sec. user=vaughan [2010-08-16 13:13:57] 2253*2^582655-1 is not prime. Res64: 044F9DA7A52F1749 Time : 7798.0 sec. user=vaughan [2010-08-16 13:16:06] 2271*2^582655-1 is not prime. Res64: C3D7C0C2480800E3 Time : 7503.0 sec. user=vaughan [2010-08-16 13:16:09] 2211*2^582655-1 is not prime. Res64: B469E1367FDB2C52 Time : 8017.0 sec. user=vaughan [2010-08-16 13:24:01] 2443*2^582655-1 is not prime. Res64: CF215D8973C2F705 Time : 7716.0 sec. user=vaughan [2010-08-16 13:25:18] 2491*2^582655-1 is not prime. Res64: A3055ED15A263B25 Time : 7218.0 sec. user=vaughan [2010-08-16 13:26:56] 2455*2^582655-1 is not prime. Res64: 4E58BCBB35FA87E9 Time : 7430.0 sec. user=vaughan [2010-08-16 13:28:48] 2379*2^582655-1 is not prime. Res64: 9B50C2FEF162104B Time : 8026.0 sec. user=vaughan [2010-08-16 13:35:37] 2553*2^582655-1 is not prime. Res64: ACBD769E56029B37 Time : 7749.0 sec. user=vaughan [2010-08-16 13:36:01] 2583*2^582655-1 is not prime. Res64: 3E8685EFCD277DA2 Time : 7197.0 sec. user=vaughan [2010-08-16 13:36:57] 2395*2^582649-1 is not prime. Res64: 21CF9FE12096C5D4 Time : 24074.0 sec. user=vaughan [2010-08-16 13:38:12] 2581*2^582655-1 is not prime. Res64: 7A47143044732BCD Time : 7371.0 sec. user=vaughan [2010-08-16 13:42:00] 2571*2^582655-1 is not prime. Res64: CCA5ADFE09F5F324 Time : 8093.0 sec. user=vaughan [2010-08-16 13:44:17] 2309*2^582656-1 is not prime. Res64: 3C9251C478C7458D Time : 5927.0 sec. user=vaughan [2010-08-16 13:47:56] 2589*2^582655-1 is not prime. Res64: 669C07901E5B1DC0 Time : 7871.0 sec. user=vaughan [2010-08-16 13:51:12] 2653*2^582655-1 is not prime. Res64: 19DE726ECC4F4BD7 Time : 7565.0 sec. user=vaughan [2010-08-16 13:54:07] 2623*2^582655-1 is not prime. Res64: DA996C3456F1741A Time : 8052.0 sec. user=vaughan [2010-08-16 13:55:14] 2363*2^582656-1 is not prime. Res64: 95D7F187458D06E4 Time : 6583.0 sec. user=vaughan [2010-08-16 14:00:14] 2247*2^582656-1 is not prime. Res64: 76374B4A52B9BB84 Time : 6932.0 sec. user=vaughan [2010-08-16 14:03:15] 2665*2^582655-1 is not prime. Res64: A9A9656393C010E4 Time : 7116.0 sec. user=vaughan [2010-08-16 14:05:28] 2785*2^582655-1 is not prime. Res64: B9EB3AC1446F35E7 Time : 7249.0 sec. user=vaughan [2010-08-16 14:07:06] 2595*2^582656-1 is not prime. Res64: A518B7480495C023 Time : 7087.0 sec. user=vaughan [2010-08-16 14:10:25] 2283*2^582656-1 is not prime. Res64: 4F56F3D55E5A4187 Time : 7542.0 sec. user=vaughan [2010-08-16 14:14:02] 2929*2^582655-1 is not prime. Res64: 9D86F0EFA40EA15F Time : 7762.0 sec. user=vaughan [2010-08-16 14:16:26] 2895*2^582656-1 is not prime. Res64: 54405FD6D8264C49 Time : 7068.0 sec. user=vaughan [2010-08-16 14:18:31] 2129*2^582656-1 is not prime. Res64: 7D2D878A2A1C4C29 Time : 8031.0 sec. user=vaughan [2010-08-16 14:22:27] 2817*2^582656-1 is not prime. Res64: 6D53BBC4503089FF Time : 7542.0 sec. user=vaughan [2010-08-16 14:24:45] 2597*2^582656-1 is not prime. Res64: D7F181EA563FFA06 Time : 7688.0 sec. user=vaughan [2010-08-16 14:28:58] 2047*2^582657-1 is not prime. Res64: E87EF3C70E51FF88 Time : 7085.0 sec. user=vaughan [2010-08-16 14:30:15] 2835*2^582656-1 is not prime. Res64: 9B2D39F9B05AD4A5 Time : 7999.0 sec. user=vaughan [2010-08-16 14:34:20] 2957*2^582656-1 is not prime. Res64: F016FCFD8038A176 Time : 7597.0 sec. user=vaughan [2010-08-16 14:35:21] 2933*2^582656-1 is not prime. Res64: 07C957374A9C1CBF Time : 7666.0 sec. user=vaughan [2010-08-16 14:41:27] 2337*2^582657-1 is not prime. Res64: 69A0D0F9B9605CE9 Time : 7182.0 sec. user=vaughan [2010-08-16 14:42:01] 2029*2^582657-1 is not prime. Res64: B4A671E37D16BC89 Time : 8013.0 sec. user=vaughan [2010-08-16 14:45:07] 2215*2^582657-1 is not prime. Res64: 1AF14FFEDB95F1AA Time : 7592.0 sec. user=vaughan [2010-08-16 14:47:31] 2217*2^582657-1 is not prime. Res64: F1384435F9174C3F Time : 7649.0 sec. user=vaughan [2010-08-16 14:50:45] 2467*2^582657-1 is not prime. Res64: 27318BE0BD442A3F Time : 7238.0 sec. user=vaughan [2010-08-16 14:55:58] 2289*2^582657-1 is not prime. Res64: 71EB391FD50F7356 Time : 8140.0 sec. user=vaughan [2010-08-16 14:56:08] 2469*2^582657-1 is not prime. Res64: ABDC2E7987A59562 Time : 7519.0 sec. user=vaughan [2010-08-16 14:56:27] 2391*2^582651-1 is not prime. Res64: 334F050C868625C4 Time : 24009.0 sec. user=vaughan [2010-08-16 14:59:39] 2667*2^582657-1 is not prime. Res64: E229B7DFD79FCEEF Time : 7596.0 sec. user=vaughan [2010-08-16 15:00:11] 2721*2^582657-1 is not prime. Res64: A38C0EB3D983FDD3 Time : 7173.0 sec. user=vaughan [2010-08-16 15:06:56] 2679*2^582657-1 is not prime. Res64: 7B9A3C58544658BF Time : 7952.0 sec. user=vaughan [2010-08-16 15:08:28] 2785*2^582657-1 is not prime. Res64: 9784EAA838CE3108 Time : 7595.0 sec. user=vaughan [2010-08-16 15:10:19] 2805*2^582657-1 is not prime. Res64: EAE2C744F062FF20 Time : 7568.0 sec. user=vaughan [2010-08-16 15:14:15] 2851*2^582657-1 is not prime. Res64: 066EE8695EF05EDB Time : 7282.0 sec. user=vaughan [2010-08-16 15:18:27] 2889*2^582657-1 is not prime. Res64: 671871FEA6C42E89 Time : 7470.0 sec. user=vaughan [2010-08-16 15:18:30] 2811*2^582657-1 is not prime. Res64: D6CDC4CEBE59259C Time : 7984.0 sec. user=vaughan [2010-08-16 15:22:22] 2947*2^582657-1 is not prime. Res64: 538D763D1AFC940C Time : 7576.0 sec. user=vaughan [2010-08-16 15:26:18] 2043*2^582658-1 is not prime. Res64: 3FBAF7D61D11E258 Time : 7261.0 sec. user=vaughan [2010-08-16 15:28:58] 2031*2^582658-1 is not prime. Res64: 68B031FB6DE4B754 Time : 7970.0 sec. user=vaughan [2010-08-16 15:29:40] 2033*2^582658-1 is not prime. Res64: F5AF475B14C0AFB9 Time : 7540.0 sec. user=vaughan [2010-08-16 15:34:21] 2073*2^582658-1 is not prime. Res64: B31F08C52B412C9D Time : 7645.0 sec. user=vaughan [2010-08-16 15:36:25] 2235*2^582658-1 is not prime. Res64: 3FB53F22ADB62CF3 Time : 7224.0 sec. user=vaughan [2010-08-16 15:39:47] 2135*2^582658-1 is not prime. Res64: 8507D580B0BF7E08 Time : 7860.0 sec. user=vaughan [2010-08-16 15:41:50] 2207*2^582658-1 is not prime. Res64: 6F55D7E483C9C621 Time : 7574.0 sec. user=vaughan [2010-08-16 15:46:21] 2327*2^582658-1 is not prime. Res64: 61B0D96D94BEA133 Time : 7689.0 sec. user=vaughan [2010-08-16 15:49:16] 2471*2^582658-1 is not prime. Res64: 22D20C65D8B56028 Time : 7500.0 sec. user=vaughan [2010-08-16 15:50:55] 2385*2^582658-1 is not prime. Res64: C531E1265A1D86A3 Time : 7735.0 sec. user=vaughan [2010-08-16 15:53:17] 2481*2^582658-1 is not prime. Res64: C5C173E9B05BB33B Time : 7522.0 sec. user=vaughan [2010-08-16 15:57:35] 2537*2^582658-1 is not prime. Res64: EE123164D308BBFD Time : 7584.0 sec. user=vaughan [2010-08-16 15:59:19] 2603*2^582658-1 is not prime. Res64: AC8987CA56240DEB Time : 7445.0 sec. user=vaughan [2010-08-16 16:02:27] 2541*2^582658-1 is not prime. Res64: AAA808A986B3F16E Time : 7700.0 sec. user=vaughan [2010-08-16 16:06:48] 2663*2^582658-1 is not prime. Res64: 9741AC2CA8F6DAF4 Time : 7595.0 sec. user=vaughan [2010-08-16 16:09:24] 2777*2^582658-1 is not prime. Res64: 26818DFAA2ACC9F2 Time : 7569.0 sec. user=vaughan [2010-08-16 16:11:18] 2855*2^582658-1 is not prime. Res64: F789BD259200B8E1 Time : 7452.0 sec. user=vaughan [2010-08-16 16:12:58] 2841*2^582658-1 is not prime. Res64: 646B4D0BC6C1DFB6 Time : 7651.0 sec. user=vaughan [2010-08-16 16:16:13] 2475*2^582653-1 is not prime. Res64: 81D69CB5CE80521D Time : 23970.0 sec. user=vaughan [2010-08-16 16:17:30] 2891*2^582658-1 is not prime. Res64: F370CE44BB9AE32F Time : 7626.0 sec. user=vaughan [2010-08-16 16:21:29] 2907*2^582658-1 is not prime. Res64: AEF7F64D8A7CF245 Time : 7648.0 sec. user=vaughan [2010-08-16 16:23:15] 2931*2^582658-1 is not prime. Res64: 2694C101CCD7118D Time : 7609.0 sec. user=vaughan [2010-08-16 16:23:42] 2957*2^582658-1 is not prime. Res64: 74ED65B84B263A67 Time : 7511.0 sec. user=vaughan [2010-08-16 16:28:32] 2113*2^582659-1 is not prime. Res64: AD9F5C93DF08A715 Time : 7566.0 sec. user=vaughan [2010-08-16 16:32:49] 2215*2^582659-1 is not prime. Res64: 7FDCBB4BE7E8AAFE Time : 7431.0 sec. user=vaughan [2010-08-16 16:33:24] 2131*2^582659-1 is not prime. Res64: 6AE18D585F5885FD Time : 7719.0 sec. user=vaughan [2010-08-16 16:36:56] 2271*2^582659-1 is not prime. Res64: 075295A5C1B4D75E Time : 7601.0 sec. user=vaughan [2010-08-16 16:40:07] 2289*2^582659-1 is not prime. Res64: 13AFFD41EB1FA5BB Time : 7548.0 sec. user=vaughan [2010-08-16 16:44:10] 2413*2^582659-1 is not prime. Res64: C6D601E58857F784 Time : 7364.0 sec. user=vaughan [2010-08-16 16:46:37] 2449*2^582659-1 is not prime. Res64: 920517CFCE8BA0CB Time : 7476.0 sec. user=vaughan [2010-08-16 16:46:41] 2371*2^582659-1 is not prime. Res64: B00A9EDCD86BB02B Time : 7881.0 sec. user=vaughan [2010-08-16 16:51:02] 2475*2^582659-1 is not prime. Res64: A558DCE6E39D028C Time : 7555.0 sec. user=vaughan [2010-08-16 16:54:24] 2533*2^582659-1 is not prime. Res64: EEF2DCB0711546B1 Time : 7419.0 sec. user=vaughan [2010-08-16 16:58:18] 2479*2^582659-1 is not prime. Res64: 5558D7E6010726A1 Time : 7847.0 sec. user=vaughan [2010-08-16 16:58:29] 2593*2^582659-1 is not prime. Res64: 073B2D7B45B80D82 Time : 7352.0 sec. user=vaughan [2010-08-16 17:03:11] 2679*2^582659-1 is not prime. Res64: F415E51AF1B5D345 Time : 7623.0 sec. user=vaughan [2010-08-16 17:06:48] 2919*2^582659-1 is not prime. Res64: 524181741B8E1F6B Time : 7597.0 sec. user=vaughan [2010-08-16 17:10:36] 2955*2^582659-1 is not prime. Res64: 1F7F8F700952A867 Time : 7420.0 sec. user=vaughan [2010-08-16 17:10:49] 2863*2^582659-1 is not prime. Res64: CE6FDF5A8D4FAD4A Time : 7870.0 sec. user=vaughan [2010-08-16 17:14:03] 2049*2^582660-1 is not prime. Res64: 7CAE1B409566F54D Time : 7536.0 sec. user=vaughan [2010-08-16 17:16:49] 2103*2^582660-1 is not prime. Res64: DF04D4C2659F5EEF Time : 7354.0 sec. user=vaughan [2010-08-16 17:20:52] 2217*2^582660-1 is not prime. Res64: 64C605523789D58C Time : 7342.0 sec. user=vaughan [2010-08-16 17:22:50] 2063*2^582660-1 is not prime. Res64: BC5C4F5595AE86F9 Time : 7951.0 sec. user=vaughan [2010-08-16 17:25:49] 2187*2^582660-1 is not prime. Res64: F9EABBAB8E525FB2 Time : 7642.0 sec. user=vaughan [2010-08-16 17:28:16] 2397*2^582660-1 is not prime. Res64: F9D79F6BB8707892 Time : 7318.0 sec. user=vaughan [2010-08-16 17:33:07] 2435*2^582660-1 is not prime. Res64: C9BB54AB9394AE0B Time : 7450.0 sec. user=vaughan [2010-08-16 17:34:17] 2259*2^582660-1 is not prime. Res64: 3AAA5782C3B2D549 Time : 7916.0 sec. user=vaughan [2010-08-16 17:36:15] 2143*2^582655-1 is not prime. Res64: C11F6697804823CC Time : 23951.0 sec. user=vaughan [2010-08-16 17:36:16] 2475*2^582660-1 is not prime. Res64: 3515B715245B62D4 Time : 7596.0 sec. user=vaughan [2010-08-16 17:40:09] 2747*2^582660-1 is not prime. Res64: B774222B416135B2 Time : 7425.0 sec. user=vaughan [2010-08-16 17:44:33] 2765*2^582660-1 is not prime. Res64: AB1DCD9F553E9CA4 Time : 7486.0 sec. user=vaughan [2010-08-16 17:45:35] 2727*2^582660-1 is not prime. Res64: 457B9C922BCDCD1C Time : 7875.0 sec. user=vaughan [2010-08-16 17:47:17] 2769*2^582660-1 is not prime. Res64: 9E4C66558161AEC2 Time : 7528.0 sec. user=vaughan [2010-08-16 17:52:52] 2867*2^582660-1 is not prime. Res64: 01493663DA3D41F5 Time : 7416.0 sec. user=vaughan [2010-08-16 17:55:24] 2847*2^582660-1 is not prime. Res64: 8A5932F8C3C8AFA7 Time : 7743.0 sec. user=vaughan [2010-08-16 17:56:21] 2973*2^582660-1 is not prime. Res64: E3B49EA83BDCC6B3 Time : 7527.0 sec. user=vaughan [2010-08-16 17:59:19] 2121*2^582661-1 is not prime. Res64: F93F814FCB4A9179 Time : 7562.0 sec. user=vaughan [2010-08-16 18:04:36] 2257*2^582661-1 is not prime. Res64: A10DD9B45791BE7A Time : 7517.0 sec. user=vaughan [2010-08-16 18:06:28] 2179*2^582661-1 is not prime. Res64: A0CC380ED71D7DB0 Time : 7734.0 sec. user=vaughan [2010-08-16 18:08:30] 2287*2^582661-1 is not prime. Res64: C0FE83AC6B39E4FC Time : 7564.0 sec. user=vaughan [2010-08-16 18:11:03] 2299*2^582661-1 is not prime. Res64: 6426CA0D9994C931 Time : 7456.0 sec. user=vaughan [2010-08-16 18:15:21] 2469*2^582661-1 is not prime. Res64: 820979A7E4867E2E Time : 7444.0 sec. user=vaughan [2010-08-16 18:18:01] 2401*2^582661-1 is not prime. Res64: FB1F8358416E530B Time : 7718.0 sec. user=vaughan [2010-08-16 18:19:47] 2511*2^582661-1 is not prime. Res64: 9168245D5D85BFF3 Time : 7610.0 sec. user=vaughan [2010-08-16 18:22:54] 2649*2^582661-1 is not prime. Res64: 3A222D48A632E011 Time : 7525.0 sec. user=vaughan [2010-08-16 18:26:22] 2859*2^582661-1 is not prime. Res64: 1442F82E691C0BA5 Time : 7387.0 sec. user=vaughan [2010-08-16 18:29:27] 2667*2^582661-1 is not prime. Res64: 71A5FBCFE6B96ED2 Time : 7679.0 sec. user=vaughan [2010-08-16 18:32:42] 2911*2^582661-1 is not prime. Res64: 489816D87DE4E1F7 Time : 7741.0 sec. user=vaughan [2010-08-16 18:33:19] 2931*2^582661-1 is not prime. Res64: 1734DB82AE8268F7 Time : 7488.0 sec. user=vaughan [2010-08-16 18:39:11] 2031*2^582662-1 is not prime. Res64: 4A57EC5A894C35C2 Time : 7583.0 sec. user=vaughan [2010-08-16 18:40:16] 2045*2^582662-1 is not prime. Res64: ED7F6CA2443B14A2 Time : 7612.0 sec. user=vaughan [2010-08-16 18:43:44] 2105*2^582662-1 is not prime. Res64: 27931591B195D379 Time : 7609.0 sec. user=vaughan [2010-08-16 18:43:45] 2111*2^582662-1 is not prime. Res64: 355509F87D437FF6 Time : 7418.0 sec. user=vaughan [2010-08-16 18:50:11] 2177*2^582662-1 is not prime. Res64: 626910EA728B64B2 Time : 7562.0 sec. user=vaughan [2010-08-16 18:52:40] 2301*2^582662-1 is not prime. Res64: 66D546233908CE4E Time : 7559.0 sec. user=vaughan [2010-08-16 18:55:19] 2297*2^582662-1 is not prime. Res64: 992287292367100B Time : 7722.0 sec. user=vaughan [2010-08-16 18:56:18] 2405*2^582662-1 is not prime. Res64: A78D51B0D953AE4D Time : 7516.0 sec. user=vaughan [2010-08-16 18:57:15] 2867*2^582656-1 is not prime. Res64: F390EBB79D18D591 Time : 24015.0 sec. user=vaughan [2010-08-16 18:59:57] 2453*2^582662-1 is not prime. Res64: 90B626D5E13C5C62 Time : 7534.0 sec. user=vaughan [2010-08-16 19:04:26] 2541*2^582662-1 is not prime. Res64: C9F975CB25615CDB Time : 7568.0 sec. user=vaughan [2010-08-16 19:07:39] 2723*2^582662-1 is not prime. Res64: F637D7FE848D8C17 Time : 7750.0 sec. user=vaughan [2010-08-16 19:08:25] 2735*2^582662-1 is not prime. Res64: 43DBE310E3031E38 Time : 7514.0 sec. user=vaughan [2010-08-16 19:11:22] 2751*2^582662-1 is not prime. Res64: ADBFCA017597C8C8 Time : 7474.0 sec. user=vaughan [2010-08-16 19:15:18] 2927*2^582662-1 is not prime. Res64: C0D6808776A63151 Time : 7470.0 sec. user=vaughan [2010-08-16 19:19:17] 2861*2^582662-1 is not prime. Res64: EBA834557C0C816B Time : 7722.0 sec. user=vaughan [2010-08-16 19:20:01] 2933*2^582662-1 is not prime. Res64: E2CE8FDB96541D3C Time : 7559.0 sec. user=vaughan [2010-08-16 19:22:12] 2089*2^582663-1 is not prime. Res64: C7C611AF7A5D8CA7 Time : 7523.0 sec. user=vaughan [2010-08-16 19:27:42] 2211*2^582663-1 is not prime. Res64: 8B7E9936D1D39E7D Time : 7493.0 sec. user=vaughan [2010-08-16 19:31:05] 2275*2^582663-1 is not prime. Res64: 30A3F37EA629204A Time : 7370.0 sec. user=vaughan [2010-08-16 19:32:20] 2145*2^582663-1 is not prime. Res64: 84C2907481F5E805 Time : 7889.0 sec. user=vaughan [2010-08-16 19:32:42] 2223*2^582663-1 is not prime. Res64: 665CFB41C58416C6 Time : 7614.0 sec. user=vaughan [2010-08-16 19:37:30] 2403*2^582663-1 is not prime. Res64: C27D60CA2200871C Time : 7393.0 sec. user=vaughan [2010-08-16 19:42:22] 2601*2^582663-1 is not prime. Res64: C0B5ECB3A124227C Time : 7333.0 sec. user=vaughan [2010-08-16 19:43:36] 2385*2^582663-1 is not prime. Res64: 256FF4CF6FF71579 Time : 7830.0 sec. user=vaughan [2010-08-16 19:44:47] 2583*2^582663-1 is not prime. Res64: 660D24935272DB8A Time : 7711.0 sec. user=vaughan [2010-08-16 19:50:06] 2695*2^582663-1 is not prime. Res64: AB49BF9DCBC9A297 Time : 7472.0 sec. user=vaughan [2010-08-16 19:51:53] 2751*2^582663-1 is not prime. Res64: 8C6C20E5AA651FCB Time : 7142.0 sec. user=vaughan [2010-08-16 19:56:10] 2685*2^582663-1 is not prime. Res64: A472D2F8C8234CA0 Time : 7897.0 sec. user=vaughan [2010-08-16 19:56:55] 2721*2^582663-1 is not prime. Res64: C1B8632CF4F85D1C Time : 7778.0 sec. user=vaughan [2010-08-16 20:02:23] 2985*2^582663-1 is not prime. Res64: 7490607651DFE579 Time : 7068.0 sec. user=vaughan [2010-08-16 20:02:34] 2791*2^582663-1 is not prime. Res64: 2D9C616A6985460E Time : 7630.0 sec. user=vaughan [2010-08-16 20:08:06] 2931*2^582663-1 is not prime. Res64: B50A0B310D7B1134 Time : 7905.0 sec. user=vaughan [2010-08-16 20:08:55] 2971*2^582663-1 is not prime. Res64: BD267FEA1DF0A842 Time : 7777.0 sec. user=vaughan [2010-08-16 20:13:45] 2043*2^582664-1 is not prime. Res64: D61FC57F90E97B87 Time : 7638.0 sec. user=vaughan [2010-08-16 20:14:00] 2135*2^582664-1 is not prime. Res64: 4E6ECA4A3E4FD2E3 Time : 7120.0 sec. user=vaughan [2010-08-16 20:17:59] 2301*2^582658-1 is not prime. Res64: 6A0256C366586771 Time : 24062.0 sec. user=vaughan [2010-08-16 20:19:47] 2087*2^582664-1 is not prime. Res64: 5C0C57C184249720 Time : 7877.0 sec. user=vaughan [2010-08-16 20:20:17] 2123*2^582664-1 is not prime. Res64: 8FEBA29759AB4791 Time : 7755.0 sec. user=vaughan [2010-08-16 20:25:02] 2169*2^582664-1 is not prime. Res64: 54C04BD1928B32C2 Time : 7621.0 sec. user=vaughan [2010-08-16 20:25:05] 2373*2^582664-1 is not prime. Res64: E79E470C3FCDD3D9 Time : 7124.0 sec. user=vaughan [2010-08-16 20:31:16] 2337*2^582664-1 is not prime. Res64: 5A7FBD50E93576E3 Time : 7702.0 sec. user=vaughan [2010-08-16 20:32:14] 2235*2^582664-1 is not prime. Res64: 7E2B81FAF7107910 Time : 7947.0 sec. user=vaughan [2010-08-16 20:35:49] 2633*2^582664-1 is not prime. Res64: 55BC0A706561EB61 Time : 6998.0 sec. user=vaughan [2010-08-16 20:36:09] 2393*2^582664-1 is not prime. Res64: FDD1BBB653ACBD22 Time : 7602.0 sec. user=vaughan [2010-08-16 20:43:07] 2549*2^582664-1 is not prime. Res64: D8CEE3836830B4FF Time : 7788.0 sec. user=vaughan [2010-08-16 20:43:56] 2537*2^582664-1 is not prime. Res64: D68BE4709B9D7377 Time : 7874.0 sec. user=vaughan [2010-08-16 20:46:17] 2889*2^582664-1 is not prime. Res64: 1977D77BEB9736CA Time : 6967.0 sec. user=vaughan [2010-08-16 20:48:03] 2705*2^582664-1 is not prime. Res64: 39C9796191EF6580 Time : 7668.0 sec. user=vaughan [2010-08-16 20:55:30] 2775*2^582664-1 is not prime. Res64: 4C8C24D478979BFF Time : 7906.0 sec. user=vaughan [2010-08-16 20:56:39] 2763*2^582664-1 is not prime. Res64: 30722622A24BA2A9 Time : 7975.0 sec. user=vaughan [2010-08-16 20:57:00] 2127*2^582665-1 is not prime. Res64: 74D3FCE6D664E45D Time : 7023.0 sec. user=vaughan [2010-08-16 20:59:16] 2897*2^582664-1 is not prime. Res64: C2873FED7C9D3924 Time : 7596.0 sec. user=vaughan [2010-08-16 21:05:26] 2071*2^582665-1 is not prime. Res64: 06049B82E9AE0344 Time : 7749.0 sec. user=vaughan [2010-08-16 21:07:49] 2903*2^582664-1 is not prime. Res64: B3FEFBEC1254739D Time : 7950.0 sec. user=vaughan [2010-08-16 21:09:27] 2635*2^582665-1 is not prime. Res64: FE3D838151B7C6EA Time : 7085.0 sec. user=vaughan [2010-08-16 21:12:57] 2209*2^582665-1 is not prime. Res64: D44749DF3BCA126A Time : 7711.0 sec. user=vaughan [2010-08-16 21:15:53] 2629*2^582665-1 is not prime. Res64: 9F836F7AFB4EAA84 Time : 7648.0 sec. user=vaughan [2010-08-16 21:19:21] 2785*2^582665-1 is not prime. Res64: 409D4155BA52E0C4 Time : 7030.0 sec. user=vaughan [2010-08-16 21:20:19] 2449*2^582665-1 is not prime. Res64: FC91B06FBF002141 Time : 7960.0 sec. user=vaughan [2010-08-16 21:23:56] 2647*2^582665-1 is not prime. Res64: 453D90EE5C2E479A Time : 7718.0 sec. user=vaughan [2010-08-16 21:27:48] 2745*2^582665-1 is not prime. Res64: AFE132B676D3EB1E Time : 7667.0 sec. user=vaughan [2010-08-16 21:30:02] 2103*2^582666-1 is not prime. Res64: 30328B92EEA49008 Time : 7137.0 sec. user=vaughan [2010-08-16 21:32:21] 2659*2^582665-1 is not prime. Res64: 7BDAA7A6B2BD407B Time : 7984.0 sec. user=vaughan [2010-08-16 21:36:05] 2021*2^582666-1 is not prime. Res64: 5570EF809D43A252 Time : 7704.0 sec. user=vaughan [2010-08-16 21:37:44] 2531*2^582666-1 is not prime. Res64: D5A48A51B0ED9D51 Time : 7502.0 sec. user=vaughan [2010-08-16 21:38:28] 2713*2^582659-1 is not prime. Res64: FAFEDD07631250AC Time : 24121.0 sec. user=vaughan [2010-08-16 21:41:35] 2685*2^582666-1 is not prime. Res64: BB6C42F3587FAC03 Time : 7154.0 sec. user=vaughan [2010-08-16 21:45:15] 2301*2^582666-1 is not prime. Res64: 5489057EC3CCAEAB Time : 7975.0 sec. user=vaughan [2010-08-16 21:48:15] 2613*2^582666-1 is not prime. Res64: 315B2965EBD31B9C Time : 7845.0 sec. user=vaughan [2010-08-16 21:50:01] 2867*2^582666-1 is not prime. Res64: 87E17516D52DE8EC Time : 7514.0 sec. user=vaughan [2010-08-16 21:50:49] 2049*2^582667-1 is not prime. Res64: F44A8A28DE1BB622 Time : 7137.0 sec. user=vaughan [2010-08-16 21:58:04] 2723*2^582666-1 is not prime. Res64: 82E00D1403C7CB92 Time : 8068.0 sec. user=vaughan [2010-08-16 21:59:15] 2981*2^582666-1 is not prime. Res64: DB34E3D756B308A6 Time : 7749.0 sec. user=vaughan [2010-08-16 22:00:34] 2079*2^582667-1 is not prime. Res64: E7DFAEB3397817E6 Time : 7419.0 sec. user=vaughan [2010-08-16 22:03:14] 2145*2^582667-1 is not prime. Res64: B56E32EBA27C39CE Time : 7251.0 sec. user=vaughan [2010-08-16 22:10:23] 2155*2^582667-1 is not prime. Res64: A84B3B9691167468 Time : 7669.0 sec. user=vaughan [2010-08-16 22:10:46] 2071*2^582667-1 is not prime. Res64: 1AA8DC7CBF6EAF07 Time : 8076.0 sec. user=vaughan [2010-08-16 22:12:44] 2221*2^582667-1 is not prime. Res64: 2052AF704855FE74 Time : 7429.0 sec. user=vaughan [2010-08-16 22:12:51] 2389*2^582667-1 is not prime. Res64: 7B565F2AD6667D72 Time : 7132.0 sec. user=vaughan [2010-08-16 22:22:42] 2199*2^582667-1 is not prime. Res64: 50E21B2AB7761931 Time : 8076.0 sec. user=vaughan [2010-08-16 22:22:43] 2695*2^582667-1 is not prime. Res64: A97701D8A6E90ACB Time : 7058.0 sec. user=vaughan [2010-08-16 22:23:34] 2379*2^582667-1 is not prime. Res64: 88D5DAC0227C6554 Time : 7789.0 sec. user=vaughan [2010-08-16 22:24:29] 2535*2^582667-1 is not prime. Res64: 30B0D0220934B147 Time : 7452.0 sec. user=vaughan [2010-08-16 22:34:03] 2511*2^582667-1 is not prime. Res64: 9D54C3B2D3AB5EC0 Time : 8057.0 sec. user=vaughan [2010-08-16 22:34:33] 2913*2^582667-1 is not prime. Res64: 0D8499249BCCCD61 Time : 7124.0 sec. user=vaughan [2010-08-16 22:35:27] 2635*2^582667-1 is not prime. Res64: 995162F71B841367 Time : 7825.0 sec. user=vaughan [2010-08-16 22:35:43] 2785*2^582667-1 is not prime. Res64: 753C743A550FACC1 Time : 7468.0 sec. user=vaughan [2010-08-16 22:45:46] 2925*2^582667-1 is not prime. Res64: CAFF457C7C67B751 Time : 7778.0 sec. user=vaughan [2010-08-16 22:46:16] 2841*2^582667-1 is not prime. Res64: 8D1A63DBB9F5A0F0 Time : 8042.0 sec. user=vaughan [2010-08-16 22:46:49] 2147*2^582668-1 is not prime. Res64: 0F06DF2E2487831D Time : 7232.0 sec. user=vaughan [2010-08-16 22:46:58] 2959*2^582667-1 is not prime. Res64: D0970A3D50B72A1C Time : 7431.0 sec. user=vaughan [2010-08-16 22:56:50] 2103*2^582668-1 is not prime. Res64: 2A2F0D7922EB0DEE Time : 7975.0 sec. user=vaughan [2010-08-16 22:57:11] 2159*2^582668-1 is not prime. Res64: F58FD0544907F7CC Time : 7748.0 sec. user=vaughan [2010-08-16 22:58:57] 2595*2^582661-1 is not prime. Res64: B7822CBEDC99E30B Time : 24164.0 sec. user=vaughan [2010-08-16 22:59:04] 2225*2^582668-1 is not prime. Res64: 9605235AAC345376 Time : 7324.0 sec. user=vaughan [2010-08-16 22:59:08] 2177*2^582668-1 is not prime. Res64: 7C2AEF9CEA1F51B8 Time : 7419.0 sec. user=vaughan [2010-08-16 23:08:46] 2223*2^582668-1 is not prime. Res64: 38B444D60F48148F Time : 7927.0 sec. user=vaughan [2010-08-16 23:09:12] 2285*2^582668-1 is not prime. Res64: 9E1EEFF9131845F6 Time : 7797.0 sec. user=vaughan [2010-08-16 23:10:07] 2307*2^582668-1 is not prime. Res64: F1A839CD185D6667 Time : 7481.0 sec. user=vaughan [2010-08-16 23:10:13] 2397*2^582668-1 is not prime. Res64: F46382B39E7270BE Time : 7246.0 sec. user=vaughan [2010-08-16 23:18:58] 2339*2^582668-1 is not prime. Res64: 3F32C5EAE9E6BF2A Time : 7869.0 sec. user=vaughan [2010-08-16 23:20:57] 2637*2^582668-1 is not prime. Res64: 92825A8EF87DA765 Time : 7505.0 sec. user=vaughan [2010-08-16 23:21:00] 2469*2^582668-1 is not prime. Res64: CAC99CC24991C1F6 Time : 7684.0 sec. user=vaughan [2010-08-16 23:23:12] 2693*2^582668-1 is not prime. Res64: 2F9581F612401146 Time : 7432.0 sec. user=vaughan [2010-08-16 23:30:42] 2705*2^582668-1 is not prime. Res64: 249B54E4AA3B0888 Time : 7823.0 sec. user=vaughan [2010-08-16 23:30:45] 2745*2^582668-1 is not prime. Res64: AA85D854B3B6B68F Time : 7377.0 sec. user=vaughan [2010-08-16 23:33:07] 2727*2^582668-1 is not prime. Res64: 0782F51E2EA9C0BC Time : 7751.0 sec. user=vaughan [2010-08-16 23:34:28] 2783*2^582668-1 is not prime. Res64: 861DC0FE3030E74C Time : 7466.0 sec. user=vaughan [2010-08-16 23:41:50] 2835*2^582668-1 is not prime. Res64: 1171744B55254BAB Time : 7769.0 sec. user=vaughan [2010-08-16 23:42:07] 2913*2^582668-1 is not prime. Res64: 66D8E17C08B2A444 Time : 7463.0 sec. user=vaughan [2010-08-16 23:44:00] 2903*2^582668-1 is not prime. Res64: E514972842A650BE Time : 7675.0 sec. user=vaughan [2010-08-16 23:48:01] 2939*2^582668-1 is not prime. Res64: A47C7BDA8B2BF253 Time : 7586.0 sec. user=vaughan [2010-08-16 23:53:38] 2047*2^582669-1 is not prime. Res64: 99B15BE1EFCF4AD2 Time : 7417.0 sec. user=vaughan [2010-08-16 23:54:20] 2945*2^582668-1 is not prime. Res64: 38AD6F3AFEE7F556 Time : 7746.0 sec. user=vaughan [2010-08-16 23:54:33] 2025*2^582669-1 is not prime. Res64: A4C7EFFF77E8AD1C Time : 7579.0 sec. user=vaughan [2010-08-16 23:59:15] 2061*2^582669-1 is not prime. Res64: DDD4CB63F47D1810 Time : 7707.0 sec.