user=mdettweiler [2010-05-11 00:05:26] 1793*2^670730-1 is not prime. Res64: 28D2B2F1CF64ED51 Time : 2031.0 sec. user=mdettweiler [2010-05-11 00:05:26] 1851*2^670730-1 is not prime. Res64: B288EFAC78F3A81C Time : 2031.0 sec. user=mdettweiler [2010-05-11 00:05:26] 1875*2^670730-1 is not prime. Res64: 9A49C7AEF8EFAF3E Time : 2031.0 sec. user=mdettweiler [2010-05-11 00:39:20] 1953*2^670730-1 is not prime. Res64: 319269B443B69C6E Time : 2034.0 sec. user=mdettweiler [2010-05-11 00:39:20] 1971*2^670730-1 is not prime. Res64: 616B1C75EBFD45C6 Time : 2033.0 sec. user=mdettweiler [2010-05-11 00:39:20] 1503*2^670731-1 is not prime. Res64: 746AB4F14CF57F4C Time : 2033.0 sec. user=mdettweiler [2010-05-11 01:13:10] 1515*2^670731-1 is not prime. Res64: 7F1D89775FEBF954 Time : 2029.0 sec. user=mdettweiler [2010-05-11 01:13:10] 1533*2^670731-1 is not prime. Res64: A474E195F4B8DFB5 Time : 2029.0 sec. user=mdettweiler [2010-05-11 01:13:10] 1551*2^670731-1 is not prime. Res64: 1A5A4D071E0A90B2 Time : 2029.0 sec. user=mdettweiler [2010-05-11 01:47:01] 1621*2^670731-1 is not prime. Res64: D6D8ABC0012A8F0B Time : 2031.0 sec. user=mdettweiler [2010-05-11 01:47:01] 1663*2^670731-1 is not prime. Res64: 1601FA94CCB894FD Time : 2031.0 sec. user=mdettweiler [2010-05-11 01:47:01] 1873*2^670731-1 is not prime. Res64: 9E83E4166097D981 Time : 2031.0 sec. user=mdettweiler [2010-05-11 02:20:53] 1899*2^670731-1 is not prime. Res64: AD186CC80224DE6C Time : 2032.0 sec. user=mdettweiler [2010-05-11 02:20:53] 1923*2^670731-1 is not prime. Res64: C3C78C0AE26CB184 Time : 2032.0 sec. user=mdettweiler [2010-05-11 02:20:53] 1951*2^670731-1 is not prime. Res64: A15158ECC3596675 Time : 2031.0 sec. user=mdettweiler [2010-05-11 02:54:59] 1443*2^670732-1 is not prime. Res64: 23E47AFD5C6CA506 Time : 2045.0 sec. user=mdettweiler [2010-05-11 02:54:59] 1625*2^670732-1 is not prime. Res64: 4D4D556E6F2C3148 Time : 2045.0 sec. user=mdettweiler [2010-05-11 02:54:59] 1689*2^670732-1 is not prime. Res64: 4D4907AD3B0F46D0 Time : 2045.0 sec. user=mdettweiler [2010-05-11 03:28:57] 1739*2^670732-1 is not prime. Res64: 7BE05D3C23A62069 Time : 2038.0 sec. user=mdettweiler [2010-05-11 03:28:57] 1745*2^670732-1 is not prime. Res64: 434479C6DF40DE1B Time : 2038.0 sec. user=mdettweiler [2010-05-11 03:28:57] 1779*2^670732-1 is not prime. Res64: F7043ECEC7950754 Time : 2038.0 sec. user=mdettweiler [2010-05-11 04:02:44] 1823*2^670732-1 is not prime. Res64: 14882B8FA7E31C96 Time : 2027.0 sec. user=mdettweiler [2010-05-11 04:02:44] 1827*2^670732-1 is not prime. Res64: 0778D9BF1462621E Time : 2027.0 sec. user=mdettweiler [2010-05-11 04:02:44] 1489*2^670733-1 is not prime. Res64: 27408D9BF53F7BF1 Time : 2026.0 sec. user=mdettweiler [2010-05-11 04:36:30] 1575*2^670733-1 is not prime. Res64: E3C3E40D37FD6065 Time : 2025.0 sec. user=mdettweiler [2010-05-11 04:36:30] 1615*2^670733-1 is not prime. Res64: D4DE6400C442540E Time : 2025.0 sec. user=mdettweiler [2010-05-11 04:36:30] 1621*2^670733-1 is not prime. Res64: 17E1A146338506DD Time : 2025.0 sec. user=mdettweiler [2010-05-11 05:10:43] 1627*2^670733-1 is not prime. Res64: F69D85C9D8048D85 Time : 2053.0 sec. user=mdettweiler [2010-05-11 05:10:43] 1639*2^670733-1 is not prime. Res64: A038D9B81566E3AB Time : 2053.0 sec. user=mdettweiler [2010-05-11 05:10:43] 1677*2^670733-1 is not prime. Res64: 7D92EB35CD8BF64F Time : 2053.0 sec. user=mdettweiler [2010-05-11 05:46:44] 1741*2^670733-1 is not prime. Res64: 52556484B0B097B0 Time : 2161.0 sec. user=mdettweiler [2010-05-11 05:46:44] 1747*2^670733-1 is not prime. Res64: D9756A062886AF37 Time : 2161.0 sec. user=mdettweiler [2010-05-11 05:46:44] 1951*2^670733-1 is not prime. Res64: F612B2D26BE5C40E Time : 2161.0 sec. user=mdettweiler [2010-05-11 06:21:34] 1475*2^670734-1 is not prime. Res64: 8AA02F428B397342 Time : 2090.0 sec. user=mdettweiler [2010-05-11 06:21:34] 1487*2^670734-1 is not prime. Res64: D80CB77F6F25985A Time : 2090.0 sec. user=mdettweiler [2010-05-11 06:21:34] 1563*2^670734-1 is not prime. Res64: 6FCDE59C58FA6ED2 Time : 2090.0 sec. user=mdettweiler [2010-05-11 06:55:57] 1647*2^670734-1 is not prime. Res64: 223E84DFAEB0DEB1 Time : 2063.0 sec. user=mdettweiler [2010-05-11 06:55:57] 1685*2^670734-1 is not prime. Res64: C0A305C7F7B352CD Time : 2063.0 sec. user=mdettweiler [2010-05-11 06:55:57] 1757*2^670734-1 is not prime. Res64: 8BDAE873B7D6168F Time : 2063.0 sec. user=mdettweiler [2010-05-11 07:30:34] 1763*2^670734-1 is not prime. Res64: 3D393844504416D4 Time : 2077.0 sec. user=mdettweiler [2010-05-11 07:30:35] 1773*2^670734-1 is not prime. Res64: 1433BB1FEDE64EF3 Time : 2077.0 sec. user=mdettweiler [2010-05-11 07:30:35] 1841*2^670734-1 is not prime. Res64: 3950EDC93EFEE26F Time : 2077.0 sec. user=mdettweiler [2010-05-11 08:05:01] 1887*2^670734-1 is not prime. Res64: 4A6F021C45456DA9 Time : 2066.0 sec. user=mdettweiler [2010-05-11 08:05:01] 1931*2^670734-1 is not prime. Res64: 9728B53217D3A8E0 Time : 2065.0 sec. user=mdettweiler [2010-05-11 08:05:02] 1965*2^670734-1 is not prime. Res64: D1A4D296A351A5A0 Time : 2066.0 sec. user=mdettweiler [2010-05-11 08:39:25] 1971*2^670734-1 is not prime. Res64: 04FDC53564A9A8AA Time : 2063.0 sec. user=mdettweiler [2010-05-11 08:39:25] 1465*2^670735-1 is not prime. Res64: D4062E63A00C09F0 Time : 2063.0 sec. user=mdettweiler [2010-05-11 08:39:25] 1513*2^670735-1 is not prime. Res64: E1F02387E0AAA669 Time : 2063.0 sec. user=mdettweiler [2010-05-11 09:13:47] 1545*2^670735-1 is not prime. Res64: 1462A9D5ECC164E6 Time : 2062.0 sec. user=mdettweiler [2010-05-11 09:13:47] 1581*2^670735-1 is not prime. Res64: D8EE16EE4D44C573 Time : 2062.0 sec. user=mdettweiler [2010-05-11 09:13:47] 1629*2^670735-1 is not prime. Res64: 854F28DC9D2558BB Time : 2062.0 sec. user=mdettweiler [2010-05-11 09:48:11] 1653*2^670735-1 is not prime. Res64: 37EFDAF1E8FBA3CE Time : 2064.0 sec. user=mdettweiler [2010-05-11 09:48:11] 1711*2^670735-1 is not prime. Res64: E33CE2EE2193B48F Time : 2064.0 sec. user=mdettweiler [2010-05-11 09:48:11] 1843*2^670735-1 is not prime. Res64: 838EFEB86FAD43E2 Time : 2063.0 sec. user=mdettweiler [2010-05-11 10:22:37] 1879*2^670735-1 is not prime. Res64: CD978AB3B1B601B6 Time : 2066.0 sec. user=mdettweiler [2010-05-11 10:22:37] 1893*2^670735-1 is not prime. Res64: F6D458DEF022A20B Time : 2066.0 sec. user=mdettweiler [2010-05-11 10:22:37] 1903*2^670735-1 is not prime. Res64: AA957F18F4B3B005 Time : 2066.0 sec. user=mdettweiler [2010-05-11 10:56:59] 1981*2^670735-1 is not prime. Res64: 32F46C31F30D2CFE Time : 2062.0 sec. user=mdettweiler [2010-05-11 10:56:59] 1469*2^670736-1 is not prime. Res64: 1787BFDDD684F45F Time : 2061.0 sec. user=mdettweiler [2010-05-11 10:56:59] 1517*2^670736-1 is not prime. Res64: 1E369E89E0CF53B7 Time : 2061.0 sec. user=mdettweiler [2010-05-11 11:32:09] 1629*2^670736-1 is not prime. Res64: 9F022C921051E024 Time : 2110.0 sec. user=mdettweiler [2010-05-11 11:32:10] 1755*2^670736-1 is not prime. Res64: 849A50CE98B92CF7 Time : 2111.0 sec. user=mdettweiler [2010-05-11 11:32:10] 1793*2^670736-1 is not prime. Res64: FDE63CF5B3FFABE6 Time : 2111.0 sec. user=mdettweiler [2010-05-11 12:14:36] 1863*2^670736-1 is not prime. Res64: 201A56FF9D0267FA Time : 2546.0 sec. user=mdettweiler [2010-05-11 12:14:36] 1877*2^670736-1 is not prime. Res64: 130CA299D31E74E7 Time : 2546.0 sec. user=mdettweiler [2010-05-11 12:14:36] 1949*2^670736-1 is not prime. Res64: 81FE62C17968C3A6 Time : 2546.0 sec. user=mdettweiler [2010-05-11 12:50:51] 1995*2^670736-1 is not prime. Res64: 6286949BF78C6800 Time : 2175.0 sec. user=mdettweiler [2010-05-11 12:50:51] 1407*2^670737-1 is not prime. Res64: 97AACF70BA2FD773 Time : 2174.0 sec. user=mdettweiler [2010-05-11 12:50:51] 1509*2^670737-1 is not prime. Res64: 5B5C22955CA0224A Time : 2174.0 sec. user=mdettweiler [2010-05-11 13:25:41] 1561*2^670737-1 is not prime. Res64: 4E46D2D329FD1E27 Time : 2090.0 sec. user=mdettweiler [2010-05-11 13:25:41] 1615*2^670737-1 is not prime. Res64: 96AA7BF1AC935B61 Time : 2089.0 sec. user=mdettweiler [2010-05-11 13:25:41] 1687*2^670737-1 is not prime. Res64: 14A355AB0252C17F Time : 2089.0 sec. user=mdettweiler [2010-05-11 14:00:32] 1701*2^670737-1 is not prime. Res64: A07D8A317D0E1B9E Time : 2091.0 sec. user=mdettweiler [2010-05-11 14:00:32] 1809*2^670737-1 is not prime. Res64: 5BC98E696162BECF Time : 2090.0 sec. user=mdettweiler [2010-05-11 14:00:33] 1819*2^670737-1 is not prime. Res64: 5F337853191BB0B2 Time : 2091.0 sec. user=mdettweiler [2010-05-11 14:37:26] 1851*2^670737-1 is not prime. Res64: 2D7EFDF6506B2D16 Time : 2213.0 sec. user=mdettweiler [2010-05-11 14:37:26] 1869*2^670737-1 is not prime. Res64: 9992A42C06313BFF Time : 2213.0 sec. user=mdettweiler [2010-05-11 14:37:26] 1915*2^670737-1 is not prime. Res64: 851F6A53243A7BE6 Time : 2213.0 sec. user=mdettweiler [2010-05-11 15:11:19] 1941*2^670737-1 is not prime. Res64: 191642341917FA8F Time : 2033.0 sec. user=mdettweiler [2010-05-11 15:11:19] 1957*2^670737-1 is not prime. Res64: D81C85BD306D7786 Time : 2033.0 sec. user=mdettweiler [2010-05-11 15:11:19] 1965*2^670737-1 is not prime. Res64: 57DC634CD08609D5 Time : 2033.0 sec. user=mdettweiler [2010-05-11 15:45:19] 1487*2^670738-1 is not prime. Res64: 0F50DAFF113297EC Time : 2040.0 sec. user=mdettweiler [2010-05-11 15:45:19] 1581*2^670738-1 is not prime. Res64: C4A534352301AC6E Time : 2040.0 sec. user=mdettweiler [2010-05-11 15:45:19] 1587*2^670738-1 is not prime. Res64: B6498009628E1167 Time : 2040.0 sec. user=mdettweiler [2010-05-11 16:19:14] 1623*2^670738-1 is not prime. Res64: 071E3B6F7A7B6ED3 Time : 2035.0 sec. user=mdettweiler [2010-05-11 16:19:15] 1653*2^670738-1 is not prime. Res64: 69E3A92469E0CDAF Time : 2036.0 sec. user=mdettweiler [2010-05-11 16:19:15] 1745*2^670738-1 is not prime. Res64: DB6C21A4AFC0C774 Time : 2036.0 sec. user=mdettweiler [2010-05-11 16:53:11] 1793*2^670738-1 is not prime. Res64: 58F00783E0508F52 Time : 2036.0 sec. user=mdettweiler [2010-05-11 16:53:11] 1805*2^670738-1 is not prime. Res64: D7F1AC554D22D986 Time : 2035.0 sec. user=mdettweiler [2010-05-11 16:53:12] 1865*2^670738-1 is not prime. Res64: 93574CBBBAEF68A0 Time : 2036.0 sec. user=mdettweiler [2010-05-11 17:27:10] 1871*2^670738-1 is not prime. Res64: 6C6B99CA4DC8397E Time : 2038.0 sec. user=mdettweiler [2010-05-11 17:27:10] 1881*2^670738-1 is not prime. Res64: 7976FD129F03BCEA Time : 2038.0 sec. user=mdettweiler [2010-05-11 17:27:10] 1905*2^670738-1 is not prime. Res64: B93C3B4E22DD5340 Time : 2037.0 sec. user=mdettweiler [2010-05-11 18:02:06] 1503*2^670739-1 is not prime. Res64: 11498342B475B4ED Time : 2096.0 sec. user=mdettweiler [2010-05-11 18:02:07] 1513*2^670739-1 is not prime. Res64: 87D3E8D291DA00B0 Time : 2096.0 sec. user=mdettweiler [2010-05-11 18:02:07] 1719*2^670739-1 is not prime. Res64: 897BA01AF4344DAB Time : 2096.0 sec. user=mdettweiler [2010-05-11 18:18:58] 1725*2^670739-1 is not prime. Res64: 3F9645F5CE974EFD Time : 2042.0 sec. user=mdettweiler [2010-05-11 18:18:58] 1735*2^670739-1 is not prime. Res64: 0065849168AAF135 Time : 2042.0 sec. user=mdettweiler [2010-05-11 18:18:59] 1833*2^670739-1 is not prime. Res64: 8188DC972F92F5B5 Time : 2043.0 sec. user=mdettweiler [2010-05-11 18:35:48] 1879*2^670739-1 is not prime. Res64: E683F9CE2530B95E Time : 2021.0 sec. user=mdettweiler [2010-05-11 18:35:48] 1933*2^670739-1 is not prime. Res64: C306E6C20307B34C Time : 2020.0 sec. user=mdettweiler [2010-05-11 18:35:49] 1951*2^670739-1 is not prime. Res64: ED79E6050A13CE69 Time : 2020.0 sec. user=mdettweiler [2010-05-11 18:52:38] 1963*2^670739-1 is not prime. Res64: 164623A7014FE125 Time : 2019.0 sec. user=mdettweiler [2010-05-11 18:52:39] 1999*2^670739-1 is not prime. Res64: 25DE529757700CD0 Time : 2019.0 sec. user=mdettweiler [2010-05-11 18:52:39] 1433*2^670740-1 is not prime. Res64: 442B4DAEEAAD68B9 Time : 2019.0 sec. user=mdettweiler [2010-05-11 19:09:27] 1437*2^670740-1 is not prime. Res64: 4FA87639B24CB2BA Time : 2018.0 sec. user=mdettweiler [2010-05-11 19:09:27] 1523*2^670740-1 is not prime. Res64: 134B4F9F1A425EF6 Time : 2018.0 sec. user=mdettweiler [2010-05-11 19:09:27] 1605*2^670740-1 is not prime. Res64: 299975E91C76F529 Time : 2018.0 sec. user=mdettweiler [2010-05-11 19:26:09] 1647*2^670740-1 is not prime. Res64: 841B5081728D2522 Time : 2010.0 sec. user=mdettweiler [2010-05-11 19:26:09] 1649*2^670740-1 is not prime. Res64: FC723AC51A5470F9 Time : 2010.0 sec. user=mdettweiler [2010-05-11 19:26:09] 1749*2^670740-1 is not prime. Res64: 9FCC809CEC61F625 Time : 2009.0 sec. user=mdettweiler [2010-05-11 19:43:04] 1773*2^670740-1 is not prime. Res64: 379B86DCFC128FE0 Time : 2016.0 sec. user=mdettweiler [2010-05-11 19:43:05] 1785*2^670740-1 is not prime. Res64: 6D6847289DC3F95A Time : 2017.0 sec. user=mdettweiler [2010-05-11 19:43:05] 1815*2^670740-1 is not prime. Res64: C9A9BAE63563DAD0 Time : 2017.0 sec. user=mdettweiler [2010-05-11 19:59:56] 1895*2^670740-1 is not prime. Res64: 78382C440A330AD6 Time : 2026.0 sec. user=mdettweiler [2010-05-11 19:59:57] 1929*2^670740-1 is not prime. Res64: D19AC6C28EC648EF Time : 2027.0 sec. user=mdettweiler [2010-05-11 19:59:57] 1935*2^670740-1 is not prime. Res64: 4809281E7C575989 Time : 2026.0 sec. user=mdettweiler [2010-05-11 20:17:07] 1955*2^670740-1 is not prime. Res64: 54C7DE5EF502A92B Time : 2041.0 sec. user=mdettweiler [2010-05-11 20:17:07] 1429*2^670741-1 is not prime. Res64: 9DADA5C08802F840 Time : 2041.0 sec. user=mdettweiler [2010-05-11 20:17:07] 1485*2^670741-1 is not prime. Res64: F0E0B469AAF47C49 Time : 2040.0 sec. user=mdettweiler [2010-05-11 20:34:38] 1501*2^670741-1 is not prime. Res64: 38810437D3E13DB2 Time : 2080.0 sec. user=mdettweiler [2010-05-11 20:34:38] 1507*2^670741-1 is not prime. Res64: AC7BDED536543EEC Time : 2080.0 sec. user=mdettweiler [2010-05-11 20:34:38] 1627*2^670741-1 is not prime. Res64: 55E34BC6B21EE0D8 Time : 2080.0 sec. user=mdettweiler [2010-05-11 20:51:28] 1629*2^670741-1 is not prime. Res64: 74DC081A2CA85925 Time : 2061.0 sec. user=mdettweiler [2010-05-11 20:51:28] 1701*2^670741-1 is not prime. Res64: 4290DDEA31847B75 Time : 2061.0 sec. user=mdettweiler [2010-05-11 20:51:28] 1717*2^670741-1 is not prime. Res64: F28EB3B386E21553 Time : 2060.0 sec. user=mdettweiler [2010-05-11 21:08:20] 1735*2^670741-1 is not prime. Res64: 202E82447792BDCA Time : 2021.0 sec. user=mdettweiler [2010-05-11 21:08:20] 1795*2^670741-1 is not prime. Res64: 0B1D9E9ADABB4E88 Time : 2021.0 sec. user=mdettweiler [2010-05-11 21:08:21] 1815*2^670741-1 is not prime. Res64: 0C62B9C2928DDBD5 Time : 2022.0 sec. user=mdettweiler [2010-05-11 21:24:57] 1849*2^670741-1 is not prime. Res64: DFF0817B45E1E4FC Time : 2009.0 sec. user=mdettweiler [2010-05-11 21:24:57] 1857*2^670741-1 is not prime. Res64: A22F5E89ACC82F8B Time : 2008.0 sec. user=mdettweiler [2010-05-11 21:24:57] 1897*2^670741-1 is not prime. Res64: AF6E470373F660E5 Time : 2008.0 sec. user=mdettweiler [2010-05-11 21:41:47] 1899*2^670741-1 is not prime. Res64: B6DADC950C1C142C Time : 2006.0 sec. user=mdettweiler [2010-05-11 21:41:47] 1921*2^670741-1 is not prime. Res64: D873A346E84DE98E Time : 2006.0 sec. user=mdettweiler [2010-05-11 21:41:47] 1413*2^670742-1 is not prime. Res64: B3A5F80A42E8A9BE Time : 2005.0 sec. user=mdettweiler [2010-05-11 21:58:22] 1421*2^670742-1 is not prime. Res64: 0D74065A0FEC0DB4 Time : 2005.0 sec. user=mdettweiler [2010-05-11 21:58:22] 1463*2^670742-1 is not prime. Res64: 40A75891A53FFF96 Time : 2004.0 sec. user=mdettweiler [2010-05-11 21:58:23] 1625*2^670742-1 is not prime. Res64: 3A853ABAB6B4873A Time : 2005.0 sec. user=mdettweiler [2010-05-11 22:16:20] 1737*2^670742-1 is not prime. Res64: 80D1C35DB84DE43E Time : 2072.0 sec. user=mdettweiler [2010-05-11 22:16:20] 1797*2^670742-1 is not prime. Res64: 139D42104AB9EA0D Time : 2072.0 sec. user=mdettweiler [2010-05-11 22:16:20] 1441*2^670743-1 is not prime. Res64: F68C0389C0D36F27 Time : 2072.0 sec. user=mdettweiler [2010-05-11 22:33:50] 1545*2^670743-1 is not prime. Res64: DEC4FF95BAD8D508 Time : 2127.0 sec. user=mdettweiler [2010-05-11 22:33:50] 1561*2^670743-1 is not prime. Res64: 63167407A9E3F63B Time : 2127.0 sec. user=mdettweiler [2010-05-11 22:33:50] 1735*2^670743-1 is not prime. Res64: A672A8404071108E Time : 2127.0 sec. user=mdettweiler [2010-05-11 22:51:36] 1801*2^670743-1 is not prime. Res64: 3A279F42A98C9E60 Time : 2116.0 sec. user=mdettweiler [2010-05-11 22:51:36] 1815*2^670743-1 is not prime. Res64: 6595516222F003C9 Time : 2116.0 sec. user=mdettweiler [2010-05-11 22:51:36] 1875*2^670743-1 is not prime. Res64: E9B3EDE439280C19 Time : 2115.0 sec. user=mdettweiler [2010-05-11 23:08:19] 1893*2^670743-1 is not prime. Res64: 0C0F4F686BB977E3 Time : 2068.0 sec. user=mdettweiler [2010-05-11 23:08:19] 1915*2^670743-1 is not prime. Res64: 52331E7D8C28165A Time : 2068.0 sec. user=mdettweiler [2010-05-11 23:08:19] 1935*2^670743-1 is not prime. Res64: 5A3333FF491FA3E7 Time : 2068.0 sec. user=mdettweiler [2010-05-11 23:25:06] 1951*2^670743-1 is not prime. Res64: 27A371B55A087AF1 Time : 2010.0 sec. user=mdettweiler [2010-05-11 23:25:06] 1959*2^670743-1 is not prime. Res64: ABB11B6A4A823866 Time : 2010.0 sec. user=mdettweiler [2010-05-11 23:25:06] 1485*2^670744-1 is not prime. Res64: 875BCE4CEA235176 Time : 2010.0 sec. user=mdettweiler [2010-05-11 23:41:55] 1487*2^670744-1 is not prime. Res64: 807846BC33D265ED Time : 2016.0 sec. user=mdettweiler [2010-05-11 23:41:55] 1587*2^670744-1 is not prime. Res64: CC93FEC09B92FC3D Time : 2016.0 sec. user=mdettweiler [2010-05-11 23:41:56] 1613*2^670744-1 is not prime. Res64: 25FA8D02CA0524B3 Time : 2017.0 sec. user=mdettweiler [2010-05-11 23:58:34] 1799*2^670744-1 is not prime. Res64: BF5859C72C981E7E Time : 2008.0 sec. user=mdettweiler [2010-05-11 23:58:34] 1853*2^670744-1 is not prime. Res64: 78DD07C905F51E41 Time : 2008.0 sec. user=mdettweiler [2010-05-11 23:58:34] 1949*2^670744-1 is not prime. Res64: 2A78BFC97F579183 Time : 2008.0 sec.