user=mdettweiler [2020-11-11 00:05:29] 661*2^1567103-1 is not prime. Res64: 05C34F1E483130F9 Time : 0.0 sec. user=mdettweiler [2020-11-11 00:05:31] 703*2^1567103-1 is not prime. Res64: 8F352FC677995129 Time : 0.0 sec. user=mdettweiler [2020-11-11 00:05:32] 823*2^1567103-1 is not prime. Res64: DAFF5E2204BA4A0F Time : 0.0 sec. user=mdettweiler [2020-11-11 00:05:33] 993*2^1567103-1 is not prime. Res64: C4D7F2C624D5BEC0 Time : 0.0 sec. user=mdettweiler [2020-11-11 00:05:34] 623*2^1567104-1 is not prime. Res64: 9B7464461F05F1B2 Time : 0.0 sec. user=mdettweiler [2020-11-11 00:31:27] 629*2^1567104-1 is not prime. Res64: 668EE0AE13FF2B73 Time : 0.0 sec. user=mdettweiler [2020-11-11 00:31:27] 759*2^1567104-1 is not prime. Res64: 446AEAD5108477A0 Time : 0.0 sec. user=mdettweiler [2020-11-11 00:31:28] 601*2^1567105-1 is not prime. Res64: 53ECDAE32B21D8E3 Time : 0.0 sec. user=mdettweiler [2020-11-11 00:31:28] 625*2^1567105-1 is not prime. Res64: F69FE7EBDD7AF461 Time : 0.0 sec. user=mdettweiler [2020-11-11 00:31:28] 691*2^1567105-1 is not prime. Res64: A4ED9951457C6641 Time : 0.0 sec. user=mdettweiler [2020-11-11 01:00:40] 717*2^1567105-1 is not prime. Res64: 63FA7757FA02871E Time : 0.0 sec. user=mdettweiler [2020-11-11 01:00:41] 741*2^1567105-1 is not prime. Res64: EFF0DA2ABB5A4392 Time : 0.0 sec. user=mdettweiler [2020-11-11 01:00:43] 759*2^1567105-1 is not prime. Res64: DEC566793DA7049B Time : 0.0 sec. user=mdettweiler [2020-11-11 01:00:45] 819*2^1567105-1 is not prime. Res64: CA2D906D53F67B70 Time : 0.0 sec. user=mdettweiler [2020-11-11 01:00:47] 841*2^1567105-1 is not prime. Res64: 6EE3831C258C0FD5 Time : 0.0 sec. user=mdettweiler [2020-11-11 01:27:32] 867*2^1567105-1 is not prime. Res64: 5997E20589DFD48D Time : 0.0 sec. user=mdettweiler [2020-11-11 01:27:34] 915*2^1567105-1 is not prime. Res64: 0CEF1AC4B2CB75EA Time : 0.0 sec. user=mdettweiler [2020-11-11 01:27:36] 987*2^1567105-1 is not prime. Res64: 77304EC0BA564391 Time : 0.0 sec. user=mdettweiler [2020-11-11 01:27:37] 623*2^1567106-1 is not prime. Res64: 0E9D0929C52D38D1 Time : 0.0 sec. user=mdettweiler [2020-11-11 01:27:38] 641*2^1567106-1 is not prime. Res64: 8818F30F74798F5A Time : 0.0 sec. user=mdettweiler [2020-11-11 01:57:16] 713*2^1567106-1 is not prime. Res64: 67F7F13E536EB82A Time : 0.0 sec. user=mdettweiler [2020-11-11 01:57:18] 743*2^1567106-1 is not prime. Res64: 673B7D7D18A69C73 Time : 0.0 sec. user=mdettweiler [2020-11-11 01:57:20] 825*2^1567106-1 is not prime. Res64: 6D355312F42B58F8 Time : 0.0 sec. user=mdettweiler [2020-11-11 01:57:21] 851*2^1567106-1 is not prime. Res64: 248E6DC5AB019A3E Time : 0.0 sec. user=mdettweiler [2020-11-11 01:57:23] 873*2^1567106-1 is not prime. Res64: 4DC2FE9E34C69608 Time : 0.0 sec. user=mdettweiler [2020-11-11 02:22:32] 691*2^1567107-1 is not prime. Res64: A469C8B3DDB5870A Time : 0.0 sec. user=mdettweiler [2020-11-11 02:51:23] 615*2^1567108-1 is not prime. Res64: BB7F8D5E56BB5D4F Time : 0.0 sec. user=mdettweiler [2020-11-11 02:51:23] 647*2^1567108-1 is not prime. Res64: 815083DBEE2064AA Time : 0.0 sec. user=mdettweiler [2020-11-11 02:51:23] 677*2^1567108-1 is not prime. Res64: E9B5781E2F1C0578 Time : 0.0 sec. user=mdettweiler [2020-11-11 02:51:24] 689*2^1567108-1 is not prime. Res64: 2B01DD9C8788CD01 Time : 0.0 sec. user=mdettweiler [2020-11-11 02:51:24] 915*2^1567108-1 is not prime. Res64: A1385D42C346CA5B Time : 0.0 sec. user=mdettweiler [2020-11-11 03:47:31] 657*2^1567109-1 is not prime. Res64: 8B79BBE09616F281 Time : 0.0 sec. user=mdettweiler [2020-11-11 03:47:34] 699*2^1567109-1 is not prime. Res64: 311C94216F14A0D0 Time : 0.0 sec. user=mdettweiler [2020-11-11 03:47:36] 799*2^1567109-1 is not prime. Res64: 6F949AD14F9F6ABA Time : 0.0 sec. user=mdettweiler [2020-11-11 03:47:37] 801*2^1567109-1 is not prime. Res64: C2DD576B443D01D9 Time : 0.0 sec. user=mdettweiler [2020-11-11 03:47:40] 819*2^1567109-1 is not prime. Res64: E66F494F80A3D6BB Time : 0.0 sec. user=mdettweiler [2020-11-11 04:44:12] 949*2^1567109-1 is not prime. Res64: FDC0AD638F41F1C7 Time : 0.0 sec. user=mdettweiler [2020-11-11 04:44:13] 969*2^1567109-1 is not prime. Res64: 0D8E099A86A9851F Time : 0.0 sec. user=mdettweiler [2020-11-11 04:44:13] 641*2^1567110-1 is not prime. Res64: 8168F184676ABF81 Time : 0.0 sec. user=mdettweiler [2020-11-11 04:44:14] 665*2^1567110-1 is not prime. Res64: 21ABBEA71D6A5150 Time : 0.0 sec. user=mdettweiler [2020-11-11 04:44:14] 765*2^1567110-1 is not prime. Res64: 3B60DCF3D5379193 Time : 0.0 sec. user=mdettweiler [2020-11-11 05:41:09] 773*2^1567110-1 is not prime. Res64: 028C0FC9F7291759 Time : 0.0 sec. user=mdettweiler [2020-11-11 05:41:10] 783*2^1567110-1 is not prime. Res64: 53EF85A54D50F766 Time : 0.0 sec. user=mdettweiler [2020-11-11 05:41:10] 861*2^1567110-1 is not prime. Res64: D8666D63A377A660 Time : 0.0 sec. user=mdettweiler [2020-11-11 05:41:10] 603*2^1567111-1 is not prime. Res64: 46556B03912A7E5E Time : 0.0 sec. user=mdettweiler [2020-11-11 05:41:11] 783*2^1567111-1 is not prime. Res64: 933A95AC92C359A4 Time : 0.0 sec. user=mdettweiler [2020-11-11 06:39:24] 951*2^1567111-1 is not prime. Res64: C092999EAF2864FE Time : 0.0 sec. user=mdettweiler [2020-11-11 06:39:24] 803*2^1567112-1 is not prime. Res64: A724E9E9AB029F71 Time : 0.0 sec. user=mdettweiler [2020-11-11 06:39:25] 827*2^1567112-1 is not prime. Res64: AB0BC2D4BF7EC489 Time : 0.0 sec. user=mdettweiler [2020-11-11 06:39:25] 857*2^1567112-1 is not prime. Res64: 529EBFE83BCF0629 Time : 0.0 sec. user=mdettweiler [2020-11-11 06:39:26] 873*2^1567112-1 is not prime. Res64: 285A6C2EE8B95DF3 Time : 0.0 sec. user=mdettweiler [2020-11-11 07:13:13] 699*2^1567107-1 is not prime. Res64: 794D0A6605B6D284 Time : 0.0 sec. user=mdettweiler [2020-11-11 07:13:13] 819*2^1567107-1 is not prime. Res64: CA25E009711F4B1F Time : 0.0 sec. user=mdettweiler [2020-11-11 07:13:13] 891*2^1567107-1 is not prime. Res64: D42596AD6B5AA46E Time : 0.0 sec. user=mdettweiler [2020-11-11 07:13:13] 603*2^1567108-1 is not prime. Res64: 745E7212507635F2 Time : 0.0 sec. user=mdettweiler [2020-11-11 07:35:27] 899*2^1567112-1 is not prime. Res64: 6437E651371CAA60 Time : 0.0 sec. user=mdettweiler [2020-11-11 07:35:28] 915*2^1567112-1 is not prime. Res64: D98679A618C6FD7B Time : 0.0 sec. user=mdettweiler [2020-11-11 07:35:28] 945*2^1567112-1 is not prime. Res64: B19074C265D08F9C Time : 0.0 sec. user=mdettweiler [2020-11-11 07:35:28] 649*2^1567113-1 is not prime. Res64: 55ED8DC35EC0B649 Time : 0.0 sec. user=mdettweiler [2020-11-11 07:35:29] 705*2^1567113-1 is not prime. Res64: F54B15A889757BE6 Time : 0.0 sec. user=mdettweiler [2020-11-11 08:07:49] 739*2^1567113-1 is not prime. Res64: FDC289535ECE1D7D Time : 0.0 sec. user=mdettweiler [2020-11-11 08:07:50] 741*2^1567113-1 is not prime. Res64: 6B38E871691129FF Time : 0.0 sec. user=mdettweiler [2020-11-11 08:07:52] 835*2^1567113-1 is not prime. Res64: 89257B1C4198509D Time : 0.0 sec. user=mdettweiler [2020-11-11 08:07:54] 837*2^1567113-1 is not prime. Res64: A6C1FECCA17DAB0D Time : 0.0 sec. user=mdettweiler [2020-11-11 08:07:55] 605*2^1567114-1 is not prime. Res64: 8C3188D1655A1C74 Time : 0.0 sec. user=mdettweiler [2020-11-11 08:30:06] 717*2^1567114-1 is not prime. Res64: F6D899C76464124D Time : 0.0 sec. user=mdettweiler [2020-11-11 08:30:07] 815*2^1567114-1 is not prime. Res64: 71D5215A35D3554C Time : 0.0 sec. user=mdettweiler [2020-11-11 08:30:07] 881*2^1567114-1 is not prime. Res64: 53C490436BDE19DD Time : 0.0 sec. user=mdettweiler [2020-11-11 08:30:07] 619*2^1567115-1 is not prime. Res64: 91F09C1187C9B98A Time : 0.0 sec. user=mdettweiler [2020-11-11 08:30:07] 693*2^1567115-1 is not prime. Res64: 73E3C4398CE4CEA2 Time : 0.0 sec. user=mdettweiler [2020-11-11 09:02:59] 715*2^1567115-1 is not prime. Res64: 0E73125468B9A825 Time : 0.0 sec. user=mdettweiler [2020-11-11 09:03:01] 801*2^1567115-1 is not prime. Res64: 83E9A53F2EC6CB1B Time : 0.0 sec. user=mdettweiler [2020-11-11 09:03:04] 939*2^1567115-1 is not prime. Res64: C548426FB63918B6 Time : 0.0 sec. user=mdettweiler [2020-11-11 09:03:06] 635*2^1567116-1 is not prime. Res64: 859253BD48F2F8DF Time : 0.0 sec. user=mdettweiler [2020-11-11 09:03:07] 683*2^1567116-1 is not prime. Res64: B98673262B07A838 Time : 0.0 sec. user=mdettweiler [2020-11-11 09:26:05] 693*2^1567116-1 is not prime. Res64: 28ADE0BF644D9CFB Time : 0.0 sec. user=mdettweiler [2020-11-11 09:26:06] 749*2^1567116-1 is not prime. Res64: 6D7821CD3939CB96 Time : 0.0 sec. user=mdettweiler [2020-11-11 09:26:06] 775*2^1567117-1 is not prime. Res64: 3DE590654C2161E0 Time : 0.0 sec. user=mdettweiler [2020-11-11 09:26:06] 801*2^1567117-1 is not prime. Res64: B8972DAE02AA709F Time : 0.0 sec. user=mdettweiler [2020-11-11 09:26:06] 931*2^1567117-1 is not prime. Res64: 5F40C19A0DDA9022 Time : 0.0 sec. user=mdettweiler [2020-11-11 09:58:09] 945*2^1567117-1 is not prime. Res64: 87A7A57A23FA64FD Time : 0.0 sec. user=mdettweiler [2020-11-11 09:58:09] 605*2^1567118-1 is not prime. Res64: 1B8897F584B7A370 Time : 0.0 sec. user=mdettweiler [2020-11-11 09:58:09] 711*2^1567118-1 is not prime. Res64: 8D23390B89204856 Time : 0.0 sec. user=mdettweiler [2020-11-11 09:58:09] 743*2^1567118-1 is not prime. Res64: 569F2F69D959D09A Time : 0.0 sec. user=mdettweiler [2020-11-11 09:58:10] 815*2^1567118-1 is not prime. Res64: 3D856F7124C3BF5D Time : 0.0 sec. user=mdettweiler [2020-11-11 10:22:05] 893*2^1567118-1 is not prime. Res64: 8E842F9F0806B0D7 Time : 0.0 sec. user=mdettweiler [2020-11-11 10:22:05] 897*2^1567118-1 is not prime. Res64: 333151C04501941F Time : 0.0 sec. user=mdettweiler [2020-11-11 10:22:05] 915*2^1567118-1 is not prime. Res64: CEE0D9114F5C5C08 Time : 0.0 sec. user=mdettweiler [2020-11-11 10:22:06] 663*2^1567119-1 is not prime. Res64: 04F2EFB8D3310A96 Time : 0.0 sec. user=mdettweiler [2020-11-11 10:22:06] 685*2^1567119-1 is not prime. Res64: 4D180D6FDF6F42D6 Time : 0.0 sec. user=mdettweiler [2020-11-11 10:55:11] 711*2^1567119-1 is not prime. Res64: D3325477C9BEC809 Time : 0.0 sec. user=mdettweiler [2020-11-11 10:55:11] 853*2^1567119-1 is not prime. Res64: 6A00FA17BD51E12B Time : 0.0 sec. user=mdettweiler [2020-11-11 10:55:11] 885*2^1567119-1 is not prime. Res64: 9D39530CC9572E45 Time : 0.0 sec. user=mdettweiler [2020-11-11 10:55:11] 949*2^1567119-1 is not prime. Res64: 4A2534E78E2DE7A1 Time : 0.0 sec. user=mdettweiler [2020-11-11 10:55:12] 961*2^1567119-1 is not prime. Res64: F4374785AD786965 Time : 0.0 sec. user=mdettweiler [2020-11-11 11:13:43] 603*2^1567120-1 is not prime. Res64: 8E1EE81CE7811697 Time : 0.0 sec. user=mdettweiler [2020-11-11 11:13:43] 605*2^1567120-1 is not prime. Res64: ABB721FA3B0D9984 Time : 0.0 sec. user=mdettweiler [2020-11-11 11:13:44] 615*2^1567120-1 is not prime. Res64: 0EDE7912062B6FF7 Time : 0.0 sec. user=mdettweiler [2020-11-11 11:13:44] 623*2^1567120-1 is not prime. Res64: 536515E9709C5658 Time : 0.0 sec. user=mdettweiler [2020-11-11 11:13:44] 653*2^1567120-1 is not prime. Res64: C705F3E1BA22EECD Time : 0.0 sec. user=mdettweiler [2020-11-11 11:52:16] 695*2^1567120-1 is not prime. Res64: 7CCB320CE2A62CE8 Time : 0.0 sec. user=mdettweiler [2020-11-11 11:52:17] 827*2^1567120-1 is not prime. Res64: E91B5E3C45E40B15 Time : 0.0 sec. user=mdettweiler [2020-11-11 11:52:17] 833*2^1567120-1 is not prime. Res64: B05C1612A340B53F Time : 0.0 sec. user=mdettweiler [2020-11-11 11:52:17] 897*2^1567120-1 is not prime. Res64: 0EC81BE85317F455 Time : 0.0 sec. user=mdettweiler [2020-11-11 11:52:17] 909*2^1567120-1 is not prime. Res64: F85FB46E7FC95F67 Time : 0.0 sec. user=mdettweiler [2020-11-11 12:07:19] 983*2^1567120-1 is not prime. Res64: 1266550EC9C0FB51 Time : 0.0 sec. user=mdettweiler [2020-11-11 12:07:21] 615*2^1567121-1 is not prime. Res64: 9406FA9556331D81 Time : 0.0 sec. user=mdettweiler [2020-11-11 12:07:22] 679*2^1567121-1 is not prime. Res64: 9820BD72B17B7419 Time : 0.0 sec. user=mdettweiler [2020-11-11 12:07:24] 691*2^1567121-1 is not prime. Res64: 197F0D49D6CCBA3F Time : 0.0 sec. user=mdettweiler [2020-11-11 12:07:26] 741*2^1567121-1 is not prime. Res64: 6477C232273A663D Time : 0.0 sec. user=mdettweiler [2020-11-11 12:48:21] 865*2^1567121-1 is not prime. Res64: DE191B7609D92D3C Time : 0.0 sec. user=mdettweiler [2020-11-11 12:48:21] 871*2^1567121-1 is not prime. Res64: C7C2314DA863A990 Time : 0.0 sec. user=mdettweiler [2020-11-11 12:48:22] 955*2^1567121-1 is not prime. Res64: 23244B3D4476814A Time : 0.0 sec. user=mdettweiler [2020-11-11 12:48:22] 671*2^1567122-1 is not prime. Res64: 54F0028BD5D57263 Time : 0.0 sec. user=mdettweiler [2020-11-11 12:48:22] 711*2^1567122-1 is not prime. Res64: 3BBD578B69BB1B95 Time : 0.0 sec. user=mdettweiler [2020-11-11 13:03:50] 735*2^1567122-1 is not prime. Res64: 7256B0D375D7DE95 Time : 0.0 sec. user=mdettweiler [2020-11-11 13:03:53] 755*2^1567122-1 is not prime. Res64: A76A5597BADB12E1 Time : 0.0 sec. user=mdettweiler [2020-11-11 13:03:55] 797*2^1567122-1 is not prime. Res64: 8A447035BF7D6968 Time : 0.0 sec. user=mdettweiler [2020-11-11 13:03:57] 843*2^1567122-1 is not prime. Res64: CD65A23845858782 Time : 0.0 sec. user=mdettweiler [2020-11-11 13:04:02] 915*2^1567122-1 is not prime. Res64: 9596AEEF1D0D47C0 Time : 0.0 sec. user=mdettweiler [2020-11-11 13:44:21] 917*2^1567122-1 is not prime. Res64: 4E06E9DCF95C8F9D Time : 0.0 sec. user=mdettweiler [2020-11-11 13:44:22] 693*2^1567123-1 is not prime. Res64: 8A08ED590735355A Time : 0.0 sec. user=mdettweiler [2020-11-11 13:44:22] 735*2^1567123-1 is not prime. Res64: BE6749620F826108 Time : 0.0 sec. user=mdettweiler [2020-11-11 13:44:22] 765*2^1567123-1 is not prime. Res64: 995CD4094981473B Time : 0.0 sec. user=mdettweiler [2020-11-11 13:44:23] 771*2^1567123-1 is not prime. Res64: 6FA8560C58FA154A Time : 0.0 sec. user=mdettweiler [2020-11-11 14:01:16] 871*2^1567123-1 is not prime. Res64: AC2AE4BDFA320200 Time : 0.0 sec. user=mdettweiler [2020-11-11 14:01:18] 891*2^1567123-1 is not prime. Res64: B32BD9A01EF91866 Time : 0.0 sec. user=mdettweiler [2020-11-11 14:01:19] 943*2^1567123-1 is not prime. Res64: DD3010706D0C7B30 Time : 0.0 sec. user=mdettweiler [2020-11-11 14:01:21] 973*2^1567123-1 is not prime. Res64: A76529373C27F4AE Time : 0.0 sec. user=mdettweiler [2020-11-11 14:01:23] 609*2^1567124-1 is not prime. Res64: AD11BF311F704ABC Time : 0.0 sec. user=mdettweiler [2020-11-11 14:41:08] 759*2^1567124-1 is not prime. Res64: 1237A73564D28281 Time : 0.0 sec. user=mdettweiler [2020-11-11 14:41:09] 825*2^1567124-1 is not prime. Res64: 4FBCACF7B833AA82 Time : 0.0 sec. user=mdettweiler [2020-11-11 14:41:09] 897*2^1567124-1 is not prime. Res64: DE4D45386CFFDF49 Time : 0.0 sec. user=mdettweiler [2020-11-11 14:41:10] 903*2^1567124-1 is not prime. Res64: 16D2F4D9C52228DB Time : 0.0 sec. user=mdettweiler [2020-11-11 14:41:10] 609*2^1567125-1 is not prime. Res64: 8B95009536CE5797 Time : 0.0 sec. user=mdettweiler [2020-11-11 14:57:37] 657*2^1567125-1 is not prime. Res64: 5277D74D3AE13D26 Time : 0.0 sec. user=mdettweiler [2020-11-11 14:57:38] 667*2^1567125-1 is not prime. Res64: DDA02048B28E35F8 Time : 0.0 sec. user=mdettweiler [2020-11-11 14:57:38] 789*2^1567125-1 is not prime. Res64: 94A23D9C196FD7C4 Time : 0.0 sec. user=mdettweiler [2020-11-11 14:57:39] 831*2^1567125-1 is not prime. Res64: 5EAC192A4D614E70 Time : 0.0 sec. user=mdettweiler [2020-11-11 14:57:39] 915*2^1567125-1 is not prime. Res64: B6FDB2524EEA824C Time : 0.0 sec. user=mdettweiler [2020-11-11 15:34:43] 951*2^1567125-1 is not prime. Res64: 4BE83BF90D069E73 Time : 0.0 sec. user=mdettweiler [2020-11-11 15:34:44] 611*2^1567126-1 is not prime. Res64: CECB8971B1074197 Time : 0.0 sec. user=mdettweiler [2020-11-11 15:34:44] 651*2^1567126-1 is not prime. Res64: FBF5F83646C83C36 Time : 0.0 sec. user=mdettweiler [2020-11-11 15:34:45] 695*2^1567126-1 is not prime. Res64: 0B8BB261EBC80F74 Time : 0.0 sec. user=mdettweiler [2020-11-11 15:34:45] 741*2^1567126-1 is not prime. Res64: E7D0B8F63C162A52 Time : 0.0 sec. user=mdettweiler [2020-11-11 15:53:52] 821*2^1567126-1 is not prime. Res64: 87A4C95EAF733DEA Time : 0.0 sec. user=mdettweiler [2020-11-11 15:53:52] 867*2^1567126-1 is not prime. Res64: 297690D916226451 Time : 0.0 sec. user=mdettweiler [2020-11-11 15:53:53] 933*2^1567126-1 is not prime. Res64: 4F8653034CC751B3 Time : 0.0 sec. user=mdettweiler [2020-11-11 15:53:53] 675*2^1567127-1 is not prime. Res64: 156841DB4D81E382 Time : 0.0 sec. user=mdettweiler [2020-11-11 15:53:53] 685*2^1567127-1 is not prime. Res64: 9DE796416D9BB408 Time : 0.0 sec. user=mdettweiler [2020-11-11 16:30:43] 735*2^1567127-1 is not prime. Res64: ABD212E02D06EE94 Time : 0.0 sec. user=mdettweiler [2020-11-11 16:30:43] 753*2^1567127-1 is not prime. Res64: 46BD48F902CEB85D Time : 0.0 sec. user=mdettweiler [2020-11-11 16:30:44] 759*2^1567127-1 is not prime. Res64: 1E875C6360B9A0BD Time : 0.0 sec. user=mdettweiler [2020-11-11 16:30:44] 949*2^1567127-1 is not prime. Res64: 30DCF3B74B3B1287 Time : 0.0 sec. user=mdettweiler [2020-11-11 16:30:44] 993*2^1567127-1 is not prime. Res64: EA9C9AFC08EDF67E Time : 0.0 sec. user=mdettweiler [2020-11-11 16:49:34] 633*2^1567128-1 is not prime. Res64: 861B8ED33A747493 Time : 0.0 sec. user=mdettweiler [2020-11-11 16:49:35] 689*2^1567128-1 is not prime. Res64: F95869E3F56BBCBD Time : 0.0 sec. user=mdettweiler [2020-11-11 16:49:35] 777*2^1567128-1 is not prime. Res64: 503ABAE93941E053 Time : 0.0 sec. user=mdettweiler [2020-11-11 16:49:35] 929*2^1567128-1 is not prime. Res64: 6EDEFFEE40B1FD6A Time : 0.0 sec. user=mdettweiler [2020-11-11 16:49:36] 959*2^1567128-1 is not prime. Res64: 92D92FCB85EEED2A Time : 0.0 sec. user=mdettweiler [2020-11-11 17:24:17] 999*2^1567128-1 is not prime. Res64: 1C22951721CCF3B0 Time : 0.0 sec. user=mdettweiler [2020-11-11 17:24:17] 609*2^1567129-1 is not prime. Res64: B757D1AC9429D6F7 Time : 0.0 sec. user=mdettweiler [2020-11-11 17:24:17] 649*2^1567129-1 is not prime. Res64: EBF5FC01E1AD3351 Time : 0.0 sec. user=mdettweiler [2020-11-11 17:24:18] 691*2^1567129-1 is not prime. Res64: 116244F5B3815126 Time : 0.0 sec. user=mdettweiler [2020-11-11 17:24:18] 699*2^1567129-1 is not prime. Res64: F41C8B671A8FF596 Time : 0.0 sec. user=mdettweiler [2020-11-11 17:46:38] 721*2^1567129-1 is not prime. Res64: 699B58B4DB295920 Time : 0.0 sec. user=mdettweiler [2020-11-11 17:46:38] 807*2^1567129-1 is not prime. Res64: A98C8ACDBDCBAEEE Time : 0.0 sec. user=mdettweiler [2020-11-11 17:46:38] 841*2^1567129-1 is not prime. Res64: F7BD0E2C596552C3 Time : 0.0 sec. user=mdettweiler [2020-11-11 17:46:38] 919*2^1567129-1 is not prime. Res64: 71053191410C639D Time : 0.0 sec. user=mdettweiler [2020-11-11 17:46:39] 987*2^1567129-1 is not prime. Res64: FB747D6C40210F67 Time : 0.0 sec. user=mdettweiler [2020-11-11 18:19:25] 675*2^1567130-1 is not prime. Res64: 85EF53C70B22467B Time : 0.0 sec. user=mdettweiler [2020-11-11 18:19:25] 711*2^1567130-1 is not prime. Res64: ECE5DE1E66A91ABC Time : 0.0 sec. user=mdettweiler [2020-11-11 18:19:26] 945*2^1567130-1 is not prime. Res64: 6554B92C06BEC87A Time : 0.0 sec. user=mdettweiler [2020-11-11 18:19:26] 957*2^1567130-1 is not prime. Res64: E0F6497C5923D088 Time : 0.0 sec. user=mdettweiler [2020-11-11 18:19:26] 679*2^1567131-1 is not prime. Res64: 6C43E454148BF9C8 Time : 0.0 sec. user=mdettweiler [2020-11-11 18:41:40] 705*2^1567131-1 is not prime. Res64: A0A71150695031A0 Time : 0.0 sec. user=mdettweiler [2020-11-11 18:41:40] 735*2^1567131-1 is not prime. Res64: 6A33B3CD5A8A941D Time : 0.0 sec. user=mdettweiler [2020-11-11 18:41:41] 751*2^1567131-1 is not prime. Res64: 850EF04D0A0C791F Time : 0.0 sec. user=mdettweiler [2020-11-11 18:41:41] 873*2^1567131-1 is not prime. Res64: C4EF73335CC6AAD3 Time : 0.0 sec. user=mdettweiler [2020-11-11 18:41:41] 895*2^1567131-1 is not prime. Res64: 8328F54A087F3074 Time : 0.0 sec. user=mdettweiler [2020-11-11 19:16:32] 903*2^1567131-1 is not prime. Res64: 3AF37F627A4DC4AB Time : 0.0 sec. user=mdettweiler [2020-11-11 19:16:33] 945*2^1567131-1 is not prime. Res64: 2CBA6FF8CF24A824 Time : 0.0 sec. user=mdettweiler [2020-11-11 19:16:33] 955*2^1567131-1 is not prime. Res64: 3DC6953AA73FA952 Time : 0.0 sec. user=mdettweiler [2020-11-11 19:16:34] 979*2^1567131-1 is not prime. Res64: 1B7B62474372BC63 Time : 0.0 sec. user=mdettweiler [2020-11-11 19:16:34] 675*2^1567132-1 is not prime. Res64: 1056AA7BF881EC9D Time : 0.0 sec. user=mdettweiler [2020-11-11 19:39:42] 777*2^1567132-1 is not prime. Res64: 3C1919A0D138B6FB Time : 0.0 sec. user=mdettweiler [2020-11-11 19:39:43] 819*2^1567132-1 is not prime. Res64: 96D186C8522482FA Time : 0.0 sec. user=mdettweiler [2020-11-11 19:39:43] 899*2^1567132-1 is not prime. Res64: F261A13F9CAA1580 Time : 0.0 sec. user=mdettweiler [2020-11-11 19:39:43] 957*2^1567132-1 is not prime. Res64: 6ED1493186F08373 Time : 0.0 sec. user=mdettweiler [2020-11-11 19:39:44] 983*2^1567132-1 is not prime. Res64: DDB31733B3E17883 Time : 0.0 sec. user=mdettweiler [2020-11-11 20:11:32] 901*2^1567133-1 is not prime. Res64: 0E2B70CD075FE745 Time : 0.0 sec. user=mdettweiler [2020-11-11 20:11:33] 957*2^1567133-1 is not prime. Res64: 938615B9F942EBCC Time : 0.0 sec. user=mdettweiler [2020-11-11 20:11:33] 641*2^1567134-1 is not prime. Res64: BBD79C0473861E53 Time : 0.0 sec. user=mdettweiler [2020-11-11 20:11:33] 663*2^1567134-1 is not prime. Res64: 5C0596C43C1FE06A Time : 0.0 sec. user=mdettweiler [2020-11-11 20:11:34] 693*2^1567134-1 is not prime. Res64: F4FD7F6AC7E4B7B1 Time : 0.0 sec. user=mdettweiler [2020-11-11 20:37:48] 795*2^1567134-1 is not prime. Res64: 4416A370BBCF236F Time : 0.0 sec. user=mdettweiler [2020-11-11 20:37:48] 833*2^1567134-1 is not prime. Res64: 4D65CCAB51609FF4 Time : 0.0 sec. user=mdettweiler [2020-11-11 20:37:48] 881*2^1567134-1 is not prime. Res64: 971F35DC3D1484DE Time : 0.0 sec. user=mdettweiler [2020-11-11 20:37:49] 975*2^1567134-1 is not prime. Res64: E1C8DB758846A654 Time : 0.0 sec. user=mdettweiler [2020-11-11 20:37:49] 1001*2^1567134-1 is not prime. Res64: BC0C04C21990E7DC Time : 0.0 sec. user=mdettweiler [2020-11-11 21:07:14] 741*2^1567135-1 is not prime. Res64: 78CD1AA3FCEDA993 Time : 0.0 sec. user=mdettweiler [2020-11-11 21:07:17] 759*2^1567135-1 is not prime. Res64: 1BBA0E9A60B0E811 Time : 0.0 sec. user=mdettweiler [2020-11-11 21:07:20] 771*2^1567135-1 is not prime. Res64: 619A208D29A56969 Time : 0.0 sec. user=mdettweiler [2020-11-11 21:07:24] 885*2^1567135-1 is not prime. Res64: 3A898F6A8F9E933B Time : 0.0 sec. user=mdettweiler [2020-11-11 21:07:27] 603*2^1567136-1 is not prime. Res64: B0CE6C8AA0BC3DAF Time : 0.0 sec. user=mdettweiler [2020-11-11 21:32:26] 683*2^1567136-1 is not prime. Res64: D476C91FC72E87D0 Time : 0.0 sec. user=mdettweiler [2020-11-11 21:32:26] 773*2^1567136-1 is not prime. Res64: 8EE9192168367DD6 Time : 0.0 sec. user=mdettweiler [2020-11-11 21:32:27] 609*2^1567137-1 is not prime. Res64: 8FB21C0D0CE67073 Time : 0.0 sec. user=mdettweiler [2020-11-11 21:32:27] 649*2^1567137-1 is not prime. Res64: E1014E72A47560C6 Time : 0.0 sec. user=mdettweiler [2020-11-11 21:32:27] 817*2^1567137-1 is not prime. Res64: 43F49229F174D01E Time : 0.0 sec. user=mdettweiler [2020-11-11 22:04:00] 847*2^1567137-1 is not prime. Res64: 8961F16565F78996 Time : 0.0 sec. user=mdettweiler [2020-11-11 22:04:03] 895*2^1567137-1 is not prime. Res64: 3E2463682CE57D42 Time : 0.0 sec. user=mdettweiler [2020-11-11 22:04:06] 945*2^1567137-1 is not prime. Res64: 363E7E186AE9F324 Time : 0.0 sec. user=mdettweiler [2020-11-11 22:04:08] 677*2^1567138-1 is not prime. Res64: 4116D0CADF7DCB65 Time : 0.0 sec. user=mdettweiler [2020-11-11 22:04:10] 695*2^1567138-1 is not prime. Res64: 0C4EC5A3E476A272 Time : 0.0 sec. user=mdettweiler [2020-11-11 22:28:05] 773*2^1567138-1 is not prime. Res64: 4F7BFD77C421966B Time : 0.0 sec. user=mdettweiler [2020-11-11 22:28:05] 777*2^1567138-1 is not prime. Res64: CEC24202A07618BC Time : 0.0 sec. user=mdettweiler [2020-11-11 22:28:06] 957*2^1567138-1 is not prime. Res64: 15951DB9F9DA7429 Time : 0.0 sec. user=mdettweiler [2020-11-11 22:28:06] 619*2^1567139-1 is not prime. Res64: E483C7F79A24ABAA Time : 0.0 sec. user=mdettweiler [2020-11-11 22:28:07] 645*2^1567139-1 is not prime. Res64: 377FBF1905272714 Time : 0.0 sec. user=mdettweiler [2020-11-11 23:00:25] 741*2^1567139-1 is not prime. Res64: 820833C7C3C5C384 Time : 0.0 sec. user=mdettweiler [2020-11-11 23:00:27] 669*2^1567140-1 is not prime. Res64: 9BD15C673B332C0E Time : 0.0 sec. user=mdettweiler [2020-11-11 23:00:28] 875*2^1567140-1 is not prime. Res64: 00F231A84DD26A61 Time : 0.0 sec. user=mdettweiler [2020-11-11 23:00:36] 871*2^1567141-1 is not prime. Res64: B3A3425C98FD3A0D Time : 0.0 sec. user=mdettweiler [2020-11-11 23:00:38] 895*2^1567141-1 is not prime. Res64: 96704375D89AADCF Time : 0.0 sec. user=mdettweiler [2020-11-11 23:25:08] 955*2^1567141-1 is not prime. Res64: 91C7A2609BCB555A Time : 0.0 sec. user=mdettweiler [2020-11-11 23:25:08] 997*2^1567141-1 is not prime. Res64: 1ADBE72A04F8C146 Time : 0.0 sec. user=mdettweiler [2020-11-11 23:25:09] 671*2^1567142-1 is not prime. Res64: 935EDF51E0B5942B Time : 0.0 sec. user=mdettweiler [2020-11-11 23:25:09] 771*2^1567142-1 is not prime. Res64: 22381E88663F8E52 Time : 0.0 sec. user=mdettweiler [2020-11-11 23:25:10] 873*2^1567142-1 is not prime. Res64: 5938083CE8AC1E99 Time : 0.0 sec. user=mdettweiler [2020-11-11 23:58:48] 903*2^1567142-1 is not prime. Res64: C089F98EB546347C Time : 0.0 sec. user=mdettweiler [2020-11-11 23:58:48] 921*2^1567142-1 is not prime. Res64: 94398C6969855798 Time : 0.0 sec. user=mdettweiler [2020-11-11 23:58:49] 945*2^1567142-1 is not prime. Res64: B1FC414031D40D50 Time : 0.0 sec. user=mdettweiler [2020-11-11 23:58:49] 957*2^1567142-1 is not prime. Res64: D5170CAB248F6EF3 Time : 0.0 sec. user=mdettweiler [2020-11-11 23:58:50] 977*2^1567142-1 is not prime. Res64: EEAC0CD011A62BA1 Time : 0.0 sec.