user=vaughan [2010-02-21 00:07:25] 1419*2^670060-1 is not prime. Res64: 51663FF919537836 Time : 742.0 sec. user=vaughan [2010-02-21 00:07:36] 1547*2^670060-1 is not prime. Res64: 7D2FBF0717E11B8F Time : 742.0 sec. user=vaughan [2010-02-21 00:10:33] 1667*2^670060-1 is not prime. Res64: 2DF098F22D16F798 Time : 720.0 sec. user=vaughan [2010-02-21 00:11:43] 1683*2^670060-1 is not prime. Res64: 041303E9AEA4DB12 Time : 722.0 sec. user=vaughan [2010-02-21 00:20:17] 1713*2^670060-1 is not prime. Res64: 4838E5FA1B480624 Time : 773.0 sec. user=vaughan [2010-02-21 00:20:29] 1749*2^670060-1 is not prime. Res64: FBFDDDFC3F045D6A Time : 774.0 sec. user=vaughan [2010-02-21 00:22:48] 1889*2^670060-1 is not prime. Res64: A6B6B0DB46BA1C25 Time : 735.0 sec. user=vaughan [2010-02-21 00:23:57] 1977*2^670060-1 is not prime. Res64: D87428E87CA3720D Time : 734.0 sec. user=vaughan [2010-02-21 00:33:10] 1997*2^670060-1 is not prime. Res64: 9FBC4C60A76BDD86 Time : 773.0 sec. user=vaughan [2010-02-21 00:33:24] 1429*2^670061-1 is not prime. Res64: F529F7018FCF444B Time : 775.0 sec. user=vaughan [2010-02-21 00:35:01] 1455*2^670061-1 is not prime. Res64: D145DB05BD57CD7D Time : 733.0 sec. user=vaughan [2010-02-21 00:36:13] 1471*2^670061-1 is not prime. Res64: F8925F22CF86B19B Time : 737.0 sec. user=vaughan [2010-02-21 00:46:06] 1485*2^670061-1 is not prime. Res64: 934C9DACADBD6478 Time : 776.0 sec. user=vaughan [2010-02-21 00:46:16] 1489*2^670061-1 is not prime. Res64: B339916876F11FB1 Time : 772.0 sec. user=vaughan [2010-02-21 00:47:11] 1527*2^670061-1 is not prime. Res64: 661F5A6C95EFA5ED Time : 730.0 sec. user=vaughan [2010-02-21 00:48:22] 1561*2^670061-1 is not prime. Res64: BAACA5C8EAFAEBDB Time : 729.0 sec. user=vaughan [2010-02-21 01:00:29] 1681*2^670061-1 is not prime. Res64: A5373A1081D81356 Time : 799.0 sec. user=vaughan [2010-02-21 01:00:29] 1615*2^670061-1 is not prime. Res64: 58C137BE6403B00B Time : 863.0 sec. user=vaughan [2010-02-21 01:00:43] 1651*2^670061-1 is not prime. Res64: 6BE3CFEFA720326D Time : 867.0 sec. user=vaughan [2010-02-21 01:01:47] 1791*2^670061-1 is not prime. Res64: C3AFE04745D829C4 Time : 806.0 sec. user=vaughan [2010-02-21 01:12:24] 1851*2^670061-1 is not prime. Res64: 2254FB98DEB469C7 Time : 715.0 sec. user=vaughan [2010-02-21 01:12:52] 1869*2^670061-1 is not prime. Res64: 2ED239B8DE920562 Time : 743.0 sec. user=vaughan [2010-02-21 01:13:02] 1957*2^670061-1 is not prime. Res64: 805676B222AC2836 Time : 740.0 sec. user=vaughan [2010-02-21 01:13:41] 1553*2^670062-1 is not prime. Res64: E6D31E9F80C57822 Time : 714.0 sec. user=vaughan [2010-02-21 01:24:16] 1571*2^670062-1 is not prime. Res64: 69A66F4E6EE18DFC Time : 712.0 sec. user=vaughan [2010-02-21 01:25:12] 1577*2^670062-1 is not prime. Res64: 39B5199558A9D00F Time : 740.0 sec. user=vaughan [2010-02-21 01:25:22] 1605*2^670062-1 is not prime. Res64: 848A48AA15D2386F Time : 740.0 sec. user=vaughan [2010-02-21 01:25:37] 1665*2^670062-1 is not prime. Res64: 3BABBBF3F9ABF253 Time : 716.0 sec. user=vaughan [2010-02-21 01:36:09] 1703*2^670062-1 is not prime. Res64: D277AD4DCB1FFC96 Time : 713.0 sec. user=vaughan [2010-02-21 01:37:31] 1875*2^670062-1 is not prime. Res64: 6F70A02BF10CD645 Time : 739.0 sec. user=vaughan [2010-02-21 01:37:33] 1953*2^670062-1 is not prime. Res64: F3091E680A58D3B4 Time : 716.0 sec. user=vaughan [2010-02-21 01:37:39] 1901*2^670062-1 is not prime. Res64: A55F1ADA3B2973A4 Time : 737.0 sec. user=vaughan [2010-02-21 01:48:09] 1973*2^670062-1 is not prime. Res64: 78FD43F7A200E904 Time : 720.0 sec. user=vaughan [2010-02-21 01:49:38] 1485*2^670063-1 is not prime. Res64: B2269123E11EF5A0 Time : 725.0 sec. user=vaughan [2010-02-21 01:49:59] 1473*2^670063-1 is not prime. Res64: B68AF9003976582B Time : 748.0 sec. user=vaughan [2010-02-21 01:50:12] 1531*2^670063-1 is not prime. Res64: CC66D1A279001DA8 Time : 753.0 sec. user=vaughan [2010-02-21 02:02:22] 1573*2^670063-1 is not prime. Res64: 9A4B50DD41272416 Time : 853.0 sec. user=vaughan [2010-02-21 02:03:51] 1629*2^670063-1 is not prime. Res64: 488AF8F0B09E33FB Time : 854.0 sec. user=vaughan [2010-02-21 02:05:05] 1641*2^670063-1 is not prime. Res64: 2919569B014FAEC3 Time : 906.0 sec. user=vaughan [2010-02-21 02:05:16] 1699*2^670063-1 is not prime. Res64: CB8CD2938170535F Time : 904.0 sec. user=vaughan [2010-02-21 02:14:22] 1725*2^670063-1 is not prime. Res64: A5E943DFD2B321A4 Time : 721.0 sec. user=vaughan [2010-02-21 02:15:57] 1741*2^670063-1 is not prime. Res64: 77C7795367FA77BA Time : 726.0 sec. user=vaughan [2010-02-21 02:17:50] 1851*2^670063-1 is not prime. Res64: 069135D10E1D09E4 Time : 765.0 sec. user=vaughan [2010-02-21 02:18:03] 1911*2^670063-1 is not prime. Res64: 3AA213709AD33CF6 Time : 767.0 sec. user=vaughan [2010-02-21 02:26:37] 1945*2^670063-1 is not prime. Res64: 910724555D6F50F5 Time : 735.0 sec. user=vaughan [2010-02-21 02:28:13] 1595*2^670064-1 is not prime. Res64: 7C0A28F0709C7CA4 Time : 737.0 sec. user=vaughan [2010-02-21 02:30:44] 1665*2^670064-1 is not prime. Res64: C02DC1BD26CABB14 Time : 774.0 sec. user=vaughan [2010-02-21 02:30:58] 1677*2^670064-1 is not prime. Res64: 2DD376D430BA0FDB Time : 775.0 sec. user=vaughan [2010-02-21 02:38:49] 1767*2^670064-1 is not prime. Res64: 2379C241590FA14A Time : 732.0 sec. user=vaughan [2010-02-21 02:40:28] 1817*2^670064-1 is not prime. Res64: 4014ACEB47290E01 Time : 735.0 sec. user=vaughan [2010-02-21 02:43:40] 1883*2^670064-1 is not prime. Res64: 0981C75BE016E34F Time : 776.0 sec. user=vaughan [2010-02-21 02:43:54] 1895*2^670064-1 is not prime. Res64: B3F152F8BCCBA289 Time : 776.0 sec. user=vaughan [2010-02-21 03:02:11] 1917*2^670064-1 is not prime. Res64: D2BFCA5FD607CB27 Time : 1403.0 sec. user=vaughan [2010-02-21 03:02:13] 1447*2^670065-1 is not prime. Res64: 8DC9F05371690491 Time : 1100.0 sec. user=vaughan [2010-02-21 03:02:38] 1947*2^670064-1 is not prime. Res64: EDCB73AFC142ECFB Time : 1331.0 sec. user=vaughan [2010-02-21 03:03:01] 1995*2^670064-1 is not prime. Res64: 3F59D98DA0EB45D1 Time : 1162.0 sec. user=vaughan [2010-02-21 03:14:12] 1465*2^670065-1 is not prime. Res64: 44B0F5DCF68DC6DC Time : 722.0 sec. user=vaughan [2010-02-21 03:14:48] 1575*2^670065-1 is not prime. Res64: AA2F0A98F242F752 Time : 730.0 sec. user=vaughan [2010-02-21 03:14:54] 1501*2^670065-1 is not prime. Res64: 146B3D59F66E200A Time : 762.0 sec. user=vaughan [2010-02-21 03:15:47] 1609*2^670065-1 is not prime. Res64: 6C7B173CDBDD7F10 Time : 766.0 sec. user=vaughan [2010-02-21 03:26:17] 1617*2^670065-1 is not prime. Res64: 49A5AAE373A7341A Time : 725.0 sec. user=vaughan [2010-02-21 03:26:53] 1669*2^670065-1 is not prime. Res64: DEE9D2F9CEB87A61 Time : 726.0 sec. user=vaughan [2010-02-21 03:27:35] 1729*2^670065-1 is not prime. Res64: 86668CF7E863DD66 Time : 761.0 sec. user=vaughan [2010-02-21 03:28:23] 1791*2^670065-1 is not prime. Res64: E2B62EDCD18EF858 Time : 757.0 sec. user=vaughan [2010-02-21 03:38:10] 1801*2^670065-1 is not prime. Res64: 1D90FF7757A35F38 Time : 713.0 sec. user=vaughan [2010-02-21 03:38:47] 1999*2^670065-1 is not prime. Res64: 1C06AD6405B036A6 Time : 714.0 sec. user=vaughan [2010-02-21 03:39:55] 1427*2^670066-1 is not prime. Res64: 34D53D9AC9371398 Time : 740.0 sec. user=vaughan [2010-02-21 03:40:49] 1445*2^670066-1 is not prime. Res64: AECB2BC9613E7A4E Time : 746.0 sec. user=vaughan [2010-02-21 03:50:12] 1503*2^670066-1 is not prime. Res64: 5547419BEA9826CC Time : 722.0 sec. user=vaughan [2010-02-21 03:50:50] 1511*2^670066-1 is not prime. Res64: 5E6C2A73F88D5A9A Time : 723.0 sec. user=vaughan [2010-02-21 03:52:36] 1517*2^670066-1 is not prime. Res64: 79179F76AAA778B1 Time : 762.0 sec. user=vaughan [2010-02-21 03:53:32] 1575*2^670066-1 is not prime. Res64: 8FAE6D1721947F6C Time : 767.0 sec. user=vaughan [2010-02-21 04:02:25] 1631*2^670066-1 is not prime. Res64: E6E6A8D606D3DCF2 Time : 733.0 sec. user=vaughan [2010-02-21 04:03:06] 1673*2^670066-1 is not prime. Res64: 38807891A432D655 Time : 737.0 sec. user=vaughan [2010-02-21 04:05:24] 1871*2^670066-1 is not prime. Res64: 23470F9FEC414A89 Time : 768.0 sec. user=vaughan [2010-02-21 04:06:17] 1877*2^670066-1 is not prime. Res64: 24D171010B67BE66 Time : 765.0 sec. user=vaughan [2010-02-21 04:14:37] 1953*2^670066-1 is not prime. Res64: 36C0F07C48E8A759 Time : 732.0 sec. user=vaughan [2010-02-21 04:15:18] 1955*2^670066-1 is not prime. Res64: 53192016B80EE429 Time : 732.0 sec. user=vaughan [2010-02-21 04:18:00] 1991*2^670066-1 is not prime. Res64: 444FAAE3D5414377 Time : 756.0 sec. user=vaughan [2010-02-21 04:18:52] 1453*2^670067-1 is not prime. Res64: 02E8D0A27140EF57 Time : 755.0 sec. user=vaughan [2010-02-21 04:26:40] 1459*2^670067-1 is not prime. Res64: 87E22DFDE4101E78 Time : 724.0 sec. user=vaughan [2010-02-21 04:27:22] 1561*2^670067-1 is not prime. Res64: 4DC9D11837EBDFB3 Time : 725.0 sec. user=vaughan [2010-02-21 04:30:27] 1573*2^670067-1 is not prime. Res64: 0F59CDE53D920D41 Time : 747.0 sec. user=vaughan [2010-02-21 04:31:14] 1599*2^670067-1 is not prime. Res64: 6EA7A3D243BB1DEC Time : 742.0 sec. user=vaughan [2010-02-21 04:38:40] 1623*2^670067-1 is not prime. Res64: 409FC627C48066F7 Time : 720.0 sec. user=vaughan [2010-02-21 04:39:19] 1719*2^670067-1 is not prime. Res64: 72B1C84F7A618A9B Time : 718.0 sec. user=vaughan [2010-02-21 04:42:59] 1743*2^670067-1 is not prime. Res64: A149D3BB36C23ACB Time : 752.0 sec. user=vaughan [2010-02-21 04:43:51] 1803*2^670067-1 is not prime. Res64: 14AB414F5767CB65 Time : 757.0 sec. user=vaughan [2010-02-21 04:50:58] 1819*2^670067-1 is not prime. Res64: B5613B9B8D192687 Time : 738.0 sec. user=vaughan [2010-02-21 04:51:37] 1833*2^670067-1 is not prime. Res64: C74C6859D262C236 Time : 738.0 sec. user=vaughan [2010-02-21 04:55:51] 1863*2^670067-1 is not prime. Res64: C8328F811D6EDFC5 Time : 772.0 sec. user=vaughan [2010-02-21 04:56:40] 1893*2^670067-1 is not prime. Res64: 4AF63EBF37326F67 Time : 769.0 sec. user=vaughan [2010-02-21 05:02:56] 1419*2^670068-1 is not prime. Res64: 38779268F6BE7758 Time : 718.0 sec. user=vaughan [2010-02-21 05:03:35] 1497*2^670068-1 is not prime. Res64: 3012A635D424EE69 Time : 718.0 sec. user=vaughan [2010-02-21 05:08:22] 1517*2^670068-1 is not prime. Res64: 17940A9AC9EC4C53 Time : 751.0 sec. user=vaughan [2010-02-21 05:09:11] 1593*2^670068-1 is not prime. Res64: DD2430D1F6343032 Time : 752.0 sec. user=vaughan [2010-02-21 05:15:08] 1605*2^670068-1 is not prime. Res64: 88A820ACFB1D3603 Time : 732.0 sec. user=vaughan [2010-02-21 05:15:46] 1623*2^670068-1 is not prime. Res64: 16357FE0FD808393 Time : 732.0 sec. user=vaughan [2010-02-21 05:21:00] 1719*2^670068-1 is not prime. Res64: DAB4A702342049BB Time : 758.0 sec. user=vaughan [2010-02-21 05:21:48] 1805*2^670068-1 is not prime. Res64: 11697D795EADDD74 Time : 758.0 sec. user=vaughan [2010-02-21 05:27:11] 1959*2^670068-1 is not prime. Res64: 3C484D4AEC909CC0 Time : 724.0 sec. user=vaughan [2010-02-21 05:27:49] 1967*2^670068-1 is not prime. Res64: 226C2F4E4BBCE28F Time : 723.0 sec. user=vaughan [2010-02-21 05:33:25] 1477*2^670069-1 is not prime. Res64: BB0BF5A1DB356D1E Time : 746.0 sec. user=vaughan [2010-02-21 05:34:12] 1561*2^670069-1 is not prime. Res64: 8A3B1FC1C3E21A61 Time : 744.0 sec. user=vaughan [2010-02-21 05:39:08] 1599*2^670069-1 is not prime. Res64: 10837755F99BD291 Time : 717.0 sec. user=vaughan [2010-02-21 05:39:54] 1605*2^670069-1 is not prime. Res64: C4759511C2FD9A30 Time : 725.0 sec. user=vaughan [2010-02-21 05:45:48] 1609*2^670069-1 is not prime. Res64: 5F1A006E16A53D2E Time : 743.0 sec. user=vaughan [2010-02-21 05:46:31] 1611*2^670069-1 is not prime. Res64: EBEC6BFC8980CE83 Time : 739.0 sec. user=vaughan [2010-02-21 05:51:03] 1687*2^670069-1 is not prime. Res64: 61C48B50FB355E73 Time : 715.0 sec. user=vaughan [2010-02-21 05:51:49] 1711*2^670069-1 is not prime. Res64: 4D5426636B3D724C Time : 715.0 sec. user=vaughan [2010-02-21 05:58:10] 1731*2^670069-1 is not prime. Res64: 3E8936C688B7EA85 Time : 743.0 sec. user=vaughan [2010-02-21 05:58:56] 1737*2^670069-1 is not prime. Res64: D57A0A32A8E87671 Time : 745.0 sec. user=vaughan [2010-02-21 06:03:04] 1771*2^670069-1 is not prime. Res64: 26FD87F383FC1B4F Time : 722.0 sec. user=vaughan [2010-02-21 06:03:51] 1797*2^670069-1 is not prime. Res64: 9F45E4B0CE10945E Time : 722.0 sec. user=vaughan [2010-02-21 06:10:55] 1837*2^670069-1 is not prime. Res64: B6894B6426954670 Time : 766.0 sec. user=vaughan [2010-02-21 06:11:38] 1857*2^670069-1 is not prime. Res64: B014E087004B63F8 Time : 763.0 sec. user=vaughan [2010-02-21 06:15:19] 1885*2^670069-1 is not prime. Res64: 1642E185DC6F6ED8 Time : 736.0 sec. user=vaughan [2010-02-21 06:16:03] 1917*2^670069-1 is not prime. Res64: 6F7ECF6700B44E12 Time : 732.0 sec. user=vaughan [2010-02-21 06:23:39] 1461*2^670070-1 is not prime. Res64: A7FDC2309E55D851 Time : 764.0 sec. user=vaughan [2010-02-21 06:24:19] 1533*2^670070-1 is not prime. Res64: CEE61F0561862F69 Time : 761.0 sec. user=vaughan [2010-02-21 06:28:13] 1565*2^670070-1 is not prime. Res64: 23A602F2206C7569 Time : 774.0 sec. user=vaughan [2010-02-21 06:29:18] 1691*2^670070-1 is not prime. Res64: 14C5292432E9B158 Time : 796.0 sec. user=vaughan [2010-02-21 06:38:50] 1775*2^670070-1 is not prime. Res64: BC3B58E1DBFF9F80 Time : 911.0 sec. user=vaughan [2010-02-21 06:39:25] 1821*2^670070-1 is not prime. Res64: 498CECBAE9E620ED Time : 907.0 sec. user=vaughan [2010-02-21 06:41:41] 1851*2^670070-1 is not prime. Res64: 06BF8D9ABE3E9CE1 Time : 808.0 sec. user=vaughan [2010-02-21 06:42:16] 1865*2^670070-1 is not prime. Res64: BD140A3D1927DC6A Time : 778.0 sec. user=vaughan [2010-02-21 06:51:10] 1875*2^670070-1 is not prime. Res64: 19C11FE6BFD637E9 Time : 741.0 sec. user=vaughan [2010-02-21 06:51:43] 1917*2^670070-1 is not prime. Res64: CE10FE7611658AC1 Time : 738.0 sec. user=vaughan [2010-02-21 06:53:35] 1961*2^670070-1 is not prime. Res64: F1E29D8DB77F0309 Time : 715.0 sec. user=vaughan [2010-02-21 06:54:10] 1479*2^670071-1 is not prime. Res64: DAA9BE874F1DA8B9 Time : 714.0 sec. user=vaughan [2010-02-21 07:03:29] 1543*2^670071-1 is not prime. Res64: 7168ABDC37D83767 Time : 739.0 sec. user=vaughan [2010-02-21 07:04:05] 1593*2^670071-1 is not prime. Res64: 182D296839D90BC1 Time : 742.0 sec. user=vaughan [2010-02-21 07:05:29] 1641*2^670071-1 is not prime. Res64: 30F64BAF447FF39F Time : 715.0 sec. user=vaughan [2010-02-21 07:06:07] 1749*2^670071-1 is not prime. Res64: 53A57DD40718FFBE Time : 718.0 sec. user=vaughan [2010-02-21 07:15:59] 1801*2^670071-1 is not prime. Res64: 1D20735BC3735ED4 Time : 750.0 sec. user=vaughan [2010-02-21 07:16:30] 1911*2^670071-1 is not prime. Res64: 38454BB8DB60C518 Time : 745.0 sec. user=vaughan [2010-02-21 07:17:30] 1945*2^670071-1 is not prime. Res64: 3FFB04F0451CFA27 Time : 721.0 sec. user=vaughan [2010-02-21 07:18:10] 1995*2^670071-1 is not prime. Res64: 2A13B99702E70830 Time : 723.0 sec. user=vaughan [2010-02-21 07:28:37] 1407*2^670072-1 is not prime. Res64: C454E9B8EEEF88EF Time : 758.0 sec. user=vaughan [2010-02-21 07:29:09] 1505*2^670072-1 is not prime. Res64: 329163EF0D3B7280 Time : 759.0 sec. user=vaughan [2010-02-21 07:29:36] 1553*2^670072-1 is not prime. Res64: DE6B1FFE18D01F70 Time : 727.0 sec. user=vaughan [2010-02-21 07:30:20] 1559*2^670072-1 is not prime. Res64: 835FCB98C4FE96EE Time : 732.0 sec. user=vaughan [2010-02-21 07:41:40] 1619*2^670072-1 is not prime. Res64: E62062D223DE1B56 Time : 783.0 sec. user=vaughan [2010-02-21 07:41:55] 1727*2^670072-1 is not prime. Res64: 48EBA41893E32A21 Time : 740.0 sec. user=vaughan [2010-02-21 07:42:12] 1637*2^670072-1 is not prime. Res64: 57A1252C7CDF2F7A Time : 783.0 sec. user=vaughan [2010-02-21 07:42:54] 1739*2^670072-1 is not prime. Res64: 16F38707E4178012 Time : 754.0 sec. user=vaughan [2010-02-21 07:54:05] 1883*2^670072-1 is not prime. Res64: ABFDBD2B8264C738 Time : 730.0 sec. user=vaughan [2010-02-21 07:54:25] 1799*2^670072-1 is not prime. Res64: C7587CE2661D019C Time : 766.0 sec. user=vaughan [2010-02-21 07:54:56] 1889*2^670072-1 is not prime. Res64: 68EF61D7F948321C Time : 764.0 sec. user=vaughan [2010-02-21 07:55:01] 1953*2^670072-1 is not prime. Res64: 30EC5F1B1303A61C Time : 731.0 sec. user=vaughan [2010-02-21 08:06:03] 1995*2^670072-1 is not prime. Res64: 0B284ADF90AE980A Time : 719.0 sec. user=vaughan [2010-02-21 08:06:50] 1407*2^670073-1 is not prime. Res64: E69B084968E052A2 Time : 746.0 sec. user=vaughan [2010-02-21 08:06:57] 1497*2^670073-1 is not prime. Res64: 7C9AD0CEF08885BE Time : 716.0 sec. user=vaughan [2010-02-21 08:07:18] 1429*2^670073-1 is not prime. Res64: 7E23C85EFCD082A2 Time : 743.0 sec. user=vaughan [2010-02-21 08:17:55] 1557*2^670073-1 is not prime. Res64: AEB84F0E5B46CDE8 Time : 713.0 sec. user=vaughan [2010-02-21 08:18:54] 1581*2^670073-1 is not prime. Res64: B9D7C15EB1FEDA07 Time : 717.0 sec. user=vaughan [2010-02-21 08:19:06] 1579*2^670073-1 is not prime. Res64: E7E0544F060220C3 Time : 737.0 sec. user=vaughan [2010-02-21 08:19:38] 1611*2^670073-1 is not prime. Res64: 9FFF3B80B0D62AD6 Time : 741.0 sec. user=vaughan [2010-02-21 08:29:49] 1627*2^670073-1 is not prime. Res64: 9CA1361BC8A4F391 Time : 714.0 sec. user=vaughan [2010-02-21 08:30:48] 1681*2^670073-1 is not prime. Res64: F1FD517DD381D69B Time : 714.0 sec. user=vaughan [2010-02-21 08:31:27] 1725*2^670073-1 is not prime. Res64: 2DBBA4969E18DFD0 Time : 741.0 sec. user=vaughan [2010-02-21 08:31:55] 1821*2^670073-1 is not prime. Res64: 86EEDC79074C28E0 Time : 738.0 sec. user=vaughan [2010-02-21 08:41:45] 1839*2^670073-1 is not prime. Res64: 690174F30A660C19 Time : 717.0 sec. user=vaughan [2010-02-21 08:42:43] 1905*2^670073-1 is not prime. Res64: 93156899E5A5F938 Time : 715.0 sec. user=vaughan [2010-02-21 08:43:48] 1951*2^670073-1 is not prime. Res64: C83A415E4E10E3ED Time : 742.0 sec. user=vaughan [2010-02-21 08:44:14] 1975*2^670073-1 is not prime. Res64: AC0877DEAD93CCD4 Time : 739.0 sec. user=vaughan [2010-02-21 08:53:43] 1995*2^670073-1 is not prime. Res64: 561EE60B78148796 Time : 718.0 sec. user=vaughan [2010-02-21 08:54:38] 1999*2^670073-1 is not prime. Res64: 68A91C9EC115CB61 Time : 715.0 sec. user=vaughan [2010-02-21 08:56:11] 1437*2^670074-1 is not prime. Res64: B3090456402DFA7F Time : 743.0 sec. user=vaughan [2010-02-21 08:56:44] 1511*2^670074-1 is not prime. Res64: EFB67748F849E4AD Time : 750.0 sec. user=vaughan [2010-02-21 09:05:39] 1553*2^670074-1 is not prime. Res64: 388DCAB71EB74300 Time : 717.0 sec. user=vaughan [2010-02-21 09:06:40] 1587*2^670074-1 is not prime. Res64: 8C9919D9FB652323 Time : 722.0 sec. user=vaughan [2010-02-21 09:08:37] 1605*2^670074-1 is not prime. Res64: DA54794566D56CB0 Time : 748.0 sec. user=vaughan [2010-02-21 09:09:14] 1647*2^670074-1 is not prime. Res64: 00FB6A8CA0BB1FAF Time : 752.0 sec. user=vaughan [2010-02-21 09:17:47] 1673*2^670074-1 is not prime. Res64: 66C960895E0E7B1B Time : 728.0 sec. user=vaughan [2010-02-21 09:18:50] 1763*2^670074-1 is not prime. Res64: D6A9758341755A2C Time : 731.0 sec. user=vaughan [2010-02-21 09:21:16] 1817*2^670074-1 is not prime. Res64: D72E33E153DBFF9C Time : 759.0 sec. user=vaughan [2010-02-21 09:21:48] 1875*2^670074-1 is not prime. Res64: 26852E887BC2D515 Time : 755.0 sec. user=vaughan [2010-02-21 09:30:15] 1881*2^670074-1 is not prime. Res64: 4EA1BD349D4EE1C0 Time : 749.0 sec. user=vaughan [2010-02-21 09:31:27] 1419*2^670075-1 is not prime. Res64: 6DB21D08EF23B0FE Time : 757.0 sec. user=vaughan [2010-02-21 09:35:40] 1575*2^670075-1 is not prime. Res64: E4452603869ADEB5 Time : 865.0 sec. user=vaughan [2010-02-21 09:36:09] 1591*2^670075-1 is not prime. Res64: F0E0DFB8240751DA Time : 862.0 sec. user=vaughan [2010-02-21 09:43:01] 1599*2^670075-1 is not prime. Res64: 90143B8B3782E9AA Time : 766.0 sec. user=vaughan [2010-02-21 09:43:59] 1639*2^670075-1 is not prime. Res64: 4CE6593B9A563F64 Time : 752.0 sec. user=vaughan [2010-02-21 09:48:13] 1651*2^670075-1 is not prime. Res64: D61310DD4A88D2DF Time : 753.0 sec. user=vaughan [2010-02-21 09:48:48] 1659*2^670075-1 is not prime. Res64: 888EFA185E9EDF3D Time : 760.0 sec. user=vaughan [2010-02-21 09:55:10] 1695*2^670075-1 is not prime. Res64: 87871F8FEBB68BA8 Time : 729.0 sec. user=vaughan [2010-02-21 09:56:11] 1701*2^670075-1 is not prime. Res64: 987318A584B3B673 Time : 732.0 sec. user=vaughan [2010-02-21 10:00:51] 1755*2^670075-1 is not prime. Res64: 5CAF5FCFD1374664 Time : 758.0 sec. user=vaughan [2010-02-21 10:01:15] 1903*2^670075-1 is not prime. Res64: A42E4FBF95806CAC Time : 748.0 sec. user=vaughan [2010-02-21 10:07:08] 1909*2^670075-1 is not prime. Res64: FA1B743FD297754E Time : 718.0 sec. user=vaughan [2010-02-21 10:08:11] 1475*2^670076-1 is not prime. Res64: FAFA0F9C2769635F Time : 720.0 sec. user=vaughan [2010-02-21 10:13:15] 1599*2^670076-1 is not prime. Res64: 717E2398FEFB8409 Time : 747.0 sec. user=vaughan [2010-02-21 10:13:39] 1637*2^670076-1 is not prime. Res64: E6100C23E99E43F4 Time : 744.0 sec. user=vaughan [2010-02-21 10:19:07] 1679*2^670076-1 is not prime. Res64: 57B2D17F86A42ADF Time : 720.0 sec. user=vaughan [2010-02-21 10:20:11] 1799*2^670076-1 is not prime. Res64: 0CD8EE5A4DA6D58B Time : 720.0 sec. user=vaughan [2010-02-21 10:26:06] 1905*2^670076-1 is not prime. Res64: 8720E76BA5B6DC77 Time : 771.0 sec. user=vaughan [2010-02-21 10:26:17] 1431*2^670077-1 is not prime. Res64: 54BF4EA5F3D9F9FF Time : 759.0 sec. user=vaughan [2010-02-21 10:31:18] 1549*2^670077-1 is not prime. Res64: C2B729AB521DA045 Time : 732.0 sec. user=vaughan [2010-02-21 10:32:22] 1585*2^670077-1 is not prime. Res64: 8B25029DE379088A Time : 732.0 sec. user=vaughan [2010-02-21 10:39:19] 1627*2^670077-1 is not prime. Res64: 81AC5FF398FD1EC1 Time : 794.0 sec. user=vaughan [2010-02-21 10:39:23] 1707*2^670077-1 is not prime. Res64: C3994DD364948C6D Time : 786.0 sec. user=vaughan [2010-02-21 10:43:51] 1719*2^670077-1 is not prime. Res64: E0C74F66BE408BF1 Time : 754.0 sec. user=vaughan [2010-02-21 10:44:55] 1749*2^670077-1 is not prime. Res64: 651C2AAFAA18F0FC Time : 753.0 sec. user=vaughan [2010-02-21 10:52:24] 1879*2^670077-1 is not prime. Res64: 58ECD58AEEC0088E Time : 782.0 sec. user=vaughan [2010-02-21 10:52:25] 1761*2^670077-1 is not prime. Res64: 2E028D0878200C7E Time : 787.0 sec. user=vaughan [2010-02-21 10:56:05] 1887*2^670077-1 is not prime. Res64: C6FC470FB6034E8A Time : 735.0 sec. user=vaughan [2010-02-21 10:57:11] 1403*2^670078-1 is not prime. Res64: B9E6BAF958E46EED Time : 736.0 sec. user=vaughan [2010-02-21 11:05:16] 1427*2^670078-1 is not prime. Res64: 349C4605F097119B Time : 773.0 sec. user=vaughan [2010-02-21 11:05:18] 1475*2^670078-1 is not prime. Res64: 177D666F9C8B4FB4 Time : 773.0 sec. user=vaughan [2010-02-21 11:08:25] 1545*2^670078-1 is not prime. Res64: 285BAD03E3EBED5D Time : 740.0 sec. user=vaughan [2010-02-21 11:09:31] 1563*2^670078-1 is not prime. Res64: 22638C4BB7430553 Time : 741.0 sec. user=vaughan [2010-02-21 11:18:10] 1583*2^670078-1 is not prime. Res64: E39584D2DB693C8A Time : 774.0 sec. user=vaughan [2010-02-21 11:18:14] 1601*2^670078-1 is not prime. Res64: E85DC4E46B588984 Time : 776.0 sec. user=vaughan [2010-02-21 11:20:28] 1613*2^670078-1 is not prime. Res64: AED51166E9DCC113 Time : 724.0 sec. user=vaughan [2010-02-21 11:21:38] 1625*2^670078-1 is not prime. Res64: D43402AE267DBD2C Time : 727.0 sec. user=vaughan [2010-02-21 11:30:31] 1673*2^670078-1 is not prime. Res64: 92524806D7CE33B5 Time : 742.0 sec. user=vaughan [2010-02-21 11:30:36] 1697*2^670078-1 is not prime. Res64: 360D8FEDD0477DF2 Time : 743.0 sec. user=vaughan [2010-02-21 11:32:23] 1737*2^670078-1 is not prime. Res64: 2D6686F98806B159 Time : 715.0 sec. user=vaughan [2010-02-21 11:33:36] 1751*2^670078-1 is not prime. Res64: 949023A619FB888F Time : 719.0 sec. user=vaughan [2010-02-21 11:43:00] 1781*2^670078-1 is not prime. Res64: 4751B030E11D8BFF Time : 750.0 sec. user=vaughan [2010-02-21 11:43:04] 1805*2^670078-1 is not prime. Res64: 3A9750D958A5E9F0 Time : 749.0 sec. user=vaughan [2010-02-21 11:44:29] 1883*2^670078-1 is not prime. Res64: 2D54D00F12898009 Time : 726.0 sec. user=vaughan [2010-02-21 11:45:45] 1913*2^670078-1 is not prime. Res64: 45F8D2F53B253A76 Time : 729.0 sec. user=vaughan [2010-02-21 11:55:34] 1435*2^670079-1 is not prime. Res64: CAAF8A5BA336250A Time : 755.0 sec. user=vaughan [2010-02-21 11:55:39] 1441*2^670079-1 is not prime. Res64: 4BCA4EA170D27BD0 Time : 755.0 sec. user=vaughan [2010-02-21 11:56:38] 1489*2^670079-1 is not prime. Res64: F9D8E3A63AA3488A Time : 730.0 sec. user=vaughan [2010-02-21 11:57:51] 1491*2^670079-1 is not prime. Res64: 253B119CA6E9AB5C Time : 727.0 sec. user=vaughan [2010-02-21 12:07:54] 1495*2^670079-1 is not prime. Res64: 910C8FB79565A56A Time : 741.0 sec. user=vaughan [2010-02-21 12:07:57] 1593*2^670079-1 is not prime. Res64: 9773BCA1C9960F4B Time : 739.0 sec. user=vaughan [2010-02-21 12:08:35] 1669*2^670079-1 is not prime. Res64: 3B8278A407878749 Time : 717.0 sec. user=vaughan [2010-02-21 12:09:48] 1681*2^670079-1 is not prime. Res64: BB4EC9CADD4ADBCF Time : 717.0 sec. user=vaughan [2010-02-21 12:20:17] 1779*2^670079-1 is not prime. Res64: CE75ED3254838417 Time : 744.0 sec. user=vaughan [2010-02-21 12:20:20] 1863*2^670079-1 is not prime. Res64: B48F70A4EAA43F91 Time : 743.0 sec. user=vaughan [2010-02-21 12:20:30] 1869*2^670079-1 is not prime. Res64: 8E7A080A5957FA1D Time : 716.0 sec. user=vaughan [2010-02-21 12:21:43] 1879*2^670079-1 is not prime. Res64: 05B66ACB913C8B57 Time : 716.0 sec. user=vaughan [2010-02-21 12:32:28] 1419*2^670080-1 is not prime. Res64: 43A582BA9FDEC2E3 Time : 718.0 sec. user=vaughan [2010-02-21 12:32:48] 1903*2^670079-1 is not prime. Res64: 425111130ED64846 Time : 752.0 sec. user=vaughan [2010-02-21 12:32:49] 1963*2^670079-1 is not prime. Res64: 66BF3B3CF94AC65D Time : 749.0 sec. user=vaughan [2010-02-21 12:33:48] 1575*2^670080-1 is not prime. Res64: DA4F023CB740ECD8 Time : 726.0 sec. user=vaughan [2010-02-21 12:44:53] 1589*2^670080-1 is not prime. Res64: 099E8A2D991F44BB Time : 745.0 sec. user=vaughan [2010-02-21 12:45:50] 1697*2^670080-1 is not prime. Res64: 49C7E42F6F3AD870 Time : 782.0 sec. user=vaughan [2010-02-21 12:45:52] 1727*2^670080-1 is not prime. Res64: 62EBB9108D7BCD02 Time : 783.0 sec. user=vaughan [2010-02-21 12:46:11] 1763*2^670080-1 is not prime. Res64: 9D0AEB25DA93D0DC Time : 743.0 sec. user=vaughan [2010-02-21 12:57:02] 1785*2^670080-1 is not prime. Res64: 7DC54961090BED3B Time : 729.0 sec. user=vaughan [2010-02-21 12:58:17] 1829*2^670080-1 is not prime. Res64: 594209D7BA271625 Time : 748.0 sec. user=vaughan [2010-02-21 12:58:18] 1405*2^670081-1 is not prime. Res64: 67351314CAC0FC66 Time : 727.0 sec. user=vaughan [2010-02-21 12:58:23] 1845*2^670080-1 is not prime. Res64: AE346C49A432FC72 Time : 751.0 sec. user=vaughan [2010-02-21 13:08:54] 1521*2^670081-1 is not prime. Res64: 4541D022805E2092 Time : 712.0 sec. user=vaughan [2010-02-21 13:10:16] 1527*2^670081-1 is not prime. Res64: 94C8E377C9643878 Time : 719.0 sec. user=vaughan [2010-02-21 13:10:37] 1525*2^670081-1 is not prime. Res64: 1030ECAC4B3861FD Time : 741.0 sec. user=vaughan [2010-02-21 13:10:47] 1611*2^670081-1 is not prime. Res64: 9966D1F1B8A8F243 Time : 745.0 sec. user=vaughan [2010-02-21 13:20:49] 1701*2^670081-1 is not prime. Res64: B87C6CDAFC31517D Time : 716.0 sec. user=vaughan [2010-02-21 13:22:12] 1729*2^670081-1 is not prime. Res64: 6F3E315A20FDFADD Time : 717.0 sec. user=vaughan [2010-02-21 13:23:02] 1791*2^670081-1 is not prime. Res64: EE0C0545F07C72D8 Time : 746.0 sec. user=vaughan [2010-02-21 13:23:08] 1809*2^670081-1 is not prime. Res64: C868750BB3E407A8 Time : 742.0 sec. user=vaughan [2010-02-21 13:33:37] 1891*2^670081-1 is not prime. Res64: D4251D0B4E2476FF Time : 768.0 sec. user=vaughan [2010-02-21 13:36:41] 1917*2^670081-1 is not prime. Res64: BA36B80554A7EF78 Time : 869.0 sec. user=vaughan [2010-02-21 13:38:55] 1945*2^670081-1 is not prime. Res64: 59373AE1FD5D4824 Time : 955.0 sec. user=vaughan [2010-02-21 13:39:09] 1965*2^670081-1 is not prime. Res64: E110FF80BB7FF797 Time : 961.0 sec. user=vaughan [2010-02-21 13:48:45] 1457*2^670082-1 is not prime. Res64: F9C84D33B81CDA49 Time : 909.0 sec. user=vaughan [2010-02-21 13:50:09] 1461*2^670082-1 is not prime. Res64: 0B4CFCEC78222C79 Time : 809.0 sec. user=vaughan [2010-02-21 13:51:47] 1487*2^670082-1 is not prime. Res64: D5A24D63546B8302 Time : 772.0 sec. user=vaughan [2010-02-21 13:51:53] 1497*2^670082-1 is not prime. Res64: C86E7682277D60BC Time : 764.0 sec. user=vaughan [2010-02-21 14:00:57] 1523*2^670082-1 is not prime. Res64: 91679E439671073B Time : 733.0 sec. user=vaughan [2010-02-21 14:02:29] 1533*2^670082-1 is not prime. Res64: C4E4054D91A270E6 Time : 741.0 sec. user=vaughan [2010-02-21 14:04:35] 1613*2^670082-1 is not prime. Res64: 7E90D3345050CEFC Time : 768.0 sec. user=vaughan [2010-02-21 14:04:44] 1727*2^670082-1 is not prime. Res64: DAEF4EE7D82F25AA Time : 771.0 sec. user=vaughan [2010-02-21 14:13:08] 1737*2^670082-1 is not prime. Res64: 10436609256C35E1 Time : 731.0 sec. user=vaughan [2010-02-21 14:14:42] 1761*2^670082-1 is not prime. Res64: 03364B2AAEB1E8ED Time : 733.0 sec. user=vaughan [2010-02-21 14:17:29] 1887*2^670082-1 is not prime. Res64: C7496B7D1DFDB854 Time : 774.0 sec. user=vaughan [2010-02-21 14:17:41] 1905*2^670082-1 is not prime. Res64: BBF85BEC244CD09D Time : 777.0 sec. user=vaughan [2010-02-21 14:25:07] 1991*2^670082-1 is not prime. Res64: 04871836EF0A8ED8 Time : 720.0 sec. user=vaughan [2010-02-21 14:26:38] 1995*2^670082-1 is not prime. Res64: 5B6CFD17ABEF51F7 Time : 716.0 sec. user=vaughan [2010-02-21 14:30:02] 1425*2^670083-1 is not prime. Res64: 04543CBB5EE59034 Time : 754.0 sec. user=vaughan [2010-02-21 14:30:16] 1449*2^670083-1 is not prime. Res64: 165676854632D2AF Time : 756.0 sec. user=vaughan [2010-02-21 14:37:26] 1473*2^670083-1 is not prime. Res64: F3F6B99E8F7DBB0C Time : 739.0 sec. user=vaughan [2010-02-21 14:39:02] 1483*2^670083-1 is not prime. Res64: 9DEDDF8DE984E201 Time : 744.0 sec. user=vaughan [2010-02-21 14:42:49] 1491*2^670083-1 is not prime. Res64: E69FE3996E308F49 Time : 767.0 sec. user=vaughan [2010-02-21 14:43:00] 1521*2^670083-1 is not prime. Res64: 8895ED111767EED7 Time : 765.0 sec. user=vaughan [2010-02-21 14:49:22] 1549*2^670083-1 is not prime. Res64: 03CAABE2C46DD4FB Time : 716.0 sec. user=vaughan [2010-02-21 14:50:58] 1561*2^670083-1 is not prime. Res64: 20E06F0A850EC9DF Time : 717.0 sec. user=vaughan [2010-02-21 14:55:09] 1641*2^670083-1 is not prime. Res64: 57885E41890E3983 Time : 741.0 sec. user=vaughan [2010-02-21 14:55:17] 1645*2^670083-1 is not prime. Res64: D1A24142A8B0E7FC Time : 737.0 sec. user=vaughan [2010-02-21 15:01:24] 1693*2^670083-1 is not prime. Res64: 741CD55E942C2373 Time : 723.0 sec. user=vaughan [2010-02-21 15:03:07] 1719*2^670083-1 is not prime. Res64: 5EC21763A4F96B93 Time : 729.0 sec. user=vaughan [2010-02-21 15:07:57] 1729*2^670083-1 is not prime. Res64: 88974FEB2AA9C2EB Time : 769.0 sec. user=vaughan [2010-02-21 15:08:07] 1755*2^670083-1 is not prime. Res64: 2F9CFEB85BCA8C0D Time : 771.0 sec. user=vaughan [2010-02-21 15:13:40] 1791*2^670083-1 is not prime. Res64: 6FD139FDF9048255 Time : 737.0 sec. user=vaughan [2010-02-21 15:15:23] 1795*2^670083-1 is not prime. Res64: 461CAC77CFEDA23C Time : 737.0 sec. user=vaughan [2010-02-21 15:20:38] 1809*2^670083-1 is not prime. Res64: 345D4A1BB49B7A0C Time : 761.0 sec. user=vaughan [2010-02-21 15:20:48] 1861*2^670083-1 is not prime. Res64: B5F7C94C1A487411 Time : 761.0 sec. user=vaughan [2010-02-21 15:25:34] 1873*2^670083-1 is not prime. Res64: 5CC529A34B04CD3B Time : 715.0 sec. user=vaughan [2010-02-21 15:27:17] 1911*2^670083-1 is not prime. Res64: 1A30C199A8C8B093 Time : 715.0 sec. user=vaughan [2010-02-21 15:33:01] 1463*2^670084-1 is not prime. Res64: 3458D7FB9E6EF5C7 Time : 744.0 sec. user=vaughan [2010-02-21 15:33:11] 1479*2^670084-1 is not prime. Res64: 59757190273B2CAF Time : 744.0 sec. user=vaughan [2010-02-21 15:37:30] 1533*2^670084-1 is not prime. Res64: BE7F0D85BAC9A143 Time : 716.0 sec. user=vaughan [2010-02-21 15:39:15] 1547*2^670084-1 is not prime. Res64: 34416D1B7ACFDC8E Time : 718.0 sec. user=vaughan [2010-02-21 15:45:24] 1575*2^670084-1 is not prime. Res64: 92501B394ECC06F6 Time : 743.0 sec. user=vaughan [2010-02-21 15:45:29] 1613*2^670084-1 is not prime. Res64: A887FA164736FE1E Time : 738.0 sec. user=vaughan [2010-02-21 15:49:26] 1667*2^670084-1 is not prime. Res64: 3F196E8C0BA63C07 Time : 716.0 sec. user=vaughan [2010-02-21 15:51:11] 1727*2^670084-1 is not prime. Res64: 44C800A57ACFE00F Time : 716.0 sec. user=vaughan [2010-02-21 15:57:51] 1745*2^670084-1 is not prime. Res64: 38570DC70F25CD87 Time : 747.0 sec. user=vaughan [2010-02-21 15:57:57] 1799*2^670084-1 is not prime. Res64: 7172240AF518DBCB Time : 748.0 sec. user=vaughan [2010-02-21 16:01:32] 1823*2^670084-1 is not prime. Res64: 30B1465546C02C79 Time : 727.0 sec. user=vaughan [2010-02-21 16:03:15] 1875*2^670084-1 is not prime. Res64: 3A21122C5B36A038 Time : 725.0 sec. user=vaughan [2010-02-21 16:10:44] 1895*2^670084-1 is not prime. Res64: 18D318A59473BD1B Time : 774.0 sec. user=vaughan [2010-02-21 16:10:48] 1983*2^670084-1 is not prime. Res64: 6644384876146AE9 Time : 772.0 sec. user=vaughan [2010-02-21 16:13:48] 1405*2^670085-1 is not prime. Res64: 791BEEADC3BA5ADC Time : 736.0 sec. user=vaughan [2010-02-21 16:15:26] 1431*2^670085-1 is not prime. Res64: 979ABB38BADA0E55 Time : 731.0 sec. user=vaughan [2010-02-21 16:23:49] 1449*2^670085-1 is not prime. Res64: 58E01A1E569866FE Time : 785.0 sec. user=vaughan [2010-02-21 16:23:58] 1501*2^670085-1 is not prime. Res64: 8E6C5A186CEB83D2 Time : 791.0 sec. user=vaughan [2010-02-21 16:26:15] 1537*2^670085-1 is not prime. Res64: 261E96B8182C9081 Time : 748.0 sec. user=vaughan [2010-02-21 16:27:59] 1585*2^670085-1 is not prime. Res64: 63B318A96BBBCF1E Time : 753.0 sec. user=vaughan [2010-02-21 16:37:15] 1771*2^670085-1 is not prime. Res64: 94C2078AD15E8CA5 Time : 807.0 sec. user=vaughan [2010-02-21 16:37:26] 1897*2^670085-1 is not prime. Res64: 6B0351CDA086871C Time : 809.0 sec. user=vaughan [2010-02-21 16:38:42] 1905*2^670085-1 is not prime. Res64: FBD7353143123C35 Time : 748.0 sec. user=vaughan [2010-02-21 16:40:19] 1911*2^670085-1 is not prime. Res64: 89EF93FB4DD7C3CA Time : 740.0 sec. user=vaughan [2010-02-21 16:50:16] 1915*2^670085-1 is not prime. Res64: 13219DB502A25970 Time : 781.0 sec. user=vaughan [2010-02-21 16:50:21] 1475*2^670086-1 is not prime. Res64: B0379879232687D7 Time : 775.0 sec. user=vaughan [2010-02-21 16:50:58] 1557*2^670086-1 is not prime. Res64: 22E6903781805BDA Time : 737.0 sec. user=vaughan [2010-02-21 16:52:34] 1613*2^670086-1 is not prime. Res64: CF666AA6E2CA6D2F Time : 736.0 sec. user=vaughan [2010-02-21 17:02:39] 1725*2^670086-1 is not prime. Res64: EE5EC5DC6D72395B Time : 744.0 sec. user=vaughan [2010-02-21 17:02:47] 1827*2^670086-1 is not prime. Res64: D32480C8B00522E9 Time : 746.0 sec. user=vaughan [2010-02-21 17:02:54] 1895*2^670086-1 is not prime. Res64: B9BA71E906DCD480 Time : 716.0 sec. user=vaughan [2010-02-21 17:04:28] 1971*2^670086-1 is not prime. Res64: 2263C14AD4CAAFE2 Time : 715.0 sec. user=vaughan [2010-02-21 17:14:48] 1491*2^670087-1 is not prime. Res64: 719298A1348CF35D Time : 715.0 sec. user=vaughan [2010-02-21 17:14:59] 1983*2^670086-1 is not prime. Res64: 4F38177DCE3656DD Time : 741.0 sec. user=vaughan [2010-02-21 17:15:06] 1489*2^670087-1 is not prime. Res64: 8FEBC888139398F4 Time : 740.0 sec. user=vaughan [2010-02-21 17:16:24] 1693*2^670087-1 is not prime. Res64: 16DA0327DBAA830B Time : 716.0 sec. user=vaughan [2010-02-21 17:26:42] 1731*2^670087-1 is not prime. Res64: D22CBC3214F40A02 Time : 714.0 sec. user=vaughan [2010-02-21 17:27:19] 1743*2^670087-1 is not prime. Res64: 2D7628EC8FCBA115 Time : 741.0 sec. user=vaughan [2010-02-21 17:27:28] 1843*2^670087-1 is not prime. Res64: 503E45BDCAE189DB Time : 742.0 sec. user=vaughan [2010-02-21 17:28:21] 1861*2^670087-1 is not prime. Res64: 159F69A1F4A4BDC3 Time : 718.0 sec. user=vaughan [2010-02-21 17:38:44] 1863*2^670087-1 is not prime. Res64: A2DAF3F83C681585 Time : 722.0 sec. user=vaughan [2010-02-21 17:40:00] 1939*2^670087-1 is not prime. Res64: DE7147A85E9707F9 Time : 762.0 sec. user=vaughan [2010-02-21 17:40:13] 1941*2^670087-1 is not prime. Res64: 0CBB38CCF6D63ECE Time : 766.0 sec. user=vaughan [2010-02-21 17:40:29] 1945*2^670087-1 is not prime. Res64: 8621B65549B3F093 Time : 728.0 sec. user=vaughan [2010-02-21 17:50:56] 1951*2^670087-1 is not prime. Res64: AF5941975E97A911 Time : 733.0 sec. user=vaughan [2010-02-21 17:52:43] 1763*2^670088-1 is not prime. Res64: 68C5776A0DA82DA5 Time : 734.0 sec. user=vaughan [2010-02-21 17:52:50] 1529*2^670088-1 is not prime. Res64: 0F4DFB12B85F3636 Time : 770.0 sec. user=vaughan [2010-02-21 17:53:01] 1749*2^670088-1 is not prime. Res64: 6F9BBF2A3CB95E3D Time : 769.0 sec. user=vaughan [2010-02-21 18:03:08] 1805*2^670088-1 is not prime. Res64: 6FA84A43C53323E4 Time : 732.0 sec. user=vaughan [2010-02-21 18:04:58] 1839*2^670088-1 is not prime. Res64: 232314FB9921859F Time : 735.0 sec. user=vaughan [2010-02-21 18:05:26] 1949*2^670088-1 is not prime. Res64: 8C5F1EBA53581550 Time : 756.0 sec. user=vaughan [2010-02-21 18:05:37] 1467*2^670089-1 is not prime. Res64: F4861F0FCF7788F7 Time : 756.0 sec. user=vaughan [2010-02-21 18:15:22] 1605*2^670089-1 is not prime. Res64: E0C78F58C735B673 Time : 734.0 sec. user=vaughan [2010-02-21 18:17:19] 1755*2^670089-1 is not prime. Res64: 2EE77B8E26A13234 Time : 741.0 sec. user=vaughan [2010-02-21 18:18:27] 1801*2^670089-1 is not prime. Res64: BC05841D4B0168A1 Time : 781.0 sec. user=vaughan [2010-02-21 18:18:40] 1827*2^670089-1 is not prime. Res64: 728EB15B6036C1CC Time : 783.0 sec. user=vaughan [2010-02-21 18:27:56] 1887*2^670089-1 is not prime. Res64: 5374E37BC95C9F2D Time : 754.0 sec. user=vaughan [2010-02-21 18:29:45] 1995*2^670089-1 is not prime. Res64: 7D219E94C6E80773 Time : 746.0 sec. user=vaughan [2010-02-21 18:31:40] 1401*2^670090-1 is not prime. Res64: E44051294F986959 Time : 794.0 sec. user=vaughan [2010-02-21 18:31:54] 1403*2^670090-1 is not prime. Res64: 6B70D6B7A2DC701F Time : 794.0 sec. user=vaughan [2010-02-21 18:40:07] 1455*2^670090-1 is not prime. Res64: E4921F4CD0969CDD Time : 731.0 sec. user=vaughan [2010-02-21 18:41:59] 1511*2^670090-1 is not prime. Res64: 907117D3CEB0204D Time : 734.0 sec. user=vaughan [2010-02-21 18:44:14] 1515*2^670090-1 is not prime. Res64: 97EAFACDE3DE1C6E Time : 754.0 sec. user=vaughan [2010-02-21 18:44:31] 1553*2^670090-1 is not prime. Res64: 54953BC41C728CB3 Time : 757.0 sec. user=vaughan [2010-02-21 18:52:07] 1605*2^670090-1 is not prime. Res64: C562130564641D27 Time : 721.0 sec. user=vaughan [2010-02-21 18:54:02] 1641*2^670090-1 is not prime. Res64: 0BE092674CCAA551 Time : 723.0 sec. user=vaughan [2010-02-21 18:56:39] 1667*2^670090-1 is not prime. Res64: 66C2F6156ED87154 Time : 745.0 sec. user=vaughan [2010-02-21 18:56:59] 1671*2^670090-1 is not prime. Res64: 33A25370A9D19D5E Time : 749.0 sec. user=vaughan [2010-02-21 19:04:03] 1703*2^670090-1 is not prime. Res64: 12E6628EDB92D31F Time : 716.0 sec. user=vaughan [2010-02-21 19:05:55] 1743*2^670090-1 is not prime. Res64: CFF61D4A5789D69B Time : 713.0 sec. user=vaughan [2010-02-21 19:09:03] 1767*2^670090-1 is not prime. Res64: 5C9B3BFDA8983324 Time : 744.0 sec. user=vaughan [2010-02-21 19:09:29] 1841*2^670090-1 is not prime. Res64: D7BB5F55356D61A1 Time : 751.0 sec. user=vaughan [2010-02-21 19:16:13] 1847*2^670090-1 is not prime. Res64: CB26667DC804997C Time : 730.0 sec. user=vaughan [2010-02-21 19:18:07] 1881*2^670090-1 is not prime. Res64: 2C270943689EBE9E Time : 733.0 sec. user=vaughan [2010-02-21 19:21:53] 1895*2^670090-1 is not prime. Res64: 359B49EAE4799177 Time : 771.0 sec. user=vaughan [2010-02-21 19:22:24] 1441*2^670091-1 is not prime. Res64: 62C0D6796FA56B0D Time : 775.0 sec. user=vaughan [2010-02-21 19:28:26] 1449*2^670091-1 is not prime. Res64: B7BD9B52D6D2EF32 Time : 733.0 sec. user=vaughan [2010-02-21 19:30:20] 1519*2^670091-1 is not prime. Res64: 8832411DDBC6CA51 Time : 733.0 sec. user=vaughan [2010-02-21 19:34:43] 1551*2^670091-1 is not prime. Res64: D8D12539A8CBC1B8 Time : 770.0 sec. user=vaughan [2010-02-21 19:35:13] 1609*2^670091-1 is not prime. Res64: 4C5F977732A603C8 Time : 770.0 sec. user=vaughan [2010-02-21 19:40:42] 1663*2^670091-1 is not prime. Res64: 7BEEEAC6B2A991FF Time : 736.0 sec. user=vaughan [2010-02-21 19:42:34] 1723*2^670091-1 is not prime. Res64: 7FF52B7C2D5EC5A3 Time : 734.0 sec. user=vaughan [2010-02-21 19:47:20] 1855*2^670091-1 is not prime. Res64: 7C7BC713A639D9BE Time : 757.0 sec. user=vaughan [2010-02-21 19:47:48] 1911*2^670091-1 is not prime. Res64: D24E2F3017B158B0 Time : 756.0 sec. user=vaughan [2010-02-21 19:52:52] 1921*2^670091-1 is not prime. Res64: 216B362DC94E5B27 Time : 730.0 sec. user=vaughan [2010-02-21 19:54:48] 1409*2^670092-1 is not prime. Res64: 22E79FB0BE65FC50 Time : 735.0 sec. user=vaughan [2010-02-21 20:00:03] 1439*2^670092-1 is not prime. Res64: 6095186F226C8FCE Time : 763.0 sec. user=vaughan [2010-02-21 20:00:31] 1497*2^670092-1 is not prime. Res64: 2824F0A146B376E9 Time : 764.0 sec. user=vaughan [2010-02-21 20:05:00] 1505*2^670092-1 is not prime. Res64: 99233A38604924D7 Time : 728.0 sec. user=vaughan [2010-02-21 20:06:56] 1547*2^670092-1 is not prime. Res64: C20EF557DB7A3E03 Time : 728.0 sec. user=vaughan [2010-02-21 20:12:42] 1593*2^670092-1 is not prime. Res64: A3F150C1E6996804 Time : 759.0 sec. user=vaughan [2010-02-21 20:13:13] 1649*2^670092-1 is not prime. Res64: 62C56B085BE897DB Time : 762.0 sec. user=vaughan [2010-02-21 20:17:24] 1809*2^670092-1 is not prime. Res64: BEF893B225B6B956 Time : 744.0 sec. user=vaughan [2010-02-21 20:19:19] 1875*2^670092-1 is not prime. Res64: 80997F5639E26735 Time : 744.0 sec. user=vaughan [2010-02-21 20:25:47] 1889*2^670092-1 is not prime. Res64: B3E9B1067C60109C Time : 785.0 sec. user=vaughan [2010-02-21 20:25:56] 1995*2^670092-1 is not prime. Res64: CC04064507E19DE9 Time : 764.0 sec. user=vaughan [2010-02-21 20:29:35] 1471*2^670093-1 is not prime. Res64: D241C255004D219D Time : 733.0 sec. user=vaughan [2010-02-21 20:31:34] 1561*2^670093-1 is not prime. Res64: 15491A18CFC1E53E Time : 735.0 sec. user=vaughan [2010-02-21 20:38:41] 1737*2^670093-1 is not prime. Res64: 387C059F243A1A59 Time : 783.0 sec. user=vaughan [2010-02-21 20:38:52] 1881*2^670093-1 is not prime. Res64: F5A2D8D2F7CE879E Time : 777.0 sec. user=vaughan [2010-02-21 20:42:37] 1911*2^670093-1 is not prime. Res64: 20EC35F4D15F403C Time : 784.0 sec. user=vaughan [2010-02-21 20:44:48] 1917*2^670093-1 is not prime. Res64: 0BC070DC8BB4873B Time : 796.0 sec. user=vaughan [2010-02-21 20:52:58] 1945*2^670093-1 is not prime. Res64: 4EA884B66FA57B89 Time : 858.0 sec. user=vaughan [2010-02-21 20:53:05] 1421*2^670094-1 is not prime. Res64: 4C559563DBA83E6B Time : 854.0 sec. user=vaughan [2010-02-21 20:55:00] 1463*2^670094-1 is not prime. Res64: D33C0A161E449C94 Time : 743.0 sec. user=vaughan [2010-02-21 20:57:06] 1851*2^670094-1 is not prime. Res64: 5E320C654C6F2D92 Time : 739.0 sec. user=vaughan [2010-02-21 21:05:38] 1905*2^670094-1 is not prime. Res64: FFC6B47FED594416 Time : 761.0 sec. user=vaughan [2010-02-21 21:05:47] 1943*2^670094-1 is not prime. Res64: 1131E590D517C41A Time : 762.0 sec. user=vaughan [2010-02-21 21:07:04] 1563*2^670095-1 is not prime. Res64: 74DC08D3832C7F31 Time : 725.0 sec. user=vaughan [2010-02-21 21:09:06] 1665*2^670095-1 is not prime. Res64: 5856DA9B6386026F Time : 721.0 sec. user=vaughan [2010-02-21 21:18:06] 1725*2^670095-1 is not prime. Res64: 9F850AB1F570A4F9 Time : 748.0 sec. user=vaughan [2010-02-21 21:18:13] 1735*2^670095-1 is not prime. Res64: 08552E995101AF9B Time : 746.0 sec. user=vaughan [2010-02-21 21:19:06] 1743*2^670095-1 is not prime. Res64: 017E812E95D8E034 Time : 722.0 sec. user=vaughan [2010-02-21 21:21:03] 1783*2^670095-1 is not prime. Res64: D3B84932BAC55009 Time : 718.0 sec. user=vaughan [2010-02-21 21:30:50] 1875*2^670095-1 is not prime. Res64: 7CFEAAC5A74DE839 Time : 766.0 sec. user=vaughan [2010-02-21 21:30:57] 1885*2^670095-1 is not prime. Res64: 20948695A0878DC7 Time : 765.0 sec. user=vaughan [2010-02-21 21:31:17] 1915*2^670095-1 is not prime. Res64: 7290837D4F911D4D Time : 732.0 sec. user=vaughan [2010-02-21 21:33:25] 1971*2^670095-1 is not prime. Res64: 87F27D594B465C8C Time : 743.0 sec. user=vaughan [2010-02-21 21:44:34] 1563*2^670096-1 is not prime. Res64: 705B9B446F28C31C Time : 799.0 sec. user=vaughan [2010-02-21 21:45:26] 1527*2^670096-1 is not prime. Res64: 34801DA50828A1CC Time : 871.0 sec. user=vaughan [2010-02-21 21:45:32] 1469*2^670096-1 is not prime. Res64: 12B140E294584383 Time : 884.0 sec. user=vaughan [2010-02-21 21:46:39] 1685*2^670096-1 is not prime. Res64: 3CFAB2380E69965B Time : 796.0 sec. user=vaughan [2010-02-21 21:56:53] 1713*2^670096-1 is not prime. Res64: C18D12F45A472402 Time : 741.0 sec. user=vaughan [2010-02-21 21:58:27] 1793*2^670096-1 is not prime. Res64: 6005BBB241032861 Time : 782.0 sec. user=vaughan [2010-02-21 21:58:39] 1749*2^670096-1 is not prime. Res64: A6C7E5D52EF23DA8 Time : 789.0 sec. user=vaughan [2010-02-21 21:58:56] 1827*2^670096-1 is not prime. Res64: 10A49E593F1669EA Time : 738.0 sec. user=vaughan [2010-02-21 22:09:07] 1863*2^670096-1 is not prime. Res64: 4DA4DB18092CA71C Time : 736.0 sec. user=vaughan [2010-02-21 22:11:13] 1587*2^670097-1 is not prime. Res64: FEF43D5729D144BA Time : 738.0 sec. user=vaughan [2010-02-21 22:11:25] 1869*2^670096-1 is not prime. Res64: 1D1D72D521B6CE56 Time : 779.0 sec. user=vaughan [2010-02-21 22:11:38] 1555*2^670097-1 is not prime. Res64: FD5BC973BE19F6F2 Time : 785.0 sec. user=vaughan [2010-02-21 22:21:10] 1609*2^670097-1 is not prime. Res64: 538E08AFC42999B5 Time : 723.0 sec. user=vaughan [2010-02-21 22:23:10] 1741*2^670097-1 is not prime. Res64: B8B08A4F5164584D Time : 717.0 sec. user=vaughan [2010-02-21 22:23:47] 1861*2^670097-1 is not prime. Res64: 3909838014B1B313 Time : 742.0 sec. user=vaughan [2010-02-21 22:24:02] 1917*2^670097-1 is not prime. Res64: 19F1174AE8E861EA Time : 744.0 sec. user=vaughan [2010-02-21 22:33:04] 1547*2^670098-1 is not prime. Res64: AAC916942DD08CE4 Time : 714.0 sec. user=vaughan [2010-02-21 22:35:06] 1563*2^670098-1 is not prime. Res64: 8982FBEE209AB6DE Time : 717.0 sec. user=vaughan [2010-02-21 22:36:09] 1575*2^670098-1 is not prime. Res64: 14CCDFCD52C4BA1D Time : 742.0 sec. user=vaughan [2010-02-21 22:36:24] 1661*2^670098-1 is not prime. Res64: 746238933553750D Time : 742.0 sec. user=vaughan [2010-02-21 22:48:58] 1707*2^670098-1 is not prime. Res64: 6677DDCE42C2D35C Time : 954.0 sec. user=vaughan [2010-02-21 22:51:01] 1745*2^670098-1 is not prime. Res64: CA3CA78F275A7DCB Time : 955.0 sec. user=vaughan [2010-02-21 22:52:45] 1757*2^670098-1 is not prime. Res64: 6925A510FE25C423 Time : 997.0 sec. user=vaughan [2010-02-21 22:52:57] 1857*2^670098-1 is not prime. Res64: 14427440C904E25E Time : 993.0 sec. user=vaughan [2010-02-21 23:01:12] 1913*2^670098-1 is not prime. Res64: 5B65D832C7F8173D Time : 734.0 sec. user=vaughan [2010-02-21 23:03:11] 1485*2^670099-1 is not prime. Res64: 4105117CF5513887 Time : 730.0 sec. user=vaughan [2010-02-21 23:05:17] 1513*2^670099-1 is not prime. Res64: 2F9AEE7E78C89400 Time : 752.0 sec. user=vaughan [2010-02-21 23:05:27] 1561*2^670099-1 is not prime. Res64: 519788C78A7F0D03 Time : 751.0 sec. user=vaughan [2010-02-21 23:13:09] 1573*2^670099-1 is not prime. Res64: 8942074A1A553F9A Time : 718.0 sec. user=vaughan [2010-02-21 23:15:12] 1651*2^670099-1 is not prime. Res64: E382E4B604ADB0F2 Time : 721.0 sec. user=vaughan [2010-02-21 23:17:40] 1743*2^670099-1 is not prime. Res64: C9CA7AEDAF0AB709 Time : 743.0 sec. user=vaughan [2010-02-21 23:17:46] 1753*2^670099-1 is not prime. Res64: 1EB1E621B63AEC4C Time : 740.0 sec. user=vaughan [2010-02-21 23:25:05] 1779*2^670099-1 is not prime. Res64: F9A11FE554A93D0B Time : 716.0 sec. user=vaughan [2010-02-21 23:27:13] 1819*2^670099-1 is not prime. Res64: DDBB163BEA87C808 Time : 721.0 sec. user=vaughan [2010-02-21 23:30:09] 1849*2^670099-1 is not prime. Res64: 12C52563F04FC861 Time : 751.0 sec. user=vaughan [2010-02-21 23:30:10] 1855*2^670099-1 is not prime. Res64: 53B28C29EE230993 Time : 744.0 sec. user=vaughan [2010-02-21 23:37:02] 1909*2^670099-1 is not prime. Res64: B160D0F5D5C8AFA4 Time : 717.0 sec. user=vaughan [2010-02-21 23:39:12] 1939*2^670099-1 is not prime. Res64: 4789769274364EC8 Time : 721.0 sec. user=vaughan [2010-02-21 23:43:34] 1975*2^670099-1 is not prime. Res64: D954DD1D76C8B872 Time : 807.0 sec. user=vaughan [2010-02-21 23:43:39] 1981*2^670099-1 is not prime. Res64: BF328D523E1663BB Time : 810.0 sec. user=vaughan [2010-02-21 23:50:53] 1457*2^670100-1 is not prime. Res64: 1CAFA12F7C009082 Time : 832.0 sec. user=vaughan [2010-02-21 23:52:58] 1463*2^670100-1 is not prime. Res64: 4D752562DDC5F22B Time : 827.0 sec. user=vaughan [2010-02-21 23:56:32] 1565*2^670100-1 is not prime. Res64: AFD8F0D773FFEC18 Time : 780.0 sec. user=vaughan [2010-02-21 23:56:35] 1635*2^670100-1 is not prime. Res64: 9DE679CB3EA4D339 Time : 777.0 sec.