user=vaughan [2011-05-30 00:01:11] 909*2^953935-1 is not prime. Res64: C88E8463E6968814 Time : 1252.0 sec. user=gd_barnes [2011-05-30 00:01:46] 1001*2^953922-1 is not prime. Res64: 70A9A3B9E71ABDFD Time : 2074.0 sec. user=gd_barnes [2011-05-30 00:01:46] 805*2^953923-1 is not prime. Res64: 0E8D1940F9E5832C Time : 2074.0 sec. user=gd_barnes [2011-05-30 00:02:32] 839*2^953928-1 is not prime. Res64: DF2E0B45C80F5F84 Time : 1778.0 sec. user=gd_barnes [2011-05-30 00:02:33] 843*2^953928-1 is not prime. Res64: BCD0FD1A1C75F43A Time : 1778.0 sec. user=gd_barnes [2011-05-30 00:02:34] 911*2^953926-1 is not prime. Res64: A1CD38211DC7525F Time : 1923.0 sec. user=gd_barnes [2011-05-30 00:02:34] 859*2^953927-1 is not prime. Res64: E07A682CBE90935E Time : 1923.0 sec. user=gd_barnes [2011-05-30 00:03:58] 885*2^953925-1 is not prime. Res64: 57FE8D7D4676D16F Time : 2057.0 sec. user=gd_barnes [2011-05-30 00:03:58] 867*2^953926-1 is not prime. Res64: AADDF680AF317BE0 Time : 2057.0 sec. user=gd_barnes [2011-05-30 00:04:09] 849*2^953928-1 is not prime. Res64: 14DA49CC54955ADC Time : 1785.0 sec. user=gd_barnes [2011-05-30 00:04:09] 835*2^953929-1 is not prime. Res64: F1EA80A4ED143E3F Time : 1785.0 sec. user=gd_barnes [2011-05-30 00:05:42] 923*2^953930-1 is not prime. Res64: 4821B8F08DC7182B Time : 1778.0 sec. user=gd_barnes [2011-05-30 00:05:42] 951*2^953930-1 is not prime. Res64: A4611CB03CA27C0B Time : 1778.0 sec. user=vaughan [2011-05-30 00:09:35] 961*2^953935-1 is not prime. Res64: 84F7C7E40087F43F Time : 1269.0 sec. user=gd_barnes [2011-05-30 00:09:38] 945*2^953933-1 is not prime. Res64: 3E3EB2CA5B3AB93F Time : 2001.0 sec. user=gd_barnes [2011-05-30 00:09:38] 993*2^953934-1 is not prime. Res64: 0A8ED4B7B21B72BE Time : 2001.0 sec. user=gd_barnes [2011-05-30 00:09:53] 861*2^953935-1 is not prime. Res64: 627939700E5D8C67 Time : 1780.0 sec. user=gd_barnes [2011-05-30 00:09:53] 883*2^953935-1 is not prime. Res64: 760E2CC3662E5DBE Time : 1780.0 sec. user=vaughan [2011-05-30 00:15:12] 867*2^953936-1 is not prime. Res64: 1FDE40E0EE8AF4BC Time : 1194.0 sec. user=gd_barnes [2011-05-30 00:15:29] 891*2^953937-1 is not prime. Res64: 4B913B2283603F77 Time : 966.0 sec. user=gd_barnes [2011-05-30 00:16:54] 879*2^953936-1 is not prime. Res64: 184EA66F6700F20D Time : 1190.0 sec. user=gd_barnes [2011-05-30 00:16:57] 999*2^953935-1 is not prime. Res64: C00A66DA3F4C31CA Time : 1337.0 sec. user=vaughan [2011-05-30 00:17:27] 999*2^953936-1 is not prime. Res64: 9BDA95E3A131B176 Time : 1167.0 sec. user=gd_barnes [2011-05-30 00:19:27] 871*2^953941-1 is not prime. Res64: 642E87438DE38AEE Time : 929.0 sec. user=vaughan [2011-05-30 00:22:22] 973*2^953939-1 is not prime. Res64: DA6924672E95ECD0 Time : 1271.0 sec. user=vaughan [2011-05-30 00:30:44] 915*2^953942-1 is not prime. Res64: 24F79FC62206B41C Time : 1269.0 sec. user=gd_barnes [2011-05-30 00:31:23] 855*2^953938-1 is not prime. Res64: 16CB258F3E97F65F Time : 1909.0 sec. user=gd_barnes [2011-05-30 00:31:23] 861*2^953938-1 is not prime. Res64: 1B2B5703813F5A6E Time : 1909.0 sec. user=gd_barnes [2011-05-30 00:31:30] 881*2^953938-1 is not prime. Res64: 2EC368BD25E55755 Time : 1910.0 sec. user=gd_barnes [2011-05-30 00:31:30] 855*2^953939-1 is not prime. Res64: BC26716F645B31B0 Time : 1910.0 sec. user=gd_barnes [2011-05-30 00:31:53] 861*2^953939-1 is not prime. Res64: 5BE0510F69DBD88D Time : 1912.0 sec. user=gd_barnes [2011-05-30 00:31:53] 949*2^953939-1 is not prime. Res64: D04B547F928A1516 Time : 1912.0 sec. user=gd_barnes [2011-05-30 00:32:12] 839*2^953940-1 is not prime. Res64: F9946F6403B569BD Time : 1778.0 sec. user=gd_barnes [2011-05-30 00:32:12] 923*2^953940-1 is not prime. Res64: DF3A6BCBEFE98395 Time : 1778.0 sec. user=gd_barnes [2011-05-30 00:33:49] 801*2^953942-1 is not prime. Res64: 1F80AD7D2803819F Time : 1779.0 sec. user=gd_barnes [2011-05-30 00:33:49] 827*2^953942-1 is not prime. Res64: 4862B5DC13FC62CC Time : 1779.0 sec. user=gd_barnes [2011-05-30 00:34:21] 965*2^953940-1 is not prime. Res64: 21B5836D3CB42FDC Time : 1906.0 sec. user=gd_barnes [2011-05-30 00:34:21] 859*2^953941-1 is not prime. Res64: F59B7CCAA8A42C4E Time : 1906.0 sec. user=vaughan [2011-05-30 00:35:06] 991*2^953939-1 is not prime. Res64: DBEF6686A1634078 Time : 1195.0 sec. user=gd_barnes [2011-05-30 00:35:22] 885*2^953942-1 is not prime. Res64: CCF23A91398D587C Time : 1779.0 sec. user=gd_barnes [2011-05-30 00:35:22] 911*2^953942-1 is not prime. Res64: 2C71406E44335097 Time : 1779.0 sec. user=vaughan [2011-05-30 00:36:53] 843*2^953936-1 is not prime. Res64: 4224719B15771E0A Time : 1167.0 sec. user=gd_barnes [2011-05-30 00:39:32] 981*2^953942-1 is not prime. Res64: B564ABAD2815ED16 Time : 1778.0 sec. user=gd_barnes [2011-05-30 00:39:32] 873*2^953943-1 is not prime. Res64: 2F6999375CDE4F0D Time : 1778.0 sec. user=vaughan [2011-05-30 00:43:32] 963*2^953936-1 is not prime. Res64: 6AD8FAF019744B96 Time : 1270.0 sec. user=vaughan [2011-05-30 00:51:47] 997*2^953937-1 is not prime. Res64: 90808C87E3DF7736 Time : 1264.0 sec. user=vaughan [2011-05-30 00:55:30] 867*2^953946-1 is not prime. Res64: A25560199A9157BF Time : 1225.0 sec. user=vaughan [2011-05-30 00:56:35] 819*2^953947-1 is not prime. Res64: B3C2F0B24F6634E7 Time : 1183.0 sec. user=gd_barnes [2011-05-30 01:01:54] 983*2^953944-1 is not prime. Res64: 252942570CA2BAFB Time : 1781.0 sec. user=gd_barnes [2011-05-30 01:01:54] 847*2^953945-1 is not prime. Res64: F11AAE0A1772F171 Time : 1781.0 sec. user=gd_barnes [2011-05-30 01:02:27] 825*2^953940-1 is not prime. Res64: 76C3188C51F6A667 Time : 1863.0 sec. user=gd_barnes [2011-05-30 01:02:27] 877*2^953941-1 is not prime. Res64: E7A82DE50C8EFAAD Time : 1863.0 sec. user=gd_barnes [2011-05-30 01:02:32] 945*2^953942-1 is not prime. Res64: C81373F31804A1F8 Time : 1861.0 sec. user=gd_barnes [2011-05-30 01:02:32] 951*2^953942-1 is not prime. Res64: 3FB1879587590B55 Time : 1861.0 sec. user=gd_barnes [2011-05-30 01:03:00] 961*2^953943-1 is not prime. Res64: C5F44E899C322980 Time : 1866.0 sec. user=gd_barnes [2011-05-30 01:03:00] 985*2^953943-1 is not prime. Res64: B46932D0FB23DDC0 Time : 1866.0 sec. user=gd_barnes [2011-05-30 01:03:28] 861*2^953945-1 is not prime. Res64: 0A56FD6B89109D0A Time : 1778.0 sec. user=gd_barnes [2011-05-30 01:03:28] 867*2^953945-1 is not prime. Res64: CEA22C12B5D71A4D Time : 1778.0 sec. user=vaughan [2011-05-30 01:04:31] 973*2^953947-1 is not prime. Res64: A4300CC548E99722 Time : 1260.0 sec. user=gd_barnes [2011-05-30 01:04:58] 881*2^953946-1 is not prime. Res64: 9F212B3337A60A3F Time : 1775.0 sec. user=gd_barnes [2011-05-30 01:04:58] 923*2^953946-1 is not prime. Res64: D997DD62128DBFFE Time : 1775.0 sec. user=gd_barnes [2011-05-30 01:05:23] 981*2^953945-1 is not prime. Res64: BF470C5429C992D1 Time : 1861.0 sec. user=gd_barnes [2011-05-30 01:05:23] 815*2^953946-1 is not prime. Res64: A77349B6B396FB89 Time : 1861.0 sec. user=gd_barnes [2011-05-30 01:09:13] 861*2^953947-1 is not prime. Res64: BFF62FE3BF711719 Time : 1780.0 sec. user=gd_barnes [2011-05-30 01:09:13] 909*2^953947-1 is not prime. Res64: CB8392054BA3ECCC Time : 1780.0 sec. user=vaughan [2011-05-30 01:12:41] 955*2^953949-1 is not prime. Res64: 65C6D696BDDF47D2 Time : 1255.0 sec. user=gd_barnes [2011-05-30 01:15:03] 963*2^953948-1 is not prime. Res64: B65245605EBFF354 Time : 1846.0 sec. user=gd_barnes [2011-05-30 01:15:03] 999*2^953948-1 is not prime. Res64: 629288E58A09610D Time : 1846.0 sec. user=vaughan [2011-05-30 01:16:10] 997*2^953949-1 is not prime. Res64: 764291D393F0F252 Time : 1241.0 sec. user=vaughan [2011-05-30 01:16:21] 811*2^953951-1 is not prime. Res64: ADFE19EF6F65F6DF Time : 1186.0 sec. user=gd_barnes [2011-05-30 01:16:30] 867*2^953948-1 is not prime. Res64: 03C8A7CF6F95A991 Time : 1972.0 sec. user=gd_barnes [2011-05-30 01:16:30] 869*2^953948-1 is not prime. Res64: C5E6BDB5DD0EAA43 Time : 1972.0 sec. user=gd_barnes [2011-05-30 01:17:48] 835*2^953949-1 is not prime. Res64: 581A4E965DB3452B Time : 1916.0 sec. user=gd_barnes [2011-05-30 01:17:48] 919*2^953949-1 is not prime. Res64: 6D7336B4CC30D041 Time : 1916.0 sec. user=vaughan [2011-05-30 01:25:06] 851*2^953954-1 is not prime. Res64: 2112EA7525CB7428 Time : 1236.0 sec. user=gd_barnes [2011-05-30 01:31:35] 823*2^953951-1 is not prime. Res64: 2BC90B1D769184FA Time : 1780.0 sec. user=gd_barnes [2011-05-30 01:31:35] 865*2^953951-1 is not prime. Res64: 16F7BDCD9764B19E Time : 1780.0 sec. user=gd_barnes [2011-05-30 01:33:09] 855*2^953953-1 is not prime. Res64: 141524CFA5366DCD Time : 1780.0 sec. user=gd_barnes [2011-05-30 01:33:09] 955*2^953953-1 is not prime. Res64: 35F32E866559C257 Time : 1780.0 sec. user=vaughan [2011-05-30 01:33:16] 961*2^953955-1 is not prime. Res64: BC75FD1CBAC1C225 Time : 1235.0 sec. user=gd_barnes [2011-05-30 01:34:00] 909*2^953951-1 is not prime. Res64: 49F3029EFBDA630F Time : 1892.0 sec. user=gd_barnes [2011-05-30 01:34:00] 875*2^953952-1 is not prime. Res64: 22F350EEF8D62DC5 Time : 1892.0 sec. user=gd_barnes [2011-05-30 01:34:08] 879*2^953952-1 is not prime. Res64: 865059BABB60D71F Time : 1895.0 sec. user=gd_barnes [2011-05-30 01:34:08] 933*2^953952-1 is not prime. Res64: D95B3C419B5D7000 Time : 1895.0 sec. user=gd_barnes [2011-05-30 01:34:35] 975*2^953952-1 is not prime. Res64: D28243835B11ABF9 Time : 1894.0 sec. user=gd_barnes [2011-05-30 01:34:35] 817*2^953953-1 is not prime. Res64: 574234F8D7FF7F6F Time : 1894.0 sec. user=gd_barnes [2011-05-30 01:34:37] 857*2^953954-1 is not prime. Res64: FD868994853FDCF2 Time : 1778.0 sec. user=gd_barnes [2011-05-30 01:34:37] 873*2^953954-1 is not prime. Res64: B645A78D9EAF44B8 Time : 1778.0 sec. user=vaughan [2011-05-30 01:36:01] 937*2^953957-1 is not prime. Res64: A3BCC1587382F7AC Time : 1180.0 sec. user=gd_barnes [2011-05-30 01:37:00] 903*2^953954-1 is not prime. Res64: FEC068BC09191D57 Time : 1896.0 sec. user=gd_barnes [2011-05-30 01:37:00] 945*2^953954-1 is not prime. Res64: DF1B90A42B807E12 Time : 1896.0 sec. user=vaughan [2011-05-30 01:37:10] 885*2^953957-1 is not prime. Res64: FCC08A6CEC0A8DDA Time : 1261.0 sec. user=gd_barnes [2011-05-30 01:38:57] 829*2^953955-1 is not prime. Res64: 59D3347DB383F5F6 Time : 1783.0 sec. user=gd_barnes [2011-05-30 01:38:57] 895*2^953955-1 is not prime. Res64: 9F35B3CA1353084C Time : 1783.0 sec. user=gd_barnes [2011-05-30 01:43:32] 875*2^953956-1 is not prime. Res64: BAE1FAEF859FB0C9 Time : 1708.0 sec. user=gd_barnes [2011-05-30 01:43:32] 909*2^953956-1 is not prime. Res64: D5295073F06DDC76 Time : 1708.0 sec. user=vaughan [2011-05-30 01:45:38] 933*2^953958-1 is not prime. Res64: 2D29BDEDD65C1B2E Time : 1232.0 sec. user=gd_barnes [2011-05-30 01:47:13] 957*2^953957-1 is not prime. Res64: AC27B04CA4183861 Time : 1764.0 sec. user=gd_barnes [2011-05-30 01:47:13] 991*2^953957-1 is not prime. Res64: F1D5FF1017AF828D Time : 1764.0 sec. user=gd_barnes [2011-05-30 01:47:13] 939*2^953957-1 is not prime. Res64: 42839147A8CA6BAB Time : 1841.0 sec. user=gd_barnes [2011-05-30 01:47:13] 949*2^953957-1 is not prime. Res64: DD93F65859906D55 Time : 1841.0 sec. user=vaughan [2011-05-30 01:53:52] 919*2^953959-1 is not prime. Res64: 95C03A22CFF9CC9B Time : 1236.0 sec. user=vaughan [2011-05-30 01:55:40] 969*2^953961-1 is not prime. Res64: 1F6BC7BB6AF57B69 Time : 1179.0 sec. user=vaughan [2011-05-30 01:58:11] 867*2^953962-1 is not prime. Res64: 0FA11D6C461282D1 Time : 1262.0 sec. user=gd_barnes [2011-05-30 02:01:12] 971*2^953958-1 is not prime. Res64: 3BBE92004C9B3F7D Time : 1776.0 sec. user=gd_barnes [2011-05-30 02:01:12] 829*2^953959-1 is not prime. Res64: 9C627E237E19C2B3 Time : 1776.0 sec. user=gd_barnes [2011-05-30 02:02:48] 885*2^953959-1 is not prime. Res64: C008CB9891EF09DA Time : 1777.0 sec. user=gd_barnes [2011-05-30 02:02:48] 913*2^953959-1 is not prime. Res64: 51766C145343AA89 Time : 1777.0 sec. user=gd_barnes [2011-05-30 02:04:18] 945*2^953961-1 is not prime. Res64: 1E443B6D36BEBAB9 Time : 1780.0 sec. user=gd_barnes [2011-05-30 02:04:18] 955*2^953961-1 is not prime. Res64: E50B0CCE9631C612 Time : 1780.0 sec. user=gd_barnes [2011-05-30 02:06:15] 951*2^953959-1 is not prime. Res64: 695F51E6827533CD Time : 1934.0 sec. user=gd_barnes [2011-05-30 02:06:15] 825*2^953960-1 is not prime. Res64: 030A306311AAF76C Time : 1934.0 sec. user=gd_barnes [2011-05-30 02:06:22] 899*2^953960-1 is not prime. Res64: 39A2E2A277ED61A3 Time : 1933.0 sec. user=gd_barnes [2011-05-30 02:06:22] 917*2^953960-1 is not prime. Res64: 8E177CFB294B07CA Time : 1933.0 sec. user=vaughan [2011-05-30 02:06:33] 943*2^953963-1 is not prime. Res64: 4550C0B7EFA332D2 Time : 1255.0 sec. user=gd_barnes [2011-05-30 02:06:48] 865*2^953961-1 is not prime. Res64: EA17A75C76123E46 Time : 1932.0 sec. user=gd_barnes [2011-05-30 02:06:48] 921*2^953961-1 is not prime. Res64: 1D69A38760B92870 Time : 1932.0 sec. user=gd_barnes [2011-05-30 02:08:38] 873*2^953962-1 is not prime. Res64: 61D878768F5A1F4F Time : 1780.0 sec. user=gd_barnes [2011-05-30 02:08:38] 917*2^953962-1 is not prime. Res64: C752AAF071C359E3 Time : 1780.0 sec. user=gd_barnes [2011-05-30 02:09:14] 803*2^953962-1 is not prime. Res64: 15AE2D8271EA7D06 Time : 1933.0 sec. user=gd_barnes [2011-05-30 02:09:14] 813*2^953962-1 is not prime. Res64: 4EB2BB912414A429 Time : 1933.0 sec. user=vaughan [2011-05-30 02:14:26] 925*2^953965-1 is not prime. Res64: 857C8C2A3D38B4F9 Time : 1234.0 sec. user=vaughan [2011-05-30 02:15:15] 851*2^953966-1 is not prime. Res64: A706FCDC69D46B95 Time : 1176.0 sec. user=gd_barnes [2011-05-30 02:16:14] 945*2^953962-1 is not prime. Res64: 279CCA3295437B0F Time : 1961.0 sec. user=gd_barnes [2011-05-30 02:16:14] 913*2^953963-1 is not prime. Res64: 5BA49F4136E54D09 Time : 1961.0 sec. user=gd_barnes [2011-05-30 02:17:53] 811*2^953965-1 is not prime. Res64: C6A887B1DFAC7861 Time : 1839.0 sec. user=gd_barnes [2011-05-30 02:17:53] 895*2^953965-1 is not prime. Res64: 29352EC403ACB0A5 Time : 1839.0 sec. user=gd_barnes [2011-05-30 02:18:41] 843*2^953964-1 is not prime. Res64: 8EAA2776C27E0887 Time : 1887.0 sec. user=gd_barnes [2011-05-30 02:18:41] 929*2^953964-1 is not prime. Res64: 2B27E9494C49A778 Time : 1887.0 sec. user=vaughan [2011-05-30 02:19:11] 861*2^953966-1 is not prime. Res64: C83BB4E44F240A5B Time : 1260.0 sec. user=vaughan [2011-05-30 02:27:09] 861*2^953971-1 is not prime. Res64: 8CC13ADA009D5E9B Time : 1236.0 sec. user=gd_barnes [2011-05-30 02:30:50] 911*2^953966-1 is not prime. Res64: 242830D1A90901FC Time : 1777.0 sec. user=gd_barnes [2011-05-30 02:30:50] 963*2^953966-1 is not prime. Res64: BF56333A74F37745 Time : 1777.0 sec. user=gd_barnes [2011-05-30 02:32:27] 981*2^953966-1 is not prime. Res64: F35F7EDB82437174 Time : 1778.0 sec. user=gd_barnes [2011-05-30 02:32:27] 871*2^953967-1 is not prime. Res64: 15FCFCC30BA9A149 Time : 1778.0 sec. user=gd_barnes [2011-05-30 02:33:58] 897*2^953968-1 is not prime. Res64: 6AEFD4277460376A Time : 1779.0 sec. user=gd_barnes [2011-05-30 02:33:58] 905*2^953968-1 is not prime. Res64: B3BE7744D72D590E Time : 1779.0 sec. user=vaughan [2011-05-30 02:34:54] 861*2^953973-1 is not prime. Res64: 28B5D5B0221341C6 Time : 1179.0 sec. user=vaughan [2011-05-30 02:34:59] 999*2^953972-1 is not prime. Res64: 45DD6770528ACBFD Time : 1234.0 sec. user=gd_barnes [2011-05-30 02:38:18] 939*2^953971-1 is not prime. Res64: 483F181EAB2FBFB5 Time : 1779.0 sec. user=gd_barnes [2011-05-30 02:38:18] 979*2^953971-1 is not prime. Res64: 1BC80A908F2DE5D0 Time : 1779.0 sec. user=gd_barnes [2011-05-30 02:38:37] 927*2^953968-1 is not prime. Res64: 504FFD4A220D242C Time : 1941.0 sec. user=gd_barnes [2011-05-30 02:38:37] 957*2^953968-1 is not prime. Res64: 67681BA527783DAC Time : 1941.0 sec. user=gd_barnes [2011-05-30 02:38:41] 921*2^953970-1 is not prime. Res64: 634D4454C8B11D7B Time : 1938.0 sec. user=gd_barnes [2011-05-30 02:38:41] 859*2^953971-1 is not prime. Res64: 8EE447C05A05C277 Time : 1938.0 sec. user=gd_barnes [2011-05-30 02:39:07] 883*2^953971-1 is not prime. Res64: E389EA6CE70D7BF3 Time : 1937.0 sec. user=gd_barnes [2011-05-30 02:39:07] 909*2^953971-1 is not prime. Res64: AB2B298C6E2E94B2 Time : 1937.0 sec. user=vaughan [2011-05-30 02:40:11] 861*2^953975-1 is not prime. Res64: CBC4E56323A153B0 Time : 1260.0 sec. user=gd_barnes [2011-05-30 02:41:37] 899*2^953972-1 is not prime. Res64: 7DC8143230D4B3D4 Time : 1942.0 sec. user=gd_barnes [2011-05-30 02:41:37] 995*2^953972-1 is not prime. Res64: 3AEB5F1EE952D00F Time : 1942.0 sec. user=gd_barnes [2011-05-30 02:47:31] 919*2^953973-1 is not prime. Res64: C8FE1705F1A51B85 Time : 1876.0 sec. user=gd_barnes [2011-05-30 02:47:31] 857*2^953974-1 is not prime. Res64: 7703F8BF4022EFB2 Time : 1876.0 sec. user=gd_barnes [2011-05-30 02:47:32] 885*2^953974-1 is not prime. Res64: 1DCE04BD7581C137 Time : 1778.0 sec. user=gd_barnes [2011-05-30 02:47:33] 897*2^953974-1 is not prime. Res64: 47A1689642EAA95B Time : 1779.0 sec. user=vaughan [2011-05-30 02:47:54] 973*2^953975-1 is not prime. Res64: 704D620017C59EBB Time : 1245.0 sec. user=gd_barnes [2011-05-30 02:50:50] 819*2^953975-1 is not prime. Res64: 832C42CFD3605F87 Time : 1928.0 sec. user=gd_barnes [2011-05-30 02:50:50] 825*2^953975-1 is not prime. Res64: 889F2C464AF0FA6B Time : 1928.0 sec. user=vaughan [2011-05-30 02:54:34] 871*2^953977-1 is not prime. Res64: 790441F3C7C7ACB9 Time : 1180.0 sec. user=vaughan [2011-05-30 02:55:36] 885*2^953977-1 is not prime. Res64: 502D5276420FC683 Time : 1237.0 sec. user=gd_barnes [2011-05-30 03:00:27] 979*2^953975-1 is not prime. Res64: 2F30B5448087CB72 Time : 1776.0 sec. user=gd_barnes [2011-05-30 03:00:27] 999*2^953975-1 is not prime. Res64: 6ECCA5ABA9A7A564 Time : 1776.0 sec. user=vaughan [2011-05-30 03:00:47] 955*2^953981-1 is not prime. Res64: 205FDEA815F23403 Time : 1236.0 sec. user=gd_barnes [2011-05-30 03:02:08] 815*2^953976-1 is not prime. Res64: 44DA3AFE5D9BF4F7 Time : 1780.0 sec. user=gd_barnes [2011-05-30 03:02:08] 839*2^953976-1 is not prime. Res64: 307DC882334DAD46 Time : 1780.0 sec. user=gd_barnes [2011-05-30 03:03:38] 887*2^953976-1 is not prime. Res64: EB396E9587C945B8 Time : 1779.0 sec. user=gd_barnes [2011-05-30 03:03:38] 999*2^953976-1 is not prime. Res64: BED7B3724AF13635 Time : 1779.0 sec. user=gd_barnes [2011-05-30 03:07:58] 971*2^953978-1 is not prime. Res64: 8AEC3ED9DC2AD19A Time : 1778.0 sec. user=gd_barnes [2011-05-30 03:07:58] 829*2^953979-1 is not prime. Res64: F80633C1C3F483D1 Time : 1778.0 sec. user=vaughan [2011-05-30 03:09:38] 891*2^953983-1 is not prime. Res64: FC15834BB0D969C7 Time : 1243.0 sec. user=gd_barnes [2011-05-30 03:10:41] 861*2^953979-1 is not prime. Res64: 3C01C5350D407142 Time : 1923.0 sec. user=gd_barnes [2011-05-30 03:10:41] 903*2^953979-1 is not prime. Res64: A7C9699DFED5688A Time : 1923.0 sec. user=gd_barnes [2011-05-30 03:10:55] 803*2^953980-1 is not prime. Res64: 46957896E89C4B3C Time : 1933.0 sec. user=gd_barnes [2011-05-30 03:10:55] 875*2^953980-1 is not prime. Res64: 329899FAD6F4D39B Time : 1933.0 sec. user=gd_barnes [2011-05-30 03:11:13] 983*2^953980-1 is not prime. Res64: 23DCAF7B131F8711 Time : 1925.0 sec. user=gd_barnes [2011-05-30 03:11:13] 855*2^953981-1 is not prime. Res64: E381B789C7CC9094 Time : 1925.0 sec. user=gd_barnes [2011-05-30 03:13:45] 967*2^953981-1 is not prime. Res64: 4119E4BD9A4A6F2D Time : 1927.0 sec. user=gd_barnes [2011-05-30 03:13:45] 801*2^953982-1 is not prime. Res64: 5ACA1BBD042B9B3D Time : 1927.0 sec. user=vaughan [2011-05-30 03:15:00] 995*2^953984-1 is not prime. Res64: 182484AC835E757F Time : 1226.0 sec. user=vaughan [2011-05-30 03:16:16] 949*2^953985-1 is not prime. Res64: 403D07B2B23A2989 Time : 1240.0 sec. user=gd_barnes [2011-05-30 03:18:31] 893*2^953982-1 is not prime. Res64: 67AEA63DF4F0DAA5 Time : 1859.0 sec. user=gd_barnes [2011-05-30 03:18:31] 965*2^953982-1 is not prime. Res64: B4AE77DEED43D5D6 Time : 1859.0 sec. user=vaughan [2011-05-30 03:20:37] 857*2^953986-1 is not prime. Res64: 4926E70C52EEC8FD Time : 1191.0 sec. user=gd_barnes [2011-05-30 03:21:36] 983*2^953982-1 is not prime. Res64: 3E8A552374AC7829 Time : 2042.0 sec. user=gd_barnes [2011-05-30 03:21:36] 819*2^953983-1 is not prime. Res64: E3AF78683291FAC8 Time : 2042.0 sec. user=gd_barnes [2011-05-30 03:22:10] 893*2^953984-1 is not prime. Res64: 3964DC67C8A5E7D2 Time : 1879.0 sec. user=gd_barnes [2011-05-30 03:22:10] 903*2^953984-1 is not prime. Res64: 523CF2C2827B1B7F Time : 1879.0 sec. user=vaughan [2011-05-30 03:30:10] 919*2^953989-1 is not prime. Res64: 0385E8FA15953035 Time : 1232.0 sec. user=gd_barnes [2011-05-30 03:30:12] 813*2^953986-1 is not prime. Res64: D3AC927B2ACD068F Time : 1784.0 sec. user=gd_barnes [2011-05-30 03:30:12] 855*2^953986-1 is not prime. Res64: 01945870A68B92BE Time : 1784.0 sec. user=gd_barnes [2011-05-30 03:31:48] 883*2^953987-1 is not prime. Res64: 5E05636718244D3F Time : 1779.0 sec. user=gd_barnes [2011-05-30 03:31:48] 931*2^953987-1 is not prime. Res64: 9E9569399D2B81F8 Time : 1779.0 sec. user=gd_barnes [2011-05-30 03:33:15] 949*2^953987-1 is not prime. Res64: 3AC3D0CC2667DCA5 Time : 1776.0 sec. user=gd_barnes [2011-05-30 03:33:15] 825*2^953988-1 is not prime. Res64: 4928ED60D87D14CA Time : 1776.0 sec. user=vaughan [2011-05-30 03:35:39] 933*2^953991-1 is not prime. Res64: 8AC637D34D4F808C Time : 1240.0 sec. user=vaughan [2011-05-30 03:37:05] 863*2^953992-1 is not prime. Res64: 808F38895CE65437 Time : 1249.0 sec. user=gd_barnes [2011-05-30 03:37:35] 837*2^953988-1 is not prime. Res64: 99A3BBAB30EFD0F6 Time : 1776.0 sec. user=gd_barnes [2011-05-30 03:37:35] 867*2^953989-1 is not prime. Res64: 1B64A9E884346DE6 Time : 1776.0 sec. user=vaughan [2011-05-30 03:40:39] 885*2^953993-1 is not prime. Res64: 82965EB287CA6F7D Time : 1202.0 sec. user=gd_barnes [2011-05-30 03:42:10] 939*2^953989-1 is not prime. Res64: 1136EDE82D852625 Time : 1887.0 sec. user=gd_barnes [2011-05-30 03:42:10] 951*2^953989-1 is not prime. Res64: 1A7910693B572CE6 Time : 1887.0 sec. user=gd_barnes [2011-05-30 03:42:25] 999*2^953989-1 is not prime. Res64: 07D2E0A69931E11D Time : 1889.0 sec. user=gd_barnes [2011-05-30 03:42:25] 953*2^953990-1 is not prime. Res64: 9B751B2C91B3228F Time : 1889.0 sec. user=gd_barnes [2011-05-30 03:42:33] 971*2^953990-1 is not prime. Res64: 478EBBE06FFA2687 Time : 1879.0 sec. user=gd_barnes [2011-05-30 03:42:33] 825*2^953991-1 is not prime. Res64: 790574C809934272 Time : 1879.0 sec. user=gd_barnes [2011-05-30 03:45:23] 829*2^953991-1 is not prime. Res64: 7EA7FBD720CDC4CF Time : 1897.0 sec. user=gd_barnes [2011-05-30 03:45:23] 861*2^953991-1 is not prime. Res64: 707DF1FD0B530341 Time : 1897.0 sec. user=gd_barnes [2011-05-30 03:50:38] 903*2^953992-1 is not prime. Res64: 0087FBBF6B916E20 Time : 1926.0 sec. user=gd_barnes [2011-05-30 03:50:38] 917*2^953992-1 is not prime. Res64: 67DDD8F6D7404CDC Time : 1926.0 sec. user=ototero [2011-05-30 03:50:47] 859*2^953931-1 is not prime. Res64: BAA054887CCE54EF Time : 15278.0 sec. user=ototero [2011-05-30 03:50:47] 895*2^953931-1 is not prime. Res64: 2326ED8939861418 Time : 15278.0 sec. user=ototero [2011-05-30 03:50:47] 969*2^953931-1 is not prime. Res64: BB33E05312D681C7 Time : 15278.0 sec. user=ototero [2011-05-30 03:50:47] 975*2^953931-1 is not prime. Res64: D4AC685ADA6B369B Time : 15277.0 sec. user=ototero [2011-05-30 03:50:47] 825*2^953932-1 is not prime. Res64: EADED5A4E541C541 Time : 15277.0 sec. user=ototero [2011-05-30 03:50:47] 869*2^953932-1 is not prime. Res64: 85EF3B2DA042B11D Time : 15277.0 sec. user=ototero [2011-05-30 03:50:48] 875*2^953932-1 is not prime. Res64: 7C9E926A239FE9E0 Time : 15277.0 sec. user=ototero [2011-05-30 03:50:48] 915*2^953932-1 is not prime. Res64: A908CF816C9B6831 Time : 15277.0 sec. user=ototero [2011-05-30 03:50:48] 989*2^953932-1 is not prime. Res64: 1EF57DBA8D7628D0 Time : 15277.0 sec. user=ototero [2011-05-30 03:50:48] 879*2^953933-1 is not prime. Res64: CBE8E4051E4E8F1A Time : 15276.0 sec. user=vaughan [2011-05-30 03:50:51] 893*2^953994-1 is not prime. Res64: 2494EA5EE44F3CC5 Time : 1241.0 sec. user=gd_barnes [2011-05-30 03:52:04] 807*2^953994-1 is not prime. Res64: 9EA45556BB233475 Time : 1793.0 sec. user=gd_barnes [2011-05-30 03:52:04] 885*2^953994-1 is not prime. Res64: EEEA14ABC77B90C3 Time : 1793.0 sec. user=gd_barnes [2011-05-30 03:55:22] 901*2^953993-1 is not prime. Res64: 072FF869353123DA Time : 2025.0 sec. user=gd_barnes [2011-05-30 03:55:22] 969*2^953993-1 is not prime. Res64: FAB3C9044D969072 Time : 2025.0 sec. user=vaughan [2011-05-30 03:55:57] 955*2^953997-1 is not prime. Res64: E3990AC846C52622 Time : 1218.0 sec. user=vaughan [2011-05-30 03:57:37] 845*2^953998-1 is not prime. Res64: F78022DF3F9C383A Time : 1232.0 sec. user=gd_barnes [2011-05-30 03:59:49] 945*2^953994-1 is not prime. Res64: 5A7354D31269695D Time : 1776.0 sec. user=gd_barnes [2011-05-30 03:59:49] 971*2^953994-1 is not prime. Res64: 988C491E6C5582C3 Time : 1776.0 sec. user=vaughan [2011-05-30 04:01:09] 995*2^953998-1 is not prime. Res64: 61733BE60601D8AB Time : 1230.0 sec. user=gd_barnes [2011-05-30 04:01:26] 993*2^953994-1 is not prime. Res64: FB1AD4964100BAF3 Time : 1777.0 sec. user=gd_barnes [2011-05-30 04:01:26] 1001*2^953994-1 is not prime. Res64: 0859EFE36277C36A Time : 1777.0 sec. user=gd_barnes [2011-05-30 04:02:57] 895*2^953995-1 is not prime. Res64: 7982508F4F58877D Time : 1781.0 sec. user=gd_barnes [2011-05-30 04:02:57] 845*2^953996-1 is not prime. Res64: 4DAB9A042B784FA6 Time : 1781.0 sec. user=gd_barnes [2011-05-30 04:07:16] 857*2^953998-1 is not prime. Res64: F0A1E8B501D6880D Time : 1780.0 sec. user=gd_barnes [2011-05-30 04:07:16] 923*2^953998-1 is not prime. Res64: 82B576DCF979A5ED Time : 1780.0 sec. user=vaughan [2011-05-30 04:11:20] 873*2^954004-1 is not prime. Res64: A6C7DC5F1F19896D Time : 1229.0 sec. user=gd_barnes [2011-05-30 04:14:08] 855*2^953999-1 is not prime. Res64: 744C7E508EDE5559 Time : 1917.0 sec. user=gd_barnes [2011-05-30 04:14:08] 885*2^953999-1 is not prime. Res64: 8CB2F97DFE813FBA Time : 1917.0 sec. user=gd_barnes [2011-05-30 04:14:25] 979*2^953999-1 is not prime. Res64: 0DEFE05ABE3A5386 Time : 1919.0 sec. user=gd_barnes [2011-05-30 04:14:25] 991*2^953999-1 is not prime. Res64: 0967FFF6A6FDADD5 Time : 1919.0 sec. user=gd_barnes [2011-05-30 04:14:33] 927*2^954000-1 is not prime. Res64: 9E23F8A0BBAA3196 Time : 1917.0 sec. user=gd_barnes [2011-05-30 04:14:33] 847*2^954001-1 is not prime. Res64: 9225013D184E7E1E Time : 1917.0 sec. user=vaughan [2011-05-30 04:15:28] 917*2^954006-1 is not prime. Res64: CBFCE7C08BD6FFC2 Time : 1171.0 sec. user=gd_barnes [2011-05-30 04:17:22] 871*2^954001-1 is not prime. Res64: D474348CD37E4A3E Time : 1918.0 sec. user=gd_barnes [2011-05-30 04:17:22] 895*2^954001-1 is not prime. Res64: C248D2F6BE95AD12 Time : 1918.0 sec. user=vaughan [2011-05-30 04:18:05] 975*2^954006-1 is not prime. Res64: 20774234C9A7404B Time : 1228.0 sec. user=gd_barnes [2011-05-30 04:20:50] 929*2^954004-1 is not prime. Res64: 6971A78F9D094161 Time : 1725.0 sec. user=gd_barnes [2011-05-30 04:20:50] 981*2^954005-1 is not prime. Res64: 82429BA8717E91C7 Time : 1725.0 sec. user=vaughan [2011-05-30 04:22:11] 891*2^954007-1 is not prime. Res64: 6162D7B187C564F7 Time : 1262.0 sec. user=gd_barnes [2011-05-30 04:23:17] 867*2^954002-1 is not prime. Res64: 4B012936252D10AA Time : 1958.0 sec. user=gd_barnes [2011-05-30 04:23:17] 941*2^954002-1 is not prime. Res64: BAC02E227794FF00 Time : 1958.0 sec. user=gd_barnes [2011-05-30 04:29:27] 815*2^954006-1 is not prime. Res64: F1BB962E20DC228F Time : 2043.0 sec. user=gd_barnes [2011-05-30 04:29:27] 881*2^954006-1 is not prime. Res64: EDDE60CF466D2034 Time : 2043.0 sec. user=gd_barnes [2011-05-30 04:29:29] 829*2^954007-1 is not prime. Res64: 39D1E0E9D37D8716 Time : 1779.0 sec. user=gd_barnes [2011-05-30 04:29:29] 841*2^954007-1 is not prime. Res64: FC32915B992A9CA3 Time : 1779.0 sec. user=gd_barnes [2011-05-30 04:31:08] 909*2^954007-1 is not prime. Res64: A11E153A8910238F Time : 1781.0 sec. user=gd_barnes [2011-05-30 04:31:08] 813*2^954008-1 is not prime. Res64: A63A0B3B092C7F3A Time : 1781.0 sec. user=vaughan [2011-05-30 04:31:49] 957*2^954008-1 is not prime. Res64: F0411FD827B67616 Time : 1229.0 sec. user=gd_barnes [2011-05-30 04:32:40] 837*2^954008-1 is not prime. Res64: F34612073A465FEE Time : 1782.0 sec. user=gd_barnes [2011-05-30 04:32:40] 879*2^954008-1 is not prime. Res64: 65B36F3EBCB8D7B7 Time : 1782.0 sec. user=vaughan [2011-05-30 04:35:00] 825*2^954012-1 is not prime. Res64: 13E80A80E4976ADF Time : 1172.0 sec. user=gd_barnes [2011-05-30 04:36:57] 897*2^954008-1 is not prime. Res64: DA4D0889FF8DF0DA Time : 1780.0 sec. user=gd_barnes [2011-05-30 04:36:57] 915*2^954008-1 is not prime. Res64: 7A7A790A4C4DE0EE Time : 1780.0 sec. user=vaughan [2011-05-30 04:38:33] 801*2^954013-1 is not prime. Res64: F5700E0E64B8999C Time : 1228.0 sec. user=vaughan [2011-05-30 04:43:13] 887*2^954014-1 is not prime. Res64: A616021A351801AE Time : 1262.0 sec. user=gd_barnes [2011-05-30 04:46:15] 999*2^954008-1 is not prime. Res64: 81239047BF61239C Time : 1925.0 sec. user=gd_barnes [2011-05-30 04:46:15] 831*2^954009-1 is not prime. Res64: A7CEE37A43C66E8C Time : 1925.0 sec. user=gd_barnes [2011-05-30 04:46:30] 951*2^954009-1 is not prime. Res64: 53715545F6695246 Time : 1924.0 sec. user=gd_barnes [2011-05-30 04:46:30] 991*2^954009-1 is not prime. Res64: 209DD2BEAD26197C Time : 1924.0 sec. user=gd_barnes [2011-05-30 04:46:38] 841*2^954011-1 is not prime. Res64: C6D6E53298AA78E4 Time : 1924.0 sec. user=gd_barnes [2011-05-30 04:46:38] 993*2^954011-1 is not prime. Res64: 9868E01E7625BECE Time : 1924.0 sec. user=gd_barnes [2011-05-30 04:49:33] 899*2^954012-1 is not prime. Res64: A5205177E9E5D573 Time : 1929.0 sec. user=gd_barnes [2011-05-30 04:49:33] 947*2^954012-1 is not prime. Res64: 19BB4FB322809F9D Time : 1929.0 sec. user=gd_barnes [2011-05-30 04:50:15] 829*2^954013-1 is not prime. Res64: F68878492CA88041 Time : 1764.0 sec. user=gd_barnes [2011-05-30 04:50:15] 867*2^954013-1 is not prime. Res64: 4CF6BCE298C02ACA Time : 1764.0 sec. user=vaughan [2011-05-30 04:52:24] 945*2^954017-1 is not prime. Res64: 72C24ED423EBB7E1 Time : 1235.0 sec. user=gd_barnes [2011-05-30 04:53:41] 1001*2^954014-1 is not prime. Res64: 14E7C95676D9CD0A Time : 1823.0 sec. user=gd_barnes [2011-05-30 04:53:41] 805*2^954015-1 is not prime. Res64: 0DE3BAB087541004 Time : 1823.0 sec. user=vaughan [2011-05-30 04:55:01] 927*2^954018-1 is not prime. Res64: 74406EE21C6B04A4 Time : 1201.0 sec. user=gd_barnes [2011-05-30 04:59:05] 843*2^954016-1 is not prime. Res64: E853F43911BFBD76 Time : 1775.0 sec. user=gd_barnes [2011-05-30 04:59:05] 869*2^954016-1 is not prime. Res64: C4C717256B50368B Time : 1775.0 sec. user=vaughan [2011-05-30 04:59:06] 975*2^954019-1 is not prime. Res64: 56F78E19DF724D06 Time : 1233.0 sec. user=gd_barnes [2011-05-30 04:59:31] 803*2^954016-1 is not prime. Res64: 3CBEAAEE6F1ABB49 Time : 1803.0 sec. user=gd_barnes [2011-05-30 04:59:31] 825*2^954016-1 is not prime. Res64: 8D6A5C8D8D53FB0C Time : 1803.0 sec. user=gd_barnes [2011-05-30 05:00:48] 909*2^954016-1 is not prime. Res64: C7C05AF33138243E Time : 1779.0 sec. user=gd_barnes [2011-05-30 05:00:48] 931*2^954017-1 is not prime. Res64: 1539E998048BC48C Time : 1779.0 sec. user=gd_barnes [2011-05-30 05:02:20] 825*2^954018-1 is not prime. Res64: D71C8587665DF50D Time : 1779.0 sec. user=gd_barnes [2011-05-30 05:02:20] 843*2^954018-1 is not prime. Res64: 672FD2C2DD0A978C Time : 1779.0 sec. user=vaughan [2011-05-30 05:04:03] 819*2^954020-1 is not prime. Res64: 83086932D89E22F6 Time : 1251.0 sec. user=gd_barnes [2011-05-30 05:06:38] 977*2^954018-1 is not prime. Res64: C571CDE2D81ABCD1 Time : 1780.0 sec. user=gd_barnes [2011-05-30 05:06:38] 919*2^954019-1 is not prime. Res64: 05397E7308B8D22E Time : 1780.0 sec. user=vaughan [2011-05-30 05:12:56] 993*2^954023-1 is not prime. Res64: DB71E8F75C44F2FC Time : 1232.0 sec. user=vaughan [2011-05-30 05:14:33] 947*2^954024-1 is not prime. Res64: 1DCB574028D32CF6 Time : 1172.0 sec. user=gd_barnes [2011-05-30 05:18:30] 839*2^954020-1 is not prime. Res64: 1369A79D27A9F5FB Time : 1934.0 sec. user=gd_barnes [2011-05-30 05:18:30] 875*2^954020-1 is not prime. Res64: 5F0DC51DAE12365C Time : 1934.0 sec. user=gd_barnes [2011-05-30 05:18:49] 817*2^954021-1 is not prime. Res64: 3FA4A18C32438169 Time : 1938.0 sec. user=gd_barnes [2011-05-30 05:18:49] 889*2^954021-1 is not prime. Res64: C395A016A6675B30 Time : 1938.0 sec. user=gd_barnes [2011-05-30 05:18:53] 921*2^954021-1 is not prime. Res64: 8F5B755B4B7E6434 Time : 1934.0 sec. user=gd_barnes [2011-05-30 05:18:53] 801*2^954022-1 is not prime. Res64: F31E0B0860DEBCF9 Time : 1934.0 sec. user=vaughan [2011-05-30 05:19:34] 831*2^954025-1 is not prime. Res64: F9DAF25648E40096 Time : 1228.0 sec. user=gd_barnes [2011-05-30 05:21:53] 821*2^954022-1 is not prime. Res64: 7D0316509D22DFB4 Time : 1939.0 sec. user=gd_barnes [2011-05-30 05:21:53] 805*2^954023-1 is not prime. Res64: 31339278129C04B0 Time : 1939.0 sec. user=gd_barnes [2011-05-30 05:21:53] 855*2^954023-1 is not prime. Res64: F7105C3E586F9045 Time : 1897.0 sec. user=gd_barnes [2011-05-30 05:21:53] 885*2^954023-1 is not prime. Res64: 4CE385D81D3AE0E3 Time : 1897.0 sec. user=gd_barnes [2011-05-30 05:24:56] 849*2^954024-1 is not prime. Res64: DE1CC95196E1E4C2 Time : 1874.0 sec. user=gd_barnes [2011-05-30 05:24:56] 917*2^954024-1 is not prime. Res64: 22444725D4509B4B Time : 1874.0 sec. user=vaughan [2011-05-30 05:25:07] 983*2^954026-1 is not prime. Res64: 705950E959541E7D Time : 1264.0 sec. user=gd_barnes [2011-05-30 05:28:45] 871*2^954025-1 is not prime. Res64: F2EC499C746536B8 Time : 1779.0 sec. user=gd_barnes [2011-05-30 05:28:45] 909*2^954025-1 is not prime. Res64: ABE3A60FB8B33025 Time : 1779.0 sec. user=gd_barnes [2011-05-30 05:30:28] 997*2^954025-1 is not prime. Res64: 82127D8169BF59ED Time : 1779.0 sec. user=gd_barnes [2011-05-30 05:30:28] 831*2^954026-1 is not prime. Res64: E89B1455D9D7881C Time : 1779.0 sec. user=gd_barnes [2011-05-30 05:31:42] 939*2^954025-1 is not prime. Res64: DEDD56246258F374 Time : 1930.0 sec. user=gd_barnes [2011-05-30 05:31:42] 987*2^954025-1 is not prime. Res64: 6E261CB4A8119098 Time : 1930.0 sec. user=gd_barnes [2011-05-30 05:31:59] 873*2^954026-1 is not prime. Res64: 6DA3090491D7F18C Time : 1778.0 sec. user=gd_barnes [2011-05-30 05:31:59] 911*2^954026-1 is not prime. Res64: 6124F2175475271B Time : 1778.0 sec. user=vaughan [2011-05-30 05:33:28] 975*2^954027-1 is not prime. Res64: CEE89487057C464D Time : 1232.0 sec. user=vaughan [2011-05-30 05:34:06] 839*2^954028-1 is not prime. Res64: 8C9499ABA96639C0 Time : 1173.0 sec. user=gd_barnes [2011-05-30 05:36:21] 819*2^954027-1 is not prime. Res64: F49C889B04523EB3 Time : 1782.0 sec. user=gd_barnes [2011-05-30 05:36:21] 955*2^954027-1 is not prime. Res64: 1E0A45238627BF47 Time : 1782.0 sec. user=vaughan [2011-05-30 05:40:02] 951*2^954030-1 is not prime. Res64: FDCFE0F43B5DEE52 Time : 1228.0 sec. user=vaughan [2011-05-30 05:46:05] 991*2^954033-1 is not prime. Res64: 16A9FAC3AF6DDD4A Time : 1259.0 sec. user=gd_barnes [2011-05-30 05:50:26] 863*2^954028-1 is not prime. Res64: BB164C32FE256740 Time : 1915.0 sec. user=gd_barnes [2011-05-30 05:50:26] 905*2^954028-1 is not prime. Res64: C31DF984219ECD37 Time : 1915.0 sec. user=gd_barnes [2011-05-30 05:50:44] 957*2^954028-1 is not prime. Res64: 93D9346800F972E8 Time : 1914.0 sec. user=gd_barnes [2011-05-30 05:50:44] 995*2^954028-1 is not prime. Res64: 798774C88958C864 Time : 1914.0 sec. user=gd_barnes [2011-05-30 05:50:49] 927*2^954029-1 is not prime. Res64: AA2F323ABCF9ACEE Time : 1915.0 sec. user=gd_barnes [2011-05-30 05:50:49] 863*2^954030-1 is not prime. Res64: 52C6585C7F01DD6B Time : 1915.0 sec. user=gd_barnes [2011-05-30 05:52:13] 993*2^954031-1 is not prime. Res64: DDA3FD0A9B67789A Time : 1819.0 sec. user=gd_barnes [2011-05-30 05:52:13] 813*2^954032-1 is not prime. Res64: D7EC5E728312260C Time : 1819.0 sec. user=gd_barnes [2011-05-30 05:52:58] 855*2^954032-1 is not prime. Res64: 0F81D47BA6C30612 Time : 1681.0 sec. user=gd_barnes [2011-05-30 05:52:58] 979*2^954033-1 is not prime. Res64: 2224E14E2949903E Time : 1681.0 sec. user=gd_barnes [2011-05-30 05:53:47] 895*2^954031-1 is not prime. Res64: 7BDAA9289852B26E Time : 1913.0 sec. user=gd_barnes [2011-05-30 05:53:47] 933*2^954031-1 is not prime. Res64: 0350ACD230316700 Time : 1913.0 sec. user=vaughan [2011-05-30 05:53:58] 947*2^954036-1 is not prime. Res64: 6E2ED9974FBA2CE0 Time : 1192.0 sec. user=vaughan [2011-05-30 05:54:12] 899*2^954036-1 is not prime. Res64: F9D819E9E585D13A Time : 1244.0 sec. user=gd_barnes [2011-05-30 05:58:24] 917*2^954034-1 is not prime. Res64: C36B0E0FF6DE69A9 Time : 1778.0 sec. user=gd_barnes [2011-05-30 05:58:24] 825*2^954035-1 is not prime. Res64: 6DCB39AACB5B6265 Time : 1778.0 sec. user=gd_barnes [2011-05-30 06:00:05] 859*2^954035-1 is not prime. Res64: 71355A7687327121 Time : 1776.0 sec. user=gd_barnes [2011-05-30 06:00:05] 885*2^954035-1 is not prime. Res64: 3BFE4F3AD24B8003 Time : 1776.0 sec. user=vaughan [2011-05-30 06:00:44] 857*2^954038-1 is not prime. Res64: 70D82C24A3E56DD6 Time : 1242.0 sec. user=gd_barnes [2011-05-30 06:00:59] 963*2^954035-1 is not prime. Res64: 42E92DFDA703CE4C Time : 1756.0 sec. user=gd_barnes [2011-05-30 06:00:59] 809*2^954036-1 is not prime. Res64: 7E30F4CF6BCD36AE Time : 1756.0 sec. user=gd_barnes [2011-05-30 06:01:40] 843*2^954036-1 is not prime. Res64: 02929A6B82B65D5A Time : 1780.0 sec. user=gd_barnes [2011-05-30 06:01:40] 845*2^954036-1 is not prime. Res64: 7F1EE8330B6CCEC0 Time : 1780.0 sec. user=gd_barnes [2011-05-30 06:06:00] 815*2^954038-1 is not prime. Res64: 6E9CC2EFF136A17D Time : 1778.0 sec. user=gd_barnes [2011-05-30 06:06:00] 827*2^954038-1 is not prime. Res64: 9F8E09CAAD97BDF7 Time : 1778.0 sec. user=vaughan [2011-05-30 06:06:03] 861*2^954038-1 is not prime. Res64: F063CCCC80529984 Time : 1198.0 sec. user=vaughan [2011-05-30 06:14:33] 871*2^954041-1 is not prime. Res64: 8B74964114F0A5A3 Time : 1236.0 sec. user=vaughan [2011-05-30 06:14:45] 843*2^954042-1 is not prime. Res64: 9F4900AC03CEF34A Time : 1234.0 sec. user=vaughan [2011-05-30 06:21:21] 909*2^954044-1 is not prime. Res64: 51A8228D214CD26C Time : 1237.0 sec. user=gd_barnes [2011-05-30 06:22:07] 893*2^954038-1 is not prime. Res64: 2F65D607FBE48731 Time : 1900.0 sec. user=gd_barnes [2011-05-30 06:22:07] 915*2^954038-1 is not prime. Res64: BAFDA1B897A06912 Time : 1900.0 sec. user=gd_barnes [2011-05-30 06:22:20] 923*2^954038-1 is not prime. Res64: 09E0C37E60359838 Time : 1895.0 sec. user=gd_barnes [2011-05-30 06:22:20] 971*2^954038-1 is not prime. Res64: 824661E49AB926BE Time : 1895.0 sec. user=gd_barnes [2011-05-30 06:22:24] 909*2^954039-1 is not prime. Res64: 6A1B8FC4B1E26555 Time : 1894.0 sec. user=gd_barnes [2011-05-30 06:22:24] 949*2^954039-1 is not prime. Res64: CC604CFE5BAB8F80 Time : 1894.0 sec. user=gd_barnes [2011-05-30 06:24:21] 819*2^954040-1 is not prime. Res64: C79B52994CBEA5BF Time : 1927.0 sec. user=gd_barnes [2011-05-30 06:24:21] 827*2^954040-1 is not prime. Res64: C1557C9CE179AA14 Time : 1927.0 sec. user=gd_barnes [2011-05-30 06:24:47] 839*2^954040-1 is not prime. Res64: A3BDD2165B7C1225 Time : 1908.0 sec. user=gd_barnes [2011-05-30 06:24:47] 873*2^954040-1 is not prime. Res64: 4C7943BFD297D422 Time : 1908.0 sec. user=gd_barnes [2011-05-30 06:25:29] 939*2^954040-1 is not prime. Res64: 193B19B35F7F2054 Time : 1901.0 sec. user=gd_barnes [2011-05-30 06:25:29] 811*2^954041-1 is not prime. Res64: 447A71D403DA3A00 Time : 1901.0 sec. user=vaughan [2011-05-30 06:25:56] 999*2^954045-1 is not prime. Res64: 73AED9B6D58BEF27 Time : 1193.0 sec. user=gd_barnes [2011-05-30 06:28:01] 849*2^954043-1 is not prime. Res64: 9868BF11CED9B2CE Time : 1776.0 sec. user=gd_barnes [2011-05-30 06:28:01] 861*2^954043-1 is not prime. Res64: 31C71B93093F02B5 Time : 1776.0 sec. user=gd_barnes [2011-05-30 06:29:45] 827*2^954044-1 is not prime. Res64: 680F7F5CCEE4FE99 Time : 1779.0 sec. user=gd_barnes [2011-05-30 06:29:45] 899*2^954044-1 is not prime. Res64: 7ED35E2BBF9DF3A0 Time : 1779.0 sec. user=gd_barnes [2011-05-30 06:31:20] 861*2^954045-1 is not prime. Res64: 4AED6D9180F4AC0C Time : 1779.0 sec. user=gd_barnes [2011-05-30 06:31:20] 915*2^954045-1 is not prime. Res64: A2D31C93FF5B7A10 Time : 1779.0 sec. user=gd_barnes [2011-05-30 06:33:20] 915*2^954044-1 is not prime. Res64: 1E62E7B22DAB3603 Time : 1939.0 sec. user=gd_barnes [2011-05-30 06:33:20] 927*2^954044-1 is not prime. Res64: F4961B3820CACAD0 Time : 1939.0 sec. user=vaughan [2011-05-30 06:35:09] 825*2^954046-1 is not prime. Res64: B969307F99019C3C Time : 1237.0 sec. user=vaughan [2011-05-30 06:35:20] 873*2^954046-1 is not prime. Res64: 1C921E1440DF2904 Time : 1235.0 sec. user=gd_barnes [2011-05-30 06:35:43] 927*2^954045-1 is not prime. Res64: 4015F94767150B61 Time : 1782.0 sec. user=gd_barnes [2011-05-30 06:35:43] 969*2^954045-1 is not prime. Res64: E09F4FB14F16FCF5 Time : 1782.0 sec. user=vaughan [2011-05-30 06:41:57] 881*2^954046-1 is not prime. Res64: ECA0125261020DFD Time : 1236.0 sec. user=vaughan [2011-05-30 06:45:48] 915*2^954050-1 is not prime. Res64: 872C154D3B1BA234 Time : 1192.0 sec. user=gd_barnes [2011-05-30 06:54:03] 999*2^954048-1 is not prime. Res64: 16902D190B4E155C Time : 1755.0 sec. user=gd_barnes [2011-05-30 06:54:03] 861*2^954049-1 is not prime. Res64: A574EA484059303E Time : 1755.0 sec. user=gd_barnes [2011-05-30 06:54:12] 879*2^954047-1 is not prime. Res64: 621434F2A0F1DBD2 Time : 1924.0 sec. user=gd_barnes [2011-05-30 06:54:12] 993*2^954047-1 is not prime. Res64: 3312A27016144568 Time : 1924.0 sec. user=gd_barnes [2011-05-30 06:54:20] 947*2^954048-1 is not prime. Res64: 950700E1908A7BE0 Time : 1798.0 sec. user=gd_barnes [2011-05-30 06:54:20] 969*2^954048-1 is not prime. Res64: 85350DEEDC994CD4 Time : 1798.0 sec. user=gd_barnes [2011-05-30 06:54:26] 999*2^954047-1 is not prime. Res64: 295D25FCCE76D9D8 Time : 1925.0 sec. user=gd_barnes [2011-05-30 06:54:26] 845*2^954048-1 is not prime. Res64: 13D38AF5E11CEEA3 Time : 1925.0 sec. user=gd_barnes [2011-05-30 06:54:28] 849*2^954048-1 is not prime. Res64: AD8C5463F95DD661 Time : 1923.0 sec. user=gd_barnes [2011-05-30 06:54:28] 915*2^954048-1 is not prime. Res64: 4F893401F9091D01 Time : 1923.0 sec. user=vaughan [2011-05-30 06:54:57] 885*2^954052-1 is not prime. Res64: D431521D7B751784 Time : 1188.0 sec. user=vaughan [2011-05-30 06:56:14] 983*2^954052-1 is not prime. Res64: 8676BE47216A2E33 Time : 1254.0 sec. user=gd_barnes [2011-05-30 06:57:40] 941*2^954050-1 is not prime. Res64: 1CA1399DCB2E30D3 Time : 1778.0 sec. user=gd_barnes [2011-05-30 06:57:40] 977*2^954050-1 is not prime. Res64: E2965EBC03A60369 Time : 1778.0 sec. user=gd_barnes [2011-05-30 06:57:41] 939*2^954049-1 is not prime. Res64: EB64ED28EABE5A14 Time : 1931.0 sec. user=gd_barnes [2011-05-30 06:57:41] 999*2^954049-1 is not prime. Res64: 4D2DA35F1705D9E6 Time : 1931.0 sec. user=gd_barnes [2011-05-30 06:59:21] 995*2^954050-1 is not prime. Res64: 00A866A5420F2476 Time : 1775.0 sec. user=gd_barnes [2011-05-30 06:59:21] 805*2^954051-1 is not prime. Res64: 03C353732875277D Time : 1775.0 sec. user=gd_barnes [2011-05-30 07:01:04] 823*2^954051-1 is not prime. Res64: 39D2896AF9A6FA77 Time : 1783.0 sec. user=gd_barnes [2011-05-30 07:01:04] 909*2^954051-1 is not prime. Res64: DE6A3DC9BA0DCC4B Time : 1783.0 sec. user=gd_barnes [2011-05-30 07:02:28] 921*2^954051-1 is not prime. Res64: C1C353683D213ECC Time : 1747.0 sec. user=gd_barnes [2011-05-30 07:02:28] 949*2^954051-1 is not prime. Res64: 601507805EE528BB Time : 1747.0 sec. user=vaughan [2011-05-30 07:03:14] 969*2^954053-1 is not prime. Res64: C9985BEE2F06E791 Time : 1277.0 sec. user=gd_barnes [2011-05-30 07:05:21] 999*2^954052-1 is not prime. Res64: 8C7D23FF6D6DA68C Time : 1777.0 sec. user=gd_barnes [2011-05-30 07:05:21] 861*2^954053-1 is not prime. Res64: 289209DCA9137B06 Time : 1777.0 sec. user=vaughan [2011-05-30 07:05:42] 975*2^954054-1 is not prime. Res64: FC636EF72957D9C0 Time : 1194.0 sec. user=vaughan [2011-05-30 07:14:20] 909*2^954060-1 is not prime. Res64: 25639B4A577A833A Time : 1163.0 sec. user=vaughan [2011-05-30 07:17:16] 975*2^954060-1 is not prime. Res64: 768C9FF98656EF17 Time : 1262.0 sec. user=vaughan [2011-05-30 07:24:17] 801*2^954065-1 is not prime. Res64: A2140A226299A798 Time : 1263.0 sec. user=vaughan [2011-05-30 07:25:36] 865*2^954065-1 is not prime. Res64: 8DA3D0EC44B34BA2 Time : 1194.0 sec. user=gd_barnes [2011-05-30 07:25:42] 879*2^954059-1 is not prime. Res64: 108BC1DC7DA68DF2 Time : 1881.0 sec. user=gd_barnes [2011-05-30 07:25:42] 955*2^954059-1 is not prime. Res64: 79C84C27C172699F Time : 1881.0 sec. user=gd_barnes [2011-05-30 07:26:20] 915*2^954055-1 is not prime. Res64: FE7BD25B2C3EA763 Time : 1936.0 sec. user=gd_barnes [2011-05-30 07:26:20] 935*2^954056-1 is not prime. Res64: A38C9BD0D2A22A8D Time : 1936.0 sec. user=gd_barnes [2011-05-30 07:26:29] 957*2^954058-1 is not prime. Res64: F41EAD6F23282ECF Time : 1936.0 sec. user=gd_barnes [2011-05-30 07:26:29] 859*2^954059-1 is not prime. Res64: 5BF84A527D6F3A10 Time : 1936.0 sec. user=gd_barnes [2011-05-30 07:26:45] 873*2^954060-1 is not prime. Res64: B5272BF7FB1F5238 Time : 1936.0 sec. user=gd_barnes [2011-05-30 07:26:45] 875*2^954060-1 is not prime. Res64: 4509601EEBED1072 Time : 1936.0 sec. user=gd_barnes [2011-05-30 07:26:48] 993*2^954059-1 is not prime. Res64: 4B3C5728C16F3BBA Time : 1941.0 sec. user=gd_barnes [2011-05-30 07:26:48] 825*2^954060-1 is not prime. Res64: 84A53F7D6078DA10 Time : 1941.0 sec. user=gd_barnes [2011-05-30 07:27:21] 811*2^954061-1 is not prime. Res64: 368DC799774B17DA Time : 1780.0 sec. user=gd_barnes [2011-05-30 07:27:21] 819*2^954061-1 is not prime. Res64: 87F67047E3116CF9 Time : 1780.0 sec. user=gd_barnes [2011-05-30 07:29:01] 885*2^954062-1 is not prime. Res64: 15455EF9A6C0291D Time : 1779.0 sec. user=gd_barnes [2011-05-30 07:29:01] 825*2^954063-1 is not prime. Res64: 8AB53351465627BD Time : 1779.0 sec. user=gd_barnes [2011-05-30 07:30:05] 829*2^954061-1 is not prime. Res64: B1D4BE01909C4751 Time : 1943.0 sec. user=gd_barnes [2011-05-30 07:30:05] 945*2^954061-1 is not prime. Res64: 0F6DD277B18A88F5 Time : 1943.0 sec. user=gd_barnes [2011-05-30 07:30:44] 819*2^954064-1 is not prime. Res64: 60D6838C64C4F4C3 Time : 1779.0 sec. user=gd_barnes [2011-05-30 07:30:44] 833*2^954064-1 is not prime. Res64: 127F3B9C7D1990E5 Time : 1779.0 sec. user=gd_barnes [2011-05-30 07:33:40] 873*2^954064-1 is not prime. Res64: 3D38699FA092F454 Time : 1869.0 sec. user=gd_barnes [2011-05-30 07:33:40] 975*2^954064-1 is not prime. Res64: 6D32AD419018D068 Time : 1869.0 sec. user=vaughan [2011-05-30 07:33:42] 909*2^954065-1 is not prime. Res64: 3368777C2C1B0933 Time : 1163.0 sec. user=gd_barnes [2011-05-30 07:35:03] 837*2^954065-1 is not prime. Res64: D0BE001CFB3C4E62 Time : 1780.0 sec. user=gd_barnes [2011-05-30 07:35:03] 855*2^954065-1 is not prime. Res64: D67893E93D23C0FB Time : 1780.0 sec. user=vaughan [2011-05-30 07:38:34] 981*2^954065-1 is not prime. Res64: 278F547EA3870C63 Time : 1278.0 sec. user=vaughan [2011-05-30 07:45:12] 803*2^954066-1 is not prime. Res64: ABF612FC618690DA Time : 1255.0 sec. user=vaughan [2011-05-30 07:46:02] 833*2^954066-1 is not prime. Res64: 68389ACE9B79AB54 Time : 1226.0 sec. user=vaughan [2011-05-30 07:53:50] 983*2^954074-1 is not prime. Res64: 1101DD46423417AD Time : 1208.0 sec. user=gd_barnes [2011-05-30 07:56:26] 975*2^954066-1 is not prime. Res64: FE87FA890EA0427B Time : 1805.0 sec. user=gd_barnes [2011-05-30 07:56:26] 951*2^954067-1 is not prime. Res64: B289B51C8C7ED78C Time : 1805.0 sec. user=gd_barnes [2011-05-30 07:57:03] 945*2^954069-1 is not prime. Res64: 7869AEF42387BF02 Time : 1781.0 sec. user=gd_barnes [2011-05-30 07:57:03] 857*2^954070-1 is not prime. Res64: BF4EC20E399B1ABB Time : 1781.0 sec. user=gd_barnes [2011-05-30 07:57:28] 875*2^954066-1 is not prime. Res64: 187919DE64CECC21 Time : 1905.0 sec. user=gd_barnes [2011-05-30 07:57:28] 947*2^954066-1 is not prime. Res64: 35F14C539B7D4842 Time : 1905.0 sec. user=gd_barnes [2011-05-30 07:58:35] 837*2^954068-1 is not prime. Res64: F047E2F4DBEDA702 Time : 1925.0 sec. user=gd_barnes [2011-05-30 07:58:35] 843*2^954068-1 is not prime. Res64: C62E450EAB0C05B3 Time : 1925.0 sec. user=gd_barnes [2011-05-30 07:58:39] 861*2^954070-1 is not prime. Res64: AC8DFECB4EFE502E Time : 1777.0 sec. user=gd_barnes [2011-05-30 07:58:39] 981*2^954070-1 is not prime. Res64: 88F02316B03ADE97 Time : 1777.0 sec. user=gd_barnes [2011-05-30 07:58:49] 875*2^954068-1 is not prime. Res64: CE963ED974869C17 Time : 1923.0 sec. user=gd_barnes [2011-05-30 07:58:49] 953*2^954068-1 is not prime. Res64: 2F029CF5F748B49B Time : 1923.0 sec. user=gd_barnes [2011-05-30 07:58:55] 963*2^954068-1 is not prime. Res64: EF046DB7419341EF Time : 1926.0 sec. user=gd_barnes [2011-05-30 07:58:55] 877*2^954069-1 is not prime. Res64: C3C9837429B3DF8C Time : 1926.0 sec. user=vaughan [2011-05-30 07:59:25] 869*2^954076-1 is not prime. Res64: B35D0AED47108265 Time : 1251.0 sec. user=gd_barnes [2011-05-30 08:00:26] 805*2^954073-1 is not prime. Res64: 9F61451F9CF2C210 Time : 1781.0 sec. user=gd_barnes [2011-05-30 08:00:26] 901*2^954073-1 is not prime. Res64: 5D81B9A0AD00D629 Time : 1781.0 sec. user=gd_barnes [2011-05-30 08:01:20] 857*2^954074-1 is not prime. Res64: 90321EB9E45916F8 Time : 1659.0 sec. user=gd_barnes [2011-05-30 08:01:20] 951*2^954074-1 is not prime. Res64: D9528E038DD56FCE Time : 1659.0 sec. user=gd_barnes [2011-05-30 08:02:08] 939*2^954071-1 is not prime. Res64: 650A53C8B3F2F0B0 Time : 1922.0 sec. user=gd_barnes [2011-05-30 08:02:08] 957*2^954072-1 is not prime. Res64: 49808B5347D38674 Time : 1922.0 sec. user=gd_barnes [2011-05-30 08:05:06] 805*2^954075-1 is not prime. Res64: 0E0F66B5222CCA29 Time : 1802.0 sec. user=gd_barnes [2011-05-30 08:05:06] 985*2^954075-1 is not prime. Res64: CACE80E81C762D1E Time : 1802.0 sec. user=vaughan [2011-05-30 08:05:51] 875*2^954076-1 is not prime. Res64: 61287A9C7765324E Time : 1239.0 sec. user=vaughan [2011-05-30 08:06:09] 987*2^954076-1 is not prime. Res64: 8147DB9AD05161E6 Time : 1207.0 sec. user=vaughan [2011-05-30 08:13:27] 805*2^954077-1 is not prime. Res64: 82B462CB430BB87A Time : 1177.0 sec. user=ototero [2011-05-30 08:15:45] 957*2^954002-1 is not prime. Res64: ACBBF44684401926 Time : 15897.0 sec. user=ototero [2011-05-30 08:15:45] 977*2^954002-1 is not prime. Res64: 0D83CAAF11C7EA8A Time : 15896.0 sec. user=ototero [2011-05-30 08:15:45] 983*2^954002-1 is not prime. Res64: DBB55A3E9A3488A9 Time : 15896.0 sec. user=ototero [2011-05-30 08:15:45] 995*2^954002-1 is not prime. Res64: FA33899466FF61E0 Time : 15896.0 sec. user=ototero [2011-05-30 08:15:46] 873*2^954003-1 is not prime. Res64: EF900BA70F6E5130 Time : 15896.0 sec. user=ototero [2011-05-30 08:15:46] 891*2^954003-1 is not prime. Res64: A195266CF6CF58BB Time : 15896.0 sec. user=ototero [2011-05-30 08:15:46] 985*2^954003-1 is not prime. Res64: 98018A6CD6AF58F1 Time : 15896.0 sec. user=ototero [2011-05-30 08:15:46] 833*2^954004-1 is not prime. Res64: 5AF22739A38B08CD Time : 15895.0 sec. user=ototero [2011-05-30 08:15:46] 863*2^954004-1 is not prime. Res64: DE5ECB256761E18A Time : 15895.0 sec. user=ototero [2011-05-30 08:15:46] 875*2^954004-1 is not prime. Res64: 55C7774BEFCD26E3 Time : 15895.0 sec. user=vaughan [2011-05-30 08:19:49] 861*2^954081-1 is not prime. Res64: ADACB7FCC17E1E64 Time : 1224.0 sec. user=vaughan [2011-05-30 08:26:07] 873*2^954084-1 is not prime. Res64: 352D35D9D34CE1E4 Time : 1198.0 sec. user=vaughan [2011-05-30 08:26:13] 973*2^954083-1 is not prime. Res64: B3321CC01A228EF8 Time : 1222.0 sec. user=gd_barnes [2011-05-30 08:26:28] 825*2^954077-1 is not prime. Res64: D5D8D9071EFA95ED Time : 1801.0 sec. user=gd_barnes [2011-05-30 08:26:28] 837*2^954077-1 is not prime. Res64: DC13DA061565FDB7 Time : 1801.0 sec. user=gd_barnes [2011-05-30 08:27:03] 847*2^954077-1 is not prime. Res64: 18AAB22ED52B7988 Time : 1799.0 sec. user=gd_barnes [2011-05-30 08:27:03] 901*2^954077-1 is not prime. Res64: 23ACDEA477C0F910 Time : 1799.0 sec. user=gd_barnes [2011-05-30 08:28:40] 993*2^954078-1 is not prime. Res64: 4EC0DC466C142CC1 Time : 1800.0 sec. user=gd_barnes [2011-05-30 08:28:40] 1001*2^954078-1 is not prime. Res64: 2DC0EEF79465F4EC Time : 1800.0 sec. user=gd_barnes [2011-05-30 08:29:58] 833*2^954078-1 is not prime. Res64: 1452E49B8222F0F2 Time : 1882.0 sec. user=gd_barnes [2011-05-30 08:29:58] 975*2^954078-1 is not prime. Res64: FCD521845606312E Time : 1882.0 sec. user=gd_barnes [2011-05-30 08:30:14] 843*2^954079-1 is not prime. Res64: 5C389E33D63625D3 Time : 1884.0 sec. user=gd_barnes [2011-05-30 08:30:14] 933*2^954079-1 is not prime. Res64: 6FC8AE4A92D193C8 Time : 1884.0 sec. user=gd_barnes [2011-05-30 08:30:21] 973*2^954079-1 is not prime. Res64: 3F5944F51C6C7E9A Time : 1885.0 sec. user=gd_barnes [2011-05-30 08:30:21] 811*2^954081-1 is not prime. Res64: 78CFDF4040596671 Time : 1885.0 sec. user=gd_barnes [2011-05-30 08:30:26] 907*2^954081-1 is not prime. Res64: EBDCE614FEBE1D50 Time : 1799.0 sec. user=gd_barnes [2011-05-30 08:30:26] 873*2^954082-1 is not prime. Res64: 9B69BE5ADD3F5598 Time : 1799.0 sec. user=gd_barnes [2011-05-30 08:31:22] 939*2^954077-1 is not prime. Res64: 632EA026FE598768 Time : 2033.0 sec. user=gd_barnes [2011-05-30 08:31:22] 949*2^954077-1 is not prime. Res64: E59E7942F58A32DF Time : 2033.0 sec. user=gd_barnes [2011-05-30 08:32:57] 881*2^954082-1 is not prime. Res64: 9D37D1DE6BD13D7E Time : 1895.0 sec. user=gd_barnes [2011-05-30 08:32:57] 947*2^954082-1 is not prime. Res64: 63B499A49410E277 Time : 1895.0 sec. user=vaughan [2011-05-30 08:32:59] 905*2^954084-1 is not prime. Res64: 5EF51691C7C77459 Time : 1172.0 sec. user=gd_barnes [2011-05-30 08:33:34] 801*2^954083-1 is not prime. Res64: BA7F9675CE8490AB Time : 1885.0 sec. user=gd_barnes [2011-05-30 08:33:34] 811*2^954083-1 is not prime. Res64: E54A752C74250EE0 Time : 1885.0 sec. user=gd_barnes [2011-05-30 08:34:48] 913*2^954083-1 is not prime. Res64: 634D43D95FA25367 Time : 1781.0 sec. user=gd_barnes [2011-05-30 08:34:48] 921*2^954083-1 is not prime. Res64: D22396C47A250F22 Time : 1781.0 sec. user=vaughan [2011-05-30 08:40:12] 963*2^954086-1 is not prime. Res64: 6093A0681CA7AF2C Time : 1223.0 sec. user=vaughan [2011-05-30 08:46:04] 987*2^954086-1 is not prime. Res64: FFE3659D21458850 Time : 1197.0 sec. user=vaughan [2011-05-30 08:46:35] 805*2^954087-1 is not prime. Res64: A752BC27DB05DAF0 Time : 1223.0 sec. user=vaughan [2011-05-30 08:52:34] 979*2^954093-1 is not prime. Res64: 5891BBF10E822C21 Time : 1175.0 sec. user=gd_barnes [2011-05-30 08:56:42] 945*2^954087-1 is not prime. Res64: CF9431BFC21528F3 Time : 1778.0 sec. user=gd_barnes [2011-05-30 08:56:42] 825*2^954088-1 is not prime. Res64: 40CE2094E0BE0472 Time : 1778.0 sec. user=gd_barnes [2011-05-30 08:57:29] 829*2^954087-1 is not prime. Res64: A2154278CF325ECB Time : 1860.0 sec. user=gd_barnes [2011-05-30 08:57:29] 933*2^954087-1 is not prime. Res64: EBE8F1E267A80DBD Time : 1860.0 sec. user=gd_barnes [2011-05-30 08:58:22] 855*2^954088-1 is not prime. Res64: 31B868063BB373D9 Time : 1781.0 sec. user=gd_barnes [2011-05-30 08:58:22] 933*2^954088-1 is not prime. Res64: 060F79F56D9616D8 Time : 1781.0 sec. user=gd_barnes [2011-05-30 09:00:01] 893*2^954090-1 is not prime. Res64: 656E483078208937 Time : 1774.0 sec. user=gd_barnes [2011-05-30 09:00:01] 1001*2^954090-1 is not prime. Res64: F7587CB7F5B2E5A6 Time : 1774.0 sec. user=gd_barnes [2011-05-30 09:00:14] 891*2^954093-1 is not prime. Res64: A8DCC09337BA4CEB Time : 1636.0 sec. user=gd_barnes [2011-05-30 09:00:14] 949*2^954093-1 is not prime. Res64: A3C062101C806D3B Time : 1636.0 sec. user=vaughan [2011-05-30 09:00:37] 805*2^954095-1 is not prime. Res64: 4C498F4E10BAAA46 Time : 1225.0 sec. user=gd_barnes [2011-05-30 09:01:51] 975*2^954088-1 is not prime. Res64: 449BBA6980B0E14A Time : 1912.0 sec. user=gd_barnes [2011-05-30 09:01:51] 989*2^954088-1 is not prime. Res64: 43FB08B4E9F3FBBC Time : 1912.0 sec. user=gd_barnes [2011-05-30 09:02:08] 811*2^954091-1 is not prime. Res64: D2981166779DBAF8 Time : 1845.0 sec. user=gd_barnes [2011-05-30 09:02:08] 983*2^954092-1 is not prime. Res64: 734D1DA80DADCFC9 Time : 1845.0 sec. user=gd_barnes [2011-05-30 09:02:10] 831*2^954089-1 is not prime. Res64: CBDC26173F53D4B4 Time : 1915.0 sec. user=gd_barnes [2011-05-30 09:02:10] 885*2^954089-1 is not prime. Res64: D5D1E4524A1DFDF2 Time : 1915.0 sec. user=gd_barnes [2011-05-30 09:02:15] 991*2^954089-1 is not prime. Res64: DBD6C33BB0EBB27E Time : 1913.0 sec. user=gd_barnes [2011-05-30 09:02:15] 873*2^954090-1 is not prime. Res64: 3405DF4916EC4ACA Time : 1913.0 sec. user=gd_barnes [2011-05-30 09:04:26] 885*2^954094-1 is not prime. Res64: 57D43EA82E0251A1 Time : 1777.0 sec. user=gd_barnes [2011-05-30 09:04:26] 915*2^954094-1 is not prime. Res64: 0C5A70B8AAA07C5E Time : 1777.0 sec. user=gd_barnes [2011-05-30 09:05:31] 999*2^954093-1 is not prime. Res64: F03291A99F334485 Time : 1916.0 sec. user=gd_barnes [2011-05-30 09:05:31] 821*2^954094-1 is not prime. Res64: 872487A4519F07F5 Time : 1916.0 sec. user=vaughan [2011-05-30 09:06:02] 843*2^954095-1 is not prime. Res64: EB37915C1A854FC7 Time : 1198.0 sec. user=vaughan [2011-05-30 09:06:59] 855*2^954095-1 is not prime. Res64: B23A3CC8DEA33A9C Time : 1224.0 sec. user=vaughan [2011-05-30 09:12:10] 979*2^954095-1 is not prime. Res64: DE13828E35582F9C Time : 1176.0 sec. user=vaughan [2011-05-30 09:21:02] 1001*2^954102-1 is not prime. Res64: 9DB9EDF0CA0BE71D Time : 1225.0 sec. user=vaughan [2011-05-30 09:26:12] 979*2^954107-1 is not prime. Res64: 1ED07835EC06FC94 Time : 1211.0 sec. user=gd_barnes [2011-05-30 09:26:21] 843*2^954096-1 is not prime. Res64: FF62C28CFC18C264 Time : 1778.0 sec. user=gd_barnes [2011-05-30 09:26:21] 873*2^954096-1 is not prime. Res64: C77B816CD520E7AD Time : 1778.0 sec. user=gd_barnes [2011-05-30 09:28:05] 825*2^954098-1 is not prime. Res64: AFF7DB0ABBC7373A Time : 1782.0 sec. user=gd_barnes [2011-05-30 09:28:05] 819*2^954100-1 is not prime. Res64: BA301BE2297BB851 Time : 1782.0 sec. user=vaughan [2011-05-30 09:28:06] 843*2^954108-1 is not prime. Res64: F525EF4DD74FD498 Time : 1267.0 sec. user=gd_barnes [2011-05-30 09:29:40] 999*2^954100-1 is not prime. Res64: E5E17034C3D6FBA6 Time : 1778.0 sec. user=gd_barnes [2011-05-30 09:29:40] 861*2^954101-1 is not prime. Res64: 82E6B90CBDE3840D Time : 1778.0 sec. user=gd_barnes [2011-05-30 09:30:27] 819*2^954097-1 is not prime. Res64: F2D0A344DC1B6E2D Time : 1978.0 sec. user=gd_barnes [2011-05-30 09:30:28] 871*2^954097-1 is not prime. Res64: 4C71992021339C5A Time : 1978.0 sec. user=gd_barnes [2011-05-30 09:31:42] 895*2^954103-1 is not prime. Res64: BBF7795B57F47B38 Time : 1773.0 sec. user=gd_barnes [2011-05-30 09:31:42] 915*2^954103-1 is not prime. Res64: B83C993B2CB98C5C Time : 1773.0 sec. user=gd_barnes [2011-05-30 09:33:03] 949*2^954101-1 is not prime. Res64: 89ECC226B9AB563A Time : 1968.0 sec. user=gd_barnes [2011-05-30 09:33:03] 891*2^954102-1 is not prime. Res64: 4845F03D96DE67F8 Time : 1968.0 sec. user=gd_barnes [2011-05-30 09:34:04] 937*2^954105-1 is not prime. Res64: 160F312809A6FE91 Time : 1777.0 sec. user=gd_barnes [2011-05-30 09:34:04] 887*2^954106-1 is not prime. Res64: D2E51CD5C644F642 Time : 1777.0 sec. user=gd_barnes [2011-05-30 09:34:05] 853*2^954103-1 is not prime. Res64: 3CD43639495B2515 Time : 1933.0 sec. user=gd_barnes [2011-05-30 09:34:05] 873*2^954103-1 is not prime. Res64: C03B1F48CA962EFB Time : 1933.0 sec. user=gd_barnes [2011-05-30 09:34:25] 961*2^954103-1 is not prime. Res64: 89B201F5776440A0 Time : 1934.0 sec. user=gd_barnes [2011-05-30 09:34:25] 825*2^954104-1 is not prime. Res64: 6B5CA302BA1D3230 Time : 1934.0 sec. user=gd_barnes [2011-05-30 09:34:35] 871*2^954105-1 is not prime. Res64: 4BD6AA8D0DB8CB89 Time : 1939.0 sec. user=gd_barnes [2011-05-30 09:34:35] 919*2^954105-1 is not prime. Res64: F33235E0D0070831 Time : 1939.0 sec. user=vaughan [2011-05-30 09:34:44] 845*2^954108-1 is not prime. Res64: CFAB717A1004BA7D Time : 1354.0 sec. user=gd_barnes [2011-05-30 09:37:48] 913*2^954107-1 is not prime. Res64: 86E8717D16303640 Time : 1936.0 sec. user=gd_barnes [2011-05-30 09:37:48] 931*2^954107-1 is not prime. Res64: 5582DD8FE2B1A7A5 Time : 1936.0 sec. user=gd_barnes [2011-05-30 09:56:03] 897*2^954109-1 is not prime. Res64: FF980F74D580BC9C Time : 1781.0 sec. user=gd_barnes [2011-05-30 09:56:03] 987*2^954109-1 is not prime. Res64: E1F5AB85DA700190 Time : 1781.0 sec. user=gd_barnes [2011-05-30 09:57:44] 885*2^954110-1 is not prime. Res64: ECF9B39792F8413A Time : 1778.0 sec. user=gd_barnes [2011-05-30 09:57:44] 909*2^954111-1 is not prime. Res64: CA139E269285CCBE Time : 1778.0 sec. user=gd_barnes [2011-05-30 09:59:22] 955*2^954111-1 is not prime. Res64: 83235691415B2388 Time : 1781.0 sec. user=gd_barnes [2011-05-30 09:59:22] 991*2^954111-1 is not prime. Res64: A6AF2A34EFD21CEF Time : 1781.0 sec. user=gd_barnes [2011-05-30 10:01:02] 857*2^954112-1 is not prime. Res64: 5A93863B4864C623 Time : 1759.0 sec. user=gd_barnes [2011-05-30 10:01:02] 939*2^954112-1 is not prime. Res64: 315FA204DC7F0D0A Time : 1759.0 sec. user=gd_barnes [2011-05-30 10:01:08] 803*2^954112-1 is not prime. Res64: 7A26E778B1FC91D1 Time : 1839.0 sec. user=gd_barnes [2011-05-30 10:01:08] 849*2^954112-1 is not prime. Res64: 434AD3DBCD321CE1 Time : 1839.0 sec. user=gd_barnes [2011-05-30 10:02:26] 957*2^954112-1 is not prime. Res64: 7F1B92F749436F2A Time : 1762.0 sec. user=gd_barnes [2011-05-30 10:02:26] 959*2^954112-1 is not prime. Res64: 6EC0FFB8418799E9 Time : 1762.0 sec. user=gd_barnes [2011-05-30 10:03:44] 833*2^954114-1 is not prime. Res64: 8CAF81F3DB3C7646 Time : 1779.0 sec. user=gd_barnes [2011-05-30 10:03:44] 951*2^954114-1 is not prime. Res64: 27DF738D72D004F5 Time : 1779.0 sec. user=gd_barnes [2011-05-30 10:05:54] 909*2^954115-1 is not prime. Res64: 3CD9A96E77922D28 Time : 1908.0 sec. user=gd_barnes [2011-05-30 10:05:54] 825*2^954116-1 is not prime. Res64: 5A5182815246CECB Time : 1908.0 sec. user=gd_barnes [2011-05-30 10:06:10] 845*2^954116-1 is not prime. Res64: 360888E6FC2BD32A Time : 1904.0 sec. user=gd_barnes [2011-05-30 10:06:10] 869*2^954116-1 is not prime. Res64: C1F3F7F12F35E30E Time : 1904.0 sec. user=gd_barnes [2011-05-30 10:06:19] 873*2^954116-1 is not prime. Res64: 4E525C9B65EAFB5B Time : 1903.0 sec. user=gd_barnes [2011-05-30 10:06:19] 875*2^954116-1 is not prime. Res64: 283C5B8488A77426 Time : 1903.0 sec. user=gd_barnes [2011-05-30 10:09:30] 945*2^954116-1 is not prime. Res64: 3062151B69DEF0D8 Time : 1901.0 sec. user=gd_barnes [2011-05-30 10:09:30] 915*2^954117-1 is not prime. Res64: A9EF1F56D9885264 Time : 1901.0 sec. user=vaughan [2011-05-30 10:11:26] 829*2^954109-1 is not prime. Res64: 7FCEA4291C0CB480 Time : 2714.0 sec. user=vaughan [2011-05-30 10:18:33] 899*2^954116-1 is not prime. Res64: 9314AA5E44937806 Time : 2629.0 sec. user=vaughan [2011-05-30 10:20:38] 987*2^954108-1 is not prime. Res64: 977381BA85EF2EC4 Time : 3577.0 sec. user=gd_barnes [2011-05-30 10:25:42] 985*2^954117-1 is not prime. Res64: D82B5AA792CDFD69 Time : 1778.0 sec. user=gd_barnes [2011-05-30 10:25:42] 861*2^954118-1 is not prime. Res64: EC802E8E0DDB64E3 Time : 1778.0 sec. user=gd_barnes [2011-05-30 10:27:28] 933*2^954118-1 is not prime. Res64: 0B618DCED99B4815 Time : 1783.0 sec. user=gd_barnes [2011-05-30 10:27:28] 957*2^954118-1 is not prime. Res64: E1222CB0778B94A5 Time : 1783.0 sec. user=gd_barnes [2011-05-30 10:28:59] 987*2^954118-1 is not prime. Res64: DEAC4A98E7DF4FEF Time : 1776.0 sec. user=gd_barnes [2011-05-30 10:28:59] 811*2^954119-1 is not prime. Res64: ACFC09888B90ED95 Time : 1776.0 sec. user=gd_barnes [2011-05-30 10:33:02] 913*2^954119-1 is not prime. Res64: 476596FDAF35040F Time : 1913.0 sec. user=gd_barnes [2011-05-30 10:33:02] 809*2^954120-1 is not prime. Res64: FA85F488523C9954 Time : 1913.0 sec. user=gd_barnes [2011-05-30 10:33:15] 843*2^954119-1 is not prime. Res64: 0FAE078361FFB0B4 Time : 1932.0 sec. user=gd_barnes [2011-05-30 10:33:15] 895*2^954119-1 is not prime. Res64: C60A9E4C1821F337 Time : 1932.0 sec. user=gd_barnes [2011-05-30 10:33:26] 929*2^954120-1 is not prime. Res64: 0A22DC6EF452C318 Time : 1781.0 sec. user=gd_barnes [2011-05-30 10:33:26] 975*2^954120-1 is not prime. Res64: EE0855AEE0FBBF37 Time : 1781.0 sec. user=gd_barnes [2011-05-30 10:33:50] 819*2^954120-1 is not prime. Res64: 3186D051DDB7438D Time : 1882.0 sec. user=gd_barnes [2011-05-30 10:33:50] 839*2^954120-1 is not prime. Res64: 1A85A35FAD27753F Time : 1882.0 sec. user=gd_barnes [2011-05-30 10:37:27] 807*2^954121-1 is not prime. Res64: 02D5FFD2F8E5F1C1 Time : 1892.0 sec. user=gd_barnes [2011-05-30 10:37:27] 999*2^954121-1 is not prime. Res64: 28429506EABAF9F5 Time : 1892.0 sec. user=gd_barnes [2011-05-30 10:37:45] 911*2^954122-1 is not prime. Res64: 4C54152380992079 Time : 1894.0 sec. user=gd_barnes [2011-05-30 10:37:45] 801*2^954123-1 is not prime. Res64: 9D7986D0F9C15D75 Time : 1894.0 sec. user=gd_barnes [2011-05-30 10:37:53] 861*2^954123-1 is not prime. Res64: 56FEB9D39851D21D Time : 1893.0 sec. user=gd_barnes [2011-05-30 10:37:53] 871*2^954123-1 is not prime. Res64: 4610F134BB89F407 Time : 1893.0 sec. user=gd_barnes [2011-05-30 10:41:12] 945*2^954123-1 is not prime. Res64: CD2DE782A353AAB9 Time : 1901.0 sec. user=gd_barnes [2011-05-30 10:41:12] 819*2^954124-1 is not prime. Res64: C26BF24822640116 Time : 1901.0 sec. user=vaughan [2011-05-30 10:44:15] 875*2^954110-1 is not prime. Res64: F2CBFFFF647177A1 Time : 4570.0 sec. user=vaughan [2011-05-30 10:54:17] 869*2^954124-1 is not prime. Res64: EB5CC1BB8D255EB8 Time : 2571.0 sec. user=gd_barnes [2011-05-30 10:55:25] 889*2^954125-1 is not prime. Res64: 0EEB6C6FBF909860 Time : 1782.0 sec. user=gd_barnes [2011-05-30 10:55:25] 937*2^954125-1 is not prime. Res64: D26A9A3B825255F7 Time : 1782.0 sec. user=gd_barnes [2011-05-30 10:57:08] 985*2^954125-1 is not prime. Res64: 0D602117FCFEA3CD Time : 1779.0 sec. user=gd_barnes [2011-05-30 10:57:08] 843*2^954126-1 is not prime. Res64: ADCDD2DC782E786E Time : 1779.0 sec. user=vaughan [2011-05-30 10:58:00] 989*2^954124-1 is not prime. Res64: 60193A1C93836126 Time : 2367.0 sec. user=gd_barnes [2011-05-30 10:58:38] 861*2^954126-1 is not prime. Res64: 46D4B62BEF1A4937 Time : 1778.0 sec. user=gd_barnes [2011-05-30 10:58:38] 975*2^954126-1 is not prime. Res64: F4769389B26E3CBB Time : 1778.0 sec. user=gd_barnes [2011-05-30 11:01:38] 849*2^954127-1 is not prime. Res64: E37206CF2D75DE42 Time : 1714.0 sec. user=gd_barnes [2011-05-30 11:01:38] 919*2^954127-1 is not prime. Res64: 571DF5BDD985503D Time : 1714.0 sec. user=gd_barnes [2011-05-30 11:03:07] 855*2^954128-1 is not prime. Res64: 985F394B644EDCA0 Time : 1780.0 sec. user=gd_barnes [2011-05-30 11:03:07] 867*2^954128-1 is not prime. Res64: 1265993CF1E7854E Time : 1780.0 sec. user=gd_barnes [2011-05-30 11:04:04] 923*2^954128-1 is not prime. Res64: 2F9B028B5416B9CA Time : 1813.0 sec. user=gd_barnes [2011-05-30 11:04:04] 969*2^954128-1 is not prime. Res64: 92247335BC588401 Time : 1813.0 sec. user=gd_barnes [2011-05-30 11:04:53] 961*2^954127-1 is not prime. Res64: 9E92946CB9FD111F Time : 1897.0 sec. user=gd_barnes [2011-05-30 11:04:53] 975*2^954127-1 is not prime. Res64: 70920E11ACFCC462 Time : 1897.0 sec. user=gd_barnes [2011-05-30 11:09:29] 977*2^954128-1 is not prime. Res64: 710DCF321986674A Time : 1921.0 sec. user=gd_barnes [2011-05-30 11:09:29] 865*2^954129-1 is not prime. Res64: C42244A10EB5A724 Time : 1921.0 sec. user=gd_barnes [2011-05-30 11:09:51] 997*2^954129-1 is not prime. Res64: 1BED9DD79FEDFEA5 Time : 1925.0 sec. user=gd_barnes [2011-05-30 11:09:51] 831*2^954130-1 is not prime. Res64: 97D0BDE713613F82 Time : 1925.0 sec. user=gd_barnes [2011-05-30 11:09:57] 867*2^954130-1 is not prime. Res64: 46435DE2ACCCBEBA Time : 1923.0 sec. user=gd_barnes [2011-05-30 11:09:57] 873*2^954130-1 is not prime. Res64: 8DEB6128719B3505 Time : 1923.0 sec. user=gd_barnes [2011-05-30 11:13:19] 917*2^954130-1 is not prime. Res64: E377168B89CF67E4 Time : 1926.0 sec. user=gd_barnes [2011-05-30 11:13:19] 995*2^954130-1 is not prime. Res64: 19959CABB668D532 Time : 1926.0 sec. user=gd_barnes [2011-05-30 11:25:04] 887*2^954132-1 is not prime. Res64: F132BED3142F4CA3 Time : 1778.0 sec. user=gd_barnes [2011-05-30 11:25:04] 899*2^954132-1 is not prime. Res64: B291F537A6EF9D08 Time : 1778.0 sec. user=gd_barnes [2011-05-30 11:26:49] 965*2^954132-1 is not prime. Res64: A0A9A1B14896B57A Time : 1780.0 sec. user=gd_barnes [2011-05-30 11:26:49] 919*2^954133-1 is not prime. Res64: DBCC4E235C8AFA77 Time : 1780.0 sec. user=gd_barnes [2011-05-30 11:28:22] 921*2^954134-1 is not prime. Res64: BF189657D69981F9 Time : 1783.0 sec. user=gd_barnes [2011-05-30 11:28:22] 955*2^954135-1 is not prime. Res64: 05C7AD9D263882D8 Time : 1783.0 sec. user=gd_barnes [2011-05-30 11:32:13] 999*2^954135-1 is not prime. Res64: 4302563E7043C1CF Time : 1833.0 sec. user=gd_barnes [2011-05-30 11:32:13] 813*2^954136-1 is not prime. Res64: A94C713C3B70E6FE Time : 1833.0 sec. user=gd_barnes [2011-05-30 11:32:47] 869*2^954136-1 is not prime. Res64: 9222524C5CB18D00 Time : 1779.0 sec. user=gd_barnes [2011-05-30 11:32:47] 923*2^954136-1 is not prime. Res64: 7686B86902123FDF Time : 1779.0 sec. user=vaughan [2011-05-30 11:34:53] 831*2^954125-1 is not prime. Res64: 0D44818A45DDEB58 Time : 4455.0 sec. user=gd_barnes [2011-05-30 11:36:19] 933*2^954136-1 is not prime. Res64: 0DBFE772F124AB4E Time : 1934.0 sec. user=gd_barnes [2011-05-30 11:36:19] 993*2^954136-1 is not prime. Res64: 7730E1D3E75E8015 Time : 1934.0 sec. user=gd_barnes [2011-05-30 11:36:21] 841*2^954137-1 is not prime. Res64: 1252D8775BE62053 Time : 1887.0 sec. user=gd_barnes [2011-05-30 11:36:21] 861*2^954137-1 is not prime. Res64: D3252D96251A2106 Time : 1887.0 sec. user=vaughan [2011-05-30 11:38:08] 937*2^954133-1 is not prime. Res64: C5D1FC5E7AB20B78 Time : 2408.0 sec. user=gd_barnes [2011-05-30 11:41:41] 981*2^954137-1 is not prime. Res64: 0AE7411A0BDBFBFB Time : 1931.0 sec. user=gd_barnes [2011-05-30 11:41:41] 821*2^954138-1 is not prime. Res64: 7EC667FB17742536 Time : 1931.0 sec. user=gd_barnes [2011-05-30 11:42:01] 951*2^954138-1 is not prime. Res64: 59FBA5A2B970E3EE Time : 1929.0 sec. user=gd_barnes [2011-05-30 11:42:01] 813*2^954139-1 is not prime. Res64: 8387893E4CA7B58A Time : 1929.0 sec. user=gd_barnes [2011-05-30 11:42:08] 843*2^954139-1 is not prime. Res64: 3E213A81DD7AA31E Time : 1930.0 sec. user=gd_barnes [2011-05-30 11:42:08] 975*2^954139-1 is not prime. Res64: 9F21D9DF2100B2A0 Time : 1930.0 sec. user=gd_barnes [2011-05-30 11:45:25] 845*2^954140-1 is not prime. Res64: 07D391D69381960A Time : 1925.0 sec. user=gd_barnes [2011-05-30 11:45:25] 879*2^954140-1 is not prime. Res64: B89CF9C4192FBBB3 Time : 1925.0 sec. user=gd_barnes [2011-05-30 11:54:44] 885*2^954140-1 is not prime. Res64: 89DEDC4643E2CD74 Time : 1779.0 sec. user=gd_barnes [2011-05-30 11:54:44] 897*2^954140-1 is not prime. Res64: 1C84804010CC667A Time : 1779.0 sec. user=vaughan [2011-05-30 11:55:09] 979*2^954131-1 is not prime. Res64: 62011BE10591C571 Time : 4255.0 sec. user=gd_barnes [2011-05-30 11:56:27] 927*2^954140-1 is not prime. Res64: 9F90FDA951A1CEA0 Time : 1777.0 sec. user=gd_barnes [2011-05-30 11:56:27] 983*2^954140-1 is not prime. Res64: E7F74FC820EA6577 Time : 1777.0 sec. user=gd_barnes [2011-05-30 11:58:05] 847*2^954141-1 is not prime. Res64: 2632D8CB39DB5145 Time : 1782.0 sec. user=gd_barnes [2011-05-30 11:58:05] 927*2^954141-1 is not prime. Res64: 7DD1EB4BB6B6E16E Time : 1782.0 sec. user=gd_barnes [2011-05-30 12:02:28] 829*2^954143-1 is not prime. Res64: 9DE476318DDA10A9 Time : 1780.0 sec. user=gd_barnes [2011-05-30 12:02:28] 825*2^954144-1 is not prime. Res64: 77542C15604A620F Time : 1780.0 sec. user=gd_barnes [2011-05-30 12:03:19] 801*2^954142-1 is not prime. Res64: 268BAA467A138A15 Time : 1865.0 sec. user=gd_barnes [2011-05-30 12:03:19] 911*2^954142-1 is not prime. Res64: BAEC55076E6C66C8 Time : 1865.0 sec. user=gd_barnes [2011-05-30 12:05:07] 811*2^954145-1 is not prime. Res64: EAF94534DA29ACD1 Time : 1725.0 sec. user=gd_barnes [2011-05-30 12:05:07] 951*2^954145-1 is not prime. Res64: 5EE9D24FF701F992 Time : 1725.0 sec. user=vaughan [2011-05-30 12:08:02] 993*2^954131-1 is not prime. Res64: B5A48EF37D6E8040 Time : 4425.0 sec. user=gd_barnes [2011-05-30 12:08:38] 909*2^954144-1 is not prime. Res64: E2200CF4CFBDCAFC Time : 1938.0 sec. user=gd_barnes [2011-05-30 12:08:38] 947*2^954144-1 is not prime. Res64: C6C4C9A61B198A7B Time : 1938.0 sec. user=gd_barnes [2011-05-30 12:13:11] 945*2^954146-1 is not prime. Res64: 3D45E6350CDAE4DF Time : 1889.0 sec. user=gd_barnes [2011-05-30 12:13:11] 879*2^954147-1 is not prime. Res64: 2BC8E07322951EBD Time : 1889.0 sec. user=gd_barnes [2011-05-30 12:13:28] 951*2^954147-1 is not prime. Res64: DBFF509D8C398FD8 Time : 1886.0 sec. user=gd_barnes [2011-05-30 12:13:28] 955*2^954147-1 is not prime. Res64: 4155DDAF9707F94E Time : 1886.0 sec. user=gd_barnes [2011-05-30 12:13:38] 999*2^954147-1 is not prime. Res64: AF04BCCD763CC979 Time : 1889.0 sec. user=gd_barnes [2011-05-30 12:13:38] 819*2^954148-1 is not prime. Res64: 3B2C7C854B604020 Time : 1889.0 sec. user=gd_barnes [2011-05-30 12:16:53] 843*2^954148-1 is not prime. Res64: 14BB32547E9CC053 Time : 1887.0 sec. user=gd_barnes [2011-05-30 12:16:53] 845*2^954148-1 is not prime. Res64: AF5E6AD8A8AF2DAD Time : 1887.0 sec. user=gd_barnes [2011-05-30 12:24:24] 869*2^954148-1 is not prime. Res64: E7EB8BD7DE33D181 Time : 1779.0 sec. user=gd_barnes [2011-05-30 12:24:24] 993*2^954148-1 is not prime. Res64: 675631D52207E4A6 Time : 1779.0 sec. user=gd_barnes [2011-05-30 12:26:12] 951*2^954149-1 is not prime. Res64: 78DF9D02AB1A66EE Time : 1784.0 sec. user=gd_barnes [2011-05-30 12:26:12] 955*2^954149-1 is not prime. Res64: 6CB4D522394A2C50 Time : 1784.0 sec. user=gd_barnes [2011-05-30 12:27:49] 979*2^954149-1 is not prime. Res64: 34E7B516797FF870 Time : 1783.0 sec. user=gd_barnes [2011-05-30 12:27:49] 915*2^954150-1 is not prime. Res64: 934B1C12CADB8BC9 Time : 1783.0 sec. user=gd_barnes [2011-05-30 12:32:12] 965*2^954150-1 is not prime. Res64: 8A3D93A0EDB270BC Time : 1783.0 sec. user=gd_barnes [2011-05-30 12:32:12] 871*2^954151-1 is not prime. Res64: 74632812B6326059 Time : 1783.0 sec. user=gd_barnes [2011-05-30 12:34:28] 883*2^954151-1 is not prime. Res64: 93458779A6E14980 Time : 1868.0 sec. user=gd_barnes [2011-05-30 12:34:28] 933*2^954151-1 is not prime. Res64: 13277A192723B905 Time : 1868.0 sec. user=gd_barnes [2011-05-30 12:36:16] 803*2^954152-1 is not prime. Res64: 69D86F4379D415BA Time : 1868.0 sec. user=gd_barnes [2011-05-30 12:36:16] 855*2^954152-1 is not prime. Res64: D45101B35A6901EF Time : 1868.0 sec. user=ototero [2011-05-30 12:38:17] 959*2^954084-1 is not prime. Res64: 0537B2AF6BF41284 Time : 15750.0 sec. user=ototero [2011-05-30 12:38:17] 855*2^954085-1 is not prime. Res64: FADDA514C32689EB Time : 15750.0 sec. user=ototero [2011-05-30 12:38:17] 861*2^954085-1 is not prime. Res64: FDB9CF415479CC75 Time : 15750.0 sec. user=ototero [2011-05-30 12:38:17] 877*2^954085-1 is not prime. Res64: 190500C5207FF6F0 Time : 15749.0 sec. user=ototero [2011-05-30 12:38:18] 937*2^954085-1 is not prime. Res64: 0266234D071F877B Time : 15750.0 sec. user=ototero [2011-05-30 12:38:18] 961*2^954085-1 is not prime. Res64: 4C414735C0B6D608 Time : 15750.0 sec. user=ototero [2011-05-30 12:38:18] 813*2^954086-1 is not prime. Res64: BDC4BA4B8A851536 Time : 15749.0 sec. user=ototero [2011-05-30 12:38:18] 815*2^954086-1 is not prime. Res64: 6C98ABB70B1EC9BD Time : 15749.0 sec. user=ototero [2011-05-30 12:38:18] 851*2^954086-1 is not prime. Res64: 6B2808C899969486 Time : 15749.0 sec. user=ototero [2011-05-30 12:38:18] 897*2^954086-1 is not prime. Res64: 7B75E44B546C479B Time : 15749.0 sec. user=gd_barnes [2011-05-30 12:38:53] 945*2^954152-1 is not prime. Res64: E5277D5F54CBEC0E Time : 1814.0 sec. user=gd_barnes [2011-05-30 12:38:53] 977*2^954152-1 is not prime. Res64: EDEECCD7C9C06BC0 Time : 1814.0 sec. user=vaughan [2011-05-30 12:39:05] 843*2^954144-1 is not prime. Res64: EE125B5A9555C910 Time : 3852.0 sec. user=vaughan [2011-05-30 12:43:57] 873*2^954152-1 is not prime. Res64: 835D30630EA57752 Time : 2155.0 sec. user=gd_barnes [2011-05-30 12:44:56] 983*2^954152-1 is not prime. Res64: 1B92797A9C2627F9 Time : 1904.0 sec. user=gd_barnes [2011-05-30 12:44:56] 921*2^954153-1 is not prime. Res64: A49C14CEC28DD816 Time : 1904.0 sec. user=gd_barnes [2011-05-30 12:45:15] 885*2^954154-1 is not prime. Res64: 7E0455D44E5DC696 Time : 1906.0 sec. user=gd_barnes [2011-05-30 12:45:15] 801*2^954155-1 is not prime. Res64: A1BC40ADE8FCBEB3 Time : 1906.0 sec. user=gd_barnes [2011-05-30 12:45:25] 859*2^954155-1 is not prime. Res64: CECED7C61133E8EC Time : 1906.0 sec. user=gd_barnes [2011-05-30 12:45:25] 861*2^954155-1 is not prime. Res64: 726486879FCA25AB Time : 1906.0 sec. user=gd_barnes [2011-05-30 12:48:46] 909*2^954155-1 is not prime. Res64: 6A25D465431BD3D8 Time : 1912.0 sec. user=gd_barnes [2011-05-30 12:48:46] 921*2^954155-1 is not prime. Res64: AC4927AE4BF41B65 Time : 1912.0 sec. user=gd_barnes [2011-05-30 12:54:05] 949*2^954155-1 is not prime. Res64: 9ECF337546A4F183 Time : 1780.0 sec. user=gd_barnes [2011-05-30 12:54:05] 909*2^954156-1 is not prime. Res64: 76A25AD6A95521B4 Time : 1780.0 sec. user=vaughan [2011-05-30 12:55:20] 997*2^954145-1 is not prime. Res64: F7215FBD11E88F03 Time : 4633.0 sec. user=gd_barnes [2011-05-30 12:55:52] 969*2^954156-1 is not prime. Res64: 86BFA4EB3AD3C0F2 Time : 1779.0 sec. user=gd_barnes [2011-05-30 12:55:52] 817*2^954157-1 is not prime. Res64: 582C8C3C403554A8 Time : 1779.0 sec. user=vaughan [2011-05-30 12:57:09] 897*2^954149-1 is not prime. Res64: AB4C76CFE4E00608 Time : 3721.0 sec. user=gd_barnes [2011-05-30 12:57:32] 901*2^954157-1 is not prime. Res64: C6B1F92A66CBE670 Time : 1782.0 sec. user=gd_barnes [2011-05-30 12:57:32] 801*2^954158-1 is not prime. Res64: 24FC309679551ABD Time : 1782.0 sec. user=gd_barnes [2011-05-30 13:01:54] 911*2^954158-1 is not prime. Res64: 43A2E7D5690935FF Time : 1781.0 sec. user=gd_barnes [2011-05-30 13:01:54] 923*2^954158-1 is not prime. Res64: DCF1B8F80B4FD763 Time : 1781.0 sec. user=gd_barnes [2011-05-30 13:05:04] 953*2^954158-1 is not prime. Res64: AA50DDACC2950A78 Time : 1835.0 sec. user=gd_barnes [2011-05-30 13:05:04] 1001*2^954158-1 is not prime. Res64: A7D6440514003D00 Time : 1835.0 sec. user=gd_barnes [2011-05-30 13:07:51] 861*2^954159-1 is not prime. Res64: 596A76A599D62B68 Time : 1894.0 sec. user=gd_barnes [2011-05-30 13:07:51] 865*2^954159-1 is not prime. Res64: 7B24C6DC0859D0D1 Time : 1894.0 sec. user=gd_barnes [2011-05-30 13:10:34] 983*2^954162-1 is not prime. Res64: C73FC62FCF58BF31 Time : 1900.0 sec. user=gd_barnes [2011-05-30 13:10:34] 805*2^954163-1 is not prime. Res64: 6BE58572D1C185D4 Time : 1900.0 sec. user=gd_barnes [2011-05-30 13:17:07] 901*2^954163-1 is not prime. Res64: CD4BCF963E3EAA8E Time : 1930.0 sec. user=gd_barnes [2011-05-30 13:17:07] 813*2^954164-1 is not prime. Res64: 3BCDD9A9F9DB2490 Time : 1930.0 sec. user=gd_barnes [2011-05-30 13:17:28] 915*2^954164-1 is not prime. Res64: B9834A372CE2ADEB Time : 1932.0 sec. user=gd_barnes [2011-05-30 13:17:28] 923*2^954164-1 is not prime. Res64: 17402A5DEBF2B25F Time : 1932.0 sec. user=gd_barnes [2011-05-30 13:17:36] 935*2^954164-1 is not prime. Res64: DFDDB292886BA80C Time : 1930.0 sec. user=gd_barnes [2011-05-30 13:17:36] 969*2^954164-1 is not prime. Res64: C02A79254B094905 Time : 1930.0 sec. user=vaughan [2011-05-30 13:19:08] 891*2^954163-1 is not prime. Res64: DE3358DB9E3C6F54 Time : 2111.0 sec. user=gd_barnes [2011-05-30 13:20:56] 983*2^954164-1 is not prime. Res64: 9C1382CCBA3123B9 Time : 1929.0 sec. user=gd_barnes [2011-05-30 13:20:56] 817*2^954165-1 is not prime. Res64: 1651437B90DE07B3 Time : 1929.0 sec. user=gd_barnes [2011-05-30 13:23:46] 961*2^954165-1 is not prime. Res64: 7C4BA0E1B7D359C8 Time : 1780.0 sec. user=gd_barnes [2011-05-30 13:23:46] 999*2^954165-1 is not prime. Res64: 16609074495ACA5A Time : 1780.0 sec. user=gd_barnes [2011-05-30 13:25:34] 859*2^954167-1 is not prime. Res64: ED9BAFACFC0E6F7B Time : 1781.0 sec. user=gd_barnes [2011-05-30 13:25:34] 909*2^954167-1 is not prime. Res64: C223499E1D644487 Time : 1781.0 sec. user=gd_barnes [2011-05-30 13:27:12] 887*2^954168-1 is not prime. Res64: ABEE9CD36E562A88 Time : 1778.0 sec. user=gd_barnes [2011-05-30 13:27:12] 909*2^954168-1 is not prime. Res64: AC64877A309B9E58 Time : 1778.0 sec. user=gd_barnes [2011-05-30 13:31:34] 947*2^954168-1 is not prime. Res64: D2E6F4D7A1AAE4FB Time : 1779.0 sec. user=gd_barnes [2011-05-30 13:31:34] 835*2^954169-1 is not prime. Res64: 9B3A163A34C9694B Time : 1779.0 sec. user=gd_barnes [2011-05-30 13:35:45] 861*2^954169-1 is not prime. Res64: BBE0C17E7E91633B Time : 1840.0 sec. user=gd_barnes [2011-05-30 13:35:45] 979*2^954169-1 is not prime. Res64: C095B760E13AF665 Time : 1840.0 sec. user=gd_barnes [2011-05-30 13:36:27] 801*2^954170-1 is not prime. Res64: 8F94A8A0147EEBBD Time : 1715.0 sec. user=gd_barnes [2011-05-30 13:36:27] 829*2^954171-1 is not prime. Res64: 25F60A402DB6D8B5 Time : 1715.0 sec. user=vaughan [2011-05-30 13:38:16] 861*2^954163-1 is not prime. Res64: D1B5FB2C4E91B2C1 Time : 3552.0 sec. user=gd_barnes [2011-05-30 13:42:50] 945*2^954171-1 is not prime. Res64: 044124762E0ACAD1 Time : 1934.0 sec. user=gd_barnes [2011-05-30 13:42:50] 955*2^954171-1 is not prime. Res64: 4511543BDDE98546 Time : 1934.0 sec. user=gd_barnes [2011-05-30 13:48:38] 961*2^954171-1 is not prime. Res64: 029E7A6FC6918DF5 Time : 1890.0 sec. user=gd_barnes [2011-05-30 13:48:38] 855*2^954172-1 is not prime. Res64: 705CEED08EA584BA Time : 1890.0 sec. user=gd_barnes [2011-05-30 13:48:59] 857*2^954172-1 is not prime. Res64: EABC4209F16453AE Time : 1890.0 sec. user=gd_barnes [2011-05-30 13:48:59] 965*2^954172-1 is not prime. Res64: 1875E89FD6418096 Time : 1890.0 sec. user=gd_barnes [2011-05-30 13:49:05] 995*2^954172-1 is not prime. Res64: 8DCE7696DE738507 Time : 1888.0 sec. user=gd_barnes [2011-05-30 13:49:05] 855*2^954173-1 is not prime. Res64: 1CD4053977FE6FE7 Time : 1888.0 sec. user=gd_barnes [2011-05-30 13:52:28] 951*2^954173-1 is not prime. Res64: 2C06741E495E3F72 Time : 1891.0 sec. user=gd_barnes [2011-05-30 13:52:28] 957*2^954173-1 is not prime. Res64: 9F4ADD8A76CB64B1 Time : 1891.0 sec. user=gd_barnes [2011-05-30 13:53:28] 861*2^954174-1 is not prime. Res64: 8FEBA95CE98855A1 Time : 1781.0 sec. user=gd_barnes [2011-05-30 13:53:28] 971*2^954174-1 is not prime. Res64: E7183ED3E1A569EE Time : 1781.0 sec. user=vaughan [2011-05-30 13:55:00] 897*2^954173-1 is not prime. Res64: 27BFE729A8DA3A7E Time : 2152.0 sec. user=gd_barnes [2011-05-30 13:55:15] 829*2^954175-1 is not prime. Res64: FC4A57CA8143B49A Time : 1780.0 sec. user=gd_barnes [2011-05-30 13:55:15] 855*2^954175-1 is not prime. Res64: 45BC82F5D7E5BBAF Time : 1780.0 sec. user=gd_barnes [2011-05-30 13:56:52] 871*2^954175-1 is not prime. Res64: 7A5AEE3BF993BA51 Time : 1779.0 sec. user=gd_barnes [2011-05-30 13:56:52] 895*2^954175-1 is not prime. Res64: 10E2403B3EC5152B Time : 1779.0 sec. user=vaughan [2011-05-30 13:59:43] 993*2^954167-1 is not prime. Res64: E9C7706004E882D8 Time : 3754.0 sec. user=gd_barnes [2011-05-30 14:01:14] 913*2^954175-1 is not prime. Res64: A6B64D563500EAB9 Time : 1779.0 sec. user=gd_barnes [2011-05-30 14:01:14] 857*2^954176-1 is not prime. Res64: 93DE7DA7E6A13562 Time : 1779.0 sec. user=gd_barnes [2011-05-30 14:05:37] 875*2^954176-1 is not prime. Res64: CD920989C12093BB Time : 1791.0 sec. user=gd_barnes [2011-05-30 14:05:37] 893*2^954176-1 is not prime. Res64: E82D3248FFD99109 Time : 1791.0 sec. user=vaughan [2011-05-30 14:08:36] 987*2^954166-1 is not prime. Res64: 28964CFCC14714F0 Time : 4396.0 sec. user=gd_barnes [2011-05-30 14:09:49] 849*2^954177-1 is not prime. Res64: 44B999D91296BBDD Time : 2001.0 sec. user=gd_barnes [2011-05-30 14:09:50] 889*2^954177-1 is not prime. Res64: DCF6134BD03419D3 Time : 2002.0 sec. user=gd_barnes [2011-05-30 14:14:29] 975*2^954177-1 is not prime. Res64: D8430612F4AAF38C Time : 1898.0 sec. user=gd_barnes [2011-05-30 14:14:29] 985*2^954177-1 is not prime. Res64: CD5E3F9EDDEF66B0 Time : 1898.0 sec. user=gd_barnes [2011-05-30 14:20:02] 803*2^954178-1 is not prime. Res64: 085237F72F24E92B Time : 1883.0 sec. user=gd_barnes [2011-05-30 14:20:02] 825*2^954178-1 is not prime. Res64: A633F2D9FDC276E6 Time : 1883.0 sec. user=gd_barnes [2011-05-30 14:20:20] 861*2^954178-1 is not prime. Res64: DF675F71F9E68C56 Time : 1880.0 sec. user=gd_barnes [2011-05-30 14:20:20] 971*2^954178-1 is not prime. Res64: DF8E1B2C2EA4416D Time : 1880.0 sec. user=gd_barnes [2011-05-30 14:20:24] 987*2^954178-1 is not prime. Res64: A171CCEC9E8A1EE4 Time : 1878.0 sec. user=gd_barnes [2011-05-30 14:20:24] 829*2^954179-1 is not prime. Res64: C250DAA89318C9F5 Time : 1878.0 sec. user=gd_barnes [2011-05-30 14:23:10] 943*2^954179-1 is not prime. Res64: D6CBAEE1B2107992 Time : 1781.0 sec. user=gd_barnes [2011-05-30 14:23:10] 901*2^954181-1 is not prime. Res64: 0AF9A346E48C8889 Time : 1781.0 sec. user=gd_barnes [2011-05-30 14:23:56] 859*2^954179-1 is not prime. Res64: 79B3E52AB2F03101 Time : 1887.0 sec. user=gd_barnes [2011-05-30 14:23:56] 903*2^954179-1 is not prime. Res64: 7499F3FB90245C71 Time : 1887.0 sec. user=gd_barnes [2011-05-30 14:24:54] 833*2^954182-1 is not prime. Res64: 140A9608D7A33681 Time : 1778.0 sec. user=gd_barnes [2011-05-30 14:24:54] 963*2^954182-1 is not prime. Res64: 33B0D29F8F2B5B0F Time : 1778.0 sec. user=gd_barnes [2011-05-30 14:26:31] 825*2^954183-1 is not prime. Res64: ECF172CE0C86B8A9 Time : 1778.0 sec. user=gd_barnes [2011-05-30 14:26:31] 909*2^954184-1 is not prime. Res64: C10B4F4929205AB7 Time : 1778.0 sec. user=vaughan [2011-05-30 14:30:39] 999*2^954181-1 is not prime. Res64: 07A9687D77937B7D Time : 2140.0 sec. user=vaughan [2011-05-30 14:30:42] 871*2^954185-1 is not prime. Res64: 156A5DA45074CAB8 Time : 1326.0 sec. user=gd_barnes [2011-05-30 14:30:55] 927*2^954184-1 is not prime. Res64: 3C0B8E746F9258E0 Time : 1780.0 sec. user=gd_barnes [2011-05-30 14:30:55] 989*2^954184-1 is not prime. Res64: 47D474BA433E11F6 Time : 1780.0 sec. user=gd_barnes [2011-05-30 14:35:27] 993*2^954184-1 is not prime. Res64: 3D061B47470ED79C Time : 1788.0 sec. user=gd_barnes [2011-05-30 14:35:27] 861*2^954185-1 is not prime. Res64: F9F425F9EE59DDF5 Time : 1788.0 sec. user=gd_barnes [2011-05-30 14:38:49] 979*2^954185-1 is not prime. Res64: 0611C6BCD5E393BC Time : 1736.0 sec. user=gd_barnes [2011-05-30 14:38:49] 801*2^954186-1 is not prime. Res64: 1726805F8E31F29C Time : 1736.0 sec. user=gd_barnes [2011-05-30 14:45:34] 803*2^954186-1 is not prime. Res64: 8C7BA4F4AF35402F Time : 1864.0 sec. user=gd_barnes [2011-05-30 14:45:34] 807*2^954186-1 is not prime. Res64: 7FE1FE1BC1F482DB Time : 1864.0 sec. user=gd_barnes [2011-05-30 14:51:58] 833*2^954186-1 is not prime. Res64: E618156E9EB8E3A8 Time : 1915.0 sec. user=gd_barnes [2011-05-30 14:51:58] 873*2^954186-1 is not prime. Res64: 4A80CC4889A88FBE Time : 1915.0 sec. user=gd_barnes [2011-05-30 14:52:15] 945*2^954186-1 is not prime. Res64: 016B884DEE8CFBFE Time : 1914.0 sec. user=gd_barnes [2011-05-30 14:52:15] 859*2^954187-1 is not prime. Res64: E974BE5C9C0A7A31 Time : 1914.0 sec. user=gd_barnes [2011-05-30 14:52:20] 885*2^954187-1 is not prime. Res64: 98DE51ABD62418CB Time : 1915.0 sec. user=gd_barnes [2011-05-30 14:52:20] 925*2^954187-1 is not prime. Res64: F9768F84D273BD86 Time : 1915.0 sec. user=gd_barnes [2011-05-30 14:52:51] 979*2^954187-1 is not prime. Res64: B02CEC144CF78D16 Time : 1780.0 sec. user=gd_barnes [2011-05-30 14:52:51] 899*2^954188-1 is not prime. Res64: 12C57760384767C3 Time : 1780.0 sec. user=gd_barnes [2011-05-30 14:54:37] 891*2^954189-1 is not prime. Res64: E4BA50180D1DFFE3 Time : 1782.0 sec. user=gd_barnes [2011-05-30 14:54:37] 813*2^954190-1 is not prime. Res64: 919F349AFF4C5051 Time : 1782.0 sec. user=gd_barnes [2011-05-30 14:55:56] 935*2^954188-1 is not prime. Res64: 495892F120E984A5 Time : 1919.0 sec. user=gd_barnes [2011-05-30 14:55:56] 831*2^954189-1 is not prime. Res64: 2341D693FEAE2197 Time : 1919.0 sec. user=gd_barnes [2011-05-30 14:56:15] 827*2^954190-1 is not prime. Res64: 41E4D476A82CB645 Time : 1783.0 sec. user=gd_barnes [2011-05-30 14:56:15] 895*2^954191-1 is not prime. Res64: C587979E42BC02D0 Time : 1783.0 sec. user=gd_barnes [2011-05-30 15:00:37] 945*2^954193-1 is not prime. Res64: 87D429C73F4F858B Time : 1781.0 sec. user=gd_barnes [2011-05-30 15:00:37] 955*2^954193-1 is not prime. Res64: AB92E42F88CB0DFA Time : 1781.0 sec. user=vaughan [2011-05-30 15:02:11] 849*2^954192-1 is not prime. Res64: 504193888CE2E73B Time : 1890.0 sec. user=gd_barnes [2011-05-30 15:08:18] 831*2^954194-1 is not prime. Res64: CB75F89A9439E9E2 Time : 1970.0 sec. user=gd_barnes [2011-05-30 15:08:18] 971*2^954194-1 is not prime. Res64: 77EF0592BA6320E1 Time : 1970.0 sec. user=gd_barnes [2011-05-30 15:10:44] 801*2^954195-1 is not prime. Res64: DD8F7AED8BCA81EB Time : 1914.0 sec. user=gd_barnes [2011-05-30 15:10:45] 805*2^954195-1 is not prime. Res64: C7A24648CBE7E110 Time : 1915.0 sec. user=gd_barnes [2011-05-30 15:15:48] 885*2^954195-1 is not prime. Res64: 82FD1DE9F88A1001 Time : 1813.0 sec. user=gd_barnes [2011-05-30 15:15:48] 895*2^954195-1 is not prime. Res64: 2D4C7A4CDD456C7F Time : 1813.0 sec. user=vaughan [2011-05-30 15:18:25] 949*2^954177-1 is not prime. Res64: DFB27A5708936101 Time : 6009.0 sec. user=gd_barnes [2011-05-30 15:22:32] 813*2^954199-1 is not prime. Res64: C42311E6ED1DD686 Time : 1780.0 sec. user=gd_barnes [2011-05-30 15:22:32] 891*2^954199-1 is not prime. Res64: 5ACD42DC1A07A199 Time : 1780.0 sec. user=gd_barnes [2011-05-30 15:23:50] 961*2^954195-1 is not prime. Res64: C6B22C217D74F7EB Time : 1911.0 sec. user=gd_barnes [2011-05-30 15:23:50] 833*2^954196-1 is not prime. Res64: DDB5C8F6E4E3865E Time : 1911.0 sec. user=gd_barnes [2011-05-30 15:24:05] 899*2^954196-1 is not prime. Res64: 622C9716EF470D81 Time : 1909.0 sec. user=gd_barnes [2011-05-30 15:24:05] 829*2^954197-1 is not prime. Res64: 1CDFD865CF510AF9 Time : 1909.0 sec. user=gd_barnes [2011-05-30 15:24:10] 885*2^954197-1 is not prime. Res64: E57C57296F37D731 Time : 1909.0 sec. user=gd_barnes [2011-05-30 15:24:10] 891*2^954198-1 is not prime. Res64: EF597BC703C0BFBC Time : 1909.0 sec. user=gd_barnes [2011-05-30 15:24:19] 999*2^954199-1 is not prime. Res64: F3B9E794A0963F3E Time : 1781.0 sec. user=gd_barnes [2011-05-30 15:24:19] 855*2^954200-1 is not prime. Res64: 4A61CF287AD11FF9 Time : 1781.0 sec. user=gd_barnes [2011-05-30 15:25:56] 857*2^954202-1 is not prime. Res64: C15E60C66AB98F24 Time : 1780.0 sec. user=gd_barnes [2011-05-30 15:25:56] 823*2^954203-1 is not prime. Res64: 142FD36404903B1E Time : 1780.0 sec. user=gd_barnes [2011-05-30 15:27:43] 895*2^954201-1 is not prime. Res64: AECC6DE5321EE75A Time : 1906.0 sec. user=gd_barnes [2011-05-30 15:27:43] 951*2^954201-1 is not prime. Res64: F1884E8B39644F99 Time : 1906.0 sec. user=gd_barnes [2011-05-30 15:30:21] 913*2^954203-1 is not prime. Res64: 1AB1D7B64545E602 Time : 1783.0 sec. user=gd_barnes [2011-05-30 15:30:21] 949*2^954203-1 is not prime. Res64: 57B6C706EA8B531B Time : 1783.0 sec. user=vaughan [2011-05-30 15:35:40] 915*2^954184-1 is not prime. Res64: 3943DE6C805B6088 Time : 5757.0 sec. user=gd_barnes [2011-05-30 15:39:31] 929*2^954204-1 is not prime. Res64: 5BEA1A534FDD405E Time : 1725.0 sec. user=gd_barnes [2011-05-30 15:39:31] 965*2^954204-1 is not prime. Res64: AE37F776E2B88DA9 Time : 1725.0 sec. user=gd_barnes [2011-05-30 15:40:44] 857*2^954204-1 is not prime. Res64: C305B800073410B3 Time : 1945.0 sec. user=gd_barnes [2011-05-30 15:40:44] 903*2^954204-1 is not prime. Res64: 9B4AF134A356FB54 Time : 1945.0 sec. user=vaughan [2011-05-30 15:42:31] 955*2^954203-1 is not prime. Res64: CAE3E5C82B2BE57C Time : 2420.0 sec. user=gd_barnes [2011-05-30 15:43:22] 831*2^954205-1 is not prime. Res64: 4992006488BCFE60 Time : 1653.0 sec. user=gd_barnes [2011-05-30 15:43:22] 925*2^954205-1 is not prime. Res64: E82DF5321CB6E17A Time : 1653.0 sec. user=vaughan [2011-05-30 15:48:05] 999*2^954191-1 is not prime. Res64: 8CDAD1D6CA9C969B Time : 4647.0 sec. user=gd_barnes [2011-05-30 15:52:17] 957*2^954205-1 is not prime. Res64: 8A0FE80F8D7ACE80 Time : 1784.0 sec. user=gd_barnes [2011-05-30 15:52:17] 873*2^954206-1 is not prime. Res64: A760E91B6851705B Time : 1784.0 sec. user=gd_barnes [2011-05-30 15:53:58] 819*2^954208-1 is not prime. Res64: 7B3788244685C87E Time : 1778.0 sec. user=gd_barnes [2011-05-30 15:53:58] 839*2^954208-1 is not prime. Res64: 4DD33D57577515F6 Time : 1778.0 sec. user=gd_barnes [2011-05-30 15:55:09] 903*2^954206-1 is not prime. Res64: 1180491598E544DD Time : 1878.0 sec. user=gd_barnes [2011-05-30 15:55:09] 935*2^954206-1 is not prime. Res64: C70B96ABA24DECFA Time : 1878.0 sec. user=gd_barnes [2011-05-30 15:55:25] 891*2^954207-1 is not prime. Res64: 3F8BC4B3E545CF3E Time : 1879.0 sec. user=gd_barnes [2011-05-30 15:55:25] 901*2^954207-1 is not prime. Res64: 5EA95704D629656A Time : 1879.0 sec. user=gd_barnes [2011-05-30 15:55:31] 991*2^954207-1 is not prime. Res64: D8090B5784FEEDF0 Time : 1880.0 sec. user=gd_barnes [2011-05-30 15:55:31] 803*2^954208-1 is not prime. Res64: BDA18AD1D818D50F Time : 1880.0 sec. user=gd_barnes [2011-05-30 15:55:38] 929*2^954208-1 is not prime. Res64: 3B3AC9534174A4D7 Time : 1781.0 sec. user=gd_barnes [2011-05-30 15:55:38] 993*2^954208-1 is not prime. Res64: EF76BA42DF48B116 Time : 1781.0 sec. user=gd_barnes [2011-05-30 15:59:02] 829*2^954209-1 is not prime. Res64: 0A35318968E234D9 Time : 1878.0 sec. user=gd_barnes [2011-05-30 15:59:02] 867*2^954209-1 is not prime. Res64: 3F52938024BD10BF Time : 1878.0 sec. user=gd_barnes [2011-05-30 16:00:02] 855*2^954211-1 is not prime. Res64: 939A52B615EE8F31 Time : 1780.0 sec. user=gd_barnes [2011-05-30 16:00:02] 931*2^954211-1 is not prime. Res64: ED2D89741A61F06D Time : 1780.0 sec. user=gd_barnes [2011-05-30 16:08:41] 995*2^954212-1 is not prime. Res64: 4AFBD1CD94832764 Time : 1749.0 sec. user=gd_barnes [2011-05-30 16:08:41] 969*2^954213-1 is not prime. Res64: 3F1B48DAA185227A Time : 1749.0 sec. user=gd_barnes [2011-05-30 16:14:59] 979*2^954213-1 is not prime. Res64: 4725A3D7A317C8C9 Time : 2054.0 sec. user=gd_barnes [2011-05-30 16:14:59] 885*2^954214-1 is not prime. Res64: A683755345FBD6C4 Time : 2054.0 sec. user=gd_barnes [2011-05-30 16:16:20] 903*2^954214-1 is not prime. Res64: AE47126A39C735DD Time : 1977.0 sec. user=gd_barnes [2011-05-30 16:16:20] 971*2^954214-1 is not prime. Res64: A3D3EC4E416EC7F2 Time : 1977.0 sec. user=gd_barnes [2011-05-30 16:22:01] 913*2^954215-1 is not prime. Res64: 2DF3147284FEADDA Time : 1783.0 sec. user=gd_barnes [2011-05-30 16:22:01] 921*2^954215-1 is not prime. Res64: FF57673CE12C8477 Time : 1783.0 sec. user=gd_barnes [2011-05-30 16:23:41] 917*2^954216-1 is not prime. Res64: CDA86B731D8ADB76 Time : 1782.0 sec. user=gd_barnes [2011-05-30 16:23:41] 957*2^954216-1 is not prime. Res64: 5D759F980EA15560 Time : 1782.0 sec. user=gd_barnes [2011-05-30 16:25:16] 897*2^954220-1 is not prime. Res64: 628787CF5EE5977D Time : 1777.0 sec. user=gd_barnes [2011-05-30 16:25:16] 989*2^954220-1 is not prime. Res64: C6880231BF7CEA8F Time : 1777.0 sec. user=gd_barnes [2011-05-30 16:26:45] 975*2^954216-1 is not prime. Res64: 096F2D7974546CCC Time : 1895.0 sec. user=gd_barnes [2011-05-30 16:26:45] 983*2^954216-1 is not prime. Res64: A3D6B75D813FCF9E Time : 1895.0 sec. user=gd_barnes [2011-05-30 16:27:03] 813*2^954218-1 is not prime. Res64: CB83919ADD3BFA20 Time : 1897.0 sec. user=gd_barnes [2011-05-30 16:27:03] 891*2^954219-1 is not prime. Res64: 1B99D921075287CF Time : 1897.0 sec. user=gd_barnes [2011-05-30 16:27:12] 951*2^954219-1 is not prime. Res64: CFD58C8B066B061D Time : 1900.0 sec. user=gd_barnes [2011-05-30 16:27:12] 825*2^954220-1 is not prime. Res64: 40DE02B1C0388486 Time : 1900.0 sec. user=gd_barnes [2011-05-30 16:29:42] 891*2^954222-1 is not prime. Res64: 5AC4CF729D160D47 Time : 1779.0 sec. user=gd_barnes [2011-05-30 16:29:42] 977*2^954222-1 is not prime. Res64: 0EA03D9F7C683069 Time : 1779.0 sec. user=gd_barnes [2011-05-30 16:30:44] 859*2^954221-1 is not prime. Res64: 0AEAAF13E21F5BE1 Time : 1900.0 sec. user=gd_barnes [2011-05-30 16:30:44] 937*2^954221-1 is not prime. Res64: C30A6BB512C86621 Time : 1900.0 sec. user=gd_barnes [2011-05-30 16:37:11] 805*2^954223-1 is not prime. Res64: 634F7304167CF83D Time : 1709.0 sec. user=gd_barnes [2011-05-30 16:37:11] 819*2^954223-1 is not prime. Res64: A4320B2E144109C1 Time : 1709.0 sec. user=gd_barnes [2011-05-30 16:45:55] 933*2^954223-1 is not prime. Res64: 1EF944C49902248C Time : 1774.0 sec. user=gd_barnes [2011-05-30 16:45:55] 951*2^954223-1 is not prime. Res64: C2F398D87D9275D4 Time : 1774.0 sec. user=gd_barnes [2011-05-30 16:46:35] 871*2^954223-1 is not prime. Res64: 16BDD17D41EDEF02 Time : 1894.0 sec. user=gd_barnes [2011-05-30 16:46:35] 873*2^954223-1 is not prime. Res64: 17862D11FE4B58B9 Time : 1894.0 sec. user=gd_barnes [2011-05-30 16:51:39] 857*2^954224-1 is not prime. Res64: E6DB4485C4CDD30C Time : 1777.0 sec. user=gd_barnes [2011-05-30 16:51:39] 909*2^954225-1 is not prime. Res64: EEABD6AEDD2E4A67 Time : 1777.0 sec. user=gd_barnes [2011-05-30 16:53:23] 833*2^954226-1 is not prime. Res64: 0E4D469AC4C7A135 Time : 1781.0 sec. user=gd_barnes [2011-05-30 16:53:23] 901*2^954227-1 is not prime. Res64: 172A85F1B79AD744 Time : 1781.0 sec. user=gd_barnes [2011-05-30 16:54:57] 899*2^954228-1 is not prime. Res64: 5A973ED921D45CA4 Time : 1780.0 sec. user=gd_barnes [2011-05-30 16:54:57] 987*2^954228-1 is not prime. Res64: CFE214D45EB8FA39 Time : 1780.0 sec. user=gd_barnes [2011-05-30 16:58:45] 831*2^954229-1 is not prime. Res64: 34DF46AD82264AC5 Time : 1919.0 sec. user=gd_barnes [2011-05-30 16:58:45] 885*2^954229-1 is not prime. Res64: A3645B64EE287336 Time : 1919.0 sec. user=gd_barnes [2011-05-30 16:59:01] 827*2^954230-1 is not prime. Res64: 7D3D0FF8F829E041 Time : 1917.0 sec. user=gd_barnes [2011-05-30 16:59:01] 843*2^954230-1 is not prime. Res64: FF59FE6AE23ADF26 Time : 1917.0 sec. user=gd_barnes [2011-05-30 16:59:11] 851*2^954230-1 is not prime. Res64: E0E0557DB74E5555 Time : 1918.0 sec. user=gd_barnes [2011-05-30 16:59:11] 867*2^954230-1 is not prime. Res64: 0025837908D679F9 Time : 1918.0 sec. user=gd_barnes [2011-05-30 16:59:22] 887*2^954230-1 is not prime. Res64: 75FC022B8ABE48AF Time : 1779.0 sec. user=gd_barnes [2011-05-30 16:59:22] 977*2^954230-1 is not prime. Res64: 4AD9140B79A7BF90 Time : 1779.0 sec. user=vaughan [2011-05-30 17:01:46] 939*2^954205-1 is not prime. Res64: 5F6C2F55F2DEE88A Time : 6202.0 sec. user=gd_barnes [2011-05-30 17:02:44] 859*2^954231-1 is not prime. Res64: 8797596A9DB39A8C Time : 1919.0 sec. user=gd_barnes [2011-05-30 17:02:44] 873*2^954231-1 is not prime. Res64: 8247C8467262B3C7 Time : 1919.0 sec. user=ototero [2011-05-30 17:03:09] 975*2^954159-1 is not prime. Res64: 5A0F0F22CD1956CD Time : 15890.0 sec. user=ototero [2011-05-30 17:03:09] 985*2^954159-1 is not prime. Res64: B4190FC42EE3F88C Time : 15890.0 sec. user=ototero [2011-05-30 17:03:09] 849*2^954160-1 is not prime. Res64: C464277B9B18B7D0 Time : 15890.0 sec. user=ototero [2011-05-30 17:03:09] 863*2^954160-1 is not prime. Res64: 679123F4165F4F18 Time : 15889.0 sec. user=ototero [2011-05-30 17:03:10] 905*2^954160-1 is not prime. Res64: 5715874456801967 Time : 15890.0 sec. user=ototero [2011-05-30 17:03:10] 889*2^954161-1 is not prime. Res64: 486B2762ADF07903 Time : 15890.0 sec. user=ototero [2011-05-30 17:03:10] 821*2^954162-1 is not prime. Res64: 4EEAA31D09FCCFC8 Time : 15889.0 sec. user=ototero [2011-05-30 17:03:10] 825*2^954162-1 is not prime. Res64: 40BAAF56D3A75930 Time : 15889.0 sec. user=ototero [2011-05-30 17:03:10] 867*2^954162-1 is not prime. Res64: E1997293C9859620 Time : 15889.0 sec. user=ototero [2011-05-30 17:03:10] 945*2^954162-1 is not prime. Res64: 1AB64671E00BEEFE Time : 15888.0 sec. user=vaughan [2011-05-30 17:08:25] 891*2^954214-1 is not prime. Res64: 27DBA1D59AE3FE6F Time : 5154.0 sec. user=gd_barnes [2011-05-30 17:09:38] 813*2^954232-1 is not prime. Res64: 49FCBE6133CDE9A8 Time : 1946.0 sec. user=gd_barnes [2011-05-30 17:09:38] 849*2^954232-1 is not prime. Res64: 1693E42D264EA6E9 Time : 1946.0 sec. user=vaughan [2011-05-30 17:09:59] 981*2^954214-1 is not prime. Res64: DEF9FB65893A8C35 Time : 4914.0 sec. user=gd_barnes [2011-05-30 17:15:22] 909*2^954232-1 is not prime. Res64: 91997E17466A9EF2 Time : 1766.0 sec. user=gd_barnes [2011-05-30 17:15:22] 983*2^954232-1 is not prime. Res64: 9BAB5422157103B3 Time : 1766.0 sec. user=vaughan [2011-05-30 17:19:04] 915*2^954212-1 is not prime. Res64: 87293745859AC356 Time : 6204.0 sec. user=gd_barnes [2011-05-30 17:19:14] 861*2^954233-1 is not prime. Res64: DB870D64913891F1 Time : 1958.0 sec. user=gd_barnes [2011-05-30 17:19:14] 991*2^954233-1 is not prime. Res64: B50384DF3FA09455 Time : 1958.0 sec. user=gd_barnes [2011-05-30 17:21:18] 803*2^954234-1 is not prime. Res64: 694F23501C23BD12 Time : 1778.0 sec. user=gd_barnes [2011-05-30 17:21:18] 915*2^954234-1 is not prime. Res64: 654C4D3FA98DA0BF Time : 1778.0 sec. user=gd_barnes [2011-05-30 17:23:01] 969*2^954235-1 is not prime. Res64: 48A0D6D5C1201175 Time : 1777.0 sec. user=gd_barnes [2011-05-30 17:23:01] 825*2^954236-1 is not prime. Res64: B30B8670D29467F2 Time : 1777.0 sec. user=gd_barnes [2011-05-30 17:24:40] 945*2^954236-1 is not prime. Res64: F2137C7D4615B00A Time : 1782.0 sec. user=gd_barnes [2011-05-30 17:24:40] 831*2^954238-1 is not prime. Res64: 8C42EBF824D8B626 Time : 1782.0 sec. user=gd_barnes [2011-05-30 17:29:07] 849*2^954243-1 is not prime. Res64: 768425D74472ED44 Time : 1784.0 sec. user=gd_barnes [2011-05-30 17:29:07] 853*2^954243-1 is not prime. Res64: 1A24806D5AFCBA15 Time : 1784.0 sec. user=gd_barnes [2011-05-30 17:30:12] 823*2^954239-1 is not prime. Res64: BC18C0A16DDC0E60 Time : 1886.0 sec. user=gd_barnes [2011-05-30 17:30:12] 831*2^954239-1 is not prime. Res64: 5A57E437D5106078 Time : 1886.0 sec. user=gd_barnes [2011-05-30 17:30:28] 859*2^954239-1 is not prime. Res64: F220D90E8730ECAC Time : 1886.0 sec. user=gd_barnes [2011-05-30 17:30:28] 933*2^954240-1 is not prime. Res64: F7199FB49D1AA689 Time : 1886.0 sec. user=gd_barnes [2011-05-30 17:30:39] 819*2^954241-1 is not prime. Res64: EA87A919FCDD5D1D Time : 1887.0 sec. user=gd_barnes [2011-05-30 17:30:39] 825*2^954242-1 is not prime. Res64: 2985DEFA7D309C37 Time : 1887.0 sec. user=gd_barnes [2011-05-30 17:34:10] 855*2^954244-1 is not prime. Res64: D9E3A4DCCD9C21F3 Time : 1885.0 sec. user=gd_barnes [2011-05-30 17:34:10] 939*2^954244-1 is not prime. Res64: 2646FC0A5C3636E3 Time : 1885.0 sec. user=gd_barnes [2011-05-30 17:39:07] 975*2^954247-1 is not prime. Res64: 1195B2BE82578763 Time : 1767.0 sec. user=gd_barnes [2011-05-30 17:39:07] 839*2^954248-1 is not prime. Res64: 88EBB8361F3174B2 Time : 1767.0 sec. user=gd_barnes [2011-05-30 17:44:45] 945*2^954248-1 is not prime. Res64: FE605C30EE47D7F3 Time : 1762.0 sec. user=gd_barnes [2011-05-30 17:44:45] 957*2^954248-1 is not prime. Res64: C9F7976A0558D407 Time : 1762.0 sec. user=vaughan [2011-05-30 17:45:33] 897*2^954248-1 is not prime. Res64: 1847183B0EBA058D Time : 2134.0 sec. user=gd_barnes [2011-05-30 17:50:55] 979*2^954249-1 is not prime. Res64: 43257DB4583740EA Time : 1776.0 sec. user=gd_barnes [2011-05-30 17:50:55] 857*2^954250-1 is not prime. Res64: 9BA7427A1F3F7C8F Time : 1776.0 sec. user=gd_barnes [2011-05-30 17:52:01] 895*2^954249-1 is not prime. Res64: 6678C83008B8689D Time : 1966.0 sec. user=gd_barnes [2011-05-30 17:52:01] 969*2^954249-1 is not prime. Res64: 27C97D2D22D5AF4D Time : 1966.0 sec. user=gd_barnes [2011-05-30 17:52:38] 867*2^954250-1 is not prime. Res64: 23DA0B9CB8DC90D7 Time : 1776.0 sec. user=gd_barnes [2011-05-30 17:52:38] 911*2^954250-1 is not prime. Res64: 717EA89124BF17C5 Time : 1776.0 sec. user=gd_barnes [2011-05-30 17:54:20] 957*2^954250-1 is not prime. Res64: D2546944060C6239 Time : 1779.0 sec. user=gd_barnes [2011-05-30 17:54:20] 823*2^954251-1 is not prime. Res64: D3A81FC67D6D1330 Time : 1779.0 sec. user=gd_barnes [2011-05-30 17:58:48] 993*2^954251-1 is not prime. Res64: 63663DC8A0100ECE Time : 1780.0 sec. user=gd_barnes [2011-05-30 17:58:48] 899*2^954252-1 is not prime. Res64: 4AE8671CC429D891 Time : 1780.0 sec. user=gd_barnes [2011-05-30 18:01:34] 935*2^954252-1 is not prime. Res64: D62764F146AB6371 Time : 1881.0 sec. user=gd_barnes [2011-05-30 18:01:34] 801*2^954253-1 is not prime. Res64: BBD1C7ECA42234D8 Time : 1881.0 sec. user=gd_barnes [2011-05-30 18:01:51] 895*2^954253-1 is not prime. Res64: EB05EBA06952880F Time : 1882.0 sec. user=gd_barnes [2011-05-30 18:01:51] 945*2^954253-1 is not prime. Res64: 71DE9A4169988D7E Time : 1882.0 sec. user=gd_barnes [2011-05-30 18:01:59] 825*2^954254-1 is not prime. Res64: C473BD52D8411CD3 Time : 1879.0 sec. user=gd_barnes [2011-05-30 18:01:59] 921*2^954254-1 is not prime. Res64: 6AE860F61ED2BD06 Time : 1879.0 sec. user=gd_barnes [2011-05-30 18:05:33] 981*2^954254-1 is not prime. Res64: CB8CA3D0062AE793 Time : 1882.0 sec. user=gd_barnes [2011-05-30 18:05:33] 831*2^954255-1 is not prime. Res64: 101A1C526709B752 Time : 1882.0 sec. user=vaughan [2011-05-30 18:05:41] 991*2^954243-1 is not prime. Res64: 5C3E9F0A658EDFFF Time : 3835.0 sec. user=gd_barnes [2011-05-30 18:08:42] 853*2^954255-1 is not prime. Res64: 2DC7AB6A2BCF93DE Time : 1774.0 sec. user=gd_barnes [2011-05-30 18:08:42] 919*2^954255-1 is not prime. Res64: AFE595483AA4A0DA Time : 1774.0 sec. user=gd_barnes [2011-05-30 18:15:35] 969*2^954255-1 is not prime. Res64: DB0B4B3EE90C20E0 Time : 1849.0 sec. user=gd_barnes [2011-05-30 18:15:35] 979*2^954255-1 is not prime. Res64: 46DA5858047EE40E Time : 1849.0 sec. user=gd_barnes [2011-05-30 18:20:41] 813*2^954256-1 is not prime. Res64: F60618924D47DB81 Time : 1785.0 sec. user=gd_barnes [2011-05-30 18:20:41] 849*2^954256-1 is not prime. Res64: 4873F5A980C8B5CC Time : 1785.0 sec. user=vaughan [2011-05-30 18:21:02] 985*2^954255-1 is not prime. Res64: 577DCA683FFDFB5A Time : 2129.0 sec. user=gd_barnes [2011-05-30 18:22:17] 889*2^954257-1 is not prime. Res64: 276C89293D9C6498 Time : 1778.0 sec. user=gd_barnes [2011-05-30 18:22:17] 979*2^954257-1 is not prime. Res64: 24186F4A899375C7 Time : 1778.0 sec. user=gd_barnes [2011-05-30 18:24:02] 891*2^954258-1 is not prime. Res64: D2599A17167E055A Time : 1781.0 sec. user=gd_barnes [2011-05-30 18:24:02] 943*2^954259-1 is not prime. Res64: 12CA31FE8629B040 Time : 1781.0 sec. user=vaughan [2011-05-30 18:24:14] 861*2^954249-1 is not prime. Res64: 171B3F829A07A2ED Time : 3910.0 sec. user=vaughan [2011-05-30 18:24:17] 895*2^954247-1 is not prime. Res64: 6B1AC5D5B1F16AD7 Time : 4552.0 sec. user=gd_barnes [2011-05-30 18:25:04] 939*2^954256-1 is not prime. Res64: C14D866ABF546676 Time : 1982.0 sec. user=gd_barnes [2011-05-30 18:25:04] 847*2^954257-1 is not prime. Res64: 8FAC270E2149B225 Time : 1982.0 sec. user=gd_barnes [2011-05-30 18:28:30] 975*2^954259-1 is not prime. Res64: 357A4F0640B1943B Time : 1781.0 sec. user=gd_barnes [2011-05-30 18:28:30] 845*2^954260-1 is not prime. Res64: 1917A99279D7749C Time : 1781.0 sec. user=gd_barnes [2011-05-30 18:33:26] 957*2^954260-1 is not prime. Res64: DFE1FEBFC153D23D Time : 1911.0 sec. user=gd_barnes [2011-05-30 18:33:26] 837*2^954261-1 is not prime. Res64: 0E0CDE0939C8C525 Time : 1911.0 sec. user=gd_barnes [2011-05-30 18:33:43] 861*2^954261-1 is not prime. Res64: 1328D24829BAE0A0 Time : 1911.0 sec. user=gd_barnes [2011-05-30 18:33:43] 895*2^954261-1 is not prime. Res64: 432859EB4A1E5DD1 Time : 1911.0 sec. user=gd_barnes [2011-05-30 18:33:55] 997*2^954261-1 is not prime. Res64: 50F9D0F845CFCE83 Time : 1915.0 sec. user=gd_barnes [2011-05-30 18:33:55] 801*2^954262-1 is not prime. Res64: F2D27362277645C9 Time : 1915.0 sec. user=gd_barnes [2011-05-30 18:37:29] 815*2^954262-1 is not prime. Res64: 46FB4C0FD51043C9 Time : 1915.0 sec. user=gd_barnes [2011-05-30 18:37:29] 975*2^954262-1 is not prime. Res64: 6C1AE6EE1945FD47 Time : 1915.0 sec. user=gd_barnes [2011-05-30 18:39:24] 805*2^954263-1 is not prime. Res64: 9498FD4B7560AD01 Time : 1840.0 sec. user=gd_barnes [2011-05-30 18:39:24] 859*2^954263-1 is not prime. Res64: E09D37D49781266B Time : 1840.0 sec. user=gd_barnes [2011-05-30 18:45:03] 895*2^954263-1 is not prime. Res64: 6E5D0EE3DFB94253 Time : 1767.0 sec. user=gd_barnes [2011-05-30 18:45:03] 969*2^954263-1 is not prime. Res64: 61B3E00B4893B80F Time : 1767.0 sec. user=gd_barnes [2011-05-30 18:50:21] 991*2^954263-1 is not prime. Res64: 559B7B63EAF900E1 Time : 1779.0 sec. user=gd_barnes [2011-05-30 18:50:21] 927*2^954264-1 is not prime. Res64: AB0F6E2392C6A242 Time : 1779.0 sec. user=gd_barnes [2011-05-30 18:51:57] 843*2^954266-1 is not prime. Res64: 47B75D67A4FC752D Time : 1779.0 sec. user=gd_barnes [2011-05-30 18:51:57] 857*2^954266-1 is not prime. Res64: E4440D5DD7F03926 Time : 1779.0 sec. user=vaughan [2011-05-30 18:52:46] 889*2^954265-1 is not prime. Res64: D9E309EED30027FB Time : 1904.0 sec. user=gd_barnes [2011-05-30 18:53:44] 861*2^954266-1 is not prime. Res64: 7BE0CF57FCA372F7 Time : 1781.0 sec. user=gd_barnes [2011-05-30 18:53:44] 911*2^954266-1 is not prime. Res64: FCAADA09B89F6DA0 Time : 1781.0 sec. user=gd_barnes [2011-05-30 18:55:51] 859*2^954267-1 is not prime. Res64: 7EA8EBFE791E0982 Time : 1846.0 sec. user=gd_barnes [2011-05-30 18:55:51] 845*2^954268-1 is not prime. Res64: 2E3E9FB22D3FB687 Time : 1846.0 sec. user=vaughan [2011-05-30 18:57:23] 835*2^954267-1 is not prime. Res64: 977CBB539234AC84 Time : 1986.0 sec. user=gd_barnes [2011-05-30 18:58:12] 945*2^954269-1 is not prime. Res64: AA0A832C00619E5B Time : 1781.0 sec. user=gd_barnes [2011-05-30 18:58:12] 957*2^954269-1 is not prime. Res64: FE282EDD9AE17614 Time : 1781.0 sec. user=vaughan [2011-05-30 19:03:42] 987*2^954262-1 is not prime. Res64: 6524023C7148E27F Time : 3481.0 sec. user=gd_barnes [2011-05-30 19:05:21] 821*2^954270-1 is not prime. Res64: BD2FDD32488F8101 Time : 1914.0 sec. user=gd_barnes [2011-05-30 19:05:21] 867*2^954270-1 is not prime. Res64: 2E9ED7762BB46BE3 Time : 1914.0 sec. user=gd_barnes [2011-05-30 19:05:40] 819*2^954271-1 is not prime. Res64: B9134141AE5B825E Time : 1916.0 sec. user=gd_barnes [2011-05-30 19:05:40] 829*2^954271-1 is not prime. Res64: A7DD8131926EBA6D Time : 1916.0 sec. user=gd_barnes [2011-05-30 19:05:48] 895*2^954271-1 is not prime. Res64: C58F210A1EFD989B Time : 1912.0 sec. user=gd_barnes [2011-05-30 19:05:48] 909*2^954271-1 is not prime. Res64: F22E8868A6501034 Time : 1912.0 sec. user=gd_barnes [2011-05-30 19:09:19] 815*2^954272-1 is not prime. Res64: A7B9D11B8F547934 Time : 1909.0 sec. user=gd_barnes [2011-05-30 19:09:19] 945*2^954272-1 is not prime. Res64: 00B370A3FA48782C Time : 1909.0 sec. user=gd_barnes [2011-05-30 19:10:08] 811*2^954273-1 is not prime. Res64: B567745AFB08809F Time : 1843.0 sec. user=gd_barnes [2011-05-30 19:10:08] 877*2^954273-1 is not prime. Res64: 9BA32ABEF3393385 Time : 1843.0 sec. user=gd_barnes [2011-05-30 19:16:23] 901*2^954273-1 is not prime. Res64: 0AB92147C68B2E76 Time : 1879.0 sec. user=gd_barnes [2011-05-30 19:16:23] 945*2^954273-1 is not prime. Res64: F6B89ACBAFB9CA56 Time : 1879.0 sec. user=vaughan [2011-05-30 19:16:40] 855*2^954260-1 is not prime. Res64: AB4A9592D7B9C783 Time : 4642.0 sec. user=vaughan [2011-05-30 19:16:44] 879*2^954260-1 is not prime. Res64: 04E8EFE174DFC066 Time : 4645.0 sec. user=gd_barnes [2011-05-30 19:20:03] 999*2^954273-1 is not prime. Res64: 98B277EFB9354785 Time : 1781.0 sec. user=gd_barnes [2011-05-30 19:20:03] 831*2^954274-1 is not prime. Res64: 968F0C319E4EBC4D Time : 1781.0 sec. user=vaughan [2011-05-30 19:20:10] 921*2^954266-1 is not prime. Res64: E5D333B57ABD46B7 Time : 3356.0 sec. user=gd_barnes [2011-05-30 19:21:36] 855*2^954274-1 is not prime. Res64: 17883CF9D51249E7 Time : 1778.0 sec. user=gd_barnes [2011-05-30 19:21:36] 887*2^954274-1 is not prime. Res64: AE90AD6AA0A20EF2 Time : 1778.0 sec. user=gd_barnes [2011-05-30 19:23:24] 825*2^954275-1 is not prime. Res64: 26620C94CAE7E57C Time : 1779.0 sec. user=gd_barnes [2011-05-30 19:23:24] 985*2^954275-1 is not prime. Res64: 8FEE6F2389A5BE6A Time : 1779.0 sec. user=vaughan [2011-05-30 19:27:20] 1001*2^954274-1 is not prime. Res64: 56666EDB9EA8D184 Time : 2074.0 sec. user=gd_barnes [2011-05-30 19:27:53] 969*2^954276-1 is not prime. Res64: 72957948A7687D30 Time : 1780.0 sec. user=gd_barnes [2011-05-30 19:27:53] 801*2^954277-1 is not prime. Res64: BC3CD205B90BEFAB Time : 1780.0 sec. user=gd_barnes [2011-05-30 19:28:51] 839*2^954276-1 is not prime. Res64: F739F77D9632CFD3 Time : 1979.0 sec. user=gd_barnes [2011-05-30 19:28:51] 875*2^954276-1 is not prime. Res64: A683FF285DE66CA9 Time : 1979.0 sec. user=vaughan [2011-05-30 19:36:26] 879*2^954276-1 is not prime. Res64: E2FF91F311719312 Time : 2343.0 sec. user=gd_barnes [2011-05-30 19:36:29] 937*2^954277-1 is not prime. Res64: D4F865568FC9FCBD Time : 1867.0 sec. user=gd_barnes [2011-05-30 19:36:29] 875*2^954278-1 is not prime. Res64: F19CFE41DC579559 Time : 1867.0 sec. user=gd_barnes [2011-05-30 19:36:54] 995*2^954278-1 is not prime. Res64: 448613F43BEE2246 Time : 1873.0 sec. user=gd_barnes [2011-05-30 19:36:54] 931*2^954279-1 is not prime. Res64: 749ADB359EE91BB2 Time : 1873.0 sec. user=gd_barnes [2011-05-30 19:36:59] 969*2^954279-1 is not prime. Res64: FC43F860228D0CB1 Time : 1870.0 sec. user=gd_barnes [2011-05-30 19:36:59] 979*2^954279-1 is not prime. Res64: DCB3081B0C8AF772 Time : 1870.0 sec. user=gd_barnes [2011-05-30 19:40:36] 999*2^954279-1 is not prime. Res64: 222F804BD8BC7B85 Time : 1876.0 sec. user=gd_barnes [2011-05-30 19:40:36] 849*2^954280-1 is not prime. Res64: 5C3ED699A94B1D69 Time : 1876.0 sec. user=gd_barnes [2011-05-30 19:41:30] 855*2^954280-1 is not prime. Res64: 0C457FE7FCA12893 Time : 1881.0 sec. user=gd_barnes [2011-05-30 19:41:30] 879*2^954281-1 is not prime. Res64: 72F5A8A522C62BFA Time : 1881.0 sec. user=gd_barnes [2011-05-30 19:43:58] 925*2^954281-1 is not prime. Res64: 06ED28CB9DF74221 Time : 1654.0 sec. user=gd_barnes [2011-05-30 19:43:58] 981*2^954281-1 is not prime. Res64: 2147B70D8E8363A3 Time : 1654.0 sec. user=gd_barnes [2011-05-30 19:49:40] 893*2^954282-1 is not prime. Res64: D42A7A0F7DC0EB17 Time : 1776.0 sec. user=gd_barnes [2011-05-30 19:49:40] 921*2^954282-1 is not prime. Res64: 7D54B7BD302D2D7B Time : 1776.0 sec. user=gd_barnes [2011-05-30 19:51:17] 945*2^954283-1 is not prime. Res64: DFDCF22E2C551E3C Time : 1780.0 sec. user=gd_barnes [2011-05-30 19:51:17] 969*2^954283-1 is not prime. Res64: 41786F84C1E7D16D Time : 1780.0 sec. user=gd_barnes [2011-05-30 19:53:05] 929*2^954284-1 is not prime. Res64: EA6EDCF8FC466E39 Time : 1780.0 sec. user=gd_barnes [2011-05-30 19:53:05] 969*2^954284-1 is not prime. Res64: 177BA0B7A192CC8B Time : 1780.0 sec. user=vaughan [2011-05-30 19:57:33] 895*2^954277-1 is not prime. Res64: 476AC9E3BBA428EE Time : 3231.0 sec. user=gd_barnes [2011-05-30 19:57:36] 895*2^954285-1 is not prime. Res64: E0E27A731D867662 Time : 1782.0 sec. user=gd_barnes [2011-05-30 19:57:36] 919*2^954285-1 is not prime. Res64: 2F31388813A2EE7C Time : 1782.0 sec. user=gd_barnes [2011-05-30 19:58:56] 921*2^954285-1 is not prime. Res64: 9816A3D0D54B42C2 Time : 1804.0 sec. user=gd_barnes [2011-05-30 19:58:56] 955*2^954285-1 is not prime. Res64: F81182B3CFFD542B Time : 1804.0 sec. user=vaughan [2011-05-30 19:59:46] 849*2^954285-1 is not prime. Res64: FF28681571C96F35 Time : 1946.0 sec. user=gd_barnes [2011-05-30 20:07:30] 983*2^954286-1 is not prime. Res64: B0DC57A76C808DF9 Time : 1860.0 sec. user=gd_barnes [2011-05-30 20:07:30] 901*2^954287-1 is not prime. Res64: 6166F888FA9673F7 Time : 1860.0 sec. user=gd_barnes [2011-05-30 20:07:53] 849*2^954288-1 is not prime. Res64: 95600CB48B304BC0 Time : 1858.0 sec. user=gd_barnes [2011-05-30 20:07:53] 969*2^954288-1 is not prime. Res64: A130A23D3257D909 Time : 1858.0 sec. user=gd_barnes [2011-05-30 20:07:58] 801*2^954289-1 is not prime. Res64: 318102DDB9D8B1FA Time : 1858.0 sec. user=gd_barnes [2011-05-30 20:07:58] 861*2^954289-1 is not prime. Res64: 1D2DD281041A6E0A Time : 1858.0 sec. user=gd_barnes [2011-05-30 20:11:33] 885*2^954289-1 is not prime. Res64: 24032B4348C66F80 Time : 1856.0 sec. user=gd_barnes [2011-05-30 20:11:33] 851*2^954290-1 is not prime. Res64: 5FB501AB4F5FFAB4 Time : 1856.0 sec. user=gd_barnes [2011-05-30 20:13:22] 903*2^954291-1 is not prime. Res64: 8A423DF20C40573A Time : 1763.0 sec. user=gd_barnes [2011-05-30 20:13:22] 979*2^954291-1 is not prime. Res64: B6758C5075F73864 Time : 1763.0 sec. user=vaughan [2011-05-30 20:13:28] 861*2^954286-1 is not prime. Res64: 52DE98FA4C753573 Time : 2222.0 sec. user=vaughan [2011-05-30 20:13:55] 923*2^954282-1 is not prime. Res64: E924D7C5095B2D1B Time : 3225.0 sec. user=gd_barnes [2011-05-30 20:14:49] 911*2^954290-1 is not prime. Res64: E0AF17F3541A88AA Time : 1998.0 sec. user=gd_barnes [2011-05-30 20:14:49] 987*2^954290-1 is not prime. Res64: 6A92FC990A95A1D8 Time : 1998.0 sec. user=gd_barnes [2011-05-30 20:19:22] 803*2^954292-1 is not prime. Res64: B10B453E0514B7B7 Time : 1781.0 sec. user=gd_barnes [2011-05-30 20:19:22] 827*2^954292-1 is not prime. Res64: 55D9A67DE92F9397 Time : 1781.0 sec. user=gd_barnes [2011-05-30 20:20:57] 965*2^954292-1 is not prime. Res64: DA195C77F112CE66 Time : 1779.0 sec. user=gd_barnes [2011-05-30 20:20:57] 831*2^954293-1 is not prime. Res64: 8D34D2D52C108D1F Time : 1779.0 sec. user=gd_barnes [2011-05-30 20:22:45] 951*2^954293-1 is not prime. Res64: E9EBF7CC4DB892B7 Time : 1779.0 sec. user=gd_barnes [2011-05-30 20:22:45] 979*2^954293-1 is not prime. Res64: 6C5BD66F1A8C9F3B Time : 1779.0 sec. user=gd_barnes [2011-05-30 20:27:14] 1001*2^954294-1 is not prime. Res64: 4C6CD8345A4BE6FD Time : 1777.0 sec. user=gd_barnes [2011-05-30 20:27:14] 841*2^954295-1 is not prime. Res64: 6806B05B30328FD3 Time : 1777.0 sec. user=gd_barnes [2011-05-30 20:29:59] 873*2^954296-1 is not prime. Res64: 0866C252FF491BA9 Time : 1862.0 sec. user=gd_barnes [2011-05-30 20:29:59] 879*2^954296-1 is not prime. Res64: 4AB51DA29A69F783 Time : 1862.0 sec. user=vaughan [2011-05-30 20:30:11] 923*2^954296-1 is not prime. Res64: 4E364B2F9074715D Time : 1825.0 sec. user=gd_barnes [2011-05-30 20:38:30] 935*2^954296-1 is not prime. Res64: 0F8BADE9DABAF6B7 Time : 1859.0 sec. user=gd_barnes [2011-05-30 20:38:30] 983*2^954296-1 is not prime. Res64: F21AFCE1A7297EA1 Time : 1859.0 sec. user=gd_barnes [2011-05-30 20:38:53] 805*2^954297-1 is not prime. Res64: 24C5BE2E71512709 Time : 1859.0 sec. user=gd_barnes [2011-05-30 20:38:53] 871*2^954297-1 is not prime. Res64: 308952E3D6ECC0B9 Time : 1859.0 sec. user=gd_barnes [2011-05-30 20:39:00] 919*2^954297-1 is not prime. Res64: 8BD85574B998CAC1 Time : 1861.0 sec. user=gd_barnes [2011-05-30 20:39:00] 991*2^954297-1 is not prime. Res64: 502204C8D462BF0F Time : 1861.0 sec. user=gd_barnes [2011-05-30 20:42:40] 803*2^954298-1 is not prime. Res64: C62E9375EFE71774 Time : 1866.0 sec. user=gd_barnes [2011-05-30 20:42:40] 821*2^954298-1 is not prime. Res64: 8BA539FAF3837CB4 Time : 1866.0 sec. user=gd_barnes [2011-05-30 20:43:35] 909*2^954299-1 is not prime. Res64: C0C82A90733FB3C9 Time : 1725.0 sec. user=gd_barnes [2011-05-30 20:43:35] 913*2^954299-1 is not prime. Res64: E60D631256EA8F4F Time : 1725.0 sec. user=gd_barnes [2011-05-30 20:44:04] 855*2^954298-1 is not prime. Res64: B2039459AB6D07FE Time : 1841.0 sec. user=gd_barnes [2011-05-30 20:44:04] 857*2^954298-1 is not prime. Res64: A2A64954780D37E6 Time : 1841.0 sec. user=gd_barnes [2011-05-30 20:49:10] 991*2^954299-1 is not prime. Res64: 5911ED012F90086A Time : 1787.0 sec. user=gd_barnes [2011-05-30 20:49:10] 839*2^954300-1 is not prime. Res64: 3AA86D2D5EC5D29D Time : 1787.0 sec. user=gd_barnes [2011-05-30 20:50:38] 801*2^954301-1 is not prime. Res64: E8190843F7959101 Time : 1780.0 sec. user=gd_barnes [2011-05-30 20:50:38] 805*2^954301-1 is not prime. Res64: 7C96C88FB49D9356 Time : 1780.0 sec. user=vaughan [2011-05-30 20:51:24] 867*2^954298-1 is not prime. Res64: 2DC1E831ED90D62D Time : 2276.0 sec. user=vaughan [2011-05-30 20:51:55] 861*2^954294-1 is not prime. Res64: 46D627F427D99954 Time : 3262.0 sec. user=gd_barnes [2011-05-30 20:52:22] 877*2^954301-1 is not prime. Res64: 7B41C93DEEFDB64F Time : 1776.0 sec. user=gd_barnes [2011-05-30 20:52:22] 961*2^954301-1 is not prime. Res64: C4E1A195075B0446 Time : 1776.0 sec. user=gd_barnes [2011-05-30 20:56:58] 885*2^954302-1 is not prime. Res64: 507BD8BD66A96A92 Time : 1783.0 sec. user=gd_barnes [2011-05-30 20:56:58] 825*2^954304-1 is not prime. Res64: 05B7A5B32C96A811 Time : 1783.0 sec. user=gd_barnes [2011-05-30 20:58:44] 959*2^954304-1 is not prime. Res64: 27DB3FE026A4170C Time : 1724.0 sec. user=gd_barnes [2011-05-30 20:58:44] 801*2^954305-1 is not prime. Res64: 81CA0C383B92E824 Time : 1724.0 sec. user=vaughan [2011-05-30 21:01:16] 847*2^954305-1 is not prime. Res64: 4705D49472EFBD78 Time : 1866.0 sec. user=vaughan [2011-05-30 21:08:58] 819*2^954299-1 is not prime. Res64: 131EC40D2FCFA779 Time : 3303.0 sec. user=gd_barnes [2011-05-30 21:10:09] 861*2^954305-1 is not prime. Res64: AC2F085EC1B39B83 Time : 1898.0 sec. user=gd_barnes [2011-05-30 21:10:09] 807*2^954306-1 is not prime. Res64: B4FF8B877DCF5897 Time : 1898.0 sec. user=gd_barnes [2011-05-30 21:10:34] 873*2^954306-1 is not prime. Res64: FEFBFC181D0C8D97 Time : 1900.0 sec. user=gd_barnes [2011-05-30 21:10:34] 923*2^954306-1 is not prime. Res64: 009BD750AB1E3E22 Time : 1900.0 sec. user=gd_barnes [2011-05-30 21:10:43] 947*2^954306-1 is not prime. Res64: A201968A3A67DD57 Time : 1902.0 sec. user=gd_barnes [2011-05-30 21:10:43] 819*2^954307-1 is not prime. Res64: 1D049FCE900BE582 Time : 1902.0 sec. user=gd_barnes [2011-05-30 21:14:23] 861*2^954307-1 is not prime. Res64: 1D76DEFDABC07D62 Time : 1902.0 sec. user=gd_barnes [2011-05-30 21:14:23] 975*2^954307-1 is not prime. Res64: AE4EB852D2F93382 Time : 1902.0 sec. user=gd_barnes [2011-05-30 21:16:00] 995*2^954308-1 is not prime. Res64: 62C67D9AABE7B31D Time : 1915.0 sec. user=gd_barnes [2011-05-30 21:16:00] 969*2^954309-1 is not prime. Res64: AE91E3445B6C4594 Time : 1915.0 sec. user=gd_barnes [2011-05-30 21:16:42] 929*2^954308-1 is not prime. Res64: 4683BCEEF477C54A Time : 1986.0 sec. user=gd_barnes [2011-05-30 21:16:42] 935*2^954308-1 is not prime. Res64: 9BC78C1BE4E97D24 Time : 1986.0 sec. user=gd_barnes [2011-05-30 21:18:50] 831*2^954310-1 is not prime. Res64: 4A9E808EC8C39E57 Time : 1779.0 sec. user=gd_barnes [2011-05-30 21:18:50] 805*2^954311-1 is not prime. Res64: 79BA481FDDCCA289 Time : 1779.0 sec. user=gd_barnes [2011-05-30 21:20:16] 895*2^954311-1 is not prime. Res64: DAAC7C078DBA8760 Time : 1777.0 sec. user=gd_barnes [2011-05-30 21:20:16] 849*2^954312-1 is not prime. Res64: FF40359FDA3C886D Time : 1777.0 sec. user=gd_barnes [2011-05-30 21:22:01] 915*2^954312-1 is not prime. Res64: 623203B8050866AB Time : 1778.0 sec. user=gd_barnes [2011-05-30 21:22:01] 977*2^954312-1 is not prime. Res64: A40F84213A8B6ADB Time : 1778.0 sec. user=ototero [2011-05-30 21:22:12] 965*2^954244-1 is not prime. Res64: 0CBBBFBD60B267E7 Time : 15541.0 sec. user=ototero [2011-05-30 21:22:13] 859*2^954245-1 is not prime. Res64: D5DDC557B679A266 Time : 15542.0 sec. user=ototero [2011-05-30 21:22:13] 915*2^954245-1 is not prime. Res64: 1CF86D181C6FF754 Time : 15542.0 sec. user=ototero [2011-05-30 21:22:13] 927*2^954245-1 is not prime. Res64: 85E98F5932F8BDC7 Time : 15541.0 sec. user=ototero [2011-05-30 21:22:13] 949*2^954245-1 is not prime. Res64: 2F4324CEA3A9E6EB Time : 15541.0 sec. user=ototero [2011-05-30 21:22:13] 951*2^954245-1 is not prime. Res64: 99B0CF59E48C40C6 Time : 15541.0 sec. user=ototero [2011-05-30 21:22:13] 887*2^954246-1 is not prime. Res64: 7FB8818A4234353A Time : 15540.0 sec. user=ototero [2011-05-30 21:22:14] 921*2^954246-1 is not prime. Res64: 899373D74C218CB6 Time : 15541.0 sec. user=ototero [2011-05-30 21:22:14] 923*2^954246-1 is not prime. Res64: BAEE68A7B8BE6BA8 Time : 15541.0 sec. user=ototero [2011-05-30 21:22:14] 947*2^954246-1 is not prime. Res64: 957104683BC7FCDE Time : 15540.0 sec. user=gd_barnes [2011-05-30 21:26:42] 847*2^954313-1 is not prime. Res64: 3BF1D5950014A723 Time : 1783.0 sec. user=gd_barnes [2011-05-30 21:26:42] 895*2^954313-1 is not prime. Res64: 06A743EB1AB75408 Time : 1783.0 sec. user=gd_barnes [2011-05-30 21:29:47] 957*2^954313-1 is not prime. Res64: 5A53DB715D312F36 Time : 1862.0 sec. user=gd_barnes [2011-05-30 21:29:47] 813*2^954314-1 is not prime. Res64: E9129A0670E3818B Time : 1862.0 sec. user=vaughan [2011-05-30 21:32:02] 879*2^954312-1 is not prime. Res64: E94E3DC79517C928 Time : 2438.0 sec. user=vaughan [2011-05-30 21:34:22] 857*2^954314-1 is not prime. Res64: 61BDF7AEA3B388C0 Time : 1986.0 sec. user=vaughan [2011-05-30 21:41:16] 903*2^954312-1 is not prime. Res64: 60225527E4BE743B Time : 2961.0 sec. user=gd_barnes [2011-05-30 21:41:52] 909*2^954315-1 is not prime. Res64: 0977CE5CCF3D8B79 Time : 1902.0 sec. user=gd_barnes [2011-05-30 21:41:52] 969*2^954315-1 is not prime. Res64: 16937B9890820F04 Time : 1902.0 sec. user=gd_barnes [2011-05-30 21:42:12] 803*2^954316-1 is not prime. Res64: 4E8F068177D34D3E Time : 1897.0 sec. user=gd_barnes [2011-05-30 21:42:12] 825*2^954316-1 is not prime. Res64: C811B3AE89CD4DB4 Time : 1897.0 sec. user=gd_barnes [2011-05-30 21:42:22] 855*2^954316-1 is not prime. Res64: 81C73A0C4423E402 Time : 1898.0 sec. user=gd_barnes [2011-05-30 21:42:22] 899*2^954316-1 is not prime. Res64: 0511A06D52E1C2FB Time : 1898.0 sec. user=gd_barnes [2011-05-30 21:44:41] 865*2^954317-1 is not prime. Res64: 976977FCCCAE4B25 Time : 1720.0 sec. user=gd_barnes [2011-05-30 21:44:41] 815*2^954318-1 is not prime. Res64: C750DDFFC3F59758 Time : 1720.0 sec. user=gd_barnes [2011-05-30 21:46:02] 927*2^954316-1 is not prime. Res64: F29069DDF77776F3 Time : 1898.0 sec. user=gd_barnes [2011-05-30 21:46:02] 975*2^954316-1 is not prime. Res64: B1EE4A3435D8F84C Time : 1898.0 sec. user=gd_barnes [2011-05-30 21:47:18] 863*2^954318-1 is not prime. Res64: A8829249208D7609 Time : 1835.0 sec. user=gd_barnes [2011-05-30 21:47:18] 893*2^954318-1 is not prime. Res64: 6768A7CB15E012CA Time : 1835.0 sec. user=gd_barnes [2011-05-30 21:48:29] 927*2^954318-1 is not prime. Res64: 72FA694FA3128E65 Time : 1778.0 sec. user=gd_barnes [2011-05-30 21:48:29] 951*2^954318-1 is not prime. Res64: BFB89C226FD31A98 Time : 1778.0 sec. user=gd_barnes [2011-05-30 21:49:57] 841*2^954319-1 is not prime. Res64: 5F786EF8EF6B2534 Time : 1779.0 sec. user=gd_barnes [2011-05-30 21:49:57] 889*2^954319-1 is not prime. Res64: 25A5CE7B9DD7F87C Time : 1779.0 sec. user=gd_barnes [2011-05-30 21:51:41] 895*2^954319-1 is not prime. Res64: C683111CE66A54DA Time : 1779.0 sec. user=gd_barnes [2011-05-30 21:51:41] 985*2^954319-1 is not prime. Res64: 67D4D8CBC5FEC4D6 Time : 1779.0 sec. user=vaughan [2011-05-30 21:53:48] 823*2^954315-1 is not prime. Res64: 8AF124B862E33B2C Time : 2690.0 sec. user=gd_barnes [2011-05-30 21:56:26] 939*2^954323-1 is not prime. Res64: 07404F0F180B081A Time : 1783.0 sec. user=gd_barnes [2011-05-30 21:56:26] 981*2^954323-1 is not prime. Res64: 3B7801BF3F35060A Time : 1783.0 sec. user=gd_barnes [2011-05-30 21:59:55] 993*2^954323-1 is not prime. Res64: A6AD606DA53E7F03 Time : 1806.0 sec. user=gd_barnes [2011-05-30 21:59:55] 843*2^954324-1 is not prime. Res64: 777452065E1F512C Time : 1806.0 sec. user=vaughan [2011-05-30 22:09:58] 887*2^954324-1 is not prime. Res64: A5044A1336245B69 Time : 2276.0 sec. user=gd_barnes [2011-05-30 22:13:00] 877*2^954325-1 is not prime. Res64: 95865B6F0E292F4E Time : 1867.0 sec. user=gd_barnes [2011-05-30 22:13:00] 889*2^954325-1 is not prime. Res64: EF376C60F7A09F0C Time : 1867.0 sec. user=gd_barnes [2011-05-30 22:13:16] 815*2^954326-1 is not prime. Res64: 8EB0607DAE4B6DC7 Time : 1863.0 sec. user=gd_barnes [2011-05-30 22:13:16] 851*2^954326-1 is not prime. Res64: B68E6274F68F6087 Time : 1863.0 sec. user=gd_barnes [2011-05-30 22:13:29] 861*2^954326-1 is not prime. Res64: EB4EAC38A72C0548 Time : 1866.0 sec. user=gd_barnes [2011-05-30 22:13:29] 887*2^954326-1 is not prime. Res64: 48CA46382BA9F0C2 Time : 1866.0 sec. user=vaughan [2011-05-30 22:14:53] 909*2^954324-1 is not prime. Res64: BB19ED54BA4792EC Time : 2431.0 sec. user=gd_barnes [2011-05-30 22:17:08] 859*2^954327-1 is not prime. Res64: 0BC73F60988B9906 Time : 1865.0 sec. user=gd_barnes [2011-05-30 22:17:08] 915*2^954328-1 is not prime. Res64: 21CB0E0D858FA90D Time : 1865.0 sec. user=gd_barnes [2011-05-30 22:17:41] 843*2^954327-1 is not prime. Res64: DFC8066F0DA4EC7E Time : 1979.0 sec. user=gd_barnes [2011-05-30 22:17:41] 849*2^954327-1 is not prime. Res64: 27880202E0E61F6A Time : 1979.0 sec. user=gd_barnes [2011-05-30 22:18:08] 989*2^954328-1 is not prime. Res64: EE5B91602BB6143D Time : 1778.0 sec. user=gd_barnes [2011-05-30 22:18:08] 841*2^954329-1 is not prime. Res64: E8C64CD3FC4E749C Time : 1778.0 sec. user=gd_barnes [2011-05-30 22:19:02] 923*2^954328-1 is not prime. Res64: CD7B5E171735B6A1 Time : 1903.0 sec. user=gd_barnes [2011-05-30 22:19:02] 927*2^954328-1 is not prime. Res64: A8D594863CF91FE4 Time : 1903.0 sec. user=gd_barnes [2011-05-30 22:19:36] 861*2^954329-1 is not prime. Res64: 11C7BE74AA25C759 Time : 1778.0 sec. user=gd_barnes [2011-05-30 22:19:36] 885*2^954329-1 is not prime. Res64: A56B04A37C5AE1BC Time : 1778.0 sec. user=gd_barnes [2011-05-30 22:21:19] 889*2^954329-1 is not prime. Res64: 0C722CA482D1C0EF Time : 1777.0 sec. user=gd_barnes [2011-05-30 22:21:19] 907*2^954329-1 is not prime. Res64: FE2E29EAA08BECCE Time : 1777.0 sec. user=vaughan [2011-05-30 22:24:45] 819*2^954325-1 is not prime. Res64: A6685EBFD1CBD716 Time : 2609.0 sec. user=gd_barnes [2011-05-30 22:26:07] 987*2^954329-1 is not prime. Res64: 829C248062E0793B Time : 1780.0 sec. user=gd_barnes [2011-05-30 22:26:07] 845*2^954330-1 is not prime. Res64: B13B3CB82786A6FD Time : 1780.0 sec. user=gd_barnes [2011-05-30 22:31:28] 887*2^954330-1 is not prime. Res64: DA274545918D9A45 Time : 1892.0 sec. user=gd_barnes [2011-05-30 22:31:28] 819*2^954331-1 is not prime. Res64: 54664DDF741E0C67 Time : 1892.0 sec. user=vaughan [2011-05-30 22:41:30] 951*2^954329-1 is not prime. Res64: EB0832C5B4519679 Time : 2863.0 sec. user=gd_barnes [2011-05-30 22:44:26] 855*2^954332-1 is not prime. Res64: 84DCBF40566ED344 Time : 1885.0 sec. user=gd_barnes [2011-05-30 22:44:26] 875*2^954332-1 is not prime. Res64: 9A6BC63304893081 Time : 1885.0 sec. user=gd_barnes [2011-05-30 22:44:44] 983*2^954332-1 is not prime. Res64: 8B6221E4B901FD8E Time : 1887.0 sec. user=gd_barnes [2011-05-30 22:44:44] 861*2^954333-1 is not prime. Res64: 8FB8580AF48DB844 Time : 1887.0 sec. user=gd_barnes [2011-05-30 22:44:56] 955*2^954333-1 is not prime. Res64: 34DB8574B138A880 Time : 1886.0 sec. user=gd_barnes [2011-05-30 22:44:56] 815*2^954334-1 is not prime. Res64: F496CE5FF0BD4A4D Time : 1886.0 sec. user=gd_barnes [2011-05-30 22:46:49] 957*2^954334-1 is not prime. Res64: E5AC44A17E8D7033 Time : 1747.0 sec. user=gd_barnes [2011-05-30 22:46:49] 993*2^954334-1 is not prime. Res64: B70183FB48B473CE Time : 1747.0 sec. user=gd_barnes [2011-05-30 22:47:47] 819*2^954335-1 is not prime. Res64: D9327580B54DFAA9 Time : 1778.0 sec. user=gd_barnes [2011-05-30 22:47:47] 855*2^954335-1 is not prime. Res64: A5452F1A7392F2C3 Time : 1778.0 sec. user=gd_barnes [2011-05-30 22:48:03] 913*2^954335-1 is not prime. Res64: 9496B0A9E9438FDF Time : 1740.0 sec. user=gd_barnes [2011-05-30 22:48:03] 921*2^954335-1 is not prime. Res64: 0E387ACD321D42A1 Time : 1740.0 sec. user=gd_barnes [2011-05-30 22:48:38] 881*2^954334-1 is not prime. Res64: 2612701FE0DB6D90 Time : 1889.0 sec. user=gd_barnes [2011-05-30 22:48:38] 923*2^954334-1 is not prime. Res64: 6054EAADB6AC8C68 Time : 1889.0 sec. user=vaughan [2011-05-30 22:49:14] 855*2^954331-1 is not prime. Res64: EEE6C0895E96C91D Time : 2357.0 sec. user=gd_barnes [2011-05-30 22:49:15] 973*2^954335-1 is not prime. Res64: BC285D79FAF0CBAB Time : 1778.0 sec. user=gd_barnes [2011-05-30 22:49:15] 991*2^954335-1 is not prime. Res64: 97311A3E0D610D6D Time : 1778.0 sec. user=vaughan [2011-05-30 22:49:55] 861*2^954334-1 is not prime. Res64: 293753194A7EB0BF Time : 2102.0 sec. user=gd_barnes [2011-05-30 22:51:02] 873*2^954336-1 is not prime. Res64: 8774A12E18C7E89D Time : 1782.0 sec. user=gd_barnes [2011-05-30 22:51:02] 875*2^954336-1 is not prime. Res64: 0B2ACC888CF8F82B Time : 1782.0 sec. user=gd_barnes [2011-05-30 22:55:44] 909*2^954336-1 is not prime. Res64: 7B7CF3657DD48451 Time : 1776.0 sec. user=gd_barnes [2011-05-30 22:55:44] 801*2^954337-1 is not prime. Res64: F029EB3F079CD455 Time : 1776.0 sec. user=gd_barnes [2011-05-30 23:04:15] 817*2^954337-1 is not prime. Res64: B483F6357CB31FFC Time : 1966.0 sec. user=gd_barnes [2011-05-30 23:04:15] 931*2^954337-1 is not prime. Res64: C08390A74B94AF88 Time : 1966.0 sec. user=gd_barnes [2011-05-30 23:16:15] 963*2^954338-1 is not prime. Res64: 001EA576405F12F3 Time : 1908.0 sec. user=gd_barnes [2011-05-30 23:16:15] 1001*2^954338-1 is not prime. Res64: A45A4FBD22A9BE9F Time : 1908.0 sec. user=gd_barnes [2011-05-30 23:16:32] 801*2^954339-1 is not prime. Res64: 85A6E2C144AB13F3 Time : 1907.0 sec. user=gd_barnes [2011-05-30 23:16:32] 853*2^954339-1 is not prime. Res64: E966BDDFBABEDA98 Time : 1907.0 sec. user=gd_barnes [2011-05-30 23:16:47] 975*2^954339-1 is not prime. Res64: EA0796AC4B85464C Time : 1910.0 sec. user=gd_barnes [2011-05-30 23:16:47] 825*2^954340-1 is not prime. Res64: F594F7A3D061B9CB Time : 1910.0 sec. user=gd_barnes [2011-05-30 23:17:25] 829*2^954341-1 is not prime. Res64: 870D9EE9F5850EAA Time : 1777.0 sec. user=gd_barnes [2011-05-30 23:17:25] 901*2^954341-1 is not prime. Res64: 055B1B37771FB569 Time : 1777.0 sec. user=gd_barnes [2011-05-30 23:18:00] 899*2^954340-1 is not prime. Res64: 6513858E47319498 Time : 1870.0 sec. user=gd_barnes [2011-05-30 23:18:00] 989*2^954340-1 is not prime. Res64: 5791441D35D19D83 Time : 1870.0 sec. user=vaughan [2011-05-30 23:18:05] 905*2^954336-1 is not prime. Res64: 1E26CD92A20CC852 Time : 3200.0 sec. user=gd_barnes [2011-05-30 23:18:56] 885*2^954343-1 is not prime. Res64: 35CAB5A64AD1307B Time : 1780.0 sec. user=gd_barnes [2011-05-30 23:18:56] 973*2^954343-1 is not prime. Res64: DE11F53032001C81 Time : 1780.0 sec. user=gd_barnes [2011-05-30 23:19:09] 843*2^954342-1 is not prime. Res64: 2D14B29FD78BDF9B Time : 1865.0 sec. user=gd_barnes [2011-05-30 23:19:09] 903*2^954342-1 is not prime. Res64: 264FA06157B69077 Time : 1865.0 sec. user=gd_barnes [2011-05-30 23:20:28] 921*2^954342-1 is not prime. Res64: A90119CCE7B773D5 Time : 1909.0 sec. user=gd_barnes [2011-05-30 23:20:28] 945*2^954342-1 is not prime. Res64: 61234AD191F79C23 Time : 1909.0 sec. user=gd_barnes [2011-05-30 23:20:46] 861*2^954345-1 is not prime. Res64: E8B0B2A36D131A48 Time : 1783.0 sec. user=gd_barnes [2011-05-30 23:20:46] 885*2^954345-1 is not prime. Res64: B6E31C9540817D21 Time : 1783.0 sec. user=vaughan [2011-05-30 23:25:01] 813*2^954344-1 is not prime. Res64: E89AA8017B08FD14 Time : 2106.0 sec. user=gd_barnes [2011-05-30 23:25:27] 915*2^954345-1 is not prime. Res64: E6F71421FAD74DFE Time : 1782.0 sec. user=gd_barnes [2011-05-30 23:25:27] 991*2^954345-1 is not prime. Res64: 82878D4D21C4DBEE Time : 1782.0 sec. user=vaughan [2011-05-30 23:25:50] 811*2^954343-1 is not prime. Res64: 3916562048CF7E29 Time : 2196.0 sec. user=vaughan [2011-05-30 23:35:24] 827*2^954338-1 is not prime. Res64: A8D3E9EC2B7A741D Time : 3234.0 sec. user=gd_barnes [2011-05-30 23:35:41] 917*2^954346-1 is not prime. Res64: 40C7E2BA47057436 Time : 1884.0 sec. user=gd_barnes [2011-05-30 23:35:41] 933*2^954346-1 is not prime. Res64: 29BD42E57E66E7D5 Time : 1884.0 sec. user=gd_barnes [2011-05-30 23:47:01] 819*2^954348-1 is not prime. Res64: 34D1D9962126AD2A Time : 1775.0 sec. user=gd_barnes [2011-05-30 23:47:01] 825*2^954348-1 is not prime. Res64: BCBC336CEB936293 Time : 1775.0 sec. user=gd_barnes [2011-05-30 23:47:06] 843*2^954348-1 is not prime. Res64: 0C3C4E6DEE34B8D5 Time : 1745.0 sec. user=gd_barnes [2011-05-30 23:47:06] 959*2^954348-1 is not prime. Res64: 34DE5CAB00C1F95E Time : 1745.0 sec. user=gd_barnes [2011-05-30 23:48:09] 947*2^954346-1 is not prime. Res64: EF18C294EF57DC0A Time : 1913.0 sec. user=gd_barnes [2011-05-30 23:48:09] 841*2^954347-1 is not prime. Res64: D5120CA2640CF68C Time : 1913.0 sec. user=gd_barnes [2011-05-30 23:48:25] 861*2^954347-1 is not prime. Res64: 24B4FDFB61F54AB8 Time : 1912.0 sec. user=gd_barnes [2011-05-30 23:48:25] 945*2^954347-1 is not prime. Res64: 79BADA5D4538CABC Time : 1912.0 sec. user=gd_barnes [2011-05-30 23:48:34] 979*2^954349-1 is not prime. Res64: 10F63C5B500C1356 Time : 1777.0 sec. user=gd_barnes [2011-05-30 23:48:34] 911*2^954350-1 is not prime. Res64: 66EFC8494F07262D Time : 1777.0 sec. user=gd_barnes [2011-05-30 23:48:36] 981*2^954347-1 is not prime. Res64: 0FCC7246E159FCF8 Time : 1908.0 sec. user=gd_barnes [2011-05-30 23:48:36] 999*2^954347-1 is not prime. Res64: 6669EAE126653D66 Time : 1908.0 sec. user=gd_barnes [2011-05-30 23:49:33] 923*2^954350-1 is not prime. Res64: 0AC1B8138B74C82C Time : 1823.0 sec. user=gd_barnes [2011-05-30 23:49:33] 829*2^954351-1 is not prime. Res64: C03DAC1B32AF367C Time : 1823.0 sec. user=gd_barnes [2011-05-30 23:50:27] 825*2^954352-1 is not prime. Res64: 7449D05B0FD42F2A Time : 1780.0 sec. user=gd_barnes [2011-05-30 23:50:27] 875*2^954352-1 is not prime. Res64: C22E225086996547 Time : 1780.0 sec. user=gd_barnes [2011-05-30 23:52:14] 861*2^954351-1 is not prime. Res64: 5B4093C258F2E38E Time : 1905.0 sec. user=gd_barnes [2011-05-30 23:52:14] 931*2^954351-1 is not prime. Res64: FBC297D0FF25B16F Time : 1905.0 sec. user=gd_barnes [2011-05-30 23:55:07] 989*2^954352-1 is not prime. Res64: 35A906E09C100775 Time : 1779.0 sec. user=gd_barnes [2011-05-30 23:55:07] 889*2^954353-1 is not prime. Res64: 948DB9B60FDD9CC4 Time : 1779.0 sec. user=vaughan [2011-05-30 23:56:33] 937*2^954353-1 is not prime. Res64: 8A5BAC30135E1C44 Time : 1843.0 sec. user=vaughan [2011-05-30 23:59:19] 903*2^954352-1 is not prime. Res64: AF1B838B599E3CFC Time : 2058.0 sec.