user=mdettweiler [2016-08-17 00:11:05] 713*2^1437742-1 is not prime. Res64: E455FD55F029D29C Time : 0.0 sec. user=mdettweiler [2016-08-17 00:11:11] 737*2^1437742-1 is not prime. Res64: 11A8C34BB1D14710 Time : 0.0 sec. user=mdettweiler [2016-08-17 00:11:15] 801*2^1437742-1 is not prime. Res64: 1FCBA99287737422 Time : 0.0 sec. user=mdettweiler [2016-08-17 00:11:19] 897*2^1437742-1 is not prime. Res64: 832DB51A44A37A2A Time : 0.0 sec. user=mdettweiler [2016-08-17 00:11:21] 957*2^1437742-1 is not prime. Res64: DC0AAF822D40831A Time : 0.0 sec. user=mdettweiler [2016-08-17 00:17:27] 995*2^1437742-1 is not prime. Res64: 1DE1FA8C688B308B Time : 0.0 sec. user=mdettweiler [2016-08-17 00:17:29] 661*2^1437743-1 is not prime. Res64: BAE7BAA44CD6A89D Time : 0.0 sec. user=mdettweiler [2016-08-17 00:17:30] 805*2^1437743-1 is not prime. Res64: 893EA51F12822BEF Time : 0.0 sec. user=mdettweiler [2016-08-17 00:17:32] 823*2^1437743-1 is not prime. Res64: 51C68D374E756E5C Time : 0.0 sec. user=mdettweiler [2016-08-17 00:17:33] 855*2^1437743-1 is not prime. Res64: 80870CFAAD6FCB77 Time : 0.0 sec. user=mdettweiler [2016-08-17 00:19:41] 895*2^1437743-1 is not prime. Res64: A003E4FB65F91444 Time : 0.0 sec. user=mdettweiler [2016-08-17 00:19:41] 985*2^1437743-1 is not prime. Res64: 9D7D4B50FEA26B6F Time : 0.0 sec. user=mdettweiler [2016-08-17 00:19:42] 999*2^1437743-1 is not prime. Res64: 77DC6260AD8A822B Time : 0.0 sec. user=mdettweiler [2016-08-17 00:19:42] 627*2^1437744-1 is not prime. Res64: 1282131F54F0037D Time : 0.0 sec. user=mdettweiler [2016-08-17 00:19:42] 693*2^1437744-1 is not prime. Res64: 7C0B2D6F90D0E07A Time : 0.0 sec. user=mdettweiler [2016-08-17 00:43:08] 753*2^1437744-1 is not prime. Res64: DBF7BF0B554B5845 Time : 0.0 sec. user=mdettweiler [2016-08-17 00:43:08] 899*2^1437744-1 is not prime. Res64: 71D40DF2700AFEAD Time : 0.0 sec. user=mdettweiler [2016-08-17 00:43:09] 645*2^1437745-1 is not prime. Res64: 617A6440E7BE9953 Time : 0.0 sec. user=mdettweiler [2016-08-17 00:43:09] 651*2^1437745-1 is not prime. Res64: 70CBA6DBEDD80B54 Time : 0.0 sec. user=mdettweiler [2016-08-17 00:43:10] 705*2^1437745-1 is not prime. Res64: 53F3728AEC3AD6D4 Time : 0.0 sec. user=mdettweiler [2016-08-17 00:57:52] 721*2^1437745-1 is not prime. Res64: 96E984E313F03412 Time : 0.0 sec. user=mdettweiler [2016-08-17 00:57:52] 729*2^1437745-1 is not prime. Res64: A9E8FFAB8A5AC263 Time : 0.0 sec. user=mdettweiler [2016-08-17 00:57:52] 831*2^1437745-1 is not prime. Res64: 9E9F2F3E34E22BFD Time : 0.0 sec. user=mdettweiler [2016-08-17 00:57:53] 957*2^1437745-1 is not prime. Res64: AAAC11767CF890A9 Time : 0.0 sec. user=mdettweiler [2016-08-17 00:57:53] 635*2^1437746-1 is not prime. Res64: 883ADCD7262302FE Time : 0.0 sec. user=mdettweiler [2016-08-17 01:03:34] 641*2^1437746-1 is not prime. Res64: 79428EB26311BF72 Time : 0.0 sec. user=mdettweiler [2016-08-17 01:03:37] 671*2^1437746-1 is not prime. Res64: 6D80ED94849B590D Time : 0.0 sec. user=mdettweiler [2016-08-17 01:03:38] 677*2^1437746-1 is not prime. Res64: 6E7B66779DDDEC5E Time : 0.0 sec. user=mdettweiler [2016-08-17 01:03:40] 711*2^1437746-1 is not prime. Res64: DE2E195F5496337D Time : 0.0 sec. user=mdettweiler [2016-08-17 01:03:41] 713*2^1437746-1 is not prime. Res64: 6AE5D061894B3C11 Time : 0.0 sec. user=mdettweiler [2016-08-17 01:05:54] 801*2^1437746-1 is not prime. Res64: 32D92AE937D1DC2A Time : 0.0 sec. user=mdettweiler [2016-08-17 01:05:55] 825*2^1437746-1 is not prime. Res64: 9CE8304CB5845185 Time : 0.0 sec. user=mdettweiler [2016-08-17 01:05:56] 861*2^1437746-1 is not prime. Res64: 3D0FE16C2B8FE241 Time : 0.0 sec. user=mdettweiler [2016-08-17 01:05:57] 953*2^1437746-1 is not prime. Res64: 8DC3A5A9B8DEF85F Time : 0.0 sec. user=mdettweiler [2016-08-17 01:05:58] 987*2^1437746-1 is not prime. Res64: 23F16E772CD0C29B Time : 0.0 sec. user=mdettweiler [2016-08-17 01:29:20] 1001*2^1437746-1 is not prime. Res64: 1421072819E1DB46 Time : 0.0 sec. user=mdettweiler [2016-08-17 01:29:21] 619*2^1437747-1 is not prime. Res64: 495D966A57794FD4 Time : 0.0 sec. user=mdettweiler [2016-08-17 01:29:22] 617*2^1437748-1 is not prime. Res64: 12F08B655D2EF0A4 Time : 0.0 sec. user=mdettweiler [2016-08-17 01:29:23] 647*2^1437748-1 is not prime. Res64: 64AEF3610F6892E5 Time : 0.0 sec. user=mdettweiler [2016-08-17 01:29:24] 765*2^1437748-1 is not prime. Res64: 40732D479B9496FB Time : 0.0 sec. user=mdettweiler [2016-08-17 01:43:27] 843*2^1437748-1 is not prime. Res64: 563F293C40DB1C9E Time : 0.0 sec. user=mdettweiler [2016-08-17 01:43:27] 885*2^1437748-1 is not prime. Res64: 0F9106680726CF8C Time : 0.0 sec. user=mdettweiler [2016-08-17 01:43:28] 915*2^1437748-1 is not prime. Res64: E800A3DA205B09F5 Time : 0.0 sec. user=mdettweiler [2016-08-17 01:43:28] 989*2^1437748-1 is not prime. Res64: 2F7F83225090BDCB Time : 0.0 sec. user=mdettweiler [2016-08-17 01:43:28] 675*2^1437749-1 is not prime. Res64: 42591E7F3CB3549B Time : 0.0 sec. user=mdettweiler [2016-08-17 01:49:21] 711*2^1437749-1 is not prime. Res64: 74AC031E0497A77B Time : 0.0 sec. user=mdettweiler [2016-08-17 01:49:21] 729*2^1437749-1 is not prime. Res64: 2A380A0673CC5E1B Time : 0.0 sec. user=mdettweiler [2016-08-17 01:49:22] 759*2^1437749-1 is not prime. Res64: 9555C95937D1FD16 Time : 0.0 sec. user=mdettweiler [2016-08-17 01:49:22] 787*2^1437749-1 is not prime. Res64: 19242112311F0144 Time : 0.0 sec. user=mdettweiler [2016-08-17 01:49:23] 825*2^1437749-1 is not prime. Res64: 67FE1CEB0DCFBA44 Time : 0.0 sec. user=mdettweiler [2016-08-17 01:51:00] 889*2^1437749-1 is not prime. Res64: 2738257892AE1B5D Time : 0.0 sec. user=mdettweiler [2016-08-17 01:51:00] 925*2^1437749-1 is not prime. Res64: 43383634F1D7ADA4 Time : 0.0 sec. user=mdettweiler [2016-08-17 01:51:01] 955*2^1437749-1 is not prime. Res64: 4146193B2B0B9C14 Time : 0.0 sec. user=mdettweiler [2016-08-17 01:51:01] 681*2^1437750-1 is not prime. Res64: 8BCF1DB30F880FE4 Time : 0.0 sec. user=mdettweiler [2016-08-17 01:51:01] 725*2^1437750-1 is not prime. Res64: 266BD5854DD28EFA Time : 0.0 sec. user=mdettweiler [2016-08-17 02:15:43] 825*2^1437750-1 is not prime. Res64: 83668FBFDBBC82B0 Time : 0.0 sec. user=mdettweiler [2016-08-17 02:15:43] 867*2^1437750-1 is not prime. Res64: 1AB2303E7EF9E83C Time : 0.0 sec. user=mdettweiler [2016-08-17 02:15:44] 885*2^1437750-1 is not prime. Res64: 536483AC245FE43C Time : 0.0 sec. user=mdettweiler [2016-08-17 02:15:44] 915*2^1437750-1 is not prime. Res64: E6810BAADA10B542 Time : 0.0 sec. user=mdettweiler [2016-08-17 02:15:45] 923*2^1437750-1 is not prime. Res64: EF91FEA50E194120 Time : 0.0 sec. user=mdettweiler [2016-08-17 02:29:26] 971*2^1437750-1 is not prime. Res64: 7FACA40C12220639 Time : 0.0 sec. user=mdettweiler [2016-08-17 02:29:27] 1001*2^1437750-1 is not prime. Res64: 2C39711DEC5D583F Time : 0.0 sec. user=mdettweiler [2016-08-17 02:29:28] 649*2^1437751-1 is not prime. Res64: A46E3CCF471B9B2B Time : 0.0 sec. user=mdettweiler [2016-08-17 02:29:29] 679*2^1437751-1 is not prime. Res64: 201730E2EA3D3652 Time : 0.0 sec. user=mdettweiler [2016-08-17 02:29:29] 685*2^1437751-1 is not prime. Res64: AF714FA0C6D94EA2 Time : 0.0 sec. user=mdettweiler [2016-08-17 02:35:12] 793*2^1437751-1 is not prime. Res64: CFA41BBDD2B441FD Time : 0.0 sec. user=mdettweiler [2016-08-17 02:35:13] 871*2^1437751-1 is not prime. Res64: C72997956485168A Time : 0.0 sec. user=mdettweiler [2016-08-17 02:35:17] 885*2^1437751-1 is not prime. Res64: DDFD10A122810A55 Time : 0.0 sec. user=mdettweiler [2016-08-17 02:35:18] 933*2^1437751-1 is not prime. Res64: 76D97DF1D7C13961 Time : 0.0 sec. user=mdettweiler [2016-08-17 02:35:22] 961*2^1437751-1 is not prime. Res64: CFBBF6F9D90A85E6 Time : 0.0 sec. user=mdettweiler [2016-08-17 02:37:07] 975*2^1437751-1 is not prime. Res64: 8AED4F4E594EFC82 Time : 0.0 sec. user=mdettweiler [2016-08-17 02:37:09] 999*2^1437751-1 is not prime. Res64: 3677841A790353AF Time : 0.0 sec. user=mdettweiler [2016-08-17 02:37:10] 617*2^1437752-1 is not prime. Res64: 18556D9025894268 Time : 0.0 sec. user=mdettweiler [2016-08-17 02:37:11] 635*2^1437752-1 is not prime. Res64: 1AA64F92F0415EDB Time : 0.0 sec. user=mdettweiler [2016-08-17 02:37:12] 657*2^1437752-1 is not prime. Res64: 01D643115A9B9578 Time : 0.0 sec. user=mdettweiler [2016-08-17 03:01:05] 929*2^1437752-1 is not prime. Res64: E631B8455E0E1648 Time : 0.0 sec. user=mdettweiler [2016-08-17 03:01:09] 963*2^1437752-1 is not prime. Res64: 677ACE6640F2A113 Time : 0.0 sec. user=mdettweiler [2016-08-17 03:01:10] 637*2^1437753-1 is not prime. Res64: 8AE8778AB84912A5 Time : 0.0 sec. user=mdettweiler [2016-08-17 03:01:11] 649*2^1437753-1 is not prime. Res64: 2DF56FB3BE79EB40 Time : 0.0 sec. user=mdettweiler [2016-08-17 03:01:13] 685*2^1437753-1 is not prime. Res64: 734AD6671B606D46 Time : 0.0 sec. user=mdettweiler [2016-08-17 03:14:51] 889*2^1437753-1 is not prime. Res64: 76934093895814B2 Time : 0.0 sec. user=mdettweiler [2016-08-17 03:14:52] 945*2^1437753-1 is not prime. Res64: B88FC5C24A4A0E46 Time : 0.0 sec. user=mdettweiler [2016-08-17 03:14:52] 949*2^1437753-1 is not prime. Res64: 2677FF18998C3907 Time : 0.0 sec. user=mdettweiler [2016-08-17 03:14:53] 951*2^1437753-1 is not prime. Res64: 17A5836F5DE89F18 Time : 0.0 sec. user=mdettweiler [2016-08-17 03:14:53] 969*2^1437753-1 is not prime. Res64: 55F45EDF51143B41 Time : 0.0 sec. user=mdettweiler [2016-08-17 03:20:57] 815*2^1437754-1 is not prime. Res64: 79F3AC45AF23D0AC Time : 0.0 sec. user=mdettweiler [2016-08-17 03:20:57] 675*2^1437755-1 is not prime. Res64: 5BB3234039051C85 Time : 0.0 sec. user=mdettweiler [2016-08-17 03:20:58] 789*2^1437755-1 is not prime. Res64: 36E287EDA4E9322E Time : 0.0 sec. user=mdettweiler [2016-08-17 03:20:58] 969*2^1437755-1 is not prime. Res64: 040C577CF2C2C1F3 Time : 0.0 sec. user=mdettweiler [2016-08-17 03:20:58] 705*2^1437756-1 is not prime. Res64: F3DA0A3F801C5BE2 Time : 0.0 sec. user=mdettweiler [2016-08-17 03:22:34] 903*2^1437756-1 is not prime. Res64: 00893872BA955A77 Time : 0.0 sec. user=mdettweiler [2016-08-17 03:22:35] 933*2^1437756-1 is not prime. Res64: 13DD7732E10C08A6 Time : 0.0 sec. user=mdettweiler [2016-08-17 03:22:35] 975*2^1437756-1 is not prime. Res64: FC9D060D46CCDFEA Time : 0.0 sec. user=mdettweiler [2016-08-17 03:22:35] 625*2^1437757-1 is not prime. Res64: D92CA8474FD71B0B Time : 0.0 sec. user=mdettweiler [2016-08-17 03:22:36] 715*2^1437757-1 is not prime. Res64: 7F698A82B61B5C7E Time : 0.0 sec. user=mdettweiler [2016-08-17 03:47:57] 717*2^1437757-1 is not prime. Res64: 5A1C6553B7A1D175 Time : 0.0 sec. user=mdettweiler [2016-08-17 03:48:01] 729*2^1437757-1 is not prime. Res64: 67E85FF97FF3B29A Time : 0.0 sec. user=mdettweiler [2016-08-17 03:48:04] 769*2^1437757-1 is not prime. Res64: 9C8EF9F25804E089 Time : 0.0 sec. user=mdettweiler [2016-08-17 03:48:06] 771*2^1437757-1 is not prime. Res64: C075659BAFDC589D Time : 0.0 sec. user=mdettweiler [2016-08-17 03:48:09] 817*2^1437757-1 is not prime. Res64: 6DF22D930834E59E Time : 0.0 sec. user=mdettweiler [2016-08-17 04:01:54] 871*2^1437757-1 is not prime. Res64: 382531C1F2E597E5 Time : 0.0 sec. user=mdettweiler [2016-08-17 04:07:44] 857*2^1437758-1 is not prime. Res64: 94F13DA2081AAB50 Time : 0.0 sec. user=mdettweiler [2016-08-17 04:07:47] 1001*2^1437758-1 is not prime. Res64: 8842E6E80215231A Time : 0.0 sec. user=mdettweiler [2016-08-17 04:07:49] 619*2^1437759-1 is not prime. Res64: A1AC945F6B6DA524 Time : 0.0 sec. user=mdettweiler [2016-08-17 04:07:51] 679*2^1437759-1 is not prime. Res64: 777D6EB1EB4204ED Time : 0.0 sec. user=mdettweiler [2016-08-17 04:07:54] 705*2^1437759-1 is not prime. Res64: 7E7CF909631F8022 Time : 0.0 sec. user=mdettweiler [2016-08-17 04:09:15] 789*2^1437759-1 is not prime. Res64: C3BC42A928C61858 Time : 0.0 sec. user=mdettweiler [2016-08-17 04:09:18] 865*2^1437759-1 is not prime. Res64: 4D32C775D599C76D Time : 0.0 sec. user=mdettweiler [2016-08-17 04:09:21] 975*2^1437759-1 is not prime. Res64: BD11902212ED35B4 Time : 0.0 sec. user=mdettweiler [2016-08-17 04:09:23] 635*2^1437760-1 is not prime. Res64: 140DB7B505455569 Time : 0.0 sec. user=mdettweiler [2016-08-17 04:09:26] 863*2^1437760-1 is not prime. Res64: 71ACC2BB4DFB93F6 Time : 0.0 sec. user=mdettweiler [2016-08-17 04:34:42] 899*2^1437760-1 is not prime. Res64: 8A39A8DB974D5730 Time : 0.0 sec. user=mdettweiler [2016-08-17 04:34:42] 917*2^1437760-1 is not prime. Res64: 35C364E26E2D93DF Time : 0.0 sec. user=mdettweiler [2016-08-17 04:34:43] 983*2^1437760-1 is not prime. Res64: 45FA9C733CA81620 Time : 0.0 sec. user=mdettweiler [2016-08-17 04:34:43] 989*2^1437760-1 is not prime. Res64: C72F40906C21D90E Time : 0.0 sec. user=mdettweiler [2016-08-17 04:34:44] 615*2^1437761-1 is not prime. Res64: D167B577FEC4FCD9 Time : 0.0 sec. user=mdettweiler [2016-08-17 04:54:22] 735*2^1437761-1 is not prime. Res64: 6109DE2FDE8F7196 Time : 0.0 sec. user=mdettweiler [2016-08-17 04:54:22] 811*2^1437761-1 is not prime. Res64: 8699934C044CFE18 Time : 0.0 sec. user=mdettweiler [2016-08-17 04:54:22] 957*2^1437761-1 is not prime. Res64: D7D6AB11146DE3EE Time : 0.0 sec. user=mdettweiler [2016-08-17 04:54:23] 651*2^1437762-1 is not prime. Res64: F6922E369C3D603E Time : 0.0 sec. user=mdettweiler [2016-08-17 04:54:23] 695*2^1437762-1 is not prime. Res64: 8DC43109DC2F47E8 Time : 0.0 sec. user=mdettweiler [2016-08-17 04:55:46] 735*2^1437762-1 is not prime. Res64: 90EA779ED85F1C1E Time : 0.0 sec. user=mdettweiler [2016-08-17 04:55:46] 741*2^1437762-1 is not prime. Res64: F263F7F5B674C78A Time : 0.0 sec. user=mdettweiler [2016-08-17 04:55:47] 837*2^1437762-1 is not prime. Res64: CC0DD616E217EF9E Time : 0.0 sec. user=mdettweiler [2016-08-17 04:55:47] 649*2^1437763-1 is not prime. Res64: 9EE7A1BB4528C36B Time : 0.0 sec. user=mdettweiler [2016-08-17 04:55:47] 703*2^1437763-1 is not prime. Res64: 3C0BD8E99B2ACC31 Time : 0.0 sec. user=mdettweiler [2016-08-17 05:21:17] 793*2^1437763-1 is not prime. Res64: 2EAEC315F91B0F37 Time : 0.0 sec. user=mdettweiler [2016-08-17 05:21:18] 901*2^1437763-1 is not prime. Res64: 6FB38A3E95E0BEFD Time : 0.0 sec. user=mdettweiler [2016-08-17 05:21:18] 689*2^1437764-1 is not prime. Res64: 3BE72C7BD0A41B40 Time : 0.0 sec. user=mdettweiler [2016-08-17 05:21:19] 875*2^1437764-1 is not prime. Res64: 72BF88EF68239DCB Time : 0.0 sec. user=mdettweiler [2016-08-17 05:21:19] 927*2^1437764-1 is not prime. Res64: 4486F157155A4B70 Time : 0.0 sec. user=mdettweiler [2016-08-17 05:40:48] 709*2^1437765-1 is not prime. Res64: FD67BC40907C2056 Time : 0.0 sec. user=mdettweiler [2016-08-17 05:40:48] 721*2^1437765-1 is not prime. Res64: C5A169FD3AA81BA8 Time : 0.0 sec. user=mdettweiler [2016-08-17 05:40:49] 895*2^1437765-1 is not prime. Res64: E2DF49CA8E3B6A64 Time : 0.0 sec. user=mdettweiler [2016-08-17 05:40:49] 663*2^1437766-1 is not prime. Res64: BC555DB57F692C8A Time : 0.0 sec. user=mdettweiler [2016-08-17 05:40:49] 705*2^1437766-1 is not prime. Res64: 565CBF0EAFD28765 Time : 0.0 sec. user=mdettweiler [2016-08-17 05:42:13] 887*2^1437766-1 is not prime. Res64: A8837A9E8CE537C7 Time : 0.0 sec. user=mdettweiler [2016-08-17 05:42:14] 941*2^1437766-1 is not prime. Res64: 52C007DC0C9DD748 Time : 0.0 sec. user=mdettweiler [2016-08-17 05:42:14] 987*2^1437766-1 is not prime. Res64: CFAA05886FE8318B Time : 0.0 sec. user=mdettweiler [2016-08-17 05:42:14] 693*2^1437767-1 is not prime. Res64: 8D9C633206AD78A0 Time : 0.0 sec. user=mdettweiler [2016-08-17 05:42:15] 729*2^1437767-1 is not prime. Res64: F85889F7582C5E7B Time : 0.0 sec. user=mdettweiler [2016-08-17 06:07:41] 775*2^1437767-1 is not prime. Res64: AE01085A87EB309E Time : 0.0 sec. user=mdettweiler [2016-08-17 06:07:41] 813*2^1437767-1 is not prime. Res64: A5AE43E042372919 Time : 0.0 sec. user=mdettweiler [2016-08-17 06:07:42] 865*2^1437767-1 is not prime. Res64: 132333DFF0FCDE2D Time : 0.0 sec. user=mdettweiler [2016-08-17 06:07:42] 885*2^1437767-1 is not prime. Res64: ED19D8B00BDB82C0 Time : 0.0 sec. user=mdettweiler [2016-08-17 06:07:43] 973*2^1437767-1 is not prime. Res64: 9CDFD1DA6A2204B5 Time : 0.0 sec. user=mdettweiler [2016-08-17 06:27:13] 979*2^1437767-1 is not prime. Res64: F463C769E60B8911 Time : 0.0 sec. user=mdettweiler [2016-08-17 06:27:14] 993*2^1437767-1 is not prime. Res64: 2773410905EE298C Time : 0.0 sec. user=mdettweiler [2016-08-17 06:27:14] 605*2^1437768-1 is not prime. Res64: 3622EDD603B21820 Time : 0.0 sec. user=mdettweiler [2016-08-17 06:27:16] 663*2^1437768-1 is not prime. Res64: BA1F187D01414C30 Time : 0.0 sec. user=mdettweiler [2016-08-17 06:27:17] 689*2^1437768-1 is not prime. Res64: 65BBF3A7EA6290E5 Time : 0.0 sec. user=mdettweiler [2016-08-17 06:28:43] 753*2^1437768-1 is not prime. Res64: F1E6789DBA0FA0FE Time : 0.0 sec. user=mdettweiler [2016-08-17 06:28:43] 839*2^1437768-1 is not prime. Res64: C96E101867ED35D3 Time : 0.0 sec. user=mdettweiler [2016-08-17 06:28:44] 849*2^1437768-1 is not prime. Res64: 74034443B93A3E3C Time : 0.0 sec. user=mdettweiler [2016-08-17 06:28:44] 619*2^1437769-1 is not prime. Res64: 7A918B7A15A82A99 Time : 0.0 sec. user=mdettweiler [2016-08-17 06:28:45] 705*2^1437769-1 is not prime. Res64: CC400CC854260969 Time : 0.0 sec. user=mdettweiler [2016-08-17 06:46:30] 915*2^1437757-1 is not prime. Res64: 0A298227CFF674FC Time : 0.0 sec. user=mdettweiler [2016-08-17 06:46:31] 931*2^1437757-1 is not prime. Res64: 89CA452299FD0106 Time : 0.0 sec. user=mdettweiler [2016-08-17 06:46:31] 605*2^1437758-1 is not prime. Res64: FBD1DAC990CAF198 Time : 0.0 sec. user=mdettweiler [2016-08-17 06:46:32] 827*2^1437758-1 is not prime. Res64: A45A6A78698CD84F Time : 0.0 sec. user=mdettweiler [2016-08-17 06:53:44] 819*2^1437769-1 is not prime. Res64: 7E4373E25FE1AA5D Time : 0.0 sec. user=mdettweiler [2016-08-17 06:53:45] 945*2^1437769-1 is not prime. Res64: 88A00DF840662668 Time : 0.0 sec. user=mdettweiler [2016-08-17 06:53:45] 951*2^1437769-1 is not prime. Res64: ABE6E922F3F0A263 Time : 0.0 sec. user=mdettweiler [2016-08-17 06:53:45] 615*2^1437770-1 is not prime. Res64: 718A8C8E3027DAB3 Time : 0.0 sec. user=mdettweiler [2016-08-17 06:53:46] 665*2^1437770-1 is not prime. Res64: ACF083413773E285 Time : 0.0 sec. user=mdettweiler [2016-08-17 07:13:08] 915*2^1437770-1 is not prime. Res64: 262B334C7C2EA89C Time : 0.0 sec. user=mdettweiler [2016-08-17 07:13:09] 987*2^1437770-1 is not prime. Res64: A2C7320B5CF61C6A Time : 0.0 sec. user=mdettweiler [2016-08-17 07:13:09] 675*2^1437771-1 is not prime. Res64: D821A7163DB4FEF5 Time : 0.0 sec. user=mdettweiler [2016-08-17 07:13:10] 711*2^1437771-1 is not prime. Res64: 1C2B699A3F315F51 Time : 0.0 sec. user=mdettweiler [2016-08-17 07:13:10] 795*2^1437771-1 is not prime. Res64: 5344DCD45A2065A9 Time : 0.0 sec. user=mdettweiler [2016-08-17 07:14:47] 835*2^1437771-1 is not prime. Res64: 9C9A705BF859FF34 Time : 0.0 sec. user=mdettweiler [2016-08-17 07:14:47] 735*2^1437772-1 is not prime. Res64: C3EDBD56757D605B Time : 0.0 sec. user=mdettweiler [2016-08-17 07:14:48] 749*2^1437772-1 is not prime. Res64: 89B55833BF27FC3B Time : 0.0 sec. user=mdettweiler [2016-08-17 07:14:48] 819*2^1437772-1 is not prime. Res64: 630B70B32CDACA13 Time : 0.0 sec. user=mdettweiler [2016-08-17 07:14:49] 827*2^1437772-1 is not prime. Res64: 7D576C45AE5017DE Time : 0.0 sec. user=mdettweiler [2016-08-17 07:31:46] 957*2^1437772-1 is not prime. Res64: E693DB18C18C7A8C Time : 0.0 sec. user=mdettweiler [2016-08-17 07:31:47] 627*2^1437773-1 is not prime. Res64: 5C2DA360C74FD91D Time : 0.0 sec. user=mdettweiler [2016-08-17 07:31:47] 669*2^1437773-1 is not prime. Res64: 6EE7CBB8E08CF958 Time : 0.0 sec. user=mdettweiler [2016-08-17 07:31:48] 685*2^1437773-1 is not prime. Res64: 881D583A13B929F5 Time : 0.0 sec. user=mdettweiler [2016-08-17 07:31:48] 757*2^1437773-1 is not prime. Res64: 957553E1F18E24FF Time : 0.0 sec. user=mdettweiler [2016-08-17 07:39:04] 759*2^1437773-1 is not prime. Res64: 3C5DDEA2363A5695 Time : 0.0 sec. user=mdettweiler [2016-08-17 07:39:04] 847*2^1437773-1 is not prime. Res64: B408ECF59E7C5C1B Time : 0.0 sec. user=mdettweiler [2016-08-17 07:39:05] 955*2^1437773-1 is not prime. Res64: AB1BB16EB72E67B5 Time : 0.0 sec. user=mdettweiler [2016-08-17 07:39:05] 641*2^1437774-1 is not prime. Res64: 67BC148EDBCEAF26 Time : 0.0 sec. user=mdettweiler [2016-08-17 07:39:05] 663*2^1437774-1 is not prime. Res64: FFDAFB1B105656FD Time : 0.0 sec. user=mdettweiler [2016-08-17 07:58:40] 773*2^1437774-1 is not prime. Res64: E58CAB6120A495A7 Time : 0.0 sec. user=mdettweiler [2016-08-17 07:58:40] 783*2^1437774-1 is not prime. Res64: 7384224A9913ED4D Time : 0.0 sec. user=mdettweiler [2016-08-17 07:58:40] 861*2^1437774-1 is not prime. Res64: 7CF84825ED16265F Time : 0.0 sec. user=mdettweiler [2016-08-17 07:58:41] 873*2^1437774-1 is not prime. Res64: 6C4D06CAEB65985A Time : 0.0 sec. user=mdettweiler [2016-08-17 07:58:41] 1001*2^1437774-1 is not prime. Res64: 4F932BBC66E88821 Time : 0.0 sec. user=mdettweiler [2016-08-17 08:00:19] 675*2^1437775-1 is not prime. Res64: EB00F37889604FEE Time : 0.0 sec. user=mdettweiler [2016-08-17 08:00:20] 783*2^1437775-1 is not prime. Res64: 7F9605BFD9D9DF5B Time : 0.0 sec. user=mdettweiler [2016-08-17 08:00:21] 819*2^1437775-1 is not prime. Res64: 10BA2E1EA44ACDE1 Time : 0.0 sec. user=mdettweiler [2016-08-17 08:00:21] 853*2^1437775-1 is not prime. Res64: E73F6F2EA30FAFDE Time : 0.0 sec. user=mdettweiler [2016-08-17 08:00:22] 871*2^1437775-1 is not prime. Res64: E104D63486E24C57 Time : 0.0 sec. user=mdettweiler [2016-08-17 08:17:30] 891*2^1437775-1 is not prime. Res64: A874FAF4DCC300AE Time : 0.0 sec. user=mdettweiler [2016-08-17 08:17:31] 635*2^1437776-1 is not prime. Res64: 263ECBFC55CB9FB2 Time : 0.0 sec. user=mdettweiler [2016-08-17 08:17:31] 717*2^1437776-1 is not prime. Res64: 1B637B594BE12D23 Time : 0.0 sec. user=mdettweiler [2016-08-17 08:17:32] 785*2^1437776-1 is not prime. Res64: F999510666C34C38 Time : 0.0 sec. user=mdettweiler [2016-08-17 08:17:32] 875*2^1437776-1 is not prime. Res64: 53AD179E29274851 Time : 0.0 sec. user=mdettweiler [2016-08-17 08:24:26] 893*2^1437776-1 is not prime. Res64: CA3EC615D8094DD2 Time : 0.0 sec. user=mdettweiler [2016-08-17 08:24:27] 935*2^1437776-1 is not prime. Res64: 7E64854E87514251 Time : 0.0 sec. user=mdettweiler [2016-08-17 08:24:27] 609*2^1437777-1 is not prime. Res64: 8A16E0904173897F Time : 0.0 sec. user=mdettweiler [2016-08-17 08:24:27] 615*2^1437777-1 is not prime. Res64: D1FCD8C893F8049A Time : 0.0 sec. user=mdettweiler [2016-08-17 08:24:28] 681*2^1437777-1 is not prime. Res64: 3023978CD03FA54A Time : 0.0 sec. user=mdettweiler [2016-08-17 08:43:51] 751*2^1437777-1 is not prime. Res64: 5AC06BB3284C7629 Time : 0.0 sec. user=mdettweiler [2016-08-17 08:43:51] 805*2^1437777-1 is not prime. Res64: DF91D340E05B6E44 Time : 0.0 sec. user=mdettweiler [2016-08-17 08:43:52] 817*2^1437777-1 is not prime. Res64: ED22F733EB684D28 Time : 0.0 sec. user=mdettweiler [2016-08-17 08:43:52] 865*2^1437777-1 is not prime. Res64: 72775AE22CC9739A Time : 0.0 sec. user=mdettweiler [2016-08-17 08:43:53] 901*2^1437777-1 is not prime. Res64: B626BF99541A03B7 Time : 0.0 sec. user=mdettweiler [2016-08-17 08:45:44] 915*2^1437777-1 is not prime. Res64: 1B256E4D33F02C92 Time : 0.0 sec. user=mdettweiler [2016-08-17 08:45:45] 603*2^1437778-1 is not prime. Res64: 95BD707C35A6F5C8 Time : 0.0 sec. user=mdettweiler [2016-08-17 08:45:45] 687*2^1437778-1 is not prime. Res64: 029F1D8C18500E2B Time : 0.0 sec. user=mdettweiler [2016-08-17 08:45:46] 713*2^1437778-1 is not prime. Res64: 8A22EC028648E0BE Time : 0.0 sec. user=mdettweiler [2016-08-17 08:45:46] 737*2^1437778-1 is not prime. Res64: 287759221B81F493 Time : 0.0 sec. user=mdettweiler [2016-08-17 09:03:02] 747*2^1437778-1 is not prime. Res64: E3A6C9A8799B274E Time : 0.0 sec. user=mdettweiler [2016-08-17 09:03:03] 801*2^1437778-1 is not prime. Res64: 3A597F4EA8C26673 Time : 0.0 sec. user=mdettweiler [2016-08-17 09:03:04] 821*2^1437778-1 is not prime. Res64: F155B0CC87E5BBD1 Time : 0.0 sec. user=mdettweiler [2016-08-17 09:03:05] 833*2^1437778-1 is not prime. Res64: 3C5652D5D55A526D Time : 0.0 sec. user=mdettweiler [2016-08-17 09:03:06] 855*2^1437778-1 is not prime. Res64: EA8BC811D2E7F9D1 Time : 0.0 sec. user=mdettweiler [2016-08-17 09:10:02] 915*2^1437778-1 is not prime. Res64: B9137FC57C0793B8 Time : 0.0 sec. user=mdettweiler [2016-08-17 09:10:04] 945*2^1437778-1 is not prime. Res64: 8B9C564437A34BD8 Time : 0.0 sec. user=mdettweiler [2016-08-17 09:10:08] 975*2^1437778-1 is not prime. Res64: BA1D69E6BC0C7B46 Time : 0.0 sec. user=mdettweiler [2016-08-17 09:10:09] 633*2^1437779-1 is not prime. Res64: 087D438D4D73B561 Time : 0.0 sec. user=mdettweiler [2016-08-17 09:10:11] 705*2^1437779-1 is not prime. Res64: F8C36106A548F544 Time : 0.0 sec. user=mdettweiler [2016-08-17 09:29:31] 813*2^1437779-1 is not prime. Res64: B02DCD68FF41C639 Time : 0.0 sec. user=mdettweiler [2016-08-17 09:29:31] 885*2^1437779-1 is not prime. Res64: 1ED72C20B64A012D Time : 0.0 sec. user=mdettweiler [2016-08-17 09:29:32] 629*2^1437780-1 is not prime. Res64: 76AF4902BF1BF596 Time : 0.0 sec. user=mdettweiler [2016-08-17 09:29:32] 675*2^1437780-1 is not prime. Res64: C1EB873F8ABE8E65 Time : 0.0 sec. user=mdettweiler [2016-08-17 09:29:32] 759*2^1437780-1 is not prime. Res64: 4434414596AF94EC Time : 0.0 sec. user=mdettweiler [2016-08-17 09:31:13] 779*2^1437780-1 is not prime. Res64: 232AACCE1C6FE266 Time : 0.0 sec. user=mdettweiler [2016-08-17 09:31:14] 863*2^1437780-1 is not prime. Res64: BB8A996E3CE5CA9D Time : 0.0 sec. user=mdettweiler [2016-08-17 09:31:14] 905*2^1437780-1 is not prime. Res64: 279B3763DDE0B308 Time : 0.0 sec. user=mdettweiler [2016-08-17 09:31:14] 927*2^1437780-1 is not prime. Res64: 1400B7317227BB11 Time : 0.0 sec. user=mdettweiler [2016-08-17 09:31:15] 771*2^1437781-1 is not prime. Res64: 9274B09B5DBF425C Time : 0.0 sec. user=mdettweiler [2016-08-17 09:48:49] 847*2^1437781-1 is not prime. Res64: 58A2AF7170CEEF70 Time : 0.0 sec. user=mdettweiler [2016-08-17 09:48:49] 951*2^1437781-1 is not prime. Res64: 5CC95FCABA2F66D0 Time : 0.0 sec. user=mdettweiler [2016-08-17 09:48:50] 957*2^1437781-1 is not prime. Res64: 22B8F2E45F287849 Time : 0.0 sec. user=mdettweiler [2016-08-17 09:48:50] 975*2^1437781-1 is not prime. Res64: 77B8FA6123133F39 Time : 0.0 sec. user=mdettweiler [2016-08-17 09:48:50] 987*2^1437781-1 is not prime. Res64: EAEBDBDE990DB096 Time : 0.0 sec. user=mdettweiler [2016-08-17 09:55:56] 683*2^1437782-1 is not prime. Res64: A4370AFF890B2895 Time : 0.0 sec. user=mdettweiler [2016-08-17 09:55:57] 945*2^1437782-1 is not prime. Res64: C042DAA9EFAF7D94 Time : 0.0 sec. user=mdettweiler [2016-08-17 09:55:57] 951*2^1437782-1 is not prime. Res64: E2246765B2554E58 Time : 0.0 sec. user=mdettweiler [2016-08-17 09:55:57] 981*2^1437782-1 is not prime. Res64: 7EF292621910A6B3 Time : 0.0 sec. user=mdettweiler [2016-08-17 09:55:58] 805*2^1437783-1 is not prime. Res64: 5C2EA67A63AE536F Time : 0.0 sec. user=mdettweiler [2016-08-17 10:14:57] 963*2^1437783-1 is not prime. Res64: E8FA63ADE415A96D Time : 0.0 sec. user=mdettweiler [2016-08-17 10:14:58] 677*2^1437784-1 is not prime. Res64: 4EE1EF8204C691E8 Time : 0.0 sec. user=mdettweiler [2016-08-17 10:14:58] 849*2^1437784-1 is not prime. Res64: 83B7BF35B14DADC7 Time : 0.0 sec. user=mdettweiler [2016-08-17 10:14:59] 983*2^1437784-1 is not prime. Res64: 4C4B7EC5FE5325E8 Time : 0.0 sec. user=mdettweiler [2016-08-17 10:14:59] 669*2^1437785-1 is not prime. Res64: CAB7901F1051379C Time : 0.0 sec. user=mdettweiler [2016-08-17 10:16:48] 715*2^1437785-1 is not prime. Res64: A1DEB7EC87EA0B81 Time : 0.0 sec. user=mdettweiler [2016-08-17 10:16:49] 729*2^1437785-1 is not prime. Res64: F43C9C0095B72E64 Time : 0.0 sec. user=mdettweiler [2016-08-17 10:16:49] 787*2^1437785-1 is not prime. Res64: B58E0F854CF45BCE Time : 0.0 sec. user=mdettweiler [2016-08-17 10:16:50] 811*2^1437785-1 is not prime. Res64: 29B10837E0CC674E Time : 0.0 sec. user=mdettweiler [2016-08-17 10:16:50] 981*2^1437785-1 is not prime. Res64: 86292EEB2216D7C1 Time : 0.0 sec. user=mdettweiler [2016-08-17 10:34:19] 985*2^1437785-1 is not prime. Res64: AC8FACAB93DEFA5C Time : 0.0 sec. user=mdettweiler [2016-08-17 10:34:20] 821*2^1437786-1 is not prime. Res64: AF1CAEFA46E7BB25 Time : 0.0 sec. user=mdettweiler [2016-08-17 10:34:20] 601*2^1437787-1 is not prime. Res64: B5440DECE3C98544 Time : 0.0 sec. user=mdettweiler [2016-08-17 10:34:20] 775*2^1437787-1 is not prime. Res64: 92FB7DF29758FDE4 Time : 0.0 sec. user=mdettweiler [2016-08-17 10:34:21] 793*2^1437787-1 is not prime. Res64: 7C05B77BE3D284A2 Time : 0.0 sec. user=mdettweiler [2016-08-17 10:41:27] 801*2^1437787-1 is not prime. Res64: 986D25EF93F3147B Time : 0.0 sec. user=mdettweiler [2016-08-17 10:41:27] 859*2^1437787-1 is not prime. Res64: 2C52FFC43AF9E1A3 Time : 0.0 sec. user=mdettweiler [2016-08-17 10:41:28] 871*2^1437787-1 is not prime. Res64: EBC369D36F2DA4E3 Time : 0.0 sec. user=mdettweiler [2016-08-17 10:41:28] 973*2^1437787-1 is not prime. Res64: 2BD8ECA2499086D4 Time : 0.0 sec. user=mdettweiler [2016-08-17 10:41:28] 999*2^1437787-1 is not prime. Res64: 3BC902FF3553A639 Time : 0.0 sec. user=mdettweiler [2016-08-17 11:00:41] 633*2^1437788-1 is not prime. Res64: F5C5983585B15A28 Time : 0.0 sec. user=mdettweiler [2016-08-17 11:00:42] 687*2^1437788-1 is not prime. Res64: BAFEF8F98B29A350 Time : 0.0 sec. user=mdettweiler [2016-08-17 11:00:43] 777*2^1437788-1 is not prime. Res64: 56DAD89F8BC512A6 Time : 0.0 sec. user=mdettweiler [2016-08-17 11:00:44] 813*2^1437788-1 is not prime. Res64: BD78C0F13595C095 Time : 0.0 sec. user=mdettweiler [2016-08-17 11:00:45] 827*2^1437788-1 is not prime. Res64: 00019CB71A4EC7FF Time : 0.0 sec. user=mdettweiler [2016-08-17 11:02:18] 843*2^1437788-1 is not prime. Res64: 38B4FA6D29FCEDBA Time : 0.0 sec. user=mdettweiler [2016-08-17 11:02:19] 929*2^1437788-1 is not prime. Res64: AE0D00D04ACBA72F Time : 0.0 sec. user=mdettweiler [2016-08-17 11:02:20] 945*2^1437788-1 is not prime. Res64: FE264E13024B5390 Time : 0.0 sec. user=mdettweiler [2016-08-17 11:02:20] 649*2^1437789-1 is not prime. Res64: 22FA8176E03010EA Time : 0.0 sec. user=mdettweiler [2016-08-17 11:02:21] 675*2^1437789-1 is not prime. Res64: 82D6FA50C82D5A20 Time : 0.0 sec. user=mdettweiler [2016-08-17 11:19:42] 741*2^1437789-1 is not prime. Res64: 13277D9448172EFC Time : 0.0 sec. user=mdettweiler [2016-08-17 11:19:43] 759*2^1437789-1 is not prime. Res64: 1F367853B6640BDC Time : 0.0 sec. user=mdettweiler [2016-08-17 11:19:43] 787*2^1437789-1 is not prime. Res64: BA38EE82A52AD07D Time : 0.0 sec. user=mdettweiler [2016-08-17 11:19:44] 811*2^1437789-1 is not prime. Res64: 59F548F5CD3E3C8C Time : 0.0 sec. user=mdettweiler [2016-08-17 11:19:44] 927*2^1437789-1 is not prime. Res64: 05F75B967905A22D Time : 0.0 sec. user=mdettweiler [2016-08-17 11:26:57] 979*2^1437789-1 is not prime. Res64: 10B61394CA065962 Time : 0.0 sec. user=mdettweiler [2016-08-17 11:26:57] 605*2^1437790-1 is not prime. Res64: 53800812C67565F1 Time : 0.0 sec. user=mdettweiler [2016-08-17 11:26:58] 741*2^1437790-1 is not prime. Res64: 1819C7B756BC52F0 Time : 0.0 sec. user=mdettweiler [2016-08-17 11:26:58] 777*2^1437790-1 is not prime. Res64: CE302D06011F3547 Time : 0.0 sec. user=mdettweiler [2016-08-17 11:26:58] 965*2^1437790-1 is not prime. Res64: 152A8D7F261DF6AD Time : 0.0 sec. user=mdettweiler [2016-08-17 11:46:14] 663*2^1437791-1 is not prime. Res64: 2E4934A3E904BD24 Time : 0.0 sec. user=mdettweiler [2016-08-17 11:46:14] 753*2^1437791-1 is not prime. Res64: C1B7C882E6FF739C Time : 0.0 sec. user=mdettweiler [2016-08-17 11:46:15] 759*2^1437791-1 is not prime. Res64: E3D317E58B3EE33D Time : 0.0 sec. user=mdettweiler [2016-08-17 11:46:15] 811*2^1437791-1 is not prime. Res64: D8D46D1FA2751E99 Time : 0.0 sec. user=mdettweiler [2016-08-17 11:46:16] 823*2^1437791-1 is not prime. Res64: F5C280A06B9C6DC6 Time : 0.0 sec. user=mdettweiler [2016-08-17 11:47:40] 949*2^1437791-1 is not prime. Res64: 29C3D82E92ADC6D1 Time : 0.0 sec. user=mdettweiler [2016-08-17 11:47:40] 635*2^1437792-1 is not prime. Res64: C79AB2E04561FDB7 Time : 0.0 sec. user=mdettweiler [2016-08-17 11:47:41] 725*2^1437792-1 is not prime. Res64: 4DD67FB878355F0C Time : 0.0 sec. user=mdettweiler [2016-08-17 11:47:41] 747*2^1437792-1 is not prime. Res64: 0C5DCCE467775D0B Time : 0.0 sec. user=mdettweiler [2016-08-17 11:47:41] 903*2^1437792-1 is not prime. Res64: 816E7303D576D5E4 Time : 0.0 sec. user=mdettweiler [2016-08-17 12:05:06] 977*2^1437792-1 is not prime. Res64: 53596868D9B7E6F0 Time : 0.0 sec. user=mdettweiler [2016-08-17 12:05:07] 983*2^1437792-1 is not prime. Res64: 385B09B32618C6AF Time : 0.0 sec. user=mdettweiler [2016-08-17 12:05:09] 637*2^1437793-1 is not prime. Res64: E5FC78748A319C44 Time : 0.0 sec. user=mdettweiler [2016-08-17 12:05:11] 765*2^1437793-1 is not prime. Res64: 6EE90DCC7D8374C7 Time : 0.0 sec. user=mdettweiler [2016-08-17 12:05:12] 847*2^1437793-1 is not prime. Res64: 86178E720EE73C7F Time : 0.0 sec. user=mdettweiler [2016-08-17 12:12:38] 885*2^1437793-1 is not prime. Res64: F55513AB4FBE42B9 Time : 0.0 sec. user=mdettweiler [2016-08-17 12:12:42] 677*2^1437794-1 is not prime. Res64: 57E1A677AE62A0B1 Time : 0.0 sec. user=mdettweiler [2016-08-17 12:12:44] 687*2^1437794-1 is not prime. Res64: F99CE0D01F74C227 Time : 0.0 sec. user=mdettweiler [2016-08-17 12:12:45] 767*2^1437794-1 is not prime. Res64: 1D96BF1212C7B889 Time : 0.0 sec. user=mdettweiler [2016-08-17 12:12:47] 783*2^1437794-1 is not prime. Res64: 46A2E85CA69BF362 Time : 0.0 sec. user=mdettweiler [2016-08-17 12:34:32] 857*2^1437794-1 is not prime. Res64: A7C184F8378E32B6 Time : 0.0 sec. user=mdettweiler [2016-08-17 12:34:32] 873*2^1437794-1 is not prime. Res64: 144063F72C3349FB Time : 0.0 sec. user=mdettweiler [2016-08-17 12:34:33] 885*2^1437794-1 is not prime. Res64: DAAB25851E144EE7 Time : 0.0 sec. user=mdettweiler [2016-08-17 12:34:33] 927*2^1437794-1 is not prime. Res64: 8365FA39B212BBB6 Time : 0.0 sec. user=mdettweiler [2016-08-17 12:34:33] 995*2^1437794-1 is not prime. Res64: 87F2A0E8548D043A Time : 0.0 sec. user=mdettweiler [2016-08-17 12:36:10] 723*2^1437795-1 is not prime. Res64: 21A0F65C433D840C Time : 0.0 sec. user=mdettweiler [2016-08-17 12:36:11] 741*2^1437795-1 is not prime. Res64: 208CDC5AD4146CB3 Time : 0.0 sec. user=mdettweiler [2016-08-17 12:36:11] 751*2^1437795-1 is not prime. Res64: DAE71C9D82D3E790 Time : 0.0 sec. user=mdettweiler [2016-08-17 12:36:11] 789*2^1437795-1 is not prime. Res64: 2A0BC49667FFF3DE Time : 0.0 sec. user=mdettweiler [2016-08-17 12:36:11] 903*2^1437795-1 is not prime. Res64: D4A2707B1D605638 Time : 0.0 sec. user=mdettweiler [2016-08-17 12:54:30] 979*2^1437795-1 is not prime. Res64: 20A0D3C636548735 Time : 0.0 sec. user=mdettweiler [2016-08-17 12:54:30] 647*2^1437796-1 is not prime. Res64: A475285BAECEC2D0 Time : 0.0 sec. user=mdettweiler [2016-08-17 12:54:30] 657*2^1437796-1 is not prime. Res64: FD89F49934ACE454 Time : 0.0 sec. user=mdettweiler [2016-08-17 12:54:30] 689*2^1437796-1 is not prime. Res64: BC739460C7C54B50 Time : 0.0 sec. user=mdettweiler [2016-08-17 12:54:31] 707*2^1437796-1 is not prime. Res64: 0A351C89082EC82D Time : 0.0 sec. user=mdettweiler [2016-08-17 13:02:58] 749*2^1437796-1 is not prime. Res64: AC6E38551E8E0456 Time : 0.0 sec. user=mdettweiler [2016-08-17 13:03:00] 803*2^1437796-1 is not prime. Res64: 19B8162F0982442D Time : 0.0 sec. user=mdettweiler [2016-08-17 13:03:01] 855*2^1437796-1 is not prime. Res64: E9D166228BA6D3F2 Time : 0.0 sec. user=mdettweiler [2016-08-17 13:03:02] 965*2^1437796-1 is not prime. Res64: A799B49E8BA0F4F3 Time : 0.0 sec. user=mdettweiler [2016-08-17 13:03:03] 645*2^1437797-1 is not prime. Res64: 931948A297DFBAAE Time : 0.0 sec. user=mdettweiler [2016-08-17 13:22:12] 655*2^1437797-1 is not prime. Res64: BE7A5630A83CEFF0 Time : 0.0 sec. user=mdettweiler [2016-08-17 13:22:12] 711*2^1437797-1 is not prime. Res64: C9C7033E06141EA6 Time : 0.0 sec. user=mdettweiler [2016-08-17 13:22:13] 769*2^1437797-1 is not prime. Res64: 00E125337222897D Time : 0.0 sec. user=mdettweiler [2016-08-17 13:22:13] 771*2^1437797-1 is not prime. Res64: F6E2B45C31BD81D2 Time : 0.0 sec. user=mdettweiler [2016-08-17 13:22:13] 801*2^1437797-1 is not prime. Res64: 9D8B83A9A566527E Time : 0.0 sec. user=mdettweiler [2016-08-17 13:23:52] 829*2^1437797-1 is not prime. Res64: 288BD833962B8064 Time : 0.0 sec. user=mdettweiler [2016-08-17 13:23:52] 885*2^1437797-1 is not prime. Res64: 597FBF152EF490E8 Time : 0.0 sec. user=mdettweiler [2016-08-17 13:23:52] 927*2^1437797-1 is not prime. Res64: 6897E53F7B30DC5E Time : 0.0 sec. user=mdettweiler [2016-08-17 13:23:52] 949*2^1437797-1 is not prime. Res64: CBCDE7AE5DE4FEA6 Time : 0.0 sec. user=mdettweiler [2016-08-17 13:23:53] 683*2^1437798-1 is not prime. Res64: 845BF00C6011701F Time : 0.0 sec. user=mdettweiler [2016-08-17 13:42:08] 695*2^1437798-1 is not prime. Res64: A4A849F940795FBC Time : 0.0 sec. user=mdettweiler [2016-08-17 13:42:09] 825*2^1437798-1 is not prime. Res64: 05C1ED4DC11662A7 Time : 0.0 sec. user=mdettweiler [2016-08-17 13:42:09] 923*2^1437798-1 is not prime. Res64: 17DD35A1287E2ECA Time : 0.0 sec. user=mdettweiler [2016-08-17 13:42:10] 625*2^1437799-1 is not prime. Res64: 1AA2C56867EAA438 Time : 0.0 sec. user=mdettweiler [2016-08-17 13:42:10] 861*2^1437799-1 is not prime. Res64: 774714B75BC1E03F Time : 0.0 sec. user=mdettweiler [2016-08-17 13:50:56] 885*2^1437799-1 is not prime. Res64: 19605D388A98B734 Time : 0.0 sec. user=mdettweiler [2016-08-17 13:50:56] 999*2^1437799-1 is not prime. Res64: 8D5C04271EB4FD6E Time : 0.0 sec. user=mdettweiler [2016-08-17 13:50:56] 785*2^1437800-1 is not prime. Res64: 29F3F2A6F559557C Time : 0.0 sec. user=mdettweiler [2016-08-17 13:50:57] 875*2^1437800-1 is not prime. Res64: 1109EBE3B5D245BC Time : 0.0 sec. user=mdettweiler [2016-08-17 13:50:57] 625*2^1437801-1 is not prime. Res64: E65E71002EBB56AF Time : 0.0 sec. user=juhehe [2016-08-17 14:07:09] 673*2^1437803-1 is not prime. Res64: A98BFD56A88F92BA Time : 0.0 sec. user=mdettweiler [2016-08-17 14:08:05] 871*2^1437801-1 is not prime. Res64: 333CF7B4FA0CA0CD Time : 0.0 sec. user=mdettweiler [2016-08-17 14:08:10] 921*2^1437801-1 is not prime. Res64: 68198E03E7157D2A Time : 0.0 sec. user=mdettweiler [2016-08-17 14:08:13] 945*2^1437801-1 is not prime. Res64: 589E2601FD58953B Time : 0.0 sec. user=mdettweiler [2016-08-17 14:08:16] 987*2^1437801-1 is not prime. Res64: D8B90172D6F1A354 Time : 0.0 sec. user=mdettweiler [2016-08-17 14:08:19] 653*2^1437802-1 is not prime. Res64: 3C4F8212C015A7C3 Time : 0.0 sec. user=mdettweiler [2016-08-17 14:09:51] 675*2^1437802-1 is not prime. Res64: 578815A9C9E678AB Time : 0.0 sec. user=mdettweiler [2016-08-17 14:09:53] 755*2^1437802-1 is not prime. Res64: 85F820631C0DF3E6 Time : 0.0 sec. user=mdettweiler [2016-08-17 14:09:54] 777*2^1437802-1 is not prime. Res64: D1D3B365CF0F6526 Time : 0.0 sec. user=mdettweiler [2016-08-17 14:09:55] 827*2^1437802-1 is not prime. Res64: E031027D973BC56D Time : 0.0 sec. user=mdettweiler [2016-08-17 14:09:56] 891*2^1437802-1 is not prime. Res64: B550018B85C5CDC3 Time : 0.0 sec. user=mdettweiler [2016-08-17 14:27:20] 759*2^1437803-1 is not prime. Res64: 39A1BCCFA2371A5B Time : 0.0 sec. user=mdettweiler [2016-08-17 14:27:21] 771*2^1437803-1 is not prime. Res64: DA15BEA45E4AB53E Time : 0.0 sec. user=mdettweiler [2016-08-17 14:27:21] 783*2^1437803-1 is not prime. Res64: B8F08AF74B31D7FE Time : 0.0 sec. user=mdettweiler [2016-08-17 14:27:21] 605*2^1437804-1 is not prime. Res64: 3AA67581258A3AF5 Time : 0.0 sec. user=mdettweiler [2016-08-17 14:27:22] 789*2^1437804-1 is not prime. Res64: 54B1E1188AAB0FB0 Time : 0.0 sec. user=mdettweiler [2016-08-17 14:36:20] 795*2^1437804-1 is not prime. Res64: 18875F50E31E66EB Time : 0.0 sec. user=mdettweiler [2016-08-17 14:36:21] 923*2^1437804-1 is not prime. Res64: A07D0E00B87D7FBD Time : 0.0 sec. user=mdettweiler [2016-08-17 14:36:21] 959*2^1437804-1 is not prime. Res64: 32E7E7365AB12EC0 Time : 0.0 sec. user=mdettweiler [2016-08-17 14:36:21] 969*2^1437804-1 is not prime. Res64: BB4B181083FA2D6F Time : 0.0 sec. user=mdettweiler [2016-08-17 14:36:22] 975*2^1437804-1 is not prime. Res64: 0F871AADEF4A5069 Time : 0.0 sec. user=mdettweiler [2016-08-17 14:54:27] 983*2^1437804-1 is not prime. Res64: BA99C0B770C69C56 Time : 0.0 sec. user=mdettweiler [2016-08-17 14:54:28] 625*2^1437805-1 is not prime. Res64: 3EE46B6F33EC803B Time : 0.0 sec. user=mdettweiler [2016-08-17 14:54:28] 775*2^1437805-1 is not prime. Res64: 367D6C1A1FC2DE75 Time : 0.0 sec. user=mdettweiler [2016-08-17 14:54:28] 889*2^1437805-1 is not prime. Res64: 28516432ACAB7F5B Time : 0.0 sec. user=mdettweiler [2016-08-17 14:54:29] 675*2^1437806-1 is not prime. Res64: 2E540F3E54936C0B Time : 0.0 sec. user=mdettweiler [2016-08-17 14:55:15] 827*2^1437806-1 is not prime. Res64: 05D1087F64D741B2 Time : 0.0 sec. user=mdettweiler [2016-08-17 14:55:16] 851*2^1437806-1 is not prime. Res64: 13A3A165466A7E9A Time : 0.0 sec. user=mdettweiler [2016-08-17 14:55:16] 857*2^1437806-1 is not prime. Res64: 2FFFF24085FD379D Time : 0.0 sec. user=mdettweiler [2016-08-17 14:55:16] 633*2^1437807-1 is not prime. Res64: 7EC81F5C790AF659 Time : 0.0 sec. user=mdettweiler [2016-08-17 14:55:17] 739*2^1437807-1 is not prime. Res64: EDF953A7FA9F1BCC Time : 0.0 sec. user=mdettweiler [2016-08-17 15:12:38] 793*2^1437807-1 is not prime. Res64: B9491AE8CB1F5638 Time : 0.0 sec. user=mdettweiler [2016-08-17 15:12:40] 825*2^1437807-1 is not prime. Res64: 3BE7FE01EECC363A Time : 0.0 sec. user=mdettweiler [2016-08-17 15:12:49] 885*2^1437807-1 is not prime. Res64: 7E429A576957B929 Time : 0.0 sec. user=mdettweiler [2016-08-17 15:12:51] 901*2^1437807-1 is not prime. Res64: 3A826E0251475DBF Time : 0.0 sec. user=mdettweiler [2016-08-17 15:12:54] 991*2^1437807-1 is not prime. Res64: 9A49DE95B6D8C09F Time : 0.0 sec. user=mdettweiler [2016-08-17 15:21:57] 707*2^1437808-1 is not prime. Res64: 4449C1E5671A651C Time : 0.0 sec. user=mdettweiler [2016-08-17 15:21:58] 833*2^1437808-1 is not prime. Res64: 6531B59144712527 Time : 0.0 sec. user=mdettweiler [2016-08-17 15:21:58] 863*2^1437808-1 is not prime. Res64: E6C705C2708DAC5D Time : 0.0 sec. user=mdettweiler [2016-08-17 15:21:58] 869*2^1437808-1 is not prime. Res64: E18A440E9B9088C2 Time : 0.0 sec. user=mdettweiler [2016-08-17 15:21:59] 711*2^1437809-1 is not prime. Res64: 65685E7F41007EAA Time : 0.0 sec. user=mdettweiler [2016-08-17 15:40:07] 771*2^1437809-1 is not prime. Res64: E91668E7CCD5D873 Time : 0.0 sec. user=mdettweiler [2016-08-17 15:40:07] 829*2^1437809-1 is not prime. Res64: 266F8702570BEC0B Time : 0.0 sec. user=mdettweiler [2016-08-17 15:40:07] 831*2^1437809-1 is not prime. Res64: A3D96BB019706F7A Time : 0.0 sec. user=mdettweiler [2016-08-17 15:40:08] 861*2^1437809-1 is not prime. Res64: 76FD4FB7BC5260AA Time : 0.0 sec. user=mdettweiler [2016-08-17 15:40:08] 931*2^1437809-1 is not prime. Res64: 35D8B732D367F117 Time : 0.0 sec. user=mdettweiler [2016-08-17 15:41:04] 845*2^1437810-1 is not prime. Res64: 9C91744581E95D6A Time : 0.0 sec. user=mdettweiler [2016-08-17 15:41:04] 861*2^1437810-1 is not prime. Res64: 2654C4536736EBB6 Time : 0.0 sec. user=mdettweiler [2016-08-17 15:41:04] 933*2^1437810-1 is not prime. Res64: A5D31CD8EB9DD377 Time : 0.0 sec. user=mdettweiler [2016-08-17 15:41:05] 703*2^1437811-1 is not prime. Res64: 7F414C17C7CB8ACB Time : 0.0 sec. user=mdettweiler [2016-08-17 15:41:05] 733*2^1437811-1 is not prime. Res64: 4494EC466919FDE1 Time : 0.0 sec. user=mdettweiler [2016-08-17 16:00:39] 741*2^1437811-1 is not prime. Res64: 803F5167AB60E19E Time : 0.0 sec. user=mdettweiler [2016-08-17 16:00:40] 789*2^1437811-1 is not prime. Res64: CC8199C2638D0C9A Time : 0.0 sec. user=mdettweiler [2016-08-17 16:00:40] 805*2^1437811-1 is not prime. Res64: E9B1BA595E898802 Time : 0.0 sec. user=mdettweiler [2016-08-17 16:00:41] 871*2^1437811-1 is not prime. Res64: 6325462F6E0824F1 Time : 0.0 sec. user=mdettweiler [2016-08-17 16:00:42] 951*2^1437811-1 is not prime. Res64: 32BFC2C644CB104E Time : 0.0 sec. user=mdettweiler [2016-08-17 16:09:19] 969*2^1437811-1 is not prime. Res64: 341378B6935EA924 Time : 0.0 sec. user=mdettweiler [2016-08-17 16:09:20] 683*2^1437812-1 is not prime. Res64: 725069F31AB7666A Time : 0.0 sec. user=mdettweiler [2016-08-17 16:09:20] 819*2^1437812-1 is not prime. Res64: BABE94E90902B70E Time : 0.0 sec. user=mdettweiler [2016-08-17 16:09:21] 855*2^1437812-1 is not prime. Res64: 3697E01B3333D767 Time : 0.0 sec. user=mdettweiler [2016-08-17 16:09:21] 867*2^1437812-1 is not prime. Res64: 128418EFF0F3E772 Time : 0.0 sec. user=mdettweiler [2016-08-17 16:28:14] 963*2^1437812-1 is not prime. Res64: 5BF0DE3B27F592A4 Time : 0.0 sec. user=mdettweiler [2016-08-17 16:28:14] 987*2^1437812-1 is not prime. Res64: 76A90123F6A88497 Time : 0.0 sec. user=mdettweiler [2016-08-17 16:28:15] 627*2^1437813-1 is not prime. Res64: 76E1C1387C577D4B Time : 0.0 sec. user=mdettweiler [2016-08-17 16:28:15] 639*2^1437813-1 is not prime. Res64: 8BC6E6DB00A74CD9 Time : 0.0 sec. user=mdettweiler [2016-08-17 16:28:16] 669*2^1437813-1 is not prime. Res64: CC84FE135FEA577D Time : 0.0 sec. user=mdettweiler [2016-08-17 16:29:17] 727*2^1437813-1 is not prime. Res64: 809D9C57556962D0 Time : 0.0 sec. user=mdettweiler [2016-08-17 16:29:17] 787*2^1437813-1 is not prime. Res64: 8C64DBE3CBF8B30E Time : 0.0 sec. user=mdettweiler [2016-08-17 16:29:18] 817*2^1437813-1 is not prime. Res64: 0385E2EB1AE875EF Time : 0.0 sec. user=mdettweiler [2016-08-17 16:29:18] 951*2^1437813-1 is not prime. Res64: 778C11F1D310ABAA Time : 0.0 sec. user=mdettweiler [2016-08-17 16:29:18] 717*2^1437814-1 is not prime. Res64: 5DC4629BC07B1632 Time : 0.0 sec. user=mdettweiler [2016-08-17 16:48:02] 765*2^1437814-1 is not prime. Res64: E974923F776886DF Time : 0.0 sec. user=mdettweiler [2016-08-17 16:48:03] 923*2^1437814-1 is not prime. Res64: 4DC99F5401FD7E05 Time : 0.0 sec. user=mdettweiler [2016-08-17 16:48:03] 673*2^1437815-1 is not prime. Res64: 50506BCA5CFA7148 Time : 0.0 sec. user=mdettweiler [2016-08-17 16:48:03] 819*2^1437815-1 is not prime. Res64: 9CF65D83CDB9F7DC Time : 0.0 sec. user=mdettweiler [2016-08-17 16:48:04] 841*2^1437815-1 is not prime. Res64: 0841869921E63B01 Time : 0.0 sec. user=mdettweiler [2016-08-17 16:56:16] 859*2^1437815-1 is not prime. Res64: 0B1692393C717E55 Time : 0.0 sec. user=mdettweiler [2016-08-17 16:56:17] 861*2^1437815-1 is not prime. Res64: 702B327BCE2D81A6 Time : 0.0 sec. user=mdettweiler [2016-08-17 16:56:17] 949*2^1437815-1 is not prime. Res64: B0621716B8B8C1D7 Time : 0.0 sec. user=mdettweiler [2016-08-17 16:56:17] 999*2^1437815-1 is not prime. Res64: 13AD92C69C2CFC1F Time : 0.0 sec. user=mdettweiler [2016-08-17 16:56:18] 693*2^1437816-1 is not prime. Res64: 4AD3DCB30CF68EC8 Time : 0.0 sec. user=mdettweiler [2016-08-17 17:13:58] 705*2^1437816-1 is not prime. Res64: DD3537D306498C55 Time : 0.0 sec. user=mdettweiler [2016-08-17 17:13:59] 999*2^1437816-1 is not prime. Res64: 439C1435C27C9CBE Time : 0.0 sec. user=mdettweiler [2016-08-17 17:13:59] 625*2^1437817-1 is not prime. Res64: 520CBF9E5C88FEDF Time : 0.0 sec. user=mdettweiler [2016-08-17 17:14:00] 649*2^1437817-1 is not prime. Res64: 594A7522746B275D Time : 0.0 sec. user=mdettweiler [2016-08-17 17:14:01] 765*2^1437817-1 is not prime. Res64: 143808D9FF7E2A11 Time : 0.0 sec. user=mdettweiler [2016-08-17 17:15:02] 847*2^1437817-1 is not prime. Res64: 1D9CC5336955755E Time : 0.0 sec. user=mdettweiler [2016-08-17 17:15:03] 895*2^1437817-1 is not prime. Res64: 0D7ED22948215F4A Time : 0.0 sec. user=mdettweiler [2016-08-17 17:15:03] 603*2^1437818-1 is not prime. Res64: 1E3EEE033B8C2C95 Time : 0.0 sec. user=mdettweiler [2016-08-17 17:15:04] 635*2^1437818-1 is not prime. Res64: C8719C0EC100F3F4 Time : 0.0 sec. user=mdettweiler [2016-08-17 17:15:04] 791*2^1437818-1 is not prime. Res64: A0FAE38876514A69 Time : 0.0 sec. user=mdettweiler [2016-08-17 17:33:24] 921*2^1437818-1 is not prime. Res64: 3A48EC9CF382BE82 Time : 0.0 sec. user=mdettweiler [2016-08-17 17:33:25] 927*2^1437818-1 is not prime. Res64: D34E7F0A0C165C6F Time : 0.0 sec. user=mdettweiler [2016-08-17 17:33:25] 601*2^1437819-1 is not prime. Res64: FE906CAB37EA5CC6 Time : 0.0 sec. user=mdettweiler [2016-08-17 17:33:26] 669*2^1437819-1 is not prime. Res64: E0EA8ACE7151990F Time : 0.0 sec. user=mdettweiler [2016-08-17 17:33:26] 721*2^1437819-1 is not prime. Res64: AD30694BAA95E8E1 Time : 0.0 sec. user=mdettweiler [2016-08-17 17:41:31] 753*2^1437819-1 is not prime. Res64: 4CFDA81D8AC8A015 Time : 0.0 sec. user=mdettweiler [2016-08-17 17:41:31] 835*2^1437819-1 is not prime. Res64: C5534F417FDAE3A1 Time : 0.0 sec. user=mdettweiler [2016-08-17 17:41:32] 895*2^1437819-1 is not prime. Res64: 8A4617858B74EDFF Time : 0.0 sec. user=mdettweiler [2016-08-17 17:41:32] 903*2^1437819-1 is not prime. Res64: E55425E1D5066348 Time : 0.0 sec. user=mdettweiler [2016-08-17 17:41:32] 931*2^1437819-1 is not prime. Res64: 9F8720F9D1809BC3 Time : 0.0 sec. user=mdettweiler [2016-08-17 17:59:09] 949*2^1437819-1 is not prime. Res64: 5D735ACAF0524BDC Time : 0.0 sec. user=mdettweiler [2016-08-17 17:59:10] 955*2^1437819-1 is not prime. Res64: A004ED430F792C06 Time : 0.0 sec. user=mdettweiler [2016-08-17 17:59:10] 777*2^1437820-1 is not prime. Res64: DF4AA617986666AC Time : 0.0 sec. user=mdettweiler [2016-08-17 17:59:11] 785*2^1437820-1 is not prime. Res64: 8759A7C897FE6B82 Time : 0.0 sec. user=mdettweiler [2016-08-17 17:59:11] 843*2^1437820-1 is not prime. Res64: B7EBC2510F58B9D4 Time : 0.0 sec. user=mdettweiler [2016-08-17 18:00:11] 845*2^1437820-1 is not prime. Res64: 04BFF14B71C11200 Time : 0.0 sec. user=mdettweiler [2016-08-17 18:00:12] 915*2^1437820-1 is not prime. Res64: 68531890B8A5011C Time : 0.0 sec. user=mdettweiler [2016-08-17 18:00:13] 927*2^1437820-1 is not prime. Res64: DB0427647253C3E6 Time : 0.0 sec. user=mdettweiler [2016-08-17 18:00:14] 959*2^1437820-1 is not prime. Res64: 24D0BC62928DAD36 Time : 0.0 sec. user=mdettweiler [2016-08-17 18:00:15] 607*2^1437821-1 is not prime. Res64: 671B1BF52C4872BA Time : 0.0 sec. user=mdettweiler [2016-08-17 18:18:57] 675*2^1437821-1 is not prime. Res64: 7E45694C6AA3A60D Time : 0.0 sec. user=mdettweiler [2016-08-17 18:18:57] 727*2^1437821-1 is not prime. Res64: ED5D670434F2E74F Time : 0.0 sec. user=mdettweiler [2016-08-17 18:18:58] 799*2^1437821-1 is not prime. Res64: 65F2045985699CBC Time : 0.0 sec. user=mdettweiler [2016-08-17 18:18:58] 867*2^1437821-1 is not prime. Res64: D7C31B4B0B220BA1 Time : 0.0 sec. user=mdettweiler [2016-08-17 18:18:58] 871*2^1437821-1 is not prime. Res64: D620147B7E7D0CDB Time : 0.0 sec. user=mdettweiler [2016-08-17 18:26:55] 885*2^1437821-1 is not prime. Res64: 665F61D0FAACB0B5 Time : 0.0 sec. user=mdettweiler [2016-08-17 18:26:56] 791*2^1437822-1 is not prime. Res64: 520A3BE34B273E37 Time : 0.0 sec. user=mdettweiler [2016-08-17 18:26:56] 825*2^1437822-1 is not prime. Res64: 0F7B1AA69ED62C98 Time : 0.0 sec. user=mdettweiler [2016-08-17 18:26:56] 833*2^1437822-1 is not prime. Res64: 747782A3328B10BE Time : 0.0 sec. user=mdettweiler [2016-08-17 18:26:57] 945*2^1437822-1 is not prime. Res64: 74312F49A73E55AF Time : 0.0 sec. user=mdettweiler [2016-08-17 18:44:19] 609*2^1437823-1 is not prime. Res64: F6C31E817BA9B6E7 Time : 0.0 sec. user=mdettweiler [2016-08-17 18:44:19] 615*2^1437823-1 is not prime. Res64: 82D072D2EF0F1045 Time : 0.0 sec. user=mdettweiler [2016-08-17 18:44:20] 693*2^1437823-1 is not prime. Res64: DF4DB62BBACEEAF2 Time : 0.0 sec. user=mdettweiler [2016-08-17 18:44:20] 703*2^1437823-1 is not prime. Res64: AF4C1FF8B83B7CDD Time : 0.0 sec. user=mdettweiler [2016-08-17 18:44:21] 769*2^1437823-1 is not prime. Res64: 0BAD213FD7A81F51 Time : 0.0 sec. user=mdettweiler [2016-08-17 18:45:31] 861*2^1437823-1 is not prime. Res64: 54CBA0AD843502E5 Time : 0.0 sec. user=mdettweiler [2016-08-17 18:45:31] 635*2^1437824-1 is not prime. Res64: D7242A6900F8FFCB Time : 0.0 sec. user=mdettweiler [2016-08-17 18:45:32] 767*2^1437824-1 is not prime. Res64: 098961E7794567FF Time : 0.0 sec. user=mdettweiler [2016-08-17 18:45:32] 789*2^1437824-1 is not prime. Res64: FC6E3F75790AF5DE Time : 0.0 sec. user=mdettweiler [2016-08-17 18:45:33] 795*2^1437824-1 is not prime. Res64: 0A0DA553330F10EA Time : 0.0 sec. user=mdettweiler [2016-08-17 19:04:33] 909*2^1437824-1 is not prime. Res64: 2674144D12EA62FC Time : 0.0 sec. user=mdettweiler [2016-08-17 19:04:35] 935*2^1437824-1 is not prime. Res64: 5827452A1047291F Time : 0.0 sec. user=mdettweiler [2016-08-17 19:04:36] 625*2^1437825-1 is not prime. Res64: 83F1C26EE44E6DF0 Time : 0.0 sec. user=mdettweiler [2016-08-17 19:04:38] 691*2^1437825-1 is not prime. Res64: 17134AA98CE8AACF Time : 0.0 sec. user=mdettweiler [2016-08-17 19:04:41] 717*2^1437825-1 is not prime. Res64: D0703ABF6E8AAB1C Time : 0.0 sec. user=mdettweiler [2016-08-17 19:12:18] 735*2^1437825-1 is not prime. Res64: D41A4533C9517C8F Time : 0.0 sec. user=mdettweiler [2016-08-17 19:12:20] 861*2^1437825-1 is not prime. Res64: 839BE3B7344BFE23 Time : 0.0 sec. user=mdettweiler [2016-08-17 19:12:22] 705*2^1437826-1 is not prime. Res64: 3E324B8AA39F0E65 Time : 0.0 sec. user=mdettweiler [2016-08-17 19:12:23] 773*2^1437826-1 is not prime. Res64: 00BE1E13EEB1FEEF Time : 0.0 sec. user=mdettweiler [2016-08-17 19:12:24] 603*2^1437827-1 is not prime. Res64: A20B84AA04BC0DDB Time : 0.0 sec. user=mdettweiler [2016-08-17 19:29:33] 685*2^1437827-1 is not prime. Res64: B23E5E84CA1D43FB Time : 0.0 sec. user=mdettweiler [2016-08-17 19:29:34] 703*2^1437827-1 is not prime. Res64: E70C04950C6EC1E8 Time : 0.0 sec. user=mdettweiler [2016-08-17 19:29:34] 741*2^1437827-1 is not prime. Res64: 176070995E13003C Time : 0.0 sec. user=mdettweiler [2016-08-17 19:29:35] 663*2^1437828-1 is not prime. Res64: CAD2500261869BD6 Time : 0.0 sec. user=mdettweiler [2016-08-17 19:29:35] 759*2^1437828-1 is not prime. Res64: A11ADD703649490E Time : 0.0 sec. user=mdettweiler [2016-08-17 19:30:46] 825*2^1437828-1 is not prime. Res64: E011B2612163ABF9 Time : 0.0 sec. user=mdettweiler [2016-08-17 19:30:46] 899*2^1437828-1 is not prime. Res64: 17DA4CBA2C066952 Time : 0.0 sec. user=mdettweiler [2016-08-17 19:30:47] 945*2^1437828-1 is not prime. Res64: BF4D30521DC9E181 Time : 0.0 sec. user=mdettweiler [2016-08-17 19:30:47] 969*2^1437828-1 is not prime. Res64: 7901DB9162645385 Time : 0.0 sec. user=mdettweiler [2016-08-17 19:30:47] 649*2^1437829-1 is not prime. Res64: 0D6C5F354E11AF8E Time : 0.0 sec. user=mdettweiler [2016-08-17 19:50:29] 745*2^1437829-1 is not prime. Res64: A273DD383DFF7F85 Time : 0.0 sec. user=mdettweiler [2016-08-17 19:50:29] 747*2^1437829-1 is not prime. Res64: 009A2E6456E04BB7 Time : 0.0 sec. user=mdettweiler [2016-08-17 19:50:30] 819*2^1437829-1 is not prime. Res64: 27FB1F66D826FAF6 Time : 0.0 sec. user=mdettweiler [2016-08-17 19:50:30] 825*2^1437829-1 is not prime. Res64: AB42CE4429C8BD1B Time : 0.0 sec. user=mdettweiler [2016-08-17 19:50:31] 605*2^1437830-1 is not prime. Res64: 6197141CE58D004F Time : 0.0 sec. user=mdettweiler [2016-08-17 19:57:54] 741*2^1437830-1 is not prime. Res64: C0CB98255CDC1803 Time : 0.0 sec. user=mdettweiler [2016-08-17 19:57:55] 795*2^1437830-1 is not prime. Res64: ECB82742EE2691B6 Time : 0.0 sec. user=mdettweiler [2016-08-17 19:57:55] 825*2^1437830-1 is not prime. Res64: 98E91C84CE06891D Time : 0.0 sec. user=mdettweiler [2016-08-17 19:57:55] 851*2^1437830-1 is not prime. Res64: CD7DE56581FB5950 Time : 0.0 sec. user=mdettweiler [2016-08-17 19:57:56] 893*2^1437830-1 is not prime. Res64: 4F5048FAD162FFF6 Time : 0.0 sec. user=mdettweiler [2016-08-17 20:15:03] 917*2^1437830-1 is not prime. Res64: F302C1385299D37A Time : 0.0 sec. user=mdettweiler [2016-08-17 20:15:04] 691*2^1437831-1 is not prime. Res64: 4E44C721CC803A28 Time : 0.0 sec. user=mdettweiler [2016-08-17 20:15:05] 709*2^1437831-1 is not prime. Res64: E6CB2AD844F5F1E6 Time : 0.0 sec. user=mdettweiler [2016-08-17 20:15:06] 723*2^1437831-1 is not prime. Res64: 8CCCDA9DAB415BA3 Time : 0.0 sec. user=mdettweiler [2016-08-17 20:15:06] 739*2^1437831-1 is not prime. Res64: 86ABE5648F6F369C Time : 0.0 sec. user=mdettweiler [2016-08-17 20:16:14] 741*2^1437831-1 is not prime. Res64: FB6D8902D75789BD Time : 0.0 sec. user=mdettweiler [2016-08-17 20:16:15] 829*2^1437831-1 is not prime. Res64: 763D0AB19CB7ADE7 Time : 0.0 sec. user=mdettweiler [2016-08-17 20:16:15] 871*2^1437831-1 is not prime. Res64: 3602E64DDC07C354 Time : 0.0 sec. user=mdettweiler [2016-08-17 20:16:16] 879*2^1437831-1 is not prime. Res64: 4C95002199F241CE Time : 0.0 sec. user=mdettweiler [2016-08-17 20:16:17] 623*2^1437832-1 is not prime. Res64: 0350DBB8B8F0C6AD Time : 0.0 sec. user=juhehe [2016-08-17 20:24:51] 777*2^1437832-1 is not prime. Res64: 2E239D6C047A6995 Time : 0.0 sec. user=mdettweiler [2016-08-17 20:36:03] 797*2^1437832-1 is not prime. Res64: DD6DC09E4BFA9560 Time : 0.0 sec. user=mdettweiler [2016-08-17 20:36:03] 827*2^1437832-1 is not prime. Res64: A62F20CA07332B99 Time : 0.0 sec. user=mdettweiler [2016-08-17 20:36:04] 843*2^1437832-1 is not prime. Res64: C06256DD18706046 Time : 0.0 sec. user=mdettweiler [2016-08-17 20:36:04] 869*2^1437832-1 is not prime. Res64: 64543389DB8F4151 Time : 0.0 sec. user=mdettweiler [2016-08-17 20:36:04] 903*2^1437832-1 is not prime. Res64: 87BFEA28CDC5566C Time : 0.0 sec. user=mdettweiler [2016-08-17 20:43:24] 917*2^1437832-1 is not prime. Res64: E4BF92F0916602E1 Time : 0.0 sec. user=mdettweiler [2016-08-17 20:43:24] 975*2^1437832-1 is not prime. Res64: 64D5E73EC7DF0AFC Time : 0.0 sec. user=mdettweiler [2016-08-17 20:43:25] 983*2^1437832-1 is not prime. Res64: 2E789D90073030E2 Time : 0.0 sec. user=mdettweiler [2016-08-17 20:43:25] 989*2^1437832-1 is not prime. Res64: A6E53F11F6C55C72 Time : 0.0 sec. user=mdettweiler [2016-08-17 20:43:26] 627*2^1437833-1 is not prime. Res64: B62B3E82E86E35AF Time : 0.0 sec. user=mdettweiler [2016-08-17 21:00:42] 685*2^1437833-1 is not prime. Res64: F06FBD06C39BB8B6 Time : 0.0 sec. user=mdettweiler [2016-08-17 21:00:44] 691*2^1437833-1 is not prime. Res64: 2C5D98A2D8DC3374 Time : 0.0 sec. user=mdettweiler [2016-08-17 21:00:45] 781*2^1437833-1 is not prime. Res64: 4603D6EEAA44C7AE Time : 0.0 sec. user=mdettweiler [2016-08-17 21:00:46] 789*2^1437833-1 is not prime. Res64: 1BBE445475E7AC2E Time : 0.0 sec. user=mdettweiler [2016-08-17 21:00:46] 795*2^1437833-1 is not prime. Res64: C7DDCDD7A6E442EF Time : 0.0 sec. user=mdettweiler [2016-08-17 21:02:15] 867*2^1437833-1 is not prime. Res64: 1A3DE6938CBAB07F Time : 0.0 sec. user=mdettweiler [2016-08-17 21:02:16] 897*2^1437833-1 is not prime. Res64: 55D9B8EC73D314D2 Time : 0.0 sec. user=mdettweiler [2016-08-17 21:02:17] 901*2^1437833-1 is not prime. Res64: 39F0FF7F29987375 Time : 0.0 sec. user=mdettweiler [2016-08-17 21:02:18] 663*2^1437834-1 is not prime. Res64: 01CD4DBB5CA1F007 Time : 0.0 sec. user=mdettweiler [2016-08-17 21:02:18] 707*2^1437834-1 is not prime. Res64: 8112D4B2462000CC Time : 0.0 sec. user=mdettweiler [2016-08-17 21:21:28] 711*2^1437834-1 is not prime. Res64: 5B321EF1FDF5E03F Time : 0.0 sec. user=mdettweiler [2016-08-17 21:21:29] 725*2^1437834-1 is not prime. Res64: A02765C455C7C7F5 Time : 0.0 sec. user=mdettweiler [2016-08-17 21:21:29] 755*2^1437834-1 is not prime. Res64: 39A11C055B69C0D5 Time : 0.0 sec. user=mdettweiler [2016-08-17 21:21:30] 825*2^1437834-1 is not prime. Res64: A5404C135305DE7B Time : 0.0 sec. user=mdettweiler [2016-08-17 21:21:30] 603*2^1437835-1 is not prime. Res64: 64EE607AB0FCF9A8 Time : 0.0 sec. user=mdettweiler [2016-08-17 21:28:34] 651*2^1437835-1 is not prime. Res64: 26B82567238AF451 Time : 0.0 sec. user=mdettweiler [2016-08-17 21:28:34] 759*2^1437835-1 is not prime. Res64: 49072E46526CD6F7 Time : 0.0 sec. user=mdettweiler [2016-08-17 21:28:35] 765*2^1437835-1 is not prime. Res64: 2853C31AF5C590D3 Time : 0.0 sec. user=mdettweiler [2016-08-17 21:28:35] 843*2^1437835-1 is not prime. Res64: 674D102DE724E1E5 Time : 0.0 sec. user=mdettweiler [2016-08-17 21:28:36] 909*2^1437835-1 is not prime. Res64: 5C8AB81923C5FF2C Time : 0.0 sec. user=mdettweiler [2016-08-17 21:46:11] 961*2^1437835-1 is not prime. Res64: 69AE24D1B2CAEDEC Time : 0.0 sec. user=mdettweiler [2016-08-17 21:46:12] 973*2^1437835-1 is not prime. Res64: A31621378FC72F49 Time : 0.0 sec. user=mdettweiler [2016-08-17 21:46:12] 985*2^1437835-1 is not prime. Res64: 1CEAD1137A308063 Time : 0.0 sec. user=mdettweiler [2016-08-17 21:46:13] 693*2^1437836-1 is not prime. Res64: E4BA2498F69B0EC3 Time : 0.0 sec. user=mdettweiler [2016-08-17 21:46:13] 707*2^1437836-1 is not prime. Res64: 4F3F015F0607E51F Time : 0.0 sec. user=mdettweiler [2016-08-17 21:47:50] 785*2^1437836-1 is not prime. Res64: 61A848CB3ED06802 Time : 0.0 sec. user=mdettweiler [2016-08-17 21:47:50] 789*2^1437836-1 is not prime. Res64: 83925475FEEF2F61 Time : 0.0 sec. user=mdettweiler [2016-08-17 21:47:51] 987*2^1437836-1 is not prime. Res64: A119B08F6F8C9E1E Time : 0.0 sec. user=mdettweiler [2016-08-17 21:47:51] 609*2^1437837-1 is not prime. Res64: BB47A43E91D0522F Time : 0.0 sec. user=mdettweiler [2016-08-17 21:47:52] 747*2^1437837-1 is not prime. Res64: 20C5B0E487A83E6F Time : 0.0 sec. user=mdettweiler [2016-08-17 22:07:44] 765*2^1437837-1 is not prime. Res64: 044CE07B00224F52 Time : 0.0 sec. user=mdettweiler [2016-08-17 22:07:50] 997*2^1437837-1 is not prime. Res64: 9DC495A7843579FC Time : 0.0 sec. user=mdettweiler [2016-08-17 22:07:53] 605*2^1437838-1 is not prime. Res64: D20B22CE67E9F6CB Time : 0.0 sec. user=mdettweiler [2016-08-17 22:07:57] 665*2^1437838-1 is not prime. Res64: D88A354443F597EA Time : 0.0 sec. user=mdettweiler [2016-08-17 22:08:03] 765*2^1437838-1 is not prime. Res64: 4B4309F3ED80CB6F Time : 0.0 sec. user=mdettweiler [2016-08-17 22:14:32] 801*2^1437838-1 is not prime. Res64: EB3C6DF644E28E68 Time : 0.0 sec. user=mdettweiler [2016-08-17 22:14:32] 845*2^1437838-1 is not prime. Res64: C8C4D3C4A7520142 Time : 0.0 sec. user=mdettweiler [2016-08-17 22:14:33] 911*2^1437838-1 is not prime. Res64: 2119E86CB688388B Time : 0.0 sec. user=mdettweiler [2016-08-17 22:14:33] 619*2^1437839-1 is not prime. Res64: 12BFBA2F6C902862 Time : 0.0 sec. user=mdettweiler [2016-08-17 22:14:34] 703*2^1437839-1 is not prime. Res64: 695107FB7DD82187 Time : 0.0 sec. user=mdettweiler [2016-08-17 22:32:24] 759*2^1437839-1 is not prime. Res64: 298A022F5BCEB338 Time : 0.0 sec. user=mdettweiler [2016-08-17 22:32:24] 921*2^1437839-1 is not prime. Res64: A529EED888AD6CFB Time : 0.0 sec. user=mdettweiler [2016-08-17 22:32:25] 695*2^1437840-1 is not prime. Res64: 717F02772095895A Time : 0.0 sec. user=mdettweiler [2016-08-17 22:32:25] 819*2^1437840-1 is not prime. Res64: CD77350C62A107DF Time : 0.0 sec. user=mdettweiler [2016-08-17 22:32:25] 899*2^1437840-1 is not prime. Res64: 66B7A5A0B65CA9DB Time : 0.0 sec. user=mdettweiler [2016-08-17 22:34:16] 619*2^1437841-1 is not prime. Res64: D138581638D4EA93 Time : 0.0 sec. user=mdettweiler [2016-08-17 22:34:16] 687*2^1437841-1 is not prime. Res64: E4D4433BA4EB497C Time : 0.0 sec. user=mdettweiler [2016-08-17 22:34:17] 771*2^1437841-1 is not prime. Res64: B03A44E94A5E4346 Time : 0.0 sec. user=mdettweiler [2016-08-17 22:34:17] 951*2^1437841-1 is not prime. Res64: 1329E89D9D418347 Time : 0.0 sec. user=mdettweiler [2016-08-17 22:34:17] 997*2^1437841-1 is not prime. Res64: 66B8E9CE8D66F2AF Time : 0.0 sec. user=mdettweiler [2016-08-17 22:53:45] 635*2^1437842-1 is not prime. Res64: 0AD55315EF783A8D Time : 0.0 sec. user=mdettweiler [2016-08-17 22:53:45] 675*2^1437842-1 is not prime. Res64: 96BAAD284CC8FC69 Time : 0.0 sec. user=mdettweiler [2016-08-17 22:53:45] 767*2^1437842-1 is not prime. Res64: 8A3F2AEE9C067CD3 Time : 0.0 sec. user=mdettweiler [2016-08-17 22:53:46] 791*2^1437842-1 is not prime. Res64: 16C00B7009CDBD9A Time : 0.0 sec. user=mdettweiler [2016-08-17 22:53:46] 831*2^1437842-1 is not prime. Res64: D9E2667BCE548062 Time : 0.0 sec. user=mdettweiler [2016-08-17 23:00:00] 873*2^1437842-1 is not prime. Res64: 5215684AF0C53AE0 Time : 0.0 sec. user=mdettweiler [2016-08-17 23:00:01] 915*2^1437842-1 is not prime. Res64: 102428AA828105CD Time : 0.0 sec. user=mdettweiler [2016-08-17 23:00:01] 987*2^1437842-1 is not prime. Res64: B33AB373FA80966B Time : 0.0 sec. user=mdettweiler [2016-08-17 23:00:02] 649*2^1437843-1 is not prime. Res64: B862BBD158964D0C Time : 0.0 sec. user=mdettweiler [2016-08-17 23:00:04] 663*2^1437843-1 is not prime. Res64: 5047212498F450E3 Time : 0.0 sec. user=mdettweiler [2016-08-17 23:17:50] 735*2^1437843-1 is not prime. Res64: 822BEACDC4573DCB Time : 0.0 sec. user=mdettweiler [2016-08-17 23:17:50] 751*2^1437843-1 is not prime. Res64: 6BC3966B358F6792 Time : 0.0 sec. user=mdettweiler [2016-08-17 23:17:51] 801*2^1437843-1 is not prime. Res64: 9E1584F38F2BCA5E Time : 0.0 sec. user=mdettweiler [2016-08-17 23:17:51] 871*2^1437843-1 is not prime. Res64: 52A4C96E000BE469 Time : 0.0 sec. user=mdettweiler [2016-08-17 23:17:51] 885*2^1437843-1 is not prime. Res64: 7ACAC962A9118E1B Time : 0.0 sec. user=mdettweiler [2016-08-17 23:19:34] 949*2^1437843-1 is not prime. Res64: 092A1E1E64EFFBDC Time : 0.0 sec. user=mdettweiler [2016-08-17 23:19:35] 719*2^1437844-1 is not prime. Res64: 260870EA743ACCA6 Time : 0.0 sec. user=mdettweiler [2016-08-17 23:19:35] 803*2^1437844-1 is not prime. Res64: 3A328008C9A9FA39 Time : 0.0 sec. user=mdettweiler [2016-08-17 23:19:36] 843*2^1437844-1 is not prime. Res64: 9CC85AF888BA8FA1 Time : 0.0 sec. user=mdettweiler [2016-08-17 23:19:36] 903*2^1437844-1 is not prime. Res64: 07E5AD7C702474F3 Time : 0.0 sec. user=mdettweiler [2016-08-17 23:39:10] 987*2^1437844-1 is not prime. Res64: FF84730EC924D27F Time : 0.0 sec. user=mdettweiler [2016-08-17 23:39:10] 655*2^1437845-1 is not prime. Res64: 082987BDB0508DDF Time : 0.0 sec. user=mdettweiler [2016-08-17 23:39:11] 691*2^1437845-1 is not prime. Res64: 845BCCB64DEE0C07 Time : 0.0 sec. user=mdettweiler [2016-08-17 23:39:11] 717*2^1437845-1 is not prime. Res64: 08560C687DEBB15F Time : 0.0 sec. user=mdettweiler [2016-08-17 23:39:12] 939*2^1437845-1 is not prime. Res64: 1BD1A3A06C45B714 Time : 0.0 sec. user=mdettweiler [2016-08-17 23:45:31] 969*2^1437845-1 is not prime. Res64: CB464724AF4C32D7 Time : 0.0 sec. user=mdettweiler [2016-08-17 23:45:31] 653*2^1437846-1 is not prime. Res64: 6A6222EB9A3B85E1 Time : 0.0 sec. user=mdettweiler [2016-08-17 23:45:31] 777*2^1437846-1 is not prime. Res64: F292CF7A91261FD8 Time : 0.0 sec. user=mdettweiler [2016-08-17 23:45:32] 875*2^1437846-1 is not prime. Res64: DE2A509EF4B14DC6 Time : 0.0 sec. user=mdettweiler [2016-08-17 23:45:32] 887*2^1437846-1 is not prime. Res64: 572B6A9C104C8D61 Time : 0.0 sec.