user=mdettweiler [2015-12-14 00:06:46] 791*2^1417450-1 is not prime. Res64: 13CD75B0F83E09CF Time : 0.0 sec. user=mdettweiler [2015-12-14 00:06:48] 855*2^1417450-1 is not prime. Res64: 095134586092EE82 Time : 0.0 sec. user=mdettweiler [2015-12-14 00:16:41] 685*2^1417451-1 is not prime. Res64: 04DE3C8344C83175 Time : 0.0 sec. user=mdettweiler [2015-12-14 00:16:42] 705*2^1417451-1 is not prime. Res64: B7A8AA0F8CEF757C Time : 0.0 sec. user=mdettweiler [2015-12-14 00:24:28] 781*2^1417451-1 is not prime. Res64: BC4A2236273D93FE Time : 0.0 sec. user=mdettweiler [2015-12-14 00:24:29] 805*2^1417451-1 is not prime. Res64: 1AA891978CCF8DF2 Time : 0.0 sec. user=mdettweiler [2015-12-14 00:34:12] 823*2^1417451-1 is not prime. Res64: 9610AB468EC4F7D5 Time : 0.0 sec. user=mdettweiler [2015-12-14 00:34:12] 931*2^1417451-1 is not prime. Res64: 03B4ABAC447D8962 Time : 0.0 sec. user=mdettweiler [2015-12-14 00:41:52] 939*2^1417451-1 is not prime. Res64: 3D104C7816DBBF0A Time : 0.0 sec. user=mdettweiler [2015-12-14 00:41:53] 969*2^1417451-1 is not prime. Res64: 14204E14F60C0D6D Time : 0.0 sec. user=mdettweiler [2015-12-14 00:51:37] 993*2^1417451-1 is not prime. Res64: 438C18B3140E9DEE Time : 0.0 sec. user=mdettweiler [2015-12-14 00:51:38] 999*2^1417451-1 is not prime. Res64: E873F757247E90C1 Time : 0.0 sec. user=mdettweiler [2015-12-14 00:59:17] 609*2^1417452-1 is not prime. Res64: 593F5C5EF61F1870 Time : 0.0 sec. user=mdettweiler [2015-12-14 00:59:18] 633*2^1417452-1 is not prime. Res64: 1C3A29B69596CDC2 Time : 0.0 sec. user=mdettweiler [2015-12-14 01:09:03] 857*2^1417452-1 is not prime. Res64: 8420244C8BCC0D98 Time : 0.0 sec. user=mdettweiler [2015-12-14 01:09:03] 873*2^1417452-1 is not prime. Res64: 1B8099D4D2AFADC8 Time : 0.0 sec. user=mdettweiler [2015-12-14 01:16:47] 987*2^1417452-1 is not prime. Res64: E0F269AF8E5D8387 Time : 0.0 sec. user=mdettweiler [2015-12-14 01:16:47] 621*2^1417453-1 is not prime. Res64: 3FB3713C139AF679 Time : 0.0 sec. user=mdettweiler [2015-12-14 01:26:31] 675*2^1417453-1 is not prime. Res64: FC66EF7AA2BF2291 Time : 0.0 sec. user=mdettweiler [2015-12-14 01:26:33] 741*2^1417453-1 is not prime. Res64: 18C4DC048A5C0DEF Time : 0.0 sec. user=mdettweiler [2015-12-14 01:34:13] 817*2^1417453-1 is not prime. Res64: 33B12C9C1DEEA2DC Time : 0.0 sec. user=mdettweiler [2015-12-14 01:34:14] 855*2^1417453-1 is not prime. Res64: 316E1E95C28D7FFF Time : 0.0 sec. user=mdettweiler [2015-12-14 01:44:05] 861*2^1417453-1 is not prime. Res64: AE083C110DE92B4A Time : 0.0 sec. user=mdettweiler [2015-12-14 01:44:05] 605*2^1417454-1 is not prime. Res64: ADB0A4F8F28905AF Time : 0.0 sec. user=mdettweiler [2015-12-14 01:51:48] 641*2^1417454-1 is not prime. Res64: AF40CB8C348759DF Time : 0.0 sec. user=mdettweiler [2015-12-14 01:51:49] 645*2^1417454-1 is not prime. Res64: BBD608E73F9615D9 Time : 0.0 sec. user=mdettweiler [2015-12-14 02:01:33] 795*2^1417454-1 is not prime. Res64: 52DE7A9FC3B5EB82 Time : 0.0 sec. user=mdettweiler [2015-12-14 02:01:34] 981*2^1417454-1 is not prime. Res64: 8C354AE81CCCD9E7 Time : 0.0 sec. user=mdettweiler [2015-12-14 02:09:16] 609*2^1417455-1 is not prime. Res64: AA986FB630DC7E8D Time : 0.0 sec. user=mdettweiler [2015-12-14 02:09:17] 675*2^1417455-1 is not prime. Res64: CA9E0555F50006C2 Time : 0.0 sec. user=mdettweiler [2015-12-14 02:19:10] 679*2^1417455-1 is not prime. Res64: 0013C3D9D214DC58 Time : 0.0 sec. user=mdettweiler [2015-12-14 02:19:10] 765*2^1417455-1 is not prime. Res64: D299314A2939F3D8 Time : 0.0 sec. user=mdettweiler [2015-12-14 02:26:42] 793*2^1417455-1 is not prime. Res64: 9F06CDED82CEAC2D Time : 0.0 sec. user=mdettweiler [2015-12-14 02:26:42] 861*2^1417455-1 is not prime. Res64: D056584BAEA917DF Time : 0.0 sec. user=mdettweiler [2015-12-14 02:36:36] 961*2^1417455-1 is not prime. Res64: ED5F9C62BAC48916 Time : 0.0 sec. user=mdettweiler [2015-12-14 02:36:37] 963*2^1417455-1 is not prime. Res64: 552C233DB3A3C116 Time : 0.0 sec. user=mdettweiler [2015-12-14 02:44:09] 979*2^1417455-1 is not prime. Res64: FB77CA662720BB53 Time : 0.0 sec. user=mdettweiler [2015-12-14 02:44:10] 999*2^1417455-1 is not prime. Res64: FB132A432E933F8E Time : 0.0 sec. user=mdettweiler [2015-12-14 02:54:05] 609*2^1417456-1 is not prime. Res64: 6BD1CAE80C4082C8 Time : 0.0 sec. user=mdettweiler [2015-12-14 02:54:05] 743*2^1417456-1 is not prime. Res64: AF1C235CAF09FB86 Time : 0.0 sec. user=mdettweiler [2015-12-14 03:01:36] 747*2^1417456-1 is not prime. Res64: 644E50050F37B373 Time : 0.0 sec. user=mdettweiler [2015-12-14 03:01:37] 765*2^1417456-1 is not prime. Res64: 1C220CBBD554AB14 Time : 0.0 sec. user=mdettweiler [2015-12-14 03:11:31] 849*2^1417456-1 is not prime. Res64: D41E83B9DC7CF09B Time : 0.0 sec. user=mdettweiler [2015-12-14 03:11:31] 869*2^1417456-1 is not prime. Res64: 0A1D4A929490F18A Time : 0.0 sec. user=mdettweiler [2015-12-14 03:19:12] 887*2^1417456-1 is not prime. Res64: 389E103C4679D1EC Time : 0.0 sec. user=mdettweiler [2015-12-14 03:19:12] 983*2^1417456-1 is not prime. Res64: 9354553C0115C25F Time : 0.0 sec. user=mdettweiler [2015-12-14 03:29:01] 651*2^1417457-1 is not prime. Res64: BFE0120D2B236E3F Time : 0.0 sec. user=mdettweiler [2015-12-14 03:29:02] 715*2^1417457-1 is not prime. Res64: CC0505BCB995F52F Time : 0.0 sec. user=mdettweiler [2015-12-14 03:36:46] 729*2^1417457-1 is not prime. Res64: 033FE098336E547E Time : 0.0 sec. user=mdettweiler [2015-12-14 03:36:48] 801*2^1417457-1 is not prime. Res64: CFD3A751675F5C3C Time : 0.0 sec. user=mdettweiler [2015-12-14 03:46:46] 805*2^1417457-1 is not prime. Res64: FE0005447FA1373F Time : 0.0 sec. user=mdettweiler [2015-12-14 03:46:47] 885*2^1417457-1 is not prime. Res64: B28CD5A89AAAAFFC Time : 0.0 sec. user=mdettweiler [2015-12-14 03:54:25] 651*2^1417458-1 is not prime. Res64: 819F0AF704AEDEAA Time : 0.0 sec. user=mdettweiler [2015-12-14 03:54:28] 735*2^1417458-1 is not prime. Res64: 6289CC86180015F4 Time : 0.0 sec. user=mdettweiler [2015-12-14 04:04:31] 777*2^1417458-1 is not prime. Res64: 80209E1E94518A13 Time : 0.0 sec. user=mdettweiler [2015-12-14 04:04:34] 797*2^1417458-1 is not prime. Res64: F17AA67EAA315C4B Time : 0.0 sec. user=mdettweiler [2015-12-14 04:12:18] 875*2^1417458-1 is not prime. Res64: 5248E755B2FFD6BF Time : 0.0 sec. user=mdettweiler [2015-12-14 04:12:18] 945*2^1417458-1 is not prime. Res64: 8F7EF3FD70EA4353 Time : 0.0 sec. user=mdettweiler [2015-12-14 04:22:17] 1001*2^1417458-1 is not prime. Res64: B87BE99C9A4F7406 Time : 0.0 sec. user=mdettweiler [2015-12-14 04:22:18] 603*2^1417459-1 is not prime. Res64: AA428ED5DC2D2557 Time : 0.0 sec. user=mdettweiler [2015-12-14 04:29:52] 705*2^1417459-1 is not prime. Res64: E6978F56FD55A6DD Time : 0.0 sec. user=mdettweiler [2015-12-14 04:29:53] 709*2^1417459-1 is not prime. Res64: 57A72CDF4286F8CB Time : 0.0 sec. user=mdettweiler [2015-12-14 04:39:57] 741*2^1417459-1 is not prime. Res64: D547A8E128C74EB7 Time : 0.0 sec. user=mdettweiler [2015-12-14 04:39:58] 793*2^1417459-1 is not prime. Res64: 861D5EEDB244E830 Time : 0.0 sec. user=mdettweiler [2015-12-14 04:47:25] 873*2^1417459-1 is not prime. Res64: 466C88ECAB08DDAE Time : 0.0 sec. user=mdettweiler [2015-12-14 04:47:26] 895*2^1417459-1 is not prime. Res64: 73A0075554535716 Time : 0.0 sec. user=mdettweiler [2015-12-14 04:57:32] 943*2^1417459-1 is not prime. Res64: C12C67772516C404 Time : 0.0 sec. user=mdettweiler [2015-12-14 04:57:33] 789*2^1417460-1 is not prime. Res64: 4F98FA38792B9784 Time : 0.0 sec. user=mdettweiler [2015-12-14 05:05:04] 893*2^1417460-1 is not prime. Res64: 858F2EC4AA060D4A Time : 0.0 sec. user=mdettweiler [2015-12-14 05:05:06] 897*2^1417460-1 is not prime. Res64: F6E07F6CBFEC15C0 Time : 0.0 sec. user=mdettweiler [2015-12-14 05:15:13] 963*2^1417460-1 is not prime. Res64: 55BAD8F221430D24 Time : 0.0 sec. user=mdettweiler [2015-12-14 05:15:14] 625*2^1417461-1 is not prime. Res64: 2AC3FF2DB3FCC2FC Time : 0.0 sec. user=mdettweiler [2015-12-14 05:22:42] 741*2^1417461-1 is not prime. Res64: 70EE5F61FBE7EB2C Time : 0.0 sec. user=mdettweiler [2015-12-14 05:22:42] 849*2^1417461-1 is not prime. Res64: 25A6BE99A20533DD Time : 0.0 sec. user=mdettweiler [2015-12-14 05:32:55] 871*2^1417461-1 is not prime. Res64: 4922EA4B35641EFD Time : 0.0 sec. user=mdettweiler [2015-12-14 05:32:55] 885*2^1417461-1 is not prime. Res64: BE519822621D6F61 Time : 0.0 sec. user=mdettweiler [2015-12-14 05:40:21] 717*2^1417462-1 is not prime. Res64: 4862DBCE152D325A Time : 0.0 sec. user=mdettweiler [2015-12-14 05:40:22] 741*2^1417462-1 is not prime. Res64: CECE1ECE8EEF5DC7 Time : 0.0 sec. user=mdettweiler [2015-12-14 05:50:28] 873*2^1417462-1 is not prime. Res64: CFD55650D2EB5E78 Time : 0.0 sec. user=mdettweiler [2015-12-14 05:50:29] 881*2^1417462-1 is not prime. Res64: 75E5F9A7D4B6596E Time : 0.0 sec. user=mdettweiler [2015-12-14 05:57:55] 987*2^1417462-1 is not prime. Res64: 9C3204E9F6C236D2 Time : 0.0 sec. user=mdettweiler [2015-12-14 05:57:56] 603*2^1417463-1 is not prime. Res64: 5C032554C983124A Time : 0.0 sec. user=mdettweiler [2015-12-14 06:08:03] 609*2^1417463-1 is not prime. Res64: 28AF5FF4E9C2CF9A Time : 0.0 sec. user=mdettweiler [2015-12-14 06:08:04] 621*2^1417463-1 is not prime. Res64: 77410A4EFEB9D8BD Time : 0.0 sec. user=mdettweiler [2015-12-14 06:15:31] 633*2^1417463-1 is not prime. Res64: A640453780020B86 Time : 0.0 sec. user=mdettweiler [2015-12-14 06:15:33] 649*2^1417463-1 is not prime. Res64: 1B62707D4D6967F4 Time : 0.0 sec. user=mdettweiler [2015-12-14 06:25:37] 663*2^1417463-1 is not prime. Res64: 49A1323676B71428 Time : 0.0 sec. user=mdettweiler [2015-12-14 06:25:38] 759*2^1417463-1 is not prime. Res64: 31F5D4F7151BF1BC Time : 0.0 sec. user=mdettweiler [2015-12-14 06:33:12] 823*2^1417463-1 is not prime. Res64: 1A223844EEC16A37 Time : 0.0 sec. user=mdettweiler [2015-12-14 06:33:12] 921*2^1417463-1 is not prime. Res64: 107A96B365818DF3 Time : 0.0 sec. user=mdettweiler [2015-12-14 06:43:14] 949*2^1417463-1 is not prime. Res64: 0C7D89E991F9311D Time : 0.0 sec. user=mdettweiler [2015-12-14 06:43:15] 623*2^1417464-1 is not prime. Res64: 22228FBEA443EBB4 Time : 0.0 sec. user=mdettweiler [2015-12-14 06:50:49] 699*2^1417464-1 is not prime. Res64: 9571741CE46223B8 Time : 0.0 sec. user=mdettweiler [2015-12-14 06:50:50] 737*2^1417464-1 is not prime. Res64: 602157F0CEDA2134 Time : 0.0 sec. user=mdettweiler [2015-12-14 07:00:49] 825*2^1417464-1 is not prime. Res64: 511B14B0ECBA855D Time : 0.0 sec. user=mdettweiler [2015-12-14 07:00:50] 905*2^1417464-1 is not prime. Res64: 4DB5372648A5DE1D Time : 0.0 sec. user=mdettweiler [2015-12-14 07:08:26] 915*2^1417464-1 is not prime. Res64: 7AF7B761F2077AB2 Time : 0.0 sec. user=mdettweiler [2015-12-14 07:08:27] 975*2^1417464-1 is not prime. Res64: 433FAE418112CFAD Time : 0.0 sec. user=mdettweiler [2015-12-14 07:18:36] 831*2^1417465-1 is not prime. Res64: EC4D9317E1DF7790 Time : 0.0 sec. user=mdettweiler [2015-12-14 07:18:37] 889*2^1417465-1 is not prime. Res64: D3246012AC06E51B Time : 0.0 sec. user=mdettweiler [2015-12-14 07:26:03] 925*2^1417465-1 is not prime. Res64: 7F323873068A1ECD Time : 0.0 sec. user=mdettweiler [2015-12-14 07:26:03] 713*2^1417466-1 is not prime. Res64: C3BEE1938B68FF50 Time : 0.0 sec. user=mdettweiler [2015-12-14 07:36:13] 911*2^1417466-1 is not prime. Res64: CC095CDD555002E5 Time : 0.0 sec. user=mdettweiler [2015-12-14 07:36:14] 801*2^1417467-1 is not prime. Res64: 452492D022BC185E Time : 0.0 sec. user=mdettweiler [2015-12-14 07:43:33] 835*2^1417467-1 is not prime. Res64: 2E429259C9C57E11 Time : 0.0 sec. user=mdettweiler [2015-12-14 07:43:33] 871*2^1417467-1 is not prime. Res64: 2A0251123CC4050A Time : 0.0 sec. user=mdettweiler [2015-12-14 07:53:46] 901*2^1417467-1 is not prime. Res64: A8A71400B868F113 Time : 0.0 sec. user=mdettweiler [2015-12-14 07:53:47] 955*2^1417467-1 is not prime. Res64: 46AB296A60884E38 Time : 0.0 sec. user=mdettweiler [2015-12-14 08:01:02] 677*2^1417468-1 is not prime. Res64: 95617DE77A30DABC Time : 0.0 sec. user=mdettweiler [2015-12-14 08:01:03] 777*2^1417468-1 is not prime. Res64: 26A5FE0A729630BF Time : 0.0 sec. user=mdettweiler [2015-12-14 08:11:14] 863*2^1417468-1 is not prime. Res64: 406CF4D16FDE7203 Time : 0.0 sec. user=mdettweiler [2015-12-14 08:11:15] 875*2^1417468-1 is not prime. Res64: 19A0CF171EF4870A Time : 0.0 sec. user=mdettweiler [2015-12-14 08:18:30] 711*2^1417469-1 is not prime. Res64: A81E02091D8245D7 Time : 0.0 sec. user=mdettweiler [2015-12-14 08:18:31] 879*2^1417469-1 is not prime. Res64: C71A144E6B84C089 Time : 0.0 sec. user=mdettweiler [2015-12-14 08:28:52] 955*2^1417469-1 is not prime. Res64: A47F32F6099B052F Time : 0.0 sec. user=mdettweiler [2015-12-14 08:28:52] 969*2^1417469-1 is not prime. Res64: 3E7F2763905089F2 Time : 0.0 sec. user=mdettweiler [2015-12-14 08:35:57] 987*2^1417469-1 is not prime. Res64: 70B3AE5D6C303A96 Time : 0.0 sec. user=mdettweiler [2015-12-14 08:35:58] 647*2^1417470-1 is not prime. Res64: 2D3AC22188E2621F Time : 0.0 sec. user=mdettweiler [2015-12-14 08:46:19] 693*2^1417470-1 is not prime. Res64: DE0C2EEBD2304EB0 Time : 0.0 sec. user=mdettweiler [2015-12-14 08:46:19] 755*2^1417470-1 is not prime. Res64: DCE05E985E8A20DB Time : 0.0 sec. user=mdettweiler [2015-12-14 08:53:24] 861*2^1417470-1 is not prime. Res64: BE1FF2C89E4ED9EA Time : 0.0 sec. user=mdettweiler [2015-12-14 08:53:25] 867*2^1417470-1 is not prime. Res64: 1BE396595A3660F6 Time : 0.0 sec. user=mdettweiler [2015-12-14 09:03:48] 887*2^1417470-1 is not prime. Res64: 0BBD9728F32BF902 Time : 0.0 sec. user=mdettweiler [2015-12-14 09:03:49] 933*2^1417470-1 is not prime. Res64: 8EDAA21C4570583A Time : 0.0 sec. user=mdettweiler [2015-12-14 09:10:53] 609*2^1417471-1 is not prime. Res64: 6FB11B6047136DE7 Time : 0.0 sec. user=mdettweiler [2015-12-14 09:10:54] 639*2^1417471-1 is not prime. Res64: AFA4498DF1DAC4B6 Time : 0.0 sec. user=mdettweiler [2015-12-14 09:21:18] 763*2^1417471-1 is not prime. Res64: 2BE8B9EB2E38032A Time : 0.0 sec. user=mdettweiler [2015-12-14 09:21:18] 805*2^1417471-1 is not prime. Res64: B2511698E6B2059F Time : 0.0 sec. user=mdettweiler [2015-12-14 09:28:27] 811*2^1417471-1 is not prime. Res64: FA9B5FF58A92B817 Time : 0.0 sec. user=mdettweiler [2015-12-14 09:28:27] 871*2^1417471-1 is not prime. Res64: A0D395A194702FA9 Time : 0.0 sec. user=mdettweiler [2015-12-14 09:38:45] 883*2^1417471-1 is not prime. Res64: 2596AE0BEB7A0069 Time : 0.0 sec. user=mdettweiler [2015-12-14 09:38:45] 969*2^1417471-1 is not prime. Res64: AF40B17CF682494B Time : 0.0 sec. user=mdettweiler [2015-12-14 09:45:57] 665*2^1417472-1 is not prime. Res64: DEC026B3BC6D6AA6 Time : 0.0 sec. user=mdettweiler [2015-12-14 09:45:57] 713*2^1417472-1 is not prime. Res64: 0889CB2E55506DB4 Time : 0.0 sec. user=mdettweiler [2015-12-14 09:56:19] 867*2^1417472-1 is not prime. Res64: BA71BE3F1FD56C4F Time : 0.0 sec. user=mdettweiler [2015-12-14 09:56:19] 977*2^1417472-1 is not prime. Res64: 9BE100EAFBA645CD Time : 0.0 sec. user=mdettweiler [2015-12-14 10:03:30] 615*2^1417473-1 is not prime. Res64: 61BEDB8EB599F082 Time : 0.0 sec. user=mdettweiler [2015-12-14 10:03:33] 637*2^1417473-1 is not prime. Res64: 5AC2AB0B1ADBFC1B Time : 0.0 sec. user=mdettweiler [2015-12-14 10:13:53] 651*2^1417473-1 is not prime. Res64: A5AD0F956A3445AC Time : 0.0 sec. user=mdettweiler [2015-12-14 10:13:54] 685*2^1417473-1 is not prime. Res64: BFF085DF8A1FAE83 Time : 0.0 sec. user=mdettweiler [2015-12-14 10:21:08] 727*2^1417473-1 is not prime. Res64: 52496F720D77EFE0 Time : 0.0 sec. user=mdettweiler [2015-12-14 10:21:09] 739*2^1417473-1 is not prime. Res64: 3351A0FCC1C0B0B5 Time : 0.0 sec. user=mdettweiler [2015-12-14 10:31:27] 787*2^1417473-1 is not prime. Res64: C97E2BFDE6599D78 Time : 0.0 sec. user=mdettweiler [2015-12-14 10:31:28] 789*2^1417473-1 is not prime. Res64: A26CAF111AE1FBDF Time : 0.0 sec. user=mdettweiler [2015-12-14 10:38:45] 807*2^1417473-1 is not prime. Res64: 3C85B7AF8F987EB8 Time : 0.0 sec. user=mdettweiler [2015-12-14 10:38:45] 817*2^1417473-1 is not prime. Res64: F91401FF93A23812 Time : 0.0 sec. user=mdettweiler [2015-12-14 10:49:12] 829*2^1417473-1 is not prime. Res64: ABB1865EB868C28F Time : 0.0 sec. user=mdettweiler [2015-12-14 10:49:12] 849*2^1417473-1 is not prime. Res64: C7E596C417D6483D Time : 0.0 sec. user=mdettweiler [2015-12-14 10:56:28] 867*2^1417473-1 is not prime. Res64: 84127AD247124269 Time : 0.0 sec. user=mdettweiler [2015-12-14 10:56:28] 955*2^1417473-1 is not prime. Res64: DC47CBE4EFBE2E67 Time : 0.0 sec. user=mdettweiler [2015-12-14 11:06:49] 969*2^1417473-1 is not prime. Res64: 5D2436D235B3E3BC Time : 0.0 sec. user=mdettweiler [2015-12-14 11:06:51] 651*2^1417474-1 is not prime. Res64: 70334C90291C1041 Time : 0.0 sec. user=mdettweiler [2015-12-14 11:14:01] 657*2^1417474-1 is not prime. Res64: D0320DEBEFE9FC8E Time : 0.0 sec. user=mdettweiler [2015-12-14 11:14:01] 663*2^1417474-1 is not prime. Res64: 25D9A26F7C0C79B5 Time : 0.0 sec. user=mdettweiler [2015-12-14 11:24:42] 857*2^1417474-1 is not prime. Res64: CB4E941EE47B84AB Time : 0.0 sec. user=mdettweiler [2015-12-14 11:24:42] 861*2^1417474-1 is not prime. Res64: 022073E2C1ACBA93 Time : 0.0 sec. user=mdettweiler [2015-12-14 11:31:31] 903*2^1417474-1 is not prime. Res64: 6A6CF9BDFA40ADD3 Time : 0.0 sec. user=mdettweiler [2015-12-14 11:31:32] 633*2^1417475-1 is not prime. Res64: 4D8E91F974B61C98 Time : 0.0 sec. user=mdettweiler [2015-12-14 11:42:14] 699*2^1417475-1 is not prime. Res64: 58D5272B1ECDC623 Time : 0.0 sec. user=mdettweiler [2015-12-14 11:42:14] 741*2^1417475-1 is not prime. Res64: CA7938CFB4DA03EC Time : 0.0 sec. user=mdettweiler [2015-12-14 11:49:01] 771*2^1417475-1 is not prime. Res64: 1FCAD8D174D372C9 Time : 0.0 sec. user=mdettweiler [2015-12-14 11:49:02] 799*2^1417475-1 is not prime. Res64: CAB74D9944D6E512 Time : 0.0 sec. user=mdettweiler [2015-12-14 11:59:41] 819*2^1417475-1 is not prime. Res64: CDF0856CF16F4C3A Time : 0.0 sec. user=mdettweiler [2015-12-14 11:59:42] 829*2^1417475-1 is not prime. Res64: CA13E915366BB16D Time : 0.0 sec. user=mdettweiler [2015-12-14 12:06:34] 861*2^1417475-1 is not prime. Res64: B6599713355070FF Time : 0.0 sec. user=mdettweiler [2015-12-14 12:06:35] 909*2^1417475-1 is not prime. Res64: D705E767207E73A5 Time : 0.0 sec. user=mdettweiler [2015-12-14 12:17:08] 647*2^1417476-1 is not prime. Res64: C68975A2C224F717 Time : 0.0 sec. user=mdettweiler [2015-12-14 12:17:08] 773*2^1417476-1 is not prime. Res64: E92DFFA78C541183 Time : 0.0 sec. user=mdettweiler [2015-12-14 12:24:05] 933*2^1417476-1 is not prime. Res64: 34CD246B21E2E2AB Time : 0.0 sec. user=mdettweiler [2015-12-14 12:24:05] 609*2^1417477-1 is not prime. Res64: 2119BCD103A86A65 Time : 0.0 sec. user=mdettweiler [2015-12-14 12:34:35] 675*2^1417477-1 is not prime. Res64: 1F6434F8357E459C Time : 0.0 sec. user=mdettweiler [2015-12-14 12:34:35] 691*2^1417477-1 is not prime. Res64: 71605B32210C4F8E Time : 0.0 sec. user=mdettweiler [2015-12-14 12:41:32] 747*2^1417477-1 is not prime. Res64: 2E6DFD0BA2874FA7 Time : 0.0 sec. user=mdettweiler [2015-12-14 12:41:32] 757*2^1417477-1 is not prime. Res64: AD98C659509AAC6C Time : 0.0 sec. user=mdettweiler [2015-12-14 12:52:02] 889*2^1417477-1 is not prime. Res64: 05416E0FB0099631 Time : 0.0 sec. user=mdettweiler [2015-12-14 12:52:03] 919*2^1417477-1 is not prime. Res64: 3A629B92A6955ACA Time : 0.0 sec. user=mdettweiler [2015-12-14 12:59:00] 927*2^1417477-1 is not prime. Res64: 88D8025455C59E69 Time : 0.0 sec. user=mdettweiler [2015-12-14 12:59:00] 931*2^1417477-1 is not prime. Res64: 01E68673D68D52A0 Time : 0.0 sec. user=mdettweiler [2015-12-14 13:09:31] 939*2^1417477-1 is not prime. Res64: 575349CEEFAFD7CA Time : 0.0 sec. user=mdettweiler [2015-12-14 13:09:32] 707*2^1417478-1 is not prime. Res64: 4D1DB0916F3D113A Time : 0.0 sec. user=mdettweiler [2015-12-14 13:16:27] 857*2^1417478-1 is not prime. Res64: 0D70390883672092 Time : 0.0 sec. user=mdettweiler [2015-12-14 13:16:27] 861*2^1417478-1 is not prime. Res64: 88548A006B7622FE Time : 0.0 sec. user=mdettweiler [2015-12-14 13:27:13] 661*2^1417479-1 is not prime. Res64: 3D222FC4603D8BE0 Time : 0.0 sec. user=mdettweiler [2015-12-14 13:27:13] 865*2^1417479-1 is not prime. Res64: 55AEBDABA343C919 Time : 0.0 sec. user=mdettweiler [2015-12-14 13:33:54] 891*2^1417479-1 is not prime. Res64: B1F5E49FAEBDB9E3 Time : 0.0 sec. user=mdettweiler [2015-12-14 13:33:55] 895*2^1417479-1 is not prime. Res64: E2D6A5F1E77C8A03 Time : 0.0 sec. user=mdettweiler [2015-12-14 13:44:41] 979*2^1417479-1 is not prime. Res64: 451B5078D696157F Time : 0.0 sec. user=mdettweiler [2015-12-14 13:44:41] 713*2^1417480-1 is not prime. Res64: 9109161ABAA12957 Time : 0.0 sec. user=mdettweiler [2015-12-14 13:51:22] 723*2^1417480-1 is not prime. Res64: 418A8173BC820768 Time : 0.0 sec. user=mdettweiler [2015-12-14 13:51:23] 857*2^1417480-1 is not prime. Res64: 98BE647DFC7F91C6 Time : 0.0 sec. user=mdettweiler [2015-12-14 14:02:18] 887*2^1417480-1 is not prime. Res64: 003649CEA232D7DB Time : 0.0 sec. user=mdettweiler [2015-12-14 14:02:19] 905*2^1417480-1 is not prime. Res64: FCED85F719054230 Time : 0.0 sec. user=mdettweiler [2015-12-14 14:09:01] 927*2^1417480-1 is not prime. Res64: DE125BBD3908D929 Time : 0.0 sec. user=mdettweiler [2015-12-14 14:09:04] 939*2^1417480-1 is not prime. Res64: 07F22B7E9AC08B0A Time : 0.0 sec. user=mdettweiler [2015-12-14 14:21:16] 965*2^1417480-1 is not prime. Res64: 25BA6A09ED7129AF Time : 0.0 sec. user=mdettweiler [2015-12-14 14:21:17] 601*2^1417481-1 is not prime. Res64: F6DFA0E46924F182 Time : 0.0 sec. user=mdettweiler [2015-12-14 14:29:40] 615*2^1417481-1 is not prime. Res64: D820448E16B4398C Time : 0.0 sec. user=mdettweiler [2015-12-14 14:29:41] 649*2^1417481-1 is not prime. Res64: BC7A41721A43C445 Time : 0.0 sec. user=mdettweiler [2015-12-14 14:42:35] 717*2^1417481-1 is not prime. Res64: 5EA2B5A6F62ECA6C Time : 0.0 sec. user=mdettweiler [2015-12-14 14:42:36] 811*2^1417481-1 is not prime. Res64: 2E0A633FFE03BDAA Time : 0.0 sec. user=mdettweiler [2015-12-14 14:50:40] 855*2^1417481-1 is not prime. Res64: D7B80A61E6179579 Time : 0.0 sec. user=mdettweiler [2015-12-14 14:50:41] 901*2^1417481-1 is not prime. Res64: B5ED3ACA6D1D4EAE Time : 0.0 sec. user=mdettweiler [2015-12-14 15:01:22] 931*2^1417481-1 is not prime. Res64: AB4F77705DFAD1A1 Time : 0.0 sec. user=mdettweiler [2015-12-14 15:01:23] 937*2^1417481-1 is not prime. Res64: D2A60BD565E7FBA9 Time : 0.0 sec. user=mdettweiler [2015-12-14 15:08:19] 611*2^1417482-1 is not prime. Res64: 1ACB669BE277EFF2 Time : 0.0 sec. user=mdettweiler [2015-12-14 15:08:21] 717*2^1417482-1 is not prime. Res64: 0AA84632DB2AE8C7 Time : 0.0 sec. user=mdettweiler [2015-12-14 15:19:00] 725*2^1417482-1 is not prime. Res64: D14809EEAA5AE6F5 Time : 0.0 sec. user=mdettweiler [2015-12-14 15:19:00] 735*2^1417482-1 is not prime. Res64: 50A0B626C994F857 Time : 0.0 sec. user=mdettweiler [2015-12-14 15:25:57] 975*2^1417482-1 is not prime. Res64: B13281F085DC82FD Time : 0.0 sec. user=mdettweiler [2015-12-14 15:25:57] 615*2^1417483-1 is not prime. Res64: 1AAFF762162C8DF0 Time : 0.0 sec. user=mdettweiler [2015-12-14 15:36:27] 625*2^1417483-1 is not prime. Res64: 279B996ED935A061 Time : 0.0 sec. user=mdettweiler [2015-12-14 15:36:28] 723*2^1417483-1 is not prime. Res64: B91819D58A250664 Time : 0.0 sec. user=mdettweiler [2015-12-14 15:43:24] 765*2^1417483-1 is not prime. Res64: 01A4F9FABE55A87D Time : 0.0 sec. user=mdettweiler [2015-12-14 15:43:24] 861*2^1417483-1 is not prime. Res64: 188E8470C8B528F9 Time : 0.0 sec. user=mdettweiler [2015-12-14 15:53:54] 889*2^1417483-1 is not prime. Res64: 1A5FC5417A4739AF Time : 0.0 sec. user=mdettweiler [2015-12-14 15:53:54] 635*2^1417484-1 is not prime. Res64: 203DF4FF66FC176A Time : 0.0 sec. user=mdettweiler [2015-12-14 16:00:51] 677*2^1417484-1 is not prime. Res64: F9ECCE12E1CFEE74 Time : 0.0 sec. user=mdettweiler [2015-12-14 16:00:52] 655*2^1417485-1 is not prime. Res64: 742F5950D12AAE8D Time : 0.0 sec. user=mdettweiler [2015-12-14 16:11:21] 669*2^1417485-1 is not prime. Res64: A0C501A96CB6A002 Time : 0.0 sec. user=mdettweiler [2015-12-14 16:11:22] 759*2^1417485-1 is not prime. Res64: 290CE71A91653EA7 Time : 0.0 sec. user=mdettweiler [2015-12-14 16:18:22] 817*2^1417485-1 is not prime. Res64: DB83161553DC1C6A Time : 0.0 sec. user=mdettweiler [2015-12-14 16:18:22] 937*2^1417485-1 is not prime. Res64: 418F807E433A6A3B Time : 0.0 sec. user=mdettweiler [2015-12-14 16:28:58] 949*2^1417485-1 is not prime. Res64: 45606DD008F42B7A Time : 0.0 sec. user=mdettweiler [2015-12-14 16:28:58] 975*2^1417485-1 is not prime. Res64: AFA36820EC3C3A7D Time : 0.0 sec. user=mdettweiler [2015-12-14 16:35:49] 777*2^1417486-1 is not prime. Res64: FB58E95FFA20632A Time : 0.0 sec. user=mdettweiler [2015-12-14 16:35:49] 873*2^1417486-1 is not prime. Res64: 776C96E93033C91A Time : 0.0 sec. user=mdettweiler [2015-12-14 16:46:26] 917*2^1417486-1 is not prime. Res64: F826B3884F3FEFF0 Time : 0.0 sec. user=mdettweiler [2015-12-14 16:46:26] 987*2^1417486-1 is not prime. Res64: 236CFF0B93932386 Time : 0.0 sec. user=mdettweiler [2015-12-14 16:53:15] 883*2^1417487-1 is not prime. Res64: CA3BBD2F9A6A4B79 Time : 0.0 sec. user=mdettweiler [2015-12-14 16:53:15] 885*2^1417487-1 is not prime. Res64: FAC5E260A2140391 Time : 0.0 sec. user=mdettweiler [2015-12-14 17:03:53] 939*2^1417487-1 is not prime. Res64: 6379DDA897C7C89A Time : 0.0 sec. user=mdettweiler [2015-12-14 17:03:55] 949*2^1417487-1 is not prime. Res64: 38B0576EEA035162 Time : 0.0 sec. user=mdettweiler [2015-12-14 17:10:47] 979*2^1417487-1 is not prime. Res64: 12F8BEF367E4EE9F Time : 0.0 sec. user=mdettweiler [2015-12-14 17:10:48] 635*2^1417488-1 is not prime. Res64: B1DFA71E8C0F09AC Time : 0.0 sec. user=mdettweiler [2015-12-14 17:21:32] 797*2^1417488-1 is not prime. Res64: 6EC7E92108CC5A27 Time : 0.0 sec. user=mdettweiler [2015-12-14 17:21:32] 843*2^1417488-1 is not prime. Res64: 471A2513DE6B357C Time : 0.0 sec. user=mdettweiler [2015-12-14 17:28:25] 945*2^1417488-1 is not prime. Res64: 6769E538A3AE960E Time : 0.0 sec. user=mdettweiler [2015-12-14 17:28:25] 947*2^1417488-1 is not prime. Res64: EBDD1771B4A05AC4 Time : 0.0 sec. user=mdettweiler [2015-12-14 17:38:59] 751*2^1417489-1 is not prime. Res64: D23E775DAE2B5A05 Time : 0.0 sec. user=mdettweiler [2015-12-14 17:39:00] 861*2^1417489-1 is not prime. Res64: 0BCE7DD47969BBF7 Time : 0.0 sec. user=mdettweiler [2015-12-14 17:45:52] 967*2^1417489-1 is not prime. Res64: 4A6F4381911F6036 Time : 0.0 sec. user=mdettweiler [2015-12-14 17:45:52] 633*2^1417490-1 is not prime. Res64: 66C51C3BAC08D39F Time : 0.0 sec. user=mdettweiler [2015-12-14 17:56:27] 671*2^1417490-1 is not prime. Res64: 2C682E828D06FF1E Time : 0.0 sec. user=mdettweiler [2015-12-14 17:56:28] 755*2^1417490-1 is not prime. Res64: 188EC4C3CDDDEA74 Time : 0.0 sec. user=mdettweiler [2015-12-14 18:03:19] 785*2^1417490-1 is not prime. Res64: 73430EFD81070542 Time : 0.0 sec. user=mdettweiler [2015-12-14 18:03:21] 801*2^1417490-1 is not prime. Res64: 13999C55B1E9E1E1 Time : 0.0 sec. user=mdettweiler [2015-12-14 18:13:55] 833*2^1417490-1 is not prime. Res64: 48A5D18DDC1A4456 Time : 0.0 sec. user=mdettweiler [2015-12-14 18:13:57] 703*2^1417491-1 is not prime. Res64: EE5E041BDC29AEC1 Time : 0.0 sec. user=mdettweiler [2015-12-14 18:20:48] 753*2^1417491-1 is not prime. Res64: 68C7A6BD65A8492B Time : 0.0 sec. user=mdettweiler [2015-12-14 18:20:49] 775*2^1417491-1 is not prime. Res64: 5A8BCFC8759DCD6A Time : 0.0 sec. user=mdettweiler [2015-12-14 18:31:30] 781*2^1417491-1 is not prime. Res64: A2632126A280AAC0 Time : 0.0 sec. user=mdettweiler [2015-12-14 18:31:30] 795*2^1417491-1 is not prime. Res64: AE24AC90F63907EA Time : 0.0 sec. user=mdettweiler [2015-12-14 18:38:15] 801*2^1417491-1 is not prime. Res64: 8234EFA6F1643684 Time : 0.0 sec. user=mdettweiler [2015-12-14 18:38:16] 879*2^1417491-1 is not prime. Res64: 33C68B8F5C79812C Time : 0.0 sec. user=mdettweiler [2015-12-14 18:48:56] 609*2^1417492-1 is not prime. Res64: 1E00080FFB85FA3F Time : 0.0 sec. user=mdettweiler [2015-12-14 18:48:56] 695*2^1417492-1 is not prime. Res64: C15707638549076E Time : 0.0 sec. user=mdettweiler [2015-12-14 18:55:42] 723*2^1417492-1 is not prime. Res64: BF88184921CE58A0 Time : 0.0 sec. user=mdettweiler [2015-12-14 18:55:42] 743*2^1417492-1 is not prime. Res64: 49811552F4BE7AB9 Time : 0.0 sec. user=mdettweiler [2015-12-14 19:06:24] 759*2^1417492-1 is not prime. Res64: B656107FD7D7CC06 Time : 0.0 sec. user=mdettweiler [2015-12-14 19:06:25] 939*2^1417492-1 is not prime. Res64: AA1A6E6E134CDC36 Time : 0.0 sec. user=mdettweiler [2015-12-14 19:13:08] 983*2^1417492-1 is not prime. Res64: AE5DA165C620CC90 Time : 0.0 sec. user=mdettweiler [2015-12-14 19:13:09] 607*2^1417493-1 is not prime. Res64: 44BCE6585571FC40 Time : 0.0 sec. user=mdettweiler [2015-12-14 19:24:01] 627*2^1417493-1 is not prime. Res64: ACC1673652A49F70 Time : 0.0 sec. user=mdettweiler [2015-12-14 19:24:02] 685*2^1417493-1 is not prime. Res64: 77A354236245A184 Time : 0.0 sec. user=mdettweiler [2015-12-14 19:30:36] 735*2^1417493-1 is not prime. Res64: 12DEA1F11591A6A1 Time : 0.0 sec. user=mdettweiler [2015-12-14 19:30:36] 771*2^1417493-1 is not prime. Res64: 8C6FCD0150F67082 Time : 0.0 sec. user=mdettweiler [2015-12-14 19:41:28] 775*2^1417493-1 is not prime. Res64: AC2AF2BB9C3C34DB Time : 0.0 sec. user=mdettweiler [2015-12-14 19:41:28] 801*2^1417493-1 is not prime. Res64: E0A3A92C60B3D580 Time : 0.0 sec. user=mdettweiler [2015-12-14 19:48:03] 861*2^1417493-1 is not prime. Res64: 0BEC055D756F4FA6 Time : 0.0 sec. user=mdettweiler [2015-12-14 19:48:03] 981*2^1417493-1 is not prime. Res64: 81449BD895BBD4BC Time : 0.0 sec. user=mdettweiler [2015-12-14 19:58:55] 641*2^1417494-1 is not prime. Res64: 7E42A8C0E7A1543A Time : 0.0 sec. user=mdettweiler [2015-12-14 19:58:55] 717*2^1417494-1 is not prime. Res64: 665F4236A927CDAB Time : 0.0 sec. user=mdettweiler [2015-12-14 20:05:31] 747*2^1417494-1 is not prime. Res64: A73E8E9DB9D66EFF Time : 0.0 sec. user=mdettweiler [2015-12-14 20:05:33] 891*2^1417494-1 is not prime. Res64: DCBD1F43ED224774 Time : 0.0 sec. user=mdettweiler [2015-12-14 20:16:22] 923*2^1417494-1 is not prime. Res64: DC7EE891E4CAF3FC Time : 0.0 sec. user=mdettweiler [2015-12-14 20:16:23] 675*2^1417495-1 is not prime. Res64: D7519FAE7EDF01BA Time : 0.0 sec. user=mdettweiler [2015-12-14 20:23:08] 693*2^1417495-1 is not prime. Res64: 90631E53CD571A2E Time : 0.0 sec. user=mdettweiler [2015-12-14 20:23:08] 741*2^1417495-1 is not prime. Res64: E3A3F58433B2E4C7 Time : 0.0 sec. user=mdettweiler [2015-12-14 20:33:51] 775*2^1417495-1 is not prime. Res64: 4A245974120E9089 Time : 0.0 sec. user=mdettweiler [2015-12-14 20:33:51] 831*2^1417495-1 is not prime. Res64: F6F1C343FD6B3DED Time : 0.0 sec. user=mdettweiler [2015-12-14 20:40:35] 841*2^1417495-1 is not prime. Res64: 73F7EE032ACDAEA2 Time : 0.0 sec. user=mdettweiler [2015-12-14 20:40:35] 915*2^1417495-1 is not prime. Res64: BEBF11E94DF14C75 Time : 0.0 sec. user=mdettweiler [2015-12-14 20:51:18] 663*2^1417496-1 is not prime. Res64: 0CB2858263D00222 Time : 0.0 sec. user=mdettweiler [2015-12-14 20:51:18] 689*2^1417496-1 is not prime. Res64: 319C732025E60709 Time : 0.0 sec. user=mdettweiler [2015-12-14 20:58:01] 789*2^1417496-1 is not prime. Res64: 2C330F6107F7B73E Time : 0.0 sec. user=mdettweiler [2015-12-14 20:58:02] 873*2^1417496-1 is not prime. Res64: E178F4F04B41E199 Time : 0.0 sec. user=mdettweiler [2015-12-14 21:08:46] 935*2^1417496-1 is not prime. Res64: 778C3C951505BD8C Time : 0.0 sec. user=mdettweiler [2015-12-14 21:08:46] 957*2^1417496-1 is not prime. Res64: 63D71BF43355D8E4 Time : 0.0 sec. user=mdettweiler [2015-12-14 21:15:31] 999*2^1417496-1 is not prime. Res64: B2092EEFE1AF9DC8 Time : 0.0 sec. user=mdettweiler [2015-12-14 21:15:32] 699*2^1417497-1 is not prime. Res64: 77241EF982E48354 Time : 0.0 sec. user=mdettweiler [2015-12-14 21:26:15] 717*2^1417497-1 is not prime. Res64: E5C836BCF1C5278D Time : 0.0 sec. user=mdettweiler [2015-12-14 21:26:15] 741*2^1417497-1 is not prime. Res64: D1AAD2FCC804BFE9 Time : 0.0 sec. user=mdettweiler [2015-12-14 21:33:04] 781*2^1417497-1 is not prime. Res64: A21367FB4412AA90 Time : 0.0 sec. user=mdettweiler [2015-12-14 21:33:04] 909*2^1417497-1 is not prime. Res64: B3A707FC1A70CE75 Time : 0.0 sec. user=mdettweiler [2015-12-14 21:43:42] 937*2^1417497-1 is not prime. Res64: F4EDC1A29DB7C98F Time : 0.0 sec. user=mdettweiler [2015-12-14 21:43:42] 975*2^1417497-1 is not prime. Res64: C93EA5DAD3CD3F60 Time : 0.0 sec. user=mdettweiler [2015-12-14 21:50:31] 623*2^1417498-1 is not prime. Res64: D09B39E7F9CED0A8 Time : 0.0 sec. user=mdettweiler [2015-12-14 21:50:31] 681*2^1417498-1 is not prime. Res64: 5FEF1297B63FE01A Time : 0.0 sec. user=mdettweiler [2015-12-14 22:01:09] 713*2^1417498-1 is not prime. Res64: 80FE53FA1F78E891 Time : 0.0 sec. user=mdettweiler [2015-12-14 22:01:10] 765*2^1417498-1 is not prime. Res64: E373AE5838154ED8 Time : 0.0 sec. user=mdettweiler [2015-12-14 22:07:58] 773*2^1417498-1 is not prime. Res64: 6A270ADB9ECA3DB9 Time : 0.0 sec. user=mdettweiler [2015-12-14 22:08:00] 867*2^1417498-1 is not prime. Res64: 88005C9924D55795 Time : 0.0 sec. user=mdettweiler [2015-12-14 22:18:37] 881*2^1417498-1 is not prime. Res64: 732688D5BD4609D5 Time : 0.0 sec. user=mdettweiler [2015-12-14 22:18:37] 911*2^1417498-1 is not prime. Res64: A2B88CD893EAC1FD Time : 0.0 sec. user=mdettweiler [2015-12-14 22:25:36] 941*2^1417498-1 is not prime. Res64: FF6CF2D37950CE22 Time : 0.0 sec. user=mdettweiler [2015-12-14 22:25:37] 995*2^1417498-1 is not prime. Res64: 6B3F0F1C0301F837 Time : 0.0 sec. user=mdettweiler [2015-12-14 22:36:04] 643*2^1417499-1 is not prime. Res64: CEBB77F85A480CE2 Time : 0.0 sec. user=mdettweiler [2015-12-14 22:36:04] 711*2^1417499-1 is not prime. Res64: 9B32FD320E24C941 Time : 0.0 sec. user=mdettweiler [2015-12-14 22:43:03] 735*2^1417499-1 is not prime. Res64: BCC8604130A2EB9C Time : 0.0 sec. user=mdettweiler [2015-12-14 22:43:03] 775*2^1417499-1 is not prime. Res64: D5767620FBAF5EDE Time : 0.0 sec. user=mdettweiler [2015-12-14 22:53:34] 799*2^1417499-1 is not prime. Res64: D334AFA5F0C3DCB5 Time : 0.0 sec. user=mdettweiler [2015-12-14 22:53:34] 855*2^1417499-1 is not prime. Res64: D78F9600B6008E02 Time : 0.0 sec. user=mdettweiler [2015-12-14 23:00:30] 885*2^1417499-1 is not prime. Res64: F5652875B6A01E3E Time : 0.0 sec. user=mdettweiler [2015-12-14 23:00:31] 913*2^1417499-1 is not prime. Res64: DA760D06C3B34E32 Time : 0.0 sec. user=mdettweiler [2015-12-14 23:11:01] 669*2^1417500-1 is not prime. Res64: 88459DAE097D84AF Time : 0.0 sec. user=mdettweiler [2015-12-14 23:11:02] 717*2^1417500-1 is not prime. Res64: 1D348739AA590421 Time : 0.0 sec. user=mdettweiler [2015-12-14 23:17:57] 737*2^1417500-1 is not prime. Res64: 71CCC18010675B6F Time : 0.0 sec. user=mdettweiler [2015-12-14 23:17:58] 783*2^1417500-1 is not prime. Res64: 5799C20D35F1B4E9 Time : 0.0 sec. user=mdettweiler [2015-12-14 23:28:37] 879*2^1417500-1 is not prime. Res64: D4F9A8AA2A97F3F8 Time : 0.0 sec. user=mdettweiler [2015-12-14 23:28:38] 935*2^1417500-1 is not prime. Res64: 37549DD883E016FD Time : 0.0 sec. user=mdettweiler [2015-12-14 23:35:24] 957*2^1417500-1 is not prime. Res64: 865F404094D3A591 Time : 0.0 sec. user=mdettweiler [2015-12-14 23:35:25] 965*2^1417500-1 is not prime. Res64: A2604E50BB641C3E Time : 0.0 sec. user=mdettweiler [2015-12-14 23:46:04] 975*2^1417500-1 is not prime. Res64: 9ED4D1091B6FE0BB Time : 0.0 sec. user=mdettweiler [2015-12-14 23:46:05] 777*2^1417501-1 is not prime. Res64: 45AB803D6528B3F9 Time : 0.0 sec. user=mdettweiler [2015-12-14 23:52:51] 799*2^1417501-1 is not prime. Res64: 50A4F34496A6D6F3 Time : 0.0 sec. user=mdettweiler [2015-12-14 23:52:51] 849*2^1417501-1 is not prime. Res64: 27060E772766F0C8 Time : 0.0 sec.