user=vaughan [2010-02-25 00:04:05] 1445*2^670160-1 is not prime. Res64: 1139FC4E9C53C43D Time : 646.0 sec. user=vaughan [2010-02-25 00:07:35] 1533*2^670160-1 is not prime. Res64: 5ABB6FB2A92F034B Time : 650.0 sec. user=vaughan [2010-02-25 00:07:39] 1503*2^670160-1 is not prime. Res64: D5F6A802139B1A49 Time : 664.0 sec. user=vaughan [2010-02-25 00:08:29] 1545*2^670160-1 is not prime. Res64: 7C320414E1C6F036 Time : 665.0 sec. user=vaughan [2010-02-25 00:14:51] 1575*2^670160-1 is not prime. Res64: 5B8AADA9E5E5EA17 Time : 646.0 sec. user=vaughan [2010-02-25 00:18:24] 1593*2^670160-1 is not prime. Res64: 1B8D8C8ADF9AB710 Time : 650.0 sec. user=vaughan [2010-02-25 00:18:44] 1595*2^670160-1 is not prime. Res64: 2DCC4BB859CA5E2E Time : 665.0 sec. user=vaughan [2010-02-25 00:19:32] 1685*2^670160-1 is not prime. Res64: E99D1D6E8F39B902 Time : 664.0 sec. user=vaughan [2010-02-25 00:25:37] 1725*2^670160-1 is not prime. Res64: 8AB87D4632F1A977 Time : 646.0 sec. user=vaughan [2010-02-25 00:29:12] 1845*2^670160-1 is not prime. Res64: F3E809B0D2A7D1F2 Time : 648.0 sec. user=vaughan [2010-02-25 00:29:47] 1455*2^670161-1 is not prime. Res64: 1B33B013BA083DE7 Time : 664.0 sec. user=vaughan [2010-02-25 00:30:35] 1495*2^670161-1 is not prime. Res64: 227605BAFC453A0C Time : 663.0 sec. user=vaughan [2010-02-25 00:36:21] 1567*2^670161-1 is not prime. Res64: 07EB9F396E1F71DF Time : 645.0 sec. user=vaughan [2010-02-25 00:40:01] 1605*2^670161-1 is not prime. Res64: 104F1009545BB020 Time : 649.0 sec. user=vaughan [2010-02-25 00:40:51] 1635*2^670161-1 is not prime. Res64: D298B4A2923ED54C Time : 664.0 sec. user=vaughan [2010-02-25 00:41:39] 1705*2^670161-1 is not prime. Res64: D5CA3F6F5A97B493 Time : 664.0 sec. user=vaughan [2010-02-25 00:47:06] 1749*2^670161-1 is not prime. Res64: C3C4E01681D62782 Time : 645.0 sec. user=vaughan [2010-02-25 00:50:49] 1761*2^670161-1 is not prime. Res64: CFEF8ABB6F16E23D Time : 649.0 sec. user=vaughan [2010-02-25 00:51:55] 1785*2^670161-1 is not prime. Res64: 5114B56C9A613130 Time : 665.0 sec. user=vaughan [2010-02-25 00:52:43] 1999*2^670161-1 is not prime. Res64: 04F9F714FE93BA86 Time : 664.0 sec. user=vaughan [2010-02-25 00:57:51] 1415*2^670162-1 is not prime. Res64: 701E7D08BF1E310F Time : 645.0 sec. user=vaughan [2010-02-25 01:01:37] 1461*2^670162-1 is not prime. Res64: EC7F31B3DDB1611D Time : 648.0 sec. user=vaughan [2010-02-25 01:02:58] 1571*2^670162-1 is not prime. Res64: 7DA1377080765E7E Time : 663.0 sec. user=vaughan [2010-02-25 01:03:47] 1575*2^670162-1 is not prime. Res64: F9D55724BF52331F Time : 664.0 sec. user=vaughan [2010-02-25 01:08:36] 1613*2^670162-1 is not prime. Res64: 7C95D4AEF538AEFC Time : 645.0 sec. user=vaughan [2010-02-25 01:12:27] 1617*2^670162-1 is not prime. Res64: E06DCA7809E4E507 Time : 650.0 sec. user=vaughan [2010-02-25 01:14:03] 1641*2^670162-1 is not prime. Res64: E1707361A07A4E86 Time : 665.0 sec. user=vaughan [2010-02-25 01:14:50] 1661*2^670162-1 is not prime. Res64: DFCEFE05D3D5E8BD Time : 664.0 sec. user=vaughan [2010-02-25 01:19:22] 1755*2^670162-1 is not prime. Res64: EE37059FAC4CC6BF Time : 646.0 sec. user=vaughan [2010-02-25 01:23:15] 1953*2^670162-1 is not prime. Res64: 8490091A79592C59 Time : 649.0 sec. user=vaughan [2010-02-25 01:25:06] 1973*2^670162-1 is not prime. Res64: D6A44E10BED60C1E Time : 664.0 sec. user=vaughan [2010-02-25 01:25:53] 1997*2^670162-1 is not prime. Res64: B4951EBE79898E26 Time : 663.0 sec. user=vaughan [2010-02-25 01:30:07] 1699*2^670163-1 is not prime. Res64: 1DCC341D5EFFDC0A Time : 646.0 sec. user=vaughan [2010-02-25 01:34:15] 1729*2^670163-1 is not prime. Res64: 803A7967DD119C35 Time : 660.0 sec. user=vaughan [2010-02-25 01:36:26] 1765*2^670163-1 is not prime. Res64: CD16D43599E174F8 Time : 680.0 sec. user=vaughan [2010-02-25 01:37:15] 1849*2^670163-1 is not prime. Res64: 4369884ACA214432 Time : 682.0 sec. user=vaughan [2010-02-25 01:41:15] 1905*2^670163-1 is not prime. Res64: 5CEB385AAB5A61AA Time : 668.0 sec. user=vaughan [2010-02-25 01:45:35] 1975*2^670163-1 is not prime. Res64: B06A16E8AEA0A3F0 Time : 680.0 sec. user=vaughan [2010-02-25 01:47:51] 1981*2^670163-1 is not prime. Res64: 885CE7A3B3B28014 Time : 685.0 sec. user=vaughan [2010-02-25 01:48:38] 1409*2^670164-1 is not prime. Res64: A9D64FBA2F132343 Time : 683.0 sec. user=vaughan [2010-02-25 01:52:03] 1539*2^670164-1 is not prime. Res64: D607A7671FB6C459 Time : 648.0 sec. user=vaughan [2010-02-25 01:56:24] 1545*2^670164-1 is not prime. Res64: DDCFCBBE3E7A0D6D Time : 649.0 sec. user=vaughan [2010-02-25 01:58:54] 1575*2^670164-1 is not prime. Res64: 1AC8FE120C37F888 Time : 663.0 sec. user=vaughan [2010-02-25 01:59:41] 1727*2^670164-1 is not prime. Res64: 31DB37B81396AE7D Time : 663.0 sec. user=vaughan [2010-02-25 02:02:52] 1859*2^670164-1 is not prime. Res64: BEED963BD8B99D76 Time : 649.0 sec. user=vaughan [2010-02-25 02:07:14] 1895*2^670164-1 is not prime. Res64: E9924B8442171163 Time : 650.0 sec. user=vaughan [2010-02-25 02:09:59] 1907*2^670164-1 is not prime. Res64: 56B8D85B9D3271D6 Time : 665.0 sec. user=vaughan [2010-02-25 02:10:45] 1943*2^670164-1 is not prime. Res64: 2603F9C01F37550D Time : 664.0 sec. user=vaughan [2010-02-25 02:13:38] 1527*2^670165-1 is not prime. Res64: 8578852B953C9C0F Time : 646.0 sec. user=vaughan [2010-02-25 02:18:03] 1557*2^670165-1 is not prime. Res64: 189A67271B221979 Time : 650.0 sec. user=vaughan [2010-02-25 02:21:02] 1587*2^670165-1 is not prime. Res64: 71333C6B98E153C6 Time : 664.0 sec. user=vaughan [2010-02-25 02:21:48] 1597*2^670165-1 is not prime. Res64: AC86A30D1682231A Time : 664.0 sec. user=vaughan [2010-02-25 02:24:22] 1665*2^670165-1 is not prime. Res64: C023E78964518F57 Time : 645.0 sec. user=vaughan [2010-02-25 02:28:51] 1699*2^670165-1 is not prime. Res64: FE74824E88359D68 Time : 648.0 sec. user=vaughan [2010-02-25 02:32:05] 1707*2^670165-1 is not prime. Res64: 7E368E576E647EA6 Time : 663.0 sec. user=vaughan [2010-02-25 02:32:51] 1797*2^670165-1 is not prime. Res64: 2347F4D146784F95 Time : 663.0 sec. user=vaughan [2010-02-25 02:35:07] 1837*2^670165-1 is not prime. Res64: F3F5B0D80B5CCB27 Time : 645.0 sec. user=vaughan [2010-02-25 02:39:41] 1407*2^670166-1 is not prime. Res64: C67B7171FE520C24 Time : 650.0 sec. user=vaughan [2010-02-25 02:43:10] 1497*2^670166-1 is not prime. Res64: CA844418331BBBE6 Time : 665.0 sec. user=vaughan [2010-02-25 02:43:56] 1511*2^670166-1 is not prime. Res64: 8D6671BF88D01383 Time : 665.0 sec. user=vaughan [2010-02-25 02:45:51] 1527*2^670166-1 is not prime. Res64: F3FE9792EA7DFE9C Time : 645.0 sec. user=vaughan [2010-02-25 02:50:30] 1571*2^670166-1 is not prime. Res64: 34531797275F5645 Time : 650.0 sec. user=vaughan [2010-02-25 02:54:14] 1643*2^670166-1 is not prime. Res64: 3D101D63425D1C2F Time : 665.0 sec. user=vaughan [2010-02-25 02:54:59] 1701*2^670166-1 is not prime. Res64: 85CED9FA7AD8D7C6 Time : 664.0 sec. user=vaughan [2010-02-25 02:56:36] 1781*2^670166-1 is not prime. Res64: 28AD71B95325396C Time : 645.0 sec. user=vaughan [2010-02-25 03:01:19] 1785*2^670166-1 is not prime. Res64: D3170E471739ED20 Time : 649.0 sec. user=vaughan [2010-02-25 03:05:17] 1811*2^670166-1 is not prime. Res64: DF964F188806422D Time : 663.0 sec. user=vaughan [2010-02-25 03:06:03] 1883*2^670166-1 is not prime. Res64: DC6E8184386C3CD5 Time : 664.0 sec. user=vaughan [2010-02-25 03:07:22] 1965*2^670166-1 is not prime. Res64: 1F5BC9D575012836 Time : 646.0 sec. user=vaughan [2010-02-25 03:12:08] 1991*2^670166-1 is not prime. Res64: D23A8520750F8475 Time : 649.0 sec. user=vaughan [2010-02-25 03:16:21] 1425*2^670167-1 is not prime. Res64: 1878807AE4913902 Time : 664.0 sec. user=vaughan [2010-02-25 03:17:06] 1473*2^670167-1 is not prime. Res64: D387F5F607751979 Time : 664.0 sec. user=vaughan [2010-02-25 03:18:08] 1561*2^670167-1 is not prime. Res64: 2C866E9449D96089 Time : 647.0 sec. user=vaughan [2010-02-25 03:22:57] 1743*2^670167-1 is not prime. Res64: DDDB405C1DC6D1C0 Time : 649.0 sec. user=vaughan [2010-02-25 03:27:39] 1831*2^670167-1 is not prime. Res64: 58F6048DD29FF6C8 Time : 679.0 sec. user=vaughan [2010-02-25 03:28:28] 1879*2^670167-1 is not prime. Res64: 1EB657C1E660F5B3 Time : 682.0 sec. user=vaughan [2010-02-25 03:29:08] 1963*2^670167-1 is not prime. Res64: 1CD43D210659D908 Time : 660.0 sec. user=vaughan [2010-02-25 03:34:23] 1995*2^670167-1 is not prime. Res64: BAA42B74020C5762 Time : 687.0 sec. user=vaughan [2010-02-25 03:39:06] 1487*2^670168-1 is not prime. Res64: 9D8E9CFCB626997F Time : 688.0 sec. user=vaughan [2010-02-25 03:39:50] 1557*2^670168-1 is not prime. Res64: D2AF7A360F6535A8 Time : 683.0 sec. user=vaughan [2010-02-25 03:40:05] 1695*2^670168-1 is not prime. Res64: 0095A288E5C39CD2 Time : 657.0 sec. user=vaughan [2010-02-25 03:45:13] 1739*2^670168-1 is not prime. Res64: 035A7DFDCBF12E90 Time : 651.0 sec. user=vaughan [2010-02-25 03:50:10] 1749*2^670168-1 is not prime. Res64: 9FCB48506752249C Time : 664.0 sec. user=vaughan [2010-02-25 03:50:51] 1809*2^670168-1 is not prime. Res64: 10B3598A9F7B7CC3 Time : 646.0 sec. user=vaughan [2010-02-25 03:50:55] 1755*2^670168-1 is not prime. Res64: C1A5DB918998B081 Time : 665.0 sec. user=vaughan [2010-02-25 03:56:03] 1815*2^670168-1 is not prime. Res64: 9D0AAFF0B73FCBFF Time : 650.0 sec. user=vaughan [2010-02-25 04:01:14] 1839*2^670168-1 is not prime. Res64: 1BBFBFD2537F91FA Time : 664.0 sec. user=vaughan [2010-02-25 04:01:36] 1889*2^670168-1 is not prime. Res64: B010A1BF653CD5B9 Time : 645.0 sec. user=vaughan [2010-02-25 04:01:58] 1953*2^670168-1 is not prime. Res64: A540B81D67D90D42 Time : 664.0 sec. user=vaughan [2010-02-25 04:06:51] 1411*2^670169-1 is not prime. Res64: E66D9EDC3CC4AF39 Time : 649.0 sec. user=vaughan [2010-02-25 04:12:18] 1435*2^670169-1 is not prime. Res64: FFC70034033D021D Time : 664.0 sec. user=vaughan [2010-02-25 04:12:22] 1495*2^670169-1 is not prime. Res64: 527D679AC89BBCFF Time : 646.0 sec. user=vaughan [2010-02-25 04:13:02] 1557*2^670169-1 is not prime. Res64: 2F078F8B37184054 Time : 664.0 sec. user=vaughan [2010-02-25 04:17:44] 1579*2^670169-1 is not prime. Res64: C0DBEEB42E50FFE1 Time : 653.0 sec. user=vaughan [2010-02-25 04:23:14] 1635*2^670169-1 is not prime. Res64: B66C09354BBDE381 Time : 652.0 sec. user=vaughan [2010-02-25 04:23:25] 1617*2^670169-1 is not prime. Res64: 5638A21481B6E182 Time : 667.0 sec. user=vaughan [2010-02-25 04:24:10] 1639*2^670169-1 is not prime. Res64: 91C64DA3E37C0036 Time : 668.0 sec. user=vaughan [2010-02-25 04:28:33] 1821*2^670169-1 is not prime. Res64: 73BEC36EE6BE3D91 Time : 649.0 sec. user=vaughan [2010-02-25 04:34:00] 1837*2^670169-1 is not prime. Res64: C156D76F5F4C79E9 Time : 646.0 sec. user=vaughan [2010-02-25 04:34:29] 1851*2^670169-1 is not prime. Res64: 70CBCF97DC16C6E9 Time : 664.0 sec. user=vaughan [2010-02-25 04:35:13] 1869*2^670169-1 is not prime. Res64: B32BFE24E10F811C Time : 663.0 sec. user=vaughan [2010-02-25 04:39:21] 1911*2^670169-1 is not prime. Res64: 893816C12D13BD61 Time : 649.0 sec. user=vaughan [2010-02-25 04:44:44] 1915*2^670169-1 is not prime. Res64: C7EF2A809D4AAC3A Time : 645.0 sec. user=vaughan [2010-02-25 04:45:32] 1917*2^670169-1 is not prime. Res64: 2273FD08904604FB Time : 663.0 sec. user=vaughan [2010-02-25 04:46:17] 1939*2^670169-1 is not prime. Res64: 99DD258A16E868A1 Time : 664.0 sec. user=vaughan [2010-02-25 04:50:10] 1957*2^670169-1 is not prime. Res64: C36D3CB5E2FB5C6A Time : 649.0 sec. user=vaughan [2010-02-25 04:55:30] 1547*2^670170-1 is not prime. Res64: DF1F42695482932D Time : 646.0 sec. user=vaughan [2010-02-25 04:56:36] 1605*2^670170-1 is not prime. Res64: 592A7A270E9D5AB9 Time : 664.0 sec. user=vaughan [2010-02-25 04:57:20] 1643*2^670170-1 is not prime. Res64: 943710AFC3BC6BC5 Time : 663.0 sec. user=vaughan [2010-02-25 05:00:58] 1647*2^670170-1 is not prime. Res64: E012AAE2D7B68BB9 Time : 648.0 sec. user=vaughan [2010-02-25 05:06:16] 1785*2^670170-1 is not prime. Res64: 9E3B41D0AFFEE46C Time : 646.0 sec. user=vaughan [2010-02-25 05:07:40] 1811*2^670170-1 is not prime. Res64: 27B70F8C7A45849A Time : 664.0 sec. user=vaughan [2010-02-25 05:08:24] 1911*2^670170-1 is not prime. Res64: 1DB170332D295886 Time : 664.0 sec. user=vaughan [2010-02-25 05:11:46] 1991*2^670170-1 is not prime. Res64: A65C85329F8B208C Time : 648.0 sec. user=vaughan [2010-02-25 05:17:03] 1461*2^670171-1 is not prime. Res64: D17AEA78A4FED3E1 Time : 647.0 sec. user=vaughan [2010-02-25 05:18:48] 1479*2^670171-1 is not prime. Res64: 7E56A78B2DC962AE Time : 669.0 sec. user=vaughan [2010-02-25 05:19:35] 1591*2^670171-1 is not prime. Res64: 5B75EB82126488AE Time : 672.0 sec. user=vaughan [2010-02-25 05:22:58] 1633*2^670171-1 is not prime. Res64: 3ED49E3BD2579581 Time : 672.0 sec. user=vaughan [2010-02-25 05:28:20] 1729*2^670171-1 is not prime. Res64: C26F94B1E8A93C4D Time : 677.0 sec. user=vaughan [2010-02-25 05:30:21] 1731*2^670171-1 is not prime. Res64: 767D73DA839803C1 Time : 693.0 sec. user=vaughan [2010-02-25 05:31:07] 1765*2^670171-1 is not prime. Res64: D1CCC4CB6DCFB82A Time : 692.0 sec. user=vaughan [2010-02-25 05:33:59] 1801*2^670171-1 is not prime. Res64: 5EBD0D96ABE59EA9 Time : 661.0 sec. user=vaughan [2010-02-25 05:39:04] 1899*2^670171-1 is not prime. Res64: C441578493202920 Time : 645.0 sec. user=vaughan [2010-02-25 05:41:24] 1903*2^670171-1 is not prime. Res64: 2F1701292F2D8034 Time : 663.0 sec. user=vaughan [2010-02-25 05:42:11] 1923*2^670171-1 is not prime. Res64: 4095598103AD23CD Time : 664.0 sec. user=vaughan [2010-02-25 05:44:49] 1965*2^670171-1 is not prime. Res64: F6AEC77A04571C95 Time : 650.0 sec. user=vaughan [2010-02-25 05:49:50] 1439*2^670172-1 is not prime. Res64: 418B4A250CA8182A Time : 646.0 sec. user=vaughan [2010-02-25 05:52:28] 1475*2^670172-1 is not prime. Res64: F2960EC5AD6A5A12 Time : 664.0 sec. user=vaughan [2010-02-25 05:53:14] 1643*2^670172-1 is not prime. Res64: 547C33D9A44F07A3 Time : 664.0 sec. user=vaughan [2010-02-25 05:55:38] 1739*2^670172-1 is not prime. Res64: 18B8105004BCA0D4 Time : 650.0 sec. user=vaughan [2010-02-25 06:00:34] 1863*2^670172-1 is not prime. Res64: D8242556CA83311E Time : 644.0 sec. user=vaughan [2010-02-25 06:03:32] 1887*2^670172-1 is not prime. Res64: A303EECF844AA946 Time : 664.0 sec. user=vaughan [2010-02-25 06:04:17] 1893*2^670172-1 is not prime. Res64: FD478A8DA1A787E0 Time : 663.0 sec. user=vaughan [2010-02-25 06:06:28] 1919*2^670172-1 is not prime. Res64: E12AB63DF159AF5F Time : 650.0 sec. user=vaughan [2010-02-25 06:11:19] 1923*2^670172-1 is not prime. Res64: 53A6A2069BDFF383 Time : 645.0 sec. user=vaughan [2010-02-25 06:14:35] 1929*2^670172-1 is not prime. Res64: A77FB0DF01B70F91 Time : 664.0 sec. user=vaughan [2010-02-25 06:15:21] 1411*2^670173-1 is not prime. Res64: 2FF01D8D5CE6572F Time : 664.0 sec. user=vaughan [2010-02-25 06:17:17] 1417*2^670173-1 is not prime. Res64: 63FB638B20151DF9 Time : 649.0 sec. user=vaughan [2010-02-25 06:22:04] 1479*2^670173-1 is not prime. Res64: D19BC7CD16D1BF5F Time : 645.0 sec. user=vaughan [2010-02-25 06:25:39] 1507*2^670173-1 is not prime. Res64: 09B21756D83D441D Time : 664.0 sec. user=vaughan [2010-02-25 06:26:24] 1557*2^670173-1 is not prime. Res64: B5155EF4E337ECD1 Time : 664.0 sec. user=vaughan [2010-02-25 06:28:21] 1561*2^670173-1 is not prime. Res64: 82AA77023A18AB4F Time : 664.0 sec. user=vaughan [2010-02-25 06:33:27] 1617*2^670173-1 is not prime. Res64: 6B7F85817F287855 Time : 684.0 sec. user=vaughan [2010-02-25 06:38:21] 1705*2^670173-1 is not prime. Res64: 997B6EB783B21E37 Time : 763.0 sec. user=vaughan [2010-02-25 06:39:04] 1707*2^670173-1 is not prime. Res64: A18D6A73A452D0D1 Time : 760.0 sec. user=vaughan [2010-02-25 06:40:09] 1749*2^670173-1 is not prime. Res64: 8D0DB4778CF31514 Time : 708.0 sec. user=vaughan [2010-02-25 06:44:17] 1791*2^670173-1 is not prime. Res64: 6A65C16EC205F26A Time : 650.0 sec. user=vaughan [2010-02-25 06:49:25] 1837*2^670173-1 is not prime. Res64: 37A73051661A10AA Time : 664.0 sec. user=vaughan [2010-02-25 06:50:08] 1845*2^670173-1 is not prime. Res64: 5D2324FB340D85CD Time : 664.0 sec. user=vaughan [2010-02-25 06:50:57] 1917*2^670173-1 is not prime. Res64: 069766623C616009 Time : 649.0 sec. user=vaughan [2010-02-25 06:55:03] 1443*2^670174-1 is not prime. Res64: 9A4FBB10DF21A47F Time : 646.0 sec. user=vaughan [2010-02-25 07:00:28] 1511*2^670174-1 is not prime. Res64: 27778E4DF2E15CF3 Time : 664.0 sec. user=vaughan [2010-02-25 07:01:11] 1547*2^670174-1 is not prime. Res64: B665161415539742 Time : 663.0 sec. user=vaughan [2010-02-25 07:01:45] 1611*2^670174-1 is not prime. Res64: 6D46BB6927CDD4D9 Time : 648.0 sec. user=vaughan [2010-02-25 07:05:49] 1625*2^670174-1 is not prime. Res64: 96E1C67148F82665 Time : 646.0 sec. user=vaughan [2010-02-25 07:11:32] 1631*2^670174-1 is not prime. Res64: 6F093BCD9F97070A Time : 664.0 sec. user=vaughan [2010-02-25 07:12:14] 1673*2^670174-1 is not prime. Res64: 4F38C1E7869B8FCE Time : 663.0 sec. user=vaughan [2010-02-25 07:12:34] 1781*2^670174-1 is not prime. Res64: 0DF2834933A7EA7D Time : 649.0 sec. user=vaughan [2010-02-25 07:16:44] 1793*2^670174-1 is not prime. Res64: F2051FF83E370531 Time : 656.0 sec. user=vaughan [2010-02-25 07:23:09] 1815*2^670174-1 is not prime. Res64: 4F0F8ACA387E7A88 Time : 697.0 sec. user=vaughan [2010-02-25 07:23:53] 1851*2^670174-1 is not prime. Res64: ECBBE2B906C87F2E Time : 700.0 sec. user=vaughan [2010-02-25 07:24:03] 1853*2^670174-1 is not prime. Res64: 1A2D5EF99B1EDD26 Time : 689.0 sec. user=vaughan [2010-02-25 07:27:47] 1935*2^670174-1 is not prime. Res64: 3C6777376DFB3E3E Time : 663.0 sec. user=vaughan [2010-02-25 07:34:12] 1973*2^670174-1 is not prime. Res64: 481B641B71392D41 Time : 663.0 sec. user=vaughan [2010-02-25 07:34:53] 1441*2^670175-1 is not prime. Res64: 073A7A7BD7836862 Time : 650.0 sec. user=vaughan [2010-02-25 07:34:56] 1431*2^670175-1 is not prime. Res64: 677F18FCBF090F88 Time : 663.0 sec. user=vaughan [2010-02-25 07:38:32] 1581*2^670175-1 is not prime. Res64: 83D3BF4472183617 Time : 646.0 sec. user=vaughan [2010-02-25 07:45:16] 1609*2^670175-1 is not prime. Res64: FC4D7D5A2B64788F Time : 664.0 sec. user=vaughan [2010-02-25 07:45:41] 1621*2^670175-1 is not prime. Res64: A1266FFB2F45C836 Time : 649.0 sec. user=vaughan [2010-02-25 07:45:59] 1641*2^670175-1 is not prime. Res64: 45EB1E341E3A7778 Time : 663.0 sec. user=vaughan [2010-02-25 07:49:18] 1663*2^670175-1 is not prime. Res64: 32CD1D4BF806FDE0 Time : 646.0 sec. user=vaughan [2010-02-25 07:56:19] 1903*2^670175-1 is not prime. Res64: 20441A5F5D4FE53A Time : 663.0 sec. user=vaughan [2010-02-25 07:56:29] 1971*2^670175-1 is not prime. Res64: 33DCC273BCDC57FE Time : 648.0 sec. user=vaughan [2010-02-25 07:57:03] 1989*2^670175-1 is not prime. Res64: 89D1E598CA5140A5 Time : 664.0 sec. user=vaughan [2010-02-25 08:00:03] 1427*2^670176-1 is not prime. Res64: 5FE12E625F862E44 Time : 646.0 sec. user=vaughan [2010-02-25 08:07:18] 1577*2^670176-1 is not prime. Res64: 16EA3A1E51DA0117 Time : 649.0 sec. user=vaughan [2010-02-25 08:07:23] 1455*2^670176-1 is not prime. Res64: 9A7E62B10001A46A Time : 664.0 sec. user=vaughan [2010-02-25 08:08:06] 1679*2^670176-1 is not prime. Res64: 41717647A7E073FD Time : 663.0 sec. user=vaughan [2010-02-25 08:10:49] 1773*2^670176-1 is not prime. Res64: BD4E8840ECFA5913 Time : 646.0 sec. user=vaughan [2010-02-25 08:18:08] 1859*2^670176-1 is not prime. Res64: 8A729881B49A5811 Time : 650.0 sec. user=vaughan [2010-02-25 08:18:26] 1955*2^670176-1 is not prime. Res64: B1804E61BB474258 Time : 663.0 sec. user=vaughan [2010-02-25 08:19:10] 1995*2^670176-1 is not prime. Res64: 68B3F5717144CA8C Time : 664.0 sec. user=vaughan [2010-02-25 08:21:35] 1997*2^670176-1 is not prime. Res64: BB86F32F7A19F7BA Time : 646.0 sec. user=vaughan [2010-02-25 08:28:56] 1479*2^670177-1 is not prime. Res64: FA38AA65DA1F6398 Time : 649.0 sec. user=vaughan [2010-02-25 08:29:29] 1711*2^670177-1 is not prime. Res64: FD4220795F8C3A54 Time : 663.0 sec. user=vaughan [2010-02-25 08:30:14] 1717*2^670177-1 is not prime. Res64: 387F4E3BE8460C1F Time : 664.0 sec. user=vaughan [2010-02-25 08:32:19] 1737*2^670177-1 is not prime. Res64: 151568A7C6F23F51 Time : 644.0 sec. user=vaughan [2010-02-25 08:39:45] 1755*2^670177-1 is not prime. Res64: B307A6AB3A73DD1C Time : 649.0 sec. user=vaughan [2010-02-25 08:40:32] 1785*2^670177-1 is not prime. Res64: 99457D3F209C7AA6 Time : 664.0 sec. user=vaughan [2010-02-25 08:41:17] 1855*2^670177-1 is not prime. Res64: DC5B3AC721665A3A Time : 664.0 sec. user=vaughan [2010-02-25 08:43:04] 1921*2^670177-1 is not prime. Res64: B0E2482B9529E7E7 Time : 645.0 sec. user=vaughan [2010-02-25 08:50:33] 1939*2^670177-1 is not prime. Res64: 572F26179B93E630 Time : 649.0 sec. user=vaughan [2010-02-25 08:51:36] 1969*2^670177-1 is not prime. Res64: C17BAC1D9BAF4258 Time : 664.0 sec. user=vaughan [2010-02-25 08:52:20] 1987*2^670177-1 is not prime. Res64: EF2293EEEEE910FF Time : 663.0 sec. user=vaughan [2010-02-25 08:53:50] 1503*2^670178-1 is not prime. Res64: C0C111EEBC29BE5E Time : 646.0 sec. user=vaughan [2010-02-25 09:01:20] 1517*2^670178-1 is not prime. Res64: F54749336EB87138 Time : 647.0 sec. user=vaughan [2010-02-25 09:02:39] 1565*2^670178-1 is not prime. Res64: 8D096EA0027004DB Time : 664.0 sec. user=vaughan [2010-02-25 09:03:23] 1571*2^670178-1 is not prime. Res64: CA6BDD07C15A253C Time : 663.0 sec. user=vaughan [2010-02-25 09:04:36] 1607*2^670178-1 is not prime. Res64: B6711C7299793739 Time : 646.0 sec. user=vaughan [2010-02-25 09:12:44] 1623*2^670178-1 is not prime. Res64: 0A08A8F19C7CBF57 Time : 684.0 sec. user=vaughan [2010-02-25 09:14:10] 1631*2^670178-1 is not prime. Res64: 9B8997C4908EF5B8 Time : 691.0 sec. user=vaughan [2010-02-25 09:14:55] 1673*2^670178-1 is not prime. Res64: C8151C0654771D05 Time : 692.0 sec. user=vaughan [2010-02-25 09:15:55] 1697*2^670178-1 is not prime. Res64: 6F950976E38CFE4A Time : 680.0 sec. user=vaughan [2010-02-25 09:24:08] 1725*2^670178-1 is not prime. Res64: D7054C2F011AB1FB Time : 684.0 sec. user=vaughan [2010-02-25 09:26:02] 1737*2^670178-1 is not prime. Res64: C3794251E268399C Time : 712.0 sec. user=vaughan [2010-02-25 09:26:51] 1761*2^670178-1 is not prime. Res64: 060691C7B3FF2E01 Time : 716.0 sec. user=vaughan [2010-02-25 09:27:39] 1823*2^670178-1 is not prime. Res64: 3F46F97664C747DD Time : 705.0 sec. user=vaughan [2010-02-25 09:35:39] 1847*2^670178-1 is not prime. Res64: FC2AFEF07359FCDA Time : 692.0 sec. user=vaughan [2010-02-25 09:38:19] 1937*2^670178-1 is not prime. Res64: 3EC029AB32CC3FFF Time : 737.0 sec. user=vaughan [2010-02-25 09:39:16] 1967*2^670178-1 is not prime. Res64: 93443DC9ED0C278B Time : 745.0 sec. user=vaughan [2010-02-25 09:40:11] 1455*2^670179-1 is not prime. Res64: EAADF27B4B435B36 Time : 752.0 sec. user=vaughan [2010-02-25 09:57:50] 1473*2^670179-1 is not prime. Res64: 140FEB5F048021D7 Time : 1331.0 sec. user=vaughan [2010-02-25 10:05:07] 1495*2^670179-1 is not prime. Res64: BEF0301AF1B376AF Time : 1609.0 sec. user=vaughan [2010-02-25 10:06:13] 1549*2^670179-1 is not prime. Res64: 1F2B1C3BE8A9C836 Time : 1562.0 sec. user=vaughan [2010-02-25 10:06:54] 1525*2^670179-1 is not prime. Res64: 0C1F4FFCBA628B12 Time : 1659.0 sec. user=vaughan [2010-02-25 10:24:38] 1699*2^670179-1 is not prime. Res64: 1C7F25BC13901DDE Time : 1608.0 sec. user=vaughan [2010-02-25 10:33:36] 1719*2^670179-1 is not prime. Res64: 08F523D9EDB9003F Time : 1643.0 sec. user=vaughan [2010-02-25 10:34:17] 1701*2^670179-1 is not prime. Res64: 7F40BBEE61069420 Time : 1750.0 sec. user=vaughan [2010-02-25 10:35:59] 1803*2^670179-1 is not prime. Res64: 83839235E79508D3 Time : 1745.0 sec. user=vaughan [2010-02-25 10:54:38] 1809*2^670179-1 is not prime. Res64: 1FC9561EB8EF25C2 Time : 1801.0 sec. user=vaughan [2010-02-25 11:02:59] 1959*2^670179-1 is not prime. Res64: 56240CAD689C2D9E Time : 1763.0 sec. user=vaughan [2010-02-25 11:05:31] 1983*2^670179-1 is not prime. Res64: 5FBB65596FEAE04D Time : 1874.0 sec. user=vaughan [2010-02-25 11:07:46] 1433*2^670180-1 is not prime. Res64: 700C25708F80666E Time : 1910.0 sec. user=vaughan [2010-02-25 11:25:26] 1575*2^670180-1 is not prime. Res64: 279D82B4E9A6CED6 Time : 1848.0 sec. user=vaughan [2010-02-25 11:32:58] 1599*2^670180-1 is not prime. Res64: CFE5452F58E033D3 Time : 1799.0 sec. user=vaughan [2010-02-25 11:37:28] 1689*2^670180-1 is not prime. Res64: 92EC6D1E562BF588 Time : 1918.0 sec. user=vaughan [2010-02-25 11:39:18] 1707*2^670180-1 is not prime. Res64: 08E955E88835A1BB Time : 1892.0 sec. user=vaughan [2010-02-25 11:55:37] 1833*2^670180-1 is not prime. Res64: 41D23D1083C9B398 Time : 1811.0 sec. user=vaughan [2010-02-25 12:02:38] 1863*2^670180-1 is not prime. Res64: E7775EA02F6503E6 Time : 1780.0 sec. user=vaughan [2010-02-25 12:07:55] 1883*2^670180-1 is not prime. Res64: 9E1F8B8BC27FE52B Time : 1827.0 sec. user=vaughan [2010-02-25 12:09:29] 1899*2^670180-1 is not prime. Res64: 0F399865B7F024D4 Time : 1811.0 sec. user=vaughan [2010-02-25 12:23:36] 1953*2^670180-1 is not prime. Res64: B2C3C98C1E813F91 Time : 1679.0 sec. user=vaughan [2010-02-25 12:29:07] 1983*2^670180-1 is not prime. Res64: 9C8448C89445EC68 Time : 1589.0 sec. user=vaughan [2010-02-25 12:37:01] 1429*2^670181-1 is not prime. Res64: 1A814424D0249020 Time : 1747.0 sec. user=vaughan [2010-02-25 12:38:39] 1459*2^670181-1 is not prime. Res64: A18F927B8FD6F778 Time : 1750.0 sec. user=vaughan [2010-02-25 12:51:08] 1495*2^670181-1 is not prime. Res64: BBFC9251A804659C Time : 1653.0 sec. user=vaughan [2010-02-25 12:57:51] 1567*2^670181-1 is not prime. Res64: F6D1A2E62CDE8077 Time : 1724.0 sec. user=vaughan [2010-02-25 13:09:14] 1729*2^670181-1 is not prime. Res64: 4505083A6E1F821E Time : 1933.0 sec. user=vaughan [2010-02-25 13:11:29] 1819*2^670181-1 is not prime. Res64: F9B5535C036C6B1E Time : 1970.0 sec. user=vaughan [2010-02-25 13:24:02] 1915*2^670181-1 is not prime. Res64: BC1C6D82CA0C75B8 Time : 1974.0 sec. user=vaughan [2010-02-25 13:30:01] 1921*2^670181-1 is not prime. Res64: 1BB01A2F89347011 Time : 1931.0 sec. user=vaughan [2010-02-25 13:42:42] 1971*2^670181-1 is not prime. Res64: 32D83DE4F1C61313 Time : 2008.0 sec. user=vaughan [2010-02-25 13:44:54] 1413*2^670182-1 is not prime. Res64: 1D612F89D35870DF Time : 2006.0 sec. user=vaughan [2010-02-25 13:56:15] 1437*2^670182-1 is not prime. Res64: 70350487A87476C0 Time : 1933.0 sec. user=vaughan [2010-02-25 14:01:36] 1523*2^670182-1 is not prime. Res64: 3DAD37F6C15870AF Time : 1895.0 sec. user=vaughan [2010-02-25 14:16:09] 1535*2^670182-1 is not prime. Res64: 62434AA0859A2792 Time : 2007.0 sec. user=vaughan [2010-02-25 14:18:36] 1547*2^670182-1 is not prime. Res64: 9CA486B0B22E1698 Time : 2022.0 sec. user=vaughan [2010-02-25 14:27:55] 1577*2^670182-1 is not prime. Res64: 3BCDD6DCF377ACF0 Time : 1900.0 sec. user=vaughan [2010-02-25 14:30:03] 1605*2^670182-1 is not prime. Res64: ACC4269165C96C4A Time : 1707.0 sec. user=vaughan [2010-02-25 14:36:07] 1745*2^670182-1 is not prime. Res64: 3F024E92DD22F294 Time : 1199.0 sec. user=vaughan [2010-02-25 14:36:53] 1827*2^670182-1 is not prime. Res64: 8D5629B9AF8AE5F5 Time : 1098.0 sec. user=vaughan [2010-02-25 14:40:13] 1853*2^670182-1 is not prime. Res64: 2128C2480B11E713 Time : 738.0 sec. user=vaughan [2010-02-25 14:41:36] 1875*2^670182-1 is not prime. Res64: 387F2CAFD0FD78F7 Time : 694.0 sec. user=vaughan [2010-02-25 14:48:45] 1931*2^670182-1 is not prime. Res64: 7E502621329A6B94 Time : 758.0 sec. user=vaughan [2010-02-25 14:49:38] 1401*2^670183-1 is not prime. Res64: 6B36B135F9C0988B Time : 765.0 sec. user=vaughan [2010-02-25 14:52:54] 1431*2^670183-1 is not prime. Res64: 6CB83CA678E5E4E5 Time : 762.0 sec. user=vaughan [2010-02-25 14:53:55] 1441*2^670183-1 is not prime. Res64: FDBCB31B80CB8F2E Time : 739.0 sec. user=vaughan [2010-02-25 15:07:49] 1513*2^670183-1 is not prime. Res64: 91B62BCCBDD10770 Time : 1145.0 sec. user=vaughan [2010-02-25 15:09:40] 1743*2^670183-1 is not prime. Res64: 0FA7D2F7512F0A2A Time : 1202.0 sec. user=vaughan [2010-02-25 15:15:49] 1849*2^670183-1 is not prime. Res64: F7EE67E4E6FAAF9A Time : 1375.0 sec. user=vaughan [2010-02-25 15:17:41] 1863*2^670183-1 is not prime. Res64: 85A5C9D4B62C2D3A Time : 1427.0 sec. user=vaughan [2010-02-25 15:36:53] 1875*2^670183-1 is not prime. Res64: 35541E3BDCB3A94A Time : 1744.0 sec. user=vaughan [2010-02-25 15:38:48] 1933*2^670183-1 is not prime. Res64: 436EC7D4436AB107 Time : 1748.0 sec. user=vaughan [2010-02-25 15:43:54] 1989*2^670183-1 is not prime. Res64: 2AF5067851311918 Time : 1686.0 sec. user=vaughan [2010-02-25 15:46:02] 1419*2^670184-1 is not prime. Res64: 36E3619432071111 Time : 1701.0 sec. user=vaughan [2010-02-25 16:09:14] 1445*2^670184-1 is not prime. Res64: E0F702784BEB14D3 Time : 1941.0 sec. user=vaughan [2010-02-25 16:11:34] 1475*2^670184-1 is not prime. Res64: 9B96F8250C37773D Time : 1966.0 sec. user=vaughan [2010-02-25 16:15:43] 1623*2^670184-1 is not prime. Res64: CF9656338259D0F9 Time : 1910.0 sec. user=vaughan [2010-02-25 16:18:20] 1715*2^670184-1 is not prime. Res64: 27AD34C4EBB5822B Time : 1938.0 sec. user=vaughan [2010-02-25 16:42:28] 1767*2^670184-1 is not prime. Res64: BBB9C6B7F5C3E23C Time : 1994.0 sec. user=vaughan [2010-02-25 16:44:58] 1865*2^670184-1 is not prime. Res64: 83843F7797D9605A Time : 2004.0 sec. user=vaughan [2010-02-25 16:48:08] 1869*2^670184-1 is not prime. Res64: 3BF8BBA24B349AA9 Time : 1945.0 sec. user=vaughan [2010-02-25 16:51:17] 1935*2^670184-1 is not prime. Res64: A7F7CE6342E47926 Time : 1978.0 sec. user=vaughan [2010-02-25 17:16:10] 1455*2^670185-1 is not prime. Res64: FF0A153197438ABE Time : 2022.0 sec. user=vaughan [2010-02-25 17:18:43] 1459*2^670185-1 is not prime. Res64: 992CB787DF9EE3D1 Time : 2025.0 sec. user=vaughan [2010-02-25 17:20:25] 1537*2^670185-1 is not prime. Res64: 326512792FBFE147 Time : 1937.0 sec. user=vaughan [2010-02-25 17:23:02] 1615*2^670185-1 is not prime. Res64: BC8C956ABD765729 Time : 1905.0 sec. user=vaughan [2010-02-25 17:45:49] 1621*2^670185-1 is not prime. Res64: 18F854FC7654983D Time : 1779.0 sec. user=vaughan [2010-02-25 17:47:31] 1647*2^670185-1 is not prime. Res64: 5B7F7529BF574F3C Time : 1729.0 sec. user=vaughan [2010-02-25 17:47:44] 1701*2^670185-1 is not prime. Res64: D8B1460754E9B7EE Time : 1639.0 sec. user=vaughan [2010-02-25 17:51:02] 1705*2^670185-1 is not prime. Res64: 4ED368B0BD213EC8 Time : 1680.0 sec. user=vaughan [2010-02-25 18:15:25] 1735*2^670185-1 is not prime. Res64: EECAA85CD0009BC1 Time : 1776.0 sec. user=vaughan [2010-02-25 18:16:34] 1885*2^670185-1 is not prime. Res64: E49E2853829BEC28 Time : 1730.0 sec. user=vaughan [2010-02-25 18:17:57] 1749*2^670185-1 is not prime. Res64: A06EEB3B3B2672B7 Time : 1826.0 sec. user=vaughan [2010-02-25 18:21:06] 1431*2^670186-1 is not prime. Res64: D54CA83FE66B01B3 Time : 1805.0 sec. user=vaughan [2010-02-25 18:49:10] 1461*2^670186-1 is not prime. Res64: BFF5CF5B077B988D Time : 1957.0 sec. user=vaughan [2010-02-25 18:49:21] 1451*2^670186-1 is not prime. Res64: 3049EAD6087E6687 Time : 2037.0 sec. user=vaughan [2010-02-25 18:51:46] 1487*2^670186-1 is not prime. Res64: F5053CC2C704BFDA Time : 2029.0 sec. user=vaughan [2010-02-25 18:53:57] 1511*2^670186-1 is not prime. Res64: F5E8F0ACD1D1FDD4 Time : 1971.0 sec. user=vaughan [2010-02-25 19:22:56] 1601*2^670186-1 is not prime. Res64: 03AE40C30FC82B5C Time : 2026.0 sec. user=vaughan [2010-02-25 19:25:51] 1617*2^670186-1 is not prime. Res64: F324AE7A9AA9171C Time : 2190.0 sec. user=vaughan [2010-02-25 19:27:36] 1821*2^670186-1 is not prime. Res64: ADD3BCF5FC1F1B5E Time : 2019.0 sec. user=vaughan [2010-02-25 19:28:28] 1695*2^670186-1 is not prime. Res64: E634AA1A9D6F2AB7 Time : 2202.0 sec. user=vaughan [2010-02-25 19:53:19] 1835*2^670186-1 is not prime. Res64: DD268CBE570B5E29 Time : 1823.0 sec. user=vaughan [2010-02-25 19:57:13] 1881*2^670186-1 is not prime. Res64: C372781CD668E90E Time : 1882.0 sec. user=vaughan [2010-02-25 19:57:32] 1893*2^670186-1 is not prime. Res64: 3010CB2FDA9FA334 Time : 1797.0 sec. user=vaughan [2010-02-25 19:59:19] 1485*2^670187-1 is not prime. Res64: 34C0DA351AD848CE Time : 1851.0 sec. user=vaughan [2010-02-25 20:23:48] 1501*2^670187-1 is not prime. Res64: 6B9707AFAAB1F845 Time : 1829.0 sec. user=vaughan [2010-02-25 20:26:52] 1555*2^670187-1 is not prime. Res64: E12775EC1CF25E83 Time : 1760.0 sec. user=vaughan [2010-02-25 20:28:31] 1513*2^670187-1 is not prime. Res64: 74361041CA7446E9 Time : 1878.0 sec. user=vaughan [2010-02-25 20:30:57] 1569*2^670187-1 is not prime. Res64: C17E6B814E96A424 Time : 1898.0 sec. user=vaughan [2010-02-25 21:00:34] 1609*2^670187-1 is not prime. Res64: E84301D49C9B82C7 Time : 2207.0 sec. user=vaughan [2010-02-25 21:03:49] 1659*2^670187-1 is not prime. Res64: CA50426A00CF9D7A Time : 2217.0 sec. user=vaughan [2010-02-25 21:15:36] 1663*2^670187-1 is not prime. Res64: D7E5AF52C350986C Time : 2825.0 sec. user=vaughan [2010-02-25 21:19:43] 1761*2^670187-1 is not prime. Res64: 02BC86104E68B064 Time : 2926.0 sec. user=vaughan [2010-02-25 21:41:32] 1771*2^670187-1 is not prime. Res64: 4AF840AB54494DD4 Time : 2458.0 sec. user=vaughan [2010-02-25 21:44:21] 1791*2^670187-1 is not prime. Res64: BF97818A8683E819 Time : 2432.0 sec. user=vaughan [2010-02-25 22:07:25] 1945*2^670187-1 is not prime. Res64: D1F0F2F4B47AC332 Time : 3109.0 sec. user=vaughan [2010-02-25 22:11:32] 1963*2^670187-1 is not prime. Res64: A1848E29BCBCA8BF Time : 3109.0 sec. user=vaughan [2010-02-25 22:15:26] 1437*2^670188-1 is not prime. Res64: 87596180154AA94B Time : 2035.0 sec. user=vaughan [2010-02-25 22:15:57] 1559*2^670188-1 is not prime. Res64: C473676CD373128D Time : 1896.0 sec. user=vaughan [2010-02-25 22:24:41] 1619*2^670188-1 is not prime. Res64: BF4EEAFA0B9A7931 Time : 1036.0 sec. user=vaughan [2010-02-25 22:26:37] 1713*2^670188-1 is not prime. Res64: E2C2E80D19085AA5 Time : 905.0 sec. user=vaughan [2010-02-25 22:28:44] 1817*2^670188-1 is not prime. Res64: FC0EB99BA5A2724E Time : 798.0 sec. user=vaughan [2010-02-25 22:30:06] 1883*2^670188-1 is not prime. Res64: 60722189B33B94ED Time : 849.0 sec. user=vaughan [2010-02-25 22:41:29] 1887*2^670188-1 is not prime. Res64: 146B7884B54996A5 Time : 1008.0 sec. user=vaughan [2010-02-25 22:42:01] 1407*2^670189-1 is not prime. Res64: F250708F8262522F Time : 798.0 sec. user=vaughan [2010-02-25 22:42:35] 1943*2^670188-1 is not prime. Res64: 6956C7EC33A2283E Time : 959.0 sec. user=vaughan [2010-02-25 22:43:36] 1545*2^670189-1 is not prime. Res64: 62C3CA8F4E3D9AEE Time : 810.0 sec. user=vaughan [2010-02-25 22:55:59] 1651*2^670189-1 is not prime. Res64: 1DD4E863469E15A3 Time : 838.0 sec. user=vaughan [2010-02-25 22:58:41] 1695*2^670189-1 is not prime. Res64: 51658EBA4555588E Time : 905.0 sec. user=vaughan [2010-02-25 22:58:44] 1557*2^670189-1 is not prime. Res64: F5D59AFD8F197551 Time : 1035.0 sec. user=vaughan [2010-02-25 22:59:55] 1681*2^670189-1 is not prime. Res64: 393B49E25504FBD8 Time : 1040.0 sec. user=vaughan [2010-02-25 23:07:48] 1701*2^670189-1 is not prime. Res64: E39179EDB5FCD073 Time : 709.0 sec. user=vaughan [2010-02-25 23:10:29] 1741*2^670189-1 is not prime. Res64: 6AE058B0A770F647 Time : 708.0 sec. user=vaughan [2010-02-25 23:10:55] 1765*2^670189-1 is not prime. Res64: 926D22325C434011 Time : 731.0 sec. user=vaughan [2010-02-25 23:12:12] 1767*2^670189-1 is not prime. Res64: 1FEA0ECB3293D0FB Time : 738.0 sec. user=vaughan [2010-02-25 23:19:19] 1791*2^670189-1 is not prime. Res64: 0A308271C81FE852 Time : 691.0 sec. user=vaughan [2010-02-25 23:22:18] 1809*2^670189-1 is not prime. Res64: 7B0166FDB16825B9 Time : 709.0 sec. user=vaughan [2010-02-25 23:22:57] 1819*2^670189-1 is not prime. Res64: 69D37E536D47B05D Time : 722.0 sec. user=vaughan [2010-02-25 23:24:12] 1891*2^670189-1 is not prime. Res64: C1A105FFDD2D7E25 Time : 720.0 sec. user=vaughan [2010-02-25 23:30:54] 1941*2^670189-1 is not prime. Res64: 6A023B0AAE942E41 Time : 695.0 sec. user=vaughan [2010-02-25 23:34:13] 1945*2^670189-1 is not prime. Res64: 599644184B3A3A4B Time : 716.0 sec. user=vaughan [2010-02-25 23:35:13] 1965*2^670189-1 is not prime. Res64: 6147FC39DF3FC398 Time : 736.0 sec. user=vaughan [2010-02-25 23:36:29] 1443*2^670190-1 is not prime. Res64: B900484B6387C427 Time : 738.0 sec. user=vaughan [2010-02-25 23:42:14] 1445*2^670190-1 is not prime. Res64: 9A8BDA3638E0594E Time : 680.0 sec. user=vaughan [2010-02-25 23:45:22] 1487*2^670190-1 is not prime. Res64: 0AB2460E0C3BE06C Time : 670.0 sec. user=vaughan [2010-02-25 23:47:18] 1527*2^670190-1 is not prime. Res64: 726559250B0FC329 Time : 725.0 sec. user=vaughan [2010-02-25 23:48:35] 1545*2^670190-1 is not prime. Res64: DD7C1A0FE371A447 Time : 726.0 sec. user=vaughan [2010-02-25 23:53:35] 1571*2^670190-1 is not prime. Res64: D81C99AA884412DB Time : 682.0 sec. user=vaughan [2010-02-25 23:56:44] 1725*2^670190-1 is not prime. Res64: ED4022582379C1DE Time : 682.0 sec. user=vaughan [2010-02-25 23:59:31] 1751*2^670190-1 is not prime. Res64: 915484ACFF8E08AA Time : 733.0 sec. user=vaughan [2010-02-26 00:00:52] 1757*2^670190-1 is not prime. Res64: 9CC514F810171C76 Time : 737.0 sec.