user=mdettweiler
[2010-05-10 08:24:07]
1945*2^670723-1 is not prime.  Res64: 99D8EF4710B278FD  Time : 31086.0 sec.
user=mdettweiler
[2010-05-10 08:24:07]
1445*2^670724-1 is not prime.  Res64: 7AC138DF4DE9927F  Time : 31086.0 sec.
user=mdettweiler
[2010-05-10 08:24:07]
1545*2^670724-1 is not prime.  Res64: 69D09BAA26AEB56E  Time : 31085.0 sec.
user=mdettweiler
[2010-05-10 09:01:04]
1607*2^670724-1 is not prime.  Res64: 54D2CA1A0E8F07C9  Time : 2217.0 sec.
user=mdettweiler
[2010-05-10 09:01:04]
1739*2^670724-1 is not prime.  Res64: ECD0650E62C7D505  Time : 2217.0 sec.
user=mdettweiler
[2010-05-10 09:01:04]
1817*2^670724-1 is not prime.  Res64: 1FCFE8A50869A7BF  Time : 2217.0 sec.
user=mdettweiler
[2010-05-10 09:34:59]
1859*2^670724-1 is not prime.  Res64: 6591BCF044C3AFDC  Time : 2034.0 sec.
user=mdettweiler
[2010-05-10 09:34:59]
1947*2^670724-1 is not prime.  Res64: 38154DC5607BD876  Time : 2034.0 sec.
user=mdettweiler
[2010-05-10 09:35:00]
1441*2^670725-1 is not prime.  Res64: 69E37E8E7FF3CD96  Time : 2035.0 sec.
user=mdettweiler
[2010-05-10 10:10:02]
1509*2^670725-1 is not prime.  Res64: 5443FD6FBA4B289E  Time : 2102.0 sec.
user=mdettweiler
[2010-05-10 10:10:02]
1585*2^670725-1 is not prime.  Res64: EB932257B5DAD98B  Time : 2102.0 sec.
user=mdettweiler
[2010-05-10 10:10:03]
1591*2^670725-1 is not prime.  Res64: 2771CDC26C437520  Time : 2103.0 sec.
user=mdettweiler
[2010-05-10 10:43:52]
1645*2^670725-1 is not prime.  Res64: 545F7CE5AD900FF3  Time : 2029.0 sec.
user=mdettweiler
[2010-05-10 10:43:52]
1699*2^670725-1 is not prime.  Res64: 2E5A122C44CDDC2D  Time : 2029.0 sec.
user=mdettweiler
[2010-05-10 10:43:52]
1701*2^670725-1 is not prime.  Res64: EF4352DA62D2B017  Time : 2029.0 sec.
user=mdettweiler
[2010-05-10 11:19:34]
1845*2^670725-1 is not prime.  Res64: 3707099CE9CC47CE  Time : 2142.0 sec.
user=mdettweiler
[2010-05-10 11:19:34]
1897*2^670725-1 is not prime.  Res64: 803D01A81922724E  Time : 2142.0 sec.
user=mdettweiler
[2010-05-10 11:19:34]
1939*2^670725-1 is not prime.  Res64: C408FE6AC2A646B9  Time : 2141.0 sec.
user=mdettweiler
[2010-05-10 12:01:02]
1969*2^670725-1 is not prime.  Res64: 4FF74FA9152348EA  Time : 2488.0 sec.
user=mdettweiler
[2010-05-10 12:01:02]
1401*2^670726-1 is not prime.  Res64: CEAD9564C90A60D0  Time : 2488.0 sec.
user=mdettweiler
[2010-05-10 12:01:02]
1547*2^670726-1 is not prime.  Res64: 43B18D2688088E82  Time : 2488.0 sec.
user=mdettweiler
[2010-05-10 12:36:11]
1613*2^670726-1 is not prime.  Res64: 4E84B50AFE69D63C  Time : 2109.0 sec.
user=mdettweiler
[2010-05-10 12:36:11]
1731*2^670726-1 is not prime.  Res64: 40D805E4C1C07155  Time : 2109.0 sec.
user=mdettweiler
[2010-05-10 12:36:11]
1751*2^670726-1 is not prime.  Res64: CEE3DA729E3FDE80  Time : 2109.0 sec.
user=mdettweiler
[2010-05-10 13:11:29]
1973*2^670726-1 is not prime.  Res64: AA133D55EEE321C0  Time : 2117.0 sec.
user=mdettweiler
[2010-05-10 13:11:29]
1425*2^670727-1 is not prime.  Res64: E2109DE7D2E594CC  Time : 2117.0 sec.
user=mdettweiler
[2010-05-10 13:11:29]
1459*2^670727-1 is not prime.  Res64: BF97B2BDC42570B4  Time : 2117.0 sec.
user=mdettweiler
[2010-05-10 13:45:59]
1495*2^670727-1 is not prime.  Res64: E2E33AE793B772FC  Time : 2070.0 sec.
user=mdettweiler
[2010-05-10 13:45:59]
1539*2^670727-1 is not prime.  Res64: 138F6D39F708B5DF  Time : 2070.0 sec.
user=mdettweiler
[2010-05-10 13:45:59]
1569*2^670727-1 is not prime.  Res64: C721B861B6BC4760  Time : 2070.0 sec.
user=mdettweiler
[2010-05-10 14:21:47]
1573*2^670727-1 is not prime.  Res64: AF81952419CDDDC6  Time : 2148.0 sec.
user=mdettweiler
[2010-05-10 14:21:47]
1599*2^670727-1 is not prime.  Res64: 538A21BB24846E85  Time : 2148.0 sec.
user=mdettweiler
[2010-05-10 14:21:47]
1671*2^670727-1 is not prime.  Res64: 37A0562018DF75C6  Time : 2148.0 sec.
user=mdettweiler
[2010-05-10 14:56:26]
1795*2^670727-1 is not prime.  Res64: 1F38E83608350827  Time : 2079.0 sec.
user=mdettweiler
[2010-05-10 14:56:26]
1893*2^670727-1 is not prime.  Res64: BD14C71719C20E31  Time : 2078.0 sec.
user=mdettweiler
[2010-05-10 14:56:27]
1935*2^670727-1 is not prime.  Res64: 3B95EB4ACDFE579B  Time : 2079.0 sec.
user=mdettweiler
[2010-05-10 17:38:32]
1989*2^670727-1 is not prime.  Res64: 7D8476142145502E  Time : 9725.0 sec.
user=mdettweiler
[2010-05-10 17:38:32]
1427*2^670728-1 is not prime.  Res64: 4BA428FE590C103F  Time : 9725.0 sec.
user=mdettweiler
[2010-05-10 17:38:32]
1433*2^670728-1 is not prime.  Res64: 6FC0A6F1EBF3ADB7  Time : 9725.0 sec.
user=mdettweiler
[2010-05-10 18:13:33]
1589*2^670728-1 is not prime.  Res64: 58336574F550A7F4  Time : 2101.0 sec.
user=mdettweiler
[2010-05-10 18:13:33]
1637*2^670728-1 is not prime.  Res64: C25AF6AA82EC348A  Time : 2101.0 sec.
user=mdettweiler
[2010-05-10 18:13:33]
1655*2^670728-1 is not prime.  Res64: C6C85C6008B74D13  Time : 2100.0 sec.
user=mdettweiler
[2010-05-10 18:49:35]
1725*2^670728-1 is not prime.  Res64: 313A72A55237FEEC  Time : 2161.0 sec.
user=mdettweiler
[2010-05-10 18:49:36]
1787*2^670728-1 is not prime.  Res64: 501F41265FA31053  Time : 2162.0 sec.
user=mdettweiler
[2010-05-10 18:49:36]
1865*2^670728-1 is not prime.  Res64: 98ED81C045C5CC65  Time : 2162.0 sec.
user=mdettweiler
[2010-05-10 19:26:20]
1965*2^670728-1 is not prime.  Res64: 7942F388E03DED0F  Time : 2204.0 sec.
user=mdettweiler
[2010-05-10 19:26:20]
1405*2^670729-1 is not prime.  Res64: 282D22F4AB8CF729  Time : 2204.0 sec.
user=mdettweiler
[2010-05-10 19:26:20]
1477*2^670729-1 is not prime.  Res64: 6F868398BD6C93B6  Time : 2204.0 sec.
user=mdettweiler
[2010-05-10 20:02:13]
1501*2^670729-1 is not prime.  Res64: 737E93C08413B9E2  Time : 2153.0 sec.
user=mdettweiler
[2010-05-10 20:02:14]
1561*2^670729-1 is not prime.  Res64: 8C02ED2CE926E301  Time : 2154.0 sec.
user=mdettweiler
[2010-05-10 20:02:14]
1581*2^670729-1 is not prime.  Res64: 0E79E5AD1927C464  Time : 2153.0 sec.
user=mdettweiler
[2010-05-10 20:36:39]
1585*2^670729-1 is not prime.  Res64: 6F49322E88962F25  Time : 2065.0 sec.
user=mdettweiler
[2010-05-10 20:36:39]
1591*2^670729-1 is not prime.  Res64: 6608767FB8900D61  Time : 2064.0 sec.
user=mdettweiler
[2010-05-10 20:36:40]
1735*2^670729-1 is not prime.  Res64: 2D26E3F3187EC986  Time : 2065.0 sec.
user=mdettweiler
[2010-05-10 21:11:16]
1771*2^670729-1 is not prime.  Res64: 5291705B85C3AFFF  Time : 2076.0 sec.
user=mdettweiler
[2010-05-10 21:11:17]
1809*2^670729-1 is not prime.  Res64: 5C45B37FAE2C55B6  Time : 2076.0 sec.
user=mdettweiler
[2010-05-10 21:11:17]
1885*2^670729-1 is not prime.  Res64: D33F87A3B7B040CD  Time : 2076.0 sec.
user=mdettweiler
[2010-05-10 21:46:53]
1917*2^670729-1 is not prime.  Res64: 4A15309AC960C09D  Time : 2135.0 sec.
user=mdettweiler
[2010-05-10 21:46:53]
1965*2^670729-1 is not prime.  Res64: D2AE237EDBB89302  Time : 2134.0 sec.
user=mdettweiler
[2010-05-10 21:46:53]
1415*2^670730-1 is not prime.  Res64: 52C4BC3FDA95FE87  Time : 2134.0 sec.
user=mdettweiler
[2010-05-10 22:22:20]
1425*2^670730-1 is not prime.  Res64: 91C9822820FAA766  Time : 2126.0 sec.
user=mdettweiler
[2010-05-10 22:22:21]
1443*2^670730-1 is not prime.  Res64: E0EA5AB123B5AFD9  Time : 2126.0 sec.
user=mdettweiler
[2010-05-10 22:22:21]
1511*2^670730-1 is not prime.  Res64: 533D3E6ACB2E6A84  Time : 2126.0 sec.
user=mdettweiler
[2010-05-10 22:57:42]
1571*2^670730-1 is not prime.  Res64: 0F371C3D7384E13B  Time : 2119.0 sec.
user=mdettweiler
[2010-05-10 22:57:42]
1623*2^670730-1 is not prime.  Res64: EB4A7A9B9757A065  Time : 2117.0 sec.
user=mdettweiler
[2010-05-10 22:57:42]
1641*2^670730-1 is not prime.  Res64: EDE7619D9C6AB3B4  Time : 2116.0 sec.
user=mdettweiler
[2010-05-10 23:31:35]
1683*2^670730-1 is not prime.  Res64: FE4D1D5D561B91AC  Time : 2033.0 sec.
user=mdettweiler
[2010-05-10 23:31:35]
1715*2^670730-1 is not prime.  Res64: B6EC1C2F2971B08F  Time : 2033.0 sec.
user=mdettweiler
[2010-05-10 23:31:35]
1775*2^670730-1 is not prime.  Res64: BAF0FFDB62FC2482  Time : 2033.0 sec.