user=vaughan [2010-08-18 00:05:30] 2693*2^582698-1 is not prime. Res64: CE42F01564A144BF Time : 7739.0 sec. user=vaughan [2010-08-18 00:09:12] 2847*2^582698-1 is not prime. Res64: 9943F7BD0DAA610D Time : 7551.0 sec. user=vaughan [2010-08-18 00:09:20] 2841*2^582698-1 is not prime. Res64: 57104591CDA655E6 Time : 7686.0 sec. user=vaughan [2010-08-18 00:10:12] 2843*2^582698-1 is not prime. Res64: 64C65DD21C341594 Time : 7693.0 sec. user=vaughan [2010-08-18 00:17:30] 2927*2^582698-1 is not prime. Res64: CAC43B8A00BF99CE Time : 7672.0 sec. user=vaughan [2010-08-18 00:19:52] 2065*2^582699-1 is not prime. Res64: BF5E1A8E13063A08 Time : 7484.0 sec. user=vaughan [2010-08-18 00:21:32] 2023*2^582699-1 is not prime. Res64: 7057C7D49D784D59 Time : 7687.0 sec. user=vaughan [2010-08-18 00:22:25] 2943*2^582698-1 is not prime. Res64: 16912F1DCFD4F746 Time : 7760.0 sec. user=vaughan [2010-08-18 00:23:28] 2571*2^582693-1 is not prime. Res64: A6203B54912B89FE Time : 24010.0 sec. user=vaughan [2010-08-18 00:28:54] 2205*2^582699-1 is not prime. Res64: E219250073B3E2ED Time : 7658.0 sec. user=vaughan [2010-08-18 00:29:49] 2233*2^582699-1 is not prime. Res64: 3E55AA8D20B3AD02 Time : 7486.0 sec. user=vaughan [2010-08-18 00:33:24] 2313*2^582699-1 is not prime. Res64: 931ED662E3C6CCD1 Time : 7695.0 sec. user=vaughan [2010-08-18 00:34:50] 2355*2^582699-1 is not prime. Res64: E2C2A9AEE665331C Time : 7778.0 sec. user=vaughan [2010-08-18 00:40:25] 2509*2^582699-1 is not prime. Res64: 7FC31E1EF158D536 Time : 7346.0 sec. user=vaughan [2010-08-18 00:41:26] 2373*2^582699-1 is not prime. Res64: 3F8FF19AAA487C13 Time : 7730.0 sec. user=vaughan [2010-08-18 00:45:11] 2403*2^582699-1 is not prime. Res64: D685F92EC7123BCB Time : 7729.0 sec. user=vaughan [2010-08-18 00:46:40] 2379*2^582699-1 is not prime. Res64: 5F48321FE50837C3 Time : 7846.0 sec. user=vaughan [2010-08-18 00:50:06] 2833*2^582699-1 is not prime. Res64: 2125BE5A1FA9AD62 Time : 7278.0 sec. user=vaughan [2010-08-18 00:53:25] 2541*2^582699-1 is not prime. Res64: DA00ECA5CE14B28F Time : 7738.0 sec. user=vaughan [2010-08-18 00:56:54] 2665*2^582699-1 is not prime. Res64: 43D011728B6F5003 Time : 7736.0 sec. user=vaughan [2010-08-18 00:58:15] 2883*2^582699-1 is not prime. Res64: 3827D8A5A4A804CC Time : 7741.0 sec. user=vaughan [2010-08-18 01:01:53] 2319*2^582700-1 is not prime. Res64: 967128B9CBF3919A Time : 7250.0 sec. user=vaughan [2010-08-18 01:05:25] 2127*2^582700-1 is not prime. Res64: 29BBEA12FFB84D96 Time : 7802.0 sec. user=vaughan [2010-08-18 01:09:21] 2213*2^582700-1 is not prime. Res64: C9EE39466268785D Time : 7726.0 sec. user=vaughan [2010-08-18 01:10:01] 2165*2^582700-1 is not prime. Res64: 075FCEFCA073F0DE Time : 7836.0 sec. user=vaughan [2010-08-18 01:12:23] 2555*2^582700-1 is not prime. Res64: 5812DDE3AA3C6404 Time : 7178.0 sec. user=vaughan [2010-08-18 01:18:24] 2409*2^582700-1 is not prime. Res64: 3BA08E8AAB40E1C0 Time : 7919.0 sec. user=vaughan [2010-08-18 01:20:53] 2519*2^582700-1 is not prime. Res64: CBF84CC932AE2743 Time : 7726.0 sec. user=vaughan [2010-08-18 01:22:18] 2943*2^582700-1 is not prime. Res64: B478B56C0DA90E5C Time : 7044.0 sec. user=vaughan [2010-08-18 01:22:35] 2417*2^582700-1 is not prime. Res64: EDCFF17F8967260D Time : 7861.0 sec. user=vaughan [2010-08-18 01:29:53] 2577*2^582700-1 is not prime. Res64: 7EAF2D710283EC5B Time : 7884.0 sec. user=vaughan [2010-08-18 01:31:40] 2775*2^582700-1 is not prime. Res64: BB26DAE98C98D32A Time : 7667.0 sec. user=vaughan [2010-08-18 01:33:12] 2645*2^582700-1 is not prime. Res64: 8ECA80DC438DDB0D Time : 7907.0 sec. user=vaughan [2010-08-18 01:34:48] 2047*2^582701-1 is not prime. Res64: DDC5E56B20A47012 Time : 7034.0 sec. user=vaughan [2010-08-18 01:42:35] 2029*2^582701-1 is not prime. Res64: 4CFEB405DB4705F7 Time : 7647.0 sec. user=vaughan [2010-08-18 01:42:39] 2969*2^582700-1 is not prime. Res64: 7152938FBDB689E2 Time : 8006.0 sec. user=vaughan [2010-08-18 01:43:20] 2289*2^582695-1 is not prime. Res64: E55DDB0F6087EA71 Time : 23992.0 sec. user=vaughan [2010-08-18 01:44:06] 2007*2^582701-1 is not prime. Res64: E3E4EBFDFAAC9054 Time : 7822.0 sec. user=vaughan [2010-08-18 01:48:06] 2215*2^582701-1 is not prime. Res64: 4E64C2771BFD1961 Time : 7229.0 sec. user=vaughan [2010-08-18 01:53:35] 2127*2^582701-1 is not prime. Res64: 861CEAA61D39A537 Time : 7645.0 sec. user=vaughan [2010-08-18 01:54:27] 2119*2^582701-1 is not prime. Res64: 45E4C96DE4739083 Time : 8032.0 sec. user=vaughan [2010-08-18 01:54:53] 2209*2^582701-1 is not prime. Res64: 24108E2D1BAE452A Time : 7695.0 sec. user=vaughan [2010-08-18 02:01:05] 2365*2^582701-1 is not prime. Res64: 705C0D3A8FDAEF86 Time : 7340.0 sec. user=vaughan [2010-08-18 02:05:11] 2241*2^582701-1 is not prime. Res64: 6342EED0951D3FD9 Time : 7917.0 sec. user=vaughan [2010-08-18 02:05:26] 2251*2^582701-1 is not prime. Res64: F07584AC1A9B5E09 Time : 7669.0 sec. user=vaughan [2010-08-18 02:06:33] 2289*2^582701-1 is not prime. Res64: 6472A922685F0BB8 Time : 7701.0 sec. user=vaughan [2010-08-18 02:12:02] 2509*2^582701-1 is not prime. Res64: 1B103CEA3E60E7FB Time : 7371.0 sec. user=vaughan [2010-08-18 02:16:59] 2521*2^582701-1 is not prime. Res64: CD66D2B14E99C256 Time : 7660.0 sec. user=vaughan [2010-08-18 02:18:09] 2565*2^582701-1 is not prime. Res64: BBB8E9FA36DE444B Time : 7677.0 sec. user=vaughan [2010-08-18 02:18:13] 2449*2^582701-1 is not prime. Res64: 4AE5473D014ACD55 Time : 7963.0 sec. user=vaughan [2010-08-18 02:21:44] 2761*2^582701-1 is not prime. Res64: 27BF4B896ACCF094 Time : 7312.0 sec. user=vaughan [2010-08-18 02:28:23] 2931*2^582701-1 is not prime. Res64: 346A751F0D4BC890 Time : 7559.0 sec. user=vaughan [2010-08-18 02:29:26] 2577*2^582701-1 is not prime. Res64: 76BD03FF483B201D Time : 7916.0 sec. user=vaughan [2010-08-18 02:30:01] 2839*2^582701-1 is not prime. Res64: 85FFA07FC3E6CF36 Time : 7709.0 sec. user=vaughan [2010-08-18 02:33:29] 2135*2^582702-1 is not prime. Res64: 441F743F6F35D50D Time : 7420.0 sec. user=vaughan [2010-08-18 02:41:04] 2127*2^582702-1 is not prime. Res64: 0912F733C74E675F Time : 7931.0 sec. user=vaughan [2010-08-18 02:41:28] 2307*2^582702-1 is not prime. Res64: D2C3BA9080C32D30 Time : 7684.0 sec. user=vaughan [2010-08-18 02:41:43] 2361*2^582702-1 is not prime. Res64: 4A7E9ACB32E1F436 Time : 7613.0 sec. user=vaughan [2010-08-18 02:43:15] 2427*2^582702-1 is not prime. Res64: C66FE9035CE664AD Time : 7370.0 sec. user=vaughan [2010-08-18 02:52:32] 2501*2^582702-1 is not prime. Res64: 65934D1B20DD1E39 Time : 7866.0 sec. user=vaughan [2010-08-18 02:52:33] 2565*2^582702-1 is not prime. Res64: E8A4839226AA948E Time : 7643.0 sec. user=vaughan [2010-08-18 02:54:17] 2723*2^582702-1 is not prime. Res64: 94B4DA11F154FDE1 Time : 7452.0 sec. user=vaughan [2010-08-18 02:55:22] 2607*2^582702-1 is not prime. Res64: 0A5A74A23FED9552 Time : 7722.0 sec. user=vaughan [2010-08-18 03:03:18] 2873*2^582696-1 is not prime. Res64: 4564E640F556CB9B Time : 24008.0 sec. user=vaughan [2010-08-18 03:03:32] 2727*2^582702-1 is not prime. Res64: 42FDA9E9FF92CBEC Time : 7807.0 sec. user=vaughan [2010-08-18 03:04:45] 2783*2^582702-1 is not prime. Res64: 382E68A111A96B6D Time : 7590.0 sec. user=vaughan [2010-08-18 03:05:29] 2883*2^582702-1 is not prime. Res64: 30CC80828CE6A243 Time : 7416.0 sec. user=vaughan [2010-08-18 03:07:17] 2763*2^582702-1 is not prime. Res64: 4834B85564557D6B Time : 7824.0 sec. user=vaughan [2010-08-18 03:15:53] 2215*2^582703-1 is not prime. Res64: E36C516C177631D4 Time : 7552.0 sec. user=vaughan [2010-08-18 03:16:48] 2241*2^582703-1 is not prime. Res64: F093173528D45A97 Time : 7465.0 sec. user=vaughan [2010-08-18 03:16:59] 2925*2^582702-1 is not prime. Res64: 26CA973D43206494 Time : 7894.0 sec. user=vaughan [2010-08-18 03:18:08] 2001*2^582703-1 is not prime. Res64: 793F88C632BB567D Time : 7727.0 sec. user=vaughan [2010-08-18 03:26:59] 2659*2^582703-1 is not prime. Res64: 4C1424083485F85C Time : 7464.0 sec. user=vaughan [2010-08-18 03:27:34] 2611*2^582703-1 is not prime. Res64: 20C756A529D52877 Time : 7516.0 sec. user=vaughan [2010-08-18 03:29:01] 2343*2^582703-1 is not prime. Res64: 963D1937E935FC7F Time : 7837.0 sec. user=vaughan [2010-08-18 03:31:05] 2509*2^582703-1 is not prime. Res64: 5D820D413507441B Time : 7812.0 sec. user=vaughan [2010-08-18 03:38:11] 2821*2^582703-1 is not prime. Res64: DCA3043C77AE77C3 Time : 7404.0 sec. user=vaughan [2010-08-18 03:39:09] 2809*2^582703-1 is not prime. Res64: 6AA4DA637F8A48AD Time : 7558.0 sec. user=vaughan [2010-08-18 03:40:19] 2745*2^582703-1 is not prime. Res64: A3223FDA37120458 Time : 7827.0 sec. user=vaughan [2010-08-18 03:42:45] 2803*2^582703-1 is not prime. Res64: 70532A9E0EAD6F78 Time : 7865.0 sec. user=vaughan [2010-08-18 03:49:18] 2337*2^582704-1 is not prime. Res64: 863D4A1A5AD5DB2D Time : 7273.0 sec. user=vaughan [2010-08-18 03:51:04] 2189*2^582704-1 is not prime. Res64: B3047FC320EA8665 Time : 7619.0 sec. user=vaughan [2010-08-18 03:52:09] 2127*2^582704-1 is not prime. Res64: 7578C8A10F34CFB6 Time : 7770.0 sec. user=vaughan [2010-08-18 03:55:05] 2973*2^582703-1 is not prime. Res64: 8BF191C88A275516 Time : 7951.0 sec. user=vaughan [2010-08-18 04:00:33] 2397*2^582704-1 is not prime. Res64: 66C36E4A1E88C392 Time : 7169.0 sec. user=vaughan [2010-08-18 04:02:22] 2379*2^582704-1 is not prime. Res64: 9C92C8D272A22B9F Time : 7649.0 sec. user=vaughan [2010-08-18 04:04:59] 2357*2^582704-1 is not prime. Res64: 1C293CF99F0ABF06 Time : 7833.0 sec. user=vaughan [2010-08-18 04:07:45] 2339*2^582704-1 is not prime. Res64: 16D35D55C120DE30 Time : 8051.0 sec. user=vaughan [2010-08-18 04:11:18] 2595*2^582704-1 is not prime. Res64: 920139608540E1A3 Time : 7157.0 sec. user=vaughan [2010-08-18 04:14:10] 2477*2^582704-1 is not prime. Res64: B1D35AFF3276FB1D Time : 7658.0 sec. user=vaughan [2010-08-18 04:16:46] 2409*2^582704-1 is not prime. Res64: 4B3317760E711295 Time : 7896.0 sec. user=vaughan [2010-08-18 04:19:14] 2439*2^582704-1 is not prime. Res64: 36089F5131423ED3 Time : 8029.0 sec. user=vaughan [2010-08-18 04:23:11] 2477*2^582698-1 is not prime. Res64: 69B17161D8AC3495 Time : 24005.0 sec. user=vaughan [2010-08-18 04:24:36] 2675*2^582704-1 is not prime. Res64: 8DC01BC25AC4745E Time : 7588.0 sec. user=vaughan [2010-08-18 04:24:51] 2883*2^582704-1 is not prime. Res64: A1D33D58243DE1EA Time : 7387.0 sec. user=vaughan [2010-08-18 04:28:43] 2735*2^582704-1 is not prime. Res64: 44C7EA9CD64B717E Time : 7831.0 sec. user=vaughan [2010-08-18 04:31:21] 2625*2^582704-1 is not prime. Res64: AFAB8C559C6FB177 Time : 8063.0 sec. user=vaughan [2010-08-18 04:35:08] 2011*2^582705-1 is not prime. Res64: BC298552672BBD06 Time : 7300.0 sec. user=vaughan [2010-08-18 04:36:21] 2975*2^582704-1 is not prime. Res64: 712903681A711B4C Time : 7580.0 sec. user=vaughan [2010-08-18 04:39:53] 2955*2^582704-1 is not prime. Res64: 4A4DF247F7FA2FEC Time : 7828.0 sec. user=vaughan [2010-08-18 04:41:43] 2919*2^582704-1 is not prime. Res64: 5B55DC05A7F9C048 Time : 8000.0 sec. user=vaughan [2010-08-18 04:46:56] 2259*2^582705-1 is not prime. Res64: A28530012174B066 Time : 7421.0 sec. user=vaughan [2010-08-18 04:47:21] 2229*2^582705-1 is not prime. Res64: 106A68F8E1600CAD Time : 7553.0 sec. user=vaughan [2010-08-18 04:53:18] 2209*2^582705-1 is not prime. Res64: 9261B59B02CFBC18 Time : 7935.0 sec. user=vaughan [2010-08-18 04:53:21] 2247*2^582705-1 is not prime. Res64: DCFE0768B5793F8E Time : 7898.0 sec. user=vaughan [2010-08-18 04:58:29] 2365*2^582705-1 is not prime. Res64: 79DA2060981EE022 Time : 7452.0 sec. user=vaughan [2010-08-18 04:58:48] 2289*2^582705-1 is not prime. Res64: 098E924E2C4CB13B Time : 7575.0 sec. user=vaughan [2010-08-18 05:05:01] 2425*2^582705-1 is not prime. Res64: F5DFC7418F9957DF Time : 7779.0 sec. user=vaughan [2010-08-18 05:05:43] 2271*2^582705-1 is not prime. Res64: F3DCBE3C84605E1D Time : 7991.0 sec. user=vaughan [2010-08-18 05:09:01] 2655*2^582705-1 is not prime. Res64: 7745E698602A42B4 Time : 7412.0 sec. user=vaughan [2010-08-18 05:10:28] 2611*2^582705-1 is not prime. Res64: 38824881EFC7687C Time : 7543.0 sec. user=vaughan [2010-08-18 05:16:13] 2581*2^582705-1 is not prime. Res64: 437BCA1CBA0F12A4 Time : 7962.0 sec. user=vaughan [2010-08-18 05:16:53] 2691*2^582705-1 is not prime. Res64: 185E2CF5F83B801D Time : 7776.0 sec. user=vaughan [2010-08-18 05:21:21] 2721*2^582705-1 is not prime. Res64: 6A9134A3659A7EF2 Time : 7528.0 sec. user=vaughan [2010-08-18 05:21:26] 2739*2^582705-1 is not prime. Res64: 098D7B6119574189 Time : 7479.0 sec. user=vaughan [2010-08-18 05:28:01] 2785*2^582705-1 is not prime. Res64: 68DC5FCA45867F21 Time : 7793.0 sec. user=vaughan [2010-08-18 05:29:33] 2767*2^582705-1 is not prime. Res64: 2A5EDFA66BBCF9D4 Time : 7954.0 sec. user=vaughan [2010-08-18 05:31:39] 2827*2^582705-1 is not prime. Res64: F01B0C8F8EA57210 Time : 7481.0 sec. user=vaughan [2010-08-18 05:34:06] 2839*2^582705-1 is not prime. Res64: 7CACF2C6F688C0BF Time : 7593.0 sec. user=vaughan [2010-08-18 05:39:04] 2917*2^582705-1 is not prime. Res64: F69F096A2C710BED Time : 7679.0 sec. user=vaughan [2010-08-18 05:40:28] 2869*2^582705-1 is not prime. Res64: A1FF2E4C8A267CCE Time : 7887.0 sec. user=vaughan [2010-08-18 05:43:21] 2387*2^582700-1 is not prime. Res64: A7B1FBE5FEE98660 Time : 24014.0 sec. user=vaughan [2010-08-18 05:44:36] 2919*2^582705-1 is not prime. Res64: 41AFD32B7CA56442 Time : 7586.0 sec. user=vaughan [2010-08-18 05:44:43] 2043*2^582706-1 is not prime. Res64: 59868BEFD94CD61C Time : 7534.0 sec. user=vaughan [2010-08-18 05:50:16] 2103*2^582706-1 is not prime. Res64: 91319F3D747F3895 Time : 7652.0 sec. user=vaughan [2010-08-18 05:52:21] 2067*2^582706-1 is not prime. Res64: CA524E3057422E17 Time : 7922.0 sec. user=vaughan [2010-08-18 05:54:38] 2225*2^582706-1 is not prime. Res64: DD1EACE9E413B21E Time : 7520.0 sec. user=vaughan [2010-08-18 05:57:25] 2231*2^582706-1 is not prime. Res64: 93DC1DE63C66A2C4 Time : 7581.0 sec. user=vaughan [2010-08-18 06:01:58] 2397*2^582706-1 is not prime. Res64: D87C48631644F589 Time : 7613.0 sec. user=vaughan [2010-08-18 06:04:46] 2247*2^582706-1 is not prime. Res64: A1BF46C63783BF72 Time : 7957.0 sec. user=vaughan [2010-08-18 06:05:16] 2493*2^582706-1 is not prime. Res64: 78EF7ED7049BECFA Time : 7484.0 sec. user=vaughan [2010-08-18 06:09:57] 2543*2^582706-1 is not prime. Res64: A571428307D794A2 Time : 7656.0 sec. user=vaughan [2010-08-18 06:13:54] 2607*2^582706-1 is not prime. Res64: 4EA55FFB3AC254EE Time : 7569.0 sec. user=vaughan [2010-08-18 06:16:20] 2771*2^582706-1 is not prime. Res64: 33EC2C5B77EB9781 Time : 7502.0 sec. user=vaughan [2010-08-18 06:16:27] 2547*2^582706-1 is not prime. Res64: 7F81190193564EAB Time : 7888.0 sec. user=vaughan [2010-08-18 06:22:03] 2847*2^582706-1 is not prime. Res64: 2D1E527F8B00CC1E Time : 7675.0 sec. user=vaughan [2010-08-18 06:26:06] 2005*2^582707-1 is not prime. Res64: 90BB969CF724504C Time : 7612.0 sec. user=vaughan [2010-08-18 06:27:06] 2211*2^582707-1 is not prime. Res64: 28AC74D477156AE9 Time : 7336.0 sec. user=vaughan [2010-08-18 06:27:31] 2967*2^582706-1 is not prime. Res64: 646E14CEDA64C477 Time : 7846.0 sec. user=vaughan [2010-08-18 06:32:35] 2143*2^582707-1 is not prime. Res64: 75E706B3A7A4B4B8 Time : 7679.0 sec. user=vaughan [2010-08-18 06:37:47] 2301*2^582707-1 is not prime. Res64: 089B4670F27E4FFD Time : 7586.0 sec. user=vaughan [2010-08-18 06:38:21] 2343*2^582707-1 is not prime. Res64: 902CD88B59FF7F99 Time : 7393.0 sec. user=vaughan [2010-08-18 06:38:43] 2265*2^582707-1 is not prime. Res64: 19A83213C23FCE7D Time : 7801.0 sec. user=vaughan [2010-08-18 06:46:09] 2365*2^582707-1 is not prime. Res64: 6236D4C2E8078A41 Time : 7788.0 sec. user=vaughan [2010-08-18 06:48:01] 2475*2^582707-1 is not prime. Res64: 8B46D5014CD77A71 Time : 7266.0 sec. user=vaughan [2010-08-18 06:49:51] 2455*2^582707-1 is not prime. Res64: E0CF643E3D87B262 Time : 7689.0 sec. user=vaughan [2010-08-18 06:51:44] 2413*2^582707-1 is not prime. Res64: E64D2520D308C9FD Time : 7911.0 sec. user=vaughan [2010-08-18 06:57:34] 2673*2^582707-1 is not prime. Res64: 0413A8192A616AF1 Time : 7146.0 sec. user=vaughan [2010-08-18 06:59:07] 2533*2^582707-1 is not prime. Res64: 484ED2A1E818F0A1 Time : 7906.0 sec. user=vaughan [2010-08-18 07:02:32] 2671*2^582707-1 is not prime. Res64: A733FA3DBC4B3EF7 Time : 7751.0 sec. user=vaughan [2010-08-18 07:02:49] 2611*2^582707-1 is not prime. Res64: EE1AD017A23A01D5 Time : 7771.0 sec. user=vaughan [2010-08-18 07:03:58] 2997*2^582701-1 is not prime. Res64: D17A5D1E0C87A1EC Time : 24031.0 sec. user=vaughan [2010-08-18 07:08:22] 2983*2^582707-1 is not prime. Res64: D8F7ECDB0DA663B9 Time : 7161.0 sec. user=vaughan [2010-08-18 07:10:38] 2853*2^582707-1 is not prime. Res64: 6E5F8BE2E904F215 Time : 7910.0 sec. user=vaughan [2010-08-18 07:14:06] 2961*2^582707-1 is not prime. Res64: B32D293524704D4B Time : 7704.0 sec. user=vaughan [2010-08-18 07:14:27] 2929*2^582707-1 is not prime. Res64: C845001B64B437A2 Time : 7767.0 sec. user=vaughan [2010-08-18 07:20:03] 2229*2^582708-1 is not prime. Res64: EC784B394EE1D09D Time : 7117.0 sec. user=vaughan [2010-08-18 07:22:39] 2015*2^582708-1 is not prime. Res64: 4C9FCE861F10D9AF Time : 7932.0 sec. user=vaughan [2010-08-18 07:25:45] 2103*2^582708-1 is not prime. Res64: 0A04D5EC108660F1 Time : 7772.0 sec. user=vaughan [2010-08-18 07:27:40] 2195*2^582708-1 is not prime. Res64: 58144B10E36F2B63 Time : 7847.0 sec. user=vaughan [2010-08-18 07:30:00] 2373*2^582708-1 is not prime. Res64: 90BC592FCB351E93 Time : 6954.0 sec. user=vaughan [2010-08-18 07:34:40] 2223*2^582708-1 is not prime. Res64: EC476A878E3DE80E Time : 8000.0 sec. user=vaughan [2010-08-18 07:37:10] 2319*2^582708-1 is not prime. Res64: 89E7A172C398456B Time : 7658.0 sec. user=vaughan [2010-08-18 07:38:41] 2279*2^582708-1 is not prime. Res64: AABE9E9F5A6B1326 Time : 7841.0 sec. user=vaughan [2010-08-18 07:42:00] 2807*2^582708-1 is not prime. Res64: A0B879DE9F32B70E Time : 7045.0 sec. user=vaughan [2010-08-18 07:46:51] 2357*2^582708-1 is not prime. Res64: A68ADF30BF1EEE46 Time : 8113.0 sec. user=vaughan [2010-08-18 07:48:23] 2573*2^582708-1 is not prime. Res64: 90726C92362CA425 Time : 7676.0 sec. user=vaughan [2010-08-18 07:49:46] 2519*2^582708-1 is not prime. Res64: 0A42E2712D212D34 Time : 7843.0 sec. user=vaughan [2010-08-18 07:55:02] 2119*2^582709-1 is not prime. Res64: 1B37D2F7D12F4B8C Time : 7224.0 sec. user=vaughan [2010-08-18 07:56:51] 2877*2^582708-1 is not prime. Res64: 91BBA787D70DE10C Time : 7928.0 sec. user=vaughan [2010-08-18 07:57:57] 2047*2^582709-1 is not prime. Res64: C62FEE4AA3675834 Time : 7536.0 sec. user=vaughan [2010-08-18 08:03:17] 2993*2^582708-1 is not prime. Res64: 8094FF89193893CB Time : 7981.0 sec. user=vaughan [2010-08-18 08:06:30] 2137*2^582709-1 is not prime. Res64: C98890E7C4070587 Time : 7745.0 sec. user=vaughan [2010-08-18 08:09:08] 2227*2^582709-1 is not prime. Res64: 3F3E4A00A32027FC Time : 7463.0 sec. user=vaughan [2010-08-18 08:09:38] 2311*2^582709-1 is not prime. Res64: 95F948995AC84B45 Time : 7462.0 sec. user=vaughan [2010-08-18 08:13:35] 2197*2^582709-1 is not prime. Res64: CC39F700111E07BC Time : 7897.0 sec. user=vaughan [2010-08-18 08:17:28] 2361*2^582709-1 is not prime. Res64: 00132AF330B6765C Time : 7652.0 sec. user=vaughan [2010-08-18 08:20:03] 2515*2^582709-1 is not prime. Res64: 1391A23DBDD1447D Time : 7416.0 sec. user=vaughan [2010-08-18 08:21:44] 2437*2^582709-1 is not prime. Res64: 8FC2285FD3D17B75 Time : 7525.0 sec. user=vaughan [2010-08-18 08:24:20] 2159*2^582704-1 is not prime. Res64: B01E53C946C194DC Time : 24060.0 sec. user=vaughan [2010-08-18 08:27:17] 2385*2^582709-1 is not prime. Res64: CC666CD72EE6D586 Time : 8004.0 sec. user=vaughan [2010-08-18 08:28:05] 2611*2^582709-1 is not prime. Res64: 9E8A9AF69EDCBFFC Time : 7562.0 sec. user=vaughan [2010-08-18 08:30:56] 2877*2^582709-1 is not prime. Res64: D9B427BDC1935574 Time : 7405.0 sec. user=vaughan [2010-08-18 08:35:27] 2821*2^582709-1 is not prime. Res64: 9D643BD4E981A757 Time : 7702.0 sec. user=vaughan [2010-08-18 08:39:01] 2781*2^582709-1 is not prime. Res64: EF59AAB75C78A2BB Time : 7975.0 sec. user=vaughan [2010-08-18 08:39:05] 2929*2^582709-1 is not prime. Res64: BA8430912F401879 Time : 7591.0 sec. user=vaughan [2010-08-18 08:42:26] 2021*2^582710-1 is not prime. Res64: 64962E0AAA51E339 Time : 7424.0 sec. user=vaughan [2010-08-18 08:48:57] 2043*2^582710-1 is not prime. Res64: DCCBD0FB93464021 Time : 7368.0 sec. user=vaughan [2010-08-18 08:49:11] 2959*2^582709-1 is not prime. Res64: 4252B9B514CFB763 Time : 7884.0 sec. user=vaughan [2010-08-18 08:52:05] 2007*2^582710-1 is not prime. Res64: 0C13B777E7FF1610 Time : 8025.0 sec. user=vaughan [2010-08-18 08:53:49] 2217*2^582710-1 is not prime. Res64: 8EE482E233E0BC05 Time : 7326.0 sec. user=vaughan [2010-08-18 08:59:22] 2321*2^582710-1 is not prime. Res64: 8B28BE2C7D46F970 Time : 7216.0 sec. user=vaughan [2010-08-18 09:00:06] 2153*2^582710-1 is not prime. Res64: 94AB25887A576081 Time : 7815.0 sec. user=vaughan [2010-08-18 09:04:54] 2381*2^582710-1 is not prime. Res64: 17E219BB38B6F7E7 Time : 7326.0 sec. user=vaughan [2010-08-18 09:06:15] 2073*2^582710-1 is not prime. Res64: 042DA85CE7D20768 Time : 8294.0 sec. user=vaughan [2010-08-18 09:09:54] 2447*2^582710-1 is not prime. Res64: 5898781C86EB61C6 Time : 7156.0 sec. user=vaughan [2010-08-18 09:12:39] 2351*2^582710-1 is not prime. Res64: 88C235A0BA884923 Time : 7807.0 sec. user=vaughan [2010-08-18 09:14:22] 2475*2^582710-1 is not prime. Res64: 7BCED6574A59462B Time : 7217.0 sec. user=vaughan [2010-08-18 09:21:03] 2307*2^582710-1 is not prime. Res64: B6B5E9A17E86B547 Time : 8610.0 sec. user=vaughan [2010-08-18 09:21:18] 2625*2^582710-1 is not prime. Res64: E35C151498AF5BF5 Time : 7121.0 sec. user=vaughan [2010-08-18 09:24:02] 2511*2^582710-1 is not prime. Res64: 79D18A07F8A80D29 Time : 7776.0 sec. user=vaughan [2010-08-18 09:24:33] 2637*2^582710-1 is not prime. Res64: EE3898A4F6254F69 Time : 7129.0 sec. user=vaughan [2010-08-18 09:32:37] 2651*2^582710-1 is not prime. Res64: 31A3A456DE7669AB Time : 7077.0 sec. user=vaughan [2010-08-18 09:34:01] 2405*2^582710-1 is not prime. Res64: B4A6B073AC4A5400 Time : 8740.0 sec. user=vaughan [2010-08-18 09:35:39] 2681*2^582710-1 is not prime. Res64: DC23BDDBF243CCA5 Time : 7109.0 sec. user=vaughan [2010-08-18 09:36:21] 2643*2^582710-1 is not prime. Res64: 7FD17BC27A67B1BC Time : 7722.0 sec. user=vaughan [2010-08-18 09:44:08] 2505*2^582705-1 is not prime. Res64: 319E9A31F8D78824 Time : 24050.0 sec. user=vaughan [2010-08-18 09:44:38] 2555*2^582710-1 is not prime. Res64: 6079CBDDB9B26C2A Time : 8676.0 sec. user=vaughan [2010-08-18 09:45:10] 2807*2^582710-1 is not prime. Res64: ADD9A7DBF000371A Time : 7099.0 sec. user=vaughan [2010-08-18 09:47:42] 2931*2^582710-1 is not prime. Res64: C48C72FF36C4F210 Time : 7160.0 sec. user=vaughan [2010-08-18 09:49:21] 2687*2^582710-1 is not prime. Res64: 61EECC83ECF55B2C Time : 7840.0 sec. user=vaughan [2010-08-18 09:55:11] 2645*2^582710-1 is not prime. Res64: 666012640CB3306E Time : 8711.0 sec. user=vaughan [2010-08-18 09:56:55] 2071*2^582711-1 is not prime. Res64: 3B1186FC538C5C40 Time : 7205.0 sec. user=vaughan [2010-08-18 09:58:10] 2089*2^582711-1 is not prime. Res64: 94D9D510FEB904CD Time : 7213.0 sec. user=vaughan [2010-08-18 10:01:31] 2975*2^582710-1 is not prime. Res64: EAB5510D6C483220 Time : 7906.0 sec. user=vaughan [2010-08-18 10:08:12] 2745*2^582710-1 is not prime. Res64: CA2F6FA9D03F2EE5 Time : 8772.0 sec. user=vaughan [2010-08-18 10:08:12] 2301*2^582711-1 is not prime. Res64: 41B8B58893E8FE22 Time : 7302.0 sec. user=vaughan [2010-08-18 10:09:18] 2329*2^582711-1 is not prime. Res64: 665102A8C5CB873B Time : 7210.0 sec. user=vaughan [2010-08-18 10:13:31] 2181*2^582711-1 is not prime. Res64: D1ADA13BAB2A37A5 Time : 7814.0 sec. user=vaughan [2010-08-18 10:18:05] 2013*2^582711-1 is not prime. Res64: 18B5E6E3FB080078 Time : 8583.0 sec. user=vaughan [2010-08-18 10:20:06] 2529*2^582711-1 is not prime. Res64: AA88CC5492923386 Time : 7359.0 sec. user=vaughan [2010-08-18 10:22:27] 2539*2^582711-1 is not prime. Res64: 3AACEDF9290F4FE3 Time : 7345.0 sec. user=vaughan [2010-08-18 10:26:27] 2485*2^582711-1 is not prime. Res64: F9C27952A07FAB12 Time : 7973.0 sec. user=vaughan [2010-08-18 10:28:25] 2391*2^582711-1 is not prime. Res64: F574B783AB274382 Time : 8328.0 sec. user=vaughan [2010-08-18 10:30:18] 2719*2^582711-1 is not prime. Res64: CEE3BFB52E806E95 Time : 7334.0 sec. user=vaughan [2010-08-18 10:34:40] 2781*2^582711-1 is not prime. Res64: DF19D17DA5B83A39 Time : 7425.0 sec. user=vaughan [2010-08-18 10:38:23] 2629*2^582711-1 is not prime. Res64: D261CDA9D7A4B517 Time : 7867.0 sec. user=vaughan [2010-08-18 10:39:02] 2541*2^582711-1 is not prime. Res64: 8CD4B74018B5FE7B Time : 8239.0 sec. user=vaughan [2010-08-18 10:41:28] 2859*2^582711-1 is not prime. Res64: 3B6D71D5E15728B7 Time : 7344.0 sec. user=vaughan [2010-08-18 10:46:37] 2895*2^582711-1 is not prime. Res64: A3F32AC4AFC632BF Time : 7451.0 sec. user=vaughan [2010-08-18 10:50:43] 2793*2^582711-1 is not prime. Res64: E4A62A4BF90EAAB7 Time : 8117.0 sec. user=vaughan [2010-08-18 10:50:52] 2835*2^582711-1 is not prime. Res64: 180B9C34BB2E1C57 Time : 7911.0 sec. user=vaughan [2010-08-18 10:53:34] 2043*2^582712-1 is not prime. Res64: 83A893C244F4F2CF Time : 7478.0 sec. user=vaughan [2010-08-18 10:56:58] 2343*2^582712-1 is not prime. Res64: 80793E21F3EC5D53 Time : 7390.0 sec. user=vaughan [2010-08-18 11:02:09] 2325*2^582712-1 is not prime. Res64: 9162FFAD97830EC8 Time : 7804.0 sec. user=vaughan [2010-08-18 11:03:34] 2057*2^582712-1 is not prime. Res64: AE940C628E337EA6 Time : 8065.0 sec. user=vaughan [2010-08-18 11:03:54] 2103*2^582707-1 is not prime. Res64: 9093136944A9C2B5 Time : 24043.0 sec. user=vaughan [2010-08-18 11:05:22] 2387*2^582712-1 is not prime. Res64: DA4A04FCD22B62EF Time : 7561.0 sec. user=vaughan [2010-08-18 11:09:29] 2537*2^582712-1 is not prime. Res64: 8138942DEAA3AC68 Time : 7475.0 sec. user=vaughan [2010-08-18 11:14:11] 2715*2^582712-1 is not prime. Res64: AD8B5A75EB40FCF6 Time : 7677.0 sec. user=vaughan [2010-08-18 11:15:07] 2507*2^582712-1 is not prime. Res64: B4B0131026FC8743 Time : 8102.0 sec. user=vaughan [2010-08-18 11:16:30] 2723*2^582712-1 is not prime. Res64: 8EED759875392704 Time : 7597.0 sec. user=vaughan [2010-08-18 11:21:50] 2813*2^582712-1 is not prime. Res64: 8DD0AF87F06A77CF Time : 7649.0 sec. user=vaughan [2010-08-18 11:23:56] 2865*2^582712-1 is not prime. Res64: BF2A5B5D502D02D3 Time : 7373.0 sec. user=vaughan [2010-08-18 11:26:56] 2729*2^582712-1 is not prime. Res64: D0217A31AA78FB72 Time : 8058.0 sec. user=vaughan [2010-08-18 11:28:29] 2877*2^582712-1 is not prime. Res64: F58DCB5743D544DD Time : 7632.0 sec. user=vaughan [2010-08-18 11:33:49] 2161*2^582713-1 is not prime. Res64: B45BB01B74E4C2EF Time : 7757.0 sec. user=vaughan [2010-08-18 11:34:16] 2209*2^582713-1 is not prime. Res64: 744B027615429D58 Time : 7215.0 sec. user=vaughan [2010-08-18 11:38:32] 2197*2^582713-1 is not prime. Res64: 3CEECF1B7346048F Time : 7555.0 sec. user=vaughan [2010-08-18 11:39:34] 2927*2^582712-1 is not prime. Res64: 284385E49B2792C1 Time : 8133.0 sec. user=vaughan [2010-08-18 11:45:46] 2245*2^582713-1 is not prime. Res64: CDCC1F0B82CA51F4 Time : 7808.0 sec. user=vaughan [2010-08-18 11:45:50] 2335*2^582713-1 is not prime. Res64: 4F59EEF17996CAE1 Time : 7272.0 sec. user=vaughan [2010-08-18 11:49:09] 2341*2^582713-1 is not prime. Res64: EA929037969CC646 Time : 7440.0 sec. user=vaughan [2010-08-18 11:52:29] 2271*2^582713-1 is not prime. Res64: 895882CBD300713A Time : 8168.0 sec. user=vaughan [2010-08-18 11:55:53] 2409*2^582713-1 is not prime. Res64: 59BBAEDF7DCD257D Time : 7691.0 sec. user=vaughan [2010-08-18 11:59:38] 2709*2^582713-1 is not prime. Res64: BB617236374529C8 Time : 7363.0 sec. user=vaughan [2010-08-18 12:00:00] 2569*2^582713-1 is not prime. Res64: 3EE97F8C931B5131 Time : 7489.0 sec. user=vaughan [2010-08-18 12:03:48] 2545*2^582713-1 is not prime. Res64: D55D909B6DB0B693 Time : 8067.0 sec. user=vaughan [2010-08-18 12:08:02] 2721*2^582713-1 is not prime. Res64: 15D42737B2BDBE94 Time : 7792.0 sec. user=vaughan [2010-08-18 12:10:25] 2869*2^582713-1 is not prime. Res64: BD7CF659E25AEA07 Time : 7333.0 sec. user=vaughan [2010-08-18 12:12:32] 2841*2^582713-1 is not prime. Res64: 38F69F2B59624B17 Time : 7461.0 sec. user=vaughan [2010-08-18 12:16:11] 2775*2^582713-1 is not prime. Res64: 05974F42469883EC Time : 8081.0 sec. user=vaughan [2010-08-18 12:18:37] 2965*2^582713-1 is not prime. Res64: 5E4039AA7948D472 Time : 7760.0 sec. user=vaughan [2010-08-18 12:22:37] 2133*2^582714-1 is not prime. Res64: AF04C2C006BA4D94 Time : 7352.0 sec. user=vaughan [2010-08-18 12:23:32] 2789*2^582708-1 is not prime. Res64: 128DF80775A6203E Time : 24012.0 sec. user=vaughan [2010-08-18 12:24:06] 2051*2^582714-1 is not prime. Res64: 35D7FAADFB262AC4 Time : 7562.0 sec. user=vaughan [2010-08-18 12:26:34] 2971*2^582713-1 is not prime. Res64: D8B8D15CFB0E29D1 Time : 7984.0 sec. user=vaughan [2010-08-18 12:31:22] 2135*2^582714-1 is not prime. Res64: B5C1D26795884857 Time : 7735.0 sec. user=vaughan [2010-08-18 12:33:47] 2217*2^582714-1 is not prime. Res64: 12592884E68EA011 Time : 7410.0 sec. user=vaughan [2010-08-18 12:34:25] 2211*2^582714-1 is not prime. Res64: 0FD99FC5E787695E Time : 7560.0 sec. user=vaughan [2010-08-18 12:39:01] 2147*2^582714-1 is not prime. Res64: 7B163D1A9775FB87 Time : 7954.0 sec. user=vaughan [2010-08-18 12:43:13] 2373*2^582714-1 is not prime. Res64: 6E020F780B3A914F Time : 7714.0 sec. user=vaughan [2010-08-18 12:44:20] 2505*2^582714-1 is not prime. Res64: 054B524ECEEF6942 Time : 7373.0 sec. user=vaughan [2010-08-18 12:47:00] 2405*2^582714-1 is not prime. Res64: F0012EAF4C3CF15E Time : 7679.0 sec. user=vaughan [2010-08-18 12:50:46] 2375*2^582714-1 is not prime. Res64: AF9969075E586CAD Time : 7943.0 sec. user=vaughan [2010-08-18 12:54:48] 2511*2^582714-1 is not prime. Res64: 0E7CF8F68E772500 Time : 7692.0 sec. user=vaughan [2010-08-18 12:56:03] 2657*2^582714-1 is not prime. Res64: C512E926FC5C657E Time : 7349.0 sec. user=vaughan [2010-08-18 12:57:08] 2553*2^582714-1 is not prime. Res64: 37FFC41D90D14193 Time : 7585.0 sec. user=vaughan [2010-08-18 13:03:45] 2567*2^582714-1 is not prime. Res64: C56F72EB3D0B8A1D Time : 7974.0 sec. user=vaughan [2010-08-18 13:06:54] 2071*2^582715-1 is not prime. Res64: 7DCC4DED21D619F8 Time : 7292.0 sec. user=vaughan [2010-08-18 13:07:32] 2763*2^582714-1 is not prime. Res64: 76CB2A93203024D2 Time : 7834.0 sec. user=vaughan [2010-08-18 13:07:49] 2817*2^582714-1 is not prime. Res64: 278C1486641F96EC Time : 7541.0 sec. user=vaughan [2010-08-18 13:15:08] 2967*2^582714-1 is not prime. Res64: 47C03ED717A4D4A6 Time : 7895.0 sec. user=vaughan [2010-08-18 13:17:33] 2409*2^582715-1 is not prime. Res64: 5D9B175F5B3F7752 Time : 7264.0 sec. user=vaughan [2010-08-18 13:18:14] 2305*2^582715-1 is not prime. Res64: 6A1CB201B12F2AEC Time : 7725.0 sec. user=vaughan [2010-08-18 13:20:38] 2311*2^582715-1 is not prime. Res64: 5BE0CDBAC2926DF1 Time : 7587.0 sec. user=vaughan [2010-08-18 13:27:08] 2323*2^582715-1 is not prime. Res64: 7D4A94D7CDA44CE8 Time : 7921.0 sec. user=vaughan [2010-08-18 13:28:15] 2583*2^582715-1 is not prime. Res64: 58E99EF254A658E8 Time : 7187.0 sec. user=vaughan [2010-08-18 13:29:23] 2413*2^582715-1 is not prime. Res64: B147139E9A95FFD4 Time : 7653.0 sec. user=vaughan [2010-08-18 13:34:35] 2431*2^582715-1 is not prime. Res64: 3AED30198AAF1750 Time : 7839.0 sec. user=vaughan [2010-08-18 13:39:07] 2739*2^582715-1 is not prime. Res64: 94BEB682CBD215A3 Time : 7235.0 sec. user=vaughan [2010-08-18 13:39:19] 2553*2^582715-1 is not prime. Res64: 74E7531DDAA0CC1C Time : 7945.0 sec. user=vaughan [2010-08-18 13:40:41] 2589*2^582715-1 is not prime. Res64: CDB2546E293783B1 Time : 7613.0 sec. user=vaughan [2010-08-18 13:43:13] 2387*2^582710-1 is not prime. Res64: 307F6B019300D227 Time : 23955.0 sec. user=vaughan [2010-08-18 13:46:36] 2659*2^582715-1 is not prime. Res64: 41AC83C6E2F57009 Time : 7941.0 sec. user=vaughan [2010-08-18 13:48:48] 2799*2^582715-1 is not prime. Res64: 30BE451E10E376AE Time : 7179.0 sec. user=vaughan [2010-08-18 13:52:22] 2763*2^582715-1 is not prime. Res64: 763795CEAF76EA31 Time : 7597.0 sec. user=vaughan [2010-08-18 13:52:23] 2761*2^582715-1 is not prime. Res64: FD37AA113C529F6A Time : 7969.0 sec. user=vaughan [2010-08-18 13:59:11] 2063*2^582716-1 is not prime. Res64: E702C4B8F22048B3 Time : 7173.0 sec. user=vaughan [2010-08-18 14:00:16] 2785*2^582715-1 is not prime. Res64: D721575D0C157B53 Time : 8067.0 sec. user=vaughan [2010-08-18 14:03:06] 2015*2^582716-1 is not prime. Res64: C97F79714D7B44F9 Time : 7633.0 sec. user=vaughan [2010-08-18 14:03:32] 2971*2^582715-1 is not prime. Res64: A3F614176A742585 Time : 7864.0 sec. user=vaughan [2010-08-18 14:11:51] 2373*2^582716-1 is not prime. Res64: ADEE9D1896773809 Time : 7287.0 sec. user=vaughan [2010-08-18 14:12:39] 2325*2^582716-1 is not prime. Res64: 20CAC705EDFA43B0 Time : 7477.0 sec. user=vaughan [2010-08-18 14:14:13] 2069*2^582716-1 is not prime. Res64: 510FD8B5B9EF4C1E Time : 8053.0 sec. user=vaughan [2010-08-18 14:15:11] 2163*2^582716-1 is not prime. Res64: 8975118E3B34FF80 Time : 7884.0 sec. user=vaughan [2010-08-18 14:23:08] 2553*2^582716-1 is not prime. Res64: 55D7236F6EB3768A Time : 7471.0 sec. user=vaughan [2010-08-18 14:23:30] 2555*2^582716-1 is not prime. Res64: FFF6156E5E590374 Time : 7254.0 sec. user=vaughan [2010-08-18 14:26:03] 2547*2^582716-1 is not prime. Res64: 992325EF8AFDC790 Time : 7793.0 sec. user=vaughan [2010-08-18 14:27:48] 2519*2^582716-1 is not prime. Res64: 67EDF0AA17CF92BB Time : 8117.0 sec. user=vaughan [2010-08-18 14:33:55] 2825*2^582716-1 is not prime. Res64: B340DE797038BA59 Time : 7208.0 sec. user=vaughan [2010-08-18 14:36:09] 2783*2^582716-1 is not prime. Res64: 7F0A07AE44D39530 Time : 7487.0 sec. user=vaughan [2010-08-18 14:38:16] 2729*2^582716-1 is not prime. Res64: E8CDB253135A3B1F Time : 7902.0 sec. user=vaughan [2010-08-18 14:38:47] 2679*2^582716-1 is not prime. Res64: FB33FF4328C6143F Time : 8082.0 sec. user=vaughan [2010-08-18 14:45:30] 2979*2^582716-1 is not prime. Res64: 0F70DEFC1CEC09D3 Time : 7270.0 sec. user=vaughan [2010-08-18 14:46:29] 2933*2^582716-1 is not prime. Res64: 0BD2B8CC1229EE15 Time : 7396.0 sec. user=vaughan [2010-08-18 14:48:45] 2919*2^582716-1 is not prime. Res64: 87BA48D3EEB21DD7 Time : 7784.0 sec. user=vaughan [2010-08-18 14:54:39] 2913*2^582716-1 is not prime. Res64: 5069FD4E68057A94 Time : 8415.0 sec. user=vaughan [2010-08-18 14:56:08] 2247*2^582717-1 is not prime. Res64: B196DACF4C54EAAC Time : 7205.0 sec. user=vaughan [2010-08-18 14:57:30] 2155*2^582717-1 is not prime. Res64: 575CCB144F60DC63 Time : 7362.0 sec. user=vaughan [2010-08-18 15:01:22] 2097*2^582717-1 is not prime. Res64: 92BB836172374249 Time : 7836.0 sec. user=vaughan [2010-08-18 15:02:52] 2559*2^582711-1 is not prime. Res64: F0FC8F67AE29CACD Time : 23912.0 sec. user=vaughan [2010-08-18 15:04:06] 2011*2^582717-1 is not prime. Res64: 916F9CC5182968C7 Time : 8226.0 sec. user=vaughan [2010-08-18 15:09:25] 2407*2^582717-1 is not prime. Res64: AC5D8E334DBA817D Time : 7351.0 sec. user=vaughan [2010-08-18 15:09:50] 2431*2^582717-1 is not prime. Res64: BA6732BC98C9AF61 Time : 7339.0 sec. user=vaughan [2010-08-18 15:13:02] 2385*2^582717-1 is not prime. Res64: 81BDB03571E88393 Time : 7757.0 sec. user=vaughan [2010-08-18 15:15:11] 2295*2^582717-1 is not prime. Res64: 09F369CD3D10A2C2 Time : 8283.0 sec. user=vaughan [2010-08-18 15:20:54] 2499*2^582717-1 is not prime. Res64: 8F909D7F74280329 Time : 7401.0 sec. user=vaughan [2010-08-18 15:24:03] 2529*2^582717-1 is not prime. Res64: B4015EA54638D137 Time : 7550.0 sec. user=vaughan [2010-08-18 15:24:56] 2455*2^582717-1 is not prime. Res64: 7FE249D81CA96229 Time : 8227.0 sec. user=vaughan [2010-08-18 15:25:19] 2497*2^582717-1 is not prime. Res64: AB13EC0A016EBC8C Time : 7813.0 sec. user=vaughan [2010-08-18 15:31:09] 2667*2^582717-1 is not prime. Res64: 8CE0A4893EB7DFBD Time : 7375.0 sec. user=vaughan [2010-08-18 15:35:18] 2709*2^582717-1 is not prime. Res64: EAF6241EE0A8C827 Time : 7556.0 sec. user=vaughan [2010-08-18 15:35:37] 2557*2^582717-1 is not prime. Res64: 20BA2FEA2CB6706D Time : 8100.0 sec. user=vaughan [2010-08-18 15:38:52] 2641*2^582717-1 is not prime. Res64: 9BBFDA8CB44A4AB5 Time : 7905.0 sec. user=vaughan [2010-08-18 15:41:46] 2785*2^582717-1 is not prime. Res64: F288BA104BEACED0 Time : 7359.0 sec. user=vaughan [2010-08-18 15:46:34] 2727*2^582717-1 is not prime. Res64: 6669AD41C9E52D0A Time : 7922.0 sec. user=vaughan [2010-08-18 15:47:45] 2905*2^582717-1 is not prime. Res64: 25F7D6E4F030A63A Time : 7625.0 sec. user=vaughan [2010-08-18 15:50:25] 2797*2^582717-1 is not prime. Res64: 26B9EB5D5DC7CB9E Time : 7867.0 sec. user=vaughan [2010-08-18 15:52:19] 2117*2^582718-1 is not prime. Res64: 6F1966B494C6CF20 Time : 7413.0 sec. user=vaughan [2010-08-18 15:58:44] 2971*2^582717-1 is not prime. Res64: 72DDF5144962C696 Time : 7929.0 sec. user=vaughan [2010-08-18 15:59:56] 2207*2^582718-1 is not prime. Res64: 03B7E65E3501C036 Time : 7654.0 sec. user=vaughan [2010-08-18 16:02:48] 2151*2^582718-1 is not prime. Res64: C6C44F93109C8612 Time : 7826.0 sec. user=vaughan [2010-08-18 16:04:09] 2277*2^582718-1 is not prime. Res64: 601BA969813C8E05 Time : 7501.0 sec. user=vaughan [2010-08-18 16:08:34] 2297*2^582718-1 is not prime. Res64: 2021B18B4BF13E74 Time : 7699.0 sec. user=vaughan [2010-08-18 16:13:43] 2355*2^582718-1 is not prime. Res64: 7E7954400EA850C3 Time : 7838.0 sec. user=vaughan [2010-08-18 16:14:38] 2373*2^582718-1 is not prime. Res64: 3B7C5F1201D605F8 Time : 7867.0 sec. user=vaughan [2010-08-18 16:15:33] 2411*2^582718-1 is not prime. Res64: E3432B638ACDBA48 Time : 7423.0 sec. user=vaughan [2010-08-18 16:18:22] 2477*2^582718-1 is not prime. Res64: F0717F67BD9B9CE3 Time : 7450.0 sec. user=vaughan [2010-08-18 16:22:32] 2307*2^582713-1 is not prime. Res64: 4355D5AAEF13502F Time : 23904.0 sec. user=vaughan [2010-08-18 16:26:28] 2445*2^582718-1 is not prime. Res64: A891EA59375E9997 Time : 8029.0 sec. user=vaughan [2010-08-18 16:27:08] 2735*2^582718-1 is not prime. Res64: 79E65A4E313D9E33 Time : 7422.0 sec. user=vaughan [2010-08-18 16:27:45] 2777*2^582718-1 is not prime. Res64: 40CBC2BEA3EDF29D Time : 7197.0 sec. user=vaughan [2010-08-18 16:27:47] 2667*2^582718-1 is not prime. Res64: F90D6DFEF8AB8040 Time : 7963.0 sec. user=vaughan [2010-08-18 16:38:17] 2781*2^582718-1 is not prime. Res64: CD01A895782862C5 Time : 7464.0 sec. user=vaughan [2010-08-18 16:38:24] 2703*2^582718-1 is not prime. Res64: 40D06F1C7E1F270F Time : 8117.0 sec. user=vaughan [2010-08-18 16:39:03] 2757*2^582718-1 is not prime. Res64: 1A4392BE5299A5D3 Time : 7982.0 sec. user=vaughan [2010-08-18 16:39:58] 2943*2^582718-1 is not prime. Res64: 55776ED29897F442 Time : 7273.0 sec. user=vaughan [2010-08-18 16:49:19] 2209*2^582719-1 is not prime. Res64: 28A3EE74A70F2D42 Time : 6881.0 sec. user=vaughan [2010-08-18 16:50:04] 2973*2^582718-1 is not prime. Res64: 7F7D845864FF0557 Time : 7474.0 sec. user=vaughan [2010-08-18 16:50:46] 2807*2^582718-1 is not prime. Res64: 15E4E66D17D28287 Time : 8078.0 sec. user=vaughan [2010-08-18 16:51:07] 2841*2^582718-1 is not prime. Res64: 8BC86A25342B436B Time : 7972.0 sec. user=vaughan [2010-08-18 17:01:40] 2293*2^582719-1 is not prime. Res64: 4956A8EA87D76389 Time : 7533.0 sec. user=vaughan [2010-08-18 17:01:59] 2419*2^582719-1 is not prime. Res64: 6B11A76CB77F8880 Time : 7074.0 sec. user=vaughan [2010-08-18 17:01:59] 2005*2^582719-1 is not prime. Res64: E02F559A6CB2B34B Time : 8131.0 sec. user=vaughan [2010-08-18 17:02:17] 2155*2^582719-1 is not prime. Res64: 4E8D6707A27331D2 Time : 8014.0 sec. user=vaughan [2010-08-18 17:10:53] 2659*2^582719-1 is not prime. Res64: 908E2436F9932879 Time : 6942.0 sec. user=vaughan [2010-08-18 17:13:33] 2313*2^582719-1 is not prime. Res64: 29CC55440B02F710 Time : 8164.0 sec. user=vaughan [2010-08-18 17:14:37] 2443*2^582719-1 is not prime. Res64: 5EBC38F29BBF31A7 Time : 7512.0 sec. user=vaughan [2010-08-18 17:16:33] 2391*2^582719-1 is not prime. Res64: A385D2FF65A6793B Time : 8114.0 sec. user=vaughan [2010-08-18 17:21:30] 2881*2^582719-1 is not prime. Res64: 620B313ABB345943 Time : 6995.0 sec. user=vaughan [2010-08-18 17:25:20] 2539*2^582719-1 is not prime. Res64: 03B4D0B8A9A32402 Time : 8131.0 sec. user=vaughan [2010-08-18 17:26:58] 2845*2^582719-1 is not prime. Res64: AE612D90057A4DF2 Time : 7565.0 sec. user=vaughan [2010-08-18 17:28:11] 2581*2^582719-1 is not prime. Res64: 16075ABCCCCB3218 Time : 8110.0 sec. user=vaughan [2010-08-18 17:31:02] 2019*2^582720-1 is not prime. Res64: 116AAABCF61975AE Time : 6925.0 sec. user=vaughan [2010-08-18 17:36:35] 2859*2^582719-1 is not prime. Res64: D7F9415A1BF803EA Time : 7953.0 sec. user=vaughan [2010-08-18 17:38:12] 2959*2^582719-1 is not prime. Res64: 8A99A28DA7BFA951 Time : 7624.0 sec. user=vaughan [2010-08-18 17:41:14] 2931*2^582719-1 is not prime. Res64: 995D6A5DBDCFCC33 Time : 8156.0 sec. user=vaughan [2010-08-18 17:41:35] 2067*2^582720-1 is not prime. Res64: 9D217FAE22C95BDF Time : 6903.0 sec. user=vaughan [2010-08-18 17:42:22] 2981*2^582714-1 is not prime. Res64: C845BBB52E4C03F6 Time : 23908.0 sec. user=vaughan [2010-08-18 17:48:13] 2965*2^582719-1 is not prime. Res64: 0C427FEA2142C13B Time : 7976.0 sec. user=vaughan [2010-08-18 17:51:47] 2043*2^582720-1 is not prime. Res64: E48889099678ADBA Time : 7802.0 sec. user=vaughan [2010-08-18 17:52:00] 2307*2^582720-1 is not prime. Res64: 4CA83E835F572966 Time : 6799.0 sec. user=vaughan [2010-08-18 17:53:07] 2039*2^582720-1 is not prime. Res64: 5C428C6FA0369011 Time : 8056.0 sec. user=vaughan [2010-08-18 17:58:45] 2097*2^582720-1 is not prime. Res64: 1C3F7BC3AD4398A6 Time : 7862.0 sec. user=vaughan [2010-08-18 18:03:17] 2547*2^582720-1 is not prime. Res64: CEF8717FBAACA9AD Time : 6884.0 sec. user=vaughan [2010-08-18 18:04:11] 2145*2^582720-1 is not prime. Res64: B216D72A50628DBA Time : 8026.0 sec. user=vaughan [2010-08-18 18:04:13] 2193*2^582720-1 is not prime. Res64: 2356171B7E4EA889 Time : 7915.0 sec. user=vaughan [2010-08-18 18:10:57] 2343*2^582720-1 is not prime. Res64: 2D31DE0E09CAD712 Time : 7862.0 sec. user=vaughan [2010-08-18 18:15:01] 2877*2^582720-1 is not prime. Res64: E22781324682A024 Time : 7000.0 sec. user=vaughan [2010-08-18 18:15:06] 2495*2^582720-1 is not prime. Res64: D90EF55BE39F49C8 Time : 7939.0 sec. user=vaughan [2010-08-18 18:16:01] 2529*2^582720-1 is not prime. Res64: C47FE09E01770D87 Time : 7913.0 sec. user=vaughan [2010-08-18 18:23:05] 2573*2^582720-1 is not prime. Res64: 6691F6C31D403747 Time : 7763.0 sec. user=vaughan [2010-08-18 18:25:57] 2275*2^582721-1 is not prime. Res64: EADD7A6E34C52179 Time : 7093.0 sec. user=vaughan [2010-08-18 18:27:05] 2859*2^582720-1 is not prime. Res64: F399D77BE34A78E7 Time : 7895.0 sec. user=vaughan [2010-08-18 18:27:33] 2793*2^582720-1 is not prime. Res64: A74360054A040A82 Time : 7981.0 sec. user=vaughan [2010-08-18 18:35:04] 2001*2^582721-1 is not prime. Res64: 88661FADEE44A153 Time : 7719.0 sec. user=vaughan [2010-08-18 18:36:11] 2817*2^582721-1 is not prime. Res64: DC86ECAF31632BD0 Time : 6973.0 sec. user=vaughan [2010-08-18 18:38:36] 2059*2^582721-1 is not prime. Res64: 2FD674F445C88707 Time : 7889.0 sec. user=vaughan [2010-08-18 18:40:30] 2277*2^582721-1 is not prime. Res64: 4FAC7D86096A3183 Time : 7964.0 sec. user=vaughan [2010-08-18 18:46:08] 2821*2^582721-1 is not prime. Res64: 873F1E97A048EF55 Time : 7010.0 sec. user=vaughan [2010-08-18 18:47:33] 2655*2^582721-1 is not prime. Res64: D88C40514283DC3C Time : 7749.0 sec. user=vaughan [2010-08-18 18:50:43] 2467*2^582721-1 is not prime. Res64: 248133F74F4BE66B Time : 7947.0 sec. user=vaughan [2010-08-18 18:52:23] 2719*2^582721-1 is not prime. Res64: 44A513F473BF2051 Time : 8001.0 sec. user=vaughan [2010-08-18 18:57:08] 2177*2^582722-1 is not prime. Res64: 2B6FC6972471BC3B Time : 6909.0 sec. user=vaughan [2010-08-18 18:59:43] 2911*2^582721-1 is not prime. Res64: C360BF9272AA448F Time : 7737.0 sec. user=vaughan [2010-08-18 19:02:57] 2619*2^582716-1 is not prime. Res64: F20228FE4BC78D4B Time : 23965.0 sec. user=vaughan [2010-08-18 19:03:35] 2887*2^582721-1 is not prime. Res64: 0804689BCAAB4C5B Time : 8011.0 sec. user=vaughan [2010-08-18 19:04:29] 2925*2^582721-1 is not prime. Res64: 0C384B120B041DD1 Time : 8003.0 sec. user=vaughan [2010-08-18 19:06:13] 2253*2^582722-1 is not prime. Res64: B14483BC2E467666 Time : 6921.0 sec. user=vaughan [2010-08-18 19:11:32] 2195*2^582722-1 is not prime. Res64: 94FEBDD29379D9AE Time : 7773.0 sec. user=vaughan [2010-08-18 19:14:53] 2931*2^582721-1 is not prime. Res64: 9C56116DBAEB23DA Time : 7994.0 sec. user=vaughan [2010-08-18 19:16:02] 2201*2^582722-1 is not prime. Res64: 9933E8AA8E64F6E2 Time : 8026.0 sec. user=vaughan [2010-08-18 19:18:55] 2447*2^582722-1 is not prime. Res64: 914ECC128B69B074 Time : 7046.0 sec. user=vaughan [2010-08-18 19:23:23] 2283*2^582722-1 is not prime. Res64: 514C0A40EEE31A5B Time : 7791.0 sec. user=vaughan [2010-08-18 19:25:53] 2355*2^582722-1 is not prime. Res64: 3F439E6D66ACB8F2 Time : 7877.0 sec. user=vaughan [2010-08-18 19:28:17] 2421*2^582722-1 is not prime. Res64: FAB19476A8C82EF1 Time : 7905.0 sec. user=vaughan [2010-08-18 19:30:54] 2583*2^582722-1 is not prime. Res64: B9E1E7C683B88239 Time : 7192.0 sec. user=vaughan [2010-08-18 19:34:12] 2453*2^582722-1 is not prime. Res64: 3F8003E89009046E Time : 7733.0 sec. user=vaughan [2010-08-18 19:38:03] 2523*2^582722-1 is not prime. Res64: FBD192683F7B8D2D Time : 7792.0 sec. user=vaughan [2010-08-18 19:39:09] 2477*2^582722-1 is not prime. Res64: D8C4DC051DC0DBAF Time : 7932.0 sec. user=vaughan [2010-08-18 19:43:42] 2757*2^582722-1 is not prime. Res64: AD1A41BDE1817CD5 Time : 7328.0 sec. user=vaughan [2010-08-18 19:46:55] 2603*2^582722-1 is not prime. Res64: F27D902EB3AE05CD Time : 7821.0 sec. user=vaughan [2010-08-18 19:49:06] 2735*2^582722-1 is not prime. Res64: F171F7CD3A6DA154 Time : 7673.0 sec. user=vaughan [2010-08-18 19:49:47] 2693*2^582722-1 is not prime. Res64: D91BAC358E2A71DA Time : 7896.0 sec. user=vaughan [2010-08-18 19:55:39] 2871*2^582722-1 is not prime. Res64: 137F76D4135D5BB3 Time : 7420.0 sec. user=vaughan [2010-08-18 19:58:10] 2787*2^582722-1 is not prime. Res64: F036708161D4970E Time : 7798.0 sec. user=vaughan [2010-08-18 20:01:37] 2897*2^582722-1 is not prime. Res64: 13A7118165894206 Time : 7711.0 sec. user=vaughan [2010-08-18 20:01:43] 2813*2^582722-1 is not prime. Res64: 296164361791F981 Time : 7797.0 sec. user=vaughan [2010-08-18 20:06:18] 2011*2^582723-1 is not prime. Res64: 80E39FFFB6CF502D Time : 7382.0 sec. user=vaughan [2010-08-18 20:09:08] 2001*2^582723-1 is not prime. Res64: C1C1B57935B48629 Time : 7824.0 sec. user=vaughan [2010-08-18 20:14:12] 2035*2^582723-1 is not prime. Res64: 3A687EC74A820CEF Time : 7802.0 sec. user=vaughan [2010-08-18 20:15:05] 2071*2^582723-1 is not prime. Res64: 15A1BF7293A5DD04 Time : 7853.0 sec. user=vaughan [2010-08-18 20:17:54] 2233*2^582723-1 is not prime. Res64: 3CC98C173C12F55E Time : 7374.0 sec. user=vaughan [2010-08-18 20:19:12] 2149*2^582723-1 is not prime. Res64: 069EC141E1612525 Time : 7696.0 sec. user=vaughan [2010-08-18 20:22:45] 2961*2^582717-1 is not prime. Res64: A426B4E51E021316 Time : 23972.0 sec. user=vaughan [2010-08-18 20:26:03] 2253*2^582723-1 is not prime. Res64: 0296E930A0F55153 Time : 7858.0 sec. user=vaughan [2010-08-18 20:26:56] 2289*2^582723-1 is not prime. Res64: C447766F04A34623 Time : 7856.0 sec. user=vaughan [2010-08-18 20:29:29] 2313*2^582723-1 is not prime. Res64: 6FF3E50579FE4EF9 Time : 7413.0 sec. user=vaughan [2010-08-18 20:29:55] 2299*2^582723-1 is not prime. Res64: A33868C31EF546F7 Time : 7611.0 sec. user=vaughan [2010-08-18 20:37:12] 2389*2^582723-1 is not prime. Res64: 74F8EFC550037B97 Time : 7808.0 sec. user=vaughan [2010-08-18 20:40:24] 2635*2^582723-1 is not prime. Res64: BDC4E4D82438FB59 Time : 7972.0 sec. user=vaughan [2010-08-18 20:40:36] 2673*2^582723-1 is not prime. Res64: 323B8B0477338A84 Time : 7467.0 sec. user=vaughan [2010-08-18 20:42:42] 2671*2^582723-1 is not prime. Res64: 74CA5C9B0CB3953E Time : 7659.0 sec. user=vaughan [2010-08-18 20:49:20] 2719*2^582723-1 is not prime. Res64: 26A6C41ACC9752E9 Time : 7845.0 sec. user=vaughan [2010-08-18 20:51:21] 2743*2^582723-1 is not prime. Res64: 7546109070E169FC Time : 7852.0 sec. user=vaughan [2010-08-18 20:52:06] 2755*2^582723-1 is not prime. Res64: 9C638BFBA95B8D12 Time : 7559.0 sec. user=vaughan [2010-08-18 20:54:07] 2809*2^582723-1 is not prime. Res64: A992559562519B44 Time : 7595.0 sec. user=vaughan [2010-08-18 21:00:02] 2953*2^582723-1 is not prime. Res64: 0B7F8B56DAC668E2 Time : 7760.0 sec. user=vaughan [2010-08-18 21:04:10] 2009*2^582724-1 is not prime. Res64: 548770210C090031 Time : 7910.0 sec. user=vaughan [2010-08-18 21:04:59] 2067*2^582724-1 is not prime. Res64: 00CD0D29E3562AA9 Time : 7517.0 sec. user=vaughan [2010-08-18 21:05:17] 2015*2^582724-1 is not prime. Res64: 769C1E41300A97BB Time : 7690.0 sec. user=vaughan [2010-08-18 21:11:51] 2283*2^582724-1 is not prime. Res64: 7422D5FE1F2973A6 Time : 7696.0 sec. user=vaughan [2010-08-18 21:14:51] 2387*2^582724-1 is not prime. Res64: 35A9C0252B3B6B7B Time : 7719.0 sec. user=vaughan [2010-08-18 21:16:40] 2397*2^582724-1 is not prime. Res64: D3A61911534A4007 Time : 7509.0 sec. user=vaughan [2010-08-18 21:16:50] 2357*2^582724-1 is not prime. Res64: ADC83A0F1F430E6E Time : 7942.0 sec. user=vaughan [2010-08-18 21:23:09] 2415*2^582724-1 is not prime. Res64: 209AFF70EA09AAB1 Time : 7697.0 sec. user=vaughan [2010-08-18 21:26:10] 2465*2^582724-1 is not prime. Res64: C58C2BADE533EF0B Time : 7636.0 sec. user=vaughan [2010-08-18 21:28:18] 2435*2^582724-1 is not prime. Res64: 6711D96B4D936799 Time : 7937.0 sec. user=vaughan [2010-08-18 21:28:52] 2483*2^582724-1 is not prime. Res64: D9978BC7C0B7C247 Time : 7530.0 sec. user=vaughan [2010-08-18 21:34:22] 2493*2^582724-1 is not prime. Res64: F2C0A92749CB9933 Time : 7709.0 sec. user=vaughan [2010-08-18 21:37:06] 2535*2^582724-1 is not prime. Res64: 10C097D7B460A2CE Time : 7572.0 sec. user=vaughan [2010-08-18 21:40:27] 2523*2^582724-1 is not prime. Res64: 20F011CC59C37D6C Time : 7930.0 sec. user=vaughan [2010-08-18 21:40:28] 2585*2^582724-1 is not prime. Res64: 5C6262053313931C Time : 7577.0 sec. user=vaughan [2010-08-18 21:42:36] 2413*2^582719-1 is not prime. Res64: 1030001C6FDC5028 Time : 23984.0 sec. user=vaughan [2010-08-18 21:45:57] 2619*2^582724-1 is not prime. Res64: 02A3CB0AE9B0FEE9 Time : 7609.0 sec. user=vaughan [2010-08-18 21:48:31] 2703*2^582724-1 is not prime. Res64: 90AFCD43E847D4B0 Time : 7490.0 sec. user=vaughan [2010-08-18 21:50:46] 2603*2^582724-1 is not prime. Res64: A50587FA133C4A6D Time : 7964.0 sec. user=vaughan [2010-08-18 21:52:14] 2819*2^582724-1 is not prime. Res64: 6B4BA496595127FD Time : 7520.0 sec. user=vaughan [2010-08-18 21:58:39] 2879*2^582724-1 is not prime. Res64: FB9EF29179AD5F67 Time : 7733.0 sec. user=vaughan [2010-08-18 21:59:35] 2903*2^582724-1 is not prime. Res64: B852DC6799552CDA Time : 7437.0 sec. user=vaughan [2010-08-18 22:02:15] 2829*2^582724-1 is not prime. Res64: 525B6232A3B6D7DB Time : 7990.0 sec. user=vaughan [2010-08-18 22:04:24] 2925*2^582724-1 is not prime. Res64: C21A9B0784165FA4 Time : 7574.0 sec. user=vaughan [2010-08-18 22:09:55] 2191*2^582725-1 is not prime. Res64: 2D6DDD23AB415BEB Time : 7692.0 sec. user=vaughan [2010-08-18 22:10:27] 2205*2^582725-1 is not prime. Res64: E7C23E434B46E29D Time : 7449.0 sec. user=vaughan [2010-08-18 22:15:01] 2945*2^582724-1 is not prime. Res64: 91E675E85718CBD8 Time : 8004.0 sec. user=vaughan [2010-08-18 22:17:16] 2239*2^582725-1 is not prime. Res64: 2BDF5DE1A318049B Time : 7688.0 sec. user=vaughan [2010-08-18 22:20:39] 2335*2^582725-1 is not prime. Res64: AB569FED5F708BCD Time : 7365.0 sec. user=vaughan [2010-08-18 22:21:37] 2307*2^582725-1 is not prime. Res64: 7218A0630C4F044A Time : 7593.0 sec. user=vaughan [2010-08-18 22:25:48] 2257*2^582725-1 is not prime. Res64: 9E7C484A448EAF5E Time : 7897.0 sec. user=vaughan [2010-08-18 22:28:16] 2497*2^582725-1 is not prime. Res64: 15B83403DD4499B5 Time : 7744.0 sec. user=vaughan [2010-08-18 22:33:13] 2581*2^582725-1 is not prime. Res64: A42A7609A9DD311C Time : 7577.0 sec. user=vaughan [2010-08-18 22:33:19] 2629*2^582725-1 is not prime. Res64: 38EBAB04959AA8F6 Time : 7431.0 sec. user=vaughan [2010-08-18 22:38:12] 2547*2^582725-1 is not prime. Res64: 9602BAD671EE1EA9 Time : 7929.0 sec. user=vaughan [2010-08-18 22:39:52] 2647*2^582725-1 is not prime. Res64: 2B61F330ABA9F7D1 Time : 7797.0 sec. user=vaughan [2010-08-18 22:44:07] 2695*2^582725-1 is not prime. Res64: 3F41B031DFB0B860 Time : 7616.0 sec. user=vaughan [2010-08-18 22:44:45] 2887*2^582725-1 is not prime. Res64: 8E8284DA133A7D0C Time : 7449.0 sec. user=vaughan [2010-08-18 22:50:30] 2877*2^582725-1 is not prime. Res64: 3178A08DF8676BAE Time : 7807.0 sec. user=vaughan [2010-08-18 22:50:49] 2111*2^582726-1 is not prime. Res64: B8294116EF397941 Time : 7688.0 sec. user=vaughan [2010-08-18 22:55:40] 2193*2^582726-1 is not prime. Res64: FF08C3794FE40317 Time : 7415.0 sec. user=vaughan [2010-08-18 22:56:13] 2141*2^582726-1 is not prime. Res64: 0DA62F66E74A0E7A Time : 7613.0 sec. user=vaughan [2010-08-18 23:02:31] 2973*2^582720-1 is not prime. Res64: 04A4D7BBD27A435E Time : 23999.0 sec. user=vaughan [2010-08-18 23:03:42] 2223*2^582726-1 is not prime. Res64: 94B28B368E8BB467 Time : 7776.0 sec. user=vaughan [2010-08-18 23:04:18] 2153*2^582726-1 is not prime. Res64: 35D0E861CA84C0AA Time : 7978.0 sec. user=vaughan [2010-08-18 23:04:57] 2525*2^582726-1 is not prime. Res64: BCF00C0CE86F4E92 Time : 7181.0 sec. user=vaughan [2010-08-18 23:06:51] 2285*2^582726-1 is not prime. Res64: 23EC1A91236BEE07 Time : 7610.0 sec. user=vaughan [2010-08-18 23:14:15] 2441*2^582726-1 is not prime. Res64: 999601A7F9A5D368 Time : 7756.0 sec. user=vaughan [2010-08-18 23:16:14] 2393*2^582726-1 is not prime. Res64: 6E3355B2CA0A4875 Time : 7924.0 sec. user=vaughan [2010-08-18 23:16:26] 2687*2^582726-1 is not prime. Res64: EF0B286FF0739B21 Time : 7296.0 sec. user=vaughan [2010-08-18 23:19:40] 2531*2^582726-1 is not prime. Res64: 7389ADDF6006B9A5 Time : 7670.0 sec. user=vaughan [2010-08-18 23:26:18] 2693*2^582726-1 is not prime. Res64: 9962FA267984F3D6 Time : 7779.0 sec. user=vaughan [2010-08-18 23:26:51] 2891*2^582726-1 is not prime. Res64: EAE6C816E15C0F57 Time : 7242.0 sec. user=vaughan [2010-08-18 23:27:54] 2771*2^582726-1 is not prime. Res64: 404AB823F83260E6 Time : 7864.0 sec. user=vaughan [2010-08-18 23:31:36] 2831*2^582726-1 is not prime. Res64: E91015A6962FD92E Time : 7708.0 sec. user=vaughan [2010-08-18 23:38:08] 2993*2^582726-1 is not prime. Res64: E399E88B95F21978 Time : 7791.0 sec. user=vaughan [2010-08-18 23:38:42] 2233*2^582727-1 is not prime. Res64: 306891C84A4EA176 Time : 7296.0 sec. user=vaughan [2010-08-18 23:39:11] 2071*2^582727-1 is not prime. Res64: 70787968282F2565 Time : 7820.0 sec. user=vaughan [2010-08-18 23:42:24] 2101*2^582727-1 is not prime. Res64: 37C11E24287CE306 Time : 7683.0 sec. user=vaughan [2010-08-18 23:49:27] 2253*2^582727-1 is not prime. Res64: F141A368A203D9C3 Time : 7741.0 sec. user=vaughan [2010-08-18 23:50:25] 2355*2^582727-1 is not prime. Res64: F235F9C2BBA49870 Time : 7798.0 sec. user=vaughan [2010-08-18 23:50:51] 2595*2^582727-1 is not prime. Res64: DD996AC1A8F11AE9 Time : 7341.0 sec. user=vaughan [2010-08-18 23:54:22] 2529*2^582727-1 is not prime. Res64: 0EDF82A4520CEC33 Time : 7706.0 sec. user=vaughan [2010-08-19 00:00:54] 2599*2^582727-1 is not prime. Res64: D6D4FE40EA4D517A Time : 7809.0 sec.