user=mdettweiler [2011-01-22 00:01:16] 2301*2^330790-1 is not prime. Res64: 3A6D34821A413F7B Time : 1185.0 sec. user=vaughan [2011-01-22 00:20:46] 2301*2^330826-1 is not prime. Res64: 39DA770ED294FA40 Time : 1516.0 sec. user=mdettweiler [2011-01-22 00:21:06] 2301*2^330854-1 is not prime. Res64: 711A61E99350F085 Time : 1189.0 sec. user=mdettweiler [2011-01-22 00:40:53] 2301*2^330895-1 is not prime. Res64: B637DF924A753A28 Time : 1184.0 sec. user=vaughan [2011-01-22 00:46:09] 2301*2^330870-1 is not prime. Res64: 1E14B67664052E1D Time : 1522.0 sec. user=mdettweiler [2011-01-22 01:00:42] 2301*2^330955-1 is not prime. Res64: F7AE2C0DF9BB87F5 Time : 1186.0 sec. user=vaughan [2011-01-22 01:11:28] 2301*2^330977-1 is not prime. Res64: 7871D0CCD95527AA Time : 1519.0 sec. user=mdettweiler [2011-01-22 01:20:31] 2301*2^330982-1 is not prime. Res64: 8E61D3435AAF681D Time : 1188.0 sec. user=vaughan [2011-01-22 01:36:59] 2301*2^330987-1 is not prime. Res64: 918FDC18C60810DB Time : 1530.0 sec. user=mdettweiler [2011-01-22 01:40:11] 2301*2^330991-1 is not prime. Res64: 00107B61D833C876 Time : 1178.0 sec. user=mdettweiler [2011-01-22 01:59:53] 2301*2^331065-1 is not prime. Res64: 63B2A3CD438D9117 Time : 1180.0 sec. user=vaughan [2011-01-22 02:02:17] 2301*2^331006-1 is not prime. Res64: 0B1D30BA0733271F Time : 1517.0 sec. user=mdettweiler [2011-01-22 02:02:45] 2301*2^330795-1 is not prime. Res64: 2CE3EAFB92D13059 Time : 7990.0 sec. user=mdettweiler [2011-01-22 02:19:33] 2301*2^331082-1 is not prime. Res64: CDC158D4B4F8AD9A Time : 1179.0 sec. user=vaughan [2011-01-22 02:27:40] 2301*2^331102-1 is not prime. Res64: C89713BDDCABE90A Time : 1522.0 sec. user=mdettweiler [2011-01-22 02:39:20] 2301*2^331130-1 is not prime. Res64: F67D559505337603 Time : 1186.0 sec. user=mdettweiler [2011-01-22 02:42:56] 2301*2^331117-1 is not prime. Res64: 9AE057CB9E3E5D25 Time : 2411.0 sec. user=vaughan [2011-01-22 02:53:16] 2301*2^331237-1 is not prime. Res64: CA7C1F501640FB10 Time : 1535.0 sec. user=mdettweiler [2011-01-22 02:59:02] 2301*2^331278-1 is not prime. Res64: 8E3B833826EB2C62 Time : 1178.0 sec. user=vaughan [2011-01-22 03:18:34] 2301*2^331291-1 is not prime. Res64: 93EF7BB356A40B49 Time : 1518.0 sec. user=mdettweiler [2011-01-22 03:18:40] 2301*2^331370-1 is not prime. Res64: E5229C096E13B023 Time : 1176.0 sec. user=mdettweiler [2011-01-22 03:23:12] 2301*2^331282-1 is not prime. Res64: 0066A1BBFD353B58 Time : 2416.0 sec. user=mdettweiler [2011-01-22 03:38:30] 2301*2^331378-1 is not prime. Res64: A2F1D6BD7A2D263E Time : 1188.0 sec. user=vaughan [2011-01-22 03:43:56] 2301*2^331377-1 is not prime. Res64: 910A8F8A11034FDB Time : 1521.0 sec. user=mdettweiler [2011-01-22 03:58:15] 2301*2^331387-1 is not prime. Res64: A180949852613B04 Time : 1184.0 sec. user=mdettweiler [2011-01-22 04:03:35] 2301*2^331383-1 is not prime. Res64: C9E6820895FBBFF1 Time : 2423.0 sec. user=vaughan [2011-01-22 04:09:12] 2301*2^331405-1 is not prime. Res64: CBD30FE3B034B350 Time : 1515.0 sec. user=mdettweiler [2011-01-22 04:17:52] 2301*2^331406-1 is not prime. Res64: B4DC3FB2B80A82EA Time : 1176.0 sec. user=vaughan [2011-01-22 04:34:30] 2301*2^331422-1 is not prime. Res64: E0996C778F93B60B Time : 1517.0 sec. user=mdettweiler [2011-01-22 04:37:34] 2301*2^331445-1 is not prime. Res64: 69CBF0F6CEC99ECE Time : 1180.0 sec. user=mdettweiler [2011-01-22 04:43:34] 2301*2^331414-1 is not prime. Res64: 6EFE2A395F85039C Time : 2399.0 sec. user=mdettweiler [2011-01-22 04:57:12] 2301*2^331494-1 is not prime. Res64: 5676221B1AEE2908 Time : 1176.0 sec. user=vaughan [2011-01-22 04:59:47] 2301*2^331457-1 is not prime. Res64: 2808EFA96E13F427 Time : 1516.0 sec. user=mdettweiler [2011-01-22 05:16:53] 2301*2^331538-1 is not prime. Res64: 368EFE956382156C Time : 1178.0 sec. user=mdettweiler [2011-01-22 05:24:49] 2301*2^331510-1 is not prime. Res64: 4E012AABF7BA7A84 Time : 2474.0 sec. user=vaughan [2011-01-22 05:25:15] 2301*2^331554-1 is not prime. Res64: 71D6EFA43A04165C Time : 1527.0 sec. user=mdettweiler [2011-01-22 05:36:30] 2301*2^331566-1 is not prime. Res64: 021BA1A8693AE697 Time : 1175.0 sec. user=vaughan [2011-01-22 05:50:36] 2301*2^331594-1 is not prime. Res64: 772889E73825BED3 Time : 1520.0 sec. user=mdettweiler [2011-01-22 05:56:09] 2301*2^331625-1 is not prime. Res64: E64E85CD40FB6D44 Time : 1178.0 sec. user=mdettweiler [2011-01-22 06:04:52] 2301*2^331590-1 is not prime. Res64: 9BB036475900E0BF Time : 2403.0 sec. user=mdettweiler [2011-01-22 06:15:51] 2301*2^331697-1 is not prime. Res64: F37F959BBF675B0D Time : 1180.0 sec. user=vaughan [2011-01-22 06:15:54] 2301*2^331643-1 is not prime. Res64: B882281B93E355A7 Time : 1518.0 sec. user=mdettweiler [2011-01-22 06:35:32] 2301*2^331710-1 is not prime. Res64: 26BB7A2DBD7F1147 Time : 1180.0 sec. user=vaughan [2011-01-22 06:41:20] 2301*2^331786-1 is not prime. Res64: 1CCAE0EA9228EDED Time : 1525.0 sec. user=mdettweiler [2011-01-22 06:44:55] 2301*2^331702-1 is not prime. Res64: 7E22E01DB7568BA8 Time : 2403.0 sec. user=mdettweiler [2011-01-22 06:55:14] 2301*2^331798-1 is not prime. Res64: 15062096E42128D3 Time : 1180.0 sec. user=vaughan [2011-01-22 07:06:51] 2301*2^331802-1 is not prime. Res64: B658440AC9C9829B Time : 1531.0 sec. user=mdettweiler [2011-01-22 07:20:14] 2301*2^331842-1 is not prime. Res64: CA861A745D1F015B Time : 1499.0 sec. user=mdettweiler [2011-01-22 07:24:54] 2301*2^331831-1 is not prime. Res64: B2C658E9021519B3 Time : 2399.0 sec. user=vaughan [2011-01-22 07:32:16] 2301*2^331874-1 is not prime. Res64: 0AC03398B993EF6F Time : 1524.0 sec. user=mdettweiler [2011-01-22 07:40:02] 2301*2^331911-1 is not prime. Res64: 00203A0AD81C1A55 Time : 1186.0 sec. user=vaughan [2011-01-22 07:58:34] 2301*2^331950-1 is not prime. Res64: 0D1187226608A0F1 Time : 1577.0 sec. user=mdettweiler [2011-01-22 07:59:50] 2301*2^331954-1 is not prime. Res64: A1954FADE6784332 Time : 1187.0 sec. user=mdettweiler [2011-01-22 08:05:21] 2301*2^331938-1 is not prime. Res64: D48308C3E52957B2 Time : 2427.0 sec. user=mdettweiler [2011-01-22 08:19:44] 2301*2^332034-1 is not prime. Res64: 3267B13AC1539F85 Time : 1193.0 sec. user=vaughan [2011-01-22 08:23:58] 2301*2^332030-1 is not prime. Res64: 5293D2C9E9E0163B Time : 1523.0 sec. user=mdettweiler [2011-01-22 08:39:40] 2301*2^332061-1 is not prime. Res64: 5A020A213ABF8554 Time : 1191.0 sec. user=mdettweiler [2011-01-22 08:45:30] 2301*2^332042-1 is not prime. Res64: BBD5EDB751B3E5E2 Time : 2408.0 sec. user=vaughan [2011-01-22 08:49:21] 2301*2^332091-1 is not prime. Res64: E016A75A32B18E4C Time : 1522.0 sec. user=mdettweiler [2011-01-22 08:59:38] 2301*2^332098-1 is not prime. Res64: C5B4C8DD1F5E70D0 Time : 1196.0 sec. user=vaughan [2011-01-22 09:14:43] 2301*2^332126-1 is not prime. Res64: 8C87C7840AE24169 Time : 1521.0 sec. user=mdettweiler [2011-01-22 09:19:31] 2301*2^332131-1 is not prime. Res64: 7A6AB1622E53F2BD Time : 1191.0 sec. user=mdettweiler [2011-01-22 09:25:37] 2301*2^332107-1 is not prime. Res64: E2B8CBE19F232A07 Time : 2406.0 sec. user=mdettweiler [2011-01-22 09:39:23] 2301*2^332158-1 is not prime. Res64: 23410AADD7D0E8AD Time : 1191.0 sec. user=vaughan [2011-01-22 09:40:55] 2301*2^332138-1 is not prime. Res64: D7F704B5E65ABC80 Time : 1571.0 sec. user=mdettweiler [2011-01-22 09:59:49] 2301*2^332241-1 is not prime. Res64: ABF2B1FFCCD72F53 Time : 1225.0 sec. user=mdettweiler [2011-01-22 10:05:43] 2301*2^332185-1 is not prime. Res64: 88223D6C92D11840 Time : 2406.0 sec. user=vaughan [2011-01-22 10:06:16] 2301*2^332251-1 is not prime. Res64: E98577D652AD591B Time : 1521.0 sec. user=mdettweiler [2011-01-22 10:19:51] 2301*2^332287-1 is not prime. Res64: 8E9BA5A0E74D9CEA Time : 1201.0 sec. user=vaughan [2011-01-22 10:31:51] 2301*2^332317-1 is not prime. Res64: 1F8093946BD05225 Time : 1534.0 sec. user=mdettweiler [2011-01-22 10:39:57] 2301*2^332342-1 is not prime. Res64: 9AB3C763B178D9CF Time : 1204.0 sec. user=mdettweiler [2011-01-22 10:45:56] 2301*2^332301-1 is not prime. Res64: 6599AA059F6C7464 Time : 2413.0 sec. user=vaughan [2011-01-22 10:57:13] 2301*2^332386-1 is not prime. Res64: 4233979C46C82CFC Time : 1522.0 sec. user=mdettweiler [2011-01-22 10:59:59] 2301*2^332394-1 is not prime. Res64: DEA1E0E7920ACF04 Time : 1200.0 sec. user=mdettweiler [2011-01-22 11:20:01] 2301*2^332522-1 is not prime. Res64: 82FA956841FA8889 Time : 1200.0 sec. user=vaughan [2011-01-22 11:22:37] 2301*2^332474-1 is not prime. Res64: ABB55D6C055EE85E Time : 1523.0 sec. user=mdettweiler [2011-01-22 11:26:05] 2301*2^332457-1 is not prime. Res64: D912B4C3CBF54C1A Time : 2409.0 sec. user=mdettweiler [2011-01-22 11:40:01] 2301*2^332534-1 is not prime. Res64: A953EFD4B5DD6AF9 Time : 1199.0 sec. user=vaughan [2011-01-22 11:48:07] 2301*2^332558-1 is not prime. Res64: 0C9D331162DFF516 Time : 1529.0 sec. user=mdettweiler [2011-01-22 12:00:11] 2301*2^332566-1 is not prime. Res64: 3C571555D87F31BF Time : 1205.0 sec. user=mdettweiler [2011-01-22 12:06:41] 2301*2^332565-1 is not prime. Res64: EFDFA18998325BF4 Time : 2436.0 sec. user=vaughan [2011-01-22 12:13:32] 2301*2^332587-1 is not prime. Res64: AE65B123368A374D Time : 1524.0 sec. user=mdettweiler [2011-01-22 12:20:13] 2301*2^332601-1 is not prime. Res64: 5AEFA4CCD2ED6957 Time : 1201.0 sec. user=vaughan [2011-01-22 12:38:57] 2301*2^332647-1 is not prime. Res64: 647A1323D294FD38 Time : 1524.0 sec. user=mdettweiler [2011-01-22 12:40:19] 2301*2^332650-1 is not prime. Res64: 979BA1930DB67752 Time : 1205.0 sec. user=mdettweiler [2011-01-22 12:46:50] 2301*2^332625-1 is not prime. Res64: 24B80DC659B720E8 Time : 2408.0 sec. user=mdettweiler [2011-01-22 13:00:29] 2301*2^332663-1 is not prime. Res64: 7A6C9F644F24903B Time : 1206.0 sec. user=vaughan [2011-01-22 13:04:21] 2301*2^332661-1 is not prime. Res64: B38782666D5B0829 Time : 1523.0 sec. user=mdettweiler [2011-01-22 13:20:35] 2301*2^332686-1 is not prime. Res64: 4FBDD1ED16A12A2C Time : 1204.0 sec. user=mdettweiler [2011-01-22 13:26:55] 2301*2^332671-1 is not prime. Res64: 6FEE1DD959A1C22B Time : 2405.0 sec. user=vaughan [2011-01-22 13:29:45] 2301*2^332714-1 is not prime. Res64: 2C8E7A2E0E9047C8 Time : 1524.0 sec. user=mdettweiler [2011-01-22 13:40:46] 2301*2^332715-1 is not prime. Res64: 0398ABE6C3C926DA Time : 1209.0 sec. user=vaughan [2011-01-22 13:55:09] 2301*2^332734-1 is not prime. Res64: 8620081B4B967D2D Time : 1523.0 sec. user=mdettweiler [2011-01-22 14:00:51] 2301*2^332798-1 is not prime. Res64: 8453870E54DD677F Time : 1199.0 sec. user=mdettweiler [2011-01-22 14:07:06] 2301*2^332726-1 is not prime. Res64: 25D93CC9BD866AAA Time : 2411.0 sec. user=vaughan [2011-01-22 14:20:33] 2301*2^332802-1 is not prime. Res64: 08C30242523C3629 Time : 1523.0 sec. user=mdettweiler [2011-01-22 14:20:50] 2301*2^332835-1 is not prime. Res64: 4F496597FA562744 Time : 1197.0 sec. user=mdettweiler [2011-01-22 14:40:53] 2301*2^332905-1 is not prime. Res64: B1755B876AD0F045 Time : 1202.0 sec. user=vaughan [2011-01-22 14:46:02] 2301*2^332890-1 is not prime. Res64: C77A14319168922E Time : 1528.0 sec. user=mdettweiler [2011-01-22 14:47:09] 2301*2^332886-1 is not prime. Res64: CE9790DD3E348A05 Time : 2403.0 sec. user=mdettweiler [2011-01-22 15:00:55] 2301*2^332911-1 is not prime. Res64: B3D386EACF6742FB Time : 1197.0 sec. user=vaughan [2011-01-22 15:11:25] 2301*2^332914-1 is not prime. Res64: F120AD6772AE77F7 Time : 1523.0 sec. user=mdettweiler [2011-01-22 15:21:19] 2301*2^332962-1 is not prime. Res64: D8B414FCFDCC026E Time : 1222.0 sec. user=mdettweiler [2011-01-22 15:27:22] 2301*2^332934-1 is not prime. Res64: 9D96A570998F4950 Time : 2413.0 sec. user=vaughan [2011-01-22 15:36:54] 2301*2^333007-1 is not prime. Res64: AAA4B5D53062857A Time : 1528.0 sec. user=mdettweiler [2011-01-22 15:41:25] 2301*2^333023-1 is not prime. Res64: 170600F33C0F950C Time : 1205.0 sec. user=mdettweiler [2011-01-22 16:01:41] 2301*2^333057-1 is not prime. Res64: F2B8B8DA03D07185 Time : 1214.0 sec. user=vaughan [2011-01-22 16:02:18] 2301*2^333050-1 is not prime. Res64: 12A2E25F832AAF27 Time : 1524.0 sec. user=mdettweiler [2011-01-22 16:08:02] 2301*2^333027-1 is not prime. Res64: 5B08AC76CA10B4B9 Time : 2439.0 sec. user=mdettweiler [2011-01-22 16:21:44] 2301*2^333067-1 is not prime. Res64: 2F5D94C4CE2E8D01 Time : 1201.0 sec. user=vaughan [2011-01-22 16:27:44] 2301*2^333078-1 is not prime. Res64: C8AD0FED0791B64A Time : 1524.0 sec. user=mdettweiler [2011-01-22 16:41:44] 2301*2^333098-1 is not prime. Res64: 8E93BA58BDAF2917 Time : 1195.0 sec. user=mdettweiler [2011-01-22 16:48:14] 2301*2^333095-1 is not prime. Res64: 9FE0CD83877B1864 Time : 2412.0 sec. user=vaughan [2011-01-22 16:53:10] 2301*2^333110-1 is not prime. Res64: CE57CB8E6768D6D8 Time : 1526.0 sec. user=mdettweiler [2011-01-22 17:01:49] 2301*2^333170-1 is not prime. Res64: A19CCDDC3EA46478 Time : 1201.0 sec. user=vaughan [2011-01-22 17:18:38] 2301*2^333222-1 is not prime. Res64: DF4176C739C42378 Time : 1527.0 sec. user=mdettweiler [2011-01-22 17:21:47] 2301*2^333246-1 is not prime. Res64: 1AA788791383E385 Time : 1197.0 sec. user=mdettweiler [2011-01-22 17:28:28] 2301*2^333217-1 is not prime. Res64: 417E868E95022DE9 Time : 2414.0 sec. user=mdettweiler [2011-01-22 17:42:14] 2301*2^333326-1 is not prime. Res64: CC4C19D1DEA77095 Time : 1222.0 sec. user=vaughan [2011-01-22 17:44:18] 2301*2^333290-1 is not prime. Res64: B76398236E10C8F5 Time : 1539.0 sec. user=mdettweiler [2011-01-22 18:02:14] 2301*2^333357-1 is not prime. Res64: 0688D886CB7D055A Time : 1197.0 sec. user=mdettweiler [2011-01-22 18:08:47] 2301*2^333354-1 is not prime. Res64: A1C38B261631FC23 Time : 2419.0 sec. user=vaughan [2011-01-22 18:09:48] 2301*2^333390-1 is not prime. Res64: B6085A747631CB0E Time : 1529.0 sec. user=mdettweiler [2011-01-22 18:22:28] 2301*2^333402-1 is not prime. Res64: C62CE87913734D57 Time : 1212.0 sec. user=vaughan [2011-01-22 18:35:22] 2301*2^333430-1 is not prime. Res64: B160AB5D8BC7E4B7 Time : 1534.0 sec. user=mdettweiler [2011-01-22 18:42:31] 2301*2^333435-1 is not prime. Res64: 622BB257FE28FA56 Time : 1201.0 sec. user=mdettweiler [2011-01-22 18:49:04] 2301*2^333407-1 is not prime. Res64: 2A1EC2F2085ED355 Time : 2416.0 sec. user=vaughan [2011-01-22 19:00:48] 2301*2^333437-1 is not prime. Res64: 80E2BCD0DF982D91 Time : 1526.0 sec. user=mdettweiler [2011-01-22 19:02:42] 2301*2^333441-1 is not prime. Res64: 4A9F3C9A90068056 Time : 1206.0 sec. user=mdettweiler [2011-01-22 19:22:45] 2301*2^333447-1 is not prime. Res64: 70ABB5AF5052AA6C Time : 1202.0 sec. user=vaughan [2011-01-22 19:26:16] 2301*2^333446-1 is not prime. Res64: D01EB5C5B7A901F1 Time : 1527.0 sec. user=mdettweiler [2011-01-22 19:29:25] 2301*2^333442-1 is not prime. Res64: E6671731401373E5 Time : 2421.0 sec. user=mdettweiler [2011-01-22 19:42:49] 2301*2^333482-1 is not prime. Res64: 85A82CEED6ADEFB2 Time : 1202.0 sec. user=vaughan [2011-01-22 19:51:46] 2301*2^333501-1 is not prime. Res64: A46A1D83B31B90EC Time : 1529.0 sec. user=mdettweiler [2011-01-22 20:02:50] 2301*2^333547-1 is not prime. Res64: C4A30AB28C5E1ACD Time : 1197.0 sec. user=mdettweiler [2011-01-22 20:10:02] 2301*2^333511-1 is not prime. Res64: 7F124E42FDFFF274 Time : 2437.0 sec. user=vaughan [2011-01-22 20:17:14] 2301*2^333577-1 is not prime. Res64: A0D13B4BFFB009DB Time : 1527.0 sec. user=mdettweiler [2011-01-22 20:23:00] 2301*2^333582-1 is not prime. Res64: 2EB96DFC752B6031 Time : 1208.0 sec. user=vaughan [2011-01-22 20:42:46] 2301*2^333617-1 is not prime. Res64: 6AAF0572CE5D94B5 Time : 1531.0 sec. user=mdettweiler [2011-01-22 20:43:00] 2301*2^333645-1 is not prime. Res64: B78E111BFFED3E90 Time : 1199.0 sec. user=mdettweiler [2011-01-22 20:50:27] 2301*2^333594-1 is not prime. Res64: AEF09C0C4C9FC184 Time : 2425.0 sec. user=mdettweiler [2011-01-22 21:03:08] 2301*2^333695-1 is not prime. Res64: 74899E9A52FA2492 Time : 1204.0 sec. user=vaughan [2011-01-22 21:08:14] 2301*2^333650-1 is not prime. Res64: 2008789691BA01FA Time : 1527.0 sec. user=mdettweiler [2011-01-22 21:23:10] 2301*2^333746-1 is not prime. Res64: E0C2FFC644E2A519 Time : 1200.0 sec. user=mdettweiler [2011-01-22 21:31:17] 2301*2^333745-1 is not prime. Res64: C4F574EF414C6176 Time : 2450.0 sec. user=vaughan [2011-01-22 21:33:47] 2301*2^333750-1 is not prime. Res64: 86D8098536401738 Time : 1532.0 sec. user=mdettweiler [2011-01-22 21:43:23] 2301*2^333782-1 is not prime. Res64: 65E6E0BCC0ACF3F7 Time : 1211.0 sec. user=vaughan [2011-01-22 21:59:17] 2301*2^333801-1 is not prime. Res64: DA612BD5963C472A Time : 1530.0 sec. user=mdettweiler [2011-01-22 22:03:29] 2301*2^333825-1 is not prime. Res64: BC775D7D9DC12148 Time : 1203.0 sec. user=mdettweiler [2011-01-22 22:11:35] 2301*2^333790-1 is not prime. Res64: A0C2CDD4A57FD7A7 Time : 2418.0 sec. user=mdettweiler [2011-01-22 22:23:31] 2301*2^333895-1 is not prime. Res64: 3E5D5BE85331F7BF Time : 1197.0 sec. user=vaughan [2011-01-22 22:24:50] 2301*2^333841-1 is not prime. Res64: 257C193A4DD61C35 Time : 1533.0 sec. user=mdettweiler [2011-01-22 22:43:29] 2301*2^333930-1 is not prime. Res64: 824F9A5AB57C1364 Time : 1196.0 sec. user=vaughan [2011-01-22 22:50:22] 2301*2^333950-1 is not prime. Res64: E9799D2830BCAC7C Time : 1532.0 sec. user=mdettweiler [2011-01-22 22:51:58] 2301*2^333910-1 is not prime. Res64: 06453E80F5CAFE9C Time : 2423.0 sec. user=mdettweiler [2011-01-22 23:03:34] 2301*2^333977-1 is not prime. Res64: FEF434808D654E16 Time : 1202.0 sec. user=vaughan [2011-01-22 23:16:03] 2301*2^333978-1 is not prime. Res64: CA4C1EF0B415D742 Time : 1540.0 sec. user=mdettweiler [2011-01-22 23:23:44] 2301*2^334094-1 is not prime. Res64: B80FF25B2A3B8B7F Time : 1208.0 sec. user=mdettweiler [2011-01-22 23:32:13] 2301*2^334021-1 is not prime. Res64: A0BE366593F29E3B Time : 2415.0 sec. user=vaughan [2011-01-22 23:41:34] 2301*2^334138-1 is not prime. Res64: B1C161BA0A9FA7FB Time : 1531.0 sec. user=mdettweiler [2011-01-22 23:43:49] 2301*2^334142-1 is not prime. Res64: B559BBBFD1829129 Time : 1203.0 sec.