user=vaughan [2011-05-13 00:03:26] 951*2^938589-1 is not prime. Res64: DDB7BBFDB16D3A62 Time : 1242.0 sec. user=vaughan [2011-05-13 00:05:18] 885*2^938590-1 is not prime. Res64: 6F051E39C288398C Time : 1177.0 sec. user=vaughan [2011-05-13 00:06:40] 981*2^938590-1 is not prime. Res64: F2A49F477046BCEE Time : 1245.0 sec. user=vaughan [2011-05-13 00:09:33] 919*2^938587-1 is not prime. Res64: 512227BBF8FF2621 Time : 4154.0 sec. user=vaughan [2011-05-13 00:09:36] 945*2^938587-1 is not prime. Res64: A0EE18011996A7AB Time : 4156.0 sec. user=vaughan [2011-05-13 00:11:37] 919*2^938589-1 is not prime. Res64: 80F477A1490A4623 Time : 2176.0 sec. user=vaughan [2011-05-13 00:11:50] 811*2^938591-1 is not prime. Res64: A18C39A1CAEE2937 Time : 1255.0 sec. user=vaughan [2011-05-13 00:23:57] 849*2^938593-1 is not prime. Res64: E0172C36B40F984C Time : 1231.0 sec. user=vaughan [2011-05-13 00:25:33] 919*2^938593-1 is not prime. Res64: EC150F0C8FA17157 Time : 1216.0 sec. user=vaughan [2011-05-13 00:27:07] 945*2^938593-1 is not prime. Res64: C24D7CDC970D1868 Time : 1228.0 sec. user=vaughan [2011-05-13 00:30:58] 921*2^938589-1 is not prime. Res64: C24B69F386FE2A6A Time : 2958.0 sec. user=vaughan [2011-05-13 00:32:21] 983*2^938592-1 is not prime. Res64: C48B121F55232C6F Time : 2393.0 sec. user=vaughan [2011-05-13 00:32:43] 873*2^938594-1 is not prime. Res64: 779878E9EB9B27D4 Time : 1253.0 sec. user=vaughan [2011-05-13 00:38:38] 1001*2^938590-1 is not prime. Res64: 16BD03B910BC0B8B Time : 2958.0 sec. user=vaughan [2011-05-13 00:44:35] 945*2^938594-1 is not prime. Res64: E1DF845D86228FB7 Time : 1239.0 sec. user=vaughan [2011-05-13 00:45:25] 983*2^938594-1 is not prime. Res64: 74EF0A85B024CC97 Time : 1192.0 sec. user=vaughan [2011-05-13 00:47:48] 995*2^938594-1 is not prime. Res64: A59C1D55A1E3ECF9 Time : 1242.0 sec. user=vaughan [2011-05-13 00:49:23] 833*2^938594-1 is not prime. Res64: B63BB537E48A6827 Time : 2266.0 sec. user=vaughan [2011-05-13 00:53:38] 855*2^938596-1 is not prime. Res64: 517994F9288A677F Time : 1255.0 sec. user=vaughan [2011-05-13 01:05:06] 937*2^938597-1 is not prime. Res64: 0056408CA3060E84 Time : 1181.0 sec. user=vaughan [2011-05-13 01:05:15] 879*2^938597-1 is not prime. Res64: 3CF7FCC6FDB9AA0F Time : 1240.0 sec. user=vaughan [2011-05-13 01:08:26] 883*2^938599-1 is not prime. Res64: 9A4D802A2FBC54CB Time : 1239.0 sec. user=vaughan [2011-05-13 01:11:27] 973*2^938595-1 is not prime. Res64: A66A75464A23E51B Time : 2347.0 sec. user=vaughan [2011-05-13 01:15:01] 999*2^938599-1 is not prime. Res64: 093C45615945FD9A Time : 1283.0 sec. user=vaughan [2011-05-13 01:19:47] 939*2^938599-1 is not prime. Res64: 3DB4C7FEC893ED32 Time : 1824.0 sec. user=vaughan [2011-05-13 01:20:18] 885*2^938595-1 is not prime. Res64: B68915A566E1456A Time : 2960.0 sec. user=vaughan [2011-05-13 01:24:46] 857*2^938600-1 is not prime. Res64: 6AA07632A13847A5 Time : 1180.0 sec. user=vaughan [2011-05-13 01:25:54] 945*2^938601-1 is not prime. Res64: B20B3CAB8725BFEA Time : 1239.0 sec. user=vaughan [2011-05-13 01:28:00] 871*2^938597-1 is not prime. Res64: 75B5299CCC46ECB9 Time : 2962.0 sec. user=vaughan [2011-05-13 01:29:09] 833*2^938602-1 is not prime. Res64: 8DA0043B2FBCC8F6 Time : 1244.0 sec. user=vaughan [2011-05-13 01:35:56] 939*2^938603-1 is not prime. Res64: B3039AA89FFA5750 Time : 1256.0 sec. user=vaughan [2011-05-13 01:43:02] 995*2^938602-1 is not prime. Res64: EB43BDD8FE3D8DDE Time : 1896.0 sec. user=vaughan [2011-05-13 01:44:26] 903*2^938604-1 is not prime. Res64: 1142731BFA111084 Time : 1180.0 sec. user=vaughan [2011-05-13 01:46:36] 947*2^938604-1 is not prime. Res64: E2D0D706D86B843E Time : 1242.0 sec. user=vaughan [2011-05-13 01:49:47] 825*2^938605-1 is not prime. Res64: FEDBA13D77928F8C Time : 1239.0 sec. user=vaughan [2011-05-13 01:57:19] 885*2^938605-1 is not prime. Res64: BC0A6848B2B50404 Time : 1283.0 sec. user=vaughan [2011-05-13 01:58:27] 991*2^938603-1 is not prime. Res64: 983D2637422618B9 Time : 2321.0 sec. user=vaughan [2011-05-13 02:04:07] 843*2^938606-1 is not prime. Res64: 26D1BAEABB876E25 Time : 1181.0 sec. user=vaughan [2011-05-13 02:07:14] 857*2^938606-1 is not prime. Res64: 004F983F7D32F2CF Time : 1239.0 sec. user=vaughan [2011-05-13 02:07:56] 985*2^938605-1 is not prime. Res64: 1C59574C23E16D2B Time : 1495.0 sec. user=vaughan [2011-05-13 02:10:30] 903*2^938606-1 is not prime. Res64: 31AF80F7572219EA Time : 1243.0 sec. user=vaughan [2011-05-13 02:15:31] 887*2^938604-1 is not prime. Res64: AA278ED4EDBDBE8A Time : 3313.0 sec. user=vaughan [2011-05-13 02:18:19] 923*2^938606-1 is not prime. Res64: 0F130011435D2428 Time : 1260.0 sec. user=vaughan [2011-05-13 02:23:07] 983*2^938604-1 is not prime. Res64: 2459DA83E41398A8 Time : 3307.0 sec. user=vaughan [2011-05-13 02:23:46] 945*2^938606-1 is not prime. Res64: 9F3A1AF522EB8500 Time : 1179.0 sec. user=vaughan [2011-05-13 02:27:54] 963*2^938606-1 is not prime. Res64: AA589EB74E5EB288 Time : 1240.0 sec. user=vaughan [2011-05-13 02:30:36] 871*2^938607-1 is not prime. Res64: 5080B3ABC8CCEDF8 Time : 1360.0 sec. user=vaughan [2011-05-13 02:31:10] 955*2^938607-1 is not prime. Res64: FE344E12A6B3A07E Time : 1240.0 sec. user=vaughan [2011-05-13 02:35:41] 935*2^938606-1 is not prime. Res64: 6E243A5D68B342DC Time : 2234.0 sec. user=vaughan [2011-05-13 02:39:43] 813*2^938608-1 is not prime. Res64: E7AEF7D5F4DB7A92 Time : 1284.0 sec. user=vaughan [2011-05-13 02:43:27] 827*2^938608-1 is not prime. Res64: 7FE4567DA39ED897 Time : 1181.0 sec. user=vaughan [2011-05-13 02:48:32] 845*2^938608-1 is not prime. Res64: 425EFD8C8BC091D8 Time : 1239.0 sec. user=vaughan [2011-05-13 02:51:52] 865*2^938609-1 is not prime. Res64: AEE77C67C74F5123 Time : 1242.0 sec. user=vaughan [2011-05-13 02:59:48] 961*2^938607-1 is not prime. Res64: 1C8060FBC50C690C Time : 2658.0 sec. user=vaughan [2011-05-13 03:00:40] 1001*2^938610-1 is not prime. Res64: 06B8F289F2945573 Time : 1257.0 sec. user=vaughan [2011-05-13 03:02:06] 969*2^938608-1 is not prime. Res64: 3635C46653D2F170 Time : 1890.0 sec. user=vaughan [2011-05-13 03:02:42] 925*2^938609-1 is not prime. Res64: 6245BB384C6A4D01 Time : 1621.0 sec. user=vaughan [2011-05-13 03:03:03] 811*2^938611-1 is not prime. Res64: B0399C256D0B0B7D Time : 1176.0 sec. user=vaughan [2011-05-13 03:05:11] 825*2^938608-1 is not prime. Res64: B2F172ADA295281D Time : 2525.0 sec. user=vaughan [2011-05-13 03:09:17] 871*2^938611-1 is not prime. Res64: 1E47A303269B0635 Time : 1246.0 sec. user=vaughan [2011-05-13 03:12:33] 895*2^938611-1 is not prime. Res64: 346D7C1D18EB2A20 Time : 1242.0 sec. user=vaughan [2011-05-13 03:22:04] 873*2^938612-1 is not prime. Res64: 7821574A48A39271 Time : 1285.0 sec. user=vaughan [2011-05-13 03:22:45] 847*2^938613-1 is not prime. Res64: A8147CD154290F91 Time : 1182.0 sec. user=vaughan [2011-05-13 03:28:15] 977*2^938612-1 is not prime. Res64: 623332102106D71B Time : 1533.0 sec. user=vaughan [2011-05-13 03:29:53] 885*2^938614-1 is not prime. Res64: F2301E069C458ECC Time : 1236.0 sec. user=vaughan [2011-05-13 03:31:33] 885*2^938612-1 is not prime. Res64: CA6559FB056789FF Time : 1767.0 sec. user=vaughan [2011-05-13 03:33:12] 915*2^938614-1 is not prime. Res64: AD3F6611CA3CA212 Time : 1239.0 sec. user=vaughan [2011-05-13 03:35:38] 867*2^938612-1 is not prime. Res64: CA1D4FD79119094A Time : 2150.0 sec. user=vaughan [2011-05-13 03:39:30] 891*2^938613-1 is not prime. Res64: 8BDE007403C5AC2A Time : 2059.0 sec. user=vaughan [2011-05-13 03:42:26] 921*2^938615-1 is not prime. Res64: BD31BBBE3084E112 Time : 1181.0 sec. user=vaughan [2011-05-13 03:43:01] 947*2^938614-1 is not prime. Res64: 36551F0482B79707 Time : 1257.0 sec. user=vaughan [2011-05-13 03:50:39] 999*2^938615-1 is not prime. Res64: BBBE8C28E0762F85 Time : 1246.0 sec. user=vaughan [2011-05-13 03:50:48] 939*2^938615-1 is not prime. Res64: 8FA6562A857892A2 Time : 1353.0 sec. user=vaughan [2011-05-13 03:53:55] 871*2^938617-1 is not prime. Res64: AB14AAA1B739ECFF Time : 1243.0 sec. user=vaughan [2011-05-13 03:56:17] 887*2^938616-1 is not prime. Res64: 9690B45D72FDEB14 Time : 1484.0 sec. user=vaughan [2011-05-13 03:59:39] 915*2^938617-1 is not prime. Res64: EDC0838003221EBC Time : 1441.0 sec. user=vaughan [2011-05-13 04:02:10] 913*2^938619-1 is not prime. Res64: 8BB1CF308037DE5C Time : 1185.0 sec. user=vaughan [2011-05-13 04:02:27] 971*2^938618-1 is not prime. Res64: A41196C5E797EE5C Time : 1378.0 sec. user=vaughan [2011-05-13 04:04:20] 961*2^938619-1 is not prime. Res64: 4A2684AC58B9D78C Time : 1279.0 sec. user=vaughan [2011-05-13 04:10:42] 827*2^938620-1 is not prime. Res64: E2142BF8982E3F63 Time : 1194.0 sec. user=vaughan [2011-05-13 04:11:17] 825*2^938620-1 is not prime. Res64: 6F03216C8DA405CB Time : 1238.0 sec. user=vaughan [2011-05-13 04:14:37] 873*2^938620-1 is not prime. Res64: CD6022CA07604134 Time : 1242.0 sec. user=vaughan [2011-05-13 04:17:55] 875*2^938620-1 is not prime. Res64: C3E6824A3B9BBD55 Time : 1298.0 sec. user=vaughan [2011-05-13 04:20:40] 975*2^938620-1 is not prime. Res64: 5ED26BB9623C6A98 Time : 1262.0 sec. user=vaughan [2011-05-13 04:21:52] 999*2^938620-1 is not prime. Res64: 5A51328823009CEE Time : 1182.0 sec. user=vaughan [2011-05-13 04:23:29] 801*2^938621-1 is not prime. Res64: 4931AE023A50B0D3 Time : 1262.0 sec. user=vaughan [2011-05-13 04:25:20] 829*2^938621-1 is not prime. Res64: CF86DA5CB03E899C Time : 1260.0 sec. user=vaughan [2011-05-13 04:30:36] 885*2^938621-1 is not prime. Res64: D005EC00AB34AC03 Time : 1195.0 sec. user=vaughan [2011-05-13 04:32:03] 955*2^938621-1 is not prime. Res64: FF166BC706E93C2F Time : 1247.0 sec. user=vaughan [2011-05-13 04:35:22] 833*2^938622-1 is not prime. Res64: E739840D7C6612DC Time : 1245.0 sec. user=vaughan [2011-05-13 04:39:31] 951*2^938622-1 is not prime. Res64: 30D17CEBCDB10BBC Time : 1296.0 sec. user=vaughan [2011-05-13 04:41:30] 891*2^938623-1 is not prime. Res64: 8F3DECD7DB7542F7 Time : 1179.0 sec. user=vaughan [2011-05-13 04:41:42] 977*2^938622-1 is not prime. Res64: 3F15E0EFBEBEEB71 Time : 1262.0 sec. user=vaughan [2011-05-13 04:44:30] 805*2^938625-1 is not prime. Res64: 7E46A51270D6B274 Time : 1261.0 sec. user=vaughan [2011-05-13 04:46:35] 871*2^938625-1 is not prime. Res64: 18B514AF9ACD1432 Time : 1275.0 sec. user=vaughan [2011-05-13 04:50:29] 889*2^938625-1 is not prime. Res64: F54A54C91E067C2C Time : 1194.0 sec. user=vaughan [2011-05-13 04:52:41] 891*2^938625-1 is not prime. Res64: 551A3D3B8BD36FFE Time : 1239.0 sec. user=vaughan [2011-05-13 04:56:01] 909*2^938625-1 is not prime. Res64: 9712A8F40F374FF8 Time : 1240.0 sec. user=vaughan [2011-05-13 05:01:08] 881*2^938626-1 is not prime. Res64: A988E5ECC24F40B8 Time : 1178.0 sec. user=vaughan [2011-05-13 05:01:09] 999*2^938625-1 is not prime. Res64: C4EBDE44DFB668E0 Time : 1298.0 sec. user=vaughan [2011-05-13 05:02:42] 887*2^938626-1 is not prime. Res64: 3D553D70B937488C Time : 1260.0 sec. user=vaughan [2011-05-13 05:05:31] 993*2^938626-1 is not prime. Res64: 4B84749E46FFA292 Time : 1261.0 sec. user=vaughan [2011-05-13 05:07:36] 871*2^938627-1 is not prime. Res64: A261AC2B62129C47 Time : 1261.0 sec. user=vaughan [2011-05-13 05:10:23] 945*2^938627-1 is not prime. Res64: EE7AAB5DFCB8FD6D Time : 1194.0 sec. user=vaughan [2011-05-13 05:13:30] 963*2^938627-1 is not prime. Res64: 8D8F3AEB52FF5667 Time : 1249.0 sec. user=vaughan [2011-05-13 05:16:47] 973*2^938627-1 is not prime. Res64: C66D0DADE6411B0D Time : 1246.0 sec. user=vaughan [2011-05-13 05:20:49] 981*2^938627-1 is not prime. Res64: 0EB112DFF7302695 Time : 1181.0 sec. user=vaughan [2011-05-13 05:22:46] 825*2^938628-1 is not prime. Res64: 683E6478CCAEFECF Time : 1297.0 sec. user=vaughan [2011-05-13 05:23:44] 839*2^938628-1 is not prime. Res64: 3CD388E7E8063562 Time : 1262.0 sec. user=vaughan [2011-05-13 05:26:33] 843*2^938628-1 is not prime. Res64: 9979C434ED8304A2 Time : 1262.0 sec. user=vaughan [2011-05-13 05:28:52] 929*2^938628-1 is not prime. Res64: 768EA4316ECFEAE5 Time : 1276.0 sec. user=vaughan [2011-05-13 05:30:21] 945*2^938628-1 is not prime. Res64: 9B83839E681D3A4E Time : 1198.0 sec. user=vaughan [2011-05-13 05:34:08] 959*2^938628-1 is not prime. Res64: 285A05CC348BD0C5 Time : 1238.0 sec. user=vaughan [2011-05-13 05:37:26] 975*2^938628-1 is not prime. Res64: 3624CF8324547EB9 Time : 1239.0 sec. user=vaughan [2011-05-13 05:40:30] 977*2^938628-1 is not prime. Res64: F9FCD0BC54AE9971 Time : 1181.0 sec. user=vaughan [2011-05-13 05:44:22] 987*2^938628-1 is not prime. Res64: 44FF5DCDA427B363 Time : 1296.0 sec. user=vaughan [2011-05-13 05:44:43] 957*2^938629-1 is not prime. Res64: A5220AA9AD9A0990 Time : 1260.0 sec. user=vaughan [2011-05-13 05:47:34] 999*2^938629-1 is not prime. Res64: 44C0F9BCE0F2F996 Time : 1261.0 sec. user=vaughan [2011-05-13 05:50:11] 801*2^938630-1 is not prime. Res64: A83596A819A302FC Time : 1280.0 sec. user=vaughan [2011-05-13 05:50:15] 867*2^938630-1 is not prime. Res64: 90C190D8B8829977 Time : 1194.0 sec. user=vaughan [2011-05-13 05:54:34] 893*2^938630-1 is not prime. Res64: 9DC1F276CA17418D Time : 1227.0 sec. user=vaughan [2011-05-13 05:57:58] 957*2^938630-1 is not prime. Res64: C330296A614244F8 Time : 1233.0 sec. user=vaughan [2011-05-13 06:00:12] 945*2^938631-1 is not prime. Res64: 7A110197FA30EC91 Time : 1182.0 sec. user=vaughan [2011-05-13 06:05:45] 897*2^938633-1 is not prime. Res64: 272BAB65DA135772 Time : 1262.0 sec. user=vaughan [2011-05-13 06:05:57] 909*2^938632-1 is not prime. Res64: 223DDC84C0A8F204 Time : 1296.0 sec. user=vaughan [2011-05-13 06:08:35] 901*2^938633-1 is not prime. Res64: F80D663438E85988 Time : 1261.0 sec. user=vaughan [2011-05-13 06:10:10] 967*2^938633-1 is not prime. Res64: 110311E328083496 Time : 1195.0 sec. user=vaughan [2011-05-13 06:11:08] 925*2^938633-1 is not prime. Res64: D7F5467CD83724CF Time : 1257.0 sec. user=vaughan [2011-05-13 06:15:24] 837*2^938634-1 is not prime. Res64: 148DC7DCFC5CE0DC Time : 1250.0 sec. user=vaughan [2011-05-13 06:18:49] 851*2^938634-1 is not prime. Res64: C9FD05A8F8315854 Time : 1251.0 sec. user=vaughan [2011-05-13 06:19:52] 873*2^938634-1 is not prime. Res64: 6936677AB56B124C Time : 1181.0 sec. user=vaughan [2011-05-13 06:26:47] 875*2^938634-1 is not prime. Res64: EF7594653E1B201F Time : 1262.0 sec. user=vaughan [2011-05-13 06:27:34] 1001*2^938634-1 is not prime. Res64: EB3EFE597B4DE67A Time : 1297.0 sec. user=vaughan [2011-05-13 06:29:37] 873*2^938635-1 is not prime. Res64: 6AE0DEE3152BBDDD Time : 1262.0 sec. user=vaughan [2011-05-13 06:30:11] 979*2^938635-1 is not prime. Res64: 3A0DA01FF97A3A9E Time : 1201.0 sec. user=vaughan [2011-05-13 06:32:06] 909*2^938636-1 is not prime. Res64: 431C97B3CFCFB7BB Time : 1258.0 sec. user=vaughan [2011-05-13 06:36:13] 983*2^938636-1 is not prime. Res64: 49E81A8D69DC95D0 Time : 1249.0 sec. user=vaughan [2011-05-13 06:39:35] 865*2^938637-1 is not prime. Res64: 6737FA4535A85769 Time : 1246.0 sec. user=vaughan [2011-05-13 06:39:38] 885*2^938637-1 is not prime. Res64: C18C6B4CB6DBB171 Time : 1187.0 sec. user=vaughan [2011-05-13 06:48:01] 889*2^938637-1 is not prime. Res64: 6A6E4F4387E3D1FA Time : 1274.0 sec. user=vaughan [2011-05-13 06:49:27] 997*2^938637-1 is not prime. Res64: 4F77FDC516F30ABC Time : 1313.0 sec. user=vaughan [2011-05-13 06:50:08] 885*2^938638-1 is not prime. Res64: B534D2026EBD9EC8 Time : 1197.0 sec. user=vaughan [2011-05-13 06:50:49] 863*2^938638-1 is not prime. Res64: F0EB26AD86402889 Time : 1272.0 sec. user=vaughan [2011-05-13 06:53:02] 923*2^938638-1 is not prime. Res64: C8C5E8F4568AA33B Time : 1256.0 sec. user=vaughan [2011-05-13 06:56:36] 933*2^938638-1 is not prime. Res64: 9EB78F2E17A6B610 Time : 1223.0 sec. user=vaughan [2011-05-13 07:00:00] 941*2^938638-1 is not prime. Res64: 32468F21989C3BFD Time : 1225.0 sec. user=vaughan [2011-05-13 07:00:04] 811*2^938639-1 is not prime. Res64: 31B3384296E34114 Time : 1226.0 sec. user=vaughan [2011-05-13 07:09:04] 859*2^938639-1 is not prime. Res64: FFC0BCC289F75B2E Time : 1264.0 sec. user=vaughan [2011-05-13 07:10:03] 991*2^938639-1 is not prime. Res64: FF786AE657309CFF Time : 1195.0 sec. user=vaughan [2011-05-13 07:11:10] 973*2^938639-1 is not prime. Res64: C7B58E11B47E9EB1 Time : 1304.0 sec. user=vaughan [2011-05-13 07:11:52] 875*2^938640-1 is not prime. Res64: 612757704A7C9588 Time : 1263.0 sec. user=vaughan [2011-05-13 07:14:14] 879*2^938640-1 is not prime. Res64: C6AD90D0A9C64439 Time : 1272.0 sec. user=vaughan [2011-05-13 07:17:13] 887*2^938640-1 is not prime. Res64: 006644608EE01D77 Time : 1237.0 sec. user=vaughan [2011-05-13 07:19:45] 861*2^938641-1 is not prime. Res64: 67867E28BA28E7D1 Time : 1182.0 sec. user=vaughan [2011-05-13 07:20:38] 959*2^938640-1 is not prime. Res64: 15CA0B254E52E27B Time : 1238.0 sec. user=vaughan [2011-05-13 07:29:58] 957*2^938641-1 is not prime. Res64: 4B0C280F93FDED19 Time : 1196.0 sec. user=vaughan [2011-05-13 07:30:06] 901*2^938641-1 is not prime. Res64: FC9D65E46FF5E042 Time : 1262.0 sec. user=vaughan [2011-05-13 07:32:52] 887*2^938642-1 is not prime. Res64: 5797871FE8DCCA61 Time : 1303.0 sec. user=vaughan [2011-05-13 07:32:55] 915*2^938642-1 is not prime. Res64: 417FE2AC1BC24AAC Time : 1264.0 sec. user=vaughan [2011-05-13 07:35:45] 921*2^938642-1 is not prime. Res64: 91457DBB8C58AD0F Time : 1291.0 sec. user=vaughan [2011-05-13 07:38:00] 963*2^938642-1 is not prime. Res64: B37B8A5C23CC262C Time : 1248.0 sec. user=vaughan [2011-05-13 07:39:38] 873*2^938643-1 is not prime. Res64: 5179CF91AF1C5DB8 Time : 1193.0 sec. user=vaughan [2011-05-13 07:41:21] 921*2^938643-1 is not prime. Res64: 1CAAAB8C99784176 Time : 1243.0 sec. user=vaughan [2011-05-13 07:49:54] 887*2^938644-1 is not prime. Res64: 3B391F6D0C3F1F4C Time : 1196.0 sec. user=vaughan [2011-05-13 07:51:08] 903*2^938644-1 is not prime. Res64: 279F0F7091C58548 Time : 1262.0 sec. user=vaughan [2011-05-13 07:53:58] 975*2^938644-1 is not prime. Res64: 434E59597F430325 Time : 1263.0 sec. user=vaughan [2011-05-13 07:54:33] 927*2^938644-1 is not prime. Res64: BB7576A0518EBFFD Time : 1302.0 sec. user=vaughan [2011-05-13 07:56:51] 871*2^938645-1 is not prime. Res64: 01BFDF0740B78069 Time : 1267.0 sec. user=vaughan [2011-05-13 07:58:26] 907*2^938645-1 is not prime. Res64: EC8D7BB1C9DD1C3A Time : 1227.0 sec. user=vaughan [2011-05-13 08:00:02] 955*2^938645-1 is not prime. Res64: 9BE2B3457908579A Time : 1225.0 sec. user=vaughan [2011-05-13 08:01:46] 843*2^938646-1 is not prime. Res64: 46D0B84F7348F8D9 Time : 1225.0 sec. user=vaughan [2011-05-13 08:09:48] 881*2^938646-1 is not prime. Res64: D8D65ED9282BB6AE Time : 1194.0 sec. user=vaughan [2011-05-13 08:12:10] 945*2^938646-1 is not prime. Res64: F3DDB846E41AC4DE Time : 1262.0 sec. user=vaughan [2011-05-13 08:15:01] 843*2^938647-1 is not prime. Res64: 47662AF47747FF85 Time : 1263.0 sec. user=vaughan [2011-05-13 08:16:15] 861*2^938647-1 is not prime. Res64: 39E6B961DB44FE4C Time : 1302.0 sec. user=vaughan [2011-05-13 08:18:03] 919*2^938647-1 is not prime. Res64: 59124F50DAF6FAF0 Time : 1273.0 sec. user=vaughan [2011-05-13 08:19:01] 957*2^938648-1 is not prime. Res64: CCF10099F7D23F65 Time : 1235.0 sec. user=vaughan [2011-05-13 08:19:51] 999*2^938648-1 is not prime. Res64: 04A86AA9C015748F Time : 1190.0 sec. user=vaughan [2011-05-13 08:22:25] 811*2^938649-1 is not prime. Res64: 1447391D290597DF Time : 1240.0 sec. user=vaughan [2011-05-13 08:29:44] 835*2^938649-1 is not prime. Res64: E9C70A17E452F20C Time : 1196.0 sec. user=vaughan [2011-05-13 08:33:12] 885*2^938649-1 is not prime. Res64: ED58BB702BFF29EC Time : 1262.0 sec. user=vaughan [2011-05-13 08:36:04] 895*2^938649-1 is not prime. Res64: DC9108E72C3F9030 Time : 1263.0 sec. user=vaughan [2011-05-13 08:38:01] 955*2^938649-1 is not prime. Res64: 390B0A5F7A1FBA25 Time : 1306.0 sec. user=vaughan [2011-05-13 08:39:30] 813*2^938650-1 is not prime. Res64: FBF208E4DFCBE92D Time : 1287.0 sec. user=vaughan [2011-05-13 08:39:34] 957*2^938650-1 is not prime. Res64: 94C3C73A3D7D6826 Time : 1184.0 sec. user=vaughan [2011-05-13 08:39:37] 911*2^938650-1 is not prime. Res64: 148F974EEFF56D1E Time : 1236.0 sec. user=vaughan [2011-05-13 08:42:59] 813*2^938651-1 is not prime. Res64: 039616EF756C0F87 Time : 1235.0 sec. user=vaughan [2011-05-13 08:49:40] 841*2^938651-1 is not prime. Res64: 8B15716408FDFD54 Time : 1196.0 sec. user=vaughan [2011-05-13 08:54:12] 955*2^938651-1 is not prime. Res64: 7B124C412E6E05AF Time : 1260.0 sec. user=vaughan [2011-05-13 08:57:07] 819*2^938652-1 is not prime. Res64: 5A05F85D299B1C6A Time : 1263.0 sec. user=vaughan [2011-05-13 08:59:41] 857*2^938652-1 is not prime. Res64: B1B86001C7589831 Time : 1300.0 sec. user=vaughan [2011-05-13 08:59:50] 983*2^938652-1 is not prime. Res64: 79F638DA2BFC09C6 Time : 1217.0 sec. user=vaughan [2011-05-13 09:00:05] 835*2^938653-1 is not prime. Res64: C8264426FBCF0A05 Time : 1228.0 sec. user=vaughan [2011-05-13 09:00:36] 873*2^938652-1 is not prime. Res64: 856698CD94621DE1 Time : 1267.0 sec. user=vaughan [2011-05-13 09:03:25] 897*2^938653-1 is not prime. Res64: 5F999431EEBCADB9 Time : 1227.0 sec. user=vaughan [2011-05-13 09:09:36] 979*2^938653-1 is not prime. Res64: A7A558A1AD569B39 Time : 1196.0 sec. user=ototero [2011-05-13 09:51:33] 867*2^938501-1 is not prime. Res64: ECA3BBEB65FAFFEC Time : 154703.0 sec. user=ototero [2011-05-13 09:51:33] 925*2^938501-1 is not prime. Res64: 42B812AF34D414DA Time : 154702.0 sec. user=ototero [2011-05-13 09:51:33] 873*2^938502-1 is not prime. Res64: E634C3439E8306DF Time : 154702.0 sec. user=ototero [2011-05-13 09:51:33] 915*2^938502-1 is not prime. Res64: E419B5A4BC64A2D1 Time : 154701.0 sec. user=ototero [2011-05-13 09:51:33] 917*2^938502-1 is not prime. Res64: B39B89B58CA9EC6F Time : 154701.0 sec. user=ototero [2011-05-13 09:51:33] 977*2^938502-1 is not prime. Res64: 6F5CDF7EFB119429 Time : 154700.0 sec. user=ototero [2011-05-13 09:51:34] 871*2^938503-1 is not prime. Res64: 271BC98526E7FAB2 Time : 154701.0 sec. user=ototero [2011-05-13 09:51:34] 895*2^938503-1 is not prime. Res64: D4BCC05F6BDDFB5A Time : 154701.0 sec. user=ototero [2011-05-13 09:51:34] 903*2^938504-1 is not prime. Res64: 76C7F1627DA811CD Time : 154700.0 sec. user=ototero [2011-05-13 09:51:34] 927*2^938504-1 is not prime. Res64: E6ED2C01A8C44216 Time : 154700.0 sec. user=ototero [2011-05-13 14:13:55] 875*2^938656-1 is not prime. Res64: 1BF10B68F72ADA38 Time : 15742.0 sec. user=ototero [2011-05-13 14:13:56] 917*2^938656-1 is not prime. Res64: 2AD4439B376C5B0C Time : 15741.0 sec. user=ototero [2011-05-13 14:13:56] 867*2^938657-1 is not prime. Res64: BA5B11057B6224B4 Time : 15741.0 sec. user=ototero [2011-05-13 14:13:56] 879*2^938657-1 is not prime. Res64: E6394A6EEF56B81A Time : 15741.0 sec. user=ototero [2011-05-13 14:13:56] 815*2^938658-1 is not prime. Res64: 97848A98AF5EC9E1 Time : 15740.0 sec. user=ototero [2011-05-13 14:13:56] 891*2^938658-1 is not prime. Res64: 6118958D2AB07FAA Time : 15740.0 sec. user=ototero [2011-05-13 14:13:57] 803*2^938660-1 is not prime. Res64: FDC0AA0F6C29937D Time : 15741.0 sec. user=ototero [2011-05-13 14:13:57] 835*2^938661-1 is not prime. Res64: 47D1F28F1891CD2D Time : 15740.0 sec. user=ototero [2011-05-13 14:13:57] 895*2^938661-1 is not prime. Res64: 205D96DC1CA3F834 Time : 15740.0 sec. user=ototero [2011-05-13 14:13:57] 961*2^938661-1 is not prime. Res64: 6B5A8C7A352432AC Time : 15740.0 sec. user=ototero [2011-05-13 18:39:26] 987*2^938661-1 is not prime. Res64: 6443D533BAAA5A34 Time : 15929.0 sec. user=ototero [2011-05-13 18:39:27] 999*2^938661-1 is not prime. Res64: EA6E0F7CA21DC2D1 Time : 15929.0 sec. user=ototero [2011-05-13 18:39:27] 801*2^938662-1 is not prime. Res64: 0636C2F995D4F0BE Time : 15929.0 sec. user=ototero [2011-05-13 18:39:27] 831*2^938662-1 is not prime. Res64: 21A0B54790BB63BC Time : 15929.0 sec. user=ototero [2011-05-13 18:39:27] 975*2^938662-1 is not prime. Res64: BE545E9B00587F7C Time : 15928.0 sec. user=ototero [2011-05-13 18:39:27] 987*2^938662-1 is not prime. Res64: 5B1E5B332069B95E Time : 15928.0 sec. user=ototero [2011-05-13 18:39:27] 811*2^938663-1 is not prime. Res64: F6389BEF1534F9F8 Time : 15928.0 sec. user=ototero [2011-05-13 18:39:28] 823*2^938663-1 is not prime. Res64: F92BF92F8148D4D1 Time : 15928.0 sec. user=ototero [2011-05-13 18:39:28] 949*2^938663-1 is not prime. Res64: 8499A671CD2B2EA9 Time : 15928.0 sec. user=ototero [2011-05-13 18:39:28] 809*2^938664-1 is not prime. Res64: 12B66DE7B4669541 Time : 15927.0 sec. user=vaughan [2011-05-13 20:28:12] 873*2^938654-1 is not prime. Res64: 0A41EC4D60B704E4 Time : 41640.0 sec. user=vaughan [2011-05-13 20:31:23] 935*2^938654-1 is not prime. Res64: E49CD08ACDF75E3B Time : 41657.0 sec. user=vaughan [2011-05-13 20:33:22] 971*2^938654-1 is not prime. Res64: B727351755758880 Time : 41622.0 sec. user=vaughan [2011-05-13 20:33:52] 933*2^938655-1 is not prime. Res64: D3DF232D93CE2D84 Time : 41628.0 sec. user=vaughan [2011-05-13 20:34:00] 853*2^938655-1 is not prime. Res64: B0F7A72246DBA144 Time : 41651.0 sec. user=vaughan [2011-05-13 20:34:42] 833*2^938656-1 is not prime. Res64: C30BBCE75E1E7F3C Time : 41647.0 sec. user=vaughan [2011-05-13 20:37:47] 843*2^938656-1 is not prime. Res64: 963462E4F90FF76B Time : 41663.0 sec. user=vaughan [2011-05-13 20:42:56] 873*2^938656-1 is not prime. Res64: D2AFD00916241068 Time : 41600.0 sec. user=vaughan [2011-05-13 20:49:10] 945*2^938667-1 is not prime. Res64: 70A1637C000CAB51 Time : 1258.0 sec. user=vaughan [2011-05-13 20:52:17] 825*2^938667-1 is not prime. Res64: 2606A71151455348 Time : 1808.0 sec. user=vaughan [2011-05-13 20:52:37] 923*2^938668-1 is not prime. Res64: 5B68A17964D52077 Time : 1274.0 sec. user=vaughan [2011-05-13 20:53:18] 993*2^938668-1 is not prime. Res64: DC04B9EECFC5981A Time : 1167.0 sec. user=vaughan [2011-05-13 20:53:39] 847*2^938669-1 is not prime. Res64: E044AAD465C99CF0 Time : 1180.0 sec. user=vaughan [2011-05-13 20:53:49] 929*2^938668-1 is not prime. Res64: 634FABAE3AD044CE Time : 1227.0 sec. user=vaughan [2011-05-13 20:54:40] 955*2^938669-1 is not prime. Res64: B36A0D86DFCF2C88 Time : 1199.0 sec. user=vaughan [2011-05-13 20:56:48] 895*2^938667-1 is not prime. Res64: FDF135C5EE0FA8C0 Time : 2077.0 sec. user=vaughan [2011-05-13 20:58:58] 977*2^938670-1 is not prime. Res64: 7D6C8749D7ECB7FD Time : 1271.0 sec. user=vaughan [2011-05-13 21:03:23] 1001*2^938670-1 is not prime. Res64: 3E34ECD9BB79CB66 Time : 1228.0 sec. user=vaughan [2011-05-13 21:10:04] 841*2^938671-1 is not prime. Res64: CB90F4E9D51BE482 Time : 1255.0 sec. user=vaughan [2011-05-13 21:12:43] 909*2^938671-1 is not prime. Res64: E45DA2B69436FE90 Time : 1165.0 sec. user=vaughan [2011-05-13 21:13:17] 975*2^938671-1 is not prime. Res64: 20E677285B45A028 Time : 1178.0 sec. user=vaughan [2011-05-13 21:13:43] 873*2^938671-1 is not prime. Res64: 46A3DB4F154EA582 Time : 1266.0 sec. user=vaughan [2011-05-13 21:14:22] 979*2^938671-1 is not prime. Res64: 5E1CB950BF401219 Time : 1233.0 sec. user=vaughan [2011-05-13 21:14:46] 803*2^938672-1 is not prime. Res64: D2FEA8DA8FFD6AF8 Time : 1206.0 sec. user=vaughan [2011-05-13 21:19:52] 963*2^938672-1 is not prime. Res64: FFBEA4BE907262AB Time : 1255.0 sec. user=vaughan [2011-05-13 21:24:09] 895*2^938673-1 is not prime. Res64: A3B729019EED3BC9 Time : 1247.0 sec. user=vaughan [2011-05-13 21:31:10] 827*2^938674-1 is not prime. Res64: 649D6CB19F45B83A Time : 1267.0 sec. user=vaughan [2011-05-13 21:32:06] 881*2^938674-1 is not prime. Res64: 4E3D4233759E5F71 Time : 1163.0 sec. user=vaughan [2011-05-13 21:33:07] 971*2^938674-1 is not prime. Res64: E96939D5C2F4C515 Time : 1190.0 sec. user=vaughan [2011-05-13 21:34:48] 987*2^938674-1 is not prime. Res64: B666FDBF441F7C13 Time : 1265.0 sec. user=vaughan [2011-05-13 21:34:49] 899*2^938676-1 is not prime. Res64: 7C24071142BE95FA Time : 1203.0 sec. user=vaughan [2011-05-13 21:35:15] 843*2^938675-1 is not prime. Res64: 855F897DFB834369 Time : 1253.0 sec. user=vaughan [2011-05-13 21:40:20] 801*2^938677-1 is not prime. Res64: 75568E09F1CFEF91 Time : 1228.0 sec. user=vaughan [2011-05-13 21:45:06] 805*2^938677-1 is not prime. Res64: BBBDAC1D29567A06 Time : 1257.0 sec.