user=vaughan [2010-02-20 00:10:01] 1473*2^670012-1 is not prime. Res64: 6AE00D54BC385B4C Time : 651.0 sec. user=vaughan [2010-02-20 00:10:16] 1493*2^670012-1 is not prime. Res64: E1243488FFECEE1C Time : 650.0 sec. user=vaughan [2010-02-20 00:10:43] 1503*2^670012-1 is not prime. Res64: 2F293E20ED189CDF Time : 654.0 sec. user=vaughan [2010-02-20 00:10:46] 1623*2^670012-1 is not prime. Res64: 7D2045572ACA3864 Time : 653.0 sec. user=vaughan [2010-02-20 00:20:51] 1703*2^670012-1 is not prime. Res64: 246196EBBD5576DD Time : 651.0 sec. user=vaughan [2010-02-20 00:21:07] 1839*2^670012-1 is not prime. Res64: 2FFC0BA388E1AC0B Time : 651.0 sec. user=vaughan [2010-02-20 00:21:37] 1863*2^670012-1 is not prime. Res64: 5002D03F2FABF047 Time : 654.0 sec. user=vaughan [2010-02-20 00:21:41] 1935*2^670012-1 is not prime. Res64: 8B57E41E360F6862 Time : 655.0 sec. user=vaughan [2010-02-20 00:31:41] 1949*2^670012-1 is not prime. Res64: 8AC7E74565EB1959 Time : 650.0 sec. user=vaughan [2010-02-20 00:31:57] 1967*2^670012-1 is not prime. Res64: 93C926CA6A75F98B Time : 651.0 sec. user=vaughan [2010-02-20 00:32:31] 1997*2^670012-1 is not prime. Res64: 0F562A64FD9E36C8 Time : 655.0 sec. user=vaughan [2010-02-20 00:32:35] 1405*2^670013-1 is not prime. Res64: 915D5FA8673B0B9D Time : 654.0 sec. user=vaughan [2010-02-20 00:42:32] 1501*2^670013-1 is not prime. Res64: C84654C1E68AAF73 Time : 651.0 sec. user=vaughan [2010-02-20 00:42:47] 1557*2^670013-1 is not prime. Res64: 6EEE4483A5F6ED96 Time : 650.0 sec. user=vaughan [2010-02-20 00:43:25] 1747*2^670013-1 is not prime. Res64: 6541714E3D828106 Time : 655.0 sec. user=vaughan [2010-02-20 00:43:29] 1777*2^670013-1 is not prime. Res64: C7F81D986D3BB63A Time : 655.0 sec. user=vaughan [2010-02-20 00:53:23] 1875*2^670013-1 is not prime. Res64: D3ED153126BDA143 Time : 651.0 sec. user=vaughan [2010-02-20 00:53:38] 1797*2^670014-1 is not prime. Res64: A758241572F3719B Time : 651.0 sec. user=vaughan [2010-02-20 00:54:19] 1875*2^670014-1 is not prime. Res64: 43DDD1328D17AF15 Time : 655.0 sec. user=vaughan [2010-02-20 00:54:22] 1883*2^670014-1 is not prime. Res64: E5CCA46422D7774A Time : 654.0 sec. user=vaughan [2010-02-20 01:04:13] 1531*2^670015-1 is not prime. Res64: 2FBFF63ADE31FEE4 Time : 651.0 sec. user=vaughan [2010-02-20 01:04:28] 1659*2^670015-1 is not prime. Res64: 38D46EB187D70B99 Time : 651.0 sec. user=vaughan [2010-02-20 01:05:11] 1665*2^670015-1 is not prime. Res64: D306B3725804A5FA Time : 653.0 sec. user=vaughan [2010-02-20 01:05:16] 1669*2^670015-1 is not prime. Res64: A91BD2B05E53905D Time : 655.0 sec. user=vaughan [2010-02-20 01:15:04] 1725*2^670015-1 is not prime. Res64: 92D11F91C404698C Time : 651.0 sec. user=vaughan [2010-02-20 01:15:19] 1731*2^670015-1 is not prime. Res64: 9452D7E93ADAFBB3 Time : 651.0 sec. user=vaughan [2010-02-20 01:16:06] 1843*2^670015-1 is not prime. Res64: 6072FD5FAF4A03C6 Time : 655.0 sec. user=vaughan [2010-02-20 01:16:11] 1863*2^670015-1 is not prime. Res64: FF158E30BE24495E Time : 655.0 sec. user=vaughan [2010-02-20 01:25:54] 1945*2^670015-1 is not prime. Res64: B66459E6397887C4 Time : 651.0 sec. user=vaughan [2010-02-20 01:26:09] 1975*2^670015-1 is not prime. Res64: DF05101B490B3BC1 Time : 651.0 sec. user=vaughan [2010-02-20 01:27:00] 1587*2^670016-1 is not prime. Res64: FFEDC5B30B8DC458 Time : 655.0 sec. user=vaughan [2010-02-20 01:27:05] 1623*2^670016-1 is not prime. Res64: 3F9F3315D6AE3AC6 Time : 654.0 sec. user=vaughan [2010-02-20 01:36:44] 1695*2^670016-1 is not prime. Res64: 76D0BE04B2B9D546 Time : 650.0 sec. user=vaughan [2010-02-20 01:36:59] 1713*2^670016-1 is not prime. Res64: ECB6653FFE3479A7 Time : 650.0 sec. user=vaughan [2010-02-20 01:37:55] 1835*2^670016-1 is not prime. Res64: C3B63AE24135D603 Time : 655.0 sec. user=vaughan [2010-02-20 01:37:59] 1935*2^670016-1 is not prime. Res64: 759DC429893B0CDD Time : 654.0 sec. user=vaughan [2010-02-20 01:51:32] 1947*2^670016-1 is not prime. Res64: 4D0385E3BBC3D755 Time : 888.0 sec. user=vaughan [2010-02-20 01:51:47] 1441*2^670017-1 is not prime. Res64: 182A68CF57CCC034 Time : 888.0 sec. user=vaughan [2010-02-20 01:52:43] 1459*2^670017-1 is not prime. Res64: 35A5BB229A37B8FE Time : 889.0 sec. user=vaughan [2010-02-20 01:52:49] 1461*2^670017-1 is not prime. Res64: 474B25FDDA8F0F66 Time : 890.0 sec. user=vaughan [2010-02-20 02:02:26] 1561*2^670017-1 is not prime. Res64: 543ED9BC60743A1D Time : 654.0 sec. user=vaughan [2010-02-20 02:02:40] 1615*2^670017-1 is not prime. Res64: 75ED0FBA335C1014 Time : 654.0 sec. user=vaughan [2010-02-20 02:03:41] 1677*2^670017-1 is not prime. Res64: CC5B5739896C882E Time : 658.0 sec. user=vaughan [2010-02-20 02:03:46] 1729*2^670017-1 is not prime. Res64: 8D62A4440DD6BEE6 Time : 658.0 sec. user=vaughan [2010-02-20 02:13:42] 1767*2^670017-1 is not prime. Res64: 18DEBE63CD81132E Time : 676.0 sec. user=vaughan [2010-02-20 02:13:56] 1809*2^670017-1 is not prime. Res64: F52418520B3526CA Time : 676.0 sec. user=vaughan [2010-02-20 02:15:03] 1819*2^670017-1 is not prime. Res64: 3436F0B8331AC24B Time : 683.0 sec. user=vaughan [2010-02-20 02:15:05] 1839*2^670017-1 is not prime. Res64: C990EBBEFBA1A463 Time : 679.0 sec. user=vaughan [2010-02-20 02:24:51] 1887*2^670017-1 is not prime. Res64: 7C4624AB7CD92B12 Time : 669.0 sec. user=vaughan [2010-02-20 02:25:06] 1987*2^670017-1 is not prime. Res64: B5FA9A05893F314B Time : 670.0 sec. user=vaughan [2010-02-20 02:26:04] 1403*2^670018-1 is not prime. Res64: 69CE982C1FF81754 Time : 662.0 sec. user=vaughan [2010-02-20 02:26:06] 1485*2^670018-1 is not prime. Res64: 10813C9A43477B52 Time : 661.0 sec. user=vaughan [2010-02-20 02:35:46] 1575*2^670018-1 is not prime. Res64: 46A4BF5F1EB2D8B4 Time : 655.0 sec. user=vaughan [2010-02-20 02:36:00] 1637*2^670018-1 is not prime. Res64: 48E95032BF172416 Time : 654.0 sec. user=vaughan [2010-02-20 02:37:00] 1715*2^670018-1 is not prime. Res64: EB5F20DD4462AEE3 Time : 656.0 sec. user=vaughan [2010-02-20 02:37:02] 1755*2^670018-1 is not prime. Res64: ACFA54E411371A0B Time : 657.0 sec. user=vaughan [2010-02-20 02:46:39] 1793*2^670018-1 is not prime. Res64: 77683986E09F88EF Time : 654.0 sec. user=vaughan [2010-02-20 02:46:54] 1875*2^670018-1 is not prime. Res64: AD18CBC3185B996D Time : 655.0 sec. user=vaughan [2010-02-20 02:47:57] 1935*2^670018-1 is not prime. Res64: EA1EBDF84E15CDEA Time : 657.0 sec. user=vaughan [2010-02-20 02:48:00] 1953*2^670018-1 is not prime. Res64: 5EF041F8F44FA324 Time : 658.0 sec. user=vaughan [2010-02-20 02:57:32] 1955*2^670018-1 is not prime. Res64: 0A0F7A8FE9D0DC49 Time : 653.0 sec. user=vaughan [2010-02-20 02:57:47] 1573*2^670019-1 is not prime. Res64: AB48D665CAAD5D02 Time : 653.0 sec. user=vaughan [2010-02-20 02:58:53] 1725*2^670019-1 is not prime. Res64: 24A7ABA8B9527760 Time : 656.0 sec. user=vaughan [2010-02-20 02:58:57] 1785*2^670019-1 is not prime. Res64: FA1080E49D613DAA Time : 659.0 sec. user=vaughan [2010-02-20 03:08:26] 1803*2^670019-1 is not prime. Res64: 1B471B9E2D0F0539 Time : 654.0 sec. user=vaughan [2010-02-20 03:08:42] 1909*2^670019-1 is not prime. Res64: B28E83AF7663E8FC Time : 655.0 sec. user=vaughan [2010-02-20 03:09:50] 1945*2^670019-1 is not prime. Res64: F43B865EB93B8B90 Time : 657.0 sec. user=vaughan [2010-02-20 03:09:53] 1951*2^670019-1 is not prime. Res64: 1A01331CC4A252FD Time : 657.0 sec. user=vaughan [2010-02-20 03:19:19] 1981*2^670019-1 is not prime. Res64: FF7428CFA57FEF76 Time : 653.0 sec. user=vaughan [2010-02-20 03:19:35] 1437*2^670020-1 is not prime. Res64: 6D22FA09030E651C Time : 654.0 sec. user=vaughan [2010-02-20 03:20:47] 1439*2^670020-1 is not prime. Res64: A24A1C80353B0AF5 Time : 657.0 sec. user=vaughan [2010-02-20 03:20:49] 1479*2^670020-1 is not prime. Res64: 9BC45591928F387F Time : 656.0 sec. user=vaughan [2010-02-20 03:30:13] 1545*2^670020-1 is not prime. Res64: 256C0F7F21888B64 Time : 654.0 sec. user=vaughan [2010-02-20 03:30:28] 1605*2^670020-1 is not prime. Res64: 4637D34D7F766A5E Time : 653.0 sec. user=vaughan [2010-02-20 03:31:43] 1619*2^670020-1 is not prime. Res64: 755C442F9E019C9F Time : 657.0 sec. user=vaughan [2010-02-20 03:31:46] 1637*2^670020-1 is not prime. Res64: 51BB73ACBEDA6E78 Time : 657.0 sec. user=vaughan [2010-02-20 03:41:06] 1677*2^670020-1 is not prime. Res64: 116648E42D08159D Time : 653.0 sec. user=vaughan [2010-02-20 03:41:22] 1689*2^670020-1 is not prime. Res64: E67A69C67A33D3CF Time : 654.0 sec. user=vaughan [2010-02-20 03:42:39] 1713*2^670020-1 is not prime. Res64: 7BC75E532C0F78F8 Time : 656.0 sec. user=vaughan [2010-02-20 03:42:42] 1829*2^670020-1 is not prime. Res64: E1A5883865341FA0 Time : 657.0 sec. user=vaughan [2010-02-20 03:52:00] 1845*2^670020-1 is not prime. Res64: 5895DD7D626E9EC4 Time : 654.0 sec. user=vaughan [2010-02-20 03:52:15] 1943*2^670020-1 is not prime. Res64: 4DF6E2D5A49DD802 Time : 654.0 sec. user=vaughan [2010-02-20 03:53:36] 1967*2^670020-1 is not prime. Res64: A8385A31CD6F44E0 Time : 657.0 sec. user=vaughan [2010-02-20 03:53:37] 1501*2^670021-1 is not prime. Res64: 4AB27802A8810ADC Time : 655.0 sec. user=vaughan [2010-02-20 04:03:00] 1569*2^670021-1 is not prime. Res64: 4826E84094E6DA81 Time : 660.0 sec. user=vaughan [2010-02-20 04:03:16] 1575*2^670021-1 is not prime. Res64: 8706E63CA5188431 Time : 661.0 sec. user=vaughan [2010-02-20 04:04:44] 1591*2^670021-1 is not prime. Res64: 270B8F663BC3E968 Time : 668.0 sec. user=vaughan [2010-02-20 04:04:46] 1605*2^670021-1 is not prime. Res64: 412F2023616F54D7 Time : 669.0 sec. user=vaughan [2010-02-20 04:14:26] 1609*2^670021-1 is not prime. Res64: C874827585FC91B9 Time : 687.0 sec. user=vaughan [2010-02-20 04:14:40] 1627*2^670021-1 is not prime. Res64: 3E0ED75AA8DF7D76 Time : 685.0 sec. user=vaughan [2010-02-20 04:15:55] 1629*2^670021-1 is not prime. Res64: 8303A5EB4D990E2E Time : 671.0 sec. user=vaughan [2010-02-20 04:15:58] 1669*2^670021-1 is not prime. Res64: 2FCB95F34F49C19E Time : 673.0 sec. user=vaughan [2010-02-20 04:25:20] 1767*2^670021-1 is not prime. Res64: 24F35059387A87E4 Time : 654.0 sec. user=vaughan [2010-02-20 04:25:36] 1779*2^670021-1 is not prime. Res64: F44EB49682FCFBB7 Time : 656.0 sec. user=vaughan [2010-02-20 04:26:51] 1815*2^670021-1 is not prime. Res64: CE12AE46AAA3A43D Time : 656.0 sec. user=vaughan [2010-02-20 04:26:55] 1837*2^670021-1 is not prime. Res64: E71C707BC985919C Time : 657.0 sec. user=vaughan [2010-02-20 04:36:13] 1917*2^670021-1 is not prime. Res64: E99EAF53FE823897 Time : 654.0 sec. user=vaughan [2010-02-20 04:36:30] 1921*2^670021-1 is not prime. Res64: C5AB9B9825A62A37 Time : 654.0 sec. user=vaughan [2010-02-20 04:37:47] 1947*2^670021-1 is not prime. Res64: 8D76EBECBD2600F9 Time : 657.0 sec. user=vaughan [2010-02-20 04:37:59] 1445*2^670022-1 is not prime. Res64: 52852C36496A7139 Time : 665.0 sec. user=vaughan [2010-02-20 04:47:09] 1467*2^670022-1 is not prime. Res64: 39CA6D7EA143472A Time : 656.0 sec. user=vaughan [2010-02-20 04:47:25] 1523*2^670022-1 is not prime. Res64: 3BB4485FF745A86C Time : 655.0 sec. user=vaughan [2010-02-20 04:48:45] 1533*2^670022-1 is not prime. Res64: C9794FE6721AAE61 Time : 658.0 sec. user=vaughan [2010-02-20 04:48:58] 1545*2^670022-1 is not prime. Res64: 8B8C2DA6FB6A07C6 Time : 659.0 sec. user=vaughan [2010-02-20 04:58:02] 1595*2^670022-1 is not prime. Res64: C405BE2697D3F82A Time : 654.0 sec. user=vaughan [2010-02-20 04:58:19] 1611*2^670022-1 is not prime. Res64: B217E25D1FBF66BE Time : 654.0 sec. user=vaughan [2010-02-20 04:59:42] 1665*2^670022-1 is not prime. Res64: 57DE2AB2641BA7DE Time : 657.0 sec. user=vaughan [2010-02-20 04:59:55] 1677*2^670022-1 is not prime. Res64: 04D895C026908164 Time : 657.0 sec. user=vaughan [2010-02-20 05:08:56] 1715*2^670022-1 is not prime. Res64: 006A3BF9EF07180F Time : 654.0 sec. user=vaughan [2010-02-20 05:09:12] 1725*2^670022-1 is not prime. Res64: EFEA5D36960C4605 Time : 654.0 sec. user=vaughan [2010-02-20 05:10:39] 1877*2^670022-1 is not prime. Res64: 57ACF8EFA87CBD5C Time : 657.0 sec. user=vaughan [2010-02-20 05:10:52] 1419*2^670023-1 is not prime. Res64: 4D28AF3D93A015CA Time : 657.0 sec. user=vaughan [2010-02-20 05:19:49] 1479*2^670023-1 is not prime. Res64: AAF19C54260B44CE Time : 654.0 sec. user=vaughan [2010-02-20 05:20:06] 1483*2^670023-1 is not prime. Res64: 53A7ACDCAD195198 Time : 654.0 sec. user=vaughan [2010-02-20 05:21:36] 1489*2^670023-1 is not prime. Res64: 7878AA34D9A117E1 Time : 657.0 sec. user=vaughan [2010-02-20 05:21:49] 1533*2^670023-1 is not prime. Res64: 843E7CE8532AE282 Time : 657.0 sec. user=vaughan [2010-02-20 05:30:42] 1713*2^670023-1 is not prime. Res64: D7B62726107DD495 Time : 653.0 sec. user=vaughan [2010-02-20 05:30:59] 1729*2^670023-1 is not prime. Res64: 42F09E16F98E3811 Time : 654.0 sec. user=vaughan [2010-02-20 05:32:33] 1743*2^670023-1 is not prime. Res64: EA739ECCE62450DF Time : 657.0 sec. user=vaughan [2010-02-20 05:32:46] 1815*2^670023-1 is not prime. Res64: F90BBCBD80763E7F Time : 658.0 sec. user=vaughan [2010-02-20 05:41:37] 1433*2^670024-1 is not prime. Res64: CBB9C959782B3CF7 Time : 655.0 sec. user=vaughan [2010-02-20 05:41:52] 1457*2^670024-1 is not prime. Res64: 8B513FBF2CB7E8B0 Time : 653.0 sec. user=vaughan [2010-02-20 05:43:29] 1493*2^670024-1 is not prime. Res64: 6EDBF4A4BC0D9A03 Time : 657.0 sec. user=vaughan [2010-02-20 05:43:44] 1499*2^670024-1 is not prime. Res64: 1989EECEC03F19A1 Time : 659.0 sec. user=vaughan [2010-02-20 05:52:29] 1503*2^670024-1 is not prime. Res64: 7956E9E48490B469 Time : 652.0 sec. user=vaughan [2010-02-20 05:52:45] 1557*2^670024-1 is not prime. Res64: 4738D3292DF431CB Time : 653.0 sec. user=vaughan [2010-02-20 05:54:26] 1577*2^670024-1 is not prime. Res64: 1A6CECB9802A0089 Time : 657.0 sec. user=vaughan [2010-02-20 05:54:42] 1587*2^670024-1 is not prime. Res64: 8F7A690510FA74C1 Time : 659.0 sec. user=vaughan [2010-02-20 06:03:56] 1685*2^670024-1 is not prime. Res64: C674C7CB9B8D0459 Time : 687.0 sec. user=vaughan [2010-02-20 06:04:11] 1737*2^670024-1 is not prime. Res64: B26DE09F5C65F8DF Time : 686.0 sec. user=vaughan [2010-02-20 06:05:52] 1779*2^670024-1 is not prime. Res64: 9937DD0446C4D48F Time : 686.0 sec. user=vaughan [2010-02-20 06:06:08] 1799*2^670024-1 is not prime. Res64: 816DC886D935120A Time : 686.0 sec. user=vaughan [2010-02-20 06:14:53] 1869*2^670024-1 is not prime. Res64: 952A630A8573EC9A Time : 657.0 sec. user=vaughan [2010-02-20 06:15:09] 1979*2^670024-1 is not prime. Res64: 5767FAC502B9E106 Time : 658.0 sec. user=vaughan [2010-02-20 06:16:48] 1983*2^670024-1 is not prime. Res64: D89C5CE9958F7F89 Time : 657.0 sec. user=vaughan [2010-02-20 06:17:05] 1449*2^670025-1 is not prime. Res64: A1E5B4D9A8C9EBED Time : 658.0 sec. user=vaughan [2010-02-20 06:25:46] 1509*2^670025-1 is not prime. Res64: CCB5801DBB1F2E89 Time : 653.0 sec. user=vaughan [2010-02-20 06:26:02] 1557*2^670025-1 is not prime. Res64: 10354948E65E6C21 Time : 654.0 sec. user=vaughan [2010-02-20 06:27:45] 1681*2^670025-1 is not prime. Res64: 8CDE61F16BFEB23F Time : 657.0 sec. user=vaughan [2010-02-20 06:28:44] 1735*2^670025-1 is not prime. Res64: 2C10618C032970C2 Time : 700.0 sec. user=vaughan [2010-02-20 06:36:38] 1747*2^670025-1 is not prime. Res64: 4CCF1EA1835164D8 Time : 652.0 sec. user=vaughan [2010-02-20 06:36:54] 1839*2^670025-1 is not prime. Res64: B9B8FAF17FDF413C Time : 652.0 sec. user=vaughan [2010-02-20 06:38:41] 1849*2^670025-1 is not prime. Res64: DC064EAFC866FFCC Time : 656.0 sec. user=vaughan [2010-02-20 06:39:39] 1939*2^670025-1 is not prime. Res64: DAC1C990B4291411 Time : 656.0 sec. user=vaughan [2010-02-20 06:47:32] 1965*2^670025-1 is not prime. Res64: 90080477DAB36F96 Time : 654.0 sec. user=vaughan [2010-02-20 06:47:48] 1425*2^670026-1 is not prime. Res64: 75515C2FA4EC5B72 Time : 654.0 sec. user=vaughan [2010-02-20 06:49:38] 1427*2^670026-1 is not prime. Res64: 37D4CB4BB7041C2E Time : 657.0 sec. user=vaughan [2010-02-20 06:50:36] 1445*2^670026-1 is not prime. Res64: 38CF526E0B732D46 Time : 657.0 sec. user=vaughan [2010-02-20 06:58:25] 1511*2^670026-1 is not prime. Res64: 5C9BDC1B3B42D85B Time : 654.0 sec. user=vaughan [2010-02-20 06:58:41] 1551*2^670026-1 is not prime. Res64: 7FCA1B8051575E5F Time : 654.0 sec. user=vaughan [2010-02-20 07:00:35] 1571*2^670026-1 is not prime. Res64: D1399955EFA742B5 Time : 657.0 sec. user=vaughan [2010-02-20 07:01:32] 1587*2^670026-1 is not prime. Res64: 399206F2B3C0D278 Time : 656.0 sec. user=vaughan [2010-02-20 07:09:19] 1595*2^670026-1 is not prime. Res64: 3DD6DC339BA38FDC Time : 654.0 sec. user=vaughan [2010-02-20 07:09:33] 1691*2^670026-1 is not prime. Res64: A3DBF6367FEF25C5 Time : 652.0 sec. user=vaughan [2010-02-20 07:11:31] 1707*2^670026-1 is not prime. Res64: 549F10B1034EB0B9 Time : 657.0 sec. user=vaughan [2010-02-20 07:12:29] 1763*2^670026-1 is not prime. Res64: 93D2C967344DEED0 Time : 657.0 sec. user=vaughan [2010-02-20 07:20:13] 1773*2^670026-1 is not prime. Res64: 81D775DA54E10D65 Time : 654.0 sec. user=vaughan [2010-02-20 07:20:30] 1775*2^670026-1 is not prime. Res64: 58B3F3F5C412C486 Time : 657.0 sec. user=vaughan [2010-02-20 07:22:28] 1817*2^670026-1 is not prime. Res64: D9B6063B8F3C9CB0 Time : 658.0 sec. user=vaughan [2010-02-20 07:23:25] 1833*2^670026-1 is not prime. Res64: 22E8D0FE56F82E2E Time : 656.0 sec. user=vaughan [2010-02-20 07:31:06] 1887*2^670026-1 is not prime. Res64: 785AC61FD39B07A9 Time : 654.0 sec. user=vaughan [2010-02-20 07:31:23] 1925*2^670026-1 is not prime. Res64: B5ADE37200617602 Time : 653.0 sec. user=vaughan [2010-02-20 07:33:24] 1943*2^670026-1 is not prime. Res64: 7DBD14ED0604F454 Time : 657.0 sec. user=vaughan [2010-02-20 07:34:22] 1997*2^670026-1 is not prime. Res64: 4DF7C5FC0CCDE7C3 Time : 657.0 sec. user=vaughan [2010-02-20 07:41:59] 1459*2^670027-1 is not prime. Res64: 89586C4D84DDB187 Time : 653.0 sec. user=vaughan [2010-02-20 07:42:17] 1473*2^670027-1 is not prime. Res64: D62AF420B6F5A7D5 Time : 654.0 sec. user=vaughan [2010-02-20 07:44:21] 1519*2^670027-1 is not prime. Res64: C46E25321B0A0940 Time : 657.0 sec. user=vaughan [2010-02-20 07:45:17] 1531*2^670027-1 is not prime. Res64: E07F978A225649A9 Time : 655.0 sec. user=vaughan [2010-02-20 07:53:10] 1575*2^670027-1 is not prime. Res64: 6647F7CEBB5F43A6 Time : 671.0 sec. user=vaughan [2010-02-20 07:53:28] 1599*2^670027-1 is not prime. Res64: BB646CE08DBC1983 Time : 671.0 sec. user=vaughan [2010-02-20 07:55:35] 1639*2^670027-1 is not prime. Res64: A24D4A691BA6CF64 Time : 675.0 sec. user=vaughan [2010-02-20 07:56:38] 1879*2^670027-1 is not prime. Res64: A3EEBDEC1D4F4F78 Time : 681.0 sec. user=vaughan [2010-02-20 08:04:26] 1903*2^670027-1 is not prime. Res64: 089DFCD877E444CB Time : 677.0 sec. user=vaughan [2010-02-20 08:04:43] 1909*2^670027-1 is not prime. Res64: C39EFB47ACB525A6 Time : 676.0 sec. user=vaughan [2010-02-20 08:06:42] 1981*2^670027-1 is not prime. Res64: F98AD730EBC3FF4E Time : 668.0 sec. user=vaughan [2010-02-20 08:07:41] 1413*2^670028-1 is not prime. Res64: ED6E9B73AE0EB132 Time : 663.0 sec. user=vaughan [2010-02-20 08:15:21] 1449*2^670028-1 is not prime. Res64: 0D3D20CE80AD3261 Time : 655.0 sec. user=vaughan [2010-02-20 08:15:37] 1499*2^670028-1 is not prime. Res64: 4F2C46880C0932F6 Time : 654.0 sec. user=vaughan [2010-02-20 08:17:39] 1505*2^670028-1 is not prime. Res64: D26C5AD2D72666DF Time : 657.0 sec. user=vaughan [2010-02-20 08:18:37] 1545*2^670028-1 is not prime. Res64: 866CA0CC8A82752E Time : 657.0 sec. user=vaughan [2010-02-20 08:26:14] 1575*2^670028-1 is not prime. Res64: A6CCEA21AEC0DCC0 Time : 656.0 sec. user=vaughan [2010-02-20 08:26:29] 1629*2^670028-1 is not prime. Res64: 50A332D0A2EAC42C Time : 652.0 sec. user=vaughan [2010-02-20 08:28:36] 1635*2^670028-1 is not prime. Res64: A78BD573DEDC7281 Time : 657.0 sec. user=vaughan [2010-02-20 08:29:34] 1769*2^670028-1 is not prime. Res64: 6A2D829326B911D8 Time : 657.0 sec. user=vaughan [2010-02-20 08:37:08] 1455*2^670029-1 is not prime. Res64: 9F39CE0D7C40EFAC Time : 654.0 sec. user=vaughan [2010-02-20 08:37:22] 1467*2^670029-1 is not prime. Res64: 5B54960B59A99251 Time : 653.0 sec. user=vaughan [2010-02-20 08:39:32] 1479*2^670029-1 is not prime. Res64: 9FA78B72AAE95AFF Time : 656.0 sec. user=vaughan [2010-02-20 08:40:30] 1501*2^670029-1 is not prime. Res64: 7BC9D704A9592F7C Time : 657.0 sec. user=vaughan [2010-02-20 08:48:00] 1557*2^670029-1 is not prime. Res64: BAD1F687F4301502 Time : 653.0 sec. user=vaughan [2010-02-20 08:48:14] 1627*2^670029-1 is not prime. Res64: C0CE5C8CB5CCC6FD Time : 653.0 sec. user=vaughan [2010-02-20 08:50:29] 1629*2^670029-1 is not prime. Res64: 9B39EEEB9C092D74 Time : 657.0 sec. user=vaughan [2010-02-20 08:51:26] 1771*2^670029-1 is not prime. Res64: 81FA3EC5F6B3980F Time : 656.0 sec. user=vaughan [2010-02-20 08:58:53] 1857*2^670029-1 is not prime. Res64: 1B03AEEAE9BD87D2 Time : 653.0 sec. user=vaughan [2010-02-20 08:59:06] 1875*2^670029-1 is not prime. Res64: C87F2A011F710266 Time : 652.0 sec. user=vaughan [2010-02-20 09:01:26] 1881*2^670029-1 is not prime. Res64: 8C98F2C0CC42489B Time : 657.0 sec. user=vaughan [2010-02-20 09:02:23] 1887*2^670029-1 is not prime. Res64: 4F461E9E9247A43B Time : 657.0 sec. user=vaughan [2010-02-20 09:09:46] 1897*2^670029-1 is not prime. Res64: B45A75DAEAB4919E Time : 654.0 sec. user=vaughan [2010-02-20 09:10:00] 1909*2^670029-1 is not prime. Res64: 071BE36FE00B66B8 Time : 654.0 sec. user=vaughan [2010-02-20 09:12:23] 1941*2^670029-1 is not prime. Res64: EEDF4997B3341E0E Time : 657.0 sec. user=vaughan [2010-02-20 09:13:20] 1957*2^670029-1 is not prime. Res64: 6EC5CC109FCF7EBE Time : 657.0 sec. user=vaughan [2010-02-20 09:20:40] 1959*2^670029-1 is not prime. Res64: 007C45590205A567 Time : 654.0 sec. user=vaughan [2010-02-20 09:20:52] 1981*2^670029-1 is not prime. Res64: 2007AB1D5D5DBA0F Time : 653.0 sec. user=vaughan [2010-02-20 09:23:20] 1987*2^670029-1 is not prime. Res64: 12D2C585AF07B744 Time : 657.0 sec. user=vaughan [2010-02-20 09:24:17] 1455*2^670030-1 is not prime. Res64: BA7762F9A15281B4 Time : 658.0 sec. user=vaughan [2010-02-20 09:31:33] 1457*2^670030-1 is not prime. Res64: 2ADF41E375762241 Time : 654.0 sec. user=vaughan [2010-02-20 09:31:45] 1491*2^670030-1 is not prime. Res64: 697AC1FDE363D8AC Time : 653.0 sec. user=vaughan [2010-02-20 09:34:17] 1703*2^670030-1 is not prime. Res64: B5070AD6F20503CC Time : 658.0 sec. user=vaughan [2010-02-20 09:35:13] 1881*2^670030-1 is not prime. Res64: 7E1846195FB8C247 Time : 656.0 sec. user=vaughan [2010-02-20 09:42:28] 1955*2^670030-1 is not prime. Res64: D0ABC0D09E385193 Time : 655.0 sec. user=vaughan [2010-02-20 09:42:40] 1977*2^670030-1 is not prime. Res64: 0D0670AF26EC53D2 Time : 655.0 sec. user=vaughan [2010-02-20 09:45:23] 1429*2^670031-1 is not prime. Res64: 97F7F206A2DE73F2 Time : 666.0 sec. user=vaughan [2010-02-20 09:46:23] 1443*2^670031-1 is not prime. Res64: 02B79C1842F624B3 Time : 670.0 sec. user=vaughan [2010-02-20 09:53:59] 1539*2^670031-1 is not prime. Res64: 8769AF02D88169A7 Time : 691.0 sec. user=vaughan [2010-02-20 09:54:10] 1671*2^670031-1 is not prime. Res64: 77C382AD3EADE7D2 Time : 690.0 sec. user=vaughan [2010-02-20 09:56:42] 1791*2^670031-1 is not prime. Res64: 9C1B3F2D594B03B2 Time : 680.0 sec. user=vaughan [2010-02-20 09:57:32] 1863*2^670031-1 is not prime. Res64: 7F32410833113146 Time : 670.0 sec. user=vaughan [2010-02-20 10:04:52] 1903*2^670031-1 is not prime. Res64: DF4FC665F255114B Time : 654.0 sec. user=vaughan [2010-02-20 10:05:03] 1951*2^670031-1 is not prime. Res64: FCAFB9DAC7C3E3D6 Time : 654.0 sec. user=vaughan [2010-02-20 10:07:39] 1449*2^670032-1 is not prime. Res64: 93519BB95F92D40C Time : 658.0 sec. user=vaughan [2010-02-20 10:08:28] 1479*2^670032-1 is not prime. Res64: 12C19BF5FE0BDD41 Time : 657.0 sec. user=vaughan [2010-02-20 10:15:46] 1505*2^670032-1 is not prime. Res64: F9EBE9E2811FC0C0 Time : 654.0 sec. user=vaughan [2010-02-20 10:15:56] 1517*2^670032-1 is not prime. Res64: 4140BCD834C21AD3 Time : 653.0 sec. user=vaughan [2010-02-20 10:18:36] 1523*2^670032-1 is not prime. Res64: 0ECA4E6EF22B62BA Time : 657.0 sec. user=vaughan [2010-02-20 10:19:26] 1533*2^670032-1 is not prime. Res64: 0F9D17DBF7B76456 Time : 658.0 sec. user=vaughan [2010-02-20 10:26:39] 1545*2^670032-1 is not prime. Res64: 2F148D0E78196E3A Time : 654.0 sec. user=vaughan [2010-02-20 10:26:50] 1679*2^670032-1 is not prime. Res64: 56D51C6E86BAD335 Time : 654.0 sec. user=vaughan [2010-02-20 10:29:34] 1833*2^670032-1 is not prime. Res64: F1F78DE854708472 Time : 658.0 sec. user=vaughan [2010-02-20 10:30:23] 1845*2^670032-1 is not prime. Res64: D9B6C1FE787749BE Time : 657.0 sec. user=vaughan [2010-02-20 10:37:33] 1883*2^670032-1 is not prime. Res64: 5D2D3392C37CF3F9 Time : 654.0 sec. user=vaughan [2010-02-20 10:37:43] 1953*2^670032-1 is not prime. Res64: B2ABE0E967CB868F Time : 654.0 sec. user=vaughan [2010-02-20 10:40:31] 1419*2^670033-1 is not prime. Res64: C5649665F26A4CC2 Time : 657.0 sec. user=vaughan [2010-02-20 10:41:20] 1455*2^670033-1 is not prime. Res64: 77ABC76C72314B43 Time : 657.0 sec. user=vaughan [2010-02-20 10:48:25] 1519*2^670033-1 is not prime. Res64: 05E5B7163F01C753 Time : 653.0 sec. user=vaughan [2010-02-20 10:48:35] 1609*2^670033-1 is not prime. Res64: C2EAA0D90C7D8B3D Time : 652.0 sec. user=vaughan [2010-02-20 10:51:28] 1629*2^670033-1 is not prime. Res64: 682508B3303366C0 Time : 657.0 sec. user=vaughan [2010-02-20 10:52:17] 1639*2^670033-1 is not prime. Res64: 004CCB3C63C40D07 Time : 657.0 sec. user=vaughan [2010-02-20 10:59:19] 1669*2^670033-1 is not prime. Res64: CAE126C23F8319C1 Time : 654.0 sec. user=vaughan [2010-02-20 10:59:29] 1681*2^670033-1 is not prime. Res64: 185FC86F98857531 Time : 654.0 sec. user=vaughan [2010-02-20 11:02:25] 1687*2^670033-1 is not prime. Res64: 1C2E005DF021CF13 Time : 657.0 sec. user=vaughan [2010-02-20 11:03:13] 1755*2^670033-1 is not prime. Res64: 2269A75B0F1240BC Time : 657.0 sec. user=vaughan [2010-02-20 11:10:12] 1917*2^670033-1 is not prime. Res64: F5BFADB1A985D373 Time : 654.0 sec. user=vaughan [2010-02-20 11:10:21] 1939*2^670033-1 is not prime. Res64: DD51FC6E2191EBDD Time : 653.0 sec. user=vaughan [2010-02-20 11:13:22] 1975*2^670033-1 is not prime. Res64: F269F6ECEFFB1344 Time : 657.0 sec. user=vaughan [2010-02-20 11:14:10] 1517*2^670034-1 is not prime. Res64: D556DEE908AF0508 Time : 658.0 sec. user=vaughan [2010-02-20 11:21:05] 1565*2^670034-1 is not prime. Res64: 547A44C65D3FE1C4 Time : 653.0 sec. user=vaughan [2010-02-20 11:21:14] 1643*2^670034-1 is not prime. Res64: 387BB9C9D1C81F09 Time : 653.0 sec. user=vaughan [2010-02-20 11:24:19] 1665*2^670034-1 is not prime. Res64: 05102059DA0C51F7 Time : 657.0 sec. user=vaughan [2010-02-20 11:25:06] 1683*2^670034-1 is not prime. Res64: CF7780FC98E1B351 Time : 657.0 sec. user=vaughan [2010-02-20 11:31:59] 1763*2^670034-1 is not prime. Res64: DCBA3DD9B48EDDBF Time : 654.0 sec. user=vaughan [2010-02-20 11:32:08] 1887*2^670034-1 is not prime. Res64: 4302D506A04F7DFF Time : 654.0 sec. user=vaughan [2010-02-20 11:35:18] 1907*2^670034-1 is not prime. Res64: 260A59AB5B04FDB6 Time : 659.0 sec. user=vaughan [2010-02-20 11:36:06] 1925*2^670034-1 is not prime. Res64: E90E27079B3A58A1 Time : 660.0 sec. user=vaughan [2010-02-20 11:43:27] 1995*2^670034-1 is not prime. Res64: 1CBD15795DBDA31E Time : 688.0 sec. user=vaughan [2010-02-20 11:43:36] 1525*2^670035-1 is not prime. Res64: 1CB759936BD5D7C8 Time : 688.0 sec. user=vaughan [2010-02-20 11:46:45] 1533*2^670035-1 is not prime. Res64: 219EADEB8DA2EACF Time : 687.0 sec. user=vaughan [2010-02-20 11:47:28] 1731*2^670035-1 is not prime. Res64: 6D3E566983549439 Time : 682.0 sec. user=vaughan [2010-02-20 11:54:23] 1755*2^670035-1 is not prime. Res64: 500DF43AD4F1863F Time : 657.0 sec. user=vaughan [2010-02-20 11:54:32] 1815*2^670035-1 is not prime. Res64: 71F0610A33622B84 Time : 656.0 sec. user=vaughan [2010-02-20 11:57:42] 1963*2^670035-1 is not prime. Res64: BD9783FD486DB810 Time : 658.0 sec. user=vaughan [2010-02-20 11:58:25] 1499*2^670036-1 is not prime. Res64: 3A0E3F5566BA3AB7 Time : 657.0 sec. user=vaughan [2010-02-20 12:05:16] 1605*2^670036-1 is not prime. Res64: 7A4A453D339FB359 Time : 653.0 sec. user=vaughan [2010-02-20 12:05:25] 1653*2^670036-1 is not prime. Res64: 9FBA6DFD2B52ED4A Time : 653.0 sec. user=vaughan [2010-02-20 12:08:39] 1683*2^670036-1 is not prime. Res64: 85D02AAB3A3C5AF1 Time : 658.0 sec. user=vaughan [2010-02-20 12:09:22] 1689*2^670036-1 is not prime. Res64: 003B90587F26602F Time : 657.0 sec. user=vaughan [2010-02-20 12:16:09] 1713*2^670036-1 is not prime. Res64: F13156BBA46D0F49 Time : 653.0 sec. user=vaughan [2010-02-20 12:16:18] 1757*2^670036-1 is not prime. Res64: C7746B2F6EE4E954 Time : 653.0 sec. user=vaughan [2010-02-20 12:19:36] 1847*2^670036-1 is not prime. Res64: 3646590A8A9AC5D5 Time : 658.0 sec. user=vaughan [2010-02-20 12:20:19] 1955*2^670036-1 is not prime. Res64: 3B4525FC978F8F6B Time : 657.0 sec. user=vaughan [2010-02-20 12:27:02] 1417*2^670037-1 is not prime. Res64: 6F3BF71D4A8C11E7 Time : 654.0 sec. user=vaughan [2010-02-20 12:27:11] 1495*2^670037-1 is not prime. Res64: 96CFF0D83F5CEEF6 Time : 654.0 sec. user=vaughan [2010-02-20 12:30:33] 1551*2^670037-1 is not prime. Res64: E090402212619424 Time : 658.0 sec. user=vaughan [2010-02-20 12:31:19] 1569*2^670037-1 is not prime. Res64: 53FFD399BC88526F Time : 660.0 sec. user=vaughan [2010-02-20 12:37:56] 1635*2^670037-1 is not prime. Res64: B7EB81F89C4530AE Time : 654.0 sec. user=vaughan [2010-02-20 12:38:05] 1645*2^670037-1 is not prime. Res64: 9DAA13722E50561A Time : 654.0 sec. user=vaughan [2010-02-20 12:41:29] 1681*2^670037-1 is not prime. Res64: ABD4922394F95E2B Time : 657.0 sec. user=vaughan [2010-02-20 12:42:14] 1765*2^670037-1 is not prime. Res64: 2BCD670E4D0D9125 Time : 656.0 sec. user=vaughan [2010-02-20 12:48:48] 1819*2^670037-1 is not prime. Res64: 873224580A3EA8A4 Time : 653.0 sec. user=vaughan [2010-02-20 12:48:57] 1957*2^670037-1 is not prime. Res64: 382BAC5805213445 Time : 653.0 sec. user=vaughan [2010-02-20 12:52:26] 1587*2^670038-1 is not prime. Res64: B7FBC8F71C9E84DC Time : 657.0 sec. user=vaughan [2010-02-20 12:53:11] 1631*2^670038-1 is not prime. Res64: 0E798BD155199E17 Time : 657.0 sec. user=vaughan [2010-02-20 12:59:41] 1707*2^670038-1 is not prime. Res64: 7694FBD6D590F948 Time : 653.0 sec. user=vaughan [2010-02-20 12:59:50] 1725*2^670038-1 is not prime. Res64: 4554B673B94AEFB1 Time : 653.0 sec. user=vaughan [2010-02-20 13:03:23] 1815*2^670038-1 is not prime. Res64: 92C91DF02CD90410 Time : 657.0 sec. user=vaughan [2010-02-20 13:04:08] 1827*2^670038-1 is not prime. Res64: 693B6446D75605A6 Time : 657.0 sec. user=vaughan [2010-02-20 13:10:35] 1851*2^670038-1 is not prime. Res64: 3367FDFFB02C3E5F Time : 654.0 sec. user=vaughan [2010-02-20 13:10:44] 1967*2^670038-1 is not prime. Res64: F77A28FE839CCAAB Time : 654.0 sec. user=vaughan [2010-02-20 13:14:21] 1983*2^670038-1 is not prime. Res64: 77E1B961D77A6F8A Time : 658.0 sec. user=vaughan [2010-02-20 13:15:05] 1991*2^670038-1 is not prime. Res64: B6FFAEE17F57A6BE Time : 657.0 sec. user=vaughan [2010-02-20 13:21:26] 1479*2^670039-1 is not prime. Res64: A10F3BB96A79D4DB Time : 652.0 sec. user=vaughan [2010-02-20 13:21:37] 1491*2^670039-1 is not prime. Res64: 7E4CCA40EECD1164 Time : 653.0 sec. user=vaughan [2010-02-20 13:25:16] 1513*2^670039-1 is not prime. Res64: 65D28638CBB83DCC Time : 656.0 sec. user=vaughan [2010-02-20 13:26:01] 1545*2^670039-1 is not prime. Res64: 3EEDE13979D85A1B Time : 656.0 sec. user=vaughan [2010-02-20 13:32:29] 1639*2^670039-1 is not prime. Res64: 339B152EF89DCD9F Time : 663.0 sec. user=vaughan [2010-02-20 13:32:45] 1681*2^670039-1 is not prime. Res64: F10AA2A0EF569652 Time : 669.0 sec. user=vaughan [2010-02-20 13:36:28] 1699*2^670039-1 is not prime. Res64: BED19302E9A8A8AF Time : 672.0 sec. user=vaughan [2010-02-20 13:37:18] 1701*2^670039-1 is not prime. Res64: CD233ABAB247FCB0 Time : 677.0 sec. user=vaughan [2010-02-20 13:43:53] 1749*2^670039-1 is not prime. Res64: 50748FD2B6FC1099 Time : 684.0 sec. user=vaughan [2010-02-20 13:44:04] 1755*2^670039-1 is not prime. Res64: 6FB14E79BCF663F9 Time : 679.0 sec. user=vaughan [2010-02-20 13:47:34] 1783*2^670039-1 is not prime. Res64: 50F3AD255C591E88 Time : 666.0 sec. user=vaughan [2010-02-20 13:48:22] 1809*2^670039-1 is not prime. Res64: 8A492C71A8B55C62 Time : 664.0 sec. user=vaughan [2010-02-20 13:54:45] 1965*2^670039-1 is not prime. Res64: 3404A61097D20C73 Time : 653.0 sec. user=vaughan [2010-02-20 13:54:56] 1523*2^670040-1 is not prime. Res64: 48B62B68CB3DB7B5 Time : 653.0 sec. user=vaughan [2010-02-20 13:58:31] 1713*2^670040-1 is not prime. Res64: 7F8FEEFA45F6D4BB Time : 657.0 sec. user=vaughan [2010-02-20 13:59:18] 1763*2^670040-1 is not prime. Res64: 24425B69D957E34F Time : 657.0 sec. user=vaughan [2010-02-20 14:05:38] 1835*2^670040-1 is not prime. Res64: 8D3FC17F094A7363 Time : 653.0 sec. user=vaughan [2010-02-20 14:05:49] 1853*2^670040-1 is not prime. Res64: FE0E045AAA41E22E Time : 653.0 sec. user=vaughan [2010-02-20 14:09:28] 1869*2^670040-1 is not prime. Res64: 35B6A1A81363BB95 Time : 657.0 sec. user=vaughan [2010-02-20 14:10:14] 1907*2^670040-1 is not prime. Res64: EAE4DEBE110CE928 Time : 657.0 sec. user=vaughan [2010-02-20 14:16:31] 1489*2^670041-1 is not prime. Res64: E956803CA9ED4CCA Time : 654.0 sec. user=vaughan [2010-02-20 14:16:43] 1515*2^670041-1 is not prime. Res64: 0AFAF34650A0510B Time : 654.0 sec. user=vaughan [2010-02-20 14:20:24] 1599*2^670041-1 is not prime. Res64: C615A2B86FA116EA Time : 656.0 sec. user=vaughan [2010-02-20 14:21:10] 1705*2^670041-1 is not prime. Res64: F197FF6884A4D412 Time : 656.0 sec. user=vaughan [2010-02-20 14:27:23] 1719*2^670041-1 is not prime. Res64: C88F0E25988FDCB6 Time : 652.0 sec. user=vaughan [2010-02-20 14:27:36] 1741*2^670041-1 is not prime. Res64: 0E05F73446EDE278 Time : 654.0 sec. user=vaughan [2010-02-20 14:31:20] 1771*2^670041-1 is not prime. Res64: 8CDFD5D1121B017A Time : 656.0 sec. user=vaughan [2010-02-20 14:32:07] 1911*2^670041-1 is not prime. Res64: 062293F96AE69F0E Time : 657.0 sec. user=vaughan [2010-02-20 14:38:16] 1427*2^670042-1 is not prime. Res64: B8A7CF9287B56BAB Time : 653.0 sec. user=vaughan [2010-02-20 14:38:29] 1431*2^670042-1 is not prime. Res64: 409D1A907EA16A4D Time : 653.0 sec. user=vaughan [2010-02-20 14:42:17] 1437*2^670042-1 is not prime. Res64: 081D4A6664BFD4F1 Time : 657.0 sec. user=vaughan [2010-02-20 14:43:03] 1547*2^670042-1 is not prime. Res64: 29F16BFADB61F9E6 Time : 656.0 sec. user=vaughan [2010-02-20 14:49:08] 1571*2^670042-1 is not prime. Res64: B05B7AC9759AC2EE Time : 652.0 sec. user=vaughan [2010-02-20 14:49:23] 1581*2^670042-1 is not prime. Res64: D6E08E4EF38EEEA4 Time : 654.0 sec. user=vaughan [2010-02-20 14:53:13] 1641*2^670042-1 is not prime. Res64: E8E9A1F68B3F72D6 Time : 656.0 sec. user=vaughan [2010-02-20 14:54:01] 1685*2^670042-1 is not prime. Res64: 1C873B361801B26D Time : 658.0 sec. user=vaughan [2010-02-20 15:00:02] 1725*2^670042-1 is not prime. Res64: D5F1EAB21404FCFA Time : 654.0 sec. user=vaughan [2010-02-20 15:00:16] 1823*2^670042-1 is not prime. Res64: 5A717618488F6933 Time : 653.0 sec. user=vaughan [2010-02-20 15:04:10] 1877*2^670042-1 is not prime. Res64: 428B65576D3CB247 Time : 657.0 sec. user=vaughan [2010-02-20 15:04:57] 1435*2^670043-1 is not prime. Res64: DEBE759F490280B8 Time : 656.0 sec. user=vaughan [2010-02-20 15:10:55] 1495*2^670043-1 is not prime. Res64: DC0153193A288DB3 Time : 653.0 sec. user=vaughan [2010-02-20 15:11:10] 1513*2^670043-1 is not prime. Res64: A0D99FF8E6114F27 Time : 654.0 sec. user=vaughan [2010-02-20 15:15:06] 1561*2^670043-1 is not prime. Res64: B5EFA33E08D08AFE Time : 656.0 sec. user=vaughan [2010-02-20 15:15:54] 1581*2^670043-1 is not prime. Res64: 64A8265AC011A8F7 Time : 658.0 sec. user=vaughan [2010-02-20 15:21:55] 1593*2^670043-1 is not prime. Res64: 2672F67BF13F04E3 Time : 661.0 sec. user=vaughan [2010-02-20 15:22:11] 1669*2^670043-1 is not prime. Res64: 54C360AA2ECC287E Time : 662.0 sec. user=vaughan [2010-02-20 15:26:22] 1695*2^670043-1 is not prime. Res64: 1E1B7D38A807E8F6 Time : 676.0 sec. user=vaughan [2010-02-20 15:27:09] 1765*2^670043-1 is not prime. Res64: FD83B7862442AEC9 Time : 675.0 sec. user=vaughan [2010-02-20 15:33:22] 1849*2^670043-1 is not prime. Res64: 71B73CB724E4D99C Time : 687.0 sec. user=vaughan [2010-02-20 15:33:33] 1873*2^670043-1 is not prime. Res64: 6A8FE89F57A82AEE Time : 682.0 sec. user=vaughan [2010-02-20 15:37:27] 1915*2^670043-1 is not prime. Res64: 06D743CD1F565BF4 Time : 665.0 sec. user=vaughan [2010-02-20 15:38:13] 1975*2^670043-1 is not prime. Res64: B4EDC540DAE119C0 Time : 665.0 sec. user=vaughan [2010-02-20 15:44:16] 1995*2^670043-1 is not prime. Res64: F62AD9BA14587C82 Time : 654.0 sec. user=vaughan [2010-02-20 15:44:27] 1455*2^670044-1 is not prime. Res64: FBD08D8049D1C2A9 Time : 654.0 sec. user=vaughan [2010-02-20 15:48:24] 1463*2^670044-1 is not prime. Res64: 97E8E56657665AFE Time : 658.0 sec. user=vaughan [2010-02-20 15:49:10] 1467*2^670044-1 is not prime. Res64: 1CAB7384E46F2BA7 Time : 657.0 sec. user=vaughan [2010-02-20 15:55:09] 1475*2^670044-1 is not prime. Res64: 17672DE2E82A4431 Time : 653.0 sec. user=vaughan [2010-02-20 15:55:20] 1479*2^670044-1 is not prime. Res64: 84A48669DBAE9C60 Time : 654.0 sec. user=vaughan [2010-02-20 15:59:19] 1545*2^670044-1 is not prime. Res64: C23D4BD6AED8C76B Time : 656.0 sec. user=vaughan [2010-02-20 16:00:07] 1775*2^670044-1 is not prime. Res64: AD33F0CED2C2D7C0 Time : 657.0 sec. user=vaughan [2010-02-20 16:06:02] 1787*2^670044-1 is not prime. Res64: 8DCC61405CB1BF63 Time : 654.0 sec. user=vaughan [2010-02-20 16:06:14] 1805*2^670044-1 is not prime. Res64: E029D254DC332B17 Time : 654.0 sec. user=vaughan [2010-02-20 16:12:43] 1839*2^670044-1 is not prime. Res64: 7C8492EEAE6DC15E Time : 804.0 sec. user=vaughan [2010-02-20 16:14:18] 1895*2^670044-1 is not prime. Res64: 513ECDB031D04D9B Time : 851.0 sec. user=vaughan [2010-02-20 16:20:58] 1929*2^670044-1 is not prime. Res64: 0D6F15DFC6056EAA Time : 896.0 sec. user=vaughan [2010-02-20 16:21:09] 1965*2^670044-1 is not prime. Res64: 107F21CE2C6E1E57 Time : 896.0 sec. user=vaughan [2010-02-20 16:25:02] 1973*2^670044-1 is not prime. Res64: 16319807E3BC9674 Time : 739.0 sec. user=vaughan [2010-02-20 16:25:49] 1979*2^670044-1 is not prime. Res64: 9B83C7ED41B2B229 Time : 691.0 sec. user=vaughan [2010-02-20 16:31:51] 1995*2^670044-1 is not prime. Res64: 0EE955969D5D97A5 Time : 653.0 sec. user=vaughan [2010-02-20 16:32:02] 1699*2^670045-1 is not prime. Res64: F5A36B53F53C34A0 Time : 653.0 sec. user=vaughan [2010-02-20 16:36:00] 1717*2^670045-1 is not prime. Res64: 371FF5A2E941D823 Time : 658.0 sec. user=vaughan [2010-02-20 16:36:44] 1815*2^670045-1 is not prime. Res64: 3C68B30C9653245B Time : 656.0 sec. user=vaughan [2010-02-20 16:42:46] 1975*2^670045-1 is not prime. Res64: E7E72D3A2E4E3CD9 Time : 655.0 sec. user=vaughan [2010-02-20 16:42:56] 1987*2^670045-1 is not prime. Res64: 65ABACFC769BAC08 Time : 654.0 sec. user=vaughan [2010-02-20 16:46:56] 1491*2^670046-1 is not prime. Res64: E02A66C39B9C0DE1 Time : 657.0 sec. user=vaughan [2010-02-20 16:47:41] 1511*2^670046-1 is not prime. Res64: B22FDAC18615AB8B Time : 657.0 sec. user=vaughan [2010-02-20 16:53:39] 1623*2^670046-1 is not prime. Res64: C50DA76251E44C4B Time : 654.0 sec. user=vaughan [2010-02-20 16:53:49] 1637*2^670046-1 is not prime. Res64: BEDAE27E0122BABD Time : 653.0 sec. user=vaughan [2010-02-20 16:57:53] 1641*2^670046-1 is not prime. Res64: 662B0CF4B60F6888 Time : 657.0 sec. user=vaughan [2010-02-20 16:58:38] 1673*2^670046-1 is not prime. Res64: 8C5D3862CEBEAE67 Time : 657.0 sec. user=vaughan [2010-02-20 17:04:32] 1727*2^670046-1 is not prime. Res64: 83EB1531B314DFE5 Time : 653.0 sec. user=vaughan [2010-02-20 17:04:42] 1833*2^670046-1 is not prime. Res64: 4CDBB074A03CAF04 Time : 653.0 sec. user=vaughan [2010-02-20 17:08:48] 1865*2^670046-1 is not prime. Res64: 24978B25F2E51413 Time : 655.0 sec. user=vaughan [2010-02-20 17:09:35] 1901*2^670046-1 is not prime. Res64: 35CF803A6DC9BF7D Time : 657.0 sec. user=vaughan [2010-02-20 17:15:26] 1937*2^670046-1 is not prime. Res64: 17AAE74A66F0D9E0 Time : 654.0 sec. user=vaughan [2010-02-20 17:15:35] 1943*2^670046-1 is not prime. Res64: D43BB5890A723BAC Time : 654.0 sec. user=vaughan [2010-02-20 17:19:59] 1965*2^670046-1 is not prime. Res64: 2FFDBA22421DCD76 Time : 671.0 sec. user=vaughan [2010-02-20 17:20:50] 1411*2^670047-1 is not prime. Res64: 5C54CA62F472FEC1 Time : 676.0 sec. user=vaughan [2010-02-20 17:27:00] 1423*2^670047-1 is not prime. Res64: CF6267C62A0CFE37 Time : 694.0 sec. user=vaughan [2010-02-20 17:27:05] 1431*2^670047-1 is not prime. Res64: 186999D3E6C1FE14 Time : 690.0 sec. user=vaughan [2010-02-20 17:31:11] 1473*2^670047-1 is not prime. Res64: 22EEF5FAE09B9B4B Time : 672.0 sec. user=vaughan [2010-02-20 17:31:56] 1479*2^670047-1 is not prime. Res64: 5D55C483668E52ED Time : 667.0 sec. user=vaughan [2010-02-20 17:37:52] 1495*2^670047-1 is not prime. Res64: DBDD61A867F7DBBF Time : 653.0 sec. user=vaughan [2010-02-20 17:37:57] 1659*2^670047-1 is not prime. Res64: 7CF72C6592552F16 Time : 652.0 sec. user=vaughan [2010-02-20 17:42:08] 1729*2^670047-1 is not prime. Res64: 096DE5D88C16805D Time : 657.0 sec. user=vaughan [2010-02-20 17:42:53] 1783*2^670047-1 is not prime. Res64: 4FA32B54FFEC99D4 Time : 658.0 sec. user=vaughan [2010-02-20 17:48:46] 1791*2^670047-1 is not prime. Res64: 06701BE8DBF43966 Time : 654.0 sec. user=vaughan [2010-02-20 17:48:51] 1915*2^670047-1 is not prime. Res64: 2CE803DF93CEDE47 Time : 654.0 sec. user=vaughan [2010-02-20 17:53:05] 1941*2^670047-1 is not prime. Res64: 3E9E875C5C9CE1AC Time : 657.0 sec. user=vaughan [2010-02-20 17:53:49] 1995*2^670047-1 is not prime. Res64: ED1CF8566070AA32 Time : 657.0 sec. user=vaughan [2010-02-20 17:59:38] 1407*2^670048-1 is not prime. Res64: B3E254DD6B409782 Time : 653.0 sec. user=vaughan [2010-02-20 17:59:43] 1479*2^670048-1 is not prime. Res64: 38834E512D91B46A Time : 652.0 sec. user=vaughan [2010-02-20 18:04:02] 1493*2^670048-1 is not prime. Res64: 9C00EB457467FD24 Time : 657.0 sec. user=vaughan [2010-02-20 18:04:46] 1563*2^670048-1 is not prime. Res64: 3A761899E913434C Time : 657.0 sec. user=vaughan [2010-02-20 18:11:33] 1773*2^670048-1 is not prime. Res64: 023C0D82653D969E Time : 715.0 sec. user=vaughan [2010-02-20 18:11:46] 1853*2^670048-1 is not prime. Res64: 3BED84BE9E128255 Time : 723.0 sec. user=vaughan [2010-02-20 18:18:49] 1477*2^670049-1 is not prime. Res64: 3873E543C5850819 Time : 888.0 sec. user=vaughan [2010-02-20 18:19:36] 1497*2^670049-1 is not prime. Res64: 29873A802C2C2DF9 Time : 891.0 sec. user=vaughan [2010-02-20 18:25:18] 1585*2^670049-1 is not prime. Res64: F7616725BDA3D797 Time : 826.0 sec. user=vaughan [2010-02-20 18:25:24] 1659*2^670049-1 is not prime. Res64: 9C90BBE4291D7836 Time : 819.0 sec. user=vaughan [2010-02-20 18:29:45] 1699*2^670049-1 is not prime. Res64: F7C81652FC009062 Time : 657.0 sec. user=vaughan [2010-02-20 18:30:32] 1705*2^670049-1 is not prime. Res64: 845E04BAE22C344D Time : 657.0 sec. user=vaughan [2010-02-20 18:36:11] 1765*2^670049-1 is not prime. Res64: 66864F71EAB358D9 Time : 653.0 sec. user=vaughan [2010-02-20 18:36:16] 1837*2^670049-1 is not prime. Res64: 1044D54494BF314E Time : 652.0 sec. user=vaughan [2010-02-20 18:40:41] 1867*2^670049-1 is not prime. Res64: E2CB853081A2C5D1 Time : 656.0 sec. user=vaughan [2010-02-20 18:41:28] 1869*2^670049-1 is not prime. Res64: 8E0A39AE2A48774A Time : 657.0 sec. user=vaughan [2010-02-20 18:47:03] 1875*2^670049-1 is not prime. Res64: C3F014853B461B88 Time : 652.0 sec. user=vaughan [2010-02-20 18:47:09] 1425*2^670050-1 is not prime. Res64: F64EB0B0453BEE57 Time : 653.0 sec. user=vaughan [2010-02-20 18:51:39] 1515*2^670050-1 is not prime. Res64: 339034CF11A89D53 Time : 658.0 sec. user=vaughan [2010-02-20 18:52:27] 1545*2^670050-1 is not prime. Res64: FDD3068C8AC6E754 Time : 659.0 sec. user=vaughan [2010-02-20 18:57:59] 1547*2^670050-1 is not prime. Res64: C0C026ABDB877186 Time : 656.0 sec. user=vaughan [2010-02-20 18:58:04] 1757*2^670050-1 is not prime. Res64: D0B8802602AFDDFC Time : 656.0 sec. user=vaughan [2010-02-20 19:02:36] 1791*2^670050-1 is not prime. Res64: 58B68C8455C8B545 Time : 657.0 sec. user=vaughan [2010-02-20 19:03:23] 1841*2^670050-1 is not prime. Res64: 854C5F6BF519084D Time : 656.0 sec. user=vaughan [2010-02-20 19:08:51] 1895*2^670050-1 is not prime. Res64: 36F4D2C1D9DF5E47 Time : 653.0 sec. user=vaughan [2010-02-20 19:08:57] 1913*2^670050-1 is not prime. Res64: 73AC309104EF3601 Time : 653.0 sec. user=vaughan [2010-02-20 19:13:50] 1995*2^670050-1 is not prime. Res64: C5CBE2E136AAC015 Time : 675.0 sec. user=vaughan [2010-02-20 19:14:44] 1515*2^670051-1 is not prime. Res64: CD42A51642FDB13D Time : 682.0 sec. user=vaughan [2010-02-20 19:21:26] 1519*2^670051-1 is not prime. Res64: 448497D7B0978E05 Time : 755.0 sec. user=vaughan [2010-02-20 19:21:28] 1539*2^670051-1 is not prime. Res64: F4F489A8FBB93E1A Time : 752.0 sec. user=vaughan [2010-02-20 19:26:05] 1573*2^670051-1 is not prime. Res64: 036C7DFAA31E18D1 Time : 735.0 sec. user=vaughan [2010-02-20 19:26:55] 1785*2^670051-1 is not prime. Res64: F11495124CF4A8E2 Time : 732.0 sec. user=vaughan [2010-02-20 19:33:51] 1849*2^670051-1 is not prime. Res64: FD5DC4215C578927 Time : 745.0 sec. user=vaughan [2010-02-20 19:33:53] 1863*2^670051-1 is not prime. Res64: 1437EBF72110650B Time : 745.0 sec. user=vaughan [2010-02-20 19:38:08] 1939*2^670051-1 is not prime. Res64: DB5A18CD0EB0ACD3 Time : 723.0 sec. user=vaughan [2010-02-20 19:39:01] 1945*2^670051-1 is not prime. Res64: BEC6576377BE72F2 Time : 727.0 sec. user=vaughan [2010-02-20 19:46:30] 1951*2^670051-1 is not prime. Res64: FBC71D3E84913C6D Time : 759.0 sec. user=vaughan [2010-02-20 19:46:30] 1965*2^670051-1 is not prime. Res64: 4CB335AE30616EBE Time : 757.0 sec. user=vaughan [2010-02-20 19:50:22] 1419*2^670052-1 is not prime. Res64: 97772B70A97E2638 Time : 734.0 sec. user=vaughan [2010-02-20 19:51:40] 1425*2^670052-1 is not prime. Res64: 697B168CCDE03FE0 Time : 759.0 sec. user=vaughan [2010-02-20 20:02:18] 1473*2^670052-1 is not prime. Res64: 039D6CD615C01579 Time : 948.0 sec. user=vaughan [2010-02-20 20:02:20] 1463*2^670052-1 is not prime. Res64: 576213EBCC8C30F7 Time : 950.0 sec. user=vaughan [2010-02-20 20:04:47] 1907*2^670052-1 is not prime. Res64: 4F682534B8D25DFD Time : 865.0 sec. user=vaughan [2010-02-20 20:05:38] 1923*2^670052-1 is not prime. Res64: A1E399E78834B568 Time : 838.0 sec. user=vaughan [2010-02-20 20:14:48] 1929*2^670052-1 is not prime. Res64: 764DD8070F72A17C Time : 750.0 sec. user=vaughan [2010-02-20 20:14:52] 1431*2^670053-1 is not prime. Res64: E6CC0524D72A30FD Time : 753.0 sec. user=vaughan [2010-02-20 20:16:50] 1435*2^670053-1 is not prime. Res64: AB05339DEC2FB1ED Time : 723.0 sec. user=vaughan [2010-02-20 20:17:44] 1579*2^670053-1 is not prime. Res64: 9E44C9749C02D37A Time : 726.0 sec. user=vaughan [2010-02-20 20:27:11] 1587*2^670053-1 is not prime. Res64: 0BE29F25BB0D712B Time : 743.0 sec. user=vaughan [2010-02-20 20:27:16] 1629*2^670053-1 is not prime. Res64: 41326A0F7255D1D4 Time : 744.0 sec. user=vaughan [2010-02-20 20:28:49] 1705*2^670053-1 is not prime. Res64: DF0A073DAAE94D9C Time : 719.0 sec. user=vaughan [2010-02-20 20:29:41] 1875*2^670053-1 is not prime. Res64: C5F433454E974D81 Time : 718.0 sec. user=vaughan [2010-02-20 20:39:33] 1401*2^670054-1 is not prime. Res64: F532F0215279D202 Time : 743.0 sec. user=vaughan [2010-02-20 20:39:41] 1403*2^670054-1 is not prime. Res64: 3D34F12B2E4D22E2 Time : 745.0 sec. user=vaughan [2010-02-20 20:40:47] 1487*2^670054-1 is not prime. Res64: F2E941922278776F Time : 718.0 sec. user=vaughan [2010-02-20 20:41:39] 1491*2^670054-1 is not prime. Res64: 15529E587B7D321A Time : 718.0 sec. user=vaughan [2010-02-20 20:52:12] 1557*2^670054-1 is not prime. Res64: EFB8593F9C7D2A01 Time : 759.0 sec. user=vaughan [2010-02-20 20:52:21] 1641*2^670054-1 is not prime. Res64: E149D7369DA8990B Time : 760.0 sec. user=vaughan [2010-02-20 20:53:03] 1661*2^670054-1 is not prime. Res64: ABB79C25E1FD41AA Time : 736.0 sec. user=vaughan [2010-02-20 20:54:06] 1667*2^670054-1 is not prime. Res64: F72D79C3279ED25B Time : 747.0 sec. user=vaughan [2010-02-20 21:05:54] 1833*2^670054-1 is not prime. Res64: 1EFEB4551BBDB748 Time : 772.0 sec. user=vaughan [2010-02-20 21:06:19] 1713*2^670054-1 is not prime. Res64: 5310EC3C4A00110B Time : 847.0 sec. user=vaughan [2010-02-20 21:06:24] 1751*2^670054-1 is not prime. Res64: C5D711545E5757EB Time : 843.0 sec. user=vaughan [2010-02-20 21:06:53] 1877*2^670054-1 is not prime. Res64: DE9985C919AF5816 Time : 767.0 sec. user=vaughan [2010-02-20 21:18:24] 1881*2^670054-1 is not prime. Res64: C933395140F32335 Time : 750.0 sec. user=vaughan [2010-02-20 21:19:23] 1997*2^670054-1 is not prime. Res64: 4A71435B2B8B65A1 Time : 751.0 sec. user=vaughan [2010-02-20 21:19:36] 1937*2^670054-1 is not prime. Res64: E730CF24833BC5C6 Time : 797.0 sec. user=vaughan [2010-02-20 21:19:43] 1953*2^670054-1 is not prime. Res64: 45B820F550BEE54C Time : 799.0 sec. user=vaughan [2010-02-20 21:30:38] 1483*2^670055-1 is not prime. Res64: 49F349A078F0A112 Time : 735.0 sec. user=vaughan [2010-02-20 21:31:37] 1659*2^670055-1 is not prime. Res64: E14E6B7AEB1B58A7 Time : 734.0 sec. user=vaughan [2010-02-20 21:32:29] 1665*2^670055-1 is not prime. Res64: AB13AE4E79EFE1DC Time : 773.0 sec. user=vaughan [2010-02-20 21:32:31] 1951*2^670055-1 is not prime. Res64: B01DB5E52729B99D Time : 769.0 sec. user=vaughan [2010-02-20 21:42:49] 1981*2^670055-1 is not prime. Res64: CE75774D8C6A74A3 Time : 732.0 sec. user=vaughan [2010-02-20 21:43:50] 1433*2^670056-1 is not prime. Res64: 482DED209756452B Time : 734.0 sec. user=vaughan [2010-02-20 21:45:25] 1529*2^670056-1 is not prime. Res64: F9DC98EC3A0EFA60 Time : 776.0 sec. user=vaughan [2010-02-20 21:45:27] 1619*2^670056-1 is not prime. Res64: 313E95D390E98B87 Time : 776.0 sec. user=vaughan [2010-02-20 21:56:43] 1649*2^670056-1 is not prime. Res64: 92AD6241C181FFE0 Time : 834.0 sec. user=vaughan [2010-02-20 21:58:14] 1673*2^670056-1 is not prime. Res64: AAC619CB98E9F6E7 Time : 864.0 sec. user=vaughan [2010-02-20 22:01:09] 1719*2^670056-1 is not prime. Res64: 5CB9527C361EA0EF Time : 944.0 sec. user=vaughan [2010-02-20 22:01:13] 1733*2^670056-1 is not prime. Res64: 6181E1FDE94012DE Time : 946.0 sec. user=vaughan [2010-02-20 22:09:27] 1763*2^670056-1 is not prime. Res64: A58A77164AC4A3D3 Time : 764.0 sec. user=vaughan [2010-02-20 22:10:24] 1785*2^670056-1 is not prime. Res64: CDBB98343D21E7CB Time : 730.0 sec. user=vaughan [2010-02-20 22:13:36] 1959*2^670056-1 is not prime. Res64: E73145B57D1AC3B9 Time : 747.0 sec. user=vaughan [2010-02-20 22:13:39] 1965*2^670056-1 is not prime. Res64: 0C21106D289EFA6B Time : 746.0 sec. user=vaughan [2010-02-20 22:21:24] 1417*2^670057-1 is not prime. Res64: 797D98D30023C354 Time : 717.0 sec. user=vaughan [2010-02-20 22:22:20] 1485*2^670057-1 is not prime. Res64: 7FE8AC730C0928FB Time : 716.0 sec. user=vaughan [2010-02-20 22:25:57] 1557*2^670057-1 is not prime. Res64: C51A51269A0D78E7 Time : 741.0 sec. user=vaughan [2010-02-20 22:25:59] 1587*2^670057-1 is not prime. Res64: BB91AFA2A71CBA11 Time : 741.0 sec. user=vaughan [2010-02-20 22:33:22] 1599*2^670057-1 is not prime. Res64: 91DA69805CBABFF0 Time : 719.0 sec. user=vaughan [2010-02-20 22:34:19] 1609*2^670057-1 is not prime. Res64: 465066CE7148A7CC Time : 719.0 sec. user=vaughan [2010-02-20 22:38:18] 1639*2^670057-1 is not prime. Res64: 67456DC2E313FD2A Time : 742.0 sec. user=vaughan [2010-02-20 22:38:21] 1665*2^670057-1 is not prime. Res64: 72BEFD6C1D1FC6B5 Time : 742.0 sec. user=vaughan [2010-02-20 22:45:17] 1731*2^670057-1 is not prime. Res64: D55122AF231213E4 Time : 715.0 sec. user=vaughan [2010-02-20 22:46:15] 1765*2^670057-1 is not prime. Res64: 2AFCECCC6BCA2AD6 Time : 716.0 sec. user=vaughan [2010-02-20 22:50:41] 1767*2^670057-1 is not prime. Res64: E67C377AB5F074B3 Time : 743.0 sec. user=vaughan [2010-02-20 22:50:46] 1825*2^670057-1 is not prime. Res64: 433D80E459989449 Time : 745.0 sec. user=vaughan [2010-02-20 22:58:21] 1855*2^670057-1 is not prime. Res64: 4CF6C2A5982778E3 Time : 785.0 sec. user=vaughan [2010-02-20 22:59:25] 1875*2^670057-1 is not prime. Res64: ED79E313F0580FF4 Time : 790.0 sec. user=vaughan [2010-02-20 23:05:13] 1951*2^670057-1 is not prime. Res64: 6B68E501C0654537 Time : 872.0 sec. user=vaughan [2010-02-20 23:05:14] 1969*2^670057-1 is not prime. Res64: 4D7F59639E4AD0F8 Time : 869.0 sec. user=vaughan [2010-02-20 23:10:34] 1987*2^670057-1 is not prime. Res64: 7AE97389D8511ACB Time : 733.0 sec. user=vaughan [2010-02-20 23:11:40] 1595*2^670058-1 is not prime. Res64: 280FA48BB9FF03E2 Time : 735.0 sec. user=vaughan [2010-02-20 23:17:56] 1607*2^670058-1 is not prime. Res64: BCD857CB12D0D6E5 Time : 763.0 sec. user=vaughan [2010-02-20 23:18:00] 1655*2^670058-1 is not prime. Res64: FDD2C0EF48FD1D19 Time : 766.0 sec. user=vaughan [2010-02-20 23:22:48] 1671*2^670058-1 is not prime. Res64: B6AD9C8CA09D3206 Time : 734.0 sec. user=vaughan [2010-02-20 23:23:55] 1737*2^670058-1 is not prime. Res64: 115D98FAC719DD3B Time : 735.0 sec. user=vaughan [2010-02-20 23:30:41] 1793*2^670058-1 is not prime. Res64: 78D8DDC109DE949D Time : 765.0 sec. user=vaughan [2010-02-20 23:30:48] 1905*2^670058-1 is not prime. Res64: 16CBF2EF13158647 Time : 768.0 sec. user=vaughan [2010-02-20 23:34:51] 1965*2^670058-1 is not prime. Res64: 2116F2511619EDD4 Time : 724.0 sec. user=vaughan [2010-02-20 23:35:58] 1425*2^670059-1 is not prime. Res64: CCFC20028ED00B4E Time : 723.0 sec. user=vaughan [2010-02-20 23:42:58] 1431*2^670059-1 is not prime. Res64: 79B3E573CBD9FBD6 Time : 738.0 sec. user=vaughan [2010-02-20 23:43:08] 1473*2^670059-1 is not prime. Res64: A7BBBE20005C23DC Time : 741.0 sec. user=vaughan [2010-02-20 23:46:40] 1525*2^670059-1 is not prime. Res64: A551717D9DBFA7F0 Time : 710.0 sec. user=vaughan [2010-02-20 23:47:48] 1543*2^670059-1 is not prime. Res64: 8F4C44609279A411 Time : 710.0 sec. user=vaughan [2010-02-20 23:55:03] 1603*2^670059-1 is not prime. Res64: DE3B0E79D019E895 Time : 725.0 sec. user=vaughan [2010-02-20 23:55:14] 1665*2^670059-1 is not prime. Res64: 626242E4BB05A291 Time : 726.0 sec. user=vaughan [2010-02-20 23:58:34] 1873*2^670059-1 is not prime. Res64: F046AE3370FA3361 Time : 714.0 sec. user=vaughan [2010-02-20 23:59:42] 1959*2^670059-1 is not prime. Res64: 46AEB080EFD22CCD Time : 714.0 sec.