user=mdettweiler [2012-11-20 00:02:27] 913*2^1235003-1 is not prime. Res64: 7E1DC9A3B962B1E1 Time : 0.0 sec. user=mdettweiler [2012-11-20 00:02:28] 963*2^1235003-1 is not prime. Res64: 0937EF867E67DB84 Time : 0.0 sec. user=gamer007 [2012-11-20 00:04:56] 615*2^1235000-1 is not prime. Res64: E6AF768E5DF64F4C Time : 0.0 sec. user=gamer007 [2012-11-20 00:04:56] 725*2^1235000-1 is not prime. Res64: 1EE61A7D4CD5A57C Time : 0.0 sec. user=gamer007 [2012-11-20 00:04:58] 755*2^1235000-1 is not prime. Res64: 4C7E158CEAD41E8A Time : 0.0 sec. user=gamer007 [2012-11-20 00:04:59] 923*2^1235000-1 is not prime. Res64: 1320801EC6CE6813 Time : 0.0 sec. user=gamer007 [2012-11-20 00:05:01] 929*2^1235000-1 is not prime. Res64: 19B2B7B0C1580564 Time : 0.0 sec. user=vaughan [2012-11-20 00:05:39] 741*2^1235003-1 is not prime. Res64: B8C7C289C9C0C5C4 Time : 0.0 sec. user=vaughan [2012-11-20 00:05:43] 871*2^1235003-1 is not prime. Res64: 878B3A3D00964701 Time : 0.0 sec. user=vaughan [2012-11-20 00:05:50] 885*2^1235003-1 is not prime. Res64: 8F4C11124732B248 Time : 0.0 sec. user=vaughan [2012-11-20 00:06:22] 609*2^1235004-1 is not prime. Res64: C969BB2DD4B38DA4 Time : 0.0 sec. user=vaughan [2012-11-20 00:06:33] 707*2^1235004-1 is not prime. Res64: 54A2E059E60AE11C Time : 0.0 sec. user=vaughan [2012-11-20 00:07:38] 723*2^1235004-1 is not prime. Res64: 4551C37703C26659 Time : 0.0 sec. user=mdettweiler [2012-11-20 00:14:07] 899*2^1235004-1 is not prime. Res64: BB6DDFF33005D0D4 Time : 0.0 sec. user=mdettweiler [2012-11-20 00:14:10] 905*2^1235004-1 is not prime. Res64: FBD9677F3E5DECD6 Time : 0.0 sec. user=vaughan [2012-11-20 00:16:14] 783*2^1235004-1 is not prime. Res64: FB139DB0E53651F6 Time : 0.0 sec. user=vaughan [2012-11-20 00:16:27] 765*2^1235004-1 is not prime. Res64: 6D15C0116E1CF95C Time : 0.0 sec. user=mdettweiler [2012-11-20 00:23:21] 705*2^1235008-1 is not prime. Res64: E7CC18259D06A088 Time : 0.0 sec. user=mdettweiler [2012-11-20 00:23:22] 825*2^1235008-1 is not prime. Res64: 52B7893513D77F5C Time : 0.0 sec. user=vaughan [2012-11-20 00:23:51] 805*2^1235005-1 is not prime. Res64: D8AF3BF694EF219A Time : 0.0 sec. user=vaughan [2012-11-20 00:24:28] 717*2^1235005-1 is not prime. Res64: 6BEDE765D58605A5 Time : 0.0 sec. user=vaughan [2012-11-20 00:29:43] 675*2^1235009-1 is not prime. Res64: 3C1F4D1DFD7B03FC Time : 0.0 sec. user=vaughan [2012-11-20 00:29:46] 795*2^1235009-1 is not prime. Res64: B198B81D692B71D1 Time : 0.0 sec. user=vaughan [2012-11-20 00:29:57] 801*2^1235009-1 is not prime. Res64: 8324D36BF54A0406 Time : 0.0 sec. user=vaughan [2012-11-20 00:30:29] 879*2^1235009-1 is not prime. Res64: 272B040ADA17F71F Time : 0.0 sec. user=vaughan [2012-11-20 00:30:45] 949*2^1235009-1 is not prime. Res64: 2639B63EF4A46F7E Time : 0.0 sec. user=vaughan [2012-11-20 00:32:01] 633*2^1235010-1 is not prime. Res64: B141A1D1A369D9C1 Time : 0.0 sec. user=mdettweiler [2012-11-20 00:35:14] 797*2^1235010-1 is not prime. Res64: E81CF722C79C0356 Time : 0.0 sec. user=mdettweiler [2012-11-20 00:35:15] 887*2^1235010-1 is not prime. Res64: F485395A5BF5FE37 Time : 0.0 sec. user=vaughan [2012-11-20 00:43:05] 1001*2^1235010-1 is not prime. Res64: 4E8F4DD7145F28AC Time : 0.0 sec. user=vaughan [2012-11-20 00:43:27] 625*2^1235011-1 is not prime. Res64: 77D7A73F9907F038 Time : 0.0 sec. user=mdettweiler [2012-11-20 00:44:16] 693*2^1235011-1 is not prime. Res64: 31140B98079441E0 Time : 0.0 sec. user=mdettweiler [2012-11-20 00:44:16] 741*2^1235011-1 is not prime. Res64: B61C399CA44685E4 Time : 0.0 sec. user=gamer007 [2012-11-20 00:47:24] 871*2^1235005-1 is not prime. Res64: 8767C5F0D036B04D Time : 0.0 sec. user=gamer007 [2012-11-20 00:47:24] 877*2^1235005-1 is not prime. Res64: 1625C057E0DDC051 Time : 0.0 sec. user=gamer007 [2012-11-20 00:47:25] 885*2^1235005-1 is not prime. Res64: 9D0FC3C008A193E1 Time : 0.0 sec. user=gamer007 [2012-11-20 00:47:25] 895*2^1235005-1 is not prime. Res64: 1798FE4D726E7DCC Time : 0.0 sec. user=gamer007 [2012-11-20 00:47:25] 603*2^1235006-1 is not prime. Res64: A13BC199AABD029B Time : 0.0 sec. user=gamer007 [2012-11-20 00:47:39] 705*2^1235006-1 is not prime. Res64: 823C38F13F06D8BF Time : 0.0 sec. user=gamer007 [2012-11-20 00:47:39] 713*2^1235006-1 is not prime. Res64: CD86F10D54B814D7 Time : 0.0 sec. user=gamer007 [2012-11-20 00:47:40] 843*2^1235006-1 is not prime. Res64: 41998F9B7FDFFC9C Time : 0.0 sec. user=gamer007 [2012-11-20 00:47:40] 875*2^1235006-1 is not prime. Res64: EB98DDD766E7A8D6 Time : 0.0 sec. user=gamer007 [2012-11-20 00:47:40] 903*2^1235006-1 is not prime. Res64: 10DDCDA31D31FD14 Time : 0.0 sec. user=gamer007 [2012-11-20 00:48:22] 741*2^1235007-1 is not prime. Res64: F1E4820DA9A290D9 Time : 0.0 sec. user=gamer007 [2012-11-20 00:48:23] 909*2^1235007-1 is not prime. Res64: DEB03C1CA7B1075C Time : 0.0 sec. user=gamer007 [2012-11-20 00:48:23] 623*2^1235008-1 is not prime. Res64: A9CC78431890E8BB Time : 0.0 sec. user=gamer007 [2012-11-20 00:48:23] 635*2^1235008-1 is not prime. Res64: 2254563F13D91264 Time : 0.0 sec. user=gamer007 [2012-11-20 00:48:24] 699*2^1235008-1 is not prime. Res64: 4269E5A734D5C1B7 Time : 0.0 sec. user=vaughan [2012-11-20 00:50:48] 769*2^1235011-1 is not prime. Res64: 4B2F818B517902D3 Time : 0.0 sec. user=vaughan [2012-11-20 00:51:30] 901*2^1235011-1 is not prime. Res64: E99CED765833B97C Time : 0.0 sec. user=gamer007 [2012-11-20 00:53:21] 849*2^1235008-1 is not prime. Res64: 3D73124054B8B6F6 Time : 0.0 sec. user=gamer007 [2012-11-20 00:53:21] 863*2^1235008-1 is not prime. Res64: 157FA507833F1BAE Time : 0.0 sec. user=gamer007 [2012-11-20 00:53:21] 887*2^1235008-1 is not prime. Res64: 57AE5EA5D3CE7845 Time : 0.0 sec. user=gamer007 [2012-11-20 00:53:21] 897*2^1235008-1 is not prime. Res64: 7CB5353905B7CA4C Time : 0.0 sec. user=gamer007 [2012-11-20 00:53:22] 627*2^1235009-1 is not prime. Res64: BFE3CAE1C54ED396 Time : 0.0 sec. user=vaughan [2012-11-20 00:53:41] 979*2^1235011-1 is not prime. Res64: 0BB666B28B48D030 Time : 0.0 sec. user=vaughan [2012-11-20 00:53:43] 909*2^1235011-1 is not prime. Res64: 8E318D2ADB64C8F5 Time : 0.0 sec. user=vaughan [2012-11-20 00:53:52] 603*2^1235012-1 is not prime. Res64: C631CF06B5FB9EAE Time : 0.0 sec. user=vaughan [2012-11-20 00:54:32] 617*2^1235012-1 is not prime. Res64: 8E2E450113EED52C Time : 0.0 sec. user=vaughan [2012-11-20 00:54:45] 813*2^1235012-1 is not prime. Res64: 734396A207B67342 Time : 0.0 sec. user=vaughan [2012-11-20 00:55:56] 649*2^1235013-1 is not prime. Res64: BF5E3029BF53E9AA Time : 0.0 sec. user=mdettweiler [2012-11-20 00:56:10] 735*2^1235013-1 is not prime. Res64: 815570AE8F0E3F0B Time : 0.0 sec. user=mdettweiler [2012-11-20 00:56:10] 745*2^1235013-1 is not prime. Res64: F8CC2AC7A6F407B8 Time : 0.0 sec. user=mdettweiler [2012-11-20 01:05:10] 849*2^1235013-1 is not prime. Res64: 6535CAA97912481B Time : 0.0 sec. user=mdettweiler [2012-11-20 01:05:12] 895*2^1235013-1 is not prime. Res64: 35702BFB8A6E7025 Time : 0.0 sec. user=vaughan [2012-11-20 01:09:52] 751*2^1235013-1 is not prime. Res64: C38A5AA4A44027AA Time : 0.0 sec. user=vaughan [2012-11-20 01:10:27] 817*2^1235013-1 is not prime. Res64: 2AA3F1B156352085 Time : 0.0 sec. user=mdettweiler [2012-11-20 01:17:04] 687*2^1235018-1 is not prime. Res64: 2954DFC450D3A4A7 Time : 0.0 sec. user=mdettweiler [2012-11-20 01:17:06] 707*2^1235018-1 is not prime. Res64: 6293CBA4D3509F61 Time : 0.0 sec. user=vaughan [2012-11-20 01:17:32] 807*2^1235017-1 is not prime. Res64: 04D1E5813D36A9A1 Time : 0.0 sec. user=vaughan [2012-11-20 01:17:33] 939*2^1235015-1 is not prime. Res64: E24C053D6BE6546E Time : 0.0 sec. user=vaughan [2012-11-20 01:17:34] 983*2^1235016-1 is not prime. Res64: 2293CF23C584D2F8 Time : 0.0 sec. user=vaughan [2012-11-20 01:17:45] 817*2^1235017-1 is not prime. Res64: 8B5A0ECB8A82CFD0 Time : 0.0 sec. user=vaughan [2012-11-20 01:18:18] 981*2^1235015-1 is not prime. Res64: B779FCDEA6BE19D5 Time : 0.0 sec. user=vaughan [2012-11-20 01:18:22] 819*2^1235017-1 is not prime. Res64: F9E89B4FAD70F528 Time : 0.0 sec. user=vaughan [2012-11-20 01:18:38] 641*2^1235018-1 is not prime. Res64: BCB9A5E8E135244D Time : 0.0 sec. user=vaughan [2012-11-20 01:19:51] 671*2^1235018-1 is not prime. Res64: 089099F5C0C4CDAD Time : 0.0 sec. user=mdettweiler [2012-11-20 01:26:14] 771*2^1235018-1 is not prime. Res64: 86C50EC560A833ED Time : 0.0 sec. user=mdettweiler [2012-11-20 01:26:15] 837*2^1235018-1 is not prime. Res64: F501773EADA2B917 Time : 0.0 sec. user=vaughan [2012-11-20 01:37:55] 923*2^1235018-1 is not prime. Res64: 9639CBC6A0D696EC Time : 0.0 sec. user=vaughan [2012-11-20 01:37:55] 927*2^1235018-1 is not prime. Res64: 9B8AEC558D2D6538 Time : 0.0 sec. user=mdettweiler [2012-11-20 01:38:15] 951*2^1235018-1 is not prime. Res64: 906EAF8F37125E4A Time : 0.0 sec. user=mdettweiler [2012-11-20 01:38:16] 977*2^1235018-1 is not prime. Res64: E6605292A78834B0 Time : 0.0 sec. user=gamer007 [2012-11-20 01:38:24] 731*2^1235014-1 is not prime. Res64: 121F79C1A32C1162 Time : 0.0 sec. user=gamer007 [2012-11-20 01:38:24] 791*2^1235014-1 is not prime. Res64: 6A6E6E3E32C15C3F Time : 0.0 sec. user=gamer007 [2012-11-20 01:38:24] 863*2^1235014-1 is not prime. Res64: 0CF870ED2466B98C Time : 0.0 sec. user=gamer007 [2012-11-20 01:38:24] 887*2^1235014-1 is not prime. Res64: 8E89EAD9CC672836 Time : 0.0 sec. user=gamer007 [2012-11-20 01:38:25] 965*2^1235014-1 is not prime. Res64: 7B8E3E7908B2BAC1 Time : 0.0 sec. user=gamer007 [2012-11-20 01:38:32] 915*2^1235013-1 is not prime. Res64: 1E392666197C5833 Time : 0.0 sec. user=gamer007 [2012-11-20 01:38:32] 919*2^1235013-1 is not prime. Res64: 0120D7A63EB3E7AC Time : 0.0 sec. user=gamer007 [2012-11-20 01:38:33] 663*2^1235014-1 is not prime. Res64: 71CAE7691DE7CA7F Time : 0.0 sec. user=gamer007 [2012-11-20 01:38:33] 677*2^1235014-1 is not prime. Res64: BF6E5939F4E1D26E Time : 0.0 sec. user=gamer007 [2012-11-20 01:38:33] 681*2^1235014-1 is not prime. Res64: A8885996B98D2FD1 Time : 0.0 sec. user=gamer007 [2012-11-20 01:40:21] 649*2^1235015-1 is not prime. Res64: 902E48EF0735C903 Time : 0.0 sec. user=gamer007 [2012-11-20 01:40:21] 663*2^1235015-1 is not prime. Res64: 054B626544DD399A Time : 0.0 sec. user=gamer007 [2012-11-20 01:40:21] 759*2^1235015-1 is not prime. Res64: ECD2036FF2A0407B Time : 0.0 sec. user=gamer007 [2012-11-20 01:40:22] 763*2^1235015-1 is not prime. Res64: 00C6387556D6A54E Time : 0.0 sec. user=gamer007 [2012-11-20 01:40:22] 885*2^1235015-1 is not prime. Res64: 3056117B5EE59BB2 Time : 0.0 sec. user=vaughan [2012-11-20 01:41:33] 995*2^1235018-1 is not prime. Res64: C1722300E96E6BA2 Time : 0.0 sec. user=vaughan [2012-11-20 01:41:48] 973*2^1235019-1 is not prime. Res64: 2EA93E08BA33DCFE Time : 0.0 sec. user=vaughan [2012-11-20 01:41:51] 895*2^1235019-1 is not prime. Res64: EAE987E49A154AD2 Time : 0.0 sec. user=vaughan [2012-11-20 01:42:28] 687*2^1235020-1 is not prime. Res64: 0A24622DD93F2766 Time : 0.0 sec. user=vaughan [2012-11-20 01:42:48] 813*2^1235020-1 is not prime. Res64: 693D9B0D9C405774 Time : 0.0 sec. user=vaughan [2012-11-20 01:43:51] 855*2^1235020-1 is not prime. Res64: F795CE72A4CAF84C Time : 0.0 sec. user=gamer007 [2012-11-20 01:44:26] 699*2^1235016-1 is not prime. Res64: B572FD03D6049672 Time : 0.0 sec. user=gamer007 [2012-11-20 01:44:26] 767*2^1235016-1 is not prime. Res64: 29809394F63C7C83 Time : 0.0 sec. user=gamer007 [2012-11-20 01:44:27] 789*2^1235016-1 is not prime. Res64: 65D7A865DE653C45 Time : 0.0 sec. user=gamer007 [2012-11-20 01:44:27] 843*2^1235016-1 is not prime. Res64: A2170E543B64F29D Time : 0.0 sec. user=gamer007 [2012-11-20 01:44:27] 845*2^1235016-1 is not prime. Res64: D76FD2DF136C8D26 Time : 0.0 sec. user=vaughan [2012-11-20 01:44:41] 795*2^1235019-1 is not prime. Res64: 7E9D376EE8325625 Time : 0.0 sec. user=vaughan [2012-11-20 01:45:39] 999*2^1235019-1 is not prime. Res64: FECD1DD7B5D7FEFA Time : 0.0 sec. user=mdettweiler [2012-11-20 01:47:11] 953*2^1235020-1 is not prime. Res64: C9FAC9036AD88673 Time : 0.0 sec. user=mdettweiler [2012-11-20 01:47:11] 865*2^1235021-1 is not prime. Res64: C89FBAA1AF84620E Time : 0.0 sec. user=mdettweiler [2012-11-20 01:59:10] 791*2^1235022-1 is not prime. Res64: 5DA2EA5C79A18510 Time : 0.0 sec. user=mdettweiler [2012-11-20 01:59:10] 801*2^1235022-1 is not prime. Res64: 8420DB95FE9CB5B4 Time : 0.0 sec. user=vaughan [2012-11-20 02:04:21] 967*2^1235021-1 is not prime. Res64: 602886813A6435D9 Time : 0.0 sec. user=vaughan [2012-11-20 02:04:37] 871*2^1235021-1 is not prime. Res64: 84AA514164D82D4B Time : 0.0 sec. user=vaughan [2012-11-20 02:05:27] 795*2^1235025-1 is not prime. Res64: 1B346E430E3B2079 Time : 0.0 sec. user=vaughan [2012-11-20 02:05:44] 919*2^1235025-1 is not prime. Res64: 55951F2FE72383A1 Time : 0.0 sec. user=vaughan [2012-11-20 02:05:46] 603*2^1235026-1 is not prime. Res64: 10580563F80511E7 Time : 0.0 sec. user=vaughan [2012-11-20 02:06:20] 623*2^1235026-1 is not prime. Res64: 16C09BC1529897A6 Time : 0.0 sec. user=vaughan [2012-11-20 02:06:42] 645*2^1235026-1 is not prime. Res64: 4DE044E36BDFDF76 Time : 0.0 sec. user=vaughan [2012-11-20 02:07:44] 657*2^1235026-1 is not prime. Res64: 218D8904D5C26F2B Time : 0.0 sec. user=mdettweiler [2012-11-20 02:08:05] 917*2^1235026-1 is not prime. Res64: 49F08B195FDCE7E8 Time : 0.0 sec. user=mdettweiler [2012-11-20 02:08:06] 619*2^1235027-1 is not prime. Res64: 24DD218A92A540FD Time : 0.0 sec. user=vaughan [2012-11-20 02:11:16] 857*2^1235026-1 is not prime. Res64: C18DA3C973E722CA Time : 0.0 sec. user=vaughan [2012-11-20 02:11:55] 867*2^1235026-1 is not prime. Res64: 02677F7B5B12B30F Time : 0.0 sec. user=mdettweiler [2012-11-20 02:20:04] 643*2^1235027-1 is not prime. Res64: 7FE1D846FEBC5A43 Time : 0.0 sec. user=mdettweiler [2012-11-20 02:20:07] 645*2^1235027-1 is not prime. Res64: FB77CCCBEAF1D215 Time : 0.0 sec. user=gamer007 [2012-11-20 02:25:36] 867*2^1235022-1 is not prime. Res64: 8E647E2BED40BFE7 Time : 0.0 sec. user=gamer007 [2012-11-20 02:25:36] 673*2^1235023-1 is not prime. Res64: 5A507321D7E87F00 Time : 0.0 sec. user=gamer007 [2012-11-20 02:25:36] 705*2^1235023-1 is not prime. Res64: B514300AC6E8F128 Time : 0.0 sec. user=gamer007 [2012-11-20 02:25:36] 853*2^1235023-1 is not prime. Res64: F9622449BF1D1F68 Time : 0.0 sec. user=gamer007 [2012-11-20 02:25:37] 915*2^1235023-1 is not prime. Res64: 79E9155A8EA8A1B9 Time : 0.0 sec. user=gamer007 [2012-11-20 02:26:08] 951*2^1235023-1 is not prime. Res64: 8FBD91B0AC308AF8 Time : 0.0 sec. user=gamer007 [2012-11-20 02:26:09] 609*2^1235024-1 is not prime. Res64: 9A7B959DF878C5AC Time : 0.0 sec. user=gamer007 [2012-11-20 02:26:09] 615*2^1235024-1 is not prime. Res64: 3CC963D722C4CBE1 Time : 0.0 sec. user=gamer007 [2012-11-20 02:26:09] 657*2^1235024-1 is not prime. Res64: 354559839DB96C8C Time : 0.0 sec. user=gamer007 [2012-11-20 02:26:10] 665*2^1235024-1 is not prime. Res64: F40D6B91CC1DC061 Time : 0.0 sec. user=gamer007 [2012-11-20 02:27:34] 795*2^1235024-1 is not prime. Res64: 3FF0DF04419E9BCA Time : 0.0 sec. user=gamer007 [2012-11-20 02:27:34] 827*2^1235024-1 is not prime. Res64: 3CED835FB3B6D599 Time : 0.0 sec. user=gamer007 [2012-11-20 02:27:34] 601*2^1235025-1 is not prime. Res64: F9F4A627FBE38E8B Time : 0.0 sec. user=gamer007 [2012-11-20 02:27:35] 649*2^1235025-1 is not prime. Res64: 490E4637DE9DAF1F Time : 0.0 sec. user=gamer007 [2012-11-20 02:27:35] 685*2^1235025-1 is not prime. Res64: 1CE8EB8CBB8D4BE1 Time : 0.0 sec. user=mdettweiler [2012-11-20 02:29:01] 609*2^1235029-1 is not prime. Res64: A802E1E561D5805D Time : 0.0 sec. user=mdettweiler [2012-11-20 02:29:02] 679*2^1235029-1 is not prime. Res64: 7B7B2964F47AA58E Time : 0.0 sec. user=vaughan [2012-11-20 02:29:09] 813*2^1235027-1 is not prime. Res64: 9A1EE6D68500DB31 Time : 0.0 sec. user=vaughan [2012-11-20 02:29:35] 895*2^1235027-1 is not prime. Res64: 73EACD44B1FD767C Time : 0.0 sec. user=vaughan [2012-11-20 02:29:40] 829*2^1235027-1 is not prime. Res64: 9219393BD35B9039 Time : 0.0 sec. user=vaughan [2012-11-20 02:30:09] 627*2^1235028-1 is not prime. Res64: AE12247336EA1126 Time : 0.0 sec. user=vaughan [2012-11-20 02:30:31] 845*2^1235028-1 is not prime. Res64: F3EEBB8921D471DB Time : 0.0 sec. user=vaughan [2012-11-20 02:30:33] 669*2^1235027-1 is not prime. Res64: E685E0D64E99501F Time : 0.0 sec. user=vaughan [2012-11-20 02:30:45] 693*2^1235027-1 is not prime. Res64: 21D86AEA9F8756BF Time : 0.0 sec. user=vaughan [2012-11-20 02:31:34] 927*2^1235028-1 is not prime. Res64: 37DD155BD1B4E2F8 Time : 0.0 sec. user=gamer007 [2012-11-20 02:31:55] 705*2^1235026-1 is not prime. Res64: 9221446CC64669EA Time : 0.0 sec. user=gamer007 [2012-11-20 02:31:56] 765*2^1235026-1 is not prime. Res64: 30A50BF040F0EE4B Time : 0.0 sec. user=gamer007 [2012-11-20 02:31:57] 773*2^1235026-1 is not prime. Res64: 3D8DF8383D42EB4A Time : 0.0 sec. user=gamer007 [2012-11-20 02:31:57] 825*2^1235026-1 is not prime. Res64: EC1ECE25050BC161 Time : 0.0 sec. user=gamer007 [2012-11-20 02:31:57] 833*2^1235026-1 is not prime. Res64: 67F5C322CAD61664 Time : 0.0 sec. user=vaughan [2012-11-20 02:37:26] 687*2^1235029-1 is not prime. Res64: D60AE067F1E33667 Time : 0.0 sec. user=vaughan [2012-11-20 02:37:58] 747*2^1235029-1 is not prime. Res64: 3D31B30E1803C320 Time : 0.0 sec. user=mdettweiler [2012-11-20 02:41:11] 769*2^1235029-1 is not prime. Res64: 49253B43B67A5ACB Time : 0.0 sec. user=mdettweiler [2012-11-20 02:49:53] 661*2^1235031-1 is not prime. Res64: F4621CC08B30BE67 Time : 0.0 sec. user=mdettweiler [2012-11-20 02:49:58] 685*2^1235031-1 is not prime. Res64: DF1013655FB7055C Time : 0.0 sec. user=vaughan [2012-11-20 02:52:50] 781*2^1235031-1 is not prime. Res64: 8E064610FE7C70BD Time : 0.0 sec. user=vaughan [2012-11-20 02:53:11] 871*2^1235031-1 is not prime. Res64: 002617563F2731B9 Time : 0.0 sec. user=vaughan [2012-11-20 02:53:18] 943*2^1235031-1 is not prime. Res64: 057203F8DB79974D Time : 0.0 sec. user=vaughan [2012-11-20 02:53:45] 969*2^1235031-1 is not prime. Res64: C8C95CAC10D8816A Time : 0.0 sec. user=vaughan [2012-11-20 02:54:07] 687*2^1235032-1 is not prime. Res64: 4171F308FC5D737A Time : 0.0 sec. user=vaughan [2012-11-20 02:55:11] 887*2^1235032-1 is not prime. Res64: C68882EA55D55D35 Time : 0.0 sec. user=vaughan [2012-11-20 02:56:32] 779*2^1235032-1 is not prime. Res64: 84309A6F9A5BB418 Time : 0.0 sec. user=vaughan [2012-11-20 02:56:44] 785*2^1235032-1 is not prime. Res64: 16A043414EACE167 Time : 0.0 sec. user=vaughan [2012-11-20 03:04:06] 735*2^1235033-1 is not prime. Res64: 763AE0AEBD1F0558 Time : 0.0 sec. user=gamer007 [2012-11-20 03:11:54] 817*2^1235029-1 is not prime. Res64: 626111ABB0D2D5EC Time : 0.0 sec. user=gamer007 [2012-11-20 03:11:55] 945*2^1235029-1 is not prime. Res64: 0299FC29D4020A17 Time : 0.0 sec. user=gamer007 [2012-11-20 03:11:56] 951*2^1235029-1 is not prime. Res64: 0C86DC6F5046A980 Time : 0.0 sec. user=gamer007 [2012-11-20 03:11:56] 955*2^1235029-1 is not prime. Res64: F63046025B307D3C Time : 0.0 sec. user=gamer007 [2012-11-20 03:11:57] 635*2^1235030-1 is not prime. Res64: B0F959A2A6312037 Time : 0.0 sec. user=gamer007 [2012-11-20 03:12:24] 711*2^1235030-1 is not prime. Res64: 84304D0995A66E92 Time : 0.0 sec. user=gamer007 [2012-11-20 03:12:25] 791*2^1235030-1 is not prime. Res64: B3DDB165AFB47D28 Time : 0.0 sec. user=gamer007 [2012-11-20 03:12:27] 813*2^1235030-1 is not prime. Res64: 39965568925DD7BA Time : 0.0 sec. user=gamer007 [2012-11-20 03:12:28] 825*2^1235030-1 is not prime. Res64: 29F49FBD8F69365A Time : 0.0 sec. user=gamer007 [2012-11-20 03:12:29] 843*2^1235030-1 is not prime. Res64: 0B4CB581F04560C3 Time : 0.0 sec. user=mdettweiler [2012-11-20 03:12:29] 847*2^1235033-1 is not prime. Res64: BE6CF24364108BA0 Time : 0.0 sec. user=mdettweiler [2012-11-20 03:12:30] 621*2^1235034-1 is not prime. Res64: BAA77529F1DE3DD0 Time : 0.0 sec. user=gamer007 [2012-11-20 03:13:46] 845*2^1235030-1 is not prime. Res64: A4CBF5C5F0EDDEDE Time : 0.0 sec. user=gamer007 [2012-11-20 03:13:47] 885*2^1235030-1 is not prime. Res64: 88AC6AD95A73E683 Time : 0.0 sec. user=gamer007 [2012-11-20 03:13:47] 953*2^1235030-1 is not prime. Res64: 664A6021C3DA0328 Time : 0.0 sec. user=gamer007 [2012-11-20 03:13:48] 957*2^1235030-1 is not prime. Res64: 5225527ED2DA8E75 Time : 0.0 sec. user=gamer007 [2012-11-20 03:13:49] 1001*2^1235030-1 is not prime. Res64: 1B63DD79629B6E10 Time : 0.0 sec. user=vaughan [2012-11-20 03:17:53] 893*2^1235034-1 is not prime. Res64: 02369DFCFA5A0E75 Time : 0.0 sec. user=gamer007 [2012-11-20 03:18:08] 933*2^1235032-1 is not prime. Res64: EAAD6274CFEAA2BC Time : 0.0 sec. user=gamer007 [2012-11-20 03:18:09] 615*2^1235033-1 is not prime. Res64: 9ED91D4CEA649A2B Time : 0.0 sec. user=gamer007 [2012-11-20 03:18:09] 649*2^1235033-1 is not prime. Res64: AA68D3603D67E7CB Time : 0.0 sec. user=gamer007 [2012-11-20 03:18:09] 657*2^1235033-1 is not prime. Res64: 781EB442C9140569 Time : 0.0 sec. user=gamer007 [2012-11-20 03:18:10] 729*2^1235033-1 is not prime. Res64: 7410265BEB9F0D84 Time : 0.0 sec. user=vaughan [2012-11-20 03:18:11] 945*2^1235034-1 is not prime. Res64: AA9AEBAE0CCE5684 Time : 0.0 sec. user=vaughan [2012-11-20 03:18:14] 633*2^1235035-1 is not prime. Res64: E380F75F0ACFEBD2 Time : 0.0 sec. user=vaughan [2012-11-20 03:18:17] 861*2^1235035-1 is not prime. Res64: 70A29F5E676614BA Time : 0.0 sec. user=vaughan [2012-11-20 03:18:30] 939*2^1235035-1 is not prime. Res64: 2AD2C3B377F3EC18 Time : 0.0 sec. user=mdettweiler [2012-11-20 03:22:46] 771*2^1235029-1 is not prime. Res64: 957B7A8744CA2E28 Time : 0.0 sec. user=vaughan [2012-11-20 03:22:47] 603*2^1235036-1 is not prime. Res64: D6FE83D337751DF1 Time : 0.0 sec. user=vaughan [2012-11-20 03:22:56] 647*2^1235036-1 is not prime. Res64: A7049C2A3BD97B27 Time : 0.0 sec. user=vaughan [2012-11-20 03:28:59] 935*2^1235036-1 is not prime. Res64: 81399A975B034953 Time : 0.0 sec. user=vaughan [2012-11-20 03:30:15] 661*2^1235037-1 is not prime. Res64: E189B774178399D3 Time : 0.0 sec. user=mdettweiler [2012-11-20 03:33:40] 891*2^1235038-1 is not prime. Res64: 468CDF7D2C7687EF Time : 0.0 sec. user=mdettweiler [2012-11-20 03:33:42] 951*2^1235038-1 is not prime. Res64: C277D7F5A25266B3 Time : 0.0 sec. user=vaughan [2012-11-20 03:39:51] 741*2^1235039-1 is not prime. Res64: 07A93061D8680449 Time : 0.0 sec. user=vaughan [2012-11-20 03:40:42] 759*2^1235039-1 is not prime. Res64: 4D91FC2A98539683 Time : 0.0 sec. user=vaughan [2012-11-20 03:41:22] 689*2^1235040-1 is not prime. Res64: 48699B7D666EA9AD Time : 0.0 sec. user=vaughan [2012-11-20 03:41:23] 719*2^1235040-1 is not prime. Res64: C5898302B3EC625D Time : 0.0 sec. user=vaughan [2012-11-20 03:41:29] 723*2^1235040-1 is not prime. Res64: 243A08CC3302EFCA Time : 0.0 sec. user=vaughan [2012-11-20 03:41:29] 753*2^1235040-1 is not prime. Res64: D2956D31079B370E Time : 0.0 sec. user=mdettweiler [2012-11-20 03:43:41] 927*2^1235040-1 is not prime. Res64: 58DD3B68BB8886D8 Time : 0.0 sec. user=mdettweiler [2012-11-20 03:43:44] 769*2^1235041-1 is not prime. Res64: E778B99B139D9403 Time : 0.0 sec. user=vaughan [2012-11-20 03:48:52] 951*2^1235041-1 is not prime. Res64: B11D9A9B3477CB09 Time : 0.0 sec. user=vaughan [2012-11-20 03:49:00] 771*2^1235041-1 is not prime. Res64: 4C8DD93E230540A6 Time : 0.0 sec. user=mdettweiler [2012-11-20 03:54:42] 741*2^1235042-1 is not prime. Res64: 36DFA40889DBE414 Time : 0.0 sec. user=mdettweiler [2012-11-20 03:54:42] 813*2^1235042-1 is not prime. Res64: 2DEF99E953E8792C Time : 0.0 sec. user=vaughan [2012-11-20 03:55:03] 967*2^1235041-1 is not prime. Res64: E7A194A3D6B37841 Time : 0.0 sec. user=vaughan [2012-11-20 03:56:19] 623*2^1235042-1 is not prime. Res64: 0F8D66BFC9C32492 Time : 0.0 sec. user=gamer007 [2012-11-20 03:59:08] 691*2^1235037-1 is not prime. Res64: FFCB0792DFC53167 Time : 0.0 sec. user=gamer007 [2012-11-20 03:59:08] 795*2^1235037-1 is not prime. Res64: C98C295F3C69F4C4 Time : 0.0 sec. user=gamer007 [2012-11-20 03:59:08] 859*2^1235037-1 is not prime. Res64: 4C07CDF5C3AE6383 Time : 0.0 sec. user=gamer007 [2012-11-20 03:59:09] 861*2^1235037-1 is not prime. Res64: 98AD48CD9A61E176 Time : 0.0 sec. user=gamer007 [2012-11-20 03:59:09] 927*2^1235037-1 is not prime. Res64: 235E1BB8461F9DE9 Time : 0.0 sec. user=gamer007 [2012-11-20 03:59:24] 961*2^1235037-1 is not prime. Res64: 0AFACC9386AD0E0C Time : 0.0 sec. user=gamer007 [2012-11-20 03:59:24] 605*2^1235038-1 is not prime. Res64: 091FD1C741507C77 Time : 0.0 sec. user=gamer007 [2012-11-20 03:59:25] 681*2^1235038-1 is not prime. Res64: 599836E1AF424D07 Time : 0.0 sec. user=gamer007 [2012-11-20 03:59:25] 845*2^1235038-1 is not prime. Res64: 1C0EB8F333C24A01 Time : 0.0 sec. user=gamer007 [2012-11-20 03:59:25] 887*2^1235038-1 is not prime. Res64: BE4B8F996003487A Time : 0.0 sec. user=gamer007 [2012-11-20 04:00:55] 615*2^1235039-1 is prime! Time : 0.0 sec. user=gamer007 [2012-11-20 04:01:03] 619*2^1235039-1 is not prime. Res64: 6E0E774915DC37C1 Time : 0.0 sec. user=gamer007 [2012-11-20 04:01:04] 645*2^1235039-1 is not prime. Res64: 3EB9DCD3FC9911A8 Time : 0.0 sec. user=gamer007 [2012-11-20 04:01:04] 705*2^1235039-1 is not prime. Res64: 15F71819001F9D93 Time : 0.0 sec. user=gamer007 [2012-11-20 04:01:05] 735*2^1235039-1 is not prime. Res64: 575999C19EACB1D5 Time : 0.0 sec. user=vaughan [2012-11-20 04:02:53] 831*2^1235042-1 is not prime. Res64: 9B65A2F72A5568ED Time : 0.0 sec. user=vaughan [2012-11-20 04:03:25] 941*2^1235042-1 is not prime. Res64: 8ECC1A86A36E9392 Time : 0.0 sec. user=vaughan [2012-11-20 04:04:30] 609*2^1235043-1 is not prime. Res64: 613CA68E8BF00939 Time : 0.0 sec. user=vaughan [2012-11-20 04:04:42] 691*2^1235043-1 is not prime. Res64: A6DC3A90849E27A9 Time : 0.0 sec. user=mdettweiler [2012-11-20 04:05:12] 703*2^1235043-1 is not prime. Res64: 05B5997F3CA21D29 Time : 0.0 sec. user=mdettweiler [2012-11-20 04:05:15] 801*2^1235043-1 is not prime. Res64: E4DD21412364DEF1 Time : 0.0 sec. user=gamer007 [2012-11-20 04:06:00] 775*2^1235039-1 is not prime. Res64: B30E065AEBC121DD Time : 0.0 sec. user=gamer007 [2012-11-20 04:06:03] 843*2^1235039-1 is not prime. Res64: 8D1F6B20D2631A09 Time : 0.0 sec. user=gamer007 [2012-11-20 04:06:06] 865*2^1235039-1 is not prime. Res64: 5DD9A053CA71232B Time : 0.0 sec. user=gamer007 [2012-11-20 04:06:09] 629*2^1235040-1 is not prime. Res64: F9B1E0C592975E76 Time : 0.0 sec. user=gamer007 [2012-11-20 04:06:11] 633*2^1235040-1 is not prime. Res64: 778DD5295DECD007 Time : 0.0 sec. user=vaughan [2012-11-20 04:15:03] 859*2^1235043-1 is not prime. Res64: DCD5CC034EE17E21 Time : 0.0 sec. user=vaughan [2012-11-20 04:15:14] 973*2^1235043-1 is not prime. Res64: 5A815277865B80A5 Time : 0.0 sec. user=mdettweiler [2012-11-20 04:15:38] 635*2^1235044-1 is not prime. Res64: F60F907AC46AF353 Time : 0.0 sec. user=mdettweiler [2012-11-20 04:15:47] 657*2^1235044-1 is not prime. Res64: E7FE9B9DA8B3F487 Time : 0.0 sec. user=vaughan [2012-11-20 04:21:13] 743*2^1235044-1 is not prime. Res64: 90D0C5EE7252747E Time : 0.0 sec. user=vaughan [2012-11-20 04:22:27] 759*2^1235044-1 is not prime. Res64: 52A15DF0FD52EBE3 Time : 0.0 sec. user=vaughan [2012-11-20 04:25:18] 673*2^1235047-1 is not prime. Res64: 6FCCB2B5390EE528 Time : 0.0 sec. user=vaughan [2012-11-20 04:25:28] 675*2^1235047-1 is not prime. Res64: F2C7914317BCD5B6 Time : 0.0 sec. user=vaughan [2012-11-20 04:25:44] 705*2^1235047-1 is not prime. Res64: F08B5F7BD613CAE8 Time : 0.0 sec. user=vaughan [2012-11-20 04:25:53] 741*2^1235047-1 is not prime. Res64: 3E2DF680C83DD558 Time : 0.0 sec. user=mdettweiler [2012-11-20 04:26:12] 861*2^1235047-1 is not prime. Res64: 3454C6F603C45C29 Time : 0.0 sec. user=mdettweiler [2012-11-20 04:26:12] 961*2^1235047-1 is not prime. Res64: D00D95D6A14CCEBA Time : 0.0 sec. user=vaughan [2012-11-20 04:27:01] 759*2^1235047-1 is not prime. Res64: 5340FD9F463BAA41 Time : 0.0 sec. user=vaughan [2012-11-20 04:27:14] 843*2^1235047-1 is not prime. Res64: D1FBD0908565D4B8 Time : 0.0 sec. user=mdettweiler [2012-11-20 04:37:23] 959*2^1235048-1 is not prime. Res64: F8189A33BCA805B5 Time : 0.0 sec. user=mdettweiler [2012-11-20 04:37:23] 615*2^1235049-1 is not prime. Res64: 67B5DFD4D8E630E5 Time : 0.0 sec. user=mdettweiler [2012-11-20 04:47:06] 867*2^1235049-1 is not prime. Res64: 2DC80F90716D7EB0 Time : 0.0 sec. user=mdettweiler [2012-11-20 04:47:07] 885*2^1235049-1 is not prime. Res64: 44042BD4F83E630B Time : 0.0 sec. user=gamer007 [2012-11-20 04:47:26] 825*2^1235044-1 is not prime. Res64: 0FB12F81CFC5C238 Time : 0.0 sec. user=gamer007 [2012-11-20 04:47:27] 873*2^1235044-1 is not prime. Res64: 43E44C099AE974B6 Time : 0.0 sec. user=gamer007 [2012-11-20 04:47:28] 927*2^1235044-1 is not prime. Res64: 0F3AE0C4324CD4FE Time : 0.0 sec. user=gamer007 [2012-11-20 04:47:29] 657*2^1235045-1 is not prime. Res64: AE382AB91FE6B9CB Time : 0.0 sec. user=vaughan [2012-11-20 04:47:30] 625*2^1235049-1 is not prime. Res64: F954A9EB4F57A5C6 Time : 0.0 sec. user=gamer007 [2012-11-20 04:47:31] 697*2^1235045-1 is not prime. Res64: B8ECE056DCB800E6 Time : 0.0 sec. user=vaughan [2012-11-20 04:47:49] 747*2^1235049-1 is not prime. Res64: 6548F208B7C237A6 Time : 0.0 sec. user=vaughan [2012-11-20 04:48:00] 769*2^1235049-1 is not prime. Res64: 1564ED42C5EAF425 Time : 0.0 sec. user=gamer007 [2012-11-20 04:48:02] 759*2^1235045-1 is not prime. Res64: 344E568C0AA10A85 Time : 0.0 sec. user=gamer007 [2012-11-20 04:48:03] 787*2^1235045-1 is not prime. Res64: BB2ABE0A4B9A8A2E Time : 0.0 sec. user=gamer007 [2012-11-20 04:48:04] 871*2^1235045-1 is not prime. Res64: 056D1C76370FD820 Time : 0.0 sec. user=gamer007 [2012-11-20 04:48:06] 897*2^1235045-1 is not prime. Res64: AC913B9BE193729B Time : 0.0 sec. user=gamer007 [2012-11-20 04:48:07] 955*2^1235045-1 is not prime. Res64: E2E693143244804C Time : 0.0 sec. user=vaughan [2012-11-20 04:48:14] 829*2^1235049-1 is not prime. Res64: BB02F72668276615 Time : 0.0 sec. user=vaughan [2012-11-20 04:48:22] 835*2^1235049-1 is not prime. Res64: 6EC48197C5A7D007 Time : 0.0 sec. user=vaughan [2012-11-20 04:48:23] 745*2^1235049-1 is not prime. Res64: B7C7911640665570 Time : 0.0 sec. user=vaughan [2012-11-20 04:49:28] 969*2^1235049-1 is not prime. Res64: 60A0C3EF84A561B9 Time : 0.0 sec. user=vaughan [2012-11-20 04:49:38] 979*2^1235049-1 is not prime. Res64: 76AD632D7C6C90DB Time : 0.0 sec. user=gamer007 [2012-11-20 04:50:02] 641*2^1235046-1 is not prime. Res64: 9F9875E47E434EEB Time : 0.0 sec. user=gamer007 [2012-11-20 04:50:03] 765*2^1235046-1 is not prime. Res64: F5807AAF01A97804 Time : 0.0 sec. user=gamer007 [2012-11-20 04:50:05] 833*2^1235046-1 is not prime. Res64: 21ABD14DEC46698C Time : 0.0 sec. user=gamer007 [2012-11-20 04:50:08] 921*2^1235046-1 is not prime. Res64: D9D4D52FDBBFC52C Time : 0.0 sec. user=gamer007 [2012-11-20 04:50:10] 619*2^1235047-1 is not prime. Res64: E0EFA2E459015FB0 Time : 0.0 sec. user=gamer007 [2012-11-20 04:54:38] 975*2^1235047-1 is not prime. Res64: 7FA3DDACE4221B35 Time : 0.0 sec. user=gamer007 [2012-11-20 04:54:38] 979*2^1235047-1 is not prime. Res64: 19D2582778A6B084 Time : 0.0 sec. user=gamer007 [2012-11-20 04:54:39] 657*2^1235048-1 is not prime. Res64: 0EDBB32DCE3E1F52 Time : 0.0 sec. user=gamer007 [2012-11-20 04:54:39] 659*2^1235048-1 is not prime. Res64: 6575E16119230039 Time : 0.0 sec. user=gamer007 [2012-11-20 04:54:39] 923*2^1235048-1 is not prime. Res64: D0B0017CC02B0D90 Time : 0.0 sec. user=mdettweiler [2012-11-20 04:58:17] 675*2^1235050-1 is not prime. Res64: 161F906BDF396D91 Time : 0.0 sec. user=mdettweiler [2012-11-20 04:58:18] 687*2^1235050-1 is not prime. Res64: 0BB7CA2C0B5A18CE Time : 0.0 sec. user=vaughan [2012-11-20 05:05:53] 773*2^1235050-1 is not prime. Res64: 7961DA334EBBE819 Time : 0.0 sec. user=vaughan [2012-11-20 05:06:06] 813*2^1235050-1 is not prime. Res64: D80537CD5408DC30 Time : 0.0 sec. user=mdettweiler [2012-11-20 05:08:03] 827*2^1235050-1 is not prime. Res64: 926FF393D7B75E70 Time : 0.0 sec. user=mdettweiler [2012-11-20 05:08:04] 833*2^1235050-1 is not prime. Res64: 1E4FAE8F95B3DAE8 Time : 0.0 sec. user=vaughan [2012-11-20 05:10:17] 883*2^1235051-1 is not prime. Res64: 2416BE47B9FC7D05 Time : 0.0 sec. user=vaughan [2012-11-20 05:10:33] 885*2^1235051-1 is not prime. Res64: 03122DE4C33D4385 Time : 0.0 sec. user=vaughan [2012-11-20 05:10:45] 957*2^1235052-1 is not prime. Res64: 5015B08FBCE875DC Time : 0.0 sec. user=vaughan [2012-11-20 05:10:59] 727*2^1235053-1 is not prime. Res64: B094678BB9830AC3 Time : 0.0 sec. user=vaughan [2012-11-20 05:12:08] 677*2^1235054-1 is not prime. Res64: A81D19F745330590 Time : 0.0 sec. user=vaughan [2012-11-20 05:12:15] 693*2^1235054-1 is not prime. Res64: BB7BD849A3EA9B15 Time : 0.0 sec. user=vaughan [2012-11-20 05:13:34] 825*2^1235051-1 is not prime. Res64: 20A55B46391F3898 Time : 0.0 sec. user=vaughan [2012-11-20 05:14:35] 835*2^1235053-1 is not prime. Res64: BD0EE109895EAB48 Time : 0.0 sec. user=mdettweiler [2012-11-20 05:19:13] 979*2^1235055-1 is not prime. Res64: 6F504D0C99605737 Time : 0.0 sec. user=mdettweiler [2012-11-20 05:19:15] 603*2^1235056-1 is not prime. Res64: 6192531564BF6517 Time : 0.0 sec. user=gamer007 [2012-11-20 05:25:17] 981*2^1235050-1 is not prime. Res64: EFFD55D2C06479DC Time : 0.0 sec. user=gamer007 [2012-11-20 05:25:18] 987*2^1235050-1 is not prime. Res64: 890C14D8611B8023 Time : 0.0 sec. user=gamer007 [2012-11-20 05:25:18] 643*2^1235051-1 is not prime. Res64: 89A6BA7BC35616E8 Time : 0.0 sec. user=gamer007 [2012-11-20 05:25:22] 705*2^1235054-1 is not prime. Res64: 3596C773ACF27C85 Time : 0.0 sec. user=gamer007 [2012-11-20 05:25:22] 741*2^1235054-1 is not prime. Res64: 6B5730DB73C83610 Time : 0.0 sec. user=gamer007 [2012-11-20 05:25:23] 931*2^1235051-1 is not prime. Res64: 5651986AC234CB8F Time : 0.0 sec. user=gamer007 [2012-11-20 05:25:23] 797*2^1235054-1 is not prime. Res64: 37951A5545041788 Time : 0.0 sec. user=gamer007 [2012-11-20 05:25:23] 993*2^1235051-1 is not prime. Res64: 3EB031DA707DA21D Time : 0.0 sec. user=gamer007 [2012-11-20 05:25:23] 749*2^1235052-1 is not prime. Res64: 8D75A6D9F32C54C2 Time : 0.0 sec. user=gamer007 [2012-11-20 05:25:23] 971*2^1235054-1 is not prime. Res64: 62B1555BAB1A85D2 Time : 0.0 sec. user=gamer007 [2012-11-20 05:25:23] 741*2^1235055-1 is not prime. Res64: B9D3C7E0874A0EBF Time : 0.0 sec. user=gamer007 [2012-11-20 05:25:24] 763*2^1235055-1 is not prime. Res64: 1157BB30595A1570 Time : 0.0 sec. user=mdettweiler [2012-11-20 05:28:57] 743*2^1235056-1 is not prime. Res64: A16976DAE08E39E7 Time : 0.0 sec. user=mdettweiler [2012-11-20 05:28:57] 779*2^1235056-1 is not prime. Res64: C8449BC66F4A9281 Time : 0.0 sec. user=vaughan [2012-11-20 05:32:01] 615*2^1235056-1 is not prime. Res64: 10A3A2AC161320D6 Time : 0.0 sec. user=vaughan [2012-11-20 05:32:12] 695*2^1235056-1 is not prime. Res64: 14F7001142ACFB27 Time : 0.0 sec. user=vaughan [2012-11-20 05:32:56] 887*2^1235056-1 is not prime. Res64: 28AB2BBE703B5CED Time : 0.0 sec. user=vaughan [2012-11-20 05:33:05] 903*2^1235056-1 is not prime. Res64: 046F66ED9FCBB562 Time : 0.0 sec. user=vaughan [2012-11-20 05:33:22] 909*2^1235056-1 is not prime. Res64: 6A38848F9AD29FF4 Time : 0.0 sec. user=vaughan [2012-11-20 05:33:43] 965*2^1235056-1 is not prime. Res64: 587A2CF447E2FB16 Time : 0.0 sec. user=vaughan [2012-11-20 05:34:46] 675*2^1235057-1 is not prime. Res64: B4D9F698B165F7E2 Time : 0.0 sec. user=vaughan [2012-11-20 05:34:49] 769*2^1235057-1 is not prime. Res64: 9D6DBCBDEF7B83F4 Time : 0.0 sec. user=gamer007 [2012-11-20 05:35:16] 685*2^1235051-1 is not prime. Res64: 66697C4F4F9D11BD Time : 0.0 sec. user=gamer007 [2012-11-20 05:35:19] 863*2^1235052-1 is not prime. Res64: 7B775A55F190A4D7 Time : 0.0 sec. user=vaughan [2012-11-20 05:39:48] 889*2^1235057-1 is not prime. Res64: E2C02FF8CE10031E Time : 0.0 sec. user=mdettweiler [2012-11-20 05:40:22] 979*2^1235057-1 is not prime. Res64: 985F494E13AB2D9B Time : 0.0 sec. user=mdettweiler [2012-11-20 05:40:22] 663*2^1235058-1 is not prime. Res64: 0889AFBDABB69172 Time : 0.0 sec. user=mdettweiler [2012-11-20 05:49:49] 683*2^1235058-1 is not prime. Res64: 2CDDA6F6628CDAD7 Time : 0.0 sec. user=mdettweiler [2012-11-20 05:49:50] 735*2^1235058-1 is not prime. Res64: 8597C72AAF4721EC Time : 0.0 sec. user=vaughan [2012-11-20 05:55:18] 723*2^1235059-1 is not prime. Res64: 04C2553931DA60BD Time : 0.0 sec. user=vaughan [2012-11-20 05:55:29] 733*2^1235059-1 is not prime. Res64: F478F79268F52ADB Time : 0.0 sec. user=vaughan [2012-11-20 05:55:45] 765*2^1235059-1 is not prime. Res64: 8119B7BB13612CFE Time : 0.0 sec. user=vaughan [2012-11-20 05:56:07] 861*2^1235059-1 is not prime. Res64: 5691F923CB0303E5 Time : 0.0 sec. user=vaughan [2012-11-20 05:57:10] 999*2^1235059-1 is not prime. Res64: 34A455BB5F3E3EBA Time : 0.0 sec. user=vaughan [2012-11-20 05:57:14] 883*2^1235059-1 is not prime. Res64: DBE8E937BE4AE5A4 Time : 0.0 sec. user=vaughan [2012-11-20 05:58:09] 971*2^1235058-1 is not prime. Res64: F15A602FA5127483 Time : 0.0 sec. user=vaughan [2012-11-20 05:58:13] 1001*2^1235058-1 is not prime. Res64: 6286A294295CF60F Time : 0.0 sec. user=mdettweiler [2012-11-20 06:01:15] 767*2^1235060-1 is not prime. Res64: 1FC355A36D1DBC1D Time : 0.0 sec. user=mdettweiler [2012-11-20 06:01:19] 825*2^1235060-1 is not prime. Res64: E9D717C66A1EA7BD Time : 0.0 sec. user=vaughan [2012-11-20 06:05:57] 629*2^1235060-1 is not prime. Res64: 0F34F647AC24046B Time : 0.0 sec. user=vaughan [2012-11-20 06:06:00] 689*2^1235060-1 is not prime. Res64: A18541A5B3A00014 Time : 0.0 sec. user=mdettweiler [2012-11-20 06:10:41] 897*2^1235060-1 is not prime. Res64: C27858530B781163 Time : 0.0 sec. user=mdettweiler [2012-11-20 06:10:43] 999*2^1235060-1 is not prime. Res64: 9096DF163F501412 Time : 0.0 sec. user=vaughan [2012-11-20 06:17:51] 625*2^1235061-1 is not prime. Res64: 4A5D9400BD338A84 Time : 0.0 sec. user=vaughan [2012-11-20 06:18:15] 861*2^1235061-1 is not prime. Res64: 2A6BDE147F3913E4 Time : 0.0 sec. user=vaughan [2012-11-20 06:18:29] 885*2^1235061-1 is not prime. Res64: E998DE9E23862CDC Time : 0.0 sec. user=vaughan [2012-11-20 06:18:50] 645*2^1235062-1 is not prime. Res64: 7E1C11419D9BDF46 Time : 0.0 sec. user=vaughan [2012-11-20 06:19:48] 717*2^1235062-1 is not prime. Res64: 2C59AA28E5C7D804 Time : 0.0 sec. user=vaughan [2012-11-20 06:19:51] 665*2^1235062-1 is not prime. Res64: D89E7162783D994B Time : 0.0 sec. user=mdettweiler [2012-11-20 06:22:15] 815*2^1235062-1 is not prime. Res64: 93963832BBC9722B Time : 0.0 sec. user=mdettweiler [2012-11-20 06:22:16] 911*2^1235062-1 is not prime. Res64: 0CB688F0447C4C0C Time : 0.0 sec. user=vaughan [2012-11-20 06:24:16] 791*2^1235062-1 is not prime. Res64: 4C065F975ED4CF6D Time : 0.0 sec. user=vaughan [2012-11-20 06:24:21] 765*2^1235062-1 is not prime. Res64: 13BE4956A5FAC0D8 Time : 0.0 sec. user=mdettweiler [2012-11-20 06:31:46] 621*2^1235063-1 is not prime. Res64: 87902F3068B23B65 Time : 0.0 sec. user=mdettweiler [2012-11-20 06:31:46] 703*2^1235063-1 is not prime. Res64: B4D70BD1BC21A8A7 Time : 0.0 sec. user=vaughan [2012-11-20 06:33:09] 957*2^1235062-1 is not prime. Res64: 0A46C09BB32FF182 Time : 0.0 sec. user=vaughan [2012-11-20 06:33:22] 915*2^1235062-1 is not prime. Res64: 87D26EC4661C34A2 Time : 0.0 sec. user=vaughan [2012-11-20 06:40:31] 705*2^1235063-1 is not prime. Res64: 04E1AA0C09AAD355 Time : 0.0 sec. user=vaughan [2012-11-20 06:40:37] 745*2^1235063-1 is not prime. Res64: 9D422602AAA40CE8 Time : 0.0 sec. user=vaughan [2012-11-20 06:40:57] 805*2^1235063-1 is not prime. Res64: 0DF4A84389E66965 Time : 0.0 sec. user=vaughan [2012-11-20 06:41:12] 811*2^1235063-1 is not prime. Res64: C3D4AFBFD52AAA4C Time : 0.0 sec. user=vaughan [2012-11-20 06:42:13] 859*2^1235063-1 is not prime. Res64: 1695C709B72810FE Time : 0.0 sec. user=vaughan [2012-11-20 06:42:22] 973*2^1235063-1 is not prime. Res64: BA14D774B09F5A56 Time : 0.0 sec. user=mdettweiler [2012-11-20 06:43:15] 981*2^1235063-1 is not prime. Res64: F29B120BB737367E Time : 0.0 sec. user=mdettweiler [2012-11-20 06:43:17] 665*2^1235064-1 is not prime. Res64: 5DB0CE5A0C55486B Time : 0.0 sec. user=vaughan [2012-11-20 06:50:48] 789*2^1235064-1 is not prime. Res64: 17B8E575043840BB Time : 0.0 sec. user=vaughan [2012-11-20 06:50:49] 723*2^1235064-1 is not prime. Res64: 4BE658323A2C2A9F Time : 0.0 sec. user=mdettweiler [2012-11-20 06:52:38] 803*2^1235064-1 is not prime. Res64: C7A24C734D6BCBC7 Time : 0.0 sec. user=mdettweiler [2012-11-20 06:52:38] 815*2^1235064-1 is not prime. Res64: 2732D8529B834D10 Time : 0.0 sec. user=vaughan [2012-11-20 06:59:32] 873*2^1235064-1 is not prime. Res64: D9AE99216C3D4702 Time : 0.0 sec. user=vaughan [2012-11-20 06:59:49] 903*2^1235064-1 is not prime. Res64: B4AD1FF1479CE975 Time : 0.0 sec. user=vaughan [2012-11-20 07:02:51] 959*2^1235064-1 is not prime. Res64: B4238FF7A16C7C72 Time : 0.0 sec. user=vaughan [2012-11-20 07:02:56] 687*2^1235065-1 is not prime. Res64: FE011CBA51686F9B Time : 0.0 sec. user=vaughan [2012-11-20 07:03:20] 691*2^1235065-1 is not prime. Res64: 15904B25C5981F2D Time : 0.0 sec. user=vaughan [2012-11-20 07:03:38] 717*2^1235065-1 is not prime. Res64: F7CADC878E9443FF Time : 0.0 sec. user=mdettweiler [2012-11-20 07:04:20] 987*2^1235065-1 is not prime. Res64: 2642EDF9DF571881 Time : 0.0 sec. user=mdettweiler [2012-11-20 07:04:29] 997*2^1235065-1 is not prime. Res64: 3CFC84F1AA460C4C Time : 0.0 sec. user=vaughan [2012-11-20 07:04:45] 915*2^1235065-1 is not prime. Res64: 2F512671B8F6F397 Time : 0.0 sec. user=vaughan [2012-11-20 07:04:57] 951*2^1235065-1 is not prime. Res64: 0E03E783746DAB61 Time : 0.0 sec. user=mdettweiler [2012-11-20 07:13:30] 825*2^1235066-1 is not prime. Res64: 88C66A64BCA0B9DA Time : 0.0 sec. user=mdettweiler [2012-11-20 07:13:31] 957*2^1235066-1 is not prime. Res64: 9C64A682B96B114B Time : 0.0 sec. user=vaughan [2012-11-20 07:16:56] 615*2^1235066-1 is not prime. Res64: 9F66490D87644F7C Time : 0.0 sec. user=vaughan [2012-11-20 07:17:04] 801*2^1235066-1 is not prime. Res64: 5E2315664E8DF794 Time : 0.0 sec. user=vaughan [2012-11-20 07:25:17] 685*2^1235067-1 is not prime. Res64: 392AC5819FE70FF2 Time : 0.0 sec. user=vaughan [2012-11-20 07:25:28] 709*2^1235067-1 is not prime. Res64: B8DB620EE1456EA2 Time : 0.0 sec. user=vaughan [2012-11-20 07:25:37] 1001*2^1235066-1 is not prime. Res64: 4A624731F0AB7285 Time : 0.0 sec. user=mdettweiler [2012-11-20 07:25:45] 603*2^1235068-1 is not prime. Res64: C00E36F3C8D2874F Time : 0.0 sec. user=mdettweiler [2012-11-20 07:25:46] 605*2^1235068-1 is not prime. Res64: 24BA63F113AC5319 Time : 0.0 sec. user=vaughan [2012-11-20 07:25:48] 849*2^1235067-1 is not prime. Res64: 08B557EFEAD1F268 Time : 0.0 sec. user=vaughan [2012-11-20 07:25:50] 669*2^1235067-1 is not prime. Res64: 74D897D05DD48F9E Time : 0.0 sec. user=gd_barnes [2012-11-20 07:33:40] 629*2^1235068-1 is not prime. Res64: 1B6E6FA81D07F294 Time : 0.0 sec. user=mdettweiler [2012-11-20 07:35:08] 639*2^1235068-1 is not prime. Res64: 904B3AFC234F5CF5 Time : 0.0 sec. user=mdettweiler [2012-11-20 07:35:09] 705*2^1235068-1 is not prime. Res64: 28D6820045C65887 Time : 0.0 sec. user=vaughan [2012-11-20 07:43:18] 915*2^1235068-1 is not prime. Res64: BA2A2FF004EB8F9F Time : 0.0 sec. user=vaughan [2012-11-20 07:43:19] 723*2^1235068-1 is not prime. Res64: 4AC550D176646C7E Time : 0.0 sec. user=mdettweiler [2012-11-20 07:46:39] 711*2^1235070-1 is not prime. Res64: 125F7CEDD95EEDFE Time : 0.0 sec. user=mdettweiler [2012-11-20 07:46:40] 791*2^1235070-1 is not prime. Res64: CB5D07D58C4F6E07 Time : 0.0 sec. user=vaughan [2012-11-20 07:47:43] 947*2^1235068-1 is not prime. Res64: 76A4815156E5CF0B Time : 0.0 sec. user=vaughan [2012-11-20 07:47:53] 615*2^1235069-1 is not prime. Res64: 0E6C5B3640324838 Time : 0.0 sec. user=vaughan [2012-11-20 07:48:16] 893*2^1235070-1 is not prime. Res64: DD44F91070C155C2 Time : 0.0 sec. user=vaughan [2012-11-20 07:49:08] 705*2^1235071-1 is not prime. Res64: 26B0410E3CB057A8 Time : 0.0 sec. user=vaughan [2012-11-20 07:49:12] 759*2^1235071-1 is not prime. Res64: F2131BA9D5ABD7BA Time : 0.0 sec. user=vaughan [2012-11-20 07:49:39] 763*2^1235071-1 is not prime. Res64: 70C085984CDD21CD Time : 0.0 sec. user=vaughan [2012-11-20 07:51:58] 675*2^1235069-1 is not prime. Res64: 3A0F5177B04D247E Time : 0.0 sec. user=vaughan [2012-11-20 07:52:01] 649*2^1235071-1 is not prime. Res64: B139B00F9DBDD5A8 Time : 0.0 sec. user=mdettweiler [2012-11-20 07:56:02] 775*2^1235071-1 is not prime. Res64: 35BAF480AB6E8836 Time : 0.0 sec. user=mdettweiler [2012-11-20 07:56:02] 933*2^1235071-1 is not prime. Res64: 43074DAE189E10BF Time : 0.0 sec. user=mdettweiler [2012-11-20 08:07:33] 993*2^1235071-1 is not prime. Res64: 00B96CDFBB7ABD68 Time : 0.0 sec. user=mdettweiler [2012-11-20 08:07:35] 717*2^1235072-1 is not prime. Res64: 79ADDC1E373770CD Time : 0.0 sec. user=vaughan [2012-11-20 08:09:53] 951*2^1235071-1 is not prime. Res64: 15EDF8AB9A82F274 Time : 0.0 sec. user=vaughan [2012-11-20 08:09:59] 961*2^1235071-1 is not prime. Res64: 957A57AF777C6EB8 Time : 0.0 sec. user=vaughan [2012-11-20 08:10:18] 735*2^1235072-1 is not prime. Res64: 67B85EEA938119B8 Time : 0.0 sec. user=vaughan [2012-11-20 08:10:24] 767*2^1235072-1 is not prime. Res64: 6F9B81C272D14CEB Time : 0.0 sec. user=vaughan [2012-11-20 08:10:46] 797*2^1235072-1 is not prime. Res64: E043B07F6EFDB813 Time : 0.0 sec. user=vaughan [2012-11-20 08:11:44] 855*2^1235072-1 is not prime. Res64: 0484D0E3AC6BDFC2 Time : 0.0 sec. user=vaughan [2012-11-20 08:11:50] 875*2^1235072-1 is not prime. Res64: 5B22C8A49AC00C11 Time : 0.0 sec. user=vaughan [2012-11-20 08:12:15] 909*2^1235072-1 is not prime. Res64: D3302CE717BE395E Time : 0.0 sec. user=mdettweiler [2012-11-20 08:16:55] 651*2^1235073-1 is not prime. Res64: 516016A26A9637A3 Time : 0.0 sec. user=mdettweiler [2012-11-20 08:17:01] 789*2^1235073-1 is not prime. Res64: D2F1637C1FFA5780 Time : 0.0 sec. user=vaughan [2012-11-20 08:18:29] 607*2^1235073-1 is not prime. Res64: 913D32A05FEEEFFB Time : 0.0 sec. user=vaughan [2012-11-20 08:18:33] 983*2^1235072-1 is not prime. Res64: 08A0E43F671DF12C Time : 0.0 sec. user=mdettweiler [2012-11-20 08:28:46] 817*2^1235073-1 is not prime. Res64: E3F0CB94913639C6 Time : 0.0 sec. user=mdettweiler [2012-11-20 08:28:47] 901*2^1235073-1 is not prime. Res64: CC1BAB657D88FF10 Time : 0.0 sec. user=vaughan [2012-11-20 08:32:43] 765*2^1235074-1 is not prime. Res64: 324DF83257286211 Time : 0.0 sec. user=vaughan [2012-11-20 08:32:43] 971*2^1235074-1 is not prime. Res64: 7E662096121FA44B Time : 0.0 sec. user=vaughan [2012-11-20 08:33:09] 983*2^1235074-1 is not prime. Res64: 674397B0C484B770 Time : 0.0 sec. user=vaughan [2012-11-20 08:34:09] 963*2^1235075-1 is not prime. Res64: 7EDA013AB4D93A2E Time : 0.0 sec. user=vaughan [2012-11-20 08:34:09] 825*2^1235075-1 is not prime. Res64: 2AB8FE278735737C Time : 0.0 sec. user=vaughan [2012-11-20 08:34:39] 985*2^1235075-1 is not prime. Res64: 393FD07B69FA7EE9 Time : 0.0 sec. user=vaughan [2012-11-20 08:36:28] 611*2^1235074-1 is not prime. Res64: EE73F1A832CF8601 Time : 0.0 sec. user=vaughan [2012-11-20 08:36:34] 701*2^1235074-1 is not prime. Res64: B1073F3E2F22CD9D Time : 0.0 sec. user=mdettweiler [2012-11-20 08:38:26] 635*2^1235076-1 is not prime. Res64: 5FAC13571356F4FF Time : 0.0 sec. user=mdettweiler [2012-11-20 08:38:27] 725*2^1235076-1 is not prime. Res64: 92B4E1116261F643 Time : 0.0 sec. user=vaughan [2012-11-20 08:45:12] 759*2^1235076-1 is not prime. Res64: CE6AEA2A66D3A3E5 Time : 0.0 sec. user=vaughan [2012-11-20 08:45:27] 737*2^1235076-1 is not prime. Res64: F0A91B32D882BFE0 Time : 0.0 sec. user=mdettweiler [2012-11-20 08:49:41] 783*2^1235076-1 is not prime. Res64: 725ACD9D54BB9CDE Time : 0.0 sec. user=mdettweiler [2012-11-20 08:49:41] 873*2^1235076-1 is not prime. Res64: 73F10F9982C74C87 Time : 0.0 sec. user=vaughan [2012-11-20 08:55:03] 879*2^1235076-1 is not prime. Res64: 4323045BE1B25E3B Time : 0.0 sec. user=vaughan [2012-11-20 08:55:08] 899*2^1235076-1 is not prime. Res64: 05CAAFA5211B289D Time : 0.0 sec. user=vaughan [2012-11-20 08:55:31] 975*2^1235076-1 is not prime. Res64: C4A69698AC48C090 Time : 0.0 sec. user=vaughan [2012-11-20 08:56:36] 651*2^1235077-1 is not prime. Res64: 3B2BE66E7F0B28F6 Time : 0.0 sec. user=vaughan [2012-11-20 08:56:38] 717*2^1235077-1 is not prime. Res64: 78E36D872D7AE1E3 Time : 0.0 sec. user=vaughan [2012-11-20 08:57:09] 801*2^1235077-1 is not prime. Res64: 55B83CCA22B3AF12 Time : 0.0 sec. user=mdettweiler [2012-11-20 08:59:19] 771*2^1235078-1 is not prime. Res64: F126C9E76F2C4FC9 Time : 0.0 sec. user=mdettweiler [2012-11-20 08:59:20] 791*2^1235078-1 is not prime. Res64: BC7F179AB61645B0 Time : 0.0 sec. user=vaughan [2012-11-20 09:02:49] 753*2^1235078-1 is not prime. Res64: B49BED50CB9C8EAD Time : 0.0 sec. user=vaughan [2012-11-20 09:03:05] 945*2^1235077-1 is not prime. Res64: 399415D5711AD58B Time : 0.0 sec. user=mdettweiler [2012-11-20 09:10:34] 945*2^1235078-1 is not prime. Res64: CF646F3DDE4374C4 Time : 0.0 sec. user=mdettweiler [2012-11-20 09:10:36] 639*2^1235079-1 is not prime. Res64: 8D6BBE00C25B44D8 Time : 0.0 sec. user=vaughan [2012-11-20 09:11:35] 843*2^1235078-1 is not prime. Res64: EEC84DB4B2FEDFDB Time : 0.0 sec. user=vaughan [2012-11-20 09:11:41] 911*2^1235078-1 is not prime. Res64: 9DB9A34323A07507 Time : 0.0 sec. user=vaughan [2012-11-20 09:18:31] 679*2^1235079-1 is not prime. Res64: 280F7C624188A5E4 Time : 0.0 sec. user=vaughan [2012-11-20 09:18:38] 649*2^1235079-1 is not prime. Res64: 604A739316C00DF1 Time : 0.0 sec. user=vaughan [2012-11-20 09:19:03] 711*2^1235079-1 is not prime. Res64: AC584C9DAAF722D7 Time : 0.0 sec. user=vaughan [2012-11-20 09:19:59] 741*2^1235079-1 is not prime. Res64: F1B5B7697FE73C16 Time : 0.0 sec. user=vaughan [2012-11-20 09:19:59] 723*2^1235079-1 is not prime. Res64: F756FFB99F4EFAC5 Time : 0.0 sec. user=mdettweiler [2012-11-20 09:20:11] 979*2^1235079-1 is not prime. Res64: 29C673D2FDAE5660 Time : 0.0 sec. user=mdettweiler [2012-11-20 09:20:15] 609*2^1235080-1 is not prime. Res64: 11189C49C4CE35C6 Time : 0.0 sec. user=vaughan [2012-11-20 09:20:41] 885*2^1235079-1 is not prime. Res64: 721C3D586C97DEDF Time : 0.0 sec. user=vaughan [2012-11-20 09:30:04] 629*2^1235080-1 is not prime. Res64: A7B7129709A5148E Time : 0.0 sec. user=mdettweiler [2012-11-20 09:31:36] 687*2^1235080-1 is not prime. Res64: A7216CF208E29712 Time : 0.0 sec. user=mdettweiler [2012-11-20 09:31:37] 785*2^1235080-1 is not prime. Res64: 0DBB2CEC1D20EFDB Time : 0.0 sec. user=vaughan [2012-11-20 09:38:21] 923*2^1235080-1 is not prime. Res64: 55EB2F6544523213 Time : 0.0 sec. user=vaughan [2012-11-20 09:38:58] 999*2^1235080-1 is not prime. Res64: 66433A54C3098967 Time : 0.0 sec. user=mdettweiler [2012-11-20 09:41:15] 621*2^1235082-1 is not prime. Res64: 926CB707F4C6B427 Time : 0.0 sec. user=mdettweiler [2012-11-20 09:41:16] 717*2^1235082-1 is not prime. Res64: E9510250D4B44411 Time : 0.0 sec. user=vaughan [2012-11-20 09:43:29] 619*2^1235081-1 is not prime. Res64: 0F11B5A75BAD9DFE Time : 0.0 sec. user=vaughan [2012-11-20 09:43:32] 657*2^1235081-1 is not prime. Res64: E6D4358C4C2A925D Time : 0.0 sec. user=vaughan [2012-11-20 09:43:34] 691*2^1235081-1 is not prime. Res64: C042A0688162A65E Time : 0.0 sec. user=vaughan [2012-11-20 09:44:39] 727*2^1235081-1 is not prime. Res64: B28375DB3A6BBED4 Time : 0.0 sec. user=vaughan [2012-11-20 09:44:47] 861*2^1235081-1 is not prime. Res64: 9E768098A29DBCE8 Time : 0.0 sec. user=vaughan [2012-11-20 09:45:19] 801*2^1235082-1 is not prime. Res64: 6794AAC4B30E36BB Time : 0.0 sec. user=mdettweiler [2012-11-20 09:52:28] 885*2^1235082-1 is not prime. Res64: 83FAD8F8E4F63FD5 Time : 0.0 sec. user=mdettweiler [2012-11-20 09:52:29] 983*2^1235082-1 is not prime. Res64: 9D1B1DD148164495 Time : 0.0 sec. user=vaughan [2012-11-20 09:57:35] 807*2^1235082-1 is not prime. Res64: C14762830F3F2D91 Time : 0.0 sec. user=vaughan [2012-11-20 09:58:24] 873*2^1235082-1 is not prime. Res64: FA28D38A698115C3 Time : 0.0 sec. user=mdettweiler [2012-11-20 10:02:13] 723*2^1235083-1 is not prime. Res64: A9DD466C70BAE5F4 Time : 0.0 sec. user=mdettweiler [2012-11-20 10:02:15] 751*2^1235083-1 is not prime. Res64: DAE5DEC3B7115B7F Time : 0.0 sec. user=vaughan [2012-11-20 10:05:40] 639*2^1235083-1 is not prime. Res64: C57A0D87D6730697 Time : 0.0 sec. user=vaughan [2012-11-20 10:07:03] 699*2^1235083-1 is not prime. Res64: 5CD43B66CD8C153B Time : 0.0 sec. user=vaughan [2012-11-20 10:08:42] 805*2^1235083-1 is not prime. Res64: F9C2DF21685A924A Time : 0.0 sec. user=vaughan [2012-11-20 10:08:45] 775*2^1235083-1 is not prime. Res64: 6FBF6865C954B4AF Time : 0.0 sec. user=vaughan [2012-11-20 10:08:47] 853*2^1235083-1 is not prime. Res64: F5876EDB0B1F5D1E Time : 0.0 sec. user=vaughan [2012-11-20 10:09:55] 895*2^1235083-1 is not prime. Res64: BB76E7EC6066FA0E Time : 0.0 sec. user=vaughan [2012-11-20 10:09:55] 999*2^1235083-1 is not prime. Res64: A4CDC2AB177565E7 Time : 0.0 sec. user=vaughan [2012-11-20 10:10:32] 659*2^1235084-1 is not prime. Res64: 10E193625C21257A Time : 0.0 sec. user=mdettweiler [2012-11-20 10:13:20] 663*2^1235084-1 is not prime. Res64: D132B6DBF5FB337A Time : 0.0 sec. user=mdettweiler [2012-11-20 10:13:22] 813*2^1235084-1 is not prime. Res64: 273994D12A1FB23C Time : 0.0 sec. user=mdettweiler [2012-11-20 10:23:20] 649*2^1235085-1 is not prime. Res64: 3E4DD0FC54BDB2DF Time : 0.0 sec. user=mdettweiler [2012-11-20 10:23:21] 655*2^1235085-1 is not prime. Res64: 4EC9C1A23C0A2BC8 Time : 0.0 sec. user=vaughan [2012-11-20 10:24:58] 969*2^1235084-1 is not prime. Res64: AC9EAD8778C52F19 Time : 0.0 sec. user=vaughan [2012-11-20 10:26:50] 993*2^1235084-1 is not prime. Res64: 8A4825F78EEEC231 Time : 0.0 sec. user=vaughan [2012-11-20 10:34:10] 889*2^1235085-1 is not prime. Res64: 00ACA1EF51F4C609 Time : 0.0 sec. user=vaughan [2012-11-20 10:34:11] 921*2^1235085-1 is not prime. Res64: 2DCAA8BABE449316 Time : 0.0 sec. user=vaughan [2012-11-20 10:34:13] 603*2^1235086-1 is not prime. Res64: 792FEC6BF31E5A82 Time : 0.0 sec. user=mdettweiler [2012-11-20 10:34:19] 603*2^1235087-1 is not prime. Res64: 461C8536E5070364 Time : 0.0 sec. user=mdettweiler [2012-11-20 10:34:19] 609*2^1235087-1 is not prime. Res64: B463D9A3CDCFEB85 Time : 0.0 sec. user=vaughan [2012-11-20 10:34:42] 831*2^1235085-1 is not prime. Res64: 7C39B5F3EFFF0871 Time : 0.0 sec. user=vaughan [2012-11-20 10:34:51] 885*2^1235085-1 is not prime. Res64: 48235DB597EA07E8 Time : 0.0 sec. user=vaughan [2012-11-20 10:35:14] 717*2^1235086-1 is not prime. Res64: 8D1D04308AA0C783 Time : 0.0 sec. user=vaughan [2012-11-20 10:35:17] 611*2^1235086-1 is not prime. Res64: F8D4EF4B4D40DA9E Time : 0.0 sec. user=vaughan [2012-11-20 10:35:53] 945*2^1235086-1 is not prime. Res64: 22E434BE73E81D3E Time : 0.0 sec. user=mdettweiler [2012-11-20 10:44:13] 693*2^1235087-1 is not prime. Res64: D36BF1030488D0D1 Time : 0.0 sec. user=mdettweiler [2012-11-20 10:44:14] 861*2^1235087-1 is not prime. Res64: D519AFDDFFDCE8D3 Time : 0.0 sec. user=vaughan [2012-11-20 10:52:25] 915*2^1235087-1 is not prime. Res64: 017F23492242F2DD Time : 0.0 sec. user=mdettweiler [2012-11-20 10:55:12] 797*2^1235088-1 is not prime. Res64: 0C7B31041EF70DB8 Time : 0.0 sec. user=mdettweiler [2012-11-20 10:55:12] 839*2^1235088-1 is not prime. Res64: 5DDD9376DF3B14E2 Time : 0.0 sec. user=vaughan [2012-11-20 10:55:18] 931*2^1235087-1 is not prime. Res64: AD01EBB446EAE61C Time : 0.0 sec. user=vaughan [2012-11-20 10:59:17] 737*2^1235088-1 is not prime. Res64: ED593EFD18CF8C4A Time : 0.0 sec. user=vaughan [2012-11-20 10:59:24] 725*2^1235088-1 is not prime. Res64: 4DC9991601266B96 Time : 0.0 sec. user=vaughan [2012-11-20 10:59:25] 633*2^1235088-1 is not prime. Res64: 1D04A78B0F96BBB6 Time : 0.0 sec. user=vaughan [2012-11-20 11:00:24] 801*2^1235089-1 is not prime. Res64: 7937C374B4429387 Time : 0.0 sec. user=vaughan [2012-11-20 11:00:25] 681*2^1235089-1 is not prime. Res64: DFF4800DD67D406B Time : 0.0 sec. user=vaughan [2012-11-20 11:01:04] 831*2^1235089-1 is not prime. Res64: CD801F84636A06E1 Time : 0.0 sec. user=vaughan [2012-11-20 11:02:14] 845*2^1235088-1 is not prime. Res64: 1EEA5F59459E8730 Time : 0.0 sec. user=vaughan [2012-11-20 11:03:30] 977*2^1235088-1 is not prime. Res64: 40CD653D30430FDC Time : 0.0 sec. user=mdettweiler [2012-11-20 11:05:06] 997*2^1235089-1 is not prime. Res64: 1CAD507D13188A4D Time : 0.0 sec. user=mdettweiler [2012-11-20 11:05:09] 645*2^1235090-1 is not prime. Res64: 49D658926478CBB5 Time : 0.0 sec. user=mdettweiler [2012-11-20 11:16:05] 875*2^1235090-1 is not prime. Res64: 084B78AC2B8177BB Time : 0.0 sec. user=mdettweiler [2012-11-20 11:16:09] 887*2^1235090-1 is not prime. Res64: 5EB62646CE3E0E72 Time : 0.0 sec. user=vaughan [2012-11-20 11:19:45] 813*2^1235090-1 is not prime. Res64: 3A0E321B16350A1D Time : 0.0 sec. user=vaughan [2012-11-20 11:23:41] 951*2^1235090-1 is not prime. Res64: 925BC2D01B7EEAE8 Time : 0.0 sec. user=vaughan [2012-11-20 11:24:28] 995*2^1235090-1 is not prime. Res64: B7E1AA9868202A5B Time : 0.0 sec. user=vaughan [2012-11-20 11:24:32] 849*2^1235091-1 is not prime. Res64: 8F2CF89993C15915 Time : 0.0 sec. user=vaughan [2012-11-20 11:24:36] 703*2^1235091-1 is not prime. Res64: 3A47F0A8D2648270 Time : 0.0 sec. user=vaughan [2012-11-20 11:25:31] 873*2^1235091-1 is not prime. Res64: 8ACD7C4A4FA466EE Time : 0.0 sec. user=vaughan [2012-11-20 11:25:36] 945*2^1235091-1 is not prime. Res64: 91F8B177FE6AAE6F Time : 0.0 sec. user=vaughan [2012-11-20 11:26:17] 975*2^1235091-1 is not prime. Res64: 0B8A27B5895B6D51 Time : 0.0 sec. user=mdettweiler [2012-11-20 11:26:19] 719*2^1235092-1 is not prime. Res64: 083E3D3B0820648A Time : 0.0 sec. user=mdettweiler [2012-11-20 11:26:20] 777*2^1235092-1 is not prime. Res64: 2B3973D1FD8D4909 Time : 0.0 sec. user=vaughan [2012-11-20 11:29:56] 635*2^1235092-1 is not prime. Res64: 3B701EE000BC09DB Time : 0.0 sec. user=vaughan [2012-11-20 11:32:37] 695*2^1235092-1 is not prime. Res64: 7C2C229DFB9F2C89 Time : 0.0 sec. user=mdettweiler [2012-11-20 11:38:30] 827*2^1235092-1 is not prime. Res64: 58359F3020177B07 Time : 0.0 sec. user=mdettweiler [2012-11-20 11:38:31] 989*2^1235092-1 is not prime. Res64: 7BF816BA43B1A32E Time : 0.0 sec. user=vaughan [2012-11-20 11:47:31] 615*2^1235093-1 is not prime. Res64: 40276C99768CDC8D Time : 0.0 sec. user=mdettweiler [2012-11-20 11:47:59] 651*2^1235094-1 is not prime. Res64: 62E4F9B86E2B3B52 Time : 0.0 sec. user=mdettweiler [2012-11-20 11:48:00] 671*2^1235094-1 is not prime. Res64: 2120CC44F4710B50 Time : 0.0 sec. user=vaughan [2012-11-20 11:49:29] 727*2^1235093-1 is not prime. Res64: 4DA03FAE5A92DB93 Time : 0.0 sec. user=vaughan [2012-11-20 11:49:29] 691*2^1235093-1 is not prime. Res64: D6E9E106CC6DA909 Time : 0.0 sec. user=vaughan [2012-11-20 11:49:35] 771*2^1235093-1 is not prime. Res64: D0E23517BD01AEFA Time : 0.0 sec. user=vaughan [2012-11-20 11:50:30] 775*2^1235093-1 is not prime. Res64: 2DEC129843AC4695 Time : 0.0 sec. user=vaughan [2012-11-20 11:50:32] 837*2^1235093-1 is not prime. Res64: 39FDDCB3A4DDDEFE Time : 0.0 sec. user=vaughan [2012-11-20 11:51:13] 879*2^1235093-1 is not prime. Res64: 1EE93FB793BAE5B5 Time : 0.0 sec. user=vaughan [2012-11-20 11:53:07] 621*2^1235093-1 is not prime. Res64: E543FBBDC604ECD2 Time : 0.0 sec. user=vaughan [2012-11-20 11:58:00] 705*2^1235094-1 is not prime. Res64: 54DB9622F352DA6F Time : 0.0 sec. user=mdettweiler [2012-11-20 11:59:38] 795*2^1235094-1 is not prime. Res64: D80C53678EB55963 Time : 0.0 sec. user=mdettweiler [2012-11-20 11:59:38] 797*2^1235094-1 is not prime. Res64: 1794202A7C929E51 Time : 0.0 sec. user=vaughan [2012-11-20 11:59:46] 723*2^1235094-1 is not prime. Res64: B4060FD2FE046E95 Time : 0.0 sec. user=mdettweiler [2012-11-20 12:09:18] 965*2^1235094-1 is not prime. Res64: D291BCA47FF747FA Time : 0.0 sec. user=mdettweiler [2012-11-20 12:09:18] 1001*2^1235094-1 is not prime. Res64: 5A6BADB919FA6C4B Time : 0.0 sec. user=vaughan [2012-11-20 12:14:36] 771*2^1235095-1 is not prime. Res64: 080C31AB3D624FB9 Time : 0.0 sec. user=vaughan [2012-11-20 12:14:39] 709*2^1235095-1 is not prime. Res64: D97C5299079DD9E0 Time : 0.0 sec. user=vaughan [2012-11-20 12:14:42] 715*2^1235095-1 is not prime. Res64: D4BCFEE1D9E12D94 Time : 0.0 sec. user=vaughan [2012-11-20 12:15:33] 859*2^1235095-1 is not prime. Res64: B6C6688846759920 Time : 0.0 sec. user=vaughan [2012-11-20 12:15:33] 891*2^1235095-1 is not prime. Res64: F4B962C3F6C02A42 Time : 0.0 sec. user=vaughan [2012-11-20 12:16:08] 893*2^1235094-1 is not prime. Res64: 1415CDAD69D03F35 Time : 0.0 sec. user=vaughan [2012-11-20 12:16:13] 961*2^1235095-1 is not prime. Res64: C6F5532D302B2D71 Time : 0.0 sec. user=vaughan [2012-11-20 12:20:49] 973*2^1235095-1 is not prime. Res64: 4BDC27FACB799174 Time : 0.0 sec. user=mdettweiler [2012-11-20 12:20:54] 735*2^1235096-1 is not prime. Res64: 876951D052342EA4 Time : 0.0 sec. user=mdettweiler [2012-11-20 12:20:57] 803*2^1235096-1 is not prime. Res64: ADD2C43CE9EDF8D0 Time : 0.0 sec. user=vaughan [2012-11-20 12:26:46] 717*2^1235096-1 is not prime. Res64: 09156DB10F044690 Time : 0.0 sec. user=vaughan [2012-11-20 12:27:34] 845*2^1235096-1 is not prime. Res64: F43F09CE38D7C6A0 Time : 0.0 sec. user=mdettweiler [2012-11-20 12:30:26] 873*2^1235096-1 is not prime. Res64: AE55B91CA2984617 Time : 0.0 sec. user=mdettweiler [2012-11-20 12:30:27] 917*2^1235096-1 is not prime. Res64: 00F046A24C9379FC Time : 0.0 sec. user=vaughan [2012-11-20 12:39:50] 865*2^1235097-1 is not prime. Res64: 0F94DD94A4C10A39 Time : 0.0 sec. user=vaughan [2012-11-20 12:39:56] 625*2^1235097-1 is not prime. Res64: 606CF3C2EF7D987B Time : 0.0 sec. user=vaughan [2012-11-20 12:40:01] 997*2^1235097-1 is not prime. Res64: E1DA3746F6B6FF3C Time : 0.0 sec. user=vaughan [2012-11-20 12:40:36] 663*2^1235098-1 is not prime. Res64: AFDC33C0E983D227 Time : 0.0 sec. user=vaughan [2012-11-20 12:40:58] 671*2^1235098-1 is not prime. Res64: D369B00AC1016347 Time : 0.0 sec. user=vaughan [2012-11-20 12:41:33] 747*2^1235098-1 is not prime. Res64: 070A51C59751C87D Time : 0.0 sec. user=mdettweiler [2012-11-20 12:42:05] 857*2^1235098-1 is not prime. Res64: B9B6E886F80C510B Time : 0.0 sec. user=mdettweiler [2012-11-20 12:42:05] 905*2^1235098-1 is not prime. Res64: A416EFFEB76F6EFB Time : 0.0 sec. user=vaughan [2012-11-20 12:43:14] 687*2^1235098-1 is not prime. Res64: B927F6F484450E5A Time : 0.0 sec. user=vaughan [2012-11-20 12:49:43] 773*2^1235098-1 is not prime. Res64: 5BB6F37C6CDB07DD Time : 0.0 sec. user=mdettweiler [2012-11-20 12:51:16] 645*2^1235099-1 is not prime. Res64: BFEEDB332F786B6B Time : 0.0 sec. user=mdettweiler [2012-11-20 12:51:17] 759*2^1235099-1 is not prime. Res64: DB0C1A6512BEB52F Time : 0.0 sec. user=vaughan [2012-11-20 12:53:34] 923*2^1235098-1 is not prime. Res64: 408190E541E1A94D Time : 0.0 sec. user=vaughan [2012-11-20 12:56:03] 601*2^1235099-1 is not prime. Res64: 1844B3A9DFDC1FDE Time : 0.0 sec. user=mdettweiler [2012-11-20 13:02:57] 861*2^1235101-1 is not prime. Res64: B1A7F04DD1A65936 Time : 0.0 sec. user=mdettweiler [2012-11-20 13:03:00] 877*2^1235101-1 is not prime. Res64: 670194CFBA8F946C Time : 0.0 sec. user=vaughan [2012-11-20 13:05:05] 921*2^1235099-1 is not prime. Res64: 98529B4CB27054E4 Time : 0.0 sec. user=vaughan [2012-11-20 13:05:16] 647*2^1235100-1 is not prime. Res64: 80FC239DCB1E7703 Time : 0.0 sec. user=vaughan [2012-11-20 13:05:20] 765*2^1235100-1 is not prime. Res64: 19BA262B7A523ED0 Time : 0.0 sec. user=vaughan [2012-11-20 13:05:42] 797*2^1235100-1 is not prime. Res64: 633447FB1F625538 Time : 0.0 sec. user=vaughan [2012-11-20 13:06:02] 845*2^1235100-1 is not prime. Res64: 02C7243691A5791F Time : 0.0 sec. user=vaughan [2012-11-20 13:06:40] 645*2^1235101-1 is not prime. Res64: 25C0418587142CD1 Time : 0.0 sec. user=vaughan [2012-11-20 13:10:03] 939*2^1235101-1 is not prime. Res64: CE666ECB4E4DA383 Time : 0.0 sec. user=mdettweiler [2012-11-20 13:12:07] 665*2^1235102-1 is not prime. Res64: 5CE0F7364CC3A411 Time : 0.0 sec. user=mdettweiler [2012-11-20 13:12:08] 677*2^1235102-1 is not prime. Res64: 6833B4A3A07539D1 Time : 0.0 sec. user=vaughan [2012-11-20 13:18:15] 979*2^1235101-1 is not prime. Res64: 21FD8A542883CB89 Time : 0.0 sec. user=vaughan [2012-11-20 13:20:20] 755*2^1235102-1 is not prime. Res64: 12EC84BFC7458495 Time : 0.0 sec. user=mdettweiler [2012-11-20 13:24:28] 857*2^1235102-1 is not prime. Res64: 6D43405070F1B8CA Time : 0.0 sec. user=mdettweiler [2012-11-20 13:24:28] 923*2^1235102-1 is not prime. Res64: 0ED987535E7419E0 Time : 0.0 sec. user=vaughan [2012-11-20 13:24:32] 825*2^1235102-1 is not prime. Res64: C7C4C90076447906 Time : 0.0 sec. user=vaughan [2012-11-20 13:30:37] 661*2^1235103-1 is not prime. Res64: 59862B288408A03F Time : 0.0 sec. user=vaughan [2012-11-20 13:30:39] 775*2^1235103-1 is not prime. Res64: E5AB15F6BCDCD193 Time : 0.0 sec. user=vaughan [2012-11-20 13:30:42] 781*2^1235103-1 is not prime. Res64: CAC21620BFD254B5 Time : 0.0 sec. user=vaughan [2012-11-20 13:30:59] 853*2^1235103-1 is not prime. Res64: 4F55C23434DF407E Time : 0.0 sec. user=vaughan [2012-11-20 13:31:16] 665*2^1235104-1 is not prime. Res64: 92AFEAC789D360B8 Time : 0.0 sec. user=vaughan [2012-11-20 13:31:50] 677*2^1235104-1 is not prime. Res64: 07482989C45E8C77 Time : 0.0 sec. user=mdettweiler [2012-11-20 13:33:10] 843*2^1235104-1 is not prime. Res64: ED7FE14FA801D8B2 Time : 0.0 sec. user=mdettweiler [2012-11-20 13:33:11] 927*2^1235104-1 is not prime. Res64: 643BFC7C246EDCFA Time : 0.0 sec. user=vaughan [2012-11-20 13:38:16] 825*2^1235104-1 is not prime. Res64: 119DD1DE2F492525 Time : 0.0 sec. user=vaughan [2012-11-20 13:45:17] 969*2^1235104-1 is not prime. Res64: 6E8E391F974F637F Time : 0.0 sec. user=mdettweiler [2012-11-20 13:45:33] 729*2^1235105-1 is not prime. Res64: 8A880ECD59DBE163 Time : 0.0 sec. user=mdettweiler [2012-11-20 13:45:33] 735*2^1235105-1 is not prime. Res64: 102803ED7630C713 Time : 0.0 sec. user=vaughan [2012-11-20 13:48:21] 993*2^1235104-1 is not prime. Res64: 792191901537935C Time : 0.0 sec. user=vaughan [2012-11-20 13:51:39] 949*2^1235105-1 is not prime. Res64: 108A1556FAEF1D2A Time : 0.0 sec. user=mdettweiler [2012-11-20 13:54:25] 673*2^1235107-1 is not prime. Res64: 81DA538995B47D7E Time : 0.0 sec. user=mdettweiler [2012-11-20 13:54:26] 859*2^1235107-1 is not prime. Res64: 9FFDD8AC4BE0D7B5 Time : 0.0 sec. user=vaughan [2012-11-20 13:56:43] 717*2^1235106-1 is not prime. Res64: 9559DD4B6C481154 Time : 0.0 sec. user=vaughan [2012-11-20 13:56:44] 833*2^1235106-1 is not prime. Res64: 1BF95774932B459A Time : 0.0 sec. user=vaughan [2012-11-20 13:57:00] 765*2^1235106-1 is not prime. Res64: D20DE8A53F529AD6 Time : 0.0 sec. user=vaughan [2012-11-20 13:57:15] 957*2^1235106-1 is not prime. Res64: A021EED92BE20220 Time : 0.0 sec. user=vaughan [2012-11-20 13:57:41] 615*2^1235107-1 is not prime. Res64: 2C2FC79D93761F1E Time : 0.0 sec. user=vaughan [2012-11-20 13:57:45] 983*2^1235106-1 is not prime. Res64: 1C43058F1416DDB1 Time : 0.0 sec. user=vaughan [2012-11-20 14:06:39] 861*2^1235107-1 is not prime. Res64: DB7DF3EE85CC96CE Time : 0.0 sec. user=mdettweiler [2012-11-20 14:06:58] 669*2^1235108-1 is not prime. Res64: F4250FC350457352 Time : 0.0 sec. user=mdettweiler [2012-11-20 14:06:59] 677*2^1235108-1 is not prime. Res64: BB9DC02B1E7FAA15 Time : 0.0 sec. user=vaughan [2012-11-20 14:12:45] 647*2^1235108-1 is not prime. Res64: 198338355DA0487F Time : 0.0 sec. user=mdettweiler [2012-11-20 14:15:51] 995*2^1235108-1 is not prime. Res64: BBEDB58A72B32E08 Time : 0.0 sec. user=mdettweiler [2012-11-20 14:16:01] 999*2^1235108-1 is not prime. Res64: 4EE3FFBB114072F9 Time : 0.0 sec. user=vaughan [2012-11-20 14:16:43] 753*2^1235108-1 is not prime. Res64: 177A3D125A4C5899 Time : 0.0 sec. user=vaughan [2012-11-20 14:21:51] 819*2^1235108-1 is not prime. Res64: 57B4941A40A18E41 Time : 0.0 sec. user=vaughan [2012-11-20 14:22:08] 889*2^1235109-1 is not prime. Res64: 9324E778A2B65CED Time : 0.0 sec. user=vaughan [2012-11-20 14:22:11] 621*2^1235109-1 is not prime. Res64: 7D32CDA837DE5A16 Time : 0.0 sec. user=vaughan [2012-11-20 14:22:27] 891*2^1235109-1 is not prime. Res64: 42FB7AE34B06B8FC Time : 0.0 sec. user=vaughan [2012-11-20 14:22:42] 907*2^1235109-1 is not prime. Res64: 0DE1D031CAB0D66C Time : 0.0 sec. user=vaughan [2012-11-20 14:23:09] 955*2^1235109-1 is not prime. Res64: 0BA48DAF94C2209F Time : 0.0 sec. user=vaughan [2012-11-20 14:23:15] 951*2^1235109-1 is not prime. Res64: 645C2A711C4C3141 Time : 0.0 sec. user=mdettweiler [2012-11-20 14:28:31] 999*2^1235109-1 is not prime. Res64: 7961C84DF8B626E2 Time : 0.0 sec. user=mdettweiler [2012-11-20 14:28:32] 605*2^1235110-1 is not prime. Res64: 73F3082FBB798037 Time : 0.0 sec. user=vaughan [2012-11-20 14:34:37] 997*2^1235109-1 is not prime. Res64: 147F6919EF5AB227 Time : 0.0 sec. user=vaughan [2012-11-20 14:39:42] 717*2^1235110-1 is not prime. Res64: A53A483A363612AB Time : 0.0 sec. user=vaughan [2012-11-20 14:45:38] 743*2^1235110-1 is not prime. Res64: 820F905C0C4D5480 Time : 0.0 sec. user=vaughan [2012-11-20 14:47:33] 783*2^1235110-1 is not prime. Res64: AF9B20B06A29D261 Time : 0.0 sec. user=vaughan [2012-11-20 14:47:42] 791*2^1235110-1 is not prime. Res64: 8F4A0C67728823CE Time : 0.0 sec. user=vaughan [2012-11-20 14:47:52] 831*2^1235110-1 is not prime. Res64: 36BA3B9813B303CA Time : 0.0 sec. user=vaughan [2012-11-20 14:48:07] 843*2^1235110-1 is not prime. Res64: B298105E496E2B70 Time : 0.0 sec. user=vaughan [2012-11-20 14:48:30] 887*2^1235110-1 is not prime. Res64: D5F45C657573022C Time : 0.0 sec. user=vaughan [2012-11-20 14:48:41] 945*2^1235111-1 is not prime. Res64: B2ED9C75FD58FB8D Time : 0.0 sec. user=mdettweiler [2012-11-20 14:50:04] 949*2^1235111-1 is not prime. Res64: B0CA6D5DA0000017 Time : 0.0 sec. user=mdettweiler [2012-11-20 14:50:04] 969*2^1235111-1 is not prime. Res64: 91CA710782AE1BF5 Time : 0.0 sec. user=vaughan [2012-11-20 15:03:03] 979*2^1235111-1 is not prime. Res64: 91DE935930D80E12 Time : 0.0 sec. user=vaughan [2012-11-20 15:06:41] 737*2^1235112-1 is not prime. Res64: AFF7E7F877BBED69 Time : 0.0 sec. user=mdettweiler [2012-11-20 15:11:39] 657*2^1235114-1 is not prime. Res64: F31A2389AFAB0242 Time : 0.0 sec. user=mdettweiler [2012-11-20 15:11:40] 711*2^1235114-1 is not prime. Res64: 01DBE6421ACFC8C7 Time : 0.0 sec. user=vaughan [2012-11-20 15:12:34] 681*2^1235113-1 is not prime. Res64: 0886275707679C85 Time : 0.0 sec. user=vaughan [2012-11-20 15:13:20] 819*2^1235113-1 is not prime. Res64: 6599EB44992F1490 Time : 0.0 sec. user=vaughan [2012-11-20 15:13:22] 875*2^1235112-1 is not prime. Res64: D18DB06C8AAE6704 Time : 0.0 sec. user=vaughan [2012-11-20 15:13:23] 811*2^1235113-1 is not prime. Res64: EBFAA22858ADEFE1 Time : 0.0 sec. user=vaughan [2012-11-20 15:13:35] 897*2^1235113-1 is not prime. Res64: 05877C21BB5782AB Time : 0.0 sec. user=vaughan [2012-11-20 15:13:38] 937*2^1235113-1 is not prime. Res64: 639BD461F0321E19 Time : 0.0 sec. user=vaughan [2012-11-20 15:14:09] 979*2^1235113-1 is not prime. Res64: 4DFB01D2C553E04F Time : 0.0 sec. user=vaughan [2012-11-20 15:14:23] 999*2^1235113-1 is not prime. Res64: EE96BA02A4A7FE0A Time : 0.0 sec. user=mdettweiler [2012-11-20 15:24:23] 731*2^1235114-1 is not prime. Res64: AE49D40B2F68AE5C Time : 0.0 sec. user=mdettweiler [2012-11-20 15:24:23] 797*2^1235114-1 is not prime. Res64: 3D94CEA0DBA84EEE Time : 0.0 sec. user=vaughan [2012-11-20 15:31:55] 981*2^1235114-1 is not prime. Res64: 43AB75D7E3504D71 Time : 0.0 sec. user=mdettweiler [2012-11-20 15:33:13] 805*2^1235115-1 is not prime. Res64: 0C2511B768B32869 Time : 0.0 sec. user=mdettweiler [2012-11-20 15:33:14] 895*2^1235115-1 is not prime. Res64: 9B1D8A5B7D3773BA Time : 0.0 sec. user=vaughan [2012-11-20 15:34:05] 789*2^1235115-1 is not prime. Res64: 3CB06BEE60A108E8 Time : 0.0 sec. user=vaughan [2012-11-20 15:38:44] 999*2^1235115-1 is not prime. Res64: F0BE46BC6DCCF539 Time : 0.0 sec. user=vaughan [2012-11-20 15:38:47] 717*2^1235116-1 is not prime. Res64: 7C9BFD52996C4079 Time : 0.0 sec. user=vaughan [2012-11-20 15:39:00] 759*2^1235116-1 is not prime. Res64: 180E792611C45FD5 Time : 0.0 sec. user=vaughan [2012-11-20 15:39:04] 783*2^1235116-1 is not prime. Res64: 3E60DD58AAC6DBD5 Time : 0.0 sec. user=vaughan [2012-11-20 15:39:27] 825*2^1235116-1 is not prime. Res64: 7F906207DA0247A0 Time : 0.0 sec. user=vaughan [2012-11-20 15:39:34] 969*2^1235115-1 is not prime. Res64: A502816017E0A099 Time : 0.0 sec. user=vaughan [2012-11-20 15:39:51] 905*2^1235116-1 is not prime. Res64: 04447622B81E71D2 Time : 0.0 sec. user=vaughan [2012-11-20 15:41:58] 677*2^1235116-1 is not prime. Res64: 3652A452FEAED6ED Time : 0.0 sec. user=mdettweiler [2012-11-20 15:47:16] 607*2^1235117-1 is not prime. Res64: C5AC208516CA2D15 Time : 0.0 sec. user=mdettweiler [2012-11-20 15:47:16] 631*2^1235117-1 is not prime. Res64: 53E6654E24763609 Time : 0.0 sec. user=mdettweiler [2012-11-20 15:55:01] 669*2^1235117-1 is not prime. Res64: 0F1F16BE81A6FBDB Time : 0.0 sec. user=mdettweiler [2012-11-20 15:55:02] 699*2^1235117-1 is not prime. Res64: 384720CD77713652 Time : 0.0 sec. user=vaughan [2012-11-20 16:00:16] 645*2^1235117-1 is not prime. Res64: 038B2F304017AB56 Time : 0.0 sec. user=vaughan [2012-11-20 16:01:24] 727*2^1235117-1 is not prime. Res64: 384F524445C5D7E4 Time : 0.0 sec. user=vaughan [2012-11-20 16:04:21] 735*2^1235117-1 is not prime. Res64: 107B888361CA0251 Time : 0.0 sec. user=vaughan [2012-11-20 16:04:27] 741*2^1235117-1 is not prime. Res64: 663BAB02A7E8B4C3 Time : 0.0 sec. user=vaughan [2012-11-20 16:04:38] 801*2^1235117-1 is not prime. Res64: 9A76C256798D93D2 Time : 0.0 sec. user=vaughan [2012-11-20 16:04:40] 829*2^1235117-1 is not prime. Res64: 6823D326816898F7 Time : 0.0 sec. user=vaughan [2012-11-20 16:04:59] 901*2^1235117-1 is not prime. Res64: ABE9892493034806 Time : 0.0 sec. user=vaughan [2012-11-20 16:05:22] 991*2^1235117-1 is not prime. Res64: C95C39646124F6CE Time : 0.0 sec. user=vaughan [2012-11-20 16:08:04] 949*2^1235117-1 is not prime. Res64: D3C7E79E4308AEFC Time : 0.0 sec. user=mdettweiler [2012-11-20 16:08:41] 761*2^1235118-1 is not prime. Res64: EEAEF88CC2404417 Time : 0.0 sec. user=mdettweiler [2012-11-20 16:08:42] 797*2^1235118-1 is not prime. Res64: 99492263B3C2617C Time : 0.0 sec. user=vaughan [2012-11-20 16:09:29] 705*2^1235118-1 is not prime. Res64: 9FB271421D5FDB36 Time : 0.0 sec. user=mdettweiler [2012-11-20 16:16:25] 933*2^1235118-1 is not prime. Res64: B3B2A68D044E1A1B Time : 0.0 sec. user=mdettweiler [2012-11-20 16:16:28] 609*2^1235119-1 is not prime. Res64: A6C2F59DDB9FD319 Time : 0.0 sec. user=vaughan [2012-11-20 16:28:43] 729*2^1235119-1 is not prime. Res64: 5898B7A9BE81D4B6 Time : 0.0 sec. user=vaughan [2012-11-20 16:28:56] 639*2^1235119-1 is not prime. Res64: FF1D504F3EB3B636 Time : 0.0 sec. user=vaughan [2012-11-20 16:30:05] 751*2^1235119-1 is not prime. Res64: 321DA3C8CA54FF0F Time : 0.0 sec. user=mdettweiler [2012-11-20 16:30:10] 969*2^1235119-1 is not prime. Res64: 34C549EBC7EF5DFA Time : 0.0 sec. user=mdettweiler [2012-11-20 16:30:10] 615*2^1235120-1 is not prime. Res64: CDDF6ECEEA24C7FB Time : 0.0 sec. user=vaughan [2012-11-20 16:30:14] 765*2^1235119-1 is not prime. Res64: 1504FF4530F12864 Time : 0.0 sec. user=vaughan [2012-11-20 16:30:19] 789*2^1235119-1 is not prime. Res64: 9E950EB5C72D220D Time : 0.0 sec. user=vaughan [2012-11-20 16:30:27] 793*2^1235119-1 is not prime. Res64: D215ECFF7019A789 Time : 0.0 sec. user=vaughan [2012-11-20 16:30:40] 855*2^1235119-1 is not prime. Res64: CF4113466C7978F3 Time : 0.0 sec. user=vaughan [2012-11-20 16:31:10] 885*2^1235119-1 is not prime. Res64: 18161B503A612E09 Time : 0.0 sec. user=vaughan [2012-11-20 16:36:58] 889*2^1235119-1 is not prime. Res64: A77E85776EE39934 Time : 0.0 sec. user=vaughan [2012-11-20 16:36:59] 767*2^1235120-1 is not prime. Res64: 99CBD4712DD2AA85 Time : 0.0 sec. user=mdettweiler [2012-11-20 16:38:11] 797*2^1235120-1 is not prime. Res64: DA4F1CE1C141D942 Time : 0.0 sec. user=mdettweiler [2012-11-20 16:38:12] 857*2^1235120-1 is not prime. Res64: 73FDF8DAC80BF84F Time : 0.0 sec. user=mdettweiler [2012-11-20 16:51:33] 817*2^1235121-1 is not prime. Res64: 3321144D5987A13B Time : 0.0 sec. user=mdettweiler [2012-11-20 16:51:34] 975*2^1235121-1 is not prime. Res64: DB5E448D64595B27 Time : 0.0 sec. user=vaughan [2012-11-20 16:55:52] 795*2^1235121-1 is not prime. Res64: 58311B5A842CDF5D Time : 0.0 sec. user=vaughan [2012-11-20 16:56:04] 611*2^1235122-1 is not prime. Res64: 56A92D7F0DF1DED8 Time : 0.0 sec. user=vaughan [2012-11-20 16:56:10] 623*2^1235122-1 is not prime. Res64: 6980933DE2840E2D Time : 0.0 sec. user=vaughan [2012-11-20 16:56:14] 657*2^1235122-1 is not prime. Res64: E24119FC3B3B9860 Time : 0.0 sec. user=vaughan [2012-11-20 16:56:30] 713*2^1235122-1 is not prime. Res64: 2B1A8BCA35747025 Time : 0.0 sec. user=vaughan [2012-11-20 16:56:31] 751*2^1235121-1 is not prime. Res64: 9787FF0E04257239 Time : 0.0 sec. user=vaughan [2012-11-20 16:57:00] 735*2^1235122-1 is not prime. Res64: 69B1DF9295BE1EC9 Time : 0.0 sec. user=vaughan [2012-11-20 16:57:40] 897*2^1235120-1 is not prime. Res64: 9739C3892F612F27 Time : 0.0 sec. user=mdettweiler [2012-11-20 16:59:38] 803*2^1235122-1 is not prime. Res64: 45809BDC1CAB8705 Time : 0.0 sec. user=mdettweiler [2012-11-20 16:59:38] 815*2^1235122-1 is not prime. Res64: 6BF28B5C4874EF24 Time : 0.0 sec. user=vaughan [2012-11-20 17:05:11] 777*2^1235122-1 is not prime. Res64: 84BB005629246BE2 Time : 0.0 sec. user=vaughan [2012-11-20 17:06:08] 743*2^1235122-1 is not prime. Res64: B184519DB884B9B0 Time : 0.0 sec. user=mdettweiler [2012-11-20 17:12:58] 873*2^1235122-1 is not prime. Res64: 8B0FF8ABFA100B49 Time : 0.0 sec. user=mdettweiler [2012-11-20 17:13:00] 975*2^1235122-1 is not prime. Res64: B8F659C31325859C Time : 0.0 sec. user=mdettweiler [2012-11-20 17:21:00] 929*2^1235124-1 is not prime. Res64: F5A6A2B4543284EC Time : 0.0 sec. user=mdettweiler [2012-11-20 17:21:01] 699*2^1235125-1 is not prime. Res64: E4B4BDC63E1B08D9 Time : 0.0 sec. user=vaughan [2012-11-20 17:21:43] 823*2^1235123-1 is not prime. Res64: BE1B8B8C0939694A Time : 0.0 sec. user=vaughan [2012-11-20 17:22:05] 829*2^1235123-1 is not prime. Res64: DEB9EA644A462CE3 Time : 0.0 sec. user=vaughan [2012-11-20 17:22:06] 889*2^1235123-1 is not prime. Res64: A87EEA3D8F1E9D6A Time : 0.0 sec. user=vaughan [2012-11-20 17:22:08] 939*2^1235123-1 is not prime. Res64: 88FB02D8D19F2C6D Time : 0.0 sec. user=vaughan [2012-11-20 17:22:27] 629*2^1235124-1 is not prime. Res64: 9F39A21DC8C5DA12 Time : 0.0 sec. user=vaughan [2012-11-20 17:22:56] 759*2^1235124-1 is not prime. Res64: C3196AC96ABE0377 Time : 0.0 sec. user=vaughan [2012-11-20 17:25:35] 905*2^1235124-1 is not prime. Res64: 89A3F388ABA6D260 Time : 0.0 sec. user=vaughan [2012-11-20 17:26:01] 717*2^1235124-1 is not prime. Res64: C6AC5E0A0C70331A Time : 0.0 sec. user=vaughan [2012-11-20 17:33:16] 721*2^1235125-1 is not prime. Res64: D034B93C1E39F0A3 Time : 0.0 sec. user=mdettweiler [2012-11-20 17:34:36] 799*2^1235125-1 is not prime. Res64: C62486A99165624A Time : 0.0 sec. user=mdettweiler [2012-11-20 17:34:36] 847*2^1235125-1 is not prime. Res64: D39AC02F5843E5FC Time : 0.0 sec. user=vaughan [2012-11-20 17:35:28] 727*2^1235125-1 is not prime. Res64: 26F46149D08429AB Time : 0.0 sec. user=mdettweiler [2012-11-20 17:42:38] 861*2^1235125-1 is not prime. Res64: 1A59D6B5D80BA8C8 Time : 0.0 sec. user=mdettweiler [2012-11-20 17:42:39] 987*2^1235125-1 is not prime. Res64: 19CA5036F2DA6DD5 Time : 0.0 sec. user=vaughan [2012-11-20 17:47:35] 635*2^1235126-1 is not prime. Res64: 330D121480ACAD71 Time : 0.0 sec. user=vaughan [2012-11-20 17:47:59] 641*2^1235126-1 is not prime. Res64: A7FAC45D541A5A6D Time : 0.0 sec. user=vaughan [2012-11-20 17:48:00] 945*2^1235126-1 is not prime. Res64: 977419E421569EEE Time : 0.0 sec. user=vaughan [2012-11-20 17:48:04] 761*2^1235126-1 is not prime. Res64: 825CDBACAFBA054F Time : 0.0 sec. user=vaughan [2012-11-20 17:48:23] 651*2^1235127-1 is not prime. Res64: EF11F3586516941F Time : 0.0 sec. user=vaughan [2012-11-20 17:49:01] 709*2^1235127-1 is not prime. Res64: 1629780F18A94775 Time : 0.0 sec. user=vaughan [2012-11-20 17:53:21] 765*2^1235127-1 is not prime. Res64: D93826AF76C11B40 Time : 0.0 sec. user=vaughan [2012-11-20 17:55:39] 793*2^1235127-1 is not prime. Res64: 64EE0F0A7B12B2A3 Time : 0.0 sec. user=mdettweiler [2012-11-20 17:55:58] 813*2^1235128-1 is not prime. Res64: 7D9FE5757DE8210D Time : 0.0 sec. user=mdettweiler [2012-11-20 17:55:59] 869*2^1235128-1 is not prime. Res64: 70EC04B9FB5FAFBF Time : 0.0 sec. user=vaughan [2012-11-20 18:02:21] 687*2^1235128-1 is not prime. Res64: 6186F3073D830DB3 Time : 0.0 sec. user=mdettweiler [2012-11-20 18:04:06] 645*2^1235129-1 is not prime. Res64: 43D30025FCEED1EF Time : 0.0 sec. user=mdettweiler [2012-11-20 18:04:11] 699*2^1235129-1 is not prime. Res64: 6E99F9DB3801DD0A Time : 0.0 sec. user=vaughan [2012-11-20 18:05:54] 627*2^1235129-1 is not prime. Res64: 0DAF56A2FABFF270 Time : 0.0 sec. user=vaughan [2012-11-20 18:13:27] 771*2^1235129-1 is not prime. Res64: 7B84D9E04656AA1D Time : 0.0 sec. user=vaughan [2012-11-20 18:13:51] 879*2^1235129-1 is not prime. Res64: 0C2544AF6A26491F Time : 0.0 sec. user=vaughan [2012-11-20 18:13:55] 787*2^1235129-1 is not prime. Res64: EDAB7616C4638EC0 Time : 0.0 sec. user=vaughan [2012-11-20 18:13:57] 789*2^1235129-1 is not prime. Res64: 3E76CE1AE04D861E Time : 0.0 sec. user=vaughan [2012-11-20 18:14:16] 889*2^1235129-1 is not prime. Res64: 70D8EBFAB8B1AF66 Time : 0.0 sec. user=vaughan [2012-11-20 18:14:52] 939*2^1235129-1 is not prime. Res64: 4B1F3F03D3817986 Time : 0.0 sec. user=mdettweiler [2012-11-20 18:17:26] 611*2^1235130-1 is not prime. Res64: B2FFD4000E55DAA5 Time : 0.0 sec. user=mdettweiler [2012-11-20 18:17:28] 765*2^1235130-1 is not prime. Res64: D78CBFBD054A85D2 Time : 0.0 sec. user=vaughan [2012-11-20 18:22:20] 951*2^1235129-1 is not prime. Res64: 46E548DDFD2A6D13 Time : 0.0 sec. user=vaughan [2012-11-20 18:24:55] 979*2^1235129-1 is not prime. Res64: F6AF446F35D34015 Time : 0.0 sec. user=mdettweiler [2012-11-20 18:25:49] 927*2^1235130-1 is not prime. Res64: F5355E5A39B0FB20 Time : 0.0 sec. user=mdettweiler [2012-11-20 18:25:49] 1001*2^1235130-1 is not prime. Res64: BC352DD94D3558BD Time : 0.0 sec. user=vaughan [2012-11-20 18:30:19] 767*2^1235130-1 is not prime. Res64: F56B3BADF7464D15 Time : 0.0 sec. user=vaughan [2012-11-20 18:33:07] 619*2^1235131-1 is not prime. Res64: 794F63BC97533518 Time : 0.0 sec. user=vaughan [2012-11-20 18:38:45] 621*2^1235131-1 is not prime. Res64: 25C9C5954FD5EE2F Time : 0.0 sec. user=vaughan [2012-11-20 18:38:46] 631*2^1235131-1 is not prime. Res64: 4B4D7AF2176B9150 Time : 0.0 sec. user=vaughan [2012-11-20 18:38:56] 693*2^1235131-1 is not prime. Res64: C105C2D96E77C403 Time : 0.0 sec. user=mdettweiler [2012-11-20 18:39:03] 741*2^1235131-1 is not prime. Res64: 8C448F99DE532F01 Time : 0.0 sec. user=mdettweiler [2012-11-20 18:39:04] 783*2^1235131-1 is not prime. Res64: 7ED4CDA56C937088 Time : 0.0 sec. user=vaughan [2012-11-20 18:39:12] 709*2^1235131-1 is not prime. Res64: 40B00336D79DC477 Time : 0.0 sec. user=vaughan [2012-11-20 18:39:47] 735*2^1235131-1 is not prime. Res64: FCC7CBCE4D97FBDD Time : 0.0 sec. user=mdettweiler [2012-11-20 18:47:13] 603*2^1235132-1 is not prime. Res64: 05D9E87F68DD6F9C Time : 0.0 sec. user=mdettweiler [2012-11-20 18:47:14] 719*2^1235132-1 is not prime. Res64: A9D93993C58AE09B Time : 0.0 sec. user=vaughan [2012-11-20 18:49:13] 819*2^1235131-1 is not prime. Res64: D46E014EDD60A338 Time : 0.0 sec. user=vaughan [2012-11-20 18:51:52] 883*2^1235131-1 is not prime. Res64: 32C6DAEF42071E88 Time : 0.0 sec. user=vaughan [2012-11-20 18:56:59] 879*2^1235132-1 is not prime. Res64: A0EDD4146304A96E Time : 0.0 sec. user=mdettweiler [2012-11-20 19:00:34] 995*2^1235132-1 is not prime. Res64: 119DD74CE6ED021F Time : 0.0 sec. user=mdettweiler [2012-11-20 19:00:36] 727*2^1235133-1 is not prime. Res64: E9D7860735DF4573 Time : 0.0 sec. user=vaughan [2012-11-20 19:03:54] 909*2^1235132-1 is not prime. Res64: 434C37D31BB24FC0 Time : 0.0 sec. user=vaughan [2012-11-20 19:03:57] 923*2^1235132-1 is not prime. Res64: A10DE603661489F8 Time : 0.0 sec. user=vaughan [2012-11-20 19:04:05] 959*2^1235132-1 is not prime. Res64: 739B194F8FA63457 Time : 0.0 sec. user=vaughan [2012-11-20 19:04:12] 963*2^1235132-1 is not prime. Res64: 826EC397474651B5 Time : 0.0 sec. user=vaughan [2012-11-20 19:04:13] 861*2^1235133-1 is not prime. Res64: B1EF91A14803A0C2 Time : 0.0 sec. user=vaughan [2012-11-20 19:05:03] 891*2^1235133-1 is not prime. Res64: 6FD34ADA0DE9C05D Time : 0.0 sec. user=mdettweiler [2012-11-20 19:08:37] 919*2^1235133-1 is not prime. Res64: 115FAC67625B5B18 Time : 0.0 sec. user=mdettweiler [2012-11-20 19:08:38] 945*2^1235133-1 is not prime. Res64: 21B759536323215A Time : 0.0 sec. user=vaughan [2012-11-20 19:21:39] 955*2^1235133-1 is not prime. Res64: 387520C62A9D14F0 Time : 0.0 sec. user=vaughan [2012-11-20 19:23:46] 705*2^1235134-1 is not prime. Res64: FD754343850BBEF8 Time : 0.0 sec. user=vaughan [2012-11-20 19:27:08] 707*2^1235134-1 is not prime. Res64: A765108C33986A87 Time : 0.0 sec. user=vaughan [2012-11-20 19:29:02] 773*2^1235134-1 is not prime. Res64: E08E96A5729EA8C9 Time : 0.0 sec. user=vaughan [2012-11-20 19:29:03] 755*2^1235134-1 is not prime. Res64: 38236C13E5905445 Time : 0.0 sec. user=vaughan [2012-11-20 19:29:08] 881*2^1235134-1 is not prime. Res64: EAAE857EA9241040 Time : 0.0 sec. user=vaughan [2012-11-20 19:29:20] 897*2^1235134-1 is not prime. Res64: F5FEA89CEC704861 Time : 0.0 sec. user=vaughan [2012-11-20 19:29:23] 651*2^1235135-1 is not prime. Res64: A43351100EB102F2 Time : 0.0 sec. user=vaughan [2012-11-20 19:29:55] 655*2^1235135-1 is not prime. Res64: BAAC34304863004F Time : 0.0 sec. user=mdettweiler [2012-11-20 19:30:02] 705*2^1235135-1 is not prime. Res64: 2177CE85A76977A9 Time : 0.0 sec. user=mdettweiler [2012-11-20 19:30:06] 735*2^1235135-1 is not prime. Res64: E7AB4ACD46857230 Time : 0.0 sec. user=mdettweiler [2012-11-20 19:32:56] 855*2^1235135-1 is not prime. Res64: EE25CB29D81C2264 Time : 0.0 sec. user=mdettweiler [2012-11-20 19:32:57] 859*2^1235135-1 is not prime. Res64: 097DD57BAF7EA5AB Time : 0.0 sec. user=vaughan [2012-11-20 19:43:59] 883*2^1235135-1 is not prime. Res64: E929DA845A5FE4EA Time : 0.0 sec. user=mdettweiler [2012-11-20 19:51:40] 799*2^1235137-1 is not prime. Res64: 379BB0517B3681C5 Time : 0.0 sec. user=mdettweiler [2012-11-20 19:51:40] 889*2^1235137-1 is not prime. Res64: 768E59DB529C7B4D Time : 0.0 sec. user=vaughan [2012-11-20 19:51:40] 683*2^1235136-1 is not prime. Res64: F8868856F4A67EE0 Time : 0.0 sec. user=vaughan [2012-11-20 19:54:07] 893*2^1235136-1 is not prime. Res64: 1050A0A50BC9FFCA Time : 0.0 sec. user=vaughan [2012-11-20 19:54:10] 927*2^1235136-1 is not prime. Res64: 4136B16322142185 Time : 0.0 sec. user=vaughan [2012-11-20 19:54:12] 999*2^1235136-1 is not prime. Res64: FBAF1F6F855964AC Time : 0.0 sec. user=mdettweiler [2012-11-20 19:54:21] 909*2^1235137-1 is not prime. Res64: 8532E6BD8E19594D Time : 0.0 sec. user=mdettweiler [2012-11-20 19:54:21] 939*2^1235137-1 is not prime. Res64: CE79F20655FCC182 Time : 0.0 sec. user=vaughan [2012-11-20 19:54:29] 717*2^1235137-1 is not prime. Res64: 62FBB7D720628CB6 Time : 0.0 sec. user=vaughan [2012-11-20 19:54:30] 609*2^1235137-1 is not prime. Res64: BB702BC121748323 Time : 0.0 sec. user=vaughan [2012-11-20 19:54:39] 719*2^1235136-1 is not prime. Res64: F4085402E4118EDD Time : 0.0 sec. user=vaughan [2012-11-20 19:54:58] 777*2^1235137-1 is not prime. Res64: 5CBBF46E59D24DA7 Time : 0.0 sec. user=vaughan [2012-11-20 20:10:47] 955*2^1235137-1 is not prime. Res64: 8574C491C8965978 Time : 0.0 sec. user=vaughan [2012-11-20 20:12:01] 985*2^1235137-1 is not prime. Res64: 01F449115CD3FCE1 Time : 0.0 sec. user=mdettweiler [2012-11-20 20:13:04] 997*2^1235137-1 is not prime. Res64: 2B0F48077A28D521 Time : 0.0 sec. user=mdettweiler [2012-11-20 20:13:06] 797*2^1235138-1 is not prime. Res64: F0FD4B7CB6A93FD4 Time : 0.0 sec. user=mdettweiler [2012-11-20 20:15:47] 619*2^1235139-1 is not prime. Res64: 0BDDB9FA957178CB Time : 0.0 sec. user=mdettweiler [2012-11-20 20:15:50] 691*2^1235139-1 is not prime. Res64: 7A25B3B6DF9F99F5 Time : 0.0 sec. user=vaughan [2012-11-20 20:18:50] 813*2^1235138-1 is not prime. Res64: 04F7DA1B74C3A6D5 Time : 0.0 sec. user=vaughan [2012-11-20 20:19:34] 843*2^1235138-1 is not prime. Res64: 5404E664B3324272 Time : 0.0 sec. user=vaughan [2012-11-20 20:19:37] 887*2^1235138-1 is not prime. Res64: A87101ED70CCECF1 Time : 0.0 sec. user=vaughan [2012-11-20 20:19:45] 963*2^1235138-1 is not prime. Res64: C638D2A10C826678 Time : 0.0 sec. user=vaughan [2012-11-20 20:19:54] 873*2^1235139-1 is not prime. Res64: AA6868B681CA2B12 Time : 0.0 sec. user=vaughan [2012-11-20 20:20:03] 879*2^1235139-1 is not prime. Res64: 362C68ED19B1D31D Time : 0.0 sec. user=vaughan [2012-11-20 20:20:27] 961*2^1235139-1 is not prime. Res64: 6F682444FE59A447 Time : 0.0 sec. user=vaughan [2012-11-20 20:23:06] 895*2^1235139-1 is not prime. Res64: E4CDF60E4B45AE95 Time : 0.0 sec. user=mdettweiler [2012-11-20 20:34:34] 825*2^1235140-1 is not prime. Res64: B0C778B4C1B60AF3 Time : 0.0 sec. user=mdettweiler [2012-11-20 20:34:35] 839*2^1235140-1 is not prime. Res64: 5C0044CEEC51DD8F Time : 0.0 sec. user=mdettweiler [2012-11-20 20:37:22] 843*2^1235140-1 is not prime. Res64: 0A6B16A153373242 Time : 0.0 sec. user=mdettweiler [2012-11-20 20:37:22] 679*2^1235141-1 is not prime. Res64: E6470E8744BC5EFD Time : 0.0 sec. user=vaughan [2012-11-20 20:37:51] 635*2^1235140-1 is not prime. Res64: 33B081F68D8E2AB0 Time : 0.0 sec. user=vaughan [2012-11-20 20:40:16] 665*2^1235140-1 is not prime. Res64: 5F89805115BE7B0F Time : 0.0 sec. user=vaughan [2012-11-20 20:44:55] 777*2^1235141-1 is not prime. Res64: 0BEAA679E0B39671 Time : 0.0 sec. user=vaughan [2012-11-20 20:45:04] 879*2^1235141-1 is not prime. Res64: 9DD7AF5ED45ADE8A Time : 0.0 sec. user=vaughan [2012-11-20 20:45:15] 889*2^1235141-1 is not prime. Res64: 6F0B89E06B8A265C Time : 0.0 sec. user=vaughan [2012-11-20 20:45:40] 907*2^1235141-1 is not prime. Res64: 500AA047EB5B274D Time : 0.0 sec. user=vaughan [2012-11-20 20:46:08] 949*2^1235141-1 is not prime. Res64: 2AC78A94F8AFDF31 Time : 0.0 sec. user=vaughan [2012-11-20 20:47:51] 711*2^1235141-1 is not prime. Res64: 66FDEA14A0604B3B Time : 0.0 sec. user=mdettweiler [2012-11-20 20:56:02] 991*2^1235141-1 is not prime. Res64: 056057B0DBF0C6EE Time : 0.0 sec. user=mdettweiler [2012-11-20 20:56:02] 615*2^1235142-1 is not prime. Res64: DA554466AB948750 Time : 0.0 sec. user=mdettweiler [2012-11-20 20:58:50] 651*2^1235142-1 is not prime. Res64: B131CEC5743B86C0 Time : 0.0 sec. user=mdettweiler [2012-11-20 20:58:51] 657*2^1235142-1 is not prime. Res64: 9C0B80522E05EB15 Time : 0.0 sec. user=vaughan [2012-11-20 21:05:43] 677*2^1235142-1 is not prime. Res64: EAD84FA0BB4BFA65 Time : 0.0 sec. user=vaughan [2012-11-20 21:07:31] 695*2^1235142-1 is not prime. Res64: 55379BED50BA705A Time : 0.0 sec. user=vaughan [2012-11-20 21:10:30] 711*2^1235142-1 is not prime. Res64: BB09ED7030390113 Time : 0.0 sec. user=vaughan [2012-11-20 21:10:40] 807*2^1235142-1 is not prime. Res64: 1F348A02BF20C82F Time : 0.0 sec. user=vaughan [2012-11-20 21:10:56] 639*2^1235143-1 is not prime. Res64: B8CE2FA6EF5FCC5F Time : 0.0 sec. user=vaughan [2012-11-20 21:11:02] 685*2^1235143-1 is not prime. Res64: C949BE7576334C49 Time : 0.0 sec. user=vaughan [2012-11-20 21:11:22] 693*2^1235143-1 is not prime. Res64: 917EF7758F4853CA Time : 0.0 sec. user=vaughan [2012-11-20 21:11:50] 735*2^1235143-1 is not prime. Res64: 91B0AE2D17116BEF Time : 0.0 sec. user=vaughan [2012-11-20 21:15:13] 873*2^1235143-1 is not prime. Res64: D8797FF728E68E56 Time : 0.0 sec. user=vaughan [2012-11-20 21:15:42] 811*2^1235143-1 is not prime. Res64: 40E354BF76F2CA3E Time : 0.0 sec. user=mdettweiler [2012-11-20 21:17:28] 915*2^1235143-1 is not prime. Res64: 3BB1B4034456A7F3 Time : 0.0 sec. user=mdettweiler [2012-11-20 21:17:32] 999*2^1235143-1 is not prime. Res64: E8D913C9E6E743C3 Time : 0.0 sec. user=mdettweiler [2012-11-20 21:20:20] 605*2^1235144-1 is not prime. Res64: 14CC89FF3C9F639E Time : 0.0 sec. user=mdettweiler [2012-11-20 21:20:21] 635*2^1235144-1 is not prime. Res64: E1F0928423A5FA24 Time : 0.0 sec. user=vaughan [2012-11-20 21:34:27] 663*2^1235144-1 is not prime. Res64: 6FC6D866A37398E9 Time : 0.0 sec. user=vaughan [2012-11-20 21:36:19] 699*2^1235145-1 is not prime. Res64: B4D4151A85BA2D0E Time : 0.0 sec. user=vaughan [2012-11-20 21:36:25] 705*2^1235145-1 is not prime. Res64: 8005E10561EB154E Time : 0.0 sec. user=vaughan [2012-11-20 21:36:47] 717*2^1235145-1 is not prime. Res64: 51F62111F0D87325 Time : 0.0 sec. user=vaughan [2012-11-20 21:36:51] 787*2^1235145-1 is not prime. Res64: 30DB9052064EF524 Time : 0.0 sec. user=vaughan [2012-11-20 21:37:11] 735*2^1235146-1 is not prime. Res64: 2E6B846E4701CD41 Time : 0.0 sec. user=mdettweiler [2012-11-20 21:39:05] 933*2^1235146-1 is not prime. Res64: 2C2A25726A3B394D Time : 0.0 sec. user=mdettweiler [2012-11-20 21:39:05] 987*2^1235146-1 is not prime. Res64: 7D29B119927F9C89 Time : 0.0 sec. user=mdettweiler [2012-11-20 21:41:49] 615*2^1235147-1 is not prime. Res64: 3AF4F91B90ACC29D Time : 0.0 sec. user=mdettweiler [2012-11-20 21:41:49] 631*2^1235147-1 is not prime. Res64: 359E7BA628759422 Time : 0.0 sec. user=vaughan [2012-11-20 21:43:02] 873*2^1235146-1 is not prime. Res64: 60446A30B1341EE3 Time : 0.0 sec. user=vaughan [2012-11-20 21:43:45] 917*2^1235146-1 is not prime. Res64: C30FB1B818DAEA1E Time : 0.0 sec. user=mdettweiler [2012-11-20 22:00:33] 647*2^1235148-1 is not prime. Res64: 8A9C7C4FC992255E Time : 0.0 sec. user=mdettweiler [2012-11-20 22:00:34] 737*2^1235148-1 is not prime. Res64: 465FE56CA6F1FEE2 Time : 0.0 sec. user=vaughan [2012-11-20 22:01:10] 711*2^1235147-1 is not prime. Res64: BD60D99A4099094A Time : 0.0 sec. user=vaughan [2012-11-20 22:01:38] 753*2^1235147-1 is not prime. Res64: 04201F2F3C4927D7 Time : 0.0 sec. user=vaughan [2012-11-20 22:01:45] 799*2^1235147-1 is not prime. Res64: 0483E1BE49560535 Time : 0.0 sec. user=vaughan [2012-11-20 22:02:10] 871*2^1235147-1 is not prime. Res64: CD3F11D5628D4665 Time : 0.0 sec. user=vaughan [2012-11-20 22:02:13] 879*2^1235147-1 is not prime. Res64: FCD065243885B9C7 Time : 0.0 sec. user=vaughan [2012-11-20 22:02:31] 913*2^1235147-1 is not prime. Res64: 26DC5DA6439E5ADF Time : 0.0 sec. user=vaughan [2012-11-20 22:03:06] 633*2^1235148-1 is not prime. Res64: 015F0A4701F42DFF Time : 0.0 sec. user=mdettweiler [2012-11-20 22:03:15] 843*2^1235148-1 is not prime. Res64: 2C1E16A7417835CC Time : 0.0 sec. user=mdettweiler [2012-11-20 22:03:16] 879*2^1235148-1 is not prime. Res64: 39E837921F8C9ED3 Time : 0.0 sec. user=vaughan [2012-11-20 22:09:59] 959*2^1235148-1 is not prime. Res64: 29BBB222487E7324 Time : 0.0 sec. user=vaughan [2012-11-20 22:11:28] 685*2^1235149-1 is not prime. Res64: 54BD8C4FCFE06DDA Time : 0.0 sec. user=mdettweiler [2012-11-20 22:22:20] 687*2^1235149-1 is not prime. Res64: D6E9491E28F438BB Time : 0.0 sec. user=mdettweiler [2012-11-20 22:22:21] 729*2^1235149-1 is not prime. Res64: 28A8F62D2BC9FA44 Time : 0.0 sec. user=mdettweiler [2012-11-20 22:24:45] 773*2^1235150-1 is not prime. Res64: CD38D03FEB9CB5C0 Time : 0.0 sec. user=mdettweiler [2012-11-20 22:24:46] 785*2^1235150-1 is not prime. Res64: 2B27C70D293ED30A Time : 0.0 sec. user=vaughan [2012-11-20 22:26:54] 771*2^1235149-1 is not prime. Res64: 6A3B71816E576CF9 Time : 0.0 sec. user=vaughan [2012-11-20 22:26:58] 835*2^1235149-1 is not prime. Res64: EA68B90362B6704C Time : 0.0 sec. user=vaughan [2012-11-20 22:27:25] 999*2^1235149-1 is not prime. Res64: D3350001A88C414C Time : 0.0 sec. user=vaughan [2012-11-20 22:27:27] 615*2^1235150-1 is not prime. Res64: CE926C5016E55E65 Time : 0.0 sec. user=vaughan [2012-11-20 22:27:55] 635*2^1235150-1 is not prime. Res64: 4F242A981B1019BF Time : 0.0 sec. user=vaughan [2012-11-20 22:28:15] 751*2^1235149-1 is not prime. Res64: C1E18E8A4C96DE87 Time : 0.0 sec. user=vaughan [2012-11-20 22:28:17] 645*2^1235150-1 is not prime. Res64: BD1CCEC66C2CDCB6 Time : 0.0 sec. user=vaughan [2012-11-20 22:29:44] 939*2^1235149-1 is not prime. Res64: CAFD603548695F02 Time : 0.0 sec. user=vaughan [2012-11-20 22:37:43] 801*2^1235150-1 is not prime. Res64: 405669DD43684908 Time : 0.0 sec. user=vaughan [2012-11-20 22:39:38] 851*2^1235150-1 is not prime. Res64: 06C45FF7C03B7BE1 Time : 0.0 sec. user=mdettweiler [2012-11-20 22:44:02] 971*2^1235150-1 is not prime. Res64: 9451B913E440EB3B Time : 0.0 sec. user=mdettweiler [2012-11-20 22:44:03] 977*2^1235150-1 is not prime. Res64: 93E168D17CB1B0F8 Time : 0.0 sec. user=mdettweiler [2012-11-20 22:46:16] 711*2^1235151-1 is not prime. Res64: C817F72F70E2C237 Time : 0.0 sec. user=mdettweiler [2012-11-20 22:46:17] 969*2^1235151-1 is not prime. Res64: BD46D153B5AA8F62 Time : 0.0 sec. user=vaughan [2012-11-20 22:52:07] 615*2^1235152-1 is not prime. Res64: A5428404C024AE05 Time : 0.0 sec. user=vaughan [2012-11-20 22:52:07] 717*2^1235152-1 is not prime. Res64: 37104D66F854A7EE Time : 0.0 sec. user=vaughan [2012-11-20 22:52:38] 759*2^1235152-1 is not prime. Res64: 61873EAF625F4C3B Time : 0.0 sec. user=vaughan [2012-11-20 22:52:38] 735*2^1235152-1 is not prime. Res64: 8246AF96F11E9532 Time : 0.0 sec. user=vaughan [2012-11-20 22:53:03] 855*2^1235152-1 is not prime. Res64: A715AAC2136908ED Time : 0.0 sec. user=vaughan [2012-11-20 22:53:30] 899*2^1235152-1 is not prime. Res64: 55CE597E34D6E9CD Time : 0.0 sec. user=vaughan [2012-11-20 22:55:50] 875*2^1235152-1 is not prime. Res64: B8CE932DA0057B2F Time : 0.0 sec. user=vaughan [2012-11-20 22:57:37] 947*2^1235152-1 is not prime. Res64: E9C2AF0A5767225F Time : 0.0 sec. user=vaughan [2012-11-20 23:05:12] 999*2^1235152-1 is not prime. Res64: 4740B3CD82795E55 Time : 0.0 sec. user=mdettweiler [2012-11-20 23:05:32] 727*2^1235153-1 is not prime. Res64: 52FE08E7738D4E0C Time : 0.0 sec. user=mdettweiler [2012-11-20 23:05:37] 741*2^1235153-1 is not prime. Res64: 91EEE93BBA6F686F Time : 0.0 sec. user=vaughan [2012-11-20 23:07:30] 649*2^1235153-1 is not prime. Res64: C5A425FFF533E5A9 Time : 0.0 sec. user=mdettweiler [2012-11-20 23:07:49] 789*2^1235153-1 is not prime. Res64: 5E814E26B35A397A Time : 0.0 sec. user=mdettweiler [2012-11-20 23:07:51] 829*2^1235153-1 is not prime. Res64: 961AD2631BDF4994 Time : 0.0 sec. user=vaughan [2012-11-20 23:17:29] 889*2^1235153-1 is not prime. Res64: 3571265A0C1331E9 Time : 0.0 sec. user=vaughan [2012-11-20 23:17:46] 885*2^1235153-1 is not prime. Res64: 11F3860F8BAB9FDB Time : 0.0 sec. user=vaughan [2012-11-20 23:18:08] 915*2^1235153-1 is not prime. Res64: 5A037B396029F564 Time : 0.0 sec. user=vaughan [2012-11-20 23:18:18] 969*2^1235153-1 is not prime. Res64: 34DAD022AED285B7 Time : 0.0 sec. user=vaughan [2012-11-20 23:18:25] 985*2^1235153-1 is not prime. Res64: 6FE1874065B6B31E Time : 0.0 sec. user=vaughan [2012-11-20 23:18:50] 611*2^1235154-1 is not prime. Res64: A850588261A3A8F2 Time : 0.0 sec. user=vaughan [2012-11-20 23:23:43] 621*2^1235154-1 is not prime. Res64: 19E02A15EF7DBE52 Time : 0.0 sec. user=mdettweiler [2012-11-20 23:27:05] 683*2^1235154-1 is not prime. Res64: 386DEEACC129B594 Time : 0.0 sec. user=mdettweiler [2012-11-20 23:27:05] 903*2^1235154-1 is not prime. Res64: AD7E53A24D51AC9B Time : 0.0 sec. user=vaughan [2012-11-20 23:33:30] 671*2^1235154-1 is not prime. Res64: B89206B46E5DE2D8 Time : 0.0 sec. user=vaughan [2012-11-20 23:35:40] 927*2^1235154-1 is not prime. Res64: BB3E70A34CCE4A8C Time : 0.0 sec. user=vaughan [2012-11-20 23:43:12] 635*2^1235156-1 is not prime. Res64: 9A01DC8F26E65AB8 Time : 0.0 sec. user=vaughan [2012-11-20 23:43:17] 827*2^1235156-1 is not prime. Res64: 91E2F02EC7EA25C2 Time : 0.0 sec. user=vaughan [2012-11-20 23:43:50] 903*2^1235156-1 is not prime. Res64: 63C385794E79F4DC Time : 0.0 sec. user=vaughan [2012-11-20 23:43:58] 935*2^1235156-1 is not prime. Res64: 8BBEBB13480DEE99 Time : 0.0 sec. user=vaughan [2012-11-20 23:44:21] 831*2^1235157-1 is not prime. Res64: 3786D6D858E3ED98 Time : 0.0 sec. user=mdettweiler [2012-11-20 23:48:34] 849*2^1235157-1 is not prime. Res64: D0D3C2F61AFD71F8 Time : 0.0 sec. user=mdettweiler [2012-11-20 23:48:34] 871*2^1235157-1 is not prime. Res64: 71EC2889A6B3C4AD Time : 0.0 sec. user=vaughan [2012-11-20 23:51:26] 835*2^1235157-1 is not prime. Res64: 48D7FCD400C4DB88 Time : 0.0 sec. user=vaughan [2012-11-20 23:52:24] 641*2^1235154-1 is not prime. Res64: F83DABFC3D726B56 Time : 0.0 sec.