user=vaughan [2011-05-17 00:03:49] 821*2^939186-1 is not prime. Res64: 5B30A4B287F9808B Time : 1532.0 sec. user=vaughan [2011-05-17 00:06:33] 881*2^939186-1 is not prime. Res64: 1BD1F7052A02748C Time : 1440.0 sec. user=vaughan [2011-05-17 00:08:23] 813*2^939187-1 is not prime. Res64: E239DE9B390AA324 Time : 1235.0 sec. user=vaughan [2011-05-17 00:15:24] 939*2^939187-1 is not prime. Res64: D5E692D900DB7D14 Time : 1225.0 sec. user=vaughan [2011-05-17 00:18:35] 849*2^939187-1 is not prime. Res64: 65EC378196582D20 Time : 1699.0 sec. user=vaughan [2011-05-17 00:18:59] 825*2^939188-1 is not prime. Res64: C0690081EAFF6A21 Time : 1234.0 sec. user=vaughan [2011-05-17 00:19:41] 839*2^939188-1 is not prime. Res64: 51F52A6F1284C7C8 Time : 1187.0 sec. user=vaughan [2011-05-17 00:25:44] 959*2^939188-1 is not prime. Res64: 760864CA1CDD6624 Time : 1491.0 sec. user=vaughan [2011-05-17 00:28:42] 861*2^939189-1 is not prime. Res64: 6871B4759486D559 Time : 1493.0 sec. user=vaughan [2011-05-17 00:28:57] 997*2^939189-1 is not prime. Res64: E089B25D7DE6333F Time : 1234.0 sec. user=vaughan [2011-05-17 00:29:56] 979*2^939189-1 is not prime. Res64: 5C3EED3A26D5BE34 Time : 1403.0 sec. user=vaughan [2011-05-17 00:35:53] 821*2^939190-1 is not prime. Res64: 77C230EC8EEC49E2 Time : 1229.0 sec. user=vaughan [2011-05-17 00:39:27] 891*2^939190-1 is not prime. Res64: 18121ED73A8F6B92 Time : 1186.0 sec. user=vaughan [2011-05-17 00:39:32] 885*2^939190-1 is not prime. Res64: 1C90819E08480DA2 Time : 1233.0 sec. user=vaughan [2011-05-17 00:46:20] 873*2^939190-1 is not prime. Res64: 3B3F56B31320AF43 Time : 1665.0 sec. user=vaughan [2011-05-17 00:49:32] 987*2^939190-1 is not prime. Res64: CC38F9DFE315E708 Time : 1235.0 sec. user=vaughan [2011-05-17 00:50:31] 917*2^939190-1 is not prime. Res64: D6574E1254CC3F4F Time : 1488.0 sec. user=vaughan [2011-05-17 00:53:17] 865*2^939191-1 is not prime. Res64: 5B1DB228975DB770 Time : 1402.0 sec. user=vaughan [2011-05-17 00:53:29] 933*2^939190-1 is not prime. Res64: FB31A9949C544E1F Time : 1487.0 sec. user=vaughan [2011-05-17 00:56:20] 973*2^939191-1 is not prime. Res64: 24CC4CF0D4408801 Time : 1227.0 sec. user=vaughan [2011-05-17 00:59:13] 979*2^939191-1 is not prime. Res64: 3DF05595274CEC1D Time : 1186.0 sec. user=vaughan [2011-05-17 01:00:07] 981*2^939191-1 is not prime. Res64: 26F38A62889AB124 Time : 1235.0 sec. user=vaughan [2011-05-17 01:10:06] 825*2^939192-1 is not prime. Res64: 41193C8F86376A4E Time : 1234.0 sec. user=ototero [2011-05-17 01:13:37] 883*2^939167-1 is not prime. Res64: 40EFBA1D7201DF63 Time : 15029.0 sec. user=ototero [2011-05-17 01:13:37] 915*2^939167-1 is not prime. Res64: 31DEB488BEA06349 Time : 15029.0 sec. user=ototero [2011-05-17 01:13:37] 809*2^939168-1 is not prime. Res64: 38AD5FAD82F686D2 Time : 15029.0 sec. user=ototero [2011-05-17 01:13:38] 819*2^939168-1 is not prime. Res64: 761013A2A5F499E2 Time : 15029.0 sec. user=ototero [2011-05-17 01:13:38] 825*2^939168-1 is not prime. Res64: 5C36ECB3D7590928 Time : 15029.0 sec. user=ototero [2011-05-17 01:13:38] 879*2^939168-1 is not prime. Res64: CECD0995360B509E Time : 15029.0 sec. user=ototero [2011-05-17 01:13:38] 929*2^939168-1 is not prime. Res64: AE8F0FFD18BED58C Time : 15028.0 sec. user=ototero [2011-05-17 01:13:38] 933*2^939168-1 is not prime. Res64: 751F84B83DC89FAD Time : 15028.0 sec. user=ototero [2011-05-17 01:13:38] 885*2^939169-1 is not prime. Res64: F8F4DC2C750CC27C Time : 15028.0 sec. user=ototero [2011-05-17 01:13:39] 897*2^939169-1 is not prime. Res64: 4FA237ECB3EA9338 Time : 15028.0 sec. user=vaughan [2011-05-17 01:14:11] 993*2^939191-1 is not prime. Res64: E2AE97E05A1B5835 Time : 1671.0 sec. user=vaughan [2011-05-17 01:15:23] 843*2^939192-1 is not prime. Res64: 837F1D9B487334BB Time : 1492.0 sec. user=vaughan [2011-05-17 01:16:42] 975*2^939192-1 is not prime. Res64: 2F13098AB8D04021 Time : 1406.0 sec. user=vaughan [2011-05-17 01:16:48] 867*2^939193-1 is not prime. Res64: E1D62AFD4C1B77AD Time : 1228.0 sec. user=vaughan [2011-05-17 01:18:18] 819*2^939193-1 is not prime. Res64: BCB864C2310D64E8 Time : 1489.0 sec. user=vaughan [2011-05-17 01:19:01] 985*2^939193-1 is not prime. Res64: 168B10279A951758 Time : 1188.0 sec. user=vaughan [2011-05-17 01:20:42] 999*2^939193-1 is not prime. Res64: F6B18B39FD62D367 Time : 1236.0 sec. user=vaughan [2011-05-17 01:30:40] 857*2^939194-1 is not prime. Res64: 1824E34671A070B2 Time : 1234.0 sec. user=vaughan [2011-05-17 01:37:16] 999*2^939196-1 is not prime. Res64: 308B1EE427DE79E9 Time : 1229.0 sec. user=vaughan [2011-05-17 01:38:49] 885*2^939197-1 is not prime. Res64: A694B5A5ED9FE661 Time : 1189.0 sec. user=vaughan [2011-05-17 01:40:34] 993*2^939196-1 is not prime. Res64: 3D9665E3B6D271CE Time : 1433.0 sec. user=vaughan [2011-05-17 01:40:40] 983*2^939196-1 is not prime. Res64: 3C2D522A0434E689 Time : 1518.0 sec. user=vaughan [2011-05-17 01:41:17] 949*2^939197-1 is not prime. Res64: DDF53F26AB73576A Time : 1235.0 sec. user=vaughan [2011-05-17 01:42:38] 953*2^939196-1 is not prime. Res64: D0765A48D03E36FE Time : 1708.0 sec. user=vaughan [2011-05-17 01:43:44] 805*2^939197-1 is not prime. Res64: B9413D214438C32F Time : 1526.0 sec. user=vaughan [2011-05-17 01:51:17] 861*2^939198-1 is not prime. Res64: CB3A660C76CD334F Time : 1237.0 sec. user=vaughan [2011-05-17 01:57:44] 893*2^939198-1 is not prime. Res64: 29E6A51003A9E1CD Time : 1229.0 sec. user=vaughan [2011-05-17 01:58:50] 951*2^939198-1 is not prime. Res64: 5D0515DCF0310E1F Time : 1201.0 sec. user=vaughan [2011-05-17 02:01:45] 843*2^939200-1 is not prime. Res64: 46830BF0D5B41FC3 Time : 1228.0 sec. user=vaughan [2011-05-17 02:04:58] 841*2^939199-1 is not prime. Res64: 166909E55F0DEC73 Time : 1465.0 sec. user=vaughan [2011-05-17 02:06:34] 855*2^939199-1 is not prime. Res64: 8129595BF10E4E96 Time : 1555.0 sec. user=vaughan [2011-05-17 02:09:32] 805*2^939201-1 is not prime. Res64: 02DFBD3062679184 Time : 1549.0 sec. user=vaughan [2011-05-17 02:11:39] 895*2^939201-1 is not prime. Res64: D5E8C11CFD8145BE Time : 1223.0 sec. user=vaughan [2011-05-17 02:11:42] 995*2^939200-1 is not prime. Res64: EA4A729BC1A58172 Time : 1745.0 sec. user=vaughan [2011-05-17 02:18:06] 999*2^939201-1 is not prime. Res64: B29EA8A689A9D27F Time : 1223.0 sec. user=vaughan [2011-05-17 02:19:33] 803*2^939202-1 is not prime. Res64: 41FBF61E77EEDDCB Time : 1243.0 sec. user=vaughan [2011-05-17 02:22:08] 825*2^939202-1 is not prime. Res64: F83AD6BDEB306DCE Time : 1224.0 sec. user=vaughan [2011-05-17 02:29:19] 941*2^939202-1 is not prime. Res64: ECCBB4057D18509F Time : 1461.0 sec. user=vaughan [2011-05-17 02:31:58] 825*2^939204-1 is not prime. Res64: AD276ABAEF9E2129 Time : 1220.0 sec. user=vaughan [2011-05-17 02:32:26] 945*2^939202-1 is not prime. Res64: 2FD6556BFF393246 Time : 1553.0 sec. user=vaughan [2011-05-17 02:35:22] 889*2^939203-1 is not prime. Res64: 60FBC62B288CC195 Time : 1551.0 sec. user=vaughan [2011-05-17 02:38:25] 959*2^939204-1 is not prime. Res64: 182CAAF4D8C844C1 Time : 1219.0 sec. user=vaughan [2011-05-17 02:40:13] 965*2^939204-1 is not prime. Res64: 7B090814848AF9B8 Time : 1240.0 sec. user=vaughan [2011-05-17 02:40:59] 899*2^939204-1 is not prime. Res64: A0B323E2E605C158 Time : 1757.0 sec. user=vaughan [2011-05-17 02:42:29] 801*2^939205-1 is not prime. Res64: 403C1F153EEFC172 Time : 1222.0 sec. user=vaughan [2011-05-17 02:52:20] 849*2^939205-1 is not prime. Res64: 207D9D7C0A035F46 Time : 1222.0 sec. user=vaughan [2011-05-17 02:53:41] 825*2^939205-1 is not prime. Res64: 648393976721E201 Time : 1462.0 sec. user=vaughan [2011-05-17 02:58:18] 861*2^939205-1 is not prime. Res64: 5A61033F2D778CF2 Time : 1553.0 sec. user=vaughan [2011-05-17 02:58:48] 871*2^939205-1 is not prime. Res64: 3298F96C231666BB Time : 1223.0 sec. user=vaughan [2011-05-17 03:00:30] 895*2^939205-1 is not prime. Res64: 7AD810C3CD0AF56D Time : 1217.0 sec. user=vaughan [2011-05-17 03:01:12] 867*2^939205-1 is not prime. Res64: 9F59185C7B7364C5 Time : 1551.0 sec. user=vaughan [2011-05-17 03:02:58] 891*2^939207-1 is not prime. Res64: B3147AFF219BD3BB Time : 1229.0 sec. user=vaughan [2011-05-17 03:10:24] 885*2^939207-1 is not prime. Res64: B31819B636EE54BA Time : 1765.0 sec. user=vaughan [2011-05-17 03:12:56] 985*2^939207-1 is not prime. Res64: 01C3D133EEC0C58E Time : 1237.0 sec. user=vaughan [2011-05-17 03:18:07] 991*2^939207-1 is not prime. Res64: 644DCC49234A2CC8 Time : 1466.0 sec. user=vaughan [2011-05-17 03:19:16] 887*2^939208-1 is not prime. Res64: AAC574B40A5497B3 Time : 1229.0 sec. user=vaughan [2011-05-17 03:20:17] 957*2^939208-1 is not prime. Res64: B7C1ED4233514A55 Time : 1188.0 sec. user=vaughan [2011-05-17 03:23:34] 955*2^939209-1 is not prime. Res64: CF28CDCEEE9CF2A1 Time : 1236.0 sec. user=vaughan [2011-05-17 03:24:05] 813*2^939208-1 is not prime. Res64: CD5F22AC47F6624D Time : 1548.0 sec. user=vaughan [2011-05-17 03:26:54] 841*2^939209-1 is not prime. Res64: A7342B2CC8C70348 Time : 1543.0 sec. user=vaughan [2011-05-17 03:33:33] 811*2^939211-1 is not prime. Res64: 7E1A2B75CC2DE75E Time : 1237.0 sec. user=vaughan [2011-05-17 03:39:46] 867*2^939210-1 is not prime. Res64: A17CF302263198D0 Time : 1762.0 sec. user=vaughan [2011-05-17 03:39:47] 861*2^939211-1 is not prime. Res64: EC18A6D0FE0D11AA Time : 1232.0 sec. user=vaughan [2011-05-17 03:40:07] 969*2^939211-1 is not prime. Res64: EDEF2E2A08B2CD31 Time : 1190.0 sec. user=vaughan [2011-05-17 03:42:34] 819*2^939211-1 is not prime. Res64: 2CFC6E12E2115BB1 Time : 1467.0 sec. user=vaughan [2011-05-17 03:44:13] 973*2^939211-1 is not prime. Res64: F95AB0BFEA849DF4 Time : 1239.0 sec. user=vaughan [2011-05-17 03:49:51] 975*2^939211-1 is not prime. Res64: 6B6BBF917A7505C6 Time : 1546.0 sec. user=vaughan [2011-05-17 03:52:40] 825*2^939212-1 is not prime. Res64: 148DBD094BCA81A3 Time : 1546.0 sec. user=vaughan [2011-05-17 03:54:09] 857*2^939212-1 is not prime. Res64: 34D2FD16492603B2 Time : 1236.0 sec. user=vaughan [2011-05-17 04:00:11] 895*2^939213-1 is not prime. Res64: E06A4D1D7FCEAE82 Time : 1225.0 sec. user=vaughan [2011-05-17 04:00:14] 885*2^939214-1 is not prime. Res64: D09AA80C2D85CE6F Time : 1208.0 sec. user=vaughan [2011-05-17 04:04:40] 913*2^939215-1 is not prime. Res64: 5AEE8F243E260FE3 Time : 1228.0 sec. user=vaughan [2011-05-17 04:06:56] 897*2^939214-1 is not prime. Res64: D7122D48FE3DAF55 Time : 1462.0 sec. user=vaughan [2011-05-17 04:09:00] 935*2^939212-1 is not prime. Res64: 75A32B6F69DCFB0C Time : 1754.0 sec. user=vaughan [2011-05-17 04:14:29] 905*2^939216-1 is not prime. Res64: E8F1121B2ACDF126 Time : 1221.0 sec. user=vaughan [2011-05-17 04:15:04] 803*2^939216-1 is not prime. Res64: 8121EF5E52926E46 Time : 1514.0 sec. user=vaughan [2011-05-17 04:17:51] 815*2^939216-1 is not prime. Res64: 878D0F06D50AA378 Time : 1511.0 sec. user=vaughan [2011-05-17 04:20:29] 829*2^939217-1 is not prime. Res64: 2A42AD55C2070B45 Time : 1218.0 sec. user=vaughan [2011-05-17 04:20:58] 831*2^939217-1 is not prime. Res64: 8AFA68F327095304 Time : 1244.0 sec. user=vaughan [2011-05-17 04:24:58] 915*2^939217-1 is not prime. Res64: 2C9C02F725BAC0E5 Time : 1219.0 sec. user=vaughan [2011-05-17 04:29:29] 987*2^939218-1 is not prime. Res64: 3B063249D176499A Time : 1354.0 sec. user=vaughan [2011-05-17 04:34:47] 931*2^939219-1 is not prime. Res64: BE9461845CA7EA8C Time : 1219.0 sec. user=vaughan [2011-05-17 04:36:09] 859*2^939219-1 is not prime. Res64: 405A05CEA8BD666F Time : 1630.0 sec. user=vaughan [2011-05-17 04:39:22] 949*2^939219-1 is not prime. Res64: 0999250DC5DF12F5 Time : 1458.0 sec. user=vaughan [2011-05-17 04:40:48] 803*2^939220-1 is not prime. Res64: E05AD768CA553361 Time : 1220.0 sec. user=vaughan [2011-05-17 04:41:41] 825*2^939220-1 is not prime. Res64: DD03BBCB0828C4B7 Time : 1243.0 sec. user=vaughan [2011-05-17 04:42:04] 969*2^939219-1 is not prime. Res64: 3B7EF579EAC69F31 Time : 1454.0 sec. user=vaughan [2011-05-17 04:45:15] 827*2^939220-1 is not prime. Res64: E94EE84E9CF90975 Time : 1218.0 sec. user=vaughan [2011-05-17 04:51:46] 845*2^939220-1 is not prime. Res64: DCDF71BFAE53907E Time : 1338.0 sec. user=vaughan [2011-05-17 04:55:08] 857*2^939220-1 is not prime. Res64: CC8E13DBB089AAA8 Time : 1222.0 sec. user=vaughan [2011-05-17 05:01:08] 811*2^939221-1 is not prime. Res64: 1030C787E3F2B95A Time : 1220.0 sec. user=vaughan [2011-05-17 05:02:25] 855*2^939221-1 is not prime. Res64: 2C2742034F71DA03 Time : 1245.0 sec. user=vaughan [2011-05-17 05:02:43] 885*2^939220-1 is not prime. Res64: 16AF71CA4AB8A597 Time : 1595.0 sec. user=vaughan [2011-05-17 05:03:21] 899*2^939220-1 is not prime. Res64: D4BDB8BBA33D1095 Time : 1439.0 sec. user=vaughan [2011-05-17 05:05:38] 949*2^939221-1 is not prime. Res64: AEAF665B925F83BE Time : 1223.0 sec. user=vaughan [2011-05-17 05:06:04] 937*2^939221-1 is not prime. Res64: 151E1E10602610A7 Time : 1440.0 sec. user=vaughan [2011-05-17 05:14:05] 981*2^939221-1 is not prime. Res64: 30D93262F7D9C410 Time : 1340.0 sec. user=vaughan [2011-05-17 05:15:39] 825*2^939222-1 is not prime. Res64: 4A01F4A4C58137B0 Time : 1231.0 sec. user=vaughan [2011-05-17 05:21:37] 843*2^939222-1 is not prime. Res64: 5DC1B132B541F358 Time : 1230.0 sec. user=vaughan [2011-05-17 05:22:15] 921*2^939222-1 is not prime. Res64: 365F5D1142FC20EB Time : 1191.0 sec. user=ototero [2011-05-17 05:24:15] 887*2^939194-1 is not prime. Res64: 9A3834340BECE571 Time : 15036.0 sec. user=ototero [2011-05-17 05:24:15] 927*2^939194-1 is not prime. Res64: F6FD8A40680FCC9C Time : 15036.0 sec. user=ototero [2011-05-17 05:24:15] 1001*2^939194-1 is not prime. Res64: 127D2F840C99B8AB Time : 15036.0 sec. user=ototero [2011-05-17 05:24:16] 859*2^939195-1 is not prime. Res64: C93305EF6F884E0A Time : 15036.0 sec. user=ototero [2011-05-17 05:24:16] 871*2^939195-1 is not prime. Res64: 33E293834E3C6F3A Time : 15036.0 sec. user=ototero [2011-05-17 05:24:16] 909*2^939195-1 is not prime. Res64: F0F5442CDD283ECC Time : 15036.0 sec. user=ototero [2011-05-17 05:24:16] 963*2^939195-1 is not prime. Res64: 34DBC2735D700350 Time : 15035.0 sec. user=ototero [2011-05-17 05:24:16] 903*2^939196-1 is not prime. Res64: 39F99225419512EE Time : 15035.0 sec. user=ototero [2011-05-17 05:24:16] 909*2^939196-1 is not prime. Res64: 0B73527B2031324B Time : 15035.0 sec. user=ototero [2011-05-17 05:24:16] 927*2^939196-1 is not prime. Res64: 57AAFC78F136B49B Time : 15034.0 sec. user=vaughan [2011-05-17 05:26:15] 805*2^939223-1 is not prime. Res64: 51A2EF2536142456 Time : 1238.0 sec. user=vaughan [2011-05-17 05:27:21] 963*2^939222-1 is not prime. Res64: DBEFADF54B347242 Time : 1441.0 sec. user=vaughan [2011-05-17 05:29:11] 941*2^939222-1 is not prime. Res64: 517241E56BCAAE01 Time : 1589.0 sec. user=vaughan [2011-05-17 05:29:59] 883*2^939223-1 is not prime. Res64: 2EC58597D6DF241B Time : 1435.0 sec. user=vaughan [2011-05-17 05:36:14] 915*2^939225-1 is not prime. Res64: 37A6BE6C8FEB1A22 Time : 1236.0 sec. user=vaughan [2011-05-17 05:36:18] 903*2^939224-1 is not prime. Res64: 3C6DFE0435080F02 Time : 1334.0 sec. user=vaughan [2011-05-17 05:42:04] 951*2^939225-1 is not prime. Res64: 3EB4F1C560489EB2 Time : 1189.0 sec. user=vaughan [2011-05-17 05:42:04] 937*2^939225-1 is not prime. Res64: F067782969CEAE46 Time : 1228.0 sec. user=vaughan [2011-05-17 05:46:48] 847*2^939229-1 is not prime. Res64: 5873E6272D6C51F9 Time : 1234.0 sec. user=vaughan [2011-05-17 05:51:14] 855*2^939229-1 is not prime. Res64: D49E432BB44D8255 Time : 1433.0 sec. user=vaughan [2011-05-17 05:53:30] 827*2^939230-1 is not prime. Res64: 57AF1749987B463B Time : 1411.0 sec. user=vaughan [2011-05-17 05:54:36] 931*2^939229-1 is not prime. Res64: 08FB73C757A71C54 Time : 1526.0 sec. user=vaughan [2011-05-17 05:56:51] 867*2^939230-1 is not prime. Res64: 26E603AAFB357FC2 Time : 1237.0 sec. user=vaughan [2011-05-17 05:58:02] 911*2^939230-1 is not prime. Res64: 5CB189285EA48549 Time : 1304.0 sec. user=vaughan [2011-05-17 06:01:54] 829*2^939231-1 is not prime. Res64: 54687763C0073092 Time : 1191.0 sec. user=vaughan [2011-05-17 06:02:32] 855*2^939232-1 is not prime. Res64: ED150D396665A7B3 Time : 1229.0 sec. user=vaughan [2011-05-17 06:07:21] 873*2^939232-1 is not prime. Res64: 7D3F9872F7C262C8 Time : 1233.0 sec. user=vaughan [2011-05-17 06:14:47] 903*2^939232-1 is not prime. Res64: 354D0A541E71C98B Time : 1413.0 sec. user=vaughan [2011-05-17 06:17:27] 923*2^939232-1 is not prime. Res64: 5D7A5AB96D537429 Time : 1237.0 sec. user=vaughan [2011-05-17 06:17:31] 915*2^939232-1 is not prime. Res64: 550208F27153EE72 Time : 1442.0 sec. user=vaughan [2011-05-17 06:20:35] 975*2^939232-1 is not prime. Res64: 561C312C31D6DE9D Time : 1354.0 sec. user=vaughan [2011-05-17 06:21:26] 917*2^939232-1 is not prime. Res64: FADB78931C4FC2C8 Time : 1611.0 sec. user=vaughan [2011-05-17 06:21:41] 861*2^939233-1 is not prime. Res64: 42A8438353DDB8E3 Time : 1188.0 sec. user=vaughan [2011-05-17 06:22:57] 915*2^939233-1 is not prime. Res64: 08E6217D1A9ACA83 Time : 1226.0 sec. user=vaughan [2011-05-17 06:27:54] 949*2^939233-1 is not prime. Res64: 9AFDE5A80EDB2B65 Time : 1233.0 sec. user=vaughan [2011-05-17 06:38:00] 891*2^939234-1 is not prime. Res64: E306E59564AECCB4 Time : 1234.0 sec. user=vaughan [2011-05-17 06:39:23] 985*2^939233-1 is not prime. Res64: 7FB2DC1BF43585EB Time : 1476.0 sec. user=vaughan [2011-05-17 06:41:29] 985*2^939235-1 is not prime. Res64: A8C54936E1222358 Time : 1188.0 sec. user=vaughan [2011-05-17 06:42:03] 903*2^939234-1 is not prime. Res64: 1D79B51F7F5A9C2D Time : 1473.0 sec. user=vaughan [2011-05-17 06:43:24] 875*2^939236-1 is not prime. Res64: FAFB734CF79F5E6A Time : 1227.0 sec. user=vaughan [2011-05-17 06:43:27] 885*2^939235-1 is not prime. Res64: C497E79FE56F4AD9 Time : 1372.0 sec. user=vaughan [2011-05-17 06:48:29] 893*2^939236-1 is not prime. Res64: AD3AC4A0E6868EA8 Time : 1235.0 sec. user=vaughan [2011-05-17 06:48:49] 919*2^939235-1 is not prime. Res64: 00D2EDFF959E5638 Time : 1644.0 sec. user=vaughan [2011-05-17 06:58:34] 945*2^939236-1 is not prime. Res64: A76318FE8C020CEA Time : 1234.0 sec. user=vaughan [2011-05-17 07:01:19] 885*2^939238-1 is not prime. Res64: FEA3A876A7944FE0 Time : 1190.0 sec. user=vaughan [2011-05-17 07:03:52] 825*2^939239-1 is not prime. Res64: BB32E2B56BA58FB8 Time : 1228.0 sec. user=vaughan [2011-05-17 07:03:55] 963*2^939236-1 is not prime. Res64: C3F5F5682C00E583 Time : 1473.0 sec. user=vaughan [2011-05-17 07:06:00] 883*2^939239-1 is not prime. Res64: A27B7844F5ED4193 Time : 1354.0 sec. user=vaughan [2011-05-17 07:06:34] 915*2^939238-1 is not prime. Res64: 732B50E65B57F440 Time : 1471.0 sec. user=vaughan [2011-05-17 07:09:04] 913*2^939239-1 is not prime. Res64: EF00550E1B1307E9 Time : 1235.0 sec. user=vaughan [2011-05-17 07:16:04] 909*2^939240-1 is not prime. Res64: 7ACBF4D55C2FD628 Time : 1636.0 sec. user=vaughan [2011-05-17 07:19:07] 957*2^939240-1 is not prime. Res64: 99B0CC2DC7B9C5EB Time : 1233.0 sec. user=vaughan [2011-05-17 07:21:07] 807*2^939241-1 is not prime. Res64: 5327C24EFD6C16FE Time : 1189.0 sec. user=vaughan [2011-05-17 07:24:17] 861*2^939241-1 is not prime. Res64: 38F6690E8562701E Time : 1226.0 sec. user=vaughan [2011-05-17 07:28:32] 871*2^939241-1 is not prime. Res64: 6E4EC99570E94A47 Time : 1477.0 sec. user=vaughan [2011-05-17 07:28:38] 877*2^939241-1 is not prime. Res64: 7B9E76A8EDCE01E9 Time : 1358.0 sec. user=vaughan [2011-05-17 07:29:38] 987*2^939241-1 is not prime. Res64: CAC07AA6078C38E2 Time : 1234.0 sec. user=vaughan [2011-05-17 07:31:04] 909*2^939241-1 is not prime. Res64: D852A94A4D8B6C6F Time : 1470.0 sec. user=vaughan [2011-05-17 07:39:47] 885*2^939242-1 is not prime. Res64: AB2CC6C071805BD6 Time : 1240.0 sec. user=vaughan [2011-05-17 07:41:02] 921*2^939242-1 is not prime. Res64: 8FC5571DE4C3B8FB Time : 1195.0 sec. user=vaughan [2011-05-17 07:43:16] 875*2^939242-1 is not prime. Res64: C2E5DAE235377EF4 Time : 1632.0 sec. user=vaughan [2011-05-17 07:44:58] 801*2^939243-1 is not prime. Res64: 30166A36E18D67CE Time : 1241.0 sec. user=vaughan [2011-05-17 07:50:22] 897*2^939244-1 is not prime. Res64: D77C6EA1E900E55B Time : 1244.0 sec. user=vaughan [2011-05-17 07:51:18] 895*2^939243-1 is not prime. Res64: 9837900056BA09EA Time : 1361.0 sec. user=vaughan [2011-05-17 07:52:55] 823*2^939243-1 is not prime. Res64: 7FEE6FABAD746DB4 Time : 1464.0 sec. user=vaughan [2011-05-17 07:55:29] 965*2^939244-1 is not prime. Res64: E66B973AA2C054B6 Time : 1466.0 sec. user=vaughan [2011-05-17 08:00:20] 837*2^939245-1 is not prime. Res64: 6A6641700A637C02 Time : 1233.0 sec. user=vaughan [2011-05-17 08:00:50] 871*2^939245-1 is not prime. Res64: CE54C3D302EB3565 Time : 1188.0 sec. user=vaughan [2011-05-17 08:05:24] 937*2^939245-1 is not prime. Res64: B6B58B0F16485B3A Time : 1226.0 sec. user=vaughan [2011-05-17 08:10:36] 885*2^939245-1 is not prime. Res64: 6C4AFCE83ABF3A3D Time : 1640.0 sec. user=vaughan [2011-05-17 08:10:56] 951*2^939245-1 is not prime. Res64: 2FA05B40731F774B Time : 1234.0 sec. user=vaughan [2011-05-17 08:13:55] 979*2^939245-1 is not prime. Res64: CC9ED35A2C07A3D2 Time : 1358.0 sec. user=vaughan [2011-05-17 08:17:27] 987*2^939245-1 is not prime. Res64: 388B55C4F336E8A1 Time : 1472.0 sec. user=vaughan [2011-05-17 08:19:53] 815*2^939246-1 is not prime. Res64: 4DF7526E473AEBE5 Time : 1465.0 sec. user=vaughan [2011-05-17 08:20:40] 829*2^939247-1 is not prime. Res64: 51F8FD45C40D2CE9 Time : 1190.0 sec. user=vaughan [2011-05-17 08:20:58] 983*2^939246-1 is not prime. Res64: EF9AFDF46101DF3F Time : 1238.0 sec. user=vaughan [2011-05-17 08:25:52] 873*2^939247-1 is not prime. Res64: DA541297973AF62A Time : 1228.0 sec. user=vaughan [2011-05-17 08:31:34] 843*2^939248-1 is not prime. Res64: 50FE61CB22C31EA6 Time : 1238.0 sec. user=vaughan [2011-05-17 08:36:29] 845*2^939248-1 is not prime. Res64: 2A07D6C34FFE0DFB Time : 1355.0 sec. user=vaughan [2011-05-17 08:37:57] 885*2^939247-1 is not prime. Res64: E777E2D08F1D7573 Time : 1641.0 sec. user=vaughan [2011-05-17 08:40:28] 811*2^939249-1 is not prime. Res64: AE84371F06513104 Time : 1189.0 sec. user=vaughan [2011-05-17 08:41:34] 829*2^939249-1 is not prime. Res64: 629DF50EA3801FD3 Time : 1236.0 sec. user=vaughan [2011-05-17 08:41:53] 855*2^939248-1 is not prime. Res64: 6300A4E6933AB4DA Time : 1467.0 sec. user=vaughan [2011-05-17 08:44:21] 999*2^939248-1 is not prime. Res64: 94D63ADC64BE149E Time : 1468.0 sec. user=vaughan [2011-05-17 08:46:20] 999*2^939249-1 is not prime. Res64: D0C65C345580E167 Time : 1228.0 sec. user=vaughan [2011-05-17 08:52:09] 857*2^939250-1 is not prime. Res64: 460ACA9493695FF5 Time : 1236.0 sec. user=vaughan [2011-05-17 08:59:09] 915*2^939250-1 is not prime. Res64: 44A94A19F6CB5B79 Time : 1360.0 sec. user=vaughan [2011-05-17 09:00:15] 975*2^939250-1 is not prime. Res64: 851F6E4290DF7725 Time : 1188.0 sec. user=vaughan [2011-05-17 09:02:11] 801*2^939251-1 is not prime. Res64: AE94E4A2FCA09FF7 Time : 1237.0 sec. user=vaughan [2011-05-17 09:05:10] 923*2^939250-1 is not prime. Res64: C1E2101AF06477B5 Time : 1634.0 sec. user=vaughan [2011-05-17 09:06:23] 921*2^939251-1 is not prime. Res64: 8250174A80D3E4F9 Time : 1470.0 sec. user=vaughan [2011-05-17 09:06:46] 991*2^939251-1 is not prime. Res64: B685A8B019D23385 Time : 1226.0 sec. user=vaughan [2011-05-17 09:08:46] 949*2^939251-1 is not prime. Res64: 505793E4D7AA4400 Time : 1465.0 sec. user=vaughan [2011-05-17 09:12:45] 903*2^939252-1 is not prime. Res64: BB63AF09D5708587 Time : 1237.0 sec. user=vaughan [2011-05-17 09:20:04] 829*2^939253-1 is not prime. Res64: 960B4FD99C4E09D4 Time : 1190.0 sec. user=vaughan [2011-05-17 09:21:44] 947*2^939252-1 is not prime. Res64: CB339D9B3B2F8ECE Time : 1356.0 sec. user=vaughan [2011-05-17 09:22:48] 937*2^939253-1 is not prime. Res64: 1A5A3AA20FFCB98E Time : 1238.0 sec. user=vaughan [2011-05-17 09:27:12] 955*2^939253-1 is not prime. Res64: 13134CD1BE441779 Time : 1227.0 sec. user=vaughan [2011-05-17 09:30:53] 951*2^939253-1 is not prime. Res64: 931C1E0CD2845EC8 Time : 1470.0 sec. user=vaughan [2011-05-17 09:32:17] 939*2^939253-1 is not prime. Res64: 9208C71085632503 Time : 1627.0 sec. user=vaughan [2011-05-17 09:33:13] 961*2^939253-1 is not prime. Res64: 69CB06C6671B0612 Time : 1468.0 sec. user=vaughan [2011-05-17 09:33:22] 915*2^939254-1 is not prime. Res64: 757E7288AB02A13C Time : 1237.0 sec. user=ototero [2011-05-17 09:34:50] 979*2^939225-1 is not prime. Res64: E4355983F25C4ABC Time : 15033.0 sec. user=ototero [2011-05-17 09:34:50] 825*2^939226-1 is not prime. Res64: A8E1BCD568A9088D Time : 15033.0 sec. user=ototero [2011-05-17 09:34:51] 867*2^939226-1 is not prime. Res64: FEC0E4ED8D703AD6 Time : 15034.0 sec. user=ototero [2011-05-17 09:34:51] 947*2^939226-1 is not prime. Res64: 52E2E586B84C33CC Time : 15033.0 sec. user=ototero [2011-05-17 09:34:51] 987*2^939226-1 is not prime. Res64: 1B337C03D1FA55D7 Time : 15033.0 sec. user=ototero [2011-05-17 09:34:51] 885*2^939227-1 is not prime. Res64: D0107C6417D768D7 Time : 15033.0 sec. user=ototero [2011-05-17 09:34:51] 973*2^939227-1 is not prime. Res64: 08D30054D99E9042 Time : 15032.0 sec. user=ototero [2011-05-17 09:34:51] 825*2^939228-1 is not prime. Res64: FA889C2F8D66C9AD Time : 15032.0 sec. user=ototero [2011-05-17 09:34:52] 845*2^939228-1 is not prime. Res64: BFF67E1650578A09 Time : 15033.0 sec. user=ototero [2011-05-17 09:34:52] 945*2^939228-1 is not prime. Res64: A8F4CC3C549D3586 Time : 15032.0 sec. user=vaughan [2011-05-17 09:39:51] 935*2^939254-1 is not prime. Res64: 7984AA76872003A0 Time : 1188.0 sec. user=vaughan [2011-05-17 09:43:23] 859*2^939255-1 is not prime. Res64: B0EDE8396CA3A2C6 Time : 1235.0 sec. user=vaughan [2011-05-17 09:44:20] 831*2^939255-1 is not prime. Res64: 793FDF3B300782A9 Time : 1356.0 sec. user=vaughan [2011-05-17 09:47:41] 861*2^939255-1 is not prime. Res64: 2B2F0890DA65F7D4 Time : 1229.0 sec. user=vaughan [2011-05-17 09:53:57] 939*2^939257-1 is not prime. Res64: 032C6FDFDFFBC37A Time : 1235.0 sec. user=vaughan [2011-05-17 09:55:29] 999*2^939256-1 is not prime. Res64: 1A4ECAC09AD1BAF8 Time : 1477.0 sec. user=vaughan [2011-05-17 09:57:42] 847*2^939257-1 is not prime. Res64: 4203E6387683E06C Time : 1469.0 sec. user=vaughan [2011-05-17 09:59:18] 837*2^939257-1 is not prime. Res64: 6B0C9658D1C16556 Time : 1621.0 sec. user=vaughan [2011-05-17 09:59:39] 897*2^939262-1 is not prime. Res64: 0E938C2AAF24A640 Time : 1188.0 sec. user=vaughan [2011-05-17 10:04:00] 965*2^939262-1 is not prime. Res64: 20157C533E79D241 Time : 1238.0 sec. user=vaughan [2011-05-17 10:07:00] 875*2^939264-1 is not prime. Res64: 915AB24F9DB88285 Time : 1361.0 sec. user=vaughan [2011-05-17 10:08:10] 917*2^939264-1 is not prime. Res64: C373EE805DF2DB31 Time : 1230.0 sec. user=vaughan [2011-05-17 10:14:33] 945*2^939264-1 is not prime. Res64: 17CD9B46CFB4E919 Time : 1236.0 sec. user=vaughan [2011-05-17 10:19:34] 837*2^939266-1 is not prime. Res64: 28E36AF5B12BE4D8 Time : 1195.0 sec. user=vaughan [2011-05-17 10:20:00] 805*2^939265-1 is not prime. Res64: 2B5C1E1194147A60 Time : 1472.0 sec. user=vaughan [2011-05-17 10:22:18] 877*2^939265-1 is not prime. Res64: 6D986FF1608E1EEB Time : 1476.0 sec. user=vaughan [2011-05-17 10:24:31] 1001*2^939266-1 is not prime. Res64: 4AA4E58A83AA1FEE Time : 1232.0 sec. user=vaughan [2011-05-17 10:26:25] 833*2^939266-1 is not prime. Res64: 592E02548886471E Time : 1628.0 sec. user=vaughan [2011-05-17 10:28:39] 931*2^939267-1 is not prime. Res64: 0AA4C5385A982752 Time : 1229.0 sec. user=vaughan [2011-05-17 10:29:35] 801*2^939267-1 is not prime. Res64: 6780106A64261434 Time : 1356.0 sec. user=vaughan [2011-05-17 10:35:04] 951*2^939267-1 is not prime. Res64: 1AE14CD7175AC84C Time : 1231.0 sec. user=vaughan [2011-05-17 10:39:38] 961*2^939267-1 is not prime. Res64: A8CEED9B6C98FD36 Time : 1204.0 sec. user=vaughan [2011-05-17 10:44:26] 979*2^939267-1 is not prime. Res64: BF38860DF297311F Time : 1466.0 sec. user=vaughan [2011-05-17 10:45:04] 869*2^939268-1 is not prime. Res64: A71BAB9E7A0E04FA Time : 1233.0 sec. user=vaughan [2011-05-17 10:46:38] 855*2^939268-1 is not prime. Res64: E012F320EE14B990 Time : 1461.0 sec. user=vaughan [2011-05-17 10:49:17] 899*2^939268-1 is not prime. Res64: 78DA0794628097E3 Time : 1239.0 sec. user=vaughan [2011-05-17 10:52:44] 905*2^939268-1 is not prime. Res64: DF451064A758DD54 Time : 1389.0 sec. user=vaughan [2011-05-17 10:53:36] 897*2^939268-1 is not prime. Res64: A24C5171A702E3E9 Time : 1632.0 sec. user=vaughan [2011-05-17 10:55:42] 929*2^939268-1 is not prime. Res64: 07C6AEB2ACE47A0D Time : 1239.0 sec. user=vaughan [2011-05-17 10:59:29] 993*2^939268-1 is not prime. Res64: EC44F55EF6CB8003 Time : 1192.0 sec. user=vaughan [2011-05-17 11:05:43] 885*2^939269-1 is not prime. Res64: D2FB68BC292CC9C3 Time : 1239.0 sec. user=vaughan [2011-05-17 11:08:45] 811*2^939269-1 is not prime. Res64: A4A52F6888DE32AA Time : 1460.0 sec. user=vaughan [2011-05-17 11:09:48] 987*2^939269-1 is not prime. Res64: 284D65EDD72F34E9 Time : 1231.0 sec. user=vaughan [2011-05-17 11:10:55] 939*2^939269-1 is not prime. Res64: 3B773265FEB11A89 Time : 1457.0 sec. user=vaughan [2011-05-17 11:15:54] 991*2^939269-1 is not prime. Res64: C228E2D127CA7F8A Time : 1390.0 sec. user=vaughan [2011-05-17 11:16:20] 863*2^939270-1 is not prime. Res64: BF239CC3E28C36C5 Time : 1239.0 sec. user=vaughan [2011-05-17 11:19:19] 963*2^939270-1 is not prime. Res64: F79797C6101D1C6D Time : 1191.0 sec. user=vaughan [2011-05-17 11:20:49] 851*2^939270-1 is not prime. Res64: 7AD53472E83AEF86 Time : 1634.0 sec. user=vaughan [2011-05-17 11:26:20] 813*2^939271-1 is not prime. Res64: B2E42B7D0EE4895C Time : 1238.0 sec. user=vaughan [2011-05-17 11:30:18] 979*2^939271-1 is not prime. Res64: 9021B77B3467EBCB Time : 1231.0 sec. user=vaughan [2011-05-17 11:32:55] 871*2^939271-1 is not prime. Res64: 8F08106D97D2A0D5 Time : 1450.0 sec. user=vaughan [2011-05-17 11:35:09] 899*2^939272-1 is not prime. Res64: 7BE14BE855460525 Time : 1455.0 sec. user=vaughan [2011-05-17 11:36:56] 805*2^939273-1 is not prime. Res64: 41FAC8C584B8C3BB Time : 1237.0 sec. user=vaughan [2011-05-17 11:39:04] 935*2^939272-1 is not prime. Res64: 16E88934BAEA5D0B Time : 1391.0 sec. user=vaughan [2011-05-17 11:39:08] 825*2^939274-1 is not prime. Res64: 47AD4B0E174EE7C3 Time : 1190.0 sec. user=vaughan [2011-05-17 11:50:33] 917*2^939274-1 is not prime. Res64: 0EE66468DC595834 Time : 1784.0 sec. user=vaughan [2011-05-17 11:50:40] 859*2^939275-1 is not prime. Res64: CF2CB5EEC4F35FAB Time : 1222.0 sec. user=vaughan [2011-05-17 11:50:53] 981*2^939274-1 is not prime. Res64: 49AC5B033509B2BE Time : 1474.0 sec. user=vaughan [2011-05-17 11:56:55] 857*2^939276-1 is not prime. Res64: CF959520C6A5ED61 Time : 1440.0 sec. user=vaughan [2011-05-17 11:57:20] 919*2^939277-1 is not prime. Res64: D666ED1DDC18284C Time : 1225.0 sec. user=vaughan [2011-05-17 11:58:54] 985*2^939277-1 is not prime. Res64: DF59F92D9824CECE Time : 1186.0 sec. user=vaughan [2011-05-17 11:59:06] 933*2^939276-1 is not prime. Res64: F099BC1029C165A6 Time : 1437.0 sec. user=vaughan [2011-05-17 12:01:56] 931*2^939277-1 is not prime. Res64: 741910854C97E7CB Time : 1373.0 sec. user=vaughan [2011-05-17 12:11:07] 833*2^939278-1 is not prime. Res64: 247532C32DCF21E3 Time : 1228.0 sec. user=vaughan [2011-05-17 12:11:28] 921*2^939278-1 is not prime. Res64: E0F55CB9A674C434 Time : 1235.0 sec. user=vaughan [2011-05-17 12:17:48] 999*2^939277-1 is not prime. Res64: 8FA32ACCEA8EBFBA Time : 1635.0 sec. user=vaughan [2011-05-17 12:17:54] 1001*2^939278-1 is not prime. Res64: E67284267D4D32CE Time : 1235.0 sec. user=vaughan [2011-05-17 12:18:42] 825*2^939279-1 is not prime. Res64: B0F65EF0266442DF Time : 1188.0 sec. user=vaughan [2011-05-17 12:21:22] 957*2^939278-1 is not prime. Res64: 1F5477472239C44D Time : 1468.0 sec. user=vaughan [2011-05-17 12:23:36] 949*2^939279-1 is not prime. Res64: 3E1726C7FF072A5D Time : 1470.0 sec. user=vaughan [2011-05-17 12:24:37] 813*2^939280-1 is not prime. Res64: 5D14CFAAC257F220 Time : 1361.0 sec. user=vaughan [2011-05-17 12:31:37] 825*2^939280-1 is not prime. Res64: E5527930539626A2 Time : 1231.0 sec. user=vaughan [2011-05-17 12:32:04] 875*2^939280-1 is not prime. Res64: 3280A778F0218361 Time : 1236.0 sec. user=vaughan [2011-05-17 12:38:30] 933*2^939280-1 is not prime. Res64: 0AC83CB0BBAC9682 Time : 1237.0 sec. user=vaughan [2011-05-17 12:38:31] 965*2^939280-1 is not prime. Res64: 8AAFD9E390418108 Time : 1189.0 sec. user=vaughan [2011-05-17 12:44:56] 905*2^939280-1 is not prime. Res64: 627C8105C3307840 Time : 1628.0 sec. user=vaughan [2011-05-17 12:45:52] 995*2^939280-1 is not prime. Res64: BDFBDDA465BE61D1 Time : 1471.0 sec. user=vaughan [2011-05-17 12:47:17] 937*2^939281-1 is not prime. Res64: 69818A89E70F3018 Time : 1361.0 sec. user=vaughan [2011-05-17 12:48:05] 931*2^939281-1 is not prime. Res64: BA4E08984CBEAAF7 Time : 1470.0 sec. user=vaughan [2011-05-17 12:52:11] 979*2^939281-1 is not prime. Res64: 21FE3BB350D120BF Time : 1234.0 sec. user=vaughan [2011-05-17 12:52:39] 997*2^939281-1 is not prime. Res64: B5AD2DEBB3FD276A Time : 1235.0 sec. user=vaughan [2011-05-17 12:58:19] 821*2^939282-1 is not prime. Res64: 2D88D8E70FA89232 Time : 1188.0 sec. user=vaughan [2011-05-17 12:59:05] 801*2^939282-1 is not prime. Res64: 09E9FDBF27C48F60 Time : 1236.0 sec. user=vaughan [2011-05-17 13:09:53] 921*2^939282-1 is not prime. Res64: 53AFD9268DCC3F19 Time : 1357.0 sec. user=vaughan [2011-05-17 13:10:19] 915*2^939282-1 is not prime. Res64: 75FF841A678C32EE Time : 1467.0 sec. user=vaughan [2011-05-17 13:11:58] 887*2^939282-1 is not prime. Res64: BBFA89DB30F28F3D Time : 1623.0 sec. user=vaughan [2011-05-17 13:12:32] 941*2^939282-1 is not prime. Res64: 95D6E07529CF01BF Time : 1467.0 sec. user=vaughan [2011-05-17 13:12:58] 871*2^939283-1 is not prime. Res64: 21795B9CC1B46B3F Time : 1248.0 sec. user=vaughan [2011-05-17 13:13:11] 939*2^939283-1 is not prime. Res64: 5B5EB5DECA785FD2 Time : 1232.0 sec. user=vaughan [2011-05-17 13:18:12] 973*2^939283-1 is not prime. Res64: CD9E13FE0D9EA314 Time : 1193.0 sec. user=vaughan [2011-05-17 13:19:35] 837*2^939284-1 is not prime. Res64: F39784E660BE5663 Time : 1231.0 sec. user=vaughan [2011-05-17 13:32:31] 875*2^939284-1 is not prime. Res64: 27F2773B12982BA5 Time : 1359.0 sec. user=vaughan [2011-05-17 13:33:40] 801*2^939286-1 is not prime. Res64: 9C3D89ECA243CE66 Time : 1229.0 sec. user=vaughan [2011-05-17 13:33:53] 919*2^939285-1 is not prime. Res64: 144BD5B3FB61181C Time : 1256.0 sec. user=vaughan [2011-05-17 13:34:43] 935*2^939284-1 is not prime. Res64: 7F5150BD98E15AD2 Time : 1465.0 sec. user=vaughan [2011-05-17 13:36:54] 889*2^939285-1 is not prime. Res64: 0913C63E2BDA4AB2 Time : 1462.0 sec. user=vaughan [2011-05-17 13:38:05] 833*2^939286-1 is not prime. Res64: 3B18729525042B81 Time : 1193.0 sec. user=vaughan [2011-05-17 13:39:00] 817*2^939285-1 is not prime. Res64: A9A9EFC01EC61E4B Time : 1622.0 sec. user=vaughan [2011-05-17 13:40:04] 923*2^939286-1 is not prime. Res64: 7DB76C8C89CB6076 Time : 1230.0 sec. user=ototero [2011-05-17 13:45:25] 949*2^939257-1 is not prime. Res64: C1857A84343A1435 Time : 15033.0 sec. user=ototero [2011-05-17 13:45:25] 815*2^939258-1 is not prime. Res64: BC43B9A02739F6AC Time : 15033.0 sec. user=ototero [2011-05-17 13:45:25] 825*2^939258-1 is not prime. Res64: 2BF9F28DF3A9B230 Time : 15032.0 sec. user=ototero [2011-05-17 13:45:25] 945*2^939258-1 is not prime. Res64: A6E730F085AA0242 Time : 15032.0 sec. user=ototero [2011-05-17 13:45:25] 873*2^939259-1 is not prime. Res64: DCD8DB02E7FD28EE Time : 15032.0 sec. user=ototero [2011-05-17 13:45:26] 895*2^939259-1 is not prime. Res64: CB67F033C233C2FE Time : 15032.0 sec. user=ototero [2011-05-17 13:45:26] 893*2^939260-1 is not prime. Res64: DACAB07B10ECE91A Time : 15032.0 sec. user=ototero [2011-05-17 13:45:26] 889*2^939261-1 is not prime. Res64: 645BF4C4A184383C Time : 15032.0 sec. user=ototero [2011-05-17 13:45:26] 937*2^939261-1 is not prime. Res64: 6DA4A4ACDC3D290E Time : 15031.0 sec. user=ototero [2011-05-17 13:45:26] 891*2^939262-1 is not prime. Res64: 2C3AE9F6B31EB5B7 Time : 15031.0 sec. user=vaughan [2011-05-17 13:54:10] 987*2^939286-1 is not prime. Res64: 538BFD93133EA2CF Time : 1230.0 sec. user=vaughan [2011-05-17 13:54:44] 957*2^939286-1 is not prime. Res64: 94D7E565500478BA Time : 1333.0 sec. user=vaughan [2011-05-17 13:54:49] 825*2^939287-1 is not prime. Res64: 67D0BFA090E6B589 Time : 1256.0 sec. user=vaughan [2011-05-17 13:57:59] 981*2^939287-1 is not prime. Res64: 9187E7C22EAD29D0 Time : 1194.0 sec. user=vaughan [2011-05-17 13:58:45] 949*2^939287-1 is not prime. Res64: D9586047A2A842D1 Time : 1442.0 sec. user=vaughan [2011-05-17 14:00:34] 893*2^939288-1 is not prime. Res64: 75B0E91B1C6CB230 Time : 1230.0 sec. user=vaughan [2011-05-17 14:00:53] 979*2^939287-1 is not prime. Res64: C9B71F8C5F4C5B73 Time : 1440.0 sec. user=vaughan [2011-05-17 14:05:44] 803*2^939288-1 is not prime. Res64: 9647085EF7875525 Time : 1604.0 sec. user=vaughan [2011-05-17 14:14:39] 861*2^939293-1 is not prime. Res64: 3AF9567B61C7F8E5 Time : 1229.0 sec. user=vaughan [2011-05-17 14:15:29] 851*2^939294-1 is not prime. Res64: EDE976A33AAFDB75 Time : 1241.0 sec. user=vaughan [2011-05-17 14:17:03] 885*2^939293-1 is not prime. Res64: AEAA9EF2192B29BD Time : 1339.0 sec. user=vaughan [2011-05-17 14:18:10] 843*2^939295-1 is not prime. Res64: 0AE5921463D2647D Time : 1211.0 sec. user=vaughan [2011-05-17 14:21:08] 925*2^939295-1 is not prime. Res64: F3A16749722A4409 Time : 1234.0 sec. user=vaughan [2011-05-17 14:22:47] 855*2^939295-1 is not prime. Res64: 6B8FBBA3A5FC1929 Time : 1442.0 sec. user=vaughan [2011-05-17 14:24:51] 999*2^939295-1 is not prime. Res64: 15C762A63F1497FA Time : 1439.0 sec. user=vaughan [2011-05-17 14:32:13] 935*2^939296-1 is not prime. Res64: AA549E53D088F345 Time : 1590.0 sec. user=vaughan [2011-05-17 14:35:15] 945*2^939296-1 is not prime. Res64: F298AD1841134ED9 Time : 1236.0 sec. user=vaughan [2011-05-17 14:36:01] 861*2^939297-1 is not prime. Res64: E390419E2BC8E13A Time : 1232.0 sec. user=vaughan [2011-05-17 14:38:00] 871*2^939297-1 is not prime. Res64: EEE41B0A0CB519DB Time : 1190.0 sec. user=vaughan [2011-05-17 14:39:19] 865*2^939297-1 is not prime. Res64: 6D010EEA31B83E89 Time : 1336.0 sec. user=vaughan [2011-05-17 14:41:47] 991*2^939297-1 is not prime. Res64: 1D291B65EA3D3971 Time : 1239.0 sec. user=vaughan [2011-05-17 14:46:45] 971*2^939298-1 is not prime. Res64: 48EAEAFF4A2B57FD Time : 1438.0 sec. user=vaughan [2011-05-17 14:48:55] 871*2^939305-1 is not prime. Res64: 0FBB4FBF83B24618 Time : 1444.0 sec. user=vaughan [2011-05-17 14:55:56] 915*2^939305-1 is not prime. Res64: 5607DB169302F1F5 Time : 1241.0 sec. user=vaughan [2011-05-17 14:56:32] 937*2^939305-1 is not prime. Res64: B1BFC98E4D60B0EF Time : 1231.0 sec. user=gd_barnes [2011-05-17 14:56:43] 921*2^939302-1 is not prime. Res64: 87C08DDBCB30B831 Time : 2017.0 sec. user=gd_barnes [2011-05-17 14:56:43] 963*2^939302-1 is not prime. Res64: C7998BA415DBAF21 Time : 2017.0 sec. user=gd_barnes [2011-05-17 14:56:57] 811*2^939301-1 is not prime. Res64: 7B727294F3A241DF Time : 2034.0 sec. user=gd_barnes [2011-05-17 14:56:57] 945*2^939301-1 is not prime. Res64: 1DD82FB66BF57470 Time : 2034.0 sec. user=gd_barnes [2011-05-17 14:57:07] 995*2^939302-1 is not prime. Res64: 4ACD9E1F140E3E1D Time : 2038.0 sec. user=gd_barnes [2011-05-17 14:57:07] 853*2^939303-1 is not prime. Res64: 51AB8A7081B51411 Time : 2038.0 sec. user=gd_barnes [2011-05-17 14:57:08] 855*2^939304-1 is not prime. Res64: 4F4D31E0D86C71E0 Time : 2034.0 sec. user=gd_barnes [2011-05-17 14:57:08] 847*2^939305-1 is not prime. Res64: D00849074C1B05CA Time : 2034.0 sec. user=gd_barnes [2011-05-17 14:57:20] 921*2^939299-1 is not prime. Res64: 4F8DE9CF77E94488 Time : 2060.0 sec. user=gd_barnes [2011-05-17 14:57:20] 939*2^939299-1 is not prime. Res64: 2963DFAE76A3D0F8 Time : 2060.0 sec. user=gd_barnes [2011-05-17 14:57:36] 921*2^939303-1 is not prime. Res64: 6997E029E89D262E Time : 2065.0 sec. user=gd_barnes [2011-05-17 14:57:36] 813*2^939304-1 is not prime. Res64: 173FE19895609C20 Time : 2065.0 sec. user=vaughan [2011-05-17 14:57:52] 981*2^939305-1 is not prime. Res64: A9596832E72DAE41 Time : 1192.0 sec. user=vaughan [2011-05-17 14:58:46] 885*2^939305-1 is not prime. Res64: A284ECEB2374FE25 Time : 1593.0 sec. user=vaughan [2011-05-17 15:01:35] 985*2^939305-1 is not prime. Res64: 18BFB57852880DFB Time : 1336.0 sec. user=vaughan [2011-05-17 15:02:26] 825*2^939306-1 is not prime. Res64: 6192151F9BA2236D Time : 1239.0 sec. user=vaughan [2011-05-17 15:10:59] 913*2^939307-1 is not prime. Res64: 20CC80DC41300572 Time : 1454.0 sec. user=vaughan [2011-05-17 15:13:10] 893*2^939308-1 is not prime. Res64: 87CCB4351CB2E2B9 Time : 1456.0 sec. user=vaughan [2011-05-17 15:16:34] 969*2^939308-1 is not prime. Res64: 2B7003291B972E07 Time : 1239.0 sec. user=vaughan [2011-05-17 15:17:06] 977*2^939308-1 is not prime. Res64: 2DDCC8391CAEF05B Time : 1234.0 sec. user=vaughan [2011-05-17 15:17:59] 987*2^939313-1 is not prime. Res64: C8619E2DA5648899 Time : 1207.0 sec. user=vaughan [2011-05-17 15:22:59] 805*2^939315-1 is not prime. Res64: 3FA5EA8356D89F1A Time : 1233.0 sec. user=vaughan [2011-05-17 15:24:18] 945*2^939314-1 is not prime. Res64: 2EFD8AD1CC9BCB78 Time : 1363.0 sec. user=vaughan [2011-05-17 15:26:04] 921*2^939314-1 is not prime. Res64: 4D50FE158495EF84 Time : 1638.0 sec. user=gd_barnes [2011-05-17 15:30:21] 999*2^939309-1 is not prime. Res64: 4184BF759F389AB0 Time : 2018.0 sec. user=gd_barnes [2011-05-17 15:30:21] 863*2^939310-1 is not prime. Res64: 6ABCBB4E91DCDB5D Time : 2018.0 sec. user=gd_barnes [2011-05-17 15:30:31] 867*2^939310-1 is not prime. Res64: 171B0094F56D5CE5 Time : 2014.0 sec. user=gd_barnes [2011-05-17 15:30:31] 891*2^939310-1 is not prime. Res64: 20CE9321EC58E70B Time : 2014.0 sec. user=gd_barnes [2011-05-17 15:30:47] 855*2^939311-1 is not prime. Res64: BC342BDDE4018142 Time : 2019.0 sec. user=gd_barnes [2011-05-17 15:30:47] 825*2^939312-1 is not prime. Res64: E2CFA56D86DAAC67 Time : 2019.0 sec. user=gd_barnes [2011-05-17 15:31:07] 829*2^939311-1 is not prime. Res64: 6F2673C56E42EC9B Time : 2040.0 sec. user=gd_barnes [2011-05-17 15:31:07] 843*2^939311-1 is not prime. Res64: 6F4F361E5255F361 Time : 2040.0 sec. user=gd_barnes [2011-05-17 15:31:11] 843*2^939312-1 is not prime. Res64: AB7AF026B98BF4BA Time : 2031.0 sec. user=gd_barnes [2011-05-17 15:31:11] 863*2^939312-1 is not prime. Res64: 36273DEA4B22126C Time : 2031.0 sec. user=gd_barnes [2011-05-17 15:31:44] 903*2^939312-1 is not prime. Res64: 821B9CE5C5253375 Time : 2048.0 sec. user=gd_barnes [2011-05-17 15:31:44] 977*2^939312-1 is not prime. Res64: 6B5280D2927AA460 Time : 2048.0 sec. user=vaughan [2011-05-17 15:35:22] 849*2^939315-1 is not prime. Res64: FFCDCDA444B2CBC9 Time : 1463.0 sec. user=vaughan [2011-05-17 15:36:58] 873*2^939315-1 is not prime. Res64: 42DF04561A24C6AA Time : 1224.0 sec. user=vaughan [2011-05-17 15:37:30] 953*2^939316-1 is not prime. Res64: 8964BB68D6857EBB Time : 1225.0 sec. user=vaughan [2011-05-17 15:37:36] 871*2^939315-1 is not prime. Res64: 3626D15C624C8565 Time : 1467.0 sec. user=vaughan [2011-05-17 15:38:47] 931*2^939317-1 is not prime. Res64: DDDE45861B3C254C Time : 1249.0 sec. user=vaughan [2011-05-17 15:43:22] 887*2^939318-1 is not prime. Res64: B0E63E60A8AB9658 Time : 1224.0 sec. user=vaughan [2011-05-17 15:46:55] 951*2^939318-1 is not prime. Res64: 09F019D01AAA197F Time : 1357.0 sec. user=vaughan [2011-05-17 15:53:28] 873*2^939319-1 is not prime. Res64: E5A0B0D888B3252B Time : 1645.0 sec. user=vaughan [2011-05-17 15:57:24] 919*2^939325-1 is not prime. Res64: 5F213393286B2419 Time : 1226.0 sec. user=vaughan [2011-05-17 15:57:54] 937*2^939325-1 is not prime. Res64: 4BC629D37020B17C Time : 1225.0 sec. user=vaughan [2011-05-17 15:59:32] 911*2^939326-1 is not prime. Res64: C0D3DB99CFCCA3A3 Time : 1246.0 sec. user=vaughan [2011-05-17 15:59:47] 927*2^939324-1 is not prime. Res64: 40CA79B5CBED5457 Time : 1466.0 sec. user=vaughan [2011-05-17 16:01:58] 997*2^939325-1 is not prime. Res64: 33DB773E62868D6C Time : 1462.0 sec. user=vaughan [2011-05-17 16:03:48] 805*2^939327-1 is not prime. Res64: D6B73C072233AF93 Time : 1226.0 sec. user=gd_barnes [2011-05-17 16:04:31] 925*2^939319-1 is not prime. Res64: 641BC5D950498ED4 Time : 2050.0 sec. user=gd_barnes [2011-05-17 16:04:31] 855*2^939320-1 is not prime. Res64: 05575CF94332F184 Time : 2050.0 sec. user=gd_barnes [2011-05-17 16:05:02] 855*2^939322-1 is not prime. Res64: BEF171585D5E27DD Time : 2055.0 sec. user=gd_barnes [2011-05-17 16:05:02] 885*2^939322-1 is not prime. Res64: 94B8FA9924F12A88 Time : 2055.0 sec. user=gd_barnes [2011-05-17 16:05:15] 857*2^939320-1 is not prime. Res64: 3DB4F153BDDDC7E1 Time : 2084.0 sec. user=gd_barnes [2011-05-17 16:05:15] 983*2^939320-1 is not prime. Res64: 174C4D57F8BB0424 Time : 2084.0 sec. user=gd_barnes [2011-05-17 16:05:30] 975*2^939322-1 is not prime. Res64: E6540621F34ED19D Time : 2059.0 sec. user=gd_barnes [2011-05-17 16:05:30] 813*2^939323-1 is not prime. Res64: 06849863F18733AE Time : 2059.0 sec. user=gd_barnes [2011-05-17 16:05:56] 917*2^939322-1 is not prime. Res64: FD32A08C924284EE Time : 2089.0 sec. user=gd_barnes [2011-05-17 16:05:56] 957*2^939322-1 is not prime. Res64: F8361772F5A7E169 Time : 2089.0 sec. user=gd_barnes [2011-05-17 16:06:30] 861*2^939323-1 is not prime. Res64: 1A446113BF6ABD11 Time : 2086.0 sec. user=gd_barnes [2011-05-17 16:06:30] 955*2^939323-1 is not prime. Res64: 2B742A1C9D94A8FF Time : 2086.0 sec. user=vaughan [2011-05-17 16:09:39] 945*2^939327-1 is not prime. Res64: B7864DD41F2FAC4D Time : 1364.0 sec. user=vaughan [2011-05-17 16:17:56] 827*2^939328-1 is not prime. Res64: B66629EA4A61F5BA Time : 1233.0 sec. user=vaughan [2011-05-17 16:18:25] 945*2^939329-1 is not prime. Res64: 2A0C91E0D49E6A12 Time : 1231.0 sec. user=vaughan [2011-05-17 16:19:49] 851*2^939330-1 is not prime. Res64: 7B5C9EA1E46C64CD Time : 1218.0 sec. user=vaughan [2011-05-17 16:20:49] 975*2^939327-1 is not prime. Res64: 8B35AAEE8C065560 Time : 1641.0 sec. user=vaughan [2011-05-17 16:24:19] 905*2^939330-1 is not prime. Res64: BA4FDAFC6C7B5C60 Time : 1472.0 sec. user=vaughan [2011-05-17 16:24:24] 923*2^939330-1 is not prime. Res64: B19D989707FA1654 Time : 1236.0 sec. user=vaughan [2011-05-17 16:26:25] 917*2^939330-1 is not prime. Res64: 697C5A9D8A2CEEC6 Time : 1467.0 sec. user=vaughan [2011-05-17 16:32:15] 987*2^939334-1 is not prime. Res64: E58E282A8E9C9B23 Time : 1356.0 sec. user=vaughan [2011-05-17 16:38:29] 825*2^939335-1 is not prime. Res64: 510C1FB57CF95786 Time : 1234.0 sec. user=vaughan [2011-05-17 16:39:03] 841*2^939335-1 is not prime. Res64: 70429A1A793C40BC Time : 1239.0 sec. user=gd_barnes [2011-05-17 16:39:52] 909*2^939331-1 is not prime. Res64: EEDE2576A3E0C659 Time : 2121.0 sec. user=gd_barnes [2011-05-17 16:39:52] 931*2^939331-1 is not prime. Res64: E845E213B88483F1 Time : 2121.0 sec. user=vaughan [2011-05-17 16:40:02] 895*2^939335-1 is not prime. Res64: E0D7DE987CDB3BC8 Time : 1214.0 sec. user=gd_barnes [2011-05-17 16:40:14] 975*2^939331-1 is not prime. Res64: 1D7333C1BF98E9B0 Time : 2112.0 sec. user=gd_barnes [2011-05-17 16:40:14] 915*2^939332-1 is not prime. Res64: 40DC7E4C2B339C56 Time : 2112.0 sec. user=gd_barnes [2011-05-17 16:40:33] 923*2^939332-1 is not prime. Res64: 94CD9A609AA75A2E Time : 2118.0 sec. user=gd_barnes [2011-05-17 16:40:33] 945*2^939332-1 is not prime. Res64: 2FA0FFF8BE89D72A Time : 2118.0 sec. user=gd_barnes [2011-05-17 16:40:45] 977*2^939332-1 is not prime. Res64: 6F8F14A9DBCA34B9 Time : 2115.0 sec. user=gd_barnes [2011-05-17 16:40:45] 885*2^939333-1 is not prime. Res64: 65D001FEDD7288EF Time : 2115.0 sec. user=gd_barnes [2011-05-17 16:41:14] 901*2^939333-1 is not prime. Res64: B9263F0BF9CD5D93 Time : 2118.0 sec. user=gd_barnes [2011-05-17 16:41:14] 937*2^939333-1 is not prime. Res64: E76230F54E859989 Time : 2118.0 sec. user=gd_barnes [2011-05-17 16:41:53] 955*2^939333-1 is not prime. Res64: 8AC783CC76D214C1 Time : 2123.0 sec. user=gd_barnes [2011-05-17 16:41:53] 825*2^939334-1 is not prime. Res64: 52451498D0D1F4C1 Time : 2123.0 sec. user=vaughan [2011-05-17 16:45:03] 975*2^939336-1 is not prime. Res64: 7E3F54616A937BC0 Time : 1240.0 sec. user=vaughan [2011-05-17 16:48:04] 849*2^939336-1 is not prime. Res64: 7EAB0A126F73B86B Time : 1635.0 sec. user=vaughan [2011-05-17 16:48:46] 873*2^939336-1 is not prime. Res64: 29BB752C24F49B46 Time : 1467.0 sec. user=vaughan [2011-05-17 16:50:53] 983*2^939336-1 is not prime. Res64: 98AEEB720661E358 Time : 1469.0 sec. user=vaughan [2011-05-17 16:54:48] 993*2^939336-1 is not prime. Res64: B8BA84E551215A44 Time : 1353.0 sec. user=vaughan [2011-05-17 16:59:10] 835*2^939337-1 is not prime. Res64: 6C6CBB951CA8C370 Time : 1241.0 sec. user=vaughan [2011-05-17 16:59:37] 867*2^939337-1 is not prime. Res64: DBF281C6513828DF Time : 1235.0 sec. user=vaughan [2011-05-17 16:59:54] 897*2^939337-1 is not prime. Res64: 92977D69BA05D4D5 Time : 1192.0 sec. user=vaughan [2011-05-17 17:05:45] 939*2^939340-1 is not prime. Res64: 3188857F4D7B79A1 Time : 1242.0 sec. user=vaughan [2011-05-17 17:13:16] 837*2^939341-1 is not prime. Res64: 0B6465416EED4771 Time : 1470.0 sec. user=vaughan [2011-05-17 17:15:02] 829*2^939341-1 is not prime. Res64: B11EEBCB7D33CCC0 Time : 1619.0 sec. user=gd_barnes [2011-05-17 17:15:10] 885*2^939337-1 is not prime. Res64: 8E7BB451D490E199 Time : 2118.0 sec. user=gd_barnes [2011-05-17 17:15:10] 895*2^939337-1 is not prime. Res64: 838201740CDEBC73 Time : 2118.0 sec. user=gd_barnes [2011-05-17 17:15:13] 909*2^939337-1 is not prime. Res64: 52BA0F54BE35B11E Time : 2099.0 sec. user=gd_barnes [2011-05-17 17:15:13] 915*2^939337-1 is not prime. Res64: 0D0F423FD6D94A1D Time : 2099.0 sec. user=vaughan [2011-05-17 17:15:22] 949*2^939341-1 is not prime. Res64: 696E8596A6D93ED6 Time : 1469.0 sec. user=gd_barnes [2011-05-17 17:15:28] 857*2^939338-1 is not prime. Res64: 823EDD5DABB20C90 Time : 2095.0 sec. user=gd_barnes [2011-05-17 17:15:28] 867*2^939338-1 is not prime. Res64: 0728D88DB519B164 Time : 2095.0 sec. user=gd_barnes [2011-05-17 17:15:29] 923*2^939338-1 is not prime. Res64: 4FDE968EFD6D21D9 Time : 2084.0 sec. user=gd_barnes [2011-05-17 17:15:29] 927*2^939338-1 is not prime. Res64: 92F399BF5AB17D31 Time : 2084.0 sec. user=gd_barnes [2011-05-17 17:16:07] 941*2^939338-1 is not prime. Res64: 2D66E01E7E4ECE11 Time : 2093.0 sec. user=gd_barnes [2011-05-17 17:16:07] 853*2^939339-1 is not prime. Res64: 854559C9F6519BF4 Time : 2093.0 sec. user=gd_barnes [2011-05-17 17:16:30] 999*2^939339-1 is not prime. Res64: FDC3CFEA57B14476 Time : 2077.0 sec. user=gd_barnes [2011-05-17 17:16:30] 863*2^939340-1 is not prime. Res64: CC81E25DA5C75C3E Time : 2077.0 sec. user=vaughan [2011-05-17 17:17:26] 825*2^939342-1 is not prime. Res64: 46C20C3C1BAF35AF Time : 1359.0 sec. user=vaughan [2011-05-17 17:19:46] 915*2^939343-1 is not prime. Res64: DAADB1B635DBCC4C Time : 1192.0 sec. user=vaughan [2011-05-17 17:19:51] 963*2^939342-1 is not prime. Res64: 82388A2488A20010 Time : 1241.0 sec. user=vaughan [2011-05-17 17:20:14] 889*2^939343-1 is not prime. Res64: DBE31B73E7CA838A Time : 1238.0 sec. user=vaughan [2011-05-17 17:26:29] 933*2^939343-1 is not prime. Res64: 75458C11BE1055D2 Time : 1244.0 sec. user=vaughan [2011-05-17 17:37:48] 985*2^939343-1 is not prime. Res64: 29A9F96857134A7A Time : 1473.0 sec. user=vaughan [2011-05-17 17:39:38] 877*2^939349-1 is not prime. Res64: 469B5B2D8AE21C43 Time : 1192.0 sec. user=vaughan [2011-05-17 17:39:52] 873*2^939346-1 is not prime. Res64: 883EED10D13490A6 Time : 1470.0 sec. user=vaughan [2011-05-17 17:40:05] 987*2^939348-1 is not prime. Res64: 5BBFE8747B0EAAED Time : 1359.0 sec. user=vaughan [2011-05-17 17:40:33] 919*2^939349-1 is not prime. Res64: 62F866DA96C14D43 Time : 1242.0 sec. user=vaughan [2011-05-17 17:40:51] 945*2^939349-1 is not prime. Res64: 583E235554FE4D27 Time : 1238.0 sec. user=vaughan [2011-05-17 17:42:13] 875*2^939344-1 is not prime. Res64: D4B515B9F283AEE6 Time : 1632.0 sec. user=vaughan [2011-05-17 17:47:12] 955*2^939349-1 is not prime. Res64: F1D4AC581B734917 Time : 1244.0 sec. user=gd_barnes [2011-05-17 17:48:55] 955*2^939345-1 is not prime. Res64: 826E9E113D260519 Time : 2022.0 sec. user=gd_barnes [2011-05-17 17:48:55] 975*2^939345-1 is not prime. Res64: 9F7D8386D7FDF5F0 Time : 2022.0 sec. user=gd_barnes [2011-05-17 17:49:07] 903*2^939346-1 is not prime. Res64: D649810C85D60116 Time : 2019.0 sec. user=gd_barnes [2011-05-17 17:49:07] 941*2^939346-1 is not prime. Res64: 4DA7E3DCA049A6D0 Time : 2019.0 sec. user=gd_barnes [2011-05-17 17:49:10] 837*2^939345-1 is not prime. Res64: D0F1A5D51CD687C2 Time : 2040.0 sec. user=gd_barnes [2011-05-17 17:49:10] 867*2^939345-1 is not prime. Res64: A89FE42C08EB1138 Time : 2040.0 sec. user=gd_barnes [2011-05-17 17:49:19] 913*2^939347-1 is not prime. Res64: 1EFF53430BEBB737 Time : 1992.0 sec. user=gd_barnes [2011-05-17 17:49:19] 945*2^939347-1 is not prime. Res64: 5BBA3FFF5919D1F6 Time : 1992.0 sec. user=gd_barnes [2011-05-17 17:49:34] 859*2^939347-1 is not prime. Res64: AC727EB346501CBD Time : 2045.0 sec. user=gd_barnes [2011-05-17 17:49:34] 885*2^939347-1 is not prime. Res64: 26A26AC5C68BB9F7 Time : 2045.0 sec. user=gd_barnes [2011-05-17 17:50:32] 839*2^939348-1 is not prime. Res64: 2955211BAA718576 Time : 2042.0 sec. user=gd_barnes [2011-05-17 17:50:32] 867*2^939348-1 is not prime. Res64: A197C3984A5FC457 Time : 2042.0 sec. user=ototero [2011-05-17 17:56:00] 899*2^939288-1 is not prime. Res64: 0897FD49CC65CE4F Time : 15033.0 sec. user=ototero [2011-05-17 17:56:00] 827*2^939290-1 is not prime. Res64: 3FE1AA60E9864A91 Time : 15033.0 sec. user=ototero [2011-05-17 17:56:00] 857*2^939290-1 is not prime. Res64: 991C3AF79FE9E9C2 Time : 15033.0 sec. user=ototero [2011-05-17 17:56:00] 861*2^939290-1 is not prime. Res64: B4532860DF431360 Time : 15032.0 sec. user=ototero [2011-05-17 17:56:01] 893*2^939290-1 is not prime. Res64: 58465BDA426F3CD7 Time : 15033.0 sec. user=ototero [2011-05-17 17:56:01] 977*2^939290-1 is not prime. Res64: 4251F2AD7A6C5520 Time : 15033.0 sec. user=ototero [2011-05-17 17:56:01] 945*2^939291-1 is not prime. Res64: EF4C701877DE84C5 Time : 15032.0 sec. user=ototero [2011-05-17 17:56:01] 909*2^939292-1 is not prime. Res64: DE373E4CC9515AC5 Time : 15032.0 sec. user=ototero [2011-05-17 17:56:01] 923*2^939292-1 is not prime. Res64: F882583BC3823CE4 Time : 15032.0 sec. user=ototero [2011-05-17 17:56:01] 855*2^939293-1 is not prime. Res64: C7CE020E56FF7410 Time : 15031.0 sec. user=vaughan [2011-05-17 17:59:32] 887*2^939350-1 is not prime. Res64: EC393824539AE8F2 Time : 1194.0 sec. user=vaughan [2011-05-17 18:01:12] 991*2^939351-1 is not prime. Res64: 2BF823F341E5F3B8 Time : 1239.0 sec. user=vaughan [2011-05-17 18:01:44] 803*2^939352-1 is not prime. Res64: CDCCEDD01F9AD52E Time : 1254.0 sec. user=vaughan [2011-05-17 18:02:18] 851*2^939350-1 is not prime. Res64: 7623CE839EFBEADE Time : 1470.0 sec. user=vaughan [2011-05-17 18:02:44] 921*2^939351-1 is not prime. Res64: 3782DE1778A08958 Time : 1359.0 sec. user=vaughan [2011-05-17 18:04:18] 873*2^939351-1 is not prime. Res64: 3D5412C721E93F63 Time : 1466.0 sec. user=vaughan [2011-05-17 18:07:48] 805*2^939353-1 is not prime. Res64: 1F06982103379011 Time : 1237.0 sec. user=vaughan [2011-05-17 18:09:12] 957*2^939352-1 is not prime. Res64: DC60322652DB6CE7 Time : 1620.0 sec. user=vaughan [2011-05-17 18:19:25] 999*2^939360-1 is not prime. Res64: 8077A88E8176DE50 Time : 1193.0 sec. user=vaughan [2011-05-17 18:21:45] 867*2^939361-1 is not prime. Res64: 3FF87659BC275764 Time : 1233.0 sec. user=gd_barnes [2011-05-17 18:22:38] 819*2^939355-1 is not prime. Res64: F40A312C0EEB765E Time : 2008.0 sec. user=gd_barnes [2011-05-17 18:22:38] 843*2^939355-1 is not prime. Res64: 801EE442C20BCA94 Time : 2008.0 sec. user=gd_barnes [2011-05-17 18:22:40] 891*2^939354-1 is not prime. Res64: 47D566268027524F Time : 2013.0 sec. user=gd_barnes [2011-05-17 18:22:40] 921*2^939354-1 is not prime. Res64: 32F944C564FB4428 Time : 2013.0 sec. user=vaughan [2011-05-17 18:22:43] 889*2^939361-1 is not prime. Res64: CA6CD394BE0B989D Time : 1259.0 sec. user=gd_barnes [2011-05-17 18:22:52] 831*2^939353-1 is not prime. Res64: 5332F58B2CAB6407 Time : 2037.0 sec. user=gd_barnes [2011-05-17 18:22:52] 837*2^939354-1 is not prime. Res64: E927852A2E0B5002 Time : 2037.0 sec. user=gd_barnes [2011-05-17 18:23:01] 861*2^939355-1 is not prime. Res64: 2ECC724F3D9708DC Time : 2021.0 sec. user=gd_barnes [2011-05-17 18:23:01] 919*2^939355-1 is not prime. Res64: A49FE035059921A8 Time : 2021.0 sec. user=gd_barnes [2011-05-17 18:23:48] 925*2^939355-1 is not prime. Res64: 7F389D2FB5FE0FF6 Time : 2054.0 sec. user=gd_barnes [2011-05-17 18:23:48] 961*2^939355-1 is not prime. Res64: 5DE75B1FBC1362CB Time : 2054.0 sec. user=gd_barnes [2011-05-17 18:24:34] 973*2^939355-1 is not prime. Res64: 96243A6E1632EEB6 Time : 2042.0 sec. user=gd_barnes [2011-05-17 18:24:34] 825*2^939356-1 is not prime. Res64: 0322EEAD6B68DBAF Time : 2042.0 sec. user=vaughan [2011-05-17 18:24:52] 957*2^939361-1 is not prime. Res64: F763864A870623B8 Time : 1328.0 sec. user=vaughan [2011-05-17 18:26:15] 955*2^939361-1 is not prime. Res64: 7E928F92C79121D1 Time : 1438.0 sec. user=vaughan [2011-05-17 18:28:19] 997*2^939361-1 is not prime. Res64: F2E8089DD3C72860 Time : 1441.0 sec. user=vaughan [2011-05-17 18:28:22] 857*2^939362-1 is not prime. Res64: EAF28F0FE05C30F5 Time : 1235.0 sec. user=vaughan [2011-05-17 18:35:43] 875*2^939362-1 is not prime. Res64: 40A9F325CF97E4EF Time : 1592.0 sec. user=vaughan [2011-05-17 18:39:21] 885*2^939362-1 is not prime. Res64: 0C798F43972493D5 Time : 1196.0 sec. user=vaughan [2011-05-17 18:42:17] 923*2^939362-1 is not prime. Res64: 47B318D3030F8400 Time : 1232.0 sec. user=vaughan [2011-05-17 18:43:40] 829*2^939363-1 is not prime. Res64: A1E312E95B2C1D16 Time : 1257.0 sec. user=vaughan [2011-05-17 18:47:08] 861*2^939365-1 is not prime. Res64: 794B4FDB3AA00942 Time : 1336.0 sec. user=vaughan [2011-05-17 18:48:55] 833*2^939366-1 is not prime. Res64: A76A1C59975BDA1C Time : 1234.0 sec. user=vaughan [2011-05-17 18:50:17] 955*2^939365-1 is not prime. Res64: 3E1639ADC815EFC6 Time : 1442.0 sec. user=vaughan [2011-05-17 18:52:14] 815*2^939366-1 is not prime. Res64: F2322833A2330D41 Time : 1435.0 sec. user=ototero [2011-05-17 18:54:28] 875*2^939174-1 is not prime. Res64: 2CD011838477BC94 Time : 75853.0 sec. user=ototero [2011-05-17 18:54:28] 917*2^939174-1 is not prime. Res64: 4CE6839887B8799D Time : 75853.0 sec. user=ototero [2011-05-17 18:54:29] 951*2^939174-1 is not prime. Res64: 89D85730EA08B2D0 Time : 75854.0 sec. user=ototero [2011-05-17 18:54:29] 983*2^939174-1 is not prime. Res64: F6F09A03BBCB327D Time : 75853.0 sec. user=ototero [2011-05-17 18:54:29] 1001*2^939174-1 is not prime. Res64: C24B421894A0B358 Time : 75853.0 sec. user=gd_barnes [2011-05-17 18:55:53] 935*2^939362-1 is not prime. Res64: D19F8CF08FEF6F20 Time : 1995.0 sec. user=gd_barnes [2011-05-17 18:55:53] 951*2^939362-1 is not prime. Res64: 2D44350D8A1B59DD Time : 1995.0 sec. user=gd_barnes [2011-05-17 18:56:29] 859*2^939363-1 is not prime. Res64: A20A116E7F2429F1 Time : 2017.0 sec. user=gd_barnes [2011-05-17 18:56:29] 885*2^939363-1 is not prime. Res64: 5DC4FBB3DD82E93B Time : 2017.0 sec. user=gd_barnes [2011-05-17 18:57:01] 875*2^939364-1 is not prime. Res64: 054C529067975A88 Time : 2040.0 sec. user=gd_barnes [2011-05-17 18:57:01] 903*2^939364-1 is not prime. Res64: DC06BCF2A47405BC Time : 2040.0 sec. user=gd_barnes [2011-05-17 18:57:03] 957*2^939362-1 is not prime. Res64: FFAF69DBF25B378F Time : 2063.0 sec. user=gd_barnes [2011-05-17 18:57:03] 819*2^939363-1 is not prime. Res64: 7E4566CB346D14EC Time : 2063.0 sec. user=gd_barnes [2011-05-17 18:57:15] 909*2^939364-1 is not prime. Res64: C0F1DA861AD7E6A0 Time : 2007.0 sec. user=gd_barnes [2011-05-17 18:57:15] 927*2^939364-1 is not prime. Res64: A9401AF74C64F78B Time : 2007.0 sec. user=gd_barnes [2011-05-17 18:58:27] 965*2^939364-1 is not prime. Res64: 1E6D48FD81BF3966 Time : 2033.0 sec. user=gd_barnes [2011-05-17 18:58:27] 969*2^939364-1 is not prime. Res64: 034B4F342ED0EEB6 Time : 2033.0 sec. user=vaughan [2011-05-17 18:59:07] 1001*2^939366-1 is not prime. Res64: C732AB7B5FA5023E Time : 1186.0 sec. user=vaughan [2011-05-17 19:02:17] 843*2^939366-1 is not prime. Res64: 81637409F100BF58 Time : 1594.0 sec. user=vaughan [2011-05-17 19:02:56] 819*2^939367-1 is not prime. Res64: 45E7940EA46A4869 Time : 1239.0 sec. user=vaughan [2011-05-17 19:04:18] 895*2^939367-1 is not prime. Res64: C4F62234E33E11A7 Time : 1238.0 sec. user=vaughan [2011-05-17 19:09:28] 973*2^939367-1 is not prime. Res64: E442C574CDA34F06 Time : 1340.0 sec. user=vaughan [2011-05-17 19:09:34] 845*2^939368-1 is not prime. Res64: EB5A2438600B7563 Time : 1240.0 sec. user=vaughan [2011-05-17 19:14:17] 865*2^939369-1 is not prime. Res64: 064DD72256FA7DA7 Time : 1440.0 sec. user=vaughan [2011-05-17 19:16:18] 909*2^939369-1 is not prime. Res64: DA44CE6C09272EBB Time : 1444.0 sec. user=vaughan [2011-05-17 19:18:41] 885*2^939375-1 is not prime. Res64: 044B449B3E4ED5B5 Time : 1175.0 sec. user=vaughan [2011-05-17 19:23:23] 849*2^939376-1 is not prime. Res64: 29DF35CEB8DF2BD1 Time : 1228.0 sec. user=vaughan [2011-05-17 19:24:36] 957*2^939376-1 is not prime. Res64: 2578EEB9513E8DE5 Time : 1219.0 sec. user=vaughan [2011-05-17 19:28:44] 913*2^939375-1 is not prime. Res64: F09EFECABE819010 Time : 1587.0 sec. user=gd_barnes [2011-05-17 19:28:55] 895*2^939371-1 is not prime. Res64: CA05432BFC50CB30 Time : 1982.0 sec. user=gd_barnes [2011-05-17 19:28:55] 931*2^939371-1 is not prime. Res64: 9FA5F700BFE2E9A2 Time : 1982.0 sec. user=vaughan [2011-05-17 19:30:03] 801*2^939379-1 is not prime. Res64: 8C667CEEF5E09738 Time : 1230.0 sec. user=gd_barnes [2011-05-17 19:30:18] 969*2^939371-1 is not prime. Res64: 19B089213FD39744 Time : 2029.0 sec. user=gd_barnes [2011-05-17 19:30:18] 819*2^939372-1 is not prime. Res64: EC39D748A9B3D65D Time : 2029.0 sec. user=gd_barnes [2011-05-17 19:30:35] 977*2^939372-1 is not prime. Res64: 1095573DA60187DA Time : 2012.0 sec. user=gd_barnes [2011-05-17 19:30:35] 999*2^939373-1 is not prime. Res64: 457576274F97F3B4 Time : 2012.0 sec. user=gd_barnes [2011-05-17 19:31:15] 851*2^939374-1 is not prime. Res64: 866BB88AF99BF373 Time : 2040.0 sec. user=gd_barnes [2011-05-17 19:31:15] 857*2^939374-1 is not prime. Res64: 832F9AFD4A2B3D4B Time : 2040.0 sec. user=gd_barnes [2011-05-17 19:31:16] 893*2^939372-1 is not prime. Res64: F47BABB775BAA905 Time : 2055.0 sec. user=gd_barnes [2011-05-17 19:31:16] 899*2^939372-1 is not prime. Res64: 83F7E92459BE37EC Time : 2055.0 sec. user=vaughan [2011-05-17 19:31:40] 955*2^939377-1 is not prime. Res64: 2362172111604085 Time : 1333.0 sec. user=gd_barnes [2011-05-17 19:32:36] 903*2^939374-1 is not prime. Res64: FD29183BCE893257 Time : 2049.0 sec. user=gd_barnes [2011-05-17 19:32:36] 805*2^939375-1 is not prime. Res64: DDF3A8D210EC3450 Time : 2049.0 sec. user=vaughan [2011-05-17 19:38:15] 861*2^939379-1 is not prime. Res64: F429B9E6B154B86C Time : 1174.0 sec. user=vaughan [2011-05-17 19:38:18] 843*2^939379-1 is not prime. Res64: 04F193C76EE6D2C8 Time : 1441.0 sec. user=vaughan [2011-05-17 19:40:28] 853*2^939379-1 is not prime. Res64: 35C0FBC097575F2A Time : 1450.0 sec. user=vaughan [2011-05-17 19:43:50] 895*2^939379-1 is not prime. Res64: 12B7E6AF543FBBB1 Time : 1227.0 sec. user=vaughan [2011-05-17 19:44:56] 993*2^939379-1 is not prime. Res64: E6FC10FF414621B8 Time : 1220.0 sec. user=vaughan [2011-05-17 19:50:32] 871*2^939381-1 is not prime. Res64: 5914FF7443F9AF4C Time : 1229.0 sec. user=vaughan [2011-05-17 19:54:15] 927*2^939384-1 is not prime. Res64: 3ADE058DC2EE569B Time : 1355.0 sec. user=vaughan [2011-05-17 19:55:45] 827*2^939380-1 is not prime. Res64: BC1D135A7F9A5295 Time : 1621.0 sec. user=vaughan [2011-05-17 19:57:49] 861*2^939385-1 is not prime. Res64: E82E4425BDE0AECB Time : 1174.0 sec. user=gd_barnes [2011-05-17 20:02:24] 897*2^939380-1 is not prime. Res64: 44F85920E6EFA19D Time : 2009.0 sec. user=gd_barnes [2011-05-17 20:02:24] 999*2^939380-1 is not prime. Res64: B483D1FB5693A644 Time : 2009.0 sec. user=vaughan [2011-05-17 20:02:47] 833*2^939386-1 is not prime. Res64: DF353FFD2B1AF948 Time : 1469.0 sec. user=gd_barnes [2011-05-17 20:03:52] 995*2^939382-1 is not prime. Res64: 6551FDE445F1A6F1 Time : 1997.0 sec. user=gd_barnes [2011-05-17 20:03:52] 855*2^939383-1 is not prime. Res64: 1C03FF2BEF28005A Time : 1997.0 sec. user=gd_barnes [2011-05-17 20:04:03] 937*2^939381-1 is not prime. Res64: BE1AB462DA4D63A4 Time : 2025.0 sec. user=gd_barnes [2011-05-17 20:04:03] 955*2^939381-1 is not prime. Res64: D773945BC3A1FFA0 Time : 2025.0 sec. user=vaughan [2011-05-17 20:04:16] 981*2^939386-1 is not prime. Res64: 19C6C67C74A3CDF2 Time : 1227.0 sec. user=vaughan [2011-05-17 20:04:55] 851*2^939386-1 is not prime. Res64: 8B4EB8B9469C5497 Time : 1467.0 sec. user=gd_barnes [2011-05-17 20:05:01] 859*2^939383-1 is not prime. Res64: 28C78FDADE86CD1D Time : 2026.0 sec. user=gd_barnes [2011-05-17 20:05:01] 981*2^939383-1 is not prime. Res64: 930CE0772112D46B Time : 2026.0 sec. user=vaughan [2011-05-17 20:05:13] 949*2^939387-1 is not prime. Res64: 3F09673016A43CCB Time : 1218.0 sec. user=gd_barnes [2011-05-17 20:05:28] 809*2^939384-1 is not prime. Res64: 18B4272322323C5B Time : 2052.0 sec. user=gd_barnes [2011-05-17 20:05:28] 843*2^939384-1 is not prime. Res64: 1F6FE91814659C5B Time : 2052.0 sec. user=gd_barnes [2011-05-17 20:06:38] 945*2^939384-1 is not prime. Res64: 6B787CA6D5D11A00 Time : 2042.0 sec. user=gd_barnes [2011-05-17 20:06:38] 957*2^939384-1 is not prime. Res64: 230CDF8AB751E350 Time : 2042.0 sec. user=vaughan [2011-05-17 20:10:59] 955*2^939387-1 is not prime. Res64: 0520793B7005AD9E Time : 1228.0 sec. user=vaughan [2011-05-17 20:16:52] 987*2^939388-1 is not prime. Res64: 6F544A4006776B54 Time : 1357.0 sec. user=vaughan [2011-05-17 20:17:22] 879*2^939389-1 is not prime. Res64: 32A14A0D99064781 Time : 1173.0 sec. user=vaughan [2011-05-17 20:23:00] 861*2^939389-1 is not prime. Res64: 8973FE0EB0984CD5 Time : 1635.0 sec. user=vaughan [2011-05-17 20:24:44] 867*2^939393-1 is not prime. Res64: 91B36FD1A5BBBD2C Time : 1228.0 sec. user=vaughan [2011-05-17 20:25:32] 909*2^939395-1 is not prime. Res64: CF38D3CEF5F5D9EB Time : 1220.0 sec. user=vaughan [2011-05-17 20:27:17] 941*2^939390-1 is not prime. Res64: 306FC2D3B961419D Time : 1470.0 sec. user=vaughan [2011-05-17 20:29:25] 947*2^939394-1 is not prime. Res64: AFBAF4528C0A563D Time : 1470.0 sec. user=vaughan [2011-05-17 20:31:28] 987*2^939396-1 is not prime. Res64: 3EDDA5B34ED37745 Time : 1230.0 sec. user=gd_barnes [2011-05-17 20:35:47] 987*2^939389-1 is not prime. Res64: A836D5F9B1A4D114 Time : 2003.0 sec. user=gd_barnes [2011-05-17 20:35:47] 933*2^939390-1 is not prime. Res64: A65C20CECC8DA020 Time : 2003.0 sec. user=vaughan [2011-05-17 20:36:56] 885*2^939397-1 is not prime. Res64: 9A91D07BA2E4BB0E Time : 1175.0 sec. user=gd_barnes [2011-05-17 20:37:13] 951*2^939391-1 is not prime. Res64: 4408803B384FA3B8 Time : 1990.0 sec. user=gd_barnes [2011-05-17 20:37:13] 813*2^939392-1 is not prime. Res64: 78A84A581458389F Time : 1990.0 sec. user=gd_barnes [2011-05-17 20:37:54] 885*2^939391-1 is not prime. Res64: DD0FD9C56ACEEA6E Time : 2042.0 sec. user=gd_barnes [2011-05-17 20:37:54] 933*2^939391-1 is not prime. Res64: 94023C6335B466C3 Time : 2042.0 sec. user=gd_barnes [2011-05-17 20:38:53] 975*2^939394-1 is not prime. Res64: 08C6EFFE1FBD31F8 Time : 2032.0 sec. user=gd_barnes [2011-05-17 20:38:53] 819*2^939395-1 is not prime. Res64: D7158D2345FBA268 Time : 2032.0 sec. user=gd_barnes [2011-05-17 20:39:20] 991*2^939395-1 is not prime. Res64: 9D686FF11A8DFF3A Time : 2032.0 sec. user=gd_barnes [2011-05-17 20:39:20] 809*2^939396-1 is not prime. Res64: E46D29B3394244EA Time : 2032.0 sec. user=vaughan [2011-05-17 20:39:30] 871*2^939397-1 is not prime. Res64: C7C4C08A23C2C114 Time : 1359.0 sec. user=gd_barnes [2011-05-17 20:40:58] 837*2^939396-1 is not prime. Res64: 6ECBAB84BC243D0A Time : 2060.0 sec. user=gd_barnes [2011-05-17 20:40:58] 845*2^939396-1 is not prime. Res64: F5FF8AFDFD06D239 Time : 2060.0 sec. user=vaughan [2011-05-17 20:45:10] 975*2^939397-1 is not prime. Res64: 48CFEE693CE1E71D Time : 1227.0 sec. user=vaughan [2011-05-17 20:45:49] 801*2^939398-1 is not prime. Res64: 9FA261C0C3B64C0B Time : 1218.0 sec. user=vaughan [2011-05-17 20:50:08] 957*2^939397-1 is not prime. Res64: 335AFE0A070F7E7B Time : 1628.0 sec. user=vaughan [2011-05-17 20:51:46] 941*2^939398-1 is not prime. Res64: 295C36DE8572E833 Time : 1219.0 sec. user=vaughan [2011-05-17 20:51:49] 887*2^939398-1 is not prime. Res64: EB1276D455DFCF34 Time : 1472.0 sec. user=vaughan [2011-05-17 20:53:51] 923*2^939398-1 is not prime. Res64: AB82307DAC079529 Time : 1467.0 sec. user=vaughan [2011-05-17 20:57:12] 921*2^939399-1 is not prime. Res64: 07E54AE29BD9F8C3 Time : 1217.0 sec. user=vaughan [2011-05-17 21:02:08] 917*2^939402-1 is not prime. Res64: DB3461E64F263953 Time : 1359.0 sec. user=vaughan [2011-05-17 21:06:54] 1001*2^939402-1 is not prime. Res64: BB90EBC9EE9E4569 Time : 1305.0 sec. user=vaughan [2011-05-17 21:08:06] 885*2^939403-1 is not prime. Res64: C669247DBC3D6B90 Time : 1337.0 sec. user=gd_barnes [2011-05-17 21:09:42] 953*2^939398-1 is not prime. Res64: 5E92D8EEDE2E8479 Time : 2035.0 sec. user=gd_barnes [2011-05-17 21:09:42] 829*2^939399-1 is not prime. Res64: FE560C82FEDD923C Time : 2035.0 sec. user=gd_barnes [2011-05-17 21:10:37] 951*2^939399-1 is not prime. Res64: ABA1BB820C3BEBC2 Time : 2004.0 sec. user=gd_barnes [2011-05-17 21:10:37] 961*2^939399-1 is not prime. Res64: 666DB3AB1DC7FB26 Time : 2004.0 sec. user=gd_barnes [2011-05-17 21:11:21] 827*2^939400-1 is not prime. Res64: E300981CD6ACA32F Time : 2007.0 sec. user=gd_barnes [2011-05-17 21:11:21] 843*2^939400-1 is not prime. Res64: 2E1687ED2A4104B4 Time : 2007.0 sec. user=gd_barnes [2011-05-17 21:12:53] 939*2^939400-1 is not prime. Res64: ECE96A49EF98AC86 Time : 2013.0 sec. user=gd_barnes [2011-05-17 21:12:53] 983*2^939400-1 is not prime. Res64: A81B9DDF2D0B772B Time : 2013.0 sec. user=gd_barnes [2011-05-17 21:13:09] 915*2^939400-1 is not prime. Res64: BE86E8AE22D863AD Time : 2056.0 sec. user=gd_barnes [2011-05-17 21:13:09] 927*2^939400-1 is not prime. Res64: 891A4CD093080881 Time : 2056.0 sec. user=gd_barnes [2011-05-17 21:14:49] 947*2^939402-1 is not prime. Res64: 89F3028D36688F91 Time : 2031.0 sec. user=gd_barnes [2011-05-17 21:14:49] 975*2^939402-1 is not prime. Res64: 493A77B8EAF0892E Time : 2031.0 sec. user=vaughan [2011-05-17 21:15:14] 825*2^939404-1 is not prime. Res64: B81AD17DBA51AF7D Time : 1408.0 sec. user=vaughan [2011-05-17 21:17:43] 987*2^939404-1 is not prime. Res64: D60CA3CA0FD64BB3 Time : 1554.0 sec. user=vaughan [2011-05-17 21:18:40] 951*2^939403-1 is not prime. Res64: 0D41E0BC73E9F7F2 Time : 1712.0 sec. user=vaughan [2011-05-17 21:19:35] 805*2^939405-1 is not prime. Res64: FBBEBF74CC2E2501 Time : 1545.0 sec. user=vaughan [2011-05-17 21:20:28] 871*2^939405-1 is not prime. Res64: 382C8C0756719706 Time : 1396.0 sec. user=vaughan [2011-05-17 21:25:37] 877*2^939405-1 is not prime. Res64: A41598266D5900C5 Time : 1409.0 sec. user=vaughan [2011-05-17 21:28:47] 891*2^939405-1 is not prime. Res64: 6267CE224510BECC Time : 1314.0 sec. user=vaughan [2011-05-17 21:29:27] 895*2^939405-1 is not prime. Res64: 030D00CE59D55A93 Time : 1281.0 sec. user=vaughan [2011-05-17 21:35:29] 917*2^939410-1 is not prime. Res64: 05FF902F2F97A518 Time : 1215.0 sec. user=vaughan [2011-05-17 21:40:57] 969*2^939411-1 is not prime. Res64: AF90FF5F40B91A2D Time : 1230.0 sec. user=vaughan [2011-05-17 21:41:43] 927*2^939410-1 is not prime. Res64: BDD9AEE2688225A3 Time : 1440.0 sec. user=vaughan [2011-05-17 21:43:33] 901*2^939411-1 is not prime. Res64: C7A47606ADF17F3A Time : 1438.0 sec. user=gd_barnes [2011-05-17 21:43:49] 949*2^939405-1 is not prime. Res64: A83D3AF75BD7B5A8 Time : 2047.0 sec. user=gd_barnes [2011-05-17 21:43:49] 991*2^939405-1 is not prime. Res64: FB41AFBA457E3B33 Time : 2047.0 sec. user=gd_barnes [2011-05-17 21:44:09] 855*2^939406-1 is not prime. Res64: B50478404E9A5344 Time : 2012.0 sec. user=gd_barnes [2011-05-17 21:44:09] 857*2^939406-1 is not prime. Res64: 5C6ADA925ECA26C6 Time : 2012.0 sec. user=gd_barnes [2011-05-17 21:44:52] 897*2^939406-1 is not prime. Res64: 25C5509647EF0E9E Time : 2011.0 sec. user=gd_barnes [2011-05-17 21:44:52] 839*2^939408-1 is not prime. Res64: 844793112E78234F Time : 2011.0 sec. user=vaughan [2011-05-17 21:45:12] 935*2^939410-1 is not prime. Res64: 96699C610ADB489A Time : 1593.0 sec. user=gd_barnes [2011-05-17 21:46:20] 845*2^939408-1 is not prime. Res64: 1611F7D3ECFF9995 Time : 2007.0 sec. user=gd_barnes [2011-05-17 21:46:20] 927*2^939408-1 is not prime. Res64: E6FE8576617F4A71 Time : 2007.0 sec. user=gd_barnes [2011-05-17 21:47:13] 861*2^939409-1 is not prime. Res64: F72DFDE4E114BE2A Time : 2044.0 sec. user=gd_barnes [2011-05-17 21:47:13] 897*2^939409-1 is not prime. Res64: 9BE1943658A584BF Time : 2044.0 sec. user=vaughan [2011-05-17 21:47:54] 813*2^939412-1 is not prime. Res64: D3013C1AE7C779F1 Time : 1337.0 sec. user=gd_barnes [2011-05-17 21:48:51] 801*2^939410-1 is not prime. Res64: 8C2A422B95D8EAD4 Time : 2042.0 sec. user=gd_barnes [2011-05-17 21:48:51] 851*2^939410-1 is not prime. Res64: 6A2910B8FA4E8FE1 Time : 2042.0 sec. user=vaughan [2011-05-17 21:49:12] 939*2^939412-1 is not prime. Res64: 00924B035BB9053A Time : 1225.0 sec. user=vaughan [2011-05-17 21:49:52] 983*2^939412-1 is not prime. Res64: ED2CEB382C1788C5 Time : 1225.0 sec. user=vaughan [2011-05-17 21:56:02] 801*2^939413-1 is not prime. Res64: F79263FF4C6272E6 Time : 1233.0 sec. user=vaughan [2011-05-17 22:00:48] 889*2^939413-1 is not prime. Res64: 98030ACFD9959719 Time : 1191.0 sec. user=vaughan [2011-05-17 22:05:46] 927*2^939413-1 is not prime. Res64: B97D6A8AF1EC74A2 Time : 1444.0 sec. user=ototero [2011-05-17 22:06:24] 825*2^939357-1 is not prime. Res64: B32215E2D113793F Time : 15022.0 sec. user=ototero [2011-05-17 22:06:24] 837*2^939357-1 is not prime. Res64: BFB8732EDDEE516D Time : 15022.0 sec. user=ototero [2011-05-17 22:06:24] 871*2^939357-1 is not prime. Res64: 36FCBCAABB33CA03 Time : 15022.0 sec. user=ototero [2011-05-17 22:06:24] 901*2^939357-1 is not prime. Res64: F8366070D8A29F14 Time : 15021.0 sec. user=ototero [2011-05-17 22:06:25] 997*2^939357-1 is not prime. Res64: 6E0CDC20519D463F Time : 15022.0 sec. user=ototero [2011-05-17 22:06:25] 843*2^939358-1 is not prime. Res64: E4A99A2086258A09 Time : 15022.0 sec. user=ototero [2011-05-17 22:06:25] 909*2^939359-1 is not prime. Res64: 04DC18F33F4E1D28 Time : 15021.0 sec. user=ototero [2011-05-17 22:06:25] 809*2^939360-1 is not prime. Res64: B41C9ABEC5A1A6FA Time : 15021.0 sec. user=ototero [2011-05-17 22:06:25] 875*2^939360-1 is not prime. Res64: D40FC2D95A376FD2 Time : 15021.0 sec. user=ototero [2011-05-17 22:06:25] 927*2^939360-1 is not prime. Res64: E37D41D5E46FBD67 Time : 15021.0 sec. user=vaughan [2011-05-17 22:07:36] 921*2^939414-1 is not prime. Res64: D56B66FB18C5697B Time : 1443.0 sec. user=vaughan [2011-05-17 22:09:36] 901*2^939421-1 is not prime. Res64: 3A3722B510FD6937 Time : 1224.0 sec. user=vaughan [2011-05-17 22:10:09] 965*2^939420-1 is not prime. Res64: BF4194AAC6B41060 Time : 1335.0 sec. user=vaughan [2011-05-17 22:10:44] 831*2^939422-1 is not prime. Res64: F56C076D31A08E82 Time : 1253.0 sec. user=vaughan [2011-05-17 22:11:47] 971*2^939418-1 is not prime. Res64: FDD1397BE8DD9A3B Time : 1595.0 sec. user=vaughan [2011-05-17 22:16:19] 987*2^939422-1 is not prime. Res64: B8A4C2EACE4DADF2 Time : 1217.0 sec. user=gd_barnes [2011-05-17 22:17:27] 973*2^939415-1 is not prime. Res64: 2A5D7CD97CD0F931 Time : 2018.0 sec. user=gd_barnes [2011-05-17 22:17:27] 999*2^939415-1 is not prime. Res64: 4BB3D064D5BB7686 Time : 2018.0 sec. user=gd_barnes [2011-05-17 22:17:41] 819*2^939417-1 is not prime. Res64: B85CC13A5A653AE2 Time : 2012.0 sec. user=gd_barnes [2011-05-17 22:17:41] 861*2^939417-1 is not prime. Res64: 1BD0A8FDCA055C5D Time : 2012.0 sec. user=gd_barnes [2011-05-17 22:19:11] 885*2^939417-1 is not prime. Res64: 2E01489C83DA85A0 Time : 2059.0 sec. user=gd_barnes [2011-05-17 22:19:11] 885*2^939418-1 is not prime. Res64: 9151B64F66AE7007 Time : 2059.0 sec. user=gd_barnes [2011-05-17 22:20:15] 913*2^939419-1 is not prime. Res64: 1E240CF04FF7A2C7 Time : 2035.0 sec. user=gd_barnes [2011-05-17 22:20:15] 839*2^939420-1 is not prime. Res64: 5DAEE4FD8613501F Time : 2035.0 sec. user=vaughan [2011-05-17 22:20:24] 861*2^939423-1 is not prime. Res64: 81677FCAF68A9E1D Time : 1176.0 sec. user=gd_barnes [2011-05-17 22:20:45] 879*2^939420-1 is not prime. Res64: FA8660B33853717F Time : 2012.0 sec. user=gd_barnes [2011-05-17 22:20:45] 935*2^939420-1 is not prime. Res64: 737E92DF1C0EB2F5 Time : 2012.0 sec. user=gd_barnes [2011-05-17 22:22:31] 825*2^939421-1 is not prime. Res64: 1C89175B72F01EA9 Time : 2020.0 sec. user=gd_barnes [2011-05-17 22:22:31] 895*2^939421-1 is not prime. Res64: 7F6CA9DD3295A82D Time : 2020.0 sec. user=vaughan [2011-05-17 22:29:55] 879*2^939423-1 is not prime. Res64: C9EACE8F5D6CADDB Time : 1449.0 sec. user=vaughan [2011-05-17 22:29:56] 885*2^939427-1 is not prime. Res64: 847A0E02DF5CFDA7 Time : 1220.0 sec. user=vaughan [2011-05-17 22:31:31] 879*2^939428-1 is not prime. Res64: 7CA397F64D661A48 Time : 1247.0 sec. user=vaughan [2011-05-17 22:31:42] 871*2^939427-1 is not prime. Res64: 408C3E3C19279EC4 Time : 1447.0 sec. user=vaughan [2011-05-17 22:32:35] 945*2^939427-1 is not prime. Res64: 9D5D24EE5F6A2E4E Time : 1347.0 sec. user=vaughan [2011-05-17 22:36:37] 953*2^939428-1 is not prime. Res64: 2DDDEEBA42E3AF84 Time : 1218.0 sec. user=vaughan [2011-05-17 22:38:41] 897*2^939428-1 is not prime. Res64: 63B8B131DA9E9F7C Time : 1614.0 sec. user=vaughan [2011-05-17 22:40:00] 887*2^939430-1 is not prime. Res64: C1215D412603D042 Time : 1176.0 sec. user=vaughan [2011-05-17 22:50:11] 815*2^939432-1 is not prime. Res64: 096B6029FB1695D4 Time : 1216.0 sec. user=gd_barnes [2011-05-17 22:51:30] 963*2^939428-1 is not prime. Res64: 8ED4D17E35F7C25B Time : 2043.0 sec. user=gd_barnes [2011-05-17 22:51:30] 829*2^939429-1 is not prime. Res64: 0F384135559CA5E6 Time : 2043.0 sec. user=gd_barnes [2011-05-17 22:51:42] 945*2^939429-1 is not prime. Res64: F628116572030128 Time : 2041.0 sec. user=gd_barnes [2011-05-17 22:51:42] 955*2^939429-1 is not prime. Res64: 0375F1D468B46987 Time : 2041.0 sec. user=vaughan [2011-05-17 22:52:17] 837*2^939432-1 is not prime. Res64: C9452A0C9B22225B Time : 1247.0 sec. user=gd_barnes [2011-05-17 22:52:52] 975*2^939429-1 is not prime. Res64: 20516D5DD2187E10 Time : 2021.0 sec. user=gd_barnes [2011-05-17 22:52:52] 825*2^939430-1 is not prime. Res64: CEBD4EA062001F40 Time : 2021.0 sec. user=gd_barnes [2011-05-17 22:54:09] 833*2^939430-1 is not prime. Res64: AE54A0447AA905BE Time : 2034.0 sec. user=gd_barnes [2011-05-17 22:54:09] 867*2^939430-1 is not prime. Res64: 69F84EA8F93E02A9 Time : 2034.0 sec. user=vaughan [2011-05-17 22:54:20] 955*2^939431-1 is not prime. Res64: BB9B46F742BB10C1 Time : 1466.0 sec. user=gd_barnes [2011-05-17 22:54:26] 923*2^939430-1 is not prime. Res64: BDF62B97C3D96D0B Time : 2021.0 sec. user=gd_barnes [2011-05-17 22:54:26] 981*2^939430-1 is not prime. Res64: D7205AFD15252547 Time : 2021.0 sec. user=vaughan [2011-05-17 22:55:16] 887*2^939432-1 is not prime. Res64: 2A1829BE9DEAF663 Time : 1362.0 sec. user=gd_barnes [2011-05-17 22:55:50] 1001*2^939430-1 is not prime. Res64: 80ADBEF8F25D1532 Time : 1999.0 sec. user=gd_barnes [2011-05-17 22:55:50] 865*2^939431-1 is not prime. Res64: 12DAA42AB66A6B54 Time : 1999.0 sec. user=vaughan [2011-05-17 22:56:09] 873*2^939432-1 is not prime. Res64: 741DD253F54CBE7D Time : 1468.0 sec. user=vaughan [2011-05-17 22:56:58] 959*2^939432-1 is not prime. Res64: A60AF31E65CF6937 Time : 1222.0 sec. user=vaughan [2011-05-17 22:59:36] 825*2^939434-1 is not prime. Res64: 6F8F65B1E92E210E Time : 1176.0 sec. user=vaughan [2011-05-17 23:05:53] 895*2^939433-1 is not prime. Res64: 15589B4B0B4E22CB Time : 1632.0 sec. user=vaughan [2011-05-17 23:10:41] 917*2^939434-1 is not prime. Res64: 2DF44528BD15BFE5 Time : 1231.0 sec. user=vaughan [2011-05-17 23:12:40] 951*2^939435-1 is not prime. Res64: D9C0DD9BCF1C4F0E Time : 1224.0 sec. user=vaughan [2011-05-17 23:17:29] 895*2^939439-1 is not prime. Res64: 5E0522267DF00453 Time : 1231.0 sec. user=vaughan [2011-05-17 23:17:51] 829*2^939439-1 is not prime. Res64: BCA106A2B2A85895 Time : 1355.0 sec. user=vaughan [2011-05-17 23:18:49] 987*2^939436-1 is not prime. Res64: 9D64E3BA0C23623A Time : 1470.0 sec. user=vaughan [2011-05-17 23:19:10] 813*2^939440-1 is not prime. Res64: D4C968A7F8F5386A Time : 1174.0 sec. user=vaughan [2011-05-17 23:20:41] 873*2^939439-1 is not prime. Res64: C772F1FC8103AA6A Time : 1472.0 sec. user=gd_barnes [2011-05-17 23:25:13] 923*2^939434-1 is not prime. Res64: 634B7DC851C16BC8 Time : 2023.0 sec. user=gd_barnes [2011-05-17 23:25:13] 805*2^939435-1 is not prime. Res64: 87085EBA1C237853 Time : 2023.0 sec. user=gd_barnes [2011-05-17 23:25:28] 861*2^939435-1 is not prime. Res64: 42689EB20926D209 Time : 2026.0 sec. user=gd_barnes [2011-05-17 23:25:28] 873*2^939435-1 is not prime. Res64: 0D58108DEE32655D Time : 2026.0 sec. user=gd_barnes [2011-05-17 23:26:44] 963*2^939435-1 is not prime. Res64: B8451826EDAC59C8 Time : 2032.0 sec. user=gd_barnes [2011-05-17 23:26:44] 833*2^939436-1 is not prime. Res64: F4470D08328533D7 Time : 2032.0 sec. user=gd_barnes [2011-05-17 23:27:57] 811*2^939439-1 is not prime. Res64: 4CE640F691F310EC Time : 2011.0 sec. user=gd_barnes [2011-05-17 23:27:57] 813*2^939439-1 is not prime. Res64: 0B25023047CDB8A3 Time : 2011.0 sec. user=gd_barnes [2011-05-17 23:28:32] 857*2^939436-1 is not prime. Res64: DFDEB484F1E7295F Time : 2063.0 sec. user=gd_barnes [2011-05-17 23:28:32] 933*2^939436-1 is not prime. Res64: B7844EA69D10043E Time : 2063.0 sec. user=gd_barnes [2011-05-17 23:29:17] 841*2^939439-1 is not prime. Res64: EE2F92F41C842542 Time : 2007.0 sec. user=gd_barnes [2011-05-17 23:29:17] 861*2^939439-1 is not prime. Res64: BF2C6732B33A7E43 Time : 2007.0 sec. user=vaughan [2011-05-17 23:31:15] 825*2^939440-1 is not prime. Res64: 3CEEF3D51E7C40F7 Time : 1235.0 sec. user=vaughan [2011-05-17 23:33:02] 927*2^939440-1 is not prime. Res64: 314CBBED1A49E093 Time : 1223.0 sec. user=vaughan [2011-05-17 23:33:02] 819*2^939440-1 is not prime. Res64: 6E5E42E3136CFE40 Time : 1630.0 sec. user=vaughan [2011-05-17 23:37:59] 895*2^939441-1 is not prime. Res64: 483F88AAD96B8E2A Time : 1230.0 sec. user=vaughan [2011-05-17 23:38:44] 987*2^939442-1 is not prime. Res64: 67D303900E94F823 Time : 1174.0 sec. user=vaughan [2011-05-17 23:40:32] 909*2^939441-1 is not prime. Res64: 9563D91E5CD37B4E Time : 1361.0 sec. user=vaughan [2011-05-17 23:43:23] 801*2^939442-1 is not prime. Res64: B315500230A60EF5 Time : 1475.0 sec. user=vaughan [2011-05-17 23:45:11] 859*2^939443-1 is not prime. Res64: 2E9D92E94D97EA5A Time : 1470.0 sec. user=vaughan [2011-05-17 23:51:43] 813*2^939448-1 is not prime. Res64: DD01D5EA2CA24ED9 Time : 1229.0 sec. user=vaughan [2011-05-17 23:53:20] 869*2^939448-1 is not prime. Res64: 90EB8053A5C1A7A8 Time : 1219.0 sec. user=vaughan [2011-05-17 23:58:22] 925*2^939449-1 is not prime. Res64: 568F5DE359F2D7E5 Time : 1223.0 sec. user=gd_barnes [2011-05-17 23:58:47] 885*2^939443-1 is not prime. Res64: 8CF84F08DCAA3708 Time : 2014.0 sec. user=gd_barnes [2011-05-17 23:58:47] 895*2^939443-1 is not prime. Res64: 2B12A6AC3C8290E2 Time : 2014.0 sec. user=vaughan [2011-05-17 23:58:48] 991*2^939449-1 is not prime. Res64: C5A8F582D391B38A Time : 1204.0 sec. user=gd_barnes [2011-05-17 23:59:09] 863*2^939444-1 is not prime. Res64: 09145D5018A4134B Time : 2021.0 sec. user=gd_barnes [2011-05-17 23:59:09] 873*2^939444-1 is not prime. Res64: 203B3C71669C06DE Time : 2021.0 sec. user=vaughan [2011-05-18 00:00:10] 819*2^939449-1 is not prime. Res64: ED9731ABC572B92C Time : 1628.0 sec. user=gd_barnes [2011-05-18 00:00:24] 887*2^939444-1 is not prime. Res64: 1DAFF644B3D3C37E Time : 2020.0 sec. user=gd_barnes [2011-05-18 00:00:24] 893*2^939444-1 is not prime. Res64: E1655E5B6623E751 Time : 2020.0 sec.