user=vaughan [2010-02-24 00:01:50] 1593*2^670128-1 is not prime. Res64: F6401FB27C5F47E8 Time : 711.0 sec. user=vaughan [2010-02-24 00:10:23] 1605*2^670128-1 is not prime. Res64: 51ABD605A53F7B56 Time : 696.0 sec. user=vaughan [2010-02-24 00:12:00] 1629*2^670128-1 is not prime. Res64: 945C4AAE9DCA3603 Time : 779.0 sec. user=vaughan [2010-02-24 00:13:27] 1739*2^670128-1 is not prime. Res64: 6ED8CC561490EC8A Time : 697.0 sec. user=vaughan [2010-02-24 00:13:28] 1725*2^670128-1 is not prime. Res64: A5358624E780BF78 Time : 782.0 sec. user=vaughan [2010-02-24 00:22:02] 1823*2^670128-1 is not prime. Res64: 77F02D1EFE39F0FF Time : 699.0 sec. user=vaughan [2010-02-24 00:25:08] 1883*2^670128-1 is not prime. Res64: 1D764670C816D8BD Time : 701.0 sec. user=vaughan [2010-02-24 00:25:16] 1857*2^670128-1 is not prime. Res64: EE0C1BC64948BF42 Time : 796.0 sec. user=vaughan [2010-02-24 00:26:50] 1955*2^670128-1 is not prime. Res64: 8E91942043B6C66F Time : 802.0 sec. user=vaughan [2010-02-24 00:34:22] 1959*2^670128-1 is not prime. Res64: 95D717AE2A1DFBF2 Time : 740.0 sec. user=vaughan [2010-02-24 00:37:01] 1965*2^670128-1 is not prime. Res64: 59E0DB3E0A466AF0 Time : 714.0 sec. user=vaughan [2010-02-24 00:38:34] 1585*2^670129-1 is not prime. Res64: 36D4169409904226 Time : 798.0 sec. user=vaughan [2010-02-24 00:40:06] 1615*2^670129-1 is not prime. Res64: C1F6DBF943818277 Time : 796.0 sec. user=vaughan [2010-02-24 00:47:12] 1629*2^670129-1 is not prime. Res64: 66EF71F2BFE80009 Time : 770.0 sec. user=vaughan [2010-02-24 00:49:23] 1765*2^670129-1 is not prime. Res64: D6CF9E88B081BB39 Time : 742.0 sec. user=vaughan [2010-02-24 00:51:12] 1785*2^670129-1 is not prime. Res64: 94A8E36C9BFC7F2F Time : 758.0 sec. user=vaughan [2010-02-24 00:53:51] 1791*2^670129-1 is not prime. Res64: B9083F15F07ED62B Time : 825.0 sec. user=vaughan [2010-02-24 00:59:14] 1809*2^670129-1 is not prime. Res64: 3D4964C0340E816F Time : 722.0 sec. user=vaughan [2010-02-24 01:01:38] 1881*2^670129-1 is not prime. Res64: D8FC910B27130614 Time : 735.0 sec. user=vaughan [2010-02-24 01:04:04] 1885*2^670129-1 is not prime. Res64: 15D4C27EBB1D1805 Time : 772.0 sec. user=vaughan [2010-02-24 01:06:42] 1921*2^670129-1 is not prime. Res64: 75DFAB3F111D7484 Time : 771.0 sec. user=vaughan [2010-02-24 01:16:36] 1517*2^670130-1 is not prime. Res64: 86387C818FC4512E Time : 752.0 sec. user=vaughan [2010-02-24 01:16:43] 1965*2^670129-1 is not prime. Res64: 45E1227231ECAE18 Time : 1050.0 sec. user=vaughan [2010-02-24 01:19:20] 1403*2^670130-1 is not prime. Res64: E1826449D47049E1 Time : 1062.0 sec. user=vaughan [2010-02-24 01:20:34] 1587*2^670130-1 is not prime. Res64: 662D70933F3BCECE Time : 832.0 sec. user=vaughan [2010-02-24 01:27:48] 1667*2^670130-1 is not prime. Res64: 72920D1A2BAF0EFF Time : 673.0 sec. user=vaughan [2010-02-24 01:27:50] 1707*2^670130-1 is not prime. Res64: 436913B743A1D952 Time : 668.0 sec. user=vaughan [2010-02-24 01:33:06] 1763*2^670130-1 is not prime. Res64: 0355224F015F0781 Time : 744.0 sec. user=vaughan [2010-02-24 01:39:30] 1887*2^670130-1 is not prime. Res64: F6C7A4DCEA8FE30D Time : 700.0 sec. user=vaughan [2010-02-24 01:41:01] 1811*2^670130-1 is not prime. Res64: 26E459CBDED0B8D7 Time : 841.0 sec. user=vaughan [2010-02-24 01:46:22] 1935*2^670130-1 is not prime. Res64: 9B899A0618B9C53C Time : 796.0 sec. user=vaughan [2010-02-24 01:51:38] 1453*2^670131-1 is not prime. Res64: FC090A66DDAF0837 Time : 728.0 sec. user=vaughan [2010-02-24 01:54:02] 1503*2^670131-1 is not prime. Res64: C9690CBE60669B24 Time : 781.0 sec. user=vaughan [2010-02-24 02:00:46] 1543*2^670131-1 is not prime. Res64: 8ACC875773B216E9 Time : 705.0 sec. user=vaughan [2010-02-24 02:04:30] 1551*2^670131-1 is not prime. Res64: FEFBED3F6B1974C6 Time : 772.0 sec. user=vaughan [2010-02-24 02:08:06] 1621*2^670131-1 is not prime. Res64: 2E644617E4E788B7 Time : 761.0 sec. user=vaughan [2010-02-24 02:12:55] 1635*2^670131-1 is not prime. Res64: 80068589834A0332 Time : 734.0 sec. user=vaughan [2010-02-24 02:15:24] 1809*2^670131-1 is not prime. Res64: 8CF516E7D84BDF41 Time : 878.0 sec. user=vaughan [2010-02-24 02:18:14] 1775*2^670130-1 is not prime. Res64: A321474938DC3DD7 Time : 754.0 sec. user=vaughan [2010-02-24 02:21:02] 1869*2^670131-1 is not prime. Res64: 7A58F3813617DDB8 Time : 777.0 sec. user=vaughan [2010-02-24 02:24:39] 1893*2^670131-1 is not prime. Res64: 2527EF18BE21A1D6 Time : 704.0 sec. user=vaughan [2010-02-24 02:30:01] 1993*2^670131-1 is not prime. Res64: 702E4BF96913FC32 Time : 785.0 sec. user=vaughan [2010-02-24 02:30:12] 1505*2^670132-1 is not prime. Res64: A86D13033711B03B Time : 718.0 sec. user=vaughan [2010-02-24 02:34:20] 1667*2^670132-1 is not prime. Res64: 406E308AAB648CC2 Time : 798.0 sec. user=vaughan [2010-02-24 02:36:14] 1689*2^670132-1 is not prime. Res64: E7F7314174A01A09 Time : 695.0 sec. user=vaughan [2010-02-24 02:41:46] 1953*2^670132-1 is not prime. Res64: 0AC06887EE8CCDFC Time : 695.0 sec. user=vaughan [2010-02-24 02:42:56] 1809*2^670132-1 is not prime. Res64: 9392F8D3BF4CC0BF Time : 775.0 sec. user=vaughan [2010-02-24 02:47:15] 1997*2^670132-1 is not prime. Res64: A4F0F729B4CCAE32 Time : 775.0 sec. user=vaughan [2010-02-24 02:47:45] 1485*2^670133-1 is not prime. Res64: 05246E07FDF4FF08 Time : 691.0 sec. user=vaughan [2010-02-24 02:53:16] 1539*2^670133-1 is not prime. Res64: 538E03440F9CEF12 Time : 691.0 sec. user=vaughan [2010-02-24 02:55:54] 1575*2^670133-1 is not prime. Res64: CD4D9B083E257564 Time : 778.0 sec. user=vaughan [2010-02-24 02:59:17] 1651*2^670133-1 is not prime. Res64: 22770B28D3A6AFAC Time : 692.0 sec. user=vaughan [2010-02-24 03:00:15] 1615*2^670133-1 is not prime. Res64: 77231449CEC08F50 Time : 780.0 sec. user=vaughan [2010-02-24 03:05:00] 1747*2^670133-1 is not prime. Res64: 834D42D46C4D79FC Time : 704.0 sec. user=vaughan [2010-02-24 03:08:54] 1765*2^670133-1 is not prime. Res64: 85D988AE0D81B62F Time : 780.0 sec. user=vaughan [2010-02-24 03:10:53] 1849*2^670133-1 is not prime. Res64: 4E46817A68402EE4 Time : 696.0 sec. user=vaughan [2010-02-24 03:13:15] 1851*2^670133-1 is not prime. Res64: E6BE9BA5F9E979DD Time : 780.0 sec. user=vaughan [2010-02-24 03:16:43] 1947*2^670133-1 is not prime. Res64: BE9EF957784C42C7 Time : 703.0 sec. user=vaughan [2010-02-24 03:21:54] 1989*2^670133-1 is not prime. Res64: 213D7C3B06C5B57A Time : 781.0 sec. user=vaughan [2010-02-24 03:22:29] 1995*2^670133-1 is not prime. Res64: 84F41099F0111E55 Time : 696.0 sec. user=vaughan [2010-02-24 03:26:12] 1421*2^670134-1 is not prime. Res64: EA8BAB512FB364FF Time : 778.0 sec. user=vaughan [2010-02-24 03:28:19] 1473*2^670134-1 is not prime. Res64: 8C70C4D09205ACED Time : 696.0 sec. user=vaughan [2010-02-24 03:34:05] 1515*2^670134-1 is not prime. Res64: 9273D2D4575EBC48 Time : 696.0 sec. user=vaughan [2010-02-24 03:34:56] 1491*2^670134-1 is not prime. Res64: 6343C7FD60983197 Time : 783.0 sec. user=vaughan [2010-02-24 03:39:10] 1545*2^670134-1 is not prime. Res64: 82C5D14833028545 Time : 779.0 sec. user=vaughan [2010-02-24 03:39:55] 1563*2^670134-1 is not prime. Res64: F642BDC2C5B4E6DF Time : 696.0 sec. user=vaughan [2010-02-24 03:45:36] 1697*2^670134-1 is not prime. Res64: 1D3376397B6D078D Time : 691.0 sec. user=vaughan [2010-02-24 03:47:50] 1727*2^670134-1 is not prime. Res64: 72C5D9B984ACF2AB Time : 775.0 sec. user=vaughan [2010-02-24 03:51:27] 1881*2^670134-1 is not prime. Res64: 256236330A2434F8 Time : 692.0 sec. user=vaughan [2010-02-24 03:52:12] 1787*2^670134-1 is not prime. Res64: B1E6FB2CDEBCD28A Time : 782.0 sec. user=vaughan [2010-02-24 03:57:10] 1943*2^670134-1 is not prime. Res64: BDE7B9E20251384D Time : 694.0 sec. user=vaughan [2010-02-24 04:00:51] 1971*2^670134-1 is not prime. Res64: 7CB0E3846B0E2E5D Time : 781.0 sec. user=vaughan [2010-02-24 04:03:05] 1525*2^670135-1 is not prime. Res64: D124B57724A95691 Time : 698.0 sec. user=vaughan [2010-02-24 04:05:09] 1543*2^670135-1 is not prime. Res64: C99CC96C62856853 Time : 778.0 sec. user=vaughan [2010-02-24 04:08:34] 1585*2^670135-1 is not prime. Res64: 2AEE36E8DA281939 Time : 685.0 sec. user=vaughan [2010-02-24 04:13:28] 1639*2^670135-1 is not prime. Res64: BF4A71426DB409EC Time : 757.0 sec. user=vaughan [2010-02-24 04:14:45] 1699*2^670135-1 is not prime. Res64: 57497FCFF2F86485 Time : 701.0 sec. user=vaughan [2010-02-24 04:17:59] 1731*2^670135-1 is not prime. Res64: 44F05EF34195C74D Time : 771.0 sec. user=vaughan [2010-02-24 04:20:37] 1765*2^670135-1 is not prime. Res64: A3FE728380BE1482 Time : 723.0 sec. user=vaughan [2010-02-24 04:26:47] 1933*2^670135-1 is not prime. Res64: 8126B1292A88CA9D Time : 799.0 sec. user=vaughan [2010-02-24 04:26:49] 1939*2^670135-1 is not prime. Res64: B860845EF5A4DD5D Time : 724.0 sec. user=vaughan [2010-02-24 04:31:02] 1941*2^670135-1 is not prime. Res64: A3FCC0718DD9CD35 Time : 783.0 sec. user=vaughan [2010-02-24 04:32:11] 1953*2^670135-1 is not prime. Res64: 517CC40C6E4127F9 Time : 699.0 sec. user=vaughan [2010-02-24 04:38:24] 1487*2^670136-1 is not prime. Res64: D21F0F5B6B73544D Time : 695.0 sec. user=vaughan [2010-02-24 04:39:49] 1469*2^670136-1 is not prime. Res64: 4F56D86E2AD4FA3D Time : 782.0 sec. user=vaughan [2010-02-24 04:43:43] 1625*2^670136-1 is not prime. Res64: 17711A8BE5D01E23 Time : 692.0 sec. user=vaughan [2010-02-24 04:44:05] 1617*2^670136-1 is not prime. Res64: BE41A352F7648301 Time : 784.0 sec. user=vaughan [2010-02-24 04:50:05] 1673*2^670136-1 is not prime. Res64: 9764E0E02E979D5B Time : 701.0 sec. user=vaughan [2010-02-24 04:52:53] 1715*2^670136-1 is not prime. Res64: 2D21DEA63CC127A5 Time : 784.0 sec. user=vaughan [2010-02-24 04:55:16] 1863*2^670136-1 is not prime. Res64: FBE23A100D560D4D Time : 693.0 sec. user=vaughan [2010-02-24 04:57:07] 1925*2^670136-1 is not prime. Res64: 7A6C10EAC16488EA Time : 782.0 sec. user=vaughan [2010-02-24 05:01:42] 1461*2^670137-1 is not prime. Res64: F44C6FE8EF3B2A6A Time : 697.0 sec. user=vaughan [2010-02-24 05:05:54] 1497*2^670137-1 is not prime. Res64: 332D4580A85EC31C Time : 782.0 sec. user=vaughan [2010-02-24 05:06:53] 1561*2^670137-1 is not prime. Res64: F22A72CF9BCE3737 Time : 698.0 sec. user=vaughan [2010-02-24 05:10:08] 1657*2^670137-1 is not prime. Res64: 0DA07F31C11FABFC Time : 781.0 sec. user=vaughan [2010-02-24 05:13:18] 1795*2^670137-1 is not prime. Res64: 693CAD8EBC55CB67 Time : 696.0 sec. user=vaughan [2010-02-24 05:18:30] 1885*2^670137-1 is not prime. Res64: 7722391359B73E73 Time : 697.0 sec. user=vaughan [2010-02-24 05:18:52] 1875*2^670137-1 is not prime. Res64: D1DEFECF77F52ED5 Time : 779.0 sec. user=vaughan [2010-02-24 05:23:01] 1887*2^670137-1 is not prime. Res64: A628F8BBB1CCB482 Time : 774.0 sec. user=vaughan [2010-02-24 05:24:46] 1951*2^670137-1 is not prime. Res64: 72122215CBC2AB5F Time : 688.0 sec. user=vaughan [2010-02-24 05:30:02] 1403*2^670138-1 is not prime. Res64: 957F93DB40C7BE01 Time : 692.0 sec. user=vaughan [2010-02-24 05:31:47] 1443*2^670138-1 is not prime. Res64: 0A956C421C01705D Time : 775.0 sec. user=vaughan [2010-02-24 05:35:55] 1455*2^670138-1 is not prime. Res64: 3F8CB565C0DC9D17 Time : 774.0 sec. user=vaughan [2010-02-24 05:36:21] 1491*2^670138-1 is not prime. Res64: 36F6661132A92F17 Time : 695.0 sec. user=vaughan [2010-02-24 05:41:38] 1527*2^670138-1 is not prime. Res64: EF232740645B7937 Time : 696.0 sec. user=vaughan [2010-02-24 05:44:56] 1571*2^670138-1 is not prime. Res64: F37C2BD3AD1ACB02 Time : 790.0 sec. user=vaughan [2010-02-24 05:48:08] 1727*2^670138-1 is not prime. Res64: B7A00F151DE3575E Time : 707.0 sec. user=vaughan [2010-02-24 05:48:57] 1667*2^670138-1 is not prime. Res64: 2E7E250D56526F0A Time : 782.0 sec. user=vaughan [2010-02-24 05:53:14] 1745*2^670138-1 is not prime. Res64: 1ED76E7093872EEC Time : 696.0 sec. user=vaughan [2010-02-24 05:57:55] 1877*2^670138-1 is not prime. Res64: ABB1FBBB18A9A980 Time : 782.0 sec. user=vaughan [2010-02-24 05:59:44] 1911*2^670138-1 is not prime. Res64: CF6DB53AA1669709 Time : 696.0 sec. user=vaughan [2010-02-24 06:01:57] 1425*2^670139-1 is not prime. Res64: DDFE68ED2A90EF34 Time : 780.0 sec. user=vaughan [2010-02-24 06:04:51] 1449*2^670139-1 is not prime. Res64: 824C2C450EB7CC49 Time : 699.0 sec. user=vaughan [2010-02-24 06:11:15] 1453*2^670139-1 is not prime. Res64: D1737AD4FC36463B Time : 800.0 sec. user=vaughan [2010-02-24 06:11:48] 1561*2^670139-1 is not prime. Res64: AD707BA249155401 Time : 725.0 sec. user=vaughan [2010-02-24 06:15:30] 1869*2^670139-1 is not prime. Res64: 5D9F1A72C20B883D Time : 813.0 sec. user=vaughan [2010-02-24 06:16:52] 1879*2^670139-1 is not prime. Res64: 57B86C4314123EEA Time : 722.0 sec. user=vaughan [2010-02-24 06:23:33] 1503*2^670140-1 is not prime. Res64: 9E6C944067C1C557 Time : 705.0 sec. user=vaughan [2010-02-24 06:24:25] 1469*2^670140-1 is not prime. Res64: 036D9CF38EB33D82 Time : 790.0 sec. user=vaughan [2010-02-24 06:28:23] 1557*2^670140-1 is not prime. Res64: AF8F3F596C9346DC Time : 692.0 sec. user=vaughan [2010-02-24 06:28:37] 1547*2^670140-1 is not prime. Res64: 156F6CDB5A9F8693 Time : 787.0 sec. user=vaughan [2010-02-24 06:35:11] 1697*2^670140-1 is not prime. Res64: DFB3AB77676B2FCD Time : 699.0 sec. user=vaughan [2010-02-24 06:37:29] 1845*2^670140-1 is not prime. Res64: 0295C6451947443B Time : 784.0 sec. user=vaughan [2010-02-24 06:39:58] 1853*2^670140-1 is not prime. Res64: A5179CF52DD5757F Time : 696.0 sec. user=vaughan [2010-02-24 06:41:38] 1865*2^670140-1 is not prime. Res64: 6BA3F76B27263195 Time : 781.0 sec. user=vaughan [2010-02-24 06:46:43] 1889*2^670140-1 is not prime. Res64: A391E7E60AA3B019 Time : 692.0 sec. user=vaughan [2010-02-24 06:50:25] 1401*2^670141-1 is not prime. Res64: 398C51F1E38A9838 Time : 776.0 sec. user=vaughan [2010-02-24 06:51:28] 1459*2^670141-1 is not prime. Res64: 504EFC34228F1A07 Time : 690.0 sec. user=vaughan [2010-02-24 06:54:35] 1477*2^670141-1 is not prime. Res64: 7122223FD69DF74C Time : 777.0 sec. user=vaughan [2010-02-24 06:58:15] 1611*2^670141-1 is not prime. Res64: F3F4A2C9E36E651F Time : 693.0 sec. user=vaughan [2010-02-24 15:56:32] 1627*2^670141-1 is not prime. Res64: 1C732190FA8361B2 Time : 32767.0 sec. user=vaughan [2010-02-24 15:57:13] 1651*2^670141-1 is not prime. Res64: 826162E41B6A577C Time : 32745.0 sec. user=vaughan [2010-02-24 15:57:17] 1665*2^670141-1 is not prime. Res64: 174F8C17FCC46BFC Time : 32562.0 sec. user=vaughan [2010-02-24 15:57:24] 1669*2^670141-1 is not prime. Res64: 5995D50D3D35C41A Time : 32349.0 sec. user=vaughan [2010-02-24 16:07:46] 1699*2^670141-1 is not prime. Res64: FB1708A6B35047EA Time : 674.0 sec. user=vaughan [2010-02-24 16:08:08] 1875*2^670141-1 is not prime. Res64: 16A1A5C544352AAF Time : 656.0 sec. user=vaughan [2010-02-24 16:08:24] 1959*2^670141-1 is not prime. Res64: 948B970900361B80 Time : 660.0 sec. user=vaughan [2010-02-24 16:08:37] 1881*2^670141-1 is not prime. Res64: 0EAE28B29F9D9A04 Time : 680.0 sec. user=vaughan [2010-02-24 16:19:09] 1457*2^670142-1 is not prime. Res64: 3CF0954302E4985B Time : 662.0 sec. user=vaughan [2010-02-24 16:19:14] 1413*2^670142-1 is not prime. Res64: 062E3EEEF6FD2C84 Time : 689.0 sec. user=vaughan [2010-02-24 16:19:39] 1523*2^670142-1 is not prime. Res64: 436D004B426E6C6A Time : 675.0 sec. user=vaughan [2010-02-24 16:19:58] 1623*2^670142-1 is not prime. Res64: 3A23EFE1D777AA23 Time : 681.0 sec. user=vaughan [2010-02-24 16:29:55] 1665*2^670142-1 is not prime. Res64: 555FB13E7A67EE10 Time : 646.0 sec. user=vaughan [2010-02-24 16:30:16] 1751*2^670142-1 is not prime. Res64: 0A6E3503ACDA4525 Time : 662.0 sec. user=vaughan [2010-02-24 16:30:25] 1853*2^670142-1 is not prime. Res64: D7EDEFA89952BF3F Time : 646.0 sec. user=vaughan [2010-02-24 16:31:02] 1985*2^670142-1 is not prime. Res64: AEC0A41F240D9A1E Time : 664.0 sec. user=vaughan [2010-02-24 16:40:40] 1483*2^670143-1 is not prime. Res64: 26382487B76C54A9 Time : 645.0 sec. user=vaughan [2010-02-24 16:41:12] 1623*2^670143-1 is not prime. Res64: 6F447673BB45D7E8 Time : 647.0 sec. user=vaughan [2010-02-24 16:41:19] 1491*2^670143-1 is not prime. Res64: 61B76BAE9B485AD3 Time : 663.0 sec. user=vaughan [2010-02-24 16:42:05] 1671*2^670143-1 is not prime. Res64: 9790DC73E08DB323 Time : 664.0 sec. user=vaughan [2010-02-24 16:51:26] 1761*2^670143-1 is not prime. Res64: E1E48A6980953704 Time : 646.0 sec. user=vaughan [2010-02-24 16:51:59] 1795*2^670143-1 is not prime. Res64: BA0721FA86B8578F Time : 648.0 sec. user=vaughan [2010-02-24 16:52:22] 1879*2^670143-1 is not prime. Res64: 5F001097E9855D55 Time : 663.0 sec. user=vaughan [2010-02-24 16:53:08] 1945*2^670143-1 is not prime. Res64: 5A14C699A630440F Time : 663.0 sec. user=vaughan [2010-02-24 17:02:11] 1951*2^670143-1 is not prime. Res64: F5B35B11B8B0EA39 Time : 645.0 sec. user=vaughan [2010-02-24 17:02:46] 1437*2^670144-1 is not prime. Res64: 42EA72B75B48713A Time : 647.0 sec. user=vaughan [2010-02-24 17:03:26] 1443*2^670144-1 is not prime. Res64: 771C9CF4EA45037F Time : 664.0 sec. user=vaughan [2010-02-24 17:04:11] 1449*2^670144-1 is not prime. Res64: 020201E62F822367 Time : 664.0 sec. user=vaughan [2010-02-24 17:12:55] 1479*2^670144-1 is not prime. Res64: F89A17DD55B2626E Time : 645.0 sec. user=vaughan [2010-02-24 17:13:34] 1553*2^670144-1 is not prime. Res64: 5DD9DF9A911F15B1 Time : 648.0 sec. user=vaughan [2010-02-24 17:14:29] 1563*2^670144-1 is not prime. Res64: 98C22D53A2DA3FED Time : 664.0 sec. user=vaughan [2010-02-24 17:15:15] 1613*2^670144-1 is not prime. Res64: EE2E1A968DBCA3A9 Time : 664.0 sec. user=vaughan [2010-02-24 17:23:40] 1683*2^670144-1 is not prime. Res64: 5FDF240AF958F668 Time : 645.0 sec. user=vaughan [2010-02-24 17:24:20] 1695*2^670144-1 is not prime. Res64: A079BC6309609A4D Time : 647.0 sec. user=vaughan [2010-02-24 17:25:32] 1749*2^670144-1 is not prime. Res64: C5DA7A9F67C69025 Time : 663.0 sec. user=vaughan [2010-02-24 17:26:18] 1755*2^670144-1 is not prime. Res64: 136701BFAF6065A2 Time : 664.0 sec. user=vaughan [2010-02-24 17:34:25] 1827*2^670144-1 is not prime. Res64: DAD73417A0700FA8 Time : 646.0 sec. user=vaughan [2010-02-24 17:35:07] 1833*2^670144-1 is not prime. Res64: 55B9C887B3336AE9 Time : 647.0 sec. user=vaughan [2010-02-24 17:36:36] 1937*2^670144-1 is not prime. Res64: 7F501CA8F614C621 Time : 664.0 sec. user=vaughan [2010-02-24 17:37:21] 1401*2^670145-1 is not prime. Res64: 7EC2F734D98414F7 Time : 663.0 sec. user=vaughan [2010-02-24 17:45:10] 1575*2^670145-1 is not prime. Res64: D076274D254C0CD7 Time : 645.0 sec. user=vaughan [2010-02-24 17:45:54] 1765*2^670145-1 is not prime. Res64: 30E970A4CBE1AD2C Time : 647.0 sec. user=vaughan [2010-02-24 17:47:39] 1807*2^670145-1 is not prime. Res64: C5B24C7733BF0933 Time : 664.0 sec. user=vaughan [2010-02-24 17:48:24] 1819*2^670145-1 is not prime. Res64: 421159B7F0E7FB79 Time : 663.0 sec. user=vaughan [2010-02-24 17:55:54] 1855*2^670145-1 is not prime. Res64: A1C57788F777E645 Time : 645.0 sec. user=vaughan [2010-02-24 17:56:40] 1911*2^670145-1 is not prime. Res64: 47FB4CB66B0301F2 Time : 647.0 sec. user=vaughan [2010-02-24 17:58:48] 1965*2^670145-1 is not prime. Res64: 2AC074A4FEAE08EF Time : 669.0 sec. user=vaughan [2010-02-24 17:59:37] 1437*2^670146-1 is not prime. Res64: 422F29F03D60DABC Time : 674.0 sec. user=vaughan [2010-02-24 18:07:06] 1605*2^670146-1 is not prime. Res64: CEDC8CF667BFDADC Time : 672.0 sec. user=vaughan [2010-02-24 18:08:05] 1647*2^670146-1 is not prime. Res64: 3ECFE7195E1A271F Time : 685.0 sec. user=vaughan [2010-02-24 18:10:21] 1661*2^670146-1 is not prime. Res64: 7BF610C3B39E8119 Time : 693.0 sec. user=vaughan [2010-02-24 18:11:04] 1691*2^670146-1 is not prime. Res64: F9C37B8A96B6F405 Time : 687.0 sec. user=vaughan [2010-02-24 18:17:54] 1697*2^670146-1 is not prime. Res64: 9A8927564E57D900 Time : 648.0 sec. user=vaughan [2010-02-24 18:18:53] 1791*2^670146-1 is not prime. Res64: F68890C9DC4BCEED Time : 648.0 sec. user=vaughan [2010-02-24 18:21:24] 1851*2^670146-1 is not prime. Res64: 693D019E1580FFA2 Time : 664.0 sec. user=vaughan [2010-02-24 18:22:08] 1887*2^670146-1 is not prime. Res64: B7ED7266A487B7E3 Time : 664.0 sec. user=vaughan [2010-02-24 18:28:37] 1937*2^670146-1 is not prime. Res64: 66B917C4ADDF73B1 Time : 644.0 sec. user=vaughan [2010-02-24 18:29:41] 1431*2^670147-1 is not prime. Res64: 3B41A1FC77F0AAB2 Time : 648.0 sec. user=vaughan [2010-02-24 18:32:28] 1435*2^670147-1 is not prime. Res64: 7B8DF79CA89FFBA6 Time : 664.0 sec. user=vaughan [2010-02-24 18:33:10] 1521*2^670147-1 is not prime. Res64: 4C100140C57426FA Time : 663.0 sec. user=vaughan [2010-02-24 18:39:21] 1585*2^670147-1 is not prime. Res64: 3B21D8C1CC15BD75 Time : 644.0 sec. user=vaughan [2010-02-24 18:40:28] 1599*2^670147-1 is not prime. Res64: 899609F94F675D61 Time : 647.0 sec. user=vaughan [2010-02-24 18:43:31] 1659*2^670147-1 is not prime. Res64: 8A0F160A9C621E6E Time : 664.0 sec. user=vaughan [2010-02-24 18:44:13] 1665*2^670147-1 is not prime. Res64: 6CCDFB74E9DFAD3A Time : 663.0 sec. user=vaughan [2010-02-24 18:50:07] 1693*2^670147-1 is not prime. Res64: 032FC53C2E61B79D Time : 646.0 sec. user=vaughan [2010-02-24 18:51:17] 1825*2^670147-1 is not prime. Res64: 9E4D0E60225B7AFA Time : 649.0 sec. user=vaughan [2010-02-24 18:54:35] 1905*2^670147-1 is not prime. Res64: 79B6ED0925D0B602 Time : 664.0 sec. user=vaughan [2010-02-24 18:55:17] 1469*2^670148-1 is not prime. Res64: 14D5463022BF2B47 Time : 664.0 sec. user=vaughan [2010-02-24 19:00:51] 1557*2^670148-1 is not prime. Res64: DA82A717062627B2 Time : 644.0 sec. user=vaughan [2010-02-24 19:02:04] 1569*2^670148-1 is not prime. Res64: F9CA2DC4D7CCF36A Time : 648.0 sec. user=vaughan [2010-02-24 19:05:39] 1637*2^670148-1 is not prime. Res64: 060AB15AF6B98C6C Time : 664.0 sec. user=vaughan [2010-02-24 19:06:20] 1679*2^670148-1 is not prime. Res64: B7BE0EDCC3431390 Time : 663.0 sec. user=vaughan [2010-02-24 19:11:35] 1683*2^670148-1 is not prime. Res64: DE0F7301A841F1DC Time : 645.0 sec. user=vaughan [2010-02-24 19:12:51] 1839*2^670148-1 is not prime. Res64: D028CAD87D2BF2CB Time : 647.0 sec. user=vaughan [2010-02-24 19:16:42] 1525*2^670149-1 is not prime. Res64: 433962022CBA56CC Time : 664.0 sec. user=vaughan [2010-02-24 19:17:24] 1585*2^670149-1 is not prime. Res64: 10997B391289F4FA Time : 664.0 sec. user=vaughan [2010-02-24 19:22:19] 1665*2^670149-1 is not prime. Res64: 97E02E595C532C7B Time : 644.0 sec. user=vaughan [2010-02-24 19:23:38] 1749*2^670149-1 is not prime. Res64: 5552B2739A4963CC Time : 647.0 sec. user=vaughan [2010-02-24 19:27:46] 1869*2^670149-1 is not prime. Res64: 26F005C2217EC603 Time : 664.0 sec. user=vaughan [2010-02-24 19:28:27] 1921*2^670149-1 is not prime. Res64: 2CAFEC6D0BE8EC50 Time : 664.0 sec. user=vaughan [2010-02-24 19:33:04] 1935*2^670149-1 is not prime. Res64: 5B98F1B41DA5CF36 Time : 646.0 sec. user=vaughan [2010-02-24 19:34:25] 1965*2^670149-1 is not prime. Res64: C336BB8DA20A83D0 Time : 648.0 sec. user=vaughan [2010-02-24 19:38:50] 1515*2^670150-1 is not prime. Res64: 97B54F60DA61CAE2 Time : 665.0 sec. user=vaughan [2010-02-24 19:39:30] 1535*2^670150-1 is not prime. Res64: 0B49F15C66C574B9 Time : 663.0 sec. user=vaughan [2010-02-24 19:43:50] 1545*2^670150-1 is not prime. Res64: 9EF320D6999E9F1A Time : 646.0 sec. user=vaughan [2010-02-24 19:45:10] 1617*2^670150-1 is not prime. Res64: 795D84A51D4F63D5 Time : 645.0 sec. user=vaughan [2010-02-24 19:49:53] 1625*2^670150-1 is not prime. Res64: FB5C73BCFD1DFE65 Time : 663.0 sec. user=vaughan [2010-02-24 19:50:34] 1671*2^670150-1 is not prime. Res64: FA4462CDF35680EB Time : 664.0 sec. user=vaughan [2010-02-24 19:54:46] 1713*2^670150-1 is not prime. Res64: 96584A8978C12BD3 Time : 657.0 sec. user=vaughan [2010-02-24 19:56:19] 1781*2^670150-1 is not prime. Res64: A95863108D707C79 Time : 669.0 sec. user=vaughan [2010-02-24 20:01:29] 1875*2^670150-1 is not prime. Res64: 9F80A06B0AE3D3B8 Time : 696.0 sec. user=vaughan [2010-02-24 20:02:14] 1509*2^670151-1 is not prime. Res64: A81A567D2C6568FE Time : 700.0 sec. user=vaughan [2010-02-24 20:05:48] 1531*2^670151-1 is not prime. Res64: 0AA0B708B06D95AF Time : 663.0 sec. user=vaughan [2010-02-24 20:07:23] 1533*2^670151-1 is not prime. Res64: 70E0C39711B5B27D Time : 664.0 sec. user=vaughan [2010-02-24 20:12:33] 1761*2^670151-1 is not prime. Res64: 7F2AF998B2EC4EC5 Time : 664.0 sec. user=vaughan [2010-02-24 20:13:18] 1879*2^670151-1 is not prime. Res64: B723384C93081454 Time : 664.0 sec. user=vaughan [2010-02-24 20:16:32] 1891*2^670151-1 is not prime. Res64: 5A127E78A141B2C4 Time : 644.0 sec. user=vaughan [2010-02-24 20:18:10] 1935*2^670151-1 is not prime. Res64: BF97D5106AC6D66B Time : 647.0 sec. user=vaughan [2010-02-24 20:23:36] 1479*2^670152-1 is not prime. Res64: 671E4D31FBEB3C52 Time : 664.0 sec. user=vaughan [2010-02-24 20:24:21] 1673*2^670152-1 is not prime. Res64: 38F80662293989C0 Time : 664.0 sec. user=vaughan [2010-02-24 20:27:15] 1767*2^670152-1 is not prime. Res64: 2F18F412D8F4CC96 Time : 643.0 sec. user=vaughan [2010-02-24 20:28:58] 1805*2^670152-1 is not prime. Res64: 430A84E27D6D4CE4 Time : 648.0 sec. user=vaughan [2010-02-24 20:34:39] 1965*2^670152-1 is not prime. Res64: 874ADC7CD40296A8 Time : 663.0 sec. user=vaughan [2010-02-24 20:35:24] 1429*2^670153-1 is not prime. Res64: 412E8B18673BA598 Time : 663.0 sec. user=vaughan [2010-02-24 20:37:59] 1479*2^670153-1 is not prime. Res64: 234310F97F5DD355 Time : 644.0 sec. user=vaughan [2010-02-24 20:39:45] 1497*2^670153-1 is not prime. Res64: 8284352BDF813B27 Time : 648.0 sec. user=vaughan [2010-02-24 20:45:43] 1507*2^670153-1 is not prime. Res64: E09DC7C45C773207 Time : 664.0 sec. user=vaughan [2010-02-24 20:46:27] 1549*2^670153-1 is not prime. Res64: 459715BAA60AC34C Time : 663.0 sec. user=vaughan [2010-02-24 20:48:43] 1557*2^670153-1 is not prime. Res64: 813EB833AA85766E Time : 644.0 sec. user=vaughan [2010-02-24 20:50:32] 1629*2^670153-1 is not prime. Res64: 0911A46329F7A9ED Time : 647.0 sec. user=vaughan [2010-02-24 20:56:45] 1717*2^670153-1 is not prime. Res64: 1F6DDE0B24AAE595 Time : 663.0 sec. user=vaughan [2010-02-24 20:57:29] 1765*2^670153-1 is not prime. Res64: 82954C96A4B33D83 Time : 662.0 sec. user=vaughan [2010-02-24 20:59:26] 1797*2^670153-1 is not prime. Res64: 011E54F8D85361B9 Time : 644.0 sec. user=vaughan [2010-02-24 21:01:20] 1909*2^670153-1 is not prime. Res64: FE84DFE48E3D7308 Time : 648.0 sec. user=vaughan [2010-02-24 21:07:48] 1911*2^670153-1 is not prime. Res64: 9C850D39041D58F2 Time : 663.0 sec. user=vaughan [2010-02-24 21:08:32] 1977*2^670153-1 is not prime. Res64: 6B6533A21EB6B098 Time : 663.0 sec. user=vaughan [2010-02-24 21:10:10] 1431*2^670154-1 is not prime. Res64: 2C37A45FD8DAD5EB Time : 644.0 sec. user=vaughan [2010-02-24 21:12:06] 1433*2^670154-1 is not prime. Res64: 71E7C3DC64132564 Time : 647.0 sec. user=vaughan [2010-02-24 21:18:52] 1467*2^670154-1 is not prime. Res64: C81955C4C29E52B0 Time : 664.0 sec. user=vaughan [2010-02-24 21:19:35] 1487*2^670154-1 is not prime. Res64: F0592DF717870EC3 Time : 664.0 sec. user=vaughan [2010-02-24 21:20:55] 1607*2^670154-1 is not prime. Res64: 77EB0E1354B78DCD Time : 645.0 sec. user=vaughan [2010-02-24 21:22:54] 1697*2^670154-1 is not prime. Res64: C47839888461D6FB Time : 648.0 sec. user=vaughan [2010-02-24 21:29:57] 1727*2^670154-1 is not prime. Res64: 9C8400F727CE48DB Time : 665.0 sec. user=vaughan [2010-02-24 21:30:40] 1775*2^670154-1 is not prime. Res64: 1AA74D2E7866876B Time : 665.0 sec. user=vaughan [2010-02-24 21:31:42] 1793*2^670154-1 is not prime. Res64: AEA530C934CF6382 Time : 648.0 sec. user=vaughan [2010-02-24 21:33:44] 1823*2^670154-1 is not prime. Res64: C1CF54A9369ABE07 Time : 650.0 sec. user=vaughan [2010-02-24 21:41:01] 1887*2^670154-1 is not prime. Res64: FBC7EBA3247D58AA Time : 664.0 sec. user=vaughan [2010-02-24 21:41:45] 1925*2^670154-1 is not prime. Res64: 3B45B355E8BAB68F Time : 665.0 sec. user=vaughan [2010-02-24 21:42:28] 1977*2^670154-1 is not prime. Res64: 776D8021C6972249 Time : 646.0 sec. user=vaughan [2010-02-24 21:44:33] 1503*2^670155-1 is not prime. Res64: 1FD8D67ABFE72A6F Time : 649.0 sec. user=vaughan [2010-02-24 21:52:37] 1515*2^670155-1 is not prime. Res64: FEDAD5B310324F26 Time : 697.0 sec. user=vaughan [2010-02-24 21:53:25] 1641*2^670155-1 is not prime. Res64: 005173AA12DBE3B2 Time : 701.0 sec. user=vaughan [2010-02-24 21:53:39] 1645*2^670155-1 is not prime. Res64: 991ED1901D0E1119 Time : 672.0 sec. user=vaughan [2010-02-24 21:55:58] 1683*2^670155-1 is not prime. Res64: 6D59793D521E1D16 Time : 685.0 sec. user=vaughan [2010-02-24 22:03:45] 1689*2^670155-1 is not prime. Res64: 757566B5BBEC5D1A Time : 668.0 sec. user=vaughan [2010-02-24 22:04:24] 1743*2^670155-1 is not prime. Res64: 10F1AE2FEAC704C9 Time : 645.0 sec. user=vaughan [2010-02-24 22:04:29] 1701*2^670155-1 is not prime. Res64: 5CEB330089990B21 Time : 664.0 sec. user=vaughan [2010-02-24 22:06:47] 1881*2^670155-1 is not prime. Res64: 48A24EA3C5D0842E Time : 649.0 sec. user=vaughan [2010-02-24 22:14:48] 1893*2^670155-1 is not prime. Res64: 2385871BA038309D Time : 663.0 sec. user=vaughan [2010-02-24 22:15:10] 1911*2^670155-1 is not prime. Res64: 4C2A260A15ED00CA Time : 646.0 sec. user=vaughan [2010-02-24 22:15:33] 1969*2^670155-1 is not prime. Res64: C954E0F4644E8C80 Time : 664.0 sec. user=vaughan [2010-02-24 22:17:37] 1433*2^670156-1 is not prime. Res64: B559FBA9D283A3D4 Time : 650.0 sec. user=vaughan [2010-02-24 22:25:52] 1463*2^670156-1 is not prime. Res64: 2BF6596B48D9EA14 Time : 664.0 sec. user=vaughan [2010-02-24 22:25:56] 1469*2^670156-1 is not prime. Res64: D1E356CEE010F5EE Time : 646.0 sec. user=vaughan [2010-02-24 22:26:38] 1685*2^670156-1 is not prime. Res64: 5D7E4C6F5F62A888 Time : 665.0 sec. user=vaughan [2010-02-24 22:28:26] 1689*2^670156-1 is not prime. Res64: F442A1CD0C7D2A8E Time : 649.0 sec. user=vaughan [2010-02-24 22:36:41] 1745*2^670156-1 is not prime. Res64: FD6FF65595CC8C96 Time : 646.0 sec. user=vaughan [2010-02-24 22:36:56] 1715*2^670156-1 is not prime. Res64: 6D439AA45EDDD08F Time : 665.0 sec. user=vaughan [2010-02-24 22:37:41] 1793*2^670156-1 is not prime. Res64: 8847244005B85C67 Time : 664.0 sec. user=vaughan [2010-02-24 22:39:15] 1799*2^670156-1 is not prime. Res64: F4ED5A994A9777BF Time : 649.0 sec. user=vaughan [2010-02-24 22:47:30] 1827*2^670156-1 is not prime. Res64: 5D6A56D89952CCCA Time : 649.0 sec. user=vaughan [2010-02-24 22:48:02] 1973*2^670156-1 is not prime. Res64: 42AA1D790B86DE40 Time : 666.0 sec. user=vaughan [2010-02-24 22:48:47] 1417*2^670157-1 is not prime. Res64: C4674FAE4633B502 Time : 666.0 sec. user=vaughan [2010-02-24 22:50:05] 1435*2^670157-1 is not prime. Res64: 5B30543D8D5394CA Time : 650.0 sec. user=vaughan [2010-02-24 22:58:15] 1491*2^670157-1 is not prime. Res64: 499522517B7CAE3C Time : 645.0 sec. user=vaughan [2010-02-24 22:59:06] 1539*2^670157-1 is not prime. Res64: 7F488E627DDFBB24 Time : 664.0 sec. user=vaughan [2010-02-24 22:59:51] 1575*2^670157-1 is not prime. Res64: 4E6AC05A26E68ACA Time : 664.0 sec. user=vaughan [2010-02-24 23:00:54] 1621*2^670157-1 is not prime. Res64: BAAEF6930882B154 Time : 649.0 sec. user=vaughan [2010-02-24 23:09:01] 1755*2^670157-1 is not prime. Res64: FB92C46BD6CC641A Time : 646.0 sec. user=vaughan [2010-02-24 23:10:09] 1767*2^670157-1 is not prime. Res64: EE06B47B06FC2137 Time : 664.0 sec. user=vaughan [2010-02-24 23:10:54] 1825*2^670157-1 is not prime. Res64: 0070DD50B9233A1B Time : 663.0 sec. user=vaughan [2010-02-24 23:11:43] 1849*2^670157-1 is not prime. Res64: 33C1B8FCCDC358AB Time : 649.0 sec. user=vaughan [2010-02-24 23:20:25] 1905*2^670157-1 is not prime. Res64: FC4D29272477EFD5 Time : 684.0 sec. user=vaughan [2010-02-24 23:22:52] 1917*2^670157-1 is not prime. Res64: ED7C70E1BC40FE57 Time : 763.0 sec. user=vaughan [2010-02-24 23:23:39] 1975*2^670157-1 is not prime. Res64: B66D82A3F2024ED4 Time : 765.0 sec. user=vaughan [2010-02-24 23:23:40] 1595*2^670158-1 is not prime. Res64: 394E1515977FCA52 Time : 717.0 sec. user=vaughan [2010-02-24 23:31:18] 1733*2^670158-1 is not prime. Res64: EBA400A2BFA6A039 Time : 654.0 sec. user=vaughan [2010-02-24 23:33:55] 1781*2^670158-1 is not prime. Res64: 101EE009EC57806F Time : 663.0 sec. user=vaughan [2010-02-24 23:34:27] 1811*2^670158-1 is not prime. Res64: EC38AD2DCFB3588A Time : 647.0 sec. user=vaughan [2010-02-24 23:34:42] 1785*2^670158-1 is not prime. Res64: 351E3B3AE65BAD8C Time : 664.0 sec. user=vaughan [2010-02-24 23:42:11] 1985*2^670158-1 is not prime. Res64: 59B322E6D58B9F55 Time : 653.0 sec. user=vaughan [2010-02-24 23:45:17] 1405*2^670159-1 is not prime. Res64: 92268370B4478BCA Time : 682.0 sec. user=vaughan [2010-02-24 23:45:46] 1455*2^670159-1 is not prime. Res64: D48537ABDD5E1254 Time : 679.0 sec. user=vaughan [2010-02-24 23:46:12] 1485*2^670159-1 is not prime. Res64: A54DAB796BA52242 Time : 690.0 sec. user=vaughan [2010-02-24 23:53:20] 1659*2^670159-1 is not prime. Res64: 8B216F40D9D42CAA Time : 670.0 sec. user=vaughan [2010-02-24 23:56:35] 1885*2^670159-1 is not prime. Res64: A4BB80E7AF2ACC00 Time : 678.0 sec. user=vaughan [2010-02-24 23:56:45] 1909*2^670159-1 is not prime. Res64: 7E0598DB539731FA Time : 659.0 sec. user=vaughan [2010-02-24 23:57:24] 1933*2^670159-1 is not prime. Res64: 5652B17748F7430F Time : 672.0 sec.