user=vaughan [2010-03-05 00:03:02] 1699*2^670451-1 is not prime. Res64: 33C3EB7239B19251 Time : 997.0 sec. user=vaughan [2010-03-05 00:18:48] 1729*2^670451-1 is not prime. Res64: 1D25641E8B706CE2 Time : 1142.0 sec. user=vaughan [2010-03-05 00:21:05] 1945*2^670451-1 is not prime. Res64: 2A4CA32E353E1BBD Time : 1083.0 sec. user=vaughan [2010-03-05 00:28:07] 1785*2^670451-1 is not prime. Res64: 0EE0D173D5126A3A Time : 1694.0 sec. user=vaughan [2010-03-05 00:28:08] 1813*2^670451-1 is not prime. Res64: D5E51ED9AE57CCEF Time : 1688.0 sec. user=vaughan [2010-03-05 00:36:43] 1989*2^670451-1 is not prime. Res64: E1B23822813ECB24 Time : 1076.0 sec. user=vaughan [2010-03-05 00:39:49] 1413*2^670452-1 is not prime. Res64: E2A04AEE7C4D147B Time : 1125.0 sec. user=vaughan [2010-03-05 00:54:41] 1595*2^670452-1 is not prime. Res64: C49C6F8B30D2704C Time : 1078.0 sec. user=vaughan [2010-03-05 00:55:39] 1577*2^670452-1 is not prime. Res64: E429781A48061FBF Time : 1651.0 sec. user=vaughan [2010-03-05 00:55:42] 1517*2^670452-1 is not prime. Res64: C4864E4B712DFBC9 Time : 1656.0 sec. user=vaughan [2010-03-05 00:57:49] 1643*2^670452-1 is not prime. Res64: 559F52A725D2E297 Time : 1080.0 sec. user=vaughan [2010-03-05 01:11:38] 1447*2^670453-1 is not prime. Res64: 7B6C643FAAEC9ACC Time : 829.0 sec. user=vaughan [2010-03-05 01:12:39] 1649*2^670452-1 is not prime. Res64: D30FA7F3A38CDF16 Time : 1078.0 sec. user=vaughan [2010-03-05 01:19:42] 1943*2^670452-1 is not prime. Res64: AD1FC5BBDFB0DAFC Time : 1443.0 sec. user=vaughan [2010-03-05 01:19:45] 1435*2^670453-1 is not prime. Res64: 2F496BCECF68B719 Time : 1443.0 sec. user=vaughan [2010-03-05 01:25:10] 1669*2^670453-1 is not prime. Res64: CE0CBD6BABDD570B Time : 813.0 sec. user=vaughan [2010-03-05 01:27:36] 1675*2^670453-1 is not prime. Res64: 0F1E7CC343CE61C8 Time : 898.0 sec. user=vaughan [2010-03-05 01:38:37] 1707*2^670453-1 is not prime. Res64: F51B17C147519393 Time : 1135.0 sec. user=vaughan [2010-03-05 01:38:44] 1819*2^670453-1 is not prime. Res64: 60260594AC66157B Time : 814.0 sec. user=vaughan [2010-03-05 01:38:46] 1815*2^670453-1 is not prime. Res64: 9A0316F7C6586400 Time : 1141.0 sec. user=vaughan [2010-03-05 01:41:26] 1945*2^670453-1 is not prime. Res64: 3790BE5A15B7FF56 Time : 831.0 sec. user=vaughan [2010-03-05 01:51:50] 1445*2^670454-1 is not prime. Res64: 6DE07CDDC24AAC8A Time : 787.0 sec. user=vaughan [2010-03-05 01:53:28] 1433*2^670454-1 is not prime. Res64: 3AFFADFA5ADCBC00 Time : 891.0 sec. user=vaughan [2010-03-05 01:53:36] 1553*2^670454-1 is not prime. Res64: 36F7BA39AA096ABF Time : 891.0 sec. user=vaughan [2010-03-05 01:54:06] 1565*2^670454-1 is not prime. Res64: 01330AE2D12B002E Time : 760.0 sec. user=vaughan [2010-03-05 02:03:50] 1587*2^670454-1 is not prime. Res64: B8FF9AC762040C0B Time : 720.0 sec. user=vaughan [2010-03-05 02:05:26] 1737*2^670454-1 is not prime. Res64: FAC483AEB899B3C5 Time : 680.0 sec. user=vaughan [2010-03-05 02:05:51] 1617*2^670454-1 is not prime. Res64: 94FD9A6B3559410D Time : 744.0 sec. user=vaughan [2010-03-05 02:05:57] 1691*2^670454-1 is not prime. Res64: 0C2A78CE17B206C8 Time : 742.0 sec. user=vaughan [2010-03-05 02:14:38] 1751*2^670454-1 is not prime. Res64: ACE916C2CFD8CD31 Time : 648.0 sec. user=vaughan [2010-03-05 02:16:13] 1757*2^670454-1 is not prime. Res64: C642AA8205080C3D Time : 647.0 sec. user=vaughan [2010-03-05 02:16:52] 1781*2^670454-1 is not prime. Res64: 127A8B83AD9906A0 Time : 661.0 sec. user=vaughan [2010-03-05 02:16:58] 1845*2^670454-1 is not prime. Res64: CE7C2494729B16E2 Time : 661.0 sec. user=vaughan [2010-03-05 02:25:27] 1865*2^670454-1 is not prime. Res64: 420ED8DBE424C50B Time : 649.0 sec. user=vaughan [2010-03-05 02:26:59] 1533*2^670455-1 is not prime. Res64: F6656B23C9CC87DC Time : 646.0 sec. user=vaughan [2010-03-05 02:27:55] 1573*2^670455-1 is not prime. Res64: 65558FE06FC40668 Time : 663.0 sec. user=vaughan [2010-03-05 02:28:01] 1645*2^670455-1 is not prime. Res64: 7BEF3776A1C5DDDE Time : 663.0 sec. user=vaughan [2010-03-05 02:36:16] 1689*2^670455-1 is not prime. Res64: 9B515CD2777B46E5 Time : 649.0 sec. user=vaughan [2010-03-05 02:37:46] 1815*2^670455-1 is not prime. Res64: 50172BE396660BDB Time : 647.0 sec. user=vaughan [2010-03-05 02:38:57] 1831*2^670455-1 is not prime. Res64: C8EDA497C22D1F5B Time : 663.0 sec. user=vaughan [2010-03-05 02:39:02] 1843*2^670455-1 is not prime. Res64: 843567C993AAE048 Time : 661.0 sec. user=vaughan [2010-03-05 02:47:04] 1915*2^670455-1 is not prime. Res64: BBC621A1B616F34F Time : 649.0 sec. user=vaughan [2010-03-05 02:48:32] 1969*2^670455-1 is not prime. Res64: 42A363C2E7393E40 Time : 646.0 sec. user=vaughan [2010-03-05 02:50:00] 1983*2^670455-1 is not prime. Res64: F4ADA148ACBBA784 Time : 663.0 sec. user=vaughan [2010-03-05 02:50:05] 1617*2^670456-1 is not prime. Res64: 253E75A4BC1EF269 Time : 663.0 sec. user=vaughan [2010-03-05 02:57:53] 1623*2^670456-1 is not prime. Res64: C167CC6B0B52AE1B Time : 649.0 sec. user=vaughan [2010-03-05 02:59:18] 1739*2^670456-1 is not prime. Res64: 0B58C1F7514F5948 Time : 646.0 sec. user=vaughan [2010-03-05 03:01:01] 1763*2^670456-1 is not prime. Res64: 7ECC3A3DC2DC8B93 Time : 661.0 sec. user=vaughan [2010-03-05 03:01:06] 1797*2^670456-1 is not prime. Res64: 5CFA270F76D714C2 Time : 661.0 sec. user=vaughan [2010-03-05 03:08:41] 1877*2^670456-1 is not prime. Res64: E7B1E8FE8EBB0278 Time : 648.0 sec. user=vaughan [2010-03-05 03:10:06] 1913*2^670456-1 is not prime. Res64: 86149EC35A3103C1 Time : 648.0 sec. user=vaughan [2010-03-05 03:12:06] 1949*2^670456-1 is not prime. Res64: 35BE85B201695D9C Time : 665.0 sec. user=vaughan [2010-03-05 03:12:08] 1967*2^670456-1 is not prime. Res64: BC65B1833C424B77 Time : 662.0 sec. user=vaughan [2010-03-05 03:19:30] 1979*2^670456-1 is not prime. Res64: 96AA389F632619FE Time : 649.0 sec. user=vaughan [2010-03-05 03:20:52] 1491*2^670457-1 is not prime. Res64: A3AC7D75E5F138C2 Time : 647.0 sec. user=vaughan [2010-03-05 03:23:09] 1555*2^670457-1 is not prime. Res64: 80C806193AC99565 Time : 665.0 sec. user=vaughan [2010-03-05 03:23:10] 1635*2^670457-1 is not prime. Res64: 8E26ABA9BCC20A76 Time : 663.0 sec. user=vaughan [2010-03-05 03:30:16] 1665*2^670457-1 is not prime. Res64: 03DEEDCC74A4B642 Time : 647.0 sec. user=vaughan [2010-03-05 03:31:37] 1765*2^670457-1 is not prime. Res64: A04BC1EEF707E97F Time : 645.0 sec. user=vaughan [2010-03-05 03:34:11] 1839*2^670457-1 is not prime. Res64: E20FD0B19472FA3B Time : 661.0 sec. user=vaughan [2010-03-05 03:34:11] 1825*2^670457-1 is not prime. Res64: EE830703B6E03009 Time : 662.0 sec. user=vaughan [2010-03-05 03:41:29] 1861*2^670457-1 is not prime. Res64: 90EF91CCC07BF9C1 Time : 673.0 sec. user=vaughan [2010-03-05 03:42:51] 1869*2^670457-1 is not prime. Res64: 99A9C47A1B099A40 Time : 674.0 sec. user=vaughan [2010-03-05 03:45:48] 1891*2^670457-1 is not prime. Res64: DC1295586338E578 Time : 697.0 sec. user=vaughan [2010-03-05 03:45:48] 1887*2^670457-1 is not prime. Res64: 45707AC6D5234315 Time : 697.0 sec. user=vaughan [2010-03-05 03:52:29] 1905*2^670457-1 is not prime. Res64: EAC873EF38A7BA86 Time : 660.0 sec. user=vaughan [2010-03-05 03:53:43] 1965*2^670457-1 is not prime. Res64: D09DE2CACFE11C54 Time : 653.0 sec. user=vaughan [2010-03-05 03:56:50] 1989*2^670457-1 is not prime. Res64: DBE3AED39FB8D95F Time : 663.0 sec. user=vaughan [2010-03-05 03:56:54] 1427*2^670458-1 is not prime. Res64: A937C0921AEC880C Time : 666.0 sec. user=vaughan [2010-03-05 04:03:17] 1487*2^670458-1 is not prime. Res64: C0512978482514A9 Time : 648.0 sec. user=vaughan [2010-03-05 04:04:28] 1601*2^670458-1 is not prime. Res64: 964B9721343FF4B7 Time : 645.0 sec. user=vaughan [2010-03-05 04:07:54] 1613*2^670458-1 is not prime. Res64: EBF75307A4BC099B Time : 665.0 sec. user=vaughan [2010-03-05 04:07:56] 1691*2^670458-1 is not prime. Res64: 522D82A289906AE9 Time : 665.0 sec. user=vaughan [2010-03-05 04:14:09] 1703*2^670458-1 is not prime. Res64: A9F212C5EDF173E7 Time : 652.0 sec. user=vaughan [2010-03-05 04:15:13] 1757*2^670458-1 is not prime. Res64: DA9609FE678DD3F9 Time : 645.0 sec. user=vaughan [2010-03-05 04:18:56] 1787*2^670458-1 is not prime. Res64: 5FEDD42B00E8AC3E Time : 663.0 sec. user=vaughan [2010-03-05 04:18:58] 1827*2^670458-1 is not prime. Res64: 9E777E84DC29AED6 Time : 662.0 sec. user=vaughan [2010-03-05 04:24:58] 1887*2^670458-1 is not prime. Res64: EF3DD1C87034A944 Time : 649.0 sec. user=vaughan [2010-03-05 04:25:57] 1955*2^670458-1 is not prime. Res64: E19093876D30DFE7 Time : 645.0 sec. user=vaughan [2010-03-05 04:29:59] 1977*2^670458-1 is not prime. Res64: 375DCD419947C37A Time : 663.0 sec. user=vaughan [2010-03-05 04:30:00] 1991*2^670458-1 is not prime. Res64: D8689303601AC802 Time : 662.0 sec. user=vaughan [2010-03-05 04:36:02] 1491*2^670459-1 is not prime. Res64: F909A9920582F576 Time : 664.0 sec. user=vaughan [2010-03-05 04:37:04] 1543*2^670459-1 is not prime. Res64: DDF9666B9BDF4D67 Time : 667.0 sec. user=vaughan [2010-03-05 04:42:29] 1561*2^670459-1 is not prime. Res64: 5587A6DC215BB074 Time : 750.0 sec. user=vaughan [2010-03-05 04:42:29] 1569*2^670459-1 is not prime. Res64: 0C5E49EC75EF1CEC Time : 749.0 sec. user=vaughan [2010-03-05 04:47:45] 1603*2^670459-1 is not prime. Res64: A23B33AE9704BF30 Time : 703.0 sec. user=vaughan [2010-03-05 04:48:45] 1629*2^670459-1 is not prime. Res64: D3AF1702DECBAAB3 Time : 702.0 sec. user=vaughan [2010-03-05 04:55:28] 1633*2^670459-1 is not prime. Res64: A8990AD61476046D Time : 779.0 sec. user=vaughan [2010-03-05 04:55:30] 1665*2^670459-1 is not prime. Res64: B144B09DD90319D1 Time : 781.0 sec. user=vaughan [2010-03-05 04:59:27] 1743*2^670459-1 is not prime. Res64: CC5F985804E868BB Time : 702.0 sec. user=vaughan [2010-03-05 05:00:34] 1759*2^670459-1 is not prime. Res64: 68B67D76B53E9E72 Time : 709.0 sec. user=vaughan [2010-03-05 05:08:23] 1791*2^670459-1 is not prime. Res64: 3E8A604670A096C1 Time : 776.0 sec. user=vaughan [2010-03-05 05:08:24] 1881*2^670459-1 is not prime. Res64: 6115E65AC2979727 Time : 774.0 sec. user=vaughan [2010-03-05 05:11:04] 1911*2^670459-1 is not prime. Res64: 94397B097C621B7A Time : 697.0 sec. user=vaughan [2010-03-05 05:12:19] 1933*2^670459-1 is not prime. Res64: 48B32E0D125B45D5 Time : 706.0 sec. user=vaughan [2010-03-05 05:21:20] 1975*2^670459-1 is not prime. Res64: E2A290BDC8C2BDC9 Time : 777.0 sec. user=vaughan [2010-03-05 05:21:22] 1419*2^670460-1 is not prime. Res64: 43723428092FA54A Time : 778.0 sec. user=vaughan [2010-03-05 05:22:48] 1449*2^670460-1 is not prime. Res64: 5D864EF3831C794A Time : 704.0 sec. user=vaughan [2010-03-05 05:24:04] 1637*2^670460-1 is not prime. Res64: 2AB65ECEBAF2A911 Time : 705.0 sec. user=vaughan [2010-03-05 05:34:42] 1743*2^670460-1 is not prime. Res64: 9489D896685F4CAB Time : 802.0 sec. user=vaughan [2010-03-05 05:34:46] 1757*2^670460-1 is not prime. Res64: A46912B75DA4716D Time : 804.0 sec. user=vaughan [2010-03-05 05:34:54] 1793*2^670460-1 is not prime. Res64: 8B910908119ADD55 Time : 726.0 sec. user=vaughan [2010-03-05 05:36:08] 1803*2^670460-1 is not prime. Res64: DDAB8B99149299A6 Time : 724.0 sec. user=vaughan [2010-03-05 05:47:12] 1405*2^670461-1 is not prime. Res64: 5AACA24987226A3C Time : 738.0 sec. user=vaughan [2010-03-05 05:48:20] 1917*2^670460-1 is not prime. Res64: C3023FF43728C26B Time : 819.0 sec. user=vaughan [2010-03-05 05:48:23] 1539*2^670461-1 is not prime. Res64: EE264F53EA89A6C7 Time : 735.0 sec. user=vaughan [2010-03-05 05:48:24] 1925*2^670460-1 is not prime. Res64: 14F290C3902AF7CF Time : 818.0 sec. user=vaughan [2010-03-05 05:59:17] 1551*2^670461-1 is not prime. Res64: 4928F64D97E78ADE Time : 725.0 sec. user=vaughan [2010-03-05 06:00:25] 1609*2^670461-1 is not prime. Res64: 687CA030C9CAF54D Time : 723.0 sec. user=vaughan [2010-03-05 06:01:47] 1567*2^670461-1 is not prime. Res64: EB81818985CF4097 Time : 807.0 sec. user=vaughan [2010-03-05 06:01:47] 1617*2^670461-1 is not prime. Res64: CFDE4A2DFF57B91C Time : 803.0 sec. user=vaughan [2010-03-05 06:11:05] 1791*2^670461-1 is not prime. Res64: AC60BF4E91610C69 Time : 708.0 sec. user=vaughan [2010-03-05 06:12:19] 1831*2^670461-1 is not prime. Res64: 20CADF3C04B16121 Time : 715.0 sec. user=vaughan [2010-03-05 06:14:52] 1885*2^670461-1 is not prime. Res64: E78C95290E5A3DFB Time : 786.0 sec. user=vaughan [2010-03-05 06:14:52] 1995*2^670461-1 is not prime. Res64: E4AB27241C294431 Time : 785.0 sec. user=vaughan [2010-03-05 06:22:49] 1533*2^670462-1 is not prime. Res64: 9AFB423C4A0B5B94 Time : 704.0 sec. user=vaughan [2010-03-05 06:24:13] 1613*2^670462-1 is not prime. Res64: AAD2C33D7C6F7710 Time : 715.0 sec. user=vaughan [2010-03-05 06:27:58] 1453*2^670463-1 is not prime. Res64: 598E3989560B0416 Time : 786.0 sec. user=vaughan [2010-03-05 06:27:59] 1431*2^670463-1 is not prime. Res64: 8983D45B883922B2 Time : 787.0 sec. user=vaughan [2010-03-05 06:34:43] 1539*2^670463-1 is not prime. Res64: 47879E12C774D132 Time : 714.0 sec. user=vaughan [2010-03-05 06:36:16] 1543*2^670463-1 is not prime. Res64: BDD10AB2428EA6D9 Time : 723.0 sec. user=vaughan [2010-03-05 06:41:13] 1599*2^670463-1 is not prime. Res64: B6551B5E54E929CB Time : 795.0 sec. user=vaughan [2010-03-05 06:41:13] 1611*2^670463-1 is not prime. Res64: 260376464508FF0A Time : 795.0 sec. user=vaughan [2010-03-05 06:46:33] 1621*2^670463-1 is not prime. Res64: 9F7EFC7A476B50F6 Time : 711.0 sec. user=vaughan [2010-03-05 06:48:11] 1663*2^670463-1 is not prime. Res64: B81DE9E24DDD197F Time : 715.0 sec. user=vaughan [2010-03-05 06:54:10] 1735*2^670463-1 is not prime. Res64: 7DF689B08C93FF1D Time : 778.0 sec. user=vaughan [2010-03-05 06:54:15] 1779*2^670463-1 is not prime. Res64: 67551FC2D1E51120 Time : 782.0 sec. user=vaughan [2010-03-05 06:58:16] 1791*2^670463-1 is not prime. Res64: 0614DC3B284B04D3 Time : 703.0 sec. user=vaughan [2010-03-05 06:59:55] 1813*2^670463-1 is not prime. Res64: ADDB79B20F648FF4 Time : 705.0 sec. user=vaughan [2010-03-05 07:07:15] 1825*2^670463-1 is not prime. Res64: 22A5E3BEAE6CDD97 Time : 785.0 sec. user=vaughan [2010-03-05 07:07:16] 1851*2^670463-1 is not prime. Res64: 1579A7A7DA903EAB Time : 782.0 sec. user=vaughan [2010-03-05 07:10:05] 1863*2^670463-1 is not prime. Res64: 7F10987AE9FA20B7 Time : 709.0 sec. user=vaughan [2010-03-05 07:11:58] 1879*2^670463-1 is not prime. Res64: B0DAA2DA4FE96034 Time : 723.0 sec. user=vaughan [2010-03-05 07:20:19] 1935*2^670463-1 is not prime. Res64: E7D49968BEE40178 Time : 783.0 sec. user=vaughan [2010-03-05 07:20:22] 1911*2^670463-1 is not prime. Res64: 6A6A6BBFDCD4C41E Time : 787.0 sec. user=vaughan [2010-03-05 07:21:58] 1953*2^670463-1 is not prime. Res64: 2F4ED7B5A8031EA2 Time : 713.0 sec. user=vaughan [2010-03-05 07:23:49] 1437*2^670464-1 is not prime. Res64: B1F6A64A36121224 Time : 712.0 sec. user=vaughan [2010-03-05 07:33:53] 1479*2^670464-1 is not prime. Res64: D674E65B0FD030CD Time : 815.0 sec. user=vaughan [2010-03-05 07:33:56] 1547*2^670464-1 is not prime. Res64: 3C991AC20A601940 Time : 814.0 sec. user=vaughan [2010-03-05 07:34:20] 1589*2^670464-1 is not prime. Res64: BD3D7642B867A077 Time : 742.0 sec. user=vaughan [2010-03-05 07:36:07] 1623*2^670464-1 is not prime. Res64: 0FBCC6CFA4772F6A Time : 738.0 sec. user=vaughan [2010-03-05 07:46:11] 1727*2^670464-1 is not prime. Res64: 7E882441B805D6E1 Time : 711.0 sec. user=vaughan [2010-03-05 07:47:00] 1643*2^670464-1 is not prime. Res64: 2C966E46BAE20D5F Time : 787.0 sec. user=vaughan [2010-03-05 07:47:07] 1683*2^670464-1 is not prime. Res64: 439C059870C63B29 Time : 791.0 sec. user=vaughan [2010-03-05 07:48:08] 1773*2^670464-1 is not prime. Res64: 203A78B0E138D1D5 Time : 721.0 sec. user=vaughan [2010-03-05 07:58:04] 1839*2^670464-1 is not prime. Res64: 35400021CD2024D8 Time : 713.0 sec. user=vaughan [2010-03-05 08:00:11] 1995*2^670464-1 is not prime. Res64: E7E5CF8E1954E42F Time : 723.0 sec. user=vaughan [2010-03-05 08:00:11] 1865*2^670464-1 is not prime. Res64: 119894549B345C35 Time : 792.0 sec. user=vaughan [2010-03-05 08:00:21] 1983*2^670464-1 is not prime. Res64: 8A07067484A0EAC1 Time : 795.0 sec. user=vaughan [2010-03-05 08:09:51] 1447*2^670465-1 is not prime. Res64: 4AAED3CA0FEB56C7 Time : 707.0 sec. user=vaughan [2010-03-05 08:12:04] 1527*2^670465-1 is not prime. Res64: D4FBFB26C78DB9D7 Time : 713.0 sec. user=vaughan [2010-03-05 08:13:13] 1545*2^670465-1 is not prime. Res64: F1ACD48794A0FF26 Time : 782.0 sec. user=vaughan [2010-03-05 08:13:17] 1575*2^670465-1 is not prime. Res64: A7586A649FF28552 Time : 777.0 sec. user=vaughan [2010-03-05 08:21:28] 1609*2^670465-1 is not prime. Res64: 127AFEB0AB40E219 Time : 697.0 sec. user=vaughan [2010-03-05 08:23:54] 1611*2^670465-1 is not prime. Res64: 67F695A272F167EE Time : 710.0 sec. user=vaughan [2010-03-05 08:26:14] 1951*2^670465-1 is not prime. Res64: 9EE70359EFC2A03B Time : 777.0 sec. user=vaughan [2010-03-05 08:26:14] 1921*2^670465-1 is not prime. Res64: 4758325957D3578E Time : 782.0 sec. user=vaughan [2010-03-05 08:33:01] 1969*2^670465-1 is not prime. Res64: 32D6AF09F8463EC4 Time : 694.0 sec. user=vaughan [2010-03-05 08:35:39] 1463*2^670466-1 is not prime. Res64: 7A0DE79A217C6453 Time : 705.0 sec. user=vaughan [2010-03-05 08:39:07] 1553*2^670466-1 is not prime. Res64: C97025256394FB7E Time : 774.0 sec. user=vaughan [2010-03-05 08:39:10] 1565*2^670466-1 is not prime. Res64: BA68EEB40ECA15F8 Time : 776.0 sec. user=vaughan [2010-03-05 08:44:34] 1775*2^670466-1 is not prime. Res64: B75CE2CC51A34EB5 Time : 693.0 sec. user=vaughan [2010-03-05 08:47:24] 1805*2^670466-1 is not prime. Res64: 25B748D85807A754 Time : 705.0 sec. user=vaughan [2010-03-05 08:52:03] 1823*2^670466-1 is not prime. Res64: 1C0912F7E83FEADE Time : 776.0 sec. user=vaughan [2010-03-05 08:52:04] 1967*2^670466-1 is not prime. Res64: 603976CF639C09BD Time : 775.0 sec. user=vaughan [2010-03-05 08:56:15] 1441*2^670467-1 is not prime. Res64: E1D53E22CB956C79 Time : 702.0 sec. user=vaughan [2010-03-05 08:59:16] 1491*2^670467-1 is not prime. Res64: F97C220788CACFD1 Time : 713.0 sec. user=vaughan [2010-03-05 09:05:01] 1621*2^670467-1 is not prime. Res64: E1C8E034B9E1E3DA Time : 778.0 sec. user=vaughan [2010-03-05 09:05:01] 1593*2^670467-1 is not prime. Res64: 57F30E36A2030734 Time : 778.0 sec. user=vaughan [2010-03-05 09:08:00] 1623*2^670467-1 is not prime. Res64: 163C1EE420D5097C Time : 705.0 sec. user=vaughan [2010-03-05 09:11:09] 1701*2^670467-1 is not prime. Res64: 713413CED4EEF725 Time : 714.0 sec. user=vaughan [2010-03-05 09:18:23] 1923*2^670467-1 is not prime. Res64: 3C9A0A1244DE6FC9 Time : 802.0 sec. user=vaughan [2010-03-05 09:18:28] 1795*2^670467-1 is not prime. Res64: 83640C648E538A74 Time : 807.0 sec. user=vaughan [2010-03-05 09:20:12] 1407*2^670468-1 is not prime. Res64: 8089C33717BF3D82 Time : 733.0 sec. user=vaughan [2010-03-05 09:23:29] 1505*2^670468-1 is not prime. Res64: 618528CB14F3FDDE Time : 740.0 sec. user=vaughan [2010-03-05 09:31:57] 1553*2^670468-1 is not prime. Res64: E200330DCB6BD7AD Time : 815.0 sec. user=vaughan [2010-03-05 09:32:05] 1617*2^670468-1 is not prime. Res64: D3BF2B4FC8085ED2 Time : 817.0 sec. user=vaughan [2010-03-05 09:32:28] 1679*2^670468-1 is not prime. Res64: 1CA88AE9D0404E01 Time : 737.0 sec. user=vaughan [2010-03-05 09:35:30] 1685*2^670468-1 is not prime. Res64: FC460417A993EC3E Time : 721.0 sec. user=vaughan [2010-03-05 09:44:19] 1745*2^670468-1 is not prime. Res64: 2E715F4A1B59CDFA Time : 711.0 sec. user=vaughan [2010-03-05 09:45:06] 1703*2^670468-1 is not prime. Res64: CC17FC641E199190 Time : 789.0 sec. user=vaughan [2010-03-05 09:45:14] 1713*2^670468-1 is not prime. Res64: C49EC579C0B804AB Time : 789.0 sec. user=vaughan [2010-03-05 09:47:25] 1755*2^670468-1 is not prime. Res64: F2703861DE1669F6 Time : 716.0 sec. user=vaughan [2010-03-05 09:56:11] 1799*2^670468-1 is not prime. Res64: BE16E42C5D971A8E Time : 713.0 sec. user=vaughan [2010-03-05 09:58:00] 1839*2^670468-1 is not prime. Res64: B67BB989ECC9089C Time : 774.0 sec. user=vaughan [2010-03-05 09:58:14] 1899*2^670468-1 is not prime. Res64: 82DA0FB675C5680F Time : 780.0 sec. user=vaughan [2010-03-05 09:59:12] 1979*2^670468-1 is not prime. Res64: 9723C3035E575959 Time : 707.0 sec. user=vaughan [2010-03-05 10:07:45] 1501*2^670469-1 is not prime. Res64: F19A76F3DD893B6A Time : 694.0 sec. user=vaughan [2010-03-05 10:10:54] 1705*2^670469-1 is not prime. Res64: 74AD0F4E9263E5C2 Time : 703.0 sec. user=vaughan [2010-03-05 10:10:55] 1551*2^670469-1 is not prime. Res64: 04922EF9F2B482E8 Time : 775.0 sec. user=vaughan [2010-03-05 10:11:07] 1627*2^670469-1 is not prime. Res64: 10960C02D17D8668 Time : 773.0 sec. user=vaughan [2010-03-05 10:19:25] 1749*2^670469-1 is not prime. Res64: 474FD74E791528CF Time : 700.0 sec. user=vaughan [2010-03-05 10:22:40] 1771*2^670469-1 is not prime. Res64: 2C50D56A658FE7C2 Time : 706.0 sec. user=vaughan [2010-03-05 10:23:51] 1777*2^670469-1 is not prime. Res64: 3A82EC2D0B54EBC7 Time : 776.0 sec. user=vaughan [2010-03-05 10:23:58] 1797*2^670469-1 is not prime. Res64: 9E59B6475BB6D47B Time : 771.0 sec. user=vaughan [2010-03-05 10:31:16] 1821*2^670469-1 is not prime. Res64: 31AF4C98037FAC9B Time : 711.0 sec. user=vaughan [2010-03-05 10:34:28] 1897*2^670469-1 is not prime. Res64: B0CFE583BE44B1F1 Time : 709.0 sec. user=vaughan [2010-03-05 10:36:45] 1947*2^670469-1 is not prime. Res64: 4181885A8217E607 Time : 774.0 sec. user=vaughan [2010-03-05 10:36:56] 1999*2^670469-1 is not prime. Res64: 35E7E71910D20522 Time : 778.0 sec. user=vaughan [2010-03-05 10:43:00] 1445*2^670470-1 is not prime. Res64: 0A349C86DAED8419 Time : 705.0 sec. user=vaughan [2010-03-05 10:46:12] 1505*2^670470-1 is not prime. Res64: 00C1731A7948DFCE Time : 704.0 sec. user=vaughan [2010-03-05 10:49:39] 1581*2^670470-1 is not prime. Res64: F4FEB64B558BD4C9 Time : 774.0 sec. user=vaughan [2010-03-05 10:49:49] 1661*2^670470-1 is not prime. Res64: F21393C417205527 Time : 773.0 sec. user=vaughan [2010-03-05 10:54:37] 1691*2^670470-1 is not prime. Res64: 3C32454708787829 Time : 698.0 sec. user=vaughan [2010-03-05 10:57:59] 1701*2^670470-1 is not prime. Res64: EB2B5738EB6E6011 Time : 707.0 sec. user=vaughan [2010-03-05 11:02:53] 1851*2^670470-1 is not prime. Res64: 9EC536816DB1C807 Time : 794.0 sec. user=vaughan [2010-03-05 11:03:02] 1943*2^670470-1 is not prime. Res64: A2255B43908592D1 Time : 793.0 sec. user=vaughan [2010-03-05 11:06:29] 1965*2^670470-1 is not prime. Res64: A8D772ECF7AA0755 Time : 713.0 sec. user=vaughan [2010-03-05 11:09:53] 1971*2^670470-1 is not prime. Res64: 67FC936B90261C8F Time : 714.0 sec. user=vaughan [2010-03-05 11:16:28] 1973*2^670470-1 is not prime. Res64: E8D15C1334BA6C0C Time : 815.0 sec. user=vaughan [2010-03-05 11:16:39] 1431*2^670471-1 is not prime. Res64: 1928508D152F76BC Time : 817.0 sec. user=vaughan [2010-03-05 11:18:50] 1443*2^670471-1 is not prime. Res64: 0EAFDD943E0D3969 Time : 741.0 sec. user=vaughan [2010-03-05 11:22:04] 1545*2^670471-1 is not prime. Res64: 4F9D3C76C11E3FCF Time : 731.0 sec. user=vaughan [2010-03-05 11:29:30] 1561*2^670471-1 is not prime. Res64: C48DDC17F8AF4CCE Time : 783.0 sec. user=vaughan [2010-03-05 11:29:41] 1695*2^670471-1 is not prime. Res64: 2C2E29ABE65732E1 Time : 783.0 sec. user=vaughan [2010-03-05 11:30:28] 1815*2^670471-1 is not prime. Res64: DB25408919F44967 Time : 699.0 sec. user=vaughan [2010-03-05 11:33:47] 1863*2^670471-1 is not prime. Res64: FB64B4BD95AFD799 Time : 704.0 sec. user=vaughan [2010-03-05 11:42:07] 1523*2^670472-1 is not prime. Res64: 290B129B40333F8E Time : 699.0 sec. user=vaughan [2010-03-05 11:42:32] 1941*2^670471-1 is not prime. Res64: 9F17057D5D7F8FDC Time : 782.0 sec. user=vaughan [2010-03-05 11:42:40] 1959*2^670471-1 is not prime. Res64: 23F7886BD717EA5B Time : 779.0 sec. user=vaughan [2010-03-05 11:45:39] 1539*2^670472-1 is not prime. Res64: 9AB60849F4B9DD79 Time : 712.0 sec. user=vaughan [2010-03-05 11:53:59] 1569*2^670472-1 is not prime. Res64: BE3E148AB2CBD750 Time : 713.0 sec. user=vaughan [2010-03-05 11:55:36] 1623*2^670472-1 is not prime. Res64: 7C8F86D1800A994E Time : 784.0 sec. user=vaughan [2010-03-05 11:55:44] 1683*2^670472-1 is not prime. Res64: FB42A1AD51DDC972 Time : 784.0 sec. user=vaughan [2010-03-05 11:57:32] 1755*2^670472-1 is not prime. Res64: 9F99FE95FE24EC6F Time : 713.0 sec. user=vaughan [2010-03-05 12:05:48] 1793*2^670472-1 is not prime. Res64: 956AC1FAB0058246 Time : 709.0 sec. user=vaughan [2010-03-05 12:08:39] 1817*2^670472-1 is not prime. Res64: ECC7E3AC21C3D3E0 Time : 784.0 sec. user=vaughan [2010-03-05 12:08:46] 1935*2^670472-1 is not prime. Res64: 1E03DFCE76F5F8CD Time : 782.0 sec. user=vaughan [2010-03-05 12:09:25] 1977*2^670472-1 is not prime. Res64: 72EC25F1EE86A609 Time : 714.0 sec. user=vaughan [2010-03-05 12:17:41] 1407*2^670473-1 is not prime. Res64: DA79CD7AB3B238F2 Time : 713.0 sec. user=vaughan [2010-03-05 12:21:21] 1495*2^670473-1 is not prime. Res64: B31FEB42EF55D93C Time : 716.0 sec. user=vaughan [2010-03-05 12:21:44] 1417*2^670473-1 is not prime. Res64: 1C5E9EEEB7D555A2 Time : 785.0 sec. user=vaughan [2010-03-05 12:21:53] 1479*2^670473-1 is not prime. Res64: 6FD872C7F820F8C2 Time : 787.0 sec. user=vaughan [2010-03-05 12:30:20] 1501*2^670473-1 is not prime. Res64: 9DD591EB396A17DE Time : 760.0 sec. user=vaughan [2010-03-05 12:34:06] 1515*2^670473-1 is not prime. Res64: C609D8867D08817E Time : 765.0 sec. user=vaughan [2010-03-05 12:36:10] 1575*2^670473-1 is not prime. Res64: 9A392183646FAB8C Time : 866.0 sec. user=vaughan [2010-03-05 12:36:15] 1587*2^670473-1 is not prime. Res64: 8C5881F3AC91BB32 Time : 862.0 sec. user=vaughan [2010-03-05 12:42:00] 1707*2^670473-1 is not prime. Res64: 3C90A53633EFA5EA Time : 701.0 sec. user=vaughan [2010-03-05 12:45:51] 1729*2^670473-1 is not prime. Res64: ED05D2EDDD4D3932 Time : 705.0 sec. user=vaughan [2010-03-05 12:49:04] 1897*2^670473-1 is not prime. Res64: F31A7DD4EEFCB5BE Time : 774.0 sec. user=vaughan [2010-03-05 12:49:12] 1951*2^670473-1 is not prime. Res64: 44B78BFBFE6B39D0 Time : 777.0 sec. user=vaughan [2010-03-05 12:53:34] 1969*2^670473-1 is not prime. Res64: DE3E7529D9D7F503 Time : 695.0 sec. user=vaughan [2010-03-05 12:57:32] 1515*2^670474-1 is not prime. Res64: E3137C6AF8C1A190 Time : 701.0 sec. user=vaughan [2010-03-05 13:01:58] 1545*2^670474-1 is not prime. Res64: 1A256320A85170A5 Time : 774.0 sec. user=vaughan [2010-03-05 13:02:10] 1601*2^670474-1 is not prime. Res64: 5DFB6F96F96E0B2E Time : 778.0 sec. user=vaughan [2010-03-05 13:05:22] 1697*2^670474-1 is not prime. Res64: 03C7D45CAFADAC9C Time : 708.0 sec. user=vaughan [2010-03-05 13:09:44] 1793*2^670474-1 is not prime. Res64: 10705C685C561CC6 Time : 732.0 sec. user=vaughan [2010-03-05 13:15:36] 1821*2^670474-1 is not prime. Res64: E2B19CA325BBAC61 Time : 818.0 sec. user=vaughan [2010-03-05 13:15:56] 1865*2^670474-1 is not prime. Res64: 2E0599BB07A7185F Time : 827.0 sec. user=vaughan [2010-03-05 13:17:39] 1875*2^670474-1 is not prime. Res64: A820AC6DEB729080 Time : 737.0 sec. user=vaughan [2010-03-05 13:21:49] 1877*2^670474-1 is not prime. Res64: F04A12FD2E814B0B Time : 725.0 sec. user=vaughan [2010-03-05 13:32:23] 1907*2^670474-1 is not prime. Res64: AA964AFA234768F9 Time : 884.0 sec. user=vaughan [2010-03-05 13:33:40] 1895*2^670474-1 is not prime. Res64: D2C36FC4DD482597 Time : 1084.0 sec. user=vaughan [2010-03-05 13:34:14] 1905*2^670474-1 is not prime. Res64: 9ED3E8FF9E47D380 Time : 1098.0 sec. user=vaughan [2010-03-05 13:37:32] 1911*2^670474-1 is not prime. Res64: E29FA1CDB95CC44C Time : 943.0 sec. user=vaughan [2010-03-05 13:45:01] 1459*2^670475-1 is not prime. Res64: EBAA4C706DEE1407 Time : 758.0 sec. user=vaughan [2010-03-05 13:47:23] 1491*2^670475-1 is not prime. Res64: 902DB5887ADBA5B8 Time : 824.0 sec. user=vaughan [2010-03-05 13:47:48] 1531*2^670475-1 is not prime. Res64: 6A9A836C65DFF2C1 Time : 814.0 sec. user=vaughan [2010-03-05 13:49:23] 1585*2^670475-1 is not prime. Res64: FB2738596E77EA8B Time : 711.0 sec. user=vaughan [2010-03-05 13:56:55] 1593*2^670475-1 is not prime. Res64: 0031189DEE2A447A Time : 714.0 sec. user=vaughan [2010-03-05 14:00:51] 1695*2^670475-1 is not prime. Res64: 6F52FAB228829B52 Time : 808.0 sec. user=vaughan [2010-03-05 14:01:13] 1701*2^670475-1 is not prime. Res64: AA978C052CFB33B1 Time : 806.0 sec. user=vaughan [2010-03-05 14:01:15] 1855*2^670475-1 is not prime. Res64: 72114139A885F720 Time : 713.0 sec. user=vaughan [2010-03-05 14:08:39] 1863*2^670475-1 is not prime. Res64: 0CC5B836ADB55E65 Time : 705.0 sec. user=vaughan [2010-03-05 14:13:04] 1999*2^670475-1 is not prime. Res64: 3FBDCDC5A3F9C5EF Time : 709.0 sec. user=vaughan [2010-03-05 14:13:53] 1875*2^670475-1 is not prime. Res64: E3E86574FDE0B4B4 Time : 783.0 sec. user=vaughan [2010-03-05 14:14:14] 1905*2^670475-1 is not prime. Res64: 4CE795FA84F63714 Time : 781.0 sec. user=vaughan [2010-03-05 14:20:17] 1487*2^670476-1 is not prime. Res64: 3ACFDDF484F4E050 Time : 698.0 sec. user=vaughan [2010-03-05 14:24:46] 1607*2^670476-1 is not prime. Res64: 9C144BCAAF9FFAD2 Time : 703.0 sec. user=vaughan [2010-03-05 14:26:49] 1635*2^670476-1 is not prime. Res64: B40BCACAA61B5E14 Time : 776.0 sec. user=vaughan [2010-03-05 14:27:08] 1685*2^670476-1 is not prime. Res64: E248D02118A09E17 Time : 775.0 sec. user=vaughan [2010-03-05 14:31:50] 1719*2^670476-1 is not prime. Res64: F6566E9FCBBB8F96 Time : 693.0 sec. user=vaughan [2010-03-05 14:36:27] 1739*2^670476-1 is not prime. Res64: 9744F283A4835C62 Time : 701.0 sec. user=vaughan [2010-03-05 14:39:44] 1833*2^670476-1 is not prime. Res64: 03A258F96BA268F9 Time : 775.0 sec. user=vaughan [2010-03-05 14:40:04] 1917*2^670476-1 is not prime. Res64: B4D81BE548112BE5 Time : 776.0 sec. user=vaughan [2010-03-05 14:43:23] 1929*2^670476-1 is not prime. Res64: 8F88BEB1FD7CA0EE Time : 693.0 sec. user=vaughan [2010-03-05 14:48:11] 1953*2^670476-1 is not prime. Res64: 3404F573C7742860 Time : 704.0 sec. user=vaughan [2010-03-05 14:52:40] 1431*2^670477-1 is not prime. Res64: 9F4742FB74DDC270 Time : 776.0 sec. user=vaughan [2010-03-05 14:53:03] 1455*2^670477-1 is not prime. Res64: 5E7D6BC5EBB48279 Time : 779.0 sec. user=vaughan [2010-03-05 14:54:58] 1519*2^670477-1 is not prime. Res64: 4E00EBFE27FD0959 Time : 695.0 sec. user=vaughan [2010-03-05 14:59:58] 1531*2^670477-1 is not prime. Res64: 34A48E54EC01D0A8 Time : 707.0 sec. user=vaughan [2010-03-05 15:05:58] 1545*2^670477-1 is not prime. Res64: 482C57DB8EE2FB0B Time : 799.0 sec. user=vaughan [2010-03-05 15:06:27] 1549*2^670477-1 is not prime. Res64: 3DB2F78BDE4ABE22 Time : 804.0 sec. user=vaughan [2010-03-05 15:07:08] 1587*2^670477-1 is not prime. Res64: 801F5DC98F39031B Time : 730.0 sec. user=vaughan [2010-03-05 15:12:05] 1599*2^670477-1 is not prime. Res64: 8682D6E3FB706F09 Time : 727.0 sec. user=vaughan [2010-03-05 15:18:57] 1741*2^670477-1 is not prime. Res64: 721ABC4DADFEA14B Time : 709.0 sec. user=vaughan [2010-03-05 15:19:08] 1617*2^670477-1 is not prime. Res64: 236E8D5669CB4157 Time : 790.0 sec. user=vaughan [2010-03-05 15:19:35] 1627*2^670477-1 is not prime. Res64: 679AE806BC18AC03 Time : 789.0 sec. user=vaughan [2010-03-05 15:24:02] 1767*2^670477-1 is not prime. Res64: 07704C539BA91640 Time : 717.0 sec. user=vaughan [2010-03-05 15:30:54] 1815*2^670477-1 is not prime. Res64: 8C8E88DA9B3B55BC Time : 717.0 sec. user=vaughan [2010-03-05 15:32:18] 1849*2^670477-1 is not prime. Res64: 2F1627839016E5D5 Time : 790.0 sec. user=vaughan [2010-03-05 15:32:46] 1941*2^670477-1 is not prime. Res64: 859431EC0FB9C461 Time : 791.0 sec. user=vaughan [2010-03-05 15:36:05] 1433*2^670478-1 is not prime. Res64: C0082534EA195137 Time : 724.0 sec. user=vaughan [2010-03-05 15:42:44] 1553*2^670478-1 is not prime. Res64: E01048B7009896A4 Time : 710.0 sec. user=vaughan [2010-03-05 15:45:26] 1565*2^670478-1 is not prime. Res64: FBBC3562221A66CC Time : 788.0 sec. user=vaughan [2010-03-05 15:45:51] 1611*2^670478-1 is not prime. Res64: 35BCC2F8B79454CF Time : 785.0 sec. user=vaughan [2010-03-05 15:47:57] 1725*2^670478-1 is not prime. Res64: EB9BE634C1158CE6 Time : 713.0 sec. user=vaughan [2010-03-05 15:54:20] 1727*2^670478-1 is not prime. Res64: A8CB47723791D24D Time : 696.0 sec. user=vaughan [2010-03-05 15:58:23] 1751*2^670478-1 is not prime. Res64: 520B18889B5D3FD4 Time : 777.0 sec. user=vaughan [2010-03-05 15:58:45] 1763*2^670478-1 is not prime. Res64: 8E19CC922C84469C Time : 774.0 sec. user=vaughan [2010-03-05 15:59:39] 1805*2^670478-1 is not prime. Res64: 29C927F1A59E9CF8 Time : 702.0 sec. user=vaughan [2010-03-05 16:05:56] 1853*2^670478-1 is not prime. Res64: E50EFB7FA457E78C Time : 697.0 sec. user=vaughan [2010-03-05 16:11:20] 1875*2^670478-1 is not prime. Res64: D176FEF051B15798 Time : 777.0 sec. user=vaughan [2010-03-05 16:11:28] 1937*2^670478-1 is not prime. Res64: 3B90FB564171DB7A Time : 710.0 sec. user=vaughan [2010-03-05 16:11:40] 1917*2^670478-1 is not prime. Res64: 20747E4E4D6AE537 Time : 775.0 sec. user=vaughan [2010-03-05 16:17:46] 1441*2^670479-1 is not prime. Res64: BF164D5281B1C1D3 Time : 710.0 sec. user=vaughan [2010-03-05 16:23:21] 1489*2^670479-1 is not prime. Res64: 67810E8CBAC362E1 Time : 714.0 sec. user=vaughan [2010-03-05 16:24:21] 1455*2^670479-1 is not prime. Res64: D24584BB6F324BFE Time : 781.0 sec. user=vaughan [2010-03-05 16:24:42] 1491*2^670479-1 is not prime. Res64: 221360BCBB832BF0 Time : 783.0 sec. user=vaughan [2010-03-05 16:29:18] 1581*2^670479-1 is not prime. Res64: 2F09DC2DD10188B1 Time : 693.0 sec. user=vaughan [2010-03-05 16:35:03] 1609*2^670479-1 is not prime. Res64: 66FD44C8E574CF28 Time : 702.0 sec. user=vaughan [2010-03-05 16:37:36] 1659*2^670479-1 is not prime. Res64: 42A89263DC981686 Time : 774.0 sec. user=vaughan [2010-03-05 16:37:38] 1635*2^670479-1 is not prime. Res64: 83A22288777A9D21 Time : 797.0 sec. user=vaughan [2010-03-05 16:40:57] 1693*2^670479-1 is not prime. Res64: 6A8FFA6B098E1D73 Time : 699.0 sec. user=vaughan [2010-03-05 16:46:52] 1789*2^670479-1 is not prime. Res64: 8A3CE5E36C675D47 Time : 710.0 sec. user=vaughan [2010-03-05 16:50:44] 1791*2^670479-1 is not prime. Res64: 51FAA46F1A6571D1 Time : 788.0 sec. user=vaughan [2010-03-05 16:50:47] 1803*2^670479-1 is not prime. Res64: 55B5E58F49589FB8 Time : 790.0 sec. user=vaughan [2010-03-05 16:52:38] 1815*2^670479-1 is not prime. Res64: 410C6946D09ABAA3 Time : 701.0 sec. user=vaughan [2010-03-05 16:58:14] 1899*2^670479-1 is not prime. Res64: 75DAA73CFB4F3F55 Time : 683.0 sec. user=vaughan [2010-03-05 17:02:18] 1921*2^670479-1 is not prime. Res64: 19EDBBA89383BFB3 Time : 694.0 sec. user=vaughan [2010-03-05 17:02:27] 1403*2^670480-1 is not prime. Res64: 7E70A84F7478DC76 Time : 700.0 sec. user=vaughan [2010-03-05 17:03:57] 1487*2^670480-1 is not prime. Res64: A46DA7400A304933 Time : 679.0 sec. user=vaughan [2010-03-05 17:09:06] 1637*2^670480-1 is not prime. Res64: F7B639ECE2EB7B9A Time : 652.0 sec. user=vaughan [2010-03-05 17:13:21] 1665*2^670480-1 is not prime. Res64: 0CB53F0A15C2D3C2 Time : 663.0 sec. user=vaughan [2010-03-05 17:13:31] 1707*2^670480-1 is not prime. Res64: ED2FD0E0C7850871 Time : 664.0 sec. user=vaughan [2010-03-05 17:14:45] 1749*2^670480-1 is not prime. Res64: DBD78833D93EF48E Time : 649.0 sec. user=vaughan [2010-03-05 17:19:53] 1815*2^670480-1 is not prime. Res64: 8EA7A0C98D7D08C8 Time : 648.0 sec. user=vaughan [2010-03-05 17:24:24] 1435*2^670481-1 is not prime. Res64: 7ECD1869D0A32475 Time : 663.0 sec. user=vaughan [2010-03-05 17:24:34] 1459*2^670481-1 is not prime. Res64: C162F8DE5E830555 Time : 664.0 sec. user=vaughan [2010-03-05 17:25:32] 1489*2^670481-1 is not prime. Res64: 64E6BE760D4BFEAC Time : 648.0 sec. user=vaughan [2010-03-05 17:30:40] 1501*2^670481-1 is not prime. Res64: 3CCA1E666801DCAD Time : 648.0 sec. user=vaughan [2010-03-05 17:35:28] 1551*2^670481-1 is not prime. Res64: 8801AE858B4B1684 Time : 664.0 sec. user=vaughan [2010-03-05 17:35:36] 1581*2^670481-1 is not prime. Res64: 3DAE1D44C1B9E8B4 Time : 662.0 sec. user=vaughan [2010-03-05 17:36:20] 1705*2^670481-1 is not prime. Res64: AA5AA96A42299F16 Time : 648.0 sec. user=vaughan [2010-03-05 17:41:26] 1707*2^670481-1 is not prime. Res64: BE94F9E11563C206 Time : 646.0 sec. user=vaughan [2010-03-05 17:46:32] 1725*2^670481-1 is not prime. Res64: 418163FBCF728C91 Time : 665.0 sec. user=vaughan [2010-03-05 17:46:39] 1911*2^670481-1 is not prime. Res64: 50F1F808F75E0E82 Time : 663.0 sec. user=vaughan [2010-03-05 17:47:08] 1917*2^670481-1 is not prime. Res64: 315F5A51CB5C00FD Time : 649.0 sec. user=vaughan [2010-03-05 17:52:13] 1421*2^670482-1 is not prime. Res64: 5EBD1E186732D88E Time : 647.0 sec. user=vaughan [2010-03-05 17:57:35] 1511*2^670482-1 is not prime. Res64: FB3503783342A79D Time : 664.0 sec. user=vaughan [2010-03-05 17:57:42] 1535*2^670482-1 is not prime. Res64: 81F8F3386EAC3E26 Time : 664.0 sec. user=vaughan [2010-03-05 17:57:56] 1551*2^670482-1 is not prime. Res64: 874A7907E777515A Time : 648.0 sec. user=vaughan [2010-03-05 18:03:00] 1563*2^670482-1 is not prime. Res64: 86670C4539ADB010 Time : 647.0 sec. user=vaughan [2010-03-05 18:08:39] 1575*2^670482-1 is not prime. Res64: 742E826B268E6501 Time : 664.0 sec. user=vaughan [2010-03-05 18:08:44] 1691*2^670482-1 is not prime. Res64: C482747E2B5BF26E Time : 648.0 sec. user=vaughan [2010-03-05 18:08:45] 1595*2^670482-1 is not prime. Res64: D0F61324380AFD4F Time : 663.0 sec. user=vaughan [2010-03-05 18:13:47] 1755*2^670482-1 is not prime. Res64: 3F761ABFA17EC41B Time : 648.0 sec. user=vaughan [2010-03-05 18:19:31] 1803*2^670482-1 is not prime. Res64: 7C7B71C1407983F2 Time : 648.0 sec. user=vaughan [2010-03-05 18:19:43] 1761*2^670482-1 is not prime. Res64: 1D94BD9718E7B3A5 Time : 664.0 sec. user=vaughan [2010-03-05 18:19:49] 1823*2^670482-1 is not prime. Res64: 889A3D9084108DE5 Time : 664.0 sec. user=vaughan [2010-03-05 18:24:34] 1841*2^670482-1 is not prime. Res64: DBC357ED3B7672A7 Time : 647.0 sec. user=vaughan [2010-03-05 18:30:19] 1887*2^670482-1 is not prime. Res64: 481E032716EC40DC Time : 648.0 sec. user=vaughan [2010-03-05 18:30:46] 1441*2^670483-1 is not prime. Res64: E5FBB28E5606BA4E Time : 664.0 sec. user=vaughan [2010-03-05 18:30:52] 1599*2^670483-1 is not prime. Res64: C3F3B48CB68CEEDA Time : 663.0 sec. user=vaughan [2010-03-05 18:35:21] 1653*2^670483-1 is not prime. Res64: 33A6CB7B9E2E9831 Time : 647.0 sec. user=vaughan [2010-03-05 18:41:05] 1669*2^670483-1 is not prime. Res64: 58ECAC3DA3685439 Time : 646.0 sec. user=vaughan [2010-03-05 18:41:48] 1693*2^670483-1 is not prime. Res64: 222089663E7EB6B3 Time : 662.0 sec. user=vaughan [2010-03-05 18:41:55] 1785*2^670483-1 is not prime. Res64: DB931DCDD90DFA26 Time : 663.0 sec. user=vaughan [2010-03-05 18:46:09] 1819*2^670483-1 is not prime. Res64: 5531CB31DFED03A2 Time : 648.0 sec. user=vaughan [2010-03-05 18:52:27] 1825*2^670483-1 is not prime. Res64: 55D2B4AB8BB081FA Time : 682.0 sec. user=vaughan [2010-03-05 18:53:18] 1863*2^670483-1 is not prime. Res64: 4B5289DFB76B6643 Time : 690.0 sec. user=vaughan [2010-03-05 18:53:30] 1903*2^670483-1 is not prime. Res64: 11DAA2A570738FC8 Time : 696.0 sec. user=vaughan [2010-03-05 18:57:22] 1909*2^670483-1 is not prime. Res64: D5EB525D44B9533B Time : 674.0 sec. user=vaughan [2010-03-05 19:03:22] 1983*2^670483-1 is not prime. Res64: 140473E80E2FCFCC Time : 656.0 sec. user=vaughan [2010-03-05 19:04:30] 1475*2^670484-1 is not prime. Res64: CEFC51DA4887968C Time : 672.0 sec. user=vaughan [2010-03-05 19:04:37] 1499*2^670484-1 is not prime. Res64: 701E9642CE912ABB Time : 667.0 sec. user=vaughan [2010-03-05 19:08:07] 1613*2^670484-1 is not prime. Res64: 1E01D9AB07EA1390 Time : 645.0 sec. user=vaughan [2010-03-05 19:14:09] 1623*2^670484-1 is not prime. Res64: FE805DBB51B54A1F Time : 648.0 sec. user=vaughan [2010-03-05 19:15:35] 1655*2^670484-1 is not prime. Res64: 1810BA7F3A300724 Time : 665.0 sec. user=vaughan [2010-03-05 19:15:41] 1683*2^670484-1 is not prime. Res64: 2F8E13E82D1AE370 Time : 664.0 sec. user=vaughan [2010-03-05 19:18:53] 1685*2^670484-1 is not prime. Res64: A11634ED6B52C39F Time : 646.0 sec. user=vaughan [2010-03-05 19:24:58] 1709*2^670484-1 is not prime. Res64: D09BD292C498F015 Time : 649.0 sec. user=vaughan [2010-03-05 19:26:38] 1757*2^670484-1 is not prime. Res64: 4684E5930FF2D43F Time : 664.0 sec. user=vaughan [2010-03-05 19:26:43] 1803*2^670484-1 is not prime. Res64: CDEE923DF86864C4 Time : 663.0 sec. user=vaughan [2010-03-05 19:29:39] 1809*2^670484-1 is not prime. Res64: 4498A32BD1C5102A Time : 646.0 sec. user=vaughan [2010-03-05 19:35:46] 1947*2^670484-1 is not prime. Res64: ECF8A0ADB059AD78 Time : 648.0 sec. user=vaughan [2010-03-05 19:37:41] 1417*2^670485-1 is not prime. Res64: 6317F60D392B492E Time : 663.0 sec. user=vaughan [2010-03-05 19:37:46] 1467*2^670485-1 is not prime. Res64: A5EC3B556A585306 Time : 663.0 sec. user=vaughan [2010-03-05 19:40:24] 1497*2^670485-1 is not prime. Res64: 8E7C9C32754F881E Time : 645.0 sec. user=vaughan [2010-03-05 19:46:33] 1575*2^670485-1 is not prime. Res64: 98F10215B25C4F99 Time : 648.0 sec. user=vaughan [2010-03-05 19:48:44] 1609*2^670485-1 is not prime. Res64: 70CB645CF7DC2EF2 Time : 663.0 sec. user=vaughan [2010-03-05 19:48:49] 1635*2^670485-1 is not prime. Res64: 41BF0F2218604450 Time : 663.0 sec. user=vaughan [2010-03-05 19:51:10] 1647*2^670485-1 is not prime. Res64: 834A8898D4BA09F3 Time : 646.0 sec. user=vaughan [2010-03-05 19:57:21] 1699*2^670485-1 is not prime. Res64: 6DEED68B07C1D09B Time : 648.0 sec. user=vaughan [2010-03-05 19:59:47] 1749*2^670485-1 is not prime. Res64: 42C3D4A5C3D0D341 Time : 663.0 sec. user=vaughan [2010-03-05 19:59:51] 1755*2^670485-1 is not prime. Res64: F372079F1280564C Time : 663.0 sec. user=vaughan [2010-03-05 20:01:56] 1801*2^670485-1 is not prime. Res64: 5FE97EDB956028CD Time : 647.0 sec. user=vaughan [2010-03-05 20:08:10] 1809*2^670485-1 is not prime. Res64: 066F0B93F23DDEFC Time : 649.0 sec. user=vaughan [2010-03-05 20:10:50] 1851*2^670485-1 is not prime. Res64: E9E78A654F17A4CB Time : 663.0 sec. user=vaughan [2010-03-05 20:10:53] 1881*2^670485-1 is not prime. Res64: 4209A2627F4EE5D7 Time : 662.0 sec. user=vaughan [2010-03-05 20:12:40] 1885*2^670485-1 is not prime. Res64: 47A0600ACA5E1759 Time : 644.0 sec. user=vaughan [2010-03-05 20:18:59] 1909*2^670485-1 is not prime. Res64: D907EC25EA8F0BAB Time : 649.0 sec. user=vaughan [2010-03-05 20:21:52] 1927*2^670485-1 is not prime. Res64: 3BABE3F84DF64B91 Time : 663.0 sec. user=vaughan [2010-03-05 20:21:57] 1941*2^670485-1 is not prime. Res64: 12EFE1F71968033A Time : 664.0 sec. user=vaughan [2010-03-05 20:23:27] 1407*2^670486-1 is not prime. Res64: B029EDFCE1156F59 Time : 647.0 sec. user=vaughan [2010-03-05 20:29:47] 1445*2^670486-1 is not prime. Res64: 739707FE58628CA4 Time : 649.0 sec. user=vaughan [2010-03-05 20:32:56] 1601*2^670486-1 is not prime. Res64: 1A9500E9DF6705D2 Time : 665.0 sec. user=vaughan [2010-03-05 20:33:02] 1625*2^670486-1 is not prime. Res64: BCDA9B3DFE663C5D Time : 666.0 sec. user=vaughan [2010-03-05 20:34:21] 1995*2^670486-1 is not prime. Res64: BF15F2E682FA1A91 Time : 655.0 sec. user=vaughan [2010-03-05 20:42:12] 1441*2^670487-1 is not prime. Res64: 4358D8855CBCFAE9 Time : 745.0 sec. user=vaughan [2010-03-05 20:50:39] 1701*2^670487-1 is not prime. Res64: 13730F3FA46AA098 Time : 978.0 sec. user=vaughan [2010-03-05 20:53:18] 1551*2^670487-1 is not prime. Res64: A1D9FDFB60F00107 Time : 1222.0 sec. user=vaughan [2010-03-05 20:53:25] 1663*2^670487-1 is not prime. Res64: 22D3A152BE922290 Time : 1223.0 sec. user=vaughan [2010-03-05 20:55:20] 1741*2^670487-1 is not prime. Res64: 792820D2B35F357D Time : 789.0 sec. user=vaughan [2010-03-05 21:01:36] 1813*2^670487-1 is not prime. Res64: C9B87518EF5CFFBA Time : 657.0 sec. user=vaughan [2010-03-05 21:04:21] 1879*2^670487-1 is not prime. Res64: 073B645CD669EEF4 Time : 663.0 sec. user=vaughan [2010-03-05 21:04:28] 1891*2^670487-1 is not prime. Res64: A724705427CA7E9D Time : 664.0 sec. user=vaughan [2010-03-05 21:06:08] 1975*2^670487-1 is not prime. Res64: F081EF3DA242037A Time : 649.0 sec. user=vaughan [2010-03-05 21:12:21] 1505*2^670488-1 is not prime. Res64: 859B6B17D68BB788 Time : 645.0 sec. user=vaughan [2010-03-05 21:15:24] 1719*2^670488-1 is not prime. Res64: E6BCCCBD9983B88B Time : 663.0 sec. user=vaughan [2010-03-05 21:15:29] 1725*2^670488-1 is not prime. Res64: A30652097C2CC1BF Time : 661.0 sec. user=vaughan [2010-03-05 21:16:55] 1763*2^670488-1 is not prime. Res64: 899FF8194C74458D Time : 648.0 sec. user=vaughan [2010-03-05 21:23:07] 1869*2^670488-1 is not prime. Res64: 95AE1021A965D91E Time : 646.0 sec. user=vaughan [2010-03-05 21:26:26] 1889*2^670488-1 is not prime. Res64: 96E2EFBF2C0E0C37 Time : 663.0 sec. user=vaughan [2010-03-05 21:26:32] 1935*2^670488-1 is not prime. Res64: 35F87CCC7CB7C53A Time : 663.0 sec. user=vaughan [2010-03-05 21:27:43] 1985*2^670488-1 is not prime. Res64: 4AF1C83F276E272A Time : 648.0 sec. user=vaughan [2010-03-05 21:33:52] 1997*2^670488-1 is not prime. Res64: B7C7F026B1D28DCC Time : 646.0 sec. user=vaughan [2010-03-05 21:37:28] 1449*2^670489-1 is not prime. Res64: E8FC068A0A7C7402 Time : 663.0 sec. user=vaughan [2010-03-05 21:37:35] 1627*2^670489-1 is not prime. Res64: E3786268E09D1D6D Time : 663.0 sec. user=vaughan [2010-03-05 21:38:31] 1647*2^670489-1 is not prime. Res64: F78FF7634427BF19 Time : 648.0 sec. user=vaughan [2010-03-05 21:44:38] 1731*2^670489-1 is not prime. Res64: 65720B69FE3FAA5D Time : 646.0 sec. user=vaughan [2010-03-05 21:48:30] 1771*2^670489-1 is not prime. Res64: 0BDF9128B8AAEBB6 Time : 662.0 sec. user=vaughan [2010-03-05 21:48:37] 1791*2^670489-1 is not prime. Res64: 5341CB278E2A179A Time : 663.0 sec. user=vaughan [2010-03-05 21:49:17] 1809*2^670489-1 is not prime. Res64: 222B98CCA15C6973 Time : 646.0 sec. user=vaughan [2010-03-05 21:55:24] 1875*2^670489-1 is not prime. Res64: 672A0CD9F816E8BE Time : 646.0 sec. user=vaughan [2010-03-05 21:59:33] 1959*2^670489-1 is not prime. Res64: 03816CD040C39CA4 Time : 663.0 sec. user=vaughan [2010-03-05 21:59:39] 1517*2^670490-1 is not prime. Res64: DA6D758B203ECBC3 Time : 662.0 sec. user=vaughan [2010-03-05 22:00:04] 1547*2^670490-1 is not prime. Res64: 79829891915AB448 Time : 647.0 sec. user=vaughan [2010-03-05 22:06:09] 1553*2^670490-1 is not prime. Res64: BABB5CBA882DD6E2 Time : 645.0 sec. user=vaughan [2010-03-05 22:10:35] 1637*2^670490-1 is not prime. Res64: F85E992147E4512E Time : 662.0 sec. user=vaughan [2010-03-05 22:10:42] 1641*2^670490-1 is not prime. Res64: 0911D2B5A1147DB4 Time : 663.0 sec. user=vaughan [2010-03-05 22:10:51] 1743*2^670490-1 is not prime. Res64: BC9C3B489C1FB689 Time : 648.0 sec. user=vaughan [2010-03-05 22:16:57] 1763*2^670490-1 is not prime. Res64: 86DE53948AF01FD8 Time : 648.0 sec. user=vaughan [2010-03-05 22:21:36] 1767*2^670490-1 is not prime. Res64: 885E3A3FDF19D286 Time : 661.0 sec. user=vaughan [2010-03-05 22:21:37] 1853*2^670490-1 is not prime. Res64: E659EB6FEAFB89D4 Time : 646.0 sec. user=vaughan [2010-03-05 22:21:43] 1851*2^670490-1 is not prime. Res64: 81EC7080E01D44FC Time : 662.0 sec. user=vaughan [2010-03-05 22:27:45] 1911*2^670490-1 is not prime. Res64: 7E66A69549D914DC Time : 649.0 sec. user=vaughan [2010-03-05 22:32:51] 1977*2^670490-1 is not prime. Res64: AE6F91AEC4640D61 Time : 674.0 sec. user=vaughan [2010-03-05 22:33:02] 1943*2^670490-1 is not prime. Res64: 3F56D4A6AFD7FF3C Time : 686.0 sec. user=vaughan [2010-03-05 22:33:07] 1509*2^670491-1 is not prime. Res64: 532E9FC9B679419F Time : 684.0 sec. user=vaughan [2010-03-05 22:38:56] 1515*2^670491-1 is not prime. Res64: 25DE09D3BF11AC49 Time : 672.0 sec. user=vaughan [2010-03-05 22:43:53] 1533*2^670491-1 is not prime. Res64: 3879B2FA39F037BC Time : 662.0 sec. user=vaughan [2010-03-05 22:44:18] 1551*2^670491-1 is not prime. Res64: 5418440529E4A85D Time : 676.0 sec. user=vaughan [2010-03-05 22:44:22] 1573*2^670491-1 is not prime. Res64: E09C9DD50CA1630C Time : 675.0 sec. user=vaughan [2010-03-05 22:49:42] 1593*2^670491-1 is not prime. Res64: F5D3B685A03A1792 Time : 646.0 sec. user=vaughan [2010-03-05 22:54:41] 1813*2^670491-1 is not prime. Res64: 9BFE6A3459F3D7E5 Time : 648.0 sec. user=vaughan [2010-03-05 22:55:21] 1869*2^670491-1 is not prime. Res64: 83B587D16DEAA40E Time : 663.0 sec. user=vaughan [2010-03-05 22:55:25] 1911*2^670491-1 is not prime. Res64: 4292E7043869969B Time : 663.0 sec. user=vaughan [2010-03-05 23:00:28] 1923*2^670491-1 is not prime. Res64: A853A18655262606 Time : 646.0 sec. user=vaughan [2010-03-05 23:05:29] 1995*2^670491-1 is not prime. Res64: 08E9A617F8FF3935 Time : 649.0 sec. user=vaughan [2010-03-05 23:06:23] 1419*2^670492-1 is not prime. Res64: 6ACD1C4D8B6F92B9 Time : 663.0 sec. user=vaughan [2010-03-05 23:06:27] 1623*2^670492-1 is not prime. Res64: 96684D7F1CBBDAEF Time : 663.0 sec. user=vaughan [2010-03-05 23:11:14] 1965*2^670492-1 is not prime. Res64: 2C6C281210B205E4 Time : 646.0 sec. user=vaughan [2010-03-05 23:16:17] 1435*2^670493-1 is not prime. Res64: 82BB3DA231988D12 Time : 648.0 sec. user=vaughan [2010-03-05 23:17:26] 1509*2^670493-1 is not prime. Res64: C5DFBF255449F441 Time : 663.0 sec. user=vaughan [2010-03-05 23:17:29] 1575*2^670493-1 is not prime. Res64: 280C8C6D224A160B Time : 662.0 sec. user=vaughan [2010-03-05 23:22:00] 1579*2^670493-1 is not prime. Res64: 5C28F24ED470392C Time : 646.0 sec. user=vaughan [2010-03-05 23:27:05] 1599*2^670493-1 is not prime. Res64: EE7D227CF02A75DB Time : 648.0 sec. user=vaughan [2010-03-05 23:28:29] 1737*2^670493-1 is not prime. Res64: 5F06872423261D31 Time : 663.0 sec. user=vaughan [2010-03-05 23:28:32] 1939*2^670493-1 is not prime. Res64: A39F1F9FD8E9F638 Time : 664.0 sec. user=vaughan [2010-03-05 23:32:45] 1995*2^670493-1 is not prime. Res64: E36924BE2E0A67BD Time : 646.0 sec. user=vaughan [2010-03-05 23:37:53] 1421*2^670494-1 is not prime. Res64: 22E8FFF5D81F67C1 Time : 648.0 sec. user=vaughan [2010-03-05 23:39:32] 1545*2^670494-1 is not prime. Res64: D5056FA8BCB99F9B Time : 664.0 sec. user=vaughan [2010-03-05 23:39:35] 1563*2^670494-1 is not prime. Res64: 1BD61385CB687398 Time : 663.0 sec. user=vaughan [2010-03-05 23:43:30] 1575*2^670494-1 is not prime. Res64: 9231A31D3043432D Time : 645.0 sec. user=vaughan [2010-03-05 23:48:41] 1605*2^670494-1 is not prime. Res64: AFEBC1AE63E6C5B7 Time : 648.0 sec. user=vaughan [2010-03-05 23:50:35] 1785*2^670494-1 is not prime. Res64: 4BFCD35F634C0E1B Time : 664.0 sec. user=vaughan [2010-03-05 23:50:38] 1787*2^670494-1 is not prime. Res64: E223AD64D34FDCF9 Time : 663.0 sec. user=vaughan [2010-03-05 23:54:18] 1817*2^670494-1 is not prime. Res64: 8927ADB25502F379 Time : 648.0 sec. user=vaughan [2010-03-05 23:59:30] 1483*2^670495-1 is not prime. Res64: 5FFAB6FBE5FB7BC2 Time : 649.0 sec.