user=mdettweiler
[2011-01-24 00:03:16]
2301*2^337155-1 is not prime.  Res64: B159F8E51F362C70  Time : 1208.0 sec.
user=vaughan
[2011-01-24 00:09:11]
2301*2^337185-1 is not prime.  Res64: 74562D636A47BA71  Time : 1547.0 sec.
user=mdettweiler
[2011-01-24 00:19:00]
2301*2^337142-1 is not prime.  Res64: 6AB548D0A5AA94E0  Time : 2465.0 sec.
user=mdettweiler
[2011-01-24 00:23:27]
2301*2^337207-1 is not prime.  Res64: 759E36B1EF9FF8E6  Time : 1207.0 sec.
user=vaughan
[2011-01-24 00:35:13]
2301*2^337214-1 is not prime.  Res64: D6BEAC666772951E  Time : 1561.0 sec.
user=mdettweiler
[2011-01-24 00:43:44]
2301*2^337258-1 is not prime.  Res64: F6600E9E5E3C5EE6  Time : 1214.0 sec.
user=vaughan
[2011-01-24 01:01:00]
2301*2^337270-1 is not prime.  Res64: 8B74F74C032486CE  Time : 1546.0 sec.
user=mdettweiler
[2011-01-24 01:04:00]
2301*2^337277-1 is not prime.  Res64: 3AF95FC6848AC83F  Time : 1214.0 sec.
user=mdettweiler
[2011-01-24 01:23:23]
2301*2^337223-1 is not prime.  Res64: 11AE62E50A9C0F37  Time : 3863.0 sec.
user=mdettweiler
[2011-01-24 01:24:18]
2301*2^337286-1 is not prime.  Res64: A754FF1FFB211EDA  Time : 1208.0 sec.
user=vaughan
[2011-01-24 01:26:50]
2301*2^337278-1 is not prime.  Res64: 229EBF5F1A474E2E  Time : 1550.0 sec.
user=mdettweiler
[2011-01-24 01:44:37]
2301*2^337343-1 is not prime.  Res64: 377DA757B2A31493  Time : 1217.0 sec.
user=vaughan
[2011-01-24 01:52:48]
2301*2^337346-1 is not prime.  Res64: 6AC58DD56671D451  Time : 1557.0 sec.
user=mdettweiler
[2011-01-24 02:04:12]
2301*2^337310-1 is not prime.  Res64: 7F2516A363BE75B7  Time : 2449.0 sec.
user=mdettweiler
[2011-01-24 02:04:57]
2301*2^337382-1 is not prime.  Res64: 5B9A1D1103F35938  Time : 1219.0 sec.
user=vaughan
[2011-01-24 02:18:38]
2301*2^337397-1 is not prime.  Res64: ED2079477B6E47A7  Time : 1549.0 sec.
user=mdettweiler
[2011-01-24 02:25:11]
2301*2^337435-1 is not prime.  Res64: FC327056C268C629  Time : 1213.0 sec.
user=vaughan
[2011-01-24 02:44:30]
2301*2^337437-1 is not prime.  Res64: 59E7BA5A16E35F4E  Time : 1551.0 sec.
user=mdettweiler
[2011-01-24 02:44:53]
2301*2^337426-1 is not prime.  Res64: 307C0ED73616402C  Time : 2441.0 sec.
user=mdettweiler
[2011-01-24 02:45:26]
2301*2^337446-1 is not prime.  Res64: A1789AED04A8AAB2  Time : 1213.0 sec.
user=mdettweiler
[2011-01-24 03:05:38]
2301*2^337537-1 is not prime.  Res64: 0550104017B0BBA9  Time : 1210.0 sec.
user=vaughan
[2011-01-24 03:10:19]
2301*2^337450-1 is not prime.  Res64: 458BE29FFEAD5423  Time : 1548.0 sec.
user=mdettweiler
[2011-01-24 03:25:33]
2301*2^337490-1 is not prime.  Res64: 158FF0D64A7D49C6  Time : 2440.0 sec.
user=mdettweiler
[2011-01-24 03:26:11]
2301*2^337550-1 is not prime.  Res64: 2BB022A83F1F95F5  Time : 1228.0 sec.
user=vaughan
[2011-01-24 03:36:08]
2301*2^337566-1 is not prime.  Res64: 0AEBDA2663C0D94E  Time : 1548.0 sec.
user=mdettweiler
[2011-01-24 03:46:26]
2301*2^337617-1 is not prime.  Res64: 2F9C502ED91D987C  Time : 1214.0 sec.
user=vaughan
[2011-01-24 04:01:56]
2301*2^337674-1 is not prime.  Res64: 9D7E457996C0C0DB  Time : 1547.0 sec.
user=mdettweiler
[2011-01-24 04:06:30]
2301*2^337614-1 is not prime.  Res64: 7236980A8F7CB112  Time : 2457.0 sec.
user=mdettweiler
[2011-01-24 04:06:52]
2301*2^337714-1 is not prime.  Res64: 8EAC495F7AF390AF  Time : 1224.0 sec.
user=mdettweiler
[2011-01-24 04:27:26]
2301*2^337738-1 is not prime.  Res64: EBBC709371245DF8  Time : 1232.0 sec.
user=vaughan
[2011-01-24 04:27:45]
2301*2^337718-1 is not prime.  Res64: 47BCE895C523D89A  Time : 1548.0 sec.
user=mdettweiler
[2011-01-24 04:47:13]
2301*2^337730-1 is not prime.  Res64: B7B3020D1857CFB2  Time : 2442.0 sec.
user=mdettweiler
[2011-01-24 04:48:00]
2301*2^337747-1 is not prime.  Res64: FFB08C0E569C63DC  Time : 1232.0 sec.
user=vaughan
[2011-01-24 04:53:57]
2301*2^337767-1 is not prime.  Res64: AB8C8B7B4D4DBE2B  Time : 1572.0 sec.
user=mdettweiler
[2011-01-24 05:08:26]
2301*2^337815-1 is not prime.  Res64: 9F1A58E1D6A59F19  Time : 1225.0 sec.
user=vaughan
[2011-01-24 05:19:54]
2301*2^337827-1 is not prime.  Res64: 177D98535124A623  Time : 1551.0 sec.
user=mdettweiler
[2011-01-24 05:28:46]
2301*2^337838-1 is not prime.  Res64: 16864AAA94FA50EB  Time : 1216.0 sec.
user=mdettweiler
[2011-01-24 05:29:13]
2301*2^337778-1 is not prime.  Res64: D6FDA0E69A9BD45F  Time : 2520.0 sec.
user=vaughan
[2011-01-24 05:45:48]
2301*2^337850-1 is not prime.  Res64: BE87460507592E45  Time : 1554.0 sec.
user=mdettweiler
[2011-01-24 05:49:07]
2301*2^337851-1 is not prime.  Res64: 0D48D542274C6941  Time : 1219.0 sec.
user=mdettweiler
[2011-01-24 06:09:26]
2301*2^337915-1 is not prime.  Res64: 89208658EF5D2719  Time : 1218.0 sec.
user=mdettweiler
[2011-01-24 06:09:59]
2301*2^337897-1 is not prime.  Res64: 9794BC5117EC03E0  Time : 2445.0 sec.
user=vaughan
[2011-01-24 06:11:37]
2301*2^337914-1 is not prime.  Res64: 1664DFBD4CACAD01  Time : 1549.0 sec.
user=mdettweiler
[2011-01-24 06:29:47]
2301*2^337918-1 is not prime.  Res64: 33D236156C2CCABD  Time : 1218.0 sec.
user=vaughan
[2011-01-24 06:37:45]
2301*2^338002-1 is not prime.  Res64: B6C514B940E751FA  Time : 1567.0 sec.
user=mdettweiler
[2011-01-24 06:50:01]
2301*2^338005-1 is not prime.  Res64: 495AAC8C50AB4998  Time : 1213.0 sec.
user=mdettweiler
[2011-01-24 06:50:46]
2301*2^337957-1 is not prime.  Res64: 2BAD4335751ACCFF  Time : 2447.0 sec.
user=vaughan
[2011-01-24 07:03:38]
2301*2^338037-1 is not prime.  Res64: 8946BC23F8637FE2  Time : 1552.0 sec.
user=mdettweiler
[2011-01-24 07:10:45]
2301*2^338043-1 is not prime.  Res64: F2EEE460AEB08714  Time : 1243.0 sec.
user=vaughan
[2011-01-24 07:29:37]
2301*2^338061-1 is not prime.  Res64: 92E6EE42D6503933  Time : 1558.0 sec.
user=mdettweiler
[2011-01-24 07:31:28]
2301*2^338058-1 is not prime.  Res64: 9E9D8174F57961E4  Time : 2442.0 sec.
user=mdettweiler
[2011-01-24 07:31:59]
2301*2^338065-1 is not prime.  Res64: C23229612C7BDE20  Time : 1269.0 sec.
user=mdettweiler
[2011-01-24 07:52:34]
2301*2^338110-1 is not prime.  Res64: 4D2A883E885C88E8  Time : 1234.0 sec.
user=vaughan
[2011-01-24 07:55:31]
2301*2^338078-1 is not prime.  Res64: 56CEDDCFD9A3E4BA  Time : 1554.0 sec.
user=mdettweiler
[2011-01-24 08:12:31]
2301*2^338098-1 is not prime.  Res64: 984CFA1484D121F1  Time : 2463.0 sec.
user=mdettweiler
[2011-01-24 08:13:35]
2301*2^338121-1 is not prime.  Res64: FB37DF8A25BE5FE8  Time : 1259.0 sec.
user=vaughan
[2011-01-24 08:21:25]
2301*2^338122-1 is not prime.  Res64: ECA9B3507DB1AD81  Time : 1553.0 sec.
user=mdettweiler
[2011-01-24 08:34:06]
2301*2^338146-1 is not prime.  Res64: BA7F79F4F0D427FC  Time : 1230.0 sec.
user=vaughan
[2011-01-24 08:47:21]
2301*2^338167-1 is not prime.  Res64: C0B309BB49970BC2  Time : 1556.0 sec.
user=mdettweiler
[2011-01-24 08:53:13]
2301*2^338145-1 is not prime.  Res64: FE6B1E2DA0960507  Time : 2442.0 sec.
user=mdettweiler
[2011-01-24 08:54:56]
2301*2^338242-1 is not prime.  Res64: CAA20A357A8D8130  Time : 1249.0 sec.
user=vaughan
[2011-01-24 09:13:13]
2301*2^338254-1 is not prime.  Res64: 2842F2A8D3EA78FC  Time : 1551.0 sec.
user=mdettweiler
[2011-01-24 09:15:10]
2301*2^338303-1 is not prime.  Res64: B2E3732BB9F6F9E9  Time : 1213.0 sec.
user=mdettweiler
[2011-01-24 09:34:06]
2301*2^338265-1 is not prime.  Res64: B7910EBC43B6DC94  Time : 2453.0 sec.
user=mdettweiler
[2011-01-24 09:35:50]
2301*2^338362-1 is not prime.  Res64: E58F0B6ED7CC2B2C  Time : 1239.0 sec.
user=vaughan
[2011-01-24 09:39:59]
2301*2^338331-1 is not prime.  Res64: 164D3F50532ABA2C  Time : 1605.0 sec.
user=mdettweiler
[2011-01-24 09:56:07]
2301*2^338374-1 is not prime.  Res64: D49AF18B269ABA12  Time : 1213.0 sec.
user=vaughan
[2011-01-24 10:05:55]
2301*2^338390-1 is not prime.  Res64: ED6E7837B1A55DA4  Time : 1555.0 sec.
user=mdettweiler
[2011-01-24 10:14:55]
2301*2^338365-1 is not prime.  Res64: C86543DF7C72D551  Time : 2449.0 sec.
user=mdettweiler
[2011-01-24 10:16:35]
2301*2^338397-1 is not prime.  Res64: 6160028AE3A88236  Time : 1226.0 sec.
user=vaughan
[2011-01-24 10:31:54]
2301*2^338403-1 is not prime.  Res64: DD29BAE59EA7D2B1  Time : 1558.0 sec.
user=mdettweiler
[2011-01-24 10:36:52]
2301*2^338542-1 is not prime.  Res64: 0B68FE3C474853F4  Time : 1215.0 sec.
user=mdettweiler
[2011-01-24 10:55:42]
2301*2^338534-1 is not prime.  Res64: EBC3BDD365F0DF6A  Time : 2447.0 sec.
user=mdettweiler
[2011-01-24 10:57:16]
2301*2^338585-1 is not prime.  Res64: 019A3F441B124C9F  Time : 1223.0 sec.
user=vaughan
[2011-01-24 10:57:48]
2301*2^338571-1 is not prime.  Res64: 304C1C6E3886E40A  Time : 1553.0 sec.
user=mdettweiler
[2011-01-24 11:17:49]
2301*2^338598-1 is not prime.  Res64: F5CD3FFDD9BBA97A  Time : 1229.0 sec.
user=vaughan
[2011-01-24 11:23:42]
2301*2^338606-1 is not prime.  Res64: B64A61763FF7091B  Time : 1554.0 sec.
user=mdettweiler
[2011-01-24 11:36:30]
2301*2^338586-1 is not prime.  Res64: 8E95284A3A8671D0  Time : 2448.0 sec.
user=mdettweiler
[2011-01-24 11:38:11]
2301*2^338631-1 is not prime.  Res64: 7CF077057D4DF619  Time : 1218.0 sec.
user=vaughan
[2011-01-24 11:49:41]
2301*2^338663-1 is not prime.  Res64: DC53B519CC0F1403  Time : 1559.0 sec.
user=mdettweiler
[2011-01-24 11:58:31]
2301*2^338770-1 is not prime.  Res64: D591BCF3B86379C0  Time : 1219.0 sec.
user=vaughan
[2011-01-24 12:15:37]
2301*2^338783-1 is not prime.  Res64: 4D09CC24B8E474B4  Time : 1555.0 sec.
user=mdettweiler
[2011-01-24 12:17:39]
2301*2^338725-1 is not prime.  Res64: 02343A552F466E53  Time : 2469.0 sec.
user=mdettweiler
[2011-01-24 12:19:14]
2301*2^338791-1 is not prime.  Res64: 2D6F58EB9A62134E  Time : 1242.0 sec.
user=mdettweiler
[2011-01-24 12:39:32]
2301*2^338890-1 is not prime.  Res64: 5CAEE56A4B05B1E6  Time : 1214.0 sec.
user=vaughan
[2011-01-24 12:41:47]
2301*2^338797-1 is not prime.  Res64: D9961F863297F1B7  Time : 1569.0 sec.
user=mdettweiler
[2011-01-24 12:58:32]
2301*2^338826-1 is not prime.  Res64: 5B0286528DBDD7B4  Time : 2453.0 sec.
user=mdettweiler
[2011-01-24 12:59:51]
2301*2^338907-1 is not prime.  Res64: 200F56098A39494C  Time : 1218.0 sec.
user=vaughan
[2011-01-24 13:07:43]
2301*2^338946-1 is not prime.  Res64: 2D61DAB527D1E038  Time : 1557.0 sec.
user=mdettweiler
[2011-01-24 13:20:28]
2301*2^338982-1 is not prime.  Res64: 1C7F856F593C26B7  Time : 1235.0 sec.
user=vaughan
[2011-01-24 13:33:48]
2301*2^339003-1 is not prime.  Res64: 3B2F3E805D80B7F2  Time : 1562.0 sec.
user=mdettweiler
[2011-01-24 13:40:05]
2301*2^338978-1 is not prime.  Res64: 9A3F789E2010111F  Time : 2491.0 sec.
user=mdettweiler
[2011-01-24 13:40:52]
2301*2^339005-1 is not prime.  Res64: D64B85FA6439774A  Time : 1221.0 sec.
user=vaughan
[2011-01-24 13:59:46]
2301*2^339017-1 is not prime.  Res64: AC2137EDF85C504C  Time : 1557.0 sec.
user=mdettweiler
[2011-01-24 14:01:22]
2301*2^339070-1 is not prime.  Res64: F791546A5C61AA05  Time : 1227.0 sec.
user=mdettweiler
[2011-01-24 14:20:58]
2301*2^339026-1 is not prime.  Res64: 935A29AEEDD01377  Time : 2453.0 sec.
user=mdettweiler
[2011-01-24 14:21:38]
2301*2^339091-1 is not prime.  Res64: 9960C5BBE20F5DF0  Time : 1215.0 sec.
user=vaughan
[2011-01-24 14:25:41]
2301*2^339077-1 is not prime.  Res64: 953BEEE189F8A8E9  Time : 1554.0 sec.
user=mdettweiler
[2011-01-24 14:42:09]
2301*2^339145-1 is not prime.  Res64: 027347DBE9F98021  Time : 1230.0 sec.
user=vaughan
[2011-01-24 14:51:40]
2301*2^339157-1 is not prime.  Res64: F95D1A218CAB32A6  Time : 1558.0 sec.
user=mdettweiler
[2011-01-24 15:02:25]
2301*2^339170-1 is not prime.  Res64: 0C57B594202C125F  Time : 1214.0 sec.
user=mdettweiler
[2011-01-24 15:02:57]
2301*2^339138-1 is not prime.  Res64: 0FFA5A2EA90D3B95  Time : 2519.0 sec.
user=vaughan
[2011-01-24 15:17:40]
2301*2^339194-1 is not prime.  Res64: EE48B3F1F43C2D5C  Time : 1560.0 sec.
user=mdettweiler
[2011-01-24 15:22:52]
2301*2^339198-1 is not prime.  Res64: 958203FD0E56FBF8  Time : 1226.0 sec.
user=mdettweiler
[2011-01-24 15:43:12]
2301*2^339271-1 is not prime.  Res64: AD5EBF73DE5A729A  Time : 1216.0 sec.
user=vaughan
[2011-01-24 15:43:41]
2301*2^339250-1 is not prime.  Res64: 148E34997736F2C9  Time : 1560.0 sec.
user=mdettweiler
[2011-01-24 15:43:49]
2301*2^339217-1 is not prime.  Res64: D481CC415368A531  Time : 2451.0 sec.
user=mdettweiler
[2011-01-24 16:03:34]
2301*2^339286-1 is not prime.  Res64: 42075D547BC37CB8  Time : 1221.0 sec.
user=vaughan
[2011-01-24 16:09:40]
2301*2^339287-1 is not prime.  Res64: DEEB80006C1CFD57  Time : 1558.0 sec.
user=mdettweiler
[2011-01-24 16:23:52]
2301*2^339321-1 is not prime.  Res64: 401A73C1126C7FF4  Time : 1217.0 sec.
user=mdettweiler
[2011-01-24 16:25:02]
2301*2^339294-1 is not prime.  Res64: A60DF04E145596C7  Time : 2472.0 sec.
user=vaughan
[2011-01-24 16:35:49]
2301*2^339325-1 is not prime.  Res64: DB27690EA500FE87  Time : 1569.0 sec.
user=mdettweiler
[2011-01-24 16:44:27]
2301*2^339358-1 is not prime.  Res64: 027F0DB39C51C034  Time : 1230.0 sec.
user=vaughan
[2011-01-24 17:02:01]
2301*2^339398-1 is not prime.  Res64: 4DE6549AEB72FB1F  Time : 1571.0 sec.
user=mdettweiler
[2011-01-24 17:04:54]
2301*2^339455-1 is not prime.  Res64: 7B5732E14C84831E  Time : 1225.0 sec.
user=mdettweiler
[2011-01-24 17:05:53]
2301*2^339387-1 is not prime.  Res64: 44A5069C92EA865E  Time : 2450.0 sec.
user=mdettweiler
[2011-01-24 17:25:27]
2301*2^339485-1 is not prime.  Res64: 6E9D9B2DBFCCE42A  Time : 1230.0 sec.
user=vaughan
[2011-01-24 17:28:00]
2301*2^339467-1 is not prime.  Res64: FF37F01511497422  Time : 1558.0 sec.
user=mdettweiler
[2011-01-24 17:46:14]
2301*2^339550-1 is not prime.  Res64: DD605D9EFA67A158  Time : 1243.0 sec.
user=mdettweiler
[2011-01-24 17:47:01]
2301*2^339510-1 is not prime.  Res64: 97F0F0A27A69EDEA  Time : 2468.0 sec.
user=vaughan
[2011-01-24 17:54:04]
2301*2^339558-1 is not prime.  Res64: F17F09E1A9678D46  Time : 1564.0 sec.
user=mdettweiler
[2011-01-24 18:06:45]
2301*2^339565-1 is not prime.  Res64: 09051B833E6E138C  Time : 1229.0 sec.
user=vaughan
[2011-01-24 18:20:06]
2301*2^339597-1 is not prime.  Res64: F8F77B83809ED1AE  Time : 1562.0 sec.
user=mdettweiler
[2011-01-24 18:27:14]
2301*2^339621-1 is not prime.  Res64: D2AE414F0A1158B3  Time : 1227.0 sec.
user=mdettweiler
[2011-01-24 18:27:59]
2301*2^339578-1 is not prime.  Res64: 306894819D459C8B  Time : 2457.0 sec.
user=vaughan
[2011-01-24 18:46:10]
2301*2^339635-1 is not prime.  Res64: 6B081E71B8BB8F18  Time : 1563.0 sec.
user=mdettweiler
[2011-01-24 18:47:53]
2301*2^339646-1 is not prime.  Res64: 193ECD9A112EB31C  Time : 1235.0 sec.
user=mdettweiler
[2011-01-24 19:08:21]
2301*2^339727-1 is not prime.  Res64: 9BD9905B3EB00009  Time : 1226.0 sec.
user=mdettweiler
[2011-01-24 19:08:53]
2301*2^339661-1 is not prime.  Res64: 78248169B8466715  Time : 2453.0 sec.
user=vaughan
[2011-01-24 19:12:09]
2301*2^339714-1 is not prime.  Res64: EDAC2ADE7A8D648B  Time : 1558.0 sec.
user=mdettweiler
[2011-01-24 19:28:58]
2301*2^339743-1 is not prime.  Res64: AE049A933387F8AA  Time : 1235.0 sec.
user=vaughan
[2011-01-24 19:38:14]
2301*2^339798-1 is not prime.  Res64: F8C2ACE33268C314  Time : 1564.0 sec.
user=mdettweiler
[2011-01-24 19:49:26]
2301*2^339822-1 is not prime.  Res64: 165EF59B04CAFCAF  Time : 1224.0 sec.
user=mdettweiler
[2011-01-24 19:49:50]
2301*2^339787-1 is not prime.  Res64: 9449C8B587235B5A  Time : 2456.0 sec.
user=vaughan
[2011-01-24 20:04:17]
2301*2^339830-1 is not prime.  Res64: 96FD83D1B30477B0  Time : 1562.0 sec.
user=mdettweiler
[2011-01-24 20:10:14]
2301*2^339835-1 is not prime.  Res64: 7793C82209EB59F6  Time : 1243.0 sec.
user=vaughan
[2011-01-24 20:30:20]
2301*2^339858-1 is not prime.  Res64: BCA22F016F096450  Time : 1562.0 sec.
user=mdettweiler
[2011-01-24 20:30:54]
2301*2^339870-1 is not prime.  Res64: 03226AD3A0C8C45E  Time : 1238.0 sec.
user=mdettweiler
[2011-01-24 20:46:36]
2301*2^339842-1 is not prime.  Res64: F4CBEDC13F0B62F6  Time : 3405.0 sec.
user=mdettweiler
[2011-01-24 20:51:30]
2301*2^339905-1 is not prime.  Res64: 8BB53CFE0FAC173E  Time : 1234.0 sec.
user=vaughan
[2011-01-24 20:56:20]
2301*2^339895-1 is not prime.  Res64: 4B8CDECE83078C12  Time : 1560.0 sec.
user=mdettweiler
[2011-01-24 21:11:50]
2301*2^339915-1 is not prime.  Res64: 2F48C82D341C22F8  Time : 1218.0 sec.
user=vaughan
[2011-01-24 21:22:22]
2301*2^339926-1 is not prime.  Res64: 01AB907863776112  Time : 1562.0 sec.
user=mdettweiler
[2011-01-24 21:26:31]
2301*2^339914-1 is not prime.  Res64: F064402338AEF12F  Time : 2395.0 sec.
user=mdettweiler
[2011-01-24 21:32:19]
2301*2^339931-1 is not prime.  Res64: B776E8787C08370F  Time : 1224.0 sec.
user=vaughan
[2011-01-24 21:48:28]
2301*2^339937-1 is not prime.  Res64: 3C336095622E9036  Time : 1566.0 sec.
user=mdettweiler
[2011-01-24 21:52:42]
2301*2^339945-1 is not prime.  Res64: 198E5C9B148277FB  Time : 1219.0 sec.
user=mdettweiler
[2011-01-24 22:06:39]
2301*2^339942-1 is not prime.  Res64: 950F40112DB7A0EB  Time : 2407.0 sec.
user=mdettweiler
[2011-01-24 22:13:01]
2301*2^339994-1 is not prime.  Res64: 66876B0A437FD289  Time : 1217.0 sec.
user=vaughan
[2011-01-24 22:14:29]
2301*2^339946-1 is not prime.  Res64: 1669EC66379FBCEA  Time : 1560.0 sec.
user=mdettweiler
[2011-01-24 22:33:45]
2301*2^340067-1 is not prime.  Res64: B423D0B45C0DA0F0  Time : 1242.0 sec.
user=vaughan
[2011-01-24 22:40:35]
2301*2^340081-1 is not prime.  Res64: 237A2108AAAE4C9B  Time : 1566.0 sec.
user=mdettweiler
[2011-01-24 22:46:50]
2301*2^340015-1 is not prime.  Res64: 0ECF49226A1A432D  Time : 2411.0 sec.
user=mdettweiler
[2011-01-24 22:54:11]
2301*2^340118-1 is not prime.  Res64: 4DF11083152DE765  Time : 1223.0 sec.
user=vaughan
[2011-01-24 23:06:39]
2301*2^340135-1 is not prime.  Res64: 2A361B51C3DFC806  Time : 1563.0 sec.
user=mdettweiler
[2011-01-24 23:14:44]
2301*2^340154-1 is not prime.  Res64: 856FD8F627023AEE  Time : 1232.0 sec.
user=mdettweiler
[2011-01-24 23:27:02]
2301*2^340150-1 is not prime.  Res64: B25E3A789D419A20  Time : 2412.0 sec.
user=vaughan
[2011-01-24 23:32:47]
2301*2^340165-1 is not prime.  Res64: 5629CBFC8008C17B  Time : 1567.0 sec.
user=mdettweiler
[2011-01-24 23:35:15]
2301*2^340221-1 is not prime.  Res64: 02175DCFF237C2D3  Time : 1229.0 sec.
user=mdettweiler
[2011-01-24 23:55:36]
2301*2^340277-1 is not prime.  Res64: 9E836A2C020AADFF  Time : 1218.0 sec.
user=vaughan
[2011-01-24 23:58:54]
2301*2^340270-1 is not prime.  Res64: F74CD3176E2F6280  Time : 1566.0 sec.