user=vaughan
[2011-02-04 00:01:44]
2303*2^261684-1 is not prime.  Res64: 6E6FB07951BD30B9  Time : 1030.0 sec.
user=mdettweiler
[2011-02-04 00:09:18]
2303*2^261670-1 is not prime.  Res64: 012F337CCB8EE189  Time : 1550.0 sec.
user=vaughan
[2011-02-04 00:18:58]
2303*2^261706-1 is not prime.  Res64: 637F413E68F4B106  Time : 1034.0 sec.
user=mdettweiler
[2011-02-04 00:35:07]
2303*2^261712-1 is not prime.  Res64: C512937DF33769CA  Time : 1549.0 sec.
user=vaughan
[2011-02-04 00:36:13]
2303*2^261730-1 is not prime.  Res64: D6A7FBB69C7D89B1  Time : 1034.0 sec.
user=vaughan
[2011-02-04 00:53:24]
2303*2^261742-1 is not prime.  Res64: 1F75AD9419129263  Time : 1030.0 sec.
user=vaughan
[2011-02-04 01:10:34]
2303*2^261760-1 is not prime.  Res64: 845D2F16A3BA9FC0  Time : 1030.0 sec.
user=vaughan
[2011-02-04 01:27:46]
2303*2^261786-1 is not prime.  Res64: D28ABD2321E69C98  Time : 1031.0 sec.
user=vaughan
[2011-02-04 01:45:10]
2303*2^261804-1 is not prime.  Res64: 3A52680371CA7C15  Time : 1044.0 sec.
user=mdettweiler
[2011-02-04 01:47:36]
2303*2^261732-1 is not prime.  Res64: 17A360D0CE2C164E  Time : 4349.0 sec.
user=vaughan
[2011-02-04 02:02:22]
2303*2^261830-1 is not prime.  Res64: E3324D0B8003EC16  Time : 1031.0 sec.
user=mdettweiler
[2011-02-04 02:13:33]
2303*2^261892-1 is not prime.  Res64: C805486DCA0201F7  Time : 1557.0 sec.
user=vaughan
[2011-02-04 02:19:34]
2303*2^261910-1 is not prime.  Res64: 9DD2B46B9B8EB780  Time : 1032.0 sec.
user=vaughan
[2011-02-04 02:36:53]
2303*2^261936-1 is not prime.  Res64: 3A81B4E5266BBD0D  Time : 1038.0 sec.
user=mdettweiler
[2011-02-04 02:39:21]
2303*2^261922-1 is not prime.  Res64: 8CA3C09ED3310773  Time : 1548.0 sec.
user=vaughan
[2011-02-04 02:54:07]
2303*2^261944-1 is not prime.  Res64: FAAC4D75F2B79E73  Time : 1033.0 sec.
user=mdettweiler
[2011-02-04 03:05:06]
2303*2^261964-1 is not prime.  Res64: 6F4285B0CFF626C7  Time : 1545.0 sec.
user=vaughan
[2011-02-04 03:11:25]
2303*2^262050-1 is not prime.  Res64: 01DE57B2750657C3  Time : 1037.0 sec.
user=vaughan
[2011-02-04 03:28:36]
2303*2^262126-1 is not prime.  Res64: E679B4DA1116E0B7  Time : 1030.0 sec.
user=mdettweiler
[2011-02-04 03:31:00]
2303*2^262054-1 is not prime.  Res64: F7F3EEDFC1476B33  Time : 1554.0 sec.
user=vaughan
[2011-02-04 03:45:50]
2303*2^262146-1 is not prime.  Res64: 67B5A81AC2D03579  Time : 1033.0 sec.
user=mdettweiler
[2011-02-04 03:56:57]
2303*2^262192-1 is not prime.  Res64: 077643AC4CAEEF34  Time : 1557.0 sec.
user=vaughan
[2011-02-04 04:03:01]
2303*2^262212-1 is not prime.  Res64: 724AF6708288FA07  Time : 1030.0 sec.
user=vaughan
[2011-02-04 04:20:12]
2303*2^262252-1 is not prime.  Res64: 503C664D55ADA4CD  Time : 1030.0 sec.
user=mdettweiler
[2011-02-04 04:22:47]
2303*2^262220-1 is not prime.  Res64: AF58906E46E7D201  Time : 1549.0 sec.
user=vaughan
[2011-02-04 04:37:28]
2303*2^262256-1 is not prime.  Res64: BEFB5E1C7C51B3E1  Time : 1035.0 sec.
user=mdettweiler
[2011-02-04 04:49:08]
2303*2^262270-1 is not prime.  Res64: B86B1E0A38F4A72D  Time : 1580.0 sec.
user=vaughan
[2011-02-04 04:54:40]
2303*2^262272-1 is not prime.  Res64: 2858B9BF950E666F  Time : 1031.0 sec.
user=vaughan
[2011-02-04 05:11:51]
2303*2^262396-1 is not prime.  Res64: AFA3D4FAF31D097A  Time : 1031.0 sec.
user=mdettweiler
[2011-02-04 05:14:56]
2303*2^262344-1 is not prime.  Res64: 935DF6AFA159230C  Time : 1548.0 sec.
user=vaughan
[2011-02-04 05:29:06]
2303*2^262400-1 is not prime.  Res64: 841F8777AA4A35E5  Time : 1034.0 sec.
user=mdettweiler
[2011-02-04 05:42:00]
2303*2^262414-1 is not prime.  Res64: AAC557D2193A5AFD  Time : 1623.0 sec.
user=vaughan
[2011-02-04 05:46:20]
2303*2^262422-1 is not prime.  Res64: 7ADCC9BACD5405C5  Time : 1033.0 sec.
user=vaughan
[2011-02-04 06:03:31]
2303*2^262466-1 is not prime.  Res64: AC36B6639463123D  Time : 1031.0 sec.
user=mdettweiler
[2011-02-04 06:07:51]
2303*2^262444-1 is not prime.  Res64: C8331BD2C3388422  Time : 1550.0 sec.
user=vaughan
[2011-02-04 06:20:47]
2303*2^262504-1 is not prime.  Res64: ED42016D11A0744F  Time : 1035.0 sec.
user=mdettweiler
[2011-02-04 06:33:42]
2303*2^262536-1 is not prime.  Res64: 95336495598FCCB4  Time : 1551.0 sec.
user=vaughan
[2011-02-04 06:38:13]
2303*2^262544-1 is not prime.  Res64: A7154237FEEF0563  Time : 1046.0 sec.
user=vaughan
[2011-02-04 06:55:25]
2303*2^262620-1 is not prime.  Res64: 15A1E2368AD1B338  Time : 1031.0 sec.
user=mdettweiler
[2011-02-04 06:59:32]
2303*2^262552-1 is not prime.  Res64: 4D7120FAD9EA7557  Time : 1550.0 sec.
user=vaughan
[2011-02-04 07:12:42]
2303*2^262626-1 is not prime.  Res64: CB20CADD18565BC0  Time : 1036.0 sec.
user=mdettweiler
[2011-02-04 07:25:25]
2303*2^262634-1 is not prime.  Res64: 6D0DCFD805CE78D3  Time : 1552.0 sec.
user=vaughan
[2011-02-04 07:30:00]
2303*2^262664-1 is not prime.  Res64: 443FF9111DBE3231  Time : 1037.0 sec.
user=vaughan
[2011-02-04 07:47:13]
2303*2^262720-1 is not prime.  Res64: 31543AE6AE780C62  Time : 1033.0 sec.
user=mdettweiler
[2011-02-04 07:51:18]
2303*2^262686-1 is not prime.  Res64: 614081F2F4F3F835  Time : 1553.0 sec.
user=vaughan
[2011-02-04 08:04:27]
2303*2^262740-1 is not prime.  Res64: 8184C0580AE30712  Time : 1034.0 sec.
user=mdettweiler
[2011-02-04 08:17:21]
2303*2^262750-1 is not prime.  Res64: 0D81ACCB80567014  Time : 1564.0 sec.
user=vaughan
[2011-02-04 08:21:40]
2303*2^262774-1 is not prime.  Res64: B41ADB92F9030E6B  Time : 1032.0 sec.
user=vaughan
[2011-02-04 08:38:57]
2303*2^262806-1 is not prime.  Res64: B4FE271562B150E3  Time : 1036.0 sec.
user=mdettweiler
[2011-02-04 08:43:24]
2303*2^262790-1 is not prime.  Res64: 51065CB130657B3B  Time : 1562.0 sec.
user=vaughan
[2011-02-04 08:56:11]
2303*2^262822-1 is not prime.  Res64: F95C1219D61A04A0  Time : 1033.0 sec.
user=mdettweiler
[2011-02-04 09:09:27]
2303*2^262844-1 is not prime.  Res64: 6D7C6EA47DE973C7  Time : 1562.0 sec.
user=vaughan
[2011-02-04 09:13:28]
2303*2^262864-1 is not prime.  Res64: 0F7CBE44AF9B8DB3  Time : 1036.0 sec.
user=vaughan
[2011-02-04 09:32:45]
2303*2^262910-1 is not prime.  Res64: 7E861FD009708F58  Time : 1156.0 sec.
user=mdettweiler
[2011-02-04 09:35:20]
2303*2^262882-1 is not prime.  Res64: 9E9FBC75A3312431  Time : 1553.0 sec.
user=vaughan
[2011-02-04 09:50:00]
2303*2^262966-1 is not prime.  Res64: 9EA3F7C9986BAE19  Time : 1034.0 sec.
user=mdettweiler
[2011-02-04 10:01:13]
2303*2^262976-1 is not prime.  Res64: 2804E5898140646D  Time : 1553.0 sec.
user=vaughan
[2011-02-04 10:07:15]
2303*2^262986-1 is not prime.  Res64: 7E642EA14192D1EC  Time : 1034.0 sec.
user=vaughan
[2011-02-04 10:24:28]
2303*2^263020-1 is not prime.  Res64: 4A147665FE495798  Time : 1032.0 sec.
user=mdettweiler
[2011-02-04 10:27:35]
2303*2^262994-1 is not prime.  Res64: 823D7E113F345E04  Time : 1582.0 sec.
user=vaughan
[2011-02-04 10:42:04]
2303*2^263060-1 is not prime.  Res64: C98B7EEC16C52D8A  Time : 1056.0 sec.
user=mdettweiler
[2011-02-04 10:53:38]
2303*2^263070-1 is not prime.  Res64: F6A3B64FD1F10AD8  Time : 1562.0 sec.
user=vaughan
[2011-02-04 10:59:33]
2303*2^263080-1 is not prime.  Res64: 14DBAA62E1D5470B  Time : 1048.0 sec.
user=vaughan
[2011-02-04 11:16:47]
2303*2^263114-1 is not prime.  Res64: F9039990CD1BCE5F  Time : 1033.0 sec.
user=mdettweiler
[2011-02-04 11:19:32]
2303*2^263092-1 is not prime.  Res64: E7887B2EA7CE3D49  Time : 1554.0 sec.
user=vaughan
[2011-02-04 11:34:21]
2303*2^263146-1 is not prime.  Res64: 5C362CAD697129F6  Time : 1053.0 sec.
user=mdettweiler
[2011-02-04 11:45:31]
2303*2^263164-1 is not prime.  Res64: 8DC4918D0AD71F3A  Time : 1559.0 sec.
user=vaughan
[2011-02-04 11:51:36]
2303*2^263172-1 is not prime.  Res64: 9AA891F531644175  Time : 1034.0 sec.
user=vaughan
[2011-02-04 12:08:51]
2303*2^263206-1 is not prime.  Res64: BD46817804E1FC2C  Time : 1034.0 sec.
user=mdettweiler
[2011-02-04 12:11:28]
2303*2^263182-1 is not prime.  Res64: 2D11FAA683AACBC4  Time : 1557.0 sec.
user=vaughan
[2011-02-04 12:26:06]
2303*2^263214-1 is not prime.  Res64: 482A9405BC6CA58B  Time : 1034.0 sec.
user=mdettweiler
[2011-02-04 12:37:24]
2303*2^263274-1 is not prime.  Res64: 43368A9811A04A0F  Time : 1556.0 sec.
user=vaughan
[2011-02-04 12:43:26]
2303*2^263306-1 is not prime.  Res64: 8A982EA8F82AFB18  Time : 1039.0 sec.
user=vaughan
[2011-02-04 13:00:40]
2303*2^263346-1 is not prime.  Res64: 3F0AB00A62577D38  Time : 1033.0 sec.
user=mdettweiler
[2011-02-04 13:03:36]
2303*2^263334-1 is not prime.  Res64: 06E57785CC5FEDC7  Time : 1571.0 sec.
user=vaughan
[2011-02-04 13:17:55]
2303*2^263406-1 is not prime.  Res64: 7EC31F4C7A733AC0  Time : 1034.0 sec.
user=mdettweiler
[2011-02-04 13:29:30]
2303*2^263452-1 is not prime.  Res64: D050CC5AB3259989  Time : 1554.0 sec.
user=vaughan
[2011-02-04 13:35:14]
2303*2^263476-1 is not prime.  Res64: 6075405F4E19CE41  Time : 1039.0 sec.
user=vaughan
[2011-02-04 13:52:29]
2303*2^263494-1 is not prime.  Res64: CD611F64F28B904B  Time : 1034.0 sec.
user=mdettweiler
[2011-02-04 13:55:34]
2303*2^263490-1 is not prime.  Res64: FEA5117F344AB2C6  Time : 1564.0 sec.
user=vaughan
[2011-02-04 14:09:49]
2303*2^263542-1 is not prime.  Res64: 732009E6FF8E6FCC  Time : 1039.0 sec.
user=mdettweiler
[2011-02-04 14:21:29]
2303*2^263546-1 is not prime.  Res64: FEE435365A09EC95  Time : 1555.0 sec.
user=vaughan
[2011-02-04 14:27:05]
2303*2^263556-1 is not prime.  Res64: AB5E636BAF18B98E  Time : 1036.0 sec.
user=vaughan
[2011-02-04 14:44:37]
2303*2^263592-1 is not prime.  Res64: 028E01C1C4CFB96C  Time : 1052.0 sec.
user=mdettweiler
[2011-02-04 14:47:28]
2303*2^263586-1 is not prime.  Res64: E001E10623C24AC5  Time : 1559.0 sec.
user=vaughan
[2011-02-04 15:01:55]
2303*2^263604-1 is not prime.  Res64: CF46A81F4661588F  Time : 1038.0 sec.
user=mdettweiler
[2011-02-04 15:13:27]
2303*2^263616-1 is not prime.  Res64: E39322F1861A1852  Time : 1558.0 sec.
user=vaughan
[2011-02-04 15:19:14]
2303*2^263636-1 is not prime.  Res64: A1A6BBEC07ABD0BF  Time : 1039.0 sec.
user=vaughan
[2011-02-04 15:36:37]
2303*2^263674-1 is not prime.  Res64: 4086B153A2128EDF  Time : 1042.0 sec.
user=mdettweiler
[2011-02-04 15:39:29]
2303*2^263650-1 is not prime.  Res64: 1DCBF4822AF28E2B  Time : 1562.0 sec.
user=vaughan
[2011-02-04 15:53:55]
2303*2^263690-1 is not prime.  Res64: 27F9F81371B4C217  Time : 1037.0 sec.
user=mdettweiler
[2011-02-04 16:05:32]
2303*2^263736-1 is not prime.  Res64: 8C3690FD891F8406  Time : 1563.0 sec.
user=vaughan
[2011-02-04 16:11:14]
2303*2^263740-1 is not prime.  Res64: 3012CD33B21B76F4  Time : 1038.0 sec.
user=vaughan
[2011-02-04 16:28:33]
2303*2^263760-1 is not prime.  Res64: 40E8212389D48FC6  Time : 1038.0 sec.
user=mdettweiler
[2011-02-04 16:31:30]
2303*2^263744-1 is not prime.  Res64: 592FE5F39605B250  Time : 1558.0 sec.
user=vaughan
[2011-02-04 16:45:55]
2303*2^263764-1 is not prime.  Res64: ABA314AD9F6BB02E  Time : 1041.0 sec.
user=mdettweiler
[2011-02-04 16:57:48]
2303*2^263780-1 is not prime.  Res64: 216141CF74BEE8CF  Time : 1578.0 sec.
user=vaughan
[2011-02-04 17:03:14]
2303*2^263786-1 is not prime.  Res64: 2B429CACC8993F67  Time : 1038.0 sec.
user=vaughan
[2011-02-04 17:20:32]
2303*2^263844-1 is not prime.  Res64: 8533AE7F46BC3E75  Time : 1038.0 sec.
user=mdettweiler
[2011-02-04 17:23:51]
2303*2^263804-1 is not prime.  Res64: E945C0D9DE4E2A36  Time : 1562.0 sec.
user=vaughan
[2011-02-04 17:37:52]
2303*2^263876-1 is not prime.  Res64: 561F906EFA02DEDA  Time : 1040.0 sec.
user=mdettweiler
[2011-02-04 17:49:52]
2303*2^263920-1 is not prime.  Res64: BE0E6B1125442D3B  Time : 1560.0 sec.
user=vaughan
[2011-02-04 17:55:10]
2303*2^263946-1 is not prime.  Res64: DBC68EDD5974BC3B  Time : 1038.0 sec.
user=vaughan
[2011-02-04 18:12:42]
2303*2^263990-1 is not prime.  Res64: 3F22379B039E758E  Time : 1051.0 sec.
user=mdettweiler
[2011-02-04 18:15:50]
2303*2^263954-1 is not prime.  Res64: 56E0FA372B1A2611  Time : 1558.0 sec.
user=vaughan
[2011-02-04 18:30:05]
2303*2^264056-1 is not prime.  Res64: 24EBBEC38FB7148E  Time : 1042.0 sec.
user=mdettweiler
[2011-02-04 18:41:50]
2303*2^264070-1 is not prime.  Res64: C94A5CFA3026515F  Time : 1560.0 sec.
user=vaughan
[2011-02-04 18:47:38]
2303*2^264086-1 is not prime.  Res64: A4AC5C8632D1EB1A  Time : 1053.0 sec.
user=vaughan
[2011-02-04 19:04:57]
2303*2^264126-1 is not prime.  Res64: C1BDA6B550D08749  Time : 1038.0 sec.
user=mdettweiler
[2011-02-04 19:07:50]
2303*2^264096-1 is not prime.  Res64: D1E08800C30EE104  Time : 1560.0 sec.
user=vaughan
[2011-02-04 19:22:20]
2303*2^264154-1 is not prime.  Res64: 0F3CB975095FC751  Time : 1043.0 sec.
user=mdettweiler
[2011-02-04 19:33:52]
2303*2^264172-1 is not prime.  Res64: D554E19CD61D64A3  Time : 1561.0 sec.
user=vaughan
[2011-02-04 19:39:46]
2303*2^264206-1 is not prime.  Res64: EDA513E9F35B3F3F  Time : 1045.0 sec.
user=vaughan
[2011-02-04 19:57:05]
2303*2^264262-1 is not prime.  Res64: 9CF5099262E1A140  Time : 1038.0 sec.
user=mdettweiler
[2011-02-04 19:59:55]
2303*2^264232-1 is not prime.  Res64: A4D0A5A2FC15E44D  Time : 1563.0 sec.
user=vaughan
[2011-02-04 20:14:27]
2303*2^264266-1 is not prime.  Res64: 3E73BBE49F629A61  Time : 1041.0 sec.
user=mdettweiler
[2011-02-04 20:26:01]
2303*2^264306-1 is not prime.  Res64: E114E7E12BBB04CE  Time : 1566.0 sec.
user=vaughan
[2011-02-04 20:31:50]
2303*2^264312-1 is not prime.  Res64: 32A56A2BAEEF5B15  Time : 1042.0 sec.
user=vaughan
[2011-02-04 20:49:08]
2303*2^264336-1 is not prime.  Res64: 06452C1090CC59E4  Time : 1037.0 sec.
user=mdettweiler
[2011-02-04 20:52:33]
2303*2^264320-1 is not prime.  Res64: 0F616E5F41ED9B48  Time : 1591.0 sec.
user=vaughan
[2011-02-04 21:06:28]
2303*2^264340-1 is not prime.  Res64: C5C2E24DFD58AB4C  Time : 1039.0 sec.
user=mdettweiler
[2011-02-04 21:18:32]
2303*2^264376-1 is not prime.  Res64: A997DE50083CA5EA  Time : 1559.0 sec.
user=vaughan
[2011-02-04 21:23:48]
2303*2^264380-1 is not prime.  Res64: 2C962A185612E76A  Time : 1040.0 sec.
user=vaughan
[2011-02-04 21:41:10]
2303*2^264456-1 is not prime.  Res64: 9F3784D52517C359  Time : 1042.0 sec.
user=mdettweiler
[2011-02-04 21:44:34]
2303*2^264394-1 is not prime.  Res64: 6963166F51994A90  Time : 1562.0 sec.
user=vaughan
[2011-02-04 21:58:32]
2303*2^264532-1 is not prime.  Res64: C7D6F64C822C3F8F  Time : 1042.0 sec.
user=mdettweiler
[2011-02-04 22:10:36]
2303*2^264570-1 is not prime.  Res64: F2DEDE76B9169534  Time : 1561.0 sec.
user=vaughan
[2011-02-04 22:15:54]
2303*2^264582-1 is not prime.  Res64: 17E9208DFAC81E93  Time : 1041.0 sec.
user=vaughan
[2011-02-04 22:33:18]
2303*2^264726-1 is not prime.  Res64: 9894F60069A4CF71  Time : 1044.0 sec.
user=mdettweiler
[2011-02-04 22:36:39]
2303*2^264644-1 is not prime.  Res64: D2E8F38E7C18C604  Time : 1562.0 sec.
user=vaughan
[2011-02-04 22:50:39]
2303*2^264754-1 is not prime.  Res64: 1186CEFF4CD58DA3  Time : 1040.0 sec.
user=mdettweiler
[2011-02-04 23:02:43]
2303*2^264756-1 is not prime.  Res64: 7D332DE91FB330AE  Time : 1564.0 sec.
user=vaughan
[2011-02-04 23:08:02]
2303*2^264770-1 is not prime.  Res64: 3545D588E7F9D23B  Time : 1042.0 sec.
user=vaughan
[2011-02-04 23:25:25]
2303*2^264846-1 is not prime.  Res64: 41CFCB7023FED83D  Time : 1043.0 sec.
user=vaughan
[2011-02-04 23:43:01]
2303*2^264860-1 is not prime.  Res64: DFC923C2F634EFA2  Time : 1056.0 sec.
user=vaughan
[2011-02-05 00:00:59]
2303*2^264876-1 is not prime.  Res64: 60D07061CD17D1C5  Time : 1077.0 sec.