user=vaughan [2010-08-19 00:02:04] 2611*2^582727-1 is not prime. Res64: 3FEB08A05A56767B Time : 7791.0 sec. user=vaughan [2010-08-19 00:02:27] 2653*2^582727-1 is not prime. Res64: 8F58334AC8A397E5 Time : 7373.0 sec. user=vaughan [2010-08-19 00:05:56] 2649*2^582727-1 is not prime. Res64: 71753F885FC186F7 Time : 7638.0 sec. user=vaughan [2010-08-19 00:11:54] 2683*2^582727-1 is not prime. Res64: DB52E97C1D08210D Time : 7780.0 sec. user=vaughan [2010-08-19 00:13:43] 2785*2^582727-1 is not prime. Res64: 40FAEE8748650DB9 Time : 7760.0 sec. user=vaughan [2010-08-19 00:15:35] 2815*2^582727-1 is not prime. Res64: 3C54141948BCC12F Time : 7509.0 sec. user=vaughan [2010-08-19 00:17:25] 2805*2^582727-1 is not prime. Res64: 30FA3FDFB485DA24 Time : 7650.0 sec. user=vaughan [2010-08-19 00:22:18] 2765*2^582722-1 is not prime. Res64: 4DB2B9BD8D1F9AEE Time : 23997.0 sec. user=vaughan [2010-08-19 00:23:10] 2845*2^582727-1 is not prime. Res64: 6071DA20F2FA7962 Time : 7689.0 sec. user=vaughan [2010-08-19 00:24:26] 2859*2^582727-1 is not prime. Res64: 1A70AF8973958A64 Time : 7631.0 sec. user=vaughan [2010-08-19 00:26:22] 2929*2^582727-1 is not prime. Res64: EE18D5CE4E5B9D30 Time : 7543.0 sec. user=vaughan [2010-08-19 00:29:47] 2033*2^582728-1 is not prime. Res64: 1509219B5D5D5CA9 Time : 7691.0 sec. user=vaughan [2010-08-19 00:34:34] 2247*2^582728-1 is not prime. Res64: B1C36304D67378DD Time : 7726.0 sec. user=vaughan [2010-08-19 00:36:17] 2283*2^582728-1 is not prime. Res64: B2E795178A43A5AA Time : 7681.0 sec. user=vaughan [2010-08-19 00:38:05] 2355*2^582728-1 is not prime. Res64: 9A0FC82AD8D2AF6C Time : 7486.0 sec. user=vaughan [2010-08-19 00:41:29] 2327*2^582728-1 is not prime. Res64: 5091D88C074EFE77 Time : 7697.0 sec. user=vaughan [2010-08-19 00:44:27] 2519*2^582728-1 is not prime. Res64: A83DB14DEA5C45EE Time : 7575.0 sec. user=vaughan [2010-08-19 00:49:29] 2565*2^582728-1 is not prime. Res64: FA1594F2CCFE225F Time : 7778.0 sec. user=vaughan [2010-08-19 00:51:55] 2735*2^582728-1 is not prime. Res64: 0867F442CE4FC660 Time : 7630.0 sec. user=vaughan [2010-08-19 00:52:28] 2685*2^582728-1 is not prime. Res64: 622C7A4A5039B737 Time : 7702.0 sec. user=vaughan [2010-08-19 00:55:14] 2775*2^582728-1 is not prime. Res64: 303DB8A13A1AE4AA Time : 7484.0 sec. user=vaughan [2010-08-19 01:00:19] 2829*2^582728-1 is not prime. Res64: 48712D4E609E0FB7 Time : 7771.0 sec. user=vaughan [2010-08-19 01:03:31] 2943*2^582728-1 is not prime. Res64: CB2D1614C110A313 Time : 7638.0 sec. user=vaughan [2010-08-19 01:04:50] 2937*2^582728-1 is not prime. Res64: 79969F36F902EA84 Time : 7750.0 sec. user=vaughan [2010-08-19 01:07:26] 2061*2^582729-1 is not prime. Res64: 7EDCC4CB362202CA Time : 7388.0 sec. user=vaughan [2010-08-19 01:10:43] 2011*2^582729-1 is not prime. Res64: 882168930B5A09AC Time : 7621.0 sec. user=vaughan [2010-08-19 01:14:02] 2167*2^582729-1 is not prime. Res64: C0DD80AA86BE4830 Time : 7631.0 sec. user=vaughan [2010-08-19 01:18:30] 2347*2^582729-1 is not prime. Res64: B78CC02F60E25E96 Time : 7336.0 sec. user=vaughan [2010-08-19 01:18:30] 2065*2^582729-1 is not prime. Res64: 4C844A5F3529ECCC Time : 8014.0 sec. user=vaughan [2010-08-19 01:22:12] 2247*2^582729-1 is not prime. Res64: D5D9AD6428A8072C Time : 7677.0 sec. user=vaughan [2010-08-19 01:24:16] 2401*2^582729-1 is not prime. Res64: 7F7FDD5F29445220 Time : 7476.0 sec. user=vaughan [2010-08-19 01:29:26] 2449*2^582729-1 is not prime. Res64: 14EF85B03B4A2058 Time : 7293.0 sec. user=vaughan [2010-08-19 01:32:41] 2385*2^582729-1 is not prime. Res64: 24CE10F1754E530B Time : 8175.0 sec. user=vaughan [2010-08-19 01:33:56] 2427*2^582729-1 is not prime. Res64: F2987C972FF19942 Time : 7659.0 sec. user=vaughan [2010-08-19 01:35:43] 2469*2^582729-1 is not prime. Res64: F021926798D030EC Time : 7447.0 sec. user=vaughan [2010-08-19 01:40:31] 2475*2^582729-1 is not prime. Res64: E22E6CA2DDAEFA91 Time : 7343.0 sec. user=vaughan [2010-08-19 01:42:06] 2259*2^582724-1 is not prime. Res64: 5D3A369EFED6D635 Time : 23949.0 sec. user=vaughan [2010-08-19 01:43:33] 2655*2^582729-1 is not prime. Res64: 45438B08F4BE74BA Time : 7462.0 sec. user=vaughan [2010-08-19 01:46:34] 2679*2^582729-1 is not prime. Res64: 4148AA82BF574EFC Time : 7451.0 sec. user=vaughan [2010-08-19 01:48:05] 2445*2^582729-1 is not prime. Res64: 280B3D569BAF17B4 Time : 8474.0 sec. user=vaughan [2010-08-19 01:50:08] 2737*2^582729-1 is not prime. Res64: 3CE5D9AEF904E077 Time : 7241.0 sec. user=vaughan [2010-08-19 01:54:58] 2769*2^582729-1 is not prime. Res64: 427FA86D3AB9D7F8 Time : 7473.0 sec. user=vaughan [2010-08-19 01:58:49] 2545*2^582729-1 is not prime. Res64: B9988C9BBCDA792B Time : 8407.0 sec. user=vaughan [2010-08-19 01:59:01] 2799*2^582729-1 is not prime. Res64: 72C1566E84F2EF62 Time : 7479.0 sec. user=vaughan [2010-08-19 02:03:47] 2821*2^582729-1 is not prime. Res64: 912CB1BFE7331DB7 Time : 7373.0 sec. user=vaughan [2010-08-19 02:07:15] 2935*2^582729-1 is not prime. Res64: 54022B1A2EFCDBBB Time : 7511.0 sec. user=vaughan [2010-08-19 02:10:25] 2775*2^582729-1 is not prime. Res64: 604C29904FB7B82F Time : 8374.0 sec. user=vaughan [2010-08-19 02:10:44] 2063*2^582730-1 is not prime. Res64: F7690E5D2EE8BEAC Time : 7489.0 sec. user=vaughan [2010-08-19 02:15:23] 2081*2^582730-1 is not prime. Res64: 49E8D057296E3373 Time : 7409.0 sec. user=vaughan [2010-08-19 02:18:23] 2163*2^582730-1 is not prime. Res64: 18A74DD8208F8853 Time : 7481.0 sec. user=vaughan [2010-08-19 02:21:31] 2373*2^582730-1 is not prime. Res64: 33E37F0CBB6D9554 Time : 7446.0 sec. user=vaughan [2010-08-19 02:23:56] 2949*2^582729-1 is not prime. Res64: 7E5B02DC9C246D55 Time : 8490.0 sec. user=vaughan [2010-08-19 02:27:47] 2411*2^582730-1 is not prime. Res64: B50AC97FF3708148 Time : 7478.0 sec. user=vaughan [2010-08-19 02:30:22] 2415*2^582730-1 is not prime. Res64: 7E5D3D2B485B387A Time : 7556.0 sec. user=vaughan [2010-08-19 02:32:41] 2505*2^582730-1 is not prime. Res64: 4A9A3459323D9D5F Time : 7374.0 sec. user=vaughan [2010-08-19 02:34:12] 2225*2^582730-1 is not prime. Res64: 2C2347EADF131C4D Time : 8317.0 sec. user=vaughan [2010-08-19 02:40:35] 2555*2^582730-1 is not prime. Res64: 1DCE081D6D3E1D86 Time : 7561.0 sec. user=vaughan [2010-08-19 02:41:21] 2621*2^582730-1 is not prime. Res64: B5978CFABC85282A Time : 7504.0 sec. user=vaughan [2010-08-19 02:44:42] 2457*2^582730-1 is not prime. Res64: DCF28AEC283C67D8 Time : 8300.0 sec. user=vaughan [2010-08-19 02:44:47] 2651*2^582730-1 is not prime. Res64: 8E0FB1461B3955F5 Time : 7401.0 sec. user=vaughan [2010-08-19 02:52:21] 2717*2^582730-1 is not prime. Res64: 9DFB698E69C045B1 Time : 7675.0 sec. user=vaughan [2010-08-19 02:53:38] 2777*2^582730-1 is not prime. Res64: 74F5924FC121D64A Time : 7450.0 sec. user=vaughan [2010-08-19 02:54:12] 2627*2^582730-1 is not prime. Res64: 891912752E58FC20 Time : 8167.0 sec. user=vaughan [2010-08-19 02:56:40] 2885*2^582730-1 is not prime. Res64: 2282CBBA0C09FCF3 Time : 7452.0 sec. user=vaughan [2010-08-19 03:01:59] 2545*2^582725-1 is not prime. Res64: 051371850B279B6D Time : 23955.0 sec. user=vaughan [2010-08-19 03:04:35] 2925*2^582730-1 is not prime. Res64: 7633FB14F454D411 Time : 7761.0 sec. user=vaughan [2010-08-19 03:05:43] 2805*2^582730-1 is not prime. Res64: 3DA7C78375563588 Time : 8028.0 sec. user=vaughan [2010-08-19 03:05:49] 2961*2^582730-1 is not prime. Res64: FE60362BE35E1B9A Time : 7530.0 sec. user=vaughan [2010-08-19 03:08:04] 2005*2^582731-1 is not prime. Res64: 768A0BEF85CDC884 Time : 7474.0 sec. user=vaughan [2010-08-19 03:15:41] 2101*2^582731-1 is not prime. Res64: 02F3E50DE5A02309 Time : 7851.0 sec. user=vaughan [2010-08-19 03:16:13] 2133*2^582731-1 is not prime. Res64: D9395FE4CDCBA55F Time : 7727.0 sec. user=vaughan [2010-08-19 03:18:42] 2205*2^582731-1 is not prime. Res64: 75AD6E15D16EC348 Time : 7679.0 sec. user=vaughan [2010-08-19 03:20:23] 2209*2^582731-1 is not prime. Res64: 60967B4AEB4FB02F Time : 7581.0 sec. user=vaughan [2010-08-19 03:26:08] 2365*2^582731-1 is not prime. Res64: 645F7C3719F4D92D Time : 7658.0 sec. user=vaughan [2010-08-19 03:28:03] 2229*2^582731-1 is not prime. Res64: 3258E0994B74FE84 Time : 7773.0 sec. user=vaughan [2010-08-19 03:30:24] 2499*2^582731-1 is not prime. Res64: 93D70DB6EBB86A56 Time : 7693.0 sec. user=vaughan [2010-08-19 03:31:11] 2505*2^582731-1 is not prime. Res64: 2E5A9AE5D9C2F656 Time : 7616.0 sec. user=vaughan [2010-08-19 03:37:48] 2581*2^582731-1 is not prime. Res64: 214E842FBF0D0E0E Time : 7508.0 sec. user=vaughan [2010-08-19 03:39:29] 2535*2^582731-1 is not prime. Res64: BFA5FD5BF84EA1F8 Time : 7804.0 sec. user=vaughan [2010-08-19 03:41:44] 2623*2^582731-1 is not prime. Res64: DC95C40B257D7F3D Time : 7668.0 sec. user=vaughan [2010-08-19 03:44:22] 2625*2^582731-1 is not prime. Res64: 982BE462A1C86D1A Time : 7719.0 sec. user=vaughan [2010-08-19 03:48:24] 2043*2^582732-1 is not prime. Res64: 3CE2649944B9806B Time : 7219.0 sec. user=vaughan [2010-08-19 03:51:40] 2665*2^582731-1 is not prime. Res64: 0E8DF95FBB33EC1F Time : 7870.0 sec. user=vaughan [2010-08-19 03:53:37] 2895*2^582731-1 is not prime. Res64: 7DF148BFB73DBD11 Time : 7805.0 sec. user=vaughan [2010-08-19 03:56:01] 2007*2^582732-1 is not prime. Res64: 45CC5D6A8F5FA7EA Time : 7768.0 sec. user=vaughan [2010-08-19 03:58:09] 2153*2^582732-1 is not prime. Res64: 5B14D30E6C2E4BEF Time : 7160.0 sec. user=vaughan [2010-08-19 04:04:50] 2069*2^582732-1 is not prime. Res64: AB8DB4E2291400E7 Time : 8083.0 sec. user=vaughan [2010-08-19 04:05:34] 2099*2^582732-1 is not prime. Res64: 11285156E792E667 Time : 7836.0 sec. user=vaughan [2010-08-19 04:08:05] 2417*2^582732-1 is not prime. Res64: D196D1EE3654CC17 Time : 7060.0 sec. user=vaughan [2010-08-19 04:08:16] 2303*2^582732-1 is not prime. Res64: EF029A40CA428563 Time : 7755.0 sec. user=vaughan [2010-08-19 04:17:57] 2343*2^582732-1 is not prime. Res64: FDF9B967950BE3D3 Time : 8051.0 sec. user=vaughan [2010-08-19 04:18:26] 2595*2^582732-1 is not prime. Res64: E3792D39BAD2A9D8 Time : 6870.0 sec. user=vaughan [2010-08-19 04:18:30] 2459*2^582732-1 is not prime. Res64: DCCCE173C57107FA Time : 7667.0 sec. user=vaughan [2010-08-19 04:18:36] 2373*2^582732-1 is not prime. Res64: F2CAF16E00E84BC5 Time : 7881.0 sec. user=vaughan [2010-08-19 04:21:41] 2409*2^582727-1 is not prime. Res64: 34FF179DCC395B4A Time : 23946.0 sec. user=vaughan [2010-08-19 04:28:20] 2789*2^582732-1 is not prime. Res64: 22FD3082ED7ECBA1 Time : 6848.0 sec. user=vaughan [2010-08-19 04:30:06] 2469*2^582732-1 is not prime. Res64: B7BE734E25E96190 Time : 8083.0 sec. user=vaughan [2010-08-19 04:30:25] 2567*2^582732-1 is not prime. Res64: 2802027E16A7F3ED Time : 7735.0 sec. user=vaughan [2010-08-19 04:31:11] 2505*2^582732-1 is not prime. Res64: E88852746182B85C Time : 7969.0 sec. user=vaughan [2010-08-19 04:40:02] 2853*2^582732-1 is not prime. Res64: C3F909711F0743FD Time : 6920.0 sec. user=vaughan [2010-08-19 04:40:53] 2645*2^582732-1 is not prime. Res64: 6A8B6A1154EC9F50 Time : 7987.0 sec. user=vaughan [2010-08-19 04:41:45] 2777*2^582732-1 is not prime. Res64: B83D25364D220FE6 Time : 7744.0 sec. user=vaughan [2010-08-19 04:44:18] 2733*2^582732-1 is not prime. Res64: CEB088AE70D665C0 Time : 8037.0 sec. user=vaughan [2010-08-19 04:49:52] 2109*2^582733-1 is not prime. Res64: 172B067659D89E36 Time : 6940.0 sec. user=vaughan [2010-08-19 04:53:52] 2915*2^582732-1 is not prime. Res64: 753A5FF084A04BC2 Time : 7746.0 sec. user=vaughan [2010-08-19 04:53:59] 2837*2^582732-1 is not prime. Res64: 2DAFC5C2B4DAAEE7 Time : 8005.0 sec. user=vaughan [2010-08-19 04:56:02] 2849*2^582732-1 is not prime. Res64: 174141CB72842AAB Time : 8081.0 sec. user=vaughan [2010-08-19 04:59:03] 2277*2^582733-1 is not prime. Res64: 3CC93C7DE8CD7B3E Time : 6800.0 sec. user=vaughan [2010-08-19 05:04:33] 2145*2^582733-1 is not prime. Res64: C533715A86F8278F Time : 7674.0 sec. user=vaughan [2010-08-19 05:06:18] 2949*2^582732-1 is not prime. Res64: 50FFDB15677B2B60 Time : 8037.0 sec. user=vaughan [2010-08-19 05:08:48] 2047*2^582733-1 is not prime. Res64: 72DA73E2FE2CCB23 Time : 8111.0 sec. user=vaughan [2010-08-19 05:10:48] 2367*2^582733-1 is not prime. Res64: 113167D6F99E3708 Time : 6908.0 sec. user=vaughan [2010-08-19 05:15:45] 2365*2^582733-1 is not prime. Res64: EC44B1751B57090E Time : 7661.0 sec. user=vaughan [2010-08-19 05:17:50] 2259*2^582733-1 is not prime. Res64: 39CCED1D141CE4A6 Time : 7996.0 sec. user=vaughan [2010-08-19 05:21:11] 2497*2^582733-1 is not prime. Res64: D1DE174F2D8CEC11 Time : 6903.0 sec. user=vaughan [2010-08-19 05:21:48] 2311*2^582733-1 is not prime. Res64: E84BBDF5877647B5 Time : 8159.0 sec. user=vaughan [2010-08-19 05:27:49] 2431*2^582733-1 is not prime. Res64: FCB3731C90E37842 Time : 7646.0 sec. user=vaughan [2010-08-19 05:29:49] 2395*2^582733-1 is not prime. Res64: B654C5CB2E9D0AC6 Time : 8016.0 sec. user=vaughan [2010-08-19 05:32:12] 2731*2^582733-1 is not prime. Res64: 41D886F6F0F83621 Time : 6865.0 sec. user=vaughan [2010-08-19 05:34:13] 2407*2^582733-1 is not prime. Res64: 8DF327DD4A5F6E64 Time : 8132.0 sec. user=vaughan [2010-08-19 05:38:39] 2707*2^582733-1 is not prime. Res64: C0396332E8856F26 Time : 7648.0 sec. user=vaughan [2010-08-19 05:41:43] 2969*2^582728-1 is not prime. Res64: 433A48EDC28C4208 Time : 23953.0 sec. user=vaughan [2010-08-19 05:41:49] 2611*2^582733-1 is not prime. Res64: 267096A25F914569 Time : 8026.0 sec. user=vaughan [2010-08-19 05:42:41] 2935*2^582733-1 is not prime. Res64: B8884484EA390FD8 Time : 6858.0 sec. user=vaughan [2010-08-19 05:45:25] 2617*2^582733-1 is not prime. Res64: 2F999B794A397DD1 Time : 8101.0 sec. user=vaughan [2010-08-19 05:51:49] 2907*2^582733-1 is not prime. Res64: BB9D5CCF471A37E2 Time : 7647.0 sec. user=vaughan [2010-08-19 05:52:18] 2223*2^582734-1 is not prime. Res64: B1DCDD790F5A63F7 Time : 6849.0 sec. user=vaughan [2010-08-19 05:53:57] 2739*2^582733-1 is not prime. Res64: 9B0B10BBE4742ED6 Time : 8068.0 sec. user=vaughan [2010-08-19 05:59:06] 2761*2^582733-1 is not prime. Res64: D984CF20B01C3067 Time : 8242.0 sec. user=vaughan [2010-08-19 06:02:01] 2345*2^582734-1 is not prime. Res64: 3A7A9A99A1D8979E Time : 6836.0 sec. user=vaughan [2010-08-19 06:02:16] 2217*2^582734-1 is not prime. Res64: 1A370E930468AE05 Time : 7575.0 sec. user=vaughan [2010-08-19 06:07:05] 2195*2^582734-1 is not prime. Res64: BC1436F1DBCD5E6C Time : 8125.0 sec. user=vaughan [2010-08-19 06:09:45] 2205*2^582734-1 is not prime. Res64: 6CDFB395EEB79C15 Time : 8168.0 sec. user=vaughan [2010-08-19 06:14:10] 2591*2^582734-1 is not prime. Res64: A9D11DD475E53D41 Time : 6944.0 sec. user=vaughan [2010-08-19 06:14:21] 2381*2^582734-1 is not prime. Res64: 235B88F674FE8AC0 Time : 7565.0 sec. user=vaughan [2010-08-19 06:18:39] 2325*2^582734-1 is not prime. Res64: CE32C528C4714DF2 Time : 8029.0 sec. user=vaughan [2010-08-19 06:20:49] 2331*2^582734-1 is not prime. Res64: 1646210D338D351E Time : 8116.0 sec. user=vaughan [2010-08-19 06:24:17] 2633*2^582734-1 is not prime. Res64: 832271FE4E297590 Time : 7548.0 sec. user=vaughan [2010-08-19 06:28:54] 2577*2^582734-1 is not prime. Res64: 32B4ACF763F4E959 Time : 7858.0 sec. user=vaughan [2010-08-19 06:29:25] 2771*2^582734-1 is not prime. Res64: D46FCF56C2894106 Time : 7265.0 sec. user=vaughan [2010-08-19 06:33:24] 2645*2^582734-1 is not prime. Res64: FA84E9385593BB8B Time : 8088.0 sec. user=vaughan [2010-08-19 06:34:52] 2861*2^582734-1 is not prime. Res64: 28424CC6E634D86A Time : 7468.0 sec. user=vaughan [2010-08-19 06:39:44] 2813*2^582734-1 is not prime. Res64: 82ECDF70A2A4B8A4 Time : 7778.0 sec. user=vaughan [2010-08-19 06:41:11] 2005*2^582735-1 is not prime. Res64: 037CBAE6F346218A Time : 7269.0 sec. user=vaughan [2010-08-19 06:45:44] 2895*2^582734-1 is not prime. Res64: 33DFE71A40754855 Time : 8073.0 sec. user=vaughan [2010-08-19 06:46:44] 2145*2^582735-1 is not prime. Res64: 6D416FD0964DA487 Time : 7499.0 sec. user=vaughan [2010-08-19 06:52:04] 2013*2^582735-1 is not prime. Res64: B0A2DB36F5E8C980 Time : 7871.0 sec. user=vaughan [2010-08-19 06:52:33] 2193*2^582735-1 is not prime. Res64: 6700EF999B9FBEB6 Time : 7361.0 sec. user=vaughan [2010-08-19 06:57:09] 2209*2^582735-1 is not prime. Res64: CC9608B5FC3D4FCD Time : 7397.0 sec. user=vaughan [2010-08-19 06:57:29] 2169*2^582735-1 is not prime. Res64: 68EC0AFB5737D98E Time : 7992.0 sec. user=vaughan [2010-08-19 07:02:17] 2375*2^582730-1 is not prime. Res64: F48BF9331BE480F9 Time : 23999.0 sec. user=vaughan [2010-08-19 07:03:23] 2245*2^582735-1 is not prime. Res64: 47AACBBAD8C180FA Time : 7765.0 sec. user=vaughan [2010-08-19 07:07:39] 2341*2^582735-1 is not prime. Res64: 4D844AAE094D43A3 Time : 7716.0 sec. user=vaughan [2010-08-19 07:07:49] 2389*2^582735-1 is not prime. Res64: F982DB315ADF4CF8 Time : 7396.0 sec. user=vaughan [2010-08-19 07:08:56] 2259*2^582735-1 is not prime. Res64: 8E4C73F1787FA676 Time : 7975.0 sec. user=vaughan [2010-08-19 07:13:41] 2413*2^582735-1 is not prime. Res64: A377300F0C7B40CE Time : 7644.0 sec. user=vaughan [2010-08-19 07:19:23] 2725*2^582735-1 is not prime. Res64: 66E4E6E60442EDA8 Time : 7418.0 sec. user=vaughan [2010-08-19 07:19:57] 2431*2^582735-1 is not prime. Res64: A1D42F015F9140C6 Time : 7869.0 sec. user=vaughan [2010-08-19 07:20:07] 2713*2^582735-1 is not prime. Res64: 1291940A3731D7E3 Time : 7759.0 sec. user=vaughan [2010-08-19 07:24:28] 2821*2^582735-1 is not prime. Res64: B593D9D30013CC0B Time : 7598.0 sec. user=vaughan [2010-08-19 07:30:09] 2851*2^582735-1 is not prime. Res64: 8F4264F510A17938 Time : 7340.0 sec. user=vaughan [2010-08-19 07:31:56] 2833*2^582735-1 is not prime. Res64: 7833F753F78F51E7 Time : 7808.0 sec. user=vaughan [2010-08-19 07:34:11] 2823*2^582735-1 is not prime. Res64: 1FF45BDEA7B2A775 Time : 7980.0 sec. user=vaughan [2010-08-19 07:35:46] 2893*2^582735-1 is not prime. Res64: E5C55A0B9AA0825B Time : 7557.0 sec. user=vaughan [2010-08-19 07:41:47] 2087*2^582736-1 is not prime. Res64: D5EABB663626B73E Time : 7388.0 sec. user=vaughan [2010-08-19 07:43:49] 2067*2^582736-1 is not prime. Res64: 3E4A497C706ED4D9 Time : 7776.0 sec. user=vaughan [2010-08-19 07:44:08] 2019*2^582736-1 is not prime. Res64: 8D28D8722F6155B2 Time : 7916.0 sec. user=vaughan [2010-08-19 07:49:22] 2127*2^582736-1 is not prime. Res64: A54EA14EB02960C5 Time : 7654.0 sec. user=vaughan [2010-08-19 07:53:38] 2627*2^582736-1 is not prime. Res64: 7F5BBBC1252ADFE8 Time : 7309.0 sec. user=vaughan [2010-08-19 07:54:29] 2159*2^582736-1 is not prime. Res64: 0C4DF67302C3BFF7 Time : 7908.0 sec. user=vaughan [2010-08-19 07:56:49] 2333*2^582736-1 is not prime. Res64: 0CB5AAA1FAE5C80A Time : 7884.0 sec. user=vaughan [2010-08-19 08:01:55] 2697*2^582736-1 is not prime. Res64: 8C042953C1D0712A Time : 7679.0 sec. user=vaughan [2010-08-19 08:04:18] 2679*2^582736-1 is not prime. Res64: 34EEBDF85FF3AF89 Time : 7920.0 sec. user=vaughan [2010-08-19 08:05:39] 2859*2^582736-1 is not prime. Res64: 7063EC948FDAECBB Time : 7403.0 sec. user=vaughan [2010-08-19 08:08:08] 2717*2^582736-1 is not prime. Res64: 4FC7FF2384311067 Time : 7743.0 sec. user=vaughan [2010-08-19 08:14:03] 2855*2^582736-1 is not prime. Res64: 77E9EDB4F73EFF30 Time : 7922.0 sec. user=vaughan [2010-08-19 08:14:33] 2885*2^582736-1 is not prime. Res64: DB6BB16E8C27A003 Time : 7649.0 sec. user=vaughan [2010-08-19 08:18:22] 2985*2^582736-1 is not prime. Res64: A7CA2140F228EA0C Time : 7442.0 sec. user=vaughan [2010-08-19 08:20:21] 2897*2^582736-1 is not prime. Res64: B27070495E218730 Time : 7837.0 sec. user=vaughan [2010-08-19 08:22:29] 2773*2^582731-1 is not prime. Res64: 81E4AE984C507F99 Time : 24023.0 sec. user=vaughan [2010-08-19 08:24:50] 2933*2^582736-1 is not prime. Res64: 447B60C3D5A8A7BA Time : 7840.0 sec. user=vaughan [2010-08-19 08:26:16] 2029*2^582737-1 is not prime. Res64: 7ED7EE927052B639 Time : 7657.0 sec. user=vaughan [2010-08-19 08:29:03] 2149*2^582737-1 is not prime. Res64: E79D513D58E1851D Time : 7486.0 sec. user=vaughan [2010-08-19 08:33:54] 2127*2^582737-1 is not prime. Res64: 61B30B41B8ADCDE5 Time : 7985.0 sec. user=vaughan [2010-08-19 08:35:07] 2187*2^582737-1 is not prime. Res64: 09A252DB1B404858 Time : 7542.0 sec. user=vaughan [2010-08-19 08:38:24] 2167*2^582737-1 is not prime. Res64: 4B08360C94E6E3F7 Time : 7770.0 sec. user=vaughan [2010-08-19 08:39:26] 2229*2^582737-1 is not prime. Res64: 59450449D3537AB7 Time : 7474.0 sec. user=vaughan [2010-08-19 08:46:21] 2227*2^582737-1 is not prime. Res64: 059E32ED7F652A8B Time : 7977.0 sec. user=vaughan [2010-08-19 08:46:39] 2365*2^582737-1 is not prime. Res64: F5BC7C623C9A318A Time : 7528.0 sec. user=vaughan [2010-08-19 08:49:53] 2257*2^582737-1 is not prime. Res64: B786AA691C5A2A3D Time : 7810.0 sec. user=vaughan [2010-08-19 08:51:16] 2521*2^582737-1 is not prime. Res64: D8F9C3A58336A314 Time : 7472.0 sec. user=vaughan [2010-08-19 08:56:41] 2677*2^582737-1 is not prime. Res64: 591928D05A0D3E49 Time : 7448.0 sec. user=vaughan [2010-08-19 08:57:50] 2449*2^582737-1 is not prime. Res64: FD58754C00A4E27C Time : 7927.0 sec. user=vaughan [2010-08-19 09:02:16] 2671*2^582737-1 is not prime. Res64: 4CB5A01ABDAEFDBE Time : 7812.0 sec. user=vaughan [2010-08-19 09:03:42] 2709*2^582737-1 is not prime. Res64: 527863242B81CB1A Time : 7593.0 sec. user=vaughan [2010-08-19 09:07:07] 2847*2^582737-1 is not prime. Res64: 3D49673D74023EE9 Time : 7168.0 sec. user=vaughan [2010-08-19 09:10:21] 2787*2^582737-1 is not prime. Res64: 798CDB9A1435628F Time : 7972.0 sec. user=vaughan [2010-08-19 09:14:58] 2859*2^582737-1 is not prime. Res64: 70ED8414306DD6B6 Time : 7629.0 sec. user=vaughan [2010-08-19 09:15:17] 2827*2^582737-1 is not prime. Res64: EC70650B166CAAAB Time : 7914.0 sec. user=vaughan [2010-08-19 09:18:05] 2103*2^582738-1 is not prime. Res64: B5B094BBCA759778 Time : 7078.0 sec. user=vaughan [2010-08-19 09:21:42] 2947*2^582737-1 is not prime. Res64: AAE6AC24499EC187 Time : 7966.0 sec. user=vaughan [2010-08-19 09:26:20] 2015*2^582738-1 is not prime. Res64: 477FCD0C5527D5D8 Time : 7618.0 sec. user=vaughan [2010-08-19 09:27:26] 2955*2^582737-1 is not prime. Res64: 439221A4FE83024A Time : 8025.0 sec. user=vaughan [2010-08-19 09:29:11] 2243*2^582738-1 is not prime. Res64: 6C3B7CF0620E83E1 Time : 6900.0 sec. user=vaughan [2010-08-19 09:33:03] 2067*2^582738-1 is not prime. Res64: AD0C440B21EEACAA Time : 7986.0 sec. user=vaughan [2010-08-19 09:37:45] 2151*2^582738-1 is not prime. Res64: 5DA08BDFC1957BA4 Time : 7657.0 sec. user=vaughan [2010-08-19 09:39:18] 2663*2^582738-1 is not prime. Res64: A5685D940C7EB5C9 Time : 6911.0 sec. user=vaughan [2010-08-19 09:40:21] 2141*2^582738-1 is not prime. Res64: 4807DC5D0B1A4949 Time : 8153.0 sec. user=vaughan [2010-08-19 09:42:09] 2211*2^582733-1 is not prime. Res64: DF04DCC9E04A0E3E Time : 24011.0 sec. user=vaughan [2010-08-19 09:46:03] 2211*2^582738-1 is not prime. Res64: C0E065AAFBEAF278 Time : 8047.0 sec. user=vaughan [2010-08-19 09:49:12] 2865*2^582738-1 is not prime. Res64: 36CE9FEB5CD4AB19 Time : 6883.0 sec. user=vaughan [2010-08-19 09:50:28] 2517*2^582738-1 is not prime. Res64: A38507C32DBA654B Time : 7721.0 sec. user=vaughan [2010-08-19 09:51:58] 2315*2^582738-1 is not prime. Res64: 4ACE26A8CF006365 Time : 8173.0 sec. user=vaughan [2010-08-19 09:58:57] 2657*2^582738-1 is not prime. Res64: EC48813766747683 Time : 8108.0 sec. user=vaughan [2010-08-19 09:59:19] 2101*2^582739-1 is not prime. Res64: BAD9BECCF75899C2 Time : 6901.0 sec. user=vaughan [2010-08-19 10:01:37] 2817*2^582738-1 is not prime. Res64: C76E577323DA1A36 Time : 7679.0 sec. user=vaughan [2010-08-19 10:03:09] 2783*2^582738-1 is not prime. Res64: D31DDF13EEB207AE Time : 8028.0 sec. user=vaughan [2010-08-19 10:10:20] 2269*2^582739-1 is not prime. Res64: 94F1408A430D11D4 Time : 6977.0 sec. user=vaughan [2010-08-19 10:11:10] 2925*2^582738-1 is not prime. Res64: D087C7BBC86D588F Time : 8062.0 sec. user=vaughan [2010-08-19 10:14:42] 2241*2^582739-1 is not prime. Res64: 04768F54D2D46C46 Time : 7743.0 sec. user=vaughan [2010-08-19 10:14:55] 2991*2^582738-1 is not prime. Res64: D260039B3E25EF3E Time : 7981.0 sec. user=vaughan [2010-08-19 10:19:50] 2431*2^582739-1 is not prime. Res64: B8D18A0E45AE24B0 Time : 6901.0 sec. user=vaughan [2010-08-19 10:24:49] 2253*2^582739-1 is not prime. Res64: 12E1881D5F2C8C8E Time : 8201.0 sec. user=vaughan [2010-08-19 10:25:44] 2319*2^582739-1 is not prime. Res64: C0A09DF6486EE80E Time : 7643.0 sec. user=vaughan [2010-08-19 10:26:28] 2289*2^582739-1 is not prime. Res64: 6E04900A4289FCB9 Time : 7916.0 sec. user=vaughan [2010-08-19 10:29:23] 2613*2^582739-1 is not prime. Res64: 4A41825060894B8E Time : 6857.0 sec. user=vaughan [2010-08-19 10:37:46] 2509*2^582739-1 is not prime. Res64: D1DCF0CDEBF16A6A Time : 7723.0 sec. user=vaughan [2010-08-19 10:38:07] 2343*2^582739-1 is not prime. Res64: 3BAA410EC4CE2675 Time : 8266.0 sec. user=vaughan [2010-08-19 10:38:08] 2445*2^582739-1 is not prime. Res64: B22478D09C863D13 Time : 7912.0 sec. user=vaughan [2010-08-19 10:40:36] 2015*2^582740-1 is not prime. Res64: BBB426412CE46CE9 Time : 6837.0 sec. user=vaughan [2010-08-19 10:49:08] 2739*2^582739-1 is not prime. Res64: 56C53D28634A5DFC Time : 7782.0 sec. user=vaughan [2010-08-19 10:50:02] 2721*2^582739-1 is not prime. Res64: 4EF7A00C62835C51 Time : 7898.0 sec. user=vaughan [2010-08-19 10:50:26] 2551*2^582739-1 is not prime. Res64: CE03D42AC9D54DE4 Time : 8192.0 sec. user=vaughan [2010-08-19 10:51:16] 2457*2^582740-1 is not prime. Res64: 558F3606B3223786 Time : 6875.0 sec. user=vaughan [2010-08-19 10:59:21] 2247*2^582740-1 is not prime. Res64: E0C32B7A8AEDFF0A Time : 7686.0 sec. user=vaughan [2010-08-19 11:01:24] 2127*2^582740-1 is not prime. Res64: 41BE1879AADC6962 Time : 7891.0 sec. user=vaughan [2010-08-19 11:01:52] 2667*2^582734-1 is not prime. Res64: E0C49D83EAD9B207 Time : 24011.0 sec. user=vaughan [2010-08-19 11:02:17] 2555*2^582740-1 is not prime. Res64: AB816C4F54AD2D32 Time : 6911.0 sec. user=vaughan [2010-08-19 11:04:30] 2875*2^582739-1 is not prime. Res64: 4DB614F66A42694B Time : 8290.0 sec. user=vaughan [2010-08-19 11:11:23] 2517*2^582740-1 is not prime. Res64: 9DEDB0A2191439FE Time : 7661.0 sec. user=vaughan [2010-08-19 11:12:49] 2693*2^582740-1 is not prime. Res64: 0DDFAC96BE6DA12C Time : 6884.0 sec. user=vaughan [2010-08-19 11:13:25] 2483*2^582740-1 is not prime. Res64: FC8BB64E1C6EA847 Time : 7869.0 sec. user=vaughan [2010-08-19 11:16:06] 2463*2^582740-1 is not prime. Res64: 3C1E645D62ED6C28 Time : 8297.0 sec. user=vaughan [2010-08-19 11:22:47] 2645*2^582740-1 is not prime. Res64: 0AD950B71595E6DA Time : 7669.0 sec. user=vaughan [2010-08-19 11:23:01] 2877*2^582740-1 is not prime. Res64: 85877484EE2A8EF2 Time : 6830.0 sec. user=vaughan [2010-08-19 11:26:12] 2687*2^582740-1 is not prime. Res64: 798A4BE1C3F9EAB5 Time : 7856.0 sec. user=vaughan [2010-08-19 11:28:10] 2595*2^582740-1 is not prime. Res64: 9BADC4357BAE101F Time : 8269.0 sec. user=vaughan [2010-08-19 11:32:59] 2979*2^582740-1 is not prime. Res64: 16AEBEEBCEBA28E3 Time : 6821.0 sec. user=vaughan [2010-08-19 11:34:05] 2835*2^582740-1 is not prime. Res64: 9C52AFD24FF2DB11 Time : 7666.0 sec. user=vaughan [2010-08-19 11:39:36] 2859*2^582740-1 is not prime. Res64: ABF8B9CB1E622FB5 Time : 7930.0 sec. user=vaughan [2010-08-19 11:40:37] 2763*2^582740-1 is not prime. Res64: 479B86AE7B9A4ECF Time : 8335.0 sec. user=vaughan [2010-08-19 11:44:42] 2095*2^582741-1 is not prime. Res64: B07AC5047FF10562 Time : 6931.0 sec. user=vaughan [2010-08-19 11:45:06] 2969*2^582740-1 is not prime. Res64: 3F237171A3E1A974 Time : 7641.0 sec. user=vaughan [2010-08-19 11:50:12] 2997*2^582740-1 is not prime. Res64: 03D453CBF7D9B1AB Time : 7792.0 sec. user=vaughan [2010-08-19 11:52:06] 2903*2^582740-1 is not prime. Res64: DD1E400F7513FF52 Time : 8343.0 sec. user=vaughan [2010-08-19 11:56:15] 2161*2^582741-1 is not prime. Res64: F9A181468F55A5B3 Time : 7548.0 sec. user=vaughan [2010-08-19 11:57:46] 2379*2^582741-1 is not prime. Res64: 17922AAFAF9EAE4B Time : 7107.0 sec. user=vaughan [2010-08-19 12:00:02] 2169*2^582741-1 is not prime. Res64: 48D441C6F5C92526 Time : 7684.0 sec. user=vaughan [2010-08-19 12:03:25] 2079*2^582741-1 is not prime. Res64: A06923630DE23E87 Time : 8243.0 sec. user=vaughan [2010-08-19 12:08:35] 2427*2^582741-1 is not prime. Res64: 84058A6F57A9DB8A Time : 7619.0 sec. user=vaughan [2010-08-19 12:10:25] 2515*2^582741-1 is not prime. Res64: 880515578C51A48E Time : 7206.0 sec. user=vaughan [2010-08-19 12:11:31] 2499*2^582741-1 is not prime. Res64: BAE6E8693063C129 Time : 7702.0 sec. user=vaughan [2010-08-19 12:15:06] 2277*2^582741-1 is not prime. Res64: 5BF6C61A91BDF722 Time : 8169.0 sec. user=vaughan [2010-08-19 12:20:34] 2601*2^582741-1 is not prime. Res64: 3BE649D74CF8C676 Time : 7552.0 sec. user=vaughan [2010-08-19 12:21:33] 2105*2^582736-1 is not prime. Res64: D897721F3D725305 Time : 23990.0 sec. user=vaughan [2010-08-19 12:22:18] 2631*2^582741-1 is not prime. Res64: E16A863FEDC4254A Time : 7349.0 sec. user=vaughan [2010-08-19 12:22:39] 2625*2^582741-1 is not prime. Res64: 584CA33C1AB85BB7 Time : 7664.0 sec. user=vaughan [2010-08-19 12:26:31] 2551*2^582741-1 is not prime. Res64: 020593D394010564 Time : 8121.0 sec. user=vaughan [2010-08-19 12:32:26] 2739*2^582741-1 is not prime. Res64: 9AFD45426E550793 Time : 7602.0 sec. user=vaughan [2010-08-19 12:33:01] 2865*2^582741-1 is not prime. Res64: 364D80E84B45864E Time : 7418.0 sec. user=vaughan [2010-08-19 12:34:49] 2757*2^582741-1 is not prime. Res64: ABCBD0864D5CCC49 Time : 7702.0 sec. user=vaughan [2010-08-19 12:38:12] 2685*2^582741-1 is not prime. Res64: BA06DBA025BF9AF1 Time : 8003.0 sec. user=vaughan [2010-08-19 12:42:09] 2911*2^582741-1 is not prime. Res64: 7FF41E75E6B07AE8 Time : 7463.0 sec. user=vaughan [2010-08-19 12:43:17] 2051*2^582742-1 is not prime. Res64: F6DD0D2557641CD1 Time : 7362.0 sec. user=vaughan [2010-08-19 12:48:53] 2043*2^582742-1 is not prime. Res64: 41A82EE40BD0C580 Time : 7845.0 sec. user=vaughan [2010-08-19 12:49:05] 2937*2^582741-1 is not prime. Res64: D5751625E70F6E0D Time : 7859.0 sec. user=vaughan [2010-08-19 12:52:39] 2127*2^582742-1 is not prime. Res64: 6F203F624A8CD60E Time : 7411.0 sec. user=vaughan [2010-08-19 12:59:24] 2183*2^582742-1 is not prime. Res64: 105DC4D5B708DCED Time : 7762.0 sec. user=vaughan [2010-08-19 13:00:33] 2205*2^582742-1 is not prime. Res64: BF5969DFCC204657 Time : 7808.0 sec. user=vaughan [2010-08-19 13:01:46] 2241*2^582742-1 is not prime. Res64: F6935E4E123FD696 Time : 7830.0 sec. user=vaughan [2010-08-19 13:01:50] 2283*2^582742-1 is not prime. Res64: 3FA75E865F945017 Time : 7349.0 sec. user=vaughan [2010-08-19 13:10:01] 2381*2^582742-1 is not prime. Res64: F36E55F2B4EDDA5F Time : 7718.0 sec. user=vaughan [2010-08-19 13:13:08] 2583*2^582742-1 is not prime. Res64: BA37476FDB7F03EF Time : 7719.0 sec. user=vaughan [2010-08-19 13:13:23] 2553*2^582742-1 is not prime. Res64: 1F53384117256E0B Time : 7867.0 sec. user=vaughan [2010-08-19 13:13:34] 2603*2^582742-1 is not prime. Res64: E75E8052629A027D Time : 7332.0 sec. user=vaughan [2010-08-19 13:22:03] 2813*2^582742-1 is not prime. Res64: F1F7FA397D9FAB25 Time : 7718.0 sec. user=vaughan [2010-08-19 13:24:49] 2013*2^582743-1 is not prime. Res64: 25388ED69C019709 Time : 7322.0 sec. user=vaughan [2010-08-19 13:25:47] 2757*2^582742-1 is not prime. Res64: 336A6B402A6F22FC Time : 7978.0 sec. user=vaughan [2010-08-19 13:25:56] 2835*2^582742-1 is not prime. Res64: CD4CBAF7A5B3BCD4 Time : 7791.0 sec. user=vaughan [2010-08-19 13:33:45] 2139*2^582743-1 is not prime. Res64: 195EBC1647416224 Time : 7653.0 sec. user=vaughan [2010-08-19 13:34:44] 2131*2^582743-1 is not prime. Res64: 3F31E33D9B6A32B2 Time : 7904.0 sec. user=vaughan [2010-08-19 13:37:36] 2211*2^582743-1 is not prime. Res64: 344B6488B836A312 Time : 7767.0 sec. user=vaughan [2010-08-19 13:37:39] 2269*2^582743-1 is not prime. Res64: 1C9E48BA80AC3B1E Time : 7415.0 sec. user=vaughan [2010-08-19 13:41:28] 2811*2^582737-1 is not prime. Res64: B9A0AF81596C3395 Time : 23952.0 sec. user=vaughan [2010-08-19 13:43:56] 2343*2^582743-1 is not prime. Res64: 921A8ECAE34BD236 Time : 7460.0 sec. user=vaughan [2010-08-19 13:48:14] 2479*2^582743-1 is not prime. Res64: CEAB92A491059E06 Time : 7388.0 sec. user=vaughan [2010-08-19 13:48:20] 2239*2^582743-1 is not prime. Res64: D2D30520F3FC7556 Time : 8122.0 sec. user=vaughan [2010-08-19 13:49:27] 2359*2^582743-1 is not prime. Res64: DADFC33EDC6E17D4 Time : 7730.0 sec. user=vaughan [2010-08-19 13:55:17] 2575*2^582743-1 is not prime. Res64: 5718A97DFF92EFBC Time : 7506.0 sec. user=vaughan [2010-08-19 13:58:53] 2821*2^582743-1 is not prime. Res64: 3071594A78D71990 Time : 7358.0 sec. user=vaughan [2010-08-19 13:59:37] 2413*2^582743-1 is not prime. Res64: EFD04D1591579724 Time : 8095.0 sec. user=vaughan [2010-08-19 14:01:34] 2709*2^582743-1 is not prime. Res64: BF4C4A41B559C911 Time : 7769.0 sec. user=vaughan [2010-08-19 14:08:22] 2049*2^582744-1 is not prime. Res64: F2AC4828249824AC Time : 7701.0 sec. user=vaughan [2010-08-19 14:09:16] 2853*2^582743-1 is not prime. Res64: 1C8D68CB8CEDD88E Time : 7890.0 sec. user=vaughan [2010-08-19 14:10:20] 2183*2^582744-1 is not prime. Res64: 59235BC4C390556A Time : 7305.0 sec. user=vaughan [2010-08-19 14:14:38] 2093*2^582744-1 is not prime. Res64: FC21478031CE2F20 Time : 7873.0 sec. user=vaughan [2010-08-19 14:20:25] 2207*2^582744-1 is not prime. Res64: 85C607F686E11EB0 Time : 7734.0 sec. user=vaughan [2010-08-19 14:21:32] 2247*2^582744-1 is not prime. Res64: C2CFF2C29AA4BB9F Time : 7259.0 sec. user=vaughan [2010-08-19 14:21:41] 2189*2^582744-1 is not prime. Res64: F3790CDD8C4C5676 Time : 7876.0 sec. user=vaughan [2010-08-19 14:25:09] 2229*2^582744-1 is not prime. Res64: 454E3B48DD61B081 Time : 7803.0 sec. user=vaughan [2010-08-19 14:32:13] 2555*2^582744-1 is not prime. Res64: B3B6511AE15ED2F8 Time : 7774.0 sec. user=vaughan [2010-08-19 14:32:35] 2567*2^582744-1 is not prime. Res64: FA03FE859C06CFA6 Time : 7209.0 sec. user=vaughan [2010-08-19 14:33:17] 2403*2^582744-1 is not prime. Res64: E23693485384A38B Time : 7860.0 sec. user=vaughan [2010-08-19 14:38:15] 2565*2^582744-1 is not prime. Res64: 94B8CCA9862C05D0 Time : 7904.0 sec. user=vaughan [2010-08-19 14:43:02] 2685*2^582744-1 is not prime. Res64: A570335757FBBA07 Time : 7801.0 sec. user=vaughan [2010-08-19 14:43:43] 2877*2^582744-1 is not prime. Res64: D081D94520241DBD Time : 7295.0 sec. user=vaughan [2010-08-19 14:43:53] 2733*2^582744-1 is not prime. Res64: 5377BC4AF3C38290 Time : 7745.0 sec. user=vaughan [2010-08-19 14:51:16] 2775*2^582744-1 is not prime. Res64: F1723E5941EFC24E Time : 7984.0 sec. user=vaughan [2010-08-19 14:53:36] 2889*2^582744-1 is not prime. Res64: 35FBDCB7E65E97A5 Time : 7819.0 sec. user=vaughan [2010-08-19 14:55:17] 2197*2^582745-1 is not prime. Res64: 35B71A2406C5EBA7 Time : 7360.0 sec. user=vaughan [2010-08-19 14:56:50] 2017*2^582745-1 is not prime. Res64: ECF194EA2A19CA55 Time : 7678.0 sec. user=vaughan [2010-08-19 15:01:24] 2415*2^582739-1 is not prime. Res64: 54E7A57259595FE5 Time : 23935.0 sec. user=vaughan [2010-08-19 15:02:24] 2137*2^582745-1 is not prime. Res64: 96B289A3109930A0 Time : 8000.0 sec. user=vaughan [2010-08-19 15:03:29] 2385*2^582745-1 is not prime. Res64: 46E80A54DE6474E5 Time : 7304.0 sec. user=vaughan [2010-08-19 15:07:11] 2401*2^582745-1 is not prime. Res64: 4422D970493F46F4 Time : 7521.0 sec. user=vaughan [2010-08-19 15:10:03] 2247*2^582745-1 is not prime. Res64: 82467F6FD7818FCF Time : 7840.0 sec. user=vaughan [2010-08-19 15:13:36] 2541*2^582745-1 is not prime. Res64: 849B4C953E8DA1B3 Time : 7214.0 sec. user=vaughan [2010-08-19 15:13:42] 2337*2^582745-1 is not prime. Res64: 93C4FA4F0654EE7F Time : 7989.0 sec. user=vaughan [2010-08-19 15:19:00] 2565*2^582745-1 is not prime. Res64: 15B423676DC4DAFC Time : 7526.0 sec. user=vaughan [2010-08-19 15:23:08] 2437*2^582745-1 is not prime. Res64: 46CAFB3431AC3599 Time : 7988.0 sec. user=vaughan [2010-08-19 15:23:24] 2707*2^582745-1 is not prime. Res64: 807D9DFD06CEDDE3 Time : 7057.0 sec. user=vaughan [2010-08-19 15:26:17] 2487*2^582745-1 is not prime. Res64: F372495DB7A04EB2 Time : 7989.0 sec. user=vaughan [2010-08-19 15:30:06] 2631*2^582745-1 is not prime. Res64: 49ADFBADF1412DF8 Time : 7521.0 sec. user=vaughan [2010-08-19 15:34:27] 2589*2^582745-1 is not prime. Res64: B1C194E77D3FAFC3 Time : 7944.0 sec. user=vaughan [2010-08-19 15:34:48] 2809*2^582745-1 is not prime. Res64: 583D9EEE1B008687 Time : 7205.0 sec. user=vaughan [2010-08-19 15:39:57] 2739*2^582745-1 is not prime. Res64: B988E3085FDC726D Time : 8041.0 sec. user=vaughan [2010-08-19 15:41:17] 2013*2^582746-1 is not prime. Res64: EDFF3CBC5DBF9AB1 Time : 7418.0 sec. user=vaughan [2010-08-19 15:44:53] 2213*2^582746-1 is not prime. Res64: E91C20E105A1BBF7 Time : 6994.0 sec. user=vaughan [2010-08-19 15:45:53] 2767*2^582745-1 is not prime. Res64: 671A70DC5B633E8F Time : 7929.0 sec. user=vaughan [2010-08-19 15:51:17] 2851*2^582745-1 is not prime. Res64: 5B2CD5BD396B92DD Time : 8022.0 sec. user=vaughan [2010-08-19 15:53:09] 2195*2^582746-1 is not prime. Res64: 92A813F9C560213C Time : 7496.0 sec. user=vaughan [2010-08-19 15:54:38] 2351*2^582746-1 is not prime. Res64: B72660A55D6FAC83 Time : 6901.0 sec. user=vaughan [2010-08-19 16:00:45] 2057*2^582746-1 is not prime. Res64: 0384E60C92F71038 Time : 8210.0 sec. user=vaughan [2010-08-19 16:03:39] 2297*2^582746-1 is not prime. Res64: B3F24124C17CB3D5 Time : 7488.0 sec. user=vaughan [2010-08-19 16:04:29] 2225*2^582746-1 is not prime. Res64: 8B0E35624C293A69 Time : 8102.0 sec. user=vaughan [2010-08-19 16:04:34] 2421*2^582746-1 is not prime. Res64: D796593AD3074959 Time : 6919.0 sec. user=vaughan [2010-08-19 16:13:08] 2247*2^582746-1 is not prime. Res64: 3CC58AB6434ED8AC Time : 8271.0 sec. user=vaughan [2010-08-19 16:13:53] 2787*2^582746-1 is not prime. Res64: BACAA0A8E1FB66E6 Time : 6733.0 sec. user=vaughan [2010-08-19 16:16:42] 2355*2^582746-1 is not prime. Res64: 7C684B9502390A08 Time : 8109.0 sec. user=vaughan [2010-08-19 16:17:14] 2561*2^582746-1 is not prime. Res64: 1CF54ECD8DA2AE4B Time : 7615.0 sec. user=vaughan [2010-08-19 16:21:23] 2025*2^582741-1 is not prime. Res64: 5D01FCC0F643AD65 Time : 23955.0 sec. user=vaughan [2010-08-19 16:23:08] 2367*2^582746-1 is not prime. Res64: DB2B925089C9F9C8 Time : 8087.0 sec. user=vaughan [2010-08-19 16:24:42] 2011*2^582747-1 is not prime. Res64: D4BC52AD389DB6DC Time : 6685.0 sec. user=vaughan [2010-08-19 16:28:52] 2577*2^582746-1 is not prime. Res64: 673CF52EE49D58B5 Time : 8056.0 sec. user=vaughan [2010-08-19 16:30:07] 2703*2^582746-1 is not prime. Res64: 6E9536F00A68D7E7 Time : 7715.0 sec. user=vaughan [2010-08-19 16:34:45] 2061*2^582747-1 is not prime. Res64: 3276C9B619CD6EF3 Time : 6703.0 sec. user=vaughan [2010-08-19 16:35:48] 2691*2^582746-1 is not prime. Res64: 40A761E98F3C118D Time : 8124.0 sec. user=vaughan [2010-08-19 16:41:24] 2873*2^582746-1 is not prime. Res64: F596DF132F4881C9 Time : 8175.0 sec. user=vaughan [2010-08-19 16:41:52] 2957*2^582746-1 is not prime. Res64: 00947D9451B60E0F Time : 7757.0 sec. user=vaughan [2010-08-19 16:46:32] 2179*2^582747-1 is not prime. Res64: F2C6484DC5C29713 Time : 6776.0 sec. user=vaughan [2010-08-19 16:46:45] 2943*2^582746-1 is not prime. Res64: A3C863362493DC04 Time : 8072.0 sec. user=vaughan [2010-08-19 16:51:56] 2133*2^582747-1 is not prime. Res64: D2FEA465D4F42223 Time : 7693.0 sec. user=vaughan [2010-08-19 16:52:54] 2013*2^582747-1 is not prime. Res64: CA6EF0B8A818C55A Time : 8080.0 sec. user=vaughan [2010-08-19 16:57:38] 2349*2^582747-1 is not prime. Res64: 0B519C6FF1487AEF Time : 6850.0 sec. user=vaughan [2010-08-19 17:00:03] 2151*2^582747-1 is not prime. Res64: B994F248D405C8E6 Time : 8170.0 sec. user=vaughan [2010-08-19 17:03:23] 2203*2^582747-1 is not prime. Res64: D8CA19D5561E4C38 Time : 7686.0 sec. user=vaughan [2010-08-19 17:05:57] 2161*2^582747-1 is not prime. Res64: F5FCE27A2C97599E Time : 8082.0 sec. user=vaughan [2010-08-19 17:06:25] 2401*2^582747-1 is not prime. Res64: 9787DB0FC071DCFE Time : 6770.0 sec. user=vaughan [2010-08-19 17:11:53] 2251*2^582747-1 is not prime. Res64: 8F713A4FADB5D743 Time : 8104.0 sec. user=vaughan [2010-08-19 17:15:54] 2385*2^582747-1 is not prime. Res64: EDB62D02970C2A55 Time : 7723.0 sec. user=vaughan [2010-08-19 17:17:12] 2299*2^582747-1 is not prime. Res64: 943FFA861AC4274B Time : 8089.0 sec. user=vaughan [2010-08-19 17:18:55] 2569*2^582747-1 is not prime. Res64: C01965B02A686EAD Time : 6932.0 sec. user=vaughan [2010-08-19 17:23:56] 2391*2^582747-1 is not prime. Res64: 05A50B23BD71251E Time : 8033.0 sec. user=vaughan [2010-08-19 17:25:59] 2443*2^582747-1 is not prime. Res64: 4DA316821776CBC7 Time : 7938.0 sec. user=vaughan [2010-08-19 17:27:41] 2503*2^582747-1 is not prime. Res64: 286CCF79FAE5FA8F Time : 7721.0 sec. user=vaughan [2010-08-19 17:33:08] 2799*2^582747-1 is not prime. Res64: FBED79626CE1D9B4 Time : 7101.0 sec. user=vaughan [2010-08-19 17:33:57] 2559*2^582747-1 is not prime. Res64: 0C51DC304D5E4594 Time : 7850.0 sec. user=vaughan [2010-08-19 17:38:23] 2625*2^582747-1 is not prime. Res64: 88808C7C8592E080 Time : 7927.0 sec. user=vaughan [2010-08-19 17:39:45] 2775*2^582747-1 is not prime. Res64: 92236BFB772757F8 Time : 7779.0 sec. user=vaughan [2010-08-19 17:41:20] 2477*2^582742-1 is not prime. Res64: D03185F761E1CC5F Time : 23969.0 sec. user=vaughan [2010-08-19 17:44:20] 2109*2^582748-1 is not prime. Res64: 7FA352CC19A7DE59 Time : 7168.0 sec. user=vaughan [2010-08-19 17:45:23] 2785*2^582747-1 is not prime. Res64: 4C83CC8C37B57F77 Time : 7856.0 sec. user=vaughan [2010-08-19 17:49:20] 2833*2^582747-1 is not prime. Res64: 4C3B118282B71ED5 Time : 7763.0 sec. user=vaughan [2010-08-19 17:51:56] 2869*2^582747-1 is not prime. Res64: FBE04E539AA6F20F Time : 7839.0 sec. user=vaughan [2010-08-19 17:55:38] 2133*2^582748-1 is not prime. Res64: DA4F7F6C1FA6668D Time : 7786.0 sec. user=vaughan [2010-08-19 17:57:59] 2313*2^582748-1 is not prime. Res64: C6465C8F43780E14 Time : 7402.0 sec. user=vaughan [2010-08-19 18:01:21] 2247*2^582748-1 is not prime. Res64: 731BDC04104FE078 Time : 7804.0 sec. user=vaughan [2010-08-19 18:03:30] 2249*2^582748-1 is not prime. Res64: 65DE94E1EEA24F0B Time : 7822.0 sec. user=vaughan [2010-08-19 18:07:43] 2357*2^582748-1 is not prime. Res64: F3EF4AC43AA0FC7A Time : 7618.0 sec. user=vaughan [2010-08-19 18:08:47] 2507*2^582748-1 is not prime. Res64: 270696439E763ABB Time : 7453.0 sec. user=vaughan [2010-08-19 18:12:49] 2495*2^582748-1 is not prime. Res64: 1DB996B74BF16082 Time : 7700.0 sec. user=vaughan [2010-08-19 18:14:49] 2465*2^582748-1 is not prime. Res64: 9CE0C2556CA6986C Time : 7871.0 sec. user=vaughan [2010-08-19 18:18:23] 2535*2^582748-1 is not prime. Res64: 120CB19F7B59532C Time : 7515.0 sec. user=vaughan [2010-08-19 18:22:40] 2613*2^582748-1 is not prime. Res64: F6C3490C8B2AEA2B Time : 7727.0 sec. user=vaughan [2010-08-19 18:24:33] 2649*2^582748-1 is not prime. Res64: F3849871C956C617 Time : 7672.0 sec. user=vaughan [2010-08-19 18:24:54] 2717*2^582748-1 is not prime. Res64: CE95A6EA1F533127 Time : 7660.0 sec. user=vaughan [2010-08-19 18:32:04] 2789*2^582748-1 is not prime. Res64: E514F6D3013456A3 Time : 7737.0 sec. user=vaughan [2010-08-19 18:34:18] 2049*2^582749-1 is not prime. Res64: 30E2546B09623253 Time : 7452.0 sec. user=vaughan [2010-08-19 18:34:29] 2975*2^582748-1 is not prime. Res64: 81F0CCAA6219FA79 Time : 7540.0 sec. user=vaughan [2010-08-19 18:37:20] 2865*2^582748-1 is not prime. Res64: 00DE046D0EDFF74C Time : 7959.0 sec. user=vaughan [2010-08-19 18:42:52] 2077*2^582749-1 is not prime. Res64: 2D135DD53169085C Time : 7624.0 sec. user=vaughan [2010-08-19 18:45:12] 2217*2^582749-1 is not prime. Res64: 31FC10299CE73B2A Time : 7400.0 sec. user=vaughan [2010-08-19 18:47:23] 2071*2^582749-1 is not prime. Res64: 60D40E463046CAF0 Time : 7958.0 sec. user=vaughan [2010-08-19 18:48:35] 2139*2^582749-1 is not prime. Res64: B22760221D3EC149 Time : 7631.0 sec. user=vaughan [2010-08-19 18:56:19] 2245*2^582749-1 is not prime. Res64: A8BD3FCB5489430D Time : 7774.0 sec. user=vaughan [2010-08-19 18:56:22] 2239*2^582749-1 is not prime. Res64: 2A605E40474729C1 Time : 7790.0 sec. user=vaughan [2010-08-19 18:57:02] 2271*2^582749-1 is not prime. Res64: BE557CB22E691028 Time : 7507.0 sec. user=vaughan [2010-08-19 19:01:57] 2387*2^582744-1 is not prime. Res64: 9FB1B2A45DBE4D0E Time : 24024.0 sec. user=vaughan [2010-08-19 19:05:52] 2379*2^582749-1 is not prime. Res64: 5FE1FE905E886FE5 Time : 7695.0 sec. user=vaughan [2010-08-19 19:05:52] 2349*2^582749-1 is not prime. Res64: 498EE3B8DE55F202 Time : 7978.0 sec. user=vaughan [2010-08-19 19:07:28] 2425*2^582749-1 is not prime. Res64: 666BE487A23BCF6C Time : 7646.0 sec. user=vaughan [2010-08-19 19:08:03] 2427*2^582749-1 is not prime. Res64: 0629009071F90170 Time : 7481.0 sec. user=vaughan [2010-08-19 19:15:25] 2545*2^582749-1 is not prime. Res64: 9D73584965AE81B1 Time : 7740.0 sec. user=vaughan [2010-08-19 19:19:20] 2649*2^582749-1 is not prime. Res64: 8D48498BFE80EEC8 Time : 7648.0 sec. user=vaughan [2010-08-19 19:19:35] 2449*2^582749-1 is not prime. Res64: 58CCD216CD78CCA0 Time : 8019.0 sec. user=vaughan [2010-08-19 19:19:56] 2691*2^582749-1 is not prime. Res64: 2873FE99ED859CA8 Time : 7443.0 sec. user=vaughan [2010-08-19 19:24:17] 2731*2^582749-1 is not prime. Res64: D74172EFC0BD7D71 Time : 7523.0 sec. user=vaughan [2010-08-19 19:31:33] 2755*2^582749-1 is not prime. Res64: 35D3734339DE99BA Time : 7658.0 sec. user=vaughan [2010-08-19 19:31:42] 2707*2^582749-1 is not prime. Res64: 7040F5058A22B0CC Time : 8070.0 sec. user=vaughan [2010-08-19 19:32:20] 2841*2^582749-1 is not prime. Res64: 30F263521C643594 Time : 7479.0 sec. user=vaughan [2010-08-19 19:34:36] 2971*2^582749-1 is not prime. Res64: 7AAE9B6344D8A904 Time : 7289.0 sec. user=vaughan [2010-08-19 19:43:44] 2075*2^582750-1 is not prime. Res64: 9C0B3C177D479215 Time : 7788.0 sec. user=vaughan [2010-08-19 19:44:06] 2217*2^582750-1 is not prime. Res64: DCA881BFEC0EB4F2 Time : 7462.0 sec. user=vaughan [2010-08-19 19:44:07] 2321*2^582750-1 is not prime. Res64: 0093D27FBC511C56 Time : 7188.0 sec. user=vaughan [2010-08-19 19:45:29] 2839*2^582749-1 is not prime. Res64: C1BC761672F5C450 Time : 8370.0 sec. user=vaughan [2010-08-19 19:53:55] 2583*2^582750-1 is not prime. Res64: 925B1A4C288CC3A9 Time : 6956.0 sec. user=vaughan [2010-08-19 19:55:27] 2343*2^582750-1 is not prime. Res64: 0A27F66F35D60DC4 Time : 7805.0 sec. user=vaughan [2010-08-19 19:56:28] 2375*2^582750-1 is not prime. Res64: 9F4784D37C708FB0 Time : 7473.0 sec. user=vaughan [2010-08-19 19:57:50] 2153*2^582750-1 is not prime. Res64: 4AFFA8194F07D7AB Time : 8368.0 sec. user=vaughan [2010-08-19 20:04:19] 2693*2^582750-1 is not prime. Res64: FA36DF22161F2EB3 Time : 6933.0 sec. user=vaughan [2010-08-19 20:07:47] 2457*2^582750-1 is not prime. Res64: FD6E106BAD6E5CE3 Time : 7930.0 sec. user=vaughan [2010-08-19 20:08:23] 2627*2^582750-1 is not prime. Res64: D8A0A71BEACFBBA2 Time : 7494.0 sec. user=vaughan [2010-08-19 20:09:57] 2363*2^582750-1 is not prime. Res64: EF870AF55C8B22F3 Time : 8437.0 sec. user=vaughan [2010-08-19 20:15:28] 2897*2^582750-1 is not prime. Res64: C85133A1B7906364 Time : 6768.0 sec. user=vaughan [2010-08-19 20:19:01] 2691*2^582750-1 is not prime. Res64: 4F3091FE4B1B0611 Time : 7878.0 sec. user=vaughan [2010-08-19 20:19:30] 2733*2^582750-1 is not prime. Res64: 21A5E1194FCF03B1 Time : 7481.0 sec. user=vaughan [2010-08-19 20:21:51] 2027*2^582746-1 is not prime. Res64: AE3C0E871972DF1E Time : 24023.0 sec. user=vaughan [2010-08-19 20:22:03] 2621*2^582750-1 is not prime. Res64: 5341BCFFFD230735 Time : 8443.0 sec. user=vaughan [2010-08-19 20:26:01] 2169*2^582751-1 is not prime. Res64: BB8F7EFE5F91C844 Time : 6522.0 sec. user=vaughan [2010-08-19 20:30:25] 2867*2^582750-1 is not prime. Res64: 4780B4537C9E0093 Time : 7922.0 sec. user=vaughan [2010-08-19 20:32:30] 2981*2^582750-1 is not prime. Res64: 20B48AB0779A6312 Time : 7656.0 sec. user=vaughan [2010-08-19 20:34:59] 2723*2^582750-1 is not prime. Res64: 7A3706A02309B207 Time : 8531.0 sec. user=vaughan [2010-08-19 20:35:57] 2361*2^582751-1 is not prime. Res64: F8F30263D186D776 Time : 6514.0 sec. user=vaughan [2010-08-19 20:43:13] 2991*2^582750-1 is not prime. Res64: 739516E0D167527A Time : 7869.0 sec. user=vaughan [2010-08-19 20:43:51] 2023*2^582751-1 is not prime. Res64: 48BD1F77876E96B3 Time : 7773.0 sec. user=vaughan [2010-08-19 20:46:31] 2961*2^582750-1 is not prime. Res64: A4B9A5C44F5DC409 Time : 8519.0 sec. user=vaughan [2010-08-19 20:47:00] 2491*2^582751-1 is not prime. Res64: F8407A2335672D18 Time : 6640.0 sec. user=vaughan [2010-08-19 20:55:10] 2245*2^582751-1 is not prime. Res64: 607EF2AD7EDB217C Time : 7938.0 sec. user=vaughan [2010-08-19 20:55:40] 2289*2^582751-1 is not prime. Res64: AAD1CA827D36B7A9 Time : 7828.0 sec. user=vaughan [2010-08-19 20:56:07] 2761*2^582751-1 is not prime. Res64: 2FF7F7C7DC937C06 Time : 6616.0 sec. user=vaughan [2010-08-19 20:58:45] 2091*2^582751-1 is not prime. Res64: 1A6CAD4F092A9070 Time : 8656.0 sec. user=vaughan [2010-08-19 21:05:24] 2925*2^582751-1 is not prime. Res64: 9CC72A663B746376 Time : 6599.0 sec. user=vaughan [2010-08-19 21:07:40] 2509*2^582751-1 is not prime. Res64: 36D963C3ADAEB8A9 Time : 7838.0 sec. user=vaughan [2010-08-19 21:08:31] 2455*2^582751-1 is not prime. Res64: 389C9620FD33BAB4 Time : 7933.0 sec. user=vaughan [2010-08-19 21:09:57] 2431*2^582751-1 is not prime. Res64: 2B864C02CEDBB49A Time : 8483.0 sec. user=vaughan [2010-08-19 21:17:31] 2297*2^582752-1 is not prime. Res64: 9D50BFEE4E6CA54C Time : 6795.0 sec. user=vaughan [2010-08-19 21:19:42] 2901*2^582751-1 is not prime. Res64: 684E51BFA7D793DA Time : 7900.0 sec. user=vaughan [2010-08-19 21:19:47] 2889*2^582751-1 is not prime. Res64: 4DFBBE00B8F5CA2D Time : 7940.0 sec. user=vaughan [2010-08-19 21:23:13] 2815*2^582751-1 is not prime. Res64: D1D4AF22B4571F96 Time : 8241.0 sec. user=vaughan [2010-08-19 21:27:25] 2345*2^582752-1 is not prime. Res64: C3ACA281AACE6852 Time : 6769.0 sec. user=vaughan [2010-08-19 21:31:22] 2015*2^582752-1 is not prime. Res64: 2249CB35C1C6D0DC Time : 7922.0 sec. user=vaughan [2010-08-19 21:31:43] 2189*2^582752-1 is not prime. Res64: BB46FBBB5CE68443 Time : 7908.0 sec. user=vaughan [2010-08-19 21:36:10] 2145*2^582752-1 is not prime. Res64: BF1D5182591507BD Time : 8196.0 sec. user=vaughan [2010-08-19 21:38:16] 2465*2^582752-1 is not prime. Res64: EAB73F1760ED99F4 Time : 6849.0 sec. user=vaughan [2010-08-19 21:41:34] 2275*2^582747-1 is not prime. Res64: 9A79BF7488D192C1 Time : 24010.0 sec. user=vaughan [2010-08-19 21:41:55] 2337*2^582752-1 is not prime. Res64: D58EE2D225C7A885 Time : 7775.0 sec. user=vaughan [2010-08-19 21:43:47] 2315*2^582752-1 is not prime. Res64: EFDFC2EE09E882B7 Time : 7934.0 sec. user=vaughan [2010-08-19 21:47:09] 2325*2^582752-1 is not prime. Res64: 4C7E23761D1775B1 Time : 8128.0 sec. user=vaughan [2010-08-19 21:48:48] 2727*2^582752-1 is not prime. Res64: 5229932982A7952F Time : 6894.0 sec. user=vaughan [2010-08-19 21:53:43] 2463*2^582752-1 is not prime. Res64: E0C8AE2271790912 Time : 7777.0 sec. user=vaughan [2010-08-19 21:56:49] 2363*2^582752-1 is not prime. Res64: 3701EFEF12345FD5 Time : 7985.0 sec. user=vaughan [2010-08-19 21:57:35] 2507*2^582752-1 is not prime. Res64: 6FC8FF155B37BA6D Time : 7926.0 sec. user=vaughan [2010-08-19 21:59:57] 2001*2^582753-1 is not prime. Res64: 19D67BBE3DC337ED Time : 6939.0 sec. user=vaughan [2010-08-19 22:05:38] 2805*2^582752-1 is not prime. Res64: 500E4C33000718A9 Time : 7750.0 sec. user=vaughan [2010-08-19 22:09:41] 2745*2^582752-1 is not prime. Res64: 1DE5E22A8AB4560C Time : 8054.0 sec. user=vaughan [2010-08-19 22:09:52] 2835*2^582752-1 is not prime. Res64: D89DA3BE8B7B3983 Time : 7922.0 sec. user=vaughan [2010-08-19 22:10:42] 2305*2^582753-1 is not prime. Res64: 44814C25779D62A2 Time : 6915.0 sec. user=vaughan [2010-08-19 22:16:57] 2239*2^582753-1 is not prime. Res64: A542D8755723AEB3 Time : 7714.0 sec. user=vaughan [2010-08-19 22:20:09] 2571*2^582753-1 is not prime. Res64: 76D86A2045E68D0A Time : 6849.0 sec. user=vaughan [2010-08-19 22:21:18] 2247*2^582753-1 is not prime. Res64: EC976F4AEB33270F Time : 7882.0 sec. user=vaughan [2010-08-19 22:22:33] 2065*2^582753-1 is not prime. Res64: 095B3DD2B891D467 Time : 8087.0 sec. user=vaughan [2010-08-19 22:29:24] 2385*2^582753-1 is not prime. Res64: A3884242676948DF Time : 7794.0 sec. user=vaughan [2010-08-19 22:31:36] 2665*2^582753-1 is not prime. Res64: 2306A454216CE98D Time : 6940.0 sec. user=vaughan [2010-08-19 22:32:37] 2545*2^582753-1 is not prime. Res64: 26ADA2A6E12366EA Time : 7834.0 sec. user=vaughan [2010-08-19 22:34:33] 2379*2^582753-1 is not prime. Res64: 2C42A2BCE6120C62 Time : 8133.0 sec. user=vaughan [2010-08-19 22:40:18] 2655*2^582753-1 is not prime. Res64: BEC36D24FF081A29 Time : 7668.0 sec. user=vaughan [2010-08-19 22:41:59] 2895*2^582753-1 is not prime. Res64: D470ED730837C490 Time : 6899.0 sec. user=vaughan [2010-08-19 22:45:36] 2587*2^582753-1 is not prime. Res64: 3A08683A1ED547A5 Time : 8111.0 sec. user=vaughan [2010-08-19 22:46:44] 2659*2^582753-1 is not prime. Res64: 35F2A3F803E38F64 Time : 7906.0 sec. user=vaughan [2010-08-19 22:51:59] 2727*2^582753-1 is not prime. Res64: F493549B194EB6D1 Time : 7688.0 sec. user=vaughan [2010-08-19 22:53:29] 2061*2^582754-1 is not prime. Res64: AE0D0DE454A171D5 Time : 7042.0 sec. user=vaughan [2010-08-19 22:57:21] 2719*2^582753-1 is not prime. Res64: AA407C5026D1A28D Time : 8049.0 sec. user=vaughan [2010-08-19 22:57:26] 2755*2^582753-1 is not prime. Res64: 6C9127B27A9CAF31 Time : 7855.0 sec. user=vaughan [2010-08-19 23:01:34] 2745*2^582748-1 is not prime. Res64: 88E30AA56D693D1C Time : 24011.0 sec. user=vaughan [2010-08-19 23:03:32] 2037*2^582754-1 is not prime. Res64: A5AFD7C3C7760E92 Time : 7673.0 sec. user=vaughan [2010-08-19 23:05:41] 2183*2^582754-1 is not prime. Res64: C93EB448A243764A Time : 7217.0 sec. user=vaughan [2010-08-19 23:08:55] 2901*2^582753-1 is not prime. Res64: 2BC748C6CAFE24C6 Time : 8025.0 sec. user=vaughan [2010-08-19 23:09:08] 2177*2^582754-1 is not prime. Res64: 99894C3AA0F13B54 Time : 7823.0 sec. user=vaughan [2010-08-19 23:14:20] 2211*2^582754-1 is not prime. Res64: BB230B08DBAD46D7 Time : 7600.0 sec. user=vaughan [2010-08-19 23:17:27] 2303*2^582754-1 is not prime. Res64: 02247B702EB0564D Time : 7196.0 sec. user=vaughan [2010-08-19 23:20:13] 2301*2^582754-1 is not prime. Res64: DF367C26B0376069 Time : 7816.0 sec. user=vaughan [2010-08-19 23:22:05] 2277*2^582754-1 is not prime. Res64: 1F82B4EE40C8B0A6 Time : 8014.0 sec. user=vaughan [2010-08-19 23:26:13] 2367*2^582754-1 is not prime. Res64: AD79CD34C9C58012 Time : 7591.0 sec. user=vaughan [2010-08-19 23:27:50] 2465*2^582754-1 is not prime. Res64: 325ED88A57EF4083 Time : 7225.0 sec. user=vaughan [2010-08-19 23:32:53] 2411*2^582754-1 is not prime. Res64: 0FE6B3153FE2DBF4 Time : 7780.0 sec. user=vaughan [2010-08-19 23:35:34] 2397*2^582754-1 is not prime. Res64: 43A27C6A888A8B95 Time : 8147.0 sec. user=vaughan [2010-08-19 23:37:06] 2633*2^582754-1 is not prime. Res64: 0065306EBDA0E5AF Time : 7523.0 sec. user=vaughan [2010-08-19 23:38:22] 2697*2^582754-1 is not prime. Res64: BC596C491546BFD9 Time : 7207.0 sec. user=vaughan [2010-08-19 23:42:58] 2655*2^582754-1 is not prime. Res64: 7CA495FA9578A8FF Time : 7608.0 sec. user=vaughan [2010-08-19 23:47:06] 2511*2^582754-1 is not prime. Res64: DBF4FA2C1D126859 Time : 8144.0 sec. user=vaughan [2010-08-19 23:48:38] 2991*2^582754-1 is not prime. Res64: 5AF10089EECBA8CD Time : 7604.0 sec. user=vaughan [2010-08-19 23:49:54] 2323*2^582755-1 is not prime. Res64: 01E003B2043E1E0F Time : 7266.0 sec. user=vaughan [2010-08-19 23:55:05] 2313*2^582755-1 is not prime. Res64: 9C69EE371A145BD9 Time : 7677.0 sec. user=vaughan [2010-08-19 23:59:44] 2475*2^582755-1 is not prime. Res64: 6E3F7B499A5CA6C5 Time : 7562.0 sec. user=vaughan [2010-08-19 23:59:52] 2271*2^582755-1 is not prime. Res64: 9CD2B06B6DFE7AEF Time : 8166.0 sec. user=vaughan [2010-08-20 00:00:08] 2499*2^582755-1 is not prime. Res64: 8E912EA000C69520 Time : 7212.0 sec.