user=mdettweiler [2011-01-18 00:03:12] 2301*2^319954-1 is not prime. Res64: D6B303C78773C641 Time : 1156.0 sec. user=mdettweiler [2011-01-18 00:15:58] 2301*2^319925-1 is not prime. Res64: 55769A632639740B Time : 2314.0 sec. user=vaughan [2011-01-18 00:21:54] 2301*2^319955-1 is not prime. Res64: 1943B47FF8AC0C8C Time : 1470.0 sec. user=mdettweiler [2011-01-18 00:22:29] 2301*2^319977-1 is not prime. Res64: CD5C7AA93A051A3D Time : 1155.0 sec. user=mdettweiler [2011-01-18 00:41:35] 2301*2^320038-1 is not prime. Res64: 5C9447317C31021E Time : 1144.0 sec. user=vaughan [2011-01-18 00:46:25] 2301*2^320005-1 is not prime. Res64: 937DA72B2CB68399 Time : 1471.0 sec. user=mdettweiler [2011-01-18 00:54:33] 2301*2^320002-1 is not prime. Res64: D28F221235987EF7 Time : 2315.0 sec. user=mdettweiler [2011-01-18 01:00:45] 2301*2^320054-1 is not prime. Res64: CC885819F71945E6 Time : 1149.0 sec. user=vaughan [2011-01-18 01:10:56] 2301*2^320077-1 is not prime. Res64: 657F68EB270F4D6C Time : 1471.0 sec. user=mdettweiler [2011-01-18 01:19:52] 2301*2^320114-1 is not prime. Res64: 281C5F0D8E3C4538 Time : 1146.0 sec. user=mdettweiler [2011-01-18 01:33:11] 2301*2^320102-1 is not prime. Res64: 2FDCDF4845B6FEF8 Time : 2318.0 sec. user=vaughan [2011-01-18 01:35:40] 2301*2^320117-1 is not prime. Res64: AC617C1E40BEC47E Time : 1484.0 sec. user=mdettweiler [2011-01-18 01:39:03] 2301*2^320142-1 is not prime. Res64: 68658ACEB3518DC0 Time : 1149.0 sec. user=mdettweiler [2011-01-18 01:58:09] 2301*2^320187-1 is not prime. Res64: 9836BBA79C751F9B Time : 1146.0 sec. user=vaughan [2011-01-18 02:00:07] 2301*2^320186-1 is not prime. Res64: B98A2E31D0552EB4 Time : 1467.0 sec. user=mdettweiler [2011-01-18 02:11:54] 2301*2^320150-1 is not prime. Res64: 01A3267398C8F917 Time : 2323.0 sec. user=mdettweiler [2011-01-18 02:17:35] 2301*2^320205-1 is not prime. Res64: 00A830B970A97F04 Time : 1162.0 sec. user=vaughan [2011-01-18 02:24:38] 2301*2^320214-1 is not prime. Res64: 3D19DD37EFDF0E24 Time : 1470.0 sec. user=mdettweiler [2011-01-18 02:36:42] 2301*2^320225-1 is not prime. Res64: 96C86B0919028104 Time : 1146.0 sec. user=vaughan [2011-01-18 02:49:13] 2301*2^320238-1 is not prime. Res64: 3D8C9E5AB3FE58A8 Time : 1475.0 sec. user=mdettweiler [2011-01-18 02:51:00] 2301*2^320215-1 is not prime. Res64: C9FBA52C7CE15D1F Time : 2345.0 sec. user=mdettweiler [2011-01-18 02:56:11] 2301*2^320242-1 is not prime. Res64: 674F7D96424F967B Time : 1167.0 sec. user=vaughan [2011-01-18 03:13:44] 2301*2^320258-1 is not prime. Res64: 98FFC3638E9BFB3B Time : 1470.0 sec. user=mdettweiler [2011-01-18 03:15:19] 2301*2^320285-1 is not prime. Res64: 31C910632229FB94 Time : 1147.0 sec. user=mdettweiler [2011-01-18 03:34:49] 2301*2^320294-1 is not prime. Res64: CA4A0147615BEAB2 Time : 1168.0 sec. user=vaughan [2011-01-18 03:38:15] 2301*2^320286-1 is not prime. Res64: 7B8548CBD7A93096 Time : 1472.0 sec. user=mdettweiler [2011-01-18 03:43:17] 2301*2^320277-1 is not prime. Res64: 35F5ED0799BBCB5D Time : 3137.0 sec. user=mdettweiler [2011-01-18 03:54:01] 2301*2^320303-1 is not prime. Res64: B25D7E07E32F1927 Time : 1150.0 sec. user=vaughan [2011-01-18 04:02:45] 2301*2^320317-1 is not prime. Res64: 90784349F1A4311A Time : 1469.0 sec. user=mdettweiler [2011-01-18 04:13:15] 2301*2^320338-1 is not prime. Res64: 7AFA88C82F5E93AF Time : 1153.0 sec. user=vaughan [2011-01-18 04:27:14] 2301*2^320347-1 is not prime. Res64: C6A6557AFDEFD2CC Time : 1469.0 sec. user=mdettweiler [2011-01-18 04:32:23] 2301*2^320357-1 is not prime. Res64: 3FC753F571552C41 Time : 1146.0 sec. user=mdettweiler [2011-01-18 04:51:29] 2301*2^320401-1 is not prime. Res64: 2D5DDA8559E25A60 Time : 1145.0 sec. user=vaughan [2011-01-18 04:51:45] 2301*2^320387-1 is not prime. Res64: AFC9C8B521EF98AB Time : 1471.0 sec. user=mdettweiler [2011-01-18 05:00:03] 2301*2^320322-1 is not prime. Res64: EF6AECE0FF8D9272 Time : 4605.0 sec. user=mdettweiler [2011-01-18 05:10:45] 2301*2^320406-1 is not prime. Res64: F98209648EA49C01 Time : 1154.0 sec. user=vaughan [2011-01-18 05:16:24] 2301*2^320407-1 is not prime. Res64: 901F3F7D4DE655FF Time : 1478.0 sec. user=mdettweiler [2011-01-18 05:29:53] 2301*2^320446-1 is not prime. Res64: 9122DA648EC5A01F Time : 1146.0 sec. user=mdettweiler [2011-01-18 05:38:41] 2301*2^320434-1 is not prime. Res64: FCC904CF89CB92A9 Time : 2318.0 sec. user=vaughan [2011-01-18 05:41:11] 2301*2^320477-1 is not prime. Res64: 28387FD7A882CFEA Time : 1486.0 sec. user=mdettweiler [2011-01-18 05:49:09] 2301*2^320486-1 is not prime. Res64: 9A7EC7AB351B95E0 Time : 1153.0 sec. user=vaughan [2011-01-18 06:05:48] 2301*2^320550-1 is not prime. Res64: 164CE030829F2CE1 Time : 1476.0 sec. user=mdettweiler [2011-01-18 06:08:16] 2301*2^320554-1 is not prime. Res64: 26BD4671947ECA5A Time : 1145.0 sec. user=mdettweiler [2011-01-18 06:17:30] 2301*2^320510-1 is not prime. Res64: 9E6B2757A5A5FB67 Time : 2329.0 sec. user=mdettweiler [2011-01-18 06:27:25] 2301*2^320570-1 is not prime. Res64: 1C9177F74E9D9616 Time : 1148.0 sec. user=vaughan [2011-01-18 06:30:34] 2301*2^320557-1 is not prime. Res64: 4FD36D92F81C913A Time : 1485.0 sec. user=mdettweiler [2011-01-18 06:46:37] 2301*2^320590-1 is not prime. Res64: C79E8D3E9B94F47D Time : 1151.0 sec. user=mdettweiler [2011-01-18 06:56:35] 2301*2^320574-1 is not prime. Res64: 181EA51DBF44A5B8 Time : 2345.0 sec. user=vaughan [2011-01-18 07:04:09] 2301*2^320594-1 is not prime. Res64: B281A7E0DFC52B32 Time : 2014.0 sec. user=mdettweiler [2011-01-18 07:10:50] 2301*2^320603-1 is not prime. Res64: 9BA5DD39290BE4FB Time : 1452.0 sec. user=mdettweiler [2011-01-18 07:29:58] 2301*2^320762-1 is not prime. Res64: B1C981A6EB9FEF73 Time : 1147.0 sec. user=mdettweiler [2011-01-18 07:35:17] 2301*2^320707-1 is not prime. Res64: 258EBCF5F5517403 Time : 2322.0 sec. user=vaughan [2011-01-18 07:38:05] 2301*2^320750-1 is not prime. Res64: 6474500A623A47E3 Time : 2035.0 sec. user=mdettweiler [2011-01-18 07:49:11] 2301*2^320775-1 is not prime. Res64: 5804616F3D85833C Time : 1151.0 sec. user=mdettweiler [2011-01-18 08:08:27] 2301*2^320850-1 is not prime. Res64: FAA4D3902D3463D9 Time : 1155.0 sec. user=vaughan [2011-01-18 08:11:45] 2301*2^320807-1 is not prime. Res64: B08DEE8F768089F9 Time : 2020.0 sec. user=mdettweiler [2011-01-18 08:13:53] 2301*2^320805-1 is not prime. Res64: 3E2D7F525B9208C2 Time : 2316.0 sec. user=mdettweiler [2011-01-18 08:27:35] 2301*2^320901-1 is not prime. Res64: 3C0BEA1220128E6C Time : 1147.0 sec. user=mdettweiler [2011-01-18 08:46:49] 2301*2^321018-1 is not prime. Res64: 268ED029466AD92C Time : 1153.0 sec. user=vaughan [2011-01-18 08:47:05] 2301*2^320902-1 is not prime. Res64: 069DC7AF9E1A272D Time : 2119.0 sec. user=mdettweiler [2011-01-18 08:52:31] 2301*2^320970-1 is not prime. Res64: B58C7F1821186B07 Time : 2318.0 sec. user=mdettweiler [2011-01-18 09:06:10] 2301*2^321026-1 is not prime. Res64: B4FF61D90F7EAC45 Time : 1158.0 sec. user=vaughan [2011-01-18 09:25:05] 2301*2^321042-1 is not prime. Res64: 01B1171B6ABEC20D Time : 2280.0 sec. user=mdettweiler [2011-01-18 09:25:22] 2301*2^321094-1 is not prime. Res64: DDF0DC39C377C22D Time : 1150.0 sec. user=mdettweiler [2011-01-18 09:31:10] 2301*2^321045-1 is not prime. Res64: 963E4D7BC4B2E49D Time : 2319.0 sec. user=mdettweiler [2011-01-18 09:44:35] 2301*2^321125-1 is not prime. Res64: ECDCC0B7704C6B71 Time : 1152.0 sec. user=vaughan [2011-01-18 10:00:28] 2301*2^321118-1 is not prime. Res64: 89A7CB094A5EF4FB Time : 2123.0 sec. user=mdettweiler [2011-01-18 10:03:46] 2301*2^321262-1 is not prime. Res64: E6779495989B7C43 Time : 1150.0 sec. user=mdettweiler [2011-01-18 10:10:00] 2301*2^321243-1 is not prime. Res64: ECF84A50FAD3C652 Time : 2330.0 sec. user=mdettweiler [2011-01-18 10:23:01] 2301*2^321295-1 is not prime. Res64: 52FE748CE684CED2 Time : 1153.0 sec. user=vaughan [2011-01-18 10:34:05] 2301*2^321290-1 is not prime. Res64: 75C5CB4FA9F957B1 Time : 2017.0 sec. user=mdettweiler [2011-01-18 10:42:13] 2301*2^321346-1 is not prime. Res64: 4B5626499AC6566F Time : 1151.0 sec. user=mdettweiler [2011-01-18 10:49:12] 2301*2^321325-1 is not prime. Res64: 3C77F24D8A26BFE0 Time : 2351.0 sec. user=mdettweiler [2011-01-18 11:01:33] 2301*2^321435-1 is not prime. Res64: D76F9E8CAD7F3437 Time : 1159.0 sec. user=vaughan [2011-01-18 11:07:41] 2301*2^321377-1 is not prime. Res64: 844FA80DCAE7A05C Time : 2016.0 sec. user=mdettweiler [2011-01-18 11:20:49] 2301*2^321465-1 is not prime. Res64: F2ED1960B5D55055 Time : 1151.0 sec. user=mdettweiler [2011-01-18 11:28:01] 2301*2^321454-1 is not prime. Res64: E0D3051C0148174F Time : 2329.0 sec. user=mdettweiler [2011-01-18 11:40:02] 2301*2^321482-1 is not prime. Res64: 8AEC94D6F26DB9F2 Time : 1151.0 sec. user=vaughan [2011-01-18 11:41:18] 2301*2^321467-1 is not prime. Res64: 1A02F28F0BC1BE66 Time : 2016.0 sec. user=mdettweiler [2011-01-18 11:59:18] 2301*2^321550-1 is not prime. Res64: 8AB7AC052404B814 Time : 1154.0 sec. user=mdettweiler [2011-01-18 12:06:48] 2301*2^321531-1 is not prime. Res64: 843FFA5BD66DFC95 Time : 2326.0 sec. user=vaughan [2011-01-18 12:14:54] 2301*2^321582-1 is not prime. Res64: E805BF32404B892D Time : 2016.0 sec. user=mdettweiler [2011-01-18 12:18:29] 2301*2^321601-1 is not prime. Res64: 28BC6F50B4C457C1 Time : 1150.0 sec. user=mdettweiler [2011-01-18 12:37:51] 2301*2^321631-1 is not prime. Res64: DCA38151A21FC35D Time : 1161.0 sec. user=mdettweiler [2011-01-18 12:45:37] 2301*2^321621-1 is not prime. Res64: AA27199A06AD3391 Time : 2329.0 sec. user=vaughan [2011-01-18 12:48:31] 2301*2^321626-1 is not prime. Res64: 8D8716829AA7CD39 Time : 2017.0 sec. user=mdettweiler [2011-01-18 12:57:13] 2301*2^321635-1 is not prime. Res64: 03CD62E53CA53DD7 Time : 1160.0 sec. user=mdettweiler [2011-01-18 13:16:45] 2301*2^321687-1 is not prime. Res64: 18E04787618BD61A Time : 1171.0 sec. user=vaughan [2011-01-18 13:22:05] 2301*2^321670-1 is not prime. Res64: 4C0C2CF76B712C41 Time : 2013.0 sec. user=mdettweiler [2011-01-18 13:24:19] 2301*2^321666-1 is not prime. Res64: B1758D9D2E9C97EE Time : 2322.0 sec. user=mdettweiler [2011-01-18 13:36:13] 2301*2^321694-1 is not prime. Res64: 0114ECB8BEB81B8E Time : 1164.0 sec. user=vaughan [2011-01-18 13:49:36] 2301*2^321698-1 is not prime. Res64: A7D40A65EEE721E3 Time : 1650.0 sec. user=mdettweiler [2011-01-18 13:55:26] 2301*2^321730-1 is not prime. Res64: AE9DBCCC7D41E667 Time : 1152.0 sec. user=mdettweiler [2011-01-18 14:03:14] 2301*2^321710-1 is not prime. Res64: CABF9BF84B05E7FB Time : 2335.0 sec. user=vaughan [2011-01-18 14:14:19] 2301*2^321737-1 is not prime. Res64: 93EA8E399DA881D0 Time : 1482.0 sec. user=mdettweiler [2011-01-18 14:14:45] 2301*2^321742-1 is not prime. Res64: EC094726B07DCEA3 Time : 1159.0 sec. user=mdettweiler [2011-01-18 14:34:08] 2301*2^321762-1 is not prime. Res64: CA056439503809C9 Time : 1161.0 sec. user=vaughan [2011-01-18 14:39:02] 2301*2^321746-1 is not prime. Res64: 7C957475E0B7083B Time : 1482.0 sec. user=mdettweiler [2011-01-18 14:42:22] 2301*2^321745-1 is not prime. Res64: 7D8F5EC89FD8075E Time : 2348.0 sec. user=mdettweiler [2011-01-18 14:53:27] 2301*2^321774-1 is not prime. Res64: 34551E4C932A9B3D Time : 1155.0 sec. user=vaughan [2011-01-18 15:03:38] 2301*2^321786-1 is not prime. Res64: 016E6E57FE89733C Time : 1475.0 sec. user=mdettweiler [2011-01-18 15:12:52] 2301*2^321894-1 is not prime. Res64: D45D85FEFF3BC653 Time : 1164.0 sec. user=mdettweiler [2011-01-18 15:21:09] 2301*2^321885-1 is not prime. Res64: 07858388B774528B Time : 2327.0 sec. user=vaughan [2011-01-18 15:28:17] 2301*2^321935-1 is not prime. Res64: 05B5C4B2144E8CB1 Time : 1478.0 sec. user=mdettweiler [2011-01-18 15:32:07] 2301*2^322030-1 is not prime. Res64: 7B005BE60415509C Time : 1154.0 sec. user=mdettweiler [2011-01-18 15:51:36] 2301*2^322046-1 is not prime. Res64: 5462A77CB5244E35 Time : 1166.0 sec. user=vaughan [2011-01-18 15:52:57] 2301*2^322045-1 is not prime. Res64: EAC709F7ED090B4F Time : 1479.0 sec. user=mdettweiler [2011-01-18 16:00:27] 2301*2^322041-1 is not prime. Res64: AD4FF902A6772994 Time : 2358.0 sec. user=mdettweiler [2011-01-18 16:11:06] 2301*2^322097-1 is not prime. Res64: 9D032854F5D22BFE Time : 1165.0 sec. user=vaughan [2011-01-18 16:17:35] 2301*2^322114-1 is not prime. Res64: 1305400F1B795579 Time : 1477.0 sec. user=mdettweiler [2011-01-18 16:30:34] 2301*2^322130-1 is not prime. Res64: C55A554211A81F2A Time : 1167.0 sec. user=mdettweiler [2011-01-18 16:39:16] 2301*2^322125-1 is not prime. Res64: 84DDABD712C9807B Time : 2329.0 sec. user=vaughan [2011-01-18 16:42:16] 2301*2^322158-1 is not prime. Res64: 2A6E96BA5049F5ED Time : 1480.0 sec. user=mdettweiler [2011-01-18 16:49:54] 2301*2^322202-1 is not prime. Res64: A3644FD34E87A53A Time : 1158.0 sec. user=vaughan [2011-01-18 17:06:56] 2301*2^322266-1 is not prime. Res64: B50E9EB8912C6178 Time : 1479.0 sec. user=mdettweiler [2011-01-18 17:09:17] 2301*2^322334-1 is not prime. Res64: AA0A7E33201BC881 Time : 1161.0 sec. user=mdettweiler [2011-01-18 17:18:05] 2301*2^322261-1 is not prime. Res64: 3CD04BB6EB01C436 Time : 2329.0 sec. user=mdettweiler [2011-01-18 17:28:45] 2301*2^322346-1 is not prime. Res64: 36563979C62CD25B Time : 1166.0 sec. user=vaughan [2011-01-18 17:31:38] 2301*2^322342-1 is not prime. Res64: 6A7A4A47AAC505A6 Time : 1481.0 sec. user=mdettweiler [2011-01-18 17:48:04] 2301*2^322374-1 is not prime. Res64: 4B408548E02AE45F Time : 1157.0 sec. user=vaughan [2011-01-18 17:56:20] 2301*2^322387-1 is not prime. Res64: F5C554B86AE3F9EA Time : 1481.0 sec. user=mdettweiler [2011-01-18 17:57:05] 2301*2^322370-1 is not prime. Res64: 35E083163051BA82 Time : 2340.0 sec. user=mdettweiler [2011-01-18 18:07:34] 2301*2^322390-1 is not prime. Res64: 58E08F73F22FC40D Time : 1166.0 sec. user=vaughan [2011-01-18 18:21:02] 2301*2^322414-1 is not prime. Res64: E53CF4218AD2D69A Time : 1481.0 sec. user=mdettweiler [2011-01-18 18:26:58] 2301*2^322446-1 is not prime. Res64: B109B61A8DF45164 Time : 1158.0 sec. user=mdettweiler [2011-01-18 18:35:58] 2301*2^322441-1 is not prime. Res64: 2C33B29F1B0BA872 Time : 2333.0 sec. user=vaughan [2011-01-18 18:46:03] 2301*2^322458-1 is not prime. Res64: 814064A84D641C72 Time : 1500.0 sec. user=mdettweiler [2011-01-18 18:46:17] 2301*2^322461-1 is not prime. Res64: 550FF71A8DB26788 Time : 1156.0 sec. user=mdettweiler [2011-01-18 19:05:34] 2301*2^322495-1 is not prime. Res64: D2E064492DA3DFD5 Time : 1155.0 sec. user=vaughan [2011-01-18 19:10:39] 2301*2^322475-1 is not prime. Res64: 270B6A9930A61C47 Time : 1476.0 sec. user=mdettweiler [2011-01-18 19:15:12] 2301*2^322471-1 is not prime. Res64: 8585A564133138E8 Time : 2354.0 sec. user=mdettweiler [2011-01-18 19:25:03] 2301*2^322517-1 is not prime. Res64: AE041E3E62D197F8 Time : 1166.0 sec. user=vaughan [2011-01-18 19:35:20] 2301*2^322526-1 is not prime. Res64: 0D0D7D5BC8B94FEE Time : 1480.0 sec. user=mdettweiler [2011-01-18 19:44:25] 2301*2^322605-1 is not prime. Res64: FEDCB1EF75F13A1B Time : 1160.0 sec. user=mdettweiler [2011-01-18 19:54:06] 2301*2^322534-1 is not prime. Res64: 72367C7EFD9B3B41 Time : 2334.0 sec. user=vaughan [2011-01-18 19:59:56] 2301*2^322635-1 is not prime. Res64: D80643BA8650397A Time : 1475.0 sec. user=mdettweiler [2011-01-18 20:03:56] 2301*2^322697-1 is not prime. Res64: 1D233DA7CB64E8BB Time : 1169.0 sec. user=mdettweiler [2011-01-18 20:23:17] 2301*2^322758-1 is not prime. Res64: AA7E4576C6035F48 Time : 1159.0 sec. user=vaughan [2011-01-18 20:24:34] 2301*2^322730-1 is not prime. Res64: 8A319CB268F88C50 Time : 1477.0 sec. user=mdettweiler [2011-01-18 20:33:02] 2301*2^322711-1 is not prime. Res64: 33EE6A0D0B5A4AE6 Time : 2335.0 sec. user=mdettweiler [2011-01-18 20:42:53] 2301*2^322765-1 is not prime. Res64: 9B4EDCF8CE260A81 Time : 1171.0 sec. user=vaughan [2011-01-18 20:49:24] 2301*2^322770-1 is not prime. Res64: B77CC3C38B21252B Time : 1489.0 sec. user=mdettweiler [2011-01-18 21:02:10] 2301*2^322801-1 is not prime. Res64: 6157F3FB44AC153B Time : 1156.0 sec. user=mdettweiler [2011-01-18 21:11:58] 2301*2^322777-1 is not prime. Res64: 70853D6D8E859CA7 Time : 2335.0 sec. user=vaughan [2011-01-18 21:14:02] 2301*2^322823-1 is not prime. Res64: EBD06CFBAD60E39E Time : 1477.0 sec. user=mdettweiler [2011-01-18 21:21:37] 2301*2^322826-1 is not prime. Res64: 003BE9FACE8A2A76 Time : 1165.0 sec. user=vaughan [2011-01-18 21:38:40] 2301*2^322842-1 is not prime. Res64: 8D15BE376BFE15B2 Time : 1477.0 sec. user=mdettweiler [2011-01-18 21:40:59] 2301*2^322867-1 is not prime. Res64: 980C77384AFC0973 Time : 1161.0 sec. user=mdettweiler [2011-01-18 21:50:59] 2301*2^322835-1 is not prime. Res64: B0FD70349EA76CC3 Time : 2341.0 sec. user=mdettweiler [2011-01-18 22:00:28] 2301*2^322885-1 is not prime. Res64: 39650D5C615A0A31 Time : 1168.0 sec. user=vaughan [2011-01-18 22:03:16] 2301*2^322875-1 is not prime. Res64: 979658E578E0CFF0 Time : 1475.0 sec. user=mdettweiler [2011-01-18 22:19:47] 2301*2^322941-1 is not prime. Res64: C38A296D3288B4D9 Time : 1157.0 sec. user=vaughan [2011-01-18 22:27:53] 2301*2^322950-1 is not prime. Res64: 21B5BA23A197FF68 Time : 1476.0 sec. user=mdettweiler [2011-01-18 22:29:47] 2301*2^322898-1 is not prime. Res64: F6490025C6DBA318 Time : 2328.0 sec. user=mdettweiler [2011-01-18 22:39:15] 2301*2^322954-1 is not prime. Res64: 86A0D2A14771DC22 Time : 1167.0 sec. user=vaughan [2011-01-18 22:52:47] 2301*2^322958-1 is not prime. Res64: 07F61E6F330EF253 Time : 1493.0 sec. user=mdettweiler [2011-01-18 22:58:38] 2301*2^323043-1 is not prime. Res64: 4B1D308F87B5E505 Time : 1159.0 sec. user=mdettweiler [2011-01-18 23:09:06] 2301*2^323006-1 is not prime. Res64: 611F977385FE321E Time : 2359.0 sec. user=vaughan [2011-01-18 23:17:25] 2301*2^323046-1 is not prime. Res64: EDAB55B94B7945F4 Time : 1477.0 sec. user=mdettweiler [2011-01-18 23:18:03] 2301*2^323057-1 is not prime. Res64: F4A73E914DA73312 Time : 1164.0 sec. user=mdettweiler [2011-01-18 23:37:33] 2301*2^323110-1 is not prime. Res64: D88A7D5F892E214C Time : 1168.0 sec. user=vaughan [2011-01-18 23:42:11] 2301*2^323091-1 is not prime. Res64: 210D8A32E2541F06 Time : 1485.0 sec. user=mdettweiler [2011-01-18 23:48:06] 2301*2^323071-1 is not prime. Res64: F3C3FEAEF555E490 Time : 2339.0 sec. user=mdettweiler [2011-01-18 23:56:59] 2301*2^323126-1 is not prime. Res64: DCFD10D8178ACB01 Time : 1164.0 sec.