user=vaughan [2010-02-28 00:05:47] 1625*2^670256-1 is not prime. Res64: 3706E5C613710489 Time : 760.0 sec. user=vaughan [2010-02-28 00:07:33] 1755*2^670256-1 is not prime. Res64: D5191448CA400E10 Time : 774.0 sec. user=vaughan [2010-02-28 00:07:51] 1527*2^670256-1 is not prime. Res64: 02BB8268529A645A Time : 888.0 sec. user=vaughan [2010-02-28 00:08:04] 1665*2^670256-1 is not prime. Res64: D840C76C6D0C57E7 Time : 893.0 sec. user=vaughan [2010-02-28 00:18:06] 1925*2^670256-1 is not prime. Res64: 2917B2726186A5EB Time : 741.0 sec. user=vaughan [2010-02-28 00:20:17] 1929*2^670256-1 is not prime. Res64: 6D892605DC04F51D Time : 765.0 sec. user=vaughan [2010-02-28 00:22:24] 1965*2^670256-1 is not prime. Res64: 72A9E44F14FD1984 Time : 874.0 sec. user=vaughan [2010-02-28 00:22:35] 1501*2^670257-1 is not prime. Res64: 83724B809A9C0F33 Time : 873.0 sec. user=vaughan [2010-02-28 00:30:17] 1509*2^670257-1 is not prime. Res64: 8C5ABC7DEE50803E Time : 734.0 sec. user=vaughan [2010-02-28 00:32:29] 1579*2^670257-1 is not prime. Res64: 62984C8D25FF8E70 Time : 734.0 sec. user=vaughan [2010-02-28 00:35:50] 1627*2^670257-1 is not prime. Res64: 1E43D61E409FB6A1 Time : 809.0 sec. user=vaughan [2010-02-28 00:36:04] 1629*2^670257-1 is not prime. Res64: 004FF6BE34FD1154 Time : 812.0 sec. user=vaughan [2010-02-28 00:41:39] 1635*2^670257-1 is not prime. Res64: 77B2BE43BBC6D2B7 Time : 684.0 sec. user=vaughan [2010-02-28 00:43:47] 1741*2^670257-1 is not prime. Res64: 3DD652916E9C1ECC Time : 680.0 sec. user=vaughan [2010-02-28 00:48:42] 1791*2^670257-1 is not prime. Res64: D0423EBE128C6607 Time : 775.0 sec. user=vaughan [2010-02-28 00:48:50] 1855*2^670257-1 is not prime. Res64: B42D2B985D0EBB4E Time : 773.0 sec. user=vaughan [2010-02-28 00:53:02] 1921*2^670257-1 is not prime. Res64: 05C42E70F57F563D Time : 684.0 sec. user=vaughan [2010-02-28 00:55:07] 1939*2^670257-1 is not prime. Res64: F739337A647915A2 Time : 681.0 sec. user=vaughan [2010-02-28 01:01:42] 1959*2^670257-1 is not prime. Res64: 7AA1A4B20FFB091E Time : 781.0 sec. user=vaughan [2010-02-28 01:01:50] 1413*2^670258-1 is not prime. Res64: C07C7CB619F1891A Time : 782.0 sec. user=vaughan [2010-02-28 01:05:41] 1587*2^670258-1 is not prime. Res64: 7CBF2B513E81A418 Time : 760.0 sec. user=vaughan [2010-02-28 01:08:43] 1613*2^670258-1 is not prime. Res64: EA24DEE74DCA51A2 Time : 818.0 sec. user=vaughan [2010-02-28 01:22:58] 1965*2^670258-1 is not prime. Res64: 98C1D1CDB324813C Time : 858.0 sec. user=vaughan [2010-02-28 01:24:22] 1961*2^670258-1 is not prime. Res64: 1DA2B2E011ACB5F0 Time : 1124.0 sec. user=vaughan [2010-02-28 01:28:44] 1791*2^670258-1 is not prime. Res64: 821AA3C7F956D047 Time : 1616.0 sec. user=vaughan [2010-02-28 01:29:02] 1617*2^670258-1 is not prime. Res64: AF64BBFA2659303C Time : 1641.0 sec. user=vaughan [2010-02-28 01:36:57] 1435*2^670259-1 is not prime. Res64: E053E3ECEB0ADD11 Time : 840.0 sec. user=vaughan [2010-02-28 01:38:34] 1485*2^670259-1 is not prime. Res64: 7C65CDBE2254ACB7 Time : 853.0 sec. user=vaughan [2010-02-28 01:43:35] 1539*2^670259-1 is not prime. Res64: F9D20A2750603AF3 Time : 892.0 sec. user=vaughan [2010-02-28 01:43:52] 1825*2^670259-1 is not prime. Res64: B950945416D24215 Time : 891.0 sec. user=vaughan [2010-02-28 01:48:26] 1845*2^670259-1 is not prime. Res64: E8C99142082B33F2 Time : 690.0 sec. user=vaughan [2010-02-28 01:50:02] 1855*2^670259-1 is not prime. Res64: 56CBD4D97771EE67 Time : 689.0 sec. user=vaughan [2010-02-28 01:56:23] 1873*2^670259-1 is not prime. Res64: 63D05BC6BD017386 Time : 770.0 sec. user=vaughan [2010-02-28 01:56:39] 1921*2^670259-1 is not prime. Res64: FB6E033966BD6EEA Time : 769.0 sec. user=vaughan [2010-02-28 01:59:50] 1963*2^670259-1 is not prime. Res64: 96426D369EB71B49 Time : 691.0 sec. user=vaughan [2010-02-28 02:01:24] 1463*2^670260-1 is not prime. Res64: D6D8A5C346648567 Time : 688.0 sec. user=vaughan [2010-02-28 02:09:13] 1473*2^670260-1 is not prime. Res64: 649CD5CE73CD6E53 Time : 770.0 sec. user=vaughan [2010-02-28 02:09:31] 1539*2^670260-1 is not prime. Res64: 9FC7BA7D48D26321 Time : 772.0 sec. user=vaughan [2010-02-28 02:11:15] 1575*2^670260-1 is not prime. Res64: D38C3707C60042E6 Time : 686.0 sec. user=vaughan [2010-02-28 02:12:50] 1599*2^670260-1 is not prime. Res64: 1F31F75DFB8E4652 Time : 687.0 sec. user=vaughan [2010-02-28 02:22:26] 1617*2^670260-1 is not prime. Res64: 8E913384E4D83324 Time : 793.0 sec. user=vaughan [2010-02-28 02:22:42] 1655*2^670260-1 is not prime. Res64: 8159485B617FBCE5 Time : 792.0 sec. user=vaughan [2010-02-28 02:22:52] 1659*2^670260-1 is not prime. Res64: FA5C9FF234FC87FA Time : 699.0 sec. user=vaughan [2010-02-28 02:24:33] 1703*2^670260-1 is not prime. Res64: AEF54B9F188F6025 Time : 704.0 sec. user=vaughan [2010-02-28 02:34:33] 1815*2^670260-1 is not prime. Res64: C5716BE6FA465D1E Time : 704.0 sec. user=vaughan [2010-02-28 02:35:33] 1713*2^670260-1 is not prime. Res64: 2E3C83EA77F4C033 Time : 790.0 sec. user=vaughan [2010-02-28 02:36:06] 1775*2^670260-1 is not prime. Res64: FD8F954EF12419E8 Time : 806.0 sec. user=vaughan [2010-02-28 02:36:15] 1845*2^670260-1 is not prime. Res64: 21F61AAF1FFE5294 Time : 705.0 sec. user=vaughan [2010-02-28 02:46:17] 1859*2^670260-1 is not prime. Res64: 8C352683068BE7BC Time : 706.0 sec. user=vaughan [2010-02-28 02:48:08] 1441*2^670261-1 is not prime. Res64: C2F1E42CA9F650D4 Time : 716.0 sec. user=vaughan [2010-02-28 02:48:37] 1883*2^670260-1 is not prime. Res64: C80D3F78D29DAB80 Time : 788.0 sec. user=vaughan [2010-02-28 02:49:22] 1997*2^670260-1 is not prime. Res64: A76BE330E458E3F6 Time : 799.0 sec. user=vaughan [2010-02-28 02:58:03] 1455*2^670261-1 is not prime. Res64: 6E210CD37396EE83 Time : 710.0 sec. user=vaughan [2010-02-28 02:59:54] 1465*2^670261-1 is not prime. Res64: E98B09B53244DC78 Time : 717.0 sec. user=vaughan [2010-02-28 03:01:45] 1507*2^670261-1 is not prime. Res64: 033AD9E68343765D Time : 790.0 sec. user=vaughan [2010-02-28 03:02:29] 1585*2^670261-1 is not prime. Res64: 57296D777D9D1999 Time : 790.0 sec. user=vaughan [2010-02-28 03:09:43] 1611*2^670261-1 is not prime. Res64: BBDE07467F49EFF6 Time : 702.0 sec. user=vaughan [2010-02-28 03:11:35] 1717*2^670261-1 is not prime. Res64: 5C73353370E7084C Time : 704.0 sec. user=vaughan [2010-02-28 03:14:53] 1767*2^670261-1 is not prime. Res64: FC4E9C8B3ADD76B9 Time : 792.0 sec. user=vaughan [2010-02-28 03:15:33] 1881*2^670261-1 is not prime. Res64: 6F8A4CED52BC88B5 Time : 787.0 sec. user=vaughan [2010-02-28 03:21:28] 1947*2^670261-1 is not prime. Res64: 1BE0AE0DD2B0E051 Time : 708.0 sec. user=vaughan [2010-02-28 03:23:33] 1981*2^670261-1 is not prime. Res64: 53A12388E2E0997E Time : 720.0 sec. user=vaughan [2010-02-28 03:28:07] 1431*2^670262-1 is not prime. Res64: 77EF81FCDF8512D2 Time : 795.0 sec. user=vaughan [2010-02-28 03:28:43] 1443*2^670262-1 is not prime. Res64: 4AAE4D31E76D4027 Time : 791.0 sec. user=vaughan [2010-02-28 03:33:07] 1463*2^670262-1 is not prime. Res64: 296EE81F6F7E90B2 Time : 700.0 sec. user=vaughan [2010-02-28 03:35:16] 1503*2^670262-1 is not prime. Res64: BCB49CF39121DFC9 Time : 704.0 sec. user=vaughan [2010-02-28 03:41:16] 1667*2^670262-1 is not prime. Res64: 57286A3FE0EFA2F9 Time : 790.0 sec. user=vaughan [2010-02-28 03:41:49] 1701*2^670262-1 is not prime. Res64: 131BFD506DB3D531 Time : 788.0 sec. user=vaughan [2010-02-28 03:44:49] 1931*2^670262-1 is not prime. Res64: 149C20088896CF62 Time : 704.0 sec. user=vaughan [2010-02-28 03:46:55] 1965*2^670262-1 is not prime. Res64: EE73976A2C29AA97 Time : 700.0 sec. user=vaughan [2010-02-28 03:54:34] 1977*2^670262-1 is not prime. Res64: 4579D479CA1E7F64 Time : 799.0 sec. user=vaughan [2010-02-28 03:54:55] 1411*2^670263-1 is not prime. Res64: 58B1D7F786BECDB5 Time : 788.0 sec. user=vaughan [2010-02-28 03:56:24] 1431*2^670263-1 is not prime. Res64: 4FF33AB59BA2B384 Time : 697.0 sec. user=vaughan [2010-02-28 03:58:34] 1491*2^670263-1 is not prime. Res64: CAB17E428D5CB6F9 Time : 700.0 sec. user=vaughan [2010-02-28 04:07:07] 1533*2^670263-1 is not prime. Res64: 17C758A28744DF5A Time : 754.0 sec. user=vaughan [2010-02-28 04:07:26] 1621*2^670263-1 is not prime. Res64: 1E88C3CC893FBEAD Time : 752.0 sec. user=vaughan [2010-02-28 04:07:47] 1819*2^670263-1 is not prime. Res64: C48B39DD74CB9333 Time : 685.0 sec. user=vaughan [2010-02-28 04:09:43] 1843*2^670263-1 is not prime. Res64: 1557ECDF53EF4016 Time : 670.0 sec. user=vaughan [2010-02-28 04:18:10] 1909*2^670263-1 is not prime. Res64: 413957DE60B5D2E2 Time : 665.0 sec. user=vaughan [2010-02-28 04:18:32] 1939*2^670263-1 is not prime. Res64: 737CAEAA3B373D56 Time : 668.0 sec. user=vaughan [2010-02-28 04:18:35] 1969*2^670263-1 is not prime. Res64: F8DEBB4E6CD057B3 Time : 651.0 sec. user=vaughan [2010-02-28 04:20:28] 1443*2^670264-1 is not prime. Res64: 7DF25E8C6BC96783 Time : 646.0 sec. user=vaughan [2010-02-28 04:29:43] 1457*2^670264-1 is not prime. Res64: 3820058F04CACDC9 Time : 694.0 sec. user=vaughan [2010-02-28 04:29:51] 1487*2^670264-1 is not prime. Res64: 8090C65B70E37714 Time : 676.0 sec. user=vaughan [2010-02-28 04:30:06] 1473*2^670264-1 is not prime. Res64: 9FD17F79EFB9B58B Time : 696.0 sec. user=vaughan [2010-02-28 04:31:40] 1499*2^670264-1 is not prime. Res64: 0DC8987907CBD904 Time : 672.0 sec. user=vaughan [2010-02-28 04:40:43] 1529*2^670264-1 is not prime. Res64: C029C718315A16B7 Time : 652.0 sec. user=vaughan [2010-02-28 04:40:50] 1503*2^670264-1 is not prime. Res64: 50E8B369C3D685B2 Time : 667.0 sec. user=vaughan [2010-02-28 04:41:14] 1539*2^670264-1 is not prime. Res64: A720CA5C0FC36205 Time : 669.0 sec. user=vaughan [2010-02-28 04:42:27] 1575*2^670264-1 is not prime. Res64: 5397BA86B6A562C8 Time : 648.0 sec. user=vaughan [2010-02-28 04:51:31] 1655*2^670264-1 is not prime. Res64: E782E37F9A0A2A87 Time : 648.0 sec. user=vaughan [2010-02-28 04:51:52] 1745*2^670264-1 is not prime. Res64: 3290FD0C453EFF68 Time : 663.0 sec. user=vaughan [2010-02-28 04:52:15] 1773*2^670264-1 is not prime. Res64: D0744D4450260B01 Time : 661.0 sec. user=vaughan [2010-02-28 04:53:12] 1787*2^670264-1 is not prime. Res64: 21F30A81978F1F42 Time : 645.0 sec. user=vaughan [2010-02-28 05:02:17] 1805*2^670264-1 is not prime. Res64: 70E7EEF7441CCDB9 Time : 647.0 sec. user=vaughan [2010-02-28 05:02:57] 1827*2^670264-1 is not prime. Res64: AF15A39576FF0EFB Time : 665.0 sec. user=vaughan [2010-02-28 05:03:21] 1839*2^670264-1 is not prime. Res64: BEE3E20E26932BC2 Time : 666.0 sec. user=vaughan [2010-02-28 05:03:56] 1889*2^670264-1 is not prime. Res64: 16A0DA7AF90A41A0 Time : 644.0 sec. user=vaughan [2010-02-28 05:14:20] 1425*2^670265-1 is not prime. Res64: 292C13EA713771CF Time : 659.0 sec. user=vaughan [2010-02-28 05:14:43] 1431*2^670265-1 is not prime. Res64: CF0B5C622853314F Time : 647.0 sec. user=vaughan [2010-02-28 05:14:56] 1405*2^670265-1 is not prime. Res64: 009F1597F2D5C6A1 Time : 720.0 sec. user=vaughan [2010-02-28 05:15:04] 1401*2^670265-1 is not prime. Res64: 136D82D2B5EC454E Time : 767.0 sec. user=vaughan [2010-02-28 05:25:20] 1575*2^670265-1 is not prime. Res64: BFD2DDDDDF03D54D Time : 660.0 sec. user=vaughan [2010-02-28 05:25:25] 1609*2^670265-1 is not prime. Res64: 674DBECD252DA1E4 Time : 643.0 sec. user=vaughan [2010-02-28 05:25:48] 1707*2^670265-1 is not prime. Res64: AE0FEC2802F77968 Time : 644.0 sec. user=vaughan [2010-02-28 05:25:57] 1635*2^670265-1 is not prime. Res64: 181975FF96A6DD83 Time : 661.0 sec. user=vaughan [2010-02-28 05:36:09] 1797*2^670265-1 is not prime. Res64: D9A41B4C8DE3E66E Time : 644.0 sec. user=vaughan [2010-02-28 05:36:24] 1761*2^670265-1 is not prime. Res64: 7B57D9A19342C4B1 Time : 664.0 sec. user=vaughan [2010-02-28 05:36:31] 1819*2^670265-1 is not prime. Res64: 1150B4951EF463AE Time : 643.0 sec. user=vaughan [2010-02-28 05:36:57] 1849*2^670265-1 is not prime. Res64: 03F8A2255998C68C Time : 661.0 sec. user=vaughan [2010-02-28 05:46:52] 1855*2^670265-1 is not prime. Res64: 9F5FE1950011DBE6 Time : 644.0 sec. user=vaughan [2010-02-28 05:47:16] 1421*2^670266-1 is not prime. Res64: 3E85523C2DE0EAAE Time : 645.0 sec. user=vaughan [2010-02-28 05:47:25] 1887*2^670265-1 is not prime. Res64: A44B4694D1C016B1 Time : 662.0 sec. user=vaughan [2010-02-28 05:47:58] 1487*2^670266-1 is not prime. Res64: 0D8841379797CF8E Time : 661.0 sec. user=vaughan [2010-02-28 05:57:40] 1563*2^670266-1 is not prime. Res64: D0C0A150E691C758 Time : 648.0 sec. user=vaughan [2010-02-28 05:58:01] 1593*2^670266-1 is not prime. Res64: 712518C015B753A6 Time : 646.0 sec. user=vaughan [2010-02-28 05:58:28] 1595*2^670266-1 is not prime. Res64: 2E2A1F9B6DA3937F Time : 663.0 sec. user=vaughan [2010-02-28 05:59:01] 1605*2^670266-1 is not prime. Res64: 9750CE3A95A1EB4B Time : 663.0 sec. user=vaughan [2010-02-28 06:08:27] 1685*2^670266-1 is not prime. Res64: 204F85C61F1E5B3F Time : 648.0 sec. user=vaughan [2010-02-28 06:08:49] 1691*2^670266-1 is not prime. Res64: 5CB1D173AC4EC0B5 Time : 649.0 sec. user=vaughan [2010-02-28 06:09:31] 1707*2^670266-1 is not prime. Res64: 9D5581644E03BFCA Time : 663.0 sec. user=vaughan [2010-02-28 06:10:02] 1727*2^670266-1 is not prime. Res64: 26DB9338FBF6B22E Time : 661.0 sec. user=vaughan [2010-02-28 06:19:27] 1745*2^670266-1 is not prime. Res64: 0BCBB810712488C7 Time : 661.0 sec. user=vaughan [2010-02-28 06:20:01] 1773*2^670266-1 is not prime. Res64: 0B5EC6991658984D Time : 673.0 sec. user=vaughan [2010-02-28 06:21:04] 1803*2^670266-1 is not prime. Res64: 4E5D85FA4D8C4B94 Time : 694.0 sec. user=vaughan [2010-02-28 06:21:40] 1811*2^670266-1 is not prime. Res64: 4BA5D84B308FFBCD Time : 699.0 sec. user=vaughan [2010-02-28 06:30:20] 1459*2^670267-1 is not prime. Res64: 1A731431354EAD6D Time : 654.0 sec. user=vaughan [2010-02-28 06:30:58] 1483*2^670267-1 is not prime. Res64: F162FDB331AC068A Time : 657.0 sec. user=vaughan [2010-02-28 06:32:11] 1543*2^670267-1 is not prime. Res64: A412E993CA372EC2 Time : 668.0 sec. user=vaughan [2010-02-28 06:32:46] 1659*2^670267-1 is not prime. Res64: 7BEB40B942F6248A Time : 667.0 sec. user=vaughan [2010-02-28 06:41:09] 1725*2^670267-1 is not prime. Res64: CE57C613D0F607A5 Time : 649.0 sec. user=vaughan [2010-02-28 06:41:47] 1729*2^670267-1 is not prime. Res64: 04DFA39B8D505A03 Time : 649.0 sec. user=vaughan [2010-02-28 06:43:12] 1765*2^670267-1 is not prime. Res64: 011C13AFD8927295 Time : 662.0 sec. user=vaughan [2010-02-28 06:43:46] 1771*2^670267-1 is not prime. Res64: E0D8FA26DC54A7B3 Time : 660.0 sec. user=vaughan [2010-02-28 06:51:53] 1791*2^670267-1 is not prime. Res64: 9AB20418B949AE1D Time : 645.0 sec. user=vaughan [2010-02-28 06:52:31] 1843*2^670267-1 is not prime. Res64: 09DD8E951DD09E0D Time : 645.0 sec. user=vaughan [2010-02-28 06:54:13] 1443*2^670268-1 is not prime. Res64: CA97DBD8D8E935BC Time : 661.0 sec. user=vaughan [2010-02-28 06:54:48] 1503*2^670268-1 is not prime. Res64: 710D7B6627FD6521 Time : 662.0 sec. user=vaughan [2010-02-28 07:02:37] 1593*2^670268-1 is not prime. Res64: A6C14F5F0D060559 Time : 644.0 sec. user=vaughan [2010-02-28 07:03:15] 1695*2^670268-1 is not prime. Res64: B7E4A15C92B77F53 Time : 644.0 sec. user=vaughan [2010-02-28 07:05:14] 1713*2^670268-1 is not prime. Res64: 29CF47047A8C2A4C Time : 662.0 sec. user=vaughan [2010-02-28 07:05:49] 1887*2^670268-1 is not prime. Res64: 8BC777007C4F3877 Time : 662.0 sec. user=vaughan [2010-02-28 07:13:20] 1889*2^670268-1 is not prime. Res64: 4015115A2DE048A8 Time : 644.0 sec. user=vaughan [2010-02-28 07:14:00] 1917*2^670268-1 is not prime. Res64: B741680CB981EF13 Time : 645.0 sec. user=vaughan [2010-02-28 07:16:16] 1919*2^670268-1 is not prime. Res64: D27DD6877D0C5403 Time : 662.0 sec. user=vaughan [2010-02-28 07:16:50] 1985*2^670268-1 is not prime. Res64: 9E97A47C17494F2B Time : 661.0 sec. user=vaughan [2010-02-28 07:24:04] 1407*2^670269-1 is not prime. Res64: EF1CE0C204DC5176 Time : 644.0 sec. user=vaughan [2010-02-28 07:24:43] 1417*2^670269-1 is not prime. Res64: 6C4729170E25407E Time : 643.0 sec. user=vaughan [2010-02-28 07:27:17] 1461*2^670269-1 is not prime. Res64: 6360647915227759 Time : 662.0 sec. user=vaughan [2010-02-28 07:27:51] 1525*2^670269-1 is not prime. Res64: C529A737C0245F99 Time : 661.0 sec. user=vaughan [2010-02-28 07:34:48] 1585*2^670269-1 is not prime. Res64: 8BCB207FD2E20F77 Time : 644.0 sec. user=vaughan [2010-02-28 07:35:26] 1671*2^670269-1 is not prime. Res64: 0F5ED56EA895AEE8 Time : 643.0 sec. user=vaughan [2010-02-28 07:38:18] 1687*2^670269-1 is not prime. Res64: DC27A5A22B77224C Time : 661.0 sec. user=vaughan [2010-02-28 07:38:53] 1689*2^670269-1 is not prime. Res64: 3C6366E852851084 Time : 662.0 sec. user=vaughan [2010-02-28 07:45:31] 1767*2^670269-1 is not prime. Res64: B35FF8EBCE764B30 Time : 644.0 sec. user=vaughan [2010-02-28 07:46:10] 1777*2^670269-1 is not prime. Res64: 17E42567AA28CE17 Time : 644.0 sec. user=vaughan [2010-02-28 07:49:19] 1819*2^670269-1 is not prime. Res64: 90471B814B9EFCB7 Time : 661.0 sec. user=vaughan [2010-02-28 07:49:54] 1825*2^670269-1 is not prime. Res64: 536089CF13E5430A Time : 661.0 sec. user=vaughan [2010-02-28 07:56:17] 1939*2^670269-1 is not prime. Res64: E3DBDFF87A9B682D Time : 646.0 sec. user=vaughan [2010-02-28 07:56:53] 1965*2^670269-1 is not prime. Res64: A39A4DCB1B57D1F4 Time : 644.0 sec. user=vaughan [2010-02-28 08:00:20] 1981*2^670269-1 is not prime. Res64: 3BE5F7C251DBBC5D Time : 661.0 sec. user=vaughan [2010-02-28 08:00:55] 1403*2^670270-1 is not prime. Res64: 418DBDBA3F9D6E78 Time : 661.0 sec. user=vaughan [2010-02-28 08:06:58] 1433*2^670270-1 is not prime. Res64: 31DA7D3AB12B9033 Time : 641.0 sec. user=vaughan [2010-02-28 08:07:35] 1461*2^670270-1 is not prime. Res64: CD38ECB955B86AA9 Time : 642.0 sec. user=vaughan [2010-02-28 08:11:20] 1553*2^670270-1 is not prime. Res64: 2ED921D6A87B7D46 Time : 660.0 sec. user=vaughan [2010-02-28 08:11:54] 1595*2^670270-1 is not prime. Res64: B7FC41F84A04A2B8 Time : 660.0 sec. user=vaughan [2010-02-28 08:17:40] 1611*2^670270-1 is not prime. Res64: 3B9A36C362D93E17 Time : 642.0 sec. user=vaughan [2010-02-28 08:18:17] 1625*2^670270-1 is not prime. Res64: 53AA3CB937AB94B1 Time : 642.0 sec. user=vaughan [2010-02-28 08:22:18] 1685*2^670270-1 is not prime. Res64: 4C85E1725BD86BCE Time : 659.0 sec. user=vaughan [2010-02-28 08:22:54] 1743*2^670270-1 is not prime. Res64: 9E79790367E8B091 Time : 660.0 sec. user=vaughan [2010-02-28 08:28:22] 1767*2^670270-1 is not prime. Res64: E4543979338136ED Time : 642.0 sec. user=vaughan [2010-02-28 08:28:59] 1853*2^670270-1 is not prime. Res64: E64708799CC4B20B Time : 642.0 sec. user=vaughan [2010-02-28 08:33:18] 1875*2^670270-1 is not prime. Res64: 9277FB042AFB63F9 Time : 660.0 sec. user=vaughan [2010-02-28 08:33:54] 1947*2^670270-1 is not prime. Res64: B87227EB189141EE Time : 660.0 sec. user=vaughan [2010-02-28 08:39:04] 1441*2^670271-1 is not prime. Res64: BAA01A9D6A20B98D Time : 642.0 sec. user=vaughan [2010-02-28 08:39:42] 1459*2^670271-1 is not prime. Res64: C2E3CD6AAD5FA398 Time : 643.0 sec. user=vaughan [2010-02-28 08:44:18] 1573*2^670271-1 is not prime. Res64: 6718923995916624 Time : 660.0 sec. user=vaughan [2010-02-28 08:44:53] 1585*2^670271-1 is not prime. Res64: 29801DAFA832752C Time : 660.0 sec. user=vaughan [2010-02-28 08:49:45] 1683*2^670271-1 is not prime. Res64: 30DE96AA91F6B97E Time : 642.0 sec. user=vaughan [2010-02-28 08:50:24] 1735*2^670271-1 is not prime. Res64: 796A629933B0B63C Time : 643.0 sec. user=vaughan [2010-02-28 08:55:18] 1749*2^670271-1 is not prime. Res64: C9D2BA107744A862 Time : 660.0 sec. user=vaughan [2010-02-28 08:55:51] 1771*2^670271-1 is not prime. Res64: 58EC565C0DE01E15 Time : 658.0 sec. user=vaughan [2010-02-28 09:00:28] 1875*2^670271-1 is not prime. Res64: 1AAB4ED5AD237AF6 Time : 643.0 sec. user=vaughan [2010-02-28 09:01:07] 1893*2^670271-1 is not prime. Res64: 8651820A37D520B3 Time : 643.0 sec. user=vaughan [2010-02-28 09:06:24] 1981*2^670271-1 is not prime. Res64: DE856926A2F99A89 Time : 667.0 sec. user=vaughan [2010-02-28 09:07:01] 1409*2^670272-1 is not prime. Res64: BFFB97380B10EC52 Time : 670.0 sec. user=vaughan [2010-02-28 09:11:29] 1439*2^670272-1 is not prime. Res64: F9E063EECB317862 Time : 662.0 sec. user=vaughan [2010-02-28 09:12:17] 1449*2^670272-1 is not prime. Res64: 48D64051F5CB4D17 Time : 670.0 sec. user=vaughan [2010-02-28 09:17:55] 1757*2^670272-1 is not prime. Res64: 1C8284C34A4A5737 Time : 691.0 sec. user=vaughan [2010-02-28 09:18:33] 1787*2^670272-1 is not prime. Res64: 60AAA1463C912278 Time : 692.0 sec. user=vaughan [2010-02-28 09:22:24] 1815*2^670272-1 is not prime. Res64: F86A7D86DA627CC3 Time : 656.0 sec. user=vaughan [2010-02-28 09:23:13] 1893*2^670272-1 is not prime. Res64: E2308B84B07A74D6 Time : 656.0 sec. user=vaughan [2010-02-28 09:28:57] 1955*2^670272-1 is not prime. Res64: 09B1C22EF2F98945 Time : 662.0 sec. user=vaughan [2010-02-28 09:29:34] 1997*2^670272-1 is not prime. Res64: 147E1BBACD3BB3E4 Time : 662.0 sec. user=vaughan [2010-02-28 09:33:06] 1417*2^670273-1 is not prime. Res64: D04DDA0A08376033 Time : 642.0 sec. user=vaughan [2010-02-28 09:33:58] 1455*2^670273-1 is not prime. Res64: A49947EEF7F687A5 Time : 645.0 sec. user=vaughan [2010-02-28 09:39:58] 1501*2^670273-1 is not prime. Res64: 3556C4E1408DE5D3 Time : 662.0 sec. user=vaughan [2010-02-28 09:40:34] 1609*2^670273-1 is not prime. Res64: ACD67E466057BA42 Time : 660.0 sec. user=vaughan [2010-02-28 09:43:50] 1669*2^670273-1 is not prime. Res64: 01FAEA38AFA9154B Time : 644.0 sec. user=vaughan [2010-02-28 09:44:42] 1699*2^670273-1 is not prime. Res64: 058083303C8C4EF4 Time : 645.0 sec. user=vaughan [2010-02-28 09:51:01] 1711*2^670273-1 is not prime. Res64: 9560DDAC2D1DFC9D Time : 663.0 sec. user=vaughan [2010-02-28 09:51:35] 1765*2^670273-1 is not prime. Res64: D7A0ADEFACB6D654 Time : 661.0 sec. user=vaughan [2010-02-28 09:54:34] 1861*2^670273-1 is not prime. Res64: F7CA5034C4E9B25C Time : 645.0 sec. user=vaughan [2010-02-28 09:55:27] 1869*2^670273-1 is not prime. Res64: 1A87478E1BA2A138 Time : 645.0 sec. user=vaughan [2010-02-28 10:02:01] 1909*2^670273-1 is not prime. Res64: CA318A4456AC0BEA Time : 661.0 sec. user=vaughan [2010-02-28 10:02:36] 1917*2^670273-1 is not prime. Res64: 2BE95B62C353A334 Time : 661.0 sec. user=vaughan [2010-02-28 10:05:17] 1995*2^670273-1 is not prime. Res64: 689CE41E1B089390 Time : 644.0 sec. user=vaughan [2010-02-28 10:06:11] 1485*2^670274-1 is not prime. Res64: 486278114BC6339C Time : 644.0 sec. user=vaughan [2010-02-28 10:13:03] 1487*2^670274-1 is not prime. Res64: DF6B302DD6DE82D6 Time : 662.0 sec. user=vaughan [2010-02-28 10:13:37] 1515*2^670274-1 is not prime. Res64: 3C52ACED6C477D82 Time : 661.0 sec. user=vaughan [2010-02-28 10:16:01] 1595*2^670274-1 is not prime. Res64: 8A9CC7BB29CA6C7B Time : 644.0 sec. user=vaughan [2010-02-28 10:16:55] 1643*2^670274-1 is not prime. Res64: 6BB48CC2D20AECB3 Time : 644.0 sec. user=vaughan [2010-02-28 10:24:04] 1665*2^670274-1 is not prime. Res64: 463FAEBBD23A5806 Time : 661.0 sec. user=vaughan [2010-02-28 10:24:40] 1685*2^670274-1 is not prime. Res64: C3F13F86E41C673E Time : 663.0 sec. user=vaughan [2010-02-28 10:26:44] 1691*2^670274-1 is not prime. Res64: 41013AE240F2C4D7 Time : 644.0 sec. user=vaughan [2010-02-28 10:27:40] 1697*2^670274-1 is not prime. Res64: 52E6B15EA9107F8A Time : 645.0 sec. user=vaughan [2010-02-28 10:35:07] 1751*2^670274-1 is not prime. Res64: ABC358359CBB227E Time : 663.0 sec. user=vaughan [2010-02-28 10:35:41] 1775*2^670274-1 is not prime. Res64: C24FD8CD6B8D8461 Time : 662.0 sec. user=vaughan [2010-02-28 10:37:28] 1833*2^670274-1 is not prime. Res64: D8E82E0D8FC9887E Time : 644.0 sec. user=vaughan [2010-02-28 10:38:24] 1853*2^670274-1 is not prime. Res64: D1B96DFC548F0657 Time : 645.0 sec. user=vaughan [2010-02-28 10:46:09] 1881*2^670274-1 is not prime. Res64: 2784ACA438DC16CC Time : 662.0 sec. user=vaughan [2010-02-28 10:46:43] 1935*2^670274-1 is not prime. Res64: BF0E284DFEE66C99 Time : 662.0 sec. user=vaughan [2010-02-28 10:48:12] 1937*2^670274-1 is not prime. Res64: 84D85B2064D43EA6 Time : 644.0 sec. user=vaughan [2010-02-28 10:49:08] 1961*2^670274-1 is not prime. Res64: C5C62FDFB1FD2680 Time : 644.0 sec. user=vaughan [2010-02-28 10:57:10] 1423*2^670275-1 is not prime. Res64: 535AF990ACE06D42 Time : 661.0 sec. user=vaughan [2010-02-28 10:57:42] 1431*2^670275-1 is not prime. Res64: F277E8B4BF8BE4E6 Time : 659.0 sec. user=vaughan [2010-02-28 10:58:55] 1483*2^670275-1 is not prime. Res64: CB33BC4639A523DC Time : 643.0 sec. user=vaughan [2010-02-28 10:59:51] 1563*2^670275-1 is not prime. Res64: 0A4DA31FCC8AD5E2 Time : 643.0 sec. user=vaughan [2010-02-28 11:08:10] 1615*2^670275-1 is not prime. Res64: AFA1A8D17DC1E010 Time : 660.0 sec. user=vaughan [2010-02-28 11:08:41] 1699*2^670275-1 is not prime. Res64: 83E81B6774E2A20F Time : 659.0 sec. user=vaughan [2010-02-28 11:09:37] 1705*2^670275-1 is not prime. Res64: DF57916DC1A93593 Time : 642.0 sec. user=vaughan [2010-02-28 11:10:34] 1969*2^670275-1 is not prime. Res64: 447041112DD56752 Time : 643.0 sec. user=vaughan [2010-02-28 11:19:10] 1983*2^670275-1 is not prime. Res64: 4610039550BF0575 Time : 661.0 sec. user=vaughan [2010-02-28 11:19:41] 1499*2^670276-1 is not prime. Res64: 6A2B675C304A67EF Time : 661.0 sec. user=vaughan [2010-02-28 11:20:18] 1505*2^670276-1 is not prime. Res64: 4C61235BCF599BA7 Time : 642.0 sec. user=vaughan [2010-02-28 11:21:17] 1527*2^670276-1 is not prime. Res64: 5211EB1BBB574F64 Time : 644.0 sec. user=vaughan [2010-02-28 11:30:09] 1683*2^670276-1 is not prime. Res64: 54D6ACED9DAF3C43 Time : 659.0 sec. user=vaughan [2010-02-28 11:30:40] 1703*2^670276-1 is not prime. Res64: 92033BBF37208C60 Time : 659.0 sec. user=vaughan [2010-02-28 11:31:00] 1713*2^670276-1 is not prime. Res64: 938542B06359DC75 Time : 642.0 sec. user=vaughan [2010-02-28 11:31:59] 1715*2^670276-1 is not prime. Res64: 9E5D733226DAF076 Time : 642.0 sec. user=vaughan [2010-02-28 11:41:09] 1865*2^670276-1 is not prime. Res64: 4875613BD4FC7A84 Time : 660.0 sec. user=vaughan [2010-02-28 11:41:39] 1877*2^670276-1 is not prime. Res64: 2A923B42AB455F63 Time : 659.0 sec. user=vaughan [2010-02-28 11:41:41] 1893*2^670276-1 is not prime. Res64: 4254B43CE1C51925 Time : 641.0 sec. user=vaughan [2010-02-28 11:42:42] 1899*2^670276-1 is not prime. Res64: 305FECAE042A3365 Time : 643.0 sec. user=vaughan [2010-02-28 11:52:08] 1973*2^670276-1 is not prime. Res64: E5961F2BE89716ED Time : 659.0 sec. user=vaughan [2010-02-28 11:52:24] 1411*2^670277-1 is not prime. Res64: CE3456A9399EEEEA Time : 643.0 sec. user=vaughan [2010-02-28 11:52:40] 1407*2^670277-1 is not prime. Res64: 5C74DF933A842396 Time : 661.0 sec. user=vaughan [2010-02-28 11:53:24] 1455*2^670277-1 is not prime. Res64: 52DA89DD3CAC2CA8 Time : 642.0 sec. user=vaughan [2010-02-28 12:03:08] 1569*2^670277-1 is not prime. Res64: 016AEC7462EBB7EE Time : 645.0 sec. user=vaughan [2010-02-28 12:03:09] 1531*2^670277-1 is not prime. Res64: A898666E1B666017 Time : 661.0 sec. user=vaughan [2010-02-28 12:03:43] 1587*2^670277-1 is not prime. Res64: 2C85B6E553FFA127 Time : 663.0 sec. user=vaughan [2010-02-28 12:04:07] 1635*2^670277-1 is not prime. Res64: CDF68C35001A7D85 Time : 643.0 sec. user=vaughan [2010-02-28 12:14:22] 1681*2^670277-1 is not prime. Res64: 136E9445C7A37777 Time : 674.0 sec. user=vaughan [2010-02-28 12:14:45] 1729*2^670277-1 is not prime. Res64: DEE285D96019EE6F Time : 697.0 sec. user=vaughan [2010-02-28 12:15:19] 1839*2^670277-1 is not prime. Res64: EF3A21EA4C3E69F6 Time : 696.0 sec. user=vaughan [2010-02-28 12:15:33] 1849*2^670277-1 is not prime. Res64: 6DEB3ED0C2E8AE1D Time : 686.0 sec. user=vaughan [2010-02-28 12:25:06] 1957*2^670277-1 is not prime. Res64: 5D0A9A154463A290 Time : 645.0 sec. user=vaughan [2010-02-28 12:25:46] 1487*2^670278-1 is not prime. Res64: 26E07854E8A087B1 Time : 662.0 sec. user=vaughan [2010-02-28 12:26:16] 1607*2^670278-1 is not prime. Res64: E98F94C60D8FDEAD Time : 643.0 sec. user=vaughan [2010-02-28 12:26:21] 1557*2^670278-1 is not prime. Res64: 060527853B30B88E Time : 662.0 sec. user=vaughan [2010-02-28 12:35:50] 1697*2^670278-1 is not prime. Res64: 793B845748F75730 Time : 644.0 sec. user=vaughan [2010-02-28 12:36:48] 1805*2^670278-1 is not prime. Res64: 3AC04D4B2AC5460B Time : 662.0 sec. user=vaughan [2010-02-28 12:37:01] 1827*2^670278-1 is not prime. Res64: 08B7D88565AD436A Time : 645.0 sec. user=vaughan [2010-02-28 12:37:23] 1901*2^670278-1 is not prime. Res64: 4B6844365764F877 Time : 662.0 sec. user=vaughan [2010-02-28 12:46:33] 1479*2^670279-1 is not prime. Res64: 98FCBA52F7F904AC Time : 643.0 sec. user=vaughan [2010-02-28 12:47:45] 1759*2^670279-1 is not prime. Res64: EF1A662FB29ABB4B Time : 644.0 sec. user=vaughan [2010-02-28 12:47:50] 1681*2^670279-1 is not prime. Res64: 4EAE2B9E2228A38D Time : 662.0 sec. user=vaughan [2010-02-28 12:48:26] 1815*2^670279-1 is not prime. Res64: 2E9B80E1A33495A9 Time : 663.0 sec. user=vaughan [2010-02-28 12:57:18] 1911*2^670279-1 is not prime. Res64: DB558D93ABDC39ED Time : 645.0 sec. user=vaughan [2010-02-28 12:58:29] 1953*2^670279-1 is not prime. Res64: 6021D0BDEC7CE0E7 Time : 644.0 sec. user=vaughan [2010-02-28 12:58:52] 1959*2^670279-1 is not prime. Res64: C5B99CE9A96BB4BB Time : 663.0 sec. user=vaughan [2010-02-28 12:59:26] 1965*2^670279-1 is not prime. Res64: 6C7AFD7210E632EF Time : 661.0 sec. user=vaughan [2010-02-28 13:08:03] 1419*2^670280-1 is not prime. Res64: 7CBCE5F313FC3BE5 Time : 645.0 sec. user=vaughan [2010-02-28 13:09:15] 1425*2^670280-1 is not prime. Res64: A2865D6E2DD7D47A Time : 646.0 sec. user=vaughan [2010-02-28 13:09:53] 1623*2^670280-1 is not prime. Res64: 7D4501990C8A8F96 Time : 661.0 sec. user=vaughan [2010-02-28 13:10:28] 1625*2^670280-1 is not prime. Res64: C94AB505822B3C70 Time : 662.0 sec. user=vaughan [2010-02-28 13:18:47] 1637*2^670280-1 is not prime. Res64: 645AD4BD4B00A677 Time : 645.0 sec. user=vaughan [2010-02-28 13:19:59] 1715*2^670280-1 is not prime. Res64: F317A2D77B068F92 Time : 645.0 sec. user=vaughan [2010-02-28 13:20:55] 1727*2^670280-1 is not prime. Res64: 9D18AEDF2904812D Time : 662.0 sec. user=vaughan [2010-02-28 13:21:30] 1839*2^670280-1 is not prime. Res64: BC53A505BBA2FB07 Time : 663.0 sec. user=vaughan [2010-02-28 13:29:31] 1943*2^670280-1 is not prime. Res64: 07A212256602578F Time : 644.0 sec. user=vaughan [2010-02-28 13:30:43] 1947*2^670280-1 is not prime. Res64: 1C455F8489955757 Time : 644.0 sec. user=vaughan [2010-02-28 13:31:58] 1967*2^670280-1 is not prime. Res64: 7C9DD5F082DE578E Time : 663.0 sec. user=vaughan [2010-02-28 13:32:32] 1995*2^670280-1 is not prime. Res64: 717E5FD785DC24A9 Time : 662.0 sec. user=vaughan [2010-02-28 13:40:15] 1461*2^670281-1 is not prime. Res64: 54C4DD53E64B2617 Time : 644.0 sec. user=vaughan [2010-02-28 13:41:27] 1467*2^670281-1 is not prime. Res64: 579F2AAA499E9559 Time : 645.0 sec. user=vaughan [2010-02-28 13:43:00] 1515*2^670281-1 is not prime. Res64: ADC231D5EEC51207 Time : 663.0 sec. user=vaughan [2010-02-28 13:43:33] 1549*2^670281-1 is not prime. Res64: 6617C8B4B55CBCF1 Time : 662.0 sec. user=vaughan [2010-02-28 13:50:59] 1627*2^670281-1 is not prime. Res64: C61CFB1C00D8DD42 Time : 644.0 sec. user=vaughan [2010-02-28 13:52:10] 1725*2^670281-1 is not prime. Res64: EE9D5FB807FE8DF8 Time : 643.0 sec. user=vaughan [2010-02-28 13:54:01] 1749*2^670281-1 is not prime. Res64: B35B009B6C7FDD8D Time : 661.0 sec. user=vaughan [2010-02-28 13:54:33] 1759*2^670281-1 is not prime. Res64: CA368C154631B8A9 Time : 660.0 sec. user=vaughan [2010-02-28 14:01:42] 1819*2^670281-1 is not prime. Res64: 0008F66F80A6D0AD Time : 643.0 sec. user=vaughan [2010-02-28 14:02:53] 1939*2^670281-1 is not prime. Res64: EA0AAC25C8152B95 Time : 643.0 sec. user=vaughan [2010-02-28 14:05:00] 1415*2^670282-1 is not prime. Res64: 328DB507D83208C5 Time : 659.0 sec. user=vaughan [2010-02-28 14:05:34] 1563*2^670282-1 is not prime. Res64: 9EAAE81A014BD3BD Time : 661.0 sec. user=vaughan [2010-02-28 14:12:40] 1613*2^670282-1 is not prime. Res64: AF9EC2FCCCE115F9 Time : 659.0 sec. user=vaughan [2010-02-28 14:14:00] 1623*2^670282-1 is not prime. Res64: 128083DA0E65304D Time : 667.0 sec. user=vaughan [2010-02-28 14:16:29] 1703*2^670282-1 is not prime. Res64: 1571D4C307C01C7F Time : 689.0 sec. user=vaughan [2010-02-28 14:17:03] 1725*2^670282-1 is not prime. Res64: 937E668D0CFACEB7 Time : 689.0 sec. user=vaughan [2010-02-28 14:23:39] 1745*2^670282-1 is not prime. Res64: 6E98712330B6B35E Time : 659.0 sec. user=vaughan [2010-02-28 14:25:01] 1823*2^670282-1 is not prime. Res64: 36876DFDBC63466E Time : 661.0 sec. user=vaughan [2010-02-28 14:27:40] 1833*2^670282-1 is not prime. Res64: B457359F4D6922E9 Time : 671.0 sec. user=vaughan [2010-02-28 14:28:12] 1881*2^670282-1 is not prime. Res64: 0CC0D762407969BB Time : 669.0 sec. user=vaughan [2010-02-28 14:34:23] 1937*2^670282-1 is not prime. Res64: C28350BCF9EAFF65 Time : 644.0 sec. user=vaughan [2010-02-28 14:35:47] 1947*2^670282-1 is not prime. Res64: 343A5C2F653DEA62 Time : 646.0 sec. user=vaughan [2010-02-28 14:38:41] 1977*2^670282-1 is not prime. Res64: C3EBABCE038155D6 Time : 662.0 sec. user=vaughan [2010-02-28 14:39:13] 1991*2^670282-1 is not prime. Res64: EC22FD42E780A2D3 Time : 661.0 sec. user=vaughan [2010-02-28 14:45:07] 1441*2^670283-1 is not prime. Res64: A73B2911005519EF Time : 645.0 sec. user=vaughan [2010-02-28 14:46:31] 1455*2^670283-1 is not prime. Res64: 375C603516A0A373 Time : 644.0 sec. user=vaughan [2010-02-28 14:49:43] 1473*2^670283-1 is not prime. Res64: E4971C1A65C3512D Time : 662.0 sec. user=vaughan [2010-02-28 14:50:14] 1561*2^670283-1 is not prime. Res64: 3D97D820E2CF993E Time : 661.0 sec. user=vaughan [2010-02-28 14:55:51] 1665*2^670283-1 is not prime. Res64: 2FE50CEA5B82D472 Time : 644.0 sec. user=vaughan [2010-02-28 14:57:16] 1765*2^670283-1 is not prime. Res64: 8AE5A58337D9EF88 Time : 645.0 sec. user=vaughan [2010-02-28 15:00:43] 1795*2^670283-1 is not prime. Res64: AD42F29968B95D62 Time : 661.0 sec. user=vaughan [2010-02-28 15:01:15] 1413*2^670284-1 is not prime. Res64: B4FBB8AABB161F51 Time : 661.0 sec. user=vaughan [2010-02-28 15:06:34] 1517*2^670284-1 is not prime. Res64: 23EA8B985D81003A Time : 643.0 sec. user=vaughan [2010-02-28 15:08:00] 1647*2^670284-1 is not prime. Res64: AFE0BE69C52D13A5 Time : 644.0 sec. user=vaughan [2010-02-28 15:11:44] 1739*2^670284-1 is not prime. Res64: BB00CA2093ADE530 Time : 661.0 sec. user=vaughan [2010-02-28 15:12:16] 1775*2^670284-1 is not prime. Res64: F9306AE43AC92A44 Time : 662.0 sec. user=vaughan [2010-02-28 15:17:18] 1913*2^670284-1 is not prime. Res64: A3E920CF6C58F291 Time : 644.0 sec. user=vaughan [2010-02-28 15:18:45] 1943*2^670284-1 is not prime. Res64: F03117A196DAB15E Time : 645.0 sec. user=vaughan [2010-02-28 15:22:47] 1973*2^670284-1 is not prime. Res64: E75E4C345F3A63AF Time : 663.0 sec. user=vaughan [2010-02-28 15:23:20] 1985*2^670284-1 is not prime. Res64: D88181866AF41C66 Time : 664.0 sec. user=vaughan [2010-02-28 15:28:03] 1405*2^670285-1 is not prime. Res64: D95A7464E2717B2F Time : 646.0 sec. user=vaughan [2010-02-28 15:29:32] 1459*2^670285-1 is not prime. Res64: A967BE5C114311A9 Time : 648.0 sec. user=vaughan [2010-02-28 15:33:48] 1507*2^670285-1 is not prime. Res64: 30E307BC8ABB12BE Time : 662.0 sec. user=vaughan [2010-02-28 15:34:20] 1569*2^670285-1 is not prime. Res64: F6BBA28915A83086 Time : 660.0 sec. user=vaughan [2010-02-28 15:38:47] 1575*2^670285-1 is not prime. Res64: FD9CBABB18E33487 Time : 644.0 sec. user=vaughan [2010-02-28 15:40:20] 1609*2^670285-1 is not prime. Res64: 5976B388A1B814D6 Time : 648.0 sec. user=vaughan [2010-02-28 15:44:51] 1659*2^670285-1 is not prime. Res64: 7C1094C436B259DA Time : 663.0 sec. user=vaughan [2010-02-28 15:45:21] 1669*2^670285-1 is not prime. Res64: 944FAE5A73B2A22E Time : 661.0 sec. user=vaughan [2010-02-28 15:49:32] 1681*2^670285-1 is not prime. Res64: 4C8945D02DBFE472 Time : 645.0 sec. user=vaughan [2010-02-28 15:51:05] 1729*2^670285-1 is not prime. Res64: 3B726EE2E8602997 Time : 646.0 sec. user=vaughan [2010-02-28 15:55:52] 1875*2^670285-1 is not prime. Res64: B8210565504F1FAB Time : 662.0 sec. user=vaughan [2010-02-28 15:56:22] 1987*2^670285-1 is not prime. Res64: 1C70F46CA441BD7E Time : 661.0 sec. user=vaughan [2010-02-28 16:00:15] 1431*2^670286-1 is not prime. Res64: A35E768EC67BDBEF Time : 643.0 sec. user=vaughan [2010-02-28 16:01:50] 1511*2^670286-1 is not prime. Res64: D2D3335CC341ADF4 Time : 645.0 sec. user=vaughan [2010-02-28 16:06:52] 1571*2^670286-1 is not prime. Res64: BA262D1116CF06DD Time : 660.0 sec. user=vaughan [2010-02-28 16:07:21] 1623*2^670286-1 is not prime. Res64: 09F960A963F0FCEC Time : 660.0 sec. user=vaughan [2010-02-28 16:10:59] 1641*2^670286-1 is not prime. Res64: 783576427A3BCB10 Time : 644.0 sec. user=vaughan [2010-02-28 16:12:33] 1667*2^670286-1 is not prime. Res64: 6778AC9C223D215A Time : 644.0 sec. user=vaughan [2010-02-28 16:17:53] 1683*2^670286-1 is not prime. Res64: 8C34A0F18C9199B1 Time : 661.0 sec. user=vaughan [2010-02-28 16:18:21] 1697*2^670286-1 is not prime. Res64: 1BD6DE0406FEC9E4 Time : 660.0 sec. user=vaughan [2010-02-28 16:21:42] 1785*2^670286-1 is not prime. Res64: 33AEB07F9BADDE28 Time : 644.0 sec. user=vaughan [2010-02-28 16:23:16] 1793*2^670286-1 is not prime. Res64: C01654DCB382C169 Time : 643.0 sec. user=vaughan [2010-02-28 16:28:53] 1883*2^670286-1 is not prime. Res64: FF75E3316236DCAD Time : 661.0 sec. user=vaughan [2010-02-28 16:29:20] 1961*2^670286-1 is not prime. Res64: 38AD7EA6757C66E2 Time : 659.0 sec. user=vaughan [2010-02-28 16:32:25] 1995*2^670286-1 is not prime. Res64: 8A70656406875340 Time : 643.0 sec. user=vaughan [2010-02-28 16:34:00] 1479*2^670287-1 is not prime. Res64: 3BF1D7C0F0C7F4F7 Time : 644.0 sec. user=vaughan [2010-02-28 16:39:53] 1483*2^670287-1 is not prime. Res64: 3F9C84D9A8AEA8DF Time : 660.0 sec. user=vaughan [2010-02-28 16:40:20] 1563*2^670287-1 is not prime. Res64: 1FD1926298BB47D8 Time : 660.0 sec. user=vaughan [2010-02-28 16:43:09] 1635*2^670287-1 is not prime. Res64: 0BA1E2020F971D5F Time : 644.0 sec. user=vaughan [2010-02-28 16:44:43] 1689*2^670287-1 is not prime. Res64: 7B63B1F8A0CFD7B7 Time : 644.0 sec. user=vaughan [2010-02-28 16:50:53] 1711*2^670287-1 is not prime. Res64: 6D677094084FE994 Time : 660.0 sec. user=vaughan [2010-02-28 16:51:19] 1993*2^670287-1 is not prime. Res64: EBAB4A531FF80E30 Time : 660.0 sec. user=vaughan [2010-02-28 16:53:52] 1409*2^670288-1 is not prime. Res64: 0A03B0710BF5EA59 Time : 643.0 sec. user=vaughan [2010-02-28 16:55:27] 1479*2^670288-1 is not prime. Res64: E58582B1698E6C0C Time : 644.0 sec. user=vaughan [2010-02-28 17:01:53] 1557*2^670288-1 is not prime. Res64: D5CA75AF8B6F470C Time : 660.0 sec. user=vaughan [2010-02-28 17:02:19] 1617*2^670288-1 is not prime. Res64: A51961AE8F7BEEB7 Time : 660.0 sec. user=vaughan [2010-02-28 17:04:35] 1799*2^670288-1 is not prime. Res64: 24A994A6431CCA79 Time : 643.0 sec. user=vaughan [2010-02-28 17:06:11] 1815*2^670288-1 is not prime. Res64: 7705181FA1AF1CE3 Time : 645.0 sec. user=vaughan [2010-02-28 17:12:53] 1839*2^670288-1 is not prime. Res64: 9CAEA3BF2ADEF49E Time : 660.0 sec. user=vaughan [2010-02-28 17:13:20] 1877*2^670288-1 is not prime. Res64: F1A958224BB22128 Time : 661.0 sec. user=vaughan [2010-02-28 17:15:18] 1949*2^670288-1 is not prime. Res64: 9A6546D08D3521E3 Time : 643.0 sec. user=vaughan [2010-02-28 17:16:55] 1977*2^670288-1 is not prime. Res64: F89C1642728C6427 Time : 644.0 sec. user=vaughan [2010-02-28 17:23:52] 1455*2^670289-1 is not prime. Res64: 009FC203BF8D9AE2 Time : 660.0 sec. user=vaughan [2010-02-28 17:24:20] 1489*2^670289-1 is not prime. Res64: 539EEF941D2BE995 Time : 661.0 sec. user=vaughan [2010-02-28 17:26:01] 1497*2^670289-1 is not prime. Res64: 50B2EB5BA004084F Time : 643.0 sec. user=vaughan [2010-02-28 17:27:40] 1501*2^670289-1 is not prime. Res64: 28EB800EF8A993C3 Time : 645.0 sec. user=vaughan [2010-02-28 17:34:52] 1525*2^670289-1 is not prime. Res64: A2A800C99E91C410 Time : 660.0 sec. user=vaughan [2010-02-28 17:35:18] 1611*2^670289-1 is not prime. Res64: 3D4C1BBB63A7215D Time : 658.0 sec. user=vaughan [2010-02-28 17:36:43] 1651*2^670289-1 is not prime. Res64: 57712B5ECC77B8C5 Time : 642.0 sec. user=vaughan [2010-02-28 17:38:24] 1699*2^670289-1 is not prime. Res64: 07348A292AD898A9 Time : 644.0 sec. user=vaughan [2010-02-28 17:45:50] 1735*2^670289-1 is not prime. Res64: 9167A60A2D420B1C Time : 659.0 sec. user=vaughan [2010-02-28 17:46:17] 1765*2^670289-1 is not prime. Res64: 293135BDB2C9010A Time : 659.0 sec. user=vaughan [2010-02-28 17:47:25] 1869*2^670289-1 is not prime. Res64: 5087C0A7097ACCB1 Time : 642.0 sec. user=vaughan [2010-02-28 17:49:08] 1911*2^670289-1 is not prime. Res64: D5527A191813DE61 Time : 644.0 sec. user=vaughan [2010-02-28 17:56:50] 1547*2^670290-1 is not prime. Res64: 9DB566F42C0614E4 Time : 660.0 sec. user=vaughan [2010-02-28 17:57:18] 1685*2^670290-1 is not prime. Res64: 276FDF9C61AF7E2D Time : 661.0 sec. user=vaughan [2010-02-28 17:58:08] 1727*2^670290-1 is not prime. Res64: 6B71EA3DE6E0E621 Time : 643.0 sec. user=vaughan [2010-02-28 17:59:51] 1775*2^670290-1 is not prime. Res64: 384E95FFD081ACCA Time : 644.0 sec. user=vaughan [2010-02-28 18:07:49] 1823*2^670290-1 is not prime. Res64: 33CA2140ADA9EFCB Time : 660.0 sec. user=vaughan [2010-02-28 18:08:18] 1865*2^670290-1 is not prime. Res64: 137196B33A335F70 Time : 660.0 sec. user=vaughan [2010-02-28 18:08:50] 1895*2^670290-1 is not prime. Res64: 45F080B64CFE1BE1 Time : 642.0 sec. user=vaughan [2010-02-28 18:10:34] 1913*2^670290-1 is not prime. Res64: 5DACDAA2CAE5A667 Time : 643.0 sec. user=vaughan [2010-02-28 18:18:49] 1991*2^670290-1 is not prime. Res64: BCA858F13F421ADB Time : 660.0 sec. user=vaughan [2010-02-28 18:19:18] 1413*2^670291-1 is not prime. Res64: 874625893F2F9D64 Time : 660.0 sec. user=vaughan [2010-02-28 18:19:33] 1419*2^670291-1 is not prime. Res64: 85DCA3A097AFE789 Time : 643.0 sec. user=vaughan [2010-02-28 18:21:19] 1431*2^670291-1 is not prime. Res64: F00A62F7B66F850F Time : 645.0 sec. user=vaughan [2010-02-28 18:29:49] 1503*2^670291-1 is not prime. Res64: A124B0359E73C06B Time : 660.0 sec. user=vaughan [2010-02-28 18:30:14] 1695*2^670291-1 is not prime. Res64: 1BCEA1725F3B7AFC Time : 642.0 sec. user=vaughan [2010-02-28 18:30:20] 1693*2^670291-1 is not prime. Res64: A778CA81C7C912A6 Time : 662.0 sec. user=vaughan [2010-02-28 18:32:03] 1731*2^670291-1 is not prime. Res64: 9527FB82DDF811E1 Time : 644.0 sec. user=vaughan [2010-02-28 18:40:48] 1743*2^670291-1 is not prime. Res64: 1A1ADD54E952F6DF Time : 660.0 sec. user=vaughan [2010-02-28 18:40:57] 1869*2^670291-1 is not prime. Res64: 781592B4B1890538 Time : 643.0 sec. user=vaughan [2010-02-28 18:41:20] 1875*2^670291-1 is not prime. Res64: ACEEF6673AEF3FEF Time : 661.0 sec. user=vaughan [2010-02-28 18:42:47] 1951*2^670291-1 is not prime. Res64: 095E3942C62267CF Time : 645.0 sec. user=vaughan [2010-02-28 18:51:40] 1505*2^670292-1 is not prime. Res64: CE9D9CDAE645287B Time : 643.0 sec. user=vaughan [2010-02-28 18:51:48] 1983*2^670291-1 is not prime. Res64: 94E040D3D954C218 Time : 660.0 sec. user=vaughan [2010-02-28 18:52:20] 1559*2^670292-1 is not prime. Res64: 9A82361BC60E6804 Time : 660.0 sec. user=vaughan [2010-02-28 18:53:31] 1595*2^670292-1 is not prime. Res64: 76618793ACFB401E Time : 644.0 sec. user=vaughan [2010-02-28 19:02:23] 1629*2^670292-1 is not prime. Res64: 25662579C222CE21 Time : 643.0 sec. user=vaughan [2010-02-28 19:02:47] 1757*2^670292-1 is not prime. Res64: FCCCFD7E40DD38AC Time : 660.0 sec. user=vaughan [2010-02-28 19:03:19] 1769*2^670292-1 is not prime. Res64: 25A5B69F886026A8 Time : 659.0 sec. user=vaughan [2010-02-28 19:04:16] 1817*2^670292-1 is not prime. Res64: 8ED560CAD1AE75AA Time : 645.0 sec. user=vaughan [2010-02-28 19:13:04] 1847*2^670292-1 is not prime. Res64: 007D4033653369B5 Time : 642.0 sec. user=vaughan [2010-02-28 19:13:47] 1865*2^670292-1 is not prime. Res64: 3275664C08DB7EB5 Time : 660.0 sec. user=vaughan [2010-02-28 19:14:20] 1883*2^670292-1 is not prime. Res64: 571157AD521B6D0E Time : 661.0 sec. user=vaughan [2010-02-28 19:15:00] 1905*2^670292-1 is not prime. Res64: 7E522FA8621FBE19 Time : 644.0 sec. user=vaughan [2010-02-28 19:23:47] 1923*2^670292-1 is not prime. Res64: 68C11205129906C2 Time : 643.0 sec. user=vaughan [2010-02-28 19:24:47] 1417*2^670293-1 is not prime. Res64: E4A0605671F33F2A Time : 661.0 sec. user=vaughan [2010-02-28 19:25:19] 1467*2^670293-1 is not prime. Res64: 33BAAAEA68FB2AEF Time : 660.0 sec. user=vaughan [2010-02-28 19:25:44] 1545*2^670293-1 is not prime. Res64: FE7220E5AF100187 Time : 644.0 sec. user=vaughan [2010-02-28 19:34:30] 1561*2^670293-1 is not prime. Res64: 866EBECD3C2F5D5B Time : 643.0 sec. user=vaughan [2010-02-28 19:35:47] 1579*2^670293-1 is not prime. Res64: C46933785FF22A79 Time : 660.0 sec. user=vaughan [2010-02-28 19:36:18] 1599*2^670293-1 is not prime. Res64: 01BB7EC9E866D73A Time : 659.0 sec. user=vaughan [2010-02-28 19:36:28] 1605*2^670293-1 is not prime. Res64: C95F688F7915F29E Time : 644.0 sec. user=vaughan [2010-02-28 19:45:14] 1617*2^670293-1 is not prime. Res64: 9E75B74DAE221082 Time : 644.0 sec. user=vaughan [2010-02-28 19:46:46] 1629*2^670293-1 is not prime. Res64: 1358C7B3EC97A596 Time : 660.0 sec. user=vaughan [2010-02-28 19:47:11] 1669*2^670293-1 is not prime. Res64: C4C9CA1ADFE70D10 Time : 644.0 sec. user=vaughan [2010-02-28 19:47:17] 1651*2^670293-1 is not prime. Res64: 00C929CB99F2B75F Time : 659.0 sec. user=vaughan [2010-02-28 19:55:56] 1797*2^670293-1 is not prime. Res64: 0FE0CC600CB83053 Time : 643.0 sec. user=vaughan [2010-02-28 19:57:48] 1935*2^670293-1 is not prime. Res64: 29A441323EA83829 Time : 662.0 sec. user=vaughan [2010-02-28 19:57:55] 1941*2^670293-1 is not prime. Res64: 21C8D350FFDF8001 Time : 644.0 sec. user=vaughan [2010-02-28 19:58:17] 1401*2^670294-1 is not prime. Res64: DCE10725F4357CDA Time : 660.0 sec. user=vaughan [2010-02-28 20:06:40] 1475*2^670294-1 is not prime. Res64: F9BD8ADE97091009 Time : 644.0 sec. user=vaughan [2010-02-28 20:08:40] 1673*2^670294-1 is not prime. Res64: 2925B19B754001B8 Time : 645.0 sec. user=vaughan [2010-02-28 20:08:47] 1661*2^670294-1 is not prime. Res64: C5AC1702270D663D Time : 660.0 sec. user=vaughan [2010-02-28 20:09:16] 1763*2^670294-1 is not prime. Res64: 15F6B6032C1068B9 Time : 660.0 sec. user=vaughan [2010-02-28 20:17:24] 1773*2^670294-1 is not prime. Res64: AA7FAE5920382E04 Time : 644.0 sec. user=vaughan [2010-02-28 20:19:25] 1797*2^670294-1 is not prime. Res64: ECAB3CD3653C09A2 Time : 646.0 sec. user=vaughan [2010-02-28 20:19:47] 1851*2^670294-1 is not prime. Res64: 9C99FEC763865355 Time : 660.0 sec. user=vaughan [2010-02-28 20:20:16] 1883*2^670294-1 is not prime. Res64: 96671AAFC70D0620 Time : 660.0 sec. user=vaughan [2010-02-28 20:28:08] 1425*2^670295-1 is not prime. Res64: 457E9D98923CBA34 Time : 645.0 sec. user=vaughan [2010-02-28 20:30:09] 1501*2^670295-1 is not prime. Res64: 334C1A8E5B1BB318 Time : 645.0 sec. user=vaughan [2010-02-28 20:30:46] 1525*2^670295-1 is not prime. Res64: 32BA5F04FB1B7360 Time : 660.0 sec. user=vaughan [2010-02-28 20:31:16] 1615*2^670295-1 is not prime. Res64: 0AAD942FD2F9FF16 Time : 660.0 sec. user=vaughan [2010-02-28 20:38:51] 1729*2^670295-1 is not prime. Res64: ABE3FC73A457DC31 Time : 644.0 sec. user=vaughan [2010-02-28 20:40:54] 1791*2^670295-1 is not prime. Res64: 50537276D21D5EE3 Time : 645.0 sec. user=vaughan [2010-02-28 20:41:46] 1831*2^670295-1 is not prime. Res64: 9244A750502294BD Time : 660.0 sec. user=vaughan [2010-02-28 20:42:16] 1849*2^670295-1 is not prime. Res64: DF766F9CFFAC4779 Time : 661.0 sec. user=vaughan [2010-02-28 20:49:33] 1881*2^670295-1 is not prime. Res64: 9A9EF08451CDAC73 Time : 643.0 sec. user=vaughan [2010-02-28 20:51:39] 1915*2^670295-1 is not prime. Res64: DC70D41B6E949781 Time : 645.0 sec. user=vaughan [2010-02-28 20:52:46] 1607*2^670296-1 is not prime. Res64: C6BC5D76500016CC Time : 660.0 sec. user=vaughan [2010-02-28 20:53:17] 1637*2^670296-1 is not prime. Res64: E45527644C9C4462 Time : 661.0 sec. user=vaughan [2010-02-28 21:00:16] 1683*2^670296-1 is not prime. Res64: 514EE8717342BB10 Time : 643.0 sec. user=vaughan [2010-02-28 21:02:23] 1727*2^670296-1 is not prime. Res64: 9F16711AC49AC250 Time : 645.0 sec. user=vaughan [2010-02-28 21:03:45] 1775*2^670296-1 is not prime. Res64: AFA8F1FCCB52717B Time : 659.0 sec. user=vaughan [2010-02-28 21:04:17] 1865*2^670296-1 is not prime. Res64: 3A30CE26D20581C4 Time : 661.0 sec. user=vaughan [2010-02-28 21:10:59] 1895*2^670296-1 is not prime. Res64: F78E1817FFF7422A Time : 643.0 sec. user=vaughan [2010-02-28 21:13:07] 1435*2^670297-1 is not prime. Res64: FD70F22FCA30CFB9 Time : 644.0 sec. user=vaughan [2010-02-28 21:14:45] 1447*2^670297-1 is not prime. Res64: DC2CCFB6C7B16C76 Time : 660.0 sec. user=vaughan [2010-02-28 21:15:17] 1491*2^670297-1 is not prime. Res64: E9DFF7CF739EEDFB Time : 660.0 sec. user=vaughan [2010-02-28 21:21:42] 1561*2^670297-1 is not prime. Res64: A8BDE9967D43ECBD Time : 643.0 sec. user=vaughan [2010-02-28 21:23:52] 1617*2^670297-1 is not prime. Res64: B906A395E43BC49F Time : 645.0 sec. user=vaughan [2010-02-28 21:25:45] 1699*2^670297-1 is not prime. Res64: 8E1672C5678D1B21 Time : 660.0 sec. user=vaughan [2010-02-28 21:26:17] 1815*2^670297-1 is not prime. Res64: B585EE3471DD0949 Time : 660.0 sec. user=vaughan [2010-02-28 21:32:25] 1939*2^670297-1 is not prime. Res64: 454A0E4DE69641D1 Time : 643.0 sec. user=vaughan [2010-02-28 21:34:36] 1969*2^670297-1 is not prime. Res64: 8DC8FF32AC27D4BF Time : 645.0 sec. user=vaughan [2010-02-28 21:36:44] 1975*2^670297-1 is not prime. Res64: 30075A599F868C33 Time : 660.0 sec. user=vaughan [2010-02-28 21:37:16] 1995*2^670297-1 is not prime. Res64: A1F7F2E91696AA72 Time : 660.0 sec. user=vaughan [2010-02-28 21:43:09] 1413*2^670298-1 is not prime. Res64: 10C660D929210D1A Time : 644.0 sec. user=vaughan [2010-02-28 21:45:21] 1581*2^670298-1 is not prime. Res64: C73810B24DD537CF Time : 645.0 sec. user=vaughan [2010-02-28 21:47:44] 1793*2^670298-1 is not prime. Res64: A8F5C55310E658F9 Time : 660.0 sec. user=vaughan [2010-02-28 21:48:16] 1441*2^670299-1 is not prime. Res64: 657F7B37D95228CD Time : 660.0 sec. user=vaughan [2010-02-28 21:53:52] 1473*2^670299-1 is not prime. Res64: 003FC5F44F85D4E6 Time : 644.0 sec. user=vaughan [2010-02-28 21:56:05] 1609*2^670299-1 is not prime. Res64: 81E978C7607C74AD Time : 645.0 sec. user=vaughan [2010-02-28 21:58:43] 1615*2^670299-1 is not prime. Res64: 7CE0BA541A6A3C1B Time : 660.0 sec. user=vaughan [2010-02-28 21:59:16] 1629*2^670299-1 is not prime. Res64: 6B0EA4E2AA4DC3A1 Time : 661.0 sec. user=vaughan [2010-02-28 22:04:36] 1755*2^670299-1 is not prime. Res64: A0ABE72733577CD6 Time : 645.0 sec. user=vaughan [2010-02-28 22:06:50] 1911*2^670299-1 is not prime. Res64: 0E74997CADAE4E60 Time : 645.0 sec. user=vaughan [2010-02-28 22:09:43] 1959*2^670299-1 is not prime. Res64: 46E720B69BFA6AE1 Time : 660.0 sec. user=vaughan [2010-02-28 22:10:15] 1457*2^670300-1 is not prime. Res64: 13CD85C3E66EE3F9 Time : 659.0 sec. user=vaughan [2010-02-28 22:15:18] 1545*2^670300-1 is not prime. Res64: AE4C20D4B0694518 Time : 643.0 sec. user=vaughan [2010-02-28 22:17:34] 1547*2^670300-1 is not prime. Res64: CB5ED9ED6608B55B Time : 644.0 sec. user=vaughan [2010-02-28 22:20:42] 1625*2^670300-1 is not prime. Res64: E635DD4A33C1C06F Time : 659.0 sec. user=vaughan [2010-02-28 22:21:17] 1679*2^670300-1 is not prime. Res64: FAE3C79BAC1A862C Time : 662.0 sec. user=vaughan [2010-02-28 22:26:01] 1713*2^670300-1 is not prime. Res64: CF1C6BA7F7160F25 Time : 643.0 sec. user=vaughan [2010-02-28 22:28:19] 1787*2^670300-1 is not prime. Res64: 3EBC4B9AB951D2C7 Time : 645.0 sec. user=vaughan [2010-02-28 22:31:42] 1889*2^670300-1 is not prime. Res64: 49AEEA635AF9B53B Time : 660.0 sec. user=vaughan [2010-02-28 22:32:17] 1925*2^670300-1 is not prime. Res64: 98528BFB419457DC Time : 661.0 sec. user=vaughan [2010-02-28 22:36:44] 1949*2^670300-1 is not prime. Res64: E1EA97D44D152D0A Time : 643.0 sec. user=vaughan [2010-02-28 22:39:02] 1967*2^670300-1 is not prime. Res64: CB5DA88423C3770A Time : 644.0 sec. user=vaughan [2010-02-28 22:42:42] 1979*2^670300-1 is not prime. Res64: 5AF03557EAE5D21B Time : 660.0 sec. user=vaughan [2010-02-28 22:43:17] 1983*2^670300-1 is not prime. Res64: D806B4EE47852B45 Time : 660.0 sec. user=vaughan [2010-02-28 22:47:27] 1455*2^670301-1 is not prime. Res64: C65CAD5C27DA30FD Time : 643.0 sec. user=vaughan [2010-02-28 22:49:47] 1459*2^670301-1 is not prime. Res64: B22E9029E410BB9E Time : 645.0 sec. user=vaughan [2010-02-28 22:53:41] 1471*2^670301-1 is not prime. Res64: 4B11DFC8C71D7709 Time : 659.0 sec. user=vaughan [2010-02-28 22:54:16] 1485*2^670301-1 is not prime. Res64: FEF8F1D14A1FE1F7 Time : 659.0 sec. user=vaughan [2010-02-28 22:58:10] 1525*2^670301-1 is not prime. Res64: 61999E680DDBFA06 Time : 643.0 sec. user=vaughan [2010-02-28 23:00:31] 1551*2^670301-1 is not prime. Res64: 62DAD5DC0D4546DD Time : 645.0 sec. user=vaughan [2010-02-28 23:04:40] 1561*2^670301-1 is not prime. Res64: 948E594BF33DE785 Time : 660.0 sec. user=vaughan [2010-02-28 23:05:15] 1575*2^670301-1 is not prime. Res64: 10DE686456D9E371 Time : 659.0 sec. user=vaughan [2010-02-28 23:08:52] 1609*2^670301-1 is not prime. Res64: ABD883A7E4B41E4F Time : 643.0 sec. user=vaughan [2010-02-28 23:11:16] 1671*2^670301-1 is not prime. Res64: 1901CC697C68BFBA Time : 645.0 sec. user=vaughan [2010-02-28 23:15:40] 1735*2^670301-1 is not prime. Res64: 05EB987A80061F25 Time : 660.0 sec. user=vaughan [2010-02-28 23:16:14] 1431*2^670302-1 is not prime. Res64: 6E7613642BB05A1E Time : 660.0 sec. user=vaughan [2010-02-28 23:19:35] 1475*2^670302-1 is not prime. Res64: 326A6E5129BB84DA Time : 643.0 sec. user=vaughan [2010-02-28 23:22:00] 1515*2^670302-1 is not prime. Res64: B5F4D85939F57684 Time : 645.0 sec. user=vaughan [2010-02-28 23:26:40] 1641*2^670302-1 is not prime. Res64: EBF4DD73A0E416C3 Time : 661.0 sec. user=vaughan [2010-02-28 23:27:14] 1655*2^670302-1 is not prime. Res64: E8D9C8951358354B Time : 660.0 sec. user=vaughan [2010-02-28 23:30:18] 1691*2^670302-1 is not prime. Res64: 26A2C0D590314026 Time : 643.0 sec. user=vaughan [2010-02-28 23:32:43] 1731*2^670302-1 is not prime. Res64: B20AF34FF3F83420 Time : 643.0 sec. user=vaughan [2010-02-28 23:37:40] 1797*2^670302-1 is not prime. Res64: 133090499697A1E8 Time : 660.0 sec. user=vaughan [2010-02-28 23:38:13] 1815*2^670302-1 is not prime. Res64: 69B120200A8E83FA Time : 659.0 sec. user=vaughan [2010-02-28 23:41:36] 1847*2^670302-1 is not prime. Res64: 9DECBD841CE2377C Time : 679.0 sec. user=vaughan [2010-02-28 23:45:57] 1967*2^670302-1 is not prime. Res64: AB4BA65A5604FAAC Time : 794.0 sec. user=vaughan [2010-02-28 23:58:25] 1489*2^670303-1 is not prime. Res64: 8314B981F77A965A Time : 1246.0 sec. user=vaughan [2010-02-28 23:59:26] 1555*2^670303-1 is not prime. Res64: 55ED4A77F99EB514 Time : 1273.0 sec. user=vaughan [2010-03-01 00:00:00] 1563*2^670303-1 is not prime. Res64: 2CA3CD4D380FEFD8 Time : 1104.0 sec.