user=mdettweiler [2018-11-17 00:06:41] 615*2^1531517-1 is not prime. Res64: 920D2C5DE935E7FE Time : 0.0 sec. user=mdettweiler [2018-11-17 00:06:43] 685*2^1531517-1 is not prime. Res64: 1C7AEE0671D3EC0E Time : 0.0 sec. user=mdettweiler [2018-11-17 00:06:44] 697*2^1531517-1 is not prime. Res64: E1981695B2028C9F Time : 0.0 sec. user=mdettweiler [2018-11-17 00:06:46] 715*2^1531517-1 is not prime. Res64: 7A728999BCF764C5 Time : 0.0 sec. user=mdettweiler [2018-11-17 00:06:47] 949*2^1531517-1 is not prime. Res64: AD0DF7402A5E9169 Time : 0.0 sec. user=mdettweiler [2018-11-17 00:19:31] 985*2^1531517-1 is not prime. Res64: D22B665D679A97CD Time : 0.0 sec. user=mdettweiler [2018-11-17 00:19:31] 815*2^1531518-1 is not prime. Res64: 8FE230D6BB3C9EDA Time : 0.0 sec. user=mdettweiler [2018-11-17 00:19:31] 843*2^1531518-1 is not prime. Res64: F84C0E3E2B7B6518 Time : 0.0 sec. user=mdettweiler [2018-11-17 00:19:32] 887*2^1531518-1 is not prime. Res64: 652C5D664DC68D6F Time : 0.0 sec. user=mdettweiler [2018-11-17 00:19:32] 971*2^1531518-1 is not prime. Res64: 837450C7FB1C83B9 Time : 0.0 sec. user=mdettweiler [2018-11-17 00:37:25] 993*2^1531518-1 is not prime. Res64: 83294B14F08E2165 Time : 0.0 sec. user=mdettweiler [2018-11-17 00:37:25] 663*2^1531519-1 is not prime. Res64: 768BE564F23E6171 Time : 0.0 sec. user=mdettweiler [2018-11-17 00:37:26] 703*2^1531519-1 is not prime. Res64: 5208241A03971A17 Time : 0.0 sec. user=mdettweiler [2018-11-17 00:37:27] 745*2^1531519-1 is not prime. Res64: 1A2D92B7328939D1 Time : 0.0 sec. user=mdettweiler [2018-11-17 00:37:28] 751*2^1531519-1 is not prime. Res64: 20A6637D07445CFF Time : 0.0 sec. user=mdettweiler [2018-11-17 00:49:08] 859*2^1531519-1 is not prime. Res64: 44EB487EFB1D5025 Time : 0.0 sec. user=mdettweiler [2018-11-17 00:49:09] 913*2^1531519-1 is not prime. Res64: 13B66839F91F8A4F Time : 0.0 sec. user=mdettweiler [2018-11-17 00:49:09] 931*2^1531519-1 is not prime. Res64: 48D834D1C274EA80 Time : 0.0 sec. user=mdettweiler [2018-11-17 00:49:10] 985*2^1531519-1 is not prime. Res64: FC292F418C7588A2 Time : 0.0 sec. user=mdettweiler [2018-11-17 00:49:10] 773*2^1531520-1 is not prime. Res64: 2725EA3C2EA70868 Time : 0.0 sec. user=mdettweiler [2018-11-17 00:58:48] 915*2^1531520-1 is not prime. Res64: 96B15984D5EAFEA6 Time : 0.0 sec. user=mdettweiler [2018-11-17 00:58:48] 995*2^1531520-1 is not prime. Res64: FB44B0A7086BA668 Time : 0.0 sec. user=mdettweiler [2018-11-17 00:58:48] 625*2^1531521-1 is not prime. Res64: 07E7858B3E5A968F Time : 0.0 sec. user=mdettweiler [2018-11-17 00:58:49] 669*2^1531521-1 is not prime. Res64: C7FA3712B758D47F Time : 0.0 sec. user=mdettweiler [2018-11-17 00:58:49] 681*2^1531521-1 is not prime. Res64: 5B00A519AC429662 Time : 0.0 sec. user=mdettweiler [2018-11-17 01:11:10] 717*2^1531521-1 is not prime. Res64: 696A8261AEE6C0FD Time : 0.0 sec. user=mdettweiler [2018-11-17 01:11:11] 739*2^1531521-1 is not prime. Res64: 257967F002FC4AE7 Time : 0.0 sec. user=mdettweiler [2018-11-17 01:11:11] 789*2^1531521-1 is not prime. Res64: 3B21B8D7F99B17AB Time : 0.0 sec. user=mdettweiler [2018-11-17 01:11:12] 795*2^1531521-1 is not prime. Res64: 4FF95CFEB143D185 Time : 0.0 sec. user=mdettweiler [2018-11-17 01:11:13] 805*2^1531521-1 is not prime. Res64: 2D8DAFDDEC7D60E7 Time : 0.0 sec. user=mdettweiler [2018-11-17 01:29:04] 969*2^1531521-1 is not prime. Res64: 769BA72AB8B906D5 Time : 0.0 sec. user=mdettweiler [2018-11-17 01:29:06] 633*2^1531522-1 is not prime. Res64: B85A1B534CB6A941 Time : 0.0 sec. user=mdettweiler [2018-11-17 01:29:08] 717*2^1531522-1 is not prime. Res64: 771F5F6C1900C28D Time : 0.0 sec. user=mdettweiler [2018-11-17 01:29:09] 735*2^1531522-1 is not prime. Res64: 4FBEA30A167629D8 Time : 0.0 sec. user=mdettweiler [2018-11-17 01:29:11] 747*2^1531522-1 is not prime. Res64: CB451559E5108DA3 Time : 0.0 sec. user=mdettweiler [2018-11-17 01:40:25] 813*2^1531522-1 is not prime. Res64: 7F260F90056D3074 Time : 0.0 sec. user=mdettweiler [2018-11-17 01:40:26] 855*2^1531522-1 is not prime. Res64: 4C5A2ECD8CC80952 Time : 0.0 sec. user=mdettweiler [2018-11-17 01:40:26] 951*2^1531522-1 is not prime. Res64: 782158AB026719E2 Time : 0.0 sec. user=mdettweiler [2018-11-17 01:40:26] 981*2^1531522-1 is not prime. Res64: 66886FBE2B8491FB Time : 0.0 sec. user=mdettweiler [2018-11-17 01:40:27] 995*2^1531522-1 is not prime. Res64: 27AE3D180B59C97B Time : 0.0 sec. user=mdettweiler [2018-11-17 01:50:03] 621*2^1531523-1 is not prime. Res64: 1473B6E80F5C96A2 Time : 0.0 sec. user=mdettweiler [2018-11-17 01:50:04] 715*2^1531523-1 is not prime. Res64: 673A65C5986EAE5F Time : 0.0 sec. user=mdettweiler [2018-11-17 01:50:05] 939*2^1531523-1 is not prime. Res64: 943B50D22D462405 Time : 0.0 sec. user=mdettweiler [2018-11-17 01:50:06] 993*2^1531523-1 is not prime. Res64: 2795A43CBB7A0D52 Time : 0.0 sec. user=mdettweiler [2018-11-17 01:50:07] 629*2^1531524-1 is not prime. Res64: F81E064CBDDD91E6 Time : 0.0 sec. user=mdettweiler [2018-11-17 02:04:45] 725*2^1531524-1 is not prime. Res64: DB397D201BA2804F Time : 0.0 sec. user=mdettweiler [2018-11-17 02:04:46] 803*2^1531524-1 is not prime. Res64: AF65E4B83E3F3F1B Time : 0.0 sec. user=mdettweiler [2018-11-17 02:04:47] 825*2^1531524-1 is not prime. Res64: 6593F75F266505DC Time : 0.0 sec. user=mdettweiler [2018-11-17 02:04:49] 899*2^1531524-1 is not prime. Res64: 69C77AB13AE57DD7 Time : 0.0 sec. user=mdettweiler [2018-11-17 02:04:51] 645*2^1531525-1 is not prime. Res64: 4E61C2AF35966B03 Time : 0.0 sec. user=mdettweiler [2018-11-17 02:24:02] 675*2^1531525-1 is not prime. Res64: EE2DBE228F38FCBA Time : 0.0 sec. user=mdettweiler [2018-11-17 02:24:02] 801*2^1531525-1 is not prime. Res64: 4FFBEA39670C9919 Time : 0.0 sec. user=mdettweiler [2018-11-17 02:24:02] 895*2^1531525-1 is not prime. Res64: 97CB361F73F68C7F Time : 0.0 sec. user=mdettweiler [2018-11-17 02:24:03] 897*2^1531525-1 is not prime. Res64: 101881B3F29AC114 Time : 0.0 sec. user=mdettweiler [2018-11-17 02:24:03] 635*2^1531526-1 is not prime. Res64: 84027CE8E9133B2C Time : 0.0 sec. user=mdettweiler [2018-11-17 02:32:30] 693*2^1531526-1 is not prime. Res64: C2D6D65F683E0440 Time : 0.0 sec. user=mdettweiler [2018-11-17 02:32:31] 741*2^1531526-1 is not prime. Res64: 8FB44E7AF8A1FA92 Time : 0.0 sec. user=mdettweiler [2018-11-17 02:32:31] 755*2^1531526-1 is not prime. Res64: 9C4B64AE72733231 Time : 0.0 sec. user=mdettweiler [2018-11-17 02:32:32] 815*2^1531526-1 is not prime. Res64: 46403C035C8B44E5 Time : 0.0 sec. user=mdettweiler [2018-11-17 02:32:34] 857*2^1531526-1 is not prime. Res64: 931637DE2B21F592 Time : 0.0 sec. user=mdettweiler [2018-11-17 02:44:57] 917*2^1531526-1 is not prime. Res64: 2788990F22AFFCEC Time : 0.0 sec. user=mdettweiler [2018-11-17 02:44:58] 993*2^1531526-1 is not prime. Res64: 1376E4E07CE34478 Time : 0.0 sec. user=mdettweiler [2018-11-17 02:44:58] 649*2^1531527-1 is not prime. Res64: 031401741176B75D Time : 0.0 sec. user=mdettweiler [2018-11-17 02:44:59] 669*2^1531527-1 is not prime. Res64: 8ED069ABE8D35074 Time : 0.0 sec. user=mdettweiler [2018-11-17 02:44:59] 693*2^1531527-1 is not prime. Res64: B4B33C137CB93070 Time : 0.0 sec. user=mdettweiler [2018-11-17 02:59:08] 751*2^1531527-1 is not prime. Res64: B0F51C662A09C2A3 Time : 0.0 sec. user=mdettweiler [2018-11-17 02:59:09] 765*2^1531527-1 is not prime. Res64: 69F420CF6B2FC68D Time : 0.0 sec. user=mdettweiler [2018-11-17 02:59:09] 913*2^1531527-1 is not prime. Res64: B70B6318DAF309B6 Time : 0.0 sec. user=mdettweiler [2018-11-17 02:59:10] 603*2^1531528-1 is not prime. Res64: AF0883CEAA66C58B Time : 0.0 sec. user=mdettweiler [2018-11-17 02:59:10] 615*2^1531528-1 is not prime. Res64: C51DC7C2C2ACDE16 Time : 0.0 sec. user=mdettweiler [2018-11-17 03:18:07] 645*2^1531528-1 is not prime. Res64: 798B7D3ADBA889BA Time : 0.0 sec. user=mdettweiler [2018-11-17 03:18:08] 747*2^1531528-1 is not prime. Res64: D764A95196B31CEC Time : 0.0 sec. user=mdettweiler [2018-11-17 03:18:08] 887*2^1531528-1 is not prime. Res64: 813A81074E8B3493 Time : 0.0 sec. user=mdettweiler [2018-11-17 03:18:08] 989*2^1531528-1 is not prime. Res64: 56B9710B468A6689 Time : 0.0 sec. user=mdettweiler [2018-11-17 03:18:09] 745*2^1531529-1 is not prime. Res64: ABB11B41717ACFF5 Time : 0.0 sec. user=mdettweiler [2018-11-17 03:26:54] 769*2^1531529-1 is not prime. Res64: BBF5DB5A8E61C92A Time : 0.0 sec. user=mdettweiler [2018-11-17 03:26:57] 841*2^1531529-1 is not prime. Res64: 11F49E4DFFF4D12E Time : 0.0 sec. user=mdettweiler [2018-11-17 03:27:00] 867*2^1531529-1 is not prime. Res64: 97429B38A155DE06 Time : 0.0 sec. user=mdettweiler [2018-11-17 03:27:04] 885*2^1531529-1 is not prime. Res64: 1DDDFBEF0C037F24 Time : 0.0 sec. user=mdettweiler [2018-11-17 03:27:06] 641*2^1531530-1 is not prime. Res64: BE1F33EE715B2E9E Time : 0.0 sec. user=mdettweiler [2018-11-17 03:39:42] 657*2^1531530-1 is not prime. Res64: 78A73BEAE70BDF6B Time : 0.0 sec. user=mdettweiler [2018-11-17 03:39:44] 777*2^1531530-1 is not prime. Res64: 68F44FEF36D28DFE Time : 0.0 sec. user=mdettweiler [2018-11-17 03:39:47] 923*2^1531530-1 is not prime. Res64: 26E9069C6538E9AF Time : 0.0 sec. user=mdettweiler [2018-11-17 03:39:49] 603*2^1531531-1 is not prime. Res64: 29B477A44A16185C Time : 0.0 sec. user=mdettweiler [2018-11-17 03:39:52] 709*2^1531531-1 is not prime. Res64: E28BA82650ECD934 Time : 0.0 sec. user=mdettweiler [2018-11-17 03:52:08] 759*2^1531531-1 is not prime. Res64: 22160F635183919A Time : 0.0 sec. user=mdettweiler [2018-11-17 03:52:09] 769*2^1531531-1 is not prime. Res64: 0B3975676319A61A Time : 0.0 sec. user=mdettweiler [2018-11-17 03:52:10] 783*2^1531531-1 is not prime. Res64: B3D35EE8E913966A Time : 0.0 sec. user=mdettweiler [2018-11-17 03:52:11] 885*2^1531531-1 is not prime. Res64: DA04ECCADEA2DD6C Time : 0.0 sec. user=mdettweiler [2018-11-17 03:52:12] 975*2^1531531-1 is not prime. Res64: 08197EE294DDEB91 Time : 0.0 sec. user=mdettweiler [2018-11-17 04:10:49] 635*2^1531532-1 is not prime. Res64: BC87ED30913C4D7A Time : 0.0 sec. user=mdettweiler [2018-11-17 04:10:51] 609*2^1531533-1 is not prime. Res64: DE3042F3347F2F1A Time : 0.0 sec. user=mdettweiler [2018-11-17 04:10:57] 741*2^1531533-1 is not prime. Res64: 01A3460896DBBF7E Time : 0.0 sec. user=mdettweiler [2018-11-17 04:11:03] 817*2^1531533-1 is not prime. Res64: 4FADAD7E4071C595 Time : 0.0 sec. user=mdettweiler [2018-11-17 04:11:09] 835*2^1531533-1 is not prime. Res64: 45C8374A5AC4C59F Time : 0.0 sec. user=mdettweiler [2018-11-17 04:19:46] 901*2^1531533-1 is not prime. Res64: F072D2ABF8A35B27 Time : 0.0 sec. user=mdettweiler [2018-11-17 04:19:49] 951*2^1531533-1 is not prime. Res64: 658C3DFCA016B935 Time : 0.0 sec. user=mdettweiler [2018-11-17 04:31:34] 731*2^1531534-1 is not prime. Res64: 5551B516F982C9FE Time : 0.0 sec. user=mdettweiler [2018-11-17 04:31:35] 737*2^1531534-1 is not prime. Res64: 95C4A2C5AB3EE738 Time : 0.0 sec. user=mdettweiler [2018-11-17 04:31:35] 783*2^1531534-1 is not prime. Res64: EB550C73164B1C7A Time : 0.0 sec. user=mdettweiler [2018-11-17 04:31:36] 815*2^1531534-1 is not prime. Res64: 7799C94AEFBBE587 Time : 0.0 sec. user=mdettweiler [2018-11-17 04:31:36] 833*2^1531534-1 is not prime. Res64: 6DFCE7DE290E7431 Time : 0.0 sec. user=mdettweiler [2018-11-17 04:44:07] 601*2^1531535-1 is not prime. Res64: 74F203F5B8681FDB Time : 0.0 sec. user=mdettweiler [2018-11-17 04:44:07] 859*2^1531535-1 is not prime. Res64: 5F09364B0B59DAF6 Time : 0.0 sec. user=mdettweiler [2018-11-17 04:44:08] 921*2^1531535-1 is not prime. Res64: 2BD17BA996592431 Time : 0.0 sec. user=mdettweiler [2018-11-17 04:44:09] 623*2^1531536-1 is not prime. Res64: 1CB230060B649B0F Time : 0.0 sec. user=mdettweiler [2018-11-17 04:44:11] 635*2^1531536-1 is not prime. Res64: A27812EF6D252166 Time : 0.0 sec. user=mdettweiler [2018-11-17 05:04:35] 843*2^1531536-1 is not prime. Res64: 21129986F65E6CE7 Time : 0.0 sec. user=mdettweiler [2018-11-17 05:04:38] 947*2^1531536-1 is not prime. Res64: D38D88719078A01E Time : 0.0 sec. user=mdettweiler [2018-11-17 05:04:39] 619*2^1531537-1 is not prime. Res64: FA1B0F1A1FE10A9F Time : 0.0 sec. user=mdettweiler [2018-11-17 05:04:42] 625*2^1531537-1 is not prime. Res64: D5FB7AF2FF686D5C Time : 0.0 sec. user=mdettweiler [2018-11-17 05:04:45] 769*2^1531537-1 is not prime. Res64: E966CFF7CFADBF5D Time : 0.0 sec. user=mdettweiler [2018-11-17 05:24:09] 799*2^1531537-1 is not prime. Res64: E2D3CCBEBFE5ED0C Time : 0.0 sec. user=mdettweiler [2018-11-17 05:24:10] 635*2^1531538-1 is not prime. Res64: C8D148C8F5458E2D Time : 0.0 sec. user=mdettweiler [2018-11-17 05:24:11] 743*2^1531538-1 is not prime. Res64: 3864B48050AFFABB Time : 0.0 sec. user=mdettweiler [2018-11-17 05:24:11] 867*2^1531538-1 is not prime. Res64: 7B164BB21662E2B1 Time : 0.0 sec. user=mdettweiler [2018-11-17 05:24:11] 885*2^1531538-1 is not prime. Res64: 70E9C03BA2DD8DC9 Time : 0.0 sec. user=mdettweiler [2018-11-17 05:36:31] 619*2^1531539-1 is not prime. Res64: B4CAA8BB28408894 Time : 0.0 sec. user=mdettweiler [2018-11-17 05:36:31] 703*2^1531539-1 is not prime. Res64: 344FD9303F3AD3DB Time : 0.0 sec. user=mdettweiler [2018-11-17 05:36:32] 801*2^1531539-1 is not prime. Res64: 8801BB5FC0FFBC34 Time : 0.0 sec. user=mdettweiler [2018-11-17 05:36:32] 999*2^1531539-1 is not prime. Res64: 56B78E4B44B29963 Time : 0.0 sec. user=mdettweiler [2018-11-17 05:36:32] 609*2^1531540-1 is not prime. Res64: 7263388B04C4AF4F Time : 0.0 sec. user=mdettweiler [2018-11-17 05:57:44] 629*2^1531540-1 is not prime. Res64: 0AEBB135E92D001D Time : 0.0 sec. user=mdettweiler [2018-11-17 05:57:45] 665*2^1531540-1 is not prime. Res64: D82A862BA65E0270 Time : 0.0 sec. user=mdettweiler [2018-11-17 05:57:45] 607*2^1531541-1 is not prime. Res64: 8294E30888F42964 Time : 0.0 sec. user=mdettweiler [2018-11-17 05:57:45] 657*2^1531542-1 is not prime. Res64: EA2AC3F704225264 Time : 0.0 sec. user=mdettweiler [2018-11-17 05:57:45] 815*2^1531542-1 is not prime. Res64: 42F710B87478C47B Time : 0.0 sec. user=mdettweiler [2018-11-17 06:17:47] 977*2^1531542-1 is not prime. Res64: 20566C2880206685 Time : 0.0 sec. user=mdettweiler [2018-11-17 06:17:48] 639*2^1531543-1 is not prime. Res64: AFE6680319E2A04E Time : 0.0 sec. user=mdettweiler [2018-11-17 06:17:48] 723*2^1531543-1 is not prime. Res64: D5B67306D3431522 Time : 0.0 sec. user=mdettweiler [2018-11-17 06:17:49] 775*2^1531543-1 is not prime. Res64: 5BFBFDC6455F6389 Time : 0.0 sec. user=mdettweiler [2018-11-17 06:17:49] 783*2^1531543-1 is not prime. Res64: 0DCDAD57A9EF256D Time : 0.0 sec. user=mdettweiler [2018-11-17 06:30:12] 805*2^1531543-1 is not prime. Res64: F34E6C93F2C3B0BD Time : 0.0 sec. user=mdettweiler [2018-11-17 06:30:12] 855*2^1531543-1 is not prime. Res64: 7D14DA7F7D2A50FB Time : 0.0 sec. user=mdettweiler [2018-11-17 06:30:12] 885*2^1531543-1 is not prime. Res64: 6C242F06422B137E Time : 0.0 sec. user=mdettweiler [2018-11-17 06:30:12] 889*2^1531543-1 is not prime. Res64: 9A16B7675562D856 Time : 0.0 sec. user=mdettweiler [2018-11-17 06:30:13] 895*2^1531543-1 is not prime. Res64: E49335F3C53EE028 Time : 0.0 sec. user=mdettweiler [2018-11-17 06:51:20] 635*2^1531544-1 is not prime. Res64: 49E06A9B73455416 Time : 0.0 sec. user=mdettweiler [2018-11-17 06:51:21] 687*2^1531544-1 is not prime. Res64: 92D7E2336E36F6E7 Time : 0.0 sec. user=mdettweiler [2018-11-17 06:51:21] 747*2^1531544-1 is not prime. Res64: 60E71CD7F661DF95 Time : 0.0 sec. user=mdettweiler [2018-11-17 06:51:22] 903*2^1531544-1 is not prime. Res64: 1AFC38E2F10EE036 Time : 0.0 sec. user=mdettweiler [2018-11-17 06:51:22] 927*2^1531544-1 is not prime. Res64: 8B04A554F9DA9694 Time : 0.0 sec. user=mdettweiler [2018-11-17 07:12:07] 983*2^1531544-1 is not prime. Res64: D4AE0EA07C5EE584 Time : 0.0 sec. user=mdettweiler [2018-11-17 07:12:08] 679*2^1531545-1 is not prime. Res64: 159D34DE79311538 Time : 0.0 sec. user=mdettweiler [2018-11-17 07:12:08] 739*2^1531545-1 is not prime. Res64: 71D964CE18D287F9 Time : 0.0 sec. user=mdettweiler [2018-11-17 07:12:08] 765*2^1531545-1 is not prime. Res64: 1ADAB673738C5925 Time : 0.0 sec. user=mdettweiler [2018-11-17 07:12:09] 789*2^1531545-1 is not prime. Res64: 702AB6656910AD2A Time : 0.0 sec. user=mdettweiler [2018-11-17 07:23:39] 905*2^1531546-1 is not prime. Res64: EEF685FCC4575E73 Time : 0.0 sec. user=mdettweiler [2018-11-17 07:23:40] 945*2^1531546-1 is not prime. Res64: 0EF76D05DC5C79BB Time : 0.0 sec. user=mdettweiler [2018-11-17 07:23:40] 987*2^1531546-1 is not prime. Res64: A579EC93691B42F3 Time : 0.0 sec. user=mdettweiler [2018-11-17 07:23:40] 673*2^1531547-1 is not prime. Res64: 1144AA75529B2AA2 Time : 0.0 sec. user=mdettweiler [2018-11-17 07:23:41] 675*2^1531547-1 is not prime. Res64: 3C6DD31C773764FF Time : 0.0 sec. user=mdettweiler [2018-11-17 07:44:49] 735*2^1531547-1 is not prime. Res64: 5A51141EF816FE80 Time : 0.0 sec. user=mdettweiler [2018-11-17 07:44:50] 739*2^1531547-1 is not prime. Res64: 16C91CECB326DA00 Time : 0.0 sec. user=mdettweiler [2018-11-17 07:44:50] 841*2^1531547-1 is not prime. Res64: A618C207777FF8CF Time : 0.0 sec. user=mdettweiler [2018-11-17 07:44:51] 889*2^1531547-1 is not prime. Res64: D3BF32DCEA316F17 Time : 0.0 sec. user=mdettweiler [2018-11-17 07:44:51] 909*2^1531547-1 is not prime. Res64: 200A731406BD2AB1 Time : 0.0 sec. user=mdettweiler [2018-11-17 08:02:41] 979*2^1531533-1 is not prime. Res64: 6350538607E8B01A Time : 0.0 sec. user=mdettweiler [2018-11-17 08:02:43] 665*2^1531534-1 is not prime. Res64: 53E5AD9DE4A9C77E Time : 0.0 sec. user=mdettweiler [2018-11-17 08:02:44] 675*2^1531534-1 is not prime. Res64: 37F8F5516A7D794B Time : 0.0 sec. user=mdettweiler [2018-11-17 08:04:30] 979*2^1531547-1 is not prime. Res64: 0392D960A5276210 Time : 0.0 sec. user=mdettweiler [2018-11-17 08:04:31] 981*2^1531547-1 is not prime. Res64: F9C86B776FDFCD1E Time : 0.0 sec. user=mdettweiler [2018-11-17 08:04:32] 663*2^1531548-1 is not prime. Res64: E88594C9C8C3293A Time : 0.0 sec. user=mdettweiler [2018-11-17 08:04:34] 707*2^1531548-1 is not prime. Res64: 936AC75569A26F66 Time : 0.0 sec. user=mdettweiler [2018-11-17 08:04:36] 783*2^1531548-1 is not prime. Res64: F237A21DD15E9172 Time : 0.0 sec. user=mdettweiler [2018-11-17 08:15:53] 915*2^1531548-1 is not prime. Res64: 0EE3EC688226532A Time : 0.0 sec. user=mdettweiler [2018-11-17 08:15:53] 927*2^1531548-1 is not prime. Res64: A477D3041F705001 Time : 0.0 sec. user=mdettweiler [2018-11-17 08:15:54] 993*2^1531548-1 is not prime. Res64: 13FBBCAE77BC667A Time : 0.0 sec. user=mdettweiler [2018-11-17 08:15:54] 661*2^1531549-1 is not prime. Res64: 514219086CBF1CC2 Time : 0.0 sec. user=mdettweiler [2018-11-17 08:15:55] 729*2^1531549-1 is not prime. Res64: 0342E532CB6C8323 Time : 0.0 sec. user=mdettweiler [2018-11-17 08:36:49] 747*2^1531549-1 is not prime. Res64: 0E686E733CF4D4B6 Time : 0.0 sec. user=mdettweiler [2018-11-17 08:36:49] 757*2^1531549-1 is not prime. Res64: AED08417C0BE3203 Time : 0.0 sec. user=mdettweiler [2018-11-17 08:36:50] 769*2^1531549-1 is not prime. Res64: BD00344677D4EA07 Time : 0.0 sec. user=mdettweiler [2018-11-17 08:36:50] 867*2^1531549-1 is not prime. Res64: 5194A6966E970141 Time : 0.0 sec. user=mdettweiler [2018-11-17 08:36:50] 939*2^1531549-1 is not prime. Res64: BC3FE97BB328C471 Time : 0.0 sec. user=mdettweiler [2018-11-17 08:54:21] 945*2^1531549-1 is not prime. Res64: 338D4702834D453F Time : 0.0 sec. user=mdettweiler [2018-11-17 08:54:21] 675*2^1531550-1 is not prime. Res64: E840EBC343A2242F Time : 0.0 sec. user=mdettweiler [2018-11-17 08:54:22] 713*2^1531550-1 is not prime. Res64: F2BD866459547FB6 Time : 0.0 sec. user=mdettweiler [2018-11-17 08:54:22] 797*2^1531550-1 is not prime. Res64: 378890F93823319B Time : 0.0 sec. user=mdettweiler [2018-11-17 08:54:22] 833*2^1531550-1 is not prime. Res64: FA6D266C9D5AB141 Time : 0.0 sec. user=mdettweiler [2018-11-17 08:56:32] 927*2^1531550-1 is not prime. Res64: 76339A1606BDE9F0 Time : 0.0 sec. user=mdettweiler [2018-11-17 08:56:32] 981*2^1531550-1 is not prime. Res64: F9C653B9099F9029 Time : 0.0 sec. user=mdettweiler [2018-11-17 08:56:32] 691*2^1531551-1 is not prime. Res64: 5E2AF55349E706F2 Time : 0.0 sec. user=mdettweiler [2018-11-17 08:56:32] 705*2^1531551-1 is not prime. Res64: 9DB4AD1F87A07862 Time : 0.0 sec. user=mdettweiler [2018-11-17 08:56:33] 709*2^1531551-1 is not prime. Res64: BFBFD9B72A8A63B9 Time : 0.0 sec. user=mdettweiler [2018-11-17 09:07:24] 723*2^1531551-1 is not prime. Res64: 7D2B7493ADE21849 Time : 0.0 sec. user=mdettweiler [2018-11-17 09:07:25] 735*2^1531551-1 is not prime. Res64: 1A4B0B8A73B0966E Time : 0.0 sec. user=mdettweiler [2018-11-17 09:07:25] 739*2^1531551-1 is not prime. Res64: 5E9B46FD0202ADE1 Time : 0.0 sec. user=mdettweiler [2018-11-17 09:07:25] 769*2^1531551-1 is not prime. Res64: 182FDA5713345272 Time : 0.0 sec. user=mdettweiler [2018-11-17 09:07:26] 825*2^1531551-1 is not prime. Res64: 9498B94AAC8B12B0 Time : 0.0 sec. user=mdettweiler [2018-11-17 09:28:23] 909*2^1531551-1 is not prime. Res64: 6824A6B7C06A04CE Time : 0.0 sec. user=mdettweiler [2018-11-17 09:28:24] 979*2^1531551-1 is not prime. Res64: 099BF3EA742F8250 Time : 0.0 sec. user=mdettweiler [2018-11-17 09:28:24] 639*2^1531552-1 is not prime. Res64: F7BD62EBBC47AB22 Time : 0.0 sec. user=mdettweiler [2018-11-17 09:28:24] 675*2^1531552-1 is not prime. Res64: 18853E1A8EF272A5 Time : 0.0 sec. user=mdettweiler [2018-11-17 09:28:25] 695*2^1531552-1 is not prime. Res64: 7EE391128BE8C82F Time : 0.0 sec. user=mdettweiler [2018-11-17 09:45:39] 759*2^1531552-1 is not prime. Res64: CCF9CF5CB91693B7 Time : 0.0 sec. user=mdettweiler [2018-11-17 09:45:39] 797*2^1531552-1 is not prime. Res64: 5FD8B77D6E3C0A54 Time : 0.0 sec. user=mdettweiler [2018-11-17 09:45:39] 827*2^1531552-1 is not prime. Res64: 6F5D25BA476C54F2 Time : 0.0 sec. user=mdettweiler [2018-11-17 09:45:40] 863*2^1531552-1 is not prime. Res64: 06E24F549E1DE5C0 Time : 0.0 sec. user=mdettweiler [2018-11-17 09:45:40] 861*2^1531553-1 is not prime. Res64: FD669E30DFCF7577 Time : 0.0 sec. user=mdettweiler [2018-11-17 09:47:49] 879*2^1531553-1 is not prime. Res64: 445EE4E4ABAC0DF4 Time : 0.0 sec. user=mdettweiler [2018-11-17 09:47:50] 611*2^1531554-1 is not prime. Res64: DE4BA1A9C8F143A3 Time : 0.0 sec. user=mdettweiler [2018-11-17 09:47:50] 791*2^1531554-1 is not prime. Res64: B7656A7827EE6CCC Time : 0.0 sec. user=mdettweiler [2018-11-17 09:47:50] 873*2^1531554-1 is not prime. Res64: 7B2379C23EF38398 Time : 0.0 sec. user=mdettweiler [2018-11-17 09:47:51] 945*2^1531554-1 is not prime. Res64: AA01CF4CE94C8F8A Time : 0.0 sec. user=mdettweiler [2018-11-17 09:59:06] 947*2^1531554-1 is not prime. Res64: D75B911C4F016644 Time : 0.0 sec. user=mdettweiler [2018-11-17 09:59:06] 951*2^1531554-1 is not prime. Res64: CB6B040184D58295 Time : 0.0 sec. user=mdettweiler [2018-11-17 09:59:07] 625*2^1531555-1 is not prime. Res64: 4BA5C8BA5035DFCE Time : 0.0 sec. user=mdettweiler [2018-11-17 09:59:07] 705*2^1531555-1 is not prime. Res64: 7A134982F27789D7 Time : 0.0 sec. user=mdettweiler [2018-11-17 09:59:07] 735*2^1531555-1 is not prime. Res64: 4EB47FD43397D1F4 Time : 0.0 sec. user=mdettweiler [2018-11-17 10:20:37] 741*2^1531555-1 is not prime. Res64: 9C402C35C864A9A2 Time : 0.0 sec. user=mdettweiler [2018-11-17 10:20:37] 961*2^1531555-1 is not prime. Res64: 737A17436A163FA4 Time : 0.0 sec. user=mdettweiler [2018-11-17 10:20:37] 647*2^1531556-1 is not prime. Res64: C81601BCC97EC626 Time : 0.0 sec. user=mdettweiler [2018-11-17 10:20:38] 669*2^1531556-1 is not prime. Res64: 55AA7943C889811E Time : 0.0 sec. user=mdettweiler [2018-11-17 10:20:38] 813*2^1531556-1 is not prime. Res64: 89BEB64113956F1B Time : 0.0 sec. user=mdettweiler [2018-11-17 10:38:21] 833*2^1531556-1 is not prime. Res64: AFF83DAA69CD658F Time : 0.0 sec. user=mdettweiler [2018-11-17 10:38:22] 873*2^1531556-1 is not prime. Res64: C66B4F8BC3CBFB38 Time : 0.0 sec. user=mdettweiler [2018-11-17 10:38:22] 897*2^1531556-1 is not prime. Res64: 379244267625D8AE Time : 0.0 sec. user=mdettweiler [2018-11-17 10:38:23] 909*2^1531556-1 is not prime. Res64: 671948D94FDC3BB7 Time : 0.0 sec. user=mdettweiler [2018-11-17 10:38:23] 999*2^1531556-1 is not prime. Res64: 846B805451E4B60F Time : 0.0 sec. user=mdettweiler [2018-11-17 10:40:40] 609*2^1531557-1 is not prime. Res64: 8A778F7EF706B655 Time : 0.0 sec. user=mdettweiler [2018-11-17 10:40:40] 627*2^1531557-1 is not prime. Res64: F8A277A96C16873E Time : 0.0 sec. user=mdettweiler [2018-11-17 10:40:41] 681*2^1531557-1 is not prime. Res64: B7F43BC36201C0D1 Time : 0.0 sec. user=mdettweiler [2018-11-17 10:40:41] 741*2^1531557-1 is not prime. Res64: 9B2A14B2BBA75267 Time : 0.0 sec. user=mdettweiler [2018-11-17 10:40:41] 825*2^1531557-1 is not prime. Res64: 7D08C3B3F51F8559 Time : 0.0 sec. user=mdettweiler [2018-11-17 10:50:49] 821*2^1531558-1 is not prime. Res64: 9DA2C4ECD0616980 Time : 0.0 sec. user=mdettweiler [2018-11-17 10:50:49] 827*2^1531558-1 is not prime. Res64: 34050F0ADF3A37D4 Time : 0.0 sec. user=mdettweiler [2018-11-17 10:50:49] 857*2^1531558-1 is not prime. Res64: C3D193B994E09879 Time : 0.0 sec. user=mdettweiler [2018-11-17 10:50:50] 897*2^1531558-1 is not prime. Res64: 2375DEEDB8C329AF Time : 0.0 sec. user=mdettweiler [2018-11-17 10:50:50] 971*2^1531558-1 is not prime. Res64: 56D8D12CBFCE5CC6 Time : 0.0 sec. user=mdettweiler [2018-11-17 11:12:02] 619*2^1531559-1 is not prime. Res64: E4A1A7C76915537F Time : 0.0 sec. user=mdettweiler [2018-11-17 11:12:02] 669*2^1531559-1 is not prime. Res64: 48C8274CD09A7647 Time : 0.0 sec. user=mdettweiler [2018-11-17 11:12:03] 861*2^1531559-1 is not prime. Res64: 81DE0BE9F0255DDA Time : 0.0 sec. user=mdettweiler [2018-11-17 11:12:03] 623*2^1531560-1 is not prime. Res64: 28AAEFF917535517 Time : 0.0 sec. user=mdettweiler [2018-11-17 11:12:03] 717*2^1531560-1 is not prime. Res64: 6E814FE8738513AB Time : 0.0 sec. user=mdettweiler [2018-11-17 11:29:58] 759*2^1531560-1 is not prime. Res64: AB8A3D21ED357A04 Time : 0.0 sec. user=mdettweiler [2018-11-17 11:29:58] 879*2^1531560-1 is not prime. Res64: B24AE9C6CF9947D8 Time : 0.0 sec. user=mdettweiler [2018-11-17 11:29:59] 929*2^1531560-1 is not prime. Res64: B29F499A1EA39521 Time : 0.0 sec. user=mdettweiler [2018-11-17 11:29:59] 639*2^1531561-1 is not prime. Res64: E380D509B7B0999D Time : 0.0 sec. user=mdettweiler [2018-11-17 11:29:59] 741*2^1531561-1 is not prime. Res64: FC7D820C6F6080F7 Time : 0.0 sec. user=mdettweiler [2018-11-17 11:32:14] 789*2^1531561-1 is not prime. Res64: C05C561DE28D3386 Time : 0.0 sec. user=mdettweiler [2018-11-17 11:32:15] 799*2^1531561-1 is not prime. Res64: 454F2309A2B37395 Time : 0.0 sec. user=mdettweiler [2018-11-17 11:32:15] 909*2^1531561-1 is not prime. Res64: 02EAEFBA43C4E838 Time : 0.0 sec. user=mdettweiler [2018-11-17 11:32:15] 955*2^1531561-1 is not prime. Res64: F0CA229F6BFECCEE Time : 0.0 sec. user=mdettweiler [2018-11-17 11:32:16] 979*2^1531561-1 is not prime. Res64: 75BDA47004E0CEAD Time : 0.0 sec. user=mdettweiler [2018-11-17 11:42:48] 999*2^1531561-1 is not prime. Res64: 5501C2A4A1D0A31F Time : 0.0 sec. user=mdettweiler [2018-11-17 11:42:49] 635*2^1531562-1 is not prime. Res64: 806F62C158FC3633 Time : 0.0 sec. user=mdettweiler [2018-11-17 11:42:50] 657*2^1531562-1 is not prime. Res64: 6D4576C3ECFE0F22 Time : 0.0 sec. user=mdettweiler [2018-11-17 11:42:50] 731*2^1531562-1 is not prime. Res64: A7C0165321601C85 Time : 0.0 sec. user=mdettweiler [2018-11-17 11:42:51] 887*2^1531562-1 is not prime. Res64: 8DBE1EF30CD347A6 Time : 0.0 sec. user=mdettweiler [2018-11-17 12:03:44] 903*2^1531562-1 is not prime. Res64: C31358B22A05067A Time : 0.0 sec. user=mdettweiler [2018-11-17 12:03:46] 941*2^1531562-1 is not prime. Res64: EA8938F6EB6DCD9D Time : 0.0 sec. user=mdettweiler [2018-11-17 12:03:49] 977*2^1531562-1 is not prime. Res64: 1DF6F568550CE6B5 Time : 0.0 sec. user=mdettweiler [2018-11-17 12:03:51] 663*2^1531563-1 is not prime. Res64: B95B8F842BFDD62E Time : 0.0 sec. user=mdettweiler [2018-11-17 12:03:53] 709*2^1531563-1 is not prime. Res64: 1806F55D98E1D8B4 Time : 0.0 sec. user=mdettweiler [2018-11-17 12:21:49] 751*2^1531563-1 is not prime. Res64: CA76CB6FDF123CF5 Time : 0.0 sec. user=mdettweiler [2018-11-17 12:21:51] 793*2^1531563-1 is not prime. Res64: BDC5EDAD1FF4345B Time : 0.0 sec. user=mdettweiler [2018-11-17 12:21:52] 801*2^1531563-1 is not prime. Res64: 8981D0A8AC33B861 Time : 0.0 sec. user=mdettweiler [2018-11-17 12:21:53] 853*2^1531563-1 is not prime. Res64: 10DB39CF1652A19B Time : 0.0 sec. user=mdettweiler [2018-11-17 12:21:54] 687*2^1531564-1 is not prime. Res64: CE5873D7C6A0143E Time : 0.0 sec. user=mdettweiler [2018-11-17 12:25:48] 719*2^1531564-1 is not prime. Res64: AE2F35328AE999E3 Time : 0.0 sec. user=mdettweiler [2018-11-17 12:25:48] 803*2^1531564-1 is not prime. Res64: 7D0F8BAFF80C7A65 Time : 0.0 sec. user=mdettweiler [2018-11-17 12:25:49] 843*2^1531564-1 is not prime. Res64: F232CBBD02194D25 Time : 0.0 sec. user=mdettweiler [2018-11-17 12:25:49] 899*2^1531564-1 is not prime. Res64: 79C1B0EA74E4DA47 Time : 0.0 sec. user=mdettweiler [2018-11-17 12:25:49] 903*2^1531564-1 is not prime. Res64: 9A65DC376EBAE0AE Time : 0.0 sec. user=mdettweiler [2018-11-17 12:34:22] 989*2^1531564-1 is not prime. Res64: 70D1AE47DF56C9FE Time : 0.0 sec. user=mdettweiler [2018-11-17 12:34:22] 717*2^1531565-1 is not prime. Res64: 5EBB81D07D22E3A3 Time : 0.0 sec. user=mdettweiler [2018-11-17 12:34:23] 721*2^1531565-1 is not prime. Res64: C264FF4723D5E4F0 Time : 0.0 sec. user=mdettweiler [2018-11-17 12:34:23] 861*2^1531565-1 is not prime. Res64: 3D8D8AB0D8615527 Time : 0.0 sec. user=mdettweiler [2018-11-17 12:34:24] 987*2^1531565-1 is not prime. Res64: CCB1412844122471 Time : 0.0 sec. user=mdettweiler [2018-11-17 12:55:45] 677*2^1531566-1 is not prime. Res64: 5C81A34A643DB8CA Time : 0.0 sec. user=mdettweiler [2018-11-17 12:55:45] 801*2^1531566-1 is not prime. Res64: 9F51DAED51E2C826 Time : 0.0 sec. user=mdettweiler [2018-11-17 12:55:46] 807*2^1531566-1 is not prime. Res64: 1C675E293BFD8E29 Time : 0.0 sec. user=mdettweiler [2018-11-17 12:55:46] 833*2^1531566-1 is not prime. Res64: 1EB620E403CC820E Time : 0.0 sec. user=mdettweiler [2018-11-17 12:55:46] 917*2^1531566-1 is not prime. Res64: 6FA4757CF552EF18 Time : 0.0 sec. user=mdettweiler [2018-11-17 13:13:41] 975*2^1531566-1 is not prime. Res64: D4A77923D7BBB2E0 Time : 0.0 sec. user=mdettweiler [2018-11-17 13:13:42] 645*2^1531567-1 is not prime. Res64: 77D52C987C0E6C5C Time : 0.0 sec. user=mdettweiler [2018-11-17 13:13:43] 681*2^1531567-1 is not prime. Res64: 3BC3091B033DECC2 Time : 0.0 sec. user=mdettweiler [2018-11-17 13:13:44] 685*2^1531567-1 is not prime. Res64: D472CB12AE1D6E99 Time : 0.0 sec. user=mdettweiler [2018-11-17 13:13:45] 741*2^1531567-1 is not prime. Res64: 457865E7CCA7496B Time : 0.0 sec. user=mdettweiler [2018-11-17 13:17:08] 759*2^1531567-1 is not prime. Res64: 652B0F2CB407D05B Time : 0.0 sec. user=mdettweiler [2018-11-17 13:17:08] 765*2^1531567-1 is not prime. Res64: ACBF97E59057BEA7 Time : 0.0 sec. user=mdettweiler [2018-11-17 13:17:08] 859*2^1531567-1 is not prime. Res64: D1A91267EC9017B7 Time : 0.0 sec. user=mdettweiler [2018-11-17 13:17:09] 871*2^1531567-1 is not prime. Res64: 11A488ABBE5397D0 Time : 0.0 sec. user=mdettweiler [2018-11-17 13:17:09] 909*2^1531567-1 is not prime. Res64: 32218B93AC229207 Time : 0.0 sec. user=mdettweiler [2018-11-17 13:25:59] 975*2^1531567-1 is not prime. Res64: 2E96EA0234C85C2A Time : 0.0 sec. user=mdettweiler [2018-11-17 13:25:59] 617*2^1531568-1 is not prime. Res64: EB6C9EF0A081D442 Time : 0.0 sec. user=mdettweiler [2018-11-17 13:26:00] 725*2^1531568-1 is not prime. Res64: C077292F57EC53CF Time : 0.0 sec. user=mdettweiler [2018-11-17 13:26:00] 813*2^1531568-1 is not prime. Res64: 3F4C75F7FF791D32 Time : 0.0 sec. user=mdettweiler [2018-11-17 13:26:00] 999*2^1531568-1 is not prime. Res64: 6AD4502F11C64F24 Time : 0.0 sec. user=mdettweiler [2018-11-17 13:47:36] 625*2^1531569-1 is not prime. Res64: 44484C8CFD971352 Time : 0.0 sec. user=mdettweiler [2018-11-17 13:47:37] 649*2^1531569-1 is not prime. Res64: 1D023D45A4EF27B9 Time : 0.0 sec. user=mdettweiler [2018-11-17 13:47:37] 807*2^1531569-1 is not prime. Res64: 4A3BEBB6448BE2A5 Time : 0.0 sec. user=mdettweiler [2018-11-17 13:47:37] 811*2^1531569-1 is not prime. Res64: D078011D3F415163 Time : 0.0 sec. user=mdettweiler [2018-11-17 13:47:38] 635*2^1531570-1 is not prime. Res64: F1ED8A741230B72C Time : 0.0 sec. user=mdettweiler [2018-11-17 14:05:20] 651*2^1531570-1 is not prime. Res64: 6CC4FF00220E1235 Time : 0.0 sec. user=mdettweiler [2018-11-17 14:05:22] 687*2^1531570-1 is not prime. Res64: 257CEF860D155FD1 Time : 0.0 sec. user=mdettweiler [2018-11-17 14:05:24] 773*2^1531570-1 is not prime. Res64: 968ACA94CC7AC164 Time : 0.0 sec. user=mdettweiler [2018-11-17 14:05:26] 933*2^1531570-1 is not prime. Res64: 09ADCF5E0B790B88 Time : 0.0 sec. user=mdettweiler [2018-11-17 14:05:27] 735*2^1531571-1 is not prime. Res64: 1287A9CDD12A77F6 Time : 0.0 sec. user=mdettweiler [2018-11-17 14:08:40] 783*2^1531571-1 is not prime. Res64: F3423138C5CAF4EC Time : 0.0 sec. user=mdettweiler [2018-11-17 14:08:43] 879*2^1531571-1 is not prime. Res64: 96476953679FA768 Time : 0.0 sec. user=mdettweiler [2018-11-17 14:08:45] 909*2^1531571-1 is not prime. Res64: 68E570CF116BD74C Time : 0.0 sec. user=mdettweiler [2018-11-17 14:08:47] 981*2^1531571-1 is not prime. Res64: CE71298E8CD8A0E9 Time : 0.0 sec. user=mdettweiler [2018-11-17 14:08:48] 693*2^1531572-1 is not prime. Res64: BD15FAE689C760D9 Time : 0.0 sec. user=mdettweiler [2018-11-17 14:17:49] 767*2^1531572-1 is not prime. Res64: CBB9AE2A4AC89EB7 Time : 0.0 sec. user=mdettweiler [2018-11-17 14:17:50] 819*2^1531572-1 is not prime. Res64: 1EF770BD339254B3 Time : 0.0 sec. user=mdettweiler [2018-11-17 14:17:50] 887*2^1531572-1 is not prime. Res64: 5E835914E51B7377 Time : 0.0 sec. user=mdettweiler [2018-11-17 14:17:51] 615*2^1531573-1 is not prime. Res64: 2FED4007CCB25258 Time : 0.0 sec. user=mdettweiler [2018-11-17 14:17:52] 651*2^1531573-1 is not prime. Res64: 1D8581224EEA0590 Time : 0.0 sec. user=mdettweiler [2018-11-17 14:39:47] 745*2^1531573-1 is not prime. Res64: 40318472ECC51620 Time : 0.0 sec. user=mdettweiler [2018-11-17 14:39:48] 859*2^1531573-1 is not prime. Res64: 281425A10D013976 Time : 0.0 sec. user=mdettweiler [2018-11-17 14:39:48] 861*2^1531573-1 is not prime. Res64: 1CF372AB8F5A63D8 Time : 0.0 sec. user=mdettweiler [2018-11-17 14:39:49] 867*2^1531573-1 is not prime. Res64: F4121B937CE8EC64 Time : 0.0 sec. user=mdettweiler [2018-11-17 14:39:49] 897*2^1531573-1 is not prime. Res64: 2A41837FD07F73F1 Time : 0.0 sec. user=mdettweiler [2018-11-17 14:58:17] 955*2^1531573-1 is not prime. Res64: 482869A1BDC2ABD8 Time : 0.0 sec. user=mdettweiler [2018-11-17 14:58:18] 615*2^1531574-1 is not prime. Res64: 38527FE256DC8A09 Time : 0.0 sec. user=mdettweiler [2018-11-17 14:58:19] 635*2^1531574-1 is not prime. Res64: 641C5794DC2EF2DF Time : 0.0 sec. user=mdettweiler [2018-11-17 14:58:20] 651*2^1531574-1 is not prime. Res64: FBA6FB62B1ECACCC Time : 0.0 sec. user=mdettweiler [2018-11-17 14:58:22] 665*2^1531574-1 is not prime. Res64: 7C3F575AD95957CB Time : 0.0 sec. user=mdettweiler [2018-11-17 15:01:11] 677*2^1531574-1 is not prime. Res64: AD553CB3989DD3A4 Time : 0.0 sec. user=mdettweiler [2018-11-17 15:01:13] 791*2^1531574-1 is not prime. Res64: 3FBA0203BA74E4D8 Time : 0.0 sec. user=mdettweiler [2018-11-17 15:01:15] 873*2^1531574-1 is not prime. Res64: C098962645CA5AE0 Time : 0.0 sec. user=mdettweiler [2018-11-17 15:01:16] 945*2^1531574-1 is not prime. Res64: 5E780F30B4B6E413 Time : 0.0 sec. user=mdettweiler [2018-11-17 15:01:53] 619*2^1531575-1 is not prime. Res64: 27467B5241D9CD80 Time : 0.0 sec. user=mdettweiler [2018-11-17 15:10:18] 625*2^1531575-1 is not prime. Res64: CC27725C9F87E3EE Time : 0.0 sec. user=mdettweiler [2018-11-17 15:10:18] 709*2^1531575-1 is not prime. Res64: 432FBEF9120760D0 Time : 0.0 sec. user=mdettweiler [2018-11-17 15:10:19] 933*2^1531575-1 is not prime. Res64: 9DE21353F7C9E3E6 Time : 0.0 sec. user=mdettweiler [2018-11-17 15:10:19] 615*2^1531576-1 is not prime. Res64: 871BE251F5CF158E Time : 0.0 sec. user=mdettweiler [2018-11-17 15:10:20] 645*2^1531576-1 is not prime. Res64: A30262CE2773400B Time : 0.0 sec. user=mdettweiler [2018-11-17 15:32:17] 755*2^1531576-1 is not prime. Res64: 68258C849BBF54A8 Time : 0.0 sec. user=mdettweiler [2018-11-17 15:32:17] 905*2^1531576-1 is not prime. Res64: 61AA83113F6C7AD6 Time : 0.0 sec. user=mdettweiler [2018-11-17 15:32:18] 933*2^1531576-1 is not prime. Res64: 27E74D0FFF3B86DD Time : 0.0 sec. user=mdettweiler [2018-11-17 15:32:18] 983*2^1531576-1 is not prime. Res64: 6D31BE5F9399E3FA Time : 0.0 sec. user=mdettweiler [2018-11-17 15:32:18] 631*2^1531577-1 is not prime. Res64: 4C519DAE138B0BFC Time : 0.0 sec. user=mdettweiler [2018-11-17 15:50:34] 711*2^1531577-1 is not prime. Res64: 92118A67B4123D5A Time : 0.0 sec. user=mdettweiler [2018-11-17 15:50:35] 771*2^1531577-1 is not prime. Res64: BC1B57A05F1BF2B9 Time : 0.0 sec. user=mdettweiler [2018-11-17 15:50:35] 819*2^1531577-1 is not prime. Res64: B3D6E7680933C17F Time : 0.0 sec. user=mdettweiler [2018-11-17 15:50:36] 627*2^1531578-1 is not prime. Res64: 34DE8E8AE170B238 Time : 0.0 sec. user=mdettweiler [2018-11-17 15:50:36] 647*2^1531578-1 is not prime. Res64: EEBF514F952288A7 Time : 0.0 sec. user=mdettweiler [2018-11-17 16:02:50] 747*2^1531578-1 is not prime. Res64: 7923293EB60B11ED Time : 0.0 sec. user=mdettweiler [2018-11-17 16:02:52] 603*2^1531579-1 is not prime. Res64: 1F60F256B75BA0BB Time : 0.0 sec. user=mdettweiler [2018-11-17 16:02:52] 745*2^1531579-1 is not prime. Res64: B16A83B183048585 Time : 0.0 sec. user=mdettweiler [2018-11-17 16:02:54] 789*2^1531579-1 is not prime. Res64: E2BEE16B505BB4F8 Time : 0.0 sec. user=mdettweiler [2018-11-17 16:02:55] 793*2^1531579-1 is not prime. Res64: FBD6766D23BB4C6D Time : 0.0 sec. user=mdettweiler [2018-11-17 16:24:25] 801*2^1531579-1 is not prime. Res64: 7859EE3489E55549 Time : 0.0 sec. user=mdettweiler [2018-11-17 16:24:25] 993*2^1531579-1 is not prime. Res64: 58CBA52BAB76239B Time : 0.0 sec. user=mdettweiler [2018-11-17 16:24:26] 647*2^1531580-1 is not prime. Res64: F57EDD141ECA356B Time : 0.0 sec. user=mdettweiler [2018-11-17 16:24:26] 669*2^1531580-1 is not prime. Res64: 24B27E00F71B3458 Time : 0.0 sec. user=mdettweiler [2018-11-17 16:24:27] 675*2^1531580-1 is not prime. Res64: 088D4D486F335B13 Time : 0.0 sec. user=mdettweiler [2018-11-17 16:43:34] 785*2^1531580-1 is not prime. Res64: 1010B5B578EF429F Time : 0.0 sec. user=mdettweiler [2018-11-17 16:43:34] 977*2^1531580-1 is not prime. Res64: DF775FBE42C9CA48 Time : 0.0 sec. user=mdettweiler [2018-11-17 16:43:35] 983*2^1531580-1 is not prime. Res64: C25FABC1747B1771 Time : 0.0 sec. user=mdettweiler [2018-11-17 16:43:35] 999*2^1531580-1 is not prime. Res64: 5E9B49FF520E71F9 Time : 0.0 sec. user=mdettweiler [2018-11-17 16:43:35] 607*2^1531581-1 is not prime. Res64: B4DC5A56281A80F2 Time : 0.0 sec. user=mdettweiler [2018-11-17 16:55:32] 661*2^1531581-1 is not prime. Res64: E1351C882EC3CB8F Time : 0.0 sec. user=mdettweiler [2018-11-17 16:55:33] 747*2^1531581-1 is not prime. Res64: 77C6F581E0122EC7 Time : 0.0 sec. user=mdettweiler [2018-11-17 16:55:33] 781*2^1531581-1 is not prime. Res64: D1CDFAF4812F1A51 Time : 0.0 sec. user=mdettweiler [2018-11-17 16:55:33] 847*2^1531581-1 is not prime. Res64: B1C6388EF36313CC Time : 0.0 sec. user=mdettweiler [2018-11-17 16:55:34] 865*2^1531581-1 is not prime. Res64: 37B77F6E37C53193 Time : 0.0 sec. user=mdettweiler [2018-11-17 17:16:48] 907*2^1531581-1 is not prime. Res64: 0BA27351A2BD7AB3 Time : 0.0 sec. user=mdettweiler [2018-11-17 17:16:49] 937*2^1531581-1 is not prime. Res64: 12BD2C7D0A18CD3C Time : 0.0 sec. user=mdettweiler [2018-11-17 17:16:49] 621*2^1531582-1 is not prime. Res64: 23D5C6BC8BC4E0D6 Time : 0.0 sec. user=mdettweiler [2018-11-17 17:16:49] 623*2^1531582-1 is not prime. Res64: 6BB9AFEEC2388035 Time : 0.0 sec. user=mdettweiler [2018-11-17 17:16:50] 681*2^1531582-1 is not prime. Res64: 035D2582BA1E4700 Time : 0.0 sec. user=mdettweiler [2018-11-17 17:36:00] 731*2^1531582-1 is not prime. Res64: 7D06C6B7350FE193 Time : 0.0 sec. user=mdettweiler [2018-11-17 17:36:01] 755*2^1531582-1 is not prime. Res64: D80CB33E55022C25 Time : 0.0 sec. user=mdettweiler [2018-11-17 17:36:01] 887*2^1531582-1 is not prime. Res64: 1DCBEE2874B8E7F1 Time : 0.0 sec. user=mdettweiler [2018-11-17 17:36:01] 947*2^1531582-1 is not prime. Res64: 800512946FC75193 Time : 0.0 sec. user=mdettweiler [2018-11-17 17:36:02] 669*2^1531583-1 is not prime. Res64: 0DB02EAA4DE59A0B Time : 0.0 sec. user=mdettweiler [2018-11-17 17:47:34] 823*2^1531583-1 is not prime. Res64: 54534D21E5FD89F2 Time : 0.0 sec. user=mdettweiler [2018-11-17 17:47:34] 829*2^1531583-1 is not prime. Res64: C449D4FEA8F70DDB Time : 0.0 sec. user=mdettweiler [2018-11-17 17:47:34] 737*2^1531584-1 is not prime. Res64: 10BE34A6EA426F99 Time : 0.0 sec. user=mdettweiler [2018-11-17 17:47:35] 753*2^1531584-1 is not prime. Res64: EF3071A722AF04FD Time : 0.0 sec. user=mdettweiler [2018-11-17 17:47:35] 767*2^1531584-1 is not prime. Res64: 7C18D2CC2D58FB69 Time : 0.0 sec. user=mdettweiler [2018-11-17 18:08:54] 915*2^1531584-1 is not prime. Res64: EF7638E6793C6ECD Time : 0.0 sec. user=mdettweiler [2018-11-17 18:08:55] 927*2^1531584-1 is not prime. Res64: D14131E9848C3B7F Time : 0.0 sec. user=mdettweiler [2018-11-17 18:08:55] 601*2^1531585-1 is not prime. Res64: 62F1EA6C0BC2A9EF Time : 0.0 sec. user=mdettweiler [2018-11-17 18:08:56] 661*2^1531585-1 is not prime. Res64: 71F610E904809A42 Time : 0.0 sec. user=mdettweiler [2018-11-17 18:08:56] 721*2^1531585-1 is not prime. Res64: AE11D2CB217013D3 Time : 0.0 sec. user=mdettweiler [2018-11-17 18:28:50] 727*2^1531585-1 is not prime. Res64: 401E7DED78CD4AA5 Time : 0.0 sec. user=mdettweiler [2018-11-17 18:28:51] 765*2^1531585-1 is not prime. Res64: BC00ACC8C2E23D32 Time : 0.0 sec. user=mdettweiler [2018-11-17 18:28:51] 801*2^1531585-1 is not prime. Res64: B90295529FA853DA Time : 0.0 sec. user=mdettweiler [2018-11-17 18:28:52] 811*2^1531585-1 is not prime. Res64: 4102A5FF85B793A9 Time : 0.0 sec. user=mdettweiler [2018-11-17 18:28:52] 831*2^1531585-1 is not prime. Res64: 8B4033528C985410 Time : 0.0 sec. user=mdettweiler [2018-11-17 18:39:45] 895*2^1531585-1 is not prime. Res64: 52D97E52A64EABEC Time : 0.0 sec. user=mdettweiler [2018-11-17 18:39:45] 939*2^1531585-1 is not prime. Res64: 0E2A2785337A32F3 Time : 0.0 sec. user=mdettweiler [2018-11-17 18:39:46] 615*2^1531586-1 is not prime. Res64: E00004D68BD8D021 Time : 0.0 sec. user=mdettweiler [2018-11-17 18:39:46] 837*2^1531586-1 is not prime. Res64: 6A4CA1A3E87EDBD1 Time : 0.0 sec. user=mdettweiler [2018-11-17 18:39:46] 893*2^1531586-1 is not prime. Res64: 97C36C0B472FC40B Time : 0.0 sec. user=mdettweiler [2018-11-17 19:01:17] 921*2^1531586-1 is not prime. Res64: CE3C40E6D279E780 Time : 0.0 sec. user=mdettweiler [2018-11-17 19:01:18] 945*2^1531586-1 is not prime. Res64: B26407710AB8F1B0 Time : 0.0 sec. user=mdettweiler [2018-11-17 19:01:21] 649*2^1531587-1 is not prime. Res64: E16D6A0A817AD775 Time : 0.0 sec. user=mdettweiler [2018-11-17 19:01:22] 691*2^1531587-1 is not prime. Res64: C4A3F059DF44E2E7 Time : 0.0 sec. user=mdettweiler [2018-11-17 19:01:24] 751*2^1531587-1 is not prime. Res64: C1AD2989C1F5AA18 Time : 0.0 sec. user=mdettweiler [2018-11-17 19:20:26] 775*2^1531587-1 is not prime. Res64: F9459FB5DABC7764 Time : 0.0 sec. user=mdettweiler [2018-11-17 19:20:26] 805*2^1531587-1 is not prime. Res64: 4C4EF690253ECD0C Time : 0.0 sec. user=mdettweiler [2018-11-17 19:20:27] 823*2^1531587-1 is not prime. Res64: F52C5243140FC83F Time : 0.0 sec. user=mdettweiler [2018-11-17 19:20:27] 871*2^1531587-1 is not prime. Res64: 0F60E34DDD0C0C14 Time : 0.0 sec. user=mdettweiler [2018-11-17 19:20:28] 891*2^1531587-1 is not prime. Res64: D1BB6FEB23A498FF Time : 0.0 sec. user=mdettweiler [2018-11-17 19:31:20] 827*2^1531588-1 is not prime. Res64: CC3086F6953D3620 Time : 0.0 sec. user=mdettweiler [2018-11-17 19:31:21] 855*2^1531588-1 is not prime. Res64: 7861BD2D25040375 Time : 0.0 sec. user=mdettweiler [2018-11-17 19:31:21] 929*2^1531588-1 is not prime. Res64: 4528DA3AE316654E Time : 0.0 sec. user=mdettweiler [2018-11-17 19:31:22] 631*2^1531589-1 is not prime. Res64: BACDFCB0FF96DD3C Time : 0.0 sec. user=mdettweiler [2018-11-17 19:31:22] 645*2^1531589-1 is not prime. Res64: D2560765B93167CC Time : 0.0 sec. user=mdettweiler [2018-11-17 19:45:16] 829*2^1531589-1 is not prime. Res64: 61DB46959B7C86C4 Time : 0.0 sec. user=mdettweiler [2018-11-17 19:45:16] 837*2^1531589-1 is not prime. Res64: 7B9112F2C00EB5D7 Time : 0.0 sec. user=mdettweiler [2018-11-17 19:45:17] 955*2^1531589-1 is not prime. Res64: 7F5E6FDF45FD3698 Time : 0.0 sec. user=mdettweiler [2018-11-17 19:45:18] 641*2^1531590-1 is not prime. Res64: 47D651E58079F943 Time : 0.0 sec. user=mdettweiler [2018-11-17 19:45:18] 863*2^1531590-1 is not prime. Res64: 90EF707D02C8F954 Time : 0.0 sec. user=mdettweiler [2018-11-17 19:53:02] 867*2^1531590-1 is not prime. Res64: A5F09B80B5E657EC Time : 0.0 sec. user=mdettweiler [2018-11-17 19:53:03] 917*2^1531590-1 is not prime. Res64: 29250CFD26781661 Time : 0.0 sec. user=mdettweiler [2018-11-17 19:53:03] 927*2^1531590-1 is not prime. Res64: 79497EE778B5BED3 Time : 0.0 sec. user=mdettweiler [2018-11-17 19:53:03] 941*2^1531590-1 is not prime. Res64: 9F64922FAD74EBD1 Time : 0.0 sec. user=mdettweiler [2018-11-17 19:53:03] 1001*2^1531590-1 is not prime. Res64: 547B0D667DF81B28 Time : 0.0 sec. user=mdettweiler [2018-11-17 20:12:28] 811*2^1531591-1 is not prime. Res64: 736C559E09A200F7 Time : 0.0 sec. user=mdettweiler [2018-11-17 20:12:29] 843*2^1531591-1 is not prime. Res64: E1FA3ACCD59C245D Time : 0.0 sec. user=mdettweiler [2018-11-17 20:12:30] 873*2^1531591-1 is not prime. Res64: 1CA4672FE4B54CD2 Time : 0.0 sec. user=mdettweiler [2018-11-17 20:12:31] 943*2^1531591-1 is not prime. Res64: ADAC90BFC816133F Time : 0.0 sec. user=mdettweiler [2018-11-17 20:12:32] 973*2^1531591-1 is not prime. Res64: 097EA4B2FF198A1D Time : 0.0 sec. user=mdettweiler [2018-11-17 20:23:02] 999*2^1531591-1 is not prime. Res64: 8CEBEE44610329F1 Time : 0.0 sec. user=mdettweiler [2018-11-17 20:23:02] 687*2^1531592-1 is not prime. Res64: FF633651A35F3FAE Time : 0.0 sec. user=mdettweiler [2018-11-17 20:23:03] 743*2^1531592-1 is not prime. Res64: F2DC101E654CC89B Time : 0.0 sec. user=mdettweiler [2018-11-17 20:23:03] 759*2^1531592-1 is not prime. Res64: E47D22FB2734806F Time : 0.0 sec. user=mdettweiler [2018-11-17 20:23:03] 813*2^1531592-1 is not prime. Res64: 9D3B496FFCC54036 Time : 0.0 sec. user=mdettweiler [2018-11-17 20:38:37] 827*2^1531592-1 is not prime. Res64: 2D7E8BCC1E85A913 Time : 0.0 sec. user=mdettweiler [2018-11-17 20:38:38] 879*2^1531592-1 is not prime. Res64: 0F1BA2BFB2E21DCC Time : 0.0 sec. user=mdettweiler [2018-11-17 20:38:38] 897*2^1531592-1 is not prime. Res64: C95B3D41BC45B075 Time : 0.0 sec. user=mdettweiler [2018-11-17 20:38:39] 899*2^1531592-1 is not prime. Res64: B8CFA0F8C1BFFB69 Time : 0.0 sec. user=mdettweiler [2018-11-17 20:38:39] 915*2^1531592-1 is not prime. Res64: 41ACF755395E7EEA Time : 0.0 sec. user=mdettweiler [2018-11-17 20:44:25] 649*2^1531593-1 is not prime. Res64: 2E385E364B01C11B Time : 0.0 sec. user=mdettweiler [2018-11-17 20:44:26] 867*2^1531593-1 is not prime. Res64: 40E9D3FE2C39B7CB Time : 0.0 sec. user=mdettweiler [2018-11-17 20:44:26] 657*2^1531594-1 is not prime. Res64: 1A4865B6339EA81A Time : 0.0 sec. user=mdettweiler [2018-11-17 20:44:27] 675*2^1531594-1 is not prime. Res64: 527BF6835BBC96BD Time : 0.0 sec. user=mdettweiler [2018-11-17 20:44:27] 695*2^1531594-1 is not prime. Res64: D35F9AA68DEF66B3 Time : 0.0 sec. user=mdettweiler [2018-11-17 21:04:25] 737*2^1531594-1 is not prime. Res64: 604739A1B0CC072A Time : 0.0 sec. user=mdettweiler [2018-11-17 21:04:27] 783*2^1531594-1 is not prime. Res64: 2D6381BA459DC9DC Time : 0.0 sec. user=mdettweiler [2018-11-17 21:04:28] 803*2^1531594-1 is not prime. Res64: 2B72F55E44924D74 Time : 0.0 sec. user=mdettweiler [2018-11-17 21:04:31] 815*2^1531594-1 is not prime. Res64: AA5E8896179AEBE8 Time : 0.0 sec. user=mdettweiler [2018-11-17 21:04:32] 971*2^1531594-1 is not prime. Res64: 52B1B80FFC83F59E Time : 0.0 sec. user=mdettweiler [2018-11-17 21:14:39] 975*2^1531594-1 is not prime. Res64: 1FC6EDB8E12D356E Time : 0.0 sec. user=mdettweiler [2018-11-17 21:14:40] 663*2^1531595-1 is not prime. Res64: 76C0E2D747670EAF Time : 0.0 sec. user=mdettweiler [2018-11-17 21:14:41] 783*2^1531595-1 is not prime. Res64: 6795E4C4AF70C32E Time : 0.0 sec. user=mdettweiler [2018-11-17 21:14:41] 861*2^1531595-1 is not prime. Res64: EC8E324176C2D8D3 Time : 0.0 sec. user=mdettweiler [2018-11-17 21:14:42] 943*2^1531595-1 is not prime. Res64: 415B7BA480C26730 Time : 0.0 sec. user=mdettweiler [2018-11-17 21:32:15] 963*2^1531595-1 is not prime. Res64: 9149FAEBEC328649 Time : 0.0 sec. user=mdettweiler [2018-11-17 21:32:16] 675*2^1531596-1 is not prime. Res64: A27F8423F5EFD89C Time : 0.0 sec. user=mdettweiler [2018-11-17 21:32:16] 749*2^1531596-1 is not prime. Res64: E9344553ABB4B42A Time : 0.0 sec. user=mdettweiler [2018-11-17 21:32:17] 773*2^1531596-1 is not prime. Res64: AC32643974075056 Time : 0.0 sec. user=mdettweiler [2018-11-17 21:32:17] 825*2^1531596-1 is not prime. Res64: D6DE74C19F11518F Time : 0.0 sec. user=mdettweiler [2018-11-17 21:36:23] 945*2^1531596-1 is not prime. Res64: 14325CBC86A54F13 Time : 0.0 sec. user=mdettweiler [2018-11-17 21:36:23] 947*2^1531596-1 is not prime. Res64: 0F9337A28D41539B Time : 0.0 sec. user=mdettweiler [2018-11-17 21:36:24] 615*2^1531597-1 is not prime. Res64: 1DFDA097CD4BE772 Time : 0.0 sec. user=mdettweiler [2018-11-17 21:36:24] 985*2^1531597-1 is not prime. Res64: DF1E2BC4B4E8614B Time : 0.0 sec. user=mdettweiler [2018-11-17 21:36:24] 603*2^1531598-1 is not prime. Res64: D2CBF1112EE20D0B Time : 0.0 sec. user=mdettweiler [2018-11-17 21:56:27] 663*2^1531598-1 is not prime. Res64: D8254706A06DF5D2 Time : 0.0 sec. user=mdettweiler [2018-11-17 21:56:27] 707*2^1531598-1 is not prime. Res64: F283212DFE4C825B Time : 0.0 sec. user=mdettweiler [2018-11-17 21:56:28] 797*2^1531598-1 is not prime. Res64: 47C534B02CC7AB80 Time : 0.0 sec. user=mdettweiler [2018-11-17 21:56:28] 815*2^1531598-1 is not prime. Res64: 1C10857333A0CAFB Time : 0.0 sec. user=mdettweiler [2018-11-17 21:56:28] 831*2^1531598-1 is not prime. Res64: A4585EDB656C5C7D Time : 0.0 sec. user=mdettweiler [2018-11-17 22:07:10] 951*2^1531598-1 is not prime. Res64: EDB3428AA5762F7B Time : 0.0 sec. user=mdettweiler [2018-11-17 22:07:11] 679*2^1531599-1 is not prime. Res64: 48F9484A16333C4A Time : 0.0 sec. user=mdettweiler [2018-11-17 22:07:11] 685*2^1531599-1 is not prime. Res64: 9E538D0AAA7ADC1D Time : 0.0 sec. user=mdettweiler [2018-11-17 22:07:12] 921*2^1531599-1 is not prime. Res64: 32A9B08BEF8E80D1 Time : 0.0 sec. user=mdettweiler [2018-11-17 22:07:12] 961*2^1531599-1 is not prime. Res64: 1CF88E772948F7EA Time : 0.0 sec. user=mdettweiler [2018-11-17 22:24:21] 999*2^1531599-1 is not prime. Res64: 82C366338F5EEDC4 Time : 0.0 sec. user=mdettweiler [2018-11-17 22:24:21] 635*2^1531600-1 is not prime. Res64: F290E3430B50AA9B Time : 0.0 sec. user=mdettweiler [2018-11-17 22:24:22] 601*2^1531601-1 is not prime. Res64: 3115B2439D148EFE Time : 0.0 sec. user=mdettweiler [2018-11-17 22:24:22] 633*2^1531602-1 is not prime. Res64: 246A9CE03E2B1A5E Time : 0.0 sec. user=mdettweiler [2018-11-17 22:24:22] 765*2^1531602-1 is not prime. Res64: DB4CBB571ECFB6C0 Time : 0.0 sec. user=mdettweiler [2018-11-17 22:27:50] 947*2^1531602-1 is not prime. Res64: 374958F0EA647480 Time : 0.0 sec. user=mdettweiler [2018-11-17 22:27:50] 699*2^1531603-1 is not prime. Res64: 61033E1943211B2D Time : 0.0 sec. user=mdettweiler [2018-11-17 22:27:51] 703*2^1531603-1 is not prime. Res64: D0F4D663E26E7F74 Time : 0.0 sec. user=mdettweiler [2018-11-17 22:27:51] 723*2^1531603-1 is not prime. Res64: 2DD0CC1BC80D3D73 Time : 0.0 sec. user=mdettweiler [2018-11-17 22:27:51] 741*2^1531603-1 is not prime. Res64: 0571ED7FE3B95E11 Time : 0.0 sec. user=mdettweiler [2018-11-17 22:48:21] 835*2^1531603-1 is not prime. Res64: 3657B3891454F324 Time : 0.0 sec. user=mdettweiler [2018-11-17 22:48:22] 889*2^1531603-1 is not prime. Res64: B14F9C0FA04A4822 Time : 0.0 sec. user=mdettweiler [2018-11-17 22:48:22] 919*2^1531603-1 is not prime. Res64: 50E878AA31075F2D Time : 0.0 sec. user=mdettweiler [2018-11-17 22:48:22] 945*2^1531603-1 is not prime. Res64: 3D71F889B0D4B2C6 Time : 0.0 sec. user=mdettweiler [2018-11-17 22:48:23] 951*2^1531603-1 is not prime. Res64: F73A284E69E5A99B Time : 0.0 sec. user=mdettweiler [2018-11-17 22:58:48] 615*2^1531604-1 is not prime. Res64: 5C4C7E47A68C12CB Time : 0.0 sec. user=mdettweiler [2018-11-17 22:58:49] 617*2^1531604-1 is not prime. Res64: F9924BCAA0A85C71 Time : 0.0 sec. user=mdettweiler [2018-11-17 22:58:49] 719*2^1531604-1 is not prime. Res64: 8E7155769E7E3952 Time : 0.0 sec. user=mdettweiler [2018-11-17 22:58:50] 753*2^1531604-1 is not prime. Res64: 79CD4EC0167B25FE Time : 0.0 sec. user=mdettweiler [2018-11-17 22:58:51] 875*2^1531604-1 is not prime. Res64: ED12364266DAC4CD Time : 0.0 sec. user=mdettweiler [2018-11-17 23:17:08] 923*2^1531604-1 is not prime. Res64: 7FFBCB0D6345D560 Time : 0.0 sec. user=mdettweiler [2018-11-17 23:17:08] 765*2^1531605-1 is not prime. Res64: 5CCC1787591732A5 Time : 0.0 sec. user=mdettweiler [2018-11-17 23:17:09] 787*2^1531605-1 is not prime. Res64: FFA1CE4ECD451DD2 Time : 0.0 sec. user=mdettweiler [2018-11-17 23:17:09] 951*2^1531605-1 is not prime. Res64: C3AE3A2F5C519633 Time : 0.0 sec. user=mdettweiler [2018-11-17 23:17:09] 955*2^1531605-1 is not prime. Res64: 845836824E6B2728 Time : 0.0 sec. user=mdettweiler [2018-11-17 23:20:51] 651*2^1531606-1 is not prime. Res64: E67D3977C58F06FB Time : 0.0 sec. user=mdettweiler [2018-11-17 23:20:51] 741*2^1531606-1 is not prime. Res64: ADE8CF376ABE6B30 Time : 0.0 sec. user=mdettweiler [2018-11-17 23:20:52] 765*2^1531606-1 is not prime. Res64: 9958B2C2A84A9EE0 Time : 0.0 sec. user=mdettweiler [2018-11-17 23:20:52] 825*2^1531606-1 is not prime. Res64: ECA010C15A37EE42 Time : 0.0 sec. user=mdettweiler [2018-11-17 23:20:53] 947*2^1531606-1 is not prime. Res64: 515905893BC05CEA Time : 0.0 sec. user=mdettweiler [2018-11-17 23:43:59] 693*2^1531607-1 is not prime. Res64: 4A50159E717AD696 Time : 0.0 sec. user=mdettweiler [2018-11-17 23:43:59] 711*2^1531607-1 is not prime. Res64: 6839B722F11A25B9 Time : 0.0 sec. user=mdettweiler [2018-11-17 23:44:00] 799*2^1531607-1 is not prime. Res64: 337DA909AB2D147B Time : 0.0 sec. user=mdettweiler [2018-11-17 23:44:01] 883*2^1531607-1 is not prime. Res64: 02F199A59214B392 Time : 0.0 sec. user=mdettweiler [2018-11-17 23:44:01] 963*2^1531607-1 is not prime. Res64: EB205FFBA54ECD50 Time : 0.0 sec. user=mdettweiler [2018-11-17 23:51:45] 979*2^1531607-1 is not prime. Res64: D7F134BB65AA4FBC Time : 0.0 sec. user=mdettweiler [2018-11-17 23:51:46] 689*2^1531608-1 is not prime. Res64: D5DF3FDBD9CCB8A2 Time : 0.0 sec. user=mdettweiler [2018-11-17 23:51:46] 759*2^1531608-1 is not prime. Res64: 20B62213332972F4 Time : 0.0 sec. user=mdettweiler [2018-11-17 23:51:47] 843*2^1531608-1 is not prime. Res64: 89E93B4D29C7DB36 Time : 0.0 sec. user=mdettweiler [2018-11-17 23:51:48] 875*2^1531608-1 is not prime. Res64: 9B1380CE4ACD362C Time : 0.0 sec.