user=mdettweiler [2020-02-15 00:15:27] 721*2^1554053-1 is not prime. Res64: CA9866470CAE3A81 Time : 0.0 sec. user=mdettweiler [2020-02-15 00:15:28] 747*2^1554053-1 is not prime. Res64: 9E2F1FAA6E2238C0 Time : 0.0 sec. user=mdettweiler [2020-02-15 00:15:28] 847*2^1554053-1 is not prime. Res64: 5B8D7E4B28FFE6F3 Time : 0.0 sec. user=mdettweiler [2020-02-15 00:15:29] 859*2^1554053-1 is not prime. Res64: 3E95E71069C4D379 Time : 0.0 sec. user=mdettweiler [2020-02-15 00:15:29] 925*2^1554053-1 is not prime. Res64: 66637C83FA7A81FF Time : 0.0 sec. user=mdettweiler [2020-02-15 00:26:04] 949*2^1554053-1 is not prime. Res64: 8741404CD0DEEDFA Time : 0.0 sec. user=mdettweiler [2020-02-15 00:26:05] 979*2^1554053-1 is not prime. Res64: 7B7F49C6C4D2749D Time : 0.0 sec. user=mdettweiler [2020-02-15 00:26:05] 693*2^1554054-1 is not prime. Res64: 539576987902E56D Time : 0.0 sec. user=mdettweiler [2020-02-15 00:26:06] 731*2^1554054-1 is not prime. Res64: DE14F3086EFF0246 Time : 0.0 sec. user=mdettweiler [2020-02-15 00:26:06] 875*2^1554054-1 is not prime. Res64: 1160F2FB15F51B45 Time : 0.0 sec. user=mdettweiler [2020-02-15 00:35:56] 945*2^1554054-1 is not prime. Res64: 1488725AA7819869 Time : 0.0 sec. user=mdettweiler [2020-02-15 00:35:56] 951*2^1554054-1 is not prime. Res64: 019E4000B3B56232 Time : 0.0 sec. user=mdettweiler [2020-02-15 00:35:57] 1001*2^1554054-1 is not prime. Res64: ADA8499EF04003EB Time : 0.0 sec. user=mdettweiler [2020-02-15 00:35:57] 663*2^1554055-1 is not prime. Res64: DEEFA37459070590 Time : 0.0 sec. user=mdettweiler [2020-02-15 00:35:57] 705*2^1554055-1 is not prime. Res64: DC7E5ADEDA05BDA0 Time : 0.0 sec. user=mdettweiler [2020-02-15 01:09:33] 805*2^1554055-1 is not prime. Res64: 3971A47EA050E038 Time : 0.0 sec. user=mdettweiler [2020-02-15 01:09:35] 909*2^1554055-1 is not prime. Res64: 80043FF06FFEA28B Time : 0.0 sec. user=mdettweiler [2020-02-15 01:09:37] 609*2^1554056-1 is not prime. Res64: 8921954A94F147AE Time : 0.0 sec. user=mdettweiler [2020-02-15 01:09:38] 657*2^1554056-1 is not prime. Res64: 0DC21171069671D2 Time : 0.0 sec. user=mdettweiler [2020-02-15 01:09:40] 923*2^1554056-1 is not prime. Res64: F76EC2172258DC12 Time : 0.0 sec. user=mdettweiler [2020-02-15 01:20:08] 935*2^1554056-1 is not prime. Res64: 1960B55DFE764E5F Time : 0.0 sec. user=mdettweiler [2020-02-15 01:20:09] 609*2^1554057-1 is not prime. Res64: 09E36ABBFA9DB7CB Time : 0.0 sec. user=mdettweiler [2020-02-15 01:20:09] 805*2^1554057-1 is not prime. Res64: 511E03B7F554AC02 Time : 0.0 sec. user=mdettweiler [2020-02-15 01:20:09] 955*2^1554057-1 is not prime. Res64: 404B1BB53A96E0E0 Time : 0.0 sec. user=mdettweiler [2020-02-15 01:20:10] 611*2^1554058-1 is not prime. Res64: 311388CE2E354857 Time : 0.0 sec. user=mdettweiler [2020-02-15 01:27:31] 635*2^1554058-1 is not prime. Res64: 22E8D562C9349779 Time : 0.0 sec. user=mdettweiler [2020-02-15 01:27:32] 671*2^1554058-1 is not prime. Res64: 9242EDCF36773BF6 Time : 0.0 sec. user=mdettweiler [2020-02-15 01:27:33] 687*2^1554058-1 is not prime. Res64: 089F32E6B8B1FB9E Time : 0.0 sec. user=mdettweiler [2020-02-15 01:27:34] 803*2^1554058-1 is not prime. Res64: F1EEFFE9C18D7A45 Time : 0.0 sec. user=mdettweiler [2020-02-15 01:27:34] 815*2^1554058-1 is not prime. Res64: 7575D55DA7B84CAC Time : 0.0 sec. user=mdettweiler [2020-02-15 02:05:58] 885*2^1554058-1 is not prime. Res64: 30BB7F75A9D8E668 Time : 0.0 sec. user=mdettweiler [2020-02-15 02:12:37] 705*2^1554059-1 is not prime. Res64: DB895AB1BBDA3B6F Time : 0.0 sec. user=mdettweiler [2020-02-15 02:12:40] 745*2^1554059-1 is not prime. Res64: 04E8C5B0EAA3B052 Time : 0.0 sec. user=mdettweiler [2020-02-15 02:12:42] 753*2^1554059-1 is not prime. Res64: FD18A22B73AA0F9A Time : 0.0 sec. user=mdettweiler [2020-02-15 02:12:46] 913*2^1554059-1 is not prime. Res64: 916B2AF49783A487 Time : 0.0 sec. user=mdettweiler [2020-02-15 02:12:50] 647*2^1554060-1 is not prime. Res64: 45D2DF573C19EBC8 Time : 0.0 sec. user=mdettweiler [2020-02-15 02:21:42] 795*2^1554060-1 is not prime. Res64: 6E6B91A4B56D50FB Time : 0.0 sec. user=mdettweiler [2020-02-15 02:21:46] 965*2^1554060-1 is not prime. Res64: 2674F5B10BEB7BE9 Time : 0.0 sec. user=mdettweiler [2020-02-15 02:21:49] 987*2^1554060-1 is not prime. Res64: 5F20DEFD7E99E85F Time : 0.0 sec. user=mdettweiler [2020-02-15 02:21:50] 715*2^1554061-1 is not prime. Res64: 2F238C5720F38749 Time : 0.0 sec. user=mdettweiler [2020-02-15 02:21:51] 741*2^1554061-1 is not prime. Res64: DAB3028549690F1D Time : 0.0 sec. user=mdettweiler [2020-02-15 02:31:36] 741*2^1554062-1 is not prime. Res64: 149BCCF2E799224F Time : 0.0 sec. user=mdettweiler [2020-02-15 03:07:15] 747*2^1554061-1 is not prime. Res64: 6957E54F3A3EBF5E Time : 0.0 sec. user=mdettweiler [2020-02-15 03:14:22] 895*2^1554061-1 is not prime. Res64: BA8549B77F7C5001 Time : 0.0 sec. user=mdettweiler [2020-02-15 06:37:58] 915*2^1554058-1 is not prime. Res64: 142BC8D0DC2BD512 Time : 0.0 sec. user=mdettweiler [2020-02-15 06:37:58] 975*2^1554058-1 is not prime. Res64: 64F7F12450778384 Time : 0.0 sec. user=mdettweiler [2020-02-15 06:37:59] 993*2^1554058-1 is not prime. Res64: AC434B5CD5964FBE Time : 0.0 sec. user=mdettweiler [2020-02-15 06:37:59] 703*2^1554059-1 is not prime. Res64: 8049C579BA9B124A Time : 0.0 sec. user=mdettweiler [2020-02-15 07:31:55] 791*2^1554062-1 is not prime. Res64: DB50914E909C7BAD Time : 0.0 sec. user=mdettweiler [2020-02-15 07:31:56] 825*2^1554062-1 is not prime. Res64: 8F65ABAE62A694B0 Time : 0.0 sec. user=mdettweiler [2020-02-15 07:31:56] 827*2^1554062-1 is not prime. Res64: 34CD221FD3FDF87F Time : 0.0 sec. user=mdettweiler [2020-02-15 07:31:57] 903*2^1554062-1 is not prime. Res64: F17DEB404B7C32CB Time : 0.0 sec. user=mdettweiler [2020-02-15 07:31:58] 941*2^1554062-1 is not prime. Res64: 7A2388A510FCB3AF Time : 0.0 sec. user=mdettweiler [2020-02-15 08:26:33] 953*2^1554062-1 is not prime. Res64: 0478AC6C52A4C7E1 Time : 0.0 sec. user=mdettweiler [2020-02-15 08:26:34] 1001*2^1554062-1 is not prime. Res64: C7970C4C85F1E7EB Time : 0.0 sec. user=mdettweiler [2020-02-15 08:26:34] 643*2^1554063-1 is not prime. Res64: C9BC8F12638EA230 Time : 0.0 sec. user=mdettweiler [2020-02-15 08:26:35] 831*2^1554063-1 is not prime. Res64: 2FE2E19F9A676931 Time : 0.0 sec. user=mdettweiler [2020-02-15 08:26:35] 657*2^1554064-1 is not prime. Res64: 2C1AB922DC9AC2BB Time : 0.0 sec. user=mdettweiler [2020-02-15 08:45:34] 777*2^1554061-1 is not prime. Res64: DFB9C23E03C4EC7D Time : 0.0 sec. user=mdettweiler [2020-02-15 08:45:34] 825*2^1554061-1 is not prime. Res64: 6E95A0DA97256D38 Time : 0.0 sec. user=mdettweiler [2020-02-15 08:45:35] 855*2^1554061-1 is not prime. Res64: 9C6665CA75E82A08 Time : 0.0 sec. user=mdettweiler [2020-02-15 08:45:35] 889*2^1554061-1 is not prime. Res64: 6CC160A1F6EC3D5B Time : 0.0 sec. user=mdettweiler [2020-02-15 08:45:52] 603*2^1554062-1 is not prime. Res64: 1E91D41C7681C972 Time : 0.0 sec. user=mdettweiler [2020-02-15 08:45:53] 651*2^1554062-1 is not prime. Res64: 68A49FF643189F40 Time : 0.0 sec. user=mdettweiler [2020-02-15 08:45:53] 671*2^1554062-1 is not prime. Res64: 0E7BB1478E46ED7D Time : 0.0 sec. user=mdettweiler [2020-02-15 08:45:54] 675*2^1554062-1 is not prime. Res64: 364B4C8B1453BF31 Time : 0.0 sec. user=mdettweiler [2020-02-15 09:20:46] 663*2^1554064-1 is not prime. Res64: 93A31D1A2DC7FB80 Time : 0.0 sec. user=mdettweiler [2020-02-15 09:20:47] 717*2^1554064-1 is not prime. Res64: 01331B616BBE2B9E Time : 0.0 sec. user=mdettweiler [2020-02-15 09:20:47] 765*2^1554064-1 is not prime. Res64: D5D4A1568428AD69 Time : 0.0 sec. user=mdettweiler [2020-02-15 09:20:48] 917*2^1554064-1 is not prime. Res64: 11AAD2209A6D37C7 Time : 0.0 sec. user=mdettweiler [2020-02-15 09:20:48] 993*2^1554064-1 is not prime. Res64: F3E81DCD3E8E951A Time : 0.0 sec. user=mdettweiler [2020-02-15 09:36:52] 627*2^1554066-1 is not prime. Res64: 1CF21705821631FF Time : 0.0 sec. user=mdettweiler [2020-02-15 09:36:52] 677*2^1554066-1 is not prime. Res64: 1C526E7D233BFF10 Time : 0.0 sec. user=mdettweiler [2020-02-15 09:36:53] 705*2^1554066-1 is not prime. Res64: 3196DFA04544BDBB Time : 0.0 sec. user=mdettweiler [2020-02-15 09:36:54] 713*2^1554066-1 is not prime. Res64: 3BCFBC9712554969 Time : 0.0 sec. user=mdettweiler [2020-02-15 09:36:54] 735*2^1554066-1 is not prime. Res64: E527E682B67D2F44 Time : 0.0 sec. user=mdettweiler [2020-02-15 09:37:12] 607*2^1554065-1 is not prime. Res64: 85152690452ED0B6 Time : 0.0 sec. user=mdettweiler [2020-02-15 09:37:12] 619*2^1554065-1 is not prime. Res64: 7D887C572D7367B8 Time : 0.0 sec. user=mdettweiler [2020-02-15 09:37:12] 741*2^1554065-1 is not prime. Res64: 827F39BB9B4F39A7 Time : 0.0 sec. user=mdettweiler [2020-02-15 09:37:13] 837*2^1554065-1 is not prime. Res64: D30A26F277A742C4 Time : 0.0 sec. user=mdettweiler [2020-02-15 09:37:13] 897*2^1554065-1 is not prime. Res64: 7F9E17EA75E62584 Time : 0.0 sec. user=mdettweiler [2020-02-15 10:13:49] 741*2^1554066-1 is not prime. Res64: 6DC9E9B252DB9283 Time : 0.0 sec. user=mdettweiler [2020-02-15 10:13:49] 881*2^1554066-1 is not prime. Res64: CDABC611DA00E56D Time : 0.0 sec. user=mdettweiler [2020-02-15 10:13:50] 903*2^1554066-1 is not prime. Res64: CA68BC96F33A2DEB Time : 0.0 sec. user=mdettweiler [2020-02-15 10:13:50] 975*2^1554066-1 is not prime. Res64: 2111B42DCD31C0CD Time : 0.0 sec. user=mdettweiler [2020-02-15 10:13:51] 685*2^1554067-1 is not prime. Res64: 8DD33DFE84EA8123 Time : 0.0 sec. user=mdettweiler [2020-02-15 10:28:51] 691*2^1554067-1 is not prime. Res64: 3341F449A3DA31B3 Time : 0.0 sec. user=mdettweiler [2020-02-15 10:28:52] 769*2^1554067-1 is not prime. Res64: C3C654588C327360 Time : 0.0 sec. user=mdettweiler [2020-02-15 10:28:52] 801*2^1554067-1 is not prime. Res64: 8AAEE6420C1A5224 Time : 0.0 sec. user=mdettweiler [2020-02-15 10:28:53] 615*2^1554068-1 is not prime. Res64: 97BB116A850CBB4E Time : 0.0 sec. user=mdettweiler [2020-02-15 10:28:54] 827*2^1554068-1 is not prime. Res64: ACC5D6AB032A6851 Time : 0.0 sec. user=mdettweiler [2020-02-15 10:31:07] 929*2^1554068-1 is not prime. Res64: 9F04A8953CB75323 Time : 0.0 sec. user=mdettweiler [2020-02-15 10:31:07] 935*2^1554068-1 is not prime. Res64: 1AE9A58A333BEA7A Time : 0.0 sec. user=mdettweiler [2020-02-15 10:31:08] 649*2^1554069-1 is not prime. Res64: C2A44CBD6ED7ADD1 Time : 0.0 sec. user=mdettweiler [2020-02-15 10:31:08] 675*2^1554069-1 is not prime. Res64: B27F4AA2D6A9B130 Time : 0.0 sec. user=mdettweiler [2020-02-15 10:31:08] 735*2^1554069-1 is not prime. Res64: 43CDF46ADFCE2349 Time : 0.0 sec. user=mdettweiler [2020-02-15 11:07:19] 769*2^1554069-1 is not prime. Res64: 01998C8F9A72C68A Time : 0.0 sec. user=mdettweiler [2020-02-15 11:07:21] 895*2^1554069-1 is not prime. Res64: 7F21E7DCE5D23B3E Time : 0.0 sec. user=mdettweiler [2020-02-15 11:07:22] 927*2^1554069-1 is not prime. Res64: 3A0843A4FB7F4C56 Time : 0.0 sec. user=mdettweiler [2020-02-15 11:07:23] 723*2^1554070-1 is not prime. Res64: CF228F2C9D678708 Time : 0.0 sec. user=mdettweiler [2020-02-15 11:07:24] 755*2^1554070-1 is not prime. Res64: A18F53D707435D27 Time : 0.0 sec. user=mdettweiler [2020-02-15 11:22:33] 857*2^1554070-1 is not prime. Res64: E02CFEEB17236101 Time : 0.0 sec. user=mdettweiler [2020-02-15 11:22:34] 897*2^1554070-1 is not prime. Res64: A5DC95BBE5F99B21 Time : 0.0 sec. user=mdettweiler [2020-02-15 11:22:34] 917*2^1554070-1 is not prime. Res64: DE3A96952B52AD58 Time : 0.0 sec. user=mdettweiler [2020-02-15 11:22:35] 619*2^1554071-1 is not prime. Res64: 177249573B912A98 Time : 0.0 sec. user=mdettweiler [2020-02-15 11:22:35] 645*2^1554071-1 is not prime. Res64: C75CDE307AAA66FD Time : 0.0 sec. user=mdettweiler [2020-02-15 11:26:12] 661*2^1554071-1 is not prime. Res64: C66A1CC4B41380AD Time : 0.0 sec. user=mdettweiler [2020-02-15 11:26:12] 993*2^1554071-1 is not prime. Res64: 700E0149B1520DD4 Time : 0.0 sec. user=mdettweiler [2020-02-15 11:26:13] 767*2^1554072-1 is not prime. Res64: EFB05161250B36BE Time : 0.0 sec. user=mdettweiler [2020-02-15 11:26:14] 903*2^1554072-1 is not prime. Res64: C9BAD52DE8E5D236 Time : 0.0 sec. user=mdettweiler [2020-02-15 11:26:14] 909*2^1554072-1 is not prime. Res64: 66C2C6B18FD82B9F Time : 0.0 sec. user=mdettweiler [2020-02-15 12:01:15] 959*2^1554072-1 is not prime. Res64: 11291351F1F9B4B4 Time : 0.0 sec. user=mdettweiler [2020-02-15 12:01:16] 687*2^1554073-1 is not prime. Res64: F892114447895EA7 Time : 0.0 sec. user=mdettweiler [2020-02-15 12:01:17] 741*2^1554073-1 is not prime. Res64: 126D5CA7CEB92F86 Time : 0.0 sec. user=mdettweiler [2020-02-15 12:01:18] 895*2^1554073-1 is not prime. Res64: C80D751DE21A12F7 Time : 0.0 sec. user=mdettweiler [2020-02-15 12:01:19] 897*2^1554073-1 is not prime. Res64: F132AE3123EB282E Time : 0.0 sec. user=mdettweiler [2020-02-15 12:14:27] 657*2^1554074-1 is not prime. Res64: 47B292D80E574FCC Time : 0.0 sec. user=mdettweiler [2020-02-15 12:14:28] 677*2^1554074-1 is not prime. Res64: 07832144A445C2F0 Time : 0.0 sec. user=mdettweiler [2020-02-15 12:14:28] 717*2^1554074-1 is not prime. Res64: 3CD929C1076C222E Time : 0.0 sec. user=mdettweiler [2020-02-15 12:14:29] 741*2^1554074-1 is not prime. Res64: 50B09EBE55152FF3 Time : 0.0 sec. user=mdettweiler [2020-02-15 12:14:29] 783*2^1554074-1 is not prime. Res64: D4BF032CCA45F629 Time : 0.0 sec. user=mdettweiler [2020-02-15 12:20:55] 775*2^1554075-1 is not prime. Res64: 0EBEB1E89DC61C21 Time : 0.0 sec. user=mdettweiler [2020-02-15 12:20:55] 861*2^1554075-1 is not prime. Res64: 1ACA278B0D7364FF Time : 0.0 sec. user=mdettweiler [2020-02-15 12:20:55] 963*2^1554075-1 is not prime. Res64: 0F1E7F437F82D01E Time : 0.0 sec. user=mdettweiler [2020-02-15 12:20:56] 991*2^1554075-1 is not prime. Res64: 7D94993D178AD15A Time : 0.0 sec. user=mdettweiler [2020-02-15 12:20:56] 657*2^1554076-1 is not prime. Res64: A9C13DA1FE648D71 Time : 0.0 sec. user=mdettweiler [2020-02-15 12:52:43] 689*2^1554076-1 is not prime. Res64: 6376DF8F45D40579 Time : 0.0 sec. user=mdettweiler [2020-02-15 12:52:43] 705*2^1554076-1 is not prime. Res64: 74BBD8FD8527B5FB Time : 0.0 sec. user=mdettweiler [2020-02-15 12:52:43] 717*2^1554076-1 is not prime. Res64: B5F0E2B01F27FF72 Time : 0.0 sec. user=mdettweiler [2020-02-15 12:52:44] 743*2^1554076-1 is not prime. Res64: 4CE9CD93231ABF71 Time : 0.0 sec. user=mdettweiler [2020-02-15 12:52:44] 773*2^1554076-1 is not prime. Res64: 37B7D74D6BCE1E2B Time : 0.0 sec. user=mdettweiler [2020-02-15 13:07:31] 833*2^1554076-1 is not prime. Res64: A97D056FDA8E9459 Time : 0.0 sec. user=mdettweiler [2020-02-15 13:07:33] 983*2^1554076-1 is not prime. Res64: CB817FAAD88B3E93 Time : 0.0 sec. user=mdettweiler [2020-02-15 13:07:34] 615*2^1554077-1 is not prime. Res64: 65D1D15EC911E3CD Time : 0.0 sec. user=mdettweiler [2020-02-15 13:07:35] 669*2^1554077-1 is not prime. Res64: 2A7439D25849FDF2 Time : 0.0 sec. user=mdettweiler [2020-02-15 13:07:36] 771*2^1554077-1 is not prime. Res64: 37D9DE64801B00D7 Time : 0.0 sec. user=mdettweiler [2020-02-15 13:13:36] 867*2^1554077-1 is not prime. Res64: C38D43ABBA05DDD7 Time : 0.0 sec. user=mdettweiler [2020-02-15 13:13:36] 937*2^1554077-1 is not prime. Res64: 32C6AD9FD79A6793 Time : 0.0 sec. user=mdettweiler [2020-02-15 13:13:36] 705*2^1554078-1 is not prime. Res64: 2AC012838B4E13CF Time : 0.0 sec. user=mdettweiler [2020-02-15 13:13:37] 725*2^1554078-1 is not prime. Res64: D1B1C131AF80E91C Time : 0.0 sec. user=mdettweiler [2020-02-15 13:13:37] 755*2^1554078-1 is not prime. Res64: FCFC637A6EAF38C4 Time : 0.0 sec. user=mdettweiler [2020-02-15 13:45:59] 765*2^1554078-1 is not prime. Res64: 537EC1222879FDA5 Time : 0.0 sec. user=mdettweiler [2020-02-15 13:45:59] 791*2^1554078-1 is not prime. Res64: 667E5DD92C61CB07 Time : 0.0 sec. user=mdettweiler [2020-02-15 13:46:00] 821*2^1554078-1 is not prime. Res64: 9304C2A36B596C25 Time : 0.0 sec. user=mdettweiler [2020-02-15 13:46:00] 1001*2^1554078-1 is not prime. Res64: E9CBADDD7C51B680 Time : 0.0 sec. user=mdettweiler [2020-02-15 13:46:00] 609*2^1554079-1 is not prime. Res64: 87383E564F591C16 Time : 0.0 sec. user=mdettweiler [2020-02-15 13:59:32] 615*2^1554079-1 is not prime. Res64: D0BAF3EA1CB0F723 Time : 0.0 sec. user=mdettweiler [2020-02-15 13:59:32] 649*2^1554079-1 is not prime. Res64: F22465BB6DE3128D Time : 0.0 sec. user=mdettweiler [2020-02-15 13:59:33] 793*2^1554079-1 is not prime. Res64: 46476BD386909EF4 Time : 0.0 sec. user=mdettweiler [2020-02-15 13:59:33] 843*2^1554079-1 is not prime. Res64: B047A7F84270C48B Time : 0.0 sec. user=mdettweiler [2020-02-15 13:59:33] 885*2^1554079-1 is not prime. Res64: C63ED6D34DDE20E3 Time : 0.0 sec. user=mdettweiler [2020-02-15 14:06:14] 609*2^1554080-1 is not prime. Res64: 696FFC0F0F80E192 Time : 0.0 sec. user=mdettweiler [2020-02-15 14:06:15] 635*2^1554080-1 is not prime. Res64: 4E2684424214B80D Time : 0.0 sec. user=mdettweiler [2020-02-15 14:06:17] 753*2^1554080-1 is not prime. Res64: 6BD661E993360F60 Time : 0.0 sec. user=mdettweiler [2020-02-15 14:06:18] 813*2^1554080-1 is not prime. Res64: 40167528FB620443 Time : 0.0 sec. user=mdettweiler [2020-02-15 14:06:21] 963*2^1554080-1 is not prime. Res64: 202E92A292F8B2B0 Time : 0.0 sec. user=mdettweiler [2020-02-15 14:40:07] 691*2^1554081-1 is not prime. Res64: 5A1E79E3055EF86D Time : 0.0 sec. user=mdettweiler [2020-02-15 14:40:07] 709*2^1554081-1 is not prime. Res64: 6A248F3143C95381 Time : 0.0 sec. user=mdettweiler [2020-02-15 14:40:08] 807*2^1554081-1 is not prime. Res64: 92614D327E062C35 Time : 0.0 sec. user=mdettweiler [2020-02-15 14:40:08] 975*2^1554081-1 is not prime. Res64: 6D52A1BF7514F88A Time : 0.0 sec. user=mdettweiler [2020-02-15 14:40:08] 987*2^1554081-1 is not prime. Res64: 0C8B4B99BE95809D Time : 0.0 sec. user=mdettweiler [2020-02-15 14:52:14] 991*2^1554081-1 is not prime. Res64: E0A9A630E7A18E4F Time : 0.0 sec. user=mdettweiler [2020-02-15 14:52:15] 657*2^1554082-1 is not prime. Res64: 525E9ECE19E78E0B Time : 0.0 sec. user=mdettweiler [2020-02-15 14:52:15] 675*2^1554082-1 is not prime. Res64: 78A4D028CD570A33 Time : 0.0 sec. user=mdettweiler [2020-02-15 14:52:16] 681*2^1554082-1 is not prime. Res64: D72B4B29B016CB5F Time : 0.0 sec. user=mdettweiler [2020-02-15 14:52:16] 813*2^1554082-1 is not prime. Res64: 78BD54F210473626 Time : 0.0 sec. user=mdettweiler [2020-02-15 14:58:57] 981*2^1554082-1 is not prime. Res64: FA3BBCC7B5A90628 Time : 0.0 sec. user=mdettweiler [2020-02-15 14:58:58] 609*2^1554083-1 is not prime. Res64: 74967BDE56F7B9E0 Time : 0.0 sec. user=mdettweiler [2020-02-15 14:58:58] 619*2^1554083-1 is not prime. Res64: C04D0F0099C14267 Time : 0.0 sec. user=mdettweiler [2020-02-15 14:58:58] 663*2^1554083-1 is not prime. Res64: 789D2BA7604218AF Time : 0.0 sec. user=mdettweiler [2020-02-15 14:58:59] 699*2^1554083-1 is not prime. Res64: 2F341528A748A77D Time : 0.0 sec. user=mdettweiler [2020-02-15 15:31:30] 759*2^1554083-1 is not prime. Res64: 47F0156E9E8AFD98 Time : 0.0 sec. user=mdettweiler [2020-02-15 15:31:30] 889*2^1554083-1 is not prime. Res64: 635E1789176AA321 Time : 0.0 sec. user=mdettweiler [2020-02-15 15:31:31] 635*2^1554084-1 is not prime. Res64: 939C05451345B278 Time : 0.0 sec. user=mdettweiler [2020-02-15 15:31:31] 663*2^1554084-1 is not prime. Res64: 8B63E34B708948AE Time : 0.0 sec. user=mdettweiler [2020-02-15 15:31:31] 717*2^1554084-1 is not prime. Res64: F3BEFC1716F12E56 Time : 0.0 sec. user=mdettweiler [2020-02-15 15:44:27] 767*2^1554084-1 is not prime. Res64: E3568EABBDF6201C Time : 0.0 sec. user=mdettweiler [2020-02-15 15:44:27] 825*2^1554084-1 is not prime. Res64: 38E35FC8EB86D163 Time : 0.0 sec. user=mdettweiler [2020-02-15 15:44:27] 863*2^1554084-1 is not prime. Res64: 604293B6087C5242 Time : 0.0 sec. user=mdettweiler [2020-02-15 15:44:28] 899*2^1554084-1 is not prime. Res64: 54D7B6EDDC89AC9C Time : 0.0 sec. user=mdettweiler [2020-02-15 15:44:28] 721*2^1554085-1 is not prime. Res64: 49C144603C46C385 Time : 0.0 sec. user=mdettweiler [2020-02-15 15:52:29] 799*2^1554085-1 is not prime. Res64: 2C430C4B518F4A82 Time : 0.0 sec. user=mdettweiler [2020-02-15 15:52:30] 831*2^1554085-1 is not prime. Res64: CFC3A0CF252218E6 Time : 0.0 sec. user=mdettweiler [2020-02-15 15:52:30] 855*2^1554085-1 is not prime. Res64: 131C7ECD1A664647 Time : 0.0 sec. user=mdettweiler [2020-02-15 15:52:30] 889*2^1554085-1 is not prime. Res64: 8F4DAEC1FB376887 Time : 0.0 sec. user=mdettweiler [2020-02-15 15:52:31] 919*2^1554085-1 is not prime. Res64: 39164F6889099A53 Time : 0.0 sec. user=mdettweiler [2020-02-15 16:25:48] 937*2^1554085-1 is not prime. Res64: 6EB2A3BCAF5F0BBB Time : 0.0 sec. user=mdettweiler [2020-02-15 16:25:49] 997*2^1554085-1 is not prime. Res64: 15586A6E5DF7E302 Time : 0.0 sec. user=mdettweiler [2020-02-15 16:25:50] 755*2^1554086-1 is not prime. Res64: 9D91F17D19E8F884 Time : 0.0 sec. user=mdettweiler [2020-02-15 16:25:50] 857*2^1554086-1 is not prime. Res64: D5658927C344F18B Time : 0.0 sec. user=mdettweiler [2020-02-15 16:25:51] 893*2^1554086-1 is not prime. Res64: 14E4B4240C241E0D Time : 0.0 sec. user=mdettweiler [2020-02-15 16:37:45] 935*2^1554086-1 is not prime. Res64: 0B7F18AB260072C2 Time : 0.0 sec. user=mdettweiler [2020-02-15 16:37:46] 843*2^1554087-1 is not prime. Res64: 2B3D18728E395C65 Time : 0.0 sec. user=mdettweiler [2020-02-15 16:37:46] 871*2^1554087-1 is not prime. Res64: B36573C09800DE3E Time : 0.0 sec. user=mdettweiler [2020-02-15 16:37:47] 895*2^1554087-1 is not prime. Res64: 2C3AD3095CBD9AEC Time : 0.0 sec. user=mdettweiler [2020-02-15 16:37:47] 605*2^1554088-1 is not prime. Res64: 2228C618284D5315 Time : 0.0 sec. user=mdettweiler [2020-02-15 16:45:44] 827*2^1554088-1 is not prime. Res64: F0AF128D2E7D4E06 Time : 0.0 sec. user=mdettweiler [2020-02-15 16:45:44] 845*2^1554088-1 is not prime. Res64: EAB99F7A784DE40E Time : 0.0 sec. user=mdettweiler [2020-02-15 16:45:45] 849*2^1554088-1 is not prime. Res64: FC0D11FC97F71C15 Time : 0.0 sec. user=mdettweiler [2020-02-15 16:45:45] 923*2^1554088-1 is not prime. Res64: 17798DCACCD510A3 Time : 0.0 sec. user=mdettweiler [2020-02-15 16:45:45] 675*2^1554089-1 is not prime. Res64: 912AE2E4FC217DC8 Time : 0.0 sec. user=mdettweiler [2020-02-15 17:20:09] 841*2^1554089-1 is not prime. Res64: 9300E3C3511A9447 Time : 0.0 sec. user=mdettweiler [2020-02-15 17:20:10] 865*2^1554089-1 is not prime. Res64: 3A0DA5AAA9F7B8B0 Time : 0.0 sec. user=mdettweiler [2020-02-15 17:20:10] 945*2^1554089-1 is not prime. Res64: 752AD73F40E90F7F Time : 0.0 sec. user=mdettweiler [2020-02-15 17:20:11] 951*2^1554089-1 is not prime. Res64: 4CD6D6A4C6B969C9 Time : 0.0 sec. user=mdettweiler [2020-02-15 17:20:11] 651*2^1554090-1 is not prime. Res64: C141DEA949DBFF17 Time : 0.0 sec. user=mdettweiler [2020-02-15 17:29:59] 717*2^1554090-1 is not prime. Res64: B874772734E2ACCE Time : 0.0 sec. user=mdettweiler [2020-02-15 17:30:00] 783*2^1554090-1 is not prime. Res64: B948938A86A31DE1 Time : 0.0 sec. user=mdettweiler [2020-02-15 17:30:01] 833*2^1554090-1 is not prime. Res64: 96BF1523FAA410FF Time : 0.0 sec. user=mdettweiler [2020-02-15 17:30:01] 851*2^1554090-1 is not prime. Res64: E6B45DFD29138ED3 Time : 0.0 sec. user=mdettweiler [2020-02-15 17:30:02] 867*2^1554090-1 is not prime. Res64: BC7CB1FFE0A5011B Time : 0.0 sec. user=mdettweiler [2020-02-15 17:38:23] 893*2^1554090-1 is not prime. Res64: 7A36E3AC80D4CFD7 Time : 0.0 sec. user=mdettweiler [2020-02-15 17:38:23] 971*2^1554090-1 is not prime. Res64: 7D7424E07ACEF024 Time : 0.0 sec. user=mdettweiler [2020-02-15 17:38:23] 651*2^1554091-1 is not prime. Res64: B9668586A922D378 Time : 0.0 sec. user=mdettweiler [2020-02-15 17:38:24] 673*2^1554091-1 is not prime. Res64: FED8968B8FE13DBE Time : 0.0 sec. user=mdettweiler [2020-02-15 17:38:24] 703*2^1554091-1 is not prime. Res64: 97AC7A98FB20D44F Time : 0.0 sec. user=mdettweiler [2020-02-15 18:15:55] 819*2^1554091-1 is not prime. Res64: 9808B651018D9C9B Time : 0.0 sec. user=mdettweiler [2020-02-15 18:15:55] 885*2^1554091-1 is not prime. Res64: EF8BB8D49793616E Time : 0.0 sec. user=mdettweiler [2020-02-15 18:15:56] 925*2^1554091-1 is not prime. Res64: 3D5A7619A25FB097 Time : 0.0 sec. user=mdettweiler [2020-02-15 18:15:56] 939*2^1554091-1 is not prime. Res64: 2275193090A3707A Time : 0.0 sec. user=mdettweiler [2020-02-15 18:15:57] 973*2^1554091-1 is not prime. Res64: 28FC95B7F7902ADD Time : 0.0 sec. user=mdettweiler [2020-02-15 18:23:05] 975*2^1554091-1 is not prime. Res64: E0956931E32BAE05 Time : 0.0 sec. user=mdettweiler [2020-02-15 18:23:05] 647*2^1554092-1 is not prime. Res64: B6CF3D8B3D4A2776 Time : 0.0 sec. user=mdettweiler [2020-02-15 18:23:05] 687*2^1554092-1 is not prime. Res64: 8CDE83FD2531B57F Time : 0.0 sec. user=mdettweiler [2020-02-15 18:23:06] 803*2^1554092-1 is not prime. Res64: 2ABC665D618B8026 Time : 0.0 sec. user=mdettweiler [2020-02-15 18:23:06] 819*2^1554092-1 is not prime. Res64: 0554E8381703B363 Time : 0.0 sec. user=mdettweiler [2020-02-15 18:33:52] 885*2^1554092-1 is not prime. Res64: 89D55087785A5033 Time : 0.0 sec. user=mdettweiler [2020-02-15 18:33:53] 983*2^1554092-1 is not prime. Res64: 048D12F5AF8E9B7F Time : 0.0 sec. user=mdettweiler [2020-02-15 18:33:53] 987*2^1554092-1 is not prime. Res64: 4A0DEFC26EFC1D8C Time : 0.0 sec. user=mdettweiler [2020-02-15 18:33:54] 995*2^1554092-1 is not prime. Res64: 668481854A92D308 Time : 0.0 sec. user=mdettweiler [2020-02-15 18:33:54] 609*2^1554093-1 is not prime. Res64: D12B0F67531E099A Time : 0.0 sec. user=mdettweiler [2020-02-15 19:09:42] 685*2^1554093-1 is not prime. Res64: 92937241DAEFF96C Time : 0.0 sec. user=mdettweiler [2020-02-15 19:09:42] 727*2^1554093-1 is not prime. Res64: 3D64A7EFD97544AC Time : 0.0 sec. user=mdettweiler [2020-02-15 19:09:43] 955*2^1554093-1 is not prime. Res64: 5A8673AC2DEF4BEA Time : 0.0 sec. user=mdettweiler [2020-02-15 19:09:43] 961*2^1554093-1 is not prime. Res64: B384CAE4B5EBD786 Time : 0.0 sec. user=mdettweiler [2020-02-15 19:09:44] 675*2^1554094-1 is not prime. Res64: B08FFFAAD2235A12 Time : 0.0 sec. user=mdettweiler [2020-02-15 19:14:44] 705*2^1554094-1 is not prime. Res64: 82CBFCEB9C99DFF6 Time : 0.0 sec. user=mdettweiler [2020-02-15 19:14:45] 717*2^1554094-1 is not prime. Res64: 8D949E67DE197135 Time : 0.0 sec. user=mdettweiler [2020-02-15 19:14:45] 737*2^1554094-1 is not prime. Res64: 6F528805ABCF3082 Time : 0.0 sec. user=mdettweiler [2020-02-15 19:14:46] 773*2^1554094-1 is not prime. Res64: 0B7487928661BABB Time : 0.0 sec. user=mdettweiler [2020-02-15 19:14:46] 827*2^1554094-1 is not prime. Res64: 41D406E756FD0962 Time : 0.0 sec. user=mdettweiler [2020-02-15 19:29:32] 855*2^1554094-1 is not prime. Res64: D57D51C05A46AFB2 Time : 0.0 sec. user=mdettweiler [2020-02-15 19:29:32] 903*2^1554094-1 is not prime. Res64: 07ABD16DCD383322 Time : 0.0 sec. user=mdettweiler [2020-02-15 19:29:33] 915*2^1554094-1 is not prime. Res64: ED100A853C86EE67 Time : 0.0 sec. user=mdettweiler [2020-02-15 19:29:33] 945*2^1554094-1 is not prime. Res64: 0C5BBB1B8F4054E7 Time : 0.0 sec. user=mdettweiler [2020-02-15 19:29:33] 981*2^1554094-1 is not prime. Res64: 560297C72C9C7933 Time : 0.0 sec. user=mdettweiler [2020-02-15 20:01:20] 619*2^1554095-1 is not prime. Res64: 940456D898AFC579 Time : 0.0 sec. user=mdettweiler [2020-02-15 20:01:23] 663*2^1554095-1 is not prime. Res64: 1D6B3430EA0010AC Time : 0.0 sec. user=mdettweiler [2020-02-15 20:01:24] 721*2^1554095-1 is not prime. Res64: C56CBCB8A20CCE42 Time : 0.0 sec. user=mdettweiler [2020-02-15 20:01:24] 763*2^1554095-1 is not prime. Res64: BB2151007216B3ED Time : 0.0 sec. user=mdettweiler [2020-02-15 20:01:27] 771*2^1554095-1 is not prime. Res64: 41F455741D7F7D9C Time : 0.0 sec. user=mdettweiler [2020-02-15 20:07:19] 819*2^1554095-1 is not prime. Res64: 706AFB8A2648EF4C Time : 0.0 sec. user=mdettweiler [2020-02-15 20:07:20] 823*2^1554095-1 is not prime. Res64: 915A8A3E2057CA20 Time : 0.0 sec. user=mdettweiler [2020-02-15 20:07:21] 843*2^1554095-1 is not prime. Res64: 593813AE6449A5A7 Time : 0.0 sec. user=mdettweiler [2020-02-15 20:07:22] 861*2^1554095-1 is not prime. Res64: 84E19DE42772F70D Time : 0.0 sec. user=mdettweiler [2020-02-15 20:07:24] 895*2^1554095-1 is not prime. Res64: 7E59B44647BF55DD Time : 0.0 sec. user=mdettweiler [2020-02-15 20:23:38] 973*2^1554095-1 is not prime. Res64: 388B917FE52A5678 Time : 0.0 sec. user=mdettweiler [2020-02-15 20:23:39] 627*2^1554096-1 is not prime. Res64: 8CA73011D5B6DF4E Time : 0.0 sec. user=mdettweiler [2020-02-15 20:23:39] 707*2^1554096-1 is not prime. Res64: C3E5FFCBFDBA3108 Time : 0.0 sec. user=mdettweiler [2020-02-15 20:23:39] 875*2^1554096-1 is not prime. Res64: E4E246C839BE8041 Time : 0.0 sec. user=mdettweiler [2020-02-15 20:23:40] 947*2^1554096-1 is not prime. Res64: 614F57880CAB688C Time : 0.0 sec. user=mdettweiler [2020-02-15 20:56:04] 983*2^1554096-1 is not prime. Res64: DA57DF711B4026B0 Time : 0.0 sec. user=mdettweiler [2020-02-15 20:56:05] 691*2^1554097-1 is not prime. Res64: 9D7A1EA46C2CA14F Time : 0.0 sec. user=mdettweiler [2020-02-15 20:56:05] 847*2^1554097-1 is not prime. Res64: FA830E290F47D717 Time : 0.0 sec. user=mdettweiler [2020-02-15 20:56:05] 867*2^1554097-1 is not prime. Res64: 27A283342F273B58 Time : 0.0 sec. user=mdettweiler [2020-02-15 20:56:06] 909*2^1554097-1 is not prime. Res64: 01303FD8281D584B Time : 0.0 sec. user=mdettweiler [2020-02-15 21:01:53] 915*2^1554097-1 is not prime. Res64: E5174AE1A94F4401 Time : 0.0 sec. user=mdettweiler [2020-02-15 21:01:54] 645*2^1554098-1 is not prime. Res64: D0F534221477A64E Time : 0.0 sec. user=mdettweiler [2020-02-15 21:01:55] 657*2^1554098-1 is not prime. Res64: 9B8ABF04409E1D2C Time : 0.0 sec. user=mdettweiler [2020-02-15 21:01:56] 801*2^1554098-1 is not prime. Res64: 17628BC8EC238BDC Time : 0.0 sec. user=mdettweiler [2020-02-15 21:01:57] 993*2^1554098-1 is not prime. Res64: 2D0CA9DAEBE30919 Time : 0.0 sec. user=mdettweiler [2020-02-15 21:16:54] 601*2^1554099-1 is not prime. Res64: 82802F972E6608DA Time : 0.0 sec. user=mdettweiler [2020-02-15 21:16:54] 663*2^1554099-1 is not prime. Res64: DDA38D2DBDC539A4 Time : 0.0 sec. user=mdettweiler [2020-02-15 21:16:55] 735*2^1554099-1 is not prime. Res64: 5389FD237F135ABA Time : 0.0 sec. user=mdettweiler [2020-02-15 21:16:55] 795*2^1554099-1 is not prime. Res64: 910BFF95B47E630F Time : 0.0 sec. user=mdettweiler [2020-02-15 21:16:56] 909*2^1554099-1 is not prime. Res64: CF812B6CBB7BBDFD Time : 0.0 sec. user=mdettweiler [2020-02-15 21:52:39] 943*2^1554099-1 is not prime. Res64: 8CDC247C455FF9D8 Time : 0.0 sec. user=mdettweiler [2020-02-15 21:52:39] 955*2^1554099-1 is not prime. Res64: E5935FF8FA4AD2B0 Time : 0.0 sec. user=mdettweiler [2020-02-15 21:52:40] 609*2^1554100-1 is not prime. Res64: 73A305DE990D711E Time : 0.0 sec. user=mdettweiler [2020-02-15 21:52:40] 929*2^1554100-1 is not prime. Res64: D8A38FD7BC8E0DE0 Time : 0.0 sec. user=mdettweiler [2020-02-15 21:52:40] 959*2^1554100-1 is not prime. Res64: B758A566044326A3 Time : 0.0 sec. user=mdettweiler [2020-02-15 21:53:45] 621*2^1554101-1 is not prime. Res64: 7672E42F0FD90D62 Time : 0.0 sec. user=mdettweiler [2020-02-15 21:53:46] 649*2^1554101-1 is not prime. Res64: FA369DCAAF82FB33 Time : 0.0 sec. user=mdettweiler [2020-02-15 21:53:46] 735*2^1554101-1 is not prime. Res64: 4FC20D10B1AB9FB2 Time : 0.0 sec. user=mdettweiler [2020-02-15 21:53:46] 795*2^1554101-1 is not prime. Res64: 40C147F44A3F5386 Time : 0.0 sec. user=mdettweiler [2020-02-15 21:53:46] 885*2^1554101-1 is not prime. Res64: 25EE743E61C03415 Time : 0.0 sec. user=mdettweiler [2020-02-15 22:09:50] 615*2^1554102-1 is not prime. Res64: 43094D1A661C104A Time : 0.0 sec. user=mdettweiler [2020-02-15 22:09:50] 683*2^1554102-1 is not prime. Res64: 40D95E2F6998499A Time : 0.0 sec. user=mdettweiler [2020-02-15 22:09:51] 801*2^1554102-1 is not prime. Res64: E744C91F9BB842E5 Time : 0.0 sec. user=mdettweiler [2020-02-15 22:09:51] 977*2^1554102-1 is not prime. Res64: C422294E988752A9 Time : 0.0 sec. user=mdettweiler [2020-02-15 22:09:51] 663*2^1554103-1 is not prime. Res64: C067533A4BE023CF Time : 0.0 sec. user=mdettweiler [2020-02-15 22:45:02] 629*2^1554104-1 is not prime. Res64: 71056E23103764A2 Time : 0.0 sec. user=mdettweiler [2020-02-15 22:45:02] 665*2^1554104-1 is not prime. Res64: 9C00CC4EE3A78AEF Time : 0.0 sec. user=mdettweiler [2020-02-15 22:45:03] 677*2^1554104-1 is not prime. Res64: AAE15C65E5D391DA Time : 0.0 sec. user=mdettweiler [2020-02-15 22:45:03] 699*2^1554104-1 is not prime. Res64: FCC447975A96118F Time : 0.0 sec. user=mdettweiler [2020-02-15 22:45:03] 725*2^1554104-1 is not prime. Res64: 877C165C7D57EC23 Time : 0.0 sec. user=mdettweiler [2020-02-15 22:46:13] 693*2^1554103-1 is not prime. Res64: D1EA2E2264CC3596 Time : 0.0 sec. user=mdettweiler [2020-02-15 22:46:14] 811*2^1554103-1 is not prime. Res64: 40422557FF81C334 Time : 0.0 sec. user=mdettweiler [2020-02-15 22:46:14] 855*2^1554103-1 is not prime. Res64: FCF9C26552786625 Time : 0.0 sec. user=mdettweiler [2020-02-15 22:46:14] 871*2^1554103-1 is not prime. Res64: DAAF6854ACA70DFF Time : 0.0 sec. user=mdettweiler [2020-02-15 22:46:14] 919*2^1554103-1 is not prime. Res64: 47E9A3A6CB2F04CE Time : 0.0 sec. user=mdettweiler [2020-02-15 23:05:31] 759*2^1554104-1 is not prime. Res64: ACE1C422D362801E Time : 0.0 sec. user=mdettweiler [2020-02-15 23:05:33] 929*2^1554104-1 is not prime. Res64: 74F0F61415066E8B Time : 0.0 sec. user=mdettweiler [2020-02-15 23:05:34] 959*2^1554104-1 is not prime. Res64: 8A326F5082B5A4E8 Time : 0.0 sec. user=mdettweiler [2020-02-15 23:05:37] 885*2^1554105-1 is not prime. Res64: FDAC18B3EFA08C8B Time : 0.0 sec. user=mdettweiler [2020-02-15 23:05:39] 949*2^1554105-1 is not prime. Res64: D85C18B104F5D469 Time : 0.0 sec. user=mdettweiler [2020-02-15 23:36:11] 645*2^1554106-1 is not prime. Res64: 2249A97775CFCB00 Time : 0.0 sec. user=mdettweiler [2020-02-15 23:36:11] 651*2^1554106-1 is not prime. Res64: AB229175B0F2958A Time : 0.0 sec. user=mdettweiler [2020-02-15 23:36:12] 713*2^1554106-1 is not prime. Res64: 3C0DC5A3A2312DC2 Time : 0.0 sec. user=mdettweiler [2020-02-15 23:36:12] 717*2^1554106-1 is not prime. Res64: 0B626A42901C2AEB Time : 0.0 sec. user=mdettweiler [2020-02-15 23:36:13] 723*2^1554106-1 is not prime. Res64: 9C6B91A86D758E7D Time : 0.0 sec. user=mdettweiler [2020-02-15 23:41:27] 735*2^1554106-1 is not prime. Res64: 6606DB8FAC696B5D Time : 0.0 sec. user=mdettweiler [2020-02-15 23:41:28] 941*2^1554106-1 is not prime. Res64: E544BC027FCC7C04 Time : 0.0 sec. user=mdettweiler [2020-02-15 23:41:28] 971*2^1554106-1 is not prime. Res64: 2B0F3A019646461C Time : 0.0 sec. user=mdettweiler [2020-02-15 23:41:29] 949*2^1554107-1 is not prime. Res64: D96DA42D77654D35 Time : 0.0 sec. user=mdettweiler [2020-02-15 23:41:29] 605*2^1554108-1 is not prime. Res64: 1580FA38442D7683 Time : 0.0 sec. user=mdettweiler [2020-02-15 23:56:57] 629*2^1554108-1 is not prime. Res64: AD252FBCDCB6E2AE Time : 0.0 sec. user=mdettweiler [2020-02-15 23:56:58] 639*2^1554108-1 is not prime. Res64: 134366C385ADD5B8 Time : 0.0 sec. user=mdettweiler [2020-02-15 23:56:58] 647*2^1554108-1 is not prime. Res64: E19B69110EB7BE93 Time : 0.0 sec. user=mdettweiler [2020-02-15 23:56:58] 689*2^1554108-1 is not prime. Res64: D518437D830BF447 Time : 0.0 sec. user=mdettweiler [2020-02-15 23:56:59] 723*2^1554108-1 is not prime. Res64: 5A6F098375316491 Time : 0.0 sec.