user=vaughan [2010-03-02 00:04:53] 1645*2^670343-1 is not prime. Res64: 9A44855E49A2DB48 Time : 715.0 sec. user=vaughan [2010-03-02 00:07:50] 1779*2^670343-1 is not prime. Res64: C9D2906C95EDA855 Time : 704.0 sec. user=vaughan [2010-03-02 00:12:15] 1825*2^670343-1 is not prime. Res64: DFA8A273D8AABB3F Time : 850.0 sec. user=vaughan [2010-03-02 00:13:02] 1845*2^670343-1 is not prime. Res64: 20BDE653A69B25EB Time : 859.0 sec. user=vaughan [2010-03-02 00:19:21] 1863*2^670343-1 is not prime. Res64: CF69AD4ECAF38F14 Time : 868.0 sec. user=vaughan [2010-03-02 00:21:01] 1893*2^670343-1 is not prime. Res64: 90C4022D403F3590 Time : 792.0 sec. user=vaughan [2010-03-02 00:26:52] 1989*2^670343-1 is not prime. Res64: 5A3321EC2777C29A Time : 878.0 sec. user=vaughan [2010-03-02 00:27:29] 1445*2^670344-1 is not prime. Res64: FD3E05B75F9C0886 Time : 867.0 sec. user=vaughan [2010-03-02 00:30:57] 1515*2^670344-1 is not prime. Res64: 036D132C620C1ED3 Time : 696.0 sec. user=vaughan [2010-03-02 00:32:37] 1545*2^670344-1 is not prime. Res64: 9E8B8B824AC58C15 Time : 697.0 sec. user=vaughan [2010-03-02 00:40:00] 1559*2^670344-1 is not prime. Res64: 1EA3F6BD9DABBB3F Time : 788.0 sec. user=vaughan [2010-03-02 00:40:37] 1595*2^670344-1 is not prime. Res64: 13BBADB1ABA636E5 Time : 789.0 sec. user=vaughan [2010-03-02 00:42:46] 1619*2^670344-1 is not prime. Res64: F1EBC6B0673511E9 Time : 709.0 sec. user=vaughan [2010-03-02 00:44:20] 1697*2^670344-1 is not prime. Res64: 328E1C89A5F4EAB2 Time : 704.0 sec. user=vaughan [2010-03-02 00:53:31] 1809*2^670344-1 is not prime. Res64: 37794D150D892F70 Time : 811.0 sec. user=vaughan [2010-03-02 00:54:05] 1817*2^670344-1 is not prime. Res64: 0AC9F72ED098B0BA Time : 808.0 sec. user=vaughan [2010-03-02 00:54:42] 1555*2^670345-1 is not prime. Res64: 09B961FE416E75FB Time : 716.0 sec. user=vaughan [2010-03-02 00:56:09] 1587*2^670345-1 is not prime. Res64: D1630BD015511222 Time : 710.0 sec. user=vaughan [2010-03-02 01:06:36] 1779*2^670345-1 is not prime. Res64: 732FD9E78EB00429 Time : 715.0 sec. user=vaughan [2010-03-02 01:06:45] 1617*2^670345-1 is not prime. Res64: 05BEF59B702879EB Time : 794.0 sec. user=vaughan [2010-03-02 01:07:22] 1765*2^670345-1 is not prime. Res64: 3981B7D379ABE7DE Time : 798.0 sec. user=vaughan [2010-03-02 01:07:57] 1815*2^670345-1 is not prime. Res64: B4F7FFD563975E14 Time : 708.0 sec. user=vaughan [2010-03-02 01:21:13] 1921*2^670345-1 is not prime. Res64: B009774BC63D8908 Time : 796.0 sec. user=vaughan [2010-03-02 01:21:18] 1875*2^670345-1 is not prime. Res64: 9ACB12E50CAF128B Time : 882.0 sec. user=vaughan [2010-03-02 01:22:54] 1909*2^670345-1 is not prime. Res64: 2C7FA5D4D69420DC Time : 969.0 sec. user=vaughan [2010-03-02 01:23:25] 1917*2^670345-1 is not prime. Res64: AAB654617A7EEE8F Time : 963.0 sec. user=vaughan [2010-03-02 01:33:08] 1691*2^670346-1 is not prime. Res64: BD2D0B18801E0C98 Time : 711.0 sec. user=vaughan [2010-03-02 01:33:10] 1445*2^670346-1 is not prime. Res64: AD4CFE9F5FF9DDC8 Time : 718.0 sec. user=vaughan [2010-03-02 01:36:11] 1707*2^670346-1 is not prime. Res64: 884E7170EA23F60A Time : 797.0 sec. user=vaughan [2010-03-02 01:36:40] 1737*2^670346-1 is not prime. Res64: 684A5BCB900334FD Time : 795.0 sec. user=vaughan [2010-03-02 01:44:50] 1751*2^670346-1 is not prime. Res64: 2A977D38423D21C8 Time : 703.0 sec. user=vaughan [2010-03-02 01:44:59] 1797*2^670346-1 is not prime. Res64: FF28B7D9F54CFC48 Time : 709.0 sec. user=vaughan [2010-03-02 01:49:12] 1877*2^670346-1 is not prime. Res64: BD05FCAF383E7D5C Time : 781.0 sec. user=vaughan [2010-03-02 01:49:40] 1961*2^670346-1 is not prime. Res64: CBDD853A7389C8E6 Time : 781.0 sec. user=vaughan [2010-03-02 01:56:24] 1995*2^670346-1 is not prime. Res64: 67036D04817D4073 Time : 695.0 sec. user=vaughan [2010-03-02 01:56:38] 1441*2^670347-1 is not prime. Res64: 0AAA9C7BB7F207CB Time : 699.0 sec. user=vaughan [2010-03-02 02:02:12] 1483*2^670347-1 is not prime. Res64: 6C2AE4D37133BF71 Time : 780.0 sec. user=vaughan [2010-03-02 02:02:39] 1489*2^670347-1 is not prime. Res64: CB166C6BA48F019B Time : 779.0 sec. user=vaughan [2010-03-02 02:08:04] 1599*2^670347-1 is not prime. Res64: EB210EF054F6CE70 Time : 700.0 sec. user=vaughan [2010-03-02 02:08:20] 1615*2^670347-1 is not prime. Res64: ED879C5CF31F9567 Time : 702.0 sec. user=vaughan [2010-03-02 02:15:08] 1665*2^670347-1 is not prime. Res64: 9F18B8A8EE59A97B Time : 776.0 sec. user=vaughan [2010-03-02 02:15:39] 1675*2^670347-1 is not prime. Res64: AED1A054EE12DB32 Time : 780.0 sec. user=vaughan [2010-03-02 02:19:47] 1731*2^670347-1 is not prime. Res64: 0E1FB1D86D84FCE9 Time : 703.0 sec. user=vaughan [2010-03-02 02:20:02] 1743*2^670347-1 is not prime. Res64: C397B1DF3085A30C Time : 703.0 sec. user=vaughan [2010-03-02 02:28:23] 1951*2^670347-1 is not prime. Res64: 44D2B1DF7E61A550 Time : 795.0 sec. user=vaughan [2010-03-02 02:28:48] 1959*2^670347-1 is not prime. Res64: D3F51390CA495C43 Time : 790.0 sec. user=vaughan [2010-03-02 02:31:33] 1963*2^670347-1 is not prime. Res64: A801765F7A98830E Time : 707.0 sec. user=vaughan [2010-03-02 02:31:47] 1965*2^670347-1 is not prime. Res64: 230A12371CF28DA8 Time : 706.0 sec. user=vaughan [2010-03-02 02:41:40] 1409*2^670348-1 is not prime. Res64: 55B543B4A759DAA7 Time : 798.0 sec. user=vaughan [2010-03-02 02:42:07] 1485*2^670348-1 is not prime. Res64: DF3E92FC7BE264CE Time : 799.0 sec. user=vaughan [2010-03-02 02:43:15] 1515*2^670348-1 is not prime. Res64: 0B61122E54F0A126 Time : 702.0 sec. user=vaughan [2010-03-02 02:43:28] 1589*2^670348-1 is not prime. Res64: 2B4B0E13B723D1AA Time : 702.0 sec. user=vaughan [2010-03-02 02:54:13] 1617*2^670348-1 is not prime. Res64: 6CB29D7A0D8C5E98 Time : 753.0 sec. user=vaughan [2010-03-02 02:54:37] 1653*2^670348-1 is not prime. Res64: E9D4EB36F1215166 Time : 750.0 sec. user=vaughan [2010-03-02 02:54:45] 1689*2^670348-1 is not prime. Res64: 921775728F595847 Time : 690.0 sec. user=vaughan [2010-03-02 02:54:57] 1695*2^670348-1 is not prime. Res64: 6FF736844407E289 Time : 690.0 sec. user=vaughan [2010-03-02 03:06:24] 1745*2^670348-1 is not prime. Res64: 769B0DF66DBBF5E7 Time : 699.0 sec. user=vaughan [2010-03-02 03:06:45] 1793*2^670348-1 is not prime. Res64: AD2B38DDCF26E4B7 Time : 709.0 sec. user=vaughan [2010-03-02 03:07:17] 1715*2^670348-1 is not prime. Res64: E6F76CEDD1C5F05D Time : 785.0 sec. user=vaughan [2010-03-02 03:07:38] 1737*2^670348-1 is not prime. Res64: B5869A76C061098B Time : 782.0 sec. user=vaughan [2010-03-02 03:17:54] 1899*2^670348-1 is not prime. Res64: B84A8B54DCD6BBD6 Time : 691.0 sec. user=vaughan [2010-03-02 03:18:22] 1925*2^670348-1 is not prime. Res64: 6093F8A3C485958B Time : 698.0 sec. user=vaughan [2010-03-02 03:20:10] 1983*2^670348-1 is not prime. Res64: 004E8E70C631D128 Time : 775.0 sec. user=vaughan [2010-03-02 03:20:36] 1411*2^670349-1 is not prime. Res64: 100F53D729F0F22F Time : 779.0 sec. user=vaughan [2010-03-02 03:29:37] 1585*2^670349-1 is not prime. Res64: 02DCC97394E248DE Time : 704.0 sec. user=vaughan [2010-03-02 03:30:12] 1609*2^670349-1 is not prime. Res64: 0B96D9E35E49099B Time : 710.0 sec. user=vaughan [2010-03-02 03:33:20] 1617*2^670349-1 is not prime. Res64: ED12BB5F90D163FD Time : 790.0 sec. user=vaughan [2010-03-02 03:33:46] 1635*2^670349-1 is not prime. Res64: FD68D569C323164C Time : 790.0 sec. user=vaughan [2010-03-02 03:41:27] 1651*2^670349-1 is not prime. Res64: CDA4551AF66F2623 Time : 710.0 sec. user=vaughan [2010-03-02 03:41:57] 1681*2^670349-1 is not prime. Res64: 8D8F08EBD7E8B569 Time : 705.0 sec. user=vaughan [2010-03-02 03:46:21] 1737*2^670349-1 is not prime. Res64: 860422731855880F Time : 781.0 sec. user=vaughan [2010-03-02 03:46:45] 1777*2^670349-1 is not prime. Res64: 2BF366E9DD956C42 Time : 779.0 sec. user=vaughan [2010-03-02 03:53:13] 1797*2^670349-1 is not prime. Res64: A4C4C25562E24AE5 Time : 707.0 sec. user=vaughan [2010-03-02 03:53:52] 1851*2^670349-1 is not prime. Res64: C8DAE5657DB6460E Time : 715.0 sec. user=vaughan [2010-03-02 03:59:35] 1947*2^670349-1 is not prime. Res64: C3204F779184A6AB Time : 794.0 sec. user=vaughan [2010-03-02 03:59:54] 1461*2^670350-1 is not prime. Res64: B8EC0C382B167FF3 Time : 789.0 sec. user=vaughan [2010-03-02 04:05:00] 1491*2^670350-1 is not prime. Res64: 0419A1DB953E2653 Time : 707.0 sec. user=vaughan [2010-03-02 04:05:41] 1545*2^670350-1 is not prime. Res64: E55D6CC51147717D Time : 709.0 sec. user=vaughan [2010-03-02 04:13:31] 1553*2^670350-1 is not prime. Res64: 8A5BED9CE80A1568 Time : 836.0 sec. user=vaughan [2010-03-02 04:14:11] 1587*2^670350-1 is not prime. Res64: 0C5C5D57764C5756 Time : 857.0 sec. user=vaughan [2010-03-02 04:19:08] 1593*2^670350-1 is not prime. Res64: 4C972BF4D7E78E5D Time : 848.0 sec. user=vaughan [2010-03-02 04:19:47] 1595*2^670350-1 is not prime. Res64: A97B3C5D774E1241 Time : 846.0 sec. user=vaughan [2010-03-02 04:29:47] 1647*2^670350-1 is not prime. Res64: 86005E5AB74473FB Time : 976.0 sec. user=vaughan [2010-03-02 04:30:09] 1685*2^670350-1 is not prime. Res64: DB08BE2A76432A8A Time : 959.0 sec. user=vaughan [2010-03-02 04:31:42] 1697*2^670350-1 is not prime. Res64: D15A2874D8D4CC3E Time : 754.0 sec. user=vaughan [2010-03-02 04:31:58] 1701*2^670350-1 is not prime. Res64: 9A173D026C5EDA73 Time : 731.0 sec. user=vaughan [2010-03-02 04:40:47] 1703*2^670350-1 is not prime. Res64: 11E8A4055FF16CDC Time : 660.0 sec. user=vaughan [2010-03-02 04:41:09] 1725*2^670350-1 is not prime. Res64: 7BF49E98B28F21CB Time : 660.0 sec. user=vaughan [2010-03-02 04:42:27] 1405*2^670351-1 is not prime. Res64: EC213659497929F8 Time : 646.0 sec. user=vaughan [2010-03-02 04:42:40] 1471*2^670351-1 is not prime. Res64: BDA7A561249CD60F Time : 644.0 sec. user=vaughan [2010-03-02 04:51:48] 1531*2^670351-1 is not prime. Res64: E568FCDE589E3AD1 Time : 661.0 sec. user=vaughan [2010-03-02 04:52:09] 1539*2^670351-1 is not prime. Res64: A9C57A6924C1489D Time : 661.0 sec. user=vaughan [2010-03-02 04:53:10] 1653*2^670351-1 is not prime. Res64: 18EDAC32C38A886D Time : 644.0 sec. user=vaughan [2010-03-02 04:53:22] 1699*2^670351-1 is not prime. Res64: DCEFFCA49ADEFD77 Time : 642.0 sec. user=vaughan [2010-03-02 05:02:48] 1861*2^670351-1 is not prime. Res64: D62CB34B4E19BE47 Time : 660.0 sec. user=vaughan [2010-03-02 05:03:09] 1903*2^670351-1 is not prime. Res64: D539842534F89013 Time : 660.0 sec. user=vaughan [2010-03-02 05:03:55] 1457*2^670352-1 is not prime. Res64: 32C9FF5E4EAF65D8 Time : 645.0 sec. user=vaughan [2010-03-02 05:04:07] 1467*2^670352-1 is not prime. Res64: 024B0E367FA525D7 Time : 645.0 sec. user=vaughan [2010-03-02 05:14:02] 1547*2^670352-1 is not prime. Res64: C8B5B19BDD897D80 Time : 675.0 sec. user=vaughan [2010-03-02 05:14:25] 1635*2^670352-1 is not prime. Res64: EA8CDC3DECF8EDCC Time : 677.0 sec. user=vaughan [2010-03-02 05:15:00] 1649*2^670352-1 is not prime. Res64: 10C76BCEDBFB77A5 Time : 665.0 sec. user=vaughan [2010-03-02 05:15:06] 1655*2^670352-1 is not prime. Res64: 9FC0F1E97769E95D Time : 659.0 sec. user=vaughan [2010-03-02 05:25:29] 1665*2^670352-1 is not prime. Res64: 0539789A320227A4 Time : 687.0 sec. user=vaughan [2010-03-02 05:25:51] 1683*2^670352-1 is not prime. Res64: 6C857C5D9A34D1BF Time : 686.0 sec. user=vaughan [2010-03-02 05:26:05] 1749*2^670352-1 is not prime. Res64: F998213BF3998886 Time : 659.0 sec. user=vaughan [2010-03-02 05:26:09] 1739*2^670352-1 is not prime. Res64: 87E10C5895C76AD9 Time : 670.0 sec. user=vaughan [2010-03-02 05:36:30] 1799*2^670352-1 is not prime. Res64: AB5DDFEE8AB5D5CE Time : 662.0 sec. user=vaughan [2010-03-02 05:36:50] 1893*2^670352-1 is not prime. Res64: 79C83C9625C7A20A Time : 646.0 sec. user=vaughan [2010-03-02 05:36:53] 1887*2^670352-1 is not prime. Res64: 86FBACA5745F0920 Time : 662.0 sec. user=vaughan [2010-03-02 05:36:57] 1907*2^670352-1 is not prime. Res64: 52B82E5E2AB1B7A2 Time : 648.0 sec. user=vaughan [2010-03-02 05:47:32] 1407*2^670353-1 is not prime. Res64: 3C97DF8DEECDD296 Time : 662.0 sec. user=vaughan [2010-03-02 05:47:34] 1417*2^670353-1 is not prime. Res64: 871142AEE9C748DB Time : 645.0 sec. user=vaughan [2010-03-02 05:47:43] 1449*2^670353-1 is not prime. Res64: EDE42660838DB90B Time : 647.0 sec. user=vaughan [2010-03-02 05:47:56] 1447*2^670353-1 is not prime. Res64: 0DF25E2FC51E2ED0 Time : 663.0 sec. user=vaughan [2010-03-02 05:58:19] 1519*2^670353-1 is not prime. Res64: 82A7EFE7D8006097 Time : 645.0 sec. user=vaughan [2010-03-02 05:58:29] 1557*2^670353-1 is not prime. Res64: CC6277745CA4380B Time : 646.0 sec. user=vaughan [2010-03-02 05:58:33] 1497*2^670353-1 is not prime. Res64: 64664B54F8EE8A59 Time : 662.0 sec. user=vaughan [2010-03-02 05:58:58] 1609*2^670353-1 is not prime. Res64: 85394407A4F4EEDB Time : 663.0 sec. user=vaughan [2010-03-02 06:09:05] 1627*2^670353-1 is not prime. Res64: B3957DCCE25595F0 Time : 646.0 sec. user=vaughan [2010-03-02 06:09:17] 1705*2^670353-1 is not prime. Res64: 735960EBA8D6F745 Time : 648.0 sec. user=vaughan [2010-03-02 06:09:35] 1755*2^670353-1 is not prime. Res64: 5DBBD92756580166 Time : 662.0 sec. user=vaughan [2010-03-02 06:10:00] 1857*2^670353-1 is not prime. Res64: 093DE2F7545CF16F Time : 662.0 sec. user=vaughan [2010-03-02 06:19:51] 1999*2^670353-1 is not prime. Res64: AFA0BCDD9659C5D4 Time : 647.0 sec. user=vaughan [2010-03-02 06:20:06] 1443*2^670354-1 is not prime. Res64: F6FC1ACBD064B89C Time : 650.0 sec. user=vaughan [2010-03-02 06:20:37] 1541*2^670354-1 is not prime. Res64: AABAFAC65ED83A95 Time : 663.0 sec. user=vaughan [2010-03-02 06:21:04] 1547*2^670354-1 is not prime. Res64: 7B13CA5EBC04D3CD Time : 664.0 sec. user=vaughan [2010-03-02 06:30:36] 1617*2^670354-1 is not prime. Res64: 66BCC6D225917B0A Time : 645.0 sec. user=vaughan [2010-03-02 06:30:53] 1647*2^670354-1 is not prime. Res64: 4CEE5777E0C0A666 Time : 648.0 sec. user=vaughan [2010-03-02 06:31:39] 1697*2^670354-1 is not prime. Res64: 3982F9E62C4BD2BC Time : 662.0 sec. user=vaughan [2010-03-02 06:32:07] 1787*2^670354-1 is not prime. Res64: 8D1E1DF44773D5DB Time : 663.0 sec. user=vaughan [2010-03-02 06:41:21] 1821*2^670354-1 is not prime. Res64: 943DFD8C4C2DA4B4 Time : 645.0 sec. user=vaughan [2010-03-02 06:41:39] 1823*2^670354-1 is not prime. Res64: CB8868FA3CBDCC3F Time : 646.0 sec. user=vaughan [2010-03-02 06:42:44] 1841*2^670354-1 is not prime. Res64: B2EDFB00CC203A4E Time : 666.0 sec. user=vaughan [2010-03-02 06:43:09] 1865*2^670354-1 is not prime. Res64: 78DCD88B07A7867C Time : 663.0 sec. user=vaughan [2010-03-02 06:52:06] 1411*2^670355-1 is not prime. Res64: E98F9896B0E539CC Time : 646.0 sec. user=vaughan [2010-03-02 06:52:25] 1435*2^670355-1 is not prime. Res64: 563916F1E6558B4F Time : 646.0 sec. user=vaughan [2010-03-02 06:53:45] 1491*2^670355-1 is not prime. Res64: 57FFCAF12E612968 Time : 662.0 sec. user=vaughan [2010-03-02 06:54:10] 1509*2^670355-1 is not prime. Res64: 897DE96E238F012A Time : 661.0 sec. user=vaughan [2010-03-02 07:02:51] 1609*2^670355-1 is not prime. Res64: 88CCBC32F606A4CA Time : 645.0 sec. user=vaughan [2010-03-02 07:03:11] 1701*2^670355-1 is not prime. Res64: F0430D99D115B0FB Time : 646.0 sec. user=vaughan [2010-03-02 07:04:55] 1831*2^670355-1 is not prime. Res64: CE192AE286EB6B62 Time : 670.0 sec. user=vaughan [2010-03-02 07:05:16] 1863*2^670355-1 is not prime. Res64: A90027D435E94250 Time : 666.0 sec. user=vaughan [2010-03-02 07:14:07] 1879*2^670355-1 is not prime. Res64: A25EAF9352623FE7 Time : 676.0 sec. user=vaughan [2010-03-02 07:14:38] 1993*2^670355-1 is not prime. Res64: D8E3FD4A6879E869 Time : 687.0 sec. user=vaughan [2010-03-02 07:16:55] 1463*2^670356-1 is not prime. Res64: B96CE13BDBE7599C Time : 720.0 sec. user=vaughan [2010-03-02 07:17:25] 1475*2^670356-1 is not prime. Res64: B84C97DE7A66AA42 Time : 730.0 sec. user=vaughan [2010-03-02 07:25:38] 1503*2^670356-1 is not prime. Res64: 65C54EAACF207CFA Time : 691.0 sec. user=vaughan [2010-03-02 07:26:39] 1617*2^670356-1 is not prime. Res64: 27138213F47CD035 Time : 721.0 sec. user=vaughan [2010-03-02 07:29:07] 1643*2^670356-1 is not prime. Res64: E45F8EF08F49B30C Time : 732.0 sec. user=vaughan [2010-03-02 07:29:28] 1685*2^670356-1 is not prime. Res64: 45306B257F3D97CA Time : 723.0 sec. user=vaughan [2010-03-02 07:36:54] 1719*2^670356-1 is not prime. Res64: F1B0807CDDFC7E82 Time : 676.0 sec. user=vaughan [2010-03-02 07:37:59] 1725*2^670356-1 is not prime. Res64: AED013DB81D9DDB6 Time : 680.0 sec. user=vaughan [2010-03-02 07:41:58] 1775*2^670356-1 is not prime. Res64: 314F7E06831F0E56 Time : 771.0 sec. user=vaughan [2010-03-02 07:42:23] 1859*2^670356-1 is not prime. Res64: EF693785FBBCB538 Time : 775.0 sec. user=vaughan [2010-03-02 07:48:53] 1895*2^670356-1 is not prime. Res64: 0B1844F2C423ED57 Time : 720.0 sec. user=vaughan [2010-03-02 07:50:00] 1923*2^670356-1 is not prime. Res64: 32A65283739C0205 Time : 722.0 sec. user=vaughan [2010-03-02 07:55:08] 1979*2^670356-1 is not prime. Res64: AC1E561EBDD010CA Time : 790.0 sec. user=vaughan [2010-03-02 07:55:37] 1997*2^670356-1 is not prime. Res64: 8C29B37A38FF180B Time : 795.0 sec. user=vaughan [2010-03-02 08:00:51] 1407*2^670357-1 is not prime. Res64: DB841E841073ECD2 Time : 718.0 sec. user=vaughan [2010-03-02 08:01:51] 1417*2^670357-1 is not prime. Res64: EE14B64069BFC466 Time : 711.0 sec. user=vaughan [2010-03-02 08:08:18] 1461*2^670357-1 is not prime. Res64: 74F1F78AC5EC73E4 Time : 790.0 sec. user=vaughan [2010-03-02 08:08:48] 1561*2^670357-1 is not prime. Res64: 207F653DE8C9F84A Time : 792.0 sec. user=vaughan [2010-03-02 08:12:41] 1585*2^670357-1 is not prime. Res64: 627FF061B76E697B Time : 710.0 sec. user=vaughan [2010-03-02 08:13:36] 1687*2^670357-1 is not prime. Res64: 4601B746763FACEA Time : 705.0 sec. user=vaughan [2010-03-02 08:21:17] 1755*2^670357-1 is not prime. Res64: 0BA7EBED918431B5 Time : 779.0 sec. user=vaughan [2010-03-02 08:21:46] 1921*2^670357-1 is not prime. Res64: 6C51B1EB62C3CC1B Time : 778.0 sec. user=vaughan [2010-03-02 08:24:23] 1433*2^670358-1 is not prime. Res64: EA69F29193D12313 Time : 702.0 sec. user=vaughan [2010-03-02 08:25:10] 1655*2^670358-1 is not prime. Res64: F5B23063251D43AF Time : 695.0 sec. user=vaughan [2010-03-02 08:34:25] 1725*2^670358-1 is not prime. Res64: B7BA2B2A2A3A58A1 Time : 788.0 sec. user=vaughan [2010-03-02 08:34:55] 1743*2^670358-1 is not prime. Res64: A7579D7A3C30DB21 Time : 789.0 sec. user=vaughan [2010-03-02 08:36:23] 1763*2^670358-1 is not prime. Res64: 647A03DBE8346A0F Time : 720.0 sec. user=vaughan [2010-03-02 08:37:01] 1781*2^670358-1 is not prime. Res64: 57DCBEEBFFE563E8 Time : 711.0 sec. user=vaughan [2010-03-02 08:47:26] 1853*2^670358-1 is not prime. Res64: 5B78C0EEDA2A7DC9 Time : 781.0 sec. user=vaughan [2010-03-02 08:47:55] 1991*2^670358-1 is not prime. Res64: 52E8C091170EAF1F Time : 780.0 sec. user=vaughan [2010-03-02 08:48:11] 1453*2^670359-1 is not prime. Res64: F25E4A27F1A28261 Time : 709.0 sec. user=vaughan [2010-03-02 08:48:41] 1525*2^670359-1 is not prime. Res64: 5E08BCB0CCE92E41 Time : 701.0 sec. user=vaughan [2010-03-02 09:00:17] 1705*2^670359-1 is not prime. Res64: 3014D34E7F674BBA Time : 727.0 sec. user=vaughan [2010-03-02 09:00:49] 1713*2^670359-1 is not prime. Res64: 6AB404A6E9F96430 Time : 728.0 sec. user=vaughan [2010-03-02 09:00:51] 1561*2^670359-1 is not prime. Res64: C1D403E92F01430F Time : 805.0 sec. user=vaughan [2010-03-02 09:01:22] 1701*2^670359-1 is not prime. Res64: 9372A3ED5846132F Time : 807.0 sec. user=vaughan [2010-03-02 09:12:21] 1735*2^670359-1 is not prime. Res64: 50973AE7C8D70FE8 Time : 724.0 sec. user=vaughan [2010-03-02 09:12:49] 1953*2^670359-1 is not prime. Res64: A758D189487EDBB9 Time : 720.0 sec. user=vaughan [2010-03-02 09:14:09] 1959*2^670359-1 is not prime. Res64: EB4B32F2D0E68E41 Time : 799.0 sec. user=vaughan [2010-03-02 09:14:34] 1965*2^670359-1 is not prime. Res64: 79EDAAF9E21C8F9D Time : 792.0 sec. user=vaughan [2010-03-02 09:24:08] 1415*2^670360-1 is not prime. Res64: 5A7E97711944D605 Time : 708.0 sec. user=vaughan [2010-03-02 09:24:23] 1527*2^670360-1 is not prime. Res64: CB7EF47600975DE8 Time : 694.0 sec. user=vaughan [2010-03-02 09:27:05] 1589*2^670360-1 is not prime. Res64: 60B1A2D7B9A4508F Time : 777.0 sec. user=vaughan [2010-03-02 09:27:29] 1605*2^670360-1 is not prime. Res64: 15ECA15305635677 Time : 776.0 sec. user=vaughan [2010-03-02 09:35:51] 1665*2^670360-1 is not prime. Res64: 77051CF0FD7CF724 Time : 704.0 sec. user=vaughan [2010-03-02 09:35:59] 1685*2^670360-1 is not prime. Res64: 8E668222C775D1B2 Time : 697.0 sec. user=vaughan [2010-03-02 09:40:03] 1713*2^670360-1 is not prime. Res64: DE574E572D11F074 Time : 779.0 sec. user=vaughan [2010-03-02 09:40:27] 1809*2^670360-1 is not prime. Res64: 80D93057247B29E7 Time : 778.0 sec. user=vaughan [2010-03-02 09:47:33] 1835*2^670360-1 is not prime. Res64: ECABF08CCBD76F19 Time : 703.0 sec. user=vaughan [2010-03-02 09:47:40] 1863*2^670360-1 is not prime. Res64: 889E001D3B92D244 Time : 701.0 sec. user=vaughan [2010-03-02 09:53:05] 1865*2^670360-1 is not prime. Res64: CE15DF71D980546C Time : 783.0 sec. user=vaughan [2010-03-02 09:53:30] 1869*2^670360-1 is not prime. Res64: 0E689485950FF8BE Time : 783.0 sec. user=vaughan [2010-03-02 09:59:31] 1949*2^670360-1 is not prime. Res64: 7F653CEC555684DB Time : 711.0 sec. user=vaughan [2010-03-02 09:59:33] 1899*2^670360-1 is not prime. Res64: A1DC1587DABE260D Time : 720.0 sec. user=vaughan [2010-03-02 10:06:09] 1431*2^670361-1 is not prime. Res64: DD6EE672BDD68951 Time : 784.0 sec. user=vaughan [2010-03-02 10:06:34] 1527*2^670361-1 is not prime. Res64: 94A0CF307527811E Time : 784.0 sec. user=vaughan [2010-03-02 10:11:13] 1617*2^670361-1 is not prime. Res64: 2120BB11ED4D06DF Time : 702.0 sec. user=vaughan [2010-03-02 10:11:15] 1867*2^670361-1 is not prime. Res64: B2B56060219917C0 Time : 702.0 sec. user=vaughan [2010-03-02 10:19:06] 1875*2^670361-1 is not prime. Res64: C60DA73317780A7F Time : 778.0 sec. user=vaughan [2010-03-02 10:19:30] 1881*2^670361-1 is not prime. Res64: 54493C6E596499D6 Time : 776.0 sec. user=vaughan [2010-03-02 10:22:59] 1951*2^670361-1 is not prime. Res64: 6FC86B153B69420A Time : 706.0 sec. user=vaughan [2010-03-02 10:23:04] 1431*2^670362-1 is not prime. Res64: 01FA5298C094D0D9 Time : 709.0 sec. user=vaughan [2010-03-02 10:32:11] 1445*2^670362-1 is not prime. Res64: C51B057A70F16A0E Time : 786.0 sec. user=vaughan [2010-03-02 10:32:32] 1497*2^670362-1 is not prime. Res64: 61960EF75E57EEEB Time : 782.0 sec. user=vaughan [2010-03-02 10:34:41] 1503*2^670362-1 is not prime. Res64: 8DADB62892E2AAA0 Time : 702.0 sec. user=vaughan [2010-03-02 10:34:48] 1641*2^670362-1 is not prime. Res64: 16A231C66A925D3E Time : 704.0 sec. user=vaughan [2010-03-02 10:45:23] 1685*2^670362-1 is not prime. Res64: 1447D7CD36D970A3 Time : 792.0 sec. user=vaughan [2010-03-02 10:45:44] 1875*2^670362-1 is not prime. Res64: FBD0F7C0DD034B18 Time : 792.0 sec. user=vaughan [2010-03-02 10:46:34] 1473*2^670363-1 is not prime. Res64: 6872B989B0F088EF Time : 714.0 sec. user=vaughan [2010-03-02 10:46:51] 1485*2^670363-1 is not prime. Res64: 10D080176D6C1971 Time : 723.0 sec. user=vaughan [2010-03-02 10:59:06] 1521*2^670363-1 is not prime. Res64: 7BB08115489921A6 Time : 823.0 sec. user=vaughan [2010-03-02 10:59:06] 1563*2^670363-1 is not prime. Res64: 22D5A6265D45E9B0 Time : 752.0 sec. user=vaughan [2010-03-02 10:59:18] 1675*2^670363-1 is not prime. Res64: B4677B7B27AC9ECD Time : 748.0 sec. user=vaughan [2010-03-02 10:59:22] 1531*2^670363-1 is not prime. Res64: D743308576FFB43F Time : 819.0 sec. user=vaughan [2010-03-02 11:10:49] 1819*2^670363-1 is not prime. Res64: 528D6F0D2A721DEF Time : 703.0 sec. user=vaughan [2010-03-02 11:10:59] 1863*2^670363-1 is not prime. Res64: 33AC0E37FD863D57 Time : 703.0 sec. user=vaughan [2010-03-02 11:12:06] 1759*2^670363-1 is not prime. Res64: F49738ADA9BFEF77 Time : 780.0 sec. user=vaughan [2010-03-02 11:12:22] 1941*2^670363-1 is not prime. Res64: 0B46DF53FA3184B3 Time : 781.0 sec. user=vaughan [2010-03-02 11:22:22] 1983*2^670363-1 is not prime. Res64: 4586989CFD7A76DB Time : 693.0 sec. user=vaughan [2010-03-02 11:22:45] 1413*2^670364-1 is not prime. Res64: AC52498F7F6A04A4 Time : 706.0 sec. user=vaughan [2010-03-02 11:25:01] 1449*2^670364-1 is not prime. Res64: 1866F8C30C45EE72 Time : 775.0 sec. user=vaughan [2010-03-02 11:25:19] 1539*2^670364-1 is not prime. Res64: CFE263D9D1C9213D Time : 777.0 sec. user=vaughan [2010-03-02 11:34:13] 1607*2^670364-1 is not prime. Res64: 945C1F2A6E8442DC Time : 712.0 sec. user=vaughan [2010-03-02 11:34:44] 1757*2^670364-1 is not prime. Res64: FC1D281C9BA06649 Time : 719.0 sec. user=vaughan [2010-03-02 11:38:09] 1763*2^670364-1 is not prime. Res64: 9567C7040341B3AC Time : 788.0 sec. user=vaughan [2010-03-02 11:38:32] 1809*2^670364-1 is not prime. Res64: ECCACBEAB215918D Time : 793.0 sec. user=vaughan [2010-03-02 11:46:10] 1853*2^670364-1 is not prime. Res64: 94297CAA3877DA6F Time : 717.0 sec. user=vaughan [2010-03-02 11:46:48] 1877*2^670364-1 is not prime. Res64: 88052A22B0C1C2DE Time : 724.0 sec. user=vaughan [2010-03-02 11:51:23] 1621*2^670365-1 is not prime. Res64: D7759B9DEF003E27 Time : 794.0 sec. user=vaughan [2010-03-02 11:51:44] 1669*2^670365-1 is not prime. Res64: 478E89B5C64A8959 Time : 792.0 sec. user=vaughan [2010-03-02 11:58:00] 1687*2^670365-1 is not prime. Res64: A8F94B981A8F5162 Time : 710.0 sec. user=vaughan [2010-03-02 11:58:38] 1701*2^670365-1 is not prime. Res64: CF86A9627A086455 Time : 710.0 sec. user=vaughan [2010-03-02 12:04:17] 1755*2^670365-1 is not prime. Res64: F22AFB465701ACA0 Time : 774.0 sec. user=vaughan [2010-03-02 12:04:38] 1767*2^670365-1 is not prime. Res64: FF1F4BDF0996084E Time : 774.0 sec. user=vaughan [2010-03-02 12:09:37] 1795*2^670365-1 is not prime. Res64: 987AA9A338E0F6CA Time : 698.0 sec. user=vaughan [2010-03-02 12:10:27] 1831*2^670365-1 is not prime. Res64: 2125B97A70774204 Time : 709.0 sec. user=vaughan [2010-03-02 12:17:13] 1885*2^670365-1 is not prime. Res64: 9EC57102DF4D452B Time : 776.0 sec. user=vaughan [2010-03-02 12:17:37] 1909*2^670365-1 is not prime. Res64: 5FFFFC9396B5A324 Time : 780.0 sec. user=vaughan [2010-03-02 12:21:10] 1941*2^670365-1 is not prime. Res64: 21E569453ECBBE83 Time : 693.0 sec. user=vaughan [2010-03-02 12:22:11] 1965*2^670365-1 is not prime. Res64: 42A5DDDC0BF5C825 Time : 704.0 sec. user=vaughan [2010-03-02 12:30:07] 1999*2^670365-1 is not prime. Res64: 8814F33673C350F9 Time : 774.0 sec. user=vaughan [2010-03-02 12:30:33] 1403*2^670366-1 is not prime. Res64: C5C27BC6C917F799 Time : 777.0 sec. user=vaughan [2010-03-02 12:32:38] 1493*2^670366-1 is not prime. Res64: 0D93292CD2C59E8B Time : 689.0 sec. user=vaughan [2010-03-02 12:33:54] 1511*2^670366-1 is not prime. Res64: 32FA1DA122AB8482 Time : 703.0 sec. user=vaughan [2010-03-02 12:43:12] 1515*2^670366-1 is not prime. Res64: 8D328A9277F8756B Time : 785.0 sec. user=vaughan [2010-03-02 12:43:35] 1685*2^670366-1 is not prime. Res64: 9E825A4E6D9830AE Time : 782.0 sec. user=vaughan [2010-03-02 12:44:21] 1767*2^670366-1 is not prime. Res64: 28788FC366BA3A56 Time : 703.0 sec. user=vaughan [2010-03-02 12:45:51] 1781*2^670366-1 is not prime. Res64: 2CF5F3C9C3D6ACA6 Time : 718.0 sec. user=vaughan [2010-03-02 12:56:42] 1443*2^670367-1 is not prime. Res64: 482E5A6B88ED990C Time : 742.0 sec. user=vaughan [2010-03-02 12:56:51] 1877*2^670366-1 is not prime. Res64: 62BFAF51106CD56B Time : 819.0 sec. user=vaughan [2010-03-02 12:57:09] 1953*2^670366-1 is not prime. Res64: 9A5276212B6DD8D3 Time : 814.0 sec. user=vaughan [2010-03-02 12:58:08] 1503*2^670367-1 is not prime. Res64: 9F64137DEC9951B4 Time : 737.0 sec. user=vaughan [2010-03-02 13:08:28] 1539*2^670367-1 is not prime. Res64: 9325AB5F3DFF5A7C Time : 706.0 sec. user=vaughan [2010-03-02 13:09:50] 1561*2^670367-1 is not prime. Res64: C29601146D57257B Time : 780.0 sec. user=vaughan [2010-03-02 13:09:57] 1765*2^670367-1 is not prime. Res64: ACFE8299ADD34841 Time : 709.0 sec. user=vaughan [2010-03-02 13:10:16] 1623*2^670367-1 is not prime. Res64: 1E00E2D573A3661F Time : 787.0 sec. user=vaughan [2010-03-02 13:20:13] 1803*2^670367-1 is not prime. Res64: 6FFBCF144598E6DE Time : 706.0 sec. user=vaughan [2010-03-02 13:21:51] 1839*2^670367-1 is not prime. Res64: 231DCA192948DB4A Time : 714.0 sec. user=vaughan [2010-03-02 13:22:56] 1813*2^670367-1 is not prime. Res64: AA07D152EA193A9B Time : 786.0 sec. user=vaughan [2010-03-02 13:23:19] 1863*2^670367-1 is not prime. Res64: ACD7C1282EB4B060 Time : 784.0 sec. user=vaughan [2010-03-02 13:31:56] 1869*2^670367-1 is not prime. Res64: 83B517E44B3321EF Time : 703.0 sec. user=vaughan [2010-03-02 13:33:34] 1437*2^670368-1 is not prime. Res64: C1C75D67C3A69E89 Time : 703.0 sec. user=vaughan [2010-03-02 13:35:51] 1475*2^670368-1 is not prime. Res64: 7847F52F0B9E856B Time : 775.0 sec. user=vaughan [2010-03-02 13:36:14] 1479*2^670368-1 is not prime. Res64: 5729B54945C77FBD Time : 775.0 sec. user=vaughan [2010-03-02 13:43:23] 1593*2^670368-1 is not prime. Res64: E4804A602E023CD1 Time : 687.0 sec. user=vaughan [2010-03-02 13:44:55] 1605*2^670368-1 is not prime. Res64: C9008D4567272E8A Time : 681.0 sec. user=vaughan [2010-03-02 13:47:37] 1623*2^670368-1 is not prime. Res64: FB22359E6EBCA737 Time : 706.0 sec. user=vaughan [2010-03-02 13:47:58] 1673*2^670368-1 is not prime. Res64: B7E5A8FB051ECFC0 Time : 704.0 sec. user=vaughan [2010-03-02 13:54:22] 1707*2^670368-1 is not prime. Res64: 05ECC63DBB8C6342 Time : 660.0 sec. user=vaughan [2010-03-02 13:55:50] 1713*2^670368-1 is not prime. Res64: 8AF4544D0DF4BDEB Time : 655.0 sec. user=vaughan [2010-03-02 13:58:59] 1745*2^670368-1 is not prime. Res64: C22F6612E3BF0AB8 Time : 683.0 sec. user=vaughan [2010-03-02 13:59:24] 1763*2^670368-1 is not prime. Res64: 8C4BA129FB04B669 Time : 686.0 sec. user=vaughan [2010-03-02 14:05:44] 1799*2^670368-1 is not prime. Res64: ADF6122CA617D916 Time : 682.0 sec. user=vaughan [2010-03-02 14:07:23] 1809*2^670368-1 is not prime. Res64: 56DBC16EA4250530 Time : 693.0 sec. user=vaughan [2010-03-02 14:11:57] 1815*2^670368-1 is not prime. Res64: 4F5BC962D4126C14 Time : 778.0 sec. user=vaughan [2010-03-02 14:12:20] 1943*2^670368-1 is not prime. Res64: D88CDFECF361F8CF Time : 777.0 sec. user=vaughan [2010-03-02 14:17:18] 1953*2^670368-1 is not prime. Res64: D4F6903D201B60B1 Time : 695.0 sec. user=vaughan [2010-03-02 14:19:05] 1431*2^670369-1 is not prime. Res64: A0DFBD4618A84762 Time : 702.0 sec. user=vaughan [2010-03-02 14:24:53] 1479*2^670369-1 is not prime. Res64: 0845DFBA4EED0994 Time : 776.0 sec. user=vaughan [2010-03-02 14:25:19] 1519*2^670369-1 is not prime. Res64: 50DCAEEEE14B66B1 Time : 779.0 sec. user=vaughan [2010-03-02 14:28:54] 1545*2^670369-1 is not prime. Res64: D83D997C92F98F7E Time : 696.0 sec. user=vaughan [2010-03-02 14:30:55] 1611*2^670369-1 is not prime. Res64: B83D2EC1BDBA08E1 Time : 710.0 sec. user=vaughan [2010-03-02 14:38:02] 1615*2^670369-1 is not prime. Res64: B3CF11F0DC6B4FF3 Time : 789.0 sec. user=vaughan [2010-03-02 14:38:28] 1639*2^670369-1 is not prime. Res64: 34E0C9AFE11904AC Time : 790.0 sec. user=vaughan [2010-03-02 14:40:47] 1651*2^670369-1 is not prime. Res64: B0445EDEA9E79529 Time : 714.0 sec. user=vaughan [2010-03-02 14:43:01] 1701*2^670369-1 is not prime. Res64: D138215E2AB70CF0 Time : 726.0 sec. user=vaughan [2010-03-02 14:53:14] 1759*2^670369-1 is not prime. Res64: 8D17CE212E783A1E Time : 912.0 sec. user=vaughan [2010-03-02 14:53:37] 1765*2^670369-1 is not prime. Res64: A1C23748198F7E61 Time : 909.0 sec. user=vaughan [2010-03-02 14:54:12] 1785*2^670369-1 is not prime. Res64: 109EBD5A53EC7AC3 Time : 806.0 sec. user=vaughan [2010-03-02 14:55:50] 1797*2^670369-1 is not prime. Res64: 5D211556AA99414A Time : 769.0 sec. user=vaughan [2010-03-02 15:05:50] 1899*2^670369-1 is not prime. Res64: DDC8B0C07FCF0BA3 Time : 698.0 sec. user=vaughan [2010-03-02 15:06:09] 1819*2^670369-1 is not prime. Res64: 094532671CC9C19C Time : 775.0 sec. user=vaughan [2010-03-02 15:06:33] 1851*2^670369-1 is not prime. Res64: C5794B115379EED5 Time : 777.0 sec. user=vaughan [2010-03-02 15:07:34] 1917*2^670369-1 is not prime. Res64: 0A338C0B18344847 Time : 704.0 sec. user=vaughan [2010-03-02 15:17:20] 1965*2^670369-1 is not prime. Res64: DD0EBB4050170F9A Time : 690.0 sec. user=vaughan [2010-03-02 15:19:03] 1455*2^670370-1 is not prime. Res64: 4FC414572A24D428 Time : 774.0 sec. user=vaughan [2010-03-02 15:19:16] 1545*2^670370-1 is not prime. Res64: 7E359528819736EC Time : 703.0 sec. user=vaughan [2010-03-02 15:19:29] 1523*2^670370-1 is not prime. Res64: 6500C04A803FA095 Time : 776.0 sec. user=vaughan [2010-03-02 15:29:06] 1553*2^670370-1 is not prime. Res64: F092275118E66ECB Time : 706.0 sec. user=vaughan [2010-03-02 15:31:15] 1617*2^670370-1 is not prime. Res64: 74E2B8BD2E6BD12C Time : 720.0 sec. user=vaughan [2010-03-02 15:32:17] 1571*2^670370-1 is not prime. Res64: EE9FBEEC961D75C0 Time : 794.0 sec. user=vaughan [2010-03-02 15:32:38] 1643*2^670370-1 is not prime. Res64: 0968E6736AB377B8 Time : 789.0 sec. user=vaughan [2010-03-02 15:40:54] 1653*2^670370-1 is not prime. Res64: B33E9BA6A76DEEAC Time : 708.0 sec. user=vaughan [2010-03-02 15:43:21] 1665*2^670370-1 is not prime. Res64: AE667E63E0ABD7C7 Time : 727.0 sec. user=vaughan [2010-03-02 15:46:00] 1697*2^670370-1 is not prime. Res64: 3B01F6A45A089D5B Time : 824.0 sec. user=vaughan [2010-03-02 15:46:22] 1751*2^670370-1 is not prime. Res64: AE56BE3AE11E15E5 Time : 825.0 sec. user=vaughan [2010-03-02 15:53:32] 1811*2^670370-1 is not prime. Res64: 248704235ED9ABBF Time : 758.0 sec. user=vaughan [2010-03-02 15:55:53] 1845*2^670370-1 is not prime. Res64: F8AF5C7E850A21B0 Time : 753.0 sec. user=vaughan [2010-03-02 15:59:42] 1413*2^670371-1 is not prime. Res64: 491486CEAA863841 Time : 822.0 sec. user=vaughan [2010-03-02 15:59:58] 1525*2^670371-1 is not prime. Res64: 6BDA841AD39F22C7 Time : 816.0 sec. user=vaughan [2010-03-02 16:05:10] 1603*2^670371-1 is not prime. Res64: 86FB8E50F9C11C90 Time : 698.0 sec. user=vaughan [2010-03-02 16:07:34] 1605*2^670371-1 is not prime. Res64: 184F495911F33069 Time : 701.0 sec. user=vaughan [2010-03-02 16:12:47] 1609*2^670371-1 is not prime. Res64: D9FC91432D8BB9B8 Time : 786.0 sec. user=vaughan [2010-03-02 16:12:59] 1651*2^670371-1 is not prime. Res64: ABB7D6243279706C Time : 781.0 sec. user=vaughan [2010-03-02 16:17:01] 1665*2^670371-1 is not prime. Res64: 4EE25F1491CEBEB6 Time : 711.0 sec. user=vaughan [2010-03-02 16:19:33] 1771*2^670371-1 is not prime. Res64: 3F5B65FBD4399FD3 Time : 719.0 sec. user=vaughan [2010-03-02 16:26:00] 1995*2^670371-1 is not prime. Res64: 48224CFF39689B41 Time : 793.0 sec. user=vaughan [2010-03-02 16:26:13] 1463*2^670372-1 is not prime. Res64: FDC7060A2FDD7AC3 Time : 794.0 sec. user=vaughan [2010-03-02 16:28:56] 1469*2^670372-1 is not prime. Res64: 4823466AD2F176E2 Time : 715.0 sec. user=vaughan [2010-03-02 16:31:35] 1533*2^670372-1 is not prime. Res64: 35BC125015C0433C Time : 722.0 sec. user=vaughan [2010-03-02 16:39:24] 1557*2^670372-1 is not prime. Res64: A0D3E16E149BFA4C Time : 805.0 sec. user=vaughan [2010-03-02 16:39:42] 1559*2^670372-1 is not prime. Res64: 00B8CDDD996D2A97 Time : 809.0 sec. user=vaughan [2010-03-02 16:41:15] 1793*2^670372-1 is not prime. Res64: EEA7BDDE03DAAF0F Time : 739.0 sec. user=vaughan [2010-03-02 16:43:55] 1863*2^670372-1 is not prime. Res64: D798A0A196B27B22 Time : 741.0 sec. user=vaughan [2010-03-02 16:52:43] 1889*2^670372-1 is not prime. Res64: 81C4C2C8BF5DE2FD Time : 799.0 sec. user=vaughan [2010-03-02 16:53:03] 1919*2^670372-1 is not prime. Res64: B8B03C38D1FF77E6 Time : 802.0 sec. user=vaughan [2010-03-02 16:53:07] 1955*2^670372-1 is not prime. Res64: 962B47854406E146 Time : 713.0 sec. user=vaughan [2010-03-02 16:55:41] 1435*2^670373-1 is not prime. Res64: 61BCDF057D50CA08 Time : 706.0 sec. user=vaughan [2010-03-02 17:04:45] 1761*2^670373-1 is not prime. Res64: CC0A05D87AFCE81B Time : 699.0 sec. user=vaughan [2010-03-02 17:05:38] 1471*2^670373-1 is not prime. Res64: A0FE5D2DD5FC58D7 Time : 776.0 sec. user=vaughan [2010-03-02 17:06:05] 1539*2^670373-1 is not prime. Res64: 4E1AECFF7FCD00C3 Time : 782.0 sec. user=vaughan [2010-03-02 17:07:24] 1849*2^670373-1 is not prime. Res64: DED6DCEE90E58B6F Time : 704.0 sec. user=vaughan [2010-03-02 17:16:28] 1875*2^670373-1 is not prime. Res64: 7124C457BA0A8DF4 Time : 703.0 sec. user=vaughan [2010-03-02 17:18:38] 1915*2^670373-1 is not prime. Res64: B1CECC79C6272073 Time : 780.0 sec. user=vaughan [2010-03-02 17:19:09] 1917*2^670373-1 is not prime. Res64: 1F388CF828389F5B Time : 784.0 sec. user=vaughan [2010-03-02 17:19:16] 1431*2^670374-1 is not prime. Res64: 4D8D922441B397FC Time : 712.0 sec. user=vaughan [2010-03-02 17:28:36] 1475*2^670374-1 is not prime. Res64: C63F4A9F1CB71F5D Time : 728.0 sec. user=vaughan [2010-03-02 17:31:22] 1851*2^670374-1 is not prime. Res64: 820653FEB0E2597D Time : 726.0 sec. user=vaughan [2010-03-02 17:31:52] 1763*2^670374-1 is not prime. Res64: 7D4E2D9EF91E518A Time : 795.0 sec. user=vaughan [2010-03-02 17:32:19] 1781*2^670374-1 is not prime. Res64: A84A14FC2BD3804E Time : 791.0 sec. user=vaughan [2010-03-02 17:40:29] 1895*2^670374-1 is not prime. Res64: 0A333276E38F1DC9 Time : 714.0 sec. user=vaughan [2010-03-02 17:43:16] 1937*2^670374-1 is not prime. Res64: DD1D1777B6109ECE Time : 714.0 sec. user=vaughan [2010-03-02 17:44:59] 1983*2^670374-1 is not prime. Res64: DE3323687AD28373 Time : 788.0 sec. user=vaughan [2010-03-02 17:45:27] 1431*2^670375-1 is not prime. Res64: 70E0E2778416D8E4 Time : 788.0 sec. user=vaughan [2010-03-02 17:52:02] 1441*2^670375-1 is not prime. Res64: 35C7950A56915813 Time : 694.0 sec. user=vaughan [2010-03-02 17:54:56] 1459*2^670375-1 is not prime. Res64: 9A5918114CA40E6C Time : 700.0 sec. user=vaughan [2010-03-02 17:57:54] 1485*2^670375-1 is not prime. Res64: B67423605EC38722 Time : 775.0 sec. user=vaughan [2010-03-02 17:58:23] 1603*2^670375-1 is not prime. Res64: 505408AED624BD2E Time : 777.0 sec. user=vaughan [2010-03-02 18:03:42] 1681*2^670375-1 is not prime. Res64: E6F101FBE9E1F09E Time : 700.0 sec. user=vaughan [2010-03-02 18:06:42] 1699*2^670375-1 is not prime. Res64: 8C20C3B8B0F1CD77 Time : 706.0 sec. user=vaughan [2010-03-02 18:10:53] 1711*2^670375-1 is not prime. Res64: 288B00320096A7C9 Time : 780.0 sec. user=vaughan [2010-03-02 18:11:24] 1755*2^670375-1 is not prime. Res64: B2CEEC69429C4923 Time : 781.0 sec. user=vaughan [2010-03-02 18:15:26] 1875*2^670375-1 is not prime. Res64: 9EC662A0345B3F3B Time : 705.0 sec. user=vaughan [2010-03-02 18:18:37] 1879*2^670375-1 is not prime. Res64: 20BD9D1C0D57E9E1 Time : 715.0 sec. user=vaughan [2010-03-02 18:24:01] 1885*2^670375-1 is not prime. Res64: 44CEB4015460E8F9 Time : 789.0 sec. user=vaughan [2010-03-02 18:24:32] 1933*2^670375-1 is not prime. Res64: 4E30E68CB5211F31 Time : 788.0 sec. user=vaughan [2010-03-02 18:27:06] 1939*2^670375-1 is not prime. Res64: 59A57817EB1A54F1 Time : 701.0 sec. user=vaughan [2010-03-02 18:30:30] 1963*2^670375-1 is not prime. Res64: 52AB2F0B32C20374 Time : 713.0 sec. user=vaughan [2010-03-02 18:37:23] 1981*2^670375-1 is not prime. Res64: 02EB7778DE5A16DF Time : 803.0 sec. user=vaughan [2010-03-02 18:37:58] 1989*2^670375-1 is not prime. Res64: E75BE3ECCE7F9345 Time : 806.0 sec. user=vaughan [2010-03-02 18:39:15] 1425*2^670376-1 is not prime. Res64: 30589785B6C42D95 Time : 729.0 sec. user=vaughan [2010-03-02 18:42:42] 1427*2^670376-1 is not prime. Res64: D1590FF4B90E3D56 Time : 733.0 sec. user=vaughan [2010-03-02 18:50:27] 1517*2^670376-1 is not prime. Res64: C8C4F21E665087A2 Time : 784.0 sec. user=vaughan [2010-03-02 18:50:56] 1725*2^670376-1 is not prime. Res64: 84C82B1E2E02FB30 Time : 701.0 sec. user=vaughan [2010-03-02 18:51:01] 1559*2^670376-1 is not prime. Res64: 8D8EEABD3258F709 Time : 784.0 sec. user=vaughan [2010-03-02 18:54:26] 1763*2^670376-1 is not prime. Res64: C8740EA5801F8AC2 Time : 705.0 sec. user=vaughan [2010-03-02 19:02:30] 1925*2^670376-1 is not prime. Res64: 2B6DBE635E569460 Time : 695.0 sec. user=vaughan [2010-03-02 19:03:22] 1895*2^670376-1 is not prime. Res64: 64161B2565DDDDA5 Time : 775.0 sec. user=vaughan [2010-03-02 19:04:00] 1937*2^670376-1 is not prime. Res64: 241D5A7A9CA4BA53 Time : 779.0 sec. user=vaughan [2010-03-02 19:06:10] 1491*2^670377-1 is not prime. Res64: 34497006A0B02503 Time : 704.0 sec. user=vaughan [2010-03-02 19:14:19] 1495*2^670377-1 is not prime. Res64: F1D7B1386A98ADC0 Time : 709.0 sec. user=vaughan [2010-03-02 19:16:34] 1497*2^670377-1 is not prime. Res64: 96C846812D96F0E2 Time : 792.0 sec. user=vaughan [2010-03-02 19:17:13] 1615*2^670377-1 is not prime. Res64: 6AE122EC2B839911 Time : 794.0 sec. user=vaughan [2010-03-02 19:18:09] 1617*2^670377-1 is not prime. Res64: AEFD6B50D6ABA994 Time : 720.0 sec. user=vaughan [2010-03-02 19:26:01] 1671*2^670377-1 is not prime. Res64: A6E3811F7D146A5B Time : 703.0 sec. user=vaughan [2010-03-02 19:29:32] 1705*2^670377-1 is not prime. Res64: 95B98A13815B0426 Time : 778.0 sec. user=vaughan [2010-03-02 19:29:49] 1719*2^670377-1 is not prime. Res64: 22CA83B769A1DED8 Time : 700.0 sec. user=vaughan [2010-03-02 19:30:10] 1717*2^670377-1 is not prime. Res64: 737BA73F09762ABC Time : 778.0 sec. user=vaughan [2010-03-02 19:37:42] 1767*2^670377-1 is not prime. Res64: DE1F3B531C272C2C Time : 701.0 sec. user=vaughan [2010-03-02 19:41:42] 1941*2^670377-1 is not prime. Res64: 2FB5330BF893EF0D Time : 713.0 sec. user=vaughan [2010-03-02 19:42:37] 1887*2^670377-1 is not prime. Res64: 9DACB22803198F48 Time : 786.0 sec. user=vaughan [2010-03-02 19:43:18] 1415*2^670378-1 is not prime. Res64: 1069760C5678A073 Time : 788.0 sec. user=vaughan [2010-03-02 19:49:31] 1437*2^670378-1 is not prime. Res64: 5BE83153655346C9 Time : 710.0 sec. user=vaughan [2010-03-02 19:53:47] 1455*2^670378-1 is not prime. Res64: D91B455FFDFBD502 Time : 725.0 sec. user=vaughan [2010-03-02 19:55:50] 1515*2^670378-1 is not prime. Res64: 71623106558F100C Time : 793.0 sec. user=vaughan [2010-03-02 19:56:27] 1661*2^670378-1 is not prime. Res64: ED210D1697733F43 Time : 789.0 sec. user=vaughan [2010-03-02 20:01:22] 1745*2^670378-1 is not prime. Res64: 6F5DDC82A7D15380 Time : 711.0 sec. user=vaughan [2010-03-02 20:05:41] 1763*2^670378-1 is not prime. Res64: A73A2841FFFF5268 Time : 714.0 sec. user=vaughan [2010-03-02 20:08:52] 1805*2^670378-1 is not prime. Res64: 6F7C51B63ACF04A1 Time : 782.0 sec. user=vaughan [2010-03-02 20:09:28] 1827*2^670378-1 is not prime. Res64: 39EE06195548B68F Time : 781.0 sec. user=vaughan [2010-03-02 20:12:52] 1853*2^670378-1 is not prime. Res64: 40AF6766CA935075 Time : 690.0 sec. user=vaughan [2010-03-02 20:17:19] 1877*2^670378-1 is not prime. Res64: E10ABA123E792A09 Time : 699.0 sec. user=vaughan [2010-03-02 20:21:50] 1961*2^670378-1 is not prime. Res64: 2B29C4AAA02A3719 Time : 779.0 sec. user=vaughan [2010-03-02 20:22:28] 1977*2^670378-1 is not prime. Res64: 871296AB9118F159 Time : 780.0 sec. user=vaughan [2010-03-02 20:24:27] 1441*2^670379-1 is not prime. Res64: 444A8E1756E6AE2B Time : 696.0 sec. user=vaughan [2010-03-02 20:29:27] 1513*2^670379-1 is not prime. Res64: FB070AC3807A767C Time : 728.0 sec. user=vaughan [2010-03-02 20:35:26] 1539*2^670379-1 is not prime. Res64: 8E20CD7765AE5389 Time : 816.0 sec. user=vaughan [2010-03-02 20:36:11] 1593*2^670379-1 is not prime. Res64: 1082CD1AF59D8D3C Time : 823.0 sec. user=vaughan [2010-03-02 20:36:58] 1659*2^670379-1 is not prime. Res64: 4CFEDA5D6D18733F Time : 751.0 sec. user=vaughan [2010-03-02 20:41:35] 1819*2^670379-1 is not prime. Res64: 68176A90A42F7124 Time : 728.0 sec. user=vaughan [2010-03-02 20:48:23] 1845*2^670379-1 is not prime. Res64: 17034812FF267A9A Time : 777.0 sec. user=vaughan [2010-03-02 20:48:46] 1945*2^670379-1 is not prime. Res64: 1C7D2726A858F63C Time : 709.0 sec. user=vaughan [2010-03-02 20:49:16] 1869*2^670379-1 is not prime. Res64: 55709DE3D5217C58 Time : 785.0 sec. user=vaughan [2010-03-02 20:53:22] 1989*2^670379-1 is not prime. Res64: E0F54F63CEF1A7DC Time : 707.0 sec. user=vaughan [2010-03-02 21:00:31] 1479*2^670380-1 is not prime. Res64: DDF9CBEA22A51472 Time : 706.0 sec. user=vaughan [2010-03-02 21:01:27] 1407*2^670380-1 is not prime. Res64: 6CDF8A659DF9A8A3 Time : 784.0 sec. user=vaughan [2010-03-02 21:02:26] 1505*2^670380-1 is not prime. Res64: CC9D0F1FB01D004C Time : 790.0 sec. user=vaughan [2010-03-02 21:05:18] 1523*2^670380-1 is not prime. Res64: E7827020751FDD58 Time : 717.0 sec. user=vaughan [2010-03-02 21:12:24] 1643*2^670380-1 is not prime. Res64: 0762D3CAD7E4CFB7 Time : 713.0 sec. user=vaughan [2010-03-02 21:14:32] 1719*2^670380-1 is not prime. Res64: 9E53E8E63227913E Time : 785.0 sec. user=vaughan [2010-03-02 21:15:36] 1829*2^670380-1 is not prime. Res64: 361182F5B1869515 Time : 791.0 sec. user=vaughan [2010-03-02 21:17:19] 1845*2^670380-1 is not prime. Res64: 39CA54F01996D060 Time : 721.0 sec. user=vaughan [2010-03-02 21:24:16] 1875*2^670380-1 is not prime. Res64: 0228F461F381F91D Time : 713.0 sec. user=vaughan [2010-03-02 21:27:38] 1883*2^670380-1 is not prime. Res64: CD6D58E5284D96FF Time : 786.0 sec. user=vaughan [2010-03-02 21:28:45] 1935*2^670380-1 is not prime. Res64: 5133E4162BEA27D3 Time : 789.0 sec. user=vaughan [2010-03-02 21:29:10] 1997*2^670380-1 is not prime. Res64: 6B1A0BB195C21656 Time : 711.0 sec. user=vaughan [2010-03-02 21:35:59] 1479*2^670381-1 is not prime. Res64: 299FEAEF9705B09C Time : 703.0 sec. user=vaughan [2010-03-02 21:40:42] 1519*2^670381-1 is not prime. Res64: B1B594D9412F5BF0 Time : 784.0 sec. user=vaughan [2010-03-02 21:41:07] 1581*2^670381-1 is not prime. Res64: 80F1B8C6DD64AAFE Time : 717.0 sec. user=vaughan [2010-03-02 21:41:45] 1575*2^670381-1 is not prime. Res64: 5CACA408A3681EC7 Time : 781.0 sec. user=vaughan [2010-03-02 21:47:51] 1717*2^670381-1 is not prime. Res64: 5290AC0FB4110F9A Time : 713.0 sec. user=vaughan [2010-03-02 21:53:02] 1819*2^670381-1 is not prime. Res64: DD39F400E4097BBD Time : 716.0 sec. user=vaughan [2010-03-02 21:53:45] 1809*2^670381-1 is not prime. Res64: 6D18A040D15F0B11 Time : 784.0 sec. user=vaughan [2010-03-02 21:54:54] 1941*2^670381-1 is not prime. Res64: 01AC7F55E310E6DB Time : 790.0 sec. user=vaughan [2010-03-02 21:59:27] 1995*2^670381-1 is not prime. Res64: 881C25872645EF67 Time : 696.0 sec. user=vaughan [2010-03-02 22:04:52] 1421*2^670382-1 is not prime. Res64: 79DF8C502A58B6FB Time : 710.0 sec. user=vaughan [2010-03-02 22:06:47] 1515*2^670382-1 is not prime. Res64: 11B5EDC8AA5509AB Time : 782.0 sec. user=vaughan [2010-03-02 22:07:56] 1607*2^670382-1 is not prime. Res64: B931020B6A14CBA7 Time : 783.0 sec. user=vaughan [2010-03-02 22:11:11] 1611*2^670382-1 is not prime. Res64: A14ED2259D29BDC8 Time : 705.0 sec. user=vaughan [2010-03-02 22:16:48] 1667*2^670382-1 is not prime. Res64: F7909FF9335991A4 Time : 716.0 sec. user=vaughan [2010-03-02 22:20:03] 1673*2^670382-1 is not prime. Res64: D737D744322B91C7 Time : 796.0 sec. user=vaughan [2010-03-02 22:21:14] 1707*2^670382-1 is not prime. Res64: A12044E5CE7A9B33 Time : 798.0 sec. user=vaughan [2010-03-02 22:23:10] 1743*2^670382-1 is not prime. Res64: 565657E7E1806ABF Time : 719.0 sec. user=vaughan [2010-03-02 22:29:02] 1833*2^670382-1 is not prime. Res64: 291C6D234DF380F4 Time : 734.0 sec. user=vaughan [2010-03-02 22:33:18] 1853*2^670382-1 is not prime. Res64: EC92776C1F4115E8 Time : 795.0 sec. user=vaughan [2010-03-02 22:34:31] 1877*2^670382-1 is not prime. Res64: C945E4AE06CB2DDD Time : 797.0 sec. user=vaughan [2010-03-02 22:35:01] 1883*2^670382-1 is not prime. Res64: E35128558103A7E9 Time : 712.0 sec. user=vaughan [2010-03-02 22:40:47] 1887*2^670382-1 is not prime. Res64: 6BD91F6ECBE30C84 Time : 706.0 sec. user=vaughan [2010-03-02 22:46:17] 1953*2^670382-1 is not prime. Res64: A3E09492DFE9D76D Time : 780.0 sec. user=vaughan [2010-03-02 22:46:34] 1441*2^670383-1 is not prime. Res64: F151F618BED0FEBA Time : 694.0 sec. user=vaughan [2010-03-02 22:47:24] 1431*2^670383-1 is not prime. Res64: 47BC03D06B23EF41 Time : 774.0 sec. user=vaughan [2010-03-02 22:52:28] 1473*2^670383-1 is not prime. Res64: 767BA762FB990654 Time : 702.0 sec. user=vaughan [2010-03-02 22:58:40] 1573*2^670383-1 is not prime. Res64: 11DB2B56884DF579 Time : 726.0 sec. user=vaughan [2010-03-02 23:00:06] 1561*2^670383-1 is not prime. Res64: F06BFF35C186B68B Time : 829.0 sec. user=vaughan [2010-03-02 23:01:29] 1683*2^670383-1 is not prime. Res64: 937D32FE8CFD7F78 Time : 846.0 sec. user=vaughan [2010-03-02 23:05:11] 1869*2^670383-1 is not prime. Res64: 03F2C251BA7F2ABD Time : 763.0 sec. user=vaughan [2010-03-02 23:10:44] 1885*2^670383-1 is not prime. Res64: 97B14515DA9B9CC3 Time : 724.0 sec. user=vaughan [2010-03-02 23:13:31] 1539*2^670384-1 is not prime. Res64: 618B2C79D209B67F Time : 805.0 sec. user=vaughan [2010-03-02 23:14:39] 1575*2^670384-1 is not prime. Res64: 37FE315D7A435E91 Time : 790.0 sec. user=vaughan [2010-03-02 23:16:56] 1613*2^670384-1 is not prime. Res64: DB8A552BEEB046AE Time : 707.0 sec. user=vaughan [2010-03-02 23:22:35] 1623*2^670384-1 is not prime. Res64: 1DDB169ABBB68F8A Time : 711.0 sec. user=vaughan [2010-03-02 23:26:40] 1713*2^670384-1 is not prime. Res64: 94D46C4CF4CFD5C4 Time : 789.0 sec. user=vaughan [2010-03-02 23:27:45] 1737*2^670384-1 is not prime. Res64: 2AC42D7D490A5A7C Time : 787.0 sec. user=vaughan [2010-03-02 23:28:45] 1877*2^670384-1 is not prime. Res64: D333BE77534096FB Time : 710.0 sec. user=vaughan [2010-03-02 23:34:20] 1555*2^670385-1 is not prime. Res64: 6609221BC1B15C87 Time : 706.0 sec. user=vaughan [2010-03-02 23:39:50] 1585*2^670385-1 is not prime. Res64: 8735849E8FA2525F Time : 791.0 sec. user=vaughan [2010-03-02 23:40:45] 1849*2^670385-1 is not prime. Res64: 1C03D121229EEF0B Time : 720.0 sec. user=vaughan [2010-03-02 23:40:58] 1659*2^670385-1 is not prime. Res64: 6107A102CC84605A Time : 793.0 sec. user=vaughan [2010-03-02 23:46:05] 1915*2^670385-1 is not prime. Res64: 032B43CC4F2932BA Time : 705.0 sec. user=vaughan [2010-03-02 23:52:35] 1515*2^670386-1 is not prime. Res64: B706FE70D35A180A Time : 710.0 sec. user=vaughan [2010-03-02 23:52:50] 1437*2^670386-1 is not prime. Res64: CD5D25157A594693 Time : 781.0 sec. user=vaughan [2010-03-02 23:53:58] 1557*2^670386-1 is not prime. Res64: 6AB40335BE538694 Time : 781.0 sec. user=vaughan [2010-03-02 23:57:37] 1563*2^670386-1 is not prime. Res64: 9728154D0756A243 Time : 692.0 sec.