user=mdettweiler [2011-01-25 00:07:16] 2301*2^340245-1 is not prime. Res64: E281450ACE8D3544 Time : 2414.0 sec. user=mdettweiler [2011-01-25 00:16:05] 2301*2^340283-1 is not prime. Res64: 4A8D7BB11F86D4FD Time : 1227.0 sec. user=vaughan [2011-01-25 00:24:59] 2301*2^340291-1 is not prime. Res64: 6FAD1F8B83C3156C Time : 1565.0 sec. user=mdettweiler [2011-01-25 00:36:28] 2301*2^340314-1 is not prime. Res64: 1DFC2A041BDB0FE0 Time : 1221.0 sec. user=vaughan [2011-01-25 00:51:06] 2301*2^340315-1 is not prime. Res64: CF5845C9047EA339 Time : 1567.0 sec. user=mdettweiler [2011-01-25 00:57:09] 2301*2^340321-1 is not prime. Res64: 1A284C03CDD3870E Time : 1237.0 sec. user=mdettweiler [2011-01-25 01:13:21] 2301*2^340305-1 is not prime. Res64: 4BBD016EC91C09D1 Time : 3965.0 sec. user=vaughan [2011-01-25 01:17:09] 2301*2^340323-1 is not prime. Res64: C199E140C8900A18 Time : 1563.0 sec. user=mdettweiler [2011-01-25 01:17:25] 2301*2^340337-1 is not prime. Res64: 56E47DD1D75DDA56 Time : 1213.0 sec. user=mdettweiler [2011-01-25 01:37:42] 2301*2^340482-1 is not prime. Res64: CEA73BDB0CFCFD47 Time : 1215.0 sec. user=vaughan [2011-01-25 01:43:29] 2301*2^340410-1 is not prime. Res64: 70F011BC6841AE42 Time : 1579.0 sec. user=mdettweiler [2011-01-25 01:54:28] 2301*2^340365-1 is not prime. Res64: 4B6C756C5208F2CF Time : 2467.0 sec. user=mdettweiler [2011-01-25 01:57:52] 2301*2^340491-1 is not prime. Res64: FEE4605DB83C3ED7 Time : 1206.0 sec. user=vaughan [2011-01-25 02:09:34] 2301*2^340497-1 is not prime. Res64: 4AF8E0791A08DB0A Time : 1565.0 sec. user=mdettweiler [2011-01-25 02:18:09] 2301*2^340502-1 is not prime. Res64: 59F3AB90E5C546DB Time : 1215.0 sec. user=mdettweiler [2011-01-25 02:35:29] 2301*2^340498-1 is not prime. Res64: C2B6FFCB9ECC57BD Time : 2461.0 sec. user=vaughan [2011-01-25 02:35:47] 2301*2^340525-1 is not prime. Res64: 998BCEF558CC03F5 Time : 1572.0 sec. user=mdettweiler [2011-01-25 02:38:22] 2301*2^340526-1 is not prime. Res64: 31F26BC2A26B0CDF Time : 1211.0 sec. user=mdettweiler [2011-01-25 02:58:47] 2301*2^340574-1 is not prime. Res64: 47F4A5444B950169 Time : 1218.0 sec. user=vaughan [2011-01-25 03:01:54] 2301*2^340566-1 is not prime. Res64: C3B4E4BC0703B291 Time : 1567.0 sec. user=mdettweiler [2011-01-25 03:16:34] 2301*2^340557-1 is not prime. Res64: AE1AAB3CBDAE1131 Time : 2464.0 sec. user=mdettweiler [2011-01-25 03:18:56] 2301*2^340622-1 is not prime. Res64: 2F2CE5ADF02E3B47 Time : 1207.0 sec. user=vaughan [2011-01-25 03:28:00] 2301*2^340674-1 is not prime. Res64: 7E6A01A53D913188 Time : 1565.0 sec. user=mdettweiler [2011-01-25 03:39:22] 2301*2^340706-1 is not prime. Res64: C0DA8EAEE9D5AF2D Time : 1224.0 sec. user=vaughan [2011-01-25 03:54:10] 2301*2^340742-1 is not prime. Res64: 25901F6F37CC405B Time : 1569.0 sec. user=mdettweiler [2011-01-25 03:57:43] 2301*2^340690-1 is not prime. Res64: 28FE385353EE847E Time : 2469.0 sec. user=mdettweiler [2011-01-25 03:59:44] 2301*2^340745-1 is not prime. Res64: C1F668F673F43808 Time : 1213.0 sec. user=mdettweiler [2011-01-25 04:20:11] 2301*2^340763-1 is not prime. Res64: F36730CF22AA728F Time : 1226.0 sec. user=vaughan [2011-01-25 04:20:18] 2301*2^340754-1 is not prime. Res64: 9DC03B8B30C9B6DD Time : 1567.0 sec. user=mdettweiler [2011-01-25 04:39:13] 2301*2^340755-1 is not prime. Res64: A29AD75779218C4E Time : 2490.0 sec. user=mdettweiler [2011-01-25 04:40:25] 2301*2^340823-1 is not prime. Res64: AF3017DB80D0FD62 Time : 1212.0 sec. user=vaughan [2011-01-25 04:46:29] 2301*2^340827-1 is not prime. Res64: 5ED803D07B92221C Time : 1571.0 sec. user=mdettweiler [2011-01-25 05:00:42] 2301*2^340867-1 is not prime. Res64: 9CBD061B86341B90 Time : 1213.0 sec. user=vaughan [2011-01-25 05:12:35] 2301*2^340882-1 is not prime. Res64: 571791D939FE0099 Time : 1566.0 sec. user=mdettweiler [2011-01-25 05:21:03] 2301*2^340914-1 is not prime. Res64: D134A2CF9D99782F Time : 1220.0 sec. user=mdettweiler [2011-01-25 05:21:39] 2301*2^340851-1 is not prime. Res64: 24B7B3F1BD29C164 Time : 2546.0 sec. user=vaughan [2011-01-25 05:39:03] 2301*2^340922-1 is not prime. Res64: A4E448765DAE3BC7 Time : 1588.0 sec. user=mdettweiler [2011-01-25 05:41:28] 2301*2^340930-1 is not prime. Res64: E7938C64D74498AE Time : 1224.0 sec. user=mdettweiler [2011-01-25 06:01:59] 2301*2^341031-1 is not prime. Res64: 5F8F3539AA64F4C4 Time : 1228.0 sec. user=mdettweiler [2011-01-25 06:03:11] 2301*2^340965-1 is not prime. Res64: D8ED8AD09DB40ECB Time : 2492.0 sec. user=vaughan [2011-01-25 06:05:12] 2301*2^341030-1 is not prime. Res64: A03E89425F364A7E Time : 1568.0 sec. user=mdettweiler [2011-01-25 06:22:29] 2301*2^341037-1 is not prime. Res64: E2EF17A2DC37E934 Time : 1228.0 sec. user=vaughan [2011-01-25 06:31:40] 2301*2^341067-1 is not prime. Res64: 23B0364EDFB75917 Time : 1587.0 sec. user=mdettweiler [2011-01-25 06:42:52] 2301*2^341082-1 is not prime. Res64: 85D5A9E58D2FA31C Time : 1222.0 sec. user=mdettweiler [2011-01-25 06:44:17] 2301*2^341038-1 is not prime. Res64: 07FA003BF18E70E3 Time : 2466.0 sec. user=vaughan [2011-01-25 06:57:51] 2301*2^341105-1 is not prime. Res64: 060257D221097BCA Time : 1570.0 sec. user=mdettweiler [2011-01-25 07:09:12] 2301*2^341107-1 is not prime. Res64: 316F27DB943F9A04 Time : 1576.0 sec. user=vaughan [2011-01-25 07:24:02] 2301*2^341155-1 is not prime. Res64: BF308D860C1376E6 Time : 1571.0 sec. user=mdettweiler [2011-01-25 07:25:27] 2301*2^341115-1 is not prime. Res64: E2B2C3DD1B0C003F Time : 2469.0 sec. user=mdettweiler [2011-01-25 07:30:53] 2301*2^341170-1 is not prime. Res64: EC5B4EFBC869B393 Time : 1299.0 sec. user=vaughan [2011-01-25 07:50:13] 2301*2^341177-1 is not prime. Res64: 135D1E924EB64BAF Time : 1571.0 sec. user=mdettweiler [2011-01-25 07:53:38] 2301*2^341202-1 is not prime. Res64: AFDB3EAAA574CB6D Time : 1364.0 sec. user=mdettweiler [2011-01-25 08:07:15] 2301*2^341186-1 is not prime. Res64: 8F8D3998CDD9CD04 Time : 2508.0 sec. user=mdettweiler [2011-01-25 08:15:16] 2301*2^341234-1 is not prime. Res64: 84CD2450B5ED0721 Time : 1297.0 sec. user=vaughan [2011-01-25 08:16:21] 2301*2^341210-1 is not prime. Res64: 95A3C7FCE751FD9D Time : 1567.0 sec. user=mdettweiler [2011-01-25 08:36:26] 2301*2^341274-1 is not prime. Res64: FA43719E635A5BDC Time : 1268.0 sec. user=vaughan [2011-01-25 08:42:30] 2301*2^341281-1 is not prime. Res64: A3366604B2BE4A84 Time : 1569.0 sec. user=mdettweiler [2011-01-25 08:48:51] 2301*2^341245-1 is not prime. Res64: E368E9A811576629 Time : 2495.0 sec. user=mdettweiler [2011-01-25 08:58:08] 2301*2^341285-1 is not prime. Res64: A4C439E93F2CAD89 Time : 1301.0 sec. user=vaughan [2011-01-25 09:08:41] 2301*2^341298-1 is not prime. Res64: 70B0F5DA4536A419 Time : 1570.0 sec. user=mdettweiler [2011-01-25 09:20:24] 2301*2^341337-1 is not prime. Res64: 9F6AFC0551CE8F48 Time : 1332.0 sec. user=mdettweiler [2011-01-25 09:30:10] 2301*2^341306-1 is not prime. Res64: 718BEA0DB0B863ED Time : 2479.0 sec. user=vaughan [2011-01-25 09:36:41] 2301*2^341355-1 is not prime. Res64: 161FFD1207CC2FF5 Time : 1679.0 sec. user=mdettweiler [2011-01-25 09:41:54] 2301*2^341361-1 is not prime. Res64: 730A737203907E97 Time : 1289.0 sec. user=vaughan [2011-01-25 10:02:47] 2301*2^341410-1 is not prime. Res64: 70B5CD3D79AE5BE5 Time : 1565.0 sec. user=mdettweiler [2011-01-25 10:04:40] 2301*2^341417-1 is not prime. Res64: 2A61CBD947B2074D Time : 1364.0 sec. user=mdettweiler [2011-01-25 10:11:24] 2301*2^341394-1 is not prime. Res64: 7876C61DA2DDBB80 Time : 2474.0 sec. user=mdettweiler [2011-01-25 10:25:39] 2301*2^341458-1 is not prime. Res64: C53D8AD9E71B8C61 Time : 1257.0 sec. user=vaughan [2011-01-25 10:28:51] 2301*2^341454-1 is not prime. Res64: 7C1F5CE2B012C515 Time : 1563.0 sec. user=mdettweiler [2011-01-25 10:46:40] 2301*2^341485-1 is not prime. Res64: EDEBE244EB1A2F24 Time : 1259.0 sec. user=mdettweiler [2011-01-25 10:52:39] 2301*2^341474-1 is not prime. Res64: 01702F72A706A622 Time : 2475.0 sec. user=vaughan [2011-01-25 10:55:02] 2301*2^341486-1 is not prime. Res64: 4F6D2620A684C4DC Time : 1570.0 sec. user=mdettweiler [2011-01-25 11:07:39] 2301*2^341498-1 is not prime. Res64: 26251D5933B9F398 Time : 1257.0 sec. user=vaughan [2011-01-25 11:21:08] 2301*2^341527-1 is not prime. Res64: F6A07FD61C67C517 Time : 1565.0 sec. user=mdettweiler [2011-01-25 11:28:16] 2301*2^341534-1 is not prime. Res64: 6BAD9886AAC993BA Time : 1232.0 sec. user=mdettweiler [2011-01-25 11:33:54] 2301*2^341502-1 is not prime. Res64: D77AD777692A7A0C Time : 2475.0 sec. user=vaughan [2011-01-25 11:47:31] 2301*2^341546-1 is not prime. Res64: 212652ADC081705A Time : 1581.0 sec. user=mdettweiler [2011-01-25 11:49:04] 2301*2^341555-1 is not prime. Res64: 6A33BF747C8B734C Time : 1247.0 sec. user=mdettweiler [2011-01-25 12:09:37] 2301*2^341595-1 is not prime. Res64: 25BE1D7411C0250E Time : 1232.0 sec. user=vaughan [2011-01-25 12:13:37] 2301*2^341590-1 is not prime. Res64: 1685541B04E8F3E9 Time : 1565.0 sec. user=mdettweiler [2011-01-25 12:15:10] 2301*2^341575-1 is not prime. Res64: 37A1660CE86522D3 Time : 2476.0 sec. user=mdettweiler [2011-01-25 12:30:45] 2301*2^341602-1 is not prime. Res64: 9B314D18E6917957 Time : 1263.0 sec. user=vaughan [2011-01-25 12:39:51] 2301*2^341618-1 is not prime. Res64: 8ACA8186C36ED2D4 Time : 1573.0 sec. user=mdettweiler [2011-01-25 12:51:27] 2301*2^341637-1 is not prime. Res64: A69912FA5723A678 Time : 1241.0 sec. user=mdettweiler [2011-01-25 12:56:44] 2301*2^341635-1 is not prime. Res64: 24CB0CE9A6A33D30 Time : 2494.0 sec. user=vaughan [2011-01-25 13:06:09] 2301*2^341655-1 is not prime. Res64: B40756C4848CD673 Time : 1578.0 sec. user=mdettweiler [2011-01-25 13:12:25] 2301*2^341667-1 is not prime. Res64: 1A624B56A1D2CD8E Time : 1256.0 sec. user=vaughan [2011-01-25 13:32:21] 2301*2^341731-1 is not prime. Res64: 111BA47F88BF5A4A Time : 1571.0 sec. user=mdettweiler [2011-01-25 13:33:03] 2301*2^341754-1 is not prime. Res64: 37590B5C8D9199D9 Time : 1235.0 sec. user=mdettweiler [2011-01-25 13:37:59] 2301*2^341678-1 is not prime. Res64: 433F477F252020DA Time : 2475.0 sec. user=mdettweiler [2011-01-25 13:54:23] 2301*2^341795-1 is not prime. Res64: AC37130F1571B342 Time : 1279.0 sec. user=vaughan [2011-01-25 13:58:30] 2301*2^341791-1 is not prime. Res64: CCEE83C58A05E719 Time : 1568.0 sec. user=mdettweiler [2011-01-25 14:15:06] 2301*2^341805-1 is not prime. Res64: 7924F9CD3854416F Time : 1241.0 sec. user=mdettweiler [2011-01-25 14:19:30] 2301*2^341802-1 is not prime. Res64: 232E44A8634F027A Time : 2491.0 sec. user=vaughan [2011-01-25 14:24:37] 2301*2^341850-1 is not prime. Res64: 46669E89A3432295 Time : 1566.0 sec. user=mdettweiler [2011-01-25 14:36:02] 2301*2^341854-1 is not prime. Res64: 6150501B6114050F Time : 1251.0 sec. user=vaughan [2011-01-25 14:51:02] 2301*2^341901-1 is not prime. Res64: 50D64F6692226F0D Time : 1584.0 sec. user=mdettweiler [2011-01-25 14:56:40] 2301*2^341906-1 is not prime. Res64: 9E93741A9BE8529D Time : 1237.0 sec. user=mdettweiler [2011-01-25 15:00:47] 2301*2^341886-1 is not prime. Res64: 0863A1E98131EC1A Time : 2477.0 sec. user=vaughan [2011-01-25 15:17:13] 2301*2^341907-1 is not prime. Res64: 81F9221871838A9D Time : 1571.0 sec. user=mdettweiler [2011-01-25 15:17:32] 2301*2^341922-1 is not prime. Res64: F400717F1E739064 Time : 1251.0 sec. user=mdettweiler [2011-01-25 15:38:22] 2301*2^342005-1 is not prime. Res64: 6A85DF654444C941 Time : 1248.0 sec. user=mdettweiler [2011-01-25 15:42:04] 2301*2^341954-1 is not prime. Res64: 8C5C8E9E84969ADC Time : 2477.0 sec. user=vaughan [2011-01-25 15:43:28] 2301*2^341970-1 is not prime. Res64: 8E57C77321A73185 Time : 1574.0 sec. user=mdettweiler [2011-01-25 15:58:56] 2301*2^342030-1 is not prime. Res64: 7514214741179DC6 Time : 1232.0 sec. user=vaughan [2011-01-25 16:09:41] 2301*2^342037-1 is not prime. Res64: F6FE2BBFD3CED326 Time : 1573.0 sec. user=mdettweiler [2011-01-25 16:19:33] 2301*2^342038-1 is not prime. Res64: 8784D6F60379B02F Time : 1236.0 sec. user=mdettweiler [2011-01-25 16:23:47] 2301*2^342031-1 is not prime. Res64: F116DD2FEE28003F Time : 2503.0 sec. user=vaughan [2011-01-25 16:35:46] 2301*2^342051-1 is not prime. Res64: A57B1372B9481118 Time : 1565.0 sec. user=mdettweiler [2011-01-25 16:40:18] 2301*2^342055-1 is not prime. Res64: 822C354E316480C5 Time : 1240.0 sec. user=mdettweiler [2011-01-25 17:00:50] 2301*2^342082-1 is not prime. Res64: 1E0D0894077DA042 Time : 1230.0 sec. user=vaughan [2011-01-25 17:01:51] 2301*2^342070-1 is not prime. Res64: F3780B1100B744AB Time : 1564.0 sec. user=mdettweiler [2011-01-25 17:04:50] 2301*2^342062-1 is not prime. Res64: DFE9E020C0BE13EF Time : 2463.0 sec. user=mdettweiler [2011-01-25 17:21:35] 2301*2^342098-1 is not prime. Res64: 6C5B24E737C7C7DD Time : 1243.0 sec. user=vaughan [2011-01-25 17:27:56] 2301*2^342106-1 is not prime. Res64: 841EF6E1B3CC9AA2 Time : 1564.0 sec. user=mdettweiler [2011-01-25 17:42:27] 2301*2^342117-1 is not prime. Res64: 47D74F98DE4ED2D9 Time : 1249.0 sec. user=mdettweiler [2011-01-25 17:46:10] 2301*2^342115-1 is not prime. Res64: 2BAD4085BFE2E62D Time : 2480.0 sec. user=vaughan [2011-01-25 17:54:03] 2301*2^342126-1 is not prime. Res64: 3B89CAEECEACE32E Time : 1565.0 sec. user=mdettweiler [2011-01-25 18:03:00] 2301*2^342130-1 is not prime. Res64: 25E4F0E6CBE23337 Time : 1231.0 sec. user=vaughan [2011-01-25 18:20:12] 2301*2^342158-1 is not prime. Res64: 59A2B121EEF6D2EE Time : 1567.0 sec. user=mdettweiler [2011-01-25 18:23:36] 2301*2^342162-1 is not prime. Res64: 3C484908DA6F813B Time : 1233.0 sec. user=mdettweiler [2011-01-25 18:27:37] 2301*2^342157-1 is not prime. Res64: 4C38B6CE7AD00F70 Time : 2487.0 sec. user=mdettweiler [2011-01-25 18:44:17] 2301*2^342178-1 is not prime. Res64: AA182C03AF0272E5 Time : 1237.0 sec. user=vaughan [2011-01-25 18:46:32] 2301*2^342171-1 is not prime. Res64: 0441DA1FAF876986 Time : 1579.0 sec. user=mdettweiler [2011-01-25 19:05:03] 2301*2^342190-1 is not prime. Res64: 5497C2D2B6B196FF Time : 1244.0 sec. user=mdettweiler [2011-01-25 19:08:52] 2301*2^342185-1 is not prime. Res64: 9BE6234490D2195F Time : 2475.0 sec. user=vaughan [2011-01-25 19:12:39] 2301*2^342194-1 is not prime. Res64: 555786EC1DEC40C9 Time : 1566.0 sec. user=mdettweiler [2011-01-25 19:25:48] 2301*2^342218-1 is not prime. Res64: 67ECADABE71883F3 Time : 1239.0 sec. user=vaughan [2011-01-25 19:39:03] 2301*2^342227-1 is not prime. Res64: 63195005516154D9 Time : 1583.0 sec. user=mdettweiler [2011-01-25 19:46:25] 2301*2^342230-1 is not prime. Res64: F751E89D464DE2C5 Time : 1234.0 sec. user=mdettweiler [2011-01-25 19:50:14] 2301*2^342226-1 is not prime. Res64: 5BD73326FE3B665D Time : 2481.0 sec. user=vaughan [2011-01-25 20:05:18] 2301*2^342241-1 is not prime. Res64: D9B30A1082612F46 Time : 1573.0 sec. user=mdettweiler [2011-01-25 20:07:02] 2301*2^342278-1 is not prime. Res64: 8410433187EAD0BD Time : 1235.0 sec. user=mdettweiler [2011-01-25 20:27:39] 2301*2^342330-1 is not prime. Res64: 64AEA6B4CCCAFD26 Time : 1235.0 sec. user=vaughan [2011-01-25 20:31:31] 2301*2^342321-1 is not prime. Res64: 4A1995635E77CF6D Time : 1572.0 sec. user=mdettweiler [2011-01-25 20:31:55] 2301*2^342286-1 is not prime. Res64: B064336BD9DA7FF5 Time : 2501.0 sec. user=mdettweiler [2011-01-25 20:48:17] 2301*2^342335-1 is not prime. Res64: 8460EF064DCC84F9 Time : 1233.0 sec. user=vaughan [2011-01-25 20:57:38] 2301*2^342338-1 is not prime. Res64: 980C8D316FC42009 Time : 1566.0 sec. user=mdettweiler [2011-01-25 21:08:52] 2301*2^342425-1 is not prime. Res64: D8235E2638A591A5 Time : 1234.0 sec. user=mdettweiler [2011-01-25 21:13:16] 2301*2^342354-1 is not prime. Res64: 2A0A2EC2A5CA0864 Time : 2481.0 sec. user=vaughan [2011-01-25 21:23:45] 2301*2^342442-1 is not prime. Res64: FA0E1E43C0DF983A Time : 1566.0 sec. user=mdettweiler [2011-01-25 21:29:37] 2301*2^342502-1 is not prime. Res64: 084B4B27274ABC00 Time : 1243.0 sec. user=vaughan [2011-01-25 21:49:55] 2301*2^342541-1 is not prime. Res64: C4FA1367434D4885 Time : 1569.0 sec. user=mdettweiler [2011-01-25 21:50:39] 2301*2^342570-1 is not prime. Res64: FE9F63C57747ED22 Time : 1258.0 sec. user=mdettweiler [2011-01-25 21:54:39] 2301*2^342527-1 is not prime. Res64: B0D3B8012EFB91FB Time : 2483.0 sec. user=mdettweiler [2011-01-25 22:11:16] 2301*2^342654-1 is not prime. Res64: 75EE562831181A05 Time : 1235.0 sec. user=vaughan [2011-01-25 22:16:04] 2301*2^342605-1 is not prime. Res64: 7C8EBC85C87C84D5 Time : 1569.0 sec. user=mdettweiler [2011-01-25 22:32:09] 2301*2^342714-1 is not prime. Res64: 1E431ED143D16108 Time : 1251.0 sec. user=mdettweiler [2011-01-25 22:36:08] 2301*2^342655-1 is not prime. Res64: DC93339716FFA267 Time : 2489.0 sec. user=vaughan [2011-01-25 22:42:15] 2301*2^342766-1 is not prime. Res64: 60485D900093F924 Time : 1570.0 sec. user=mdettweiler [2011-01-25 22:52:52] 2301*2^342806-1 is not prime. Res64: 3478FF7A4E4F2A6B Time : 1240.0 sec. user=vaughan [2011-01-25 23:08:25] 2301*2^342838-1 is not prime. Res64: A6374A8513DDBF75 Time : 1570.0 sec. user=mdettweiler [2011-01-25 23:13:43] 2301*2^342877-1 is not prime. Res64: BCCE7DADB31EA3C7 Time : 1249.0 sec. user=mdettweiler [2011-01-25 23:17:29] 2301*2^342817-1 is not prime. Res64: F6B624876F1476CD Time : 2481.0 sec. user=mdettweiler [2011-01-25 23:34:21] 2301*2^342897-1 is not prime. Res64: 5C6ABD6263E9EDB4 Time : 1236.0 sec. user=vaughan [2011-01-25 23:34:35] 2301*2^342895-1 is not prime. Res64: 0598A6985D4213EA Time : 1569.0 sec. user=mdettweiler [2011-01-25 23:55:10] 2301*2^342910-1 is not prime. Res64: FDCCA0039D4EB7AC Time : 1245.0 sec. user=mdettweiler [2011-01-25 23:58:56] 2301*2^342906-1 is not prime. Res64: 440EF6BC70222CB4 Time : 2487.0 sec. user=vaughan [2011-01-26 00:00:44] 2301*2^342915-1 is not prime. Res64: 465974AB652F8413 Time : 1568.0 sec.