user=mdettweiler [2019-07-31 00:13:44] 609*2^1543309-1 is not prime. Res64: 8294188DF0DBA8F4 Time : 0.0 sec. user=mdettweiler [2019-07-31 00:13:44] 729*2^1543309-1 is not prime. Res64: 055457843DEDFA29 Time : 0.0 sec. user=mdettweiler [2019-07-31 00:13:45] 801*2^1543309-1 is not prime. Res64: 3F868ECCC6E1CE76 Time : 0.0 sec. user=mdettweiler [2019-07-31 00:13:45] 925*2^1543309-1 is not prime. Res64: 1862F92E549BC894 Time : 0.0 sec. user=mdettweiler [2019-07-31 00:13:46] 795*2^1543310-1 is not prime. Res64: 88B38EC31A944B92 Time : 0.0 sec. user=mdettweiler [2019-07-31 00:15:41] 827*2^1543310-1 is not prime. Res64: 63C2A56FBC365BD0 Time : 0.0 sec. user=mdettweiler [2019-07-31 00:15:41] 831*2^1543310-1 is not prime. Res64: 27B6F2482AC3141C Time : 0.0 sec. user=mdettweiler [2019-07-31 00:15:42] 833*2^1543310-1 is not prime. Res64: 3E526462825B5EB9 Time : 0.0 sec. user=mdettweiler [2019-07-31 00:15:42] 845*2^1543310-1 is not prime. Res64: D7CEFDF64824464D Time : 0.0 sec. user=mdettweiler [2019-07-31 00:15:42] 887*2^1543310-1 is not prime. Res64: B964939D3C4652F6 Time : 0.0 sec. user=mdettweiler [2019-07-31 00:22:32] 911*2^1543310-1 is not prime. Res64: 0FBF057DAECEF282 Time : 0.0 sec. user=mdettweiler [2019-07-31 00:22:32] 625*2^1543311-1 is not prime. Res64: FC470E69A3EC4C07 Time : 0.0 sec. user=mdettweiler [2019-07-31 00:22:33] 639*2^1543311-1 is not prime. Res64: 25AF54639688ED5E Time : 0.0 sec. user=mdettweiler [2019-07-31 00:22:33] 711*2^1543311-1 is not prime. Res64: 4ADE0EF16E2A2600 Time : 0.0 sec. user=mdettweiler [2019-07-31 00:22:33] 745*2^1543311-1 is not prime. Res64: 46881B42F419B105 Time : 0.0 sec. user=mdettweiler [2019-07-31 00:32:48] 823*2^1543311-1 is not prime. Res64: A94D042E15271AC7 Time : 0.0 sec. user=mdettweiler [2019-07-31 00:32:49] 755*2^1543312-1 is not prime. Res64: FD5B50581EA65881 Time : 0.0 sec. user=mdettweiler [2019-07-31 00:32:49] 917*2^1543312-1 is not prime. Res64: 4661987FFCEF79AA Time : 0.0 sec. user=mdettweiler [2019-07-31 00:32:49] 957*2^1543312-1 is not prime. Res64: 6349AA1EAA18A277 Time : 0.0 sec. user=mdettweiler [2019-07-31 00:32:50] 983*2^1543312-1 is not prime. Res64: FBC55840EFFA5F22 Time : 0.0 sec. user=mdettweiler [2019-07-31 01:06:49] 989*2^1543312-1 is not prime. Res64: 34AE7952B6108A4D Time : 0.0 sec. user=mdettweiler [2019-07-31 01:06:50] 651*2^1543313-1 is not prime. Res64: 160E396F2C809861 Time : 0.0 sec. user=mdettweiler [2019-07-31 01:06:51] 657*2^1543313-1 is not prime. Res64: C1B069A80D8F50D4 Time : 0.0 sec. user=mdettweiler [2019-07-31 01:06:52] 697*2^1543313-1 is not prime. Res64: 7B630EB856A8B42F Time : 0.0 sec. user=mdettweiler [2019-07-31 01:06:54] 715*2^1543313-1 is not prime. Res64: A6FFEE5079DA920B Time : 0.0 sec. user=mdettweiler [2019-07-31 01:09:24] 915*2^1543313-1 is not prime. Res64: 2556CD59CC76E10F Time : 0.0 sec. user=mdettweiler [2019-07-31 01:09:25] 991*2^1543313-1 is not prime. Res64: 864247A7A7FC09BA Time : 0.0 sec. user=mdettweiler [2019-07-31 01:09:26] 633*2^1543314-1 is not prime. Res64: A3B724CCD3E4CB47 Time : 0.0 sec. user=mdettweiler [2019-07-31 01:09:28] 635*2^1543314-1 is not prime. Res64: CB7E6FD9AC67EAB3 Time : 0.0 sec. user=mdettweiler [2019-07-31 01:09:29] 755*2^1543314-1 is not prime. Res64: 76398F41D97C8B91 Time : 0.0 sec. user=mdettweiler [2019-07-31 01:16:45] 773*2^1543314-1 is not prime. Res64: 892887793A1C9414 Time : 0.0 sec. user=mdettweiler [2019-07-31 01:16:45] 807*2^1543314-1 is not prime. Res64: 23BB8BF52682A1C2 Time : 0.0 sec. user=mdettweiler [2019-07-31 01:16:46] 891*2^1543314-1 is not prime. Res64: 49EC718D92C893DA Time : 0.0 sec. user=mdettweiler [2019-07-31 01:16:46] 805*2^1543315-1 is not prime. Res64: 30FA29EFE3FD57CB Time : 0.0 sec. user=mdettweiler [2019-07-31 01:16:47] 915*2^1543315-1 is not prime. Res64: 07AB4F7D0F6FA2C9 Time : 0.0 sec. user=mdettweiler [2019-07-31 01:27:23] 969*2^1543315-1 is not prime. Res64: ADE77D08894B61B6 Time : 0.0 sec. user=mdettweiler [2019-07-31 01:27:25] 669*2^1543316-1 is not prime. Res64: 656A24B437F076A5 Time : 0.0 sec. user=mdettweiler [2019-07-31 01:27:25] 699*2^1543316-1 is not prime. Res64: E60E048FD794DD76 Time : 0.0 sec. user=mdettweiler [2019-07-31 01:27:26] 707*2^1543316-1 is not prime. Res64: A9F9F9C54FC19B35 Time : 0.0 sec. user=mdettweiler [2019-07-31 01:27:27] 773*2^1543316-1 is not prime. Res64: 63B4535FE4385DF0 Time : 0.0 sec. user=mdettweiler [2019-07-31 02:03:26] 803*2^1543316-1 is not prime. Res64: E47DC236C7800346 Time : 0.0 sec. user=mdettweiler [2019-07-31 02:03:28] 899*2^1543316-1 is not prime. Res64: B03C15B11D619895 Time : 0.0 sec. user=mdettweiler [2019-07-31 02:03:28] 923*2^1543316-1 is not prime. Res64: C0FB0D1C1951CEA4 Time : 0.0 sec. user=mdettweiler [2019-07-31 02:03:29] 983*2^1543316-1 is not prime. Res64: CFFEDE052952931F Time : 0.0 sec. user=mdettweiler [2019-07-31 02:03:30] 987*2^1543316-1 is not prime. Res64: 55B0A423F4C46950 Time : 0.0 sec. user=mdettweiler [2019-07-31 02:04:10] 999*2^1543316-1 is not prime. Res64: D07C46E5F2653243 Time : 0.0 sec. user=mdettweiler [2019-07-31 02:04:12] 747*2^1543317-1 is not prime. Res64: 366D7A4B6B22C4A4 Time : 0.0 sec. user=mdettweiler [2019-07-31 02:04:13] 817*2^1543317-1 is not prime. Res64: BEA9AB457AD885FF Time : 0.0 sec. user=mdettweiler [2019-07-31 02:04:14] 847*2^1543317-1 is not prime. Res64: 73B17DFA54C5BFA0 Time : 0.0 sec. user=mdettweiler [2019-07-31 02:04:15] 861*2^1543317-1 is not prime. Res64: B1A3E8A79B0D5161 Time : 0.0 sec. user=mdettweiler [2019-07-31 02:10:52] 871*2^1543317-1 is not prime. Res64: 18662C3A2D7DA250 Time : 0.0 sec. user=mdettweiler [2019-07-31 02:10:53] 985*2^1543317-1 is not prime. Res64: 8E0F1D844E0957BC Time : 0.0 sec. user=mdettweiler [2019-07-31 02:10:53] 645*2^1543318-1 is not prime. Res64: BD39EAEBF09C8B32 Time : 0.0 sec. user=mdettweiler [2019-07-31 02:10:53] 731*2^1543318-1 is not prime. Res64: 1F8178FC681ADC9F Time : 0.0 sec. user=mdettweiler [2019-07-31 02:10:54] 743*2^1543318-1 is not prime. Res64: C61F84A40809BD22 Time : 0.0 sec. user=mdettweiler [2019-07-31 02:21:05] 777*2^1543318-1 is not prime. Res64: C1E8B7CB63E10BC7 Time : 0.0 sec. user=mdettweiler [2019-07-31 02:21:05] 801*2^1543318-1 is not prime. Res64: FCB07B912561E8A2 Time : 0.0 sec. user=mdettweiler [2019-07-31 02:21:06] 951*2^1543318-1 is not prime. Res64: AC72C96344854B02 Time : 0.0 sec. user=mdettweiler [2019-07-31 02:21:06] 971*2^1543318-1 is not prime. Res64: ACE37772F1A72D2B Time : 0.0 sec. user=mdettweiler [2019-07-31 02:21:07] 729*2^1543319-1 is not prime. Res64: AE288B21406793F2 Time : 0.0 sec. user=mdettweiler [2019-07-31 02:57:58] 745*2^1543319-1 is not prime. Res64: C5EE33199E346BD8 Time : 0.0 sec. user=mdettweiler [2019-07-31 02:57:58] 879*2^1543319-1 is not prime. Res64: 25A92B5151223E01 Time : 0.0 sec. user=mdettweiler [2019-07-31 02:57:59] 939*2^1543319-1 is not prime. Res64: 460A3B1D65D32AB0 Time : 0.0 sec. user=mdettweiler [2019-07-31 02:57:59] 943*2^1543319-1 is not prime. Res64: DE6E2B02814DE17B Time : 0.0 sec. user=mdettweiler [2019-07-31 02:58:00] 635*2^1543320-1 is not prime. Res64: 5F90FF9333C9B054 Time : 0.0 sec. user=mdettweiler [2019-07-31 02:58:16] 753*2^1543320-1 is not prime. Res64: 1802AE328B620AA9 Time : 0.0 sec. user=mdettweiler [2019-07-31 02:58:17] 843*2^1543320-1 is not prime. Res64: 12C2A2D2658020A3 Time : 0.0 sec. user=mdettweiler [2019-07-31 02:58:17] 887*2^1543320-1 is not prime. Res64: 051FC15A8FCFEE1A Time : 0.0 sec. user=mdettweiler [2019-07-31 02:58:18] 687*2^1543321-1 is not prime. Res64: 43CCA56B28A3EDAA Time : 0.0 sec. user=mdettweiler [2019-07-31 02:58:18] 741*2^1543321-1 is not prime. Res64: 2446359FE6B74A15 Time : 0.0 sec. user=mdettweiler [2019-07-31 03:04:20] 775*2^1543321-1 is not prime. Res64: 8A0DFF0DD04BB803 Time : 0.0 sec. user=mdettweiler [2019-07-31 03:04:22] 835*2^1543321-1 is not prime. Res64: 78C6EF708506EBFC Time : 0.0 sec. user=mdettweiler [2019-07-31 03:04:23] 847*2^1543321-1 is not prime. Res64: 964484F6B84EFBE9 Time : 0.0 sec. user=mdettweiler [2019-07-31 03:04:25] 735*2^1543322-1 is not prime. Res64: 4730439DE35639E4 Time : 0.0 sec. user=mdettweiler [2019-07-31 03:04:27] 767*2^1543322-1 is not prime. Res64: 750832F1155B51B4 Time : 0.0 sec. user=mdettweiler [2019-07-31 03:15:26] 791*2^1543322-1 is not prime. Res64: 0BF86E30D8ACACB4 Time : 0.0 sec. user=mdettweiler [2019-07-31 03:15:26] 837*2^1543322-1 is not prime. Res64: AC9DFEAAD42172CC Time : 0.0 sec. user=mdettweiler [2019-07-31 03:15:27] 915*2^1543322-1 is not prime. Res64: F6432D42938064CB Time : 0.0 sec. user=mdettweiler [2019-07-31 03:15:27] 935*2^1543322-1 is not prime. Res64: BC6F82A289F44022 Time : 0.0 sec. user=mdettweiler [2019-07-31 03:15:28] 963*2^1543322-1 is not prime. Res64: B0EF111A3AB12FE5 Time : 0.0 sec. user=mdettweiler [2019-07-31 03:50:23] 1001*2^1543322-1 is not prime. Res64: 599B73659F5B5D43 Time : 0.0 sec. user=mdettweiler [2019-07-31 03:50:24] 615*2^1543323-1 is not prime. Res64: 916BBF54A7D0C078 Time : 0.0 sec. user=mdettweiler [2019-07-31 03:50:25] 735*2^1543323-1 is not prime. Res64: 5725746C9FC715A5 Time : 0.0 sec. user=mdettweiler [2019-07-31 03:50:26] 739*2^1543323-1 is not prime. Res64: AC559709F2FC2F59 Time : 0.0 sec. user=mdettweiler [2019-07-31 03:50:27] 745*2^1543323-1 is not prime. Res64: 0A37A9BEC40B7041 Time : 0.0 sec. user=mdettweiler [2019-07-31 03:50:35] 775*2^1543323-1 is not prime. Res64: A39B364914194105 Time : 0.0 sec. user=mdettweiler [2019-07-31 03:50:37] 805*2^1543323-1 is not prime. Res64: 4E2CF9E4D022FAD6 Time : 0.0 sec. user=mdettweiler [2019-07-31 03:50:39] 705*2^1543324-1 is not prime. Res64: F2A353ED97944668 Time : 0.0 sec. user=mdettweiler [2019-07-31 03:50:40] 743*2^1543324-1 is not prime. Res64: 159FF427245E9AD8 Time : 0.0 sec. user=mdettweiler [2019-07-31 03:50:41] 887*2^1543324-1 is not prime. Res64: 518C1F9ACC770BEE Time : 0.0 sec. user=mdettweiler [2019-07-31 03:57:55] 619*2^1543325-1 is not prime. Res64: A50F38F3765CAED9 Time : 0.0 sec. user=mdettweiler [2019-07-31 03:57:56] 787*2^1543325-1 is not prime. Res64: 1287F6AA96C77BD0 Time : 0.0 sec. user=mdettweiler [2019-07-31 03:57:57] 861*2^1543325-1 is not prime. Res64: B64D5DD77FC7A1D3 Time : 0.0 sec. user=mdettweiler [2019-07-31 03:57:58] 867*2^1543325-1 is not prime. Res64: 9FE11AF2EEE4FF97 Time : 0.0 sec. user=mdettweiler [2019-07-31 03:57:58] 871*2^1543325-1 is not prime. Res64: E835ECEF5C3B2D38 Time : 0.0 sec. user=mdettweiler [2019-07-31 04:08:58] 897*2^1543325-1 is not prime. Res64: 0DEB42EAA47DC514 Time : 0.0 sec. user=mdettweiler [2019-07-31 04:43:16] 647*2^1543326-1 is not prime. Res64: CA6F8E57C957AB8D Time : 0.0 sec. user=mdettweiler [2019-07-31 04:43:16] 713*2^1543326-1 is not prime. Res64: 069F030C876745D6 Time : 0.0 sec. user=mdettweiler [2019-07-31 04:43:17] 737*2^1543326-1 is not prime. Res64: 5883DDDBE381B7AA Time : 0.0 sec. user=mdettweiler [2019-07-31 04:43:17] 755*2^1543326-1 is not prime. Res64: 47DF4447F14BDE8B Time : 0.0 sec. user=mdettweiler [2019-07-31 04:43:18] 783*2^1543326-1 is not prime. Res64: 8F97E7F6407B9C17 Time : 0.0 sec. user=mdettweiler [2019-07-31 04:43:38] 821*2^1543326-1 is not prime. Res64: 9D52EE14BA7E60FF Time : 0.0 sec. user=mdettweiler [2019-07-31 04:43:38] 917*2^1543326-1 is not prime. Res64: 1C1889E75992431B Time : 0.0 sec. user=mdettweiler [2019-07-31 04:43:39] 975*2^1543326-1 is not prime. Res64: 66C77D2BE0DB9D4A Time : 0.0 sec. user=mdettweiler [2019-07-31 04:43:39] 645*2^1543327-1 is not prime. Res64: 796521730C6426DD Time : 0.0 sec. user=mdettweiler [2019-07-31 04:43:39] 675*2^1543327-1 is not prime. Res64: B3928F7E7EFEE60E Time : 0.0 sec. user=mdettweiler [2019-07-31 04:51:22] 729*2^1543327-1 is not prime. Res64: 756FB92D001B4422 Time : 0.0 sec. user=mdettweiler [2019-07-31 04:51:22] 765*2^1543327-1 is not prime. Res64: 2F920013475B6BDC Time : 0.0 sec. user=mdettweiler [2019-07-31 04:51:23] 933*2^1543327-1 is not prime. Res64: 0984DEA17A4CE954 Time : 0.0 sec. user=mdettweiler [2019-07-31 04:51:23] 979*2^1543327-1 is not prime. Res64: 2CF8EB27A02C1CF2 Time : 0.0 sec. user=mdettweiler [2019-07-31 04:51:23] 623*2^1543328-1 is not prime. Res64: D95A5CCD3AA4DC90 Time : 0.0 sec. user=mdettweiler [2019-07-31 05:35:53] 635*2^1543328-1 is not prime. Res64: 65AB5072CBCA21A1 Time : 0.0 sec. user=mdettweiler [2019-07-31 05:35:54] 735*2^1543328-1 is not prime. Res64: E2DCD6559EDEF2F0 Time : 0.0 sec. user=mdettweiler [2019-07-31 05:35:54] 743*2^1543328-1 is not prime. Res64: D088DF3320CF0234 Time : 0.0 sec. user=mdettweiler [2019-07-31 05:35:55] 813*2^1543328-1 is not prime. Res64: C80A8FAC430DB7A5 Time : 0.0 sec. user=mdettweiler [2019-07-31 05:35:55] 819*2^1543328-1 is not prime. Res64: 23D6550999F9DC7A Time : 0.0 sec. user=mdettweiler [2019-07-31 05:36:46] 855*2^1543328-1 is not prime. Res64: CC4E2F7A8AF4F02B Time : 0.0 sec. user=mdettweiler [2019-07-31 05:36:46] 995*2^1543328-1 is not prime. Res64: DE443CC6EBBF02D2 Time : 0.0 sec. user=mdettweiler [2019-07-31 05:36:47] 999*2^1543328-1 is not prime. Res64: C8D0D13641FC7AA8 Time : 0.0 sec. user=mdettweiler [2019-07-31 05:36:47] 649*2^1543329-1 is not prime. Res64: 2180CFB9881DC786 Time : 0.0 sec. user=mdettweiler [2019-07-31 05:36:47] 691*2^1543329-1 is not prime. Res64: C9F43EE496483AB8 Time : 0.0 sec. user=mdettweiler [2019-07-31 05:44:52] 831*2^1543329-1 is not prime. Res64: 83BF7B560B20F089 Time : 0.0 sec. user=mdettweiler [2019-07-31 05:44:52] 889*2^1543329-1 is not prime. Res64: 618AC1015AAA597D Time : 0.0 sec. user=mdettweiler [2019-07-31 05:44:53] 945*2^1543329-1 is not prime. Res64: 6A14C7C7FD24A82F Time : 0.0 sec. user=mdettweiler [2019-07-31 05:44:53] 951*2^1543329-1 is not prime. Res64: 35F5506D5B74B808 Time : 0.0 sec. user=mdettweiler [2019-07-31 05:44:53] 645*2^1543330-1 is not prime. Res64: 0F9DFB20D820363E Time : 0.0 sec. user=mdettweiler [2019-07-31 06:29:38] 943*2^1543331-1 is not prime. Res64: 993DFBF3F9D14D44 Time : 0.0 sec. user=mdettweiler [2019-07-31 06:29:38] 629*2^1543332-1 is not prime. Res64: 0C93B593324750E9 Time : 0.0 sec. user=mdettweiler [2019-07-31 06:29:39] 647*2^1543332-1 is not prime. Res64: 7051DAAA23A63BE6 Time : 0.0 sec. user=mdettweiler [2019-07-31 06:29:39] 749*2^1543332-1 is not prime. Res64: 6254C9E4EA6BA7D0 Time : 0.0 sec. user=mdettweiler [2019-07-31 06:29:39] 825*2^1543332-1 is not prime. Res64: 13B289340F1DD64D Time : 0.0 sec. user=mdettweiler [2019-07-31 06:29:53] 647*2^1543330-1 is not prime. Res64: 94B613770DE99841 Time : 0.0 sec. user=mdettweiler [2019-07-31 06:29:54] 785*2^1543330-1 is not prime. Res64: 42FDBEAB9B73C833 Time : 0.0 sec. user=mdettweiler [2019-07-31 06:29:54] 971*2^1543330-1 is not prime. Res64: 0DFBA826D8058EE5 Time : 0.0 sec. user=mdettweiler [2019-07-31 06:29:55] 975*2^1543330-1 is not prime. Res64: E6FAF5D3CFB37582 Time : 0.0 sec. user=mdettweiler [2019-07-31 06:29:55] 885*2^1543331-1 is not prime. Res64: 4356DE592A2E5ADA Time : 0.0 sec. user=mdettweiler [2019-07-31 06:38:43] 923*2^1543332-1 is not prime. Res64: 2A7B1400F79A04AC Time : 0.0 sec. user=mdettweiler [2019-07-31 06:38:43] 977*2^1543332-1 is not prime. Res64: 8F2FA531C3070B0F Time : 0.0 sec. user=mdettweiler [2019-07-31 06:38:43] 983*2^1543332-1 is not prime. Res64: D4530CB9C62C9F68 Time : 0.0 sec. user=mdettweiler [2019-07-31 06:38:44] 681*2^1543333-1 is not prime. Res64: AC173D7FEF84EF99 Time : 0.0 sec. user=mdettweiler [2019-07-31 06:38:44] 751*2^1543333-1 is not prime. Res64: 98D3CDB324C07BD8 Time : 0.0 sec. user=mdettweiler [2019-07-31 07:22:45] 801*2^1543333-1 is not prime. Res64: 854A981E41215A87 Time : 0.0 sec. user=mdettweiler [2019-07-31 07:22:46] 861*2^1543333-1 is not prime. Res64: 821492B4447E2E5A Time : 0.0 sec. user=mdettweiler [2019-07-31 07:22:46] 877*2^1543333-1 is not prime. Res64: B03E1F81BE7054C3 Time : 0.0 sec. user=mdettweiler [2019-07-31 07:22:47] 897*2^1543333-1 is not prime. Res64: A17AEDADBED4EAFE Time : 0.0 sec. user=mdettweiler [2019-07-31 07:22:47] 901*2^1543333-1 is not prime. Res64: 7C1FEA28B24D5C3B Time : 0.0 sec. user=mdettweiler [2019-07-31 07:23:08] 927*2^1543333-1 is not prime. Res64: D062D26B1F84FDB8 Time : 0.0 sec. user=mdettweiler [2019-07-31 07:23:09] 987*2^1543333-1 is not prime. Res64: 6A9BC69E2CAE9EB8 Time : 0.0 sec. user=mdettweiler [2019-07-31 07:23:09] 615*2^1543334-1 is not prime. Res64: B95FD6526547450F Time : 0.0 sec. user=mdettweiler [2019-07-31 07:23:10] 617*2^1543334-1 is not prime. Res64: A061CDE062450A5B Time : 0.0 sec. user=mdettweiler [2019-07-31 07:23:10] 645*2^1543334-1 is not prime. Res64: 5E5C7C1367E83DA4 Time : 0.0 sec. user=mdettweiler [2019-07-31 07:31:47] 657*2^1543334-1 is not prime. Res64: A947969206131F33 Time : 0.0 sec. user=mdettweiler [2019-07-31 07:31:48] 731*2^1543334-1 is not prime. Res64: 07FBB88BFF428526 Time : 0.0 sec. user=mdettweiler [2019-07-31 07:31:48] 753*2^1543334-1 is not prime. Res64: 72EEAC6517CBB548 Time : 0.0 sec. user=mdettweiler [2019-07-31 07:31:49] 755*2^1543334-1 is not prime. Res64: 5D49E8BDF3110610 Time : 0.0 sec. user=mdettweiler [2019-07-31 07:31:49] 887*2^1543334-1 is not prime. Res64: D097F862EA0CA07F Time : 0.0 sec. user=mdettweiler [2019-07-31 07:54:32] 927*2^1543325-1 is not prime. Res64: ACFC691168E1F780 Time : 0.0 sec. user=mdettweiler [2019-07-31 07:54:32] 939*2^1543325-1 is not prime. Res64: C2879A4654D7BF23 Time : 0.0 sec. user=mdettweiler [2019-07-31 07:54:32] 955*2^1543325-1 is not prime. Res64: 417ABCF6738AAF8E Time : 0.0 sec. user=mdettweiler [2019-07-31 07:54:33] 985*2^1543325-1 is not prime. Res64: 316CD88AAEE19E45 Time : 0.0 sec. user=mdettweiler [2019-07-31 08:15:48] 897*2^1543334-1 is not prime. Res64: 0A04E23AB7CA45D8 Time : 0.0 sec. user=mdettweiler [2019-07-31 08:15:49] 903*2^1543334-1 is not prime. Res64: E842525756027DA1 Time : 0.0 sec. user=mdettweiler [2019-07-31 08:15:50] 789*2^1543335-1 is not prime. Res64: 310B8781B027A3E8 Time : 0.0 sec. user=mdettweiler [2019-07-31 08:15:50] 859*2^1543335-1 is not prime. Res64: 6944F79E877E021B Time : 0.0 sec. user=mdettweiler [2019-07-31 08:15:51] 861*2^1543335-1 is not prime. Res64: 017884C70A613405 Time : 0.0 sec. user=mdettweiler [2019-07-31 08:16:15] 943*2^1543335-1 is not prime. Res64: 7AECF900098FA64E Time : 0.0 sec. user=mdettweiler [2019-07-31 08:16:15] 963*2^1543335-1 is not prime. Res64: 03E141D260483158 Time : 0.0 sec. user=mdettweiler [2019-07-31 08:16:16] 855*2^1543336-1 is not prime. Res64: B174DABAA2C4142D Time : 0.0 sec. user=mdettweiler [2019-07-31 08:16:16] 875*2^1543336-1 is not prime. Res64: 3F0700E96B9D764A Time : 0.0 sec. user=mdettweiler [2019-07-31 08:16:17] 899*2^1543336-1 is not prime. Res64: 0D9112984FDDF61F Time : 0.0 sec. user=mdettweiler [2019-07-31 08:24:51] 903*2^1543336-1 is not prime. Res64: 8C898234EA162F4A Time : 0.0 sec. user=mdettweiler [2019-07-31 08:24:52] 927*2^1543336-1 is not prime. Res64: 88DF38C53177A620 Time : 0.0 sec. user=mdettweiler [2019-07-31 08:24:52] 957*2^1543336-1 is not prime. Res64: BD53671C6AFF0E95 Time : 0.0 sec. user=mdettweiler [2019-07-31 08:24:53] 631*2^1543337-1 is not prime. Res64: C732106236EC3DD4 Time : 0.0 sec. user=mdettweiler [2019-07-31 08:24:53] 831*2^1543337-1 is not prime. Res64: 810C8FE9B9ED8CDC Time : 0.0 sec. user=mdettweiler [2019-07-31 08:48:12] 901*2^1543337-1 is not prime. Res64: D0770088645569D9 Time : 0.0 sec. user=mdettweiler [2019-07-31 08:48:13] 915*2^1543337-1 is not prime. Res64: C530AA8F76434199 Time : 0.0 sec. user=mdettweiler [2019-07-31 08:48:13] 925*2^1543337-1 is not prime. Res64: 73A8CCB9FA721538 Time : 0.0 sec. user=mdettweiler [2019-07-31 08:48:14] 931*2^1543337-1 is not prime. Res64: 4B9FC180EF31677E Time : 0.0 sec. user=mdettweiler [2019-07-31 08:48:14] 949*2^1543337-1 is not prime. Res64: 86D95811B3E1F684 Time : 0.0 sec. user=mdettweiler [2019-07-31 09:07:56] 611*2^1543338-1 is not prime. Res64: FFA43E7FB84CDA97 Time : 0.0 sec. user=mdettweiler [2019-07-31 09:07:57] 621*2^1543338-1 is not prime. Res64: 8B578162E087C77D Time : 0.0 sec. user=mdettweiler [2019-07-31 09:07:58] 671*2^1543338-1 is not prime. Res64: 5EE2198CD9CE3CAF Time : 0.0 sec. user=mdettweiler [2019-07-31 09:07:59] 683*2^1543338-1 is not prime. Res64: 55DBF7EA7DD585CE Time : 0.0 sec. user=mdettweiler [2019-07-31 09:08:00] 713*2^1543338-1 is not prime. Res64: 961FEC447D3035C7 Time : 0.0 sec. user=mdettweiler [2019-07-31 09:08:54] 765*2^1543338-1 is not prime. Res64: D14D5587FBFBD7CD Time : 0.0 sec. user=mdettweiler [2019-07-31 09:08:54] 767*2^1543338-1 is not prime. Res64: 3C8FED0F08ED8F3A Time : 0.0 sec. user=mdettweiler [2019-07-31 09:08:55] 881*2^1543338-1 is not prime. Res64: 49229E937A03413C Time : 0.0 sec. user=mdettweiler [2019-07-31 09:08:55] 977*2^1543338-1 is not prime. Res64: DD4C919559868870 Time : 0.0 sec. user=mdettweiler [2019-07-31 09:08:55] 609*2^1543339-1 is not prime. Res64: 16CE5B5F22C3FCBE Time : 0.0 sec. user=mdettweiler [2019-07-31 09:16:54] 693*2^1543339-1 is not prime. Res64: FBC3D0632011E280 Time : 0.0 sec. user=mdettweiler [2019-07-31 09:16:55] 775*2^1543339-1 is not prime. Res64: CE2175B499F6B1C3 Time : 0.0 sec. user=mdettweiler [2019-07-31 09:16:56] 811*2^1543339-1 is not prime. Res64: 6B45EF1728B52F13 Time : 0.0 sec. user=mdettweiler [2019-07-31 09:16:57] 665*2^1543340-1 is not prime. Res64: D41663DF039D2050 Time : 0.0 sec. user=mdettweiler [2019-07-31 09:16:57] 669*2^1543340-1 is not prime. Res64: 13A244670512001E Time : 0.0 sec. user=mdettweiler [2019-07-31 09:40:58] 743*2^1543340-1 is not prime. Res64: E480234AB652290E Time : 0.0 sec. user=mdettweiler [2019-07-31 09:40:59] 759*2^1543340-1 is not prime. Res64: 689AF7AD9AADD48C Time : 0.0 sec. user=mdettweiler [2019-07-31 09:40:59] 827*2^1543340-1 is not prime. Res64: 595BF2EF1CB90C52 Time : 0.0 sec. user=mdettweiler [2019-07-31 09:40:59] 857*2^1543340-1 is not prime. Res64: F6791CF9E635F378 Time : 0.0 sec. user=mdettweiler [2019-07-31 09:41:00] 923*2^1543340-1 is not prime. Res64: 2140ACC01808D797 Time : 0.0 sec. user=mdettweiler [2019-07-31 10:01:28] 963*2^1543340-1 is not prime. Res64: 95337A8B25DC3B59 Time : 0.0 sec. user=mdettweiler [2019-07-31 10:01:29] 983*2^1543340-1 is not prime. Res64: F39499C3DE2C886E Time : 0.0 sec. user=mdettweiler [2019-07-31 10:01:30] 987*2^1543340-1 is not prime. Res64: 033007F79BBDB9C4 Time : 0.0 sec. user=mdettweiler [2019-07-31 10:01:30] 747*2^1543341-1 is not prime. Res64: 96C6B80EC5E0A5D3 Time : 0.0 sec. user=mdettweiler [2019-07-31 10:01:32] 781*2^1543341-1 is not prime. Res64: F6FA14F95F337C3A Time : 0.0 sec. user=mdettweiler [2019-07-31 10:01:59] 789*2^1543341-1 is not prime. Res64: A3C6002857E29F7A Time : 0.0 sec. user=mdettweiler [2019-07-31 10:02:00] 795*2^1543341-1 is not prime. Res64: 9D5A5E1381AC89F4 Time : 0.0 sec. user=mdettweiler [2019-07-31 10:02:01] 861*2^1543341-1 is not prime. Res64: F0668079D0107572 Time : 0.0 sec. user=mdettweiler [2019-07-31 10:02:02] 885*2^1543341-1 is not prime. Res64: 2A11CAC2C07807BC Time : 0.0 sec. user=mdettweiler [2019-07-31 10:02:02] 961*2^1543341-1 is not prime. Res64: F6D54F120CE8234E Time : 0.0 sec. user=mdettweiler [2019-07-31 10:10:24] 975*2^1543341-1 is not prime. Res64: C2C0A8D9CC520E2C Time : 0.0 sec. user=mdettweiler [2019-07-31 10:10:24] 731*2^1543342-1 is not prime. Res64: 4C097069A459E523 Time : 0.0 sec. user=mdettweiler [2019-07-31 10:10:25] 827*2^1543342-1 is not prime. Res64: 99CC46BD0DE57359 Time : 0.0 sec. user=mdettweiler [2019-07-31 10:10:25] 873*2^1543342-1 is not prime. Res64: 3C5B9EC46BDF6CD6 Time : 0.0 sec. user=mdettweiler [2019-07-31 10:10:26] 951*2^1543342-1 is not prime. Res64: CBE0F05283FAA56B Time : 0.0 sec. user=mdettweiler [2019-07-31 10:36:06] 679*2^1543343-1 is not prime. Res64: 1DA910350790A0B1 Time : 0.0 sec. user=mdettweiler [2019-07-31 10:36:07] 999*2^1543343-1 is not prime. Res64: 124E1FA6B717E509 Time : 0.0 sec. user=mdettweiler [2019-07-31 10:36:08] 609*2^1543344-1 is not prime. Res64: DE386CE56AC2107A Time : 0.0 sec. user=mdettweiler [2019-07-31 10:36:09] 765*2^1543344-1 is not prime. Res64: 165FC590F5CC0052 Time : 0.0 sec. user=mdettweiler [2019-07-31 10:36:09] 905*2^1543344-1 is not prime. Res64: 660D1E29B5A0FDF4 Time : 0.0 sec. user=mdettweiler [2019-07-31 10:57:29] 871*2^1543345-1 is not prime. Res64: 752C2F4AD8BDA642 Time : 0.0 sec. user=mdettweiler [2019-07-31 10:57:29] 717*2^1543346-1 is not prime. Res64: CCAE8AC8F57C1BC5 Time : 0.0 sec. user=mdettweiler [2019-07-31 10:57:30] 741*2^1543346-1 is not prime. Res64: DA68AE5105CC2F51 Time : 0.0 sec. user=mdettweiler [2019-07-31 10:57:30] 743*2^1543346-1 is not prime. Res64: 9D0FD3EB22D737A5 Time : 0.0 sec. user=mdettweiler [2019-07-31 10:57:31] 773*2^1543346-1 is not prime. Res64: 328F880C0BDB587B Time : 0.0 sec. user=mdettweiler [2019-07-31 10:58:00] 947*2^1543344-1 is not prime. Res64: C948234F05837C95 Time : 0.0 sec. user=mdettweiler [2019-07-31 10:58:00] 649*2^1543345-1 is not prime. Res64: 9958C27A1158F2C8 Time : 0.0 sec. user=mdettweiler [2019-07-31 10:58:00] 651*2^1543345-1 is not prime. Res64: 1BD99B4B18555F49 Time : 0.0 sec. user=mdettweiler [2019-07-31 10:58:01] 847*2^1543345-1 is not prime. Res64: 8D73B71D0C612AD7 Time : 0.0 sec. user=mdettweiler [2019-07-31 10:58:01] 867*2^1543345-1 is not prime. Res64: 826E97BAF6749342 Time : 0.0 sec. user=mdettweiler [2019-07-31 11:07:27] 873*2^1543346-1 is not prime. Res64: AE5F98D484CA9C42 Time : 0.0 sec. user=mdettweiler [2019-07-31 11:07:29] 923*2^1543346-1 is not prime. Res64: 2057A012B290E15F Time : 0.0 sec. user=mdettweiler [2019-07-31 11:07:30] 945*2^1543346-1 is not prime. Res64: 102F62E44B26340F Time : 0.0 sec. user=mdettweiler [2019-07-31 11:07:31] 963*2^1543346-1 is not prime. Res64: F75B167A7A7EFBE7 Time : 0.0 sec. user=mdettweiler [2019-07-31 11:07:33] 1001*2^1543346-1 is not prime. Res64: F7A701858323F57F Time : 0.0 sec. user=mdettweiler [2019-07-31 11:30:45] 651*2^1543347-1 is not prime. Res64: E49C1053EFDF3921 Time : 0.0 sec. user=mdettweiler [2019-07-31 11:30:46] 705*2^1543347-1 is not prime. Res64: 07A56665667AAFEF Time : 0.0 sec. user=mdettweiler [2019-07-31 11:30:46] 741*2^1543347-1 is not prime. Res64: 467164633CB44292 Time : 0.0 sec. user=mdettweiler [2019-07-31 11:30:47] 963*2^1543347-1 is not prime. Res64: 121A8CB337C4DED3 Time : 0.0 sec. user=mdettweiler [2019-07-31 11:30:47] 975*2^1543347-1 is not prime. Res64: 17E6DA2E3D4AF8CE Time : 0.0 sec. user=mdettweiler [2019-07-31 11:50:35] 775*2^1543349-1 is not prime. Res64: BD255304348AA672 Time : 0.0 sec. user=mdettweiler [2019-07-31 11:50:35] 819*2^1543349-1 is not prime. Res64: D4AE34859DD88C52 Time : 0.0 sec. user=mdettweiler [2019-07-31 11:50:36] 861*2^1543349-1 is not prime. Res64: 09804A6879EDB210 Time : 0.0 sec. user=mdettweiler [2019-07-31 11:50:36] 665*2^1543350-1 is not prime. Res64: 7FC5D4FE820F07D2 Time : 0.0 sec. user=mdettweiler [2019-07-31 11:50:37] 725*2^1543350-1 is not prime. Res64: 2FA76DE9FEBD8A86 Time : 0.0 sec. user=mdettweiler [2019-07-31 11:51:00] 991*2^1543347-1 is not prime. Res64: 7FBDBB9C8A3BA190 Time : 0.0 sec. user=mdettweiler [2019-07-31 11:51:00] 705*2^1543348-1 is not prime. Res64: 01B90A25BA4C83AF Time : 0.0 sec. user=mdettweiler [2019-07-31 11:51:01] 827*2^1543348-1 is not prime. Res64: 4D52D0758435452F Time : 0.0 sec. user=mdettweiler [2019-07-31 11:51:01] 897*2^1543348-1 is not prime. Res64: A5177147A1174CFE Time : 0.0 sec. user=mdettweiler [2019-07-31 11:51:02] 649*2^1543349-1 is not prime. Res64: 2F490783A49FFF28 Time : 0.0 sec. user=mdettweiler [2019-07-31 12:01:34] 761*2^1543350-1 is not prime. Res64: 7DF91AB54AA2FB23 Time : 0.0 sec. user=mdettweiler [2019-07-31 12:01:35] 773*2^1543350-1 is not prime. Res64: 901A94D4B657F382 Time : 0.0 sec. user=mdettweiler [2019-07-31 12:01:35] 921*2^1543350-1 is not prime. Res64: 720F1ADB4A985A1F Time : 0.0 sec. user=mdettweiler [2019-07-31 12:01:36] 759*2^1543351-1 is not prime. Res64: BE91A6858CC2E435 Time : 0.0 sec. user=mdettweiler [2019-07-31 12:01:37] 855*2^1543351-1 is not prime. Res64: 2D3629E564090B8C Time : 0.0 sec. user=mdettweiler [2019-07-31 12:25:21] 931*2^1543351-1 is not prime. Res64: DA1D85179FB57129 Time : 0.0 sec. user=mdettweiler [2019-07-31 12:25:22] 951*2^1543351-1 is not prime. Res64: A6900EE9D59311E0 Time : 0.0 sec. user=mdettweiler [2019-07-31 12:25:22] 975*2^1543351-1 is not prime. Res64: B2A1BD5F8D0C29C6 Time : 0.0 sec. user=mdettweiler [2019-07-31 12:25:23] 603*2^1543352-1 is not prime. Res64: 45728BE38BD1206D Time : 0.0 sec. user=mdettweiler [2019-07-31 12:25:23] 617*2^1543352-1 is not prime. Res64: E04D6D6FB99A223C Time : 0.0 sec. user=mdettweiler [2019-07-31 12:44:10] 699*2^1543352-1 is not prime. Res64: F87C7680A701554A Time : 0.0 sec. user=mdettweiler [2019-07-31 12:44:10] 743*2^1543352-1 is not prime. Res64: DDCA878603775FF1 Time : 0.0 sec. user=mdettweiler [2019-07-31 12:44:11] 759*2^1543352-1 is not prime. Res64: 9ECDE0C2D3445406 Time : 0.0 sec. user=mdettweiler [2019-07-31 12:44:11] 873*2^1543352-1 is not prime. Res64: 811D58D169C61B52 Time : 0.0 sec. user=mdettweiler [2019-07-31 12:44:11] 879*2^1543352-1 is not prime. Res64: AE4F18714DAF1C46 Time : 0.0 sec. user=mdettweiler [2019-07-31 12:44:41] 657*2^1543353-1 is not prime. Res64: 4A7574C3D91F3CCB Time : 0.0 sec. user=mdettweiler [2019-07-31 12:44:41] 789*2^1543353-1 is not prime. Res64: 98F91F2ED712C2EB Time : 0.0 sec. user=mdettweiler [2019-07-31 12:44:42] 847*2^1543353-1 is not prime. Res64: C4F88B7EFE59FB64 Time : 0.0 sec. user=mdettweiler [2019-07-31 12:44:42] 889*2^1543353-1 is not prime. Res64: 9C0AF85A6607A560 Time : 0.0 sec. user=mdettweiler [2019-07-31 12:44:42] 921*2^1543353-1 is not prime. Res64: BB7DA6919243632A Time : 0.0 sec. user=mdettweiler [2019-07-31 12:55:33] 605*2^1543354-1 is not prime. Res64: 6B0504B7E137F042 Time : 0.0 sec. user=mdettweiler [2019-07-31 12:55:34] 665*2^1543354-1 is not prime. Res64: 5369334EAB828C0A Time : 0.0 sec. user=mdettweiler [2019-07-31 12:55:34] 825*2^1543354-1 is not prime. Res64: 051BC078DF57BE8E Time : 0.0 sec. user=mdettweiler [2019-07-31 12:55:35] 833*2^1543354-1 is not prime. Res64: 4988F4B7955819FE Time : 0.0 sec. user=mdettweiler [2019-07-31 12:55:35] 861*2^1543354-1 is not prime. Res64: 15D93F628D08FB2D Time : 0.0 sec. user=mdettweiler [2019-07-31 13:20:32] 915*2^1543354-1 is not prime. Res64: 167CA6D3721E564E Time : 0.0 sec. user=mdettweiler [2019-07-31 13:20:32] 915*2^1543355-1 is not prime. Res64: 69B3C2E6B69EADEE Time : 0.0 sec. user=mdettweiler [2019-07-31 13:20:33] 981*2^1543355-1 is not prime. Res64: F27ECB563BCCFF72 Time : 0.0 sec. user=mdettweiler [2019-07-31 13:20:33] 653*2^1543356-1 is not prime. Res64: A2FD174ADB7960A1 Time : 0.0 sec. user=mdettweiler [2019-07-31 13:20:34] 773*2^1543356-1 is not prime. Res64: 820236BB64D1A727 Time : 0.0 sec. user=mdettweiler [2019-07-31 13:39:19] 645*2^1543357-1 is not prime. Res64: 461485AA707E7FEF Time : 0.0 sec. user=mdettweiler [2019-07-31 13:39:20] 687*2^1543357-1 is not prime. Res64: 788765F7F992FACA Time : 0.0 sec. user=mdettweiler [2019-07-31 13:39:20] 747*2^1543357-1 is not prime. Res64: C6A118DD207AD3B5 Time : 0.0 sec. user=mdettweiler [2019-07-31 13:39:20] 805*2^1543357-1 is not prime. Res64: CBB1F66D8FA1F630 Time : 0.0 sec. user=mdettweiler [2019-07-31 13:39:21] 819*2^1543357-1 is not prime. Res64: 6F98F9D55E4F9C5F Time : 0.0 sec. user=mdettweiler [2019-07-31 13:39:24] 825*2^1543356-1 is not prime. Res64: C5C02C5793AF07B1 Time : 0.0 sec. user=mdettweiler [2019-07-31 13:39:25] 923*2^1543356-1 is not prime. Res64: 526CAB4563445510 Time : 0.0 sec. user=mdettweiler [2019-07-31 13:39:25] 947*2^1543356-1 is not prime. Res64: 5D3A319ADF8DE7F1 Time : 0.0 sec. user=mdettweiler [2019-07-31 13:39:26] 609*2^1543357-1 is not prime. Res64: EF35C01EBE894B19 Time : 0.0 sec. user=mdettweiler [2019-07-31 13:39:26] 615*2^1543357-1 is not prime. Res64: 41F6B79B9E62432A Time : 0.0 sec. user=mdettweiler [2019-07-31 13:49:27] 847*2^1543357-1 is not prime. Res64: 0EF564CA71D41408 Time : 0.0 sec. user=mdettweiler [2019-07-31 13:49:27] 901*2^1543357-1 is not prime. Res64: BA00A695AD2B1805 Time : 0.0 sec. user=mdettweiler [2019-07-31 13:49:28] 635*2^1543358-1 is not prime. Res64: EF78BE17089A971E Time : 0.0 sec. user=mdettweiler [2019-07-31 13:49:28] 813*2^1543358-1 is not prime. Res64: F54312667BBF552D Time : 0.0 sec. user=mdettweiler [2019-07-31 13:49:28] 827*2^1543358-1 is not prime. Res64: EE2F0EAEDBD59B91 Time : 0.0 sec. user=mdettweiler [2019-07-31 14:14:31] 857*2^1543358-1 is not prime. Res64: BF08DAF75562AC3B Time : 0.0 sec. user=mdettweiler [2019-07-31 14:14:31] 663*2^1543359-1 is not prime. Res64: 78637B57A60BDA9B Time : 0.0 sec. user=mdettweiler [2019-07-31 14:14:32] 763*2^1543359-1 is not prime. Res64: A5B87CE755012FE8 Time : 0.0 sec. user=mdettweiler [2019-07-31 14:14:32] 769*2^1543359-1 is not prime. Res64: F36D4B4BCA0BDFC6 Time : 0.0 sec. user=mdettweiler [2019-07-31 14:14:33] 853*2^1543359-1 is not prime. Res64: 39109EBA0F7183E3 Time : 0.0 sec. user=mdettweiler [2019-07-31 14:33:46] 873*2^1543359-1 is not prime. Res64: 35E95E0F3D10751D Time : 0.0 sec. user=mdettweiler [2019-07-31 14:33:46] 949*2^1543359-1 is not prime. Res64: E719C6CD91E9916F Time : 0.0 sec. user=mdettweiler [2019-07-31 14:33:47] 695*2^1543360-1 is not prime. Res64: 5D421BC156073D98 Time : 0.0 sec. user=mdettweiler [2019-07-31 14:33:47] 699*2^1543360-1 is not prime. Res64: 00D3D7BC9BD45DA4 Time : 0.0 sec. user=mdettweiler [2019-07-31 14:33:47] 765*2^1543360-1 is not prime. Res64: 27E05418FB286C00 Time : 0.0 sec. user=mdettweiler [2019-07-31 14:33:49] 873*2^1543360-1 is not prime. Res64: 98DC0E9F14A73936 Time : 0.0 sec. user=mdettweiler [2019-07-31 14:33:50] 957*2^1543360-1 is not prime. Res64: 2965D1A6461D1D7D Time : 0.0 sec. user=mdettweiler [2019-07-31 14:33:50] 983*2^1543360-1 is not prime. Res64: 96596AFFBBDB917E Time : 0.0 sec. user=mdettweiler [2019-07-31 14:33:50] 657*2^1543361-1 is not prime. Res64: BD38842970C0F08A Time : 0.0 sec. user=mdettweiler [2019-07-31 14:33:51] 697*2^1543361-1 is not prime. Res64: 00C5B4BB3B4D769A Time : 0.0 sec. user=mdettweiler [2019-07-31 14:44:11] 945*2^1543361-1 is not prime. Res64: 71942C85A27EF90A Time : 0.0 sec. user=mdettweiler [2019-07-31 14:44:12] 949*2^1543361-1 is not prime. Res64: 10BFD0864C933626 Time : 0.0 sec. user=mdettweiler [2019-07-31 14:44:12] 967*2^1543361-1 is not prime. Res64: 9C9D5B6261221A17 Time : 0.0 sec. user=mdettweiler [2019-07-31 14:44:12] 647*2^1543362-1 is not prime. Res64: DF00222793E0363A Time : 0.0 sec. user=mdettweiler [2019-07-31 14:44:13] 671*2^1543362-1 is not prime. Res64: AB35979F5534E4BB Time : 0.0 sec. user=mdettweiler [2019-07-31 15:08:21] 713*2^1543362-1 is not prime. Res64: 91ABF92AC38CB96C Time : 0.0 sec. user=mdettweiler [2019-07-31 15:08:22] 717*2^1543362-1 is not prime. Res64: 93C9FA3ECE24FA31 Time : 0.0 sec. user=mdettweiler [2019-07-31 15:08:23] 791*2^1543362-1 is not prime. Res64: 814B25ECBF0FC21C Time : 0.0 sec. user=mdettweiler [2019-07-31 15:08:24] 875*2^1543362-1 is not prime. Res64: 15FBCB6409E024AA Time : 0.0 sec. user=mdettweiler [2019-07-31 15:08:24] 1001*2^1543362-1 is not prime. Res64: 0F07CDEDBD9A63CB Time : 0.0 sec. user=mdettweiler [2019-07-31 15:27:03] 913*2^1543363-1 is not prime. Res64: 660CB2272B148F27 Time : 0.0 sec. user=mdettweiler [2019-07-31 15:27:03] 945*2^1543363-1 is not prime. Res64: 1F7470D2616DF4BA Time : 0.0 sec. user=mdettweiler [2019-07-31 15:27:04] 609*2^1543364-1 is not prime. Res64: 7916DAA4463F5CCD Time : 0.0 sec. user=mdettweiler [2019-07-31 15:27:04] 635*2^1543364-1 is not prime. Res64: 958E13F7DB8AAF08 Time : 0.0 sec. user=mdettweiler [2019-07-31 15:27:04] 725*2^1543364-1 is not prime. Res64: 247D45F37E1C074E Time : 0.0 sec. user=mdettweiler [2019-07-31 15:27:07] 743*2^1543364-1 is not prime. Res64: DBD6BC0B71DBA745 Time : 0.0 sec. user=mdettweiler [2019-07-31 15:27:07] 753*2^1543364-1 is not prime. Res64: CBC087182BAE94F7 Time : 0.0 sec. user=mdettweiler [2019-07-31 15:27:07] 759*2^1543364-1 is not prime. Res64: 1D88968D4A022A94 Time : 0.0 sec. user=mdettweiler [2019-07-31 15:27:08] 825*2^1543364-1 is not prime. Res64: 6A5164D3E7FCA1E3 Time : 0.0 sec. user=mdettweiler [2019-07-31 15:27:08] 833*2^1543364-1 is not prime. Res64: 17778A2FB089D9D1 Time : 0.0 sec. user=mdettweiler [2019-07-31 15:38:01] 837*2^1543364-1 is not prime. Res64: 065C0B69CA569DB6 Time : 0.0 sec. user=mdettweiler [2019-07-31 15:38:01] 885*2^1543364-1 is not prime. Res64: B4CCEBDC8344D920 Time : 0.0 sec. user=mdettweiler [2019-07-31 15:38:02] 903*2^1543364-1 is not prime. Res64: 5E5C116B77CEB429 Time : 0.0 sec. user=mdettweiler [2019-07-31 15:38:02] 957*2^1543364-1 is not prime. Res64: D48AAF6DE3AD6628 Time : 0.0 sec. user=mdettweiler [2019-07-31 15:38:02] 679*2^1543365-1 is not prime. Res64: 78263DA1ACA7CC92 Time : 0.0 sec. user=mdettweiler [2019-07-31 16:01:44] 711*2^1543365-1 is not prime. Res64: D8BD905155D5B2F8 Time : 0.0 sec. user=mdettweiler [2019-07-31 16:01:46] 777*2^1543365-1 is not prime. Res64: A3622EB1E847511D Time : 0.0 sec. user=mdettweiler [2019-07-31 16:01:46] 805*2^1543365-1 is not prime. Res64: 03D647E5343B0608 Time : 0.0 sec. user=mdettweiler [2019-07-31 16:01:47] 811*2^1543365-1 is not prime. Res64: CB73BFE126C7ECC8 Time : 0.0 sec. user=mdettweiler [2019-07-31 16:01:48] 705*2^1543366-1 is not prime. Res64: CF6914CA147FD563 Time : 0.0 sec. user=mdettweiler [2019-07-31 16:20:48] 755*2^1543366-1 is not prime. Res64: DFA90F365E8503D5 Time : 0.0 sec. user=mdettweiler [2019-07-31 16:20:48] 785*2^1543366-1 is not prime. Res64: 6478B8BAD3A6CD47 Time : 0.0 sec. user=mdettweiler [2019-07-31 16:20:49] 843*2^1543366-1 is not prime. Res64: 816325081A9941B6 Time : 0.0 sec. user=mdettweiler [2019-07-31 16:20:49] 873*2^1543366-1 is not prime. Res64: AA569E4F4E5B7E5C Time : 0.0 sec. user=mdettweiler [2019-07-31 16:20:50] 917*2^1543366-1 is not prime. Res64: 68A32FE2717BD0CD Time : 0.0 sec. user=mdettweiler [2019-07-31 16:21:50] 923*2^1543366-1 is not prime. Res64: FDAF1464883D2603 Time : 0.0 sec. user=mdettweiler [2019-07-31 16:21:51] 945*2^1543366-1 is not prime. Res64: AD87D50E6F218301 Time : 0.0 sec. user=mdettweiler [2019-07-31 16:21:51] 975*2^1543366-1 is not prime. Res64: 346E43F33BBB945E Time : 0.0 sec. user=mdettweiler [2019-07-31 16:21:51] 621*2^1543367-1 is not prime. Res64: 28C375839C0B2AD9 Time : 0.0 sec. user=mdettweiler [2019-07-31 16:21:52] 673*2^1543367-1 is not prime. Res64: 3AE62D0183A78C74 Time : 0.0 sec. user=mdettweiler [2019-07-31 16:32:49] 685*2^1543367-1 is not prime. Res64: 0394BDB4746B9166 Time : 0.0 sec. user=mdettweiler [2019-07-31 16:32:49] 739*2^1543367-1 is not prime. Res64: 1FBAEEA7E94DB6E9 Time : 0.0 sec. user=mdettweiler [2019-07-31 16:32:50] 759*2^1543367-1 is not prime. Res64: 155A26326119E4C6 Time : 0.0 sec. user=mdettweiler [2019-07-31 16:32:50] 825*2^1543367-1 is not prime. Res64: 7D8565D5387CAF5E Time : 0.0 sec. user=mdettweiler [2019-07-31 16:32:51] 865*2^1543367-1 is not prime. Res64: ED219BFADCA312C8 Time : 0.0 sec. user=mdettweiler [2019-07-31 16:56:49] 885*2^1543367-1 is not prime. Res64: 96F27672407CC618 Time : 0.0 sec. user=mdettweiler [2019-07-31 16:56:50] 973*2^1543367-1 is not prime. Res64: CAD4B00DAB2A6AB9 Time : 0.0 sec. user=mdettweiler [2019-07-31 16:56:50] 629*2^1543368-1 is not prime. Res64: 9F82D5FBD8A70765 Time : 0.0 sec. user=mdettweiler [2019-07-31 16:56:50] 657*2^1543368-1 is not prime. Res64: 6BC96456B0BE3CEA Time : 0.0 sec. user=mdettweiler [2019-07-31 16:56:51] 669*2^1543368-1 is not prime. Res64: EF95008DE2CE6B79 Time : 0.0 sec. user=mdettweiler [2019-07-31 17:14:32] 705*2^1543368-1 is not prime. Res64: 5476B1D469E63D26 Time : 0.0 sec. user=mdettweiler [2019-07-31 17:14:33] 773*2^1543368-1 is not prime. Res64: 00C9631B191529AC Time : 0.0 sec. user=mdettweiler [2019-07-31 17:14:33] 803*2^1543368-1 is not prime. Res64: D38226DDB86CECC4 Time : 0.0 sec. user=mdettweiler [2019-07-31 17:14:34] 809*2^1543368-1 is not prime. Res64: 055CD2A9FA6491A3 Time : 0.0 sec. user=mdettweiler [2019-07-31 17:14:34] 845*2^1543368-1 is not prime. Res64: FC5A6F4D788C859F Time : 0.0 sec. user=mdettweiler [2019-07-31 17:16:12] 887*2^1543368-1 is not prime. Res64: 200F00A3BF48A45C Time : 0.0 sec. user=mdettweiler [2019-07-31 17:16:13] 927*2^1543368-1 is not prime. Res64: C65EC9D0CBC49E3A Time : 0.0 sec. user=mdettweiler [2019-07-31 17:16:14] 933*2^1543368-1 is not prime. Res64: 88AE118EED4A597E Time : 0.0 sec. user=mdettweiler [2019-07-31 17:16:14] 619*2^1543369-1 is not prime. Res64: BC182B433D319097 Time : 0.0 sec. user=mdettweiler [2019-07-31 17:16:15] 721*2^1543369-1 is not prime. Res64: 220AA72FFB177EC0 Time : 0.0 sec. user=mdettweiler [2019-07-31 17:26:58] 747*2^1543369-1 is not prime. Res64: CB0619DA070947D6 Time : 0.0 sec. user=mdettweiler [2019-07-31 17:26:59] 861*2^1543369-1 is not prime. Res64: 49A306159B2DE7AC Time : 0.0 sec. user=mdettweiler [2019-07-31 17:26:59] 885*2^1543369-1 is not prime. Res64: 071609B1DDFE8EDD Time : 0.0 sec. user=mdettweiler [2019-07-31 17:27:00] 895*2^1543369-1 is not prime. Res64: D4B19F140D5C476C Time : 0.0 sec. user=mdettweiler [2019-07-31 17:27:00] 955*2^1543369-1 is not prime. Res64: 80890B86861251B3 Time : 0.0 sec. user=mdettweiler [2019-07-31 17:49:16] 707*2^1543370-1 is not prime. Res64: BC7D8946047BA9CE Time : 0.0 sec. user=mdettweiler [2019-07-31 17:49:17] 783*2^1543370-1 is not prime. Res64: B5C01E25D36E5EBF Time : 0.0 sec. user=mdettweiler [2019-07-31 17:49:17] 827*2^1543370-1 is not prime. Res64: 8CA73C9C5BE8E9DF Time : 0.0 sec. user=mdettweiler [2019-07-31 17:49:18] 867*2^1543370-1 is not prime. Res64: AC8FA98173B9F139 Time : 0.0 sec. user=mdettweiler [2019-07-31 17:49:18] 971*2^1543370-1 is not prime. Res64: 79D3419E71D79CF3 Time : 0.0 sec. user=mdettweiler [2019-07-31 18:06:40] 613*2^1543371-1 is not prime. Res64: 37E0CBD1C8C0EBAB Time : 0.0 sec. user=mdettweiler [2019-07-31 18:06:41] 873*2^1543371-1 is not prime. Res64: 6ACC3E39847C7139 Time : 0.0 sec. user=mdettweiler [2019-07-31 18:06:42] 879*2^1543371-1 is not prime. Res64: BE5894AF04D280C9 Time : 0.0 sec. user=mdettweiler [2019-07-31 18:06:43] 657*2^1543372-1 is not prime. Res64: 846819F3E7C613FC Time : 0.0 sec. user=mdettweiler [2019-07-31 18:06:44] 693*2^1543372-1 is not prime. Res64: D2D717293310F8A9 Time : 0.0 sec. user=mdettweiler [2019-07-31 18:08:49] 743*2^1543372-1 is not prime. Res64: 3872EA520A353A3B Time : 0.0 sec. user=mdettweiler [2019-07-31 18:08:50] 749*2^1543372-1 is not prime. Res64: 9B27BF4CA00C40C3 Time : 0.0 sec. user=mdettweiler [2019-07-31 18:08:50] 777*2^1543372-1 is not prime. Res64: F0589D4687E27739 Time : 0.0 sec. user=mdettweiler [2019-07-31 18:08:51] 875*2^1543372-1 is not prime. Res64: 1EE15A8295B66ECF Time : 0.0 sec. user=mdettweiler [2019-07-31 18:08:51] 903*2^1543372-1 is not prime. Res64: 10D7AC486329C952 Time : 0.0 sec. user=mdettweiler [2019-07-31 18:21:26] 631*2^1543373-1 is not prime. Res64: EAB6B90B2E5AB806 Time : 0.0 sec. user=mdettweiler [2019-07-31 18:21:26] 771*2^1543373-1 is not prime. Res64: 58C08A4A934868AB Time : 0.0 sec. user=mdettweiler [2019-07-31 18:21:27] 915*2^1543373-1 is not prime. Res64: 3A710CB434B9B418 Time : 0.0 sec. user=mdettweiler [2019-07-31 18:21:27] 927*2^1543373-1 is not prime. Res64: 91D27DF04BEB4695 Time : 0.0 sec. user=mdettweiler [2019-07-31 18:21:27] 969*2^1543373-1 is not prime. Res64: 7386AF8F9AE420E8 Time : 0.0 sec. user=mdettweiler [2019-07-31 18:43:16] 671*2^1543374-1 is not prime. Res64: 81F85286EDB9E405 Time : 0.0 sec. user=mdettweiler [2019-07-31 18:43:16] 693*2^1543374-1 is not prime. Res64: CAB33F618963A23B Time : 0.0 sec. user=mdettweiler [2019-07-31 18:43:16] 791*2^1543374-1 is not prime. Res64: 252292D08A99A9B5 Time : 0.0 sec. user=mdettweiler [2019-07-31 18:43:17] 891*2^1543374-1 is not prime. Res64: 08402490CCDA273D Time : 0.0 sec. user=mdettweiler [2019-07-31 18:43:17] 893*2^1543374-1 is not prime. Res64: 21255D0DBCFE270F Time : 0.0 sec. user=mdettweiler [2019-07-31 19:00:42] 723*2^1543375-1 is not prime. Res64: CEADA372EC7B02F0 Time : 0.0 sec. user=mdettweiler [2019-07-31 19:00:43] 735*2^1543375-1 is not prime. Res64: 81FD984E2E3FB197 Time : 0.0 sec. user=mdettweiler [2019-07-31 19:00:44] 771*2^1543375-1 is not prime. Res64: B275C43DED6F2989 Time : 0.0 sec. user=mdettweiler [2019-07-31 19:00:44] 775*2^1543375-1 is not prime. Res64: A00F912BB719667B Time : 0.0 sec. user=mdettweiler [2019-07-31 19:00:45] 891*2^1543375-1 is not prime. Res64: 71D4502B47B1E3A5 Time : 0.0 sec. user=mdettweiler [2019-07-31 19:02:03] 635*2^1543376-1 is not prime. Res64: C27730762172F4DC Time : 0.0 sec. user=mdettweiler [2019-07-31 19:13:41] 833*2^1543376-1 is not prime. Res64: 61603BCB41093F58 Time : 0.0 sec. user=mdettweiler [2019-07-31 19:13:42] 843*2^1543376-1 is not prime. Res64: 1A572AAA433C716F Time : 0.0 sec. user=mdettweiler [2019-07-31 19:13:42] 637*2^1543377-1 is not prime. Res64: 19BD6A77AE1B6348 Time : 0.0 sec. user=mdettweiler [2019-07-31 19:13:43] 739*2^1543377-1 is not prime. Res64: E90EABE06C520ADE Time : 0.0 sec. user=mdettweiler [2019-07-31 19:13:43] 781*2^1543377-1 is not prime. Res64: 6C778F978E28C9E2 Time : 0.0 sec. user=mdettweiler [2019-07-31 19:36:24] 885*2^1543377-1 is not prime. Res64: 72DB15607FB86223 Time : 0.0 sec. user=mdettweiler [2019-07-31 19:36:24] 955*2^1543377-1 is not prime. Res64: 7B50F9EE73F47BAE Time : 0.0 sec. user=mdettweiler [2019-07-31 19:36:25] 623*2^1543378-1 is not prime. Res64: 464E38A41152E6CE Time : 0.0 sec. user=mdettweiler [2019-07-31 19:36:25] 755*2^1543378-1 is not prime. Res64: 5570A72C21D35DC6 Time : 0.0 sec. user=mdettweiler [2019-07-31 19:36:25] 833*2^1543378-1 is not prime. Res64: C5A115B991AFA62D Time : 0.0 sec. user=mdettweiler [2019-07-31 19:53:52] 845*2^1543378-1 is not prime. Res64: 48A3742E6E634EB4 Time : 0.0 sec. user=mdettweiler [2019-07-31 19:53:53] 855*2^1543378-1 is not prime. Res64: 1297AF81CFEF7F05 Time : 0.0 sec. user=mdettweiler [2019-07-31 19:53:53] 915*2^1543378-1 is not prime. Res64: AEEDADC787663CEC Time : 0.0 sec. user=mdettweiler [2019-07-31 19:53:53] 643*2^1543379-1 is not prime. Res64: E7CCF597BF13890A Time : 0.0 sec. user=mdettweiler [2019-07-31 19:53:54] 693*2^1543379-1 is not prime. Res64: A3AA41063E280ABA Time : 0.0 sec. user=mdettweiler [2019-07-31 20:08:20] 931*2^1543379-1 is not prime. Res64: 60F5B5CB5FBD63D1 Time : 0.0 sec. user=mdettweiler [2019-07-31 20:08:23] 955*2^1543379-1 is not prime. Res64: BF775CAD1566D8E1 Time : 0.0 sec. user=mdettweiler [2019-07-31 20:08:23] 615*2^1543380-1 is not prime. Res64: 0D5D6126510CACD5 Time : 0.0 sec. user=mdettweiler [2019-07-31 20:08:24] 629*2^1543380-1 is not prime. Res64: 4E32B2C0E716B87F Time : 0.0 sec. user=mdettweiler [2019-07-31 20:08:25] 689*2^1543380-1 is not prime. Res64: 78A96D688DF62E15 Time : 0.0 sec. user=mdettweiler [2019-07-31 20:32:06] 719*2^1543380-1 is not prime. Res64: 46981F2CD95A7AC9 Time : 0.0 sec. user=mdettweiler [2019-07-31 20:32:07] 765*2^1543380-1 is not prime. Res64: EE581DEAFA3A5135 Time : 0.0 sec. user=mdettweiler [2019-07-31 20:32:07] 767*2^1543380-1 is not prime. Res64: DE4E5CA4BA00FBF4 Time : 0.0 sec. user=mdettweiler [2019-07-31 20:32:08] 843*2^1543380-1 is not prime. Res64: 0606AEE0A555E811 Time : 0.0 sec. user=mdettweiler [2019-07-31 20:32:08] 615*2^1543381-1 is not prime. Res64: BE6062E313141323 Time : 0.0 sec. user=mdettweiler [2019-07-31 20:50:36] 717*2^1543381-1 is not prime. Res64: 1214483940D63A3D Time : 0.0 sec. user=mdettweiler [2019-07-31 20:50:36] 769*2^1543381-1 is not prime. Res64: 3A8E389F05E6DCEF Time : 0.0 sec. user=mdettweiler [2019-07-31 20:50:37] 771*2^1543381-1 is not prime. Res64: DD7A75222BE23C25 Time : 0.0 sec. user=mdettweiler [2019-07-31 20:50:37] 997*2^1543381-1 is not prime. Res64: CFF7FCD70AD29346 Time : 0.0 sec. user=mdettweiler [2019-07-31 20:50:38] 657*2^1543382-1 is not prime. Res64: 12154DA563D902C8 Time : 0.0 sec. user=mdettweiler [2019-07-31 21:04:40] 677*2^1543382-1 is not prime. Res64: 3C647D932A2A8AFC Time : 0.0 sec. user=mdettweiler [2019-07-31 21:04:41] 711*2^1543382-1 is not prime. Res64: 4428EE35AFBDDA13 Time : 0.0 sec. user=mdettweiler [2019-07-31 21:04:42] 761*2^1543382-1 is not prime. Res64: 9A32E6EFA287525D Time : 0.0 sec. user=mdettweiler [2019-07-31 21:04:43] 791*2^1543382-1 is not prime. Res64: 5F07441E8C7FDB4B Time : 0.0 sec. user=mdettweiler [2019-07-31 21:04:44] 867*2^1543382-1 is not prime. Res64: 4FD91956C236C933 Time : 0.0 sec. user=mdettweiler [2019-07-31 21:26:21] 935*2^1543382-1 is not prime. Res64: FD64482134A5DB82 Time : 0.0 sec. user=mdettweiler [2019-07-31 21:26:21] 965*2^1543382-1 is not prime. Res64: 426869027142754E Time : 0.0 sec. user=mdettweiler [2019-07-31 21:26:22] 625*2^1543383-1 is not prime. Res64: 86479ACFD75696F5 Time : 0.0 sec. user=mdettweiler [2019-07-31 21:26:22] 703*2^1543383-1 is not prime. Res64: C56F4BDD495BF5CB Time : 0.0 sec. user=mdettweiler [2019-07-31 21:26:23] 739*2^1543383-1 is not prime. Res64: 5AE6EDDFC201541F Time : 0.0 sec. user=mdettweiler [2019-07-31 21:27:53] 787*2^1543385-1 is not prime. Res64: B1C1616CF5F0E455 Time : 0.0 sec. user=mdettweiler [2019-07-31 21:43:52] 825*2^1543383-1 is not prime. Res64: 67143CBDC979AE3B Time : 0.0 sec. user=mdettweiler [2019-07-31 21:43:52] 853*2^1543383-1 is not prime. Res64: A33D0EC8211DACC4 Time : 0.0 sec. user=mdettweiler [2019-07-31 21:43:52] 895*2^1543383-1 is not prime. Res64: 8F01C1E77216B175 Time : 0.0 sec. user=mdettweiler [2019-07-31 21:43:53] 951*2^1543383-1 is not prime. Res64: 555D9E97E2B0EBF7 Time : 0.0 sec. user=mdettweiler [2019-07-31 21:43:53] 645*2^1543384-1 is not prime. Res64: 80AF99D0A976B5E8 Time : 0.0 sec. user=mdettweiler [2019-07-31 21:58:35] 759*2^1543384-1 is not prime. Res64: 1D4AF050AFAA2B80 Time : 0.0 sec. user=mdettweiler [2019-07-31 21:58:35] 903*2^1543384-1 is not prime. Res64: 93E48AA56EB59046 Time : 0.0 sec. user=mdettweiler [2019-07-31 21:58:36] 993*2^1543384-1 is not prime. Res64: 24D8D5A8AE01BD46 Time : 0.0 sec. user=mdettweiler [2019-07-31 21:58:36] 699*2^1543385-1 is not prime. Res64: 23B06C85283DDBC3 Time : 0.0 sec. user=mdettweiler [2019-07-31 21:58:37] 729*2^1543385-1 is not prime. Res64: B58A41DF8D4A1224 Time : 0.0 sec. user=mdettweiler [2019-07-31 22:19:56] 885*2^1543385-1 is not prime. Res64: 5B8E3735D5932638 Time : 0.0 sec. user=mdettweiler [2019-07-31 22:19:56] 889*2^1543385-1 is not prime. Res64: 62F8F7A79C52EEE2 Time : 0.0 sec. user=mdettweiler [2019-07-31 22:19:57] 925*2^1543385-1 is not prime. Res64: 6E884974364903CD Time : 0.0 sec. user=mdettweiler [2019-07-31 22:19:57] 705*2^1543386-1 is not prime. Res64: EC0859E4EC710028 Time : 0.0 sec. user=mdettweiler [2019-07-31 22:19:58] 711*2^1543386-1 is not prime. Res64: A8621CEC35493B3F Time : 0.0 sec. user=mdettweiler [2019-07-31 22:38:11] 713*2^1543386-1 is not prime. Res64: 21CE6A3EF49AAC95 Time : 0.0 sec. user=mdettweiler [2019-07-31 22:38:11] 905*2^1543386-1 is not prime. Res64: 0FA1D040B4286466 Time : 0.0 sec. user=mdettweiler [2019-07-31 22:38:11] 917*2^1543386-1 is not prime. Res64: 1E477FDF548D71E4 Time : 0.0 sec. user=mdettweiler [2019-07-31 22:38:12] 921*2^1543386-1 is not prime. Res64: FCC481B2F859B82E Time : 0.0 sec. user=mdettweiler [2019-07-31 22:38:12] 631*2^1543387-1 is not prime. Res64: D51EE1E95DCF09C8 Time : 0.0 sec. user=mdettweiler [2019-07-31 22:52:18] 651*2^1543387-1 is not prime. Res64: 3CC1BC400688790E Time : 0.0 sec. user=mdettweiler [2019-07-31 22:52:19] 673*2^1543387-1 is not prime. Res64: 85A0B6B0C7787097 Time : 0.0 sec. user=mdettweiler [2019-07-31 22:52:19] 829*2^1543387-1 is not prime. Res64: F30C1E9F9C3CA9D6 Time : 0.0 sec. user=mdettweiler [2019-07-31 22:52:19] 961*2^1543387-1 is not prime. Res64: 690124F48D2F348D Time : 0.0 sec. user=mdettweiler [2019-07-31 22:52:20] 633*2^1543388-1 is not prime. Res64: 552695DEBE9FEF37 Time : 0.0 sec. user=mdettweiler [2019-07-31 23:13:57] 647*2^1543388-1 is not prime. Res64: 1405046784CAAAB7 Time : 0.0 sec. user=mdettweiler [2019-07-31 23:13:57] 749*2^1543388-1 is not prime. Res64: 6D6EDFA263B56D2B Time : 0.0 sec. user=mdettweiler [2019-07-31 23:13:58] 753*2^1543388-1 is not prime. Res64: 4B5EB812AE436094 Time : 0.0 sec. user=mdettweiler [2019-07-31 23:13:58] 797*2^1543388-1 is not prime. Res64: 139F94FA09C7421F Time : 0.0 sec. user=mdettweiler [2019-07-31 23:13:59] 827*2^1543388-1 is not prime. Res64: 3CA08C8809BDC6A2 Time : 0.0 sec. user=mdettweiler [2019-07-31 23:20:41] 657*2^1543376-1 is not prime. Res64: 3FDBB7FE66BCF113 Time : 0.0 sec. user=mdettweiler [2019-07-31 23:20:42] 717*2^1543376-1 is not prime. Res64: 806DBDE92BB987E5 Time : 0.0 sec. user=mdettweiler [2019-07-31 23:20:43] 789*2^1543376-1 is not prime. Res64: 40DBB37F25B6AAC5 Time : 0.0 sec. user=mdettweiler [2019-07-31 23:20:44] 815*2^1543376-1 is not prime. Res64: A10652AAFA917CA3 Time : 0.0 sec. user=mdettweiler [2019-07-31 23:32:21] 837*2^1543388-1 is not prime. Res64: 041B300D924A97B2 Time : 0.0 sec. user=mdettweiler [2019-07-31 23:32:22] 855*2^1543388-1 is not prime. Res64: E64F68DBF25ECE6D Time : 0.0 sec. user=mdettweiler [2019-07-31 23:32:22] 893*2^1543388-1 is not prime. Res64: EB5795B48AF6D56F Time : 0.0 sec. user=mdettweiler [2019-07-31 23:32:23] 923*2^1543388-1 is not prime. Res64: 79BCD32CFB6E9F48 Time : 0.0 sec. user=mdettweiler [2019-07-31 23:32:23] 995*2^1543388-1 is not prime. Res64: D116E3047CF0E80E Time : 0.0 sec. user=mdettweiler [2019-07-31 23:45:31] 625*2^1543389-1 is not prime. Res64: 6E812A38EDD8CE12 Time : 0.0 sec. user=mdettweiler [2019-07-31 23:45:31] 627*2^1543389-1 is not prime. Res64: AFCF2270420D1C26 Time : 0.0 sec. user=mdettweiler [2019-07-31 23:45:31] 745*2^1543389-1 is not prime. Res64: A4D7E1D9F6D4BC2F Time : 0.0 sec. user=mdettweiler [2019-07-31 23:45:32] 759*2^1543389-1 is not prime. Res64: 0C0B72E51F2AE9A5 Time : 0.0 sec. user=mdettweiler [2019-07-31 23:45:32] 831*2^1543389-1 is not prime. Res64: BF2DFE7873EDC5BE Time : 0.0 sec.