user=mdettweiler [2016-09-23 00:07:38] 791*2^1440494-1 is not prime. Res64: E76DB32E75945908 Time : 0.0 sec. user=mdettweiler [2016-09-23 00:07:39] 833*2^1440494-1 is not prime. Res64: C164D32371795453 Time : 0.0 sec. user=mdettweiler [2016-09-23 00:07:40] 927*2^1440494-1 is not prime. Res64: 1D64A9D71C9B10B3 Time : 0.0 sec. user=mdettweiler [2016-09-23 00:07:41] 983*2^1440494-1 is not prime. Res64: FD633527368A28E4 Time : 0.0 sec. user=mdettweiler [2016-09-23 00:07:42] 625*2^1440495-1 is not prime. Res64: 81D6135C622BCB4C Time : 0.0 sec. user=mdettweiler [2016-09-23 00:16:01] 651*2^1440495-1 is not prime. Res64: 7EC9AF97DBC2EC63 Time : 0.0 sec. user=mdettweiler [2016-09-23 00:16:02] 693*2^1440495-1 is not prime. Res64: 0C3D830CC8EC35C9 Time : 0.0 sec. user=mdettweiler [2016-09-23 00:16:02] 765*2^1440495-1 is not prime. Res64: 0E46030AF3A79F94 Time : 0.0 sec. user=mdettweiler [2016-09-23 00:16:03] 895*2^1440495-1 is not prime. Res64: 9B467BDB9A37F801 Time : 0.0 sec. user=mdettweiler [2016-09-23 00:16:03] 933*2^1440495-1 is not prime. Res64: 69704273040AEE71 Time : 0.0 sec. user=mdettweiler [2016-09-23 00:25:28] 609*2^1440496-1 is not prime. Res64: 933993889148AC05 Time : 0.0 sec. user=mdettweiler [2016-09-23 00:25:28] 639*2^1440496-1 is not prime. Res64: 8E45350BE42927AA Time : 0.0 sec. user=mdettweiler [2016-09-23 00:25:29] 657*2^1440496-1 is not prime. Res64: 5C53A27AE3CC5001 Time : 0.0 sec. user=mdettweiler [2016-09-23 00:25:29] 717*2^1440496-1 is not prime. Res64: 71E1319221221249 Time : 0.0 sec. user=mdettweiler [2016-09-23 00:25:29] 813*2^1440496-1 is not prime. Res64: 575629A6DC52AC8E Time : 0.0 sec. user=mdettweiler [2016-09-23 00:38:52] 833*2^1440496-1 is not prime. Res64: 64DAD2127483F1DA Time : 0.0 sec. user=mdettweiler [2016-09-23 00:38:52] 873*2^1440496-1 is not prime. Res64: A64AA74AC7F86077 Time : 0.0 sec. user=mdettweiler [2016-09-23 00:38:52] 887*2^1440496-1 is not prime. Res64: AD8A4800E56E60EA Time : 0.0 sec. user=mdettweiler [2016-09-23 00:38:52] 969*2^1440496-1 is not prime. Res64: A3783302C24E8610 Time : 0.0 sec. user=mdettweiler [2016-09-23 00:38:53] 771*2^1440497-1 is not prime. Res64: C5A7223B77E5A883 Time : 0.0 sec. user=mdettweiler [2016-09-23 00:53:53] 861*2^1440497-1 is not prime. Res64: DFF0A1A17093231B Time : 0.0 sec. user=mdettweiler [2016-09-23 00:53:53] 981*2^1440497-1 is not prime. Res64: 441242CF68A31663 Time : 0.0 sec. user=mdettweiler [2016-09-23 00:53:53] 991*2^1440497-1 is not prime. Res64: 2FECCCA4103A1EC9 Time : 0.0 sec. user=mdettweiler [2016-09-23 00:53:54] 633*2^1440498-1 is not prime. Res64: 6DA7A73E3496D05D Time : 0.0 sec. user=mdettweiler [2016-09-23 00:53:54] 705*2^1440498-1 is not prime. Res64: F91670FA8849B56E Time : 0.0 sec. user=mdettweiler [2016-09-23 01:02:10] 791*2^1440498-1 is not prime. Res64: D7D0F9214B99D5A1 Time : 0.0 sec. user=mdettweiler [2016-09-23 01:02:12] 803*2^1440498-1 is not prime. Res64: 1EC9AF36A6488A04 Time : 0.0 sec. user=mdettweiler [2016-09-23 01:02:13] 821*2^1440498-1 is not prime. Res64: 8EC065A240DB24D4 Time : 0.0 sec. user=mdettweiler [2016-09-23 01:02:14] 875*2^1440498-1 is not prime. Res64: BAF254BCC531C2EC Time : 0.0 sec. user=mdettweiler [2016-09-23 01:02:15] 975*2^1440498-1 is not prime. Res64: 74D778D66A06EC7B Time : 0.0 sec. user=mdettweiler [2016-09-23 01:10:57] 993*2^1440498-1 is not prime. Res64: D1A0C352FBBFFF76 Time : 0.0 sec. user=mdettweiler [2016-09-23 01:11:00] 609*2^1440499-1 is not prime. Res64: C233CBC300A8FAC5 Time : 0.0 sec. user=mdettweiler [2016-09-23 01:11:04] 625*2^1440499-1 is not prime. Res64: 501DCD863A099920 Time : 0.0 sec. user=mdettweiler [2016-09-23 01:11:07] 645*2^1440499-1 is not prime. Res64: 5EF6CFC64E8153A4 Time : 0.0 sec. user=mdettweiler [2016-09-23 01:11:11] 801*2^1440499-1 is not prime. Res64: 5112B32971FB2B98 Time : 0.0 sec. user=mdettweiler [2016-09-23 01:24:15] 859*2^1440499-1 is not prime. Res64: 2B6D0DE9E92D1A97 Time : 0.0 sec. user=mdettweiler [2016-09-23 01:24:15] 913*2^1440499-1 is not prime. Res64: 7BF2ACC93429DFD9 Time : 0.0 sec. user=mdettweiler [2016-09-23 01:24:16] 939*2^1440499-1 is not prime. Res64: B4DD62770BB736E4 Time : 0.0 sec. user=mdettweiler [2016-09-23 01:24:16] 689*2^1440500-1 is not prime. Res64: 1DBBC05FEBE2B19C Time : 0.0 sec. user=mdettweiler [2016-09-23 01:24:16] 777*2^1440500-1 is not prime. Res64: 5C44DB3404E23207 Time : 0.0 sec. user=mdettweiler [2016-09-23 01:38:39] 827*2^1440500-1 is not prime. Res64: 21AA7BEADE8A4981 Time : 0.0 sec. user=mdettweiler [2016-09-23 01:38:40] 839*2^1440500-1 is not prime. Res64: 27B2272F66635F38 Time : 0.0 sec. user=mdettweiler [2016-09-23 01:38:40] 855*2^1440500-1 is not prime. Res64: B6CDE6F7A5DFB401 Time : 0.0 sec. user=mdettweiler [2016-09-23 01:38:41] 879*2^1440500-1 is not prime. Res64: EA9B2CA70332CDCA Time : 0.0 sec. user=mdettweiler [2016-09-23 01:38:41] 899*2^1440500-1 is not prime. Res64: 8C6B94019AE91E23 Time : 0.0 sec. user=mdettweiler [2016-09-23 01:47:05] 615*2^1440501-1 is not prime. Res64: F1ACAA6BACD49B68 Time : 0.0 sec. user=mdettweiler [2016-09-23 01:47:06] 847*2^1440501-1 is not prime. Res64: 10824AA7734C42FD Time : 0.0 sec. user=mdettweiler [2016-09-23 01:47:06] 849*2^1440501-1 is not prime. Res64: A826FFF5322A7E8C Time : 0.0 sec. user=mdettweiler [2016-09-23 01:47:06] 921*2^1440501-1 is not prime. Res64: 9FCDA530A897B808 Time : 0.0 sec. user=mdettweiler [2016-09-23 01:47:07] 961*2^1440501-1 is not prime. Res64: BD4F23526CD53E3B Time : 0.0 sec. user=mdettweiler [2016-09-23 01:56:32] 979*2^1440501-1 is not prime. Res64: 4644B5D7C4483B34 Time : 0.0 sec. user=mdettweiler [2016-09-23 01:56:32] 611*2^1440502-1 is not prime. Res64: D087725F6ADA86C1 Time : 0.0 sec. user=mdettweiler [2016-09-23 01:56:33] 647*2^1440502-1 is not prime. Res64: 4BB6ACEFF5E9B302 Time : 0.0 sec. user=mdettweiler [2016-09-23 01:56:33] 653*2^1440502-1 is not prime. Res64: B030658B76879C05 Time : 0.0 sec. user=mdettweiler [2016-09-23 01:56:34] 681*2^1440502-1 is not prime. Res64: 9D63B68DB7295A3A Time : 0.0 sec. user=mdettweiler [2016-09-23 02:08:50] 801*2^1440502-1 is not prime. Res64: 208BFAF8E942EA8E Time : 0.0 sec. user=mdettweiler [2016-09-23 02:08:51] 915*2^1440502-1 is not prime. Res64: E20413B94194AD4C Time : 0.0 sec. user=mdettweiler [2016-09-23 02:08:51] 957*2^1440502-1 is not prime. Res64: E9733BA53AC1D1E4 Time : 0.0 sec. user=mdettweiler [2016-09-23 02:08:52] 609*2^1440503-1 is not prime. Res64: 25ACC069C5BCFA4A Time : 0.0 sec. user=mdettweiler [2016-09-23 02:08:52] 669*2^1440503-1 is not prime. Res64: C8C3D26091C6C7BA Time : 0.0 sec. user=mdettweiler [2016-09-23 02:23:15] 685*2^1440503-1 is not prime. Res64: 416762D7A2B45946 Time : 0.0 sec. user=mdettweiler [2016-09-23 02:23:15] 829*2^1440503-1 is not prime. Res64: F772D36CCE5342C1 Time : 0.0 sec. user=mdettweiler [2016-09-23 02:23:16] 859*2^1440503-1 is not prime. Res64: 1563B5BD163951BE Time : 0.0 sec. user=mdettweiler [2016-09-23 02:23:16] 861*2^1440503-1 is not prime. Res64: AEC3C9447DB44D06 Time : 0.0 sec. user=mdettweiler [2016-09-23 02:23:16] 969*2^1440503-1 is not prime. Res64: E7699C03E1C19074 Time : 0.0 sec. user=mdettweiler [2016-09-23 02:31:44] 973*2^1440503-1 is not prime. Res64: 7F7FB56358D7ABD3 Time : 0.0 sec. user=mdettweiler [2016-09-23 02:31:45] 985*2^1440503-1 is not prime. Res64: 0A2CF3FFF6845B1D Time : 0.0 sec. user=mdettweiler [2016-09-23 02:31:45] 605*2^1440504-1 is not prime. Res64: 405776E4EBCE4B37 Time : 0.0 sec. user=mdettweiler [2016-09-23 02:31:46] 615*2^1440504-1 is not prime. Res64: C4462FA2BB93FB72 Time : 0.0 sec. user=mdettweiler [2016-09-23 02:31:46] 635*2^1440504-1 is not prime. Res64: 43FB281B9B93B29B Time : 0.0 sec. user=mdettweiler [2016-09-23 02:41:13] 683*2^1440504-1 is not prime. Res64: 0CB062174FC09F31 Time : 0.0 sec. user=mdettweiler [2016-09-23 02:41:13] 737*2^1440504-1 is not prime. Res64: 866CDDF20407585E Time : 0.0 sec. user=mdettweiler [2016-09-23 02:41:13] 765*2^1440504-1 is not prime. Res64: 536B2B7191948EDA Time : 0.0 sec. user=mdettweiler [2016-09-23 02:41:14] 789*2^1440504-1 is not prime. Res64: 9AD23D3A15C0963E Time : 0.0 sec. user=mdettweiler [2016-09-23 02:41:14] 843*2^1440504-1 is not prime. Res64: DEB6428EA2C673F1 Time : 0.0 sec. user=mdettweiler [2016-09-23 02:53:35] 927*2^1440504-1 is not prime. Res64: B9098834A955F167 Time : 0.0 sec. user=mdettweiler [2016-09-23 02:53:35] 607*2^1440505-1 is not prime. Res64: 6939A3837424F157 Time : 0.0 sec. user=mdettweiler [2016-09-23 02:53:36] 661*2^1440505-1 is not prime. Res64: 9BD75B85F437FA57 Time : 0.0 sec. user=mdettweiler [2016-09-23 02:53:36] 699*2^1440505-1 is not prime. Res64: E205828F50C02C7A Time : 0.0 sec. user=mdettweiler [2016-09-23 02:53:37] 705*2^1440505-1 is not prime. Res64: 7210FAA3E4FA208E Time : 0.0 sec. user=mdettweiler [2016-09-23 03:08:02] 741*2^1440505-1 is not prime. Res64: E513A35AEA6604E5 Time : 0.0 sec. user=mdettweiler [2016-09-23 03:08:02] 817*2^1440505-1 is not prime. Res64: 00EF56513B94FE4C Time : 0.0 sec. user=mdettweiler [2016-09-23 03:08:03] 819*2^1440505-1 is not prime. Res64: 857FFA05FBDD6AC2 Time : 0.0 sec. user=mdettweiler [2016-09-23 03:08:03] 831*2^1440505-1 is not prime. Res64: B17AE7D3B5210E8A Time : 0.0 sec. user=mdettweiler [2016-09-23 03:08:03] 885*2^1440505-1 is not prime. Res64: 1EFE7A532A55FF50 Time : 0.0 sec. user=mdettweiler [2016-09-23 03:16:30] 895*2^1440505-1 is not prime. Res64: 4B0A19EBCE0B0EB2 Time : 0.0 sec. user=mdettweiler [2016-09-23 03:16:31] 997*2^1440505-1 is not prime. Res64: AFEE6BF231ACB409 Time : 0.0 sec. user=mdettweiler [2016-09-23 03:16:31] 641*2^1440506-1 is not prime. Res64: 8FBC193B6F6F8835 Time : 0.0 sec. user=mdettweiler [2016-09-23 03:16:31] 675*2^1440506-1 is not prime. Res64: 820879F4F85D627E Time : 0.0 sec. user=mdettweiler [2016-09-23 03:16:32] 717*2^1440506-1 is not prime. Res64: 8D5883A376F7739E Time : 0.0 sec. user=mdettweiler [2016-09-23 03:25:54] 825*2^1440506-1 is not prime. Res64: CCB55C48D8C99F7B Time : 0.0 sec. user=mdettweiler [2016-09-23 03:25:55] 711*2^1440507-1 is not prime. Res64: 07B3D298309A6F7A Time : 0.0 sec. user=mdettweiler [2016-09-23 03:25:56] 801*2^1440507-1 is not prime. Res64: 3D6BD9FA939774B3 Time : 0.0 sec. user=mdettweiler [2016-09-23 03:25:57] 819*2^1440507-1 is not prime. Res64: 3192BCE3BF12C498 Time : 0.0 sec. user=mdettweiler [2016-09-23 03:25:57] 859*2^1440507-1 is not prime. Res64: AA7FA93937E1DD34 Time : 0.0 sec. user=mdettweiler [2016-09-23 03:38:12] 945*2^1440507-1 is not prime. Res64: FCA5A037015975C2 Time : 0.0 sec. user=mdettweiler [2016-09-23 03:38:14] 961*2^1440507-1 is not prime. Res64: C99E8013ED3B8930 Time : 0.0 sec. user=mdettweiler [2016-09-23 03:38:15] 973*2^1440507-1 is not prime. Res64: E11F8248862571AC Time : 0.0 sec. user=mdettweiler [2016-09-23 03:38:16] 635*2^1440508-1 is not prime. Res64: 0F5205EE0C90C523 Time : 0.0 sec. user=mdettweiler [2016-09-23 03:38:18] 783*2^1440508-1 is not prime. Res64: 1D0D3830EF25CC86 Time : 0.0 sec. user=mdettweiler [2016-09-23 03:52:37] 813*2^1440508-1 is not prime. Res64: 77426C6E8ABA3CCE Time : 0.0 sec. user=mdettweiler [2016-09-23 03:52:39] 819*2^1440508-1 is not prime. Res64: 78B6BC8780DA7000 Time : 0.0 sec. user=mdettweiler [2016-09-23 03:52:40] 887*2^1440508-1 is not prime. Res64: F5980BD24C0388A0 Time : 0.0 sec. user=mdettweiler [2016-09-23 03:52:40] 897*2^1440508-1 is not prime. Res64: 674796EC62C68F29 Time : 0.0 sec. user=mdettweiler [2016-09-23 03:52:41] 909*2^1440508-1 is not prime. Res64: 003C82C8250FF819 Time : 0.0 sec. user=mdettweiler [2016-09-23 04:01:33] 915*2^1440508-1 is not prime. Res64: F40D7DF1DB98A632 Time : 0.0 sec. user=mdettweiler [2016-09-23 04:01:38] 927*2^1440508-1 is not prime. Res64: 6C3ADFE8BC9226DB Time : 0.0 sec. user=mdettweiler [2016-09-23 04:01:39] 933*2^1440508-1 is not prime. Res64: 1C54632461F4B5AF Time : 0.0 sec. user=mdettweiler [2016-09-23 04:01:40] 697*2^1440509-1 is not prime. Res64: 2BE0DC0601AC8921 Time : 0.0 sec. user=mdettweiler [2016-09-23 04:01:42] 711*2^1440509-1 is not prime. Res64: 028ABDD95CD77092 Time : 0.0 sec. user=mdettweiler [2016-09-23 04:10:57] 775*2^1440509-1 is not prime. Res64: D3CCD819EE79C667 Time : 0.0 sec. user=mdettweiler [2016-09-23 04:10:58] 825*2^1440509-1 is not prime. Res64: DA717230959928C6 Time : 0.0 sec. user=mdettweiler [2016-09-23 04:10:58] 925*2^1440509-1 is not prime. Res64: CD214125B9B2866A Time : 0.0 sec. user=mdettweiler [2016-09-23 04:10:58] 997*2^1440509-1 is not prime. Res64: C06F905BB7065BE1 Time : 0.0 sec. user=mdettweiler [2016-09-23 04:10:59] 611*2^1440510-1 is not prime. Res64: 45CB184184B7E7A2 Time : 0.0 sec. user=mdettweiler [2016-09-23 04:23:24] 641*2^1440510-1 is not prime. Res64: 743AE5FC1441B0AF Time : 0.0 sec. user=mdettweiler [2016-09-23 04:23:24] 797*2^1440510-1 is not prime. Res64: 5B8B944AB9CF047F Time : 0.0 sec. user=mdettweiler [2016-09-23 04:23:25] 601*2^1440511-1 is not prime. Res64: 397947DB436AA939 Time : 0.0 sec. user=mdettweiler [2016-09-23 04:23:25] 639*2^1440511-1 is not prime. Res64: A1FD81A59EDE28D7 Time : 0.0 sec. user=mdettweiler [2016-09-23 04:23:26] 651*2^1440511-1 is not prime. Res64: 76E0C4B0CA766CED Time : 0.0 sec. user=mdettweiler [2016-09-23 04:38:30] 673*2^1440511-1 is not prime. Res64: 28D3857D25F7EC29 Time : 0.0 sec. user=mdettweiler [2016-09-23 04:38:30] 859*2^1440511-1 is not prime. Res64: 2899B16ABFC1D771 Time : 0.0 sec. user=mdettweiler [2016-09-23 04:38:30] 861*2^1440511-1 is not prime. Res64: 985D6EEE2053E5EF Time : 0.0 sec. user=mdettweiler [2016-09-23 04:38:31] 951*2^1440511-1 is not prime. Res64: 8CCB29500746EDE8 Time : 0.0 sec. user=mdettweiler [2016-09-23 04:38:31] 603*2^1440512-1 is not prime. Res64: FF50D860E3F4A213 Time : 0.0 sec. user=mdettweiler [2016-09-23 04:46:32] 689*2^1440512-1 is not prime. Res64: A717D1D2886A80F2 Time : 0.0 sec. user=mdettweiler [2016-09-23 04:46:32] 717*2^1440512-1 is not prime. Res64: D38498C5714467BA Time : 0.0 sec. user=mdettweiler [2016-09-23 04:46:32] 873*2^1440512-1 is not prime. Res64: CBFD089F7C499389 Time : 0.0 sec. user=mdettweiler [2016-09-23 04:46:33] 899*2^1440512-1 is not prime. Res64: FAD6DE754744BE27 Time : 0.0 sec. user=mdettweiler [2016-09-23 04:46:33] 917*2^1440512-1 is not prime. Res64: EE50339EDDDE2B75 Time : 0.0 sec. user=mdettweiler [2016-09-23 04:55:54] 627*2^1440513-1 is not prime. Res64: F0C207A56946DFB6 Time : 0.0 sec. user=mdettweiler [2016-09-23 04:55:54] 637*2^1440513-1 is not prime. Res64: B0C039BC9C05B800 Time : 0.0 sec. user=mdettweiler [2016-09-23 04:55:55] 649*2^1440513-1 is not prime. Res64: 2ADB3D22A981A1A9 Time : 0.0 sec. user=mdettweiler [2016-09-23 04:55:55] 817*2^1440513-1 is not prime. Res64: CCDA06B91A6335FE Time : 0.0 sec. user=mdettweiler [2016-09-23 04:55:55] 829*2^1440513-1 is not prime. Res64: 1B5FB346CFAB494A Time : 0.0 sec. user=mdettweiler [2016-09-23 05:08:10] 889*2^1440513-1 is not prime. Res64: 2A0B5B4DFEBE16DC Time : 0.0 sec. user=mdettweiler [2016-09-23 05:08:12] 985*2^1440513-1 is not prime. Res64: A71C0CC45931B760 Time : 0.0 sec. user=mdettweiler [2016-09-23 05:08:14] 991*2^1440513-1 is not prime. Res64: FE19BF8C6BB46A18 Time : 0.0 sec. user=mdettweiler [2016-09-23 05:08:16] 645*2^1440514-1 is not prime. Res64: FF4651E10A86A82B Time : 0.0 sec. user=mdettweiler [2016-09-23 05:08:18] 675*2^1440514-1 is not prime. Res64: A803648D9004BAA9 Time : 0.0 sec. user=mdettweiler [2016-09-23 05:23:16] 765*2^1440514-1 is not prime. Res64: 2D9B16A5C74ABDBC Time : 0.0 sec. user=mdettweiler [2016-09-23 05:23:16] 803*2^1440514-1 is not prime. Res64: B080E9B2A77D99F4 Time : 0.0 sec. user=mdettweiler [2016-09-23 05:23:17] 825*2^1440514-1 is not prime. Res64: C314AA735741ACCC Time : 0.0 sec. user=mdettweiler [2016-09-23 05:23:17] 1001*2^1440514-1 is not prime. Res64: B7429E45B2808B3F Time : 0.0 sec. user=mdettweiler [2016-09-23 05:23:18] 609*2^1440515-1 is not prime. Res64: 453C7198CBC2ED36 Time : 0.0 sec. user=mdettweiler [2016-09-23 05:31:19] 663*2^1440515-1 is not prime. Res64: AC6709D65138E564 Time : 0.0 sec. user=mdettweiler [2016-09-23 05:31:19] 759*2^1440515-1 is not prime. Res64: 920270DF14EC593E Time : 0.0 sec. user=mdettweiler [2016-09-23 05:31:20] 771*2^1440515-1 is not prime. Res64: EC73077EEAD36C00 Time : 0.0 sec. user=mdettweiler [2016-09-23 05:31:20] 829*2^1440515-1 is not prime. Res64: 06785554B73F7802 Time : 0.0 sec. user=mdettweiler [2016-09-23 05:31:20] 949*2^1440515-1 is not prime. Res64: 34994327DADD5A34 Time : 0.0 sec. user=mdettweiler [2016-09-23 05:40:37] 969*2^1440515-1 is not prime. Res64: 9FF99CF6F81402F6 Time : 0.0 sec. user=mdettweiler [2016-09-23 05:40:37] 609*2^1440516-1 is not prime. Res64: 0F98D923893466FF Time : 0.0 sec. user=mdettweiler [2016-09-23 05:40:37] 657*2^1440516-1 is not prime. Res64: D2C85E8B6EAE6752 Time : 0.0 sec. user=mdettweiler [2016-09-23 05:40:38] 683*2^1440516-1 is not prime. Res64: 98DC11BECDFD8DCC Time : 0.0 sec. user=mdettweiler [2016-09-23 05:40:38] 719*2^1440516-1 is not prime. Res64: DE1FF039BD59B6F2 Time : 0.0 sec. user=mdettweiler [2016-09-23 05:53:19] 845*2^1440516-1 is not prime. Res64: B648C86BF3C0C2B9 Time : 0.0 sec. user=mdettweiler [2016-09-23 05:53:20] 873*2^1440516-1 is not prime. Res64: 8BDEB47D389147E0 Time : 0.0 sec. user=mdettweiler [2016-09-23 05:53:20] 893*2^1440516-1 is not prime. Res64: 3E8C68FC2520FDE8 Time : 0.0 sec. user=mdettweiler [2016-09-23 05:53:21] 983*2^1440516-1 is not prime. Res64: A7C86D8F0D4C0626 Time : 0.0 sec. user=mdettweiler [2016-09-23 05:53:21] 729*2^1440517-1 is not prime. Res64: 4348CB7152CB2015 Time : 0.0 sec. user=mdettweiler [2016-09-23 06:08:09] 805*2^1440517-1 is not prime. Res64: DE83EB188EA5A0D7 Time : 0.0 sec. user=mdettweiler [2016-09-23 06:08:10] 831*2^1440517-1 is not prime. Res64: 73DB4C59F526A5F0 Time : 0.0 sec. user=mdettweiler [2016-09-23 06:08:11] 859*2^1440517-1 is not prime. Res64: 718361AE4C4CF1D1 Time : 0.0 sec. user=mdettweiler [2016-09-23 06:08:12] 657*2^1440518-1 is not prime. Res64: 8FF426C6656A2487 Time : 0.0 sec. user=mdettweiler [2016-09-23 06:08:13] 731*2^1440518-1 is not prime. Res64: 30B8DD4108CF6740 Time : 0.0 sec. user=mdettweiler [2016-09-23 06:16:06] 827*2^1440518-1 is not prime. Res64: 96761A2AA8835300 Time : 0.0 sec. user=mdettweiler [2016-09-23 06:16:06] 613*2^1440519-1 is not prime. Res64: 007A92BA60A7D41D Time : 0.0 sec. user=mdettweiler [2016-09-23 06:16:07] 661*2^1440519-1 is not prime. Res64: E14C97F395AA4ECE Time : 0.0 sec. user=mdettweiler [2016-09-23 06:16:07] 685*2^1440519-1 is not prime. Res64: 620DFA8012C42C00 Time : 0.0 sec. user=mdettweiler [2016-09-23 06:16:07] 721*2^1440519-1 is not prime. Res64: 87AA298C1E825478 Time : 0.0 sec. user=mdettweiler [2016-09-23 06:25:17] 891*2^1440519-1 is not prime. Res64: 8CA138D0D1D034E6 Time : 0.0 sec. user=mdettweiler [2016-09-23 06:25:17] 975*2^1440519-1 is not prime. Res64: 0D9AF977CB10B63E Time : 0.0 sec. user=mdettweiler [2016-09-23 06:25:17] 979*2^1440519-1 is not prime. Res64: 7708FEB2A5E2487C Time : 0.0 sec. user=mdettweiler [2016-09-23 06:25:18] 645*2^1440520-1 is not prime. Res64: 2A61923D2CCE307C Time : 0.0 sec. user=mdettweiler [2016-09-23 06:25:18] 797*2^1440520-1 is not prime. Res64: 9C14106EFC197055 Time : 0.0 sec. user=mdettweiler [2016-09-23 06:37:59] 857*2^1440520-1 is not prime. Res64: E89609D06A1E7408 Time : 0.0 sec. user=mdettweiler [2016-09-23 06:38:00] 615*2^1440521-1 is not prime. Res64: 3168997861871A95 Time : 0.0 sec. user=mdettweiler [2016-09-23 06:38:01] 621*2^1440522-1 is not prime. Res64: 42EB7F8B1CBE5011 Time : 0.0 sec. user=mdettweiler [2016-09-23 06:38:01] 633*2^1440522-1 is not prime. Res64: 8594C5543B251A88 Time : 0.0 sec. user=mdettweiler [2016-09-23 06:38:02] 671*2^1440522-1 is not prime. Res64: 8EF4BBF74A58214C Time : 0.0 sec. user=mdettweiler [2016-09-23 06:53:03] 695*2^1440522-1 is not prime. Res64: 87EE46804F9832E8 Time : 0.0 sec. user=mdettweiler [2016-09-23 06:53:03] 711*2^1440522-1 is not prime. Res64: 66C637749F9CF829 Time : 0.0 sec. user=mdettweiler [2016-09-23 06:53:04] 765*2^1440522-1 is not prime. Res64: E0455662C6734B2E Time : 0.0 sec. user=mdettweiler [2016-09-23 06:53:04] 825*2^1440522-1 is not prime. Res64: 442CAC1DCEBFEF7D Time : 0.0 sec. user=mdettweiler [2016-09-23 06:53:04] 633*2^1440523-1 is not prime. Res64: 16A5AFFEEB13AC14 Time : 0.0 sec. user=mdettweiler [2016-09-23 07:00:38] 673*2^1440523-1 is not prime. Res64: 870224D59AF782CA Time : 0.0 sec. user=mdettweiler [2016-09-23 07:00:40] 699*2^1440523-1 is not prime. Res64: B70E52D4293FA399 Time : 0.0 sec. user=mdettweiler [2016-09-23 07:00:41] 849*2^1440523-1 is not prime. Res64: 93A085A530B01177 Time : 0.0 sec. user=mdettweiler [2016-09-23 07:00:41] 885*2^1440523-1 is not prime. Res64: 03599BEAE49B8F42 Time : 0.0 sec. user=mdettweiler [2016-09-23 07:00:42] 891*2^1440523-1 is not prime. Res64: 100752A2EC46EA37 Time : 0.0 sec. user=mdettweiler [2016-09-23 07:10:00] 717*2^1440524-1 is not prime. Res64: A5E5E448808F6BF2 Time : 0.0 sec. user=mdettweiler [2016-09-23 07:10:00] 827*2^1440524-1 is not prime. Res64: 9F6AB7B41D0407AD Time : 0.0 sec. user=mdettweiler [2016-09-23 07:10:01] 935*2^1440524-1 is not prime. Res64: BDBF7281A3D68985 Time : 0.0 sec. user=mdettweiler [2016-09-23 07:10:01] 655*2^1440525-1 is not prime. Res64: 89179D3FF7042B4A Time : 0.0 sec. user=mdettweiler [2016-09-23 07:10:01] 781*2^1440525-1 is not prime. Res64: D17E82FDE836643B Time : 0.0 sec. user=mdettweiler [2016-09-23 07:22:44] 871*2^1440525-1 is not prime. Res64: 9FA410330595EF8C Time : 0.0 sec. user=mdettweiler [2016-09-23 07:22:44] 877*2^1440525-1 is not prime. Res64: 44092AB22540E013 Time : 0.0 sec. user=mdettweiler [2016-09-23 07:22:45] 717*2^1440526-1 is not prime. Res64: B8627073C86E291C Time : 0.0 sec. user=mdettweiler [2016-09-23 07:22:45] 741*2^1440526-1 is not prime. Res64: 87200BDDBAB541F2 Time : 0.0 sec. user=mdettweiler [2016-09-23 07:22:45] 777*2^1440526-1 is not prime. Res64: 775D5053048EF1F8 Time : 0.0 sec. user=mdettweiler [2016-09-23 07:37:44] 813*2^1440526-1 is not prime. Res64: 3CEA421FE4B14151 Time : 0.0 sec. user=mdettweiler [2016-09-23 07:37:45] 821*2^1440526-1 is not prime. Res64: DCEBBF2E7EC4E8E4 Time : 0.0 sec. user=mdettweiler [2016-09-23 07:37:45] 917*2^1440526-1 is not prime. Res64: 1C1675F578645B39 Time : 0.0 sec. user=mdettweiler [2016-09-23 07:37:45] 971*2^1440526-1 is not prime. Res64: 0192E07A38123503 Time : 0.0 sec. user=mdettweiler [2016-09-23 07:37:46] 619*2^1440527-1 is not prime. Res64: 9FDDA0743AE7A668 Time : 0.0 sec. user=mdettweiler [2016-09-23 07:45:24] 651*2^1440527-1 is not prime. Res64: 955A55DA2B42802E Time : 0.0 sec. user=mdettweiler [2016-09-23 07:45:24] 661*2^1440527-1 is not prime. Res64: CF16CB4E72289D1D Time : 0.0 sec. user=mdettweiler [2016-09-23 07:45:25] 693*2^1440527-1 is not prime. Res64: EF612D7AF3800F04 Time : 0.0 sec. user=mdettweiler [2016-09-23 07:45:25] 703*2^1440527-1 is not prime. Res64: B12958A97645D2C3 Time : 0.0 sec. user=mdettweiler [2016-09-23 07:45:25] 715*2^1440527-1 is not prime. Res64: 7200089273EA4096 Time : 0.0 sec. user=mdettweiler [2016-09-23 07:54:36] 741*2^1440527-1 is not prime. Res64: A5BF898ECC184429 Time : 0.0 sec. user=mdettweiler [2016-09-23 07:54:36] 799*2^1440527-1 is not prime. Res64: 2DB6EC65C45CBDF9 Time : 0.0 sec. user=mdettweiler [2016-09-23 07:54:37] 871*2^1440527-1 is not prime. Res64: 88395851EE0FDC95 Time : 0.0 sec. user=mdettweiler [2016-09-23 07:54:37] 973*2^1440527-1 is not prime. Res64: 9AAE8A3620FF84B2 Time : 0.0 sec. user=mdettweiler [2016-09-23 07:54:37] 981*2^1440527-1 is not prime. Res64: BDAF354512849AD7 Time : 0.0 sec. user=mdettweiler [2016-09-23 08:07:20] 985*2^1440527-1 is not prime. Res64: F357BCB87134AFF8 Time : 0.0 sec. user=mdettweiler [2016-09-23 08:07:21] 683*2^1440528-1 is not prime. Res64: 84C47607B4DF480F Time : 0.0 sec. user=mdettweiler [2016-09-23 08:07:23] 705*2^1440528-1 is not prime. Res64: 9F0B3D8CEBDD5289 Time : 0.0 sec. user=mdettweiler [2016-09-23 08:07:25] 737*2^1440528-1 is not prime. Res64: 4EE232834E55EA90 Time : 0.0 sec. user=mdettweiler [2016-09-23 08:07:27] 905*2^1440528-1 is not prime. Res64: F6566BCE5DABB675 Time : 0.0 sec. user=mdettweiler [2016-09-23 08:22:22] 649*2^1440529-1 is not prime. Res64: 9B87D2C0FE1774BD Time : 0.0 sec. user=mdettweiler [2016-09-23 08:22:22] 721*2^1440529-1 is not prime. Res64: 9E83A01C1FA3E2F3 Time : 0.0 sec. user=mdettweiler [2016-09-23 08:22:22] 799*2^1440529-1 is not prime. Res64: 6720C0F54E0550E0 Time : 0.0 sec. user=mdettweiler [2016-09-23 08:22:23] 835*2^1440529-1 is not prime. Res64: F5660A55B9671122 Time : 0.0 sec. user=mdettweiler [2016-09-23 08:22:23] 861*2^1440529-1 is not prime. Res64: 663C9B5AC6C43393 Time : 0.0 sec. user=mdettweiler [2016-09-23 08:30:04] 877*2^1440529-1 is not prime. Res64: 3ED93B6331AC197B Time : 0.0 sec. user=mdettweiler [2016-09-23 08:30:04] 623*2^1440530-1 is not prime. Res64: 6DE9F80DFFF8ECC3 Time : 0.0 sec. user=mdettweiler [2016-09-23 08:30:05] 641*2^1440530-1 is not prime. Res64: 68B8527929D29207 Time : 0.0 sec. user=mdettweiler [2016-09-23 08:30:05] 827*2^1440530-1 is not prime. Res64: 039EB926574F0458 Time : 0.0 sec. user=mdettweiler [2016-09-23 08:30:06] 857*2^1440530-1 is not prime. Res64: 8820C46EEB0B5CB4 Time : 0.0 sec. user=mdettweiler [2016-09-23 08:39:03] 887*2^1440530-1 is not prime. Res64: 6ECF7959BE31163B Time : 0.0 sec. user=mdettweiler [2016-09-23 08:39:04] 893*2^1440530-1 is not prime. Res64: 241B91F60841C6C1 Time : 0.0 sec. user=mdettweiler [2016-09-23 08:39:04] 639*2^1440531-1 is not prime. Res64: 864501D71C45EF3F Time : 0.0 sec. user=mdettweiler [2016-09-23 08:39:05] 783*2^1440531-1 is not prime. Res64: BDCEE22D6E51E725 Time : 0.0 sec. user=mdettweiler [2016-09-23 08:39:05] 793*2^1440531-1 is not prime. Res64: F01358FDB6A2FFE3 Time : 0.0 sec. user=mdettweiler [2016-09-23 08:52:41] 921*2^1440531-1 is not prime. Res64: 5B6F01001C2118CD Time : 0.0 sec. user=mdettweiler [2016-09-23 08:52:41] 931*2^1440531-1 is not prime. Res64: 651D0437F6F06328 Time : 0.0 sec. user=mdettweiler [2016-09-23 08:52:42] 951*2^1440531-1 is not prime. Res64: BD49B484944D4E3B Time : 0.0 sec. user=mdettweiler [2016-09-23 08:52:42] 991*2^1440531-1 is not prime. Res64: 3ACA1512F3B392F7 Time : 0.0 sec. user=mdettweiler [2016-09-23 08:52:43] 999*2^1440531-1 is not prime. Res64: A11D444501FFA785 Time : 0.0 sec. user=mdettweiler [2016-09-23 09:07:04] 675*2^1440532-1 is not prime. Res64: 6A52F4A03889F5A4 Time : 0.0 sec. user=mdettweiler [2016-09-23 09:07:06] 827*2^1440532-1 is not prime. Res64: 05C736D8C084B4E9 Time : 0.0 sec. user=mdettweiler [2016-09-23 09:07:07] 939*2^1440532-1 is not prime. Res64: F18CC0F5D7A63541 Time : 0.0 sec. user=mdettweiler [2016-09-23 09:07:08] 657*2^1440533-1 is not prime. Res64: 6CA47D75F58FF0D0 Time : 0.0 sec. user=mdettweiler [2016-09-23 09:07:10] 675*2^1440533-1 is not prime. Res64: E01879A559CD5EA4 Time : 0.0 sec. user=mdettweiler [2016-09-23 09:14:49] 697*2^1440533-1 is not prime. Res64: 375AADAE5D977B1B Time : 0.0 sec. user=mdettweiler [2016-09-23 09:14:49] 829*2^1440533-1 is not prime. Res64: 55FCC60AF91B6C05 Time : 0.0 sec. user=mdettweiler [2016-09-23 09:14:49] 937*2^1440533-1 is not prime. Res64: 861DF51B1A4A687E Time : 0.0 sec. user=mdettweiler [2016-09-23 09:14:50] 981*2^1440533-1 is not prime. Res64: 5AC116415DCD121E Time : 0.0 sec. user=mdettweiler [2016-09-23 09:14:50] 783*2^1440534-1 is not prime. Res64: F46012278C4FC2CF Time : 0.0 sec. user=mdettweiler [2016-09-23 09:23:47] 861*2^1440534-1 is not prime. Res64: D1B6681E1487E81F Time : 0.0 sec. user=mdettweiler [2016-09-23 09:23:47] 601*2^1440535-1 is not prime. Res64: 5C596F7CE58E2059 Time : 0.0 sec. user=mdettweiler [2016-09-23 09:23:48] 619*2^1440535-1 is not prime. Res64: 5AE760AA8B58761C Time : 0.0 sec. user=mdettweiler [2016-09-23 09:23:48] 685*2^1440535-1 is not prime. Res64: AA077310E2682E51 Time : 0.0 sec. user=mdettweiler [2016-09-23 09:23:49] 763*2^1440535-1 is not prime. Res64: CD1D0E4734936719 Time : 0.0 sec. user=mdettweiler [2016-09-23 09:37:27] 841*2^1440535-1 is not prime. Res64: 2E335FB407CD64BB Time : 0.0 sec. user=mdettweiler [2016-09-23 09:37:27] 933*2^1440535-1 is not prime. Res64: EF242F53E98F018E Time : 0.0 sec. user=mdettweiler [2016-09-23 09:37:28] 973*2^1440535-1 is not prime. Res64: 750AF4EE040D867F Time : 0.0 sec. user=mdettweiler [2016-09-23 09:37:28] 609*2^1440536-1 is not prime. Res64: A06A7E32406F10D4 Time : 0.0 sec. user=mdettweiler [2016-09-23 09:37:28] 629*2^1440536-1 is not prime. Res64: 1772E19F1791DDAF Time : 0.0 sec. user=mdettweiler [2016-09-23 09:52:26] 689*2^1440536-1 is not prime. Res64: F292420A58768E45 Time : 0.0 sec. user=mdettweiler [2016-09-23 09:52:27] 725*2^1440536-1 is not prime. Res64: 43840D55CAA20D5C Time : 0.0 sec. user=mdettweiler [2016-09-23 09:52:27] 845*2^1440536-1 is not prime. Res64: 01528390E89986C5 Time : 0.0 sec. user=mdettweiler [2016-09-23 09:52:27] 897*2^1440536-1 is not prime. Res64: A7261CB9686ED388 Time : 0.0 sec. user=mdettweiler [2016-09-23 09:52:27] 899*2^1440536-1 is not prime. Res64: 5E820A76AECDC736 Time : 0.0 sec. user=mdettweiler [2016-09-23 10:00:09] 935*2^1440536-1 is not prime. Res64: C830A8AAEB6B4783 Time : 0.0 sec. user=mdettweiler [2016-09-23 10:00:10] 999*2^1440536-1 is not prime. Res64: 845415C1CAC10994 Time : 0.0 sec. user=mdettweiler [2016-09-23 10:00:11] 691*2^1440537-1 is not prime. Res64: 97DF238D28D8543B Time : 0.0 sec. user=mdettweiler [2016-09-23 10:00:12] 747*2^1440537-1 is not prime. Res64: D6825EBED7A439D7 Time : 0.0 sec. user=mdettweiler [2016-09-23 10:00:13] 805*2^1440537-1 is not prime. Res64: 9D27D40DEA5EF4D1 Time : 0.0 sec. user=mdettweiler [2016-09-23 10:10:06] 865*2^1440537-1 is not prime. Res64: BE51F71B409BC0C2 Time : 0.0 sec. user=mdettweiler [2016-09-23 10:10:06] 937*2^1440537-1 is not prime. Res64: B711739D13534C1F Time : 0.0 sec. user=mdettweiler [2016-09-23 10:10:07] 605*2^1440538-1 is not prime. Res64: 5F93AE53F740E053 Time : 0.0 sec. user=mdettweiler [2016-09-23 10:10:08] 723*2^1440538-1 is not prime. Res64: DC6822C22EF978DE Time : 0.0 sec. user=mdettweiler [2016-09-23 10:10:09] 813*2^1440538-1 is not prime. Res64: 5CD99C4AB2905DD1 Time : 0.0 sec. user=mdettweiler [2016-09-23 10:23:53] 933*2^1440538-1 is not prime. Res64: 17B66AF3DA250750 Time : 0.0 sec. user=mdettweiler [2016-09-23 10:23:53] 941*2^1440538-1 is not prime. Res64: C7CD2BEA9562B2DA Time : 0.0 sec. user=mdettweiler [2016-09-23 10:23:54] 945*2^1440538-1 is not prime. Res64: 4A5197EF650F1B60 Time : 0.0 sec. user=mdettweiler [2016-09-23 10:23:54] 957*2^1440538-1 is not prime. Res64: C64B70002FC74A24 Time : 0.0 sec. user=mdettweiler [2016-09-23 10:23:54] 987*2^1440538-1 is not prime. Res64: C24B333F0F2C7722 Time : 0.0 sec. user=mdettweiler [2016-09-23 10:39:14] 669*2^1440539-1 is not prime. Res64: F3A3AB2178BE904D Time : 0.0 sec. user=mdettweiler [2016-09-23 10:39:15] 693*2^1440539-1 is not prime. Res64: 375EA538EE0CFAAD Time : 0.0 sec. user=mdettweiler [2016-09-23 10:39:15] 703*2^1440539-1 is not prime. Res64: 7CE7B6D5D517E7AF Time : 0.0 sec. user=mdettweiler [2016-09-23 10:39:15] 841*2^1440539-1 is not prime. Res64: 463B00A2EC776851 Time : 0.0 sec. user=mdettweiler [2016-09-23 10:39:16] 979*2^1440539-1 is not prime. Res64: DBBE4517DBF8ACE9 Time : 0.0 sec. user=mdettweiler [2016-09-23 10:47:01] 999*2^1440539-1 is not prime. Res64: BAAB32F1CBF437E3 Time : 0.0 sec. user=mdettweiler [2016-09-23 10:47:01] 633*2^1440540-1 is not prime. Res64: 1409EDBFD252356C Time : 0.0 sec. user=mdettweiler [2016-09-23 10:47:02] 759*2^1440540-1 is not prime. Res64: A5F33F56F29FCB3B Time : 0.0 sec. user=mdettweiler [2016-09-23 10:47:02] 783*2^1440540-1 is not prime. Res64: 9CB84E7460D354D6 Time : 0.0 sec. user=mdettweiler [2016-09-23 10:47:02] 901*2^1440541-1 is not prime. Res64: CE72690116A3883F Time : 0.0 sec. user=mdettweiler [2016-09-23 10:56:52] 951*2^1440541-1 is not prime. Res64: 8B703ED6D39C1733 Time : 0.0 sec. user=mdettweiler [2016-09-23 10:56:52] 961*2^1440541-1 is not prime. Res64: 9A9FDD989D695F55 Time : 0.0 sec. user=mdettweiler [2016-09-23 10:56:53] 603*2^1440542-1 is not prime. Res64: 6990D6A67E62D650 Time : 0.0 sec. user=mdettweiler [2016-09-23 10:56:53] 615*2^1440542-1 is not prime. Res64: 9C2A28DE3D24C3EF Time : 0.0 sec. user=mdettweiler [2016-09-23 10:56:53] 623*2^1440542-1 is not prime. Res64: B7A9AFD74A37E56E Time : 0.0 sec. user=mdettweiler [2016-09-23 11:10:22] 747*2^1440542-1 is not prime. Res64: 0D489FAD44A8BC0F Time : 0.0 sec. user=mdettweiler [2016-09-23 11:10:23] 797*2^1440542-1 is not prime. Res64: 9DE917D38DEFE225 Time : 0.0 sec. user=mdettweiler [2016-09-23 11:10:23] 867*2^1440542-1 is not prime. Res64: 22C7F87123ED51EB Time : 0.0 sec. user=mdettweiler [2016-09-23 11:10:23] 873*2^1440542-1 is not prime. Res64: 2E781FE373B7E53C Time : 0.0 sec. user=mdettweiler [2016-09-23 11:10:24] 935*2^1440542-1 is not prime. Res64: 8C2CEFBCA2FFA6E1 Time : 0.0 sec. user=mdettweiler [2016-09-23 11:25:14] 945*2^1440542-1 is not prime. Res64: D04A3B1B5B61B5D2 Time : 0.0 sec. user=mdettweiler [2016-09-23 11:25:14] 977*2^1440542-1 is not prime. Res64: B1DB7E81638865B5 Time : 0.0 sec. user=mdettweiler [2016-09-23 11:25:15] 675*2^1440543-1 is not prime. Res64: 2E3C5B935BBCBD75 Time : 0.0 sec. user=mdettweiler [2016-09-23 11:25:15] 679*2^1440543-1 is not prime. Res64: 5579BE882469543F Time : 0.0 sec. user=mdettweiler [2016-09-23 11:25:16] 765*2^1440543-1 is not prime. Res64: 1A4A134AF598E126 Time : 0.0 sec. user=mdettweiler [2016-09-23 11:32:44] 675*2^1440544-1 is not prime. Res64: 7F8654500FFAB5B4 Time : 0.0 sec. user=mdettweiler [2016-09-23 11:32:44] 695*2^1440544-1 is not prime. Res64: A0CE114D67BF8F6F Time : 0.0 sec. user=mdettweiler [2016-09-23 11:32:45] 719*2^1440544-1 is not prime. Res64: CEC94FE8A4899CA3 Time : 0.0 sec. user=mdettweiler [2016-09-23 11:32:45] 743*2^1440544-1 is not prime. Res64: ED8D713A9B31BEF6 Time : 0.0 sec. user=mdettweiler [2016-09-23 11:32:46] 849*2^1440544-1 is not prime. Res64: 1C146D7954D3D91D Time : 0.0 sec. user=mdettweiler [2016-09-23 11:42:41] 869*2^1440544-1 is not prime. Res64: 3E3F12BCC3CE9955 Time : 0.0 sec. user=mdettweiler [2016-09-23 11:42:41] 873*2^1440544-1 is not prime. Res64: E1373AF42142154A Time : 0.0 sec. user=mdettweiler [2016-09-23 11:42:42] 679*2^1440545-1 is not prime. Res64: 7D5B8F1CB895E18E Time : 0.0 sec. user=mdettweiler [2016-09-23 11:42:42] 771*2^1440545-1 is not prime. Res64: 7FEBA9B8FE7637EF Time : 0.0 sec. user=mdettweiler [2016-09-23 11:42:42] 861*2^1440545-1 is not prime. Res64: CC90A30EFCDB149B Time : 0.0 sec. user=mdettweiler [2016-09-23 11:57:11] 871*2^1440545-1 is not prime. Res64: 940D6430B464991B Time : 0.0 sec. user=mdettweiler [2016-09-23 11:57:11] 683*2^1440546-1 is not prime. Res64: 10080A9CEF633451 Time : 0.0 sec. user=mdettweiler [2016-09-23 11:57:11] 725*2^1440546-1 is not prime. Res64: BE1F696259C937AE Time : 0.0 sec. user=mdettweiler [2016-09-23 11:57:11] 807*2^1440546-1 is not prime. Res64: 296E9EAA319DAC08 Time : 0.0 sec. user=mdettweiler [2016-09-23 11:57:12] 887*2^1440546-1 is not prime. Res64: 23A8268BAB7A69B4 Time : 0.0 sec. user=mdettweiler [2016-09-23 12:12:26] 903*2^1440546-1 is not prime. Res64: 8760324C2D3302DD Time : 0.0 sec. user=mdettweiler [2016-09-23 12:12:27] 993*2^1440546-1 is not prime. Res64: 801F90AE91787C2A Time : 0.0 sec. user=mdettweiler [2016-09-23 12:12:27] 631*2^1440547-1 is not prime. Res64: 2FB9B3A250B1D144 Time : 0.0 sec. user=mdettweiler [2016-09-23 12:12:28] 691*2^1440547-1 is not prime. Res64: B825F7AFF6E557CF Time : 0.0 sec. user=mdettweiler [2016-09-23 12:12:28] 975*2^1440547-1 is not prime. Res64: 1FB267774A2024AC Time : 0.0 sec. user=mdettweiler [2016-09-23 12:19:43] 985*2^1440547-1 is not prime. Res64: 5AB412D3A8D8AEA7 Time : 0.0 sec. user=mdettweiler [2016-09-23 12:19:44] 813*2^1440548-1 is not prime. Res64: 203C5CCF04FEC858 Time : 0.0 sec. user=mdettweiler [2016-09-23 12:19:44] 825*2^1440548-1 is not prime. Res64: 7AC27C90AD88700A Time : 0.0 sec. user=mdettweiler [2016-09-23 12:19:45] 963*2^1440548-1 is not prime. Res64: 2680AF16F619E9EA Time : 0.0 sec. user=mdettweiler [2016-09-23 12:19:45] 649*2^1440549-1 is not prime. Res64: FEC2A46980C4186F Time : 0.0 sec. user=mdettweiler [2016-09-23 12:29:44] 795*2^1440549-1 is not prime. Res64: D540F9274C1C1C1C Time : 0.0 sec. user=mdettweiler [2016-09-23 12:29:44] 867*2^1440549-1 is not prime. Res64: 2B5F82FB17A1E0FD Time : 0.0 sec. user=mdettweiler [2016-09-23 12:29:45] 885*2^1440549-1 is not prime. Res64: 4DEE7999B4FC4C3C Time : 0.0 sec. user=mdettweiler [2016-09-23 12:29:45] 991*2^1440549-1 is not prime. Res64: FE4FEB7805F825D5 Time : 0.0 sec. user=mdettweiler [2016-09-23 12:29:46] 645*2^1440550-1 is not prime. Res64: A9560674D3B02EF6 Time : 0.0 sec. user=mdettweiler [2016-09-23 12:59:48] 857*2^1440550-1 is not prime. Res64: 021C20CEBF68A7BB Time : 0.0 sec. user=mdettweiler [2016-09-23 12:59:48] 941*2^1440550-1 is not prime. Res64: 1F2819C76418392C Time : 0.0 sec. user=mdettweiler [2016-09-23 12:59:49] 711*2^1440551-1 is not prime. Res64: 1FA502C8F3916E91 Time : 0.0 sec. user=mdettweiler [2016-09-23 12:59:49] 781*2^1440551-1 is not prime. Res64: 587543D771D5E916 Time : 0.0 sec. user=mdettweiler [2016-09-23 12:59:49] 783*2^1440551-1 is not prime. Res64: C7B578B463AB8233 Time : 0.0 sec. user=mdettweiler [2016-09-23 13:08:04] 999*2^1440551-1 is not prime. Res64: 70681F4DCE1AC561 Time : 0.0 sec. user=mdettweiler [2016-09-23 13:08:07] 633*2^1440552-1 is not prime. Res64: 60568D2CAA1394C6 Time : 0.0 sec. user=mdettweiler [2016-09-23 13:08:09] 657*2^1440552-1 is not prime. Res64: 32AA1C353D7FE171 Time : 0.0 sec. user=mdettweiler [2016-09-23 13:08:10] 887*2^1440552-1 is not prime. Res64: 35AA7994F2B14802 Time : 0.0 sec. user=mdettweiler [2016-09-23 13:08:12] 947*2^1440552-1 is not prime. Res64: 47E2FC534A67F6AB Time : 0.0 sec. user=mdettweiler [2016-09-23 13:18:50] 977*2^1440552-1 is not prime. Res64: E72D5F7EF242C311 Time : 0.0 sec. user=mdettweiler [2016-09-23 13:18:50] 983*2^1440552-1 is not prime. Res64: 9FA0F6DB8BC30648 Time : 0.0 sec. user=mdettweiler [2016-09-23 13:18:51] 615*2^1440553-1 is not prime. Res64: F115203C79EFC5EA Time : 0.0 sec. user=mdettweiler [2016-09-23 13:18:51] 619*2^1440553-1 is not prime. Res64: DD7829476E3A4DE3 Time : 0.0 sec. user=mdettweiler [2016-09-23 13:18:51] 729*2^1440553-1 is not prime. Res64: FE4DB419F851E91C Time : 0.0 sec. user=mdettweiler [2016-09-23 13:47:10] 747*2^1440553-1 is not prime. Res64: ED8459F80F15BAC5 Time : 0.0 sec. user=mdettweiler [2016-09-23 13:47:10] 765*2^1440553-1 is not prime. Res64: 0E90D5E04A846447 Time : 0.0 sec. user=mdettweiler [2016-09-23 13:47:10] 775*2^1440553-1 is not prime. Res64: 11ECC1286A8A6B62 Time : 0.0 sec. user=mdettweiler [2016-09-23 13:47:11] 855*2^1440553-1 is not prime. Res64: F674455663AAA4A5 Time : 0.0 sec. user=mdettweiler [2016-09-23 13:47:11] 615*2^1440554-1 is not prime. Res64: 80395B14116275CE Time : 0.0 sec. user=mdettweiler [2016-09-23 14:05:58] 753*2^1440555-1 is not prime. Res64: A29CB3BF7782DA74 Time : 0.0 sec. user=mdettweiler [2016-09-23 14:06:00] 853*2^1440555-1 is not prime. Res64: 088DA559A63FAEFC Time : 0.0 sec. user=mdettweiler [2016-09-23 14:06:03] 951*2^1440555-1 is not prime. Res64: 50D5EA4CD302E78C Time : 0.0 sec. user=mdettweiler [2016-09-23 14:06:04] 657*2^1440556-1 is not prime. Res64: 532D454E9F3110C7 Time : 0.0 sec. user=mdettweiler [2016-09-23 14:06:05] 719*2^1440556-1 is not prime. Res64: F6CCFE332BFD3D3A Time : 0.0 sec. user=mdettweiler [2016-09-23 14:25:37] 665*2^1440554-1 is not prime. Res64: 3005B49973ABD5D8 Time : 0.0 sec. user=mdettweiler [2016-09-23 14:25:38] 671*2^1440554-1 is not prime. Res64: 8D427DEAACA9AF2F Time : 0.0 sec. user=mdettweiler [2016-09-23 14:25:38] 797*2^1440554-1 is not prime. Res64: A17CA0834A3FDFFE Time : 0.0 sec. user=mdettweiler [2016-09-23 14:25:39] 885*2^1440554-1 is not prime. Res64: 564CDA8FD0086B35 Time : 0.0 sec. user=mdettweiler [2016-09-23 14:25:39] 685*2^1440555-1 is not prime. Res64: E2A736D351D7EF9C Time : 0.0 sec. user=mdettweiler [2016-09-23 14:33:27] 723*2^1440556-1 is not prime. Res64: A71F281AA550ACCA Time : 0.0 sec. user=mdettweiler [2016-09-23 14:33:28] 803*2^1440556-1 is not prime. Res64: 890DEEBE21C88EBB Time : 0.0 sec. user=mdettweiler [2016-09-23 14:33:28] 825*2^1440556-1 is not prime. Res64: E760FB10593143A7 Time : 0.0 sec. user=mdettweiler [2016-09-23 14:33:28] 873*2^1440556-1 is not prime. Res64: B91475BB6F505A22 Time : 0.0 sec. user=mdettweiler [2016-09-23 14:33:29] 975*2^1440556-1 is not prime. Res64: C51BD0CF9404F6A1 Time : 0.0 sec. user=mdettweiler [2016-09-23 14:53:29] 697*2^1440557-1 is not prime. Res64: 41712B460AB5DAC0 Time : 0.0 sec. user=mdettweiler [2016-09-23 14:53:29] 865*2^1440557-1 is not prime. Res64: A11609BE423B0E2D Time : 0.0 sec. user=mdettweiler [2016-09-23 14:53:30] 867*2^1440557-1 is not prime. Res64: A1070B90C34427AB Time : 0.0 sec. user=mdettweiler [2016-09-23 14:53:30] 615*2^1440558-1 is not prime. Res64: 36782049CCF58188 Time : 0.0 sec. user=mdettweiler [2016-09-23 14:53:30] 641*2^1440558-1 is not prime. Res64: FCBB2E4D49B68965 Time : 0.0 sec. user=mdettweiler [2016-09-23 15:02:09] 765*2^1440550-1 is not prime. Res64: DA04158DCFAC4534 Time : 0.0 sec. user=mdettweiler [2016-09-23 15:02:10] 773*2^1440550-1 is not prime. Res64: 8EB5D0C9FCF30FE8 Time : 0.0 sec. user=mdettweiler [2016-09-23 15:02:10] 785*2^1440550-1 is not prime. Res64: F51AF66574439F67 Time : 0.0 sec. user=mdettweiler [2016-09-23 15:02:11] 833*2^1440550-1 is not prime. Res64: F73677CB32479470 Time : 0.0 sec. user=mdettweiler [2016-09-23 15:02:12] 843*2^1440550-1 is not prime. Res64: F50E5D714385897A Time : 0.0 sec. user=mdettweiler [2016-09-23 15:12:47] 737*2^1440558-1 is not prime. Res64: 2DBE9885918A9428 Time : 0.0 sec. user=mdettweiler [2016-09-23 15:12:47] 755*2^1440558-1 is not prime. Res64: 7658277C1853ACC7 Time : 0.0 sec. user=mdettweiler [2016-09-23 15:12:48] 797*2^1440558-1 is not prime. Res64: 1290792C1AA5EFB2 Time : 0.0 sec. user=mdettweiler [2016-09-23 15:12:48] 867*2^1440558-1 is not prime. Res64: 7AA60AE716965841 Time : 0.0 sec. user=mdettweiler [2016-09-23 15:12:48] 921*2^1440558-1 is not prime. Res64: 804B8BEB00981992 Time : 0.0 sec. user=mdettweiler [2016-09-23 15:21:54] 933*2^1440558-1 is not prime. Res64: 526C4B7AD7CD812F Time : 0.0 sec. user=mdettweiler [2016-09-23 15:21:54] 971*2^1440558-1 is not prime. Res64: 201CC9DEA7D0D034 Time : 0.0 sec. user=mdettweiler [2016-09-23 15:21:54] 693*2^1440559-1 is not prime. Res64: 7E601DE4A2A24281 Time : 0.0 sec. user=mdettweiler [2016-09-23 15:21:55] 723*2^1440559-1 is not prime. Res64: 65CA9C83B120D311 Time : 0.0 sec. user=mdettweiler [2016-09-23 15:21:55] 729*2^1440559-1 is not prime. Res64: 3184DBDCBE1D95E5 Time : 0.0 sec. user=mdettweiler [2016-09-23 15:41:54] 765*2^1440559-1 is not prime. Res64: D53431A16FF1C036 Time : 0.0 sec. user=mdettweiler [2016-09-23 15:41:54] 775*2^1440559-1 is not prime. Res64: D03624A5FA3C5B04 Time : 0.0 sec. user=mdettweiler [2016-09-23 15:41:54] 951*2^1440559-1 is not prime. Res64: C39D8630C9F04AFC Time : 0.0 sec. user=mdettweiler [2016-09-23 15:41:55] 969*2^1440559-1 is not prime. Res64: 806E1D8FA5C671B9 Time : 0.0 sec. user=mdettweiler [2016-09-23 15:41:55] 973*2^1440559-1 is not prime. Res64: 51A3BDE33B5DE2E0 Time : 0.0 sec. user=mdettweiler [2016-09-23 15:50:18] 759*2^1440560-1 is not prime. Res64: EEAD106249B41B93 Time : 0.0 sec. user=mdettweiler [2016-09-23 15:50:18] 839*2^1440560-1 is not prime. Res64: C8D163AB1D3950BA Time : 0.0 sec. user=mdettweiler [2016-09-23 15:50:19] 929*2^1440560-1 is not prime. Res64: 2BA681AF6DAD4669 Time : 0.0 sec. user=mdettweiler [2016-09-23 15:50:19] 959*2^1440560-1 is not prime. Res64: FC67C0C302BD308F Time : 0.0 sec. user=mdettweiler [2016-09-23 15:50:19] 649*2^1440561-1 is not prime. Res64: 59624F765491189A Time : 0.0 sec. user=mdettweiler [2016-09-23 16:00:36] 681*2^1440561-1 is not prime. Res64: C89D7B5A3F324EFF Time : 0.0 sec. user=mdettweiler [2016-09-23 16:00:37] 691*2^1440561-1 is not prime. Res64: 8566D6C6075CCF29 Time : 0.0 sec. user=mdettweiler [2016-09-23 16:00:38] 751*2^1440561-1 is not prime. Res64: DC868EBEDFAE3B1B Time : 0.0 sec. user=mdettweiler [2016-09-23 16:00:39] 807*2^1440561-1 is not prime. Res64: 0873A63F133A70FE Time : 0.0 sec. user=mdettweiler [2016-09-23 16:00:39] 835*2^1440561-1 is not prime. Res64: E539FA1E65001990 Time : 0.0 sec. user=mdettweiler [2016-09-23 16:08:52] 849*2^1440561-1 is not prime. Res64: 6BF6CF8AD6A34849 Time : 0.0 sec. user=mdettweiler [2016-09-23 16:08:52] 907*2^1440561-1 is not prime. Res64: 7F314130C22CD8E3 Time : 0.0 sec. user=mdettweiler [2016-09-23 16:08:53] 949*2^1440561-1 is not prime. Res64: A26D2D4B44374EDE Time : 0.0 sec. user=mdettweiler [2016-09-23 16:08:53] 623*2^1440562-1 is not prime. Res64: 39B0245D7458232A Time : 0.0 sec. user=mdettweiler [2016-09-23 16:08:54] 867*2^1440562-1 is not prime. Res64: 32B6928C4D1CEC74 Time : 0.0 sec. user=mdettweiler [2016-09-23 16:27:10] 951*2^1440562-1 is not prime. Res64: 3C86C1DAC8D17EF7 Time : 0.0 sec. user=mdettweiler [2016-09-23 16:27:11] 987*2^1440562-1 is not prime. Res64: C389DE3BFF5D370B Time : 0.0 sec. user=mdettweiler [2016-09-23 16:27:11] 609*2^1440563-1 is not prime. Res64: 9EC7CD34A1DDDD97 Time : 0.0 sec. user=mdettweiler [2016-09-23 16:27:12] 679*2^1440563-1 is not prime. Res64: B52A7425263FACF1 Time : 0.0 sec. user=mdettweiler [2016-09-23 16:27:12] 753*2^1440563-1 is not prime. Res64: D78096285574EBBF Time : 0.0 sec. user=mdettweiler [2016-09-23 16:35:27] 775*2^1440563-1 is not prime. Res64: 8BFC4FA2655A233C Time : 0.0 sec. user=mdettweiler [2016-09-23 16:35:27] 781*2^1440563-1 is not prime. Res64: D0DF019FF72C294B Time : 0.0 sec. user=mdettweiler [2016-09-23 16:35:27] 823*2^1440563-1 is not prime. Res64: 21AC6E6F3DAFF3BB Time : 0.0 sec. user=mdettweiler [2016-09-23 16:35:28] 899*2^1440564-1 is not prime. Res64: 96E3E181D62418B7 Time : 0.0 sec. user=mdettweiler [2016-09-23 16:35:28] 625*2^1440565-1 is not prime. Res64: DC4000C4B1D835F9 Time : 0.0 sec. user=mdettweiler [2016-09-23 16:45:51] 715*2^1440565-1 is not prime. Res64: 6631DFA17D9BEF63 Time : 0.0 sec. user=mdettweiler [2016-09-23 16:45:52] 765*2^1440565-1 is not prime. Res64: 7909A209388C0AE9 Time : 0.0 sec. user=mdettweiler [2016-09-23 16:45:52] 603*2^1440566-1 is not prime. Res64: 75B7A54D0DBD15BF Time : 0.0 sec. user=mdettweiler [2016-09-23 16:45:52] 641*2^1440566-1 is not prime. Res64: E72142E74C945117 Time : 0.0 sec. user=mdettweiler [2016-09-23 16:45:53] 713*2^1440566-1 is not prime. Res64: E2FBA62AF8C93490 Time : 0.0 sec. user=mdettweiler [2016-09-23 16:53:58] 741*2^1440566-1 is not prime. Res64: F5D86823CDC8FE09 Time : 0.0 sec. user=mdettweiler [2016-09-23 16:53:58] 761*2^1440566-1 is not prime. Res64: C6E62CCC49B5BA0A Time : 0.0 sec. user=mdettweiler [2016-09-23 16:53:58] 935*2^1440566-1 is not prime. Res64: 520D8768D080820A Time : 0.0 sec. user=mdettweiler [2016-09-23 16:53:59] 981*2^1440566-1 is not prime. Res64: A34C427F3ADECFED Time : 0.0 sec. user=mdettweiler [2016-09-23 16:53:59] 601*2^1440567-1 is not prime. Res64: 993FB6CBBC7A2B3C Time : 0.0 sec. user=mdettweiler [2016-09-23 17:12:06] 619*2^1440567-1 is not prime. Res64: 43404F5C1FC9FF6D Time : 0.0 sec. user=mdettweiler [2016-09-23 17:12:07] 933*2^1440567-1 is not prime. Res64: E8EA65374D836FB1 Time : 0.0 sec. user=mdettweiler [2016-09-23 17:12:07] 975*2^1440567-1 is not prime. Res64: B18E5D1ECA7CC66F Time : 0.0 sec. user=mdettweiler [2016-09-23 17:12:07] 979*2^1440567-1 is not prime. Res64: E9A5A046533CD693 Time : 0.0 sec. user=mdettweiler [2016-09-23 17:12:08] 645*2^1440568-1 is not prime. Res64: 97132609A522178F Time : 0.0 sec. user=mdettweiler [2016-09-23 17:31:14] 657*2^1440569-1 is not prime. Res64: 871D406AADBB5086 Time : 0.0 sec. user=mdettweiler [2016-09-23 17:31:15] 697*2^1440569-1 is not prime. Res64: D955A1B861BE8D2C Time : 0.0 sec. user=mdettweiler [2016-09-23 17:31:15] 781*2^1440569-1 is not prime. Res64: A503BAAEAFF58583 Time : 0.0 sec. user=mdettweiler [2016-09-23 17:31:15] 879*2^1440569-1 is not prime. Res64: D9D2EC5181A052B3 Time : 0.0 sec. user=mdettweiler [2016-09-23 17:31:16] 957*2^1440569-1 is not prime. Res64: 9F12E1FA213DFD30 Time : 0.0 sec. user=mdettweiler [2016-09-23 17:39:40] 969*2^1440569-1 is not prime. Res64: 5A7C327349D302A5 Time : 0.0 sec. user=mdettweiler [2016-09-23 17:39:40] 651*2^1440570-1 is not prime. Res64: 18E3EAEB119DF5A6 Time : 0.0 sec. user=mdettweiler [2016-09-23 17:39:41] 677*2^1440570-1 is not prime. Res64: 239FA692B9191546 Time : 0.0 sec. user=mdettweiler [2016-09-23 17:39:41] 707*2^1440570-1 is not prime. Res64: B921C45B969F02FC Time : 0.0 sec. user=mdettweiler [2016-09-23 17:39:41] 717*2^1440570-1 is not prime. Res64: 6BFD54A33523B983 Time : 0.0 sec. user=mdettweiler [2016-09-23 17:57:54] 725*2^1440570-1 is not prime. Res64: E800970A20A7B1A5 Time : 0.0 sec. user=mdettweiler [2016-09-23 17:57:54] 873*2^1440570-1 is not prime. Res64: CAFF7C277F4A1CDE Time : 0.0 sec. user=mdettweiler [2016-09-23 17:57:55] 891*2^1440570-1 is not prime. Res64: 24AE41B69D6EFD43 Time : 0.0 sec. user=mdettweiler [2016-09-23 17:57:55] 921*2^1440570-1 is not prime. Res64: 3D445276089A1A01 Time : 0.0 sec. user=mdettweiler [2016-09-23 17:57:55] 923*2^1440570-1 is not prime. Res64: 946FBFF35AE03684 Time : 0.0 sec. user=mdettweiler [2016-09-23 18:17:17] 933*2^1440570-1 is not prime. Res64: D3B191333975E441 Time : 0.0 sec. user=mdettweiler [2016-09-23 18:17:18] 615*2^1440571-1 is not prime. Res64: AAAFC1A66354F79F Time : 0.0 sec. user=mdettweiler [2016-09-23 18:17:18] 639*2^1440571-1 is not prime. Res64: D78709B1D91F4F6B Time : 0.0 sec. user=mdettweiler [2016-09-23 18:17:18] 681*2^1440571-1 is not prime. Res64: CAE8E04D24E09027 Time : 0.0 sec. user=mdettweiler [2016-09-23 18:17:19] 931*2^1440571-1 is not prime. Res64: 3853C986C32B5214 Time : 0.0 sec. user=mdettweiler [2016-09-23 18:25:48] 665*2^1440572-1 is not prime. Res64: 5B573C1E5E616FA0 Time : 0.0 sec. user=mdettweiler [2016-09-23 18:25:48] 683*2^1440572-1 is not prime. Res64: 9769647DE0FCDF53 Time : 0.0 sec. user=mdettweiler [2016-09-23 18:25:48] 699*2^1440572-1 is not prime. Res64: 050713F8957AE58B Time : 0.0 sec. user=mdettweiler [2016-09-23 18:25:49] 777*2^1440572-1 is not prime. Res64: 74A305E3803094CD Time : 0.0 sec. user=mdettweiler [2016-09-23 18:25:49] 785*2^1440572-1 is not prime. Res64: 62B80D19ED45BC20 Time : 0.0 sec. user=mdettweiler [2016-09-23 18:43:28] 899*2^1440572-1 is not prime. Res64: 4B5BC8737203DFA6 Time : 0.0 sec. user=mdettweiler [2016-09-23 18:43:28] 615*2^1440573-1 is not prime. Res64: 99A2B89D997E5868 Time : 0.0 sec. user=mdettweiler [2016-09-23 18:43:29] 675*2^1440573-1 is not prime. Res64: 266FD35993EE150F Time : 0.0 sec. user=mdettweiler [2016-09-23 18:43:29] 829*2^1440573-1 is not prime. Res64: 487FDE4632F27581 Time : 0.0 sec. user=mdettweiler [2016-09-23 18:43:29] 849*2^1440573-1 is not prime. Res64: A7B78946AF7FFE24 Time : 0.0 sec. user=mdettweiler [2016-09-23 19:03:22] 861*2^1440573-1 is not prime. Res64: 6CF925735815268D Time : 0.0 sec. user=mdettweiler [2016-09-23 19:03:24] 867*2^1440573-1 is not prime. Res64: 6D8B0B9DFED6C896 Time : 0.0 sec. user=mdettweiler [2016-09-23 19:03:26] 945*2^1440573-1 is not prime. Res64: 94B13772819930A8 Time : 0.0 sec. user=mdettweiler [2016-09-23 19:03:27] 605*2^1440574-1 is not prime. Res64: 0E376B9695454D35 Time : 0.0 sec. user=mdettweiler [2016-09-23 19:03:28] 657*2^1440574-1 is not prime. Res64: B6E30FFBB8CED268 Time : 0.0 sec. user=mdettweiler [2016-09-23 19:11:59] 741*2^1440574-1 is not prime. Res64: 1914703C27F2E35C Time : 0.0 sec. user=mdettweiler [2016-09-23 19:11:59] 791*2^1440574-1 is not prime. Res64: 8E129AC955423DAC Time : 0.0 sec. user=mdettweiler [2016-09-23 19:12:00] 915*2^1440574-1 is not prime. Res64: 50D1DFEFDDD4BB1B Time : 0.0 sec. user=mdettweiler [2016-09-23 19:12:00] 941*2^1440574-1 is not prime. Res64: 9C64CABA0B93545C Time : 0.0 sec. user=mdettweiler [2016-09-23 19:12:01] 971*2^1440574-1 is not prime. Res64: A6B851E861A70B87 Time : 0.0 sec. user=mdettweiler [2016-09-23 19:29:36] 983*2^1440574-1 is not prime. Res64: 3BC493F008BE225F Time : 0.0 sec. user=mdettweiler [2016-09-23 19:29:36] 987*2^1440574-1 is not prime. Res64: 87FCBBA2CCBB59C3 Time : 0.0 sec. user=mdettweiler [2016-09-23 19:29:37] 693*2^1440575-1 is not prime. Res64: 64968736B7DB8DEA Time : 0.0 sec. user=mdettweiler [2016-09-23 19:29:37] 789*2^1440575-1 is not prime. Res64: 00EEDAD5DD504034 Time : 0.0 sec. user=mdettweiler [2016-09-23 19:29:37] 859*2^1440575-1 is not prime. Res64: F53CC12E980D9B23 Time : 0.0 sec. user=mdettweiler [2016-09-23 19:49:23] 695*2^1440576-1 is not prime. Res64: CC647AFD677F1FA4 Time : 0.0 sec. user=mdettweiler [2016-09-23 19:49:24] 707*2^1440576-1 is not prime. Res64: 771725BA6DE19EB3 Time : 0.0 sec. user=mdettweiler [2016-09-23 19:49:24] 719*2^1440576-1 is not prime. Res64: B72F2BB3DDAB45D7 Time : 0.0 sec. user=mdettweiler [2016-09-23 19:49:24] 845*2^1440576-1 is not prime. Res64: A909BF581BA8D25A Time : 0.0 sec. user=mdettweiler [2016-09-23 19:49:25] 887*2^1440576-1 is not prime. Res64: 287F68BEB73E4941 Time : 0.0 sec. user=mdettweiler [2016-09-23 19:58:05] 905*2^1440576-1 is not prime. Res64: BD0263A898CB990F Time : 0.0 sec. user=mdettweiler [2016-09-23 19:58:06] 917*2^1440576-1 is not prime. Res64: CDB9FEC7CBD464CF Time : 0.0 sec. user=mdettweiler [2016-09-23 19:58:06] 775*2^1440577-1 is not prime. Res64: 9FFA2E8B4F771D4C Time : 0.0 sec. user=mdettweiler [2016-09-23 19:58:06] 665*2^1440578-1 is not prime. Res64: 5EE85A82723DCF51 Time : 0.0 sec. user=mdettweiler [2016-09-23 19:58:06] 791*2^1440578-1 is not prime. Res64: DB2F0D51A966F9E7 Time : 0.0 sec. user=mdettweiler [2016-09-23 20:17:20] 843*2^1440578-1 is not prime. Res64: 45C28CD9E87336D5 Time : 0.0 sec. user=mdettweiler [2016-09-23 20:17:21] 971*2^1440578-1 is not prime. Res64: 477468B30F6EE18E Time : 0.0 sec. user=mdettweiler [2016-09-23 20:17:21] 1001*2^1440578-1 is not prime. Res64: D19D7535BE382398 Time : 0.0 sec. user=mdettweiler [2016-09-23 20:17:22] 669*2^1440579-1 is not prime. Res64: 2DE15BC92B33CDD0 Time : 0.0 sec. user=mdettweiler [2016-09-23 20:17:22] 709*2^1440579-1 is not prime. Res64: 7A725D3133BFABDB Time : 0.0 sec. user=mdettweiler [2016-09-23 20:17:57] 843*2^1440568-1 is not prime. Res64: F994BE6A19838420 Time : 0.0 sec. user=mdettweiler [2016-09-23 20:17:58] 899*2^1440568-1 is not prime. Res64: 87D6D92788F7E40D Time : 0.0 sec. user=mdettweiler [2016-09-23 20:17:58] 927*2^1440568-1 is not prime. Res64: 2DD9FE4A1DCB98B3 Time : 0.0 sec. user=mdettweiler [2016-09-23 20:17:58] 615*2^1440569-1 is not prime. Res64: B2215BF4D5C492EE Time : 0.0 sec. user=mdettweiler [2016-09-23 20:17:59] 645*2^1440569-1 is not prime. Res64: CE652EFE5F161ADD Time : 0.0 sec. user=mdettweiler [2016-09-23 20:36:44] 795*2^1440579-1 is not prime. Res64: 95D33B81275913E6 Time : 0.0 sec. user=mdettweiler [2016-09-23 20:36:44] 835*2^1440579-1 is not prime. Res64: 7F85DF61AFF62948 Time : 0.0 sec. user=mdettweiler [2016-09-23 20:36:45] 903*2^1440579-1 is not prime. Res64: 56613F50600CDFFA Time : 0.0 sec. user=mdettweiler [2016-09-23 20:36:45] 979*2^1440579-1 is not prime. Res64: 4AED908354FD268A Time : 0.0 sec. user=mdettweiler [2016-09-23 20:36:46] 813*2^1440580-1 is not prime. Res64: D1063A9A58B8130E Time : 0.0 sec. user=mdettweiler [2016-09-23 20:45:19] 857*2^1440580-1 is not prime. Res64: AEDF461F45728EAE Time : 0.0 sec. user=mdettweiler [2016-09-23 20:45:20] 887*2^1440580-1 is not prime. Res64: CE7EABB4F1AD6067 Time : 0.0 sec. user=mdettweiler [2016-09-23 20:45:20] 929*2^1440580-1 is not prime. Res64: F6EC58D3E87B6AB2 Time : 0.0 sec. user=mdettweiler [2016-09-23 20:45:21] 989*2^1440580-1 is not prime. Res64: E55DBA5C1555B2BA Time : 0.0 sec. user=mdettweiler [2016-09-23 20:45:21] 999*2^1440580-1 is not prime. Res64: 4471BE30A921823B Time : 0.0 sec. user=mdettweiler [2016-09-23 21:02:35] 717*2^1440581-1 is not prime. Res64: 887D25EB7DD471F8 Time : 0.0 sec. user=mdettweiler [2016-09-23 21:02:36] 825*2^1440581-1 is not prime. Res64: 5B81AF98155F7898 Time : 0.0 sec. user=mdettweiler [2016-09-23 21:02:37] 901*2^1440581-1 is not prime. Res64: 54791091DF8F2CC5 Time : 0.0 sec. user=mdettweiler [2016-09-23 21:02:38] 705*2^1440582-1 is not prime. Res64: 322FB7909B6E8AA1 Time : 0.0 sec. user=mdettweiler [2016-09-23 21:02:38] 765*2^1440582-1 is not prime. Res64: 144150C5431271F5 Time : 0.0 sec. user=mdettweiler [2016-09-23 21:02:55] 801*2^1440582-1 is not prime. Res64: E5EA0BB2E4FECE40 Time : 0.0 sec. user=mdettweiler [2016-09-23 21:02:56] 843*2^1440582-1 is not prime. Res64: 58CDD037D1321264 Time : 0.0 sec. user=mdettweiler [2016-09-23 21:02:57] 917*2^1440582-1 is not prime. Res64: 4626B11FD8073C94 Time : 0.0 sec. user=mdettweiler [2016-09-23 21:02:58] 975*2^1440582-1 is not prime. Res64: DEC1285E508FF626 Time : 0.0 sec. user=mdettweiler [2016-09-23 21:02:58] 983*2^1440582-1 is not prime. Res64: D243EB5183550767 Time : 0.0 sec. user=mdettweiler [2016-09-23 21:21:50] 873*2^1440583-1 is not prime. Res64: 8D79B28E5557214C Time : 0.0 sec. user=mdettweiler [2016-09-23 21:21:51] 901*2^1440583-1 is not prime. Res64: 9A88D15577B44407 Time : 0.0 sec. user=mdettweiler [2016-09-23 21:21:51] 913*2^1440583-1 is not prime. Res64: 8D736538E04DF9A4 Time : 0.0 sec. user=mdettweiler [2016-09-23 21:21:52] 919*2^1440583-1 is not prime. Res64: CB80D74F7FA290A4 Time : 0.0 sec. user=mdettweiler [2016-09-23 21:21:52] 925*2^1440583-1 is not prime. Res64: 9B6AA0012896D54F Time : 0.0 sec. user=mdettweiler [2016-09-23 21:30:18] 699*2^1440584-1 is not prime. Res64: 11C3E495F2121B02 Time : 0.0 sec. user=mdettweiler [2016-09-23 21:30:19] 747*2^1440584-1 is not prime. Res64: B718DEF8D368FAFC Time : 0.0 sec. user=mdettweiler [2016-09-23 21:30:19] 843*2^1440584-1 is not prime. Res64: E1084468E6612AF8 Time : 0.0 sec. user=mdettweiler [2016-09-23 21:30:20] 969*2^1440584-1 is not prime. Res64: 9710B8815AA165C4 Time : 0.0 sec. user=mdettweiler [2016-09-23 21:30:20] 675*2^1440585-1 is not prime. Res64: 5F5C2EE3B5C09396 Time : 0.0 sec. user=mdettweiler [2016-09-23 21:47:52] 765*2^1440585-1 is not prime. Res64: 9797B742C42E7E16 Time : 0.0 sec. user=mdettweiler [2016-09-23 21:47:53] 777*2^1440585-1 is not prime. Res64: D576344474F247DA Time : 0.0 sec. user=mdettweiler [2016-09-23 21:47:53] 837*2^1440585-1 is not prime. Res64: 3066DA8FE1C51815 Time : 0.0 sec. user=mdettweiler [2016-09-23 21:47:54] 909*2^1440585-1 is not prime. Res64: B3EEBDD686802FDD Time : 0.0 sec. user=mdettweiler [2016-09-23 21:47:54] 951*2^1440585-1 is not prime. Res64: 0B141DED926005C5 Time : 0.0 sec. user=mdettweiler [2016-09-23 21:48:00] 647*2^1440586-1 is not prime. Res64: 2A427B0F3D873715 Time : 0.0 sec. user=mdettweiler [2016-09-23 21:48:01] 675*2^1440586-1 is not prime. Res64: EF9FC529ECD1D0E2 Time : 0.0 sec. user=mdettweiler [2016-09-23 21:48:02] 705*2^1440586-1 is not prime. Res64: B4A87BA3E198A6E4 Time : 0.0 sec. user=mdettweiler [2016-09-23 21:48:02] 765*2^1440586-1 is not prime. Res64: 7BB732CAEC5232EF Time : 0.0 sec. user=mdettweiler [2016-09-23 21:48:03] 783*2^1440586-1 is not prime. Res64: 850C04F8C69224FF Time : 0.0 sec. user=mdettweiler [2016-09-23 22:06:46] 801*2^1440586-1 is not prime. Res64: BCA697B98E76AE2D Time : 0.0 sec. user=mdettweiler [2016-09-23 22:06:48] 867*2^1440586-1 is not prime. Res64: A354E8559E1B6068 Time : 0.0 sec. user=mdettweiler [2016-09-23 22:06:49] 945*2^1440586-1 is not prime. Res64: DA6C020C3886A5AB Time : 0.0 sec. user=mdettweiler [2016-09-23 22:06:50] 983*2^1440586-1 is not prime. Res64: AD549842FE65F77A Time : 0.0 sec. user=mdettweiler [2016-09-23 22:06:52] 609*2^1440587-1 is not prime. Res64: 86F426356F80ADFE Time : 0.0 sec. user=mdettweiler [2016-09-23 22:15:35] 615*2^1440587-1 is not prime. Res64: 6B4F1489BAED9283 Time : 0.0 sec. user=mdettweiler [2016-09-23 22:15:35] 703*2^1440587-1 is not prime. Res64: 179EA151FF4563A0 Time : 0.0 sec. user=mdettweiler [2016-09-23 22:15:36] 999*2^1440587-1 is not prime. Res64: 39E828AE2F3051EA Time : 0.0 sec. user=mdettweiler [2016-09-23 22:15:36] 627*2^1440588-1 is not prime. Res64: 95C633F64688FA9B Time : 0.0 sec. user=mdettweiler [2016-09-23 22:15:36] 923*2^1440588-1 is not prime. Res64: F430B10C48488F36 Time : 0.0 sec. user=mdettweiler [2016-09-23 22:33:03] 959*2^1440588-1 is not prime. Res64: 641EA98CE241561E Time : 0.0 sec. user=mdettweiler [2016-09-23 22:33:03] 721*2^1440589-1 is not prime. Res64: 26E89D1E2D3F1E8D Time : 0.0 sec. user=mdettweiler [2016-09-23 22:33:04] 757*2^1440589-1 is not prime. Res64: 0A25633AF8427264 Time : 0.0 sec. user=mdettweiler [2016-09-23 22:33:04] 789*2^1440589-1 is not prime. Res64: F0489C579780DB10 Time : 0.0 sec. user=mdettweiler [2016-09-23 22:33:05] 939*2^1440589-1 is not prime. Res64: 2F3E40C5A4627ED4 Time : 0.0 sec. user=mdettweiler [2016-09-23 22:33:12] 957*2^1440589-1 is not prime. Res64: 79EA131CEC1D8B0C Time : 0.0 sec. user=mdettweiler [2016-09-23 22:33:13] 663*2^1440590-1 is not prime. Res64: 858B53D74A9E122C Time : 0.0 sec. user=mdettweiler [2016-09-23 22:33:13] 707*2^1440590-1 is not prime. Res64: 8D026CBC7F7A193F Time : 0.0 sec. user=mdettweiler [2016-09-23 22:33:13] 711*2^1440590-1 is not prime. Res64: FB9BBF015E3AB4C1 Time : 0.0 sec. user=mdettweiler [2016-09-23 22:33:14] 875*2^1440590-1 is not prime. Res64: 27E32391BA287C6E Time : 0.0 sec. user=mdettweiler [2016-09-23 22:54:12] 917*2^1440590-1 is not prime. Res64: 25B4852AE5B3D3CA Time : 0.0 sec. user=mdettweiler [2016-09-23 22:54:12] 921*2^1440590-1 is not prime. Res64: 9436925C2FCD3979 Time : 0.0 sec. user=mdettweiler [2016-09-23 22:54:13] 945*2^1440590-1 is not prime. Res64: 00B4B8E36CB04B92 Time : 0.0 sec. user=mdettweiler [2016-09-23 22:54:13] 601*2^1440591-1 is not prime. Res64: E0BF282EBEFDDF4D Time : 0.0 sec. user=mdettweiler [2016-09-23 22:54:14] 615*2^1440591-1 is not prime. Res64: 956B19C84D02EC86 Time : 0.0 sec. user=mdettweiler [2016-09-23 23:03:03] 739*2^1440591-1 is not prime. Res64: DD653069B3203821 Time : 0.0 sec. user=mdettweiler [2016-09-23 23:03:04] 783*2^1440591-1 is not prime. Res64: 2CAFB15A85FBE702 Time : 0.0 sec. user=mdettweiler [2016-09-23 23:03:04] 879*2^1440591-1 is not prime. Res64: 32A51B31DC64676D Time : 0.0 sec. user=mdettweiler [2016-09-23 23:03:05] 945*2^1440591-1 is not prime. Res64: 8511F953A56F3A82 Time : 0.0 sec. user=mdettweiler [2016-09-23 23:03:06] 961*2^1440591-1 is not prime. Res64: A48101D2C2DC5B85 Time : 0.0 sec. user=mdettweiler [2016-09-23 23:21:14] 979*2^1440591-1 is not prime. Res64: 0342E46AF5E13C5A Time : 0.0 sec. user=mdettweiler [2016-09-23 23:21:14] 653*2^1440592-1 is not prime. Res64: D9ABEAC5E0FB51C8 Time : 0.0 sec. user=mdettweiler [2016-09-23 23:21:15] 743*2^1440592-1 is not prime. Res64: 5B4F243736E0EFBC Time : 0.0 sec. user=mdettweiler [2016-09-23 23:21:15] 765*2^1440592-1 is not prime. Res64: 35E4F6CCCCAA8A81 Time : 0.0 sec. user=mdettweiler [2016-09-23 23:21:15] 779*2^1440592-1 is not prime. Res64: 65536DF264CD9FCE Time : 0.0 sec. user=mdettweiler [2016-09-23 23:21:18] 825*2^1440592-1 is not prime. Res64: 8465BB9FB3E9D5DA Time : 0.0 sec. user=mdettweiler [2016-09-23 23:21:19] 887*2^1440592-1 is not prime. Res64: DB6AABBF88BB6AFA Time : 0.0 sec. user=mdettweiler [2016-09-23 23:21:19] 917*2^1440592-1 is not prime. Res64: F0001C38093226C3 Time : 0.0 sec. user=mdettweiler [2016-09-23 23:21:19] 999*2^1440592-1 is not prime. Res64: 53C94ACF5B2035C3 Time : 0.0 sec. user=mdettweiler [2016-09-23 23:21:20] 697*2^1440593-1 is not prime. Res64: D180CF835799C678 Time : 0.0 sec. user=mdettweiler [2016-09-23 23:41:57] 769*2^1440593-1 is not prime. Res64: 65A10B736AD46873 Time : 0.0 sec. user=mdettweiler [2016-09-23 23:41:57] 811*2^1440593-1 is not prime. Res64: 3881DE5D7141F568 Time : 0.0 sec. user=mdettweiler [2016-09-23 23:41:57] 981*2^1440593-1 is not prime. Res64: 214A006EED07036A Time : 0.0 sec. user=mdettweiler [2016-09-23 23:41:58] 833*2^1440594-1 is not prime. Res64: 7C4596F6E8ED5EE0 Time : 0.0 sec. user=mdettweiler [2016-09-23 23:41:58] 861*2^1440594-1 is not prime. Res64: EE5FDC5DCAB32090 Time : 0.0 sec. user=mdettweiler [2016-09-23 23:51:33] 983*2^1440594-1 is not prime. Res64: 6304D7D3613EB6FD Time : 0.0 sec. user=mdettweiler [2016-09-23 23:51:34] 603*2^1440595-1 is not prime. Res64: 22C6E0F414B90200 Time : 0.0 sec. user=mdettweiler [2016-09-23 23:51:34] 609*2^1440595-1 is not prime. Res64: 33B0CFE9873E9FDA Time : 0.0 sec. user=mdettweiler [2016-09-23 23:51:35] 649*2^1440595-1 is not prime. Res64: 71898924E200407F Time : 0.0 sec. user=mdettweiler [2016-09-23 23:51:36] 663*2^1440595-1 is not prime. Res64: F07BBC54B2100F6A Time : 0.0 sec.