user=Zachariassen [2009-08-15 00:00:37] 777*2^710857-1 is not prime. Res64: 236F8C1D8467FAC5 Time : 1303.0 sec. user=Zachariassen [2009-08-15 00:00:42] 747*2^710857-1 is not prime. Res64: A126CC7BE4E56F62 Time : 1317.0 sec. user=Zachariassen [2009-08-15 00:01:57] 705*2^710858-1 is not prime. Res64: B65D726F23D6AD73 Time : 1337.0 sec. user=Zachariassen [2009-08-15 00:02:40] 743*2^710858-1 is not prime. Res64: 8F95E748DDAD2C2A Time : 1298.0 sec. user=vaughan [2009-08-15 00:07:17] 615*2^710861-1 is not prime. Res64: 61003158449446DE Time : 795.0 sec. user=vaughan [2009-08-15 00:09:43] 711*2^710861-1 is not prime. Res64: 4EB2A3398625A6F7 Time : 941.0 sec. user=Zachariassen [2009-08-15 00:11:51] 609*2^710860-1 is not prime. Res64: 857A3E3C4286D401 Time : 1317.0 sec. user=Zachariassen [2009-08-15 00:11:57] 605*2^710860-1 is not prime. Res64: B1EA3A3E56E6979F Time : 1332.0 sec. user=Zachariassen [2009-08-15 00:12:13] 685*2^710859-1 is not prime. Res64: 063D1FF76D0CE115 Time : 1727.0 sec. user=Zachariassen [2009-08-15 00:12:21] 669*2^710859-1 is not prime. Res64: 680BE79B92CAFFBC Time : 1776.0 sec. user=Zachariassen [2009-08-15 00:12:23] 625*2^710859-1 is not prime. Res64: E55A45252CCE9AC5 Time : 1794.0 sec. user=Zachariassen [2009-08-15 00:12:56] 647*2^710860-1 is not prime. Res64: 91779E012672C17D Time : 1319.0 sec. user=Zachariassen [2009-08-15 00:13:21] 751*2^710859-1 is not prime. Res64: 72F2E9B8C87F2769 Time : 1761.0 sec. user=vaughan [2009-08-15 00:13:35] 773*2^710860-1 is not prime. Res64: 1BBF3D1FB8F4317B Time : 1173.0 sec. user=vaughan [2009-08-15 00:13:43] 645*2^710861-1 is not prime. Res64: BA79BBA145E289BD Time : 1181.0 sec. user=Zachariassen [2009-08-15 00:13:56] 765*2^710860-1 is not prime. Res64: A3CB3321BF8136A9 Time : 1326.0 sec. user=Zachariassen [2009-08-15 00:23:21] 609*2^710863-1 is not prime. Res64: BD7B97EDF51A6B88 Time : 1364.0 sec. user=Zachariassen [2009-08-15 00:23:21] 663*2^710863-1 is not prime. Res64: 7937D53D3CED71EA Time : 1360.0 sec. user=Zachariassen [2009-08-15 00:24:39] 725*2^710864-1 is not prime. Res64: BE628A04CA13FC55 Time : 1363.0 sec. user=Zachariassen [2009-08-15 00:25:23] 753*2^710864-1 is not prime. Res64: 7D1FAF7DA64FDE70 Time : 1363.0 sec. user=Zachariassen [2009-08-15 00:26:52] 755*2^710862-1 is not prime. Res64: 8A954EC94D0B91F8 Time : 1743.0 sec. user=Zachariassen [2009-08-15 00:27:05] 741*2^710862-1 is not prime. Res64: CB90146DC197E331 Time : 1762.0 sec. user=Zachariassen [2009-08-15 00:27:07] 745*2^710861-1 is not prime. Res64: CA3EEE12814D2A07 Time : 1787.0 sec. user=Zachariassen [2009-08-15 00:28:03] 791*2^710862-1 is not prime. Res64: 91215E31472E0F86 Time : 1776.0 sec. user=Zachariassen [2009-08-15 00:33:50] 611*2^710866-1 is not prime. Res64: 421C4EF45C0AF46A Time : 1320.0 sec. user=Zachariassen [2009-08-15 00:34:20] 645*2^710866-1 is not prime. Res64: 0CF93B70D04B7054 Time : 1343.0 sec. user=Zachariassen [2009-08-15 00:35:42] 701*2^710866-1 is not prime. Res64: A5F1B76474E4BF5F Time : 1366.0 sec. user=Zachariassen [2009-08-15 00:36:23] 737*2^710866-1 is not prime. Res64: 0B67171634FC37E3 Time : 1348.0 sec. user=Zachariassen [2009-08-15 00:41:36] 651*2^710866-1 is not prime. Res64: 8C3B9F0ADC4FD22C Time : 1763.0 sec. user=Zachariassen [2009-08-15 00:41:46] 653*2^710866-1 is not prime. Res64: BF53E13D697658D9 Time : 1765.0 sec. user=Zachariassen [2009-08-15 00:42:04] 677*2^710866-1 is not prime. Res64: 0C2C63C9BEF8BF11 Time : 1781.0 sec. user=Zachariassen [2009-08-15 00:42:28] 717*2^710866-1 is not prime. Res64: 600EF4AC258CEDA5 Time : 1748.0 sec. user=Zachariassen [2009-08-15 00:44:59] 663*2^710867-1 is not prime. Res64: F0D5F7BE611D97A6 Time : 1298.0 sec. user=Zachariassen [2009-08-15 00:46:04] 643*2^710867-1 is not prime. Res64: 9D98960628226E80 Time : 1363.0 sec. user=Zachariassen [2009-08-15 00:47:06] 669*2^710867-1 is not prime. Res64: A2E29F42B31B55B9 Time : 1347.0 sec. user=Zachariassen [2009-08-15 00:47:49] 673*2^710867-1 is not prime. Res64: D31292B443FD7237 Time : 1346.0 sec. user=Zachariassen [2009-08-15 00:55:49] 759*2^710869-1 is not prime. Res64: ADE6144D12C7BE76 Time : 1319.0 sec. user=Zachariassen [2009-08-15 00:56:19] 699*2^710867-1 is not prime. Res64: 1E20277B4A9899FC Time : 1767.0 sec. user=Zachariassen [2009-08-15 00:56:26] 781*2^710867-1 is not prime. Res64: 11EF6C522E306135 Time : 1761.0 sec. user=Zachariassen [2009-08-15 00:56:55] 765*2^710869-1 is not prime. Res64: 9AEBACA320FAEADE Time : 1356.0 sec. user=Zachariassen [2009-08-15 00:56:57] 635*2^710868-1 is not prime. Res64: DB166373CFE79CB0 Time : 1790.0 sec. user=Zachariassen [2009-08-15 00:57:41] 689*2^710868-1 is not prime. Res64: 002F11A320390945 Time : 1778.0 sec. user=Zachariassen [2009-08-15 00:58:06] 603*2^710870-1 is not prime. Res64: 706945AAF8C29DFC Time : 1344.0 sec. user=Zachariassen [2009-08-15 00:58:42] 713*2^710870-1 is not prime. Res64: F453940367615647 Time : 1339.0 sec. user=Zachariassen [2009-08-15 01:06:38] 677*2^710872-1 is not prime. Res64: 4390C7BF1BCB3BAF Time : 1300.0 sec. user=Zachariassen [2009-08-15 01:07:33] 705*2^710872-1 is not prime. Res64: 214B6A32DC53278B Time : 1289.0 sec. user=Zachariassen [2009-08-15 01:09:04] 747*2^710872-1 is not prime. Res64: 12C60923143AD43E Time : 1319.0 sec. user=Zachariassen [2009-08-15 01:09:33] 785*2^710872-1 is not prime. Res64: A758BD75CF762D3D Time : 1304.0 sec. user=Zachariassen [2009-08-15 01:10:57] 649*2^710871-1 is not prime. Res64: 956DDD19D90F54C2 Time : 1761.0 sec. user=Zachariassen [2009-08-15 01:11:35] 669*2^710871-1 is not prime. Res64: 7198DB6E2119C161 Time : 1790.0 sec. user=Zachariassen [2009-08-15 01:12:11] 751*2^710871-1 is not prime. Res64: 3E6B920E0F693C48 Time : 1807.0 sec. user=Zachariassen [2009-08-15 01:12:21] 783*2^710871-1 is not prime. Res64: EEA7DB4F2FE8A419 Time : 1793.0 sec. user=Zachariassen [2009-08-15 01:18:09] 797*2^710872-1 is not prime. Res64: 176FF3474A55E68E Time : 1340.0 sec. user=Zachariassen [2009-08-15 01:19:00] 721*2^710873-1 is not prime. Res64: 4753523A5BCBAC26 Time : 1325.0 sec. user=Zachariassen [2009-08-15 01:20:41] 795*2^710873-1 is not prime. Res64: 5D91972BEC309E3D Time : 1356.0 sec. user=Zachariassen [2009-08-15 01:21:09] 611*2^710874-1 is not prime. Res64: FD3219BCAB1E80D8 Time : 1347.0 sec. user=Zachariassen [2009-08-15 01:25:51] 649*2^710873-1 is not prime. Res64: 469D222260418224 Time : 1773.0 sec. user=Zachariassen [2009-08-15 01:26:37] 691*2^710873-1 is not prime. Res64: 7DE2A1F22096941E Time : 1811.0 sec. user=Zachariassen [2009-08-15 01:26:58] 745*2^710873-1 is not prime. Res64: 5906D7BA2E5C16C1 Time : 1801.0 sec. user=Zachariassen [2009-08-15 01:27:15] 769*2^710873-1 is not prime. Res64: A7F584631B9B2217 Time : 1774.0 sec. user=Zachariassen [2009-08-15 01:29:59] 621*2^710874-1 is not prime. Res64: DA530289A67E3A13 Time : 1401.0 sec. user=Zachariassen [2009-08-15 01:30:48] 633*2^710874-1 is not prime. Res64: B36A555A37757239 Time : 1396.0 sec. user=Zachariassen [2009-08-15 01:32:33] 679*2^710875-1 is not prime. Res64: 6521B1876CECDFA8 Time : 1409.0 sec. user=Zachariassen [2009-08-15 01:33:09] 699*2^710875-1 is not prime. Res64: EFA1D7011EB1B291 Time : 1416.0 sec. user=Zachariassen [2009-08-15 01:40:39] 667*2^710877-1 is not prime. Res64: A00EB54838F4822C Time : 1350.0 sec. user=Zachariassen [2009-08-15 01:40:40] 715*2^710875-1 is not prime. Res64: 6EE1E9FF2A30FE21 Time : 1783.0 sec. user=Zachariassen [2009-08-15 01:41:33] 635*2^710876-1 is not prime. Res64: 2B941983E0392183 Time : 1798.0 sec. user=Zachariassen [2009-08-15 01:41:40] 717*2^710877-1 is not prime. Res64: 7793ECEB5E2723E0 Time : 1360.0 sec. user=Zachariassen [2009-08-15 01:42:04] 759*2^710876-1 is not prime. Res64: B43FDC3F61D2C641 Time : 1793.0 sec. user=Zachariassen [2009-08-15 01:42:14] 789*2^710876-1 is not prime. Res64: EF7C7CB565515C32 Time : 1793.0 sec. user=Zachariassen [2009-08-15 01:43:21] 735*2^710877-1 is not prime. Res64: 62ADCA7F7759C914 Time : 1360.0 sec. user=Zachariassen [2009-08-15 01:43:44] 751*2^710877-1 is not prime. Res64: DDC127771D648E34 Time : 1355.0 sec. user=Zachariassen [2009-08-15 01:52:12] 713*2^710878-1 is not prime. Res64: 614B5B3362D1C2A6 Time : 1334.0 sec. user=Zachariassen [2009-08-15 01:52:48] 723*2^710878-1 is not prime. Res64: 0160E4CC4A52B0FE Time : 1320.0 sec. user=Zachariassen [2009-08-15 01:54:51] 743*2^710878-1 is not prime. Res64: 7978410AB4F690DF Time : 1338.0 sec. user=Zachariassen [2009-08-15 01:55:15] 603*2^710879-1 is not prime. Res64: 9B8BA5D9F9F45A69 Time : 1326.0 sec. user=Zachariassen [2009-08-15 01:55:34] 759*2^710877-1 is not prime. Res64: 2A382952EA0FCA5D Time : 1783.0 sec. user=Zachariassen [2009-08-15 01:56:35] 617*2^710878-1 is not prime. Res64: 6B3A44DC0405D0B7 Time : 1798.0 sec. user=Zachariassen [2009-08-15 01:57:02] 707*2^710878-1 is not prime. Res64: 526DD2824C25ACCC Time : 1788.0 sec. user=Zachariassen [2009-08-15 01:57:11] 623*2^710878-1 is not prime. Res64: D4C4858A399E599C Time : 1813.0 sec. user=Zachariassen [2009-08-15 02:02:54] 655*2^710879-1 is not prime. Res64: 39E6BD2C498B7A0D Time : 1335.0 sec. user=Zachariassen [2009-08-15 02:03:42] 711*2^710879-1 is not prime. Res64: 8B15A2D627744B99 Time : 1323.0 sec. user=Zachariassen [2009-08-15 02:05:48] 765*2^710880-1 is not prime. Res64: F03F838297018755 Time : 1348.0 sec. user=Zachariassen [2009-08-15 02:05:51] 639*2^710881-1 is not prime. Res64: C29A0737D1E570B1 Time : 1327.0 sec. user=Zachariassen [2009-08-15 02:10:32] 679*2^710879-1 is not prime. Res64: 6B5F5760EA972D01 Time : 1792.0 sec. user=Zachariassen [2009-08-15 02:11:32] 685*2^710879-1 is not prime. Res64: 821D484C134DD1D7 Time : 1799.0 sec. user=Zachariassen [2009-08-15 02:11:52] 725*2^710880-1 is not prime. Res64: 791A675E7B8AC861 Time : 1778.0 sec. user=Zachariassen [2009-08-15 02:12:10] 799*2^710879-1 is not prime. Res64: 8ADFD92BCEFA9C41 Time : 1807.0 sec. user=Zachariassen [2009-08-15 02:14:00] 645*2^710881-1 is not prime. Res64: 427DF1A76259ED39 Time : 1308.0 sec. user=Zachariassen [2009-08-15 02:14:57] 603*2^710882-1 is not prime. Res64: 19EE127AAE8CC2A9 Time : 1329.0 sec. user=Zachariassen [2009-08-15 02:17:00] 665*2^710882-1 is not prime. Res64: 15917D7042EEAD64 Time : 1329.0 sec. user=Zachariassen [2009-08-15 02:17:04] 713*2^710882-1 is not prime. Res64: 821C0F12DEC1764B Time : 1310.0 sec. user=Zachariassen [2009-08-15 02:24:47] 699*2^710884-1 is not prime. Res64: 16F213C88A12C95A Time : 1313.0 sec. user=Zachariassen [2009-08-15 02:25:30] 703*2^710883-1 is not prime. Res64: 0387542F4FBD4FBE Time : 1796.0 sec. user=Zachariassen [2009-08-15 02:25:59] 607*2^710885-1 is not prime. Res64: ABEB13EE158B41F9 Time : 1338.0 sec. user=Zachariassen [2009-08-15 02:26:27] 783*2^710883-1 is not prime. Res64: 05E017AFCB4E32EF Time : 1792.0 sec. user=Zachariassen [2009-08-15 02:26:58] 605*2^710884-1 is not prime. Res64: 700F04B9DC02F4D6 Time : 1787.0 sec. user=Zachariassen [2009-08-15 02:26:59] 795*2^710883-1 is not prime. Res64: E3E9E19B9EE5F9A1 Time : 1798.0 sec. user=Zachariassen [2009-08-15 02:27:41] 697*2^710885-1 is not prime. Res64: 42103E9CBBB853BC Time : 1314.0 sec. user=Zachariassen [2009-08-15 02:28:06] 721*2^710885-1 is not prime. Res64: BFCF2565C79D1990 Time : 1335.0 sec. user=Zachariassen [2009-08-15 02:35:20] 609*2^710887-1 is not prime. Res64: 222FC3CC206EFAC6 Time : 1280.0 sec. user=Zachariassen [2009-08-15 02:37:37] 625*2^710887-1 is not prime. Res64: F396709A2725BA7D Time : 1361.0 sec. user=Zachariassen [2009-08-15 02:39:15] 651*2^710887-1 is not prime. Res64: 514638DEFEE79479 Time : 1336.0 sec. user=Zachariassen [2009-08-15 02:39:43] 693*2^710887-1 is not prime. Res64: FFB65EE1F5E55983 Time : 1359.0 sec. user=Zachariassen [2009-08-15 02:40:21] 683*2^710886-1 is not prime. Res64: 59387E1A5A42362D Time : 1789.0 sec. user=Zachariassen [2009-08-15 02:41:32] 711*2^710886-1 is not prime. Res64: 3E42E59252D9FC74 Time : 1801.0 sec. user=Zachariassen [2009-08-15 02:41:49] 603*2^710887-1 is not prime. Res64: 5E77112D1E377516 Time : 1779.0 sec. user=Zachariassen [2009-08-15 02:41:56] 761*2^710886-1 is not prime. Res64: 3E72AFEA9404F890 Time : 1804.0 sec. user=Zachariassen [2009-08-15 02:47:31] 729*2^710887-1 is not prime. Res64: AE1067536E8EA234 Time : 1364.0 sec. user=Zachariassen [2009-08-15 02:49:32] 775*2^710887-1 is not prime. Res64: BD70D2219BC87519 Time : 1414.0 sec. user=Zachariassen [2009-08-15 02:50:43] 669*2^710889-1 is not prime. Res64: 8FD596EF3351CCBD Time : 1383.0 sec. user=Zachariassen [2009-08-15 02:51:20] 789*2^710889-1 is not prime. Res64: E34849654BF9F840 Time : 1394.0 sec. user=Zachariassen [2009-08-15 02:55:18] 759*2^710887-1 is not prime. Res64: 8CCCBEA77995F2D3 Time : 1789.0 sec. user=Zachariassen [2009-08-15 02:56:23] 635*2^710888-1 is not prime. Res64: 4921590E97334726 Time : 1796.0 sec. user=Zachariassen [2009-08-15 02:56:47] 649*2^710889-1 is not prime. Res64: 69ADD6AD63D7784C Time : 1788.0 sec. user=Zachariassen [2009-08-15 02:56:52] 735*2^710888-1 is not prime. Res64: 4C0DB7FF53487DE5 Time : 1794.0 sec. user=Zachariassen [2009-08-15 02:58:37] 605*2^710890-1 is not prime. Res64: 5BB18BFAE0585ACE Time : 1397.0 sec. user=Zachariassen [2009-08-15 03:00:56] 675*2^710890-1 is not prime. Res64: D953F83C05C96A95 Time : 1399.0 sec. user=Zachariassen [2009-08-15 03:01:53] 687*2^710890-1 is not prime. Res64: 09FCB3EEE529A8C8 Time : 1358.0 sec. user=Zachariassen [2009-08-15 03:02:15] 743*2^710890-1 is not prime. Res64: B9FA6879C670ED54 Time : 1353.0 sec. user=Zachariassen [2009-08-15 03:09:37] 663*2^710891-1 is not prime. Res64: 76C5314610D56D9C Time : 1326.0 sec. user=Zachariassen [2009-08-15 03:10:23] 747*2^710890-1 is not prime. Res64: 130D7AF2427771F6 Time : 1802.0 sec. user=Zachariassen [2009-08-15 03:11:12] 755*2^710890-1 is not prime. Res64: CE8EB2D54C99FA05 Time : 1780.0 sec. user=Zachariassen [2009-08-15 03:11:43] 715*2^710891-1 is not prime. Res64: 28D4C5E249BCD44C Time : 1331.0 sec. user=Zachariassen [2009-08-15 03:11:46] 645*2^710891-1 is not prime. Res64: EAFDE160676DD243 Time : 1790.0 sec. user=Zachariassen [2009-08-15 03:11:57] 791*2^710890-1 is not prime. Res64: 6B26E91F0DAE4E70 Time : 1808.0 sec. user=Zachariassen [2009-08-15 03:12:53] 745*2^710891-1 is not prime. Res64: 03898EB52F231471 Time : 1331.0 sec. user=Zachariassen [2009-08-15 03:13:14] 635*2^710892-1 is not prime. Res64: 4AF9DFF464579706 Time : 1315.0 sec. user=Zachariassen [2009-08-15 03:20:51] 641*2^710894-1 is not prime. Res64: 8ADEDB09C0AFE3D9 Time : 1335.0 sec. user=Zachariassen [2009-08-15 03:22:46] 711*2^710894-1 is not prime. Res64: CB52E5E0AAEA5408 Time : 1310.0 sec. user=Zachariassen [2009-08-15 03:24:28] 717*2^710894-1 is not prime. Res64: 8E7C8C2E2AAF81BF Time : 1356.0 sec. user=Zachariassen [2009-08-15 03:24:31] 741*2^710894-1 is not prime. Res64: 1141AEFA39032F1C Time : 1336.0 sec. user=Zachariassen [2009-08-15 03:25:23] 767*2^710892-1 is not prime. Res64: 11432642A4C3E99C Time : 1805.0 sec. user=Zachariassen [2009-08-15 03:26:12] 679*2^710893-1 is not prime. Res64: E5AFA8A0FD3E9D41 Time : 1789.0 sec. user=Zachariassen [2009-08-15 03:26:43] 771*2^710893-1 is not prime. Res64: D3148339EE30B40A Time : 1796.0 sec. user=Zachariassen [2009-08-15 03:26:48] 605*2^710894-1 is not prime. Res64: 7D93AEEC51B63699 Time : 1796.0 sec. user=Zachariassen [2009-08-15 03:31:48] 675*2^710895-1 is not prime. Res64: A5779C32F8F5DC3B Time : 1331.0 sec. user=Zachariassen [2009-08-15 03:33:36] 705*2^710896-1 is not prime. Res64: D618DDDFB1AD95F5 Time : 1313.0 sec. user=Zachariassen [2009-08-15 03:35:12] 627*2^710897-1 is not prime. Res64: 32058D5B515BBDBD Time : 1319.0 sec. user=Zachariassen [2009-08-15 03:35:23] 607*2^710897-1 is not prime. Res64: 5643AECB62989B87 Time : 1351.0 sec. user=Zachariassen [2009-08-15 03:40:12] 775*2^710895-1 is not prime. Res64: B4568C2BFEE7C3CB Time : 1789.0 sec. user=Zachariassen [2009-08-15 03:41:11] 675*2^710896-1 is not prime. Res64: EB001B93A2AE1C9D Time : 1799.0 sec. user=Zachariassen [2009-08-15 03:41:37] 735*2^710896-1 is not prime. Res64: 5C111091B26CF3CF Time : 1791.0 sec. user=Zachariassen [2009-08-15 03:41:52] 765*2^710896-1 is not prime. Res64: 9770E37D2D6FEAB3 Time : 1796.0 sec. user=Zachariassen [2009-08-15 03:42:33] 631*2^710897-1 is not prime. Res64: C904B99ED78B6DDA Time : 1302.0 sec. user=Zachariassen [2009-08-15 03:44:19] 717*2^710897-1 is not prime. Res64: 2179043E9216C35F Time : 1293.0 sec. user=Zachariassen [2009-08-15 03:46:08] 671*2^710898-1 is not prime. Res64: 42BB2B86D7C2B21C Time : 1297.0 sec. user=Zachariassen [2009-08-15 03:46:34] 651*2^710898-1 is not prime. Res64: 7E20B25D65F39C09 Time : 1327.0 sec. user=Zachariassen [2009-08-15 03:53:49] 633*2^710900-1 is not prime. Res64: 7398AF64D65796E6 Time : 1322.0 sec. user=Zachariassen [2009-08-15 03:55:03] 705*2^710898-1 is not prime. Res64: C1500E5486D4AC43 Time : 1780.0 sec. user=Zachariassen [2009-08-15 03:55:52] 669*2^710900-1 is not prime. Res64: CBB2612ACCE78BAF Time : 1337.0 sec. user=Zachariassen [2009-08-15 03:56:13] 735*2^710898-1 is not prime. Res64: E0C91712F87EFD90 Time : 1801.0 sec. user=Zachariassen [2009-08-15 03:56:42] 737*2^710898-1 is not prime. Res64: 659646372DD17DD8 Time : 1799.0 sec. user=Zachariassen [2009-08-15 03:56:50] 797*2^710898-1 is not prime. Res64: 58E64F4C5795EE3C Time : 1802.0 sec. user=Zachariassen [2009-08-15 03:57:47] 689*2^710900-1 is not prime. Res64: 5BBD599F31DAB98D Time : 1356.0 sec. user=Zachariassen [2009-08-15 03:57:55] 725*2^710900-1 is not prime. Res64: E0863C6BBCD9EED5 Time : 1352.0 sec. user=Zachariassen [2009-08-15 04:05:15] 745*2^710901-1 is not prime. Res64: 492A43FE977F8ECD Time : 1362.0 sec. user=Zachariassen [2009-08-15 04:07:03] 747*2^710901-1 is not prime. Res64: 4F679F470ABAEC3D Time : 1365.0 sec. user=Zachariassen [2009-08-15 04:09:00] 623*2^710902-1 is not prime. Res64: B62121AB33384D8C Time : 1372.0 sec. user=Zachariassen [2009-08-15 04:09:14] 705*2^710902-1 is not prime. Res64: D2B92DA2FE787F58 Time : 1360.0 sec. user=Zachariassen [2009-08-15 04:09:59] 615*2^710901-1 is not prime. Res64: D4D5132A0DAA5900 Time : 1787.0 sec. user=Zachariassen [2009-08-15 04:11:00] 679*2^710901-1 is not prime. Res64: 1DF5432F52C10084 Time : 1790.0 sec. user=Zachariassen [2009-08-15 04:11:37] 727*2^710901-1 is not prime. Res64: 6B424C2B36DF9C09 Time : 1785.0 sec. user=Zachariassen [2009-08-15 04:11:55] 685*2^710901-1 is not prime. Res64: EF7007F0AD275FC1 Time : 1818.0 sec. user=Zachariassen [2009-08-15 04:16:46] 741*2^710902-1 is not prime. Res64: 5C073AA538315815 Time : 1378.0 sec. user=Zachariassen [2009-08-15 04:18:40] 621*2^710903-1 is not prime. Res64: 613C74991798E9D9 Time : 1369.0 sec. user=Zachariassen [2009-08-15 04:20:52] 627*2^710904-1 is not prime. Res64: 9A1B361205713E9C Time : 1386.0 sec. user=Zachariassen [2009-08-15 04:20:58] 689*2^710904-1 is not prime. Res64: 357AEBE12B4CE83A Time : 1384.0 sec. user=Zachariassen [2009-08-15 04:24:54] 791*2^710902-1 is not prime. Res64: 8F9B78BC98BE195B Time : 1791.0 sec. user=Zachariassen [2009-08-15 04:26:02] 703*2^710903-1 is not prime. Res64: 25C5FD6256612B38 Time : 1789.0 sec. user=Zachariassen [2009-08-15 04:26:39] 753*2^710903-1 is not prime. Res64: AD9BA299337E64B9 Time : 1790.0 sec. user=Zachariassen [2009-08-15 04:26:51] 729*2^710903-1 is not prime. Res64: 440F1302860974A7 Time : 1809.0 sec. user=Zachariassen [2009-08-15 04:28:30] 753*2^710904-1 is not prime. Res64: 9D9409D87CE3680F Time : 1396.0 sec. user=Zachariassen [2009-08-15 04:29:57] 789*2^710904-1 is not prime. Res64: 46F8BD92DCC5C5B2 Time : 1375.0 sec. user=Zachariassen [2009-08-15 04:32:13] 661*2^710905-1 is not prime. Res64: 32C966E151E1DEE6 Time : 1394.0 sec. user=Zachariassen [2009-08-15 04:32:28] 667*2^710905-1 is not prime. Res64: 12A5821AF85AE077 Time : 1395.0 sec. user=Zachariassen [2009-08-15 04:39:24] 721*2^710909-1 is not prime. Res64: 7E44808AA5ABD9E1 Time : 1358.0 sec. user=Zachariassen [2009-08-15 04:39:36] 633*2^710906-1 is not prime. Res64: FD99566D18819CFB Time : 1777.0 sec. user=Zachariassen [2009-08-15 04:40:51] 783*2^710906-1 is not prime. Res64: 17BBB01A441B09D0 Time : 1791.0 sec. user=Zachariassen [2009-08-15 04:41:00] 727*2^710909-1 is not prime. Res64: F8C58F198DEAFC30 Time : 1340.0 sec. user=Zachariassen [2009-08-15 04:41:48] 797*2^710908-1 is not prime. Res64: F6B0FE553F147708 Time : 1811.0 sec. user=Zachariassen [2009-08-15 04:42:00] 675*2^710909-1 is not prime. Res64: 5E276534E0AB1105 Time : 1806.0 sec. user=Zachariassen [2009-08-15 04:43:40] 795*2^710909-1 is not prime. Res64: D0A330E9A75E3DF6 Time : 1368.0 sec. user=Zachariassen [2009-08-15 04:43:53] 693*2^710910-1 is not prime. Res64: 77B01EF705E179CA Time : 1376.0 sec. user=Zachariassen [2009-08-15 04:50:55] 649*2^710911-1 is not prime. Res64: 52DE2AFE25D7B09A Time : 1345.0 sec. user=Zachariassen [2009-08-15 04:52:13] 705*2^710911-1 is not prime. Res64: CB023FD0C06EE9AD Time : 1336.0 sec. user=Zachariassen [2009-08-15 04:54:34] 767*2^710910-1 is not prime. Res64: 184181DF4B59CEFE Time : 1780.0 sec. user=Zachariassen [2009-08-15 04:54:51] 617*2^710912-1 is not prime. Res64: 6227D66E1438064F Time : 1358.0 sec. user=Zachariassen [2009-08-15 04:55:23] 687*2^710912-1 is not prime. Res64: BF4D1A0E5E7C47F8 Time : 1375.0 sec. user=Zachariassen [2009-08-15 04:55:43] 783*2^710910-1 is not prime. Res64: A34F99A3B0514299 Time : 1783.0 sec. user=Zachariassen [2009-08-15 04:56:42] 645*2^710911-1 is not prime. Res64: 1DB97E6197D73776 Time : 1792.0 sec. user=Zachariassen [2009-08-15 04:57:08] 795*2^710910-1 is not prime. Res64: 1898F41961B6FA13 Time : 1829.0 sec. user=Zachariassen [2009-08-15 05:02:10] 651*2^710913-1 is not prime. Res64: DEB688B7E8B1EBD7 Time : 1367.0 sec. user=Zachariassen [2009-08-15 05:03:30] 701*2^710914-1 is not prime. Res64: 0AEA6C9F5F5D0736 Time : 1351.0 sec. user=Zachariassen [2009-08-15 05:05:59] 633*2^710915-1 is not prime. Res64: D57C4039B20F890D Time : 1340.0 sec. user=Zachariassen [2009-08-15 05:06:22] 675*2^710915-1 is not prime. Res64: 26B474610A616C5C Time : 1349.0 sec. user=Zachariassen [2009-08-15 05:09:28] 727*2^710913-1 is not prime. Res64: A8272FD750703777 Time : 1793.0 sec. user=Zachariassen [2009-08-15 05:10:36] 681*2^710914-1 is not prime. Res64: AD1987C6BD924869 Time : 1785.0 sec. user=Zachariassen [2009-08-15 05:11:39] 783*2^710914-1 is not prime. Res64: 4D77A090884465F1 Time : 1780.0 sec. user=Zachariassen [2009-08-15 05:12:01] 755*2^710914-1 is not prime. Res64: E801252B957FBA58 Time : 1813.0 sec. user=Zachariassen [2009-08-15 05:13:08] 685*2^710915-1 is not prime. Res64: 3A17F692992322F1 Time : 1334.0 sec. user=Zachariassen [2009-08-15 05:14:27] 693*2^710915-1 is not prime. Res64: 378E5B24FDC3DF9B Time : 1334.0 sec. user=Zachariassen [2009-08-15 05:16:36] 783*2^710915-1 is not prime. Res64: 5DABC076D68BD82F Time : 1305.0 sec. user=Zachariassen [2009-08-15 05:17:12] 623*2^710916-1 is not prime. Res64: FE9FAC4E8E3BA41C Time : 1310.0 sec. user=Zachariassen [2009-08-15 05:24:35] 619*2^710917-1 is not prime. Res64: F48403A06A5FAD06 Time : 1345.0 sec. user=Zachariassen [2009-08-15 05:24:39] 741*2^710915-1 is not prime. Res64: F8C88D39595F8F50 Time : 1805.0 sec. user=Zachariassen [2009-08-15 05:25:26] 669*2^710916-1 is not prime. Res64: 33D9B9C6A2622BEE Time : 1783.0 sec. user=Zachariassen [2009-08-15 05:25:55] 651*2^710918-1 is not prime. Res64: 5E77536D7AADD422 Time : 1346.0 sec. user=Zachariassen [2009-08-15 05:26:32] 719*2^710916-1 is not prime. Res64: EA341686913C27DA Time : 1790.0 sec. user=Zachariassen [2009-08-15 05:27:00] 725*2^710916-1 is not prime. Res64: C742AC0186944360 Time : 1793.0 sec. user=Zachariassen [2009-08-15 05:28:09] 773*2^710918-1 is not prime. Res64: B954C371191ABCC5 Time : 1331.0 sec. user=Zachariassen [2009-08-15 05:28:21] 613*2^710919-1 is not prime. Res64: 9BB51279A81FA63C Time : 1319.0 sec. user=Zachariassen [2009-08-15 05:35:59] 699*2^710920-1 is not prime. Res64: FAF2D60EB5A6195E Time : 1372.0 sec. user=Zachariassen [2009-08-15 05:37:10] 637*2^710921-1 is not prime. Res64: 2A25CDD858DDBF10 Time : 1363.0 sec. user=Zachariassen [2009-08-15 05:39:22] 741*2^710921-1 is not prime. Res64: 6D4D14427CCC3B98 Time : 1366.0 sec. user=Zachariassen [2009-08-15 05:39:32] 735*2^710919-1 is not prime. Res64: 1E8666BC76579627 Time : 1804.0 sec. user=Zachariassen [2009-08-15 05:39:35] 781*2^710921-1 is not prime. Res64: 27BAE9330A9E3E8E Time : 1343.0 sec. user=Zachariassen [2009-08-15 05:40:21] 741*2^710919-1 is not prime. Res64: BD595F754A25A681 Time : 1785.0 sec. user=Zachariassen [2009-08-15 05:41:37] 609*2^710920-1 is not prime. Res64: 7137E15521A6D652 Time : 1798.0 sec. user=Zachariassen [2009-08-15 05:42:01] 675*2^710920-1 is not prime. Res64: 735754DC9025643E Time : 1800.0 sec. user=Zachariassen [2009-08-15 05:47:07] 705*2^710922-1 is not prime. Res64: 516A4E37320F95AC Time : 1353.0 sec. user=Zachariassen [2009-08-15 05:48:06] 619*2^710923-1 is not prime. Res64: 8AA5C68D3EC67920 Time : 1331.0 sec. user=Zachariassen [2009-08-15 05:50:45] 745*2^710923-1 is not prime. Res64: C1565E29F73BA4FC Time : 1356.0 sec. user=Zachariassen [2009-08-15 05:50:55] 771*2^710923-1 is not prime. Res64: 6DE414854B70DC83 Time : 1355.0 sec. user=Zachariassen [2009-08-15 05:54:34] 791*2^710922-1 is not prime. Res64: E4EFAA08C79D50BF Time : 1795.0 sec. user=Zachariassen [2009-08-15 05:55:14] 615*2^710923-1 is not prime. Res64: 79DF2DAA7695D6B4 Time : 1788.0 sec. user=Zachariassen [2009-08-15 05:56:28] 673*2^710923-1 is not prime. Res64: 3E4110FEF89CE5B3 Time : 1796.0 sec. user=Zachariassen [2009-08-15 05:57:08] 723*2^710923-1 is not prime. Res64: 641305BC387DBF9A Time : 1808.0 sec. user=Zachariassen [2009-08-15 05:58:39] 601*2^710925-1 is not prime. Res64: 7F7D6FE39136BCAC Time : 1360.0 sec. user=vaughan [2009-08-15 05:59:05] 789*2^710924-1 is not prime. Res64: C50296DE2FD3F1CD Time : 1813.0 sec. user=Zachariassen [2009-08-15 05:59:28] 627*2^710925-1 is not prime. Res64: 109644928C057955 Time : 1338.0 sec. user=vaughan [2009-08-15 06:00:58] 663*2^710924-1 is not prime. Res64: 9E5B984828142CCA Time : 1926.0 sec. user=Zachariassen [2009-08-15 06:01:41] 651*2^710925-1 is not prime. Res64: A4E5213258BE9EE3 Time : 1339.0 sec. user=Zachariassen [2009-08-15 06:01:53] 647*2^710926-1 is not prime. Res64: 5FD12D7E26AA5741 Time : 1338.0 sec. user=Zachariassen [2009-08-15 06:09:26] 669*2^710925-1 is not prime. Res64: 0309DC5F446C1BB3 Time : 1794.0 sec. user=Zachariassen [2009-08-15 06:09:29] 649*2^710927-1 is not prime. Res64: 568F6F752DC438E6 Time : 1343.0 sec. user=Zachariassen [2009-08-15 06:10:12] 671*2^710926-1 is not prime. Res64: 30FE6E341BCCE0D9 Time : 1791.0 sec. user=Zachariassen [2009-08-15 06:10:16] 661*2^710927-1 is not prime. Res64: 1B4A3AEF768C6EC6 Time : 1331.0 sec. user=Zachariassen [2009-08-15 06:11:28] 675*2^710926-1 is not prime. Res64: A580C77C66B30E16 Time : 1791.0 sec. user=Zachariassen [2009-08-15 06:12:05] 603*2^710927-1 is not prime. Res64: BD158C1CEC3D4618 Time : 1804.0 sec. user=Zachariassen [2009-08-15 06:12:44] 665*2^710928-1 is not prime. Res64: 774B9BA5F287D380 Time : 1309.0 sec. user=Zachariassen [2009-08-15 06:12:45] 605*2^710928-1 is not prime. Res64: 8DFA6E8FF36CCE27 Time : 1320.0 sec. user=Zachariassen [2009-08-15 06:20:37] 639*2^710929-1 is not prime. Res64: FFCA0025A802E4DD Time : 1319.0 sec. user=Zachariassen [2009-08-15 06:21:19] 649*2^710929-1 is not prime. Res64: B45AB9BEAFF19277 Time : 1312.0 sec. user=Zachariassen [2009-08-15 06:23:55] 691*2^710929-1 is not prime. Res64: 64CF86B12BE38B46 Time : 1334.0 sec. user=Zachariassen [2009-08-15 06:24:00] 705*2^710929-1 is not prime. Res64: 02A6D107094DBAA4 Time : 1328.0 sec. user=Zachariassen [2009-08-15 06:24:23] 725*2^710928-1 is not prime. Res64: 93A911C6FD213802 Time : 1789.0 sec. user=Zachariassen [2009-08-15 06:25:00] 747*2^710928-1 is not prime. Res64: 6DFD4A3B73AB2691 Time : 1787.0 sec. user=Zachariassen [2009-08-15 06:26:17] 767*2^710928-1 is not prime. Res64: 4487FA8DD3E91519 Time : 1790.0 sec. user=Zachariassen [2009-08-15 06:27:09] 615*2^710929-1 is not prime. Res64: 7939489797D7CA31 Time : 1802.0 sec. user=Zachariassen [2009-08-15 06:31:31] 769*2^710929-1 is not prime. Res64: 2603060DA916D5BC Time : 1322.0 sec. user=Zachariassen [2009-08-15 06:32:04] 775*2^710929-1 is not prime. Res64: 8D614679206E3D84 Time : 1309.0 sec. user=Zachariassen [2009-08-15 06:34:42] 665*2^710930-1 is not prime. Res64: 6027C83760F7410F Time : 1319.0 sec. user=Zachariassen [2009-08-15 06:34:58] 701*2^710930-1 is not prime. Res64: 97CCF593762D4E7C Time : 1333.0 sec. user=Zachariassen [2009-08-15 06:39:22] 765*2^710929-1 is not prime. Res64: 7361F7D52D1F0975 Time : 1797.0 sec. user=Zachariassen [2009-08-15 06:39:59] 771*2^710929-1 is not prime. Res64: 3494F32991464D9A Time : 1788.0 sec. user=Zachariassen [2009-08-15 06:41:24] 799*2^710929-1 is not prime. Res64: BDB4619E79035250 Time : 1796.0 sec. user=Zachariassen [2009-08-15 06:41:58] 605*2^710930-1 is not prime. Res64: CA88577C757777B4 Time : 1794.0 sec. user=Zachariassen [2009-08-15 06:42:52] 797*2^710930-1 is not prime. Res64: 6BC3B9704AB71136 Time : 1335.0 sec. user=Zachariassen [2009-08-15 06:43:38] 711*2^710931-1 is not prime. Res64: ECB37E26150ACD75 Time : 1339.0 sec. user=Zachariassen [2009-08-15 06:46:17] 617*2^710932-1 is not prime. Res64: C6F13E8ED71249F1 Time : 1337.0 sec. user=Zachariassen [2009-08-15 06:46:34] 615*2^710932-1 is not prime. Res64: F5ACC7EABCE61384 Time : 1360.0 sec. user=Zachariassen [2009-08-15 06:54:03] 693*2^710932-1 is not prime. Res64: 143A28BE883544F7 Time : 1352.0 sec. user=Zachariassen [2009-08-15 06:54:18] 635*2^710932-1 is not prime. Res64: 7A52CAC9BDE76CEE Time : 1796.0 sec. user=Zachariassen [2009-08-15 06:54:39] 691*2^710933-1 is not prime. Res64: 3D0CDB5D0CB0E10B Time : 1356.0 sec. user=Zachariassen [2009-08-15 06:54:46] 657*2^710932-1 is not prime. Res64: 4154079F70AAFB57 Time : 1786.0 sec. user=Zachariassen [2009-08-15 06:56:20] 675*2^710932-1 is not prime. Res64: CADA7E2349677BA5 Time : 1804.0 sec. user=Zachariassen [2009-08-15 06:56:59] 677*2^710932-1 is not prime. Res64: 268646A192462660 Time : 1790.0 sec. user=Zachariassen [2009-08-15 06:57:36] 699*2^710933-1 is not prime. Res64: D2346CC58BE3F61B Time : 1359.0 sec. user=Zachariassen [2009-08-15 06:57:39] 697*2^710933-1 is not prime. Res64: B151E6154A320031 Time : 1377.0 sec. user=Zachariassen [2009-08-15 07:04:54] 625*2^710935-1 is not prime. Res64: AAB108EAF9481C15 Time : 1322.0 sec. user=Zachariassen [2009-08-15 07:05:48] 673*2^710935-1 is not prime. Res64: 105647DE83401393 Time : 1331.0 sec. user=Zachariassen [2009-08-15 07:08:41] 735*2^710935-1 is not prime. Res64: 3033B8982ABB5A7F Time : 1328.0 sec. user=Zachariassen [2009-08-15 07:08:46] 679*2^710935-1 is not prime. Res64: ADC97147B0C79D43 Time : 1350.0 sec. user=Zachariassen [2009-08-15 07:09:29] 729*2^710933-1 is not prime. Res64: 467E172C6EB858E3 Time : 1807.0 sec. user=Zachariassen [2009-08-15 07:09:44] 635*2^710934-1 is not prime. Res64: A87550AEBBE0B6D7 Time : 1785.0 sec. user=Zachariassen [2009-08-15 07:11:03] 705*2^710934-1 is not prime. Res64: B8717DE49427BD4D Time : 1780.0 sec. user=Zachariassen [2009-08-15 07:12:00] 603*2^710935-1 is not prime. Res64: 75B4B0F9C01CA71C Time : 1802.0 sec. user=Zachariassen [2009-08-15 07:15:43] 765*2^710935-1 is not prime. Res64: 498C1AB87CF2F43E Time : 1301.0 sec. user=Zachariassen [2009-08-15 07:16:41] 633*2^710936-1 is not prime. Res64: 70BB255187DBA021 Time : 1322.0 sec. user=Zachariassen [2009-08-15 07:19:21] 791*2^710938-1 is not prime. Res64: 618590BC4FB67CBC Time : 1306.0 sec. user=Zachariassen [2009-08-15 07:19:59] 631*2^710939-1 is not prime. Res64: F08BDEE39F6CE9D6 Time : 1341.0 sec. user=Zachariassen [2009-08-15 07:24:33] 615*2^710936-1 is not prime. Res64: BD5F2319673F5213 Time : 1815.0 sec. user=Zachariassen [2009-08-15 07:24:38] 669*2^710936-1 is not prime. Res64: 748F46E87A641D3E Time : 1792.0 sec. user=Zachariassen [2009-08-15 07:25:59] 725*2^710936-1 is not prime. Res64: 96D737070A53F4C8 Time : 1779.0 sec. user=Zachariassen [2009-08-15 07:26:56] 605*2^710938-1 is not prime. Res64: 0852C8EDA3411A36 Time : 1797.0 sec. user=Zachariassen [2009-08-15 07:27:25] 669*2^710939-1 is not prime. Res64: 334D6EF2EC9A1A98 Time : 1351.0 sec. user=Zachariassen [2009-08-15 07:28:23] 735*2^710939-1 is not prime. Res64: 1FC0723A1A9FA98D Time : 1355.0 sec. user=Zachariassen [2009-08-15 07:31:37] 745*2^710939-1 is not prime. Res64: 57A8C8EC5105B63A Time : 1376.0 sec. user=Zachariassen [2009-08-15 07:31:57] 635*2^710940-1 is not prime. Res64: A96D07D99117461B Time : 1392.0 sec. user=Zachariassen [2009-08-15 07:38:56] 799*2^710941-1 is not prime. Res64: 6186E3EFE7F06750 Time : 1394.0 sec. user=Zachariassen [2009-08-15 07:39:19] 689*2^710940-1 is not prime. Res64: A5C7CB455279B573 Time : 1791.0 sec. user=Zachariassen [2009-08-15 07:39:39] 725*2^710940-1 is not prime. Res64: F8AC8F5E3160F0EF Time : 1795.0 sec. user=Zachariassen [2009-08-15 07:39:47] 635*2^710942-1 is not prime. Res64: 3613645BA07ED86A Time : 1386.0 sec. user=Zachariassen [2009-08-15 07:40:57] 737*2^710940-1 is not prime. Res64: 1C5CF734F3F35763 Time : 1795.0 sec. user=Zachariassen [2009-08-15 07:41:45] 649*2^710941-1 is not prime. Res64: 5E782F48EA7E4059 Time : 1785.0 sec. user=Zachariassen [2009-08-15 07:42:47] 741*2^710942-1 is not prime. Res64: EFA6F21943F6CBC9 Time : 1406.0 sec. user=Zachariassen [2009-08-15 07:43:18] 753*2^710942-1 is not prime. Res64: EA8249FF85E91538 Time : 1400.0 sec. user=Zachariassen [2009-08-15 07:49:46] 669*2^710943-1 is not prime. Res64: F45FEBF491BC56C9 Time : 1342.0 sec. user=Zachariassen [2009-08-15 07:50:38] 679*2^710943-1 is not prime. Res64: 0F60F66AC75C56A4 Time : 1336.0 sec. user=Zachariassen [2009-08-15 07:53:31] 745*2^710943-1 is not prime. Res64: 027501E5F6595A1D Time : 1315.0 sec. user=Zachariassen [2009-08-15 07:54:09] 775*2^710943-1 is not prime. Res64: 214BF0C1DF62DDF8 Time : 1332.0 sec. user=Zachariassen [2009-08-15 07:54:23] 755*2^710942-1 is not prime. Res64: E4EF726B1826380A Time : 1790.0 sec. user=Zachariassen [2009-08-15 07:54:33] 767*2^710942-1 is not prime. Res64: 76939EE4380DB931 Time : 1795.0 sec. user=Zachariassen [2009-08-15 07:55:51] 785*2^710942-1 is not prime. Res64: 68AE6F8A7ED2308E Time : 1793.0 sec. user=Zachariassen [2009-08-15 07:56:47] 613*2^710943-1 is not prime. Res64: 3E19FDBCFC66D5EE Time : 1792.0 sec. user=Zachariassen [2009-08-15 08:00:41] 639*2^710944-1 is not prime. Res64: E91AC820058679E7 Time : 1305.0 sec. user=Zachariassen [2009-08-15 08:01:28] 619*2^710945-1 is not prime. Res64: 8417E2872282E90F Time : 1302.0 sec. user=Zachariassen [2009-08-15 08:04:58] 759*2^710945-1 is not prime. Res64: 0812DAEBEB61DD96 Time : 1331.0 sec. user=Zachariassen [2009-08-15 08:05:21] 705*2^710946-1 is not prime. Res64: A342A055E7A14AAE Time : 1323.0 sec. user=Zachariassen [2009-08-15 08:09:15] 645*2^710944-1 is not prime. Res64: D5A27237ED226841 Time : 1797.0 sec. user=Zachariassen [2009-08-15 08:09:43] 675*2^710944-1 is not prime. Res64: CB1A5E176852A64D Time : 1805.0 sec. user=Zachariassen [2009-08-15 08:10:40] 649*2^710945-1 is not prime. Res64: F46A7A50FE829522 Time : 1783.0 sec. user=Zachariassen [2009-08-15 08:11:35] 721*2^710945-1 is not prime. Res64: 2DE7133CD3A14A14 Time : 1790.0 sec. user=Zachariassen [2009-08-15 08:12:25] 755*2^710946-1 is not prime. Res64: 3696BB94E78E8CD9 Time : 1360.0 sec. user=Zachariassen [2009-08-15 08:12:56] 601*2^710947-1 is not prime. Res64: 3E444FB26D0E4944 Time : 1338.0 sec. user=Zachariassen [2009-08-15 08:16:02] 633*2^710947-1 is not prime. Res64: F3F1AE58497E7B94 Time : 1351.0 sec. user=Zachariassen [2009-08-15 08:16:36] 693*2^710947-1 is not prime. Res64: 96B918A94B7A8BA2 Time : 1347.0 sec. user=Zachariassen [2009-08-15 08:23:24] 679*2^710949-1 is not prime. Res64: C4370FA3D35BBEC1 Time : 1364.0 sec. user=Zachariassen [2009-08-15 08:23:37] 741*2^710949-1 is not prime. Res64: 24B09485951701A5 Time : 1329.0 sec. user=Zachariassen [2009-08-15 08:24:11] 735*2^710947-1 is not prime. Res64: 6FD18AD1316A3342 Time : 1788.0 sec. user=Zachariassen [2009-08-15 08:24:58] 615*2^710948-1 is not prime. Res64: C114BD7BB4BD923C Time : 1825.0 sec. user=Zachariassen [2009-08-15 08:25:25] 647*2^710948-1 is not prime. Res64: BE21E4C57BA8E79C Time : 1775.0 sec. user=Zachariassen [2009-08-15 08:26:34] 735*2^710948-1 is not prime. Res64: ACA984540032519F Time : 1788.0 sec. user=Zachariassen [2009-08-15 08:26:53] 603*2^710950-1 is not prime. Res64: 76C4A5F113DEEA40 Time : 1317.0 sec. user=Zachariassen [2009-08-15 08:27:31] 755*2^710950-1 is not prime. Res64: 8AA9C63DBE978791 Time : 1330.0 sec. user=Zachariassen [2009-08-15 08:34:09] 759*2^710952-1 is not prime. Res64: 3ED663B13BC0B361 Time : 1305.0 sec. user=Zachariassen [2009-08-15 08:34:30] 779*2^710952-1 is not prime. Res64: 587FEAAF13915E41 Time : 1294.0 sec. user=Zachariassen [2009-08-15 08:38:09] 681*2^710953-1 is not prime. Res64: 4785018A8DC2419F Time : 1327.0 sec. user=Zachariassen [2009-08-15 08:38:45] 705*2^710953-1 is not prime. Res64: DCBF3BCE6F0B53C9 Time : 1330.0 sec. user=Zachariassen [2009-08-15 08:39:09] 761*2^710950-1 is not prime. Res64: 05EBEE27A38CE2FE Time : 1794.0 sec. user=Zachariassen [2009-08-15 08:40:01] 705*2^710951-1 is not prime. Res64: 997FEBD0265F4D70 Time : 1818.0 sec. user=Zachariassen [2009-08-15 08:40:11] 633*2^710952-1 is not prime. Res64: 00A756D44E6818CA Time : 1772.0 sec. user=Zachariassen [2009-08-15 08:41:34] 669*2^710952-1 is not prime. Res64: 1699755BFC30BE7E Time : 1799.0 sec. user=Zachariassen [2009-08-15 08:45:18] 769*2^710953-1 is not prime. Res64: 03659F9E4437CB30 Time : 1314.0 sec. user=Zachariassen [2009-08-15 08:45:37] 605*2^710954-1 is not prime. Res64: 8581558B8C6840FB Time : 1321.0 sec. user=Zachariassen [2009-08-15 08:49:08] 643*2^710955-1 is not prime. Res64: 8275E372B2D1DA58 Time : 1335.0 sec. user=Zachariassen [2009-08-15 08:49:39] 709*2^710955-1 is not prime. Res64: 7D07DC9B49973389 Time : 1328.0 sec. user=Zachariassen [2009-08-15 08:54:07] 623*2^710954-1 is not prime. Res64: 16A1832955222F2B Time : 1797.0 sec. user=Zachariassen [2009-08-15 08:55:00] 705*2^710954-1 is not prime. Res64: 06FF04E54DD5DC62 Time : 1803.0 sec. user=Zachariassen [2009-08-15 08:55:07] 731*2^710954-1 is not prime. Res64: 455A586418D1B87A Time : 1782.0 sec. user=Zachariassen [2009-08-15 08:56:28] 741*2^710954-1 is not prime. Res64: 3B4122AAC7F1649D Time : 1795.0 sec. user=Zachariassen [2009-08-15 08:56:32] 751*2^710955-1 is not prime. Res64: FBB6802D90B62D14 Time : 1343.0 sec. user=Zachariassen [2009-08-15 08:57:14] 765*2^710955-1 is not prime. Res64: E354F049561A68D9 Time : 1364.0 sec. user=Zachariassen [2009-08-15 09:00:55] 789*2^710955-1 is not prime. Res64: EF5ED1EEDFEB7166 Time : 1366.0 sec. user=Zachariassen [2009-08-15 09:01:43] 609*2^710956-1 is not prime. Res64: 862DD6A51B3124D7 Time : 1378.0 sec. user=Zachariassen [2009-08-15 09:07:23] 769*2^710957-1 is not prime. Res64: C75AADB227546BBB Time : 1325.0 sec. user=Zachariassen [2009-08-15 09:08:10] 681*2^710958-1 is not prime. Res64: F548F914CA12C84B Time : 1354.0 sec. user=Zachariassen [2009-08-15 09:09:05] 639*2^710956-1 is not prime. Res64: 8A53189D753B98EA Time : 1796.0 sec. user=Zachariassen [2009-08-15 09:09:32] 785*2^710956-1 is not prime. Res64: 52E237B1D0FFB8B6 Time : 1771.0 sec. user=Zachariassen [2009-08-15 09:10:18] 607*2^710957-1 is not prime. Res64: F32584FE817E4F12 Time : 1807.0 sec. user=Zachariassen [2009-08-15 09:11:27] 691*2^710957-1 is not prime. Res64: A42EC7F982F6B4AD Time : 1794.0 sec. user=Zachariassen [2009-08-15 09:11:43] 707*2^710958-1 is not prime. Res64: CAAF4CCFB8543FD0 Time : 1356.0 sec. user=Zachariassen [2009-08-15 09:12:44] 711*2^710958-1 is not prime. Res64: 6AC62443E1E271CE Time : 1386.0 sec. user=Zachariassen [2009-08-15 09:18:25] 669*2^710960-1 is not prime. Res64: FBBF8DBAF2FB6C81 Time : 1314.0 sec. user=Zachariassen [2009-08-15 09:18:48] 675*2^710961-1 is not prime. Res64: F6A7DCCCFCF2C91D Time : 1294.0 sec. user=Zachariassen [2009-08-15 09:22:50] 685*2^710961-1 is not prime. Res64: 13E10AFD885157D6 Time : 1315.0 sec. user=Zachariassen [2009-08-15 09:23:55] 705*2^710961-1 is not prime. Res64: 1CB5B29DA3CA29BF Time : 1332.0 sec. user=Zachariassen [2009-08-15 09:24:03] 755*2^710958-1 is not prime. Res64: 68C8C11047F7E810 Time : 1796.0 sec. user=Zachariassen [2009-08-15 09:24:42] 773*2^710958-1 is not prime. Res64: 77CC1C9F8B238727 Time : 1782.0 sec. user=Zachariassen [2009-08-15 09:25:11] 625*2^710959-1 is not prime. Res64: 1E28A124D4D00641 Time : 1805.0 sec. user=Zachariassen [2009-08-15 09:26:07] 793*2^710959-1 is not prime. Res64: A9A58683F4294B13 Time : 1780.0 sec. user=Zachariassen [2009-08-15 09:30:02] 701*2^710962-1 is not prime. Res64: CD0D02826DDC33C8 Time : 1359.0 sec. user=Zachariassen [2009-08-15 09:30:15] 741*2^710962-1 is not prime. Res64: C70B8C604525B6E6 Time : 1326.0 sec. user=Zachariassen [2009-08-15 09:33:41] 605*2^710964-1 is not prime. Res64: F67040FA56375D72 Time : 1318.0 sec. user=Zachariassen [2009-08-15 09:34:58] 623*2^710964-1 is not prime. Res64: 500A4EA87B78E795 Time : 1334.0 sec. user=Zachariassen [2009-08-15 09:39:13] 765*2^710962-1 is not prime. Res64: 45C7FBCBBAF62BBA Time : 1808.0 sec. user=Zachariassen [2009-08-15 09:39:30] 785*2^710962-1 is not prime. Res64: A3CEF22BE686EF93 Time : 1798.0 sec. user=Zachariassen [2009-08-15 09:40:08] 675*2^710963-1 is not prime. Res64: C4102329E8356B0C Time : 1791.0 sec. user=Zachariassen [2009-08-15 09:40:58] 663*2^710964-1 is not prime. Res64: 7705C87FA24B5D0A Time : 1353.0 sec. user=Zachariassen [2009-08-15 09:41:02] 675*2^710964-1 is not prime. Res64: 3F43658FCC1020EA Time : 1334.0 sec. user=Zachariassen [2009-08-15 09:41:03] 741*2^710963-1 is not prime. Res64: 48EC17A2BE1EF966 Time : 1777.0 sec. user=Zachariassen [2009-08-15 09:44:50] 695*2^710964-1 is not prime. Res64: 44F889156A1FED95 Time : 1320.0 sec. user=Zachariassen [2009-08-15 09:45:57] 789*2^710964-1 is not prime. Res64: 75211131011BA7BC Time : 1322.0 sec. user=Zachariassen [2009-08-15 09:52:37] 635*2^710968-1 is not prime. Res64: 0EEC9C7C8C252722 Time : 1355.0 sec. user=Zachariassen [2009-08-15 09:52:39] 707*2^710968-1 is not prime. Res64: AC5F24094FD7FCEB Time : 1345.0 sec. user=Zachariassen [2009-08-15 09:54:03] 691*2^710967-1 is not prime. Res64: 5B9CA214861454F4 Time : 1801.0 sec. user=Zachariassen [2009-08-15 09:54:23] 709*2^710967-1 is not prime. Res64: 3CE7AE93BD96A17B Time : 1781.0 sec. user=Zachariassen [2009-08-15 09:55:09] 711*2^710967-1 is not prime. Res64: 5781248A38FD6373 Time : 1799.0 sec. user=Zachariassen [2009-08-15 09:56:05] 603*2^710968-1 is not prime. Res64: 1CAFB393EEE1357A Time : 1799.0 sec. user=Zachariassen [2009-08-15 09:56:23] 713*2^710968-1 is not prime. Res64: 75DCEA0606BE0BEA Time : 1363.0 sec. user=Zachariassen [2009-08-15 09:57:28] 631*2^710969-1 is not prime. Res64: 8C7221125C749DBD Time : 1350.0 sec. user=Zachariassen [2009-08-15 10:03:49] 747*2^710969-1 is not prime. Res64: F89D494A6968E14D Time : 1372.0 sec. user=Zachariassen [2009-08-15 10:03:53] 771*2^710969-1 is not prime. Res64: E526693ACA05C062 Time : 1371.0 sec. user=Zachariassen [2009-08-15 10:07:18] 685*2^710971-1 is not prime. Res64: A95CC0E0C2D8273C Time : 1348.0 sec. user=Zachariassen [2009-08-15 10:08:40] 693*2^710971-1 is not prime. Res64: B5403495F80FAA29 Time : 1363.0 sec. user=Zachariassen [2009-08-15 10:09:02] 685*2^710969-1 is not prime. Res64: B9015F7955947657 Time : 1789.0 sec. user=Zachariassen [2009-08-15 10:09:13] 691*2^710969-1 is not prime. Res64: F661A3DCA0B1D048 Time : 1783.0 sec. user=Zachariassen [2009-08-15 10:10:06] 697*2^710969-1 is not prime. Res64: 48C4EF73432EFDAE Time : 1798.0 sec. user=Zachariassen [2009-08-15 10:10:56] 783*2^710970-1 is not prime. Res64: BFA3F09C2EB36C7C Time : 1794.0 sec. user=Zachariassen [2009-08-15 10:15:32] 709*2^710971-1 is not prime. Res64: 8F4C898196D4340F Time : 1375.0 sec. user=Zachariassen [2009-08-15 10:15:35] 735*2^710971-1 is not prime. Res64: D83026E65AF98235 Time : 1376.0 sec. user=Zachariassen [2009-08-15 10:19:08] 759*2^710972-1 is not prime. Res64: B359AD9A42ED74E4 Time : 1366.0 sec. user=Zachariassen [2009-08-15 10:20:19] 767*2^710972-1 is not prime. Res64: 7AD796476EE6BD0E Time : 1371.0 sec. user=Zachariassen [2009-08-15 10:24:03] 793*2^710971-1 is not prime. Res64: 5F0A940B0C1E8901 Time : 1801.0 sec. user=Zachariassen [2009-08-15 10:24:04] 605*2^710972-1 is not prime. Res64: F24BF893BD3E2D19 Time : 1781.0 sec. user=Zachariassen [2009-08-15 10:25:05] 635*2^710972-1 is not prime. Res64: 084C566DDDD16D18 Time : 1797.0 sec. user=Zachariassen [2009-08-15 10:26:00] 735*2^710972-1 is not prime. Res64: 6EBAF43D79C601B9 Time : 1796.0 sec. user=Zachariassen [2009-08-15 10:27:03] 727*2^710973-1 is not prime. Res64: 90A214488FB6D1BB Time : 1394.0 sec. user=Zachariassen [2009-08-15 10:27:15] 735*2^710973-1 is not prime. Res64: 4F8F60A4FA8EF2D6 Time : 1403.0 sec. user=Zachariassen [2009-08-15 10:31:08] 781*2^710973-1 is not prime. Res64: CA4E5BB1848E9DC2 Time : 1430.0 sec. user=Zachariassen [2009-08-15 10:32:19] 611*2^710974-1 is not prime. Res64: B4A90A5EE38C9B1A Time : 1420.0 sec. user=Zachariassen [2009-08-15 10:38:21] 791*2^710974-1 is not prime. Res64: BCA9862CB13FB135 Time : 1369.0 sec. user=Zachariassen [2009-08-15 10:38:43] 601*2^710975-1 is not prime. Res64: DFF057347E1773BA Time : 1388.0 sec. user=Zachariassen [2009-08-15 10:38:54] 651*2^710974-1 is not prime. Res64: 29BB1E1953FD00DB Time : 1792.0 sec. user=Zachariassen [2009-08-15 10:39:09] 663*2^710974-1 is not prime. Res64: 730B819A9810DC03 Time : 1796.0 sec. user=Zachariassen [2009-08-15 10:40:05] 707*2^710974-1 is not prime. Res64: 484207478B3AD32B Time : 1799.0 sec. user=Zachariassen [2009-08-15 10:40:59] 755*2^710974-1 is not prime. Res64: AB7026391296235C Time : 1804.0 sec. user=Zachariassen [2009-08-15 10:42:01] 673*2^710975-1 is not prime. Res64: D13F32BABE50264C Time : 1374.0 sec. user=Zachariassen [2009-08-15 10:43:28] 721*2^710975-1 is not prime. Res64: CD974C8A9B0CE3B2 Time : 1391.0 sec. user=Zachariassen [2009-08-15 10:49:36] 607*2^710977-1 is not prime. Res64: 8CCF870789996607 Time : 1353.0 sec. user=Zachariassen [2009-08-15 10:50:06] 651*2^710977-1 is not prime. Res64: 3E4A5DD18D6FD26C Time : 1372.0 sec. user=Zachariassen [2009-08-15 10:53:05] 727*2^710977-1 is not prime. Res64: 8C8C8D10A7D98A99 Time : 1318.0 sec. user=Zachariassen [2009-08-15 10:53:52] 781*2^710975-1 is not prime. Res64: 7A8B6387FC48A4A6 Time : 1789.0 sec. user=Zachariassen [2009-08-15 10:53:52] 763*2^710975-1 is not prime. Res64: 20D5E7EC18A738C3 Time : 1789.0 sec. user=Zachariassen [2009-08-15 10:54:31] 799*2^710977-1 is not prime. Res64: 1F58CC34A87A4B1E Time : 1333.0 sec. user=Zachariassen [2009-08-15 10:55:04] 783*2^710975-1 is not prime. Res64: E8B213EFF2A283BB Time : 1800.0 sec. user=Zachariassen [2009-08-15 10:56:01] 759*2^710976-1 is not prime. Res64: AE958D133E1C5861 Time : 1801.0 sec. user=Zachariassen [2009-08-15 11:00:47] 635*2^710978-1 is not prime. Res64: BF4560110150DEF9 Time : 1346.0 sec. user=Zachariassen [2009-08-15 11:01:00] 651*2^710978-1 is not prime. Res64: F665591A5B4DBB76 Time : 1337.0 sec. user=Zachariassen [2009-08-15 11:04:29] 669*2^710979-1 is not prime. Res64: D4242FD9AA5DFC24 Time : 1348.0 sec. user=Zachariassen [2009-08-15 11:05:47] 675*2^710979-1 is not prime. Res64: C3E28C98D143D7C2 Time : 1339.0 sec. user=Zachariassen [2009-08-15 11:08:51] 731*2^710978-1 is not prime. Res64: 7C4760D0D4E006C6 Time : 1782.0 sec. user=Zachariassen [2009-08-15 11:08:53] 677*2^710978-1 is not prime. Res64: 533DFC6207986DC6 Time : 1800.0 sec. user=Zachariassen [2009-08-15 11:09:55] 735*2^710978-1 is not prime. Res64: F52CB43AF5C9E153 Time : 1791.0 sec. user=Zachariassen [2009-08-15 11:10:51] 797*2^710978-1 is not prime. Res64: CB708DEE1E0392BC Time : 1792.0 sec. user=Zachariassen [2009-08-15 11:11:42] 793*2^710979-1 is not prime. Res64: 4D6F57E485B10915 Time : 1327.0 sec. user=Zachariassen [2009-08-15 11:11:47] 735*2^710980-1 is not prime. Res64: 56C353A0FF0599B1 Time : 1301.0 sec. user=Zachariassen [2009-08-15 11:15:32] 607*2^710981-1 is not prime. Res64: 0C7454CAB817CDC2 Time : 1348.0 sec. user=Zachariassen [2009-08-15 11:16:41] 679*2^710981-1 is not prime. Res64: 3EC649E1C11C02A6 Time : 1330.0 sec. user=Zachariassen [2009-08-15 11:22:33] 671*2^710982-1 is not prime. Res64: 18D759B993DE77DF Time : 1306.0 sec. user=Zachariassen [2009-08-15 11:22:53] 737*2^710982-1 is not prime. Res64: 39898C0300C54990 Time : 1314.0 sec. user=Zachariassen [2009-08-15 11:23:45] 631*2^710981-1 is not prime. Res64: 058E8175C407B1AC Time : 1793.0 sec. user=Zachariassen [2009-08-15 11:23:53] 615*2^710981-1 is not prime. Res64: 821211DD46A1EB4A Time : 1802.0 sec. user=Zachariassen [2009-08-15 11:24:42] 691*2^710981-1 is not prime. Res64: F95009727D279FA3 Time : 1779.0 sec. user=Zachariassen [2009-08-15 11:25:47] 745*2^710981-1 is not prime. Res64: 255A88D722D75144 Time : 1786.0 sec. user=Zachariassen [2009-08-15 11:26:41] 603*2^710983-1 is not prime. Res64: 62607A110AC90F9C Time : 1332.0 sec. user=Zachariassen [2009-08-15 11:27:58] 639*2^710983-1 is not prime. Res64: 62588693FD9504EB Time : 1332.0 sec. user=Zachariassen [2009-08-15 11:33:19] 765*2^710983-1 is not prime. Res64: 951C04174FA56B42 Time : 1298.0 sec. user=Zachariassen [2009-08-15 11:33:42] 629*2^710984-1 is not prime. Res64: 08E7F6D31AA30E8D Time : 1316.0 sec. user=Zachariassen [2009-08-15 11:37:23] 687*2^710984-1 is not prime. Res64: 022B13BA6CC7FF15 Time : 1311.0 sec. user=Zachariassen [2009-08-15 11:38:43] 673*2^710983-1 is not prime. Res64: 3DF6DBEAEF77C1A6 Time : 1792.0 sec. user=Zachariassen [2009-08-15 11:38:44] 685*2^710983-1 is not prime. Res64: 88A9D7B53A841799 Time : 1791.0 sec. user=Zachariassen [2009-08-15 11:38:58] 773*2^710984-1 is not prime. Res64: A86AC10D86C4A00D Time : 1338.0 sec. user=Zachariassen [2009-08-15 11:39:44] 693*2^710983-1 is not prime. Res64: 2FFDA2A2470740BC Time : 1789.0 sec. user=Zachariassen [2009-08-15 11:40:48] 729*2^710983-1 is not prime. Res64: 3F21FA5A8A093E58 Time : 1797.0 sec. user=Zachariassen [2009-08-15 11:44:35] 789*2^710984-1 is not prime. Res64: 7C5CEBE85A7FF1EF Time : 1323.0 sec. user=Zachariassen [2009-08-15 11:44:44] 625*2^710985-1 is not prime. Res64: FD6AE1686157FEED Time : 1312.0 sec. user=Zachariassen [2009-08-15 11:48:36] 741*2^710985-1 is not prime. Res64: 167F0C733FE1EEB0 Time : 1316.0 sec. user=Zachariassen [2009-08-15 11:50:10] 663*2^710986-1 is not prime. Res64: EB22283969E74B06 Time : 1332.0 sec. user=Zachariassen [2009-08-15 11:53:35] 627*2^710985-1 is not prime. Res64: 8B7AFFB240CF3203 Time : 1790.0 sec. user=Zachariassen [2009-08-15 11:53:52] 699*2^710985-1 is not prime. Res64: 10766C42E333ED23 Time : 1800.0 sec. user=Zachariassen [2009-08-15 11:54:26] 717*2^710985-1 is not prime. Res64: 41905987C95A9A23 Time : 1784.0 sec. user=Zachariassen [2009-08-15 11:55:27] 675*2^710986-1 is not prime. Res64: C8D5FD8F1E87F4E3 Time : 1328.0 sec. user=Zachariassen [2009-08-15 11:55:39] 765*2^710986-1 is not prime. Res64: 2B89C85F5A036B9A Time : 1318.0 sec. user=Zachariassen [2009-08-15 11:55:50] 727*2^710985-1 is not prime. Res64: 4C2067B907184427 Time : 1803.0 sec. user=Zachariassen [2009-08-15 11:59:28] 777*2^710986-1 is not prime. Res64: FA5AC5F89100F337 Time : 1326.0 sec. user=Zachariassen [2009-08-15 12:01:16] 759*2^710988-1 is not prime. Res64: C7CD693E4985D546 Time : 1338.0 sec. user=Zachariassen [2009-08-15 12:06:43] 621*2^710989-1 is not prime. Res64: 65FD28C7BCBFBB40 Time : 1328.0 sec. user=Zachariassen [2009-08-15 12:06:59] 639*2^710989-1 is not prime. Res64: 96DE7596960864E7 Time : 1335.0 sec. user=Zachariassen [2009-08-15 12:08:45] 725*2^710988-1 is not prime. Res64: 494266EFE611A83A Time : 1801.0 sec. user=Zachariassen [2009-08-15 12:08:55] 693*2^710987-1 is not prime. Res64: 2A9790545E572DB6 Time : 1813.0 sec. user=Zachariassen [2009-08-15 12:09:18] 777*2^710988-1 is not prime. Res64: E1876D3F9A462811 Time : 1774.0 sec. user=Zachariassen [2009-08-15 12:10:35] 795*2^710988-1 is not prime. Res64: 309A61F07456EC19 Time : 1788.0 sec. user=Zachariassen [2009-08-15 12:10:55] 605*2^710990-1 is not prime. Res64: F59F50D2EA6793C6 Time : 1339.0 sec. user=Zachariassen [2009-08-15 12:12:19] 615*2^710990-1 is not prime. Res64: 7DE3B20CBEAB07BB Time : 1329.0 sec. user=Zachariassen [2009-08-15 12:17:26] 685*2^710991-1 is not prime. Res64: 90857C7EC99F556F Time : 1319.0 sec. user=Zachariassen [2009-08-15 12:18:04] 711*2^710991-1 is not prime. Res64: A9EB7DEA8CCC05E6 Time : 1346.0 sec. user=Zachariassen [2009-08-15 12:22:14] 635*2^710992-1 is not prime. Res64: 7B27EBE61C77F0D3 Time : 1366.0 sec. user=Zachariassen [2009-08-15 12:23:42] 743*2^710990-1 is not prime. Res64: 2ACA887D03D3EA3D Time : 1808.0 sec. user=Zachariassen [2009-08-15 12:23:42] 719*2^710992-1 is not prime. Res64: 106F59EDF94ECDB8 Time : 1347.0 sec. user=Zachariassen [2009-08-15 12:23:45] 795*2^710990-1 is not prime. Res64: DC0F43C5E3168FFC Time : 1793.0 sec. user=Zachariassen [2009-08-15 12:24:13] 651*2^710991-1 is not prime. Res64: 0727080B0DF22774 Time : 1788.0 sec. user=Zachariassen [2009-08-15 12:25:32] 781*2^710991-1 is not prime. Res64: B1CB14046B7998DF Time : 1782.0 sec. user=Zachariassen [2009-08-15 12:28:36] 747*2^710992-1 is not prime. Res64: AA5F4C37F61F256C Time : 1313.0 sec. user=Zachariassen [2009-08-15 12:29:36] 759*2^710992-1 is not prime. Res64: 289422D197E73654 Time : 1357.0 sec. user=Zachariassen [2009-08-15 12:33:19] 621*2^710994-1 is not prime. Res64: 44919013D4BD1D2E Time : 1344.0 sec. user=Zachariassen [2009-08-15 12:35:12] 677*2^710994-1 is not prime. Res64: 14784CAC733F1F19 Time : 1373.0 sec. user=Zachariassen [2009-08-15 12:38:38] 615*2^710993-1 is not prime. Res64: 982B3E04A76E54DF Time : 1784.0 sec. user=Zachariassen [2009-08-15 12:38:43] 607*2^710993-1 is not prime. Res64: 6A1C11642B8CE0CA Time : 1798.0 sec. user=Zachariassen [2009-08-15 12:39:13] 669*2^710993-1 is not prime. Res64: E66CEAD2AA6B7363 Time : 1795.0 sec. user=Zachariassen [2009-08-15 12:40:21] 611*2^710994-1 is not prime. Res64: 23135F40B7FB8C57 Time : 1787.0 sec. user=Zachariassen [2009-08-15 12:40:30] 783*2^710994-1 is not prime. Res64: 2BDC412D28EECAAF Time : 1384.0 sec. user=Zachariassen [2009-08-15 12:41:35] 603*2^710995-1 is not prime. Res64: 3C6075B756743D39 Time : 1411.0 sec. user=Zachariassen [2009-08-15 12:45:06] 705*2^710995-1 is not prime. Res64: 9FD97B53480DDFBF Time : 1372.0 sec. user=Zachariassen [2009-08-15 12:47:14] 741*2^710995-1 is not prime. Res64: 7090CF2A19237C16 Time : 1413.0 sec. user=Zachariassen [2009-08-15 12:51:37] 645*2^710998-1 is not prime. Res64: 4EF9048E842380A4 Time : 1382.0 sec. user=Zachariassen [2009-08-15 12:52:57] 777*2^710998-1 is not prime. Res64: 4E3FB5B73C6A3826 Time : 1401.0 sec. user=Zachariassen [2009-08-15 12:53:29] 723*2^710995-1 is not prime. Res64: 1D66FE368EEA3155 Time : 1788.0 sec. user=Zachariassen [2009-08-15 12:53:46] 751*2^710995-1 is not prime. Res64: 14B56263BE09F41A Time : 1802.0 sec. user=Zachariassen [2009-08-15 12:54:03] 693*2^710996-1 is not prime. Res64: D46D74221011A52B Time : 1790.0 sec. user=Zachariassen [2009-08-15 12:55:21] 777*2^710997-1 is not prime. Res64: 96C9079F4764E971 Time : 1790.0 sec. user=Zachariassen [2009-08-15 12:56:23] 621*2^710999-1 is not prime. Res64: 34F6C6C535244B51 Time : 1385.0 sec. user=Zachariassen [2009-08-15 12:58:16] 661*2^710999-1 is not prime. Res64: 13F6FBFDB05013C4 Time : 1384.0 sec. user=Zachariassen [2009-08-15 13:02:30] 649*2^711001-1 is not prime. Res64: 54C054127A1E7E33 Time : 1321.0 sec. user=Zachariassen [2009-08-15 13:03:46] 679*2^711001-1 is not prime. Res64: 6EF3C75ABA03BF96 Time : 1331.0 sec. user=Zachariassen [2009-08-15 13:07:26] 741*2^711001-1 is not prime. Res64: F964F9C585EC3254 Time : 1341.0 sec. user=Zachariassen [2009-08-15 13:08:18] 735*2^710999-1 is not prime. Res64: 16B57571D8415C12 Time : 1775.0 sec. user=Zachariassen [2009-08-15 13:08:43] 669*2^710999-1 is not prime. Res64: 055CEE9F3CD1C43F Time : 1806.0 sec. user=Zachariassen [2009-08-15 13:09:01] 775*2^710999-1 is not prime. Res64: 73C2B76AA9BC48E4 Time : 1788.0 sec. user=Zachariassen [2009-08-15 13:09:05] 635*2^711002-1 is not prime. Res64: 899F80EBD7E67DBE Time : 1313.0 sec. user=Zachariassen [2009-08-15 13:10:18] 713*2^711000-1 is not prime. Res64: 08925FD0A9F84283 Time : 1797.0 sec. user=Zachariassen [2009-08-15 13:13:38] 705*2^711002-1 is not prime. Res64: 4749759966F1896A Time : 1321.0 sec. user=Zachariassen [2009-08-15 13:14:39] 741*2^711002-1 is not prime. Res64: 75F1E60CEF1A8CFA Time : 1303.0 sec. user=Zachariassen [2009-08-15 13:18:21] 623*2^711004-1 is not prime. Res64: 5CBA0072A7E3FB8A Time : 1318.0 sec. user=Zachariassen [2009-08-15 13:20:06] 635*2^711004-1 is not prime. Res64: 4DCE75601E57A723 Time : 1310.0 sec. user=Zachariassen [2009-08-15 13:23:09] 619*2^711003-1 is not prime. Res64: 66ECFD271B378457 Time : 1780.0 sec. user=Zachariassen [2009-08-15 13:23:43] 679*2^711003-1 is not prime. Res64: 573800431DFB1114 Time : 1798.0 sec. user=Zachariassen [2009-08-15 13:23:44] 703*2^711003-1 is not prime. Res64: E5D94BDE6930C22B Time : 1783.0 sec. user=Zachariassen [2009-08-15 13:24:12] 665*2^711004-1 is not prime. Res64: E087A07C7F5AFAB5 Time : 1302.0 sec. user=Zachariassen [2009-08-15 13:25:27] 615*2^711004-1 is not prime. Res64: E36A9FD07F9CCA8A Time : 1807.0 sec. user=Zachariassen [2009-08-15 13:25:38] 693*2^711004-1 is not prime. Res64: 00F7AEC8B9FA827F Time : 1313.0 sec. user=Zachariassen [2009-08-15 13:29:05] 723*2^711004-1 is not prime. Res64: B6745FA34E35A1A3 Time : 1300.0 sec. user=Zachariassen [2009-08-15 13:30:57] 655*2^711005-1 is not prime. Res64: 5917F976DC464347 Time : 1313.0 sec. user=Zachariassen [2009-08-15 13:35:32] 697*2^711005-1 is not prime. Res64: 21B78244FF89822C Time : 1315.0 sec. user=Zachariassen [2009-08-15 13:36:51] 715*2^711005-1 is not prime. Res64: C5F47F039D931DE8 Time : 1332.0 sec. user=Zachariassen [2009-08-15 13:38:03] 607*2^711005-1 is not prime. Res64: 96CF6EC5CD52EEF1 Time : 1785.0 sec. user=Zachariassen [2009-08-15 13:38:39] 619*2^711005-1 is not prime. Res64: 58789A978801B86B Time : 1796.0 sec. user=Zachariassen [2009-08-15 13:38:50] 645*2^711005-1 is not prime. Res64: 20F317E3B8756FB3 Time : 1793.0 sec. user=Zachariassen [2009-08-15 13:40:08] 675*2^711005-1 is not prime. Res64: 9F42FD2E2F31DE38 Time : 1790.0 sec. user=Zachariassen [2009-08-15 13:40:45] 787*2^711005-1 is not prime. Res64: 0ADA5180365CDA79 Time : 1345.0 sec. user=Zachariassen [2009-08-15 13:42:36] 789*2^711005-1 is not prime. Res64: C6CFF2B698EDB7CD Time : 1351.0 sec. user=Zachariassen [2009-08-15 13:46:52] 633*2^711007-1 is not prime. Res64: F8D4172D27435475 Time : 1360.0 sec. user=Zachariassen [2009-08-15 13:47:56] 635*2^711008-1 is not prime. Res64: 4443A2BA5DF22195 Time : 1338.0 sec. user=Zachariassen [2009-08-15 13:51:41] 669*2^711008-1 is not prime. Res64: 0E0039A8964EDCAD Time : 1358.0 sec. user=Zachariassen [2009-08-15 13:52:48] 615*2^711006-1 is not prime. Res64: 396407469E17F426 Time : 1779.0 sec. user=Zachariassen [2009-08-15 13:53:23] 677*2^711008-1 is not prime. Res64: ECE6E502C941CA48 Time : 1347.0 sec. user=Zachariassen [2009-08-15 13:53:31] 725*2^711006-1 is not prime. Res64: F5B83C74BB21DC0B Time : 1789.0 sec. user=Zachariassen [2009-08-15 13:53:43] 603*2^711007-1 is not prime. Res64: 62197651CFE15E7B Time : 1800.0 sec. user=Zachariassen [2009-08-15 13:55:16] 615*2^711008-1 is not prime. Res64: 26727787D86CC4E0 Time : 1791.0 sec. user=Zachariassen [2009-08-15 13:57:47] 795*2^711008-1 is not prime. Res64: 2D81C2A96F441840 Time : 1335.0 sec. user=Zachariassen [2009-08-15 13:58:49] 669*2^711009-1 is not prime. Res64: 3757D0E20C3BB748 Time : 1319.0 sec. user=Zachariassen [2009-08-15 14:02:26] 687*2^711010-1 is not prime. Res64: 4198CD2BB1A28428 Time : 1301.0 sec. user=Zachariassen [2009-08-15 14:04:29] 695*2^711010-1 is not prime. Res64: 0216A988667BAA53 Time : 1314.0 sec. user=Zachariassen [2009-08-15 14:07:40] 741*2^711009-1 is not prime. Res64: FBA3D7CA7D0506DA Time : 1777.0 sec. user=Zachariassen [2009-08-15 14:08:23] 745*2^711009-1 is not prime. Res64: 4E05973A36A26559 Time : 1785.0 sec. user=Zachariassen [2009-08-15 14:08:38] 789*2^711009-1 is not prime. Res64: DAA93603DB118F96 Time : 1789.0 sec. user=Zachariassen [2009-08-15 14:08:49] 723*2^711010-1 is not prime. Res64: 63EE6B0234C3C50F Time : 1318.0 sec. user=Zachariassen [2009-08-15 14:09:50] 651*2^711011-1 is not prime. Res64: E2F731A049E313E7 Time : 1314.0 sec. user=Zachariassen [2009-08-15 14:10:17] 603*2^711010-1 is not prime. Res64: 92DD2B55D5653B53 Time : 1809.0 sec. user=Zachariassen [2009-08-15 14:13:37] 781*2^711011-1 is not prime. Res64: 82C23AF5B6D2019F Time : 1317.0 sec. user=Zachariassen [2009-08-15 14:15:41] 605*2^711012-1 is not prime. Res64: E77D4757A6DAA844 Time : 1339.0 sec. user=Zachariassen [2009-08-15 14:19:58] 765*2^711012-1 is not prime. Res64: F563C6B5534C24AC Time : 1332.0 sec. user=Zachariassen [2009-08-15 14:20:57] 609*2^711013-1 is not prime. Res64: A748A6C4B79C1ACD Time : 1328.0 sec. user=Zachariassen [2009-08-15 14:22:38] 783*2^711011-1 is not prime. Res64: AEC210F223A0F23A Time : 1791.0 sec. user=Zachariassen [2009-08-15 14:23:06] 627*2^711012-1 is not prime. Res64: F6D6D4E8D62998E2 Time : 1775.0 sec. user=Zachariassen [2009-08-15 14:23:31] 647*2^711012-1 is not prime. Res64: A301466724B88A85 Time : 1789.0 sec. user=Zachariassen [2009-08-15 14:24:24] 619*2^711013-1 is not prime. Res64: D0D6E306AE31053B Time : 1318.0 sec. user=Zachariassen [2009-08-15 14:25:20] 669*2^711012-1 is not prime. Res64: F7D87BFCEB2A9526 Time : 1805.0 sec. user=Zachariassen [2009-08-15 14:27:15] 651*2^711013-1 is not prime. Res64: 01D62893B2A13AFE Time : 1367.0 sec. user=Zachariassen [2009-08-15 14:32:16] 707*2^711014-1 is not prime. Res64: 1BE67E7CBDC82713 Time : 1407.0 sec. user=Zachariassen [2009-08-15 14:33:15] 633*2^711015-1 is not prime. Res64: 7B6D53396EA2F3A9 Time : 1406.0 sec. user=Zachariassen [2009-08-15 14:36:40] 677*2^711016-1 is not prime. Res64: 6B2F3787DD867353 Time : 1383.0 sec. user=Zachariassen [2009-08-15 14:37:36] 691*2^711013-1 is not prime. Res64: 0FF34CDCEEDB1E28 Time : 1797.0 sec. user=Zachariassen [2009-08-15 14:37:58] 789*2^711013-1 is not prime. Res64: 59C3C61B12CE2617 Time : 1775.0 sec. user=Zachariassen [2009-08-15 14:38:34] 623*2^711014-1 is not prime. Res64: E1647E8F2F6A239C Time : 1796.0 sec. user=Zachariassen [2009-08-15 14:39:30] 741*2^711017-1 is not prime. Res64: D20BE20D4E1EB8AD Time : 1429.0 sec. user=Zachariassen [2009-08-15 14:40:14] 617*2^711016-1 is not prime. Res64: 9733660BA963D9DA Time : 1798.0 sec. user=Zachariassen [2009-08-15 14:44:10] 777*2^711017-1 is not prime. Res64: F4FBB63AF2DB0884 Time : 1453.0 sec. user=Zachariassen [2009-08-15 14:45:01] 621*2^711018-1 is not prime. Res64: 94628847D75E3A97 Time : 1444.0 sec. user=Zachariassen [2009-08-15 14:48:18] 773*2^711018-1 is not prime. Res64: 9313D354A59FF678 Time : 1434.0 sec. user=Zachariassen [2009-08-15 14:51:03] 741*2^711019-1 is not prime. Res64: 1A1130016EFD5181 Time : 1428.0 sec. user=Zachariassen [2009-08-15 14:52:33] 683*2^711018-1 is not prime. Res64: 756C09B46B4774FF Time : 1795.0 sec. user=Zachariassen [2009-08-15 14:53:11] 707*2^711018-1 is not prime. Res64: AFC0B4E6958E3E1C Time : 1805.0 sec. user=Zachariassen [2009-08-15 14:53:31] 711*2^711018-1 is not prime. Res64: 9798EEF1EF824DD8 Time : 1800.0 sec. user=Zachariassen [2009-08-15 14:55:00] 609*2^711019-1 is not prime. Res64: DABA1EDF0D1C19CF Time : 1780.0 sec. user=Zachariassen [2009-08-15 14:55:57] 769*2^711019-1 is not prime. Res64: 4A9799EF8EA438CC Time : 1422.0 sec. user=Zachariassen [2009-08-15 14:56:35] 635*2^711020-1 is not prime. Res64: 129E979C3673A65A Time : 1401.0 sec. user=Zachariassen [2009-08-15 15:00:37] 665*2^711020-1 is not prime. Res64: D3065803AA432C9A Time : 1438.0 sec. user=Zachariassen [2009-08-15 15:02:51] 797*2^711020-1 is not prime. Res64: E36F5400CF3D5EC4 Time : 1402.0 sec. user=Zachariassen [2009-08-15 15:07:22] 675*2^711021-1 is not prime. Res64: FD5D9E4F23EB5398 Time : 1393.0 sec. user=Zachariassen [2009-08-15 15:07:33] 753*2^711020-1 is not prime. Res64: 22ED5AD0E8E8DF7C Time : 1798.0 sec. user=Zachariassen [2009-08-15 15:07:58] 767*2^711020-1 is not prime. Res64: 0F14C99A0A3526D7 Time : 1800.0 sec. user=Zachariassen [2009-08-15 15:08:28] 735*2^711021-1 is not prime. Res64: ADAD6C08DA4B76D1 Time : 1407.0 sec. user=Zachariassen [2009-08-15 15:08:30] 795*2^711020-1 is not prime. Res64: 32430E2B01E67771 Time : 1796.0 sec. user=Zachariassen [2009-08-15 15:10:00] 669*2^711021-1 is not prime. Res64: 4A3FD84F58972ECD Time : 1786.0 sec. user=Zachariassen [2009-08-15 15:12:47] 741*2^711021-1 is not prime. Res64: 838243AFE598A01E Time : 1469.0 sec. user=Zachariassen [2009-08-15 15:15:13] 645*2^711022-1 is not prime. Res64: C36C9ADA3621DE49 Time : 1450.0 sec. user=Zachariassen [2009-08-15 15:19:35] 621*2^711023-1 is not prime. Res64: E75111B9916CBCC9 Time : 1419.0 sec. user=Zachariassen [2009-08-15 15:21:13] 735*2^711023-1 is not prime. Res64: DF37CCAAF7F30A4A Time : 1478.0 sec. user=Zachariassen [2009-08-15 15:22:31] 675*2^711022-1 is not prime. Res64: 0DCFA0CFFB8D3D1F Time : 1798.0 sec. user=Zachariassen [2009-08-15 15:23:02] 713*2^711022-1 is not prime. Res64: BA2E36DC56D535AE Time : 1792.0 sec. user=Zachariassen [2009-08-15 15:23:24] 717*2^711022-1 is not prime. Res64: 3E9658599428908B Time : 1793.0 sec. user=Zachariassen [2009-08-15 15:25:03] 743*2^711022-1 is not prime. Res64: 969DEFB750404F27 Time : 1804.0 sec. user=Zachariassen [2009-08-15 15:25:31] 741*2^711023-1 is not prime. Res64: 85520741A6C27D89 Time : 1496.0 sec. user=Zachariassen [2009-08-15 15:27:19] 775*2^711023-1 is not prime. Res64: F561C6052334BED1 Time : 1469.0 sec. user=Zachariassen [2009-08-15 15:31:57] 783*2^711023-1 is not prime. Res64: 90F9D0F7D0026A7D Time : 1476.0 sec. user=Zachariassen [2009-08-15 15:33:14] 675*2^711024-1 is not prime. Res64: E43BBC3BADB8BC20 Time : 1488.0 sec. user=Zachariassen [2009-08-15 15:37:14] 615*2^711024-1 is not prime. Res64: 2F2FFD3ACDDE402E Time : 1781.0 sec. user=Zachariassen [2009-08-15 15:38:02] 639*2^711024-1 is not prime. Res64: 649413E1B508F9A7 Time : 1804.0 sec. user=Zachariassen [2009-08-15 15:38:07] 715*2^711025-1 is not prime. Res64: CE986CD982DC2851 Time : 1520.0 sec. user=Zachariassen [2009-08-15 15:38:25] 773*2^711024-1 is not prime. Res64: 711A9B7E27E36E1C Time : 1796.0 sec. user=Zachariassen [2009-08-15 15:39:54] 765*2^711025-1 is not prime. Res64: 2F264D813719EB4A Time : 1484.0 sec. user=Zachariassen [2009-08-15 15:40:16] 651*2^711025-1 is not prime. Res64: 7FA2637C96A99847 Time : 1816.0 sec. user=Zachariassen [2009-08-15 15:45:01] 633*2^711026-1 is not prime. Res64: 22515766589BC560 Time : 1527.0 sec. user=Zachariassen [2009-08-15 15:46:25] 641*2^711026-1 is not prime. Res64: ABEAE88D302482F5 Time : 1513.0 sec. user=Zachariassen [2009-08-15 15:50:33] 685*2^711027-1 is not prime. Res64: B534B2B9A8A8F46D Time : 1502.0 sec. user=Zachariassen [2009-08-15 15:52:09] 657*2^711026-1 is not prime. Res64: A476774340E56CCE Time : 1779.0 sec. user=Zachariassen [2009-08-15 15:52:19] 769*2^711027-1 is not prime. Res64: AE652D24991659B8 Time : 1500.0 sec. user=Zachariassen [2009-08-15 15:52:54] 601*2^711027-1 is not prime. Res64: 792C7ECF2EC36E0D Time : 1793.0 sec. user=Zachariassen [2009-08-15 15:53:23] 651*2^711027-1 is not prime. Res64: D1793C0AC2BC5BEF Time : 1800.0 sec. user=Zachariassen [2009-08-15 15:55:21] 669*2^711027-1 is not prime. Res64: A6094B45FCB2568F Time : 1818.0 sec. user=Zachariassen [2009-08-15 15:57:36] 635*2^711028-1 is not prime. Res64: 3C4E808A9A4B8F60 Time : 1539.0 sec. user=Zachariassen [2009-08-15 15:58:17] 639*2^711028-1 is not prime. Res64: C2271497BBB23083 Time : 1503.0 sec. user=Zachariassen [2009-08-15 16:03:29] 621*2^711029-1 is not prime. Res64: 2DC944D5983A727B Time : 1523.0 sec. user=Zachariassen [2009-08-15 16:04:46] 631*2^711029-1 is not prime. Res64: 31E26E8431EC69F4 Time : 1493.0 sec. user=Zachariassen [2009-08-15 16:07:04] 657*2^711028-1 is not prime. Res64: DE8D5B5BBC17404D Time : 1790.0 sec. user=Zachariassen [2009-08-15 16:07:52] 601*2^711029-1 is not prime. Res64: 1E0C65FC51E4257B Time : 1791.0 sec. user=Zachariassen [2009-08-15 16:08:31] 627*2^711029-1 is not prime. Res64: 2355F25CA6ECAF2A Time : 1807.0 sec. user=Zachariassen [2009-08-15 16:10:26] 657*2^711029-1 is not prime. Res64: 409C6140D5BD5A98 Time : 1810.0 sec. user=Zachariassen [2009-08-15 16:10:43] 711*2^711029-1 is not prime. Res64: F57CC043FB88C267 Time : 1542.0 sec. user=Zachariassen [2009-08-15 16:11:17] 775*2^711029-1 is not prime. Res64: FE4A014B965FF5D1 Time : 1492.0 sec. user=Zachariassen [2009-08-15 16:15:50] 787*2^711029-1 is not prime. Res64: 6CC72D4383A09FEF Time : 1517.0 sec. user=Zachariassen [2009-08-15 16:16:45] 783*2^711030-1 is not prime. Res64: 871BBE6D0ACC11DA Time : 1466.0 sec. user=Zachariassen [2009-08-15 16:21:43] 681*2^711030-1 is not prime. Res64: EE14FA679C671629 Time : 1774.0 sec. user=Zachariassen [2009-08-15 16:22:47] 723*2^711031-1 is not prime. Res64: DC9835BE9AEED8E7 Time : 1512.0 sec. user=Zachariassen [2009-08-15 16:22:54] 633*2^711032-1 is not prime. Res64: B47566C971FFC475 Time : 1477.0 sec. user=Zachariassen [2009-08-15 16:22:55] 651*2^711031-1 is not prime. Res64: 09686D9A28C1DE2F Time : 1802.0 sec. user=Zachariassen [2009-08-15 16:23:34] 681*2^711031-1 is not prime. Res64: CB867F36D76C87D5 Time : 1811.0 sec. user=Zachariassen [2009-08-15 16:25:34] 693*2^711031-1 is not prime. Res64: 662699BEBC5A17FB Time : 1813.0 sec. user=Zachariassen [2009-08-15 16:27:52] 625*2^711033-1 is not prime. Res64: 9160E120788697D7 Time : 1463.0 sec. user=Zachariassen [2009-08-15 16:28:41] 669*2^711033-1 is not prime. Res64: 4F7612E6919D22FE Time : 1435.0 sec. user=Zachariassen [2009-08-15 16:34:59] 645*2^711034-1 is not prime. Res64: B3A2F399706EEBA8 Time : 1422.0 sec. user=Zachariassen [2009-08-15 16:35:03] 611*2^711034-1 is not prime. Res64: 89A4377EBC5814DA Time : 1460.0 sec. user=Zachariassen [2009-08-15 16:36:35] 675*2^711033-1 is not prime. Res64: E6691B8236AF474C Time : 1771.0 sec. user=Zachariassen [2009-08-15 16:37:52] 681*2^711033-1 is not prime. Res64: BE6A22EAA228BCB8 Time : 1801.0 sec. user=Zachariassen [2009-08-15 16:38:33] 747*2^711033-1 is not prime. Res64: 8AD46BCC6A931E55 Time : 1802.0 sec. user=Zachariassen [2009-08-15 16:39:16] 677*2^711034-1 is not prime. Res64: E8EEBD5FF6AFC148 Time : 1406.0 sec. user=Zachariassen [2009-08-15 16:40:12] 681*2^711034-1 is not prime. Res64: E3C79FEEF4A90AC4 Time : 1407.0 sec. user=Zachariassen [2009-08-15 16:40:38] 765*2^711033-1 is not prime. Res64: 64A57B48B6C84553 Time : 1813.0 sec. user=Zachariassen [2009-08-15 16:47:16] 609*2^711035-1 is not prime. Res64: 98C2E5A3A2F86C92 Time : 1470.0 sec. user=Zachariassen [2009-08-15 16:47:33] 733*2^711035-1 is not prime. Res64: 39E0D7C985ED9090 Time : 1480.0 sec. user=Zachariassen [2009-08-15 16:51:33] 741*2^711034-1 is not prime. Res64: A77AED7710FBA1EF Time : 1790.0 sec. user=Zachariassen [2009-08-15 16:52:04] 759*2^711035-1 is not prime. Res64: F56A13437F60E309 Time : 1452.0 sec. user=Zachariassen [2009-08-15 16:52:52] 735*2^711035-1 is not prime. Res64: 395A1AD5AC91758B Time : 1797.0 sec. user=Zachariassen [2009-08-15 16:53:01] 799*2^711035-1 is not prime. Res64: 091E69C4D43976B5 Time : 1461.0 sec. user=Zachariassen [2009-08-15 16:53:38] 739*2^711035-1 is not prime. Res64: 0DDCC35008B2B4EB Time : 1804.0 sec. user=Zachariassen [2009-08-15 16:55:34] 741*2^711035-1 is not prime. Res64: BF0DB17135E81D37 Time : 1800.0 sec. user=Zachariassen [2009-08-15 16:59:05] 689*2^711036-1 is not prime. Res64: FCACC5C9896B9EC5 Time : 1443.0 sec. user=Zachariassen [2009-08-15 16:59:26] 627*2^711036-1 is not prime. Res64: 94EAD7E166957119 Time : 1467.0 sec. user=Zachariassen [2009-08-15 17:03:51] 715*2^711037-1 is not prime. Res64: 4B0346BFFDDBC9FD Time : 1475.0 sec. user=Zachariassen [2009-08-15 17:04:57] 729*2^711037-1 is not prime. Res64: EA98794869EA03BE Time : 1485.0 sec. user=Zachariassen [2009-08-15 17:06:21] 717*2^711036-1 is not prime. Res64: A823F05DB972C13A Time : 1786.0 sec. user=Zachariassen [2009-08-15 17:07:48] 749*2^711036-1 is not prime. Res64: 6595BB2B9754632D Time : 1797.0 sec. user=Zachariassen [2009-08-15 17:08:40] 777*2^711036-1 is not prime. Res64: B56EE2DC98E2B1E7 Time : 1807.0 sec. user=Zachariassen [2009-08-15 17:10:34] 775*2^711037-1 is not prime. Res64: 2FD9EC91A0C00762 Time : 1797.0 sec. user=Zachariassen [2009-08-15 17:11:03] 777*2^711037-1 is not prime. Res64: 24DA05B43DABD8F1 Time : 1428.0 sec. user=Zachariassen [2009-08-15 17:11:25] 641*2^711038-1 is not prime. Res64: 762D468A97407AE8 Time : 1432.0 sec. user=Zachariassen [2009-08-15 17:15:55] 609*2^711039-1 is not prime. Res64: 4DFDACF03972A826 Time : 1432.0 sec. user=Zachariassen [2009-08-15 17:17:24] 621*2^711039-1 is not prime. Res64: 707514C7AB5F6F30 Time : 1463.0 sec. user=Zachariassen [2009-08-15 17:21:30] 713*2^711038-1 is not prime. Res64: F5E4C0CFBA90B8EA Time : 1798.0 sec. user=Zachariassen [2009-08-15 17:22:46] 613*2^711039-1 is not prime. Res64: 9070A8C670731F2E Time : 1795.0 sec. user=Zachariassen [2009-08-15 17:22:58] 605*2^711040-1 is not prime. Res64: E1889EF6B4A4C2CD Time : 1434.0 sec. user=Zachariassen [2009-08-15 17:23:19] 635*2^711040-1 is not prime. Res64: 5C08D9792693B6E9 Time : 1433.0 sec. user=Zachariassen [2009-08-15 17:23:37] 723*2^711039-1 is not prime. Res64: 0B73B10B56545AE8 Time : 1799.0 sec. user=Zachariassen [2009-08-15 17:25:35] 751*2^711039-1 is not prime. Res64: C181A780DA57F4FE Time : 1801.0 sec. user=Zachariassen [2009-08-15 17:28:13] 755*2^711040-1 is not prime. Res64: 5F1CDD84A7DEA53F Time : 1462.0 sec. user=Zachariassen [2009-08-15 17:29:14] 601*2^711041-1 is not prime. Res64: 951B817DBF48DB54 Time : 1458.0 sec. user=Zachariassen [2009-08-15 17:34:57] 789*2^711041-1 is not prime. Res64: 041C4839A9A146C3 Time : 1412.0 sec. user=Zachariassen [2009-08-15 17:35:28] 717*2^711041-1 is not prime. Res64: CC9CF742874C1EE5 Time : 1465.0 sec. user=Zachariassen [2009-08-15 17:36:10] 615*2^711041-1 is not prime. Res64: 08F70DE66618430F Time : 1789.0 sec. user=Zachariassen [2009-08-15 17:37:46] 619*2^711041-1 is not prime. Res64: 877DE5028A91A2B5 Time : 1798.0 sec. user=Zachariassen [2009-08-15 17:38:27] 631*2^711041-1 is not prime. Res64: BB68B7279CBD54D4 Time : 1787.0 sec. user=Zachariassen [2009-08-15 17:39:58] 611*2^711042-1 is not prime. Res64: 39EADFFF824B3962 Time : 1444.0 sec. user=Zachariassen [2009-08-15 17:40:48] 645*2^711041-1 is not prime. Res64: D04BF3840EEACBD6 Time : 1815.0 sec. user=Zachariassen [2009-08-15 17:41:12] 621*2^711042-1 is not prime. Res64: C4143497C3338145 Time : 1428.0 sec. user=Zachariassen [2009-08-15 17:46:53] 681*2^711043-1 is not prime. Res64: CA1AAFD8BD35BA8A Time : 1415.0 sec. user=Zachariassen [2009-08-15 17:47:37] 621*2^711043-1 is not prime. Res64: 0EE45ED1784DADCC Time : 1480.0 sec. user=Zachariassen [2009-08-15 17:51:06] 725*2^711042-1 is not prime. Res64: 8DD82C2D3B4DF2A0 Time : 1777.0 sec. user=Zachariassen [2009-08-15 17:51:59] 627*2^711045-1 is not prime. Res64: 5DF790428E3C07C1 Time : 1426.0 sec. user=Zachariassen [2009-08-15 17:52:40] 735*2^711042-1 is not prime. Res64: A4603DAFEF09C6D5 Time : 1794.0 sec. user=Zachariassen [2009-08-15 17:52:54] 667*2^711045-1 is not prime. Res64: 2682D2ED01A3F7CC Time : 1420.0 sec. user=Zachariassen [2009-08-15 17:53:29] 723*2^711043-1 is not prime. Res64: A5804EEEAB72FE10 Time : 1793.0 sec. user=Zachariassen [2009-08-15 17:55:58] 615*2^711044-1 is not prime. Res64: 2280D1DC1E7897C4 Time : 1824.0 sec. user=Zachariassen [2009-08-15 17:58:40] 691*2^711045-1 is not prime. Res64: 2C757A792182F74C Time : 1423.0 sec. user=Zachariassen [2009-08-15 17:59:28] 751*2^711045-1 is not prime. Res64: 0830B54E2A167B07 Time : 1441.0 sec. user=Zachariassen [2009-08-15 18:03:57] 773*2^711046-1 is not prime. Res64: 5C8BC3837B36B791 Time : 1440.0 sec. user=Zachariassen [2009-08-15 18:05:13] 663*2^711047-1 is not prime. Res64: B4D7120B17E3B385 Time : 1442.0 sec. user=Zachariassen [2009-08-15 18:06:09] 623*2^711046-1 is not prime. Res64: CECD0B87C7377C5C Time : 1800.0 sec. user=Zachariassen [2009-08-15 18:07:32] 671*2^711046-1 is not prime. Res64: 642C4D19762C80B2 Time : 1786.0 sec. user=Zachariassen [2009-08-15 18:08:22] 755*2^711046-1 is not prime. Res64: B057DB2314408EEA Time : 1795.0 sec. user=Zachariassen [2009-08-15 18:10:50] 643*2^711047-1 is not prime. Res64: C0D36BEDB87A6CB0 Time : 1802.0 sec. user=Zachariassen [2009-08-15 18:11:11] 669*2^711047-1 is not prime. Res64: 3C53D950501145E9 Time : 1458.0 sec. user=Zachariassen [2009-08-15 18:11:51] 685*2^711047-1 is not prime. Res64: 50DC12FECE5DF3E8 Time : 1455.0 sec. user=Zachariassen [2009-08-15 18:16:14] 763*2^711047-1 is not prime. Res64: 488F7EBD9B6C91FF Time : 1455.0 sec. user=Zachariassen [2009-08-15 18:17:31] 735*2^711048-1 is not prime. Res64: 0157792ABCE6AFCA Time : 1477.0 sec. user=Zachariassen [2009-08-15 18:21:16] 759*2^711047-1 is not prime. Res64: F40FDB8F7EFC4488 Time : 1810.0 sec. user=Zachariassen [2009-08-15 18:22:26] 683*2^711048-1 is not prime. Res64: 878CB778F041E4DE Time : 1787.0 sec. user=Zachariassen [2009-08-15 18:22:52] 777*2^711048-1 is not prime. Res64: 085A4D51B3CD0EF6 Time : 1452.0 sec. user=Zachariassen [2009-08-15 18:23:26] 765*2^711048-1 is not prime. Res64: E8B1E0B4CB461996 Time : 1798.0 sec. user=Zachariassen [2009-08-15 18:23:44] 797*2^711048-1 is not prime. Res64: 809C64EC2EE957F8 Time : 1456.0 sec. user=Zachariassen [2009-08-15 18:25:41] 773*2^711048-1 is not prime. Res64: 411CF87666403E4C Time : 1784.0 sec. user=Zachariassen [2009-08-15 18:27:52] 615*2^711049-1 is not prime. Res64: 76E9B654DFE7033A Time : 1436.0 sec. user=Zachariassen [2009-08-15 18:29:37] 637*2^711049-1 is not prime. Res64: 0AD5C3EC82224358 Time : 1464.0 sec. user=Zachariassen [2009-08-15 18:35:07] 657*2^711050-1 is not prime. Res64: 3ACB648BAC9566BA Time : 1436.0 sec. user=Zachariassen [2009-08-15 18:36:06] 615*2^711051-1 is not prime. Res64: 0A184BD5751C7381 Time : 1455.0 sec. user=Zachariassen [2009-08-15 18:36:12] 729*2^711049-1 is not prime. Res64: 8BD5B3E62F165735 Time : 1803.0 sec. user=Zachariassen [2009-08-15 18:37:42] 771*2^711049-1 is not prime. Res64: AE97441B2A14A36D Time : 1810.0 sec. user=Zachariassen [2009-08-15 18:38:15] 775*2^711049-1 is not prime. Res64: 7623D2691736C9FA Time : 1793.0 sec. user=Zachariassen [2009-08-15 18:40:06] 705*2^711051-1 is not prime. Res64: 49C43A4A22497148 Time : 1432.0 sec. user=Zachariassen [2009-08-15 18:40:47] 633*2^711050-1 is not prime. Res64: 7175F4F049FCE068 Time : 1797.0 sec. user=Zachariassen [2009-08-15 18:41:36] 735*2^711051-1 is not prime. Res64: 31153F07ABE23EFC Time : 1446.0 sec. user=Zachariassen [2009-08-15 18:47:22] 657*2^711052-1 is not prime. Res64: B6D3179B28BBE234 Time : 1471.0 sec. user=Zachariassen [2009-08-15 18:47:29] 755*2^711052-1 is not prime. Res64: 71A35C4F2C4F2EF6 Time : 1427.0 sec. user=Zachariassen [2009-08-15 18:51:07] 775*2^711051-1 is not prime. Res64: 3B444F8E207BCC6D Time : 1791.0 sec. user=Zachariassen [2009-08-15 18:51:42] 631*2^711053-1 is not prime. Res64: AC73B16AAE1DA5CC Time : 1430.0 sec. user=Zachariassen [2009-08-15 18:52:35] 605*2^711052-1 is not prime. Res64: A3EB853307D933A1 Time : 1809.0 sec. user=Zachariassen [2009-08-15 18:53:05] 735*2^711052-1 is not prime. Res64: CA6E8E374D7BACF2 Time : 1779.0 sec. user=Zachariassen [2009-08-15 18:53:14] 657*2^711053-1 is not prime. Res64: EAAB3A77D906E28B Time : 1418.0 sec. user=Zachariassen [2009-08-15 18:55:45] 607*2^711053-1 is not prime. Res64: 52385F4818B4549D Time : 1804.0 sec. user=Zachariassen [2009-08-15 18:59:24] 771*2^711053-1 is not prime. Res64: 8B5D184F982B39D6 Time : 1398.0 sec. user=Zachariassen [2009-08-15 18:59:25] 745*2^711053-1 is not prime. Res64: CB9D5A9CF1DACFF1 Time : 1459.0 sec. user=Zachariassen [2009-08-15 19:03:16] 651*2^711054-1 is not prime. Res64: 66312E02082BBEE1 Time : 1391.0 sec. user=Zachariassen [2009-08-15 19:05:12] 741*2^711054-1 is not prime. Res64: 9A58A67D6A139B60 Time : 1416.0 sec. user=Zachariassen [2009-08-15 19:06:17] 789*2^711053-1 is not prime. Res64: FCF9F9458C78F698 Time : 1805.0 sec. user=Zachariassen [2009-08-15 19:07:30] 611*2^711054-1 is not prime. Res64: BF19873126D37F6F Time : 1788.0 sec. user=Zachariassen [2009-08-15 19:07:57] 627*2^711054-1 is not prime. Res64: 63F549872B0A396C Time : 1782.0 sec. user=Zachariassen [2009-08-15 19:10:45] 705*2^711054-1 is not prime. Res64: 65DDD6C847F3EC78 Time : 1799.0 sec. user=Zachariassen [2009-08-15 19:11:43] 783*2^711054-1 is not prime. Res64: C7CEBC9688ACF37B Time : 1461.0 sec. user=Zachariassen [2009-08-15 19:12:11] 797*2^711054-1 is not prime. Res64: 69F4030B6E3CECFA Time : 1483.0 sec. user=Zachariassen [2009-08-15 19:15:29] 679*2^711055-1 is not prime. Res64: 839DD2DC16125BD4 Time : 1427.0 sec. user=Zachariassen [2009-08-15 19:17:43] 645*2^711056-1 is not prime. Res64: 117C53C07CC19691 Time : 1469.0 sec. user=Zachariassen [2009-08-15 19:21:26] 661*2^711055-1 is not prime. Res64: 7DD7FB99D7370645 Time : 1819.0 sec. user=Zachariassen [2009-08-15 19:22:21] 685*2^711055-1 is not prime. Res64: CEB42D96557BA2DE Time : 1787.0 sec. user=Zachariassen [2009-08-15 19:22:55] 629*2^711056-1 is not prime. Res64: E330B10FB28CCE78 Time : 1790.0 sec. user=Zachariassen [2009-08-15 19:24:03] 699*2^711056-1 is not prime. Res64: 905AD0B42C6E427F Time : 1478.0 sec. user=Zachariassen [2009-08-15 19:24:06] 669*2^711056-1 is not prime. Res64: 8B52B9F94D2DE66D Time : 1482.0 sec. user=Zachariassen [2009-08-15 19:25:44] 659*2^711056-1 is not prime. Res64: E8923618866A7F0D Time : 1799.0 sec. user=Zachariassen [2009-08-15 19:27:00] 627*2^711057-1 is not prime. Res64: DA45641E18B817B7 Time : 1424.0 sec. user=Zachariassen [2009-08-15 19:29:15] 747*2^711057-1 is not prime. Res64: 7240096992B75DD8 Time : 1444.0 sec. user=Zachariassen [2009-08-15 19:35:23] 711*2^711059-1 is not prime. Res64: D8F159B8446A466A Time : 1420.0 sec. user=Zachariassen [2009-08-15 19:36:25] 603*2^711058-1 is not prime. Res64: DAEA3DFF6546D883 Time : 1808.0 sec. user=Zachariassen [2009-08-15 19:36:31] 771*2^711059-1 is not prime. Res64: B6005D4D37E35068 Time : 1460.0 sec. user=Zachariassen [2009-08-15 19:37:27] 765*2^711058-1 is not prime. Res64: DC195D1E511C950B Time : 1798.0 sec. user=Zachariassen [2009-08-15 19:37:44] 777*2^711058-1 is not prime. Res64: 18ADCB46E094CB37 Time : 1787.0 sec. user=Zachariassen [2009-08-15 19:38:44] 699*2^711060-1 is not prime. Res64: A46A49B96928E5A8 Time : 1395.0 sec. user=Zachariassen [2009-08-15 19:40:41] 603*2^711059-1 is not prime. Res64: D67E489B0F248CE8 Time : 1796.0 sec. user=Zachariassen [2009-08-15 19:40:51] 783*2^711060-1 is not prime. Res64: 33F0C19236090D76 Time : 1388.0 sec. user=Zachariassen [2009-08-15 19:47:52] 623*2^711062-1 is not prime. Res64: 79AD9493ACDDA57A Time : 1429.0 sec. user=Zachariassen [2009-08-15 19:49:35] 665*2^711062-1 is not prime. Res64: EC73A68BBD1875D9 Time : 1529.0 sec. user=Zachariassen [2009-08-15 19:51:20] 789*2^711060-1 is not prime. Res64: 095F7D622B8B201B Time : 1795.0 sec. user=Zachariassen [2009-08-15 19:51:30] 669*2^711063-1 is not prime. Res64: D1C16EC567C4C03D Time : 1470.0 sec. user=Zachariassen [2009-08-15 19:52:19] 619*2^711061-1 is not prime. Res64: FA7AF7ABDAAE1347 Time : 1799.0 sec. user=Zachariassen [2009-08-15 19:52:47] 717*2^711061-1 is not prime. Res64: 1D500DCDFDE84F75 Time : 1792.0 sec. user=Zachariassen [2009-08-15 19:53:48] 735*2^711063-1 is not prime. Res64: 72674E90620F1027 Time : 1473.0 sec. user=Zachariassen [2009-08-15 19:55:45] 741*2^711062-1 is not prime. Res64: 0E4FCB20F75F0410 Time : 1801.0 sec. user=Zachariassen [2009-08-15 20:01:14] 739*2^711063-1 is not prime. Res64: B9B92633EC4B47B8 Time : 1551.0 sec. user=Zachariassen [2009-08-15 20:02:08] 609*2^711064-1 is not prime. Res64: 376F0319CC32F769 Time : 1538.0 sec. user=Zachariassen [2009-08-15 20:04:16] 777*2^711065-1 is not prime. Res64: F1C381C7B06B5B53 Time : 1532.0 sec. user=Zachariassen [2009-08-15 20:05:55] 627*2^711066-1 is not prime. Res64: 29728154E693D589 Time : 1504.0 sec. user=Zachariassen [2009-08-15 20:06:11] 783*2^711063-1 is not prime. Res64: CEAABD64BD23F8F5 Time : 1786.0 sec. user=Zachariassen [2009-08-15 20:07:17] 675*2^711064-1 is not prime. Res64: FA6C800F640DF61F Time : 1791.0 sec. user=Zachariassen [2009-08-15 20:07:55] 755*2^711064-1 is not prime. Res64: 9A3843575FEB1D37 Time : 1812.0 sec. user=Zachariassen [2009-08-15 20:10:49] 789*2^711065-1 is not prime. Res64: EB8F35111DBE96F6 Time : 1808.0 sec. user=Zachariassen [2009-08-15 20:13:40] 645*2^711067-1 is not prime. Res64: 7C47310FEE7E9B01 Time : 1549.0 sec. user=Zachariassen [2009-08-15 20:14:51] 651*2^711067-1 is not prime. Res64: 542617E67001025E Time : 1516.0 sec. user=Zachariassen [2009-08-15 20:16:55] 617*2^711068-1 is not prime. Res64: 83E56B2A114C8C2C Time : 1526.0 sec. user=Zachariassen [2009-08-15 20:19:25] 743*2^711068-1 is not prime. Res64: D39CC75906A50386 Time : 1537.0 sec. user=Zachariassen [2009-08-15 20:21:04] 703*2^711067-1 is not prime. Res64: D79E0115F2E34B43 Time : 1785.0 sec. user=Zachariassen [2009-08-15 20:22:16] 635*2^711068-1 is not prime. Res64: BC0714BEA31FCB4C Time : 1797.0 sec. user=Zachariassen [2009-08-15 20:22:51] 647*2^711068-1 is not prime. Res64: 0594376D8E12509E Time : 1805.0 sec. user=Zachariassen [2009-08-15 20:25:43] 615*2^711069-1 is not prime. Res64: C081C9048D535F1E Time : 1799.0 sec. user=Zachariassen [2009-08-15 20:26:48] 621*2^711069-1 is not prime. Res64: 80AFDF414683D295 Time : 1534.0 sec. user=Zachariassen [2009-08-15 20:27:50] 721*2^711069-1 is not prime. Res64: 69ED120B5E96E07E Time : 1542.0 sec. user=Zachariassen [2009-08-15 20:29:07] 745*2^711069-1 is not prime. Res64: D57D2CA13016330A Time : 1491.0 sec. user=Zachariassen [2009-08-15 20:31:00] 765*2^711069-1 is not prime. Res64: C7E7B488D49C1046 Time : 1506.0 sec. user=Zachariassen [2009-08-15 20:35:52] 795*2^711069-1 is not prime. Res64: F3A1E4BCC5E76B8A Time : 1781.0 sec. user=Zachariassen [2009-08-15 20:37:16] 741*2^711070-1 is not prime. Res64: 47CEBEFCB633BF6E Time : 1800.0 sec. user=Zachariassen [2009-08-15 20:37:54] 785*2^711070-1 is not prime. Res64: A2FFE17FC39CBF06 Time : 1799.0 sec. user=Zachariassen [2009-08-15 20:38:46] 619*2^711071-1 is not prime. Res64: 20809D7F60047568 Time : 1507.0 sec. user=Zachariassen [2009-08-15 20:39:31] 627*2^711072-1 is not prime. Res64: 0BE428EDB1B8414D Time : 1480.0 sec. user=Zachariassen [2009-08-15 20:40:58] 615*2^711071-1 is not prime. Res64: 3DFCF010CB9BD0B2 Time : 1809.0 sec. user=Zachariassen [2009-08-15 20:41:03] 653*2^711072-1 is not prime. Res64: 181F051F1BD8D82A Time : 1449.0 sec. user=Zachariassen [2009-08-15 20:42:24] 657*2^711072-1 is not prime. Res64: 84F936641F8BCA14 Time : 1379.0 sec. user=Zachariassen [2009-08-15 20:50:47] 665*2^711072-1 is not prime. Res64: D036D7CA37EA6EC1 Time : 1784.0 sec. user=Zachariassen [2009-08-15 20:50:57] 701*2^711074-1 is not prime. Res64: AF54990A1B9269BA Time : 1450.0 sec. user=Zachariassen [2009-08-15 20:51:57] 693*2^711072-1 is not prime. Res64: 429976CCDADFD7B2 Time : 1782.0 sec. user=Zachariassen [2009-08-15 20:52:12] 755*2^711074-1 is not prime. Res64: 18E2D235712DB8A1 Time : 1463.0 sec. user=Zachariassen [2009-08-15 20:52:58] 759*2^711072-1 is not prime. Res64: 18F60C56D4B9B947 Time : 1807.0 sec. user=Zachariassen [2009-08-15 20:53:03] 633*2^711075-1 is not prime. Res64: 99DF585FC42FD80C Time : 1437.0 sec. user=Zachariassen [2009-08-15 20:54:03] 709*2^711075-1 is not prime. Res64: A5A29D9A8C4133FF Time : 1384.0 sec. user=Zachariassen [2009-08-15 20:56:07] 671*2^711074-1 is not prime. Res64: 5DAF8E002519B661 Time : 1825.0 sec. user=Zachariassen [2009-08-15 21:03:26] 723*2^711076-1 is not prime. Res64: 566502207348396F Time : 1480.0 sec. user=Zachariassen [2009-08-15 21:04:26] 743*2^711076-1 is not prime. Res64: 18D358B784D8F2B6 Time : 1495.0 sec. user=Zachariassen [2009-08-15 21:05:31] 627*2^711078-1 is not prime. Res64: 3BF6256210B2131A Time : 1469.0 sec. user=Zachariassen [2009-08-15 21:05:51] 741*2^711075-1 is not prime. Res64: BA20915FF9412B65 Time : 1799.0 sec. user=Zachariassen [2009-08-15 21:06:29] 671*2^711078-1 is not prime. Res64: 6F137532AB0A1394 Time : 1445.0 sec. user=Zachariassen [2009-08-15 21:07:00] 795*2^711075-1 is not prime. Res64: 756F84999D834A45 Time : 1785.0 sec. user=Zachariassen [2009-08-15 21:07:52] 629*2^711076-1 is not prime. Res64: 25A8A0B2BEFD6141 Time : 1799.0 sec. user=Zachariassen [2009-08-15 21:10:56] 757*2^711077-1 is not prime. Res64: 241CEF8E767E5753 Time : 1798.0 sec. user=Zachariassen [2009-08-15 21:15:34] 705*2^711079-1 is not prime. Res64: 8B34CFDDEE2F5FC4 Time : 1477.0 sec. user=Zachariassen [2009-08-15 21:16:56] 785*2^711080-1 is not prime. Res64: CAEFDC603014C621 Time : 1484.0 sec. user=Zachariassen [2009-08-15 21:17:42] 661*2^711081-1 is not prime. Res64: AC63C6E6D4998DED Time : 1480.0 sec. user=Zachariassen [2009-08-15 21:19:12] 727*2^711081-1 is not prime. Res64: E70368226418C85E Time : 1510.0 sec. user=Zachariassen [2009-08-15 21:20:50] 797*2^711078-1 is not prime. Res64: 0A68A590AE4A6796 Time : 1804.0 sec. user=Zachariassen [2009-08-15 21:22:02] 793*2^711079-1 is not prime. Res64: 9AE3595CAE26322D Time : 1805.0 sec. user=Zachariassen [2009-08-15 21:22:48] 625*2^711081-1 is not prime. Res64: 27C4873831A35996 Time : 1791.0 sec. user=Zachariassen [2009-08-15 21:25:44] 741*2^711081-1 is not prime. Res64: 7BE3987C09BB2398 Time : 1778.0 sec. user=Zachariassen [2009-08-15 21:27:31] 615*2^711083-1 is not prime. Res64: 3AA810F1C7EF63BB Time : 1445.0 sec. user=Zachariassen [2009-08-15 21:29:21] 619*2^711083-1 is not prime. Res64: 0BDB89B05C92231F Time : 1495.0 sec. user=Zachariassen [2009-08-15 21:30:51] 631*2^711083-1 is not prime. Res64: 55CD5C1905E10957 Time : 1520.0 sec. user=Zachariassen [2009-08-15 21:31:32] 789*2^711083-1 is not prime. Res64: 0D30018CA0630662 Time : 1503.0 sec. user=Zachariassen [2009-08-15 21:35:50] 705*2^711083-1 is not prime. Res64: 0C47C427B15B7A12 Time : 1799.0 sec. user=Zachariassen [2009-08-15 21:36:57] 635*2^711084-1 is not prime. Res64: 0BA17F33E55B09CC Time : 1797.0 sec. user=Zachariassen [2009-08-15 21:37:57] 749*2^711084-1 is not prime. Res64: EA9868320B2B5AA5 Time : 1806.0 sec. user=Zachariassen [2009-08-15 21:39:42] 651*2^711085-1 is not prime. Res64: CE7235849C3AE560 Time : 1448.0 sec. user=Zachariassen [2009-08-15 21:40:40] 607*2^711085-1 is not prime. Res64: 9353B43E2E58419E Time : 1784.0 sec. user=Zachariassen [2009-08-15 21:41:28] 789*2^711085-1 is not prime. Res64: 7458216D030C1E0F Time : 1473.0 sec. user=Zachariassen [2009-08-15 21:43:08] 635*2^711086-1 is not prime. Res64: AB040FAF92012FAB Time : 1527.0 sec. user=Zachariassen [2009-08-15 21:43:14] 663*2^711086-1 is not prime. Res64: B994C6F86C6E7706 Time : 1443.0 sec. user=Zachariassen [2009-08-15 21:50:52] 743*2^711086-1 is not prime. Res64: EB9386AA6E2C33B4 Time : 1803.0 sec. user=Zachariassen [2009-08-15 21:51:29] 775*2^711087-1 is not prime. Res64: 12763A4B8AA84FBE Time : 1438.0 sec. user=Zachariassen [2009-08-15 21:51:56] 755*2^711086-1 is not prime. Res64: 11BCEBA36CB42CC8 Time : 1794.0 sec. user=Zachariassen [2009-08-15 21:53:04] 685*2^711087-1 is not prime. Res64: F411B2CF07291784 Time : 1816.0 sec. user=Zachariassen [2009-08-15 21:53:36] 795*2^711087-1 is not prime. Res64: 8225C792E9D56554 Time : 1455.0 sec. user=Zachariassen [2009-08-15 21:55:13] 645*2^711088-1 is not prime. Res64: 2C9F8B5A88A70136 Time : 1421.0 sec. user=Zachariassen [2009-08-15 21:55:26] 629*2^711088-1 is not prime. Res64: 02AB4845D398F470 Time : 1475.0 sec. user=Zachariassen [2009-08-15 21:55:36] 705*2^711087-1 is not prime. Res64: 772489D64FFF4DCD Time : 1792.0 sec. user=Zachariassen [2009-08-15 22:03:41] 691*2^711089-1 is not prime. Res64: 5C86DB98ADB2459E Time : 1439.0 sec. user=Zachariassen [2009-08-15 22:05:47] 645*2^711089-1 is not prime. Res64: 72A77B7437D65FCC Time : 1798.0 sec. user=Zachariassen [2009-08-15 22:06:00] 633*2^711090-1 is not prime. Res64: 72CDE2E1D6F0146D Time : 1472.0 sec. user=Zachariassen [2009-08-15 22:06:59] 649*2^711089-1 is not prime. Res64: 76C1F5CAAA27C126 Time : 1802.0 sec. user=Zachariassen [2009-08-15 22:07:40] 755*2^711090-1 is not prime. Res64: 807E9D9B3AFF77D3 Time : 1466.0 sec. user=Zachariassen [2009-08-15 22:08:01] 675*2^711089-1 is not prime. Res64: B362EC7E3FD10B5C Time : 1804.0 sec. user=Zachariassen [2009-08-15 22:08:14] 713*2^711090-1 is not prime. Res64: C05EB9ECAA7F3F0F Time : 1506.0 sec. user=Zachariassen [2009-08-15 22:10:31] 721*2^711089-1 is not prime. Res64: 4816FD162BC31DD0 Time : 1791.0 sec. user=Zachariassen [2009-08-15 22:16:20] 631*2^711091-1 is not prime. Res64: A12C61FB31F630CD Time : 1492.0 sec. user=Zachariassen [2009-08-15 22:18:15] 699*2^711092-1 is not prime. Res64: 9B69A898E4433550 Time : 1479.0 sec. user=Zachariassen [2009-08-15 22:20:28] 725*2^711092-1 is not prime. Res64: 4A60EEEDA29439A0 Time : 1516.0 sec. user=Zachariassen [2009-08-15 22:20:37] 797*2^711090-1 is not prime. Res64: 9574CDF6D3C9441F Time : 1785.0 sec. user=Zachariassen [2009-08-15 22:20:38] 675*2^711093-1 is not prime. Res64: A5AA6A3D6075FCF2 Time : 1513.0 sec. user=Zachariassen [2009-08-15 22:21:58] 793*2^711091-1 is not prime. Res64: D38B103214A61CD2 Time : 1803.0 sec. user=Zachariassen [2009-08-15 22:23:17] 605*2^711092-1 is not prime. Res64: B6D65FBD0DDADCA0 Time : 1813.0 sec. user=Zachariassen [2009-08-15 22:25:30] 759*2^711093-1 is not prime. Res64: 53F5087F6401896F Time : 1795.0 sec. user=Zachariassen [2009-08-15 22:29:45] 765*2^711093-1 is not prime. Res64: A6B755B22A3028D3 Time : 1565.0 sec. user=Zachariassen [2009-08-15 22:31:06] 605*2^711094-1 is not prime. Res64: A480B67CEE44BA51 Time : 1506.0 sec. user=Zachariassen [2009-08-15 22:33:33] 693*2^711095-1 is not prime. Res64: F8F8B473B7BDDE34 Time : 1554.0 sec. user=Zachariassen [2009-08-15 22:33:41] 753*2^711095-1 is not prime. Res64: 77BDFDC307E600BE Time : 1528.0 sec. user=Zachariassen [2009-08-15 22:35:40] 781*2^711093-1 is not prime. Res64: 218B6AD0D36119C1 Time : 1793.0 sec. user=Zachariassen [2009-08-15 22:37:05] 741*2^711094-1 is not prime. Res64: 76736B64A4A99164 Time : 1807.0 sec. user=Zachariassen [2009-08-15 22:38:15] 735*2^711095-1 is not prime. Res64: 3651F9D101FC5927 Time : 1815.0 sec. user=Zachariassen [2009-08-15 22:40:21] 781*2^711095-1 is not prime. Res64: 23DE47906F824942 Time : 1790.0 sec. user=Zachariassen [2009-08-15 22:41:12] 707*2^711096-1 is not prime. Res64: 80B998B62CDFBE5F Time : 1492.0 sec. user=Zachariassen [2009-08-15 22:43:01] 637*2^711097-1 is not prime. Res64: 7821BB6E679006E5 Time : 1487.0 sec. user=Zachariassen [2009-08-15 22:45:48] 675*2^711097-1 is not prime. Res64: 9C98A29CBCAA4D9D Time : 1521.0 sec. user=Zachariassen [2009-08-15 22:45:51] 687*2^711097-1 is not prime. Res64: 06B8FD26B1A2DD76 Time : 1513.0 sec. user=Zachariassen [2009-08-15 22:50:31] 717*2^711097-1 is not prime. Res64: 2267246608A8D66A Time : 1794.0 sec. user=Zachariassen [2009-08-15 22:52:05] 729*2^711097-1 is not prime. Res64: 605B0D2944B5181D Time : 1807.0 sec. user=Zachariassen [2009-08-15 22:53:15] 633*2^711098-1 is not prime. Res64: A779E4869FFE7383 Time : 1798.0 sec. user=Zachariassen [2009-08-15 22:54:09] 683*2^711098-1 is not prime. Res64: 5801BB6139ACF871 Time : 1466.0 sec. user=Zachariassen [2009-08-15 22:55:17] 671*2^711098-1 is not prime. Res64: CDF90187A931AB36 Time : 1787.0 sec. user=Zachariassen [2009-08-15 22:55:54] 615*2^711099-1 is not prime. Res64: 069D2DF7FD6A0A14 Time : 1488.0 sec. user=Zachariassen [2009-08-15 22:57:50] 669*2^711099-1 is not prime. Res64: A59BF0D66B3D6B36 Time : 1457.0 sec. user=Zachariassen [2009-08-15 22:58:10] 705*2^711099-1 is not prime. Res64: 1095E883EDF966F4 Time : 1470.0 sec. user=Zachariassen [2009-08-15 23:05:17] 769*2^711099-1 is not prime. Res64: BA6236F409A3183B Time : 1777.0 sec. user=Zachariassen [2009-08-15 23:06:56] 707*2^711100-1 is not prime. Res64: C603F28607E2A579 Time : 1793.0 sec. user=Zachariassen [2009-08-15 23:07:06] 777*2^711102-1 is not prime. Res64: B3D0A6EE06557D8A Time : 1555.0 sec. user=Zachariassen [2009-08-15 23:08:19] 717*2^711102-1 is not prime. Res64: 76389189F8E57FCB Time : 1804.0 sec. user=Zachariassen [2009-08-15 23:08:32] 609*2^711103-1 is not prime. Res64: AEA2BB110759F681 Time : 1531.0 sec. user=Zachariassen [2009-08-15 23:10:06] 619*2^711103-1 is not prime. Res64: C6C70149E8B12D66 Time : 1458.0 sec. user=Zachariassen [2009-08-15 23:10:28] 747*2^711102-1 is not prime. Res64: E10FC1630BC72936 Time : 1808.0 sec. user=Zachariassen [2009-08-15 23:10:41] 639*2^711103-1 is not prime. Res64: ADBBD164FB5792D1 Time : 1491.0 sec. user=Zachariassen [2009-08-15 23:19:10] 657*2^711105-1 is not prime. Res64: 67E17AD391C0E763 Time : 1501.0 sec. user=Zachariassen [2009-08-15 23:20:12] 751*2^711103-1 is not prime. Res64: C60F1C1D59750F55 Time : 1781.0 sec. user=Zachariassen [2009-08-15 23:20:41] 705*2^711105-1 is not prime. Res64: 26A02C023D185DC5 Time : 1487.0 sec. user=Zachariassen [2009-08-15 23:21:59] 769*2^711103-1 is not prime. Res64: 5C500379C6393417 Time : 1794.0 sec. user=Zachariassen [2009-08-15 23:22:09] 759*2^711105-1 is not prime. Res64: 3674DFF0BD74731D Time : 1459.0 sec. user=Zachariassen [2009-08-15 23:22:58] 623*2^711106-1 is not prime. Res64: EA976CC28AB51F4F Time : 1488.0 sec. user=Zachariassen [2009-08-15 23:23:10] 639*2^711105-1 is not prime. Res64: 1B11850C81BD14EF Time : 1796.0 sec. user=Zachariassen [2009-08-15 23:25:29] 667*2^711105-1 is not prime. Res64: 11D8D76A61B66B4C Time : 1812.0 sec. user=Zachariassen [2009-08-15 23:31:28] 695*2^711106-1 is not prime. Res64: 3C8FF47A8276632F Time : 1463.0 sec. user=Zachariassen [2009-08-15 23:32:51] 747*2^711106-1 is not prime. Res64: 4C8B376ECF143CA2 Time : 1459.0 sec. user=Zachariassen [2009-08-15 23:34:24] 673*2^711107-1 is not prime. Res64: 026A77668C6BF060 Time : 1459.0 sec. user=Zachariassen [2009-08-15 23:34:57] 635*2^711106-1 is not prime. Res64: E3ABF8F585E21C63 Time : 1780.0 sec. user=Zachariassen [2009-08-15 23:35:09] 733*2^711107-1 is not prime. Res64: C37FF39A877DC7D9 Time : 1468.0 sec. user=Zachariassen [2009-08-15 23:36:45] 663*2^711106-1 is not prime. Res64: F0AD3710028F8A26 Time : 1789.0 sec. user=Zachariassen [2009-08-15 23:38:24] 743*2^711106-1 is not prime. Res64: D7131CD824D0594B Time : 1806.0 sec. user=Zachariassen [2009-08-15 23:40:30] 693*2^711107-1 is not prime. Res64: C481AC162BD252CE Time : 1802.0 sec. user=Zachariassen [2009-08-15 23:43:51] 741*2^711107-1 is not prime. Res64: 13034A569D004A61 Time : 1481.0 sec. user=Zachariassen [2009-08-15 23:45:15] 669*2^711108-1 is not prime. Res64: B10DDAA4EB2161A3 Time : 1476.0 sec. user=Zachariassen [2009-08-15 23:47:01] 667*2^711109-1 is not prime. Res64: FDE7806A1D59598F Time : 1492.0 sec. user=Zachariassen [2009-08-15 23:47:28] 699*2^711109-1 is not prime. Res64: 964084F6B78144E5 Time : 1471.0 sec. user=Zachariassen [2009-08-15 23:49:47] 635*2^711108-1 is not prime. Res64: A183B99E2F597230 Time : 1775.0 sec. user=Zachariassen [2009-08-15 23:51:42] 639*2^711109-1 is not prime. Res64: 14BA086FCB93FDAB Time : 1784.0 sec. user=Zachariassen [2009-08-15 23:53:22] 741*2^711109-1 is not prime. Res64: 1AF8BE4BAF98EF29 Time : 1812.0 sec. user=Zachariassen [2009-08-15 23:55:18] 765*2^711109-1 is not prime. Res64: 927E87C5E2C83E25 Time : 1789.0 sec. user=Zachariassen [2009-08-15 23:55:26] 741*2^711110-1 is not prime. Res64: FE2BAB6ED3D8BA03 Time : 1438.0 sec. user=Zachariassen [2009-08-15 23:57:29] 773*2^711110-1 is not prime. Res64: 9A9D7C30ACC7EB0A Time : 1479.0 sec. user=Zachariassen [2009-08-15 23:59:38] 797*2^711110-1 is not prime. Res64: 309ECF8E1F5D89DF Time : 1515.0 sec.