user=Zachariassen [2009-08-16 00:00:07] 709*2^711111-1 is not prime. Res64: 90C774054FF5F381 Time : 1499.0 sec. user=Zachariassen [2009-08-16 00:04:49] 705*2^711111-1 is not prime. Res64: AE101694AB78026A Time : 1793.0 sec. user=Zachariassen [2009-08-16 00:06:37] 775*2^711111-1 is not prime. Res64: A6C0A655F6287D08 Time : 1792.0 sec. user=Zachariassen [2009-08-16 00:08:05] 765*2^711112-1 is not prime. Res64: 02FA0046B3A4E8A7 Time : 1454.0 sec. user=Zachariassen [2009-08-16 00:08:18] 795*2^711111-1 is not prime. Res64: 5BE98F922A6D03D9 Time : 1794.0 sec. user=Zachariassen [2009-08-16 00:10:09] 615*2^711113-1 is not prime. Res64: 18366181411CCD98 Time : 1494.0 sec. user=Zachariassen [2009-08-16 00:10:26] 639*2^711112-1 is not prime. Res64: B160DFE0118231C7 Time : 1796.0 sec. user=Zachariassen [2009-08-16 00:11:54] 679*2^711113-1 is not prime. Res64: BE9DA56C7B301AD5 Time : 1493.0 sec. user=Zachariassen [2009-08-16 00:12:33] 705*2^711113-1 is not prime. Res64: 14A72B65DCBC8B6B Time : 1506.0 sec. user=Zachariassen [2009-08-16 00:19:36] 747*2^711113-1 is not prime. Res64: 617B122DD599E0E9 Time : 1789.0 sec. user=Zachariassen [2009-08-16 00:20:12] 765*2^711114-1 is not prime. Res64: 401F9B5AF5CFE668 Time : 1487.0 sec. user=Zachariassen [2009-08-16 00:21:38] 781*2^711113-1 is not prime. Res64: 40A95493C7BBC286 Time : 1796.0 sec. user=Zachariassen [2009-08-16 00:22:21] 783*2^711114-1 is not prime. Res64: D0F3CE700A69C5C2 Time : 1492.0 sec. user=Zachariassen [2009-08-16 00:23:23] 633*2^711114-1 is not prime. Res64: 760F80D20E30B957 Time : 1801.0 sec. user=Zachariassen [2009-08-16 00:24:01] 791*2^711114-1 is not prime. Res64: 40C69EA52F5CEA39 Time : 1464.0 sec. user=Zachariassen [2009-08-16 00:24:46] 685*2^711115-1 is not prime. Res64: 2A4AED24710873A0 Time : 1480.0 sec. user=Zachariassen [2009-08-16 00:25:20] 705*2^711114-1 is not prime. Res64: 06F80CF7FB4ACB4E Time : 1802.0 sec. user=Zachariassen [2009-08-16 00:32:20] 633*2^711116-1 is not prime. Res64: F90A7009A0E08903 Time : 1456.0 sec. user=Zachariassen [2009-08-16 00:33:55] 759*2^711116-1 is not prime. Res64: 9B8EDD3333D85FC7 Time : 1426.0 sec. user=Zachariassen [2009-08-16 00:34:31] 709*2^711115-1 is not prime. Res64: 37E2149D79472C8D Time : 1782.0 sec. user=Zachariassen [2009-08-16 00:35:48] 773*2^711116-1 is not prime. Res64: B6BEC0067F5BC2FE Time : 1435.0 sec. user=Zachariassen [2009-08-16 00:36:31] 741*2^711115-1 is not prime. Res64: 0F07D955CB88EE7A Time : 1794.0 sec. user=Zachariassen [2009-08-16 00:37:07] 621*2^711117-1 is not prime. Res64: 4F24E3CD54623731 Time : 1474.0 sec. user=Zachariassen [2009-08-16 00:38:16] 749*2^711116-1 is not prime. Res64: C9F228E56159009D Time : 1798.0 sec. user=Zachariassen [2009-08-16 00:40:33] 767*2^711116-1 is not prime. Res64: 75A5D48FAABEFE91 Time : 1807.0 sec. user=Zachariassen [2009-08-16 00:45:16] 747*2^711117-1 is not prime. Res64: A8884E95A8BE4FA8 Time : 1505.0 sec. user=Zachariassen [2009-08-16 00:46:42] 635*2^711118-1 is not prime. Res64: 1BD6B63B555C45B7 Time : 1462.0 sec. user=Zachariassen [2009-08-16 00:48:17] 773*2^711118-1 is not prime. Res64: 5440F28660C465CF Time : 1456.0 sec. user=Zachariassen [2009-08-16 00:49:20] 649*2^711117-1 is not prime. Res64: E9D918507065F4FA Time : 1784.0 sec. user=Zachariassen [2009-08-16 00:50:18] 777*2^711118-1 is not prime. Res64: 035081CA51C4D1DD Time : 1532.0 sec. user=Zachariassen [2009-08-16 00:51:25] 603*2^711118-1 is not prime. Res64: 9500FDCE749B97C8 Time : 1788.0 sec. user=Zachariassen [2009-08-16 00:53:19] 705*2^711118-1 is not prime. Res64: EB56E39039F4763E Time : 1796.0 sec. user=Zachariassen [2009-08-16 00:55:27] 619*2^711119-1 is not prime. Res64: D8B553D1DA634D2D Time : 1807.0 sec. user=Zachariassen [2009-08-16 00:56:52] 685*2^711119-1 is not prime. Res64: E276BC8D683EB59A Time : 1472.0 sec. user=Zachariassen [2009-08-16 00:58:47] 693*2^711119-1 is not prime. Res64: 6A57BDD78EED2655 Time : 1493.0 sec. user=Zachariassen [2009-08-16 01:00:38] 745*2^711119-1 is not prime. Res64: A90E909D58B51785 Time : 1491.0 sec. user=Zachariassen [2009-08-16 01:01:45] 789*2^711120-1 is not prime. Res64: 93CD19170247320D Time : 1479.0 sec. user=Zachariassen [2009-08-16 01:04:20] 705*2^711119-1 is not prime. Res64: 1DAB2E64C239DE16 Time : 1789.0 sec. user=Zachariassen [2009-08-16 01:06:21] 789*2^711119-1 is not prime. Res64: BC68DD0136C8D173 Time : 1791.0 sec. user=Zachariassen [2009-08-16 01:08:23] 797*2^711120-1 is not prime. Res64: C653ED834FDD63FA Time : 1808.0 sec. user=Zachariassen [2009-08-16 01:09:08] 769*2^711121-1 is not prime. Res64: F5A865AD6D825F50 Time : 1432.0 sec. user=Zachariassen [2009-08-16 01:10:17] 679*2^711121-1 is not prime. Res64: 398E1BBD33B544EA Time : 1785.0 sec. user=Zachariassen [2009-08-16 01:11:00] 771*2^711121-1 is not prime. Res64: FA62D99411F2216C Time : 1458.0 sec. user=Zachariassen [2009-08-16 01:12:44] 775*2^711121-1 is not prime. Res64: 0153486A159E84BD Time : 1467.0 sec. user=Zachariassen [2009-08-16 01:13:56] 651*2^711122-1 is not prime. Res64: 4B52622CACD62F7F Time : 1419.0 sec. user=Zachariassen [2009-08-16 01:19:13] 789*2^711121-1 is not prime. Res64: F78244CAAAB7800F Time : 1794.0 sec. user=Zachariassen [2009-08-16 01:21:23] 657*2^711122-1 is not prime. Res64: 5247260BE79A1646 Time : 1799.0 sec. user=Zachariassen [2009-08-16 01:21:28] 713*2^711122-1 is not prime. Res64: 740CE41DF36F0A14 Time : 1476.0 sec. user=Zachariassen [2009-08-16 01:23:19] 785*2^711122-1 is not prime. Res64: 038935BB4BE816B1 Time : 1472.0 sec. user=Zachariassen [2009-08-16 01:23:24] 665*2^711122-1 is not prime. Res64: C5EE1429825D06C2 Time : 1806.0 sec. user=Zachariassen [2009-08-16 01:24:44] 791*2^711122-1 is not prime. Res64: A2404AE9343EEDB5 Time : 1447.0 sec. user=Zachariassen [2009-08-16 01:25:18] 711*2^711122-1 is not prime. Res64: 5FC5B2C13A573691 Time : 1792.0 sec. user=Zachariassen [2009-08-16 01:26:34] 609*2^711123-1 is not prime. Res64: 7914565DC01D969E Time : 1489.0 sec. user=Zachariassen [2009-08-16 01:33:59] 723*2^711124-1 is not prime. Res64: 259930DA3A5EEE7E Time : 1492.0 sec. user=Zachariassen [2009-08-16 01:34:09] 723*2^711123-1 is not prime. Res64: 1553041649708D72 Time : 1789.0 sec. user=Zachariassen [2009-08-16 01:35:39] 715*2^711125-1 is not prime. Res64: BE650C3B7B4C91FD Time : 1480.0 sec. user=Zachariassen [2009-08-16 01:36:13] 775*2^711123-1 is not prime. Res64: 5E5FA868B77D4EFA Time : 1792.0 sec. user=Zachariassen [2009-08-16 01:37:43] 729*2^711125-1 is not prime. Res64: 142EEA54576D0885 Time : 1499.0 sec. user=Zachariassen [2009-08-16 01:38:27] 609*2^711124-1 is not prime. Res64: 1DA66299610DFE5F Time : 1804.0 sec. user=Zachariassen [2009-08-16 01:39:04] 777*2^711125-1 is not prime. Res64: 3854AFB8FBA2298E Time : 1508.0 sec. user=Zachariassen [2009-08-16 01:40:16] 711*2^711125-1 is not prime. Res64: F2B29A9B9DF00556 Time : 1800.0 sec. user=Zachariassen [2009-08-16 01:45:42] 665*2^711128-1 is not prime. Res64: A837B4031165CAAF Time : 1454.0 sec. user=Zachariassen [2009-08-16 01:47:37] 677*2^711128-1 is not prime. Res64: F02F6E3C7470E775 Time : 1458.0 sec. user=Zachariassen [2009-08-16 01:49:05] 787*2^711125-1 is not prime. Res64: BAFD3DFAE89627EC Time : 1792.0 sec. user=Zachariassen [2009-08-16 01:49:37] 625*2^711129-1 is not prime. Res64: 30D61B5C9836850F Time : 1494.0 sec. user=Zachariassen [2009-08-16 01:51:02] 685*2^711129-1 is not prime. Res64: 72C131F53A5A657F Time : 1468.0 sec. user=Zachariassen [2009-08-16 01:51:15] 707*2^711126-1 is not prime. Res64: 56A2D3296D12429D Time : 1793.0 sec. user=Zachariassen [2009-08-16 01:53:21] 699*2^711128-1 is not prime. Res64: DD08603C0492E7E8 Time : 1797.0 sec. user=Zachariassen [2009-08-16 01:55:07] 681*2^711129-1 is not prime. Res64: F78A33D251AB7755 Time : 1789.0 sec. user=Zachariassen [2009-08-16 01:57:49] 691*2^711129-1 is not prime. Res64: 808AB102006BC11D Time : 1430.0 sec. user=Zachariassen [2009-08-16 01:59:32] 709*2^711129-1 is not prime. Res64: FA6DFEE562BF8270 Time : 1434.0 sec. user=Zachariassen [2009-08-16 02:02:06] 759*2^711129-1 is not prime. Res64: 324E505F58BDFC49 Time : 1463.0 sec. user=Zachariassen [2009-08-16 02:03:55] 787*2^711129-1 is not prime. Res64: C05662F628AC90A9 Time : 1492.0 sec. user=Zachariassen [2009-08-16 02:04:02] 705*2^711129-1 is not prime. Res64: 7CEE951C14342A30 Time : 1793.0 sec. user=Zachariassen [2009-08-16 02:06:16] 711*2^711129-1 is not prime. Res64: C1F76DA388FAC63B Time : 1803.0 sec. user=Zachariassen [2009-08-16 02:08:14] 769*2^711129-1 is not prime. Res64: C00AF10233D166CE Time : 1787.0 sec. user=Zachariassen [2009-08-16 02:09:47] 611*2^711130-1 is not prime. Res64: 87BC3856B0F3A1D7 Time : 1772.0 sec. user=Zachariassen [2009-08-16 02:10:37] 653*2^711130-1 is not prime. Res64: 2BA81390EFA08E4B Time : 1496.0 sec. user=Zachariassen [2009-08-16 02:12:09] 743*2^711130-1 is not prime. Res64: 7FA9F83EFE96EF96 Time : 1472.0 sec. user=Zachariassen [2009-08-16 02:13:49] 615*2^711131-1 is not prime. Res64: 72436F08C6B21477 Time : 1452.0 sec. user=Zachariassen [2009-08-16 02:15:36] 645*2^711131-1 is not prime. Res64: 45360890F8B30530 Time : 1474.0 sec. user=Zachariassen [2009-08-16 02:19:05] 603*2^711131-1 is not prime. Res64: 551F203387912D1A Time : 1800.0 sec. user=Zachariassen [2009-08-16 02:21:16] 669*2^711131-1 is not prime. Res64: A496D3D7D19B1405 Time : 1801.0 sec. user=Zachariassen [2009-08-16 02:22:41] 781*2^711131-1 is not prime. Res64: EE1B4607448A5B17 Time : 1492.0 sec. user=Zachariassen [2009-08-16 02:23:05] 715*2^711131-1 is not prime. Res64: FA2D133AB0E0BD0D Time : 1785.0 sec. user=Zachariassen [2009-08-16 02:24:19] 605*2^711132-1 is not prime. Res64: 517B426CD44840E1 Time : 1487.0 sec. user=Zachariassen [2009-08-16 02:25:03] 775*2^711131-1 is not prime. Res64: 3379CB9112A66320 Time : 1796.0 sec. user=Zachariassen [2009-08-16 02:26:18] 615*2^711133-1 is not prime. Res64: 1239B69A9F7D2264 Time : 1452.0 sec. user=Zachariassen [2009-08-16 02:27:30] 745*2^711133-1 is not prime. Res64: 4E1A1FCDB178BF5C Time : 1415.0 sec. user=Zachariassen [2009-08-16 02:33:51] 771*2^711133-1 is not prime. Res64: 62AF28F7A5B78638 Time : 1790.0 sec. user=Zachariassen [2009-08-16 02:34:44] 693*2^711134-1 is not prime. Res64: 786BA1D660259D75 Time : 1447.0 sec. user=Zachariassen [2009-08-16 02:36:12] 623*2^711134-1 is not prime. Res64: 4BCA68E2B71C5470 Time : 1796.0 sec. user=Zachariassen [2009-08-16 02:36:34] 773*2^711134-1 is not prime. Res64: A3683C6F6AD3FDA8 Time : 1466.0 sec. user=Zachariassen [2009-08-16 02:37:49] 651*2^711135-1 is not prime. Res64: 40B16951868A4C9F Time : 1440.0 sec. user=Zachariassen [2009-08-16 02:38:03] 627*2^711134-1 is not prime. Res64: 8DB0C9F573EB060E Time : 1789.0 sec. user=Zachariassen [2009-08-16 02:39:46] 685*2^711135-1 is not prime. Res64: 6A47E5DA6343170A Time : 1451.0 sec. user=Zachariassen [2009-08-16 02:39:58] 671*2^711134-1 is not prime. Res64: 5A64DE1E020FD81A Time : 1811.0 sec. user=vaughan [2009-08-16 02:46:59] 703*2^711139-1 is not prime. Res64: 37B1192227C37670 Time : 483.0 sec. user=vaughan [2009-08-16 02:46:59] 639*2^711139-1 is not prime. Res64: E2C2A0567B04C623 Time : 483.0 sec. user=vaughan [2009-08-16 02:46:59] 603*2^711139-1 is not prime. Res64: 85B326C9EA230247 Time : 483.0 sec. user=vaughan [2009-08-16 02:46:59] 759*2^711139-1 is not prime. Res64: 73AFD1E9418EA7CD Time : 483.0 sec. user=Zachariassen [2009-08-16 02:47:09] 783*2^711135-1 is not prime. Res64: 7342231C375BF475 Time : 1469.0 sec. user=Zachariassen [2009-08-16 02:48:49] 693*2^711135-1 is not prime. Res64: 8B8D54388D7E8D70 Time : 1784.0 sec. user=Zachariassen [2009-08-16 02:48:51] 623*2^711136-1 is not prime. Res64: 0FE14F46CAF8A91E Time : 1473.0 sec. user=Zachariassen [2009-08-16 02:50:15] 723*2^711136-1 is not prime. Res64: BDDA3AF1578E42DD Time : 1438.0 sec. user=Zachariassen [2009-08-16 02:51:08] 765*2^711135-1 is not prime. Res64: AAE451FE2DE33B62 Time : 1793.0 sec. user=Zachariassen [2009-08-16 02:52:01] 735*2^711137-1 is not prime. Res64: AB5CD9C06DF96D9B Time : 1471.0 sec. user=Zachariassen [2009-08-16 02:53:00] 789*2^711135-1 is not prime. Res64: AD3AEB92D12EA1CB Time : 1796.0 sec. user=Zachariassen [2009-08-16 02:55:01] 699*2^711136-1 is not prime. Res64: 08F521088AF2394E Time : 1798.0 sec. user=Zachariassen [2009-08-16 03:00:04] 641*2^711138-1 is not prime. Res64: F9C4449FA3CE86BE Time : 1520.0 sec. user=Zachariassen [2009-08-16 03:01:37] 711*2^711138-1 is not prime. Res64: 62ABF695C3141CEC Time : 1503.0 sec. user=Zachariassen [2009-08-16 03:03:02] 713*2^711138-1 is not prime. Res64: DB89DD396389B2A2 Time : 1514.0 sec. user=Zachariassen [2009-08-16 03:03:38] 781*2^711137-1 is not prime. Res64: DFBA141AF3020A45 Time : 1787.0 sec. user=Zachariassen [2009-08-16 03:04:46] 765*2^711139-1 is not prime. Res64: A22DF7C2F357EA6E Time : 1501.0 sec. user=Zachariassen [2009-08-16 03:06:10] 671*2^711138-1 is not prime. Res64: F2A12E52294B16D5 Time : 1798.0 sec. user=Zachariassen [2009-08-16 03:07:54] 747*2^711138-1 is not prime. Res64: 507C336035E8AFEB Time : 1791.0 sec. user=Zachariassen [2009-08-16 03:10:08] 635*2^711140-1 is not prime. Res64: 8587D4F13C76F143 Time : 1810.0 sec. user=Zachariassen [2009-08-16 03:12:20] 675*2^711140-1 is not prime. Res64: F7C5766FD493058E Time : 1512.0 sec. user=Zachariassen [2009-08-16 03:13:43] 699*2^711140-1 is not prime. Res64: D3266CACDDCA900B Time : 1492.0 sec. user=Zachariassen [2009-08-16 03:15:36] 615*2^711141-1 is not prime. Res64: AB421A81B357DCEE Time : 1522.0 sec. user=Zachariassen [2009-08-16 03:17:23] 691*2^711141-1 is not prime. Res64: 7E0881E13166800E Time : 1522.0 sec. user=Zachariassen [2009-08-16 03:18:28] 677*2^711140-1 is not prime. Res64: 35FFAA6F95789665 Time : 1779.0 sec. user=Zachariassen [2009-08-16 03:21:20] 651*2^711141-1 is not prime. Res64: 8BF2B08EB2660A80 Time : 1812.0 sec. user=Zachariassen [2009-08-16 03:22:46] 751*2^711141-1 is not prime. Res64: 64B65B3D19DB7026 Time : 1786.0 sec. user=Zachariassen [2009-08-16 03:24:02] 657*2^711142-1 is not prime. Res64: AE64F79806D98EBC Time : 1439.0 sec. user=Zachariassen [2009-08-16 03:24:58] 621*2^711142-1 is not prime. Res64: 8F872985D64A37AC Time : 1797.0 sec. user=Zachariassen [2009-08-16 03:26:07] 761*2^711142-1 is not prime. Res64: FF5C01875B2D0F6E Time : 1470.0 sec. user=Zachariassen [2009-08-16 03:28:47] 643*2^711143-1 is not prime. Res64: 2F619C51ED14AE04 Time : 1546.0 sec. user=Zachariassen [2009-08-16 03:30:37] 693*2^711143-1 is not prime. Res64: 2D4571580E6BF177 Time : 1551.0 sec. user=Zachariassen [2009-08-16 03:33:24] 663*2^711143-1 is not prime. Res64: 112C868F383D4984 Time : 1786.0 sec. user=Zachariassen [2009-08-16 03:36:11] 715*2^711143-1 is not prime. Res64: 4BF19EC65F9992C4 Time : 1802.0 sec. user=Zachariassen [2009-08-16 03:37:17] 753*2^711144-1 is not prime. Res64: 0C4BB7523828F781 Time : 1497.0 sec. user=Zachariassen [2009-08-16 03:37:52] 789*2^711143-1 is not prime. Res64: 13AB2A5B6BEFECF9 Time : 1799.0 sec. user=Zachariassen [2009-08-16 03:38:34] 651*2^711145-1 is not prime. Res64: 66ECE452D3B48B99 Time : 1492.0 sec. user=Zachariassen [2009-08-16 03:39:43] 719*2^711144-1 is not prime. Res64: 43CE85E5C26216B2 Time : 1775.0 sec. user=Zachariassen [2009-08-16 03:40:43] 661*2^711145-1 is not prime. Res64: 2D6E67261FBB5C7A Time : 1508.0 sec. user=Zachariassen [2009-08-16 03:42:29] 741*2^711145-1 is not prime. Res64: B8A64D0A6311A814 Time : 1506.0 sec. user=Zachariassen [2009-08-16 03:48:16] 771*2^711145-1 is not prime. Res64: C68EF7BE8B395DE6 Time : 1788.0 sec. user=Zachariassen [2009-08-16 03:49:23] 713*2^711146-1 is not prime. Res64: CB719EE8D61D7555 Time : 1522.0 sec. user=Zachariassen [2009-08-16 03:50:15] 703*2^711147-1 is not prime. Res64: B66902BA33F7AFF8 Time : 1448.0 sec. user=Zachariassen [2009-08-16 03:51:12] 633*2^711146-1 is not prime. Res64: 07AD33C55E5B3F9C Time : 1792.0 sec. user=Zachariassen [2009-08-16 03:52:40] 711*2^711147-1 is not prime. Res64: ED37CB37F0F32CD2 Time : 1434.0 sec. user=Zachariassen [2009-08-16 03:52:46] 671*2^711146-1 is not prime. Res64: 20603C895F4241BE Time : 1800.0 sec. user=Zachariassen [2009-08-16 03:54:43] 795*2^711147-1 is not prime. Res64: FDABD76FF385EBBA Time : 1446.0 sec. user=Zachariassen [2009-08-16 03:54:48] 633*2^711147-1 is not prime. Res64: 4C3078ADF8D24BBD Time : 1790.0 sec. user=Zachariassen [2009-08-16 04:00:53] 699*2^711148-1 is not prime. Res64: DD47D5C666B9FA31 Time : 1417.0 sec. user=Zachariassen [2009-08-16 04:01:54] 769*2^711149-1 is not prime. Res64: 30C296B572154F79 Time : 1401.0 sec. user=Zachariassen [2009-08-16 04:03:26] 615*2^711148-1 is not prime. Res64: 7F61CF21B3F98C64 Time : 1802.0 sec. user=Zachariassen [2009-08-16 04:05:06] 653*2^711150-1 is not prime. Res64: 8BCA61A08C8C1F91 Time : 1463.0 sec. user=Zachariassen [2009-08-16 04:06:10] 663*2^711148-1 is not prime. Res64: B7090AC0DE038B7B Time : 1799.0 sec. user=Zachariassen [2009-08-16 04:07:05] 707*2^711150-1 is not prime. Res64: 2F92C375FE671C83 Time : 1476.0 sec. user=Zachariassen [2009-08-16 04:07:31] 601*2^711149-1 is not prime. Res64: 6EF7AE0A10D8642D Time : 1780.0 sec. user=Zachariassen [2009-08-16 04:09:47] 789*2^711149-1 is not prime. Res64: 4706B49CB16C21E0 Time : 1805.0 sec. user=Zachariassen [2009-08-16 04:13:15] 673*2^711151-1 is not prime. Res64: F0A9759BB8FBBE62 Time : 1433.0 sec. user=Zachariassen [2009-08-16 04:13:56] 615*2^711152-1 is not prime. Res64: 4E01487105FC8906 Time : 1421.0 sec. user=Zachariassen [2009-08-16 04:16:30] 725*2^711152-1 is not prime. Res64: 18020FAF5D9F4B85 Time : 1431.0 sec. user=Zachariassen [2009-08-16 04:18:23] 777*2^711150-1 is not prime. Res64: 911CEC6E067FF980 Time : 1807.0 sec. user=Zachariassen [2009-08-16 04:19:54] 765*2^711153-1 is not prime. Res64: E4B100D098C613E5 Time : 1511.0 sec. user=Zachariassen [2009-08-16 04:21:05] 675*2^711152-1 is not prime. Res64: 1D8FC8B9796F4370 Time : 1793.0 sec. user=Zachariassen [2009-08-16 04:22:08] 685*2^711153-1 is not prime. Res64: 5F9DE9666739B294 Time : 1763.0 sec. user=Zachariassen [2009-08-16 04:24:52] 663*2^711154-1 is not prime. Res64: CD4C8FC6510C76E3 Time : 1805.0 sec. user=Zachariassen [2009-08-16 04:26:58] 723*2^711154-1 is not prime. Res64: 40EC7EB4ED267BB5 Time : 1567.0 sec. user=Zachariassen [2009-08-16 04:27:32] 773*2^711154-1 is not prime. Res64: BEF641607F265DBB Time : 1539.0 sec. user=Zachariassen [2009-08-16 04:30:48] 791*2^711154-1 is not prime. Res64: E61469139E926974 Time : 1542.0 sec. user=Zachariassen [2009-08-16 04:33:24] 785*2^711154-1 is not prime. Res64: 1D1E12A90A10EF91 Time : 1799.0 sec. user=Zachariassen [2009-08-16 04:34:11] 733*2^711155-1 is not prime. Res64: D0A8C5DC2AC86ECC Time : 1626.0 sec. user=Zachariassen [2009-08-16 04:35:57] 705*2^711155-1 is not prime. Res64: B07223D1EE055028 Time : 1787.0 sec. user=Zachariassen [2009-08-16 04:36:55] 753*2^711155-1 is not prime. Res64: 68D3442498B7AB85 Time : 1765.0 sec. user=Zachariassen [2009-08-16 04:39:41] 771*2^711155-1 is not prime. Res64: 00BD9888CE1C4373 Time : 1794.0 sec. user=Zachariassen [2009-08-16 04:40:37] 623*2^711156-1 is not prime. Res64: 82C5F4B9AC182CB2 Time : 1643.0 sec. user=Zachariassen [2009-08-16 04:41:07] 675*2^711156-1 is not prime. Res64: 3F9A8B6F28BEA23B Time : 1632.0 sec. user=Zachariassen [2009-08-16 04:44:25] 723*2^711156-1 is not prime. Res64: BA14017ACD17550F Time : 1675.0 sec. user=Zachariassen [2009-08-16 04:46:53] 727*2^711157-1 is not prime. Res64: 475A1266449B8DCB Time : 1619.0 sec. user=Zachariassen [2009-08-16 04:48:29] 777*2^711156-1 is not prime. Res64: 2B7C29D148D0A634 Time : 1807.0 sec. user=Zachariassen [2009-08-16 04:51:05] 757*2^711157-1 is not prime. Res64: 08B0ABD3EA4DD51C Time : 1801.0 sec. user=Zachariassen [2009-08-16 04:51:43] 771*2^711157-1 is not prime. Res64: FC98F8C4AE8BD3A3 Time : 1775.0 sec. user=Zachariassen [2009-08-16 04:53:30] 657*2^711158-1 is not prime. Res64: 4B78367EC5791C7E Time : 1593.0 sec. user=Zachariassen [2009-08-16 04:53:46] 693*2^711158-1 is not prime. Res64: 05044DCE2EBA4492 Time : 1574.0 sec. user=Zachariassen [2009-08-16 04:54:45] 651*2^711158-1 is not prime. Res64: F17B92267DA1E916 Time : 1793.0 sec. user=Zachariassen [2009-08-16 04:57:43] 705*2^711158-1 is not prime. Res64: 04E816803392BDD1 Time : 1615.0 sec. user=Zachariassen [2009-08-16 05:00:54] 773*2^711158-1 is not prime. Res64: C85FF8C9A239D482 Time : 1603.0 sec. user=Zachariassen [2009-08-16 05:03:20] 711*2^711158-1 is not prime. Res64: 3E3B5CAA5DA40B45 Time : 1796.0 sec. user=Zachariassen [2009-08-16 05:05:57] 601*2^711159-1 is not prime. Res64: 58F5A9D67AFB5B77 Time : 1800.0 sec. user=Zachariassen [2009-08-16 05:06:44] 663*2^711159-1 is not prime. Res64: 5D94E8A21AEE6CE8 Time : 1790.0 sec. user=Zachariassen [2009-08-16 05:07:39] 609*2^711160-1 is not prime. Res64: 1C2BCF82B8CD615C Time : 1623.0 sec. user=Zachariassen [2009-08-16 05:07:50] 635*2^711160-1 is not prime. Res64: 849A6517F5ED7DB6 Time : 1604.0 sec. user=Zachariassen [2009-08-16 05:09:43] 793*2^711159-1 is not prime. Res64: 94B5573D60D8EBD9 Time : 1802.0 sec. user=Zachariassen [2009-08-16 05:10:25] 675*2^711160-1 is not prime. Res64: 9A1BA9E8D76A02A8 Time : 1560.0 sec. user=Zachariassen [2009-08-16 05:13:00] 677*2^711160-1 is not prime. Res64: 8781F23A65DCBD89 Time : 1568.0 sec. user=Zachariassen [2009-08-16 05:18:21] 735*2^711160-1 is not prime. Res64: 69EC539F438C89FF Time : 1792.0 sec. user=Zachariassen [2009-08-16 05:20:09] 669*2^711161-1 is not prime. Res64: 86FE04145C101ABF Time : 1600.0 sec. user=Zachariassen [2009-08-16 05:20:24] 717*2^711161-1 is not prime. Res64: 23E527E1770F0F96 Time : 1598.0 sec. user=Zachariassen [2009-08-16 05:20:52] 615*2^711161-1 is not prime. Res64: 032812986AB6AF71 Time : 1788.0 sec. user=Zachariassen [2009-08-16 05:21:40] 637*2^711161-1 is not prime. Res64: CDCD79CF01EC4569 Time : 1797.0 sec. user=Zachariassen [2009-08-16 05:22:53] 789*2^711161-1 is not prime. Res64: 859F2DB52C3642A0 Time : 1510.0 sec. user=Zachariassen [2009-08-16 05:24:48] 777*2^711161-1 is not prime. Res64: 14DD5992864FA1F0 Time : 1804.0 sec. user=Zachariassen [2009-08-16 05:25:33] 711*2^711162-1 is not prime. Res64: 698F5541FBF91D1F Time : 1479.0 sec. user=Zachariassen [2009-08-16 05:33:10] 649*2^711163-1 is not prime. Res64: B25345C9D00FD2B7 Time : 1521.0 sec. user=Zachariassen [2009-08-16 05:33:10] 615*2^711163-1 is not prime. Res64: F569913AF232368D Time : 1532.0 sec. user=Zachariassen [2009-08-16 05:33:19] 713*2^711162-1 is not prime. Res64: B8F3386F07095CB5 Time : 1799.0 sec. user=Zachariassen [2009-08-16 05:35:54] 791*2^711162-1 is not prime. Res64: 6235B976F1C19A49 Time : 1798.0 sec. user=Zachariassen [2009-08-16 05:36:02] 617*2^711164-1 is not prime. Res64: 61EF77A3F815BFA0 Time : 1538.0 sec. user=Zachariassen [2009-08-16 05:36:29] 609*2^711163-1 is not prime. Res64: A8C65D5907F05BF4 Time : 1786.0 sec. user=Zachariassen [2009-08-16 05:37:56] 665*2^711164-1 is not prime. Res64: F95844CD37B352E7 Time : 1496.0 sec. user=Zachariassen [2009-08-16 05:39:52] 723*2^711163-1 is not prime. Res64: D1E365E3B8E60F39 Time : 1809.0 sec. user=Zachariassen [2009-08-16 05:45:03] 627*2^711165-1 is not prime. Res64: 777F20079B80859D Time : 1479.0 sec. user=Zachariassen [2009-08-16 05:45:24] 625*2^711165-1 is not prime. Res64: DC8807CD7A7ED3BE Time : 1516.0 sec. user=Zachariassen [2009-08-16 05:48:12] 607*2^711165-1 is not prime. Res64: 3241506822A6CB9D Time : 1791.0 sec. user=Zachariassen [2009-08-16 05:48:27] 781*2^711165-1 is not prime. Res64: 2BD002BAC3F36CCF Time : 1534.0 sec. user=Zachariassen [2009-08-16 05:50:19] 651*2^711166-1 is not prime. Res64: 0F5B74E5BA78E488 Time : 1486.0 sec. user=Zachariassen [2009-08-16 05:50:52] 735*2^711165-1 is not prime. Res64: D04355C4400E0967 Time : 1801.0 sec. user=Zachariassen [2009-08-16 05:51:33] 741*2^711165-1 is not prime. Res64: 5E961368DA98F9C4 Time : 1793.0 sec. user=Zachariassen [2009-08-16 05:54:50] 789*2^711165-1 is not prime. Res64: E46687B841997C01 Time : 1802.0 sec. user=Zachariassen [2009-08-16 05:56:55] 761*2^711166-1 is not prime. Res64: 6CEF092C1B21ABD2 Time : 1425.0 sec. user=Zachariassen [2009-08-16 05:57:25] 737*2^711166-1 is not prime. Res64: AA2F56A7C116AD36 Time : 1455.0 sec. user=Zachariassen [2009-08-16 06:00:06] 741*2^711167-1 is not prime. Res64: 6A9F7BB86E7016B4 Time : 1445.0 sec. user=Zachariassen [2009-08-16 06:02:17] 635*2^711168-1 is not prime. Res64: A4AD714A030ACE71 Time : 1462.0 sec. user=Zachariassen [2009-08-16 06:03:05] 645*2^711167-1 is not prime. Res64: E13285A633160641 Time : 1786.0 sec. user=Zachariassen [2009-08-16 06:06:00] 661*2^711167-1 is not prime. Res64: 2A0FDD60927D817E Time : 1806.0 sec. user=Zachariassen [2009-08-16 06:06:19] 605*2^711168-1 is not prime. Res64: 4178940306075BDB Time : 1790.0 sec. user=Zachariassen [2009-08-16 06:08:56] 753*2^711168-1 is not prime. Res64: 353525508C452331 Time : 1434.0 sec. user=Zachariassen [2009-08-16 06:09:08] 609*2^711169-1 is not prime. Res64: 610BC18E176F9140 Time : 1424.0 sec. user=Zachariassen [2009-08-16 06:09:50] 689*2^711168-1 is not prime. Res64: EC01F0A346E05E49 Time : 1798.0 sec. user=Zachariassen [2009-08-16 06:12:09] 765*2^711169-1 is not prime. Res64: 58D3157AE2DE2CD1 Time : 1423.0 sec. user=Zachariassen [2009-08-16 06:14:28] 665*2^711170-1 is not prime. Res64: 167716F83DB0AC0C Time : 1449.0 sec. user=Zachariassen [2009-08-16 06:18:08] 705*2^711169-1 is not prime. Res64: 1F286C9FC4522720 Time : 1796.0 sec. user=Zachariassen [2009-08-16 06:21:00] 711*2^711170-1 is not prime. Res64: 4D00092379612629 Time : 1808.0 sec. user=Zachariassen [2009-08-16 06:21:02] 723*2^711171-1 is not prime. Res64: 3426B9B94F08BAA1 Time : 1447.0 sec. user=Zachariassen [2009-08-16 06:21:08] 609*2^711171-1 is not prime. Res64: 49FB71B6815F8942 Time : 1775.0 sec. user=Zachariassen [2009-08-16 06:21:35] 741*2^711171-1 is not prime. Res64: A6286360DD3D1985 Time : 1450.0 sec. user=Zachariassen [2009-08-16 06:24:05] 745*2^711171-1 is not prime. Res64: 5E8DC33A9CE3150A Time : 1439.0 sec. user=Zachariassen [2009-08-16 06:24:47] 691*2^711171-1 is not prime. Res64: 61E8040BAB1B2F2A Time : 1797.0 sec. user=Zachariassen [2009-08-16 06:26:49] 781*2^711171-1 is not prime. Res64: B63939BA17E1F041 Time : 1473.0 sec. user=Zachariassen [2009-08-16 06:32:56] 789*2^711171-1 is not prime. Res64: 6C13FDA81CA58116 Time : 1792.0 sec. user=Zachariassen [2009-08-16 06:33:57] 765*2^711172-1 is not prime. Res64: 9F7C9B98DA3A6854 Time : 1490.0 sec. user=Zachariassen [2009-08-16 06:34:08] 719*2^711172-1 is not prime. Res64: 83AF4034904B22DB Time : 1513.0 sec. user=Zachariassen [2009-08-16 06:36:04] 687*2^711172-1 is not prime. Res64: 4E34513E09808100 Time : 1785.0 sec. user=Zachariassen [2009-08-16 06:36:08] 677*2^711172-1 is not prime. Res64: 754548C51BE5BC30 Time : 1808.0 sec. user=Zachariassen [2009-08-16 06:37:50] 741*2^711173-1 is not prime. Res64: CDF20654F7BA4366 Time : 1541.0 sec. user=Zachariassen [2009-08-16 06:39:37] 649*2^711173-1 is not prime. Res64: 64AC507551A9BA6B Time : 1788.0 sec. user=Zachariassen [2009-08-16 06:40:19] 651*2^711174-1 is not prime. Res64: 68A7DF00270578F4 Time : 1551.0 sec. user=Zachariassen [2009-08-16 06:47:30] 759*2^711175-1 is not prime. Res64: 0EC47E68FEF7E9E1 Time : 1555.0 sec. user=Zachariassen [2009-08-16 06:47:42] 791*2^711174-1 is not prime. Res64: BCCF1BEEB61E7F24 Time : 1601.0 sec. user=Zachariassen [2009-08-16 06:47:43] 683*2^711174-1 is not prime. Res64: DD5A0A39937B023F Time : 1776.0 sec. user=Zachariassen [2009-08-16 06:51:02] 771*2^711175-1 is not prime. Res64: 12E5B1BFFBB193DE Time : 1617.0 sec. user=Zachariassen [2009-08-16 06:51:15] 723*2^711175-1 is not prime. Res64: C7D727CBD6F4D17A Time : 1808.0 sec. user=Zachariassen [2009-08-16 06:51:21] 741*2^711174-1 is not prime. Res64: DF7A0D18DED7C69C Time : 1821.0 sec. user=Zachariassen [2009-08-16 06:52:48] 659*2^711176-1 is not prime. Res64: 696F5E3731947043 Time : 1559.0 sec. user=Zachariassen [2009-08-16 06:54:20] 789*2^711175-1 is not prime. Res64: CD2AE043022B2FFF Time : 1773.0 sec. user=Zachariassen [2009-08-16 06:59:31] 661*2^711177-1 is not prime. Res64: 919F493394D3D7D5 Time : 1534.0 sec. user=Zachariassen [2009-08-16 07:00:08] 681*2^711177-1 is not prime. Res64: 5FB3193D865BDC83 Time : 1560.0 sec. user=Zachariassen [2009-08-16 07:02:36] 609*2^711177-1 is not prime. Res64: E0D0141A64AAFE33 Time : 1780.0 sec. user=Zachariassen [2009-08-16 07:03:32] 611*2^711178-1 is not prime. Res64: CAE83675D61CCDCE Time : 1543.0 sec. user=Zachariassen [2009-08-16 07:04:58] 743*2^711178-1 is not prime. Res64: 4072D6B8D37568A7 Time : 1479.0 sec. user=Zachariassen [2009-08-16 07:06:09] 795*2^711177-1 is not prime. Res64: B3A466755D654F7B Time : 1805.0 sec. user=Zachariassen [2009-08-16 07:06:18] 603*2^711178-1 is not prime. Res64: CBFAE8DC1ADDE35D Time : 1810.0 sec. user=Zachariassen [2009-08-16 07:09:30] 665*2^711178-1 is not prime. Res64: A524237024C12CBD Time : 1793.0 sec. user=Zachariassen [2009-08-16 07:12:03] 603*2^711179-1 is not prime. Res64: 56C6ACE6C02EFCAF Time : 1473.0 sec. user=Zachariassen [2009-08-16 07:12:40] 615*2^711179-1 is not prime. Res64: 94195ED40D84ECE4 Time : 1498.0 sec. user=Zachariassen [2009-08-16 07:15:43] 643*2^711179-1 is not prime. Res64: 8431B6542CB864A1 Time : 1481.0 sec. user=Zachariassen [2009-08-16 07:17:27] 627*2^711180-1 is not prime. Res64: 2FEE005063078FF0 Time : 1480.0 sec. user=Zachariassen [2009-08-16 07:17:28] 619*2^711179-1 is not prime. Res64: BF9DF4EDF6E69C1B Time : 1786.0 sec. user=Zachariassen [2009-08-16 07:21:02] 675*2^711179-1 is not prime. Res64: 446BB5A3C558566D Time : 1787.0 sec. user=Zachariassen [2009-08-16 07:21:22] 733*2^711179-1 is not prime. Res64: D8BE24E90C0225E6 Time : 1801.0 sec. user=Zachariassen [2009-08-16 07:24:06] 737*2^711180-1 is not prime. Res64: D3DCB6268226E652 Time : 1475.0 sec. user=Zachariassen [2009-08-16 07:24:28] 669*2^711180-1 is not prime. Res64: 6F44AD4E4277BCBE Time : 1808.0 sec. user=Zachariassen [2009-08-16 07:24:33] 797*2^711180-1 is not prime. Res64: 62B327BA8E59907E Time : 1465.0 sec. user=Zachariassen [2009-08-16 07:27:19] 645*2^711181-1 is not prime. Res64: C4B0679ABF5C721F Time : 1427.0 sec. user=Zachariassen [2009-08-16 07:29:15] 651*2^711181-1 is not prime. Res64: 47FB7E1734B3CA6C Time : 1457.0 sec. user=Zachariassen [2009-08-16 07:32:22] 619*2^711181-1 is not prime. Res64: E9F107C321C3DCCE Time : 1787.0 sec. user=Zachariassen [2009-08-16 07:36:02] 687*2^711181-1 is not prime. Res64: C24DEA3D274645AB Time : 1793.0 sec. user=Zachariassen [2009-08-16 07:36:03] 715*2^711181-1 is not prime. Res64: C851FA325272C2D6 Time : 1785.0 sec. user=Zachariassen [2009-08-16 07:36:05] 705*2^711182-1 is not prime. Res64: 7493F15F698A8C4B Time : 1406.0 sec. user=Zachariassen [2009-08-16 07:36:22] 683*2^711182-1 is not prime. Res64: C8ACE0ECD51B0B92 Time : 1459.0 sec. user=Zachariassen [2009-08-16 07:39:36] 797*2^711182-1 is not prime. Res64: A7638C431F07371B Time : 1434.0 sec. user=Zachariassen [2009-08-16 07:39:53] 745*2^711181-1 is not prime. Res64: 3878B95FC474B80D Time : 1823.0 sec. user=Zachariassen [2009-08-16 07:41:20] 663*2^711183-1 is not prime. Res64: 912706E77049BE9C Time : 1434.0 sec. user=Zachariassen [2009-08-16 07:47:13] 675*2^711183-1 is not prime. Res64: 7F9AC803F0113D24 Time : 1785.0 sec. user=Zachariassen [2009-08-16 07:50:50] 789*2^711183-1 is not prime. Res64: B9DEBDBC6A7E401D Time : 1788.0 sec. user=Zachariassen [2009-08-16 07:50:55] 609*2^711184-1 is not prime. Res64: 3C1FF6978687B03E Time : 1774.0 sec. user=Zachariassen [2009-08-16 07:51:33] 645*2^711184-1 is not prime. Res64: 39ECA9F3680F8BAF Time : 1647.0 sec. user=Zachariassen [2009-08-16 07:52:38] 675*2^711184-1 is not prime. Res64: DA2CBCF5647EA5F0 Time : 1685.0 sec. user=Zachariassen [2009-08-16 07:55:01] 657*2^711184-1 is not prime. Res64: 70D018EE74488498 Time : 1833.0 sec. user=Zachariassen [2009-08-16 07:56:08] 695*2^711184-1 is not prime. Res64: FD75A19ABFBC3BA4 Time : 1730.0 sec. user=Zachariassen [2009-08-16 07:57:15] 717*2^711184-1 is not prime. Res64: 5A192CDDDF9D96E1 Time : 1680.0 sec. user=Zachariassen [2009-08-16 08:02:18] 619*2^711185-1 is not prime. Res64: 0AB4AC2CA1D4BC3A Time : 1796.0 sec. user=Zachariassen [2009-08-16 08:03:22] 671*2^711186-1 is not prime. Res64: FCDB66C75C8917AA Time : 1620.0 sec. user=Zachariassen [2009-08-16 08:04:07] 685*2^711185-1 is not prime. Res64: 49E34F48ACED94CB Time : 1682.0 sec. user=Zachariassen [2009-08-16 08:05:48] 669*2^711185-1 is not prime. Res64: 1BB9DD0ED9E02E63 Time : 1786.0 sec. user=Zachariassen [2009-08-16 08:05:54] 657*2^711185-1 is not prime. Res64: 01F2B0220EB733E9 Time : 1792.0 sec. user=Zachariassen [2009-08-16 08:07:24] 601*2^711187-1 is not prime. Res64: DF4CB2AB168E67DD Time : 1668.0 sec. user=Zachariassen [2009-08-16 08:08:17] 769*2^711187-1 is not prime. Res64: 64341F1C099CD008 Time : 1618.0 sec. user=Zachariassen [2009-08-16 08:10:09] 603*2^711187-1 is not prime. Res64: 720B702E09EFA2BD Time : 1817.0 sec. user=Zachariassen [2009-08-16 08:14:21] 749*2^711188-1 is not prime. Res64: 07AADD97C6234662 Time : 1369.0 sec. user=Zachariassen [2009-08-16 08:15:02] 767*2^711188-1 is not prime. Res64: EBB5C6031B58DC2C Time : 1345.0 sec. user=Zachariassen [2009-08-16 08:17:16] 647*2^711188-1 is not prime. Res64: D6EBF8B14F7767CD Time : 1803.0 sec. user=Zachariassen [2009-08-16 08:18:36] 649*2^711189-1 is not prime. Res64: 8895898DD73570C1 Time : 1348.0 sec. user=Zachariassen [2009-08-16 08:19:14] 691*2^711189-1 is not prime. Res64: 011883422959C341 Time : 1319.0 sec. user=Zachariassen [2009-08-16 08:20:45] 725*2^711188-1 is not prime. Res64: B18CBA640741781A Time : 1790.0 sec. user=Zachariassen [2009-08-16 08:20:54] 665*2^711188-1 is not prime. Res64: 35D4809CC6110F1A Time : 1804.0 sec. user=Zachariassen [2009-08-16 08:25:01] 795*2^711188-1 is not prime. Res64: 50CC752305DDAD96 Time : 1801.0 sec. user=Zachariassen [2009-08-16 08:25:21] 769*2^711189-1 is not prime. Res64: 304501D85C38D425 Time : 1319.0 sec. user=Zachariassen [2009-08-16 08:25:54] 781*2^711189-1 is not prime. Res64: 58E18A8C02305BE6 Time : 1307.0 sec. user=Zachariassen [2009-08-16 08:29:29] 761*2^711190-1 is not prime. Res64: 36FE1B8740BF4273 Time : 1326.0 sec. user=Zachariassen [2009-08-16 08:30:08] 791*2^711190-1 is not prime. Res64: 60A9EBF8E2BC7475 Time : 1311.0 sec. user=Zachariassen [2009-08-16 08:32:06] 747*2^711189-1 is not prime. Res64: 75E358E95E0F9277 Time : 1788.0 sec. user=Zachariassen [2009-08-16 08:35:39] 605*2^711190-1 is not prime. Res64: AA31637F7DCF5C06 Time : 1791.0 sec. user=Zachariassen [2009-08-16 08:35:53] 687*2^711190-1 is not prime. Res64: B89148719E955959 Time : 1800.0 sec. user=Zachariassen [2009-08-16 08:36:17] 651*2^711191-1 is not prime. Res64: FD387C4DBB6A046E Time : 1317.0 sec. user=Zachariassen [2009-08-16 08:36:54] 669*2^711191-1 is not prime. Res64: 2D67EA7DA1ABDD63 Time : 1313.0 sec. user=Zachariassen [2009-08-16 08:40:04] 615*2^711191-1 is not prime. Res64: 96A860271F8E878B Time : 1795.0 sec. user=Zachariassen [2009-08-16 08:40:26] 783*2^711191-1 is not prime. Res64: 490C45D78620DE82 Time : 1310.0 sec. user=Zachariassen [2009-08-16 08:41:01] 683*2^711192-1 is not prime. Res64: 0F77EE50CBECC469 Time : 1307.0 sec. user=Zachariassen [2009-08-16 08:46:59] 751*2^711193-1 is not prime. Res64: E33CE2731B79D68B Time : 1299.0 sec. user=Zachariassen [2009-08-16 08:47:14] 685*2^711191-1 is not prime. Res64: 1AAB4CBBF9C0FEA8 Time : 1798.0 sec. user=Zachariassen [2009-08-16 08:47:37] 675*2^711194-1 is not prime. Res64: 93389D98E767DC19 Time : 1303.0 sec. user=Zachariassen [2009-08-16 08:50:32] 689*2^711192-1 is not prime. Res64: DAC4C4865757FCAF Time : 1787.0 sec. user=Zachariassen [2009-08-16 08:50:46] 651*2^711193-1 is not prime. Res64: AC58D2D0FD47D2C1 Time : 1792.0 sec. user=Zachariassen [2009-08-16 08:51:29] 701*2^711194-1 is not prime. Res64: B7FBD0D2C8D2DFAE Time : 1321.0 sec. user=Zachariassen [2009-08-16 08:51:59] 773*2^711194-1 is not prime. Res64: C01AA9044E812E47 Time : 1311.0 sec. user=Zachariassen [2009-08-16 08:55:10] 691*2^711193-1 is not prime. Res64: 3DEE253BAEAA4741 Time : 1809.0 sec. user=Zachariassen [2009-08-16 08:57:36] 751*2^711195-1 is not prime. Res64: 4AE4EFA2692623C8 Time : 1279.0 sec. user=Zachariassen [2009-08-16 08:58:49] 765*2^711195-1 is not prime. Res64: DE198D9BAB5118D4 Time : 1316.0 sec. user=Zachariassen [2009-08-16 09:02:06] 625*2^711195-1 is not prime. Res64: C4A8DAA99285B271 Time : 1801.0 sec. user=Zachariassen [2009-08-16 09:02:23] 675*2^711196-1 is not prime. Res64: DEF176961CDB6A7D Time : 1317.0 sec. user=Zachariassen [2009-08-16 09:02:49] 677*2^711196-1 is not prime. Res64: F0D45D79E89B2B80 Time : 1308.0 sec. user=Zachariassen [2009-08-16 09:05:30] 723*2^711195-1 is not prime. Res64: EF88DC31B692A7BA Time : 1791.0 sec. user=Zachariassen [2009-08-16 09:05:33] 741*2^711195-1 is not prime. Res64: D78FD25B1164F2A5 Time : 1780.0 sec. user=Zachariassen [2009-08-16 09:08:31] 689*2^711196-1 is not prime. Res64: 587148187CCEE348 Time : 1292.0 sec. user=Zachariassen [2009-08-16 09:10:11] 785*2^711196-1 is not prime. Res64: 0247D2AA8A57746C Time : 1355.0 sec. user=Zachariassen [2009-08-16 09:10:20] 775*2^711195-1 is not prime. Res64: A14D7E65ACA49580 Time : 1817.0 sec. user=Zachariassen [2009-08-16 09:13:34] 669*2^711197-1 is not prime. Res64: A33DBF9E99CBB7C9 Time : 1325.0 sec. user=Zachariassen [2009-08-16 09:14:01] 685*2^711197-1 is not prime. Res64: DA0E44EB353E13E4 Time : 1322.0 sec. user=Zachariassen [2009-08-16 09:17:07] 777*2^711196-1 is not prime. Res64: 7138CDC9EB627241 Time : 1793.0 sec. user=Zachariassen [2009-08-16 09:19:20] 615*2^711198-1 is not prime. Res64: C9B26C6C986F3F88 Time : 1304.0 sec. user=Zachariassen [2009-08-16 09:20:14] 655*2^711197-1 is not prime. Res64: 583FA435964397CF Time : 1768.0 sec. user=Zachariassen [2009-08-16 09:20:26] 631*2^711197-1 is not prime. Res64: 8B38131C6846C940 Time : 1795.0 sec. user=Zachariassen [2009-08-16 09:21:00] 707*2^711198-1 is not prime. Res64: FA302E69CE6623E1 Time : 1332.0 sec. user=Zachariassen [2009-08-16 09:24:36] 663*2^711199-1 is not prime. Res64: 64F820A8D2522714 Time : 1334.0 sec. user=Zachariassen [2009-08-16 09:24:44] 679*2^711199-1 is not prime. Res64: 139EE6734962971F Time : 1315.0 sec. user=Zachariassen [2009-08-16 09:25:25] 727*2^711197-1 is not prime. Res64: 57A87FC4CD4B2E9D Time : 1816.0 sec. user=Zachariassen [2009-08-16 09:30:57] 609*2^711200-1 is not prime. Res64: F45548916E05C835 Time : 1347.0 sec. user=Zachariassen [2009-08-16 09:32:03] 725*2^711198-1 is not prime. Res64: 95D88256855CB5CC Time : 1798.0 sec. user=Zachariassen [2009-08-16 09:32:21] 753*2^711200-1 is not prime. Res64: B6F418F461824363 Time : 1330.0 sec. user=Zachariassen [2009-08-16 09:35:18] 769*2^711199-1 is not prime. Res64: D631DC3CF6F60AEF Time : 1786.0 sec. user=Zachariassen [2009-08-16 09:35:23] 705*2^711199-1 is not prime. Res64: 4A2922EB885BC440 Time : 1793.0 sec. user=Zachariassen [2009-08-16 09:35:50] 717*2^711201-1 is not prime. Res64: EF61EC11AB24BC5F Time : 1337.0 sec. user=Zachariassen [2009-08-16 09:36:14] 739*2^711201-1 is not prime. Res64: D9C87C24B057D307 Time : 1333.0 sec. user=Zachariassen [2009-08-16 09:40:25] 705*2^711201-1 is not prime. Res64: 05EB9690140CBCB3 Time : 1805.0 sec. user=Zachariassen [2009-08-16 09:41:57] 747*2^711201-1 is not prime. Res64: 77C59A6BD782F497 Time : 1358.0 sec. user=Zachariassen [2009-08-16 09:43:28] 789*2^711201-1 is not prime. Res64: BFB7B23BE1855A45 Time : 1349.0 sec. user=Zachariassen [2009-08-16 09:46:48] 741*2^711201-1 is not prime. Res64: BB5524208E8B2468 Time : 1781.0 sec. user=Zachariassen [2009-08-16 09:46:49] 603*2^711202-1 is not prime. Res64: 17DE6E54185FE110 Time : 1333.0 sec. user=Zachariassen [2009-08-16 09:47:20] 617*2^711202-1 is not prime. Res64: 74C28CD010737C0E Time : 1356.0 sec. user=Zachariassen [2009-08-16 09:50:21] 777*2^711201-1 is not prime. Res64: 87BB132AC6699AD5 Time : 1808.0 sec. user=Zachariassen [2009-08-16 09:50:33] 781*2^711201-1 is not prime. Res64: 4E5E71491372B547 Time : 1807.0 sec. user=Zachariassen [2009-08-16 09:53:08] 653*2^711202-1 is not prime. Res64: 35728EFC05486E49 Time : 1331.0 sec. user=Zachariassen [2009-08-16 09:54:29] 701*2^711202-1 is not prime. Res64: B18C046E561CF8F4 Time : 1328.0 sec. user=Zachariassen [2009-08-16 09:55:16] 621*2^711202-1 is not prime. Res64: B136D2F900B7856A Time : 1791.0 sec. user=Zachariassen [2009-08-16 09:57:59] 615*2^711203-1 is not prime. Res64: 8FB4F1BA449C4BDB Time : 1329.0 sec. user=Zachariassen [2009-08-16 09:58:38] 685*2^711203-1 is not prime. Res64: C94015D419175D74 Time : 1344.0 sec. user=Zachariassen [2009-08-16 10:01:47] 665*2^711202-1 is not prime. Res64: 3C2C09FEE3D28ECE Time : 1785.0 sec. user=Zachariassen [2009-08-16 10:05:03] 689*2^711204-1 is not prime. Res64: 4894F8A3BEA8090A Time : 1386.0 sec. user=Zachariassen [2009-08-16 10:05:10] 705*2^711202-1 is not prime. Res64: 147FF5B1B3CBDC70 Time : 1792.0 sec. user=Zachariassen [2009-08-16 10:05:33] 731*2^711202-1 is not prime. Res64: C4193AC4A8B72284 Time : 1811.0 sec. user=Zachariassen [2009-08-16 10:06:36] 725*2^711204-1 is not prime. Res64: DB25E51A676A2041 Time : 1388.0 sec. user=Zachariassen [2009-08-16 10:10:08] 759*2^711204-1 is not prime. Res64: 0FA877222DB8CF39 Time : 1399.0 sec. user=Zachariassen [2009-08-16 10:10:23] 675*2^711204-1 is not prime. Res64: 448EA461339236E4 Time : 1798.0 sec. user=Zachariassen [2009-08-16 10:10:43] 765*2^711204-1 is not prime. Res64: 844A7485BE06466B Time : 1403.0 sec. user=Zachariassen [2009-08-16 10:16:37] 737*2^711204-1 is not prime. Res64: 070B6C5DF0A8829A Time : 1790.0 sec. user=Zachariassen [2009-08-16 10:17:12] 685*2^711205-1 is not prime. Res64: 081E4E52294CB255 Time : 1444.0 sec. user=Zachariassen [2009-08-16 10:18:57] 717*2^711205-1 is not prime. Res64: F59F17F65BD3C4B3 Time : 1468.0 sec. user=Zachariassen [2009-08-16 10:20:06] 767*2^711204-1 is not prime. Res64: B88F4D7EFC7D8DDA Time : 1786.0 sec. user=Zachariassen [2009-08-16 10:20:49] 773*2^711204-1 is not prime. Res64: 4AE93D3FAB9FCF87 Time : 1816.0 sec. user=Zachariassen [2009-08-16 10:22:08] 741*2^711205-1 is not prime. Res64: 924A7E1EAAD75CED Time : 1449.0 sec. user=Zachariassen [2009-08-16 10:23:17] 757*2^711205-1 is not prime. Res64: 22180C5F468BD0CB Time : 1479.0 sec. user=Zachariassen [2009-08-16 10:25:31] 721*2^711205-1 is not prime. Res64: 77CF63D27A46FE2D Time : 1815.0 sec. user=Zachariassen [2009-08-16 10:31:32] 773*2^711206-1 is not prime. Res64: E488FE0BD2299F4C Time : 1589.0 sec. user=Zachariassen [2009-08-16 10:31:32] 743*2^711206-1 is not prime. Res64: 0A6E4221F1F9E2AE Time : 1785.0 sec. user=Zachariassen [2009-08-16 10:33:32] 693*2^711207-1 is not prime. Res64: 89A8EB4D081DDF33 Time : 1616.0 sec. user=Zachariassen [2009-08-16 10:34:40] 785*2^711206-1 is not prime. Res64: 3369D43C046291E2 Time : 1770.0 sec. user=Zachariassen [2009-08-16 10:35:55] 633*2^711207-1 is not prime. Res64: 7005E4FA0D4ADEEA Time : 1822.0 sec. user=Zachariassen [2009-08-16 10:36:08] 703*2^711207-1 is not prime. Res64: FB0171ECC8F3F0B2 Time : 1560.0 sec. user=Zachariassen [2009-08-16 10:37:27] 781*2^711207-1 is not prime. Res64: BAF65179C9A6BA6E Time : 1605.0 sec. user=Zachariassen [2009-08-16 10:40:36] 735*2^711207-1 is not prime. Res64: 348FFB3311B67542 Time : 1813.0 sec. user=Zachariassen [2009-08-16 10:44:37] 735*2^711208-1 is not prime. Res64: E775E5D0EF899356 Time : 1645.0 sec. user=Zachariassen [2009-08-16 10:45:51] 649*2^711209-1 is not prime. Res64: 7F4316A7CCAAB50B Time : 1615.0 sec. user=Zachariassen [2009-08-16 10:46:42] 707*2^711208-1 is not prime. Res64: D98AD61DCE395301 Time : 1806.0 sec. user=Zachariassen [2009-08-16 10:48:55] 769*2^711209-1 is not prime. Res64: 0EFF3E0C8A58D42D Time : 1608.0 sec. user=Zachariassen [2009-08-16 10:49:34] 675*2^711209-1 is not prime. Res64: 74955DD18B50B970 Time : 1769.0 sec. user=Zachariassen [2009-08-16 10:50:01] 647*2^711210-1 is not prime. Res64: 3C600AF306C96FAE Time : 1604.0 sec. user=Zachariassen [2009-08-16 10:50:50] 697*2^711209-1 is not prime. Res64: 0D720EB2824FC5D2 Time : 1801.0 sec. user=Zachariassen [2009-08-16 10:55:38] 657*2^711210-1 is not prime. Res64: EAFC08C36C5303A7 Time : 1808.0 sec. user=Zachariassen [2009-08-16 10:56:32] 723*2^711210-1 is not prime. Res64: 59241EBAE3CCF68E Time : 1500.0 sec. user=Zachariassen [2009-08-16 10:57:42] 783*2^711210-1 is not prime. Res64: B3EA21258B48AF8B Time : 1451.0 sec. user=Zachariassen [2009-08-16 11:00:54] 673*2^711211-1 is not prime. Res64: 551C49873D5459B1 Time : 1486.0 sec. user=Zachariassen [2009-08-16 11:01:43] 773*2^711210-1 is not prime. Res64: 714E60656C4729C6 Time : 1811.0 sec. user=Zachariassen [2009-08-16 11:01:56] 693*2^711211-1 is not prime. Res64: B70BAC2B2684B5A1 Time : 1469.0 sec. user=Zachariassen [2009-08-16 11:04:18] 791*2^711210-1 is not prime. Res64: 6AE462D573AFF74F Time : 1778.0 sec. user=Zachariassen [2009-08-16 11:05:57] 645*2^711211-1 is not prime. Res64: C4ECD67E0AD4CDB6 Time : 1802.0 sec. user=Zachariassen [2009-08-16 11:09:15] 635*2^711212-1 is not prime. Res64: 01D9A023BEA0BE86 Time : 1479.0 sec. user=Zachariassen [2009-08-16 11:10:21] 669*2^711212-1 is not prime. Res64: CABBD0BA1AB27A70 Time : 1471.0 sec. user=Zachariassen [2009-08-16 11:10:42] 603*2^711212-1 is not prime. Res64: DCE684583F948F03 Time : 1806.0 sec. user=Zachariassen [2009-08-16 11:13:39] 747*2^711213-1 is not prime. Res64: 8AF108443C13EFD4 Time : 1484.0 sec. user=Zachariassen [2009-08-16 11:14:20] 609*2^711215-1 is not prime. Res64: 01E6A7E4C0E5C5A3 Time : 1460.0 sec. user=Zachariassen [2009-08-16 11:16:46] 627*2^711213-1 is not prime. Res64: DE43A5601615DC50 Time : 1805.0 sec. user=Zachariassen [2009-08-16 11:19:13] 611*2^711214-1 is not prime. Res64: F088BA937D6939E9 Time : 1779.0 sec. user=Zachariassen [2009-08-16 11:20:58] 663*2^711215-1 is not prime. Res64: 364F8BFBDDADC36B Time : 1466.0 sec. user=Zachariassen [2009-08-16 11:21:00] 633*2^711215-1 is not prime. Res64: 03AC9AFF1391760C Time : 1811.0 sec. user=Zachariassen [2009-08-16 11:22:51] 735*2^711215-1 is not prime. Res64: 41AA08D8B6D10E6F Time : 1509.0 sec. user=Zachariassen [2009-08-16 11:25:32] 643*2^711215-1 is not prime. Res64: 0B1868597F772225 Time : 1794.0 sec. user=Zachariassen [2009-08-16 11:26:03] 759*2^711215-1 is not prime. Res64: F1D301DE8C5A8C00 Time : 1510.0 sec. user=Zachariassen [2009-08-16 11:26:46] 783*2^711215-1 is not prime. Res64: 0220B2B17C194924 Time : 1490.0 sec. user=Zachariassen [2009-08-16 11:31:37] 763*2^711215-1 is not prime. Res64: 22CDD86D306137B2 Time : 1795.0 sec. user=Zachariassen [2009-08-16 11:34:04] 669*2^711216-1 is not prime. Res64: A54FF98B1171061E Time : 1489.0 sec. user=Zachariassen [2009-08-16 11:34:15] 799*2^711215-1 is not prime. Res64: A026BA75CE24799A Time : 1798.0 sec. user=Zachariassen [2009-08-16 11:35:47] 653*2^711216-1 is not prime. Res64: 6F2D8C35F6A31946 Time : 1791.0 sec. user=Zachariassen [2009-08-16 11:36:08] 675*2^711216-1 is not prime. Res64: D6D9776EC3E7A920 Time : 1548.0 sec. user=Zachariassen [2009-08-16 11:38:51] 717*2^711217-1 is not prime. Res64: 96149C5F09F042B6 Time : 1513.0 sec. user=Zachariassen [2009-08-16 11:39:56] 729*2^711217-1 is not prime. Res64: 3455173040520475 Time : 1536.0 sec. user=Zachariassen [2009-08-16 11:40:34] 717*2^711216-1 is not prime. Res64: 881A19F93E276131 Time : 1792.0 sec. user=Zachariassen [2009-08-16 11:46:39] 799*2^711217-1 is not prime. Res64: 6D39BC8797944567 Time : 1793.0 sec. user=Zachariassen [2009-08-16 11:46:53] 617*2^711218-1 is not prime. Res64: A48EC95B635E2EB0 Time : 1555.0 sec. user=Zachariassen [2009-08-16 11:48:32] 677*2^711218-1 is not prime. Res64: 9081971018AC4CB4 Time : 1542.0 sec. user=Zachariassen [2009-08-16 11:49:05] 605*2^711218-1 is not prime. Res64: 0F15C660BAD6A9AA Time : 1792.0 sec. user=Zachariassen [2009-08-16 11:50:45] 641*2^711218-1 is not prime. Res64: D0AFED8DD92491B4 Time : 1785.0 sec. user=Zachariassen [2009-08-16 11:51:15] 619*2^711219-1 is not prime. Res64: 6E5DD8C9A9DB54B3 Time : 1512.0 sec. user=Zachariassen [2009-08-16 11:52:15] 691*2^711219-1 is not prime. Res64: 7043C5A4BA3D138A Time : 1529.0 sec. user=Zachariassen [2009-08-16 11:55:36] 755*2^711218-1 is not prime. Res64: 8C44A26CBFE7609D Time : 1805.0 sec. user=Zachariassen [2009-08-16 11:58:41] 687*2^711220-1 is not prime. Res64: 6E89F7661C0E423D Time : 1478.0 sec. user=Zachariassen [2009-08-16 12:00:38] 743*2^711220-1 is not prime. Res64: 79EB2ED0023E9F29 Time : 1470.0 sec. user=Zachariassen [2009-08-16 12:01:36] 741*2^711219-1 is not prime. Res64: 9139EB3479665568 Time : 1799.0 sec. user=Zachariassen [2009-08-16 12:03:16] 741*2^711221-1 is not prime. Res64: 018DAD180DC3A5F7 Time : 1465.0 sec. user=Zachariassen [2009-08-16 12:03:52] 699*2^711220-1 is not prime. Res64: BAF5B174CF3FB0DC Time : 1777.0 sec. user=Zachariassen [2009-08-16 12:04:37] 621*2^711222-1 is not prime. Res64: B6C8F5A2914A316F Time : 1481.0 sec. user=Zachariassen [2009-08-16 12:05:49] 719*2^711220-1 is not prime. Res64: 9BB5DD6DCF5FCF38 Time : 1802.0 sec. user=Zachariassen [2009-08-16 12:10:37] 647*2^711222-1 is not prime. Res64: A8942DDEB8A4E71F Time : 1803.0 sec. user=Zachariassen [2009-08-16 12:10:42] 777*2^711222-1 is not prime. Res64: 6EFC0D9D94281A9E Time : 1430.0 sec. user=Zachariassen [2009-08-16 12:13:02] 797*2^711222-1 is not prime. Res64: 7A3F4EE98E75FBAD Time : 1471.0 sec. user=Zachariassen [2009-08-16 12:16:17] 765*2^711223-1 is not prime. Res64: 090F2535D5919BD3 Time : 1502.0 sec. user=Zachariassen [2009-08-16 12:16:35] 705*2^711222-1 is not prime. Res64: 9A6CCE9B2419EAE3 Time : 1796.0 sec. user=Zachariassen [2009-08-16 12:16:49] 665*2^711224-1 is not prime. Res64: 92AF4D70EBF0171B Time : 1475.0 sec. user=Zachariassen [2009-08-16 12:18:45] 723*2^711223-1 is not prime. Res64: 30F4C15F37CE3108 Time : 1781.0 sec. user=Zachariassen [2009-08-16 12:20:42] 735*2^711223-1 is not prime. Res64: BBFE299362B4039D Time : 1798.0 sec. user=Zachariassen [2009-08-16 12:22:56] 685*2^711225-1 is not prime. Res64: E11FA68312CA3800 Time : 1455.0 sec. user=Zachariassen [2009-08-16 12:25:21] 705*2^711225-1 is not prime. Res64: 464CFCD8FDDACE96 Time : 1484.0 sec. user=Zachariassen [2009-08-16 12:25:41] 743*2^711224-1 is not prime. Res64: 468218A3495D7AEA Time : 1805.0 sec. user=Zachariassen [2009-08-16 12:28:36] 735*2^711225-1 is not prime. Res64: 6A82E983CB23651A Time : 1520.0 sec. user=Zachariassen [2009-08-16 12:29:05] 787*2^711225-1 is not prime. Res64: 61BF08DF08F94589 Time : 1469.0 sec. user=Zachariassen [2009-08-16 12:31:27] 711*2^711225-1 is not prime. Res64: 934A107F5DBE397F Time : 1791.0 sec. user=Zachariassen [2009-08-16 12:33:33] 777*2^711225-1 is not prime. Res64: 5D1B2684F6EA1564 Time : 1782.0 sec. user=Zachariassen [2009-08-16 12:35:49] 789*2^711225-1 is not prime. Res64: 39FD25E1F741E38E Time : 1800.0 sec. user=Zachariassen [2009-08-16 12:36:09] 647*2^711226-1 is not prime. Res64: 3965FCB0CC4AAD59 Time : 1528.0 sec. user=Zachariassen [2009-08-16 12:39:11] 657*2^711226-1 is not prime. Res64: E5E88BB90CC971E8 Time : 1569.0 sec. user=Zachariassen [2009-08-16 12:40:56] 603*2^711226-1 is not prime. Res64: 4FE7C052B73D43B3 Time : 1819.0 sec. user=Zachariassen [2009-08-16 12:42:18] 695*2^711226-1 is not prime. Res64: 929B94CB45D2D6E5 Time : 1561.0 sec. user=Zachariassen [2009-08-16 12:42:40] 621*2^711227-1 is not prime. Res64: C42AFD1DC74DE592 Time : 1551.0 sec. user=Zachariassen [2009-08-16 12:46:13] 717*2^711226-1 is not prime. Res64: 5EAC3966D70036C9 Time : 1779.0 sec. user=Zachariassen [2009-08-16 12:48:21] 655*2^711227-1 is not prime. Res64: EA6F88C592083DC4 Time : 1776.0 sec. user=Zachariassen [2009-08-16 12:50:58] 629*2^711228-1 is not prime. Res64: 0DE06D9D31DC3084 Time : 1816.0 sec. user=Zachariassen [2009-08-16 12:51:27] 753*2^711228-1 is not prime. Res64: 1043AE78C53FF429 Time : 1711.0 sec. user=Zachariassen [2009-08-16 12:54:03] 797*2^711228-1 is not prime. Res64: 5D037BF47E7EB20F Time : 1723.0 sec. user=Zachariassen [2009-08-16 12:55:53] 615*2^711229-1 is not prime. Res64: 7DD38B0F0F681FBB Time : 1812.0 sec. user=Zachariassen [2009-08-16 12:57:04] 741*2^711229-1 is not prime. Res64: 59713ED9C6BBC702 Time : 1679.0 sec. user=Zachariassen [2009-08-16 12:57:31] 685*2^711229-1 is not prime. Res64: EEFE1E2B093BFAE5 Time : 1736.0 sec. user=Zachariassen [2009-08-16 13:01:02] 757*2^711229-1 is not prime. Res64: 2097D7E458D90714 Time : 1775.0 sec. user=Zachariassen [2009-08-16 13:03:17] 665*2^711230-1 is not prime. Res64: E226414EBCF6C805 Time : 1784.0 sec. user=Zachariassen [2009-08-16 13:04:48] 797*2^711230-1 is not prime. Res64: 7E51D77A5282830B Time : 1719.0 sec. user=Zachariassen [2009-08-16 13:05:59] 711*2^711230-1 is not prime. Res64: A0C358384C95FE4D Time : 1810.0 sec. user=Zachariassen [2009-08-16 13:07:38] 619*2^711231-1 is not prime. Res64: 50BCE4543F82A106 Time : 1707.0 sec. user=Zachariassen [2009-08-16 13:10:04] 669*2^711231-1 is not prime. Res64: F45050BEFA483F03 Time : 1644.0 sec. user=Zachariassen [2009-08-16 13:10:20] 639*2^711231-1 is not prime. Res64: 15EA6D842630CF2A Time : 1683.0 sec. user=Zachariassen [2009-08-16 13:10:55] 625*2^711231-1 is not prime. Res64: 74AFE4E1CD3FCFB8 Time : 1800.0 sec. user=Zachariassen [2009-08-16 13:16:06] 709*2^711231-1 is not prime. Res64: ED97082E5103D586 Time : 1795.0 sec. user=Zachariassen [2009-08-16 13:16:57] 695*2^711232-1 is not prime. Res64: C096CFCAE11A7919 Time : 1530.0 sec. user=Zachariassen [2009-08-16 13:18:18] 741*2^711231-1 is not prime. Res64: E02354C6649791F7 Time : 1798.0 sec. user=Zachariassen [2009-08-16 13:20:12] 765*2^711232-1 is not prime. Res64: 9CCAE8E97E6797C7 Time : 1570.0 sec. user=Zachariassen [2009-08-16 13:20:57] 783*2^711231-1 is not prime. Res64: 7E251606824EB03E Time : 1799.0 sec. user=Zachariassen [2009-08-16 13:21:45] 615*2^711233-1 is not prime. Res64: EF23DD438F3548E8 Time : 1481.0 sec. user=Zachariassen [2009-08-16 13:22:37] 637*2^711233-1 is not prime. Res64: 06948CC1E3A26B03 Time : 1507.0 sec. user=Zachariassen [2009-08-16 13:25:51] 797*2^711232-1 is not prime. Res64: 67FC325DFA6C92B7 Time : 1799.0 sec. user=Zachariassen [2009-08-16 13:28:48] 697*2^711233-1 is not prime. Res64: 7A2D6FBED6FC74A0 Time : 1441.0 sec. user=Zachariassen [2009-08-16 13:30:59] 651*2^711233-1 is not prime. Res64: B35D1D3B757199DB Time : 1797.0 sec. user=Zachariassen [2009-08-16 13:32:36] 795*2^711233-1 is not prime. Res64: C7D5CBCB62271F0C Time : 1499.0 sec. user=Zachariassen [2009-08-16 13:33:20] 691*2^711233-1 is not prime. Res64: FA967323BEB68F42 Time : 1804.0 sec. user=Zachariassen [2009-08-16 13:33:44] 651*2^711234-1 is not prime. Res64: AFC9D99BC473D382 Time : 1420.0 sec. user=Zachariassen [2009-08-16 13:34:53] 705*2^711234-1 is not prime. Res64: D0AEE4E90C84F802 Time : 1474.0 sec. user=Zachariassen [2009-08-16 13:36:00] 771*2^711233-1 is not prime. Res64: 40D5DCC2913DA637 Time : 1801.0 sec. user=Zachariassen [2009-08-16 13:40:06] 765*2^711234-1 is not prime. Res64: 581CF1DEFFEAEC55 Time : 1389.0 sec. user=Zachariassen [2009-08-16 13:40:43] 737*2^711234-1 is not prime. Res64: 29B6A6AB4D8CC81A Time : 1789.0 sec. user=Zachariassen [2009-08-16 13:43:44] 773*2^711234-1 is not prime. Res64: 24FDB63879F2AF53 Time : 1413.0 sec. user=Zachariassen [2009-08-16 13:44:43] 645*2^711235-1 is not prime. Res64: C32E878EDDA97B5A Time : 1379.0 sec. user=Zachariassen [2009-08-16 13:45:51] 755*2^711234-1 is not prime. Res64: 4491BDA8AB62D7EC Time : 1785.0 sec. user=Zachariassen [2009-08-16 13:45:53] 649*2^711235-1 is not prime. Res64: 5210141DD113775D Time : 1397.0 sec. user=Zachariassen [2009-08-16 13:48:12] 767*2^711234-1 is not prime. Res64: AE1651C6324F91F8 Time : 1797.0 sec. user=Zachariassen [2009-08-16 13:50:45] 603*2^711235-1 is not prime. Res64: 6C4DE277ECFEE576 Time : 1788.0 sec. user=Zachariassen [2009-08-16 13:51:21] 707*2^711236-1 is not prime. Res64: 5BFE79518D43FFAD Time : 1355.0 sec. user=Zachariassen [2009-08-16 13:54:52] 769*2^711237-1 is not prime. Res64: 2C1A7005AA364040 Time : 1337.0 sec. user=Zachariassen [2009-08-16 13:55:16] 773*2^711238-1 is not prime. Res64: 0531AE0FD58B9E27 Time : 1294.0 sec. user=Zachariassen [2009-08-16 13:55:55] 635*2^711236-1 is not prime. Res64: 088F19991828A213 Time : 1805.0 sec. user=Zachariassen [2009-08-16 13:56:56] 791*2^711238-1 is not prime. Res64: DC0C187B077940EE Time : 1324.0 sec. user=Zachariassen [2009-08-16 14:00:42] 725*2^711236-1 is not prime. Res64: 58959B6D13EA9896 Time : 1785.0 sec. user=Zachariassen [2009-08-16 14:02:59] 723*2^711238-1 is not prime. Res64: 181A1D376D9D585A Time : 1779.0 sec. user=Zachariassen [2009-08-16 14:02:59] 685*2^711239-1 is not prime. Res64: 2997EB9D6F46A4F6 Time : 1373.0 sec. user=Zachariassen [2009-08-16 14:05:34] 615*2^711239-1 is not prime. Res64: A7539DBB9AB1334D Time : 1775.0 sec. user=Zachariassen [2009-08-16 14:06:29] 789*2^711239-1 is not prime. Res64: 7AA1652D7A4EAFF5 Time : 1366.0 sec. user=Zachariassen [2009-08-16 14:06:53] 615*2^711240-1 is not prime. Res64: 92A0455281DCE57E Time : 1330.0 sec. user=Zachariassen [2009-08-16 14:08:32] 713*2^711240-1 is not prime. Res64: 9D34ED600C84D882 Time : 1359.0 sec. user=Zachariassen [2009-08-16 14:10:49] 693*2^711239-1 is not prime. Res64: D2C432C1F4267F29 Time : 1807.0 sec. user=Zachariassen [2009-08-16 14:13:58] 683*2^711242-1 is not prime. Res64: 4F7C094F7DB7B8BB Time : 1357.0 sec. user=Zachariassen [2009-08-16 14:15:38] 707*2^711240-1 is not prime. Res64: 4B5E979BE842DBA7 Time : 1788.0 sec. user=Zachariassen [2009-08-16 14:17:18] 705*2^711242-1 is not prime. Res64: ECD7A578EFB99B09 Time : 1347.0 sec. user=Zachariassen [2009-08-16 14:17:56] 785*2^711242-1 is not prime. Res64: C4A5D4AD8D8B4BB6 Time : 1360.0 sec. user=Zachariassen [2009-08-16 14:18:10] 767*2^711240-1 is not prime. Res64: 1317C9A5EF75A93A Time : 1799.0 sec. user=Zachariassen [2009-08-16 14:19:36] 735*2^711243-1 is not prime. Res64: C43EA66FB2E73F7A Time : 1360.0 sec. user=Zachariassen [2009-08-16 14:20:46] 635*2^711242-1 is not prime. Res64: 2C8FF6FFC902241C Time : 1801.0 sec. user=Zachariassen [2009-08-16 14:25:15] 719*2^711244-1 is not prime. Res64: 04D70A22E26D4467 Time : 1336.0 sec. user=Zachariassen [2009-08-16 14:25:48] 703*2^711243-1 is not prime. Res64: F9BB8B0714788532 Time : 1793.0 sec. user=Zachariassen [2009-08-16 14:28:45] 607*2^711245-1 is not prime. Res64: 42DCD296BA4C0BA5 Time : 1336.0 sec. user=Zachariassen [2009-08-16 14:29:24] 697*2^711245-1 is not prime. Res64: 9330F0C4E872A543 Time : 1351.0 sec. user=Zachariassen [2009-08-16 14:30:42] 745*2^711243-1 is not prime. Res64: 86BED29AF5A22B98 Time : 1801.0 sec. user=Zachariassen [2009-08-16 14:30:52] 727*2^711245-1 is not prime. Res64: 27A4A367714CD68C Time : 1341.0 sec. user=Zachariassen [2009-08-16 14:33:01] 751*2^711243-1 is not prime. Res64: 56C3BD0275C40738 Time : 1803.0 sec. user=Zachariassen [2009-08-16 14:35:39] 743*2^711244-1 is not prime. Res64: C42486A1A4862FEC Time : 1805.0 sec. user=Zachariassen [2009-08-16 14:36:01] 771*2^711245-1 is not prime. Res64: F2488F0C0A5778E9 Time : 1324.0 sec. user=Zachariassen [2009-08-16 14:39:44] 725*2^711246-1 is not prime. Res64: 9F339F20E249F8E2 Time : 1346.0 sec. user=Zachariassen [2009-08-16 14:40:25] 737*2^711246-1 is not prime. Res64: 3704C64398616314 Time : 1349.0 sec. user=Zachariassen [2009-08-16 14:40:46] 759*2^711245-1 is not prime. Res64: 130200424093F41A Time : 1797.0 sec. user=Zachariassen [2009-08-16 14:42:05] 681*2^711247-1 is not prime. Res64: 8EDBD4174395A21A Time : 1349.0 sec. user=Zachariassen [2009-08-16 14:45:37] 781*2^711245-1 is not prime. Res64: 1775C7647BEB6C84 Time : 1799.0 sec. user=Zachariassen [2009-08-16 14:47:55] 675*2^711247-1 is not prime. Res64: C3E4AFC1C91BD42C Time : 1785.0 sec. user=Zachariassen [2009-08-16 14:48:02] 705*2^711247-1 is not prime. Res64: 920F04292A501B13 Time : 1367.0 sec. user=Zachariassen [2009-08-16 14:50:24] 693*2^711247-1 is not prime. Res64: 5C7FD291E490C122 Time : 1780.0 sec. user=Zachariassen [2009-08-16 14:52:31] 683*2^711248-1 is not prime. Res64: 02D893CECB352F83 Time : 1426.0 sec. user=Zachariassen [2009-08-16 14:53:03] 699*2^711248-1 is not prime. Res64: 4640FD1CB745A40F Time : 1419.0 sec. user=Zachariassen [2009-08-16 14:54:18] 615*2^711249-1 is not prime. Res64: 93491D2E7164FCE2 Time : 1407.0 sec. user=Zachariassen [2009-08-16 14:55:43] 629*2^711248-1 is not prime. Res64: CE3F300072510B75 Time : 1795.0 sec. user=Zachariassen [2009-08-16 14:59:32] 639*2^711249-1 is not prime. Res64: A6366C1E7234A2C7 Time : 1412.0 sec. user=Zachariassen [2009-08-16 15:00:34] 759*2^711248-1 is not prime. Res64: FE9A74914165AC3D Time : 1794.0 sec. user=Zachariassen [2009-08-16 15:02:54] 625*2^711249-1 is not prime. Res64: 3BF6ECB57C7C23F3 Time : 1794.0 sec. user=Zachariassen [2009-08-16 15:03:50] 759*2^711249-1 is not prime. Res64: 414349E52BB2CDD4 Time : 1447.0 sec. user=Zachariassen [2009-08-16 15:04:01] 653*2^711250-1 is not prime. Res64: BB0CAA906C44F8EA Time : 1417.0 sec. user=Zachariassen [2009-08-16 15:05:20] 627*2^711249-1 is not prime. Res64: D4AE236C40DE4216 Time : 1782.0 sec. user=Zachariassen [2009-08-16 15:05:38] 755*2^711250-1 is not prime. Res64: 98CA3DC405902762 Time : 1415.0 sec. user=Zachariassen [2009-08-16 15:10:50] 701*2^711250-1 is not prime. Res64: CF735D7973A74D28 Time : 1804.0 sec. user=Zachariassen [2009-08-16 15:14:48] 685*2^711251-1 is not prime. Res64: D21C39774D88A840 Time : 1607.0 sec. user=Zachariassen [2009-08-16 15:15:21] 791*2^711250-1 is not prime. Res64: B21B0CB36B962E30 Time : 1784.0 sec. user=Zachariassen [2009-08-16 15:16:04] 703*2^711251-1 is not prime. Res64: C02F160A18B51C45 Time : 1413.0 sec. user=Zachariassen [2009-08-16 15:16:13] 745*2^711251-1 is not prime. Res64: 8AA566774371FF32 Time : 1391.0 sec. user=Zachariassen [2009-08-16 15:17:36] 753*2^711251-1 is not prime. Res64: 0CF178DF2B70F6A9 Time : 1398.0 sec. user=Zachariassen [2009-08-16 15:17:52] 645*2^711251-1 is not prime. Res64: 9DE751922AEF960F Time : 1797.0 sec. user=Zachariassen [2009-08-16 15:20:17] 693*2^711251-1 is not prime. Res64: A568E2A682197F83 Time : 1794.0 sec. user=Zachariassen [2009-08-16 15:23:18] 625*2^711253-1 is not prime. Res64: E566512F3A26E6B7 Time : 1429.0 sec. user=Zachariassen [2009-08-16 15:26:06] 779*2^711252-1 is not prime. Res64: 5A6F8E067E2417DE Time : 1823.0 sec. user=Zachariassen [2009-08-16 15:27:29] 775*2^711253-1 is not prime. Res64: 83F15FD7BED25061 Time : 1419.0 sec. user=Zachariassen [2009-08-16 15:27:30] 675*2^711254-1 is not prime. Res64: 0B59F743020A189A Time : 1409.0 sec. user=Zachariassen [2009-08-16 15:29:00] 693*2^711255-1 is not prime. Res64: 417645DEC60E6BBA Time : 1402.0 sec. user=Zachariassen [2009-08-16 15:30:24] 639*2^711253-1 is not prime. Res64: 9E81CF6DCEF8320E Time : 1790.0 sec. user=Zachariassen [2009-08-16 15:32:45] 771*2^711253-1 is not prime. Res64: 1E8260360091EE66 Time : 1792.0 sec. user=Zachariassen [2009-08-16 15:34:45] 645*2^711256-1 is not prime. Res64: 27FD8569581AF81B Time : 1136.0 sec. user=Zachariassen [2009-08-16 15:35:11] 625*2^711255-1 is not prime. Res64: A82CFB03E4972AB8 Time : 1791.0 sec. user=Zachariassen [2009-08-16 15:38:45] 773*2^711256-1 is not prime. Res64: 31F1FFA0E7B241EA Time : 1362.0 sec. user=Zachariassen [2009-08-16 15:38:55] 777*2^711256-1 is not prime. Res64: 87F111612F574D1A Time : 1362.0 sec. user=Zachariassen [2009-08-16 15:40:20] 619*2^711257-1 is not prime. Res64: 0081C4D800EE21B7 Time : 1364.0 sec. user=Zachariassen [2009-08-16 15:41:06] 735*2^711255-1 is not prime. Res64: 1A225C957A62BDB8 Time : 1816.0 sec. user=Zachariassen [2009-08-16 15:45:16] 623*2^711256-1 is not prime. Res64: 1B6F79EAF21EE098 Time : 1795.0 sec. user=Zachariassen [2009-08-16 15:46:23] 759*2^711257-1 is not prime. Res64: 2E22D2C2D1416CDC Time : 1386.0 sec. user=Zachariassen [2009-08-16 15:47:33] 715*2^711257-1 is not prime. Res64: 8713306E502ED0B4 Time : 1782.0 sec. user=Zachariassen [2009-08-16 15:49:55] 691*2^711259-1 is not prime. Res64: C6E0840D352DE839 Time : 1346.0 sec. user=Zachariassen [2009-08-16 15:50:09] 717*2^711257-1 is not prime. Res64: 98C3E5BC48558BD8 Time : 1793.0 sec. user=Zachariassen [2009-08-16 15:50:14] 759*2^711259-1 is not prime. Res64: 50341D9EF7E8B950 Time : 1364.0 sec. user=Zachariassen [2009-08-16 15:51:31] 603*2^711260-1 is not prime. Res64: A0DCD1FDA0743357 Time : 1353.0 sec. user=Zachariassen [2009-08-16 15:55:58] 681*2^711258-1 is not prime. Res64: 03259FDE0BB712C6 Time : 1792.0 sec. user=Zachariassen [2009-08-16 15:57:25] 665*2^711260-1 is not prime. Res64: 1FBF8A74ED6F067B Time : 1360.0 sec. user=Zachariassen [2009-08-16 16:00:17] 633*2^711260-1 is not prime. Res64: 21DAB4490BCB31F0 Time : 1793.0 sec. user=Zachariassen [2009-08-16 16:01:06] 691*2^711261-1 is not prime. Res64: 04F1618E9F0DB827 Time : 1342.0 sec. user=Zachariassen [2009-08-16 16:01:41] 781*2^711261-1 is not prime. Res64: 29AC6F4317AE5BC1 Time : 1368.0 sec. user=Zachariassen [2009-08-16 16:02:31] 647*2^711260-1 is not prime. Res64: CC4D11C01A1728D7 Time : 1787.0 sec. user=Zachariassen [2009-08-16 16:03:12] 651*2^711262-1 is not prime. Res64: 0C2A56674B6A42C8 Time : 1372.0 sec. user=Zachariassen [2009-08-16 16:05:04] 719*2^711260-1 is not prime. Res64: A0C30EFC313AC939 Time : 1794.0 sec. user=Zachariassen [2009-08-16 16:08:56] 713*2^711262-1 is not prime. Res64: 2F9F4B718EDC3228 Time : 1353.0 sec. user=Zachariassen [2009-08-16 16:10:52] 675*2^711262-1 is not prime. Res64: 6CB04BB9589BF0F6 Time : 1786.0 sec. user=Zachariassen [2009-08-16 16:12:28] 737*2^711262-1 is not prime. Res64: A9A0DA4B18BAAADC Time : 1353.0 sec. user=Zachariassen [2009-08-16 16:12:47] 785*2^711262-1 is not prime. Res64: 59D48F5501BC2DB3 Time : 1354.0 sec. user=Zachariassen [2009-08-16 16:14:15] 633*2^711263-1 is not prime. Res64: 67617FDD9DA7320C Time : 1364.0 sec. user=Zachariassen [2009-08-16 16:15:19] 681*2^711262-1 is not prime. Res64: 1476FE1897E7EC7E Time : 1803.0 sec. user=Zachariassen [2009-08-16 16:17:36] 723*2^711262-1 is not prime. Res64: 72EFCB2525BE8102 Time : 1803.0 sec. user=Zachariassen [2009-08-16 16:19:52] 741*2^711262-1 is not prime. Res64: 9BDB3B81058614BC Time : 1783.0 sec. user=Zachariassen [2009-08-16 16:20:00] 663*2^711264-1 is not prime. Res64: D82D65BAB5FC0796 Time : 1356.0 sec. user=Zachariassen [2009-08-16 16:23:20] 705*2^711264-1 is not prime. Res64: 84969ACEFC615CD2 Time : 1335.0 sec. user=Zachariassen [2009-08-16 16:23:59] 707*2^711264-1 is not prime. Res64: CF1ECE88DD015862 Time : 1339.0 sec. user=Zachariassen [2009-08-16 16:25:16] 679*2^711265-1 is not prime. Res64: 466D08AD7CD8B296 Time : 1324.0 sec. user=Zachariassen [2009-08-16 16:25:42] 735*2^711263-1 is not prime. Res64: EE6BA7608A99401B Time : 1784.0 sec. user=Zachariassen [2009-08-16 16:30:15] 689*2^711264-1 is not prime. Res64: D52ADD74A4E8E3F6 Time : 1799.0 sec. user=Zachariassen [2009-08-16 16:30:51] 623*2^711266-1 is not prime. Res64: F6170617BBAC9C50 Time : 1316.0 sec. user=Zachariassen [2009-08-16 16:32:32] 649*2^711265-1 is not prime. Res64: C405B0FAFDC0182C Time : 1801.0 sec. user=Zachariassen [2009-08-16 16:34:23] 711*2^711266-1 is not prime. Res64: 91E2BF31FE3BC8DD Time : 1315.0 sec. user=Zachariassen [2009-08-16 16:34:39] 775*2^711265-1 is not prime. Res64: 8C80A47B6F8DD9A0 Time : 1775.0 sec. user=Zachariassen [2009-08-16 16:34:53] 669*2^711267-1 is not prime. Res64: 8533F08377836598 Time : 1326.0 sec. user=Zachariassen [2009-08-16 16:36:15] 647*2^711268-1 is not prime. Res64: B57DEFB4082890B2 Time : 1320.0 sec. user=Zachariassen [2009-08-16 16:40:45] 671*2^711266-1 is not prime. Res64: FC0E6F1EE40273DD Time : 1793.0 sec. user=Zachariassen [2009-08-16 16:42:08] 699*2^711269-1 is not prime. Res64: 5C45F67ACD6E221F Time : 1328.0 sec. user=Zachariassen [2009-08-16 16:45:12] 657*2^711268-1 is not prime. Res64: B127678134058F3B Time : 1793.0 sec. user=Zachariassen [2009-08-16 16:45:50] 747*2^711269-1 is not prime. Res64: DB2910EA2240D028 Time : 1350.0 sec. user=Zachariassen [2009-08-16 16:46:26] 615*2^711270-1 is not prime. Res64: B1C92B886525D311 Time : 1347.0 sec. user=Zachariassen [2009-08-16 16:47:25] 689*2^711268-1 is not prime. Res64: 0A29B4216F55EBE0 Time : 1789.0 sec. user=Zachariassen [2009-08-16 16:48:01] 777*2^711270-1 is not prime. Res64: ACBEF9D4045F5BDC Time : 1365.0 sec. user=Zachariassen [2009-08-16 16:49:36] 619*2^711269-1 is not prime. Res64: 60BCA4581EDBD466 Time : 1785.0 sec. user=Zachariassen [2009-08-16 16:53:45] 793*2^711271-1 is not prime. Res64: 385D7D8C213F2F31 Time : 1374.0 sec. user=Zachariassen [2009-08-16 16:55:38] 625*2^711271-1 is not prime. Res64: 0D454577C62162E6 Time : 1796.0 sec. user=Zachariassen [2009-08-16 16:57:18] 635*2^711272-1 is not prime. Res64: B80447F39646A323 Time : 1375.0 sec. user=Zachariassen [2009-08-16 16:58:03] 687*2^711272-1 is not prime. Res64: 18B2038BF7356577 Time : 1390.0 sec. user=Zachariassen [2009-08-16 16:59:16] 693*2^711272-1 is not prime. Res64: EFB4FC564AA87121 Time : 1382.0 sec. user=Zachariassen [2009-08-16 17:00:19] 651*2^711271-1 is not prime. Res64: 9A205A914A9ADCDD Time : 1804.0 sec. user=Zachariassen [2009-08-16 17:02:20] 623*2^711272-1 is not prime. Res64: 91871CFF6B5C6207 Time : 1788.0 sec. user=Zachariassen [2009-08-16 17:04:23] 669*2^711272-1 is not prime. Res64: 8575613E4D904948 Time : 1784.0 sec. user=Zachariassen [2009-08-16 17:04:57] 625*2^711273-1 is not prime. Res64: 9C5212409F7E02B9 Time : 1370.0 sec. user=Zachariassen [2009-08-16 17:08:27] 787*2^711273-1 is not prime. Res64: C18B056E0C8F093C Time : 1357.0 sec. user=Zachariassen [2009-08-16 17:09:03] 789*2^711273-1 is not prime. Res64: 3EE43E9CBEB9C6BE Time : 1357.0 sec. user=Zachariassen [2009-08-16 17:10:09] 657*2^711274-1 is not prime. Res64: 5FCA0D0DFB90AEA5 Time : 1328.0 sec. user=Zachariassen [2009-08-16 17:10:49] 743*2^711272-1 is not prime. Res64: 1458FA3E68E65A6A Time : 1804.0 sec. user=Zachariassen [2009-08-16 17:15:04] 699*2^711273-1 is not prime. Res64: B477833256C60CD9 Time : 1792.0 sec. user=Zachariassen [2009-08-16 17:15:55] 699*2^711275-1 is not prime. Res64: 948DF17B9FBF37F0 Time : 1331.0 sec. user=Zachariassen [2009-08-16 17:17:28] 635*2^711274-1 is not prime. Res64: 6DAF2C59571E6C83 Time : 1805.0 sec. user=Zachariassen [2009-08-16 17:19:24] 717*2^711274-1 is not prime. Res64: AC94D14693B26699 Time : 1789.0 sec. user=Zachariassen [2009-08-16 17:19:26] 789*2^711275-1 is not prime. Res64: 4EC5750C1C9F6067 Time : 1328.0 sec. user=Zachariassen [2009-08-16 17:20:06] 675*2^711276-1 is not prime. Res64: 8FCE4A815EB39DB8 Time : 1324.0 sec. user=Zachariassen [2009-08-16 17:21:02] 693*2^711276-1 is not prime. Res64: 0E7CF96AEC033A7A Time : 1307.0 sec. user=Zachariassen [2009-08-16 17:25:51] 733*2^711275-1 is not prime. Res64: A39FD4670DFD4D50 Time : 1813.0 sec. user=Zachariassen [2009-08-16 17:27:10] 639*2^711277-1 is not prime. Res64: 7987049C8A0472F2 Time : 1334.0 sec. user=Zachariassen [2009-08-16 17:29:49] 735*2^711276-1 is not prime. Res64: 493B41921778BF49 Time : 1770.0 sec. user=Zachariassen [2009-08-16 17:30:41] 667*2^711277-1 is not prime. Res64: A5AD1200E737940A Time : 1335.0 sec. user=Zachariassen [2009-08-16 17:31:21] 685*2^711277-1 is not prime. Res64: 92622C4DB13C16FA Time : 1338.0 sec. user=Zachariassen [2009-08-16 17:32:23] 773*2^711276-1 is not prime. Res64: 8C1FE638ECF247E9 Time : 1803.0 sec. user=Zachariassen [2009-08-16 17:32:28] 747*2^711277-1 is not prime. Res64: B258C8D35595134C Time : 1339.0 sec. user=Zachariassen [2009-08-16 17:34:16] 625*2^711277-1 is not prime. Res64: A8BF794F6184EB35 Time : 1793.0 sec. user=Zachariassen [2009-08-16 17:38:20] 665*2^711278-1 is not prime. Res64: 00D308DAC8671BEC Time : 1345.0 sec. user=Zachariassen [2009-08-16 17:40:55] 777*2^711277-1 is not prime. Res64: 1032A54BF11ABB67 Time : 1806.0 sec. user=Zachariassen [2009-08-16 17:41:37] 713*2^711278-1 is not prime. Res64: 60FD614D55B9CC19 Time : 1331.0 sec. user=Zachariassen [2009-08-16 17:42:31] 755*2^711278-1 is not prime. Res64: 3D9DBDE30A1D7549 Time : 1346.0 sec. user=Zachariassen [2009-08-16 17:43:14] 791*2^711278-1 is not prime. Res64: CED86EF8936D3A5E Time : 1333.0 sec. user=Zachariassen [2009-08-16 17:44:45] 635*2^711278-1 is not prime. Res64: 0B898E6F5A1AEEBF Time : 1782.0 sec. user=Zachariassen [2009-08-16 17:47:25] 687*2^711278-1 is not prime. Res64: 033E48836726C994 Time : 1798.0 sec. user=Zachariassen [2009-08-16 17:49:07] 693*2^711278-1 is not prime. Res64: F25A306816D34D66 Time : 1784.0 sec. user=Zachariassen [2009-08-16 17:49:48] 609*2^711279-1 is not prime. Res64: 682239E4993D49F3 Time : 1358.0 sec. user=Zachariassen [2009-08-16 17:52:46] 639*2^711279-1 is not prime. Res64: 9A0F4E4981ADA94C Time : 1325.0 sec. user=Zachariassen [2009-08-16 17:54:00] 685*2^711279-1 is not prime. Res64: BDE1B1CE163A7C96 Time : 1360.0 sec. user=Zachariassen [2009-08-16 17:54:34] 793*2^711279-1 is not prime. Res64: DA3038814F43771D Time : 1327.0 sec. user=Zachariassen [2009-08-16 17:55:53] 601*2^711279-1 is not prime. Res64: 594389536B14378D Time : 1802.0 sec. user=Zachariassen [2009-08-16 17:59:41] 625*2^711279-1 is not prime. Res64: CECB77423AAB3E50 Time : 1792.0 sec. user=Zachariassen [2009-08-16 18:01:35] 695*2^711280-1 is not prime. Res64: 14C605B29DEB6E2A Time : 1395.0 sec. user=Zachariassen [2009-08-16 18:02:29] 705*2^711279-1 is not prime. Res64: FEB31D066215F31C Time : 1806.0 sec. user=Zachariassen [2009-08-16 18:04:03] 607*2^711281-1 is not prime. Res64: F0E902235ADA41C4 Time : 1347.0 sec. user=Zachariassen [2009-08-16 18:04:14] 635*2^711280-1 is not prime. Res64: 8A64305C7E05294D Time : 1799.0 sec. user=Zachariassen [2009-08-16 18:05:20] 691*2^711281-1 is not prime. Res64: 4C959BF1B0551A52 Time : 1370.0 sec. user=Zachariassen [2009-08-16 18:05:44] 727*2^711281-1 is not prime. Res64: 99241201BA4705A5 Time : 1350.0 sec. user=Zachariassen [2009-08-16 18:10:41] 601*2^711281-1 is not prime. Res64: 443CF517E8C8F0D4 Time : 1786.0 sec. user=Zachariassen [2009-08-16 18:12:25] 665*2^711282-1 is not prime. Res64: 92A5F144BE0BB82A Time : 1358.0 sec. user=Zachariassen [2009-08-16 18:14:38] 769*2^711281-1 is not prime. Res64: 9EDADCCD1CD896B9 Time : 1794.0 sec. user=Zachariassen [2009-08-16 18:15:00] 755*2^711282-1 is not prime. Res64: 10F16BD97CB0B69D Time : 1334.0 sec. user=Zachariassen [2009-08-16 18:16:21] 619*2^711283-1 is not prime. Res64: 4F4CADC5D29BBE2F Time : 1342.0 sec. user=Zachariassen [2009-08-16 18:16:49] 649*2^711283-1 is not prime. Res64: 7CFD1844FE5E578E Time : 1336.0 sec. user=Zachariassen [2009-08-16 18:17:11] 789*2^711281-1 is not prime. Res64: D063DD9D960DBD82 Time : 1787.0 sec. user=Zachariassen [2009-08-16 18:19:04] 621*2^711282-1 is not prime. Res64: CABE416BFAEDF94F Time : 1797.0 sec. user=Zachariassen [2009-08-16 18:23:59] 765*2^711283-1 is not prime. Res64: B344FD400F08A6E3 Time : 1345.0 sec. user=Zachariassen [2009-08-16 18:25:41] 699*2^711283-1 is not prime. Res64: 8CFFDEC47590D97D Time : 1788.0 sec. user=Zachariassen [2009-08-16 18:27:03] 675*2^711284-1 is not prime. Res64: 80EDB1EF63634A7F Time : 1381.0 sec. user=Zachariassen [2009-08-16 18:28:19] 759*2^711284-1 is not prime. Res64: 13535A8DC4812404 Time : 1379.0 sec. user=Zachariassen [2009-08-16 18:28:38] 651*2^711285-1 is not prime. Res64: 50ADF614C7F85206 Time : 1375.0 sec. user=Zachariassen [2009-08-16 18:29:44] 741*2^711283-1 is not prime. Res64: BD1C825A17ECB215 Time : 1807.0 sec. user=Zachariassen [2009-08-16 18:32:07] 623*2^711284-1 is not prime. Res64: B2EB5B3476997551 Time : 1778.0 sec. user=Zachariassen [2009-08-16 18:33:59] 699*2^711284-1 is not prime. Res64: 4E92FC1E0F0E005F Time : 1787.0 sec. user=Zachariassen [2009-08-16 18:35:13] 709*2^711285-1 is not prime. Res64: 46859F59101C3657 Time : 1368.0 sec. user=Zachariassen [2009-08-16 18:38:04] 765*2^711285-1 is not prime. Res64: CB48E08506F62855 Time : 1385.0 sec. user=Zachariassen [2009-08-16 18:39:20] 603*2^711286-1 is not prime. Res64: 3DAA1D472AF358B1 Time : 1380.0 sec. user=Zachariassen [2009-08-16 18:39:27] 647*2^711286-1 is not prime. Res64: 904944463B20A2E2 Time : 1358.0 sec. user=Zachariassen [2009-08-16 18:40:27] 691*2^711285-1 is not prime. Res64: A74B609DACAE22C1 Time : 1787.0 sec. user=Zachariassen [2009-08-16 18:44:49] 759*2^711285-1 is not prime. Res64: DE20A4D7871B4776 Time : 1812.0 sec. user=Zachariassen [2009-08-16 18:46:37] 703*2^711287-1 is not prime. Res64: 25991884392EC55A Time : 1358.0 sec. user=Zachariassen [2009-08-16 18:46:55] 755*2^711286-1 is not prime. Res64: 8E53573B72C6FFDA Time : 1785.0 sec. user=Zachariassen [2009-08-16 18:48:54] 615*2^711287-1 is not prime. Res64: 9E08F9928954BC7E Time : 1791.0 sec. user=Zachariassen [2009-08-16 18:49:57] 775*2^711287-1 is not prime. Res64: 97E23468A2AB0CB1 Time : 1375.0 sec. user=Zachariassen [2009-08-16 18:51:04] 707*2^711288-1 is not prime. Res64: 5CE6666C4028CE85 Time : 1365.0 sec. user=Zachariassen [2009-08-16 18:51:08] 737*2^711288-1 is not prime. Res64: 754F9E7DF67167F6 Time : 1350.0 sec. user=Zachariassen [2009-08-16 18:55:28] 729*2^711287-1 is not prime. Res64: 0DB1F2DE2066F543 Time : 1787.0 sec. user=Zachariassen [2009-08-16 18:58:07] 799*2^711289-1 is not prime. Res64: 4A6A070C00A0163D Time : 1374.0 sec. user=Zachariassen [2009-08-16 18:59:47] 747*2^711288-1 is not prime. Res64: 0F07A41BBD8B215F Time : 1804.0 sec. user=Zachariassen [2009-08-16 19:01:05] 641*2^711290-1 is not prime. Res64: B32EC7E043D999BD Time : 1381.0 sec. user=Zachariassen [2009-08-16 19:01:55] 661*2^711289-1 is not prime. Res64: B6EAD53FA1E895D6 Time : 1789.0 sec. user=Zachariassen [2009-08-16 19:02:12] 609*2^711291-1 is not prime. Res64: 2EEF0A1FF6308648 Time : 1365.0 sec. user=Zachariassen [2009-08-16 19:02:17] 783*2^711290-1 is not prime. Res64: A511D8C7A22751B5 Time : 1377.0 sec. user=Zachariassen [2009-08-16 19:03:55] 687*2^711289-1 is not prime. Res64: C5A49A9EF779119B Time : 1796.0 sec. user=Zachariassen [2009-08-16 19:09:24] 609*2^711292-1 is not prime. Res64: AC5AAC1B8EE83128 Time : 1368.0 sec. user=Zachariassen [2009-08-16 19:10:36] 669*2^711291-1 is not prime. Res64: 49B01E91DA07CC2F Time : 1809.0 sec. user=Zachariassen [2009-08-16 19:12:38] 653*2^711292-1 is not prime. Res64: D4A7B05EDAF3748E Time : 1361.0 sec. user=Zachariassen [2009-08-16 19:13:12] 607*2^711293-1 is not prime. Res64: BE1DA5BCD452F86E Time : 1324.0 sec. user=Zachariassen [2009-08-16 19:13:22] 665*2^711292-1 is not prime. Res64: 956E2956DFBB3346 Time : 1338.0 sec. user=Zachariassen [2009-08-16 19:14:44] 781*2^711291-1 is not prime. Res64: AB7BD0315190EEB5 Time : 1796.0 sec. user=Zachariassen [2009-08-16 19:16:44] 615*2^711292-1 is not prime. Res64: F667B3BFF6516296 Time : 1789.0 sec. user=Zachariassen [2009-08-16 19:18:39] 639*2^711292-1 is not prime. Res64: 790523B932BC017B Time : 1786.0 sec. user=Zachariassen [2009-08-16 19:20:38] 795*2^711293-1 is not prime. Res64: F60A820B01C167BB Time : 1352.0 sec. user=Zachariassen [2009-08-16 19:24:03] 683*2^711294-1 is not prime. Res64: CECED82CF51F0F85 Time : 1378.0 sec. user=Zachariassen [2009-08-16 19:24:29] 685*2^711295-1 is not prime. Res64: FEE25371598810D7 Time : 1332.0 sec. user=Zachariassen [2009-08-16 19:24:35] 609*2^711295-1 is not prime. Res64: 289DBCB2EB8F2C9D Time : 1344.0 sec. user=Zachariassen [2009-08-16 19:25:23] 771*2^711293-1 is not prime. Res64: AC94C386DDF9B18A Time : 1796.0 sec. user=Zachariassen [2009-08-16 19:29:36] 663*2^711294-1 is not prime. Res64: 13255F69816BBC0F Time : 1790.0 sec. user=Zachariassen [2009-08-16 19:31:49] 693*2^711294-1 is not prime. Res64: 40B26C5ED72B8855 Time : 1795.0 sec. user=Zachariassen [2009-08-16 19:32:45] 715*2^711295-1 is not prime. Res64: 22C29DAC0E7E4E6F Time : 1402.0 sec. user=Zachariassen [2009-08-16 19:33:05] 709*2^711295-1 is not prime. Res64: 9BE3E052B74FB9A1 Time : 1750.0 sec. user=Zachariassen [2009-08-16 19:36:11] 699*2^711296-1 is not prime. Res64: 5A2BC7D46BEFF09D Time : 1415.0 sec. user=Zachariassen [2009-08-16 19:36:25] 601*2^711297-1 is not prime. Res64: A5B93926796E15FF Time : 1383.0 sec. user=Zachariassen [2009-08-16 19:36:45] 755*2^711296-1 is not prime. Res64: 5CA198C672B78DE1 Time : 1414.0 sec. user=Zachariassen [2009-08-16 19:40:25] 763*2^711295-1 is not prime. Res64: EE738BA387CA9CA4 Time : 1789.0 sec. user=Zachariassen [2009-08-16 19:43:41] 639*2^711297-1 is not prime. Res64: FD9F27E5A498EDA7 Time : 1738.0 sec. user=Zachariassen [2009-08-16 19:43:43] 685*2^711299-1 is not prime. Res64: 3DE057F7D9342C46 Time : 1387.0 sec. user=Zachariassen [2009-08-16 19:46:43] 649*2^711297-1 is not prime. Res64: 90A6FAD8AA0423B3 Time : 1799.0 sec. user=Zachariassen [2009-08-16 19:47:13] 711*2^711299-1 is not prime. Res64: 403885CEF1B8B36E Time : 1390.0 sec. user=Zachariassen [2009-08-16 19:47:29] 633*2^711300-1 is not prime. Res64: 48537747640DA071 Time : 1375.0 sec. user=Zachariassen [2009-08-16 19:47:33] 609*2^711300-1 is not prime. Res64: C3672AEDA6862C97 Time : 1384.0 sec. user=Zachariassen [2009-08-16 19:48:00] 739*2^711297-1 is not prime. Res64: AF02097B3E14532F Time : 1762.0 sec. user=Zachariassen [2009-08-16 19:54:42] 695*2^711300-1 is not prime. Res64: 9DB6926A1A0DA9C6 Time : 1759.0 sec. user=Zachariassen [2009-08-16 19:54:45] 783*2^711300-1 is not prime. Res64: 3900594E7C61AFDD Time : 1321.0 sec. user=Zachariassen [2009-08-16 19:58:12] 645*2^711301-1 is not prime. Res64: 1A4966E77CD57F7F Time : 1323.0 sec. user=Zachariassen [2009-08-16 19:58:24] 707*2^711300-1 is not prime. Res64: 31271FC009555754 Time : 1728.0 sec. user=Zachariassen [2009-08-16 19:58:28] 757*2^711301-1 is not prime. Res64: 3AF85A3CD2711676 Time : 1324.0 sec. user=Zachariassen [2009-08-16 19:58:30] 789*2^711301-1 is not prime. Res64: 127D0059A374EB38 Time : 1306.0 sec. user=Zachariassen [2009-08-16 20:01:33] 753*2^711300-1 is not prime. Res64: 03356D5526252277 Time : 1785.0 sec. user=Zachariassen [2009-08-16 20:02:59] 615*2^711301-1 is not prime. Res64: CDFB724A2424F4DE Time : 1795.0 sec. user=Zachariassen [2009-08-16 20:05:37] 665*2^711302-1 is not prime. Res64: 35F85FFCFBFB0A48 Time : 1314.0 sec. user=Zachariassen [2009-08-16 20:09:18] 617*2^711302-1 is not prime. Res64: E6A754CC5452737A Time : 1733.0 sec. user=Zachariassen [2009-08-16 20:09:27] 649*2^711303-1 is not prime. Res64: 28D4551F9F50E475 Time : 1335.0 sec. user=Zachariassen [2009-08-16 20:09:47] 691*2^711303-1 is not prime. Res64: 55CF509A448EA046 Time : 1336.0 sec. user=Zachariassen [2009-08-16 20:10:14] 679*2^711303-1 is not prime. Res64: 3AA622FE37F1204D Time : 1366.0 sec. user=Zachariassen [2009-08-16 20:13:08] 623*2^711302-1 is not prime. Res64: 73F1342A01D7961B Time : 1768.0 sec. user=Zachariassen [2009-08-16 20:16:30] 613*2^711303-1 is not prime. Res64: DD04BA85425C94B0 Time : 1788.0 sec. user=Zachariassen [2009-08-16 20:17:11] 635*2^711304-1 is not prime. Res64: E53575DFC418A193 Time : 1347.0 sec. user=Zachariassen [2009-08-16 20:17:40] 615*2^711304-1 is not prime. Res64: DF6FE6FDD9C31D2A Time : 1781.0 sec. user=Zachariassen [2009-08-16 20:20:55] 645*2^711305-1 is not prime. Res64: 2676DD8EE73475B3 Time : 1363.0 sec. user=Zachariassen [2009-08-16 20:21:30] 669*2^711305-1 is not prime. Res64: 96D27755AF2EB28D Time : 1382.0 sec. user=Zachariassen [2009-08-16 20:21:39] 717*2^711305-1 is not prime. Res64: 38BFFED4FF6C4A63 Time : 1390.0 sec. user=Zachariassen [2009-08-16 20:23:55] 617*2^711304-1 is not prime. Res64: 16652AA274745656 Time : 1753.0 sec. user=Zachariassen [2009-08-16 20:27:51] 657*2^711305-1 is not prime. Res64: 7CA2A3370388AC92 Time : 1767.0 sec. user=Zachariassen [2009-08-16 20:28:54] 631*2^711307-1 is not prime. Res64: 99B3CBDF9370F62A Time : 1397.0 sec. user=Zachariassen [2009-08-16 20:31:20] 725*2^711306-1 is not prime. Res64: BC08EBC26B48B2C7 Time : 1787.0 sec. user=Zachariassen [2009-08-16 20:32:10] 651*2^711307-1 is not prime. Res64: 5B3952677A4EBB06 Time : 1363.0 sec. user=Zachariassen [2009-08-16 20:32:15] 747*2^711306-1 is not prime. Res64: 93F1B697794EB7EF Time : 1757.0 sec. user=Zachariassen [2009-08-16 20:32:50] 715*2^711307-1 is not prime. Res64: 440D73D9B1DB9A97 Time : 1383.0 sec. user=Zachariassen [2009-08-16 20:32:54] 759*2^711307-1 is not prime. Res64: 6050D2799B2CE1F9 Time : 1361.0 sec. user=Zachariassen [2009-08-16 20:38:43] 649*2^711307-1 is not prime. Res64: 284051CE6AC515F7 Time : 1765.0 sec. user=Zachariassen [2009-08-16 20:40:09] 621*2^711309-1 is not prime. Res64: 999A56C8C6C2D19A Time : 1378.0 sec. user=Zachariassen [2009-08-16 20:42:36] 793*2^711307-1 is not prime. Res64: 7E3A6A36861744D6 Time : 1769.0 sec. user=Zachariassen [2009-08-16 20:43:27] 765*2^711309-1 is not prime. Res64: 404F6FB8832EC79E Time : 1352.0 sec. user=Zachariassen [2009-08-16 20:44:09] 795*2^711309-1 is not prime. Res64: 18BEBD7B4CF4B55A Time : 1359.0 sec. user=Zachariassen [2009-08-16 20:44:34] 695*2^711310-1 is not prime. Res64: 0BEEDD8C4D21DF29 Time : 1376.0 sec. user=Zachariassen [2009-08-16 20:46:05] 669*2^711308-1 is not prime. Res64: 31E306B234983B7F Time : 1775.0 sec. user=Zachariassen [2009-08-16 20:46:57] 709*2^711309-1 is not prime. Res64: 4B9D09F66CC02457 Time : 1757.0 sec. user=Zachariassen [2009-08-16 20:50:58] 623*2^711312-1 is not prime. Res64: F67D7A3B61CFBDF3 Time : 1324.0 sec. user=Zachariassen [2009-08-16 20:53:28] 703*2^711311-1 is not prime. Res64: F8C314A895859571 Time : 1773.0 sec. user=Zachariassen [2009-08-16 20:54:28] 779*2^711312-1 is not prime. Res64: 8646647D5EE062CF Time : 1338.0 sec. user=Zachariassen [2009-08-16 20:55:03] 671*2^711314-1 is not prime. Res64: 86A8EBC58AFF6417 Time : 1334.0 sec. user=Zachariassen [2009-08-16 20:55:28] 753*2^711314-1 is not prime. Res64: 001AF2717EC3CD5B Time : 1354.0 sec. user=Zachariassen [2009-08-16 20:57:18] 741*2^711311-1 is not prime. Res64: A1536410CA60ACEF Time : 1768.0 sec. user=Zachariassen [2009-08-16 21:00:58] 719*2^711312-1 is not prime. Res64: 1FE7B7724435FEBC Time : 1778.0 sec. user=Zachariassen [2009-08-16 21:01:45] 741*2^711313-1 is not prime. Res64: 90EF73A2873B0B67 Time : 1770.0 sec. user=Zachariassen [2009-08-16 21:02:30] 609*2^711315-1 is not prime. Res64: 8543093A2DA16774 Time : 1342.0 sec. user=Zachariassen [2009-08-16 21:05:59] 709*2^711315-1 is not prime. Res64: 15F1623FFA25BEC1 Time : 1353.0 sec. user=Zachariassen [2009-08-16 21:06:29] 735*2^711315-1 is not prime. Res64: 7D16387DCDB6B0F6 Time : 1341.0 sec. user=Zachariassen [2009-08-16 21:07:02] 609*2^711316-1 is not prime. Res64: 967AE1E14EC25295 Time : 1348.0 sec. user=Zachariassen [2009-08-16 21:07:55] 755*2^711314-1 is not prime. Res64: 4197ECB13D90C355 Time : 1752.0 sec. user=Zachariassen [2009-08-16 21:11:43] 619*2^711315-1 is not prime. Res64: F7684680665173C8 Time : 1748.0 sec. user=Zachariassen [2009-08-16 21:13:30] 749*2^711316-1 is not prime. Res64: 122496EC64502A18 Time : 1352.0 sec. user=Zachariassen [2009-08-16 21:16:12] 705*2^711316-1 is not prime. Res64: 7776ED277DB96279 Time : 1807.0 sec. user=Zachariassen [2009-08-16 21:16:33] 717*2^711316-1 is not prime. Res64: D9C48E941FA62533 Time : 1778.0 sec. user=Zachariassen [2009-08-16 21:17:03] 691*2^711317-1 is not prime. Res64: E954B5A1EA810B66 Time : 1355.0 sec. user=Zachariassen [2009-08-16 21:17:31] 711*2^711317-1 is not prime. Res64: BB4833E590A7FC84 Time : 1349.0 sec. user=Zachariassen [2009-08-16 21:18:02] 759*2^711317-1 is not prime. Res64: 93570620D55EE0CA Time : 1355.0 sec. user=Zachariassen [2009-08-16 21:22:28] 773*2^711316-1 is not prime. Res64: 20EB0DA42EAADE4C Time : 1741.0 sec. user=Zachariassen [2009-08-16 21:24:37] 625*2^711319-1 is not prime. Res64: E85A9A6702B07CE0 Time : 1327.0 sec. user=Zachariassen [2009-08-16 21:26:12] 621*2^711318-1 is not prime. Res64: ADD232A28967FD9C Time : 1735.0 sec. user=Zachariassen [2009-08-16 21:28:19] 633*2^711319-1 is not prime. Res64: 8AFE95D7E5B91E95 Time : 1340.0 sec. user=Zachariassen [2009-08-16 21:28:50] 639*2^711319-1 is not prime. Res64: F53E38698D2C5D88 Time : 1343.0 sec. user=Zachariassen [2009-08-16 21:29:16] 775*2^711319-1 is not prime. Res64: 12C782BE3240B382 Time : 1334.0 sec. user=Zachariassen [2009-08-16 21:31:12] 755*2^711318-1 is not prime. Res64: E9F5E27D4BE25E03 Time : 1768.0 sec. user=Zachariassen [2009-08-16 21:31:30] 651*2^711318-1 is not prime. Res64: 73C9A5F3BF25E5A5 Time : 1833.0 sec. user=Zachariassen [2009-08-16 21:36:58] 725*2^711320-1 is not prime. Res64: 58ACDA5FDFE51DF2 Time : 1408.0 sec. user=Zachariassen [2009-08-16 21:37:07] 789*2^711319-1 is not prime. Res64: F52BB898198BA336 Time : 1752.0 sec. user=Zachariassen [2009-08-16 21:40:26] 795*2^711321-1 is not prime. Res64: E30BC2EBB1F3037E Time : 1403.0 sec. user=Zachariassen [2009-08-16 21:41:02] 717*2^711320-1 is not prime. Res64: FADE4E47CA3D8C53 Time : 1759.0 sec. user=Zachariassen [2009-08-16 21:41:06] 603*2^711322-1 is not prime. Res64: 7D695F510EBAA905 Time : 1416.0 sec. user=Zachariassen [2009-08-16 21:41:35] 665*2^711322-1 is not prime. Res64: 49FCC821B558E5AB Time : 1414.0 sec. user=Zachariassen [2009-08-16 21:45:45] 747*2^711321-1 is not prime. Res64: 91C044FD38186589 Time : 1752.0 sec. user=Zachariassen [2009-08-16 21:46:42] 657*2^711321-1 is not prime. Res64: 4A45EF4F707EC542 Time : 1831.0 sec. user=Zachariassen [2009-08-16 21:48:56] 695*2^711322-1 is not prime. Res64: 46108732F993F155 Time : 1460.0 sec. user=Zachariassen [2009-08-16 21:51:28] 671*2^711322-1 is not prime. Res64: AE5FDF4842521792 Time : 1740.0 sec. user=Zachariassen [2009-08-16 21:52:17] 735*2^711323-1 is not prime. Res64: D0C6C3DF5DA8ACC0 Time : 1438.0 sec. user=Zachariassen [2009-08-16 21:52:59] 771*2^711323-1 is not prime. Res64: E005CC638A577485 Time : 1449.0 sec. user=Zachariassen [2009-08-16 21:53:29] 689*2^711324-1 is not prime. Res64: B2CD7A776592E846 Time : 1454.0 sec. user=Zachariassen [2009-08-16 21:55:50] 663*2^711323-1 is not prime. Res64: 3D3E856187B6877D Time : 1779.0 sec. user=Zachariassen [2009-08-16 22:00:58] 707*2^711324-1 is not prime. Res64: 7277061AF6E63D88 Time : 1788.0 sec. user=Zachariassen [2009-08-16 22:01:21] 609*2^711325-1 is not prime. Res64: 10CB23EC93FD5039 Time : 1463.0 sec. user=Zachariassen [2009-08-16 22:01:23] 753*2^711324-1 is not prime. Res64: 6225F29D0CED5DA6 Time : 1793.0 sec. user=Zachariassen [2009-08-16 22:05:35] 679*2^711325-1 is not prime. Res64: 4E91BCE5FF830E77 Time : 1509.0 sec. user=Zachariassen [2009-08-16 22:05:43] 651*2^711325-1 is not prime. Res64: E8CE82ED245FE6DF Time : 1717.0 sec. user=Zachariassen [2009-08-16 22:05:46] 615*2^711326-1 is not prime. Res64: 2572B9DF23BB8D9D Time : 1481.0 sec. user=Zachariassen [2009-08-16 22:06:25] 743*2^711326-1 is not prime. Res64: 5D3FC65662F4759C Time : 1491.0 sec. user=Zachariassen [2009-08-16 22:10:45] 771*2^711325-1 is not prime. Res64: 62982A5B376A9838 Time : 1783.0 sec. user=Zachariassen [2009-08-16 22:13:13] 765*2^711327-1 is not prime. Res64: BCABBDE490F16DDE Time : 1457.0 sec. user=Zachariassen [2009-08-16 22:15:40] 747*2^711326-1 is not prime. Res64: 564ADB3558261BD0 Time : 1795.0 sec. user=Zachariassen [2009-08-16 22:16:09] 625*2^711327-1 is not prime. Res64: 802C2D1A4EA8D5AA Time : 1768.0 sec. user=Zachariassen [2009-08-16 22:16:23] 677*2^711328-1 is not prime. Res64: F16C7A4FFB71F75C Time : 1446.0 sec. user=Zachariassen [2009-08-16 22:16:37] 705*2^711328-1 is not prime. Res64: 7C16F54A04FB4EB0 Time : 1418.0 sec. user=Zachariassen [2009-08-16 22:17:13] 707*2^711328-1 is not prime. Res64: 04B89DDE91EF976E Time : 1425.0 sec. user=Zachariassen [2009-08-16 22:20:38] 635*2^711328-1 is not prime. Res64: 2B326F83B5E5F20C Time : 1750.0 sec. user=Zachariassen [2009-08-16 22:24:06] 691*2^711329-1 is not prime. Res64: 33767380D948FB5D Time : 1366.0 sec. user=Zachariassen [2009-08-16 22:25:09] 773*2^711328-1 is not prime. Res64: 6DAEFBDBAA1AF66E Time : 1761.0 sec. user=Zachariassen [2009-08-16 22:27:38] 727*2^711329-1 is not prime. Res64: 70AD036D2C0C69A5 Time : 1323.0 sec. user=Zachariassen [2009-08-16 22:28:12] 633*2^711330-1 is not prime. Res64: 54AFC12727CA7E0A Time : 1347.0 sec. user=Zachariassen [2009-08-16 22:28:25] 711*2^711330-1 is not prime. Res64: 365E8A7C727B9BFA Time : 1320.0 sec. user=Zachariassen [2009-08-16 22:30:12] 675*2^711329-1 is not prime. Res64: 506FFBDC72229077 Time : 1754.0 sec. user=Zachariassen [2009-08-16 22:30:58] 697*2^711329-1 is not prime. Res64: FB5B1F82C1A436A2 Time : 1776.0 sec. user=Zachariassen [2009-08-16 22:35:25] 775*2^711329-1 is not prime. Res64: 8927751DE66A65B5 Time : 1782.0 sec. user=Zachariassen [2009-08-16 22:35:55] 735*2^711331-1 is not prime. Res64: 03D8AD49A469F456 Time : 1363.0 sec. user=Zachariassen [2009-08-16 22:39:04] 665*2^711334-1 is not prime. Res64: 7A585688886DEEE3 Time : 1363.0 sec. user=Zachariassen [2009-08-16 22:39:33] 705*2^711334-1 is not prime. Res64: CAC9460622766293 Time : 1376.0 sec. user=Zachariassen [2009-08-16 22:39:46] 717*2^711334-1 is not prime. Res64: DE288D13105FF2F5 Time : 1353.0 sec. user=Zachariassen [2009-08-16 22:39:59] 703*2^711331-1 is not prime. Res64: 0DE07EA8807712C8 Time : 1755.0 sec. user=Zachariassen [2009-08-16 22:44:58] 797*2^711332-1 is not prime. Res64: A720972913B1AAC4 Time : 1759.0 sec. user=Zachariassen [2009-08-16 22:45:34] 745*2^711333-1 is not prime. Res64: 81C8BF43B39748F0 Time : 1765.0 sec. user=Zachariassen [2009-08-16 22:46:56] 765*2^711334-1 is not prime. Res64: D124AECDC3D9F0AD Time : 1372.0 sec. user=Zachariassen [2009-08-16 22:50:15] 755*2^711334-1 is not prime. Res64: 1A8FC6773A78BF9F Time : 1779.0 sec. user=Zachariassen [2009-08-16 22:50:20] 643*2^711335-1 is not prime. Res64: 8DAF6AB102A799E6 Time : 1362.0 sec. user=Zachariassen [2009-08-16 22:50:39] 685*2^711335-1 is not prime. Res64: 31D9B2FFACD4634C Time : 1348.0 sec. user=Zachariassen [2009-08-16 22:51:00] 735*2^711335-1 is not prime. Res64: CC42D60E3B4295AC Time : 1355.0 sec. user=Zachariassen [2009-08-16 22:54:39] 783*2^711334-1 is not prime. Res64: 9F083FF5EF251F96 Time : 1771.0 sec. user=Zachariassen [2009-08-16 22:58:25] 627*2^711336-1 is not prime. Res64: BC92E591718B311E Time : 1351.0 sec. user=Zachariassen [2009-08-16 22:59:38] 741*2^711335-1 is not prime. Res64: 3070D9B12843FD47 Time : 1766.0 sec. user=Zachariassen [2009-08-16 23:00:15] 771*2^711335-1 is not prime. Res64: C05676B418A23980 Time : 1758.0 sec. user=Zachariassen [2009-08-16 23:02:03] 633*2^711336-1 is not prime. Res64: C080A3A9F823CD94 Time : 1380.0 sec. user=Zachariassen [2009-08-16 23:02:24] 635*2^711336-1 is not prime. Res64: 931CA65FCCA462A8 Time : 1372.0 sec. user=Zachariassen [2009-08-16 23:02:38] 657*2^711336-1 is not prime. Res64: 8302EF92DAC25D61 Time : 1372.0 sec. user=Zachariassen [2009-08-16 23:04:56] 775*2^711335-1 is not prime. Res64: FE79BF969101ED94 Time : 1771.0 sec. user=Zachariassen [2009-08-16 23:09:30] 707*2^711336-1 is not prime. Res64: 370BB12E17E16439 Time : 1772.0 sec. user=Zachariassen [2009-08-16 23:09:43] 741*2^711337-1 is not prime. Res64: 889D5E055A32BFE3 Time : 1368.0 sec. user=Zachariassen [2009-08-16 23:13:12] 711*2^711338-1 is not prime. Res64: 758E3FBF8BBCCFEB Time : 1373.0 sec. user=Zachariassen [2009-08-16 23:13:15] 613*2^711339-1 is not prime. Res64: 3B358BEA4A7A54C1 Time : 1357.0 sec. user=Zachariassen [2009-08-16 23:13:35] 705*2^711339-1 is not prime. Res64: 967D425FC6F69127 Time : 1355.0 sec. user=Zachariassen [2009-08-16 23:14:31] 619*2^711337-1 is not prime. Res64: 918859E45079C91A Time : 1774.0 sec. user=Zachariassen [2009-08-16 23:14:47] 637*2^711337-1 is not prime. Res64: ED312242947CEE44 Time : 1754.0 sec. user=Zachariassen [2009-08-16 23:19:43] 617*2^711338-1 is not prime. Res64: B2AD78A5AC5740E1 Time : 1769.0 sec. user=Zachariassen [2009-08-16 23:20:43] 789*2^711339-1 is not prime. Res64: 8FFB7E1C0350A6B2 Time : 1338.0 sec. user=Zachariassen [2009-08-16 23:23:54] 751*2^711339-1 is not prime. Res64: 2F1DF71AF61D798B Time : 1756.0 sec. user=Zachariassen [2009-08-16 23:24:05] 717*2^711340-1 is not prime. Res64: 561DFFD862E05EB8 Time : 1322.0 sec. user=Zachariassen [2009-08-16 23:24:14] 777*2^711340-1 is not prime. Res64: 89C975515AA8C6F4 Time : 1316.0 sec. user=Zachariassen [2009-08-16 23:24:36] 615*2^711341-1 is not prime. Res64: F72C8E3C575FB521 Time : 1319.0 sec. user=Zachariassen [2009-08-16 23:29:12] 677*2^711340-1 is not prime. Res64: 1E99B5D7B0415C75 Time : 1775.0 sec. user=Zachariassen [2009-08-16 23:29:38] 695*2^711340-1 is not prime. Res64: 5FDB58746074DB59 Time : 1763.0 sec. user=Zachariassen [2009-08-16 23:31:50] 777*2^711341-1 is not prime. Res64: 8B355258D01259FA Time : 1327.0 sec. user=Zachariassen [2009-08-16 23:34:45] 741*2^711341-1 is not prime. Res64: 54A2594D7E4FF4D2 Time : 1789.0 sec. user=Zachariassen [2009-08-16 23:34:56] 621*2^711342-1 is not prime. Res64: BFFF92D0044791D3 Time : 1304.0 sec. user=Zachariassen [2009-08-16 23:35:14] 635*2^711342-1 is not prime. Res64: EA82D9100C6A8838 Time : 1300.0 sec. user=Zachariassen [2009-08-16 23:35:14] 627*2^711342-1 is not prime. Res64: 9DCFFE60A0437A42 Time : 1319.0 sec. user=Zachariassen [2009-08-16 23:38:11] 745*2^711341-1 is not prime. Res64: C2975C51DB011DC4 Time : 1722.0 sec. user=Zachariassen [2009-08-16 23:43:02] 703*2^711343-1 is not prime. Res64: 55408F1D1B20C3CC Time : 1340.0 sec. user=Zachariassen [2009-08-16 23:44:00] 681*2^711342-1 is not prime. Res64: 58601AC8EA2DC7CC Time : 1770.0 sec. user=Zachariassen [2009-08-16 23:44:26] 661*2^711343-1 is not prime. Res64: 2FDF0EF4404CE4B0 Time : 1779.0 sec. user=Zachariassen [2009-08-16 23:46:31] 625*2^711345-1 is not prime. Res64: 6B7365D286C250A7 Time : 1347.0 sec. user=Zachariassen [2009-08-16 23:46:51] 627*2^711345-1 is not prime. Res64: 839D88E8082C1785 Time : 1357.0 sec. user=Zachariassen [2009-08-16 23:46:52] 739*2^711345-1 is not prime. Res64: 1EAACE16D93311DE Time : 1336.0 sec. user=Zachariassen [2009-08-16 23:49:39] 679*2^711343-1 is not prime. Res64: F1C5F882C4275309 Time : 1796.0 sec. user=Zachariassen [2009-08-16 23:52:50] 609*2^711345-1 is not prime. Res64: FB25493612B267FD Time : 1736.0 sec. user=Zachariassen [2009-08-16 23:55:16] 781*2^711345-1 is not prime. Res64: A5945634047E3A0B Time : 1406.0 sec. user=Zachariassen [2009-08-16 23:58:34] 751*2^711345-1 is not prime. Res64: AE7AC7B6FE50FE65 Time : 1763.0 sec. user=Zachariassen [2009-08-16 23:58:45] 677*2^711346-1 is not prime. Res64: AFD7381C5A295B4C Time : 1429.0 sec. user=Zachariassen [2009-08-16 23:58:57] 755*2^711346-1 is not prime. Res64: E6755DAAA7AC791C Time : 1423.0 sec. user=Zachariassen [2009-08-16 23:59:03] 777*2^711345-1 is not prime. Res64: AEBC984FB2A2CDB8 Time : 1765.0 sec. user=Zachariassen [2009-08-16 23:59:05] 783*2^711346-1 is not prime. Res64: 5FA267544341AFAD Time : 1431.0 sec.