user=vaughan [2010-03-01 00:03:46] 1693*2^670303-1 is not prime. Res64: CA41147B8735A9A1 Time : 1069.0 sec. user=vaughan [2010-03-01 00:18:42] 1785*2^670303-1 is not prime. Res64: 1EFD32AAF165EBA1 Time : 1122.0 sec. user=vaughan [2010-03-01 00:20:33] 1743*2^670303-1 is not prime. Res64: 5F2C14FD874B6ADF Time : 1328.0 sec. user=vaughan [2010-03-01 00:21:34] 1791*2^670303-1 is not prime. Res64: CC0DCDB958B7E19E Time : 1068.0 sec. user=vaughan [2010-03-01 00:21:35] 1749*2^670303-1 is not prime. Res64: C726DEF3B1CF1722 Time : 1329.0 sec. user=vaughan [2010-03-01 00:37:32] 1795*2^670303-1 is not prime. Res64: F0804D1C7B8B9F58 Time : 1130.0 sec. user=vaughan [2010-03-01 00:39:23] 1861*2^670303-1 is not prime. Res64: 25AB95CF065348B8 Time : 1069.0 sec. user=vaughan [2010-03-01 00:44:30] 1849*2^670303-1 is not prime. Res64: 2FD3D8B38B411402 Time : 1438.0 sec. user=vaughan [2010-03-01 00:45:35] 1951*2^670303-1 is not prime. Res64: 3FEF40122BFD0007 Time : 1440.0 sec. user=vaughan [2010-03-01 00:55:58] 1959*2^670303-1 is not prime. Res64: 379E8FE454535FBD Time : 1107.0 sec. user=vaughan [2010-03-01 00:57:10] 1975*2^670303-1 is not prime. Res64: 4B96B4BFF8ED540F Time : 1068.0 sec. user=vaughan [2010-03-01 01:08:42] 1981*2^670303-1 is not prime. Res64: 9B4FB2FCD01877E4 Time : 1452.0 sec. user=vaughan [2010-03-01 01:09:23] 1983*2^670303-1 is not prime. Res64: F7D04B6B5AE57BA4 Time : 1429.0 sec. user=vaughan [2010-03-01 01:14:58] 1403*2^670304-1 is not prime. Res64: EF54B66FB0E2149C Time : 1068.0 sec. user=vaughan [2010-03-01 01:15:14] 1989*2^670303-1 is not prime. Res64: 00A050ECAC56F741 Time : 1156.0 sec. user=vaughan [2010-03-01 01:30:42] 1517*2^670304-1 is not prime. Res64: D7D8A90480BC26D5 Time : 1320.0 sec. user=vaughan [2010-03-01 01:31:16] 1559*2^670304-1 is not prime. Res64: 027755C706144BE7 Time : 1313.0 sec. user=vaughan [2010-03-01 01:32:46] 1793*2^670304-1 is not prime. Res64: C00631459BF6AAB3 Time : 1068.0 sec. user=vaughan [2010-03-01 01:36:05] 1889*2^670304-1 is not prime. Res64: EAEAE156ADB53D49 Time : 1251.0 sec. user=vaughan [2010-03-01 01:50:32] 1405*2^670305-1 is not prime. Res64: B1D80699385F36FA Time : 1067.0 sec. user=vaughan [2010-03-01 01:53:10] 1935*2^670304-1 is not prime. Res64: E98F35887F00F31F Time : 1349.0 sec. user=vaughan [2010-03-01 01:53:43] 1985*2^670304-1 is not prime. Res64: 1B7A63EB35738BEA Time : 1347.0 sec. user=vaughan [2010-03-01 01:54:08] 1449*2^670305-1 is not prime. Res64: 30F5EAC65AC6CE1C Time : 1083.0 sec. user=vaughan [2010-03-01 02:08:18] 1521*2^670305-1 is not prime. Res64: BC95E7AB7DBB4CE1 Time : 1066.0 sec. user=vaughan [2010-03-01 02:15:23] 1699*2^670305-1 is not prime. Res64: 3214D7BFE6471248 Time : 1275.0 sec. user=vaughan [2010-03-01 02:17:07] 1647*2^670305-1 is not prime. Res64: D252E2D5DDB09FCF Time : 1438.0 sec. user=vaughan [2010-03-01 02:17:48] 1669*2^670305-1 is not prime. Res64: E7079605B171236C Time : 1446.0 sec. user=vaughan [2010-03-01 02:26:04] 1717*2^670305-1 is not prime. Res64: 616368DBD098AE5C Time : 1066.0 sec. user=vaughan [2010-03-01 02:35:36] 1837*2^670305-1 is not prime. Res64: A47A86412433E01C Time : 1213.0 sec. user=vaughan [2010-03-01 02:42:31] 1911*2^670305-1 is not prime. Res64: BFE1BA2351233E94 Time : 1524.0 sec. user=vaughan [2010-03-01 02:43:09] 1401*2^670306-1 is not prime. Res64: 3BA9A198E4F6C2FD Time : 1521.0 sec. user=vaughan [2010-03-01 02:43:49] 1527*2^670306-1 is not prime. Res64: 00C25236289D70BE Time : 1065.0 sec. user=vaughan [2010-03-01 02:55:28] 1587*2^670306-1 is not prime. Res64: 7609DDD3333EDB90 Time : 1192.0 sec. user=vaughan [2010-03-01 03:01:35] 1641*2^670306-1 is not prime. Res64: A8D56C2B1E52CF9D Time : 1066.0 sec. user=vaughan [2010-03-01 03:04:57] 1595*2^670306-1 is not prime. Res64: A66216462AABCF69 Time : 1347.0 sec. user=vaughan [2010-03-01 03:05:24] 1613*2^670306-1 is not prime. Res64: 8633972AF7F9261B Time : 1335.0 sec. user=vaughan [2010-03-01 03:13:19] 1673*2^670306-1 is not prime. Res64: 40C696F77E19589D Time : 1072.0 sec. user=vaughan [2010-03-01 03:19:21] 1701*2^670306-1 is not prime. Res64: 32563E13E3D1091A Time : 1067.0 sec. user=vaughan [2010-03-01 03:31:07] 1703*2^670306-1 is not prime. Res64: 28F5795783ACBE99 Time : 1570.0 sec. user=vaughan [2010-03-01 03:31:34] 1767*2^670306-1 is not prime. Res64: 09BE117AB0FEF456 Time : 1570.0 sec. user=vaughan [2010-03-01 03:32:35] 1821*2^670306-1 is not prime. Res64: 78354E65FFBC097A Time : 1156.0 sec. user=vaughan [2010-03-01 03:37:08] 1827*2^670306-1 is not prime. Res64: C5132268378D87EB Time : 1067.0 sec. user=vaughan [2010-03-01 03:50:19] 1947*2^670306-1 is not prime. Res64: FAC7353CDA95E871 Time : 1064.0 sec. user=vaughan [2010-03-01 03:54:55] 1431*2^670307-1 is not prime. Res64: 34A74513519CF311 Time : 1067.0 sec. user=vaughan [2010-03-01 03:59:56] 1895*2^670306-1 is not prime. Res64: 5DB239D5DBC81DC2 Time : 1729.0 sec. user=vaughan [2010-03-01 04:00:18] 1937*2^670306-1 is not prime. Res64: 1B8D07A07F6E5271 Time : 1724.0 sec. user=vaughan [2010-03-01 04:08:49] 1593*2^670307-1 is not prime. Res64: F569D52616D892C7 Time : 1110.0 sec. user=vaughan [2010-03-01 04:12:40] 1719*2^670307-1 is not prime. Res64: 8FDDCFB0BAAC9E0A Time : 1066.0 sec. user=vaughan [2010-03-01 04:26:34] 1893*2^670307-1 is not prime. Res64: 630F98EE359A8972 Time : 1065.0 sec. user=vaughan [2010-03-01 04:28:08] 1743*2^670307-1 is not prime. Res64: 66E86845ACBCBB5C Time : 1692.0 sec. user=vaughan [2010-03-01 04:28:38] 1765*2^670307-1 is not prime. Res64: 2D80BDD4DCF4DA4D Time : 1700.0 sec. user=vaughan [2010-03-01 04:30:25] 1929*2^670307-1 is not prime. Res64: 4A4FD8169CCF97D8 Time : 1065.0 sec. user=vaughan [2010-03-01 04:44:18] 1993*2^670307-1 is not prime. Res64: 1411427FBDEDC0A7 Time : 1064.0 sec. user=vaughan [2010-03-01 04:48:09] 1517*2^670308-1 is not prime. Res64: 680F26CBF1721919 Time : 1065.0 sec. user=vaughan [2010-03-01 04:55:33] 1407*2^670308-1 is not prime. Res64: 937E679F838D73FF Time : 1645.0 sec. user=vaughan [2010-03-01 04:55:52] 1505*2^670308-1 is not prime. Res64: F234370897B0B7BA Time : 1634.0 sec. user=vaughan [2010-03-01 05:02:04] 1557*2^670308-1 is not prime. Res64: B2D0E61DD461CFB0 Time : 1066.0 sec. user=vaughan [2010-03-01 05:08:21] 1565*2^670308-1 is not prime. Res64: 5544FD73AA35AAA6 Time : 1212.0 sec. user=vaughan [2010-03-01 05:19:57] 1685*2^670308-1 is not prime. Res64: E7B53E522E64454D Time : 1073.0 sec. user=vaughan [2010-03-01 05:23:22] 1629*2^670308-1 is not prime. Res64: CB852C67C02A5F88 Time : 1669.0 sec. user=vaughan [2010-03-01 05:23:31] 1649*2^670308-1 is not prime. Res64: B8AA1E1B9862F11D Time : 1659.0 sec. user=vaughan [2010-03-01 05:26:10] 1727*2^670308-1 is not prime. Res64: F3F8F5A63F932ED1 Time : 1069.0 sec. user=vaughan [2010-03-01 05:38:17] 1773*2^670308-1 is not prime. Res64: 8EE3DD075461462C Time : 1102.0 sec. user=vaughan [2010-03-01 05:43:56] 1435*2^670309-1 is not prime. Res64: 2BC5AEFAA3EDADC2 Time : 1067.0 sec. user=vaughan [2010-03-01 05:48:12] 1401*2^670309-1 is not prime. Res64: 0A144D8FE82EF8F0 Time : 1491.0 sec. user=vaughan [2010-03-01 05:48:13] 1429*2^670309-1 is not prime. Res64: D96C760EC40A5E73 Time : 1482.0 sec. user=vaughan [2010-03-01 05:57:13] 1461*2^670309-1 is not prime. Res64: 25014CADBDCD275F Time : 797.0 sec. user=vaughan [2010-03-01 05:58:26] 1449*2^670309-1 is not prime. Res64: DDE508DC1B1A13CE Time : 1209.0 sec. user=vaughan [2010-03-01 06:11:26] 1945*2^670309-1 is not prime. Res64: F10FD1A96722E984 Time : 854.0 sec. user=vaughan [2010-03-01 06:15:48] 1581*2^670309-1 is not prime. Res64: CDD6AD42B7189F85 Time : 1657.0 sec. user=vaughan [2010-03-01 06:15:49] 1695*2^670309-1 is not prime. Res64: BA9EF0D447173C18 Time : 1656.0 sec. user=vaughan [2010-03-01 06:16:13] 1425*2^670310-1 is not prime. Res64: 55EB8EF4A2FB189F Time : 1067.0 sec. user=vaughan [2010-03-01 06:22:59] 1463*2^670310-1 is not prime. Res64: 134A8C22D48D6776 Time : 693.0 sec. user=vaughan [2010-03-01 06:34:28] 1623*2^670310-1 is not prime. Res64: 8C31F7D585D9CBE0 Time : 1095.0 sec. user=vaughan [2010-03-01 06:34:57] 1667*2^670310-1 is not prime. Res64: 9330707588BDC19B Time : 719.0 sec. user=vaughan [2010-03-01 06:43:40] 1467*2^670310-1 is not prime. Res64: 39A8EDCBA5E13B8D Time : 1672.0 sec. user=vaughan [2010-03-01 06:43:42] 1487*2^670310-1 is not prime. Res64: 7552209A9BD7AF05 Time : 1673.0 sec. user=vaughan [2010-03-01 06:47:03] 1775*2^670310-1 is not prime. Res64: C2773E0C271B2F47 Time : 726.0 sec. user=vaughan [2010-03-01 06:52:16] 1763*2^670310-1 is not prime. Res64: 0285D2F653EA0BFD Time : 1068.0 sec. user=vaughan [2010-03-01 07:00:26] 1901*2^670310-1 is not prime. Res64: CC2BA9FEAD2B0484 Time : 803.0 sec. user=vaughan [2010-03-01 07:10:52] 1911*2^670310-1 is not prime. Res64: 43560A44C5850C28 Time : 1116.0 sec. user=vaughan [2010-03-01 07:11:29] 1701*2^670309-1 is not prime. Res64: B1ABB55DFA8D133C Time : 663.0 sec. user=vaughan [2010-03-01 07:11:35] 1821*2^670310-1 is not prime. Res64: 79CA237D0E4C3540 Time : 1675.0 sec. user=vaughan [2010-03-01 07:11:36] 1835*2^670310-1 is not prime. Res64: 3E86984E77FD0784 Time : 1675.0 sec. user=vaughan [2010-03-01 07:26:21] 1771*2^670309-1 is not prime. Res64: 1332B672B8EBB203 Time : 893.0 sec. user=vaughan [2010-03-01 07:28:09] 1737*2^670309-1 is not prime. Res64: 042F29BA7743D50A Time : 1038.0 sec. user=vaughan [2010-03-01 07:33:14] 1797*2^670309-1 is not prime. Res64: 54B47CFD1A07C6CA Time : 1299.0 sec. user=vaughan [2010-03-01 07:33:18] 1821*2^670309-1 is not prime. Res64: 6FB4E739EDB9203C Time : 1302.0 sec. user=vaughan [2010-03-01 07:41:16] 1875*2^670309-1 is not prime. Res64: FB4C3A56E883D7C3 Time : 895.0 sec. user=vaughan [2010-03-01 07:42:33] 1977*2^670310-1 is not prime. Res64: 6DEA08806B630B2D Time : 864.0 sec. user=vaughan [2010-03-01 07:49:27] 1419*2^670311-1 is not prime. Res64: 109866E11F4A66ED Time : 973.0 sec. user=vaughan [2010-03-01 07:49:31] 1441*2^670311-1 is not prime. Res64: 24F6C6FC2194F561 Time : 974.0 sec. user=vaughan [2010-03-01 07:54:05] 1495*2^670311-1 is not prime. Res64: DCFFF980F5FDC786 Time : 769.0 sec. user=vaughan [2010-03-01 07:55:00] 1509*2^670311-1 is not prime. Res64: E6C1C95A49DAAD6A Time : 749.0 sec. user=vaughan [2010-03-01 08:04:06] 1551*2^670311-1 is not prime. Res64: DEDBE1A620EAD228 Time : 875.0 sec. user=vaughan [2010-03-01 08:04:06] 1545*2^670311-1 is not prime. Res64: B9B1504A6D82855E Time : 879.0 sec. user=vaughan [2010-03-01 08:06:55] 1593*2^670311-1 is not prime. Res64: B1BD8DE0781FCDEF Time : 770.0 sec. user=vaughan [2010-03-01 08:07:19] 1599*2^670311-1 is not prime. Res64: 3D22E2AB85698B98 Time : 739.0 sec. user=vaughan [2010-03-01 08:16:08] 1629*2^670311-1 is not prime. Res64: 390EFE0DE38F2AE9 Time : 722.0 sec. user=vaughan [2010-03-01 08:16:10] 1713*2^670311-1 is not prime. Res64: 430FCA760FDD1071 Time : 724.0 sec. user=vaughan [2010-03-01 08:17:53] 1725*2^670311-1 is not prime. Res64: E3A2A397681C0900 Time : 658.0 sec. user=vaughan [2010-03-01 08:18:07] 1749*2^670311-1 is not prime. Res64: 63B38A6FC930A23C Time : 649.0 sec. user=vaughan [2010-03-01 08:27:09] 1771*2^670311-1 is not prime. Res64: 8EBE7E10B1331BA4 Time : 661.0 sec. user=vaughan [2010-03-01 08:27:09] 1801*2^670311-1 is not prime. Res64: 72527579B9DA2AF4 Time : 659.0 sec. user=vaughan [2010-03-01 08:28:37] 1813*2^670311-1 is not prime. Res64: 8364915AECBB06F3 Time : 644.0 sec. user=vaughan [2010-03-01 08:28:50] 1815*2^670311-1 is not prime. Res64: 2A6EEB934E2D0A23 Time : 643.0 sec. user=vaughan [2010-03-01 08:38:10] 1873*2^670311-1 is not prime. Res64: 842EC465FB6AE2A3 Time : 662.0 sec. user=vaughan [2010-03-01 08:38:10] 1879*2^670311-1 is not prime. Res64: 3FA3DB3CBF75B846 Time : 661.0 sec. user=vaughan [2010-03-01 08:39:22] 1893*2^670311-1 is not prime. Res64: D93C3D28D8CF620F Time : 645.0 sec. user=vaughan [2010-03-01 08:39:34] 1921*2^670311-1 is not prime. Res64: 7AF8D31EF4BCB070 Time : 644.0 sec. user=vaughan [2010-03-01 08:49:10] 1407*2^670312-1 is not prime. Res64: FBD5BE812618183A Time : 661.0 sec. user=vaughan [2010-03-01 08:49:10] 1427*2^670312-1 is not prime. Res64: F0AE5B3932BB76D4 Time : 660.0 sec. user=vaughan [2010-03-01 08:50:05] 1515*2^670312-1 is not prime. Res64: 2E1877F2A3B37C71 Time : 644.0 sec. user=vaughan [2010-03-01 08:50:17] 1545*2^670312-1 is not prime. Res64: 94E53FE6C4F0675D Time : 643.0 sec. user=vaughan [2010-03-01 09:00:11] 1683*2^670312-1 is not prime. Res64: 843FF79C1C34EED0 Time : 661.0 sec. user=vaughan [2010-03-01 09:00:12] 1557*2^670312-1 is not prime. Res64: 35A7E82C668B098C Time : 662.0 sec. user=vaughan [2010-03-01 09:00:48] 1703*2^670312-1 is not prime. Res64: AF36B51BB256865A Time : 643.0 sec. user=vaughan [2010-03-01 09:00:59] 1707*2^670312-1 is not prime. Res64: 06F745DCD91937BE Time : 643.0 sec. user=vaughan [2010-03-01 09:11:12] 1805*2^670312-1 is not prime. Res64: 3606B34417D3DDD8 Time : 661.0 sec. user=vaughan [2010-03-01 09:11:13] 1949*2^670312-1 is not prime. Res64: D7F808B24B006B26 Time : 661.0 sec. user=vaughan [2010-03-01 09:11:31] 1851*2^670314-1 is not prime. Res64: E60774690F5D4D0D Time : 643.0 sec. user=vaughan [2010-03-01 09:11:41] 1881*2^670314-1 is not prime. Res64: 7D9280E6FD7DDB35 Time : 642.0 sec. user=vaughan [2010-03-01 09:22:12] 1911*2^670314-1 is not prime. Res64: 0C8CF92AF95C7175 Time : 661.0 sec. user=vaughan [2010-03-01 09:22:14] 1937*2^670314-1 is not prime. Res64: 32B80908DE7F872B Time : 661.0 sec. user=vaughan [2010-03-01 09:22:14] 1953*2^670314-1 is not prime. Res64: 7F48668C7522E35D Time : 643.0 sec. user=vaughan [2010-03-01 09:22:24] 1471*2^670315-1 is not prime. Res64: DD95AE528590DDFD Time : 643.0 sec. user=vaughan [2010-03-01 09:32:57] 1573*2^670315-1 is not prime. Res64: 856E34855B0F6313 Time : 643.0 sec. user=vaughan [2010-03-01 09:33:06] 1585*2^670315-1 is not prime. Res64: B8304A8D278A04F4 Time : 643.0 sec. user=vaughan [2010-03-01 09:33:12] 1525*2^670315-1 is not prime. Res64: 15C0E66B9F05CBCB Time : 660.0 sec. user=vaughan [2010-03-01 09:33:15] 1555*2^670315-1 is not prime. Res64: 0B1ADA36803BF07D Time : 661.0 sec. user=vaughan [2010-03-01 09:43:42] 1633*2^670315-1 is not prime. Res64: AF59447D94F6572C Time : 645.0 sec. user=vaughan [2010-03-01 09:43:51] 1645*2^670315-1 is not prime. Res64: 0226C31D37A23893 Time : 645.0 sec. user=vaughan [2010-03-01 09:44:13] 1765*2^670315-1 is not prime. Res64: DE5AC2AAD424CCB8 Time : 661.0 sec. user=vaughan [2010-03-01 09:44:15] 1785*2^670315-1 is not prime. Res64: 9FC6E5ACB45D1A10 Time : 660.0 sec. user=vaughan [2010-03-01 09:55:18] 1893*2^670315-1 is not prime. Res64: E1357A0B4EE58204 Time : 687.0 sec. user=vaughan [2010-03-01 09:55:46] 1809*2^670315-1 is not prime. Res64: 98C5A70D0413587C Time : 724.0 sec. user=vaughan [2010-03-01 09:57:07] 1905*2^670315-1 is not prime. Res64: 3E1355C3F47C1078 Time : 775.0 sec. user=vaughan [2010-03-01 09:57:10] 1921*2^670315-1 is not prime. Res64: 21E355754CA04DE1 Time : 775.0 sec. user=vaughan [2010-03-01 10:06:55] 1415*2^670316-1 is not prime. Res64: E806F7238887EBA4 Time : 697.0 sec. user=vaughan [2010-03-01 10:08:01] 1443*2^670316-1 is not prime. Res64: CE99E1EF314DC4FD Time : 736.0 sec. user=vaughan [2010-03-01 10:09:11] 1455*2^670316-1 is not prime. Res64: 0F18D0BA442E5F3F Time : 724.0 sec. user=vaughan [2010-03-01 10:09:15] 1505*2^670316-1 is not prime. Res64: 4B74ACC16372F7C9 Time : 726.0 sec. user=vaughan [2010-03-01 10:17:37] 1509*2^670316-1 is not prime. Res64: 0F8791914C61A22D Time : 643.0 sec. user=vaughan [2010-03-01 10:18:44] 1419*2^670313-1 is not prime. Res64: E3F7684F46188810 Time : 643.0 sec. user=vaughan [2010-03-01 10:20:11] 1431*2^670313-1 is not prime. Res64: 30D7D735BA0A6C99 Time : 660.0 sec. user=vaughan [2010-03-01 10:20:15] 1489*2^670313-1 is not prime. Res64: 45527CD2E71CB4B4 Time : 660.0 sec. user=vaughan [2010-03-01 10:28:21] 1501*2^670313-1 is not prime. Res64: E494B5452D6BC3F0 Time : 644.0 sec. user=vaughan [2010-03-01 10:31:08] 1837*2^670313-1 is not prime. Res64: A61D82E3FB25BC88 Time : 657.0 sec. user=vaughan [2010-03-01 10:31:12] 1869*2^670313-1 is not prime. Res64: 9296F40D5ED51B2A Time : 657.0 sec. user=vaughan [2010-03-01 10:33:01] 1785*2^670313-1 is not prime. Res64: C056F2B38855EB80 Time : 857.0 sec. user=vaughan [2010-03-01 10:39:03] 1881*2^670313-1 is not prime. Res64: 7A77B96C9F1156D6 Time : 642.0 sec. user=vaughan [2010-03-01 10:42:05] 1905*2^670313-1 is not prime. Res64: 4509122974BBAB9F Time : 657.0 sec. user=vaughan [2010-03-01 10:42:08] 1929*2^670313-1 is not prime. Res64: 1ED819D7F42D2329 Time : 656.0 sec. user=vaughan [2010-03-01 10:44:46] 1989*2^670313-1 is not prime. Res64: 3DAAE1BA36CEC979 Time : 644.0 sec. user=vaughan [2010-03-01 10:49:46] 1431*2^670314-1 is not prime. Res64: 3F6226D80574A6A4 Time : 643.0 sec. user=vaughan [2010-03-01 10:53:05] 1587*2^670314-1 is not prime. Res64: 4014226FD8CED62A Time : 661.0 sec. user=vaughan [2010-03-01 10:53:08] 1665*2^670314-1 is not prime. Res64: DC1C9BEDE4385F74 Time : 660.0 sec. user=vaughan [2010-03-01 10:55:29] 1677*2^670314-1 is not prime. Res64: CB192EC98C2F697E Time : 644.0 sec. user=vaughan [2010-03-01 11:00:30] 1685*2^670314-1 is not prime. Res64: D3D08E63960D8240 Time : 644.0 sec. user=vaughan [2010-03-01 11:04:05] 1527*2^670316-1 is not prime. Res64: 3A578C89FBBAED4E Time : 660.0 sec. user=vaughan [2010-03-01 11:04:09] 1575*2^670316-1 is not prime. Res64: B4B52B49CA218F1D Time : 661.0 sec. user=vaughan [2010-03-01 11:06:12] 1673*2^670316-1 is not prime. Res64: 3570C85F74A30745 Time : 643.0 sec. user=vaughan [2010-03-01 11:11:12] 1715*2^670316-1 is not prime. Res64: 48F0D2754BD3B859 Time : 643.0 sec. user=vaughan [2010-03-01 11:15:05] 1749*2^670316-1 is not prime. Res64: 7B8D5B7EC76A8ABF Time : 660.0 sec. user=vaughan [2010-03-01 11:15:09] 1833*2^670316-1 is not prime. Res64: D44B47A153DD9698 Time : 661.0 sec. user=vaughan [2010-03-01 11:16:56] 1947*2^670316-1 is not prime. Res64: 802376DC3ED5826D Time : 644.0 sec. user=vaughan [2010-03-01 11:21:56] 1949*2^670316-1 is not prime. Res64: 39244B5D63060A4B Time : 644.0 sec. user=vaughan [2010-03-01 11:26:04] 1461*2^670317-1 is not prime. Res64: 79611BF4CC42C2F7 Time : 659.0 sec. user=vaughan [2010-03-01 11:26:09] 1531*2^670317-1 is not prime. Res64: 8FBAF45A0DDE0D6F Time : 660.0 sec. user=vaughan [2010-03-01 11:27:39] 1561*2^670317-1 is not prime. Res64: D740FFDEAED3FA4B Time : 643.0 sec. user=vaughan [2010-03-01 11:32:38] 1587*2^670317-1 is not prime. Res64: 1529440F76B4989B Time : 642.0 sec. user=vaughan [2010-03-01 11:37:05] 1591*2^670317-1 is not prime. Res64: CF295ECF9DFD2AC9 Time : 661.0 sec. user=vaughan [2010-03-01 11:37:09] 1629*2^670317-1 is not prime. Res64: 40686694D7F225CF Time : 660.0 sec. user=vaughan [2010-03-01 11:38:23] 1671*2^670317-1 is not prime. Res64: 51CF30FC6904F215 Time : 644.0 sec. user=vaughan [2010-03-01 11:43:21] 1701*2^670317-1 is not prime. Res64: EC86909A6DBC50D3 Time : 643.0 sec. user=vaughan [2010-03-01 11:48:06] 1761*2^670317-1 is not prime. Res64: 6010991BD3A2AC08 Time : 662.0 sec. user=vaughan [2010-03-01 11:48:11] 1887*2^670317-1 is not prime. Res64: 601440DC2A1DD29B Time : 662.0 sec. user=vaughan [2010-03-01 11:49:05] 1939*2^670317-1 is not prime. Res64: 308B61F6A1DEABF1 Time : 643.0 sec. user=vaughan [2010-03-01 11:54:31] 1987*2^670317-1 is not prime. Res64: 4D10EE8C046B22B7 Time : 670.0 sec. user=vaughan [2010-03-01 12:02:08] 1413*2^670318-1 is not prime. Res64: 4451D2E11D3B23EA Time : 842.0 sec. user=vaughan [2010-03-01 12:02:11] 1455*2^670318-1 is not prime. Res64: F9031053B2690326 Time : 841.0 sec. user=vaughan [2010-03-01 12:02:38] 1713*2^670318-1 is not prime. Res64: 0D7506D1AE337EC9 Time : 813.0 sec. user=vaughan [2010-03-01 12:06:23] 1787*2^670318-1 is not prime. Res64: 6FF93B5554EAEC08 Time : 713.0 sec. user=vaughan [2010-03-01 12:13:10] 1815*2^670318-1 is not prime. Res64: 0FC0443CBDFDFC20 Time : 662.0 sec. user=vaughan [2010-03-01 12:13:12] 1877*2^670318-1 is not prime. Res64: 72264AE71761E42A Time : 661.0 sec. user=vaughan [2010-03-01 12:13:21] 1883*2^670318-1 is not prime. Res64: 8B31E489FF20572D Time : 643.0 sec. user=vaughan [2010-03-01 12:17:06] 1983*2^670318-1 is not prime. Res64: 331BC2AC69708786 Time : 643.0 sec. user=vaughan [2010-03-01 12:24:05] 1425*2^670319-1 is not prime. Res64: 560604FC6F213B1C Time : 644.0 sec. user=vaughan [2010-03-01 12:24:11] 1401*2^670319-1 is not prime. Res64: E18D0FCA670D96FF Time : 661.0 sec. user=vaughan [2010-03-01 12:24:12] 1411*2^670319-1 is not prime. Res64: 411911BE37F9BFB1 Time : 661.0 sec. user=vaughan [2010-03-01 12:27:48] 1485*2^670319-1 is not prime. Res64: E9FDD7BE26BDD995 Time : 642.0 sec. user=vaughan [2010-03-01 12:34:48] 1489*2^670319-1 is not prime. Res64: 761B279E236CA7FE Time : 644.0 sec. user=vaughan [2010-03-01 12:35:12] 1533*2^670319-1 is not prime. Res64: 748594132A632671 Time : 660.0 sec. user=vaughan [2010-03-01 12:35:12] 1495*2^670319-1 is not prime. Res64: 7C3F90E4F2F899BF Time : 661.0 sec. user=vaughan [2010-03-01 12:38:30] 1581*2^670319-1 is not prime. Res64: A1C7F42BCE28BADF Time : 643.0 sec. user=vaughan [2010-03-01 12:45:32] 1639*2^670319-1 is not prime. Res64: B2411C723380FC5B Time : 644.0 sec. user=vaughan [2010-03-01 12:46:12] 1749*2^670319-1 is not prime. Res64: 62676210BF593B9D Time : 660.0 sec. user=vaughan [2010-03-01 12:46:13] 1863*2^670319-1 is not prime. Res64: 1DD36A57BBFF8217 Time : 661.0 sec. user=vaughan [2010-03-01 12:49:12] 1909*2^670319-1 is not prime. Res64: 6D6F6082043CF474 Time : 642.0 sec. user=vaughan [2010-03-01 12:56:16] 1933*2^670319-1 is not prime. Res64: E4B5927F21691261 Time : 645.0 sec. user=vaughan [2010-03-01 12:57:12] 1935*2^670319-1 is not prime. Res64: 553D916D1D0F363D Time : 660.0 sec. user=vaughan [2010-03-01 12:57:15] 1439*2^670320-1 is not prime. Res64: 8CD35EB3FBF9ECEF Time : 662.0 sec. user=vaughan [2010-03-01 12:59:54] 1473*2^670320-1 is not prime. Res64: 024320858B9E6392 Time : 642.0 sec. user=vaughan [2010-03-01 13:07:00] 1505*2^670320-1 is not prime. Res64: F879537303020C0A Time : 644.0 sec. user=vaughan [2010-03-01 13:08:11] 1595*2^670320-1 is not prime. Res64: C566AE82A75526E3 Time : 660.0 sec. user=vaughan [2010-03-01 13:08:16] 1995*2^670320-1 is not prime. Res64: C175F9136092C6AF Time : 661.0 sec. user=vaughan [2010-03-01 13:10:37] 1997*2^670320-1 is not prime. Res64: 41B17CD18AF562B7 Time : 643.0 sec. user=vaughan [2010-03-01 13:17:42] 1405*2^670321-1 is not prime. Res64: 0EF7581555510CB7 Time : 643.0 sec. user=vaughan [2010-03-01 13:19:13] 1449*2^670321-1 is not prime. Res64: C530F0A8641A78C0 Time : 662.0 sec. user=vaughan [2010-03-01 13:19:17] 1477*2^670321-1 is not prime. Res64: 92FF7B72303FBC26 Time : 661.0 sec. user=vaughan [2010-03-01 13:21:19] 1519*2^670321-1 is not prime. Res64: 27AD845039D2D704 Time : 642.0 sec. user=vaughan [2010-03-01 13:28:26] 1585*2^670321-1 is not prime. Res64: CD9513E6979D872D Time : 644.0 sec. user=vaughan [2010-03-01 13:30:14] 1665*2^670321-1 is not prime. Res64: C107A69B6537749E Time : 662.0 sec. user=vaughan [2010-03-01 13:30:18] 1867*2^670321-1 is not prime. Res64: 9E9558A2E8708522 Time : 661.0 sec. user=vaughan [2010-03-01 13:32:01] 1899*2^670321-1 is not prime. Res64: 9268FFA13D150E50 Time : 642.0 sec. user=vaughan [2010-03-01 13:39:08] 1911*2^670321-1 is not prime. Res64: 731AD0DCCA314F44 Time : 642.0 sec. user=vaughan [2010-03-01 13:41:14] 1921*2^670321-1 is not prime. Res64: 2E2CCF0AF01D59CC Time : 660.0 sec. user=vaughan [2010-03-01 13:41:18] 1945*2^670321-1 is not prime. Res64: 17EA1DC1CDD184EB Time : 661.0 sec. user=vaughan [2010-03-01 13:42:42] 1951*2^670321-1 is not prime. Res64: D71779AFC63D790C Time : 641.0 sec. user=vaughan [2010-03-01 13:49:52] 1467*2^670322-1 is not prime. Res64: 548FF8D18350B333 Time : 644.0 sec. user=vaughan [2010-03-01 13:52:16] 1655*2^670322-1 is not prime. Res64: BE0A2DE107422457 Time : 662.0 sec. user=vaughan [2010-03-01 13:52:18] 1673*2^670322-1 is not prime. Res64: D5069F5DB3865183 Time : 660.0 sec. user=vaughan [2010-03-01 13:53:25] 1685*2^670322-1 is not prime. Res64: 43716AE33E03FB7E Time : 643.0 sec. user=vaughan [2010-03-01 14:00:35] 1695*2^670322-1 is not prime. Res64: 2CE5F54466C33641 Time : 643.0 sec. user=vaughan [2010-03-01 14:03:16] 1881*2^670322-1 is not prime. Res64: B4114D2310F7BF1E Time : 660.0 sec. user=vaughan [2010-03-01 14:03:19] 1887*2^670322-1 is not prime. Res64: D823CC484A7C5070 Time : 661.0 sec. user=vaughan [2010-03-01 14:04:08] 1911*2^670322-1 is not prime. Res64: 216B1BD1AD157D34 Time : 643.0 sec. user=vaughan [2010-03-01 14:11:19] 1923*2^670322-1 is not prime. Res64: 069A1F0CFEF69FC4 Time : 644.0 sec. user=vaughan [2010-03-01 14:14:18] 1995*2^670322-1 is not prime. Res64: 1D44797F93BA92FB Time : 662.0 sec. user=vaughan [2010-03-01 14:14:21] 1491*2^670323-1 is not prime. Res64: CF46EB79A81C2427 Time : 662.0 sec. user=vaughan [2010-03-01 14:14:52] 1593*2^670323-1 is not prime. Res64: 05788F3BFE5A5F43 Time : 644.0 sec. user=vaughan [2010-03-01 14:22:03] 1621*2^670323-1 is not prime. Res64: CB15487A6D9C5C0C Time : 645.0 sec. user=vaughan [2010-03-01 14:25:20] 1633*2^670323-1 is not prime. Res64: 7B0A32A125011C58 Time : 662.0 sec. user=vaughan [2010-03-01 14:25:21] 1645*2^670323-1 is not prime. Res64: BDB67704308C4E9A Time : 660.0 sec. user=vaughan [2010-03-01 14:25:35] 1725*2^670323-1 is not prime. Res64: E201D247371B8E72 Time : 643.0 sec. user=vaughan [2010-03-01 14:32:46] 1861*2^670323-1 is not prime. Res64: 1E419B01913518A5 Time : 643.0 sec. user=vaughan [2010-03-01 14:36:16] 1415*2^670324-1 is not prime. Res64: 1002F1509147F570 Time : 641.0 sec. user=vaughan [2010-03-01 14:36:20] 1959*2^670323-1 is not prime. Res64: C53852D2AB27E2E0 Time : 660.0 sec. user=vaughan [2010-03-01 14:36:20] 1875*2^670323-1 is not prime. Res64: 2DF16A8EEB8B2419 Time : 660.0 sec. user=vaughan [2010-03-01 14:43:30] 1547*2^670324-1 is not prime. Res64: 73E0BE62A16A5FB5 Time : 644.0 sec. user=vaughan [2010-03-01 14:46:59] 1553*2^670324-1 is not prime. Res64: BFDE3DF2CBA003B5 Time : 643.0 sec. user=vaughan [2010-03-01 14:47:20] 1589*2^670324-1 is not prime. Res64: B3DA7DD8CA9F6ED3 Time : 660.0 sec. user=vaughan [2010-03-01 14:47:20] 1605*2^670324-1 is not prime. Res64: A025C188B71BD6D5 Time : 660.0 sec. user=vaughan [2010-03-01 14:54:14] 1679*2^670324-1 is not prime. Res64: 1B02C1517B4147FD Time : 644.0 sec. user=vaughan [2010-03-01 14:57:41] 1713*2^670324-1 is not prime. Res64: D5C6091ED1766F11 Time : 643.0 sec. user=vaughan [2010-03-01 14:58:19] 1853*2^670324-1 is not prime. Res64: 544A965936BFA896 Time : 659.0 sec. user=vaughan [2010-03-01 14:58:21] 1917*2^670324-1 is not prime. Res64: BCE68F39768A52C0 Time : 661.0 sec. user=vaughan [2010-03-01 15:04:59] 1935*2^670324-1 is not prime. Res64: CE4370D875F5AF6F Time : 645.0 sec. user=vaughan [2010-03-01 15:08:25] 1537*2^670325-1 is not prime. Res64: 2C2A670540D8DA42 Time : 644.0 sec. user=vaughan [2010-03-01 15:09:19] 1581*2^670325-1 is not prime. Res64: BDC05C55DD46BE9F Time : 660.0 sec. user=vaughan [2010-03-01 15:09:21] 1645*2^670325-1 is not prime. Res64: 7A8FFC10BAE92BD1 Time : 661.0 sec. user=vaughan [2010-03-01 15:15:43] 1669*2^670325-1 is not prime. Res64: AA0859EF9AD71BA3 Time : 645.0 sec. user=vaughan [2010-03-01 15:19:07] 1777*2^670325-1 is not prime. Res64: 37442480FA43865A Time : 642.0 sec. user=vaughan [2010-03-01 15:20:21] 1819*2^670325-1 is not prime. Res64: E3A7D46AB7F5B17A Time : 663.0 sec. user=vaughan [2010-03-01 15:20:23] 1839*2^670325-1 is not prime. Res64: B7341480F57F22C9 Time : 662.0 sec. user=vaughan [2010-03-01 15:26:27] 1849*2^670325-1 is not prime. Res64: 5C11F4DBE22B3B20 Time : 644.0 sec. user=vaughan [2010-03-01 15:29:49] 1897*2^670325-1 is not prime. Res64: 5B91149635AA604E Time : 642.0 sec. user=vaughan [2010-03-01 15:31:21] 1905*2^670325-1 is not prime. Res64: EE880C7A6762092C Time : 660.0 sec. user=vaughan [2010-03-01 15:31:23] 1915*2^670325-1 is not prime. Res64: 693F83AD92D3892B Time : 660.0 sec. user=vaughan [2010-03-01 15:37:10] 1951*2^670325-1 is not prime. Res64: FEE2923BCCDFB5B1 Time : 644.0 sec. user=vaughan [2010-03-01 15:40:30] 1999*2^670325-1 is not prime. Res64: 544CC6371B9DFE67 Time : 642.0 sec. user=vaughan [2010-03-01 15:42:21] 1431*2^670326-1 is not prime. Res64: 88C9B1E49B1E1632 Time : 660.0 sec. user=vaughan [2010-03-01 15:42:25] 1487*2^670326-1 is not prime. Res64: C88DEE913243EE84 Time : 662.0 sec. user=vaughan [2010-03-01 15:47:55] 1685*2^670326-1 is not prime. Res64: 1D7FD72AF969F9A9 Time : 645.0 sec. user=vaughan [2010-03-01 15:51:12] 1691*2^670326-1 is not prime. Res64: 35ECF30B5CF64C05 Time : 642.0 sec. user=vaughan [2010-03-01 15:53:21] 1697*2^670326-1 is not prime. Res64: 88BD046827075639 Time : 660.0 sec. user=vaughan [2010-03-01 15:53:24] 1725*2^670326-1 is not prime. Res64: 177F5CBBB08499AE Time : 660.0 sec. user=vaughan [2010-03-01 15:58:38] 1731*2^670326-1 is not prime. Res64: 89BF828FCF241D7E Time : 644.0 sec. user=vaughan [2010-03-01 16:01:55] 1763*2^670326-1 is not prime. Res64: 0765C3F522AE975D Time : 643.0 sec. user=vaughan [2010-03-01 16:04:22] 1775*2^670326-1 is not prime. Res64: B2CD61E88048245F Time : 661.0 sec. user=vaughan [2010-03-01 16:04:24] 1883*2^670326-1 is not prime. Res64: 8F8D311050BB7400 Time : 660.0 sec. user=vaughan [2010-03-01 16:09:22] 1887*2^670326-1 is not prime. Res64: E4617A4ED727142B Time : 644.0 sec. user=vaughan [2010-03-01 16:12:36] 1893*2^670326-1 is not prime. Res64: A6C55F050E715C24 Time : 642.0 sec. user=vaughan [2010-03-01 16:15:21] 1943*2^670326-1 is not prime. Res64: 2D1DC5F831F76662 Time : 659.0 sec. user=vaughan [2010-03-01 16:15:25] 1971*2^670326-1 is not prime. Res64: AFCBBCB451379CDA Time : 661.0 sec. user=vaughan [2010-03-01 16:20:07] 1973*2^670326-1 is not prime. Res64: 7FD6E042EE85DDC9 Time : 645.0 sec. user=vaughan [2010-03-01 16:23:18] 1429*2^670327-1 is not prime. Res64: C54E6524D9FFD877 Time : 642.0 sec. user=vaughan [2010-03-01 16:26:22] 1441*2^670327-1 is not prime. Res64: D2CB2E1626AE4204 Time : 661.0 sec. user=vaughan [2010-03-01 16:26:26] 1503*2^670327-1 is not prime. Res64: 27870A5B836FEF83 Time : 661.0 sec. user=vaughan [2010-03-01 16:30:51] 1513*2^670327-1 is not prime. Res64: C245AC0F6381A40A Time : 644.0 sec. user=vaughan [2010-03-01 16:33:59] 1521*2^670327-1 is not prime. Res64: 0445B3BB12298678 Time : 642.0 sec. user=vaughan [2010-03-01 16:37:22] 1555*2^670327-1 is not prime. Res64: F8E41D530321BA14 Time : 661.0 sec. user=vaughan [2010-03-01 16:37:26] 1639*2^670327-1 is not prime. Res64: 3C593D78D9EB7ABC Time : 661.0 sec. user=vaughan [2010-03-01 16:41:35] 1731*2^670327-1 is not prime. Res64: B5A0184DF424C3C9 Time : 644.0 sec. user=vaughan [2010-03-01 16:44:41] 1833*2^670327-1 is not prime. Res64: 6FE19B2B7CEC4886 Time : 642.0 sec. user=vaughan [2010-03-01 16:48:28] 1935*2^670327-1 is not prime. Res64: E05BA56101B80F46 Time : 666.0 sec. user=vaughan [2010-03-01 16:48:33] 1413*2^670328-1 is not prime. Res64: 0C21724CF35AA936 Time : 667.0 sec. user=vaughan [2010-03-01 16:52:17] 1503*2^670328-1 is not prime. Res64: 41841222B6F3ECD5 Time : 642.0 sec. user=vaughan [2010-03-01 16:55:24] 1547*2^670328-1 is not prime. Res64: BED486CF410E433A Time : 643.0 sec. user=vaughan [2010-03-01 16:59:28] 1623*2^670328-1 is not prime. Res64: 5FE41C5033B5E5E3 Time : 662.0 sec. user=vaughan [2010-03-01 16:59:35] 1733*2^670328-1 is not prime. Res64: 60B8DD38597CAFA4 Time : 663.0 sec. user=vaughan [2010-03-01 17:03:01] 1839*2^670328-1 is not prime. Res64: 338DF456C1E96A2A Time : 644.0 sec. user=vaughan [2010-03-01 17:06:06] 1845*2^670328-1 is not prime. Res64: 8A2474C873324F4D Time : 643.0 sec. user=vaughan [2010-03-01 17:10:29] 1859*2^670328-1 is not prime. Res64: 32A68812CDEF25A3 Time : 661.0 sec. user=vaughan [2010-03-01 17:10:35] 1959*2^670328-1 is not prime. Res64: 51063022E15E0DF8 Time : 661.0 sec. user=vaughan [2010-03-01 17:13:45] 1467*2^670329-1 is not prime. Res64: 609D73B165ABD903 Time : 644.0 sec. user=vaughan [2010-03-01 17:16:49] 1549*2^670329-1 is not prime. Res64: 5DD325A644EDF439 Time : 643.0 sec. user=vaughan [2010-03-01 17:21:31] 1585*2^670329-1 is not prime. Res64: B48E7BB05E21AE19 Time : 662.0 sec. user=vaughan [2010-03-01 17:21:35] 1599*2^670329-1 is not prime. Res64: 327CC7A0504335C0 Time : 660.0 sec. user=vaughan [2010-03-01 17:24:31] 1701*2^670329-1 is not prime. Res64: 279F52B892E64C42 Time : 646.0 sec. user=vaughan [2010-03-01 17:27:49] 1759*2^670329-1 is not prime. Res64: B650DC5B7EF13574 Time : 660.0 sec. user=vaughan [2010-03-01 17:32:40] 1771*2^670329-1 is not prime. Res64: A09C72137F104150 Time : 670.0 sec. user=vaughan [2010-03-01 17:32:44] 1855*2^670329-1 is not prime. Res64: 9D8D765CDF539D6C Time : 669.0 sec. user=vaughan [2010-03-01 17:35:16] 1869*2^670329-1 is not prime. Res64: 62F20F2B5AF6C517 Time : 646.0 sec. user=vaughan [2010-03-01 17:38:32] 1909*2^670329-1 is not prime. Res64: D69822B195DFEA4B Time : 644.0 sec. user=vaughan [2010-03-01 17:43:40] 1445*2^670330-1 is not prime. Res64: 162E22C0270C704B Time : 660.0 sec. user=vaughan [2010-03-01 17:43:45] 1503*2^670330-1 is not prime. Res64: FD9904CD78B05296 Time : 661.0 sec. user=vaughan [2010-03-01 17:45:59] 1545*2^670330-1 is not prime. Res64: 8EF0F2C9F0480DF9 Time : 643.0 sec. user=vaughan [2010-03-01 17:49:15] 1575*2^670330-1 is not prime. Res64: CB8CBBF842FDF1D1 Time : 644.0 sec. user=vaughan [2010-03-01 17:54:40] 1773*2^670330-1 is not prime. Res64: 44E7D93905275343 Time : 661.0 sec. user=vaughan [2010-03-01 17:54:46] 1791*2^670330-1 is not prime. Res64: AC0C5E0479957F7E Time : 661.0 sec. user=vaughan [2010-03-01 17:56:43] 1793*2^670330-1 is not prime. Res64: 6118A4BE0C064FC0 Time : 645.0 sec. user=vaughan [2010-03-01 17:59:59] 1841*2^670330-1 is not prime. Res64: BA7FD4892974FF18 Time : 644.0 sec. user=vaughan [2010-03-01 18:05:41] 1857*2^670330-1 is not prime. Res64: 7F1546FFDA1B4347 Time : 661.0 sec. user=vaughan [2010-03-01 18:05:46] 1881*2^670330-1 is not prime. Res64: 5C5309BFBA6C0C34 Time : 660.0 sec. user=vaughan [2010-03-01 18:07:25] 1953*2^670330-1 is not prime. Res64: E3D1B3DAF12AD653 Time : 642.0 sec. user=vaughan [2010-03-01 18:10:42] 1489*2^670331-1 is not prime. Res64: 876949378A7EA4F3 Time : 643.0 sec. user=vaughan [2010-03-01 18:16:40] 1509*2^670331-1 is not prime. Res64: ABC57E263747C986 Time : 660.0 sec. user=vaughan [2010-03-01 18:16:46] 1531*2^670331-1 is not prime. Res64: E64CA95AD529FB24 Time : 660.0 sec. user=vaughan [2010-03-01 18:18:09] 1735*2^670331-1 is not prime. Res64: 3C324BB9F537478B Time : 644.0 sec. user=vaughan [2010-03-01 18:21:25] 1785*2^670331-1 is not prime. Res64: 2D8B0890895BEE81 Time : 643.0 sec. user=vaughan [2010-03-01 18:27:41] 1905*2^670331-1 is not prime. Res64: 76356058CC959AD4 Time : 661.0 sec. user=vaughan [2010-03-01 18:27:46] 1517*2^670332-1 is not prime. Res64: 15B868A9EC98699B Time : 661.0 sec. user=vaughan [2010-03-01 18:28:51] 1539*2^670332-1 is not prime. Res64: 3F65DEE8BDECEA03 Time : 643.0 sec. user=vaughan [2010-03-01 18:32:08] 1593*2^670332-1 is not prime. Res64: 9248D8947504C048 Time : 643.0 sec. user=vaughan [2010-03-01 18:38:40] 1629*2^670332-1 is not prime. Res64: 2F84710911AE2DE1 Time : 660.0 sec. user=vaughan [2010-03-01 18:38:46] 1677*2^670332-1 is not prime. Res64: 5EB75D68871A82C8 Time : 660.0 sec. user=vaughan [2010-03-01 18:39:35] 1757*2^670332-1 is not prime. Res64: 4AC76A83062E5C65 Time : 644.0 sec. user=vaughan [2010-03-01 18:42:50] 1827*2^670332-1 is not prime. Res64: F7527B26E9B103B4 Time : 642.0 sec. user=vaughan [2010-03-01 18:49:40] 1893*2^670332-1 is not prime. Res64: A7823B72644B536D Time : 660.0 sec. user=vaughan [2010-03-01 18:49:46] 1959*2^670332-1 is not prime. Res64: AA8CAD356C206FAF Time : 660.0 sec. user=vaughan [2010-03-01 18:50:18] 1995*2^670332-1 is not prime. Res64: 0EA64DF752637BA7 Time : 643.0 sec. user=vaughan [2010-03-01 18:53:33] 1429*2^670333-1 is not prime. Res64: 6E1BD69F22014B35 Time : 643.0 sec. user=vaughan [2010-03-01 19:00:39] 1431*2^670333-1 is not prime. Res64: 7D2448AABD0384FB Time : 660.0 sec. user=vaughan [2010-03-01 19:00:45] 1519*2^670333-1 is not prime. Res64: 360D20AFC0EC4849 Time : 660.0 sec. user=vaughan [2010-03-01 19:01:01] 1545*2^670333-1 is not prime. Res64: 62E105D1D82DD411 Time : 644.0 sec. user=vaughan [2010-03-01 19:05:48] 1611*2^670333-1 is not prime. Res64: 386A277658553CBD Time : 736.0 sec. user=vaughan [2010-03-01 19:15:17] 1777*2^670333-1 is not prime. Res64: 05E2C7F8595FB9E6 Time : 856.0 sec. user=vaughan [2010-03-01 19:16:04] 1687*2^670333-1 is not prime. Res64: 48A00940CC077569 Time : 925.0 sec. user=vaughan [2010-03-01 19:16:12] 1695*2^670333-1 is not prime. Res64: 1977DB7C750A99AE Time : 927.0 sec. user=vaughan [2010-03-01 19:18:10] 1917*2^670333-1 is not prime. Res64: 5B30707E3218CCF7 Time : 742.0 sec. user=vaughan [2010-03-01 19:26:01] 1981*2^670333-1 is not prime. Res64: E200C65D8212292A Time : 644.0 sec. user=vaughan [2010-03-01 19:27:03] 1995*2^670333-1 is not prime. Res64: FF6429C44EF1B28B Time : 659.0 sec. user=vaughan [2010-03-01 19:27:11] 1431*2^670334-1 is not prime. Res64: D0FDCAF095948796 Time : 659.0 sec. user=vaughan [2010-03-01 19:28:53] 1457*2^670334-1 is not prime. Res64: 73E45601E3D3309A Time : 643.0 sec. user=vaughan [2010-03-01 19:36:45] 1485*2^670334-1 is not prime. Res64: 0D9207600D879AAB Time : 644.0 sec. user=vaughan [2010-03-01 19:38:02] 1511*2^670334-1 is not prime. Res64: 6EBDBDAA24FC0288 Time : 659.0 sec. user=vaughan [2010-03-01 19:38:10] 1541*2^670334-1 is not prime. Res64: 436D8C0BF0B9244C Time : 659.0 sec. user=vaughan [2010-03-01 19:39:37] 1671*2^670334-1 is not prime. Res64: 245687004320C942 Time : 644.0 sec. user=vaughan [2010-03-01 19:47:29] 1677*2^670334-1 is not prime. Res64: C82D32D6C770AA75 Time : 644.0 sec. user=vaughan [2010-03-01 19:49:01] 1715*2^670334-1 is not prime. Res64: CCBB7CF298C54D01 Time : 659.0 sec. user=vaughan [2010-03-01 19:49:09] 1757*2^670334-1 is not prime. Res64: A5852AA94626F2F2 Time : 660.0 sec. user=vaughan [2010-03-01 19:50:21] 1785*2^670334-1 is not prime. Res64: 2D29699F9CD7DB13 Time : 644.0 sec. user=vaughan [2010-03-01 19:58:13] 1833*2^670334-1 is not prime. Res64: E742A916C8A1EFF5 Time : 644.0 sec. user=vaughan [2010-03-01 19:59:59] 1905*2^670334-1 is not prime. Res64: 5E942455E9C375E3 Time : 659.0 sec. user=vaughan [2010-03-01 20:00:08] 1419*2^670335-1 is not prime. Res64: 98803E52FE94FD78 Time : 659.0 sec. user=vaughan [2010-03-01 20:01:04] 1431*2^670335-1 is not prime. Res64: 698755B06EC5D0AC Time : 643.0 sec. user=vaughan [2010-03-01 20:08:58] 1543*2^670335-1 is not prime. Res64: C03640304236D9C3 Time : 645.0 sec. user=vaughan [2010-03-01 20:10:59] 1593*2^670335-1 is not prime. Res64: A5D52E0211B7777B Time : 660.0 sec. user=vaughan [2010-03-01 20:11:08] 1621*2^670335-1 is not prime. Res64: 6121CE0051DD1E2E Time : 660.0 sec. user=vaughan [2010-03-01 20:11:47] 1735*2^670335-1 is not prime. Res64: 689035779EA80AEA Time : 643.0 sec. user=vaughan [2010-03-01 20:19:41] 1789*2^670335-1 is not prime. Res64: 1BB07F0F811F15A3 Time : 643.0 sec. user=vaughan [2010-03-01 20:21:58] 1831*2^670335-1 is not prime. Res64: CE39F24EE2AB3B8D Time : 660.0 sec. user=vaughan [2010-03-01 20:22:08] 1843*2^670335-1 is not prime. Res64: 557C0C45BA3D12BB Time : 661.0 sec. user=vaughan [2010-03-01 20:22:29] 1885*2^670335-1 is not prime. Res64: 28ABF30A6AD0EEA4 Time : 642.0 sec. user=vaughan [2010-03-01 20:30:30] 1437*2^670336-1 is not prime. Res64: D336E67FF6C84F01 Time : 649.0 sec. user=vaughan [2010-03-01 20:32:57] 1443*2^670336-1 is not prime. Res64: 2D9B7A0D7B3F57FA Time : 659.0 sec. user=vaughan [2010-03-01 20:33:06] 1455*2^670336-1 is not prime. Res64: EA3294B5C4A6BF04 Time : 658.0 sec. user=vaughan [2010-03-01 20:33:12] 1617*2^670336-1 is not prime. Res64: 39E8693439F77A24 Time : 643.0 sec. user=vaughan [2010-03-01 20:41:14] 1637*2^670336-1 is not prime. Res64: 5F0E7217E48F1CF7 Time : 644.0 sec. user=vaughan [2010-03-01 20:43:55] 1773*2^670336-1 is not prime. Res64: 3910BE67A9953BC5 Time : 644.0 sec. user=vaughan [2010-03-01 20:43:56] 1665*2^670336-1 is not prime. Res64: C03DCABE9D2EE447 Time : 659.0 sec. user=vaughan [2010-03-01 20:44:05] 1685*2^670336-1 is not prime. Res64: 24F8399912CE10A2 Time : 659.0 sec. user=vaughan [2010-03-01 20:51:58] 1869*2^670336-1 is not prime. Res64: 5387B8610A145EDE Time : 644.0 sec. user=vaughan [2010-03-01 20:54:38] 1877*2^670336-1 is not prime. Res64: D71B49EA0F5CE6CD Time : 644.0 sec. user=vaughan [2010-03-01 20:54:57] 1965*2^670336-1 is not prime. Res64: 0E8A6F9D256B7A6E Time : 661.0 sec. user=vaughan [2010-03-01 20:55:05] 1967*2^670336-1 is not prime. Res64: E47ACEFC94FE4BD4 Time : 660.0 sec. user=vaughan [2010-03-01 21:02:41] 1995*2^670336-1 is not prime. Res64: 38912D19B7099C46 Time : 643.0 sec. user=vaughan [2010-03-01 21:05:22] 1407*2^670337-1 is not prime. Res64: 2C91114FA658E409 Time : 644.0 sec. user=vaughan [2010-03-01 21:05:56] 1417*2^670337-1 is not prime. Res64: 532CEE9B50C4580A Time : 660.0 sec. user=vaughan [2010-03-01 21:06:04] 1491*2^670337-1 is not prime. Res64: BD1CF44D9BF1531C Time : 659.0 sec. user=vaughan [2010-03-01 21:13:26] 1495*2^670337-1 is not prime. Res64: 75BABCAB6514F501 Time : 645.0 sec. user=vaughan [2010-03-01 21:16:05] 1551*2^670337-1 is not prime. Res64: 54E2FF93FD7B6A81 Time : 644.0 sec. user=vaughan [2010-03-01 21:16:55] 1767*2^670337-1 is not prime. Res64: 0E0D53BC0443F233 Time : 659.0 sec. user=vaughan [2010-03-01 21:17:04] 1881*2^670337-1 is not prime. Res64: BF3EFF4077BA3D50 Time : 660.0 sec. user=vaughan [2010-03-01 21:24:10] 1915*2^670337-1 is not prime. Res64: 9D3D8647B052B2E9 Time : 644.0 sec. user=vaughan [2010-03-01 21:26:48] 1945*2^670337-1 is not prime. Res64: 0D59023060CFB14D Time : 644.0 sec. user=vaughan [2010-03-01 21:27:55] 1503*2^670338-1 is not prime. Res64: C3C022FF06773EB9 Time : 660.0 sec. user=vaughan [2010-03-01 21:28:03] 1563*2^670338-1 is not prime. Res64: 45BB84C04DD6D7CF Time : 660.0 sec. user=vaughan [2010-03-01 21:34:53] 1595*2^670338-1 is not prime. Res64: C9E051F725DB01F4 Time : 643.0 sec. user=vaughan [2010-03-01 21:37:30] 1613*2^670338-1 is not prime. Res64: B08656B9889DFF33 Time : 643.0 sec. user=vaughan [2010-03-01 21:38:58] 1623*2^670338-1 is not prime. Res64: 8FBD484F27C198B6 Time : 663.0 sec. user=vaughan [2010-03-01 21:39:04] 1721*2^670338-1 is not prime. Res64: 3253B74906E9A58A Time : 661.0 sec. user=vaughan [2010-03-01 21:45:38] 1811*2^670338-1 is not prime. Res64: 41802DC9E2CE31CD Time : 645.0 sec. user=vaughan [2010-03-01 21:48:14] 1817*2^670338-1 is not prime. Res64: 0DEAFEC48CEA2642 Time : 644.0 sec. user=vaughan [2010-03-01 21:49:57] 1941*2^670338-1 is not prime. Res64: B438ABBC284FC422 Time : 660.0 sec. user=vaughan [2010-03-01 21:50:04] 1479*2^670339-1 is not prime. Res64: 38729E819B94DB89 Time : 660.0 sec. user=vaughan [2010-03-01 21:56:22] 1485*2^670339-1 is not prime. Res64: 44028EE289A014AE Time : 644.0 sec. user=vaughan [2010-03-01 21:58:57] 1563*2^670339-1 is not prime. Res64: 119B31D25A569D68 Time : 643.0 sec. user=vaughan [2010-03-01 22:00:57] 1569*2^670339-1 is not prime. Res64: 05D2E68BC7B90644 Time : 660.0 sec. user=vaughan [2010-03-01 22:01:06] 1675*2^670339-1 is not prime. Res64: 5D4ABD3F3AF0183C Time : 663.0 sec. user=vaughan [2010-03-01 22:07:27] 1821*2^670339-1 is not prime. Res64: 576B81F6EE1D4395 Time : 666.0 sec. user=vaughan [2010-03-01 22:10:15] 1923*2^670339-1 is not prime. Res64: DF52A4042363B943 Time : 678.0 sec. user=vaughan [2010-03-01 22:13:19] 1951*2^670339-1 is not prime. Res64: CB4CF362460151AE Time : 742.0 sec. user=vaughan [2010-03-01 22:13:34] 1959*2^670339-1 is not prime. Res64: 775C2226A2B7B4DC Time : 748.0 sec. user=vaughan [2010-03-01 22:19:17] 1975*2^670339-1 is not prime. Res64: BD2AA501DB91823F Time : 711.0 sec. user=vaughan [2010-03-01 22:22:07] 1467*2^670340-1 is not prime. Res64: CE761DF14C1514C2 Time : 712.0 sec. user=vaughan [2010-03-01 22:26:27] 1557*2^670340-1 is not prime. Res64: F2E99A30FAF34D88 Time : 788.0 sec. user=vaughan [2010-03-01 22:26:53] 1575*2^670340-1 is not prime. Res64: 2368B1539143C3E1 Time : 800.0 sec. user=vaughan [2010-03-01 22:31:02] 1643*2^670340-1 is not prime. Res64: B349C97DE26E16C4 Time : 706.0 sec. user=vaughan [2010-03-01 22:33:57] 1649*2^670340-1 is not prime. Res64: BFBA9D88F62B4CFB Time : 711.0 sec. user=vaughan [2010-03-01 22:39:36] 1817*2^670340-1 is not prime. Res64: 2975F0F281ACF85D Time : 789.0 sec. user=vaughan [2010-03-01 22:40:07] 1853*2^670340-1 is not prime. Res64: 382F73F4B307ED3D Time : 795.0 sec. user=vaughan [2010-03-01 22:42:53] 1863*2^670340-1 is not prime. Res64: 3C7BE4A6540BE900 Time : 711.0 sec. user=vaughan [2010-03-01 22:45:56] 1455*2^670341-1 is not prime. Res64: C7CEF4FBF11AC28B Time : 719.0 sec. user=vaughan [2010-03-01 22:52:38] 1539*2^670341-1 is not prime. Res64: 3C25A0C3C0E56557 Time : 782.0 sec. user=vaughan [2010-03-01 22:53:10] 1567*2^670341-1 is not prime. Res64: 8FEED1E1168B4FAD Time : 784.0 sec. user=vaughan [2010-03-01 22:54:39] 1795*2^670341-1 is not prime. Res64: DD2A81834D1B9287 Time : 706.0 sec. user=vaughan [2010-03-01 22:57:42] 1851*2^670341-1 is not prime. Res64: EDD40CDDA187075B Time : 707.0 sec. user=vaughan [2010-03-01 23:05:56] 1899*2^670341-1 is not prime. Res64: F550A3F641231CE0 Time : 799.0 sec. user=vaughan [2010-03-01 23:06:32] 1957*2^670341-1 is not prime. Res64: 82B0A95AD653811C Time : 802.0 sec. user=vaughan [2010-03-01 23:06:34] 1959*2^670341-1 is not prime. Res64: 860A1973BC454FCF Time : 716.0 sec. user=vaughan [2010-03-01 23:09:26] 1987*2^670341-1 is not prime. Res64: D30BE8F34CD78396 Time : 704.0 sec. user=vaughan [2010-03-01 23:18:11] 1623*2^670342-1 is not prime. Res64: 4CF10F0FB527F575 Time : 697.0 sec. user=vaughan [2010-03-01 23:19:01] 1457*2^670342-1 is not prime. Res64: FFCA80E135C6BD38 Time : 785.0 sec. user=vaughan [2010-03-01 23:19:37] 1553*2^670342-1 is not prime. Res64: D3384B5EB0C45ED2 Time : 785.0 sec. user=vaughan [2010-03-01 23:21:04] 1647*2^670342-1 is not prime. Res64: 6255C92577D6035A Time : 698.0 sec. user=vaughan [2010-03-01 23:29:43] 1751*2^670342-1 is not prime. Res64: 367959508589D678 Time : 692.0 sec. user=vaughan [2010-03-01 23:32:02] 1767*2^670342-1 is not prime. Res64: CAFF21FB4D509245 Time : 781.0 sec. user=vaughan [2010-03-01 23:32:35] 1875*2^670342-1 is not prime. Res64: 62B43E50105F3E92 Time : 778.0 sec. user=vaughan [2010-03-01 23:32:46] 1883*2^670342-1 is not prime. Res64: 366A2E93F329445C Time : 702.0 sec. user=vaughan [2010-03-01 23:41:25] 1893*2^670342-1 is not prime. Res64: B0103D3E65FC92BC Time : 702.0 sec. user=vaughan [2010-03-01 23:44:25] 1441*2^670343-1 is not prime. Res64: 8BC46E0E47767ABB Time : 699.0 sec. user=vaughan [2010-03-01 23:44:55] 1923*2^670342-1 is not prime. Res64: A8A9C18DC434F253 Time : 773.0 sec. user=vaughan [2010-03-01 23:45:31] 1937*2^670342-1 is not prime. Res64: 7898387BC9BD6102 Time : 777.0 sec. user=vaughan [2010-03-01 23:52:58] 1443*2^670343-1 is not prime. Res64: F89C5FA851E65ACB Time : 693.0 sec. user=vaughan [2010-03-01 23:56:06] 1449*2^670343-1 is not prime. Res64: 5A7C60CE4F3CED7A Time : 701.0 sec. user=vaughan [2010-03-01 23:58:06] 1455*2^670343-1 is not prime. Res64: 2052D7D2C694DBC2 Time : 791.0 sec. user=vaughan [2010-03-01 23:58:43] 1489*2^670343-1 is not prime. Res64: 6790EA2A17B45C97 Time : 793.0 sec.