user=vaughan [2010-02-19 18:43:33] 1735*2^670001-1 is not prime. Res64: 618ADDF4BA148271 Time : 660.0 sec. user=vaughan [2010-02-19 18:43:37] 1451*2^670002-1 is not prime. Res64: 81BE3AEB1BF67060 Time : 659.0 sec. user=vaughan [2010-02-19 18:43:43] 1487*2^670002-1 is not prime. Res64: EA0A9F4331E4CE1A Time : 662.0 sec. user=vaughan [2010-02-19 18:43:46] 1551*2^670002-1 is not prime. Res64: 40ED1887D01A5301 Time : 660.0 sec. user=vaughan [2010-02-19 18:54:56] 1661*2^670002-1 is not prime. Res64: DF1AE8DD054658E5 Time : 683.0 sec. user=vaughan [2010-02-19 18:55:04] 1673*2^670002-1 is not prime. Res64: FDC1E5FA6729B1C3 Time : 687.0 sec. user=vaughan [2010-02-19 18:55:10] 1725*2^670002-1 is not prime. Res64: 9ADFD883F75BDF3F Time : 687.0 sec. user=vaughan [2010-02-19 18:55:12] 1489*2^670003-1 is not prime. Res64: C3B6E66B3E11B97A Time : 686.0 sec. user=vaughan [2010-02-19 19:05:50] 1515*2^670003-1 is not prime. Res64: 914A8EA6F931D2AF Time : 654.0 sec. user=vaughan [2010-02-19 19:05:57] 1543*2^670003-1 is not prime. Res64: C6C963821B8B0FA3 Time : 653.0 sec. user=vaughan [2010-02-19 19:06:02] 1575*2^670003-1 is not prime. Res64: 3EAD55DA785E2B43 Time : 652.0 sec. user=vaughan [2010-02-19 19:06:04] 1653*2^670003-1 is not prime. Res64: 3CDEBACA87C9C037 Time : 652.0 sec. user=vaughan [2010-02-19 19:16:42] 1693*2^670003-1 is not prime. Res64: C6FDE18C71FA2240 Time : 653.0 sec. user=vaughan [2010-02-19 19:16:50] 1713*2^670003-1 is not prime. Res64: 0111493492B56802 Time : 653.0 sec. user=vaughan [2010-02-19 19:16:54] 1765*2^670003-1 is not prime. Res64: EF5B90DAC43AD5FA Time : 652.0 sec. user=vaughan [2010-02-19 19:16:57] 1773*2^670003-1 is not prime. Res64: FB5FF04D300B098B Time : 653.0 sec. user=vaughan [2010-02-19 19:27:35] 1791*2^670003-1 is not prime. Res64: CCBAEBB7DA781FD2 Time : 653.0 sec. user=vaughan [2010-02-19 19:27:42] 1951*2^670003-1 is not prime. Res64: 83E9EAE9502CC8C7 Time : 652.0 sec. user=vaughan [2010-02-19 19:27:45] 1983*2^670003-1 is not prime. Res64: 85CFFCE8DD1B2F7D Time : 652.0 sec. user=vaughan [2010-02-19 19:27:48] 1415*2^670004-1 is not prime. Res64: 8211E66D502B17AE Time : 651.0 sec. user=vaughan [2010-02-19 19:38:28] 1473*2^670004-1 is not prime. Res64: 8FC6C223BFF71250 Time : 654.0 sec. user=vaughan [2010-02-19 19:38:34] 1523*2^670004-1 is not prime. Res64: 6566699A0E1AE1BF Time : 652.0 sec. user=vaughan [2010-02-19 19:38:36] 1673*2^670004-1 is not prime. Res64: 5003C9A259BA671F Time : 651.0 sec. user=vaughan [2010-02-19 19:38:40] 1679*2^670004-1 is not prime. Res64: 499A68D195D767F1 Time : 652.0 sec. user=vaughan [2010-02-19 19:49:23] 1683*2^670004-1 is not prime. Res64: D21211866FF94544 Time : 655.0 sec. user=vaughan [2010-02-19 19:49:29] 1709*2^670004-1 is not prime. Res64: 3B9835CE4E767048 Time : 653.0 sec. user=vaughan [2010-02-19 19:49:29] 1685*2^670004-1 is not prime. Res64: AA26F74F07084D74 Time : 655.0 sec. user=vaughan [2010-02-19 19:49:33] 1713*2^670004-1 is not prime. Res64: AFCC4514F88C9DC0 Time : 654.0 sec. user=vaughan [2010-02-19 20:00:16] 1779*2^670004-1 is not prime. Res64: A7A284124CC4D15A Time : 654.0 sec. user=vaughan [2010-02-19 20:00:21] 1805*2^670004-1 is not prime. Res64: F4CDDD146CE0A08E Time : 653.0 sec. user=vaughan [2010-02-19 20:00:22] 1809*2^670004-1 is not prime. Res64: 6738F781495EDAB4 Time : 653.0 sec. user=vaughan [2010-02-19 20:00:26] 1845*2^670004-1 is not prime. Res64: 5DED434AF63E31A1 Time : 653.0 sec. user=vaughan [2010-02-19 20:11:10] 1877*2^670004-1 is not prime. Res64: 2621FFE612A7880B Time : 654.0 sec. user=vaughan [2010-02-19 20:11:14] 1929*2^670004-1 is not prime. Res64: 67C08CB587471C69 Time : 653.0 sec. user=vaughan [2010-02-19 20:11:17] 1935*2^670004-1 is not prime. Res64: E7DAFB533FEAA778 Time : 655.0 sec. user=vaughan [2010-02-19 20:11:20] 1943*2^670004-1 is not prime. Res64: 8E9E1F64758D03D7 Time : 654.0 sec. user=vaughan [2010-02-19 20:22:04] 1995*2^670004-1 is not prime. Res64: 02992FE7C00989AB Time : 654.0 sec. user=vaughan [2010-02-19 20:22:06] 1411*2^670005-1 is not prime. Res64: 80A90F02014DDC17 Time : 653.0 sec. user=vaughan [2010-02-19 20:22:10] 1479*2^670005-1 is not prime. Res64: A50081C1C0D5B426 Time : 654.0 sec. user=vaughan [2010-02-19 20:22:13] 1501*2^670005-1 is not prime. Res64: 7BE3AF2882008F8C Time : 653.0 sec. user=vaughan [2010-02-19 20:32:56] 1531*2^670005-1 is not prime. Res64: 44AFAF39F18B9435 Time : 653.0 sec. user=vaughan [2010-02-19 20:32:57] 1707*2^670005-1 is not prime. Res64: 11D010A990FD3712 Time : 651.0 sec. user=vaughan [2010-02-19 20:33:02] 1809*2^670005-1 is not prime. Res64: 938B8E7A5CD2F82D Time : 652.0 sec. user=vaughan [2010-02-19 20:33:06] 1911*2^670005-1 is not prime. Res64: AE8F3D27B8EC96D3 Time : 653.0 sec. user=vaughan [2010-02-19 20:43:49] 1407*2^670006-1 is not prime. Res64: 09737C10DF52E0A4 Time : 653.0 sec. user=vaughan [2010-02-19 20:43:51] 1431*2^670006-1 is not prime. Res64: B112445D9B313233 Time : 654.0 sec. user=vaughan [2010-02-19 20:43:55] 1547*2^670006-1 is not prime. Res64: 60156F0603467F0C Time : 653.0 sec. user=vaughan [2010-02-19 20:43:58] 1571*2^670006-1 is not prime. Res64: 3BC62B38A4D407BC Time : 653.0 sec. user=vaughan [2010-02-19 20:54:42] 1587*2^670006-1 is not prime. Res64: E8D8AA65DFEB1937 Time : 653.0 sec. user=vaughan [2010-02-19 20:54:42] 1625*2^670006-1 is not prime. Res64: DDDAB14FA82BCE83 Time : 653.0 sec. user=vaughan [2010-02-19 20:54:48] 1685*2^670006-1 is not prime. Res64: E59B953DEA451DD1 Time : 654.0 sec. user=vaughan [2010-02-19 20:54:50] 1781*2^670006-1 is not prime. Res64: 94607C7FC54C5864 Time : 652.0 sec. user=vaughan [2010-02-19 21:05:33] 1425*2^670007-1 is not prime. Res64: 33FF36B345104B53 Time : 651.0 sec. user=vaughan [2010-02-19 21:05:34] 1955*2^670006-1 is not prime. Res64: 0E82A93DA7FB4CDD Time : 653.0 sec. user=vaughan [2010-02-19 21:05:41] 1455*2^670007-1 is not prime. Res64: 13FBBBAD612BA08B Time : 653.0 sec. user=vaughan [2010-02-19 21:05:43] 1489*2^670007-1 is not prime. Res64: E954A57ACCF4BE5D Time : 653.0 sec. user=vaughan [2010-02-19 21:16:25] 1495*2^670007-1 is not prime. Res64: DC1C30A2C1A3250A Time : 652.0 sec. user=vaughan [2010-02-19 21:16:26] 1519*2^670007-1 is not prime. Res64: 092A184F45E06FF3 Time : 652.0 sec. user=vaughan [2010-02-19 21:16:34] 1533*2^670007-1 is not prime. Res64: 175C2E41A551F0CE Time : 653.0 sec. user=vaughan [2010-02-19 21:16:35] 1561*2^670007-1 is not prime. Res64: DFFB14B56D7542ED Time : 653.0 sec. user=vaughan [2010-02-19 21:27:16] 1609*2^670007-1 is not prime. Res64: 9F439764F5B0B9C3 Time : 652.0 sec. user=vaughan [2010-02-19 21:27:20] 1671*2^670007-1 is not prime. Res64: 10D4F2809C77A654 Time : 654.0 sec. user=vaughan [2010-02-19 21:27:26] 1749*2^670007-1 is not prime. Res64: 8E5BFFAC249F08A8 Time : 651.0 sec. user=vaughan [2010-02-19 21:27:27] 1701*2^670007-1 is not prime. Res64: 3FEAC374106E4CA6 Time : 653.0 sec. user=vaughan [2010-02-19 21:38:08] 1761*2^670007-1 is not prime. Res64: B5B20FB2DF94604E Time : 652.0 sec. user=vaughan [2010-02-19 21:38:13] 1771*2^670007-1 is not prime. Res64: 11917183E4636052 Time : 654.0 sec. user=vaughan [2010-02-19 21:38:19] 1813*2^670007-1 is not prime. Res64: B96867DF51F886BA Time : 653.0 sec. user=vaughan [2010-02-19 21:38:19] 1831*2^670007-1 is not prime. Res64: 9D438A6DCB1482AB Time : 652.0 sec. user=vaughan [2010-02-19 21:49:00] 1851*2^670007-1 is not prime. Res64: CB6AE99BD8556D71 Time : 652.0 sec. user=vaughan [2010-02-19 21:49:05] 1863*2^670007-1 is not prime. Res64: 6416AD5CC3515636 Time : 652.0 sec. user=vaughan [2010-02-19 21:49:10] 1409*2^670008-1 is not prime. Res64: 6E48551C546435CC Time : 651.0 sec. user=vaughan [2010-02-19 21:49:13] 1433*2^670008-1 is not prime. Res64: 887BFCCF5A6E8F3B Time : 654.0 sec. user=vaughan [2010-02-19 21:59:51] 1439*2^670008-1 is not prime. Res64: EDCD33DE7813D71E Time : 652.0 sec. user=vaughan [2010-02-19 21:59:58] 1505*2^670008-1 is not prime. Res64: EDC74E2165EAD232 Time : 653.0 sec. user=vaughan [2010-02-19 22:00:02] 1557*2^670008-1 is not prime. Res64: AAEE1339CF4EB350 Time : 652.0 sec. user=vaughan [2010-02-19 22:00:05] 1575*2^670008-1 is not prime. Res64: BFADB3D3BAB0B08F Time : 652.0 sec. user=vaughan [2010-02-19 22:10:43] 1659*2^670008-1 is not prime. Res64: F448818ED3151768 Time : 652.0 sec. user=vaughan [2010-02-19 22:10:50] 1719*2^670008-1 is not prime. Res64: 9AF360C121F346BB Time : 652.0 sec. user=vaughan [2010-02-19 22:10:54] 1809*2^670008-1 is not prime. Res64: CAF6B3D05FC8AC39 Time : 653.0 sec. user=vaughan [2010-02-19 22:10:58] 1829*2^670008-1 is not prime. Res64: B96B2040E45DAE7A Time : 653.0 sec. user=vaughan [2010-02-19 22:21:33] 1917*2^670008-1 is not prime. Res64: 3D155C6A5D68D15F Time : 651.0 sec. user=vaughan [2010-02-19 22:21:43] 1943*2^670008-1 is not prime. Res64: 4F8F9766053BEADF Time : 653.0 sec. user=vaughan [2010-02-19 22:21:45] 1401*2^670009-1 is not prime. Res64: DC3B474C14F28735 Time : 651.0 sec. user=vaughan [2010-02-19 22:21:51] 1461*2^670009-1 is not prime. Res64: C0435BAE42E63872 Time : 654.0 sec. user=vaughan [2010-02-19 22:32:23] 1479*2^670009-1 is not prime. Res64: 7E42689E5367518F Time : 650.0 sec. user=vaughan [2010-02-19 22:32:35] 1557*2^670009-1 is not prime. Res64: 09ED5F6F7956B9FD Time : 653.0 sec. user=vaughan [2010-02-19 22:32:37] 1651*2^670009-1 is not prime. Res64: 603CC70052D45B88 Time : 652.0 sec. user=vaughan [2010-02-19 22:32:43] 1657*2^670009-1 is not prime. Res64: 5F2133577B7CFF6B Time : 652.0 sec. user=vaughan [2010-02-19 22:43:15] 1699*2^670009-1 is not prime. Res64: DCCE2B47A4256AFB Time : 652.0 sec. user=vaughan [2010-02-19 22:43:27] 1725*2^670009-1 is not prime. Res64: 2B0A32E5913A59DD Time : 652.0 sec. user=vaughan [2010-02-19 22:43:28] 1765*2^670009-1 is not prime. Res64: D76B0739ECBFE303 Time : 652.0 sec. user=vaughan [2010-02-19 22:43:36] 1767*2^670009-1 is not prime. Res64: 426533055BE0BA56 Time : 653.0 sec. user=vaughan [2010-02-19 22:54:06] 1807*2^670009-1 is not prime. Res64: 97FB677E7CB88AA4 Time : 651.0 sec. user=vaughan [2010-02-19 22:54:19] 1935*2^670009-1 is not prime. Res64: 8A304E1EC6FBE3D4 Time : 651.0 sec. user=vaughan [2010-02-19 22:54:28] 1941*2^670009-1 is not prime. Res64: CF9C444658D5FD05 Time : 653.0 sec. user=vaughan [2010-02-19 22:54:29] 1869*2^670009-1 is not prime. Res64: 50FE6D534217C155 Time : 662.0 sec. user=vaughan [2010-02-19 23:04:57] 1945*2^670009-1 is not prime. Res64: 5E7187FE06F1DCF8 Time : 651.0 sec. user=vaughan [2010-02-19 23:05:11] 1413*2^670010-1 is not prime. Res64: BFAC1C0E6016575A Time : 652.0 sec. user=vaughan [2010-02-19 23:05:21] 1481*2^670010-1 is not prime. Res64: 3DEFE43EA78D1BBF Time : 653.0 sec. user=vaughan [2010-02-19 23:05:21] 1467*2^670010-1 is not prime. Res64: 23B37FFFBF747754 Time : 653.0 sec. user=vaughan [2010-02-19 23:15:48] 1617*2^670010-1 is not prime. Res64: 0D6BD261DE6B8B18 Time : 652.0 sec. user=vaughan [2010-02-19 23:16:02] 1637*2^670010-1 is not prime. Res64: 2D18692ED31C0C1F Time : 652.0 sec. user=vaughan [2010-02-19 23:16:13] 1725*2^670010-1 is not prime. Res64: ABB9F873CC6612B9 Time : 652.0 sec. user=vaughan [2010-02-19 23:16:15] 1743*2^670010-1 is not prime. Res64: 43E8266A0542EBC5 Time : 654.0 sec. user=vaughan [2010-02-19 23:26:39] 1757*2^670010-1 is not prime. Res64: E8F471D8BCCF78DC Time : 651.0 sec. user=vaughan [2010-02-19 23:26:53] 1911*2^670010-1 is not prime. Res64: 9C1BAD214DC0597B Time : 651.0 sec. user=vaughan [2010-02-19 23:27:07] 1953*2^670010-1 is not prime. Res64: D1749D2502540E26 Time : 654.0 sec. user=vaughan [2010-02-19 23:27:09] 1977*2^670010-1 is not prime. Res64: A84B8BC8F0113126 Time : 655.0 sec. user=vaughan [2010-02-19 23:37:29] 1991*2^670010-1 is not prime. Res64: 2B15FAD94C42C7E4 Time : 650.0 sec. user=vaughan [2010-02-19 23:37:43] 1489*2^670011-1 is not prime. Res64: 48301C60DF75B0E7 Time : 651.0 sec. user=vaughan [2010-02-19 23:38:01] 1503*2^670011-1 is not prime. Res64: 89D30F825FB5889F Time : 654.0 sec. user=vaughan [2010-02-19 23:38:06] 1521*2^670011-1 is not prime. Res64: D77B9E48D283C108 Time : 658.0 sec. user=vaughan [2010-02-19 23:48:20] 1543*2^670011-1 is not prime. Res64: A69C2D7402535BCE Time : 651.0 sec. user=vaughan [2010-02-19 23:48:34] 1561*2^670011-1 is not prime. Res64: F103257643DD28A1 Time : 651.0 sec. user=vaughan [2010-02-19 23:48:55] 1609*2^670011-1 is not prime. Res64: EFFE9F8C27DABAA8 Time : 654.0 sec. user=vaughan [2010-02-19 23:48:59] 1741*2^670011-1 is not prime. Res64: F834EB1683BD0830 Time : 653.0 sec. user=vaughan [2010-02-19 23:59:10] 1791*2^670011-1 is not prime. Res64: 0F36593BED78C735 Time : 650.0 sec. user=vaughan [2010-02-19 23:59:26] 1869*2^670011-1 is not prime. Res64: F4C6EDE8F9EDBE5F Time : 652.0 sec. user=vaughan [2010-02-19 23:59:49] 1963*2^670011-1 is not prime. Res64: FE9FA32F4B95D779 Time : 654.0 sec. user=vaughan [2010-02-19 23:59:53] 1449*2^670012-1 is not prime. Res64: 4161929F3EAE945D Time : 654.0 sec.