user=mdettweiler [2020-11-13 00:10:46] 615*2^1567189-1 is not prime. Res64: A536EBEE73437B06 Time : 0.0 sec. user=mdettweiler [2020-11-13 00:10:51] 625*2^1567189-1 is not prime. Res64: 67C332B910BF72F3 Time : 0.0 sec. user=mdettweiler [2020-11-13 00:10:54] 661*2^1567189-1 is not prime. Res64: 700500777A0A3B6A Time : 0.0 sec. user=mdettweiler [2020-11-13 00:10:56] 687*2^1567189-1 is not prime. Res64: 1F599F5861A6E9CD Time : 0.0 sec. user=mdettweiler [2020-11-13 00:10:58] 817*2^1567189-1 is not prime. Res64: 4C78D578AF80C5C4 Time : 0.0 sec. user=mdettweiler [2020-11-13 00:55:35] 829*2^1567189-1 is not prime. Res64: C571BF2C2113CD1C Time : 0.0 sec. user=mdettweiler [2020-11-13 00:55:36] 895*2^1567189-1 is not prime. Res64: 14EE5184D420359A Time : 0.0 sec. user=mdettweiler [2020-11-13 00:55:36] 955*2^1567189-1 is not prime. Res64: 3C13CD6C16376BF1 Time : 0.0 sec. user=mdettweiler [2020-11-13 00:55:36] 985*2^1567189-1 is not prime. Res64: D277347463DB51E7 Time : 0.0 sec. user=mdettweiler [2020-11-13 00:55:37] 999*2^1567189-1 is not prime. Res64: 1A2932A64D6E7064 Time : 0.0 sec. user=mdettweiler [2020-11-13 01:08:27] 605*2^1567190-1 is not prime. Res64: 96EB27A6D3B9A1A9 Time : 0.0 sec. user=mdettweiler [2020-11-13 01:08:29] 761*2^1567190-1 is not prime. Res64: 0CD8278F34D43126 Time : 0.0 sec. user=mdettweiler [2020-11-13 01:08:30] 887*2^1567190-1 is not prime. Res64: 6304051F5EFDD615 Time : 0.0 sec. user=mdettweiler [2020-11-13 01:08:31] 915*2^1567190-1 is not prime. Res64: BAE4E5FD46D78E90 Time : 0.0 sec. user=mdettweiler [2020-11-13 01:08:31] 941*2^1567190-1 is not prime. Res64: 5E7770FCDB5228DD Time : 0.0 sec. user=mdettweiler [2020-11-13 01:50:14] 745*2^1567191-1 is not prime. Res64: AF6E9B0EEA05945F Time : 0.0 sec. user=mdettweiler [2020-11-13 01:50:15] 955*2^1567191-1 is not prime. Res64: 4F49D5DE77480630 Time : 0.0 sec. user=mdettweiler [2020-11-13 01:50:16] 979*2^1567191-1 is not prime. Res64: 24604C7ED3523BB1 Time : 0.0 sec. user=mdettweiler [2020-11-13 01:50:17] 605*2^1567192-1 is not prime. Res64: 95808656980045FA Time : 0.0 sec. user=mdettweiler [2020-11-13 01:50:18] 675*2^1567192-1 is not prime. Res64: 7F293E609F0BC0B7 Time : 0.0 sec. user=mdettweiler [2020-11-13 02:03:30] 735*2^1567192-1 is not prime. Res64: C4A9240A1516E924 Time : 0.0 sec. user=mdettweiler [2020-11-13 02:03:34] 869*2^1567192-1 is not prime. Res64: 1B1432047D0AF45D Time : 0.0 sec. user=mdettweiler [2020-11-13 02:03:39] 933*2^1567192-1 is not prime. Res64: 45CE3A0420F753EA Time : 0.0 sec. user=mdettweiler [2020-11-13 02:03:41] 657*2^1567193-1 is not prime. Res64: 51889FB8BE0B5AE9 Time : 0.0 sec. user=mdettweiler [2020-11-13 02:03:42] 685*2^1567193-1 is not prime. Res64: D89F78F98BA9C8BE Time : 0.0 sec. user=mdettweiler [2020-11-13 02:47:35] 741*2^1567193-1 is not prime. Res64: DC9D4C4DD21EE78C Time : 0.0 sec. user=mdettweiler [2020-11-13 02:47:35] 775*2^1567193-1 is not prime. Res64: 0D52F9AD183D37CF Time : 0.0 sec. user=mdettweiler [2020-11-13 02:47:35] 811*2^1567193-1 is not prime. Res64: 3A6FCF7B6BA04EF9 Time : 0.0 sec. user=mdettweiler [2020-11-13 02:47:36] 897*2^1567193-1 is not prime. Res64: 19A00D4DE88ECE77 Time : 0.0 sec. user=mdettweiler [2020-11-13 02:47:36] 925*2^1567193-1 is not prime. Res64: 4346C3D65789599B Time : 0.0 sec. user=mdettweiler [2020-11-13 03:00:10] 937*2^1567193-1 is not prime. Res64: BD6A768B70268A0C Time : 0.0 sec. user=mdettweiler [2020-11-13 03:00:11] 717*2^1567194-1 is not prime. Res64: 643E2870E5A18A39 Time : 0.0 sec. user=mdettweiler [2020-11-13 03:00:11] 725*2^1567194-1 is not prime. Res64: 85499F0FC51FE4FF Time : 0.0 sec. user=mdettweiler [2020-11-13 03:00:12] 773*2^1567194-1 is not prime. Res64: E927E84857CEF426 Time : 0.0 sec. user=mdettweiler [2020-11-13 03:00:13] 873*2^1567194-1 is not prime. Res64: EEF76C1DFA0A159B Time : 0.0 sec. user=mdettweiler [2020-11-13 03:43:34] 921*2^1567194-1 is not prime. Res64: 8B941EA3A3E3B1BD Time : 0.0 sec. user=mdettweiler [2020-11-13 03:43:34] 975*2^1567194-1 is not prime. Res64: C3F0E6CE6A2D4E01 Time : 0.0 sec. user=mdettweiler [2020-11-13 03:43:35] 651*2^1567195-1 is not prime. Res64: 2F6A9C2829F05E15 Time : 0.0 sec. user=mdettweiler [2020-11-13 03:43:35] 679*2^1567195-1 is not prime. Res64: E21DD7E619568119 Time : 0.0 sec. user=mdettweiler [2020-11-13 03:43:36] 789*2^1567195-1 is not prime. Res64: 01B094EBB01C954B Time : 0.0 sec. user=mdettweiler [2020-11-13 03:56:14] 819*2^1567195-1 is not prime. Res64: F824425A7B3362AD Time : 0.0 sec. user=mdettweiler [2020-11-13 03:56:15] 861*2^1567195-1 is not prime. Res64: 7F89A0C716F4735C Time : 0.0 sec. user=mdettweiler [2020-11-13 03:56:16] 999*2^1567195-1 is not prime. Res64: A2DFCEC3C5446451 Time : 0.0 sec. user=mdettweiler [2020-11-13 03:56:16] 615*2^1567196-1 is not prime. Res64: 316615255D95D300 Time : 0.0 sec. user=mdettweiler [2020-11-13 03:56:17] 647*2^1567196-1 is not prime. Res64: C2D8A54B0F05C456 Time : 0.0 sec. user=mdettweiler [2020-11-13 04:39:42] 669*2^1567196-1 is not prime. Res64: B22DEF6C4387A725 Time : 0.0 sec. user=mdettweiler [2020-11-13 04:39:42] 725*2^1567196-1 is not prime. Res64: 2734713F892F4619 Time : 0.0 sec. user=mdettweiler [2020-11-13 04:39:43] 785*2^1567196-1 is not prime. Res64: DDCF8A26A98D3E9A Time : 0.0 sec. user=mdettweiler [2020-11-13 04:39:43] 803*2^1567196-1 is not prime. Res64: 8CA1818CE2E37418 Time : 0.0 sec. user=mdettweiler [2020-11-13 04:39:43] 825*2^1567196-1 is not prime. Res64: 1061D07E99586B45 Time : 0.0 sec. user=mdettweiler [2020-11-13 04:51:03] 999*2^1567196-1 is not prime. Res64: A73B42CA2BF24D40 Time : 0.0 sec. user=mdettweiler [2020-11-13 04:51:03] 627*2^1567197-1 is not prime. Res64: 1473710F7FF625E9 Time : 0.0 sec. user=mdettweiler [2020-11-13 04:51:04] 651*2^1567197-1 is not prime. Res64: 0D1F1616265914AD Time : 0.0 sec. user=mdettweiler [2020-11-13 04:51:04] 747*2^1567197-1 is not prime. Res64: 9D84742A0ABA580B Time : 0.0 sec. user=mdettweiler [2020-11-13 04:51:04] 765*2^1567197-1 is not prime. Res64: FDFF62BBF495162E Time : 0.0 sec. user=mdettweiler [2020-11-13 05:37:53] 819*2^1567197-1 is not prime. Res64: E0DEC269D1B163F8 Time : 0.0 sec. user=mdettweiler [2020-11-13 05:37:54] 861*2^1567197-1 is not prime. Res64: 3A7914E0BB77D319 Time : 0.0 sec. user=mdettweiler [2020-11-13 05:37:54] 871*2^1567197-1 is not prime. Res64: C5045F0E2AB6A698 Time : 0.0 sec. user=mdettweiler [2020-11-13 05:37:54] 901*2^1567197-1 is not prime. Res64: 68718736009EC051 Time : 0.0 sec. user=mdettweiler [2020-11-13 05:37:54] 979*2^1567197-1 is not prime. Res64: C8A8D3E229CB8EF8 Time : 0.0 sec. user=mdettweiler [2020-11-13 05:45:59] 991*2^1567197-1 is not prime. Res64: 555FBE327FAED217 Time : 0.0 sec. user=mdettweiler [2020-11-13 05:45:59] 999*2^1567197-1 is not prime. Res64: 523529259065376E Time : 0.0 sec. user=mdettweiler [2020-11-13 05:45:59] 645*2^1567198-1 is not prime. Res64: 7AD8A20B7773E7EA Time : 0.0 sec. user=mdettweiler [2020-11-13 05:46:00] 647*2^1567198-1 is not prime. Res64: 565508197107A511 Time : 0.0 sec. user=mdettweiler [2020-11-13 05:46:00] 671*2^1567198-1 is not prime. Res64: 6687DC92C757817A Time : 0.0 sec. user=mdettweiler [2020-11-13 06:36:02] 761*2^1567198-1 is not prime. Res64: 1D309805685E6FFA Time : 0.0 sec. user=mdettweiler [2020-11-13 06:36:03] 773*2^1567198-1 is not prime. Res64: 13C307F784CEDD15 Time : 0.0 sec. user=mdettweiler [2020-11-13 06:36:03] 945*2^1567198-1 is not prime. Res64: 6CD27DCF3F10341F Time : 0.0 sec. user=mdettweiler [2020-11-13 06:36:03] 951*2^1567198-1 is not prime. Res64: B7D7F48CECB1D7F4 Time : 0.0 sec. user=mdettweiler [2020-11-13 06:36:03] 995*2^1567198-1 is not prime. Res64: A63F8FB1CD9F44FC Time : 0.0 sec. user=mdettweiler [2020-11-13 06:39:13] 609*2^1567199-1 is not prime. Res64: 88B9F83E1CD3ACF2 Time : 0.0 sec. user=mdettweiler [2020-11-13 06:39:13] 633*2^1567199-1 is not prime. Res64: 46A82CC689567E2D Time : 0.0 sec. user=mdettweiler [2020-11-13 06:39:13] 735*2^1567199-1 is not prime. Res64: 7850137B00CF6828 Time : 0.0 sec. user=mdettweiler [2020-11-13 06:39:14] 745*2^1567199-1 is not prime. Res64: DF01D99B1304D732 Time : 0.0 sec. user=mdettweiler [2020-11-13 06:39:14] 789*2^1567199-1 is not prime. Res64: 792B235FC9856C35 Time : 0.0 sec. user=mdettweiler [2020-11-13 07:32:03] 819*2^1567199-1 is not prime. Res64: 00D672B8DE4A08DE Time : 0.0 sec. user=mdettweiler [2020-11-13 07:32:04] 669*2^1567200-1 is not prime. Res64: A10CE95B66F52359 Time : 0.0 sec. user=mdettweiler [2020-11-13 07:32:04] 707*2^1567200-1 is not prime. Res64: C0CE186188B4628E Time : 0.0 sec. user=mdettweiler [2020-11-13 07:32:04] 797*2^1567200-1 is not prime. Res64: 5A5840B28544E8FC Time : 0.0 sec. user=mdettweiler [2020-11-13 07:32:05] 929*2^1567200-1 is not prime. Res64: ED28FB08AB88C420 Time : 0.0 sec. user=mdettweiler [2020-11-13 07:35:11] 675*2^1567201-1 is not prime. Res64: B406CB17022DF168 Time : 0.0 sec. user=mdettweiler [2020-11-13 07:35:11] 681*2^1567201-1 is not prime. Res64: 3A183D77D9E7402A Time : 0.0 sec. user=mdettweiler [2020-11-13 07:35:12] 769*2^1567201-1 is not prime. Res64: 6F24EE41927F0036 Time : 0.0 sec. user=mdettweiler [2020-11-13 07:35:12] 775*2^1567201-1 is not prime. Res64: AF4B877738D03914 Time : 0.0 sec. user=mdettweiler [2020-11-13 07:35:12] 987*2^1567201-1 is not prime. Res64: 8083DC37C62B2ABE Time : 0.0 sec. user=mdettweiler [2020-11-13 08:25:20] 645*2^1567202-1 is not prime. Res64: B97FF275909F139F Time : 0.0 sec. user=mdettweiler [2020-11-13 08:25:20] 671*2^1567202-1 is not prime. Res64: 0FD28B801F6D71FD Time : 0.0 sec. user=mdettweiler [2020-11-13 08:25:20] 911*2^1567202-1 is not prime. Res64: 788921C3EA2487A3 Time : 0.0 sec. user=mdettweiler [2020-11-13 08:25:21] 615*2^1567203-1 is not prime. Res64: DC0F4EDD0B0D3CD6 Time : 0.0 sec. user=mdettweiler [2020-11-13 08:25:21] 619*2^1567203-1 is not prime. Res64: CEB58342A6EA8A2F Time : 0.0 sec. user=mdettweiler [2020-11-13 08:31:12] 723*2^1567203-1 is not prime. Res64: 5CE5A2EB34F6F6D8 Time : 0.0 sec. user=mdettweiler [2020-11-13 08:31:12] 735*2^1567203-1 is not prime. Res64: 96C61A74F4A70E53 Time : 0.0 sec. user=mdettweiler [2020-11-13 08:31:13] 775*2^1567203-1 is not prime. Res64: 53C010A57D44B971 Time : 0.0 sec. user=mdettweiler [2020-11-13 08:31:13] 801*2^1567203-1 is not prime. Res64: 52017D8E21D1DF7E Time : 0.0 sec. user=mdettweiler [2020-11-13 08:31:13] 859*2^1567203-1 is not prime. Res64: 0786C5023FD2F24F Time : 0.0 sec. user=mdettweiler [2020-11-13 09:19:59] 895*2^1567203-1 is not prime. Res64: CBFACD1C341432FB Time : 0.0 sec. user=mdettweiler [2020-11-13 09:19:59] 951*2^1567203-1 is not prime. Res64: C74B8C171E2F30DF Time : 0.0 sec. user=mdettweiler [2020-11-13 09:20:00] 675*2^1567204-1 is not prime. Res64: E345394109359C12 Time : 0.0 sec. user=mdettweiler [2020-11-13 09:20:00] 619*2^1567205-1 is not prime. Res64: D1CADD092CCE178C Time : 0.0 sec. user=mdettweiler [2020-11-13 09:20:00] 649*2^1567205-1 is not prime. Res64: 83EDA40288BDDEBC Time : 0.0 sec. user=mdettweiler [2020-11-13 09:27:12] 657*2^1567205-1 is not prime. Res64: 2AFB95240270F1E6 Time : 0.0 sec. user=mdettweiler [2020-11-13 09:27:12] 675*2^1567205-1 is not prime. Res64: A230197D23E2944B Time : 0.0 sec. user=mdettweiler [2020-11-13 09:27:13] 771*2^1567205-1 is not prime. Res64: 9F68E1BC1CC7A3A1 Time : 0.0 sec. user=mdettweiler [2020-11-13 09:27:13] 825*2^1567205-1 is not prime. Res64: D5D1B321AAA15DFF Time : 0.0 sec. user=mdettweiler [2020-11-13 09:27:13] 915*2^1567205-1 is not prime. Res64: 5B3726442576BC5E Time : 0.0 sec. user=mdettweiler [2020-11-13 10:17:07] 927*2^1567205-1 is not prime. Res64: F0346E3B00A13877 Time : 0.0 sec. user=mdettweiler [2020-11-13 10:17:07] 991*2^1567205-1 is not prime. Res64: 40A562A17FE515A8 Time : 0.0 sec. user=mdettweiler [2020-11-13 10:17:08] 747*2^1567206-1 is not prime. Res64: 631C65063FB0603C Time : 0.0 sec. user=mdettweiler [2020-11-13 10:17:08] 801*2^1567206-1 is not prime. Res64: FF6ED213BD676BC4 Time : 0.0 sec. user=mdettweiler [2020-11-13 10:17:08] 815*2^1567206-1 is not prime. Res64: 986FDF98509CEB48 Time : 0.0 sec. user=mdettweiler [2020-11-13 10:22:57] 833*2^1567206-1 is not prime. Res64: 27C1467252307077 Time : 0.0 sec. user=mdettweiler [2020-11-13 10:22:58] 917*2^1567206-1 is not prime. Res64: 3DB7B260DC9F62ED Time : 0.0 sec. user=mdettweiler [2020-11-13 10:22:58] 957*2^1567206-1 is not prime. Res64: 73F9A5B00DD048B3 Time : 0.0 sec. user=mdettweiler [2020-11-13 10:22:58] 603*2^1567207-1 is not prime. Res64: 21F9D2A9124C0890 Time : 0.0 sec. user=mdettweiler [2020-11-13 10:22:59] 705*2^1567207-1 is not prime. Res64: C0B7C5BD7E1BEE02 Time : 0.0 sec. user=mdettweiler [2020-11-13 11:12:27] 729*2^1567207-1 is not prime. Res64: 5D07E0F305D82948 Time : 0.0 sec. user=mdettweiler [2020-11-13 11:12:32] 735*2^1567207-1 is not prime. Res64: DA2F26B4C794F8EF Time : 0.0 sec. user=mdettweiler [2020-11-13 11:12:36] 741*2^1567207-1 is not prime. Res64: D4DAD728D456D263 Time : 0.0 sec. user=mdettweiler [2020-11-13 11:12:38] 895*2^1567207-1 is not prime. Res64: 445EF1C3D14FF963 Time : 0.0 sec. user=mdettweiler [2020-11-13 11:12:42] 961*2^1567207-1 is not prime. Res64: 0581B032590B504F Time : 0.0 sec. user=mdettweiler [2020-11-13 11:19:11] 993*2^1567207-1 is not prime. Res64: FB13B19E33E8D57E Time : 0.0 sec. user=mdettweiler [2020-11-13 11:19:11] 669*2^1567208-1 is not prime. Res64: 3FD24376EF4B8CD6 Time : 0.0 sec. user=mdettweiler [2020-11-13 11:19:12] 755*2^1567208-1 is not prime. Res64: 66EA3DA36EE382EA Time : 0.0 sec. user=mdettweiler [2020-11-13 11:19:12] 795*2^1567208-1 is not prime. Res64: F1D7ADD08C890129 Time : 0.0 sec. user=mdettweiler [2020-11-13 11:19:12] 845*2^1567208-1 is not prime. Res64: 8729AED0991B6278 Time : 0.0 sec. user=mdettweiler [2020-11-13 12:10:00] 855*2^1567208-1 is not prime. Res64: C3C010DDE74730FA Time : 0.0 sec. user=mdettweiler [2020-11-13 12:10:00] 927*2^1567208-1 is not prime. Res64: 10758BFD1531383D Time : 0.0 sec. user=mdettweiler [2020-11-13 12:10:01] 929*2^1567208-1 is not prime. Res64: 51D44E8E00E87C4B Time : 0.0 sec. user=mdettweiler [2020-11-13 12:10:01] 999*2^1567208-1 is not prime. Res64: AD1815E66E0F650D Time : 0.0 sec. user=mdettweiler [2020-11-13 12:10:01] 627*2^1567209-1 is not prime. Res64: 9C730B9C3C3D54D6 Time : 0.0 sec. user=mdettweiler [2020-11-13 12:14:07] 657*2^1567209-1 is not prime. Res64: 0E83835CEA69A0D0 Time : 0.0 sec. user=mdettweiler [2020-11-13 12:14:08] 661*2^1567209-1 is not prime. Res64: 77011B1D18E7E6A1 Time : 0.0 sec. user=mdettweiler [2020-11-13 12:14:08] 667*2^1567209-1 is not prime. Res64: C4248C6C93597450 Time : 0.0 sec. user=mdettweiler [2020-11-13 12:14:08] 769*2^1567209-1 is not prime. Res64: 0B2C2130720F41FE Time : 0.0 sec. user=mdettweiler [2020-11-13 12:14:09] 861*2^1567209-1 is not prime. Res64: 5DEE307449BF2EDA Time : 0.0 sec. user=mdettweiler [2020-11-13 13:05:45] 951*2^1567209-1 is not prime. Res64: A460A1185F486E03 Time : 0.0 sec. user=mdettweiler [2020-11-13 13:05:47] 955*2^1567209-1 is not prime. Res64: 4407574DACA40117 Time : 0.0 sec. user=mdettweiler [2020-11-13 13:05:49] 611*2^1567210-1 is not prime. Res64: 9B51EE5C90809800 Time : 0.0 sec. user=mdettweiler [2020-11-13 13:05:50] 735*2^1567210-1 is not prime. Res64: BF57F0691C109ADE Time : 0.0 sec. user=mdettweiler [2020-11-13 13:05:52] 773*2^1567210-1 is not prime. Res64: B67B45DD994CB9C8 Time : 0.0 sec. user=mdettweiler [2020-11-13 13:11:17] 783*2^1567210-1 is not prime. Res64: 44B77D53EDB1AB24 Time : 0.0 sec. user=mdettweiler [2020-11-13 13:11:20] 891*2^1567210-1 is not prime. Res64: 6BDECBD29E77E430 Time : 0.0 sec. user=mdettweiler [2020-11-13 13:11:26] 917*2^1567210-1 is not prime. Res64: 0F20A084A18D2085 Time : 0.0 sec. user=mdettweiler [2020-11-13 13:11:29] 957*2^1567210-1 is not prime. Res64: 6ACA4731BCBC5AA1 Time : 0.0 sec. user=mdettweiler [2020-11-13 13:11:31] 643*2^1567211-1 is not prime. Res64: 28E7C922350BAC3F Time : 0.0 sec. user=mdettweiler [2020-11-13 14:01:08] 645*2^1567211-1 is not prime. Res64: 8966D55C2CE334CA Time : 0.0 sec. user=mdettweiler [2020-11-13 14:01:09] 669*2^1567211-1 is not prime. Res64: F88325526E8D8B5A Time : 0.0 sec. user=mdettweiler [2020-11-13 14:01:11] 753*2^1567211-1 is not prime. Res64: A6AC45A961B162C0 Time : 0.0 sec. user=mdettweiler [2020-11-13 14:01:12] 939*2^1567211-1 is not prime. Res64: 8C82354C8B20DF01 Time : 0.0 sec. user=mdettweiler [2020-11-13 14:01:14] 943*2^1567211-1 is not prime. Res64: 0C2C729F6D698D65 Time : 0.0 sec. user=mdettweiler [2020-11-13 14:09:05] 955*2^1567211-1 is not prime. Res64: A4B58AD42DA7BF82 Time : 0.0 sec. user=mdettweiler [2020-11-13 14:09:06] 737*2^1567212-1 is not prime. Res64: 50BA834BDD7041AB Time : 0.0 sec. user=mdettweiler [2020-11-13 14:09:06] 767*2^1567212-1 is not prime. Res64: ED469F0C63B1B6CD Time : 0.0 sec. user=mdettweiler [2020-11-13 14:09:07] 819*2^1567212-1 is not prime. Res64: 09F4E586042D1849 Time : 0.0 sec. user=mdettweiler [2020-11-13 14:09:07] 899*2^1567212-1 is not prime. Res64: 7B7DD05A2DCFF883 Time : 0.0 sec. user=mdettweiler [2020-11-13 14:57:01] 621*2^1567213-1 is not prime. Res64: 9CBD1953D4B5D0C2 Time : 0.0 sec. user=mdettweiler [2020-11-13 14:57:02] 745*2^1567213-1 is not prime. Res64: 33C4EB4F78FFB1E2 Time : 0.0 sec. user=mdettweiler [2020-11-13 14:57:02] 771*2^1567213-1 is not prime. Res64: 426E0C45944806B9 Time : 0.0 sec. user=mdettweiler [2020-11-13 14:57:02] 789*2^1567213-1 is not prime. Res64: 43909F7792A612EB Time : 0.0 sec. user=mdettweiler [2020-11-13 14:57:03] 835*2^1567213-1 is not prime. Res64: 4FA0CA4030890432 Time : 0.0 sec. user=mdettweiler [2020-11-13 15:05:10] 925*2^1567213-1 is not prime. Res64: 85F9DD50A8074F9F Time : 0.0 sec. user=mdettweiler [2020-11-13 15:05:13] 979*2^1567213-1 is not prime. Res64: 9922A1AE92284BE0 Time : 0.0 sec. user=mdettweiler [2020-11-13 15:05:14] 985*2^1567213-1 is not prime. Res64: A5AB6E8F6B1ECB99 Time : 0.0 sec. user=mdettweiler [2020-11-13 15:05:16] 641*2^1567214-1 is not prime. Res64: 3B9C309227D2BEF8 Time : 0.0 sec. user=mdettweiler [2020-11-13 15:05:18] 677*2^1567214-1 is not prime. Res64: C24ECA84808FA901 Time : 0.0 sec. user=mdettweiler [2020-11-13 15:50:56] 705*2^1567214-1 is not prime. Res64: D49ADEF5D48C1B9E Time : 0.0 sec. user=mdettweiler [2020-11-13 15:50:57] 717*2^1567214-1 is not prime. Res64: BC0FCB5BAF4659E3 Time : 0.0 sec. user=mdettweiler [2020-11-13 15:50:57] 743*2^1567214-1 is not prime. Res64: 5D916C533B8C8A61 Time : 0.0 sec. user=mdettweiler [2020-11-13 15:50:57] 753*2^1567214-1 is not prime. Res64: 9B0D913F5DAB38C2 Time : 0.0 sec. user=mdettweiler [2020-11-13 15:50:58] 927*2^1567214-1 is not prime. Res64: 7D1A2F6AB6368964 Time : 0.0 sec. user=mdettweiler [2020-11-13 16:00:21] 945*2^1567214-1 is not prime. Res64: D6BAD26FD95397F0 Time : 0.0 sec. user=mdettweiler [2020-11-13 16:00:24] 663*2^1567215-1 is not prime. Res64: 0F045C8CD8653246 Time : 0.0 sec. user=mdettweiler [2020-11-13 16:00:25] 921*2^1567215-1 is not prime. Res64: F080C6E6877D0668 Time : 0.0 sec. user=mdettweiler [2020-11-13 16:00:26] 609*2^1567216-1 is not prime. Res64: C9378821E35F0017 Time : 0.0 sec. user=mdettweiler [2020-11-13 16:00:27] 645*2^1567216-1 is not prime. Res64: 40B6AA4F8A2448DA Time : 0.0 sec. user=mdettweiler [2020-11-13 16:46:59] 705*2^1567216-1 is not prime. Res64: 28EF67EBAE3B099B Time : 0.0 sec. user=mdettweiler [2020-11-13 16:47:00] 723*2^1567216-1 is not prime. Res64: D13B074B494C734E Time : 0.0 sec. user=mdettweiler [2020-11-13 16:47:00] 759*2^1567216-1 is not prime. Res64: 89402D760C9EDFE7 Time : 0.0 sec. user=mdettweiler [2020-11-13 16:47:01] 803*2^1567216-1 is not prime. Res64: 460B043281738B64 Time : 0.0 sec. user=mdettweiler [2020-11-13 16:47:01] 869*2^1567216-1 is not prime. Res64: B96DEDF2A07462B8 Time : 0.0 sec. user=mdettweiler [2020-11-13 16:56:32] 939*2^1567216-1 is not prime. Res64: 85F3E7126EBCBC5A Time : 0.0 sec. user=mdettweiler [2020-11-13 16:56:32] 989*2^1567216-1 is not prime. Res64: 767BD3F085C269F4 Time : 0.0 sec. user=mdettweiler [2020-11-13 16:56:33] 675*2^1567217-1 is not prime. Res64: B87413D93BEED750 Time : 0.0 sec. user=mdettweiler [2020-11-13 16:56:33] 747*2^1567217-1 is not prime. Res64: 2A036D497622AA6C Time : 0.0 sec. user=mdettweiler [2020-11-13 16:56:33] 819*2^1567217-1 is not prime. Res64: 76533026A08B9FE6 Time : 0.0 sec. user=mdettweiler [2020-11-13 17:42:45] 621*2^1567218-1 is not prime. Res64: C745FE3CFD94D0D7 Time : 0.0 sec. user=mdettweiler [2020-11-13 17:42:46] 735*2^1567218-1 is not prime. Res64: 2EB05B868D543BD6 Time : 0.0 sec. user=mdettweiler [2020-11-13 17:42:46] 765*2^1567218-1 is not prime. Res64: E6DDC28EABE496AE Time : 0.0 sec. user=mdettweiler [2020-11-13 17:42:46] 791*2^1567218-1 is not prime. Res64: 756C31FA551D7575 Time : 0.0 sec. user=mdettweiler [2020-11-13 17:42:47] 891*2^1567218-1 is not prime. Res64: AFF54AE29A4A8952 Time : 0.0 sec. user=mdettweiler [2020-11-13 17:52:15] 993*2^1567218-1 is not prime. Res64: 7AB76054217A3E06 Time : 0.0 sec. user=mdettweiler [2020-11-13 17:52:16] 601*2^1567219-1 is not prime. Res64: 1A6B343BD056BC7D Time : 0.0 sec. user=mdettweiler [2020-11-13 17:52:16] 751*2^1567219-1 is not prime. Res64: DD92D445261F3C90 Time : 0.0 sec. user=mdettweiler [2020-11-13 17:52:16] 759*2^1567219-1 is not prime. Res64: A5B0F19FD88DF887 Time : 0.0 sec. user=mdettweiler [2020-11-13 17:52:17] 789*2^1567219-1 is not prime. Res64: B6E1807E0A955BEC Time : 0.0 sec. user=mdettweiler [2020-11-13 18:39:34] 861*2^1567219-1 is not prime. Res64: 802A0401165D79C4 Time : 0.0 sec. user=mdettweiler [2020-11-13 18:39:34] 909*2^1567219-1 is not prime. Res64: 7EAB1535822AB97E Time : 0.0 sec. user=mdettweiler [2020-11-13 18:39:35] 975*2^1567219-1 is not prime. Res64: B2FE6C8D53F53790 Time : 0.0 sec. user=mdettweiler [2020-11-13 18:39:35] 979*2^1567219-1 is not prime. Res64: F488B34284D24326 Time : 0.0 sec. user=mdettweiler [2020-11-13 18:39:36] 615*2^1567220-1 is not prime. Res64: 5841C4E28BAB4CE9 Time : 0.0 sec. user=mdettweiler [2020-11-13 18:46:54] 789*2^1567220-1 is not prime. Res64: ACDAA1A04D741872 Time : 0.0 sec. user=mdettweiler [2020-11-13 18:46:54] 843*2^1567220-1 is not prime. Res64: 2B98EEFA665837DA Time : 0.0 sec. user=mdettweiler [2020-11-13 18:46:55] 621*2^1567221-1 is not prime. Res64: B12159A7BD39A7A1 Time : 0.0 sec. user=mdettweiler [2020-11-13 18:46:55] 669*2^1567221-1 is not prime. Res64: DD5856E0D1C3C36E Time : 0.0 sec. user=mdettweiler [2020-11-13 18:46:56] 709*2^1567221-1 is not prime. Res64: FD198FE874537F3C Time : 0.0 sec. user=mdettweiler [2020-11-13 19:37:48] 781*2^1567221-1 is not prime. Res64: 339EBE5B4EA8A4D1 Time : 0.0 sec. user=mdettweiler [2020-11-13 19:37:49] 795*2^1567221-1 is not prime. Res64: 3326C25FF17D0CE3 Time : 0.0 sec. user=mdettweiler [2020-11-13 19:37:49] 835*2^1567221-1 is not prime. Res64: 61CC956F2E99FB64 Time : 0.0 sec. user=mdettweiler [2020-11-13 19:37:49] 861*2^1567221-1 is not prime. Res64: 10D7C5A5F397A655 Time : 0.0 sec. user=mdettweiler [2020-11-13 19:37:50] 877*2^1567221-1 is not prime. Res64: 1DDC7811C79B0575 Time : 0.0 sec. user=mdettweiler [2020-11-13 19:41:54] 961*2^1567221-1 is not prime. Res64: 17171FB0FDEEB48F Time : 0.0 sec. user=mdettweiler [2020-11-13 19:41:54] 653*2^1567222-1 is not prime. Res64: 9A022421DC676D41 Time : 0.0 sec. user=mdettweiler [2020-11-13 19:41:54] 723*2^1567222-1 is not prime. Res64: 26ADC9881A5B8D59 Time : 0.0 sec. user=mdettweiler [2020-11-13 19:41:55] 747*2^1567222-1 is not prime. Res64: 95E1BB66EBA41B3C Time : 0.0 sec. user=mdettweiler [2020-11-13 19:41:55] 785*2^1567222-1 is not prime. Res64: 7C186A673315F721 Time : 0.0 sec. user=mdettweiler [2020-11-13 20:34:38] 827*2^1567222-1 is not prime. Res64: D6D6DEE6003E99E2 Time : 0.0 sec. user=mdettweiler [2020-11-13 20:34:39] 915*2^1567222-1 is not prime. Res64: 1BC894C5CDB00963 Time : 0.0 sec. user=mdettweiler [2020-11-13 20:34:39] 947*2^1567222-1 is not prime. Res64: 5FBAA8F087C4314F Time : 0.0 sec. user=mdettweiler [2020-11-13 20:34:40] 619*2^1567223-1 is not prime. Res64: BF0FDF498383F0DC Time : 0.0 sec. user=mdettweiler [2020-11-13 20:34:40] 823*2^1567223-1 is not prime. Res64: 45E7AFFEABB5286E Time : 0.0 sec. user=mdettweiler [2020-11-13 20:36:19] 879*2^1567223-1 is not prime. Res64: 01039FE5AB0DF31F Time : 0.0 sec. user=mdettweiler [2020-11-13 20:36:19] 915*2^1567223-1 is not prime. Res64: 6ED9416A7A7112D2 Time : 0.0 sec. user=mdettweiler [2020-11-13 20:36:20] 615*2^1567224-1 is not prime. Res64: 1F7AABAFA5C89E55 Time : 0.0 sec. user=mdettweiler [2020-11-13 20:36:20] 635*2^1567224-1 is not prime. Res64: 89F970A073FE3ED4 Time : 0.0 sec. user=mdettweiler [2020-11-13 20:36:20] 665*2^1567224-1 is not prime. Res64: 19F482B213A59301 Time : 0.0 sec. user=mdettweiler [2020-11-13 21:29:21] 693*2^1567224-1 is not prime. Res64: 42003CA7F4E437EF Time : 0.0 sec. user=mdettweiler [2020-11-13 21:29:21] 695*2^1567224-1 is not prime. Res64: 6DAAB6CE0C76AF3F Time : 0.0 sec. user=mdettweiler [2020-11-13 21:29:22] 825*2^1567224-1 is not prime. Res64: ED624B1305F8DDD5 Time : 0.0 sec. user=mdettweiler [2020-11-13 21:29:22] 905*2^1567224-1 is not prime. Res64: B9BE2C333F3EECB3 Time : 0.0 sec. user=mdettweiler [2020-11-13 21:29:22] 625*2^1567225-1 is not prime. Res64: F2007E2AFA67E2CE Time : 0.0 sec. user=mdettweiler [2020-11-13 21:32:19] 715*2^1567225-1 is not prime. Res64: 7A541A57A334EE6C Time : 0.0 sec. user=mdettweiler [2020-11-13 21:32:20] 721*2^1567225-1 is not prime. Res64: DA0CE40AAB15E4B8 Time : 0.0 sec. user=mdettweiler [2020-11-13 21:32:20] 847*2^1567225-1 is not prime. Res64: 4FC626D47DF0BE41 Time : 0.0 sec. user=mdettweiler [2020-11-13 21:32:20] 877*2^1567225-1 is not prime. Res64: 863F6D229DE1F36A Time : 0.0 sec. user=mdettweiler [2020-11-13 21:32:20] 975*2^1567225-1 is not prime. Res64: AA939A66090C66DE Time : 0.0 sec. user=mdettweiler [2020-11-13 22:24:20] 999*2^1567225-1 is not prime. Res64: B78D95B6F811F493 Time : 0.0 sec. user=mdettweiler [2020-11-13 22:24:21] 857*2^1567226-1 is not prime. Res64: 7453D410DF5E4FD9 Time : 0.0 sec. user=mdettweiler [2020-11-13 22:24:21] 685*2^1567227-1 is not prime. Res64: AD22C23181C02C02 Time : 0.0 sec. user=mdettweiler [2020-11-13 22:24:22] 711*2^1567227-1 is not prime. Res64: 61513B6B7999B1C6 Time : 0.0 sec. user=mdettweiler [2020-11-13 22:24:22] 751*2^1567227-1 is not prime. Res64: DA350B36A71540A1 Time : 0.0 sec. user=mdettweiler [2020-11-13 22:30:26] 801*2^1567227-1 is not prime. Res64: 0F12935B16D1E691 Time : 0.0 sec. user=mdettweiler [2020-11-13 22:30:27] 861*2^1567227-1 is not prime. Res64: B83640CBE01EAF37 Time : 0.0 sec. user=mdettweiler [2020-11-13 22:30:27] 879*2^1567227-1 is not prime. Res64: EDB97F946B950DC8 Time : 0.0 sec. user=mdettweiler [2020-11-13 22:30:28] 901*2^1567227-1 is not prime. Res64: 1D03E279F4CD7448 Time : 0.0 sec. user=mdettweiler [2020-11-13 22:30:28] 963*2^1567227-1 is not prime. Res64: BF4F5331DB3A5CD0 Time : 0.0 sec. user=mdettweiler [2020-11-13 23:18:04] 973*2^1567227-1 is not prime. Res64: E4381564699FC367 Time : 0.0 sec. user=mdettweiler [2020-11-13 23:18:05] 603*2^1567228-1 is not prime. Res64: AB45F7285EEF74F4 Time : 0.0 sec. user=mdettweiler [2020-11-13 23:18:05] 665*2^1567228-1 is not prime. Res64: 10665EBF5C5A9713 Time : 0.0 sec. user=mdettweiler [2020-11-13 23:18:06] 677*2^1567228-1 is not prime. Res64: E3480026A302DD52 Time : 0.0 sec. user=mdettweiler [2020-11-13 23:18:06] 749*2^1567228-1 is not prime. Res64: 4390D7786EA4BFDC Time : 0.0 sec. user=mdettweiler [2020-11-13 23:27:36] 755*2^1567228-1 is not prime. Res64: EF00DCBEFAD840F9 Time : 0.0 sec. user=mdettweiler [2020-11-13 23:27:36] 783*2^1567228-1 is not prime. Res64: 57453392574F04E2 Time : 0.0 sec. user=mdettweiler [2020-11-13 23:27:36] 827*2^1567228-1 is not prime. Res64: D2EDCB6A5BAD55F0 Time : 0.0 sec. user=mdettweiler [2020-11-13 23:27:37] 845*2^1567228-1 is not prime. Res64: 96E26DDE706A7E14 Time : 0.0 sec. user=mdettweiler [2020-11-13 23:27:37] 875*2^1567228-1 is not prime. Res64: D1BB299BA870F3C9 Time : 0.0 sec.