user=vaughan [2010-02-27 00:07:47] 1429*2^670223-1 is not prime. Res64: 1D3C0D6BA4AC4B15 Time : 1084.0 sec. user=vaughan [2010-02-27 00:08:35] 1443*2^670223-1 is not prime. Res64: 47CDB067DB87EC23 Time : 1111.0 sec. user=vaughan [2010-02-27 00:08:35] 1907*2^670222-1 is not prime. Res64: CF34A0BA794C9FD5 Time : 1761.0 sec. user=vaughan [2010-02-27 00:15:37] 1953*2^670222-1 is not prime. Res64: 88FB2E22F5DCA4AF Time : 1732.0 sec. user=vaughan [2010-02-27 00:25:16] 1473*2^670223-1 is not prime. Res64: EC35122A27290E03 Time : 1049.0 sec. user=vaughan [2010-02-27 00:26:52] 1543*2^670223-1 is not prime. Res64: B53DC1C942B5C2C5 Time : 1097.0 sec. user=vaughan [2010-02-27 00:34:40] 1579*2^670223-1 is not prime. Res64: 853C02834BECE1FF Time : 1565.0 sec. user=vaughan [2010-02-27 00:41:57] 1665*2^670223-1 is not prime. Res64: 9018F79FEA18E492 Time : 1580.0 sec. user=vaughan [2010-02-27 00:42:24] 1779*2^670223-1 is not prime. Res64: 72B45A7375118B3C Time : 1028.0 sec. user=vaughan [2010-02-27 00:44:54] 1795*2^670223-1 is not prime. Res64: CEFAC0833BDBA7E6 Time : 1083.0 sec. user=vaughan [2010-02-27 00:59:42] 1445*2^670224-1 is not prime. Res64: B22D125A3622C53B Time : 1039.0 sec. user=vaughan [2010-02-27 01:03:13] 1455*2^670224-1 is not prime. Res64: EBD1444CDCC7169F Time : 1099.0 sec. user=vaughan [2010-02-27 01:03:18] 1831*2^670223-1 is not prime. Res64: 0A52C93DCCDF2A35 Time : 1718.0 sec. user=vaughan [2010-02-27 01:09:54] 1851*2^670223-1 is not prime. Res64: B2E565BD05707844 Time : 1677.0 sec. user=vaughan [2010-02-27 01:15:22] 1469*2^670224-1 is not prime. Res64: 99DB9DF12820B660 Time : 940.0 sec. user=vaughan [2010-02-27 01:20:23] 1479*2^670224-1 is not prime. Res64: 17B0BFC0E3D3FBD3 Time : 1030.0 sec. user=vaughan [2010-02-27 01:27:46] 1487*2^670224-1 is not prime. Res64: 778F9C57A1D4745B Time : 1468.0 sec. user=vaughan [2010-02-27 01:32:45] 1517*2^670224-1 is not prime. Res64: E0AD6B000CA02C27 Time : 1043.0 sec. user=vaughan [2010-02-27 01:34:34] 1503*2^670224-1 is not prime. Res64: 1F61EAC44F6B6807 Time : 1481.0 sec. user=vaughan [2010-02-27 01:38:11] 1643*2^670224-1 is not prime. Res64: 5DCD94C9DF2A219D Time : 1069.0 sec. user=vaughan [2010-02-27 01:49:44] 1757*2^670224-1 is not prime. Res64: 34B1F805FD1B9D02 Time : 1019.0 sec. user=vaughan [2010-02-27 01:54:20] 1733*2^670224-1 is not prime. Res64: 3A1FF22A17EEAFFF Time : 1594.0 sec. user=vaughan [2010-02-27 01:55:57] 1775*2^670224-1 is not prime. Res64: 253B1FAD077CD96A Time : 1066.0 sec. user=vaughan [2010-02-27 02:01:28] 1767*2^670224-1 is not prime. Res64: 3C08CDBFF84B4485 Time : 1615.0 sec. user=vaughan [2010-02-27 02:07:37] 1815*2^670224-1 is not prime. Res64: BDAFAE5ADB0BB5A8 Time : 1074.0 sec. user=vaughan [2010-02-27 02:14:12] 1959*2^670224-1 is not prime. Res64: F5595C2FB4C41C3A Time : 1098.0 sec. user=vaughan [2010-02-27 02:23:16] 1935*2^670224-1 is not prime. Res64: 5C40D9876EF6D920 Time : 1736.0 sec. user=vaughan [2010-02-27 02:24:59] 1449*2^670225-1 is not prime. Res64: 6F0A9A4333AFD742 Time : 1042.0 sec. user=vaughan [2010-02-27 02:30:21] 1995*2^670224-1 is not prime. Res64: C9671343BC380684 Time : 1733.0 sec. user=vaughan [2010-02-27 02:32:16] 1461*2^670225-1 is not prime. Res64: 0A2F2C699BD2DAFB Time : 1084.0 sec. user=vaughan [2010-02-27 02:42:19] 1501*2^670225-1 is not prime. Res64: DC01D39B37895E0B Time : 1040.0 sec. user=vaughan [2010-02-27 02:50:13] 1599*2^670225-1 is not prime. Res64: 737F729DC4743B8B Time : 1077.0 sec. user=vaughan [2010-02-27 02:50:29] 1491*2^670225-1 is not prime. Res64: 3487FC59EFC87C7A Time : 1633.0 sec. user=vaughan [2010-02-27 02:56:04] 1569*2^670225-1 is not prime. Res64: 2D778FAB8165BA2D Time : 1543.0 sec. user=vaughan [2010-02-27 02:59:59] 1809*2^670225-1 is not prime. Res64: A0D27F3AB2A63AB5 Time : 1060.0 sec. user=vaughan [2010-02-27 03:08:20] 1885*2^670225-1 is not prime. Res64: 1BF64B3002545D4D Time : 1087.0 sec. user=vaughan [2010-02-27 03:13:06] 1917*2^670225-1 is not prime. Res64: 303219F1A423A5CE Time : 1358.0 sec. user=vaughan [2010-02-27 03:17:51] 1491*2^670226-1 is not prime. Res64: 87A9BF0F929AD6D9 Time : 1073.0 sec. user=vaughan [2010-02-27 03:19:52] 1481*2^670226-1 is not prime. Res64: FE54051497D164C2 Time : 1428.0 sec. user=vaughan [2010-02-27 03:26:18] 1547*2^670226-1 is not prime. Res64: 18640072F93673BA Time : 1078.0 sec. user=vaughan [2010-02-27 03:35:36] 1571*2^670226-1 is not prime. Res64: 40FA649F43B32715 Time : 1065.0 sec. user=vaughan [2010-02-27 03:40:26] 1551*2^670226-1 is not prime. Res64: 02835A4E31AD080B Time : 1640.0 sec. user=vaughan [2010-02-27 03:43:58] 1727*2^670226-1 is not prime. Res64: 562F665F982AE7A9 Time : 1061.0 sec. user=vaughan [2010-02-27 03:47:35] 1607*2^670226-1 is not prime. Res64: E65EC8ACD4E4B7E3 Time : 1664.0 sec. user=vaughan [2010-02-27 03:53:00] 1761*2^670226-1 is not prime. Res64: 3D79E0A60B9E3E24 Time : 1046.0 sec. user=vaughan [2010-02-27 04:02:04] 1901*2^670226-1 is not prime. Res64: 626094D8E5A639AA Time : 1087.0 sec. user=vaughan [2010-02-27 04:08:32] 1887*2^670226-1 is not prime. Res64: 9803E4767691B6D0 Time : 1686.0 sec. user=vaughan [2010-02-27 04:11:03] 1425*2^670227-1 is not prime. Res64: 3E960F0BEA79765C Time : 1083.0 sec. user=vaughan [2010-02-27 04:15:22] 1991*2^670226-1 is not prime. Res64: FCE1DD1640D926D7 Time : 1667.0 sec. user=vaughan [2010-02-27 04:20:01] 1453*2^670227-1 is not prime. Res64: CDEEDF8ABF272356 Time : 1077.0 sec. user=vaughan [2010-02-27 04:28:30] 1519*2^670227-1 is not prime. Res64: 246BECD2449D287D Time : 1047.0 sec. user=vaughan [2010-02-27 04:36:20] 1479*2^670227-1 is not prime. Res64: F6457E673740BB7F Time : 1668.0 sec. user=vaughan [2010-02-27 04:37:54] 1561*2^670227-1 is not prime. Res64: 1598125406EF1729 Time : 1073.0 sec. user=vaughan [2010-02-27 04:42:04] 1551*2^670227-1 is not prime. Res64: 6068BB4874977000 Time : 1602.0 sec. user=vaughan [2010-02-27 04:45:14] 1575*2^670227-1 is not prime. Res64: A762ACA01F36FF92 Time : 1004.0 sec. user=vaughan [2010-02-27 04:56:09] 1809*2^670227-1 is not prime. Res64: 6C516D5FA19DC1A2 Time : 1095.0 sec. user=vaughan [2010-02-27 05:01:08] 1635*2^670227-1 is not prime. Res64: 22C9A730BE1BB79F Time : 1488.0 sec. user=vaughan [2010-02-27 05:02:33] 1433*2^670228-1 is not prime. Res64: DB4DF038F7CBB078 Time : 1040.0 sec. user=vaughan [2010-02-27 05:06:23] 1855*2^670227-1 is not prime. Res64: B2EA46C0CC065A44 Time : 1459.0 sec. user=vaughan [2010-02-27 05:12:22] 1457*2^670228-1 is not prime. Res64: D3759272279E6907 Time : 973.0 sec. user=vaughan [2010-02-27 05:18:32] 1515*2^670228-1 is not prime. Res64: 7EA62E2F818B24DC Time : 960.0 sec. user=vaughan [2010-02-27 05:21:52] 1493*2^670228-1 is not prime. Res64: A25752F713804488 Time : 1244.0 sec. user=vaughan [2010-02-27 05:27:45] 1527*2^670228-1 is not prime. Res64: 2E4AC3024B86550D Time : 1282.0 sec. user=vaughan [2010-02-27 05:29:26] 1617*2^670228-1 is not prime. Res64: C79B4A157F27755E Time : 1024.0 sec. user=vaughan [2010-02-27 05:35:28] 1629*2^670228-1 is not prime. Res64: C317DAF020FA6E22 Time : 1016.0 sec. user=vaughan [2010-02-27 05:46:46] 1689*2^670228-1 is not prime. Res64: 3B89118F6A471137 Time : 1494.0 sec. user=vaughan [2010-02-27 05:47:20] 1737*2^670228-1 is not prime. Res64: EF6D011965D05C9E Time : 1074.0 sec. user=vaughan [2010-02-27 05:51:13] 1787*2^670228-1 is not prime. Res64: 161CF5B96A3E7228 Time : 945.0 sec. user=vaughan [2010-02-27 05:53:24] 1715*2^670228-1 is not prime. Res64: 0CF2AD31B3059403 Time : 1539.0 sec. user=vaughan [2010-02-27 06:06:06] 1905*2^670228-1 is not prime. Res64: 40483472BFFA5A53 Time : 1126.0 sec. user=vaughan [2010-02-27 06:08:52] 1949*2^670228-1 is not prime. Res64: F3F6AAD507A50E28 Time : 1059.0 sec. user=vaughan [2010-02-27 06:11:17] 1815*2^670228-1 is not prime. Res64: 124B6A25836A91ED Time : 1472.0 sec. user=vaughan [2010-02-27 06:16:50] 1953*2^670228-1 is not prime. Res64: AAD73AAE5B1B8393 Time : 1407.0 sec. user=vaughan [2010-02-27 06:22:42] 1965*2^670228-1 is not prime. Res64: 052F2A58BB657C6F Time : 996.0 sec. user=vaughan [2010-02-27 06:25:55] 1425*2^670229-1 is not prime. Res64: 9BB66B15E040027E Time : 1024.0 sec. user=vaughan [2010-02-27 06:32:39] 1537*2^670229-1 is not prime. Res64: 612DD9E0CAC39AB8 Time : 1282.0 sec. user=vaughan [2010-02-27 06:37:23] 1567*2^670229-1 is not prime. Res64: 30D652289B8C276B Time : 1233.0 sec. user=vaughan [2010-02-27 06:38:33] 1585*2^670229-1 is not prime. Res64: 57719B668CD3E1ED Time : 952.0 sec. user=vaughan [2010-02-27 06:41:44] 1671*2^670229-1 is not prime. Res64: B999476E19705BBD Time : 949.0 sec. user=vaughan [2010-02-27 06:53:57] 1741*2^670229-1 is not prime. Res64: EBEA13B5B3E89A96 Time : 924.0 sec. user=vaughan [2010-02-27 06:55:44] 1687*2^670229-1 is not prime. Res64: EF821BFBCF722406 Time : 1385.0 sec. user=vaughan [2010-02-27 07:00:42] 1975*2^670229-1 is not prime. Res64: 763F7DD24916AFE0 Time : 1138.0 sec. user=vaughan [2010-02-27 07:03:24] 1711*2^670229-1 is not prime. Res64: 0B5BA771A193B667 Time : 1561.0 sec. user=vaughan [2010-02-27 07:12:00] 1523*2^670230-1 is not prime. Res64: 146B6C43D6E5D377 Time : 1083.0 sec. user=vaughan [2010-02-27 07:18:17] 1581*2^670230-1 is not prime. Res64: 53607805280A8EE0 Time : 1056.0 sec. user=vaughan [2010-02-27 07:21:07] 1571*2^670230-1 is not prime. Res64: 02512625043BB9E2 Time : 1524.0 sec. user=vaughan [2010-02-27 07:26:07] 1661*2^670230-1 is not prime. Res64: 434A8E79F6B6FD25 Time : 1364.0 sec. user=vaughan [2010-02-27 07:27:22] 1677*2^670230-1 is not prime. Res64: 64B942C7393C8E56 Time : 922.0 sec. user=vaughan [2010-02-27 07:33:25] 1733*2^670230-1 is not prime. Res64: 317515E21C14089D Time : 909.0 sec. user=vaughan [2010-02-27 07:40:24] 1865*2^670230-1 is not prime. Res64: 45260F94E4084781 Time : 1157.0 sec. user=vaughan [2010-02-27 07:43:28] 1405*2^670231-1 is not prime. Res64: 2585DCBF4A64AD7B Time : 966.0 sec. user=vaughan [2010-02-27 07:47:58] 1917*2^670230-1 is not prime. Res64: 92890C18622407F1 Time : 1311.0 sec. user=vaughan [2010-02-27 07:49:48] 1465*2^670231-1 is not prime. Res64: 27C79DED2033B658 Time : 983.0 sec. user=vaughan [2010-02-27 08:02:09] 1521*2^670231-1 is not prime. Res64: A23E73AFDA967B3D Time : 1121.0 sec. user=vaughan [2010-02-27 08:07:03] 1615*2^670231-1 is not prime. Res64: 8A01EFB21F739C4D Time : 1035.0 sec. user=vaughan [2010-02-27 08:07:59] 1479*2^670231-1 is not prime. Res64: FEDC54F6AA105A3F Time : 1655.0 sec. user=vaughan [2010-02-27 08:15:21] 1525*2^670231-1 is not prime. Res64: A3CADF5D6F0701DB Time : 1643.0 sec. user=vaughan [2010-02-27 08:20:49] 1675*2^670231-1 is not prime. Res64: 718A7308F679F423 Time : 1120.0 sec. user=vaughan [2010-02-27 08:25:10] 1681*2^670231-1 is not prime. Res64: 450EF61E0B0A8C5F Time : 1087.0 sec. user=vaughan [2010-02-27 08:30:13] 1791*2^670231-1 is not prime. Res64: 602512B4BFC0CCAD Time : 1335.0 sec. user=vaughan [2010-02-27 08:33:30] 1863*2^670231-1 is not prime. Res64: 65C99A3B489818BA Time : 1089.0 sec. user=vaughan [2010-02-27 08:34:16] 1879*2^670231-1 is not prime. Res64: A53E3CE5C48D2887 Time : 808.0 sec. user=vaughan [2010-02-27 08:37:38] 1885*2^670231-1 is not prime. Res64: 307E61CCA697D76E Time : 748.0 sec. user=vaughan [2010-02-27 08:43:12] 1893*2^670231-1 is not prime. Res64: A9CBACB67956A638 Time : 779.0 sec. user=vaughan [2010-02-27 08:45:54] 1427*2^670232-1 is not prime. Res64: EAD3C7A47F294228 Time : 698.0 sec. user=vaughan [2010-02-27 08:46:39] 1939*2^670231-1 is not prime. Res64: 43CFA455EFB64466 Time : 790.0 sec. user=vaughan [2010-02-27 08:49:32] 1575*2^670232-1 is not prime. Res64: B222FE51F58AC988 Time : 715.0 sec. user=vaughan [2010-02-27 08:56:35] 1617*2^670232-1 is not prime. Res64: 51082749D4E1FFAF Time : 803.0 sec. user=vaughan [2010-02-27 08:57:42] 1623*2^670232-1 is not prime. Res64: B982F2F925885A67 Time : 708.0 sec. user=vaughan [2010-02-27 08:59:50] 1655*2^670232-1 is not prime. Res64: C26F5BEA279CD10B Time : 792.0 sec. user=vaughan [2010-02-27 09:00:58] 1665*2^670232-1 is not prime. Res64: 573F208B529017C4 Time : 686.0 sec. user=vaughan [2010-02-27 09:09:17] 1827*2^670232-1 is not prime. Res64: B95B5BDA85BE0F65 Time : 695.0 sec. user=vaughan [2010-02-27 09:09:42] 1683*2^670232-1 is not prime. Res64: D88783CBCE6A8371 Time : 787.0 sec. user=vaughan [2010-02-27 09:12:46] 1995*2^670232-1 is not prime. Res64: 31C220D5E8D83000 Time : 708.0 sec. user=vaughan [2010-02-27 09:13:09] 1889*2^670232-1 is not prime. Res64: 64C8A365619EE7CD Time : 799.0 sec. user=vaughan [2010-02-27 09:21:02] 1579*2^670233-1 is not prime. Res64: 48C667C593E6241B Time : 705.0 sec. user=vaughan [2010-02-27 09:22:57] 1587*2^670233-1 is not prime. Res64: 5DA4ED9E47DCFFB5 Time : 796.0 sec. user=vaughan [2010-02-27 09:24:17] 1609*2^670233-1 is not prime. Res64: 4DDAEFE1B864AB18 Time : 691.0 sec. user=vaughan [2010-02-27 09:26:13] 1669*2^670233-1 is not prime. Res64: 6488EB698B1F7197 Time : 784.0 sec. user=vaughan [2010-02-27 09:33:16] 1699*2^670233-1 is not prime. Res64: 30BBF37EBB7D9F9B Time : 735.0 sec. user=vaughan [2010-02-27 09:37:52] 1827*2^670233-1 is not prime. Res64: 69288021EAF8D0C7 Time : 815.0 sec. user=vaughan [2010-02-27 09:38:21] 1801*2^670233-1 is not prime. Res64: 1F9B7CC12197588E Time : 925.0 sec. user=vaughan [2010-02-27 09:41:40] 1839*2^670233-1 is not prime. Res64: D59917AB84BB7458 Time : 928.0 sec. user=vaughan [2010-02-27 09:45:44] 1909*2^670233-1 is not prime. Res64: A421D0EE92CE7046 Time : 749.0 sec. user=vaughan [2010-02-27 09:49:29] 1511*2^670234-1 is not prime. Res64: 6D7FD6892AF0D8C0 Time : 697.0 sec. user=vaughan [2010-02-27 09:51:44] 1563*2^670234-1 is not prime. Res64: 2B6FE88895D97F57 Time : 803.0 sec. user=vaughan [2010-02-27 09:55:01] 1601*2^670234-1 is not prime. Res64: 4E0F93A80C2BBF20 Time : 802.0 sec. user=vaughan [2010-02-27 09:57:34] 1625*2^670234-1 is not prime. Res64: 5C5F5062FA9A1227 Time : 711.0 sec. user=vaughan [2010-02-27 10:01:24] 1643*2^670234-1 is not prime. Res64: A8F61D2D511E37B0 Time : 716.0 sec. user=vaughan [2010-02-27 10:04:48] 1653*2^670234-1 is not prime. Res64: 98704EE8A5D9CBC9 Time : 784.0 sec. user=vaughan [2010-02-27 10:08:05] 1661*2^670234-1 is not prime. Res64: C0CD16AB277795BC Time : 784.0 sec. user=vaughan [2010-02-27 10:09:13] 1721*2^670234-1 is not prime. Res64: AEF550A716A62D88 Time : 699.0 sec. user=vaughan [2010-02-27 10:13:01] 1751*2^670234-1 is not prime. Res64: 5E652A5E752CB2C6 Time : 697.0 sec. user=vaughan [2010-02-27 10:17:52] 1793*2^670234-1 is not prime. Res64: C76AF8E13CBDAC5D Time : 784.0 sec. user=vaughan [2010-02-27 10:20:49] 1821*2^670234-1 is not prime. Res64: 094988FA00B9CEF8 Time : 696.0 sec. user=vaughan [2010-02-27 10:21:05] 1805*2^670234-1 is not prime. Res64: DE63376A82FE5645 Time : 780.0 sec. user=vaughan [2010-02-27 10:24:35] 1847*2^670234-1 is not prime. Res64: D282F342A0D57FA3 Time : 694.0 sec. user=vaughan [2010-02-27 10:30:51] 1851*2^670234-1 is not prime. Res64: 109F0E6042EBE1E3 Time : 779.0 sec. user=vaughan [2010-02-27 10:32:27] 1895*2^670234-1 is not prime. Res64: FF7B530BA3D45BFC Time : 699.0 sec. user=vaughan [2010-02-27 10:34:23] 1907*2^670234-1 is not prime. Res64: 22E2A4EA4E1821C3 Time : 798.0 sec. user=vaughan [2010-02-27 10:36:43] 1931*2^670234-1 is not prime. Res64: 69560E72938C5685 Time : 728.0 sec. user=vaughan [2010-02-27 10:45:42] 1973*2^670234-1 is not prime. Res64: 321C5BF1AE7E5EB2 Time : 796.0 sec. user=vaughan [2010-02-27 10:46:18] 1935*2^670234-1 is not prime. Res64: F2F961D5B3319EDA Time : 927.0 sec. user=vaughan [2010-02-27 10:49:35] 1531*2^670235-1 is not prime. Res64: 5D61DBC5D5C4DFDB Time : 913.0 sec. user=vaughan [2010-02-27 10:49:44] 1533*2^670235-1 is not prime. Res64: 04B5BFA38B915471 Time : 782.0 sec. user=vaughan [2010-02-27 10:57:25] 1611*2^670235-1 is not prime. Res64: 2FA1D91B36D3A78E Time : 703.0 sec. user=vaughan [2010-02-27 10:59:26] 1641*2^670235-1 is not prime. Res64: 9269B68B95B0BECD Time : 788.0 sec. user=vaughan [2010-02-27 11:01:19] 1711*2^670235-1 is not prime. Res64: 56A467F32F2C3CF6 Time : 695.0 sec. user=vaughan [2010-02-27 11:02:39] 1701*2^670235-1 is not prime. Res64: 594D6905D2290715 Time : 785.0 sec. user=vaughan [2010-02-27 11:09:01] 1723*2^670235-1 is not prime. Res64: 5438FE4CB69D9DF0 Time : 697.0 sec. user=vaughan [2010-02-27 11:12:28] 1725*2^670235-1 is not prime. Res64: FF2FF2C742205DD4 Time : 782.0 sec. user=vaughan [2010-02-27 11:12:53] 1839*2^670235-1 is not prime. Res64: 102FD6D479C3C746 Time : 694.0 sec. user=vaughan [2010-02-27 11:16:05] 1975*2^670235-1 is not prime. Res64: 69B9921C214F7570 Time : 807.0 sec. user=vaughan [2010-02-27 11:20:55] 1999*2^670235-1 is not prime. Res64: FF8EB67A74FE32A0 Time : 714.0 sec. user=vaughan [2010-02-27 11:24:47] 1605*2^670236-1 is not prime. Res64: FECED1CF830C5FD1 Time : 714.0 sec. user=vaughan [2010-02-27 11:25:58] 1407*2^670236-1 is not prime. Res64: 54EC16CDDDE9501A Time : 811.0 sec. user=vaughan [2010-02-27 11:29:03] 1647*2^670236-1 is not prime. Res64: 8AADEC7CCBB105E4 Time : 778.0 sec. user=vaughan [2010-02-27 11:32:36] 1649*2^670236-1 is not prime. Res64: 90814A6F6DAB3AAC Time : 702.0 sec. user=vaughan [2010-02-27 11:36:23] 1725*2^670236-1 is not prime. Res64: BA5A1113D3A034C2 Time : 696.0 sec. user=vaughan [2010-02-27 11:39:01] 1727*2^670236-1 is not prime. Res64: 5F9C318E376E3A3D Time : 783.0 sec. user=vaughan [2010-02-27 11:42:06] 1785*2^670236-1 is not prime. Res64: 94AD4C01434993B2 Time : 783.0 sec. user=vaughan [2010-02-27 11:44:20] 1923*2^670236-1 is not prime. Res64: FE1880078E4852FE Time : 705.0 sec. user=vaughan [2010-02-27 11:47:59] 1959*2^670236-1 is not prime. Res64: 5D78AA408CC24F06 Time : 696.0 sec. user=vaughan [2010-02-27 11:52:08] 1401*2^670237-1 is not prime. Res64: 8C1AEC7FE2584FB8 Time : 787.0 sec. user=vaughan [2010-02-27 11:55:11] 1417*2^670237-1 is not prime. Res64: 945273FE213D31D3 Time : 786.0 sec. user=vaughan [2010-02-27 11:56:06] 1435*2^670237-1 is not prime. Res64: F08B73A730ECF259 Time : 707.0 sec. user=vaughan [2010-02-27 11:59:47] 1531*2^670237-1 is not prime. Res64: DD8A64CE5C4B98D0 Time : 708.0 sec. user=vaughan [2010-02-27 12:05:23] 1539*2^670237-1 is not prime. Res64: 61D359DD7383C1CF Time : 795.0 sec. user=vaughan [2010-02-27 12:07:43] 1575*2^670237-1 is not prime. Res64: 726672BF6118A06B Time : 697.0 sec. user=vaughan [2010-02-27 12:08:14] 1549*2^670237-1 is not prime. Res64: B80977EEF8940FD4 Time : 783.0 sec. user=vaughan [2010-02-27 12:11:30] 1659*2^670237-1 is not prime. Res64: 2298FE6A5646BE24 Time : 704.0 sec. user=vaughan [2010-02-27 12:18:54] 1717*2^670237-1 is not prime. Res64: 315AF543E2CD2A93 Time : 812.0 sec. user=vaughan [2010-02-27 12:19:43] 1795*2^670237-1 is not prime. Res64: 56C1AF3139908F43 Time : 720.0 sec. user=vaughan [2010-02-27 12:21:51] 1849*2^670237-1 is not prime. Res64: A7257CFE4D7E1EE5 Time : 817.0 sec. user=vaughan [2010-02-27 12:23:33] 1855*2^670237-1 is not prime. Res64: 1846DAF8A657A18B Time : 723.0 sec. user=vaughan [2010-02-27 12:31:22] 1965*2^670237-1 is not prime. Res64: C02C3416E11F7750 Time : 699.0 sec. user=vaughan [2010-02-27 12:32:07] 1921*2^670237-1 is not prime. Res64: F8C215249F7C578A Time : 793.0 sec. user=vaughan [2010-02-27 12:35:07] 1587*2^670238-1 is not prime. Res64: 5AD771A05CC259CC Time : 796.0 sec. user=vaughan [2010-02-27 12:35:22] 1631*2^670238-1 is not prime. Res64: 22A6E74961F58291 Time : 710.0 sec. user=vaughan [2010-02-27 12:43:16] 1697*2^670238-1 is not prime. Res64: CA4140554CA8BC79 Time : 714.0 sec. user=vaughan [2010-02-27 12:45:28] 1811*2^670238-1 is not prime. Res64: F95F6924D2483C06 Time : 802.0 sec. user=vaughan [2010-02-27 12:47:19] 1991*2^670238-1 is not prime. Res64: E57695268CAECE9A Time : 717.0 sec. user=vaughan [2010-02-27 12:48:19] 1847*2^670238-1 is not prime. Res64: 96CD62E731BEFA53 Time : 792.0 sec. user=vaughan [2010-02-27 12:54:54] 1419*2^670239-1 is not prime. Res64: A239EF55B675121D Time : 698.0 sec. user=vaughan [2010-02-27 12:58:41] 1441*2^670239-1 is not prime. Res64: 85583C3E2ABE7138 Time : 793.0 sec. user=vaughan [2010-02-27 12:59:00] 1483*2^670239-1 is not prime. Res64: A237929A8928D086 Time : 702.0 sec. user=vaughan [2010-02-27 13:01:55] 1495*2^670239-1 is not prime. Res64: 1448E7F06322C49E Time : 816.0 sec. user=vaughan [2010-02-27 13:07:25] 1533*2^670239-1 is not prime. Res64: 88F531F7F2E0EBA2 Time : 752.0 sec. user=vaughan [2010-02-27 13:11:58] 1675*2^670239-1 is not prime. Res64: 78B624ED310C57AC Time : 778.0 sec. user=vaughan [2010-02-27 13:13:26] 1665*2^670239-1 is not prime. Res64: 71A6775B1FB440CB Time : 885.0 sec. user=vaughan [2010-02-27 13:16:11] 1731*2^670239-1 is not prime. Res64: 1F7FB3B589D49C6B Time : 856.0 sec. user=vaughan [2010-02-27 13:19:09] 1843*2^670239-1 is not prime. Res64: 54CEC36CF3F50E3B Time : 704.0 sec. user=vaughan [2010-02-27 13:23:27] 1945*2^670239-1 is not prime. Res64: 482E07B85FC083E9 Time : 689.0 sec. user=vaughan [2010-02-27 13:26:24] 1437*2^670240-1 is not prime. Res64: D69D9D6D7037A9A1 Time : 778.0 sec. user=vaughan [2010-02-27 13:29:12] 1473*2^670240-1 is not prime. Res64: A246C47E224866BB Time : 781.0 sec. user=vaughan [2010-02-27 13:30:48] 1487*2^670240-1 is not prime. Res64: 1BD46D3DFF12790F Time : 699.0 sec. user=vaughan [2010-02-27 13:35:00] 1535*2^670240-1 is not prime. Res64: 62143EFC55172CAA Time : 693.0 sec. user=vaughan [2010-02-27 13:39:25] 1665*2^670240-1 is not prime. Res64: E3B5FBAA87F9C1F3 Time : 781.0 sec. user=vaughan [2010-02-27 13:42:10] 1709*2^670240-1 is not prime. Res64: 341A77C8D82F0B10 Time : 778.0 sec. user=vaughan [2010-02-27 13:42:23] 1779*2^670240-1 is not prime. Res64: A7AD6AF5D24B7A31 Time : 695.0 sec. user=vaughan [2010-02-27 13:46:27] 1815*2^670240-1 is not prime. Res64: 08459EA8493E3E25 Time : 687.0 sec. user=vaughan [2010-02-27 13:52:20] 1835*2^670240-1 is not prime. Res64: EDD9AFFDA7C30660 Time : 775.0 sec. user=vaughan [2010-02-27 13:53:54] 1899*2^670240-1 is not prime. Res64: 797F92AB5AAD68AB Time : 691.0 sec. user=vaughan [2010-02-27 13:55:04] 1853*2^670240-1 is not prime. Res64: 55839DE8D8E9D2B5 Time : 774.0 sec. user=vaughan [2010-02-27 13:57:57] 1917*2^670240-1 is not prime. Res64: 0E7B4CC181E81605 Time : 690.0 sec. user=vaughan [2010-02-27 14:07:00] 1429*2^670241-1 is not prime. Res64: 51C69923057665AE Time : 787.0 sec. user=vaughan [2010-02-27 14:07:52] 1419*2^670241-1 is not prime. Res64: 17EF8E1B797D588D Time : 932.0 sec. user=vaughan [2010-02-27 14:10:40] 1455*2^670241-1 is not prime. Res64: E59098CFC359EA57 Time : 937.0 sec. user=vaughan [2010-02-27 14:11:27] 1495*2^670241-1 is not prime. Res64: 4163573E89350AAC Time : 811.0 sec. user=vaughan [2010-02-27 14:18:34] 1527*2^670241-1 is not prime. Res64: D2ECA828A1E2445C Time : 695.0 sec. user=vaughan [2010-02-27 14:20:54] 1569*2^670241-1 is not prime. Res64: 53FFF012CE9808BD Time : 783.0 sec. user=vaughan [2010-02-27 14:23:03] 1729*2^670241-1 is not prime. Res64: 37E96A5498FADF6E Time : 697.0 sec. user=vaughan [2010-02-27 14:23:41] 1615*2^670241-1 is not prime. Res64: 3FA3FC0619511008 Time : 782.0 sec. user=vaughan [2010-02-27 14:30:04] 1851*2^670241-1 is not prime. Res64: 7DF89104CECCE2E0 Time : 691.0 sec. user=vaughan [2010-02-27 14:33:53] 1487*2^670242-1 is not prime. Res64: D31CDECA76554A0E Time : 779.0 sec. user=vaughan [2010-02-27 14:34:40] 1493*2^670242-1 is not prime. Res64: AE232A0530A0E6D3 Time : 698.0 sec. user=vaughan [2010-02-27 14:36:41] 1551*2^670242-1 is not prime. Res64: C4F8B09025729E63 Time : 780.0 sec. user=vaughan [2010-02-27 14:41:38] 1595*2^670242-1 is not prime. Res64: 2F499A0EB3F84B9D Time : 695.0 sec. user=vaughan [2010-02-27 14:46:11] 1791*2^670242-1 is not prime. Res64: 2E1BEDF7CFB1B0C7 Time : 692.0 sec. user=vaughan [2010-02-27 14:46:54] 1731*2^670242-1 is not prime. Res64: D062BE002BD9BFF8 Time : 782.0 sec. user=vaughan [2010-02-27 14:49:41] 1881*2^670242-1 is not prime. Res64: 24149205B59AEEE3 Time : 780.0 sec. user=vaughan [2010-02-27 14:53:17] 1911*2^670242-1 is not prime. Res64: 6DA95C463EAFE5F5 Time : 699.0 sec. user=vaughan [2010-02-27 14:57:55] 1937*2^670242-1 is not prime. Res64: 10E0CD4491FCD758 Time : 705.0 sec. user=vaughan [2010-02-27 15:00:01] 1965*2^670242-1 is not prime. Res64: B993E41918427EDF Time : 787.0 sec. user=vaughan [2010-02-27 15:02:45] 1413*2^670243-1 is not prime. Res64: B208FD82F7E6135C Time : 785.0 sec. user=vaughan [2010-02-27 15:04:54] 1473*2^670243-1 is not prime. Res64: BC70E3072340A9FA Time : 698.0 sec. user=vaughan [2010-02-27 15:09:33] 1483*2^670243-1 is not prime. Res64: E584280DBDA613C5 Time : 698.0 sec. user=vaughan [2010-02-27 15:13:04] 1519*2^670243-1 is not prime. Res64: 4249ED2E7F4DA9AA Time : 783.0 sec. user=vaughan [2010-02-27 15:15:48] 1531*2^670243-1 is not prime. Res64: DF9B4DC5C0F3D21A Time : 784.0 sec. user=vaughan [2010-02-27 15:16:31] 1539*2^670243-1 is not prime. Res64: DDF863971A83EE95 Time : 697.0 sec. user=vaughan [2010-02-27 15:21:05] 1573*2^670243-1 is not prime. Res64: 2F2C5311556E7241 Time : 692.0 sec. user=vaughan [2010-02-27 15:27:41] 1629*2^670243-1 is not prime. Res64: C43FF6210BCDD3A5 Time : 878.0 sec. user=vaughan [2010-02-27 15:29:14] 1725*2^670243-1 is not prime. Res64: 2E8079117C21DDBB Time : 763.0 sec. user=vaughan [2010-02-27 15:30:24] 1675*2^670243-1 is not prime. Res64: 0401D84AD8B8A114 Time : 876.0 sec. user=vaughan [2010-02-27 15:33:39] 1795*2^670243-1 is not prime. Res64: 54972594A786F42B Time : 755.0 sec. user=vaughan [2010-02-27 15:40:42] 1879*2^670243-1 is not prime. Res64: FE9B57E2AA625530 Time : 781.0 sec. user=vaughan [2010-02-27 15:40:51] 1905*2^670243-1 is not prime. Res64: EBF4E30C615B0A0E Time : 698.0 sec. user=vaughan [2010-02-27 15:43:28] 1909*2^670243-1 is not prime. Res64: AB8394A390A61E57 Time : 785.0 sec. user=vaughan [2010-02-27 15:45:25] 1911*2^670243-1 is not prime. Res64: 4D97C8A0A42EEB42 Time : 707.0 sec. user=vaughan [2010-02-27 15:52:36] 1629*2^670244-1 is not prime. Res64: 9EC495DDEDEEA277 Time : 705.0 sec. user=vaughan [2010-02-27 15:53:56] 1981*2^670243-1 is not prime. Res64: 6DAC6F674327FE6C Time : 794.0 sec. user=vaughan [2010-02-27 15:56:39] 1643*2^670244-1 is not prime. Res64: 20D42CAAF32325F2 Time : 791.0 sec. user=vaughan [2010-02-27 15:56:56] 1673*2^670244-1 is not prime. Res64: AF081A66EAB36243 Time : 691.0 sec. user=vaughan [2010-02-27 16:04:10] 1677*2^670244-1 is not prime. Res64: 0E082368E11B653A Time : 695.0 sec. user=vaughan [2010-02-27 16:09:03] 1713*2^670244-1 is not prime. Res64: 9D60BBAA336773B8 Time : 907.0 sec. user=vaughan [2010-02-27 16:10:02] 1817*2^670244-1 is not prime. Res64: D7E0EF16EC628909 Time : 786.0 sec. user=vaughan [2010-02-27 16:12:16] 1739*2^670244-1 is not prime. Res64: 9252F636F50D15F9 Time : 937.0 sec. user=vaughan [2010-02-27 16:17:34] 1895*2^670244-1 is not prime. Res64: 3630A34A1171664E Time : 804.0 sec. user=vaughan [2010-02-27 16:21:50] 1435*2^670245-1 is not prime. Res64: B55919833431230D Time : 709.0 sec. user=vaughan [2010-02-27 16:22:30] 1417*2^670245-1 is not prime. Res64: 037379D421602B0F Time : 807.0 sec. user=vaughan [2010-02-27 16:25:15] 1479*2^670245-1 is not prime. Res64: A2BD56C5B41A7BEA Time : 780.0 sec. user=vaughan [2010-02-27 16:29:10] 1689*2^670245-1 is not prime. Res64: E0A8D26AAC643F9B Time : 696.0 sec. user=vaughan [2010-02-27 16:33:21] 1777*2^670245-1 is not prime. Res64: 5115864ACEBCA173 Time : 691.0 sec. user=vaughan [2010-02-27 16:35:31] 1785*2^670245-1 is not prime. Res64: BD61353F0F750145 Time : 782.0 sec. user=vaughan [2010-02-27 16:38:15] 1831*2^670245-1 is not prime. Res64: 164CA4628D4E1188 Time : 781.0 sec. user=vaughan [2010-02-27 16:40:51] 1857*2^670245-1 is not prime. Res64: 41F0A6C9CB0FEA88 Time : 701.0 sec. user=vaughan [2010-02-27 16:44:59] 1951*2^670245-1 is not prime. Res64: 570CD218A0014A31 Time : 698.0 sec. user=vaughan [2010-02-27 16:48:45] 1403*2^670246-1 is not prime. Res64: F62763F80B824157 Time : 794.0 sec. user=vaughan [2010-02-27 16:51:36] 1427*2^670246-1 is not prime. Res64: 9538B0EAE1F64819 Time : 802.0 sec. user=vaughan [2010-02-27 16:52:50] 1437*2^670246-1 is not prime. Res64: D0F20C6D0C6DA1F1 Time : 720.0 sec. user=vaughan [2010-02-27 16:56:45] 1443*2^670246-1 is not prime. Res64: 6167675236F616C0 Time : 707.0 sec. user=vaughan [2010-02-27 17:01:58] 1491*2^670246-1 is not prime. Res64: A8CEBAFB244D8A0B Time : 793.0 sec. user=vaughan [2010-02-27 17:04:24] 1613*2^670246-1 is not prime. Res64: 55E0BBAF65E68E09 Time : 695.0 sec. user=vaughan [2010-02-27 17:04:36] 1547*2^670246-1 is not prime. Res64: 3D2013283A04623E Time : 781.0 sec. user=vaughan [2010-02-27 17:08:36] 1703*2^670246-1 is not prime. Res64: 42857B2E632CFB77 Time : 711.0 sec. user=vaughan [2010-02-27 17:15:38] 1731*2^670246-1 is not prime. Res64: 1A3A303BE02B650D Time : 820.0 sec. user=vaughan [2010-02-27 17:16:23] 1841*2^670246-1 is not prime. Res64: 9F26622D379C7413 Time : 720.0 sec. user=vaughan [2010-02-27 17:18:14] 1937*2^670246-1 is not prime. Res64: C598B5E61FF8A2E5 Time : 818.0 sec. user=vaughan [2010-02-27 17:20:20] 1947*2^670246-1 is not prime. Res64: E16F415721C0E1BC Time : 704.0 sec. user=vaughan [2010-02-27 17:28:09] 1609*2^670247-1 is not prime. Res64: 7779F0A1079B5FBB Time : 706.0 sec. user=vaughan [2010-02-27 17:28:54] 1977*2^670246-1 is not prime. Res64: 52DCDEE89D3B6CDF Time : 796.0 sec. user=vaughan [2010-02-27 17:31:52] 1671*2^670247-1 is not prime. Res64: 886097204A746087 Time : 818.0 sec. user=vaughan [2010-02-27 17:32:23] 1791*2^670247-1 is not prime. Res64: EA0C38064C7D7312 Time : 724.0 sec. user=vaughan [2010-02-27 17:40:00] 1795*2^670247-1 is not prime. Res64: 8F2EFB773894EA31 Time : 711.0 sec. user=vaughan [2010-02-27 17:42:15] 1981*2^670247-1 is not prime. Res64: 9A5BF0D099B000B6 Time : 801.0 sec. user=vaughan [2010-02-27 17:43:56] 1995*2^670247-1 is not prime. Res64: 2145BF485AA3BDA6 Time : 694.0 sec. user=vaughan [2010-02-27 17:44:54] 1989*2^670247-1 is not prime. Res64: 79EFC5D0BABFFC31 Time : 783.0 sec. user=vaughan [2010-02-27 17:51:37] 1479*2^670248-1 is not prime. Res64: 0539084E0B5EA142 Time : 697.0 sec. user=vaughan [2010-02-27 17:55:07] 1493*2^670248-1 is not prime. Res64: B6C26B94B7271502 Time : 772.0 sec. user=vaughan [2010-02-27 17:55:29] 1503*2^670248-1 is not prime. Res64: AFCB1589C41B6599 Time : 693.0 sec. user=vaughan [2010-02-27 17:57:46] 1563*2^670248-1 is not prime. Res64: D1E092E7101F686D Time : 773.0 sec. user=vaughan [2010-02-27 18:03:18] 1593*2^670248-1 is not prime. Res64: E293BF04F0C2B1CA Time : 702.0 sec. user=vaughan [2010-02-27 18:07:20] 1739*2^670248-1 is not prime. Res64: CE01A31667E1E82E Time : 711.0 sec. user=vaughan [2010-02-27 18:08:16] 1719*2^670248-1 is not prime. Res64: 0631EC7D19C38A8C Time : 789.0 sec. user=vaughan [2010-02-27 18:11:06] 1755*2^670248-1 is not prime. Res64: DE17A73B2CC44338 Time : 801.0 sec. user=vaughan [2010-02-27 18:15:03] 1763*2^670248-1 is not prime. Res64: 99AB8FCA42DF85C4 Time : 706.0 sec. user=vaughan [2010-02-27 18:19:10] 1785*2^670248-1 is not prime. Res64: 9A37F02E87E583FF Time : 711.0 sec. user=vaughan [2010-02-27 18:21:37] 1845*2^670248-1 is not prime. Res64: 5556A109DAC4FF29 Time : 801.0 sec. user=vaughan [2010-02-27 18:24:13] 1869*2^670248-1 is not prime. Res64: 977E7EBD8CCF8279 Time : 788.0 sec. user=vaughan [2010-02-27 18:26:39] 1887*2^670248-1 is not prime. Res64: FD7B1B358AE9A681 Time : 697.0 sec. user=vaughan [2010-02-27 18:30:49] 1893*2^670248-1 is not prime. Res64: 6834225132C70432 Time : 699.0 sec. user=vaughan [2010-02-27 18:34:42] 1955*2^670248-1 is not prime. Res64: 3E74F175D4B9871A Time : 785.0 sec. user=vaughan [2010-02-27 18:37:16] 1455*2^670249-1 is not prime. Res64: ABE63CEB64293BA4 Time : 783.0 sec. user=vaughan [2010-02-27 18:38:13] 1491*2^670249-1 is not prime. Res64: 1B3F6517900D7654 Time : 694.0 sec. user=vaughan [2010-02-27 18:42:25] 1519*2^670249-1 is not prime. Res64: 03140E0B3E6F59C0 Time : 696.0 sec. user=vaughan [2010-02-27 18:47:39] 1525*2^670249-1 is not prime. Res64: 040DE18E99E5FC0C Time : 778.0 sec. user=vaughan [2010-02-27 18:49:49] 1569*2^670249-1 is not prime. Res64: D5D9E73D0E309C9D Time : 697.0 sec. user=vaughan [2010-02-27 18:50:17] 1561*2^670249-1 is not prime. Res64: D2401B1CC0BC4770 Time : 781.0 sec. user=vaughan [2010-02-27 18:53:59] 1627*2^670249-1 is not prime. Res64: 61DF939DF0879F48 Time : 695.0 sec. user=vaughan [2010-02-27 19:00:46] 1711*2^670249-1 is not prime. Res64: A6A77BC477015F4A Time : 787.0 sec. user=vaughan [2010-02-27 19:01:25] 1807*2^670249-1 is not prime. Res64: C9EC3D967A4F0B52 Time : 696.0 sec. user=vaughan [2010-02-27 19:03:19] 1855*2^670249-1 is not prime. Res64: E0D3F7836F39B01E Time : 782.0 sec. user=vaughan [2010-02-27 19:05:32] 1857*2^670249-1 is not prime. Res64: A7A430C3926F820F Time : 693.0 sec. user=vaughan [2010-02-27 19:12:59] 1725*2^670250-1 is not prime. Res64: D75F43E38B6FB239 Time : 694.0 sec. user=vaughan [2010-02-27 19:13:48] 1625*2^670250-1 is not prime. Res64: 1548E20E2E56592B Time : 783.0 sec. user=vaughan [2010-02-27 19:16:21] 1727*2^670250-1 is not prime. Res64: 988F7B9AB0F78923 Time : 782.0 sec. user=vaughan [2010-02-27 19:17:08] 1483*2^670251-1 is not prime. Res64: CE3C998F93D7F1E0 Time : 697.0 sec. user=vaughan [2010-02-27 19:24:32] 1521*2^670251-1 is not prime. Res64: 87654F25CA4CC13A Time : 693.0 sec. user=vaughan [2010-02-27 19:26:46] 1585*2^670251-1 is not prime. Res64: 8F0FCCBE88B28BC8 Time : 779.0 sec. user=vaughan [2010-02-27 19:28:42] 1813*2^670251-1 is not prime. Res64: 8A83CD3E74F743B1 Time : 694.0 sec. user=vaughan [2010-02-27 19:29:20] 1731*2^670251-1 is not prime. Res64: D7EEFDD674389D9D Time : 779.0 sec. user=vaughan [2010-02-27 19:36:05] 1815*2^670251-1 is not prime. Res64: 1C8113F9758C4F02 Time : 693.0 sec. user=vaughan [2010-02-27 19:39:44] 1921*2^670251-1 is not prime. Res64: 0520E06FD1B61469 Time : 778.0 sec. user=vaughan [2010-02-27 19:40:14] 1935*2^670251-1 is not prime. Res64: 2C87D073FEB8B9E4 Time : 692.0 sec. user=vaughan [2010-02-27 19:42:18] 1963*2^670251-1 is not prime. Res64: EDDA180E372755BD Time : 779.0 sec. user=vaughan [2010-02-27 19:47:33] 1999*2^670251-1 is not prime. Res64: 01AEFA22949C14BF Time : 688.0 sec. user=vaughan [2010-02-27 19:51:38] 1539*2^670252-1 is not prime. Res64: C0E93B1D1475B204 Time : 684.0 sec. user=vaughan [2010-02-27 19:52:37] 1463*2^670252-1 is not prime. Res64: 48F80C5B913462C2 Time : 773.0 sec. user=vaughan [2010-02-27 19:55:13] 1547*2^670252-1 is not prime. Res64: 76F8F6D8159B10FF Time : 776.0 sec. user=vaughan [2010-02-27 19:59:05] 1695*2^670252-1 is not prime. Res64: 6319698DAF014931 Time : 692.0 sec. user=vaughan [2010-02-27 20:03:21] 1787*2^670252-1 is not prime. Res64: 54E1791E16EF5C3A Time : 703.0 sec. user=vaughan [2010-02-27 20:14:02] 1425*2^670253-1 is not prime. Res64: 594BA69BAB5B40D2 Time : 897.0 sec. user=vaughan [2010-02-27 20:14:05] 1965*2^670252-1 is not prime. Res64: 837FC29D022D7929 Time : 1288.0 sec. user=vaughan [2010-02-27 20:14:29] 1407*2^670253-1 is not prime. Res64: B5D8AE2DC3CCE61F Time : 1156.0 sec. user=vaughan [2010-02-27 20:14:44] 1435*2^670253-1 is not prime. Res64: DF8DFB0EC6CFB21E Time : 683.0 sec. user=vaughan [2010-02-27 20:25:40] 1527*2^670253-1 is not prime. Res64: A81692C9A0DE4208 Time : 699.0 sec. user=vaughan [2010-02-27 20:26:16] 1627*2^670253-1 is not prime. Res64: E551A9AC772E6DBB Time : 694.0 sec. user=vaughan [2010-02-27 20:27:09] 1537*2^670253-1 is not prime. Res64: B27470EC1C06C79D Time : 784.0 sec. user=vaughan [2010-02-27 20:27:34] 1621*2^670253-1 is not prime. Res64: E05A56A9A36A8810 Time : 787.0 sec. user=vaughan [2010-02-27 20:37:25] 1629*2^670253-1 is not prime. Res64: 944BDA59C48E08EC Time : 706.0 sec. user=vaughan [2010-02-27 20:37:49] 1777*2^670253-1 is not prime. Res64: D5EF1DEB7DA11AB8 Time : 693.0 sec. user=vaughan [2010-02-27 20:40:18] 1795*2^670253-1 is not prime. Res64: 575F3517BF1CB538 Time : 790.0 sec. user=vaughan [2010-02-27 20:40:45] 1947*2^670253-1 is not prime. Res64: 5FA31634B51C7C5F Time : 792.0 sec. user=vaughan [2010-02-27 20:49:22] 1413*2^670254-1 is not prime. Res64: 5FA3D2AECF0D8403 Time : 693.0 sec. user=vaughan [2010-02-27 20:49:25] 1999*2^670253-1 is not prime. Res64: D356B5F92A02C20F Time : 721.0 sec. user=vaughan [2010-02-27 20:53:11] 1433*2^670254-1 is not prime. Res64: 4FBD3CD854809BE9 Time : 775.0 sec. user=vaughan [2010-02-27 20:53:42] 1451*2^670254-1 is not prime. Res64: 4E70A35684624F9D Time : 779.0 sec. user=vaughan [2010-02-27 22:27:49] 1661*2^670254-1 is not prime. Res64: 825D1A74D490373F Time : 5649.0 sec. user=vaughan [2010-02-27 22:27:50] 1545*2^670254-1 is not prime. Res64: 8A78FF47637A9338 Time : 5910.0 sec. user=vaughan [2010-02-27 22:27:50] 1503*2^670254-1 is not prime. Res64: 8F1E06766EA88AB8 Time : 5907.0 sec. user=vaughan [2010-02-27 22:27:50] 1631*2^670254-1 is not prime. Res64: 1FE54572D28915FF Time : 5679.0 sec. user=vaughan [2010-02-27 22:41:25] 1941*2^670254-1 is not prime. Res64: 9ACCB6C58A769217 Time : 694.0 sec. user=vaughan [2010-02-27 22:41:26] 1881*2^670254-1 is not prime. Res64: 04D96DCA2F654007 Time : 695.0 sec. user=vaughan [2010-02-27 22:43:04] 1931*2^670254-1 is not prime. Res64: B7A776BA8080C99B Time : 793.0 sec. user=vaughan [2010-02-27 22:43:04] 1785*2^670254-1 is not prime. Res64: B052C0F081842041 Time : 794.0 sec. user=vaughan [2010-02-27 22:53:11] 1977*2^670254-1 is not prime. Res64: 662363371B1C090A Time : 708.0 sec. user=vaughan [2010-02-27 22:53:20] 1983*2^670254-1 is not prime. Res64: 61598413BDA8678A Time : 715.0 sec. user=vaughan [2010-02-27 22:56:58] 1461*2^670255-1 is not prime. Res64: E4A95587A9D01BB8 Time : 835.0 sec. user=vaughan [2010-02-27 22:57:00] 1443*2^670255-1 is not prime. Res64: A0BE30E267F3CC70 Time : 837.0 sec. user=vaughan [2010-02-27 23:05:46] 1483*2^670255-1 is not prime. Res64: CB94B61EFCA380C6 Time : 755.0 sec. user=vaughan [2010-02-27 23:06:48] 1485*2^670255-1 is not prime. Res64: 615CDE73AFF8715A Time : 809.0 sec. user=vaughan [2010-02-27 23:12:25] 1503*2^670255-1 is not prime. Res64: F00606029E410618 Time : 927.0 sec. user=vaughan [2010-02-27 23:12:31] 1519*2^670255-1 is not prime. Res64: 37B3901A6C274C7D Time : 931.0 sec. user=vaughan [2010-02-27 23:18:57] 1581*2^670255-1 is not prime. Res64: A28F246953736806 Time : 791.0 sec. user=vaughan [2010-02-27 23:20:43] 1603*2^670255-1 is not prime. Res64: 7294899BF079B165 Time : 836.0 sec. user=vaughan [2010-02-27 23:27:18] 1623*2^670255-1 is not prime. Res64: E56F663D80DAF6AA Time : 893.0 sec. user=vaughan [2010-02-27 23:27:23] 1629*2^670255-1 is not prime. Res64: C045FF3BF3725E44 Time : 892.0 sec. user=vaughan [2010-02-27 23:30:24] 1741*2^670255-1 is not prime. Res64: 6BE170906AC7609F Time : 688.0 sec. user=vaughan [2010-02-27 23:31:57] 1791*2^670255-1 is not prime. Res64: C431EA8208A98F72 Time : 676.0 sec. user=vaughan [2010-02-27 23:40:09] 1851*2^670255-1 is not prime. Res64: ECB3642944BDF618 Time : 772.0 sec. user=vaughan [2010-02-27 23:40:17] 1879*2^670255-1 is not prime. Res64: D1BB6212ECFE079F Time : 775.0 sec. user=vaughan [2010-02-27 23:41:44] 1903*2^670255-1 is not prime. Res64: 0F217D5AE459E912 Time : 681.0 sec. user=vaughan [2010-02-27 23:43:17] 1905*2^670255-1 is not prime. Res64: 6FD0AC999FB6A75C Time : 680.0 sec. user=vaughan [2010-02-27 23:53:04] 1993*2^670255-1 is not prime. Res64: 3C1BF4E6AF28087C Time : 775.0 sec. user=vaughan [2010-02-27 23:53:09] 1427*2^670256-1 is not prime. Res64: 72706BCF8B8F32E0 Time : 686.0 sec. user=vaughan [2010-02-27 23:53:13] 1415*2^670256-1 is not prime. Res64: C9A9213045C6FA32 Time : 776.0 sec. user=vaughan [2010-02-27 23:54:41] 1515*2^670256-1 is not prime. Res64: 907FB0DD7D663433 Time : 684.0 sec.