user=mdettweiler
[2011-02-11 00:08:09]
2303*2^281414-1 is not prime.  Res64: BEEA37521399E540  Time : 1670.0 sec.
user=vaughan
[2011-02-11 00:17:38]
2303*2^281434-1 is not prime.  Res64: CC28A422AA1C1D08  Time : 1106.0 sec.
user=mdettweiler
[2011-02-11 00:35:55]
2303*2^281436-1 is not prime.  Res64: 9F7A4FDD63B083B1  Time : 1665.0 sec.
user=vaughan
[2011-02-11 00:36:12]
2303*2^281466-1 is not prime.  Res64: 7E97D537BED9A454  Time : 1114.0 sec.
user=vaughan
[2011-02-11 00:54:38]
2303*2^281484-1 is not prime.  Res64: E58CA93A5406B165  Time : 1106.0 sec.
user=mdettweiler
[2011-02-11 01:03:40]
2303*2^281474-1 is not prime.  Res64: 4C1C854C24E00EC6  Time : 1665.0 sec.
user=vaughan
[2011-02-11 01:13:07]
2303*2^281512-1 is not prime.  Res64: B9753686346DE373  Time : 1108.0 sec.
user=mdettweiler
[2011-02-11 01:31:33]
2303*2^281516-1 is not prime.  Res64: 0B88E81052395878  Time : 1672.0 sec.
user=vaughan
[2011-02-11 01:31:33]
2303*2^281530-1 is not prime.  Res64: 2B3921FEE4FF860E  Time : 1105.0 sec.
user=vaughan
[2011-02-11 01:50:01]
2303*2^281602-1 is not prime.  Res64: A2C17F4A243AF7C6  Time : 1107.0 sec.
user=mdettweiler
[2011-02-11 01:59:18]
2303*2^281534-1 is not prime.  Res64: 5595A98995B2A0F3  Time : 1665.0 sec.
user=vaughan
[2011-02-11 02:08:28]
2303*2^281604-1 is not prime.  Res64: 264426A37AB3E84E  Time : 1106.0 sec.
user=vaughan
[2011-02-11 02:26:55]
2303*2^281610-1 is not prime.  Res64: 017C3C9062A88F4F  Time : 1106.0 sec.
user=vaughan
[2011-02-11 02:45:26]
2303*2^281620-1 is not prime.  Res64: 95F984A411F6AE30  Time : 1110.0 sec.
user=vaughan
[2011-02-11 03:03:54]
2303*2^281622-1 is not prime.  Res64: 61D9F078D331ED7A  Time : 1107.0 sec.
user=mdettweiler
[2011-02-11 03:19:55]
2303*2^281606-1 is not prime.  Res64: CF36A6FB82EFA023  Time : 4837.0 sec.
user=vaughan
[2011-02-11 03:22:27]
2303*2^281660-1 is not prime.  Res64: 5EBC1939080B4FB2  Time : 1112.0 sec.
user=vaughan
[2011-02-11 03:41:02]
2303*2^281712-1 is not prime.  Res64: 61AD455AB4A36CE2  Time : 1114.0 sec.
user=mdettweiler
[2011-02-11 03:47:47]
2303*2^281690-1 is not prime.  Res64: 53D376055CDF705C  Time : 1672.0 sec.
user=vaughan
[2011-02-11 03:59:31]
2303*2^281772-1 is not prime.  Res64: E37EB198BB23A1AE  Time : 1108.0 sec.
user=mdettweiler
[2011-02-11 04:15:33]
2303*2^281836-1 is not prime.  Res64: C6A523DEA2A3482D  Time : 1666.0 sec.
user=vaughan
[2011-02-11 04:18:01]
2303*2^281846-1 is not prime.  Res64: 128D557CCEA5949F  Time : 1109.0 sec.
user=vaughan
[2011-02-11 04:36:33]
2303*2^281890-1 is not prime.  Res64: 08024DE428A9201F  Time : 1111.0 sec.
user=mdettweiler
[2011-02-11 04:43:29]
2303*2^281862-1 is not prime.  Res64: 898635473394330E  Time : 1676.0 sec.
user=vaughan
[2011-02-11 04:55:00]
2303*2^281902-1 is not prime.  Res64: 40B4616D642812B9  Time : 1106.0 sec.
user=mdettweiler
[2011-02-11 05:11:20]
2303*2^281926-1 is not prime.  Res64: 1980E237F9FAF243  Time : 1671.0 sec.
user=vaughan
[2011-02-11 05:13:28]
2303*2^281934-1 is not prime.  Res64: DF6A897D8D075C8F  Time : 1108.0 sec.
user=vaughan
[2011-02-11 05:31:56]
2303*2^281952-1 is not prime.  Res64: D1E41504E27D5A97  Time : 1107.0 sec.
user=mdettweiler
[2011-02-11 05:43:53]
2303*2^281940-1 is not prime.  Res64: E760720B4579EB58  Time : 1952.0 sec.
user=vaughan
[2011-02-11 05:50:27]
2303*2^281970-1 is not prime.  Res64: 55B624F2BE050351  Time : 1110.0 sec.
user=vaughan
[2011-02-11 06:08:56]
2303*2^282034-1 is not prime.  Res64: 8B6FD2C6606A0B0F  Time : 1108.0 sec.
user=mdettweiler
[2011-02-11 06:11:41]
2303*2^281980-1 is not prime.  Res64: 50A016E7DD0BCCE1  Time : 1668.0 sec.
user=vaughan
[2011-02-11 06:27:23]
2303*2^282052-1 is not prime.  Res64: 561838C459CF84AD  Time : 1106.0 sec.
user=mdettweiler
[2011-02-11 06:39:48]
2303*2^282064-1 is not prime.  Res64: C7073D62559E15E0  Time : 1687.0 sec.
user=vaughan
[2011-02-11 06:46:10]
2303*2^282070-1 is not prime.  Res64: 7A34B21355B7FB40  Time : 1127.0 sec.
user=vaughan
[2011-02-11 07:04:39]
2303*2^282136-1 is not prime.  Res64: 788F92FCC31DD369  Time : 1108.0 sec.
user=mdettweiler
[2011-02-11 07:07:35]
2303*2^282084-1 is not prime.  Res64: 4520A37D1893DB28  Time : 1666.0 sec.
user=vaughan
[2011-02-11 07:23:20]
2303*2^282146-1 is not prime.  Res64: BCBD139AD4CFE60D  Time : 1120.0 sec.
user=mdettweiler
[2011-02-11 07:35:28]
2303*2^282160-1 is not prime.  Res64: E7267180A1EC006C  Time : 1673.0 sec.
user=vaughan
[2011-02-11 07:43:20]
2303*2^282176-1 is not prime.  Res64: 45DBE267DB0B0E4D  Time : 1199.0 sec.
user=mdettweiler
[2011-02-11 08:03:15]
2303*2^282196-1 is not prime.  Res64: 11A2201622A84B11  Time : 1667.0 sec.
user=vaughan
[2011-02-11 08:03:39]
2303*2^282216-1 is not prime.  Res64: 4E59596E7E608DA7  Time : 1219.0 sec.
user=vaughan
[2011-02-11 08:22:09]
2303*2^282254-1 is not prime.  Res64: A79EA2C2101C0C93  Time : 1109.0 sec.
user=mdettweiler
[2011-02-11 08:31:02]
2303*2^282226-1 is not prime.  Res64: F7E053CA106F2C40  Time : 1667.0 sec.
user=vaughan
[2011-02-11 08:40:46]
2303*2^282266-1 is not prime.  Res64: DC1D25C26FB53E5D  Time : 1116.0 sec.
user=mdettweiler
[2011-02-11 08:58:54]
2303*2^282270-1 is not prime.  Res64: 106F58E8086A5A2C  Time : 1672.0 sec.
user=vaughan
[2011-02-11 08:59:14]
2303*2^282282-1 is not prime.  Res64: CBAF7378880E5211  Time : 1107.0 sec.
user=vaughan
[2011-02-11 09:17:45]
2303*2^282290-1 is not prime.  Res64: F2471A721C8E8CCC  Time : 1110.0 sec.
user=mdettweiler
[2011-02-11 09:26:40]
2303*2^282284-1 is not prime.  Res64: C221B2A536B16DC6  Time : 1666.0 sec.
user=vaughan
[2011-02-11 09:36:16]
2303*2^282300-1 is not prime.  Res64: 9237FBB63D3BB7D0  Time : 1111.0 sec.
user=mdettweiler
[2011-02-11 09:54:31]
2303*2^282304-1 is not prime.  Res64: 3094DFC346D4ABB8  Time : 1671.0 sec.
user=vaughan
[2011-02-11 09:54:44]
2303*2^282314-1 is not prime.  Res64: A61AEF981FCD8C35  Time : 1107.0 sec.
user=vaughan
[2011-02-11 10:13:14]
2303*2^282344-1 is not prime.  Res64: E23590ADE0E5F753  Time : 1109.0 sec.
user=mdettweiler
[2011-02-11 10:22:20]
2303*2^282334-1 is not prime.  Res64: F0F419EFB8730BE8  Time : 1669.0 sec.
user=vaughan
[2011-02-11 10:31:44]
2303*2^282360-1 is not prime.  Res64: 03DAEC468CFB6B73  Time : 1109.0 sec.
user=vaughan
[2011-02-11 10:50:27]
2303*2^282420-1 is not prime.  Res64: C44BCC7471088F31  Time : 1123.0 sec.
user=mdettweiler
[2011-02-11 10:50:39]
2303*2^282414-1 is not prime.  Res64: 581AAE0AC61075E8  Time : 1698.0 sec.
user=vaughan
[2011-02-11 11:08:57]
2303*2^282432-1 is not prime.  Res64: D8081718BC16D632  Time : 1109.0 sec.
user=mdettweiler
[2011-02-11 11:18:29]
2303*2^282492-1 is not prime.  Res64: 029CD874B43D284C  Time : 1670.0 sec.
user=vaughan
[2011-02-11 11:27:30]
2303*2^282500-1 is not prime.  Res64: 6252028E8AECDB35  Time : 1113.0 sec.
user=mdettweiler
[2011-02-11 11:46:21]
2303*2^282506-1 is not prime.  Res64: F530281E536D53EA  Time : 1672.0 sec.
user=vaughan
[2011-02-11 11:48:09]
2303*2^282522-1 is not prime.  Res64: A16A576C7754453C  Time : 1238.0 sec.
user=vaughan
[2011-02-11 12:07:38]
2303*2^282566-1 is not prime.  Res64: 690E3FDEF41351C3  Time : 1169.0 sec.
user=mdettweiler
[2011-02-11 12:14:11]
2303*2^282540-1 is not prime.  Res64: 95245378B83AC176  Time : 1670.0 sec.
user=vaughan
[2011-02-11 12:26:10]
2303*2^282574-1 is not prime.  Res64: 06DB0552D71C6236  Time : 1111.0 sec.
user=mdettweiler
[2011-02-11 12:42:04]
2303*2^282586-1 is not prime.  Res64: 848DDCD6EA696282  Time : 1673.0 sec.
user=vaughan
[2011-02-11 12:44:45]
2303*2^282594-1 is not prime.  Res64: B567E0A43054543E  Time : 1114.0 sec.
user=vaughan
[2011-02-11 13:03:14]
2303*2^282682-1 is not prime.  Res64: 8CD239E773D88DA7  Time : 1108.0 sec.
user=mdettweiler
[2011-02-11 13:09:54]
2303*2^282680-1 is not prime.  Res64: 7FFD54873F13D390  Time : 1670.0 sec.
user=vaughan
[2011-02-11 13:21:43]
2303*2^282694-1 is not prime.  Res64: 9A5EFB729EE8B4DD  Time : 1108.0 sec.
user=mdettweiler
[2011-02-11 13:37:51]
2303*2^282794-1 is not prime.  Res64: 75F0F618F4106C0C  Time : 1677.0 sec.
user=vaughan
[2011-02-11 13:40:17]
2303*2^282816-1 is not prime.  Res64: B3B941AE3D678C78  Time : 1113.0 sec.
user=vaughan
[2011-02-11 13:58:46]
2303*2^282844-1 is not prime.  Res64: 191A8ACFCD4F7C22  Time : 1108.0 sec.
user=mdettweiler
[2011-02-11 14:05:45]
2303*2^282826-1 is not prime.  Res64: 2D8A54E8B397F4CD  Time : 1674.0 sec.
user=vaughan
[2011-02-11 14:17:17]
2303*2^282876-1 is not prime.  Res64: E034677ED4FE0515  Time : 1110.0 sec.
user=mdettweiler
[2011-02-11 14:33:57]
2303*2^282892-1 is not prime.  Res64: 601A396ECCBB7FC2  Time : 1692.0 sec.
user=vaughan
[2011-02-11 14:36:07]
2303*2^282916-1 is not prime.  Res64: F04231CB71106E78  Time : 1130.0 sec.
user=vaughan
[2011-02-11 14:54:38]
2303*2^282970-1 is not prime.  Res64: 54152974D06F0E57  Time : 1110.0 sec.
user=mdettweiler
[2011-02-11 15:01:51]
2303*2^282954-1 is not prime.  Res64: B10494D7C6889756  Time : 1674.0 sec.
user=vaughan
[2011-02-11 15:13:09]
2303*2^282972-1 is not prime.  Res64: 82827DBB8DE7087B  Time : 1111.0 sec.
user=mdettweiler
[2011-02-11 15:29:42]
2303*2^282982-1 is not prime.  Res64: 0AD079F03AC23ACC  Time : 1671.0 sec.
user=vaughan
[2011-02-11 15:31:40]
2303*2^282996-1 is not prime.  Res64: CD05FC2CCCDF0065  Time : 1111.0 sec.
user=vaughan
[2011-02-11 15:50:37]
2303*2^283040-1 is not prime.  Res64: F00AE340E4988019  Time : 1136.0 sec.
user=mdettweiler
[2011-02-11 15:57:55]
2303*2^283004-1 is not prime.  Res64: 391088DB01461CD0  Time : 1692.0 sec.
user=vaughan
[2011-02-11 16:09:12]
2303*2^283046-1 is not prime.  Res64: B10319FD389F57A3  Time : 1114.0 sec.
user=mdettweiler
[2011-02-11 16:25:53]
2303*2^283062-1 is not prime.  Res64: B7D52C1840528B97  Time : 1677.0 sec.
user=vaughan
[2011-02-11 16:27:42]
2303*2^283074-1 is not prime.  Res64: 06AD2CFC934967F0  Time : 1110.0 sec.
user=vaughan
[2011-02-11 16:46:25]
2303*2^283114-1 is not prime.  Res64: B3FE9F9CC7B68467  Time : 1122.0 sec.
user=mdettweiler
[2011-02-11 16:53:54]
2303*2^283106-1 is not prime.  Res64: 663F3C91753EAABF  Time : 1681.0 sec.
user=mdettweiler
[2011-02-11 17:21:46]
2303*2^283150-1 is not prime.  Res64: 1444023049878A03  Time : 1672.0 sec.
user=mdettweiler
[2011-02-11 17:49:38]
2303*2^283182-1 is not prime.  Res64: 5F9AFA2311E525D0  Time : 1671.0 sec.
user=mdettweiler
[2011-02-11 18:17:48]
2303*2^283302-1 is not prime.  Res64: 215FB96691367743  Time : 1689.0 sec.
user=mdettweiler
[2011-02-11 18:46:00]
2303*2^283316-1 is not prime.  Res64: 849747E02A655BE2  Time : 1692.0 sec.
user=mdettweiler
[2011-02-11 19:13:52]
2303*2^283320-1 is not prime.  Res64: 459E92AC85A2AD31  Time : 1672.0 sec.
user=mdettweiler
[2011-02-11 19:41:46]
2303*2^283332-1 is not prime.  Res64: 9D6527C9A9D3C98E  Time : 1673.0 sec.
user=mdettweiler
[2011-02-11 20:09:47]
2303*2^283334-1 is not prime.  Res64: 077F49BDABEC9AC6  Time : 1681.0 sec.
user=mdettweiler
[2011-02-11 20:37:45]
2303*2^283362-1 is not prime.  Res64: 7A8F246EF62520E3  Time : 1678.0 sec.
user=mdettweiler
[2011-02-11 21:05:41]
2303*2^283370-1 is not prime.  Res64: DDE56C051578C1FA  Time : 1675.0 sec.
user=mdettweiler
[2011-02-11 21:33:36]
2303*2^283402-1 is not prime.  Res64: ABEBC91F06E1CEAE  Time : 1673.0 sec.
user=mdettweiler
[2011-02-11 22:01:36]
2303*2^283436-1 is not prime.  Res64: 1CA1E5B441342CA7  Time : 1680.0 sec.
user=mdettweiler
[2011-02-11 22:29:29]
2303*2^283456-1 is not prime.  Res64: D83607F62FDD1A43  Time : 1673.0 sec.
user=mdettweiler
[2011-02-11 22:57:43]
2303*2^283496-1 is not prime.  Res64: 963DED967254C498  Time : 1694.0 sec.
user=mdettweiler
[2011-02-11 23:25:48]
2303*2^283510-1 is not prime.  Res64: 07812477A84CFE5D  Time : 1685.0 sec.
user=mdettweiler
[2011-02-11 23:53:47]
2303*2^283544-1 is not prime.  Res64: AF619D27E5B3C03C  Time : 1679.0 sec.