user=vaughan [2010-03-12 00:55:49] 1697*2^670680-1 is not prime. Res64: 6B21A217729FF112 Time : 161636.0 sec. user=vaughan [2010-03-12 00:55:49] 1593*2^670680-1 is not prime. Res64: EB69359DCEA25544 Time : 161721.0 sec. user=vaughan [2010-03-12 00:55:49] 1685*2^670680-1 is not prime. Res64: FB2658FD6CA82915 Time : 161652.0 sec. user=vaughan [2010-03-12 00:55:49] 1557*2^670680-1 is not prime. Res64: C4605CD93DF2A69D Time : 161733.0 sec. user=vaughan [2010-03-12 01:07:08] 1809*2^670680-1 is not prime. Res64: 27419E81A5BC56D4 Time : 679.0 sec. user=vaughan [2010-03-12 01:07:09] 1853*2^670680-1 is not prime. Res64: 6DC2FDEEF22BCD1B Time : 680.0 sec. user=vaughan [2010-03-12 01:07:09] 1755*2^670680-1 is not prime. Res64: 3AB1F83B6E18A1FD Time : 680.0 sec. user=vaughan [2010-03-12 01:08:47] 1767*2^670680-1 is not prime. Res64: 399672666A1A161C Time : 778.0 sec. user=vaughan [2010-03-12 01:18:37] 1965*2^670680-1 is not prime. Res64: 17D172E66EFCDFB9 Time : 688.0 sec. user=vaughan [2010-03-12 01:18:38] 1917*2^670680-1 is not prime. Res64: EB3563D88AD3A9D9 Time : 690.0 sec. user=vaughan [2010-03-12 01:18:57] 1997*2^670680-1 is not prime. Res64: 7EE72FECE49C3BC4 Time : 708.0 sec. user=vaughan [2010-03-12 01:21:38] 1479*2^670681-1 is not prime. Res64: 6603E2AB8B8E5886 Time : 771.0 sec. user=vaughan [2010-03-12 01:30:29] 1665*2^670681-1 is not prime. Res64: B46A33D377F49B9B Time : 712.0 sec. user=vaughan [2010-03-12 01:30:43] 1687*2^670681-1 is not prime. Res64: 9377851847B60365 Time : 726.0 sec. user=vaughan [2010-03-12 01:32:24] 1785*2^670681-1 is not prime. Res64: C89FEF7584DDFD90 Time : 807.0 sec. user=vaughan [2010-03-12 01:34:56] 1819*2^670681-1 is not prime. Res64: CAA0E21BFCFA195D Time : 798.0 sec. user=vaughan [2010-03-12 01:42:23] 1899*2^670681-1 is not prime. Res64: A4C8679A072A8CA4 Time : 715.0 sec. user=vaughan [2010-03-12 01:42:52] 1977*2^670681-1 is not prime. Res64: F917E8ED55BECC00 Time : 729.0 sec. user=vaughan [2010-03-12 01:45:42] 1987*2^670681-1 is not prime. Res64: 760288D753E6E4EC Time : 798.0 sec. user=vaughan [2010-03-12 01:48:01] 1467*2^670682-1 is not prime. Res64: E2514F4E741510FD Time : 788.0 sec. user=vaughan [2010-03-12 01:54:21] 1517*2^670682-1 is not prime. Res64: 291079E5F2FCB154 Time : 718.0 sec. user=vaughan [2010-03-12 01:54:59] 1551*2^670682-1 is not prime. Res64: 2510416624D875CC Time : 730.0 sec. user=vaughan [2010-03-12 01:58:49] 1575*2^670682-1 is not prime. Res64: A8BAA25A00FB9E65 Time : 788.0 sec. user=vaughan [2010-03-12 02:01:18] 1607*2^670682-1 is not prime. Res64: 0AA5960CE15E2E53 Time : 798.0 sec. user=vaughan [2010-03-12 02:06:34] 1617*2^670682-1 is not prime. Res64: 8F44FFBCE995CD1E Time : 733.0 sec. user=vaughan [2010-03-12 02:07:30] 1797*2^670682-1 is not prime. Res64: 3C34EC19E04536F2 Time : 752.0 sec. user=vaughan [2010-03-12 02:12:30] 1803*2^670682-1 is not prime. Res64: 6C932CADFB4C3D89 Time : 822.0 sec. user=vaughan [2010-03-12 02:14:57] 1821*2^670682-1 is not prime. Res64: AFCD2E71603B3043 Time : 819.0 sec. user=vaughan [2010-03-12 02:18:39] 1823*2^670682-1 is not prime. Res64: DC0DE38703FE79AA Time : 725.0 sec. user=vaughan [2010-03-12 02:19:41] 1833*2^670682-1 is not prime. Res64: BC6D6DBA70B50234 Time : 731.0 sec. user=vaughan [2010-03-12 02:25:50] 1881*2^670682-1 is not prime. Res64: 4C01EC8235C911A6 Time : 800.0 sec. user=vaughan [2010-03-12 02:28:05] 1901*2^670682-1 is not prime. Res64: 1DDF0E5ADAE4F66B Time : 788.0 sec. user=vaughan [2010-03-12 02:30:31] 1971*2^670682-1 is not prime. Res64: B5084ED2CE612D76 Time : 712.0 sec. user=vaughan [2010-03-12 02:31:47] 1991*2^670682-1 is not prime. Res64: AEDDDBD122FAA800 Time : 726.0 sec. user=vaughan [2010-03-12 02:39:06] 1995*2^670682-1 is not prime. Res64: 9A63EF1D7A841DA8 Time : 796.0 sec. user=vaughan [2010-03-12 02:41:16] 1473*2^670683-1 is not prime. Res64: FE45AD0D3C5B08A9 Time : 791.0 sec. user=vaughan [2010-03-12 02:42:33] 1519*2^670683-1 is not prime. Res64: CC52C3B94063C260 Time : 722.0 sec. user=vaughan [2010-03-12 02:44:01] 1575*2^670683-1 is not prime. Res64: B65648C794F3EF50 Time : 734.0 sec. user=vaughan [2010-03-12 02:52:32] 1623*2^670683-1 is not prime. Res64: C0FD942DAAC2B5DD Time : 806.0 sec. user=vaughan [2010-03-12 02:54:27] 1641*2^670683-1 is not prime. Res64: A272068611FD2843 Time : 791.0 sec. user=vaughan [2010-03-12 02:54:31] 1663*2^670683-1 is not prime. Res64: EE01DF3046CCE874 Time : 718.0 sec. user=vaughan [2010-03-12 02:56:08] 1689*2^670683-1 is not prime. Res64: 1BDC4E373D918967 Time : 728.0 sec. user=vaughan [2010-03-12 03:05:39] 1725*2^670683-1 is not prime. Res64: E97CBDDBB4CA43DC Time : 787.0 sec. user=vaughan [2010-03-12 03:06:22] 1875*2^670683-1 is not prime. Res64: 8DED1003AC73A5F4 Time : 712.0 sec. user=vaughan [2010-03-12 03:07:46] 1809*2^670683-1 is not prime. Res64: C20AE31CF4DAA060 Time : 799.0 sec. user=vaughan [2010-03-12 03:08:11] 1911*2^670683-1 is not prime. Res64: 158ED21B5FBCCB3F Time : 723.0 sec. user=vaughan [2010-03-12 03:18:12] 1433*2^670684-1 is not prime. Res64: BEC7C7460AED742C Time : 711.0 sec. user=vaughan [2010-03-12 03:18:36] 1939*2^670683-1 is not prime. Res64: A18FFBA73D43DF3F Time : 777.0 sec. user=vaughan [2010-03-12 03:20:14] 1493*2^670684-1 is not prime. Res64: FB3D732378232367 Time : 724.0 sec. user=vaughan [2010-03-12 03:21:05] 1449*2^670684-1 is not prime. Res64: 157E3B2B2A337CA3 Time : 800.0 sec. user=vaughan [2010-03-12 03:30:03] 1619*2^670684-1 is not prime. Res64: 1365847F9B6C3777 Time : 711.0 sec. user=vaughan [2010-03-12 03:31:41] 1653*2^670684-1 is not prime. Res64: CB711225F3B9AA41 Time : 785.0 sec. user=vaughan [2010-03-12 03:32:15] 1787*2^670684-1 is not prime. Res64: 8748AFCE4A7CCC3B Time : 722.0 sec. user=vaughan [2010-03-12 03:34:23] 1875*2^670684-1 is not prime. Res64: D4B1C3F7A9B0AC60 Time : 798.0 sec. user=vaughan [2010-03-12 03:41:55] 1949*2^670684-1 is not prime. Res64: 78EF0E195CD2B1A0 Time : 712.0 sec. user=vaughan [2010-03-12 03:44:15] 1557*2^670685-1 is not prime. Res64: 177FD6BCF19A6230 Time : 720.0 sec. user=vaughan [2010-03-12 03:44:39] 1953*2^670684-1 is not prime. Res64: 1DA65D7FA7E5499D Time : 779.0 sec. user=vaughan [2010-03-12 03:47:40] 1609*2^670685-1 is not prime. Res64: C188FF489691362F Time : 798.0 sec. user=vaughan [2010-03-12 03:53:46] 1621*2^670685-1 is not prime. Res64: 3FE24CA36B461606 Time : 712.0 sec. user=vaughan [2010-03-12 03:56:22] 1705*2^670685-1 is not prime. Res64: F0C5C437383136D7 Time : 727.0 sec. user=vaughan [2010-03-12 03:57:57] 1765*2^670685-1 is not prime. Res64: BBDC700232E411D7 Time : 798.0 sec. user=vaughan [2010-03-12 04:01:16] 1855*2^670685-1 is not prime. Res64: B3ADADF66F8D676C Time : 816.0 sec. user=vaughan [2010-03-12 04:06:12] 1939*2^670685-1 is not prime. Res64: 94BEFCBB601CB413 Time : 747.0 sec. user=vaughan [2010-03-12 04:08:58] 1971*2^670685-1 is not prime. Res64: E0572CEF166B3D90 Time : 757.0 sec. user=vaughan [2010-03-12 04:11:38] 1445*2^670686-1 is not prime. Res64: 9EF907E0313FC04D Time : 821.0 sec. user=vaughan [2010-03-12 04:15:00] 1631*2^670686-1 is not prime. Res64: 1C5F2631C6BF4B13 Time : 825.0 sec. user=vaughan [2010-03-12 04:18:17] 1643*2^670686-1 is not prime. Res64: 602B76568E3041D5 Time : 725.0 sec. user=vaughan [2010-03-12 04:21:19] 1673*2^670686-1 is not prime. Res64: 0DD4B9ECE883E065 Time : 741.0 sec. user=vaughan [2010-03-12 04:24:52] 1781*2^670686-1 is not prime. Res64: 3420F6CDAC4FF0E2 Time : 794.0 sec. user=vaughan [2010-03-12 04:28:00] 1841*2^670686-1 is not prime. Res64: 02B43DECF553E3DE Time : 780.0 sec. user=vaughan [2010-03-12 04:30:11] 1887*2^670686-1 is not prime. Res64: 122630D07F04CA9A Time : 714.0 sec. user=vaughan [2010-03-12 04:33:26] 1917*2^670686-1 is not prime. Res64: 0D5CE4074B6E92EF Time : 729.0 sec. user=vaughan [2010-03-12 04:38:01] 1953*2^670686-1 is not prime. Res64: 1700DDD611E4E46F Time : 789.0 sec. user=vaughan [2010-03-12 04:41:17] 1429*2^670687-1 is not prime. Res64: 4B2AACAB233CDFA4 Time : 797.0 sec. user=vaughan [2010-03-12 04:42:05] 1441*2^670687-1 is not prime. Res64: E52DD4AFC63C7AD5 Time : 714.0 sec. user=vaughan [2010-03-12 04:45:34] 1521*2^670687-1 is not prime. Res64: 3C934738FC8F6C0B Time : 728.0 sec. user=vaughan [2010-03-12 04:51:06] 1531*2^670687-1 is not prime. Res64: C9C96C068E264570 Time : 786.0 sec. user=vaughan [2010-03-12 04:53:57] 1555*2^670687-1 is not prime. Res64: 4D9FBCE7D548FAAF Time : 712.0 sec. user=vaughan [2010-03-12 04:54:21] 1533*2^670687-1 is not prime. Res64: AABC58CE08365636 Time : 784.0 sec. user=vaughan [2010-03-12 04:57:37] 1609*2^670687-1 is not prime. Res64: 2D1EADBF3694E3B4 Time : 724.0 sec. user=vaughan [2010-03-12 05:04:30] 1653*2^670687-1 is not prime. Res64: 08A3E5CB3800B712 Time : 804.0 sec. user=vaughan [2010-03-12 05:05:57] 1783*2^670687-1 is not prime. Res64: A84FA21FF830F714 Time : 720.0 sec. user=vaughan [2010-03-12 05:07:31] 1791*2^670687-1 is not prime. Res64: 52590C089DFE8AD7 Time : 790.0 sec. user=vaughan [2010-03-12 05:09:41] 1825*2^670687-1 is not prime. Res64: 2AA248099FC1AE55 Time : 725.0 sec. user=vaughan [2010-03-12 05:17:40] 1875*2^670687-1 is not prime. Res64: 47E40F2EFC106A51 Time : 790.0 sec. user=vaughan [2010-03-12 05:17:50] 1879*2^670687-1 is not prime. Res64: 5EAC61C7A3B0486B Time : 714.0 sec. user=vaughan [2010-03-12 05:20:52] 1903*2^670687-1 is not prime. Res64: C357A381FD4A47B4 Time : 802.0 sec. user=vaughan [2010-03-12 05:21:42] 1935*2^670687-1 is not prime. Res64: A4158B8C68A94017 Time : 721.0 sec. user=vaughan [2010-03-12 05:29:42] 1951*2^670687-1 is not prime. Res64: 18FD916161D15389 Time : 713.0 sec. user=vaughan [2010-03-12 05:30:41] 1939*2^670687-1 is not prime. Res64: BBC38259F70AAE3E Time : 781.0 sec. user=vaughan [2010-03-12 05:33:40] 1473*2^670688-1 is not prime. Res64: 8DFB370051982ECD Time : 719.0 sec. user=vaughan [2010-03-12 05:34:11] 1403*2^670688-1 is not prime. Res64: 566D1062559F3F8E Time : 800.0 sec. user=vaughan [2010-03-12 05:41:32] 1545*2^670688-1 is not prime. Res64: 1CD9CE7F0B1D756F Time : 710.0 sec. user=vaughan [2010-03-12 05:44:03] 1697*2^670688-1 is not prime. Res64: 9611BEECC148285E Time : 803.0 sec. user=vaughan [2010-03-12 05:45:47] 1739*2^670688-1 is not prime. Res64: 3AC81E4C27957C7E Time : 727.0 sec. user=vaughan [2010-03-12 05:47:22] 1853*2^670688-1 is not prime. Res64: F1B38F17B62A182A Time : 791.0 sec. user=vaughan [2010-03-12 05:53:41] 1877*2^670688-1 is not prime. Res64: 5FFA85AF0F5B6AE7 Time : 729.0 sec. user=vaughan [2010-03-12 05:57:35] 1943*2^670688-1 is not prime. Res64: 904ECD33BED65866 Time : 812.0 sec. user=vaughan [2010-03-12 05:58:19] 1441*2^670689-1 is not prime. Res64: F37DFE1ABD23DD53 Time : 752.0 sec. user=vaughan [2010-03-12 06:00:56] 1455*2^670689-1 is not prime. Res64: 95863121CB97757C Time : 814.0 sec. user=vaughan [2010-03-12 06:05:57] 1495*2^670689-1 is not prime. Res64: 81769BA906B1F107 Time : 736.0 sec. user=vaughan [2010-03-12 06:10:31] 1525*2^670689-1 is not prime. Res64: BC740C481A1E0C15 Time : 733.0 sec. user=vaughan [2010-03-12 06:10:52] 1497*2^670689-1 is not prime. Res64: 07DB17247C0DDE91 Time : 797.0 sec. user=vaughan [2010-03-12 06:14:13] 1551*2^670689-1 is not prime. Res64: 615CF47D852D3A56 Time : 798.0 sec. user=vaughan [2010-03-12 06:17:54] 1599*2^670689-1 is not prime. Res64: 7BA21F79F860F87A Time : 717.0 sec. user=vaughan [2010-03-12 06:22:35] 1615*2^670689-1 is not prime. Res64: C35D3B7636114E9C Time : 724.0 sec. user=vaughan [2010-03-12 06:24:01] 1647*2^670689-1 is not prime. Res64: 37C9139F08D1D743 Time : 789.0 sec. user=vaughan [2010-03-12 06:27:21] 1651*2^670689-1 is not prime. Res64: 7A5DC47FC55384A0 Time : 788.0 sec. user=vaughan [2010-03-12 06:29:48] 1657*2^670689-1 is not prime. Res64: B36410922922A084 Time : 715.0 sec. user=vaughan [2010-03-12 06:34:41] 1669*2^670689-1 is not prime. Res64: E31DB946FD265226 Time : 726.0 sec. user=vaughan [2010-03-12 06:37:23] 1677*2^670689-1 is not prime. Res64: A97E38D33AD0B68A Time : 803.0 sec. user=vaughan [2010-03-12 06:40:32] 1719*2^670689-1 is not prime. Res64: 84E5526DEAF0F29F Time : 792.0 sec. user=vaughan [2010-03-12 06:41:44] 1755*2^670689-1 is not prime. Res64: 66F18AB1E127C2D4 Time : 717.0 sec. user=vaughan [2010-03-12 06:46:43] 1809*2^670689-1 is not prime. Res64: 66B52C7CD652B7DC Time : 722.0 sec. user=vaughan [2010-03-12 06:50:28] 1827*2^670689-1 is not prime. Res64: 260090B3D56E26DC Time : 786.0 sec. user=vaughan [2010-03-12 06:53:36] 1939*2^670689-1 is not prime. Res64: 9E474B3C44F19CBA Time : 712.0 sec. user=vaughan [2010-03-12 06:53:39] 1929*2^670689-1 is not prime. Res64: E64A06399AB9982D Time : 787.0 sec. user=vaughan [2010-03-12 06:58:53] 1941*2^670689-1 is not prime. Res64: 1895D07009AC6C4F Time : 730.0 sec. user=vaughan [2010-03-12 07:03:53] 1959*2^670689-1 is not prime. Res64: C8317FAD2B1D4A3B Time : 805.0 sec. user=vaughan [2010-03-12 07:05:38] 1999*2^670689-1 is not prime. Res64: 54149068A73F5076 Time : 722.0 sec. user=vaughan [2010-03-12 07:06:40] 1505*2^670690-1 is not prime. Res64: 2463D7C67E6746A2 Time : 781.0 sec. user=vaughan [2010-03-12 07:11:02] 1583*2^670690-1 is not prime. Res64: B772EA040396E945 Time : 729.0 sec. user=vaughan [2010-03-12 07:17:13] 1667*2^670690-1 is not prime. Res64: EBB535935ECE1596 Time : 800.0 sec. user=vaughan [2010-03-12 07:17:36] 1671*2^670690-1 is not prime. Res64: 499B4D5B428B6FE6 Time : 718.0 sec. user=vaughan [2010-03-12 07:19:50] 1751*2^670690-1 is not prime. Res64: D3643E7551FC4679 Time : 790.0 sec. user=vaughan [2010-03-12 07:23:13] 1857*2^670690-1 is not prime. Res64: 3B3C5CDBD919811F Time : 731.0 sec. user=vaughan [2010-03-12 07:29:31] 1953*2^670690-1 is not prime. Res64: 620F82CFD5C20BC1 Time : 715.0 sec. user=vaughan [2010-03-12 07:30:25] 1925*2^670690-1 is not prime. Res64: 1AD4A94E0D015C1E Time : 792.0 sec. user=vaughan [2010-03-12 07:33:04] 1965*2^670690-1 is not prime. Res64: 70F96A8493395631 Time : 794.0 sec. user=vaughan [2010-03-12 07:35:22] 1431*2^670691-1 is not prime. Res64: 41EE3CE82729F1A5 Time : 729.0 sec. user=vaughan [2010-03-12 07:41:32] 1441*2^670691-1 is not prime. Res64: 9F1F470C712A2B2E Time : 721.0 sec. user=vaughan [2010-03-12 07:43:59] 1503*2^670691-1 is not prime. Res64: 68D13262CE12A862 Time : 814.0 sec. user=vaughan [2010-03-12 07:46:17] 1509*2^670691-1 is not prime. Res64: 6303E015BC209B4A Time : 793.0 sec. user=vaughan [2010-03-12 07:47:47] 1551*2^670691-1 is not prime. Res64: 9A19A5664D8BD54D Time : 745.0 sec. user=vaughan [2010-03-12 07:53:56] 1585*2^670691-1 is not prime. Res64: 9BD20B3519C35D25 Time : 745.0 sec. user=vaughan [2010-03-12 07:57:21] 1671*2^670691-1 is not prime. Res64: 3D14ECAC52C1BC29 Time : 803.0 sec. user=vaughan [2010-03-12 08:00:00] 1729*2^670691-1 is not prime. Res64: 86B54B87BDFA3F4A Time : 823.0 sec. user=vaughan [2010-03-12 08:00:16] 1765*2^670691-1 is not prime. Res64: B798C42FE02E24CB Time : 749.0 sec. user=vaughan [2010-03-12 08:05:55] 1789*2^670691-1 is not prime. Res64: A58738AF2078E7F3 Time : 719.0 sec. user=vaughan [2010-03-12 08:10:19] 1497*2^670692-1 is not prime. Res64: 867A2C2AA2CAEDC7 Time : 778.0 sec. user=vaughan [2010-03-12 08:12:18] 1595*2^670692-1 is not prime. Res64: BFDFC56B1202B478 Time : 723.0 sec. user=vaughan [2010-03-12 08:13:22] 1547*2^670692-1 is not prime. Res64: 6906E28CF9E75D36 Time : 802.0 sec. user=vaughan [2010-03-12 08:17:49] 1677*2^670692-1 is not prime. Res64: E47357FE0C68E0B0 Time : 714.0 sec. user=vaughan [2010-03-12 08:23:14] 1727*2^670692-1 is not prime. Res64: 234B4E6EF3D5F847 Time : 775.0 sec. user=vaughan [2010-03-12 08:24:18] 1923*2^670692-1 is not prime. Res64: 913BF4C16F56C835 Time : 720.0 sec. user=vaughan [2010-03-12 08:26:41] 1929*2^670692-1 is not prime. Res64: B9327A1A7510C4F9 Time : 800.0 sec. user=vaughan [2010-03-12 08:29:43] 1985*2^670692-1 is not prime. Res64: FAD1428A85C6BCAD Time : 714.0 sec. user=vaughan [2010-03-12 08:36:12] 1435*2^670693-1 is not prime. Res64: 7C64F6C04046B102 Time : 778.0 sec. user=vaughan [2010-03-12 08:36:18] 1471*2^670693-1 is not prime. Res64: 90A2F3B2B87D5E4A Time : 720.0 sec. user=vaughan [2010-03-12 08:39:59] 1497*2^670693-1 is not prime. Res64: 8D3B9D2494E289B8 Time : 798.0 sec. user=vaughan [2010-03-12 08:41:35] 1501*2^670693-1 is not prime. Res64: 1F0BEC51033DE89A Time : 713.0 sec. user=vaughan [2010-03-12 08:48:21] 1639*2^670693-1 is not prime. Res64: D14C1246DD9AD33A Time : 723.0 sec. user=vaughan [2010-03-12 08:49:27] 1549*2^670693-1 is not prime. Res64: 1B0D350F925A71D7 Time : 795.0 sec. user=vaughan [2010-03-12 08:53:04] 1687*2^670693-1 is not prime. Res64: E20498E68CAE93E6 Time : 786.0 sec. user=vaughan [2010-03-12 08:53:30] 1765*2^670693-1 is not prime. Res64: ED671E330936BAF6 Time : 716.0 sec. user=vaughan [2010-03-12 09:00:25] 1819*2^670693-1 is not prime. Res64: E65A83DEAEA5F6E8 Time : 724.0 sec. user=vaughan [2010-03-12 09:02:48] 1849*2^670693-1 is not prime. Res64: E439B3D37E622D1C Time : 801.0 sec. user=vaughan [2010-03-12 09:05:25] 1975*2^670693-1 is not prime. Res64: 927209555C142FB2 Time : 716.0 sec. user=vaughan [2010-03-12 09:06:15] 1959*2^670693-1 is not prime. Res64: F53A9E2F8B4A3037 Time : 792.0 sec. user=vaughan [2010-03-12 09:12:26] 1433*2^670694-1 is not prime. Res64: 8A4B4754C6D03090 Time : 722.0 sec. user=vaughan [2010-03-12 09:15:46] 1457*2^670694-1 is not prime. Res64: D4750B4C7FB85080 Time : 778.0 sec. user=vaughan [2010-03-12 09:17:16] 1475*2^670694-1 is not prime. Res64: 62B719323EF097E3 Time : 711.0 sec. user=vaughan [2010-03-12 09:19:25] 1497*2^670694-1 is not prime. Res64: 22E6EBE60444107F Time : 790.0 sec. user=vaughan [2010-03-12 09:24:29] 1511*2^670694-1 is not prime. Res64: 8A31178467A2D495 Time : 723.0 sec. user=vaughan [2010-03-12 09:29:11] 1523*2^670694-1 is not prime. Res64: D4CA5A395B8C4B87 Time : 805.0 sec. user=vaughan [2010-03-12 09:29:12] 1533*2^670694-1 is not prime. Res64: EB48C995D238E0AE Time : 716.0 sec. user=vaughan [2010-03-12 09:32:34] 1655*2^670694-1 is not prime. Res64: 694F2667468D2733 Time : 790.0 sec. user=vaughan [2010-03-12 09:36:34] 1733*2^670694-1 is not prime. Res64: B4F55C4F1FABCECC Time : 725.0 sec. user=vaughan [2010-03-12 09:41:09] 1785*2^670694-1 is not prime. Res64: 4F10BEA0163A5F5A Time : 717.0 sec. user=vaughan [2010-03-12 09:42:16] 1763*2^670694-1 is not prime. Res64: 31CDB1388CB5348F Time : 785.0 sec. user=vaughan [2010-03-12 09:46:10] 1805*2^670694-1 is not prime. Res64: 7ED81C935966282D Time : 816.0 sec. user=vaughan [2010-03-12 09:49:12] 1851*2^670694-1 is not prime. Res64: AE4B64223B49CE8D Time : 759.0 sec. user=vaughan [2010-03-12 09:53:24] 1877*2^670694-1 is not prime. Res64: 5F8E0391C86D837C Time : 736.0 sec. user=vaughan [2010-03-12 09:55:48] 1937*2^670694-1 is not prime. Res64: 0C46D5137169F7C0 Time : 812.0 sec. user=vaughan [2010-03-12 09:59:43] 1465*2^670695-1 is not prime. Res64: 316D145CEB43BA6F Time : 813.0 sec. user=vaughan [2010-03-12 10:01:19] 1573*2^670695-1 is not prime. Res64: 8D95A13B500E4AC6 Time : 727.0 sec. user=vaughan [2010-03-12 10:05:15] 1621*2^670695-1 is not prime. Res64: 483A13EA7BF54DDD Time : 711.0 sec. user=vaughan [2010-03-12 10:08:54] 1783*2^670695-1 is not prime. Res64: 76DAAB1CA93A6513 Time : 786.0 sec. user=vaughan [2010-03-12 10:12:59] 1801*2^670695-1 is not prime. Res64: AB607FD5E91BED4D Time : 796.0 sec. user=vaughan [2010-03-12 10:13:22] 1839*2^670695-1 is not prime. Res64: 85F9A97C619183F3 Time : 723.0 sec. user=vaughan [2010-03-12 10:17:09] 1875*2^670695-1 is not prime. Res64: 70A754DFA9A03EE6 Time : 714.0 sec. user=vaughan [2010-03-12 10:22:02] 1909*2^670695-1 is not prime. Res64: 932EB66DDF878060 Time : 788.0 sec. user=vaughan [2010-03-12 10:25:28] 1999*2^670695-1 is not prime. Res64: C2E58B9E188BD5D9 Time : 726.0 sec. user=vaughan [2010-03-12 10:26:16] 1971*2^670695-1 is not prime. Res64: AB1C16D547CDC181 Time : 797.0 sec. user=vaughan [2010-03-12 10:29:03] 1529*2^670696-1 is not prime. Res64: DF1DB32831A5BDF2 Time : 714.0 sec. user=vaughan [2010-03-12 10:35:06] 1727*2^670696-1 is not prime. Res64: 56BA7A6B1AB906E9 Time : 784.0 sec. user=vaughan [2010-03-12 10:37:30] 1739*2^670696-1 is not prime. Res64: B44507E914C99406 Time : 722.0 sec. user=vaughan [2010-03-12 10:39:23] 1827*2^670696-1 is not prime. Res64: 25AC83CB894DE3C0 Time : 788.0 sec. user=vaughan [2010-03-12 10:40:58] 1889*2^670696-1 is not prime. Res64: 90F03FF597E737D8 Time : 715.0 sec. user=vaughan [2010-03-12 10:48:34] 1979*2^670696-1 is not prime. Res64: CA997F3587A246A2 Time : 809.0 sec. user=vaughan [2010-03-12 10:49:38] 1407*2^670697-1 is not prime. Res64: EF263629473C14CA Time : 729.0 sec. user=vaughan [2010-03-12 10:52:25] 1509*2^670697-1 is not prime. Res64: 1F3F210D126EE445 Time : 782.0 sec. user=vaughan [2010-03-12 10:52:55] 1531*2^670697-1 is not prime. Res64: EF55AAC8EAA6FCC6 Time : 718.0 sec. user=vaughan [2010-03-12 11:01:51] 1627*2^670697-1 is not prime. Res64: EA2B0871EC58396B Time : 734.0 sec. user=vaughan [2010-03-12 11:02:06] 1599*2^670697-1 is not prime. Res64: 913FBB594EBB2B1C Time : 812.0 sec. user=vaughan [2010-03-12 11:04:52] 1677*2^670697-1 is not prime. Res64: DA965A8F635B7759 Time : 718.0 sec. user=vaughan [2010-03-12 11:05:37] 1659*2^670697-1 is not prime. Res64: 60D8A8C124EE1DA9 Time : 792.0 sec. user=vaughan [2010-03-12 11:13:56] 1741*2^670697-1 is not prime. Res64: 57CD142B1AF91638 Time : 725.0 sec. user=vaughan [2010-03-12 11:14:59] 1849*2^670697-1 is not prime. Res64: 5F20592202EB46BE Time : 773.0 sec. user=vaughan [2010-03-12 11:16:43] 1431*2^670698-1 is not prime. Res64: 11AE330AA0F93C6E Time : 711.0 sec. user=vaughan [2010-03-12 11:18:57] 1493*2^670698-1 is not prime. Res64: 9F47447468AB96EA Time : 801.0 sec. user=vaughan [2010-03-12 11:26:06] 1547*2^670698-1 is not prime. Res64: D5A31832DF3FE22F Time : 730.0 sec. user=vaughan [2010-03-12 11:28:14] 1571*2^670698-1 is not prime. Res64: EA9C238C66D0D4DC Time : 795.0 sec. user=vaughan [2010-03-12 11:28:39] 1595*2^670698-1 is not prime. Res64: D985DAE646C02E73 Time : 716.0 sec. user=vaughan [2010-03-12 11:32:17] 1827*2^670698-1 is not prime. Res64: 72D41FBC97A730D0 Time : 800.0 sec. user=vaughan [2010-03-12 11:38:43] 1953*2^670698-1 is not prime. Res64: BC138137BE80E199 Time : 758.0 sec. user=vaughan [2010-03-12 11:41:01] 1401*2^670699-1 is not prime. Res64: 2B1EF48C455BCF3B Time : 742.0 sec. user=vaughan [2010-03-12 11:41:35] 1983*2^670698-1 is not prime. Res64: AA5299AB006FDDC5 Time : 801.0 sec. user=vaughan [2010-03-12 11:46:06] 1431*2^670699-1 is not prime. Res64: D4ECAD1F6EEA96D3 Time : 829.0 sec. user=vaughan [2010-03-12 11:50:57] 1455*2^670699-1 is not prime. Res64: 344F95D4631E6406 Time : 735.0 sec. user=vaughan [2010-03-12 11:52:57] 1479*2^670699-1 is not prime. Res64: 57F3FD7699537FB4 Time : 716.0 sec. user=vaughan [2010-03-12 11:54:32] 1515*2^670699-1 is not prime. Res64: FB9F5F06C4AF6350 Time : 778.0 sec. user=vaughan [2010-03-12 11:59:27] 1569*2^670699-1 is not prime. Res64: 64A0AD9DD8A62924 Time : 801.0 sec. user=vaughan [2010-03-12 12:03:07] 1591*2^670699-1 is not prime. Res64: F77D0E7E5A70FCEF Time : 730.0 sec. user=vaughan [2010-03-12 12:04:56] 1653*2^670699-1 is not prime. Res64: CE479B45EF9C966B Time : 719.0 sec. user=vaughan [2010-03-12 12:07:33] 1669*2^670699-1 is not prime. Res64: 9815D560C4801F45 Time : 781.0 sec. user=vaughan [2010-03-12 12:12:53] 1821*2^670699-1 is not prime. Res64: E601D2365804ACF7 Time : 806.0 sec. user=vaughan [2010-03-12 12:15:11] 1923*2^670699-1 is not prime. Res64: 3D8989E0FA4831A6 Time : 724.0 sec. user=vaughan [2010-03-12 12:16:49] 1941*2^670699-1 is not prime. Res64: A33238D79084EBD0 Time : 713.0 sec. user=vaughan [2010-03-12 12:20:29] 1945*2^670699-1 is not prime. Res64: 558DFC8922F4428C Time : 776.0 sec. user=vaughan [2010-03-12 12:26:13] 1989*2^670699-1 is not prime. Res64: 13F993ED91DFC9AD Time : 800.0 sec. user=vaughan [2010-03-12 12:27:12] 1425*2^670700-1 is not prime. Res64: 72521863E1D14EE5 Time : 721.0 sec. user=vaughan [2010-03-12 12:28:40] 1439*2^670700-1 is not prime. Res64: A9CB49778CE95A60 Time : 712.0 sec. user=vaughan [2010-03-12 12:33:30] 1467*2^670700-1 is not prime. Res64: F39E6222C1BD7B74 Time : 781.0 sec. user=vaughan [2010-03-12 12:39:15] 1623*2^670700-1 is not prime. Res64: 63FE3E7733F14345 Time : 724.0 sec. user=vaughan [2010-03-12 12:39:20] 1565*2^670700-1 is not prime. Res64: E8E36DC4FE682D2A Time : 787.0 sec. user=vaughan [2010-03-12 12:40:34] 1635*2^670700-1 is not prime. Res64: DE33F042A693A4DF Time : 714.0 sec. user=vaughan [2010-03-12 12:46:55] 1727*2^670700-1 is not prime. Res64: DF95AE659061B8AF Time : 806.0 sec. user=vaughan [2010-03-12 12:51:25] 1995*2^670700-1 is not prime. Res64: D9B150D7EA3BFF25 Time : 731.0 sec. user=vaughan [2010-03-12 12:52:20] 1417*2^670701-1 is not prime. Res64: 9EB0B50E19C7ECBF Time : 781.0 sec. user=vaughan [2010-03-12 12:52:31] 1441*2^670701-1 is not prime. Res64: 274F3B254726A92F Time : 717.0 sec. user=vaughan [2010-03-12 13:00:24] 1515*2^670701-1 is not prime. Res64: BD6078079BC45741 Time : 809.0 sec. user=vaughan [2010-03-12 13:03:31] 1525*2^670701-1 is not prime. Res64: 65DCEE271F206430 Time : 726.0 sec. user=vaughan [2010-03-12 13:04:26] 1647*2^670701-1 is not prime. Res64: 8A480743586D841C Time : 715.0 sec. user=vaughan [2010-03-12 13:05:23] 1615*2^670701-1 is not prime. Res64: D76EB7B66A324838 Time : 783.0 sec. user=vaughan [2010-03-12 13:13:35] 1875*2^670701-1 is not prime. Res64: A194A13542CFE46C Time : 791.0 sec. user=vaughan [2010-03-12 13:15:34] 1939*2^670701-1 is not prime. Res64: 46B1632A4368F9B0 Time : 723.0 sec. user=vaughan [2010-03-12 13:16:20] 1965*2^670701-1 is not prime. Res64: 74674941AB518510 Time : 714.0 sec. user=vaughan [2010-03-12 13:18:46] 1999*2^670701-1 is not prime. Res64: 46C226A60CB65BAB Time : 803.0 sec. user=vaughan [2010-03-12 13:26:36] 1445*2^670702-1 is not prime. Res64: 148CC4A71C84A70A Time : 781.0 sec. user=vaughan [2010-03-12 13:27:50] 1461*2^670702-1 is not prime. Res64: B46C2B4AFB811DA6 Time : 736.0 sec. user=vaughan [2010-03-12 13:28:19] 1491*2^670702-1 is not prime. Res64: CB44CA13B4C8491B Time : 719.0 sec. user=vaughan [2010-03-12 13:32:22] 1557*2^670702-1 is not prime. Res64: F4B80867ACC66D1E Time : 816.0 sec. user=vaughan [2010-03-12 13:40:11] 1703*2^670702-1 is not prime. Res64: DC5EBCA5FF504CD2 Time : 741.0 sec. user=vaughan [2010-03-12 13:40:16] 1571*2^670702-1 is not prime. Res64: 13C969822970E633 Time : 821.0 sec. user=vaughan [2010-03-12 13:40:24] 1737*2^670702-1 is not prime. Res64: A8EFBFD3A28CF483 Time : 725.0 sec. user=vaughan [2010-03-12 13:45:48] 1805*2^670702-1 is not prime. Res64: 24761D71C1A90DF4 Time : 806.0 sec. user=vaughan [2010-03-12 13:52:22] 1877*2^670702-1 is not prime. Res64: 9B8E035B54DBC91B Time : 731.0 sec. user=vaughan [2010-03-12 13:52:24] 1953*2^670702-1 is not prime. Res64: 356823500D33A8F8 Time : 720.0 sec. user=vaughan [2010-03-12 13:53:34] 1931*2^670702-1 is not prime. Res64: C049C4F372EA9057 Time : 798.0 sec. user=vaughan [2010-03-12 13:59:00] 1429*2^670703-1 is not prime. Res64: BC1185B7F101981C Time : 792.0 sec. user=vaughan [2010-03-12 14:04:18] 1483*2^670703-1 is not prime. Res64: E632738AA3604D29 Time : 714.0 sec. user=vaughan [2010-03-12 14:04:29] 1449*2^670703-1 is not prime. Res64: A752F0A62B2FDCEC Time : 727.0 sec. user=vaughan [2010-03-12 14:06:48] 1509*2^670703-1 is not prime. Res64: F9E41CD70CE4BB6B Time : 795.0 sec. user=vaughan [2010-03-12 14:12:23] 1579*2^670703-1 is not prime. Res64: DE0A426F51FDCE68 Time : 804.0 sec. user=vaughan [2010-03-12 14:16:10] 1593*2^670703-1 is not prime. Res64: 25DD0D9B39C718E5 Time : 713.0 sec. user=vaughan [2010-03-12 14:16:34] 1645*2^670703-1 is not prime. Res64: 69C49EABAD20A71C Time : 725.0 sec. user=vaughan [2010-03-12 14:19:44] 1659*2^670703-1 is not prime. Res64: 3743768E7678C0CD Time : 776.0 sec. user=vaughan [2010-03-12 14:25:45] 1665*2^670703-1 is not prime. Res64: 646C6D8060FF676F Time : 802.0 sec. user=vaughan [2010-03-12 14:28:04] 1803*2^670703-1 is not prime. Res64: 19084D7D6E8E9EB0 Time : 714.0 sec. user=vaughan [2010-03-12 14:28:40] 1863*2^670703-1 is not prime. Res64: AD5A2376DF906EB6 Time : 727.0 sec. user=vaughan [2010-03-12 14:32:39] 1915*2^670703-1 is not prime. Res64: BCF2EBC4C3E390CB Time : 775.0 sec. user=vaughan [2010-03-12 14:39:05] 1419*2^670704-1 is not prime. Res64: 051FE93CFD7C19F5 Time : 801.0 sec. user=vaughan [2010-03-12 14:39:54] 1515*2^670704-1 is not prime. Res64: 4842B33143BEEE0F Time : 710.0 sec. user=vaughan [2010-03-12 14:40:44] 1539*2^670704-1 is not prime. Res64: 771781D99D79A3F1 Time : 724.0 sec. user=vaughan [2010-03-12 14:45:56] 1649*2^670704-1 is not prime. Res64: BC758189EBA14A86 Time : 797.0 sec. user=vaughan [2010-03-12 14:51:52] 1865*2^670704-1 is not prime. Res64: 42D5228A1B7CDC4C Time : 718.0 sec. user=vaughan [2010-03-12 14:52:10] 1809*2^670704-1 is not prime. Res64: C97CDF7219940979 Time : 785.0 sec. user=vaughan [2010-03-12 14:52:51] 1937*2^670704-1 is not prime. Res64: E1FD2191797C67A8 Time : 727.0 sec. user=vaughan [2010-03-12 14:59:20] 1995*2^670704-1 is not prime. Res64: E6FC972D3EBE3C35 Time : 804.0 sec. user=vaughan [2010-03-12 15:03:49] 1401*2^670705-1 is not prime. Res64: DE22C5302B922E93 Time : 717.0 sec. user=vaughan [2010-03-12 15:04:58] 1545*2^670705-1 is not prime. Res64: 8A227C34EFD4A3AF Time : 727.0 sec. user=vaughan [2010-03-12 15:05:22] 1527*2^670705-1 is not prime. Res64: 099C7C4F6F1AAFC2 Time : 792.0 sec. user=vaughan [2010-03-12 15:12:14] 1581*2^670705-1 is not prime. Res64: B8BD79211EC2B84D Time : 774.0 sec. user=vaughan [2010-03-12 15:15:38] 1599*2^670705-1 is not prime. Res64: F4013E5EE731E1DA Time : 710.0 sec. user=vaughan [2010-03-12 15:17:05] 1807*2^670705-1 is not prime. Res64: DA13FECE09BC6D43 Time : 727.0 sec. user=vaughan [2010-03-12 15:18:39] 1867*2^670705-1 is not prime. Res64: EF7A1F28DCE1EC46 Time : 798.0 sec. user=vaughan [2010-03-12 15:25:46] 1881*2^670705-1 is not prime. Res64: 77BF52BCEDAAA47E Time : 812.0 sec. user=vaughan [2010-03-12 15:28:00] 1945*2^670705-1 is not prime. Res64: 2142D314204D8F63 Time : 742.0 sec. user=vaughan [2010-03-12 15:29:40] 1987*2^670705-1 is not prime. Res64: D2365ABD7033739B Time : 755.0 sec. user=vaughan [2010-03-12 15:32:20] 1547*2^670706-1 is not prime. Res64: 1783C37F85FE175C Time : 821.0 sec. user=vaughan [2010-03-12 15:39:25] 1565*2^670706-1 is not prime. Res64: 9A02EC0B7633FD50 Time : 819.0 sec. user=vaughan [2010-03-12 15:39:56] 1571*2^670706-1 is not prime. Res64: 3F3281CB10266E7F Time : 716.0 sec. user=vaughan [2010-03-12 15:41:43] 1587*2^670706-1 is not prime. Res64: 969DDCF069C88385 Time : 723.0 sec. user=vaughan [2010-03-12 15:45:18] 1623*2^670706-1 is not prime. Res64: 3624918EC111AED2 Time : 778.0 sec. user=vaughan [2010-03-12 15:51:46] 1643*2^670706-1 is not prime. Res64: 5747942AC73A0E48 Time : 710.0 sec. user=vaughan [2010-03-12 15:52:45] 1637*2^670706-1 is not prime. Res64: 87B9B676DFCE5FF9 Time : 801.0 sec. user=vaughan [2010-03-12 15:53:44] 1701*2^670706-1 is not prime. Res64: B35C394559B6421F Time : 721.0 sec. user=vaughan [2010-03-12 15:58:24] 1707*2^670706-1 is not prime. Res64: 2F4ED4328294BBEE Time : 787.0 sec. user=vaughan [2010-03-12 16:03:40] 1761*2^670706-1 is not prime. Res64: C50E2C4B427CA8ED Time : 714.0 sec. user=vaughan [2010-03-12 16:05:40] 1793*2^670706-1 is not prime. Res64: E870F53E00F10557 Time : 776.0 sec. user=vaughan [2010-03-12 16:05:46] 1925*2^670706-1 is not prime. Res64: 0B3C8DC94C791924 Time : 722.0 sec. user=vaughan [2010-03-12 16:11:40] 1937*2^670706-1 is not prime. Res64: 6C4670CB7ADCEF57 Time : 796.0 sec. user=vaughan [2010-03-12 16:15:30] 1425*2^670707-1 is not prime. Res64: 942323668FD09E9C Time : 711.0 sec. user=vaughan [2010-03-12 16:17:52] 1521*2^670707-1 is not prime. Res64: C0C635F6C1008C6F Time : 726.0 sec. user=vaughan [2010-03-12 16:18:48] 1503*2^670707-1 is not prime. Res64: FF9FDD9F0B22E023 Time : 788.0 sec. user=vaughan [2010-03-12 16:25:03] 1551*2^670707-1 is not prime. Res64: 5472A2D3F1BDE291 Time : 803.0 sec. user=vaughan [2010-03-12 16:27:34] 1593*2^670707-1 is not prime. Res64: A6E664EE872D7931 Time : 724.0 sec. user=vaughan [2010-03-12 16:30:06] 1675*2^670707-1 is not prime. Res64: 7F2A75CE494B2D50 Time : 734.0 sec. user=vaughan [2010-03-12 16:31:53] 1771*2^670707-1 is not prime. Res64: 2824BB60CB68710D Time : 785.0 sec. user=vaughan [2010-03-12 16:38:21] 1869*2^670707-1 is not prime. Res64: 1449EC8ED78D7C70 Time : 798.0 sec. user=vaughan [2010-03-12 16:39:30] 1873*2^670707-1 is not prime. Res64: 352D5C87CB2A1BBF Time : 717.0 sec. user=vaughan [2010-03-12 16:42:14] 1915*2^670707-1 is not prime. Res64: 0DEC18DAE565C79F Time : 728.0 sec. user=vaughan [2010-03-12 16:45:19] 1959*2^670707-1 is not prime. Res64: 06323EFAAC7BA39F Time : 807.0 sec. user=vaughan [2010-03-12 16:51:21] 1993*2^670707-1 is not prime. Res64: 9C00156AC2185931 Time : 780.0 sec. user=vaughan [2010-03-12 16:51:22] 1473*2^670708-1 is not prime. Res64: 56C5B8DB441DF809 Time : 712.0 sec. user=vaughan [2010-03-12 16:54:19] 1487*2^670708-1 is not prime. Res64: DD0B5D8AC1504958 Time : 725.0 sec. user=vaughan [2010-03-12 16:58:29] 1527*2^670708-1 is not prime. Res64: 9D193CA1B5DD6A4F Time : 791.0 sec. user=vaughan [2010-03-12 17:03:19] 1653*2^670708-1 is not prime. Res64: 1760431983A25527 Time : 717.0 sec. user=vaughan [2010-03-12 17:04:27] 1535*2^670708-1 is not prime. Res64: A051739713D8F8B8 Time : 786.0 sec. user=vaughan [2010-03-12 17:06:27] 1683*2^670708-1 is not prime. Res64: 5FDBAED328207B7B Time : 728.0 sec. user=vaughan [2010-03-12 17:11:58] 1695*2^670708-1 is not prime. Res64: 8B24F3E099EB8790 Time : 810.0 sec. user=vaughan [2010-03-12 17:15:19] 1737*2^670708-1 is not prime. Res64: E2451896FF40AE6F Time : 720.0 sec. user=vaughan [2010-03-12 17:17:50] 1787*2^670708-1 is not prime. Res64: 238522C2657FDDBF Time : 803.0 sec. user=vaughan [2010-03-12 17:19:02] 1805*2^670708-1 is not prime. Res64: 362E87DA5CCAE95F Time : 755.0 sec. user=vaughan [2010-03-12 17:25:52] 1875*2^670708-1 is not prime. Res64: 2B5D0509189B5664 Time : 834.0 sec. user=vaughan [2010-03-12 17:27:41] 1877*2^670708-1 is not prime. Res64: 251830AF72713ED3 Time : 743.0 sec. user=vaughan [2010-03-12 17:31:01] 1889*2^670708-1 is not prime. Res64: 9ABDCDA981A83100 Time : 791.0 sec. user=vaughan [2010-03-12 17:31:19] 1899*2^670708-1 is not prime. Res64: 4CAC1811C41CF687 Time : 738.0 sec. user=vaughan [2010-03-12 17:39:05] 1983*2^670708-1 is not prime. Res64: 6A9BCEAB8644D5CC Time : 793.0 sec. user=vaughan [2010-03-12 17:39:29] 1989*2^670708-1 is not prime. Res64: AB1718F3C9C96662 Time : 709.0 sec. user=vaughan [2010-03-12 17:43:18] 1471*2^670709-1 is not prime. Res64: 6A4AF4E4929C995D Time : 719.0 sec. user=vaughan [2010-03-12 17:44:11] 1455*2^670709-1 is not prime. Res64: C080132856FCD6E5 Time : 790.0 sec. user=vaughan [2010-03-12 17:51:20] 1489*2^670709-1 is not prime. Res64: 28347C3C22727204 Time : 712.0 sec. user=vaughan [2010-03-12 17:52:17] 1485*2^670709-1 is not prime. Res64: 1F0432BE8F17923E Time : 792.0 sec. user=vaughan [2010-03-12 17:55:24] 1551*2^670709-1 is not prime. Res64: E573A46D5DD97334 Time : 726.0 sec. user=vaughan [2010-03-12 17:57:28] 1617*2^670709-1 is not prime. Res64: 1400967828CD54EF Time : 797.0 sec. user=vaughan [2010-03-12 18:03:09] 1627*2^670709-1 is not prime. Res64: D93E6610D9042262 Time : 710.0 sec. user=vaughan [2010-03-12 18:05:15] 1747*2^670709-1 is not prime. Res64: F06F42C71D0C434D Time : 778.0 sec. user=vaughan [2010-03-12 18:07:30] 1749*2^670709-1 is not prime. Res64: 6AC2A67EF3927C87 Time : 726.0 sec. user=vaughan [2010-03-12 18:10:51] 1915*2^670709-1 is not prime. Res64: 8DE2DD442C124DA2 Time : 803.0 sec. user=vaughan [2010-03-12 18:15:01] 1989*2^670709-1 is not prime. Res64: 2A67C62480BCCF75 Time : 712.0 sec. user=vaughan [2010-03-12 18:18:18] 1995*2^670709-1 is not prime. Res64: 7D64CB7225F75AE1 Time : 783.0 sec. user=vaughan [2010-03-12 18:19:26] 1421*2^670710-1 is not prime. Res64: AC0263FCFDAC017D Time : 717.0 sec. user=vaughan [2010-03-12 18:23:53] 1461*2^670710-1 is not prime. Res64: 76824591B254471C Time : 782.0 sec. user=vaughan [2010-03-12 18:26:46] 1467*2^670710-1 is not prime. Res64: 72C0D8A5663D4578 Time : 705.0 sec. user=vaughan [2010-03-12 18:31:23] 1487*2^670710-1 is not prime. Res64: C156BECD8EAE34A0 Time : 785.0 sec. user=vaughan [2010-03-12 18:31:30] 1503*2^670710-1 is not prime. Res64: CDB06AA58CAAD1D5 Time : 724.0 sec. user=vaughan [2010-03-12 18:37:06] 1505*2^670710-1 is not prime. Res64: 275EFECCCFAC1495 Time : 793.0 sec. user=vaughan [2010-03-12 18:38:39] 1577*2^670710-1 is not prime. Res64: 17E326B495F1E88D Time : 714.0 sec. user=vaughan [2010-03-12 18:43:36] 1605*2^670710-1 is not prime. Res64: 54235731EE430699 Time : 726.0 sec. user=vaughan [2010-03-12 18:44:38] 1601*2^670710-1 is not prime. Res64: AA182CE42DD25E2F Time : 796.0 sec. user=vaughan [2010-03-12 18:50:12] 1661*2^670710-1 is not prime. Res64: 1021943C04911F5F Time : 786.0 sec. user=vaughan [2010-03-12 18:50:28] 1683*2^670710-1 is not prime. Res64: 42204D0232774476 Time : 710.0 sec. user=vaughan [2010-03-12 18:55:40] 1745*2^670710-1 is not prime. Res64: BA6D970261FEAFAF Time : 724.0 sec. user=vaughan [2010-03-12 18:57:56] 1847*2^670710-1 is not prime. Res64: 1BB84F216F261A3D Time : 799.0 sec. user=vaughan [2010-03-12 19:02:25] 1441*2^670711-1 is not prime. Res64: D635A964426A0451 Time : 718.0 sec. user=vaughan [2010-03-12 19:03:18] 1881*2^670710-1 is not prime. Res64: EE3BB4F39AF165C6 Time : 786.0 sec. user=vaughan [2010-03-12 19:07:47] 1461*2^670711-1 is not prime. Res64: 8AF3E949B48AC393 Time : 727.0 sec. user=vaughan [2010-03-12 19:11:26] 1543*2^670711-1 is not prime. Res64: 49112032F9AE2614 Time : 810.0 sec. user=vaughan [2010-03-12 19:14:43] 1545*2^670711-1 is not prime. Res64: 3AD2ACDD03A142E1 Time : 738.0 sec. user=vaughan [2010-03-12 19:16:47] 1615*2^670711-1 is not prime. Res64: 4D06D50745477E93 Time : 809.0 sec. user=vaughan [2010-03-12 19:20:20] 1669*2^670711-1 is not prime. Res64: A1F2DD66D7B77C9E Time : 754.0 sec. user=vaughan [2010-03-12 19:25:08] 1759*2^670711-1 is not prime. Res64: 16CD588D02C6A5EC Time : 822.0 sec. user=vaughan [2010-03-12 19:26:46] 1833*2^670711-1 is not prime. Res64: 2D86DC75770C66F5 Time : 723.0 sec. user=vaughan [2010-03-12 19:29:50] 1863*2^670711-1 is not prime. Res64: 7ECD8C13849358EA Time : 783.0 sec. user=vaughan [2010-03-12 19:32:24] 1869*2^670711-1 is not prime. Res64: B27E14E030D471F3 Time : 724.0 sec. user=vaughan [2010-03-12 19:38:13] 1903*2^670711-1 is not prime. Res64: 367D316A9785D4A3 Time : 786.0 sec. user=vaughan [2010-03-12 19:38:41] 1935*2^670711-1 is not prime. Res64: EC03F80EEC21C483 Time : 715.0 sec. user=vaughan [2010-03-12 19:43:15] 1457*2^670712-1 is not prime. Res64: 5886211D407BA1DE Time : 805.0 sec. user=vaughan [2010-03-12 19:44:28] 1515*2^670712-1 is not prime. Res64: 7F0EDCB68CD5FB2A Time : 724.0 sec. user=vaughan [2010-03-12 19:50:34] 1557*2^670712-1 is not prime. Res64: B6DC4A5021F722EC Time : 713.0 sec. user=vaughan [2010-03-12 19:51:05] 1529*2^670712-1 is not prime. Res64: F2231E572D4CB53D Time : 772.0 sec. user=vaughan [2010-03-12 19:56:29] 1877*2^670712-1 is not prime. Res64: 441BDB33D1534DBC Time : 722.0 sec. user=vaughan [2010-03-12 19:56:39] 1827*2^670712-1 is not prime. Res64: 6EFCD3CC06C42FF7 Time : 805.0 sec. user=vaughan [2010-03-12 20:02:33] 1887*2^670712-1 is not prime. Res64: 17C36224A086A8FD Time : 719.0 sec. user=vaughan [2010-03-12 20:03:59] 1431*2^670713-1 is not prime. Res64: D890E71C3DA7F3F0 Time : 774.0 sec. user=vaughan [2010-03-12 20:08:31] 1491*2^670713-1 is not prime. Res64: CF2673E702791ACA Time : 724.0 sec. user=vaughan [2010-03-12 20:09:59] 1507*2^670713-1 is not prime. Res64: 00880FA88A3F6AC0 Time : 800.0 sec. user=vaughan [2010-03-12 20:14:33] 1557*2^670713-1 is not prime. Res64: 8032D7DC69E39A3D Time : 721.0 sec. user=vaughan [2010-03-12 20:17:17] 1587*2^670713-1 is not prime. Res64: 15E107B417DB2FF1 Time : 798.0 sec. user=vaughan [2010-03-12 20:20:41] 1627*2^670713-1 is not prime. Res64: 3E7BF0CEA768D277 Time : 730.0 sec. user=vaughan [2010-03-12 20:23:17] 1689*2^670713-1 is not prime. Res64: D00456BE4C2005B3 Time : 799.0 sec. user=vaughan [2010-03-12 20:26:39] 1717*2^670713-1 is not prime. Res64: 3761786A99AC0C85 Time : 726.0 sec. user=vaughan [2010-03-12 20:30:33] 1791*2^670713-1 is not prime. Res64: 147FBA5F7619E1BD Time : 796.0 sec. user=vaughan [2010-03-12 20:32:45] 1795*2^670713-1 is not prime. Res64: F15357937465377D Time : 724.0 sec. user=vaughan [2010-03-12 20:36:31] 1827*2^670713-1 is not prime. Res64: 7673973CB016EADB Time : 794.0 sec. user=vaughan [2010-03-12 20:38:31] 1839*2^670713-1 is not prime. Res64: 03F7528ABC82E6F1 Time : 712.0 sec. user=vaughan [2010-03-12 20:43:44] 1881*2^670713-1 is not prime. Res64: 6C845F55E0D91AEC Time : 791.0 sec. user=vaughan [2010-03-12 20:44:47] 1995*2^670713-1 is not prime. Res64: DD655BB24EDD0424 Time : 722.0 sec. user=vaughan [2010-03-12 20:49:46] 1517*2^670714-1 is not prime. Res64: C1523755A4F931D0 Time : 795.0 sec. user=vaughan [2010-03-12 20:50:28] 1625*2^670714-1 is not prime. Res64: 28659C97A2821CDD Time : 717.0 sec. user=vaughan [2010-03-12 20:56:45] 1643*2^670714-1 is not prime. Res64: 4C9BFD115C7774CD Time : 781.0 sec. user=vaughan [2010-03-12 20:56:47] 1671*2^670714-1 is not prime. Res64: F4F67B2DE7468764 Time : 720.0 sec. user=vaughan [2010-03-12 21:02:35] 1697*2^670714-1 is not prime. Res64: D72C3CC3E2267C8E Time : 728.0 sec. user=vaughan [2010-03-12 21:03:27] 1685*2^670714-1 is not prime. Res64: 215586A094942CEB Time : 821.0 sec. user=vaughan [2010-03-12 21:09:34] 1913*2^670714-1 is not prime. Res64: 5447B1C8785721FF Time : 767.0 sec. user=vaughan [2010-03-12 21:10:10] 1851*2^670714-1 is not prime. Res64: DBC48D5F87B23918 Time : 806.0 sec. user=vaughan [2010-03-12 21:14:54] 1953*2^670714-1 is not prime. Res64: 71A04524C77E67D3 Time : 739.0 sec. user=vaughan [2010-03-12 21:16:59] 1973*2^670714-1 is not prime. Res64: FDBD0C34135AC027 Time : 813.0 sec. user=vaughan [2010-03-12 21:21:31] 1977*2^670714-1 is not prime. Res64: 9774093C8CF22F37 Time : 718.0 sec. user=vaughan [2010-03-12 21:23:18] 1431*2^670715-1 is not prime. Res64: 1AFABBD112037A13 Time : 789.0 sec. user=vaughan [2010-03-12 21:26:46] 1533*2^670715-1 is not prime. Res64: AF63903B2EAEF5B8 Time : 713.0 sec. user=vaughan [2010-03-12 21:30:03] 1569*2^670715-1 is not prime. Res64: 3A91C1A4209C1994 Time : 785.0 sec. user=vaughan [2010-03-12 21:33:39] 1615*2^670715-1 is not prime. Res64: 637977303D820578 Time : 728.0 sec. user=vaughan [2010-03-12 21:36:44] 1639*2^670715-1 is not prime. Res64: F31221265DFE438A Time : 806.0 sec. user=vaughan [2010-03-12 21:38:51] 1665*2^670715-1 is not prime. Res64: AFA5D0CBC97AA647 Time : 725.0 sec. user=vaughan [2010-03-12 21:42:59] 1735*2^670715-1 is not prime. Res64: E421C693FDD1EC62 Time : 776.0 sec. user=vaughan [2010-03-12 21:45:50] 1791*2^670715-1 is not prime. Res64: B66F2AA98855604C Time : 731.0 sec. user=vaughan [2010-03-12 21:50:10] 1911*2^670715-1 is not prime. Res64: D1BF31C461542424 Time : 806.0 sec. user=vaughan [2010-03-12 21:50:50] 1933*2^670715-1 is not prime. Res64: 91259A47CEAC8312 Time : 719.0 sec. user=vaughan [2010-03-12 21:55:57] 1419*2^670716-1 is not prime. Res64: 2CF2A2D01670B475 Time : 778.0 sec. user=vaughan [2010-03-12 21:57:57] 1515*2^670716-1 is not prime. Res64: 1EEADCC1A99C2019 Time : 728.0 sec. user=vaughan [2010-03-12 22:02:41] 1605*2^670716-1 is not prime. Res64: 720BC0336501E3B8 Time : 711.0 sec. user=vaughan [2010-03-12 22:03:27] 1599*2^670716-1 is not prime. Res64: 65CFF4F4316A302F Time : 797.0 sec. user=vaughan [2010-03-12 22:09:05] 1727*2^670716-1 is not prime. Res64: BFD6162CFDB857F1 Time : 788.0 sec. user=vaughan [2010-03-12 22:10:00] 1763*2^670716-1 is not prime. Res64: E4CB01794DDC8818 Time : 723.0 sec. user=vaughan [2010-03-12 22:14:41] 1893*2^670716-1 is not prime. Res64: E6A662803710A494 Time : 720.0 sec. user=vaughan [2010-03-12 22:16:46] 1929*2^670716-1 is not prime. Res64: B4F3BAE07CD21993 Time : 799.0 sec. user=vaughan [2010-03-12 22:22:03] 1949*2^670716-1 is not prime. Res64: 4EA2E8183FBE93D0 Time : 778.0 sec. user=vaughan [2010-03-12 22:22:10] 1461*2^670717-1 is not prime. Res64: E70A2A4F8DB169B2 Time : 731.0 sec. user=vaughan [2010-03-12 22:26:36] 1599*2^670717-1 is not prime. Res64: 1FE40500930DCAAF Time : 716.0 sec. user=vaughan [2010-03-12 22:30:07] 1609*2^670717-1 is not prime. Res64: FE64C3761A63407C Time : 801.0 sec. user=vaughan [2010-03-12 22:34:07] 1699*2^670717-1 is not prime. Res64: 9280430E6FBA1758 Time : 717.0 sec. user=vaughan [2010-03-12 22:34:56] 1641*2^670717-1 is not prime. Res64: 3A0BDDB1CE207FD9 Time : 774.0 sec. user=vaughan [2010-03-12 22:38:32] 1729*2^670717-1 is not prime. Res64: 229D350729DDCD47 Time : 716.0 sec. user=vaughan [2010-03-12 22:43:31] 1737*2^670717-1 is not prime. Res64: 517DBEFF875642E7 Time : 805.0 sec. user=vaughan [2010-03-12 22:46:13] 1839*2^670717-1 is not prime. Res64: D48B5E96C1D62EE8 Time : 727.0 sec. user=vaughan [2010-03-12 22:47:55] 1857*2^670717-1 is not prime. Res64: 6BB941D1F8E17183 Time : 779.0 sec. user=vaughan [2010-03-12 22:50:35] 1885*2^670717-1 is not prime. Res64: A6E14F233C8AA510 Time : 723.0 sec. user=vaughan [2010-03-12 22:57:02] 1945*2^670717-1 is not prime. Res64: 60F8D3314FEFB7DE Time : 811.0 sec. user=vaughan [2010-03-12 22:58:49] 1965*2^670717-1 is not prime. Res64: 07F3D636AEC15DC2 Time : 757.0 sec. user=vaughan [2010-03-12 23:01:46] 1403*2^670718-1 is not prime. Res64: 96E8DA0A910E37E9 Time : 831.0 sec. user=vaughan [2010-03-12 23:03:11] 1425*2^670718-1 is not prime. Res64: 92511E8C249E325C Time : 756.0 sec. user=vaughan [2010-03-12 23:10:20] 1473*2^670718-1 is not prime. Res64: 31EECD5B64E9D4F7 Time : 799.0 sec. user=vaughan [2010-03-12 23:11:08] 1667*2^670718-1 is not prime. Res64: 340533149A7615CB Time : 739.0 sec. user=vaughan [2010-03-12 23:15:05] 1805*2^670718-1 is not prime. Res64: 2C060F52707DAE9F Time : 714.0 sec. user=vaughan [2010-03-12 23:15:11] 1763*2^670718-1 is not prime. Res64: C39040A9DE57CBD8 Time : 806.0 sec. user=vaughan [2010-03-12 23:23:11] 1877*2^670718-1 is not prime. Res64: C1BB6366308B1D50 Time : 723.0 sec. user=vaughan [2010-03-12 23:23:25] 1827*2^670718-1 is not prime. Res64: 8EC1B8439250D12D Time : 786.0 sec. user=vaughan [2010-03-12 23:27:09] 1881*2^670718-1 is not prime. Res64: A3741C063141B42D Time : 724.0 sec. user=vaughan [2010-03-12 23:28:20] 1923*2^670718-1 is not prime. Res64: 205110152E840441 Time : 789.0 sec. user=vaughan [2010-03-12 23:35:25] 1965*2^670718-1 is not prime. Res64: 9460D882376EA767 Time : 734.0 sec. user=vaughan [2010-03-12 23:36:51] 1971*2^670718-1 is not prime. Res64: 7368AE92B395EAA8 Time : 806.0 sec. user=vaughan [2010-03-12 23:39:05] 1441*2^670719-1 is not prime. Res64: FEA7CB2B87116F52 Time : 717.0 sec. user=vaughan [2010-03-12 23:41:31] 1479*2^670719-1 is not prime. Res64: FEFF2C2EED4EE805 Time : 791.0 sec. user=vaughan [2010-03-12 23:47:27] 1503*2^670719-1 is not prime. Res64: 96E1C11AD46E47F5 Time : 722.0 sec. user=vaughan [2010-03-12 23:50:06] 1533*2^670719-1 is not prime. Res64: 9518F6D88357EE15 Time : 795.0 sec. user=vaughan [2010-03-12 23:50:53] 1875*2^670719-1 is not prime. Res64: 847DFABF7AF84BC3 Time : 708.0 sec. user=vaughan [2010-03-12 23:54:30] 1899*2^670719-1 is not prime. Res64: 1D5289FF9BA2AE01 Time : 779.0 sec. user=vaughan [2010-03-12 23:59:26] 1939*2^670719-1 is not prime. Res64: C6CF9F766AE61564 Time : 719.0 sec.