user=mdettweiler [2015-12-17 00:03:19] 623*2^1417616-1 is not prime. Res64: 5254797E282244A7 Time : 0.0 sec. user=mdettweiler [2015-12-17 00:03:20] 675*2^1417616-1 is not prime. Res64: B64F3F61E3D6B125 Time : 0.0 sec. user=mdettweiler [2015-12-17 00:16:14] 725*2^1417616-1 is not prime. Res64: 688D9AD928073189 Time : 0.0 sec. user=mdettweiler [2015-12-17 00:16:15] 755*2^1417616-1 is not prime. Res64: F6450E373A198D0B Time : 0.0 sec. user=mdettweiler [2015-12-17 00:21:03] 879*2^1417616-1 is not prime. Res64: 65CCE78A9C1115A4 Time : 0.0 sec. user=mdettweiler [2015-12-17 00:21:03] 999*2^1417616-1 is not prime. Res64: ADC3610DBD8C5246 Time : 0.0 sec. user=mdettweiler [2015-12-17 00:34:06] 649*2^1417617-1 is not prime. Res64: F820B1371E08A2AC Time : 0.0 sec. user=mdettweiler [2015-12-17 00:34:07] 691*2^1417617-1 is not prime. Res64: B9D3F82780623CB8 Time : 0.0 sec. user=mdettweiler [2015-12-17 00:39:00] 741*2^1417617-1 is not prime. Res64: 3D4EBC729AB7D5E4 Time : 0.0 sec. user=mdettweiler [2015-12-17 00:39:00] 747*2^1417617-1 is not prime. Res64: 066DAEE201E53EAC Time : 0.0 sec. user=mdettweiler [2015-12-17 00:52:21] 829*2^1417617-1 is not prime. Res64: 9A64D5C5E559727F Time : 0.0 sec. user=mdettweiler [2015-12-17 00:52:21] 861*2^1417617-1 is not prime. Res64: EB180E574A8C70A6 Time : 0.0 sec. user=mdettweiler [2015-12-17 00:57:13] 681*2^1417618-1 is not prime. Res64: 675FA2960DCFAE96 Time : 0.0 sec. user=mdettweiler [2015-12-17 00:57:14] 705*2^1417618-1 is not prime. Res64: 21F7434F6C198B95 Time : 0.0 sec. user=mdettweiler [2015-12-17 01:10:31] 713*2^1417618-1 is not prime. Res64: 52BBBE7489F0B665 Time : 0.0 sec. user=mdettweiler [2015-12-17 01:10:31] 737*2^1417618-1 is not prime. Res64: E00FAB5098E0E2F5 Time : 0.0 sec. user=mdettweiler [2015-12-17 01:15:39] 843*2^1417618-1 is not prime. Res64: 2E93B9B877DBCDAE Time : 0.0 sec. user=mdettweiler [2015-12-17 01:15:40] 857*2^1417618-1 is not prime. Res64: E604FA66288EA278 Time : 0.0 sec. user=mdettweiler [2015-12-17 01:29:30] 981*2^1417618-1 is not prime. Res64: 85A17777F77994AE Time : 0.0 sec. user=mdettweiler [2015-12-17 01:29:32] 993*2^1417618-1 is not prime. Res64: 3E9F1A60A6D8FD0F Time : 0.0 sec. user=mdettweiler [2015-12-17 01:34:13] 995*2^1417618-1 is not prime. Res64: 062BB44FA7414D01 Time : 0.0 sec. user=mdettweiler [2015-12-17 01:34:14] 621*2^1417619-1 is not prime. Res64: DC2C9FB0BF24F79E Time : 0.0 sec. user=mdettweiler [2015-12-17 01:47:23] 693*2^1417619-1 is not prime. Res64: 855667A5A07B5759 Time : 0.0 sec. user=mdettweiler [2015-12-17 01:47:23] 745*2^1417619-1 is not prime. Res64: A5B10F643B8ACEFE Time : 0.0 sec. user=mdettweiler [2015-12-17 01:51:54] 759*2^1417619-1 is not prime. Res64: E814EC4FA9EA857B Time : 0.0 sec. user=mdettweiler [2015-12-17 01:51:54] 813*2^1417619-1 is not prime. Res64: A97E0132E629EA75 Time : 0.0 sec. user=mdettweiler [2015-12-17 02:04:58] 885*2^1417619-1 is not prime. Res64: F1AC88E3D431E70C Time : 0.0 sec. user=mdettweiler [2015-12-17 02:05:00] 913*2^1417619-1 is not prime. Res64: 7A59D62AA97CE9D3 Time : 0.0 sec. user=mdettweiler [2015-12-17 02:09:29] 943*2^1417619-1 is not prime. Res64: C8620C71E1321226 Time : 0.0 sec. user=mdettweiler [2015-12-17 02:09:29] 629*2^1417620-1 is not prime. Res64: DE431B7FFC607166 Time : 0.0 sec. user=mdettweiler [2015-12-17 02:22:55] 669*2^1417620-1 is not prime. Res64: CDDF547C1A5AB95F Time : 0.0 sec. user=mdettweiler [2015-12-17 02:22:56] 693*2^1417620-1 is not prime. Res64: 6FA227DBB5B3747A Time : 0.0 sec. user=mdettweiler [2015-12-17 02:27:12] 735*2^1417620-1 is not prime. Res64: 383134FE43B649B4 Time : 0.0 sec. user=mdettweiler [2015-12-17 02:27:12] 803*2^1417620-1 is not prime. Res64: D6C7E5A8FE304DD6 Time : 0.0 sec. user=mdettweiler [2015-12-17 02:40:43] 845*2^1417620-1 is not prime. Res64: 8F2B59C2708B5E67 Time : 0.0 sec. user=mdettweiler [2015-12-17 02:40:44] 873*2^1417620-1 is not prime. Res64: C2AAC8B3CF5202A1 Time : 0.0 sec. user=mdettweiler [2015-12-17 02:44:58] 875*2^1417620-1 is not prime. Res64: C06595A386096118 Time : 0.0 sec. user=mdettweiler [2015-12-17 02:44:59] 899*2^1417620-1 is not prime. Res64: D744C6F02A8699E8 Time : 0.0 sec. user=mdettweiler [2015-12-17 02:58:31] 933*2^1417620-1 is not prime. Res64: 63E369D5ABD0CA5B Time : 0.0 sec. user=mdettweiler [2015-12-17 02:58:32] 987*2^1417620-1 is not prime. Res64: 5CB1BEDBA932EE27 Time : 0.0 sec. user=mdettweiler [2015-12-17 03:02:47] 615*2^1417621-1 is not prime. Res64: F3F6078F8F056B97 Time : 0.0 sec. user=mdettweiler [2015-12-17 03:02:50] 691*2^1417621-1 is not prime. Res64: CF0E450CC9B8EA08 Time : 0.0 sec. user=mdettweiler [2015-12-17 03:16:11] 715*2^1417621-1 is not prime. Res64: 0CB721822B52CBF0 Time : 0.0 sec. user=mdettweiler [2015-12-17 03:16:14] 789*2^1417621-1 is not prime. Res64: A44A9F3043B67EE7 Time : 0.0 sec. user=mdettweiler [2015-12-17 03:20:27] 829*2^1417621-1 is not prime. Res64: EAC3BBF7FEE8E720 Time : 0.0 sec. user=mdettweiler [2015-12-17 03:20:28] 861*2^1417621-1 is not prime. Res64: F52ADD0929FBE738 Time : 0.0 sec. user=mdettweiler [2015-12-17 03:34:01] 877*2^1417621-1 is not prime. Res64: D8C860342E07E892 Time : 0.0 sec. user=mdettweiler [2015-12-17 03:34:03] 975*2^1417621-1 is not prime. Res64: 3C350731981704F7 Time : 0.0 sec. user=mdettweiler [2015-12-17 03:38:04] 999*2^1417621-1 is not prime. Res64: E8639106DA1E7547 Time : 0.0 sec. user=mdettweiler [2015-12-17 03:38:06] 671*2^1417622-1 is not prime. Res64: 861152033FB077D5 Time : 0.0 sec. user=mdettweiler [2015-12-17 03:51:49] 741*2^1417622-1 is not prime. Res64: 2BDBBD1793648AB5 Time : 0.0 sec. user=mdettweiler [2015-12-17 03:51:52] 785*2^1417622-1 is not prime. Res64: 5DF362745C0DA280 Time : 0.0 sec. user=mdettweiler [2015-12-17 03:55:44] 945*2^1417622-1 is not prime. Res64: 8850E5FB2BC64AEE Time : 0.0 sec. user=mdettweiler [2015-12-17 03:55:45] 669*2^1417623-1 is not prime. Res64: F319219A7441432F Time : 0.0 sec. user=mdettweiler [2015-12-17 04:09:48] 685*2^1417623-1 is not prime. Res64: 16FA8E110951C29E Time : 0.0 sec. user=mdettweiler [2015-12-17 04:09:49] 735*2^1417623-1 is not prime. Res64: B0EE7AED056B910D Time : 0.0 sec. user=mdettweiler [2015-12-17 04:13:19] 945*2^1417623-1 is not prime. Res64: D6F8A89D3A096C7A Time : 0.0 sec. user=mdettweiler [2015-12-17 04:13:20] 665*2^1417624-1 is not prime. Res64: FE89C4B83A10A513 Time : 0.0 sec. user=mdettweiler [2015-12-17 04:27:26] 677*2^1417624-1 is not prime. Res64: C57E9B00793BFBBC Time : 0.0 sec. user=mdettweiler [2015-12-17 04:27:27] 869*2^1417624-1 is not prime. Res64: 0DC8357C004CACCE Time : 0.0 sec. user=mdettweiler [2015-12-17 04:30:52] 965*2^1417624-1 is not prime. Res64: F2F545270AF49623 Time : 0.0 sec. user=mdettweiler [2015-12-17 04:30:53] 721*2^1417625-1 is not prime. Res64: 3BFDB54D70038BCA Time : 0.0 sec. user=mdettweiler [2015-12-17 04:45:02] 735*2^1417625-1 is not prime. Res64: 13103C3C207A3B63 Time : 0.0 sec. user=mdettweiler [2015-12-17 04:45:03] 741*2^1417625-1 is not prime. Res64: FFA8C6C223233F75 Time : 0.0 sec. user=mdettweiler [2015-12-17 04:48:28] 855*2^1417625-1 is not prime. Res64: 904BC11F3A8E23E9 Time : 0.0 sec. user=mdettweiler [2015-12-17 04:48:29] 909*2^1417625-1 is not prime. Res64: 1DCF7A1854C26E57 Time : 0.0 sec. user=mdettweiler [2015-12-17 05:02:37] 987*2^1417625-1 is not prime. Res64: 23380F789AC4AC67 Time : 0.0 sec. user=mdettweiler [2015-12-17 05:02:39] 635*2^1417626-1 is not prime. Res64: DCAFA6AF4BD744E2 Time : 0.0 sec. user=mdettweiler [2015-12-17 05:06:09] 717*2^1417626-1 is not prime. Res64: C608DBBE8FEC1156 Time : 0.0 sec. user=mdettweiler [2015-12-17 05:06:11] 747*2^1417626-1 is not prime. Res64: 98A1E7E7B1E64C6A Time : 0.0 sec. user=mdettweiler [2015-12-17 05:20:24] 765*2^1417626-1 is not prime. Res64: 5DE5F760B7070710 Time : 0.0 sec. user=mdettweiler [2015-12-17 05:20:25] 777*2^1417626-1 is not prime. Res64: 5677855F46647749 Time : 0.0 sec. user=mdettweiler [2015-12-17 05:23:50] 891*2^1417626-1 is not prime. Res64: 7BB50081D63D6CE8 Time : 0.0 sec. user=mdettweiler [2015-12-17 05:23:51] 923*2^1417626-1 is not prime. Res64: 0AC057E8D4614CCF Time : 0.0 sec. user=mdettweiler [2015-12-17 05:38:01] 945*2^1417626-1 is not prime. Res64: 966DB6FBC6911A6C Time : 0.0 sec. user=mdettweiler [2015-12-17 05:38:02] 983*2^1417626-1 is not prime. Res64: 6746B70440171026 Time : 0.0 sec. user=mdettweiler [2015-12-17 05:41:23] 645*2^1417627-1 is not prime. Res64: 66C87E9E15887351 Time : 0.0 sec. user=mdettweiler [2015-12-17 05:41:24] 735*2^1417627-1 is not prime. Res64: E6B8CE3D1233ECD8 Time : 0.0 sec. user=mdettweiler [2015-12-17 05:55:42] 741*2^1417627-1 is not prime. Res64: D46F76DFC79E2C56 Time : 0.0 sec. user=mdettweiler [2015-12-17 05:55:43] 859*2^1417627-1 is not prime. Res64: D9D43E8D90CBF8F6 Time : 0.0 sec. user=mdettweiler [2015-12-17 05:58:58] 885*2^1417627-1 is not prime. Res64: D22CBC7CECC24A6B Time : 0.0 sec. user=mdettweiler [2015-12-17 05:58:59] 901*2^1417627-1 is not prime. Res64: 4F794FFE04CE53EA Time : 0.0 sec. user=mdettweiler [2015-12-17 06:13:17] 629*2^1417628-1 is not prime. Res64: 316BC7052A629045 Time : 0.0 sec. user=mdettweiler [2015-12-17 06:13:19] 687*2^1417628-1 is not prime. Res64: A0BF2CDA3D49D1E6 Time : 0.0 sec. user=mdettweiler [2015-12-17 06:16:33] 777*2^1417628-1 is not prime. Res64: 504F008A93889C7D Time : 0.0 sec. user=mdettweiler [2015-12-17 06:16:34] 795*2^1417628-1 is not prime. Res64: C82DE0EEEB6E3DB0 Time : 0.0 sec. user=mdettweiler [2015-12-17 06:31:00] 837*2^1417628-1 is not prime. Res64: 8DEE9E5489BF55EE Time : 0.0 sec. user=mdettweiler [2015-12-17 06:31:01] 855*2^1417628-1 is not prime. Res64: EF9B5C3EF40C8EE5 Time : 0.0 sec. user=mdettweiler [2015-12-17 06:34:11] 959*2^1417628-1 is not prime. Res64: BFC42ADDC67A5CF0 Time : 0.0 sec. user=mdettweiler [2015-12-17 06:34:12] 963*2^1417628-1 is not prime. Res64: 91668EBAACD12983 Time : 0.0 sec. user=mdettweiler [2015-12-17 06:48:37] 977*2^1417628-1 is not prime. Res64: 68F390BC4FFF1093 Time : 0.0 sec. user=mdettweiler [2015-12-17 06:48:38] 609*2^1417629-1 is not prime. Res64: 8D1D557C44F09E15 Time : 0.0 sec. user=mdettweiler [2015-12-17 06:51:43] 679*2^1417629-1 is not prime. Res64: A2030E1FB3B018A1 Time : 0.0 sec. user=mdettweiler [2015-12-17 06:51:44] 765*2^1417629-1 is not prime. Res64: 01B468902E41DE81 Time : 0.0 sec. user=mdettweiler [2015-12-17 07:06:15] 817*2^1417629-1 is not prime. Res64: A7B8E1763640B4C1 Time : 0.0 sec. user=mdettweiler [2015-12-17 07:06:17] 927*2^1417629-1 is not prime. Res64: 9E685407FB560D57 Time : 0.0 sec. user=mdettweiler [2015-12-17 07:09:17] 987*2^1417629-1 is not prime. Res64: 856B6ABF8FD5DB41 Time : 0.0 sec. user=mdettweiler [2015-12-17 07:09:18] 675*2^1417630-1 is not prime. Res64: 1993023E51B35E6C Time : 0.0 sec. user=mdettweiler [2015-12-17 07:24:09] 843*2^1417630-1 is not prime. Res64: 9A259CDA800A55C2 Time : 0.0 sec. user=mdettweiler [2015-12-17 07:24:10] 933*2^1417630-1 is not prime. Res64: 17AFC3C522CE171E Time : 0.0 sec. user=mdettweiler [2015-12-17 07:26:55] 669*2^1417631-1 is not prime. Res64: 216AC5730B306208 Time : 0.0 sec. user=mdettweiler [2015-12-17 07:26:56] 855*2^1417631-1 is not prime. Res64: 3E1BD5B7440DF75A Time : 0.0 sec. user=mdettweiler [2015-12-17 07:41:47] 931*2^1417631-1 is not prime. Res64: C04C46F87A23E4B8 Time : 0.0 sec. user=mdettweiler [2015-12-17 07:41:48] 999*2^1417631-1 is not prime. Res64: BC080266074F19A3 Time : 0.0 sec. user=mdettweiler [2015-12-17 07:44:29] 767*2^1417632-1 is not prime. Res64: 65E752A8B7046943 Time : 0.0 sec. user=mdettweiler [2015-12-17 07:44:30] 873*2^1417632-1 is not prime. Res64: BB353E3C4495A8F8 Time : 0.0 sec. user=mdettweiler [2015-12-17 07:59:23] 903*2^1417632-1 is not prime. Res64: BA798509A63FC9FD Time : 0.0 sec. user=mdettweiler [2015-12-17 07:59:24] 977*2^1417632-1 is not prime. Res64: 0E2BA81951763B6B Time : 0.0 sec. user=mdettweiler [2015-12-17 08:02:05] 705*2^1417633-1 is not prime. Res64: AB8AD1CED5CB90A4 Time : 0.0 sec. user=mdettweiler [2015-12-17 08:02:06] 811*2^1417633-1 is not prime. Res64: 8E5C22ED50558FFD Time : 0.0 sec. user=mdettweiler [2015-12-17 08:17:00] 877*2^1417633-1 is not prime. Res64: 4DDEF0B9B46E5B45 Time : 0.0 sec. user=mdettweiler [2015-12-17 08:17:01] 999*2^1417633-1 is not prime. Res64: 6D8B2E7ADF98A6E8 Time : 0.0 sec. user=mdettweiler [2015-12-17 08:19:40] 605*2^1417634-1 is not prime. Res64: CD77E4AC522803AF Time : 0.0 sec. user=mdettweiler [2015-12-17 08:19:41] 675*2^1417634-1 is not prime. Res64: 48D93BE33E8FCDDB Time : 0.0 sec. user=mdettweiler [2015-12-17 08:34:34] 747*2^1417634-1 is not prime. Res64: 7D1D414934641820 Time : 0.0 sec. user=mdettweiler [2015-12-17 08:34:35] 851*2^1417634-1 is not prime. Res64: 8C68448F14876C9A Time : 0.0 sec. user=mdettweiler [2015-12-17 08:37:17] 923*2^1417634-1 is not prime. Res64: EBECFDC9029B4A63 Time : 0.0 sec. user=mdettweiler [2015-12-17 08:37:18] 935*2^1417634-1 is not prime. Res64: B9200EEC3B06935E Time : 0.0 sec. user=mdettweiler [2015-12-17 08:52:09] 783*2^1417635-1 is not prime. Res64: 71AE0C3B31983725 Time : 0.0 sec. user=mdettweiler [2015-12-17 08:52:10] 913*2^1417635-1 is not prime. Res64: D5BDBD05F154AA5A Time : 0.0 sec. user=mdettweiler [2015-12-17 08:54:53] 985*2^1417635-1 is not prime. Res64: C4520A95C1246842 Time : 0.0 sec. user=mdettweiler [2015-12-17 08:54:54] 689*2^1417636-1 is not prime. Res64: EE849C831D5D9D96 Time : 0.0 sec. user=mdettweiler [2015-12-17 09:09:50] 897*2^1417636-1 is not prime. Res64: 79CBB78103426C68 Time : 0.0 sec. user=mdettweiler [2015-12-17 09:09:52] 909*2^1417636-1 is not prime. Res64: 7C3192CCA160A946 Time : 0.0 sec. user=mdettweiler [2015-12-17 09:12:30] 965*2^1417636-1 is not prime. Res64: 85CDF286E289A2FB Time : 0.0 sec. user=mdettweiler [2015-12-17 09:12:32] 983*2^1417636-1 is not prime. Res64: 469D3FFE3CC0E3E3 Time : 0.0 sec. user=mdettweiler [2015-12-17 09:27:39] 987*2^1417636-1 is not prime. Res64: D93AD9A3FE911C29 Time : 0.0 sec. user=mdettweiler [2015-12-17 09:27:39] 989*2^1417636-1 is not prime. Res64: 1D5E311907DE9197 Time : 0.0 sec. user=mdettweiler [2015-12-17 09:30:05] 699*2^1417637-1 is not prime. Res64: 0125E3D4BAE72B85 Time : 0.0 sec. user=mdettweiler [2015-12-17 09:30:06] 777*2^1417637-1 is not prime. Res64: 004FB3AF927339FA Time : 0.0 sec. user=mdettweiler [2015-12-17 09:45:05] 901*2^1417637-1 is not prime. Res64: E01985A947E43FF2 Time : 0.0 sec. user=mdettweiler [2015-12-17 09:45:05] 665*2^1417638-1 is not prime. Res64: 6BEEA14DAAEA42C6 Time : 0.0 sec. user=mdettweiler [2015-12-17 09:47:32] 707*2^1417638-1 is not prime. Res64: 9F1C8A306F52E6D6 Time : 0.0 sec. user=mdettweiler [2015-12-17 09:47:32] 755*2^1417638-1 is not prime. Res64: 69DD477C81373DF7 Time : 0.0 sec. user=mdettweiler [2015-12-17 10:02:32] 773*2^1417638-1 is not prime. Res64: 0060D1C91D26635A Time : 0.0 sec. user=mdettweiler [2015-12-17 10:02:33] 791*2^1417638-1 is not prime. Res64: 79E3D6337D54F752 Time : 0.0 sec. user=mdettweiler [2015-12-17 10:04:59] 891*2^1417638-1 is not prime. Res64: 26B3E77B3BA952D7 Time : 0.0 sec. user=mdettweiler [2015-12-17 10:05:01] 951*2^1417638-1 is not prime. Res64: 555BA5A21B0E98C4 Time : 0.0 sec. user=mdettweiler [2015-12-17 10:20:11] 663*2^1417639-1 is not prime. Res64: 3B9D22AD4143C4D3 Time : 0.0 sec. user=mdettweiler [2015-12-17 10:20:11] 685*2^1417639-1 is not prime. Res64: ECF5BBF7BE9D94A3 Time : 0.0 sec. user=mdettweiler [2015-12-17 10:22:27] 703*2^1417639-1 is not prime. Res64: 28E4D35CFEA731F3 Time : 0.0 sec. user=mdettweiler [2015-12-17 10:22:28] 765*2^1417639-1 is not prime. Res64: 19E60CBA555BB56E Time : 0.0 sec. user=mdettweiler [2015-12-17 10:37:38] 885*2^1417639-1 is not prime. Res64: 59D5EB2131C2D7EB Time : 0.0 sec. user=mdettweiler [2015-12-17 10:37:38] 919*2^1417639-1 is not prime. Res64: 429D0B8D6C80E4FB Time : 0.0 sec. user=mdettweiler [2015-12-17 10:39:54] 675*2^1417640-1 is not prime. Res64: 232A0161905DFAA8 Time : 0.0 sec. user=mdettweiler [2015-12-17 10:39:54] 687*2^1417640-1 is not prime. Res64: 33AD986ADCA9057B Time : 0.0 sec. user=mdettweiler [2015-12-17 10:55:05] 729*2^1417640-1 is not prime. Res64: B16BD5D50E8E157F Time : 0.0 sec. user=mdettweiler [2015-12-17 10:55:05] 777*2^1417640-1 is not prime. Res64: DEEEFDD00630B052 Time : 0.0 sec. user=mdettweiler [2015-12-17 10:57:20] 839*2^1417640-1 is not prime. Res64: 152C8160F73D2F67 Time : 0.0 sec. user=mdettweiler [2015-12-17 10:57:21] 857*2^1417640-1 is not prime. Res64: 0CF27528FC3DA6C1 Time : 0.0 sec. user=mdettweiler [2015-12-17 11:12:31] 915*2^1417640-1 is not prime. Res64: 74CDFCC2FF3E30DA Time : 0.0 sec. user=mdettweiler [2015-12-17 11:12:32] 977*2^1417640-1 is not prime. Res64: 22C102512B85C353 Time : 0.0 sec. user=mdettweiler [2015-12-17 11:14:47] 661*2^1417641-1 is not prime. Res64: 5E00E79F5B6D2275 Time : 0.0 sec. user=mdettweiler [2015-12-17 11:14:48] 681*2^1417641-1 is not prime. Res64: 814EADA7CC4D1DB9 Time : 0.0 sec. user=mdettweiler [2015-12-17 11:29:59] 795*2^1417641-1 is not prime. Res64: 798FEC6F084517B9 Time : 0.0 sec. user=mdettweiler [2015-12-17 11:30:00] 835*2^1417641-1 is not prime. Res64: C85C9975DC915FBF Time : 0.0 sec. user=mdettweiler [2015-12-17 11:32:16] 921*2^1417641-1 is not prime. Res64: 9B5183282B25FB8A Time : 0.0 sec. user=mdettweiler [2015-12-17 11:32:16] 951*2^1417641-1 is not prime. Res64: C368DC44248344A1 Time : 0.0 sec. user=mdettweiler [2015-12-17 11:47:28] 979*2^1417641-1 is not prime. Res64: 926980AB94418FD3 Time : 0.0 sec. user=mdettweiler [2015-12-17 11:47:29] 623*2^1417642-1 is not prime. Res64: 87C9BC70F48F8D5B Time : 0.0 sec. user=mdettweiler [2015-12-17 11:49:43] 701*2^1417642-1 is not prime. Res64: C0888FA9EF21DA03 Time : 0.0 sec. user=mdettweiler [2015-12-17 11:49:43] 713*2^1417642-1 is not prime. Res64: BD9CCD72E11D50B5 Time : 0.0 sec. user=mdettweiler [2015-12-17 12:04:56] 743*2^1417642-1 is not prime. Res64: AEECEAC5F878009D Time : 0.0 sec. user=mdettweiler [2015-12-17 12:04:58] 777*2^1417642-1 is not prime. Res64: 95D1D99F848DB2E4 Time : 0.0 sec. user=mdettweiler [2015-12-17 12:07:10] 801*2^1417642-1 is not prime. Res64: 55BF553D34D8D513 Time : 0.0 sec. user=mdettweiler [2015-12-17 12:07:11] 981*2^1417642-1 is not prime. Res64: 520D8F0D13A48096 Time : 0.0 sec. user=mdettweiler [2015-12-17 12:22:35] 675*2^1417643-1 is not prime. Res64: F2936A5C3FF68487 Time : 0.0 sec. user=mdettweiler [2015-12-17 12:22:36] 753*2^1417643-1 is not prime. Res64: 2149CE694FA4301F Time : 0.0 sec. user=mdettweiler [2015-12-17 12:24:41] 871*2^1417643-1 is not prime. Res64: 498A8D6F22443178 Time : 0.0 sec. user=mdettweiler [2015-12-17 12:24:41] 999*2^1417643-1 is not prime. Res64: 647EDDDD946AD8AF Time : 0.0 sec. user=mdettweiler [2015-12-17 12:40:02] 707*2^1417644-1 is not prime. Res64: 60CFE54522D6097A Time : 0.0 sec. user=mdettweiler [2015-12-17 12:40:04] 717*2^1417644-1 is not prime. Res64: AAC1513DD6665EE0 Time : 0.0 sec. user=mdettweiler [2015-12-17 12:42:08] 737*2^1417644-1 is not prime. Res64: 31EF59F00ED869FA Time : 0.0 sec. user=mdettweiler [2015-12-17 12:42:08] 915*2^1417644-1 is not prime. Res64: D6C7260EDCECB5EB Time : 0.0 sec. user=mdettweiler [2015-12-17 12:57:32] 969*2^1417644-1 is not prime. Res64: EDF98CF30D99D5CB Time : 0.0 sec. user=mdettweiler [2015-12-17 12:57:32] 609*2^1417645-1 is not prime. Res64: 74A6816DC72B606D Time : 0.0 sec. user=mdettweiler [2015-12-17 12:59:35] 777*2^1417645-1 is not prime. Res64: B774CADD0CE9DC28 Time : 0.0 sec. user=mdettweiler [2015-12-17 12:59:35] 847*2^1417645-1 is not prime. Res64: C6013E550F420A2C Time : 0.0 sec. user=mdettweiler [2015-12-17 13:15:03] 885*2^1417645-1 is not prime. Res64: E1ED2B386C729F1E Time : 0.0 sec. user=mdettweiler [2015-12-17 13:15:05] 999*2^1417645-1 is not prime. Res64: 755AB1AF337AD50D Time : 0.0 sec. user=mdettweiler [2015-12-17 13:17:07] 705*2^1417646-1 is not prime. Res64: 57BA604E048E8346 Time : 0.0 sec. user=mdettweiler [2015-12-17 13:17:08] 867*2^1417646-1 is not prime. Res64: 634A4512555C2005 Time : 0.0 sec. user=mdettweiler [2015-12-17 13:32:48] 903*2^1417646-1 is not prime. Res64: 68960E244C9A390F Time : 0.0 sec. user=mdettweiler [2015-12-17 13:32:48] 751*2^1417647-1 is not prime. Res64: C3CB0B839A9E1391 Time : 0.0 sec. user=mdettweiler [2015-12-17 13:34:55] 769*2^1417647-1 is not prime. Res64: 9ABAC331AEC55F96 Time : 0.0 sec. user=mdettweiler [2015-12-17 13:34:56] 823*2^1417647-1 is not prime. Res64: 2FC94537662FEEF0 Time : 0.0 sec. user=mdettweiler [2015-12-17 13:50:57] 849*2^1417647-1 is not prime. Res64: 9BE76B6F455E6109 Time : 0.0 sec. user=mdettweiler [2015-12-17 13:50:58] 961*2^1417647-1 is not prime. Res64: 7DDB15370076D7F0 Time : 0.0 sec. user=mdettweiler [2015-12-17 13:52:56] 973*2^1417647-1 is not prime. Res64: 061CF9FA95FEE2EF Time : 0.0 sec. user=mdettweiler [2015-12-17 13:52:56] 615*2^1417648-1 is not prime. Res64: 2D24A6090DAC148E Time : 0.0 sec. user=mdettweiler [2015-12-17 14:08:33] 645*2^1417648-1 is not prime. Res64: 1D9AF25D7EF052AD Time : 0.0 sec. user=mdettweiler [2015-12-17 14:08:35] 707*2^1417648-1 is not prime. Res64: D5B4FA8266FDDA69 Time : 0.0 sec. user=mdettweiler [2015-12-17 14:10:28] 813*2^1417648-1 is not prime. Res64: F40925BA11509535 Time : 0.0 sec. user=mdettweiler [2015-12-17 14:10:29] 839*2^1417648-1 is not prime. Res64: BEA02A03433FBFF6 Time : 0.0 sec. user=mdettweiler [2015-12-17 14:26:23] 923*2^1417648-1 is not prime. Res64: 031F2F257B7F8775 Time : 0.0 sec. user=mdettweiler [2015-12-17 14:26:23] 927*2^1417648-1 is not prime. Res64: 9DDB73A5A51F6440 Time : 0.0 sec. user=mdettweiler [2015-12-17 14:27:58] 741*2^1417649-1 is not prime. Res64: 4EBF7293DB46F30D Time : 0.0 sec. user=mdettweiler [2015-12-17 14:27:59] 795*2^1417649-1 is not prime. Res64: 7A1F08BC1643C4E7 Time : 0.0 sec. user=mdettweiler [2015-12-17 14:43:56] 865*2^1417649-1 is not prime. Res64: 4FE22A80905C2A0A Time : 0.0 sec. user=mdettweiler [2015-12-17 14:43:57] 979*2^1417649-1 is not prime. Res64: 06CCF87257D4D744 Time : 0.0 sec. user=mdettweiler [2015-12-17 14:45:31] 641*2^1417650-1 is not prime. Res64: 7AD59502A0EDF4A2 Time : 0.0 sec. user=mdettweiler [2015-12-17 14:45:32] 717*2^1417650-1 is not prime. Res64: C47B7948B960773E Time : 0.0 sec. user=mdettweiler [2015-12-17 15:01:33] 783*2^1417650-1 is not prime. Res64: A826AAF208312BF6 Time : 0.0 sec. user=mdettweiler [2015-12-17 15:01:35] 821*2^1417650-1 is not prime. Res64: E9027FC6679F0497 Time : 0.0 sec. user=mdettweiler [2015-12-17 15:03:06] 875*2^1417650-1 is not prime. Res64: 9D28CB808DC3A2D1 Time : 0.0 sec. user=mdettweiler [2015-12-17 15:03:07] 917*2^1417650-1 is not prime. Res64: 64D2D4CB9DD4CD51 Time : 0.0 sec. user=mdettweiler [2015-12-17 15:19:22] 945*2^1417650-1 is not prime. Res64: AB9FAB8FEFF66325 Time : 0.0 sec. user=mdettweiler [2015-12-17 15:19:22] 977*2^1417650-1 is not prime. Res64: 39DDCCA4E1571793 Time : 0.0 sec. user=mdettweiler [2015-12-17 15:20:48] 603*2^1417651-1 is not prime. Res64: 8460F75ADE4FC37C Time : 0.0 sec. user=mdettweiler [2015-12-17 15:20:49] 621*2^1417651-1 is not prime. Res64: 3CAACF0B24FB852F Time : 0.0 sec. user=mdettweiler [2015-12-17 15:36:57] 645*2^1417651-1 is not prime. Res64: 5BB7F4F939B6FDA6 Time : 0.0 sec. user=mdettweiler [2015-12-17 15:36:57] 663*2^1417651-1 is not prime. Res64: 1EAA711B02C56C51 Time : 0.0 sec. user=mdettweiler [2015-12-17 15:38:23] 745*2^1417651-1 is not prime. Res64: E3A00D2843DC7C00 Time : 0.0 sec. user=mdettweiler [2015-12-17 15:38:23] 843*2^1417651-1 is not prime. Res64: 30A38BAA8CD532E3 Time : 0.0 sec. user=mdettweiler [2015-12-17 15:54:35] 859*2^1417651-1 is not prime. Res64: 4017683A58B21D25 Time : 0.0 sec. user=mdettweiler [2015-12-17 15:54:36] 913*2^1417651-1 is not prime. Res64: BE52F022C12A2A82 Time : 0.0 sec. user=mdettweiler [2015-12-17 15:56:01] 943*2^1417651-1 is not prime. Res64: E8C1C37E23762313 Time : 0.0 sec. user=mdettweiler [2015-12-17 15:56:01] 609*2^1417652-1 is not prime. Res64: 93DDA7628F89A101 Time : 0.0 sec. user=mdettweiler [2015-12-17 16:12:24] 633*2^1417652-1 is not prime. Res64: 6225E96E5065C8C2 Time : 0.0 sec. user=mdettweiler [2015-12-17 16:12:25] 725*2^1417652-1 is not prime. Res64: 0238895BA8BE2DC3 Time : 0.0 sec. user=mdettweiler [2015-12-17 16:13:49] 825*2^1417652-1 is not prime. Res64: C4867167733D60B0 Time : 0.0 sec. user=mdettweiler [2015-12-17 16:13:49] 691*2^1417653-1 is not prime. Res64: 85D0CCB789BCB459 Time : 0.0 sec. user=mdettweiler [2015-12-17 16:30:13] 805*2^1417653-1 is not prime. Res64: 164DFE67D3E4533F Time : 0.0 sec. user=mdettweiler [2015-12-17 16:30:14] 847*2^1417653-1 is not prime. Res64: 83E43923A71D889D Time : 0.0 sec. user=mdettweiler [2015-12-17 16:31:28] 961*2^1417653-1 is not prime. Res64: 3622BFE6BC757680 Time : 0.0 sec. user=mdettweiler [2015-12-17 16:31:28] 969*2^1417653-1 is not prime. Res64: 4692E6D8D8865782 Time : 0.0 sec. user=mdettweiler [2015-12-17 16:47:53] 645*2^1417654-1 is not prime. Res64: B41B36CE853033C3 Time : 0.0 sec. user=mdettweiler [2015-12-17 16:47:54] 791*2^1417654-1 is not prime. Res64: 03F4DA3ACA378A4C Time : 0.0 sec. user=mdettweiler [2015-12-17 16:49:09] 831*2^1417654-1 is not prime. Res64: 198C3CCEC0FFD3C6 Time : 0.0 sec. user=mdettweiler [2015-12-17 16:49:09] 885*2^1417654-1 is not prime. Res64: F0A0F8FB6BA7EBB7 Time : 0.0 sec. user=mdettweiler [2015-12-17 17:05:34] 1001*2^1417654-1 is not prime. Res64: 283B8A5C2BC9B31D Time : 0.0 sec. user=mdettweiler [2015-12-17 17:05:36] 825*2^1417655-1 is not prime. Res64: 7F147368DD463947 Time : 0.0 sec. user=mdettweiler [2015-12-17 17:06:47] 895*2^1417655-1 is not prime. Res64: 88D4C230924154E9 Time : 0.0 sec. user=mdettweiler [2015-12-17 17:06:48] 963*2^1417655-1 is not prime. Res64: 631D928C05E7486D Time : 0.0 sec. user=mdettweiler [2015-12-17 17:23:58] 979*2^1417655-1 is not prime. Res64: 290BAF72AA4F5944 Time : 0.0 sec. user=mdettweiler [2015-12-17 17:23:59] 623*2^1417656-1 is not prime. Res64: 7EDDA77FBE4FD2AF Time : 0.0 sec. user=mdettweiler [2015-12-17 17:25:07] 693*2^1417656-1 is not prime. Res64: 4AF697F7E08F86C2 Time : 0.0 sec. user=mdettweiler [2015-12-17 17:25:08] 909*2^1417656-1 is not prime. Res64: 0BE0E81C0830E096 Time : 0.0 sec. user=mdettweiler [2015-12-17 17:41:42] 639*2^1417657-1 is not prime. Res64: 06B119969BC0B24C Time : 0.0 sec. user=mdettweiler [2015-12-17 17:41:43] 691*2^1417657-1 is not prime. Res64: 64E64854B9EB43B8 Time : 0.0 sec. user=mdettweiler [2015-12-17 17:42:50] 717*2^1417657-1 is not prime. Res64: 9735348CA6E6F725 Time : 0.0 sec. user=mdettweiler [2015-12-17 17:42:51] 799*2^1417657-1 is not prime. Res64: 5611996426D8E5C9 Time : 0.0 sec. user=mdettweiler [2015-12-17 17:59:20] 867*2^1417657-1 is not prime. Res64: 917F15376378BCFB Time : 0.0 sec. user=mdettweiler [2015-12-17 17:59:20] 641*2^1417658-1 is not prime. Res64: 178439F109CF5EB6 Time : 0.0 sec. user=mdettweiler [2015-12-17 18:00:29] 935*2^1417658-1 is not prime. Res64: F015693158CB0F24 Time : 0.0 sec. user=mdettweiler [2015-12-17 18:00:30] 971*2^1417658-1 is not prime. Res64: 3C9486EFD16BBD02 Time : 0.0 sec. user=mdettweiler [2015-12-17 18:17:09] 613*2^1417659-1 is not prime. Res64: 30A145EEC33E5710 Time : 0.0 sec. user=mdettweiler [2015-12-17 18:17:10] 663*2^1417659-1 is not prime. Res64: 9E737EFA41E78051 Time : 0.0 sec. user=mdettweiler [2015-12-17 18:18:20] 741*2^1417659-1 is not prime. Res64: C7661666D89FE9DC Time : 0.0 sec. user=mdettweiler [2015-12-17 18:18:20] 795*2^1417659-1 is not prime. Res64: EAE56EF64A71F31B Time : 0.0 sec. user=mdettweiler [2015-12-17 18:34:46] 903*2^1417659-1 is not prime. Res64: CFF26226CA94088B Time : 0.0 sec. user=mdettweiler [2015-12-17 18:34:47] 603*2^1417660-1 is not prime. Res64: 01B455FFF16A5E31 Time : 0.0 sec. user=mdettweiler [2015-12-17 18:35:49] 663*2^1417660-1 is not prime. Res64: C8D152A4EBD37160 Time : 0.0 sec. user=mdettweiler [2015-12-17 18:35:49] 689*2^1417660-1 is not prime. Res64: 20A063D6C051B1E2 Time : 0.0 sec. user=mdettweiler [2015-12-17 18:52:16] 845*2^1417660-1 is not prime. Res64: 068001616C68E921 Time : 0.0 sec. user=mdettweiler [2015-12-17 18:52:16] 863*2^1417660-1 is not prime. Res64: E454F56183CC8734 Time : 0.0 sec. user=mdettweiler [2015-12-17 18:53:17] 875*2^1417660-1 is not prime. Res64: D53ADF6B938FE711 Time : 0.0 sec. user=mdettweiler [2015-12-17 18:53:17] 939*2^1417660-1 is not prime. Res64: AF1D216CD440215C Time : 0.0 sec. user=mdettweiler [2015-12-17 19:09:50] 651*2^1417661-1 is not prime. Res64: 6FD869A98EFDCF99 Time : 0.0 sec. user=mdettweiler [2015-12-17 19:09:51] 717*2^1417661-1 is not prime. Res64: 95A022B437FA97A1 Time : 0.0 sec. user=mdettweiler [2015-12-17 19:10:49] 747*2^1417661-1 is not prime. Res64: 26B4FBCE44FF2DCC Time : 0.0 sec. user=mdettweiler [2015-12-17 19:10:49] 871*2^1417661-1 is not prime. Res64: CADC8B66F4DF1053 Time : 0.0 sec. user=mdettweiler [2015-12-17 19:27:26] 939*2^1417661-1 is not prime. Res64: 830324E118310AD4 Time : 0.0 sec. user=mdettweiler [2015-12-17 19:27:27] 627*2^1417662-1 is not prime. Res64: 3D87ABD69CF65B67 Time : 0.0 sec. user=mdettweiler [2015-12-17 19:28:17] 635*2^1417662-1 is not prime. Res64: 170A032F35712566 Time : 0.0 sec. user=mdettweiler [2015-12-17 19:28:18] 681*2^1417662-1 is not prime. Res64: CC280A4043DE0392 Time : 0.0 sec. user=mdettweiler [2015-12-17 19:44:55] 705*2^1417662-1 is not prime. Res64: BDE12A593FEC2C05 Time : 0.0 sec. user=mdettweiler [2015-12-17 19:44:56] 711*2^1417662-1 is not prime. Res64: 87A2F2FAB6B7A90E Time : 0.0 sec. user=mdettweiler [2015-12-17 19:45:47] 717*2^1417662-1 is not prime. Res64: 14E30BCF4AAE2C17 Time : 0.0 sec. user=mdettweiler [2015-12-17 19:45:47] 791*2^1417662-1 is not prime. Res64: 612948A418C6CE2E Time : 0.0 sec. user=mdettweiler [2015-12-17 20:02:26] 873*2^1417662-1 is not prime. Res64: 009BFD30B2A4943C Time : 0.0 sec. user=mdettweiler [2015-12-17 20:02:27] 885*2^1417662-1 is not prime. Res64: 09B867BFCA3A6843 Time : 0.0 sec. user=mdettweiler [2015-12-17 20:03:15] 893*2^1417662-1 is not prime. Res64: 98C805F1C2E8C952 Time : 0.0 sec. user=mdettweiler [2015-12-17 20:03:16] 903*2^1417662-1 is not prime. Res64: 979BFD6894B848CD Time : 0.0 sec. user=mdettweiler [2015-12-17 20:20:06] 965*2^1417662-1 is not prime. Res64: 94CA4B093502DA37 Time : 0.0 sec. user=mdettweiler [2015-12-17 20:20:06] 603*2^1417663-1 is not prime. Res64: 47C9F967EF5C7E6B Time : 0.0 sec. user=mdettweiler [2015-12-17 20:20:46] 741*2^1417663-1 is not prime. Res64: D77C69C9BB2A0A83 Time : 0.0 sec. user=mdettweiler [2015-12-17 20:20:46] 745*2^1417663-1 is not prime. Res64: 69551F6BF9A0A990 Time : 0.0 sec. user=mdettweiler [2015-12-17 20:37:35] 775*2^1417663-1 is not prime. Res64: 87E80DC642D15412 Time : 0.0 sec. user=mdettweiler [2015-12-17 20:37:36] 783*2^1417663-1 is not prime. Res64: 9E5F2257A1B7A53B Time : 0.0 sec. user=mdettweiler [2015-12-17 20:38:14] 805*2^1417663-1 is not prime. Res64: DB3228A195DA2F44 Time : 0.0 sec. user=mdettweiler [2015-12-17 20:38:14] 811*2^1417663-1 is not prime. Res64: 5E1410CFA6979347 Time : 0.0 sec. user=mdettweiler [2015-12-17 20:55:05] 829*2^1417663-1 is not prime. Res64: 532707AD30D136D0 Time : 0.0 sec. user=mdettweiler [2015-12-17 20:55:05] 919*2^1417663-1 is not prime. Res64: 0DADB8D57F9E0674 Time : 0.0 sec. user=mdettweiler [2015-12-17 20:55:42] 855*2^1417664-1 is not prime. Res64: F9E2F52CC2B6AB2E Time : 0.0 sec. user=mdettweiler [2015-12-17 20:55:43] 873*2^1417664-1 is not prime. Res64: 3630AB5A81A3A49D Time : 0.0 sec. user=mdettweiler [2015-12-17 21:12:34] 893*2^1417664-1 is not prime. Res64: 6D8939225EF957AF Time : 0.0 sec. user=mdettweiler [2015-12-17 21:12:35] 945*2^1417664-1 is not prime. Res64: 9F2F5E98EE936026 Time : 0.0 sec. user=mdettweiler [2015-12-17 21:13:11] 625*2^1417665-1 is not prime. Res64: B545D4A66D613F42 Time : 0.0 sec. user=mdettweiler [2015-12-17 21:13:13] 679*2^1417665-1 is not prime. Res64: 42EE9BC74F59639B Time : 0.0 sec. user=mdettweiler [2015-12-17 21:30:17] 699*2^1417665-1 is not prime. Res64: 28060804CBFA03E2 Time : 0.0 sec. user=mdettweiler [2015-12-17 21:30:17] 705*2^1417665-1 is not prime. Res64: 9E6FA303937FC36E Time : 0.0 sec. user=mdettweiler [2015-12-17 21:30:44] 741*2^1417665-1 is not prime. Res64: 79BF864C5CB43E03 Time : 0.0 sec. user=mdettweiler [2015-12-17 21:30:44] 781*2^1417665-1 is not prime. Res64: 5605AC5AF32B69BE Time : 0.0 sec. user=mdettweiler [2015-12-17 21:48:00] 795*2^1417665-1 is not prime. Res64: 8100C1ED74E597E0 Time : 0.0 sec. user=mdettweiler [2015-12-17 21:48:00] 877*2^1417665-1 is not prime. Res64: 79F146D31347C388 Time : 0.0 sec. user=mdettweiler [2015-12-17 21:48:26] 909*2^1417665-1 is not prime. Res64: 0537A7DC6DE944A8 Time : 0.0 sec. user=mdettweiler [2015-12-17 21:48:26] 843*2^1417666-1 is not prime. Res64: 9CD74A59AC8BC7A3 Time : 0.0 sec. user=mdettweiler [2015-12-17 22:05:41] 615*2^1417667-1 is not prime. Res64: 07B3329991CFAA55 Time : 0.0 sec. user=mdettweiler [2015-12-17 22:05:43] 651*2^1417667-1 is not prime. Res64: 5661C1292D6652BC Time : 0.0 sec. user=mdettweiler [2015-12-17 22:06:06] 781*2^1417667-1 is not prime. Res64: 35970AC09485F398 Time : 0.0 sec. user=mdettweiler [2015-12-17 22:06:07] 841*2^1417667-1 is not prime. Res64: 8A9556BAD9423DB4 Time : 0.0 sec. user=mdettweiler [2015-12-17 22:23:38] 909*2^1417667-1 is not prime. Res64: 0BD650434D1C3315 Time : 0.0 sec. user=mdettweiler [2015-12-17 22:23:38] 985*2^1417667-1 is not prime. Res64: 91F2D3C0F6FD9E93 Time : 0.0 sec. user=mdettweiler [2015-12-17 22:23:44] 605*2^1417668-1 is not prime. Res64: BD5CB37B62E213A0 Time : 0.0 sec. user=mdettweiler [2015-12-17 22:23:45] 629*2^1417668-1 is not prime. Res64: 7C73104664489F7C Time : 0.0 sec. user=mdettweiler [2015-12-17 22:41:23] 735*2^1417668-1 is not prime. Res64: B81B13F33774400A Time : 0.0 sec. user=mdettweiler [2015-12-17 22:41:23] 765*2^1417668-1 is not prime. Res64: EAA315AC6E09D4FB Time : 0.0 sec. user=mdettweiler [2015-12-17 22:41:28] 797*2^1417668-1 is not prime. Res64: 882622DD772ADE92 Time : 0.0 sec. user=mdettweiler [2015-12-17 22:41:28] 825*2^1417669-1 is not prime. Res64: 672D90CB0E058B9E Time : 0.0 sec. user=mdettweiler [2015-12-17 22:59:00] 997*2^1417669-1 is not prime. Res64: E60FEB01EC930B3C Time : 0.0 sec. user=mdettweiler [2015-12-17 22:59:01] 615*2^1417670-1 is not prime. Res64: A8C87B02233C8077 Time : 0.0 sec. user=mdettweiler [2015-12-17 22:59:06] 801*2^1417670-1 is not prime. Res64: 2177B6E68C15CD50 Time : 0.0 sec. user=mdettweiler [2015-12-17 22:59:06] 831*2^1417670-1 is not prime. Res64: B195B6B72A82FBA1 Time : 0.0 sec. user=mdettweiler [2015-12-17 23:16:43] 867*2^1417670-1 is not prime. Res64: 5BFCF9D34AEA42A3 Time : 0.0 sec. user=mdettweiler [2015-12-17 23:16:44] 893*2^1417670-1 is not prime. Res64: 2F31E151C3FC11AE Time : 0.0 sec. user=mdettweiler [2015-12-17 23:16:49] 897*2^1417670-1 is not prime. Res64: 4019295C3DDED460 Time : 0.0 sec. user=mdettweiler [2015-12-17 23:16:51] 911*2^1417670-1 is not prime. Res64: DE142D5B53066D2C Time : 0.0 sec. user=mdettweiler [2015-12-17 23:34:31] 945*2^1417670-1 is not prime. Res64: 902FEF150BD0A74F Time : 0.0 sec. user=mdettweiler [2015-12-17 23:34:31] 675*2^1417671-1 is not prime. Res64: 24F99F5EF1C57C35 Time : 0.0 sec. user=mdettweiler [2015-12-17 23:34:31] 953*2^1417670-1 is not prime. Res64: 23F5202C76E38E40 Time : 0.0 sec. user=mdettweiler [2015-12-17 23:34:32] 775*2^1417671-1 is not prime. Res64: CBD0435B349E9CD5 Time : 0.0 sec. user=mdettweiler [2015-12-17 23:52:02] 943*2^1417671-1 is not prime. Res64: 3AA62B48109F9FEA Time : 0.0 sec. user=mdettweiler [2015-12-17 23:52:02] 719*2^1417672-1 is not prime. Res64: 72961D8408619AE0 Time : 0.0 sec. user=mdettweiler [2015-12-17 23:52:04] 805*2^1417671-1 is not prime. Res64: 14E80D5089F85518 Time : 0.0 sec. user=mdettweiler [2015-12-17 23:52:05] 879*2^1417671-1 is not prime. Res64: EE0A963F9EA7B73A Time : 0.0 sec.