user=mdettweiler
[2011-02-05 00:14:42]
2303*2^264790-1 is not prime.  Res64: 91B84D128EA04D58  Time : 4319.0 sec.
user=vaughan
[2011-02-05 00:18:27]
2303*2^264910-1 is not prime.  Res64: 4D8C851170718212  Time : 1048.0 sec.
user=vaughan
[2011-02-05 00:35:56]
2303*2^264946-1 is not prime.  Res64: A840FE20AA362588  Time : 1048.0 sec.
user=mdettweiler
[2011-02-05 00:40:56]
2303*2^264912-1 is not prime.  Res64: 19488CA75875005C  Time : 1574.0 sec.
user=vaughan
[2011-02-05 00:53:19]
2303*2^264956-1 is not prime.  Res64: 76B14156F069DDC0  Time : 1042.0 sec.
user=mdettweiler
[2011-02-05 01:07:22]
2303*2^264966-1 is not prime.  Res64: 0A2F00EE639D5A19  Time : 1586.0 sec.
user=vaughan
[2011-02-05 01:10:43]
2303*2^264984-1 is not prime.  Res64: 3F67F0272AA031AA  Time : 1043.0 sec.
user=vaughan
[2011-02-05 01:28:06]
2303*2^265000-1 is not prime.  Res64: EDFDB066D816D7C1  Time : 1043.0 sec.
user=mdettweiler
[2011-02-05 01:33:27]
2303*2^264986-1 is not prime.  Res64: FF1463DF1BE9D3D6  Time : 1565.0 sec.
user=vaughan
[2011-02-05 01:45:33]
2303*2^265036-1 is not prime.  Res64: 91D2A9C5BB26429E  Time : 1046.0 sec.
user=mdettweiler
[2011-02-05 01:59:32]
2303*2^265050-1 is not prime.  Res64: 280F10666E2C3D8E  Time : 1565.0 sec.
user=vaughan
[2011-02-05 02:02:54]
2303*2^265054-1 is not prime.  Res64: 19268A75CF76F672  Time : 1040.0 sec.
user=vaughan
[2011-02-05 02:20:16]
2303*2^265086-1 is not prime.  Res64: FB33CA9B13396525  Time : 1041.0 sec.
user=mdettweiler
[2011-02-05 02:25:38]
2303*2^265080-1 is not prime.  Res64: 073DD0DD80441097  Time : 1566.0 sec.
user=vaughan
[2011-02-05 02:37:42]
2303*2^265110-1 is not prime.  Res64: E9EF5A0459913755  Time : 1045.0 sec.
user=mdettweiler
[2011-02-05 02:51:46]
2303*2^265216-1 is not prime.  Res64: 20D21231A9DC0C4C  Time : 1568.0 sec.
user=vaughan
[2011-02-05 02:55:07]
2303*2^265236-1 is not prime.  Res64: CB736E9DD23EA59A  Time : 1045.0 sec.
user=vaughan
[2011-02-05 03:12:32]
2303*2^265260-1 is not prime.  Res64: 37535C0306078E04  Time : 1044.0 sec.
user=mdettweiler
[2011-02-05 03:17:54]
2303*2^265254-1 is not prime.  Res64: A4DE6CEEA2270E8F  Time : 1568.0 sec.
user=vaughan
[2011-02-05 03:29:57]
2303*2^265294-1 is not prime.  Res64: 64426479925E0385  Time : 1045.0 sec.
user=mdettweiler
[2011-02-05 03:44:08]
2303*2^265310-1 is not prime.  Res64: EE7D72B5AD9D62EA  Time : 1574.0 sec.
user=vaughan
[2011-02-05 03:47:27]
2303*2^265342-1 is not prime.  Res64: DE9420082D01F4E5  Time : 1050.0 sec.
user=vaughan
[2011-02-05 04:04:51]
2303*2^265464-1 is not prime.  Res64: E18BF335B8673276  Time : 1043.0 sec.
user=mdettweiler
[2011-02-05 04:10:16]
2303*2^265346-1 is not prime.  Res64: 1855F50F1062CC53  Time : 1568.0 sec.
user=vaughan
[2011-02-05 04:22:17]
2303*2^265470-1 is not prime.  Res64: 3105BEDF76399BBB  Time : 1045.0 sec.
user=mdettweiler
[2011-02-05 04:36:34]
2303*2^265500-1 is not prime.  Res64: D3F8B5C4B7D69603  Time : 1577.0 sec.
user=vaughan
[2011-02-05 04:39:44]
2303*2^265512-1 is not prime.  Res64: BB048E0171E215AB  Time : 1046.0 sec.
user=vaughan
[2011-02-05 04:57:08]
2303*2^265580-1 is not prime.  Res64: 040EF4BA34FC9AB4  Time : 1043.0 sec.
user=mdettweiler
[2011-02-05 05:03:03]
2303*2^265542-1 is not prime.  Res64: CFC02FC3F8A4D2DD  Time : 1589.0 sec.
user=vaughan
[2011-02-05 05:14:34]
2303*2^265594-1 is not prime.  Res64: BB646FB6082B1F9D  Time : 1045.0 sec.
user=mdettweiler
[2011-02-05 05:30:28]
2303*2^265612-1 is not prime.  Res64: C6432CFE426F6053  Time : 1645.0 sec.
user=vaughan
[2011-02-05 05:32:02]
2303*2^265634-1 is not prime.  Res64: 9A415CC0FE9CDD21  Time : 1048.0 sec.
user=vaughan
[2011-02-05 05:49:30]
2303*2^265666-1 is not prime.  Res64: 8E82793AAE042A87  Time : 1047.0 sec.
user=mdettweiler
[2011-02-05 05:56:38]
2303*2^265636-1 is not prime.  Res64: 9690DD9AF0EEFD03  Time : 1570.0 sec.
user=vaughan
[2011-02-05 06:06:55]
2303*2^265722-1 is not prime.  Res64: 882A8C490052DCB2  Time : 1045.0 sec.
user=mdettweiler
[2011-02-05 06:22:53]
2303*2^265734-1 is not prime.  Res64: E0AE841F2EE30D16  Time : 1575.0 sec.
user=vaughan
[2011-02-05 06:24:20]
2303*2^265754-1 is not prime.  Res64: 3559FC80DE0CC9F7  Time : 1044.0 sec.
user=vaughan
[2011-02-05 06:41:49]
2303*2^265780-1 is not prime.  Res64: DCA7E7309A7747F9  Time : 1048.0 sec.
user=mdettweiler
[2011-02-05 06:49:05]
2303*2^265776-1 is not prime.  Res64: 29C1B63417526CEC  Time : 1572.0 sec.
user=vaughan
[2011-02-05 06:59:14]
2303*2^265782-1 is not prime.  Res64: AE9D85DB8E14B4C9  Time : 1044.0 sec.
user=mdettweiler
[2011-02-05 07:15:14]
2303*2^265794-1 is not prime.  Res64: DEFDFDF0EF4928AC  Time : 1569.0 sec.
user=vaughan
[2011-02-05 07:16:46]
2303*2^265820-1 is not prime.  Res64: AB54E3C288CB16CF  Time : 1052.0 sec.
user=vaughan
[2011-02-05 07:34:18]
2303*2^265852-1 is not prime.  Res64: AEDF411180EBBF46  Time : 1052.0 sec.
user=mdettweiler
[2011-02-05 07:41:27]
2303*2^265836-1 is not prime.  Res64: D4F051AF4F9973AA  Time : 1573.0 sec.
user=vaughan
[2011-02-05 07:54:14]
2303*2^265902-1 is not prime.  Res64: CAF1544BDB7403CD  Time : 1195.0 sec.
user=mdettweiler
[2011-02-05 08:08:10]
2303*2^265904-1 is not prime.  Res64: 9F56BC4435646AD6  Time : 1603.0 sec.
user=vaughan
[2011-02-05 08:11:45]
2303*2^265926-1 is not prime.  Res64: 59CE96721B7D4888  Time : 1050.0 sec.
user=vaughan
[2011-02-05 08:29:18]
2303*2^265942-1 is not prime.  Res64: 2F3853C02B0109DB  Time : 1053.0 sec.
user=mdettweiler
[2011-02-05 08:34:28]
2303*2^265940-1 is not prime.  Res64: 00B8DBAAD82BAF32  Time : 1578.0 sec.
user=vaughan
[2011-02-05 08:46:50]
2303*2^265974-1 is not prime.  Res64: 74A300CCF6953CDD  Time : 1052.0 sec.
user=mdettweiler
[2011-02-05 09:01:03]
2303*2^265980-1 is not prime.  Res64: 69E758A6F7A51A73  Time : 1594.0 sec.
user=vaughan
[2011-02-05 09:04:19]
2303*2^266032-1 is not prime.  Res64: 39F312D3591D40DE  Time : 1049.0 sec.
user=vaughan
[2011-02-05 09:22:55]
2303*2^266134-1 is not prime.  Res64: 5BC4D8C800898176  Time : 1115.0 sec.
user=mdettweiler
[2011-02-05 09:27:16]
2303*2^266114-1 is not prime.  Res64: 29C12FC130533915  Time : 1572.0 sec.
user=vaughan
[2011-02-05 09:40:36]
2303*2^266140-1 is not prime.  Res64: D83BE30A5813DAD7  Time : 1061.0 sec.
user=mdettweiler
[2011-02-05 09:53:31]
2303*2^266160-1 is not prime.  Res64: F5A3616213FE0E2F  Time : 1574.0 sec.
user=vaughan
[2011-02-05 09:58:06]
2303*2^266166-1 is not prime.  Res64: 8ED44D17C2EFD9C0  Time : 1049.0 sec.
user=vaughan
[2011-02-05 10:15:37]
2303*2^266260-1 is not prime.  Res64: 390D5C46A7377194  Time : 1051.0 sec.
user=mdettweiler
[2011-02-05 10:19:43]
2303*2^266244-1 is not prime.  Res64: 261FA5CDA4E624C2  Time : 1572.0 sec.
user=vaughan
[2011-02-05 10:33:16]
2303*2^266270-1 is not prime.  Res64: EDFB65AE0D96AD6D  Time : 1058.0 sec.
user=mdettweiler
[2011-02-05 10:45:56]
2303*2^266284-1 is not prime.  Res64: 7B04A670E333BB5D  Time : 1573.0 sec.
user=vaughan
[2011-02-05 10:50:51]
2303*2^266296-1 is not prime.  Res64: 17278F2379E7EB8B  Time : 1054.0 sec.
user=vaughan
[2011-02-05 11:08:20]
2303*2^266366-1 is not prime.  Res64: 23E1213D760A1203  Time : 1048.0 sec.
user=mdettweiler
[2011-02-05 11:12:09]
2303*2^266354-1 is not prime.  Res64: 4513D61C25C730E8  Time : 1573.0 sec.
user=vaughan
[2011-02-05 11:25:53]
2303*2^266396-1 is not prime.  Res64: E92F4C1AB4DDDBAD  Time : 1052.0 sec.
user=mdettweiler
[2011-02-05 11:38:26]
2303*2^266410-1 is not prime.  Res64: 15F41B89DB1E90B5  Time : 1577.0 sec.
user=vaughan
[2011-02-05 11:43:26]
2303*2^266426-1 is not prime.  Res64: 76969DF7AF420A5D  Time : 1052.0 sec.
user=vaughan
[2011-02-05 12:00:55]
2303*2^266442-1 is not prime.  Res64: FE4A30F9C04737ED  Time : 1048.0 sec.
user=mdettweiler
[2011-02-05 12:04:41]
2303*2^266430-1 is not prime.  Res64: 3432D9CE9BDDE3C9  Time : 1576.0 sec.
user=vaughan
[2011-02-05 12:18:25]
2303*2^266490-1 is not prime.  Res64: 644F65C8549BFB7B  Time : 1049.0 sec.
user=mdettweiler
[2011-02-05 12:30:52]
2303*2^266494-1 is not prime.  Res64: 46F934E54B972B08  Time : 1570.0 sec.
user=vaughan
[2011-02-05 12:35:57]
2303*2^266526-1 is not prime.  Res64: CD91EDE0360AF5EA  Time : 1052.0 sec.
user=vaughan
[2011-02-05 12:53:28]
2303*2^266554-1 is not prime.  Res64: 8F57B19122F6BB41  Time : 1050.0 sec.
user=mdettweiler
[2011-02-05 12:57:15]
2303*2^266550-1 is not prime.  Res64: 9A81A0ECDD333721  Time : 1583.0 sec.
user=vaughan
[2011-02-05 13:10:57]
2303*2^266572-1 is not prime.  Res64: A7F1FD09FE01FFA8  Time : 1049.0 sec.
user=mdettweiler
[2011-02-05 13:23:49]
2303*2^266574-1 is not prime.  Res64: 890879812CCB75A1  Time : 1594.0 sec.
user=vaughan
[2011-02-05 13:28:27]
2303*2^266626-1 is not prime.  Res64: BC3633D1AD245ECE  Time : 1049.0 sec.
user=vaughan
[2011-02-05 13:46:12]
2303*2^266644-1 is not prime.  Res64: 1F22442E0BD9F835  Time : 1064.0 sec.
user=mdettweiler
[2011-02-05 13:50:11]
2303*2^266634-1 is not prime.  Res64: 36293E9FBA144CC4  Time : 1581.0 sec.
user=vaughan
[2011-02-05 14:03:42]
2303*2^266680-1 is not prime.  Res64: 8CB282E9747E7F91  Time : 1050.0 sec.
user=mdettweiler
[2011-02-05 14:16:28]
2303*2^266692-1 is not prime.  Res64: 6F601009F64F0FF1  Time : 1576.0 sec.
user=vaughan
[2011-02-05 14:21:14]
2303*2^266700-1 is not prime.  Res64: ACE7BD66D2025E62  Time : 1051.0 sec.
user=vaughan
[2011-02-05 14:38:50]
2303*2^266772-1 is not prime.  Res64: 89BC8CC883C3F06B  Time : 1055.0 sec.
user=mdettweiler
[2011-02-05 14:42:47]
2303*2^266706-1 is not prime.  Res64: 8D7A393D91C32968  Time : 1579.0 sec.
user=vaughan
[2011-02-05 14:56:23]
2303*2^266806-1 is not prime.  Res64: 3D3B79E538A5A59B  Time : 1052.0 sec.
user=mdettweiler
[2011-02-05 15:09:06]
2303*2^266846-1 is not prime.  Res64: 361A35D121B160B9  Time : 1579.0 sec.
user=vaughan
[2011-02-05 15:13:55]
2303*2^266872-1 is not prime.  Res64: 3126501B5C12A7D1  Time : 1051.0 sec.
user=vaughan
[2011-02-05 15:31:40]
2303*2^266892-1 is not prime.  Res64: 012DCA71CD757AFC  Time : 1065.0 sec.
user=mdettweiler
[2011-02-05 15:35:27]
2303*2^266886-1 is not prime.  Res64: A0C7FB4DBAEE857E  Time : 1581.0 sec.
user=vaughan
[2011-02-05 15:49:11]
2303*2^266904-1 is not prime.  Res64: 59DD314ABC4EAED8  Time : 1051.0 sec.
user=mdettweiler
[2011-02-05 16:01:55]
2303*2^266914-1 is not prime.  Res64: BED9FAF25E3B3720  Time : 1587.0 sec.
user=vaughan
[2011-02-05 16:06:45]
2303*2^266982-1 is not prime.  Res64: 944DF22B8A81B7B6  Time : 1053.0 sec.
user=vaughan
[2011-02-05 16:24:21]
2303*2^267040-1 is not prime.  Res64: D041771BA3D8A394  Time : 1055.0 sec.
user=mdettweiler
[2011-02-05 16:28:13]
2303*2^267022-1 is not prime.  Res64: C792B74ED2530C92  Time : 1578.0 sec.
user=vaughan
[2011-02-05 16:42:11]
2303*2^267054-1 is not prime.  Res64: 70ADDDD20BBD4F91  Time : 1070.0 sec.
user=mdettweiler
[2011-02-05 16:54:37]
2303*2^267080-1 is not prime.  Res64: B18CF205AF510264  Time : 1584.0 sec.
user=vaughan
[2011-02-05 16:59:43]
2303*2^267084-1 is not prime.  Res64: B6F8440F8C439078  Time : 1052.0 sec.
user=vaughan
[2011-02-05 17:17:19]
2303*2^267184-1 is not prime.  Res64: D245B0C47A48B784  Time : 1055.0 sec.
user=mdettweiler
[2011-02-05 17:21:15]
2303*2^267106-1 is not prime.  Res64: 2D5A10BAF9491F40  Time : 1598.0 sec.
user=vaughan
[2011-02-05 17:35:01]
2303*2^267210-1 is not prime.  Res64: 24C6DD94FF2FCC1E  Time : 1062.0 sec.
user=mdettweiler
[2011-02-05 17:47:37]
2303*2^267250-1 is not prime.  Res64: ACF6456029050592  Time : 1581.0 sec.
user=vaughan
[2011-02-05 17:52:33]
2303*2^267254-1 is not prime.  Res64: 580437E33741512E  Time : 1052.0 sec.
user=vaughan
[2011-02-05 18:10:10]
2303*2^267274-1 is not prime.  Res64: A67A1BD9EAD93477  Time : 1056.0 sec.
user=mdettweiler
[2011-02-05 18:13:57]
2303*2^267266-1 is not prime.  Res64: B67189C8CD55A79E  Time : 1580.0 sec.
user=vaughan
[2011-02-05 18:27:44]
2303*2^267276-1 is not prime.  Res64: 6C226614ADE465EA  Time : 1053.0 sec.
user=mdettweiler
[2011-02-05 18:40:18]
2303*2^267290-1 is not prime.  Res64: A4178F0F6F5A4607  Time : 1580.0 sec.
user=vaughan
[2011-02-05 18:45:20]
2303*2^267300-1 is not prime.  Res64: D502DFADAB339603  Time : 1055.0 sec.
user=vaughan
[2011-02-05 19:02:53]
2303*2^267340-1 is not prime.  Res64: 61FF235DC34DB0A8  Time : 1052.0 sec.
user=mdettweiler
[2011-02-05 19:06:40]
2303*2^267322-1 is not prime.  Res64: 6D993AAB777F2D2B  Time : 1582.0 sec.
user=vaughan
[2011-02-05 19:20:28]
2303*2^267400-1 is not prime.  Res64: DD3EAEBEB345EEDC  Time : 1055.0 sec.
user=mdettweiler
[2011-02-05 19:33:08]
2303*2^267414-1 is not prime.  Res64: 264240E52F617AEC  Time : 1588.0 sec.
user=vaughan
[2011-02-05 19:38:03]
2303*2^267434-1 is not prime.  Res64: 88AC398768D8F9F7  Time : 1054.0 sec.
user=vaughan
[2011-02-05 19:55:37]
2303*2^267562-1 is not prime.  Res64: 9519A241B60F7BBD  Time : 1054.0 sec.
user=mdettweiler
[2011-02-05 19:59:34]
2303*2^267552-1 is not prime.  Res64: 246B86572E47C9E7  Time : 1585.0 sec.
user=vaughan
[2011-02-05 20:13:12]
2303*2^267566-1 is not prime.  Res64: 7867FA3D19D331E9  Time : 1055.0 sec.
user=mdettweiler
[2011-02-05 20:25:56]
2303*2^267570-1 is not prime.  Res64: 3F8148B85A0447A6  Time : 1582.0 sec.
user=vaughan
[2011-02-05 20:30:50]
2303*2^267580-1 is not prime.  Res64: 03429B02B3261E71  Time : 1057.0 sec.
user=vaughan
[2011-02-05 20:48:24]
2303*2^267642-1 is not prime.  Res64: EE1FD3937BD322AE  Time : 1054.0 sec.
user=mdettweiler
[2011-02-05 20:52:24]
2303*2^267592-1 is not prime.  Res64: B241267A1F8294A7  Time : 1588.0 sec.
user=vaughan
[2011-02-05 21:05:59]
2303*2^267654-1 is not prime.  Res64: 91B046E33CA81E09  Time : 1054.0 sec.
user=mdettweiler
[2011-02-05 21:19:07]
2303*2^267670-1 is not prime.  Res64: 0B3BBC01E4823F28  Time : 1603.0 sec.
user=vaughan
[2011-02-05 21:23:34]
2303*2^267682-1 is not prime.  Res64: CB835304FEA4FAD9  Time : 1054.0 sec.
user=vaughan
[2011-02-05 21:41:10]
2303*2^267714-1 is not prime.  Res64: D78B2E8C8B8BCE47  Time : 1056.0 sec.
user=mdettweiler
[2011-02-05 21:45:30]
2303*2^267704-1 is not prime.  Res64: 5B223D50E36F798A  Time : 1583.0 sec.
user=vaughan
[2011-02-05 21:58:50]
2303*2^267740-1 is not prime.  Res64: 3FC7D0487DBAF5CA  Time : 1059.0 sec.
user=mdettweiler
[2011-02-05 22:11:52]
2303*2^267796-1 is not prime.  Res64: 244381FA4A960A50  Time : 1582.0 sec.
user=vaughan
[2011-02-05 22:16:24]
2303*2^267804-1 is not prime.  Res64: 13DF2A1485E1CC46  Time : 1054.0 sec.
user=vaughan
[2011-02-05 22:34:08]
2303*2^267814-1 is not prime.  Res64: 0FF1E5E8157E3005  Time : 1063.0 sec.
user=vaughan
[2011-02-05 22:51:42]
2303*2^267822-1 is not prime.  Res64: 722CDA6E6AC0FAF6  Time : 1054.0 sec.
user=mdettweiler
[2011-02-05 23:07:44]
2303*2^267806-1 is not prime.  Res64: FF9261997150F16E  Time : 3351.0 sec.
user=vaughan
[2011-02-05 23:09:18]
2303*2^267830-1 is not prime.  Res64: 72100A5457F2B099  Time : 1055.0 sec.
user=vaughan
[2011-02-05 23:26:54]
2303*2^267854-1 is not prime.  Res64: 33AF4B73EECBD406  Time : 1055.0 sec.
user=vaughan
[2011-02-05 23:44:35]
2303*2^267862-1 is not prime.  Res64: E2DDD0C14031E0F3  Time : 1060.0 sec.