user=mdettweiler [2018-11-14 00:18:49] 609*2^1531257-1 is not prime. Res64: A71CB2E41AFE53ED Time : 0.0 sec. user=mdettweiler [2018-11-14 00:18:50] 615*2^1531257-1 is not prime. Res64: C6B571BFEF2827C6 Time : 0.0 sec. user=mdettweiler [2018-11-14 00:18:50] 649*2^1531257-1 is not prime. Res64: DB8D0B50D88E1671 Time : 0.0 sec. user=mdettweiler [2018-11-14 00:18:51] 669*2^1531257-1 is not prime. Res64: 4EC05232DFA699B9 Time : 0.0 sec. user=mdettweiler [2018-11-14 00:18:51] 727*2^1531257-1 is not prime. Res64: 3F8F6796B0D7D015 Time : 0.0 sec. user=mdettweiler [2018-11-14 00:30:16] 835*2^1531257-1 is not prime. Res64: 4050236B052CF238 Time : 0.0 sec. user=mdettweiler [2018-11-14 00:30:17] 985*2^1531257-1 is not prime. Res64: 370D5890426A8639 Time : 0.0 sec. user=mdettweiler [2018-11-14 00:30:17] 991*2^1531257-1 is not prime. Res64: 35BBC3692CD20F78 Time : 0.0 sec. user=mdettweiler [2018-11-14 00:30:17] 611*2^1531258-1 is not prime. Res64: D52518A37EB9DEA3 Time : 0.0 sec. user=mdettweiler [2018-11-14 00:30:18] 645*2^1531258-1 is not prime. Res64: 2EEBC9122297A5D7 Time : 0.0 sec. user=mdettweiler [2018-11-14 00:42:54] 747*2^1531258-1 is not prime. Res64: 0A514FA22CAAFF7C Time : 0.0 sec. user=mdettweiler [2018-11-14 00:42:55] 801*2^1531258-1 is not prime. Res64: 6B6BA4CB2483A8E2 Time : 0.0 sec. user=mdettweiler [2018-11-14 00:42:55] 645*2^1531259-1 is not prime. Res64: 770F0C7BE59CA44F Time : 0.0 sec. user=mdettweiler [2018-11-14 00:42:55] 789*2^1531259-1 is not prime. Res64: 303D360AD58E706E Time : 0.0 sec. user=mdettweiler [2018-11-14 00:42:56] 883*2^1531259-1 is not prime. Res64: EE0681E3A67C2FE3 Time : 0.0 sec. user=mdettweiler [2018-11-14 00:51:59] 885*2^1531259-1 is not prime. Res64: 347827C5E67D03AD Time : 0.0 sec. user=mdettweiler [2018-11-14 00:52:00] 969*2^1531259-1 is not prime. Res64: C0B850DA20739B61 Time : 0.0 sec. user=mdettweiler [2018-11-14 00:52:00] 991*2^1531259-1 is not prime. Res64: 2AB2196225F702DE Time : 0.0 sec. user=mdettweiler [2018-11-14 00:52:00] 707*2^1531260-1 is not prime. Res64: B95B3B893452526F Time : 0.0 sec. user=mdettweiler [2018-11-14 00:52:01] 839*2^1531260-1 is not prime. Res64: 010EE1E35C36E57B Time : 0.0 sec. user=mdettweiler [2018-11-14 01:04:57] 735*2^1531263-1 is not prime. Res64: 5EA2DA4B33DC599B Time : 0.0 sec. user=mdettweiler [2018-11-14 01:10:09] 929*2^1531260-1 is not prime. Res64: 30F7674517679E15 Time : 0.0 sec. user=mdettweiler [2018-11-14 01:10:09] 983*2^1531260-1 is not prime. Res64: 51F6FD6B5FF1F957 Time : 0.0 sec. user=mdettweiler [2018-11-14 01:10:10] 651*2^1531261-1 is not prime. Res64: F2BE09102EAF12A8 Time : 0.0 sec. user=mdettweiler [2018-11-14 01:10:12] 681*2^1531261-1 is not prime. Res64: 503F36799CFCAE35 Time : 0.0 sec. user=mdettweiler [2018-11-14 01:10:12] 717*2^1531261-1 is not prime. Res64: 5C4458DB4652E853 Time : 0.0 sec. user=mdettweiler [2018-11-14 01:22:23] 741*2^1531261-1 is not prime. Res64: A68DEEC2318A936F Time : 0.0 sec. user=mdettweiler [2018-11-14 01:22:24] 747*2^1531261-1 is not prime. Res64: F216CE1B3710E0FC Time : 0.0 sec. user=mdettweiler [2018-11-14 01:22:24] 819*2^1531261-1 is not prime. Res64: 6D1D1421FE344FE8 Time : 0.0 sec. user=mdettweiler [2018-11-14 01:22:25] 931*2^1531261-1 is not prime. Res64: 17203A76ACA62B93 Time : 0.0 sec. user=mdettweiler [2018-11-14 01:22:25] 939*2^1531261-1 is not prime. Res64: 2E417865EE033B63 Time : 0.0 sec. user=mdettweiler [2018-11-14 01:36:27] 675*2^1531262-1 is not prime. Res64: 3E7D020E61B959F2 Time : 0.0 sec. user=mdettweiler [2018-11-14 01:36:29] 761*2^1531262-1 is not prime. Res64: 0623C4D7AFC2B627 Time : 0.0 sec. user=mdettweiler [2018-11-14 01:36:31] 791*2^1531262-1 is not prime. Res64: D1ED9F8261848D76 Time : 0.0 sec. user=mdettweiler [2018-11-14 01:36:33] 827*2^1531262-1 is not prime. Res64: DF21A033C9E8A000 Time : 0.0 sec. user=mdettweiler [2018-11-14 01:36:33] 833*2^1531262-1 is not prime. Res64: A07F2AF69E2FFB9E Time : 0.0 sec. user=mdettweiler [2018-11-14 01:45:49] 873*2^1531262-1 is not prime. Res64: DBC2A82415517D9B Time : 0.0 sec. user=mdettweiler [2018-11-14 01:45:49] 885*2^1531262-1 is not prime. Res64: 83EDD19396B8AA51 Time : 0.0 sec. user=mdettweiler [2018-11-14 01:45:50] 945*2^1531262-1 is not prime. Res64: 43364B808389D1A0 Time : 0.0 sec. user=mdettweiler [2018-11-14 01:45:50] 951*2^1531262-1 is not prime. Res64: F6DED29E806E34A0 Time : 0.0 sec. user=mdettweiler [2018-11-14 01:45:51] 625*2^1531263-1 is not prime. Res64: AA76B076FFC6F029 Time : 0.0 sec. user=mdettweiler [2018-11-14 02:04:29] 949*2^1531263-1 is not prime. Res64: 4E607B01A830B427 Time : 0.0 sec. user=mdettweiler [2018-11-14 02:04:31] 699*2^1531264-1 is not prime. Res64: BAB19C050BDFC8B7 Time : 0.0 sec. user=mdettweiler [2018-11-14 02:04:32] 743*2^1531264-1 is not prime. Res64: 08ED1C9352437F5B Time : 0.0 sec. user=mdettweiler [2018-11-14 02:04:33] 857*2^1531264-1 is not prime. Res64: 9EC7436F63CB7597 Time : 0.0 sec. user=mdettweiler [2018-11-14 02:04:34] 923*2^1531264-1 is not prime. Res64: 995DCE79105986E2 Time : 0.0 sec. user=mdettweiler [2018-11-14 02:19:00] 959*2^1531264-1 is not prime. Res64: B74D2931B1DDA547 Time : 0.0 sec. user=mdettweiler [2018-11-14 02:19:01] 697*2^1531265-1 is not prime. Res64: B2D6595C884044D2 Time : 0.0 sec. user=mdettweiler [2018-11-14 02:19:02] 771*2^1531265-1 is not prime. Res64: 94C053A0FC26DB46 Time : 0.0 sec. user=mdettweiler [2018-11-14 02:19:02] 781*2^1531265-1 is not prime. Res64: EEDA54C298E92649 Time : 0.0 sec. user=mdettweiler [2018-11-14 02:19:02] 909*2^1531265-1 is not prime. Res64: 937CFE0DED8FFF48 Time : 0.0 sec. user=mdettweiler [2018-11-14 02:36:34] 611*2^1531266-1 is not prime. Res64: 5E02703F9FB6E768 Time : 0.0 sec. user=mdettweiler [2018-11-14 02:36:35] 627*2^1531266-1 is not prime. Res64: 4AF9A1E5879DBFB0 Time : 0.0 sec. user=mdettweiler [2018-11-14 02:36:36] 683*2^1531266-1 is not prime. Res64: 94FF994613EA9F29 Time : 0.0 sec. user=mdettweiler [2018-11-14 02:36:37] 803*2^1531266-1 is not prime. Res64: 17F0E21215EC0400 Time : 0.0 sec. user=mdettweiler [2018-11-14 02:36:37] 893*2^1531266-1 is not prime. Res64: 46825DBCC35D5923 Time : 0.0 sec. user=mdettweiler [2018-11-14 02:53:19] 963*2^1531266-1 is not prime. Res64: 44FC5028D131CE53 Time : 0.0 sec. user=mdettweiler [2018-11-14 02:53:20] 971*2^1531266-1 is not prime. Res64: 3EEABF69D9DD2B1E Time : 0.0 sec. user=mdettweiler [2018-11-14 02:53:21] 983*2^1531266-1 is not prime. Res64: 8D5BA174F2F0385B Time : 0.0 sec. user=mdettweiler [2018-11-14 02:53:22] 691*2^1531267-1 is not prime. Res64: 6505842A0047C21E Time : 0.0 sec. user=mdettweiler [2018-11-14 02:53:23] 769*2^1531267-1 is not prime. Res64: E0DC658281D1C4E4 Time : 0.0 sec. user=mdettweiler [2018-11-14 03:13:19] 931*2^1531267-1 is not prime. Res64: B152754D74CE3F15 Time : 0.0 sec. user=mdettweiler [2018-11-14 03:13:20] 951*2^1531267-1 is not prime. Res64: 1571E70A2F8D0D5F Time : 0.0 sec. user=mdettweiler [2018-11-14 03:13:20] 623*2^1531268-1 is not prime. Res64: 8E62539DA8787107 Time : 0.0 sec. user=mdettweiler [2018-11-14 03:13:21] 647*2^1531268-1 is not prime. Res64: C447A7D344764043 Time : 0.0 sec. user=mdettweiler [2018-11-14 03:13:21] 669*2^1531268-1 is not prime. Res64: A67B155245835CC8 Time : 0.0 sec. user=mdettweiler [2018-11-14 03:23:42] 677*2^1531268-1 is not prime. Res64: 64333FD87A086E6D Time : 0.0 sec. user=mdettweiler [2018-11-14 03:23:43] 689*2^1531268-1 is not prime. Res64: E18D5D8C525408F3 Time : 0.0 sec. user=mdettweiler [2018-11-14 03:23:44] 845*2^1531268-1 is not prime. Res64: 9A71BF2543B55C0E Time : 0.0 sec. user=mdettweiler [2018-11-14 03:23:45] 869*2^1531268-1 is not prime. Res64: 880D7D0150DF40F9 Time : 0.0 sec. user=mdettweiler [2018-11-14 03:23:45] 899*2^1531268-1 is not prime. Res64: 1F25FFC16400452E Time : 0.0 sec. user=mdettweiler [2018-11-14 03:33:39] 909*2^1531268-1 is not prime. Res64: 3DACAEBBF80DFF77 Time : 0.0 sec. user=mdettweiler [2018-11-14 03:33:43] 649*2^1531269-1 is not prime. Res64: F83661C8E89A4EEE Time : 0.0 sec. user=mdettweiler [2018-11-14 03:33:45] 765*2^1531269-1 is not prime. Res64: 0A6402E3B92A8024 Time : 0.0 sec. user=mdettweiler [2018-11-14 03:33:47] 847*2^1531269-1 is not prime. Res64: 5CE69C24C30CCE3E Time : 0.0 sec. user=mdettweiler [2018-11-14 03:33:49] 927*2^1531269-1 is not prime. Res64: 8078748CD4EED142 Time : 0.0 sec. user=mdettweiler [2018-11-14 03:45:11] 647*2^1531270-1 is not prime. Res64: 6857AC7A436BA797 Time : 0.0 sec. user=mdettweiler [2018-11-14 03:45:11] 665*2^1531270-1 is not prime. Res64: 450DC9E14DC6E53F Time : 0.0 sec. user=mdettweiler [2018-11-14 03:45:13] 723*2^1531270-1 is not prime. Res64: 09343758CBE50392 Time : 0.0 sec. user=mdettweiler [2018-11-14 03:45:14] 867*2^1531270-1 is not prime. Res64: E0ED26F23AA6B9DF Time : 0.0 sec. user=mdettweiler [2018-11-14 03:45:15] 945*2^1531270-1 is not prime. Res64: A423820DA875B413 Time : 0.0 sec. user=mdettweiler [2018-11-14 04:05:11] 975*2^1531270-1 is not prime. Res64: 381753E79D7B4F78 Time : 0.0 sec. user=mdettweiler [2018-11-14 04:05:13] 661*2^1531271-1 is not prime. Res64: DB90A5BF5FFBFE9B Time : 0.0 sec. user=mdettweiler [2018-11-14 04:05:22] 775*2^1531271-1 is not prime. Res64: D293050454E99707 Time : 0.0 sec. user=mdettweiler [2018-11-14 04:05:25] 939*2^1531271-1 is not prime. Res64: A837E677D773B838 Time : 0.0 sec. user=mdettweiler [2018-11-14 04:05:29] 949*2^1531271-1 is not prime. Res64: B2F8B5D3A29B4E17 Time : 0.0 sec. user=mdettweiler [2018-11-14 04:14:41] 955*2^1531271-1 is not prime. Res64: D2CCD288CC3AD594 Time : 0.0 sec. user=mdettweiler [2018-11-14 04:14:42] 973*2^1531271-1 is not prime. Res64: 82252778574A3140 Time : 0.0 sec. user=mdettweiler [2018-11-14 04:14:42] 981*2^1531271-1 is not prime. Res64: D6E2FCB20FFA8570 Time : 0.0 sec. user=mdettweiler [2018-11-14 04:14:43] 675*2^1531272-1 is not prime. Res64: 948E255D64B95283 Time : 0.0 sec. user=mdettweiler [2018-11-14 04:14:44] 887*2^1531272-1 is not prime. Res64: CD92986B894E6F74 Time : 0.0 sec. user=mdettweiler [2018-11-14 04:25:00] 915*2^1531272-1 is not prime. Res64: 028F68502761751A Time : 0.0 sec. user=mdettweiler [2018-11-14 04:25:01] 945*2^1531272-1 is not prime. Res64: B63E9A4016250439 Time : 0.0 sec. user=mdettweiler [2018-11-14 04:25:02] 983*2^1531272-1 is not prime. Res64: 6EA31CC8A111D270 Time : 0.0 sec. user=mdettweiler [2018-11-14 04:25:03] 649*2^1531273-1 is not prime. Res64: 1F953D4B5ECD2BBB Time : 0.0 sec. user=mdettweiler [2018-11-14 04:25:03] 721*2^1531273-1 is not prime. Res64: 5740327DCD4BA545 Time : 0.0 sec. user=mdettweiler [2018-11-14 04:36:21] 805*2^1531273-1 is not prime. Res64: FFA5A82A5A08EF6B Time : 0.0 sec. user=mdettweiler [2018-11-14 04:36:21] 807*2^1531273-1 is not prime. Res64: A3A5249C1E463CF2 Time : 0.0 sec. user=mdettweiler [2018-11-14 04:36:22] 831*2^1531273-1 is not prime. Res64: D9651CC937BB416F Time : 0.0 sec. user=mdettweiler [2018-11-14 04:36:23] 847*2^1531273-1 is not prime. Res64: C77B8FFD2F94A290 Time : 0.0 sec. user=mdettweiler [2018-11-14 04:36:24] 861*2^1531273-1 is not prime. Res64: 9508D8209866EC82 Time : 0.0 sec. user=mdettweiler [2018-11-14 04:57:06] 889*2^1531273-1 is not prime. Res64: 7F7870187358FF14 Time : 0.0 sec. user=mdettweiler [2018-11-14 04:57:06] 937*2^1531273-1 is not prime. Res64: 3F692E90610B95A9 Time : 0.0 sec. user=mdettweiler [2018-11-14 04:57:08] 615*2^1531274-1 is not prime. Res64: 2366EEC848F01E58 Time : 0.0 sec. user=mdettweiler [2018-11-14 04:57:09] 627*2^1531274-1 is not prime. Res64: 368C71A3A3A48E19 Time : 0.0 sec. user=mdettweiler [2018-11-14 04:57:10] 707*2^1531274-1 is not prime. Res64: CF7420A8D05D5B2E Time : 0.0 sec. user=mdettweiler [2018-11-14 05:05:16] 797*2^1531274-1 is not prime. Res64: E881EB19D7D4A4A4 Time : 0.0 sec. user=mdettweiler [2018-11-14 05:05:17] 815*2^1531274-1 is not prime. Res64: 22CF3249648A9742 Time : 0.0 sec. user=mdettweiler [2018-11-14 05:05:18] 837*2^1531274-1 is not prime. Res64: 6057196A5A5C18A6 Time : 0.0 sec. user=mdettweiler [2018-11-14 05:05:20] 887*2^1531274-1 is not prime. Res64: CE5DC31C8AA6813F Time : 0.0 sec. user=mdettweiler [2018-11-14 05:05:21] 935*2^1531274-1 is not prime. Res64: 0932C61B8FE0137B Time : 0.0 sec. user=mdettweiler [2018-11-14 05:15:51] 945*2^1531274-1 is not prime. Res64: 03FA4CF6C60E53C1 Time : 0.0 sec. user=mdettweiler [2018-11-14 05:15:52] 651*2^1531275-1 is not prime. Res64: 8267E221D2FFE11C Time : 0.0 sec. user=mdettweiler [2018-11-14 05:15:53] 709*2^1531275-1 is not prime. Res64: EC5DC93B60E384B7 Time : 0.0 sec. user=mdettweiler [2018-11-14 05:15:54] 735*2^1531275-1 is not prime. Res64: 32EB3470C67FAFEF Time : 0.0 sec. user=mdettweiler [2018-11-14 05:15:54] 765*2^1531275-1 is not prime. Res64: 61C8F4205C67BBF1 Time : 0.0 sec. user=mdettweiler [2018-11-14 05:26:58] 789*2^1531275-1 is not prime. Res64: F6E96A999C71805C Time : 0.0 sec. user=mdettweiler [2018-11-14 05:26:58] 795*2^1531275-1 is not prime. Res64: 78454671DA9E795A Time : 0.0 sec. user=mdettweiler [2018-11-14 05:26:59] 819*2^1531275-1 is not prime. Res64: 676E5656801D8DC2 Time : 0.0 sec. user=mdettweiler [2018-11-14 05:27:00] 829*2^1531275-1 is not prime. Res64: 2496E7161E4E70A7 Time : 0.0 sec. user=mdettweiler [2018-11-14 05:27:01] 871*2^1531275-1 is not prime. Res64: 9366737B8CFE272F Time : 0.0 sec. user=mdettweiler [2018-11-14 05:47:48] 903*2^1531275-1 is not prime. Res64: 6E7D5B6853DA5D32 Time : 0.0 sec. user=mdettweiler [2018-11-14 05:47:48] 913*2^1531275-1 is not prime. Res64: 1EFF634561823CD1 Time : 0.0 sec. user=mdettweiler [2018-11-14 05:47:49] 961*2^1531275-1 is not prime. Res64: 21D486144FB43155 Time : 0.0 sec. user=mdettweiler [2018-11-14 05:47:49] 963*2^1531275-1 is not prime. Res64: C9F40B590B23C153 Time : 0.0 sec. user=mdettweiler [2018-11-14 05:47:50] 985*2^1531275-1 is not prime. Res64: 23E34C5B0943B109 Time : 0.0 sec. user=mdettweiler [2018-11-14 05:56:07] 723*2^1531276-1 is not prime. Res64: C5F46BB0BD6A333D Time : 0.0 sec. user=mdettweiler [2018-11-14 05:56:07] 785*2^1531276-1 is not prime. Res64: 9B0C54DC0E29C14D Time : 0.0 sec. user=mdettweiler [2018-11-14 05:56:08] 887*2^1531276-1 is not prime. Res64: 678530D42CBCF9D0 Time : 0.0 sec. user=mdettweiler [2018-11-14 05:56:08] 939*2^1531276-1 is not prime. Res64: 140248CD33F2F1E5 Time : 0.0 sec. user=mdettweiler [2018-11-14 05:56:09] 983*2^1531276-1 is not prime. Res64: 7C4CC1AD10CF1594 Time : 0.0 sec. user=mdettweiler [2018-11-14 06:06:25] 987*2^1531276-1 is not prime. Res64: 76ABC73A17486B59 Time : 0.0 sec. user=mdettweiler [2018-11-14 06:06:26] 727*2^1531277-1 is not prime. Res64: E87B9F92473ACE94 Time : 0.0 sec. user=mdettweiler [2018-11-14 06:06:28] 757*2^1531277-1 is not prime. Res64: 081BBC0CEA811552 Time : 0.0 sec. user=mdettweiler [2018-11-14 06:06:29] 759*2^1531277-1 is not prime. Res64: FE891E4D3B7978C2 Time : 0.0 sec. user=mdettweiler [2018-11-14 06:06:30] 769*2^1531277-1 is not prime. Res64: 5BCB7AA535B82A1D Time : 0.0 sec. user=mdettweiler [2018-11-14 06:17:52] 801*2^1531277-1 is not prime. Res64: 1A0F5A0D29D6160B Time : 0.0 sec. user=mdettweiler [2018-11-14 06:17:52] 605*2^1531278-1 is not prime. Res64: 14F322E82FB4A440 Time : 0.0 sec. user=mdettweiler [2018-11-14 06:17:53] 611*2^1531278-1 is not prime. Res64: 125F4B5197FDF423 Time : 0.0 sec. user=mdettweiler [2018-11-14 06:17:53] 657*2^1531278-1 is not prime. Res64: AAFE084D995DEC0A Time : 0.0 sec. user=mdettweiler [2018-11-14 06:17:54] 663*2^1531278-1 is not prime. Res64: DD7D4C660E3CF7B9 Time : 0.0 sec. user=mdettweiler [2018-11-14 06:38:29] 777*2^1531278-1 is not prime. Res64: 545218A74BE6FC3F Time : 0.0 sec. user=mdettweiler [2018-11-14 06:38:29] 867*2^1531278-1 is not prime. Res64: E625805EC8094CB2 Time : 0.0 sec. user=mdettweiler [2018-11-14 06:38:30] 881*2^1531278-1 is not prime. Res64: 0F729222FEB9BA92 Time : 0.0 sec. user=mdettweiler [2018-11-14 06:38:30] 941*2^1531278-1 is not prime. Res64: A5775AB6B17B1AC2 Time : 0.0 sec. user=mdettweiler [2018-11-14 06:38:31] 945*2^1531278-1 is not prime. Res64: 669280ED03C1F4C2 Time : 0.0 sec. user=mdettweiler [2018-11-14 06:46:49] 603*2^1531279-1 is not prime. Res64: 614C635F373D4DC9 Time : 0.0 sec. user=mdettweiler [2018-11-14 06:46:50] 619*2^1531279-1 is not prime. Res64: 2B35C3949ACEEF5A Time : 0.0 sec. user=mdettweiler [2018-11-14 06:46:52] 685*2^1531279-1 is not prime. Res64: 16AAE200855032E3 Time : 0.0 sec. user=mdettweiler [2018-11-14 06:46:53] 735*2^1531279-1 is not prime. Res64: 6A473218EC7F02D3 Time : 0.0 sec. user=mdettweiler [2018-11-14 06:46:53] 889*2^1531279-1 is not prime. Res64: B1395ED3A285B40E Time : 0.0 sec. user=mdettweiler [2018-11-14 06:58:22] 975*2^1531279-1 is not prime. Res64: BAF1243740CE3D13 Time : 0.0 sec. user=mdettweiler [2018-11-14 06:58:23] 915*2^1531280-1 is not prime. Res64: 67E0039A43AE35F4 Time : 0.0 sec. user=mdettweiler [2018-11-14 06:58:23] 609*2^1531281-1 is not prime. Res64: 6379EBC5606EB68E Time : 0.0 sec. user=mdettweiler [2018-11-14 06:58:24] 675*2^1531281-1 is not prime. Res64: EC8E44750D49FA75 Time : 0.0 sec. user=mdettweiler [2018-11-14 06:58:24] 711*2^1531281-1 is not prime. Res64: 58FDC1F4225FD7C7 Time : 0.0 sec. user=mdettweiler [2018-11-14 07:08:29] 895*2^1531279-1 is not prime. Res64: 00998B3000971B4F Time : 0.0 sec. user=mdettweiler [2018-11-14 07:08:30] 745*2^1531281-1 is not prime. Res64: EDE70E7D30C2144C Time : 0.0 sec. user=mdettweiler [2018-11-14 07:08:30] 777*2^1531281-1 is not prime. Res64: 048ED9BCDF4F718A Time : 0.0 sec. user=mdettweiler [2018-11-14 07:08:31] 807*2^1531281-1 is not prime. Res64: 23519D0903833B0E Time : 0.0 sec. user=mdettweiler [2018-11-14 07:08:31] 865*2^1531281-1 is not prime. Res64: 7FC8D407875AD095 Time : 0.0 sec. user=mdettweiler [2018-11-14 07:29:17] 871*2^1531281-1 is not prime. Res64: 1D5256F05FC46214 Time : 0.0 sec. user=mdettweiler [2018-11-14 07:29:17] 877*2^1531281-1 is not prime. Res64: F6128999F8FFAA24 Time : 0.0 sec. user=mdettweiler [2018-11-14 07:29:18] 999*2^1531281-1 is not prime. Res64: 37CE996A38E143E3 Time : 0.0 sec. user=mdettweiler [2018-11-14 07:29:18] 621*2^1531282-1 is not prime. Res64: F8D7932F52AE6008 Time : 0.0 sec. user=mdettweiler [2018-11-14 07:29:19] 681*2^1531282-1 is not prime. Res64: E8D7195702E0360D Time : 0.0 sec. user=mdettweiler [2018-11-14 07:37:41] 741*2^1531282-1 is not prime. Res64: 35AAE0B894CB73C8 Time : 0.0 sec. user=mdettweiler [2018-11-14 07:37:42] 827*2^1531282-1 is not prime. Res64: 596011C2013AF9A5 Time : 0.0 sec. user=mdettweiler [2018-11-14 07:37:43] 867*2^1531282-1 is not prime. Res64: FA37962EC9F8E203 Time : 0.0 sec. user=mdettweiler [2018-11-14 07:37:43] 873*2^1531282-1 is not prime. Res64: 25EB2533E1994693 Time : 0.0 sec. user=mdettweiler [2018-11-14 07:37:44] 619*2^1531283-1 is not prime. Res64: 89007B9B93F990EE Time : 0.0 sec. user=mdettweiler [2018-11-14 07:49:17] 621*2^1531283-1 is not prime. Res64: 5F750E0AD2B4D56E Time : 0.0 sec. user=mdettweiler [2018-11-14 07:49:17] 631*2^1531283-1 is not prime. Res64: 43529013C63E4D00 Time : 0.0 sec. user=mdettweiler [2018-11-14 07:49:18] 675*2^1531283-1 is not prime. Res64: 99038A15A57221BA Time : 0.0 sec. user=mdettweiler [2018-11-14 07:49:18] 771*2^1531283-1 is not prime. Res64: C51553726F62BCB6 Time : 0.0 sec. user=mdettweiler [2018-11-14 07:49:19] 775*2^1531283-1 is not prime. Res64: ACD7BAB0BC21AC5B Time : 0.0 sec. user=mdettweiler [2018-11-14 07:59:21] 811*2^1531283-1 is not prime. Res64: 0832D2E4AE19B3F1 Time : 0.0 sec. user=mdettweiler [2018-11-14 07:59:22] 855*2^1531283-1 is not prime. Res64: 709E0068545428E7 Time : 0.0 sec. user=mdettweiler [2018-11-14 07:59:22] 635*2^1531284-1 is not prime. Res64: B002752A2919D3E0 Time : 0.0 sec. user=mdettweiler [2018-11-14 07:59:23] 663*2^1531284-1 is not prime. Res64: E0928FC4DCCD1C85 Time : 0.0 sec. user=mdettweiler [2018-11-14 07:59:23] 675*2^1531284-1 is not prime. Res64: 9DF49C65C7463125 Time : 0.0 sec. user=mdettweiler [2018-11-14 08:20:20] 693*2^1531284-1 is not prime. Res64: 4D5F29CE39E39B13 Time : 0.0 sec. user=mdettweiler [2018-11-14 08:20:20] 767*2^1531284-1 is not prime. Res64: C5E0E7BF822FD7AB Time : 0.0 sec. user=mdettweiler [2018-11-14 08:20:21] 899*2^1531284-1 is not prime. Res64: B6DD44D42C2E563D Time : 0.0 sec. user=mdettweiler [2018-11-14 08:20:21] 947*2^1531284-1 is not prime. Res64: B067AA07CC957A71 Time : 0.0 sec. user=mdettweiler [2018-11-14 08:20:22] 651*2^1531285-1 is not prime. Res64: D2126C105874D113 Time : 0.0 sec. user=mdettweiler [2018-11-14 08:29:22] 777*2^1531285-1 is not prime. Res64: 61CE3EC3D1FC2DC1 Time : 0.0 sec. user=mdettweiler [2018-11-14 08:29:22] 789*2^1531285-1 is not prime. Res64: 2B785165ACC408FE Time : 0.0 sec. user=mdettweiler [2018-11-14 08:29:23] 805*2^1531285-1 is not prime. Res64: 4B56CF43B8CFDF14 Time : 0.0 sec. user=mdettweiler [2018-11-14 08:29:23] 825*2^1531285-1 is not prime. Res64: 9CA6E4A5082934F6 Time : 0.0 sec. user=mdettweiler [2018-11-14 08:29:24] 871*2^1531285-1 is not prime. Res64: FF04503920FD8346 Time : 0.0 sec. user=mdettweiler [2018-11-14 08:40:09] 877*2^1531285-1 is not prime. Res64: 02F08D4BF1A9FA66 Time : 0.0 sec. user=mdettweiler [2018-11-14 08:40:09] 651*2^1531286-1 is not prime. Res64: 166FB1353DD7084F Time : 0.0 sec. user=mdettweiler [2018-11-14 08:40:10] 707*2^1531286-1 is not prime. Res64: 580D08938EEC3C0E Time : 0.0 sec. user=mdettweiler [2018-11-14 08:40:10] 743*2^1531286-1 is not prime. Res64: 9B11491A56A8B9CB Time : 0.0 sec. user=mdettweiler [2018-11-14 08:40:11] 851*2^1531286-1 is not prime. Res64: 5A5E47F1DEB640FF Time : 0.0 sec. user=mdettweiler [2018-11-14 08:50:32] 893*2^1531286-1 is not prime. Res64: B1625F1E5D6BF1C4 Time : 0.0 sec. user=mdettweiler [2018-11-14 08:50:33] 643*2^1531287-1 is not prime. Res64: 2A04FC332C25C95B Time : 0.0 sec. user=mdettweiler [2018-11-14 08:50:34] 711*2^1531287-1 is not prime. Res64: 3A145B30F3A87042 Time : 0.0 sec. user=mdettweiler [2018-11-14 08:50:34] 831*2^1531287-1 is not prime. Res64: D50640E5BF71C975 Time : 0.0 sec. user=mdettweiler [2018-11-14 08:50:35] 871*2^1531287-1 is not prime. Res64: 47D4528002BC2E89 Time : 0.0 sec. user=mdettweiler [2018-11-14 09:11:12] 909*2^1531287-1 is not prime. Res64: 5653C05A0118423E Time : 0.0 sec. user=mdettweiler [2018-11-14 09:11:13] 955*2^1531287-1 is not prime. Res64: 2C062DA4065C2998 Time : 0.0 sec. user=mdettweiler [2018-11-14 09:11:14] 623*2^1531288-1 is not prime. Res64: 7BAEDFD62F105870 Time : 0.0 sec. user=mdettweiler [2018-11-14 09:11:14] 765*2^1531288-1 is not prime. Res64: 0C4EDE385DE6AC3E Time : 0.0 sec. user=mdettweiler [2018-11-14 09:11:15] 773*2^1531288-1 is not prime. Res64: 3F644AD96D749060 Time : 0.0 sec. user=mdettweiler [2018-11-14 09:20:11] 825*2^1531288-1 is not prime. Res64: 6AC9EAC4E5EA388F Time : 0.0 sec. user=mdettweiler [2018-11-14 09:20:11] 927*2^1531288-1 is not prime. Res64: 161B3596C71A9B42 Time : 0.0 sec. user=mdettweiler [2018-11-14 09:20:12] 933*2^1531288-1 is not prime. Res64: E21A367755531865 Time : 0.0 sec. user=mdettweiler [2018-11-14 09:20:12] 947*2^1531288-1 is not prime. Res64: 74B4BDB1864E04D6 Time : 0.0 sec. user=mdettweiler [2018-11-14 09:20:13] 989*2^1531288-1 is not prime. Res64: 28A73E44CD589CCA Time : 0.0 sec. user=mdettweiler [2018-11-14 09:30:56] 995*2^1531288-1 is not prime. Res64: DA7E942EE5C4313F Time : 0.0 sec. user=mdettweiler [2018-11-14 09:30:56] 657*2^1531289-1 is not prime. Res64: 00854F77A9DEDBBF Time : 0.0 sec. user=mdettweiler [2018-11-14 09:30:57] 727*2^1531289-1 is not prime. Res64: D6D7C047E6717C0E Time : 0.0 sec. user=mdettweiler [2018-11-14 09:30:57] 745*2^1531289-1 is not prime. Res64: 088E51FE742FA36A Time : 0.0 sec. user=mdettweiler [2018-11-14 09:30:58] 775*2^1531289-1 is not prime. Res64: 9F5E8A76B1173DCA Time : 0.0 sec. user=mdettweiler [2018-11-14 09:41:16] 841*2^1531289-1 is not prime. Res64: 56733560A5A47670 Time : 0.0 sec. user=mdettweiler [2018-11-14 09:41:16] 879*2^1531289-1 is not prime. Res64: 6B9ED7956468C723 Time : 0.0 sec. user=mdettweiler [2018-11-14 09:41:17] 885*2^1531289-1 is not prime. Res64: A17DA9477ADC0DFA Time : 0.0 sec. user=mdettweiler [2018-11-14 09:41:18] 633*2^1531290-1 is not prime. Res64: 9A1911F7ABA5EAD7 Time : 0.0 sec. user=mdettweiler [2018-11-14 09:41:19] 711*2^1531290-1 is not prime. Res64: 410F802753E90AED Time : 0.0 sec. user=mdettweiler [2018-11-14 10:02:21] 725*2^1531290-1 is not prime. Res64: 40816E3599EEFD3B Time : 0.0 sec. user=mdettweiler [2018-11-14 10:02:22] 783*2^1531290-1 is not prime. Res64: 1EF397481C503A19 Time : 0.0 sec. user=mdettweiler [2018-11-14 10:02:58] 851*2^1531290-1 is not prime. Res64: 2F866168340A42F6 Time : 0.0 sec. user=mdettweiler [2018-11-14 10:11:11] 675*2^1531291-1 is not prime. Res64: 8CCCAD8CFF484B0D Time : 0.0 sec. user=mdettweiler [2018-11-14 10:11:12] 679*2^1531291-1 is not prime. Res64: 89F0FE996CFDBAA8 Time : 0.0 sec. user=mdettweiler [2018-11-14 10:11:12] 741*2^1531291-1 is not prime. Res64: 7AE0DD95472605E0 Time : 0.0 sec. user=mdettweiler [2018-11-14 10:11:13] 771*2^1531291-1 is not prime. Res64: 1BF4E2C99F86FD21 Time : 0.0 sec. user=mdettweiler [2018-11-14 10:11:14] 859*2^1531291-1 is not prime. Res64: 037D2B5C11CD6B61 Time : 0.0 sec. user=mdettweiler [2018-11-14 10:21:54] 861*2^1531291-1 is not prime. Res64: 013F949D4701A17D Time : 0.0 sec. user=mdettweiler [2018-11-14 10:21:54] 979*2^1531291-1 is not prime. Res64: 17168654D620A6A8 Time : 0.0 sec. user=mdettweiler [2018-11-14 10:21:55] 633*2^1531292-1 is not prime. Res64: FCC08194306942B8 Time : 0.0 sec. user=mdettweiler [2018-11-14 10:21:56] 635*2^1531292-1 is not prime. Res64: 8621070AC5F9A5B2 Time : 0.0 sec. user=mdettweiler [2018-11-14 10:21:56] 669*2^1531292-1 is not prime. Res64: B52671820597B2F4 Time : 0.0 sec. user=mdettweiler [2018-11-14 10:32:24] 683*2^1531292-1 is not prime. Res64: CEDEE36278632C8A Time : 0.0 sec. user=mdettweiler [2018-11-14 10:32:25] 687*2^1531292-1 is not prime. Res64: A7832ABABDDED541 Time : 0.0 sec. user=mdettweiler [2018-11-14 10:32:25] 717*2^1531292-1 is not prime. Res64: B13EF733240D5781 Time : 0.0 sec. user=mdettweiler [2018-11-14 10:32:26] 785*2^1531292-1 is not prime. Res64: 65D3E87913FA36B9 Time : 0.0 sec. user=mdettweiler [2018-11-14 10:32:26] 797*2^1531292-1 is not prime. Res64: 5053E7DCDC594E8A Time : 0.0 sec. user=mdettweiler [2018-11-14 11:02:57] 627*2^1531293-1 is not prime. Res64: 94E92A2A38614C14 Time : 0.0 sec. user=mdettweiler [2018-11-14 11:02:59] 741*2^1531293-1 is not prime. Res64: 293FB0065B55627F Time : 0.0 sec. user=mdettweiler [2018-11-14 11:03:00] 789*2^1531293-1 is not prime. Res64: 35E9054105967042 Time : 0.0 sec. user=mdettweiler [2018-11-14 11:03:02] 921*2^1531293-1 is not prime. Res64: 00CE2833FE1A90EF Time : 0.0 sec. user=mdettweiler [2018-11-14 11:03:03] 985*2^1531293-1 is not prime. Res64: 9ECEA76D23E40712 Time : 0.0 sec. user=mdettweiler [2018-11-14 11:13:49] 987*2^1531293-1 is not prime. Res64: 20CEBF8E47A39C0E Time : 0.0 sec. user=mdettweiler [2018-11-14 11:13:50] 617*2^1531294-1 is not prime. Res64: DE7E9E4EA65D6D76 Time : 0.0 sec. user=mdettweiler [2018-11-14 11:13:52] 671*2^1531294-1 is not prime. Res64: C75FCC6F74E2D336 Time : 0.0 sec. user=mdettweiler [2018-11-14 11:13:54] 813*2^1531294-1 is not prime. Res64: 1EEEE25351B8C40E Time : 0.0 sec. user=mdettweiler [2018-11-14 11:13:57] 857*2^1531294-1 is not prime. Res64: 9A0ADCCAD4D6CEC1 Time : 0.0 sec. user=mdettweiler [2018-11-14 11:23:58] 965*2^1531294-1 is not prime. Res64: 5909F10752ACBFAD Time : 0.0 sec. user=mdettweiler [2018-11-14 11:23:59] 661*2^1531295-1 is not prime. Res64: 7EFDBB110A21CEC1 Time : 0.0 sec. user=mdettweiler [2018-11-14 11:23:59] 669*2^1531295-1 is not prime. Res64: 34867B70DE78D3F1 Time : 0.0 sec. user=mdettweiler [2018-11-14 11:24:00] 759*2^1531295-1 is not prime. Res64: 45C077F674A21ED2 Time : 0.0 sec. user=mdettweiler [2018-11-14 11:24:01] 831*2^1531295-1 is not prime. Res64: B341C3C51864BA18 Time : 0.0 sec. user=mdettweiler [2018-11-14 11:56:10] 915*2^1531295-1 is not prime. Res64: C006387ACFB1151C Time : 0.0 sec. user=mdettweiler [2018-11-14 11:56:11] 923*2^1531296-1 is not prime. Res64: 74996AB1BCB24A73 Time : 0.0 sec. user=mdettweiler [2018-11-14 11:56:11] 927*2^1531296-1 is not prime. Res64: 075AD8E6A6FAC04D Time : 0.0 sec. user=mdettweiler [2018-11-14 11:56:12] 649*2^1531297-1 is not prime. Res64: E1C1FD3D97A02AB2 Time : 0.0 sec. user=mdettweiler [2018-11-14 11:56:12] 667*2^1531297-1 is not prime. Res64: 40D0A11E7BF07CC5 Time : 0.0 sec. user=mdettweiler [2018-11-14 12:05:19] 687*2^1531297-1 is not prime. Res64: 66B434FCF4FF561B Time : 0.0 sec. user=mdettweiler [2018-11-14 12:05:21] 841*2^1531297-1 is not prime. Res64: CA6F3B46FBB9D40C Time : 0.0 sec. user=mdettweiler [2018-11-14 12:05:23] 897*2^1531297-1 is not prime. Res64: 73252231F27BA0EB Time : 0.0 sec. user=mdettweiler [2018-11-14 12:05:24] 915*2^1531297-1 is not prime. Res64: 30D411A396C06292 Time : 0.0 sec. user=mdettweiler [2018-11-14 12:05:26] 825*2^1531298-1 is not prime. Res64: C24141454F803134 Time : 0.0 sec. user=mdettweiler [2018-11-14 12:15:19] 887*2^1531298-1 is not prime. Res64: 8B5E105328B396A7 Time : 0.0 sec. user=mdettweiler [2018-11-14 12:15:19] 927*2^1531298-1 is not prime. Res64: D53C7DBA63697329 Time : 0.0 sec. user=mdettweiler [2018-11-14 12:15:20] 1001*2^1531298-1 is not prime. Res64: 6A73D3CD4A2E330A Time : 0.0 sec. user=mdettweiler [2018-11-14 12:15:22] 609*2^1531299-1 is not prime. Res64: 903597F4668B2EFF Time : 0.0 sec. user=mdettweiler [2018-11-14 12:15:23] 789*2^1531299-1 is not prime. Res64: 6D3B084F969A2113 Time : 0.0 sec. user=mdettweiler [2018-11-14 12:47:41] 835*2^1531299-1 is not prime. Res64: AC40B0829C52D1D8 Time : 0.0 sec. user=mdettweiler [2018-11-14 12:47:42] 931*2^1531299-1 is not prime. Res64: 592AAB420AE27F51 Time : 0.0 sec. user=mdettweiler [2018-11-14 12:47:42] 951*2^1531299-1 is not prime. Res64: 76ECD4744CBBF70D Time : 0.0 sec. user=mdettweiler [2018-11-14 12:47:43] 969*2^1531299-1 is not prime. Res64: 36F4C53E9EF488FE Time : 0.0 sec. user=mdettweiler [2018-11-14 12:47:44] 975*2^1531299-1 is not prime. Res64: BF2B6722013BA5A6 Time : 0.0 sec. user=mdettweiler [2018-11-14 12:56:44] 985*2^1531299-1 is not prime. Res64: 3B93186DF329C386 Time : 0.0 sec. user=mdettweiler [2018-11-14 12:56:45] 629*2^1531300-1 is not prime. Res64: D2D9617E6D8EC0A3 Time : 0.0 sec. user=mdettweiler [2018-11-14 12:56:46] 653*2^1531300-1 is not prime. Res64: 89C0F471FCF34863 Time : 0.0 sec. user=mdettweiler [2018-11-14 12:56:47] 677*2^1531300-1 is not prime. Res64: 24444FE69ABE6E85 Time : 0.0 sec. user=mdettweiler [2018-11-14 12:56:48] 773*2^1531300-1 is not prime. Res64: CBB1BBBACF40F1A3 Time : 0.0 sec. user=mdettweiler [2018-11-14 13:07:28] 797*2^1531300-1 is not prime. Res64: 3F1F113E81FC4D08 Time : 0.0 sec. user=mdettweiler [2018-11-14 13:07:28] 833*2^1531300-1 is not prime. Res64: C9669F57E2D68BB5 Time : 0.0 sec. user=mdettweiler [2018-11-14 13:07:29] 875*2^1531300-1 is not prime. Res64: CB74EC2DBFB52E58 Time : 0.0 sec. user=mdettweiler [2018-11-14 13:07:29] 885*2^1531300-1 is not prime. Res64: 5C5D4AEEEB548DA0 Time : 0.0 sec. user=mdettweiler [2018-11-14 13:07:30] 607*2^1531301-1 is not prime. Res64: 6F3D8E11AEBBAB02 Time : 0.0 sec. user=mdettweiler [2018-11-14 13:44:16] 621*2^1531301-1 is not prime. Res64: 0B9E1718A3C53417 Time : 0.0 sec. user=mdettweiler [2018-11-14 13:44:16] 631*2^1531301-1 is not prime. Res64: 257461578C7DA9D4 Time : 0.0 sec. user=mdettweiler [2018-11-14 13:44:17] 735*2^1531301-1 is not prime. Res64: 1AC8C6E9638C71B2 Time : 0.0 sec. user=mdettweiler [2018-11-14 13:44:17] 865*2^1531301-1 is not prime. Res64: BB7E88D66074C96E Time : 0.0 sec. user=mdettweiler [2018-11-14 13:44:18] 939*2^1531301-1 is not prime. Res64: 86662E29DF697113 Time : 0.0 sec. user=mdettweiler [2018-11-14 13:54:47] 951*2^1531301-1 is not prime. Res64: E5D27B9B670337EF Time : 0.0 sec. user=mdettweiler [2018-11-14 13:54:48] 681*2^1531302-1 is not prime. Res64: 81BA9DB4C0700336 Time : 0.0 sec. user=mdettweiler [2018-11-14 13:54:48] 777*2^1531302-1 is not prime. Res64: A3B2F2747DA7B772 Time : 0.0 sec. user=mdettweiler [2018-11-14 13:54:48] 887*2^1531302-1 is not prime. Res64: 8132F8E4EDC3BAE6 Time : 0.0 sec. user=mdettweiler [2018-11-14 13:54:49] 893*2^1531302-1 is not prime. Res64: AAF77E6B14419FF3 Time : 0.0 sec. user=mdettweiler [2018-11-14 14:07:07] 965*2^1531302-1 is not prime. Res64: 3384C8CDC3B48BFA Time : 0.0 sec. user=mdettweiler [2018-11-14 14:07:07] 663*2^1531303-1 is not prime. Res64: D1732962401C23B9 Time : 0.0 sec. user=mdettweiler [2018-11-14 14:07:08] 829*2^1531303-1 is not prime. Res64: F7B1F6223E4A0ABE Time : 0.0 sec. user=mdettweiler [2018-11-14 14:07:08] 925*2^1531303-1 is not prime. Res64: 59451CED26606AA8 Time : 0.0 sec. user=mdettweiler [2018-11-14 14:07:09] 635*2^1531304-1 is not prime. Res64: B7220BE353127AD1 Time : 0.0 sec. user=mdettweiler [2018-11-14 14:17:59] 887*2^1531290-1 is not prime. Res64: BA318BFAE791DE74 Time : 0.0 sec. user=mdettweiler [2018-11-14 14:18:00] 951*2^1531290-1 is not prime. Res64: 246FF01BC0B7A63D Time : 0.0 sec. user=mdettweiler [2018-11-14 14:41:23] 743*2^1531304-1 is not prime. Res64: EDAD3FBF0977A8E7 Time : 0.0 sec. user=mdettweiler [2018-11-14 14:41:23] 753*2^1531304-1 is not prime. Res64: 4618762CD09BBFE7 Time : 0.0 sec. user=mdettweiler [2018-11-14 14:41:24] 785*2^1531304-1 is not prime. Res64: 5EE568DEB2B83ECD Time : 0.0 sec. user=mdettweiler [2018-11-14 14:41:24] 899*2^1531304-1 is not prime. Res64: D868BD9273E1F735 Time : 0.0 sec. user=mdettweiler [2018-11-14 14:41:25] 935*2^1531304-1 is not prime. Res64: 345E3025B0F822CA Time : 0.0 sec. user=mdettweiler [2018-11-14 14:50:56] 983*2^1531304-1 is not prime. Res64: 7CAE410BA42A0D40 Time : 0.0 sec. user=mdettweiler [2018-11-14 14:50:56] 653*2^1531306-1 is not prime. Res64: 43C64E17088D543F Time : 0.0 sec. user=mdettweiler [2018-11-14 14:50:57] 663*2^1531306-1 is not prime. Res64: 0BF1F08FD8BB9A4A Time : 0.0 sec. user=mdettweiler [2018-11-14 14:50:57] 717*2^1531306-1 is not prime. Res64: 7CF95D9F3516A1D1 Time : 0.0 sec. user=mdettweiler [2018-11-14 14:50:58] 815*2^1531306-1 is not prime. Res64: 9FB71C06E80D17BB Time : 0.0 sec. user=mdettweiler [2018-11-14 15:00:51] 983*2^1531306-1 is not prime. Res64: 90023C6252705205 Time : 0.0 sec. user=mdettweiler [2018-11-14 15:00:54] 609*2^1531307-1 is not prime. Res64: B1DBA0C1C47D41D7 Time : 0.0 sec. user=mdettweiler [2018-11-14 15:00:56] 651*2^1531307-1 is not prime. Res64: 2A2D7BADD8D4AC2A Time : 0.0 sec. user=mdettweiler [2018-11-14 15:00:58] 735*2^1531307-1 is not prime. Res64: EEBDB3C41C341256 Time : 0.0 sec. user=mdettweiler [2018-11-14 15:01:02] 805*2^1531307-1 is not prime. Res64: E9692A05AF43807E Time : 0.0 sec. user=mdettweiler [2018-11-14 15:11:03] 825*2^1531307-1 is not prime. Res64: 6191B419D07B9D29 Time : 0.0 sec. user=mdettweiler [2018-11-14 15:11:04] 683*2^1531308-1 is not prime. Res64: 40F33A50B437D4F2 Time : 0.0 sec. user=mdettweiler [2018-11-14 15:11:05] 839*2^1531308-1 is not prime. Res64: 6CCA91DC0F24B1EB Time : 0.0 sec. user=mdettweiler [2018-11-14 15:11:06] 845*2^1531308-1 is not prime. Res64: ACEAFD20A037717A Time : 0.0 sec. user=mdettweiler [2018-11-14 15:11:06] 975*2^1531308-1 is not prime. Res64: A782CE5BD7AA618C Time : 0.0 sec. user=mdettweiler [2018-11-14 15:35:43] 977*2^1531308-1 is not prime. Res64: 53CFA83957C279ED Time : 0.0 sec. user=mdettweiler [2018-11-14 15:35:44] 999*2^1531308-1 is not prime. Res64: 496E9386883A2901 Time : 0.0 sec. user=mdettweiler [2018-11-14 15:35:44] 615*2^1531309-1 is not prime. Res64: 95D09A73E3C98D56 Time : 0.0 sec. user=mdettweiler [2018-11-14 15:35:45] 691*2^1531309-1 is not prime. Res64: DF791587F09457DC Time : 0.0 sec. user=mdettweiler [2018-11-14 15:35:45] 721*2^1531309-1 is not prime. Res64: 4CF867CE2EA54500 Time : 0.0 sec. user=mdettweiler [2018-11-14 15:46:09] 751*2^1531309-1 is not prime. Res64: CABB8A07E3B39A5A Time : 0.0 sec. user=mdettweiler [2018-11-14 15:46:10] 769*2^1531309-1 is not prime. Res64: 27FEEA194878CB0B Time : 0.0 sec. user=mdettweiler [2018-11-14 15:46:10] 831*2^1531309-1 is not prime. Res64: BC4E1A13733A66A7 Time : 0.0 sec. user=mdettweiler [2018-11-14 15:46:11] 861*2^1531309-1 is not prime. Res64: 986CEC2EBF711C95 Time : 0.0 sec. user=mdettweiler [2018-11-14 15:46:11] 997*2^1531309-1 is not prime. Res64: FC37B29655F7FAFB Time : 0.0 sec. user=mdettweiler [2018-11-14 15:56:30] 657*2^1531310-1 is not prime. Res64: 33E9FC3ECEB1A7BB Time : 0.0 sec. user=mdettweiler [2018-11-14 15:56:30] 675*2^1531310-1 is not prime. Res64: 46B2A9F9611A431C Time : 0.0 sec. user=mdettweiler [2018-11-14 15:56:31] 677*2^1531310-1 is not prime. Res64: 7B3DA100BC559523 Time : 0.0 sec. user=mdettweiler [2018-11-14 15:56:31] 843*2^1531310-1 is not prime. Res64: 242FBCCCDF3565E7 Time : 0.0 sec. user=mdettweiler [2018-11-14 15:56:31] 861*2^1531310-1 is not prime. Res64: EE8811F5457FC7B0 Time : 0.0 sec. user=mdettweiler [2018-11-14 16:07:27] 885*2^1531310-1 is not prime. Res64: 56F7C69CB9316606 Time : 0.0 sec. user=mdettweiler [2018-11-14 16:07:27] 935*2^1531310-1 is not prime. Res64: 699184D6E3DF923B Time : 0.0 sec. user=mdettweiler [2018-11-14 16:07:28] 951*2^1531310-1 is not prime. Res64: EB6857BF51A6DAB7 Time : 0.0 sec. user=mdettweiler [2018-11-14 16:07:29] 669*2^1531311-1 is not prime. Res64: 3B7C58DE0551BCAD Time : 0.0 sec. user=mdettweiler [2018-11-14 16:07:29] 685*2^1531311-1 is not prime. Res64: D7A9F0C99DEC301C Time : 0.0 sec. user=mdettweiler [2018-11-14 16:30:54] 819*2^1531311-1 is not prime. Res64: FF26CF7B606F1BF6 Time : 0.0 sec. user=mdettweiler [2018-11-14 16:30:55] 829*2^1531311-1 is not prime. Res64: C5683B2E580B4A84 Time : 0.0 sec. user=mdettweiler [2018-11-14 16:30:55] 859*2^1531311-1 is not prime. Res64: 1C5D0B651D3441E0 Time : 0.0 sec. user=mdettweiler [2018-11-14 16:30:56] 865*2^1531311-1 is not prime. Res64: 3D7D2F7A1E6DE1B8 Time : 0.0 sec. user=mdettweiler [2018-11-14 16:30:56] 913*2^1531311-1 is not prime. Res64: 98521353F1ACC026 Time : 0.0 sec. user=mdettweiler [2018-11-14 16:40:22] 931*2^1531311-1 is not prime. Res64: 084E00C62EBB68EC Time : 0.0 sec. user=mdettweiler [2018-11-14 16:40:23] 945*2^1531311-1 is not prime. Res64: 544522EFA2BEDE10 Time : 0.0 sec. user=mdettweiler [2018-11-14 16:40:23] 961*2^1531311-1 is not prime. Res64: 3BDA0D2811CF5FBE Time : 0.0 sec. user=mdettweiler [2018-11-14 16:40:24] 999*2^1531311-1 is not prime. Res64: 675496D834A576A3 Time : 0.0 sec. user=mdettweiler [2018-11-14 16:40:24] 639*2^1531312-1 is not prime. Res64: 6B73462655D53074 Time : 0.0 sec. user=mdettweiler [2018-11-14 16:49:44] 657*2^1531312-1 is not prime. Res64: D20548EC7A2445F9 Time : 0.0 sec. user=mdettweiler [2018-11-14 16:49:44] 687*2^1531312-1 is not prime. Res64: 3C26E210D147AF22 Time : 0.0 sec. user=mdettweiler [2018-11-14 16:49:45] 717*2^1531312-1 is not prime. Res64: 18FDED028EF635E2 Time : 0.0 sec. user=mdettweiler [2018-11-14 16:49:45] 803*2^1531312-1 is not prime. Res64: 9CC0D800274D4169 Time : 0.0 sec. user=mdettweiler [2018-11-14 16:49:46] 833*2^1531312-1 is not prime. Res64: 1D69DB3F80596728 Time : 0.0 sec. user=mdettweiler [2018-11-14 16:59:46] 887*2^1531312-1 is not prime. Res64: 812589A0040EA55C Time : 0.0 sec. user=mdettweiler [2018-11-14 16:59:47] 917*2^1531312-1 is not prime. Res64: 03F358040182AE81 Time : 0.0 sec. user=mdettweiler [2018-11-14 16:59:47] 933*2^1531312-1 is not prime. Res64: 85D8F88FEDD79ADD Time : 0.0 sec. user=mdettweiler [2018-11-14 16:59:48] 975*2^1531312-1 is not prime. Res64: 2B9C8DF59D024111 Time : 0.0 sec. user=mdettweiler [2018-11-14 16:59:49] 669*2^1531313-1 is not prime. Res64: 873FF534BB41DA16 Time : 0.0 sec. user=mdettweiler [2018-11-14 17:23:52] 699*2^1531313-1 is not prime. Res64: 7E7C3090DEF10883 Time : 0.0 sec. user=mdettweiler [2018-11-14 17:23:53] 727*2^1531313-1 is not prime. Res64: 7AE379C8CED63C74 Time : 0.0 sec. user=mdettweiler [2018-11-14 17:23:53] 789*2^1531313-1 is not prime. Res64: D34178BC2631E5B2 Time : 0.0 sec. user=mdettweiler [2018-11-14 17:23:54] 915*2^1531313-1 is not prime. Res64: AA9150E93DD4694A Time : 0.0 sec. user=mdettweiler [2018-11-14 17:23:54] 967*2^1531313-1 is not prime. Res64: 096616E19FFDCAD5 Time : 0.0 sec. user=mdettweiler [2018-11-14 17:34:35] 641*2^1531314-1 is not prime. Res64: EF99038405B0591A Time : 0.0 sec. user=mdettweiler [2018-11-14 17:34:36] 671*2^1531314-1 is not prime. Res64: 409C27A0A0B42872 Time : 0.0 sec. user=mdettweiler [2018-11-14 17:34:36] 765*2^1531314-1 is not prime. Res64: 5B52F3A53C6C790E Time : 0.0 sec. user=mdettweiler [2018-11-14 17:34:37] 767*2^1531314-1 is not prime. Res64: 731A6551056B6AB4 Time : 0.0 sec. user=mdettweiler [2018-11-14 17:34:37] 803*2^1531314-1 is not prime. Res64: 7147090FE99D638A Time : 0.0 sec. user=mdettweiler [2018-11-14 17:43:19] 893*2^1531314-1 is not prime. Res64: E08EAA4E2972F368 Time : 0.0 sec. user=mdettweiler [2018-11-14 17:43:19] 917*2^1531314-1 is not prime. Res64: EE3A94FDA6E87D0A Time : 0.0 sec. user=mdettweiler [2018-11-14 17:43:20] 921*2^1531314-1 is not prime. Res64: 1F37CDFBECD0734C Time : 0.0 sec. user=mdettweiler [2018-11-14 17:43:34] 923*2^1531314-1 is not prime. Res64: 0D6564C69EE59A21 Time : 0.0 sec. user=mdettweiler [2018-11-14 17:54:30] 945*2^1531314-1 is not prime. Res64: 5F665F2B8629A00E Time : 0.0 sec. user=mdettweiler [2018-11-14 17:54:31] 975*2^1531314-1 is not prime. Res64: 5E2591894BB77ABC Time : 0.0 sec. user=mdettweiler [2018-11-14 17:54:31] 1001*2^1531314-1 is not prime. Res64: 5AF8861E49DDB7EF Time : 0.0 sec. user=mdettweiler [2018-11-14 17:54:32] 633*2^1531315-1 is not prime. Res64: 9148312C17E2B12F Time : 0.0 sec. user=mdettweiler [2018-11-14 17:54:32] 645*2^1531315-1 is not prime. Res64: A822B1CF9884243F Time : 0.0 sec. user=mdettweiler [2018-11-14 18:17:57] 679*2^1531315-1 is not prime. Res64: 8C6D15980ECD2946 Time : 0.0 sec. user=mdettweiler [2018-11-14 18:17:58] 765*2^1531315-1 is not prime. Res64: 33E41A7A7F6B4267 Time : 0.0 sec. user=mdettweiler [2018-11-14 18:17:59] 793*2^1531315-1 is not prime. Res64: 3A37A4C2CC067649 Time : 0.0 sec. user=mdettweiler [2018-11-14 18:17:59] 859*2^1531315-1 is not prime. Res64: D6A4E2B27E3343B2 Time : 0.0 sec. user=mdettweiler [2018-11-14 18:18:00] 883*2^1531315-1 is not prime. Res64: 00FAE1AD0C42A185 Time : 0.0 sec. user=mdettweiler [2018-11-14 18:29:31] 885*2^1531315-1 is not prime. Res64: C45D682CD0476E6A Time : 0.0 sec. user=mdettweiler [2018-11-14 18:29:31] 919*2^1531315-1 is not prime. Res64: 9D5E6DA0EF953FBC Time : 0.0 sec. user=mdettweiler [2018-11-14 18:29:31] 609*2^1531316-1 is not prime. Res64: 9482FE687B9D7142 Time : 0.0 sec. user=mdettweiler [2018-11-14 18:29:32] 635*2^1531316-1 is not prime. Res64: 4ADBC81E304147F2 Time : 0.0 sec. user=mdettweiler [2018-11-14 18:29:32] 725*2^1531316-1 is not prime. Res64: FA86CBFC5D89A1A6 Time : 0.0 sec. user=mdettweiler [2018-11-14 18:51:12] 773*2^1531316-1 is not prime. Res64: ACBA91A82F630CE1 Time : 0.0 sec. user=mdettweiler [2018-11-14 18:51:12] 777*2^1531316-1 is not prime. Res64: CFB80E40CF00826E Time : 0.0 sec. user=mdettweiler [2018-11-14 18:51:13] 789*2^1531316-1 is not prime. Res64: BE6940BB7E817A07 Time : 0.0 sec. user=mdettweiler [2018-11-14 18:51:13] 953*2^1531316-1 is not prime. Res64: 150E9FB83A775230 Time : 0.0 sec. user=mdettweiler [2018-11-14 18:51:14] 987*2^1531316-1 is not prime. Res64: 10FBB1900BD45D70 Time : 0.0 sec. user=mdettweiler [2018-11-14 19:13:37] 999*2^1531316-1 is not prime. Res64: BD857ECC9E6A4CF5 Time : 0.0 sec. user=mdettweiler [2018-11-14 19:13:38] 669*2^1531317-1 is not prime. Res64: F4528F41BE6B46FC Time : 0.0 sec. user=mdettweiler [2018-11-14 19:13:38] 717*2^1531317-1 is not prime. Res64: 637508D94764B6E5 Time : 0.0 sec. user=mdettweiler [2018-11-14 19:13:39] 765*2^1531317-1 is not prime. Res64: 4CBDB7D37481BFC5 Time : 0.0 sec. user=mdettweiler [2018-11-14 19:13:40] 919*2^1531317-1 is not prime. Res64: 8507A33392DCADAA Time : 0.0 sec. user=mdettweiler [2018-11-14 19:26:30] 979*2^1531317-1 is not prime. Res64: 635F0000439B8A4A Time : 0.0 sec. user=mdettweiler [2018-11-14 19:26:31] 731*2^1531318-1 is not prime. Res64: 8EA16FBC3DB1774C Time : 0.0 sec. user=mdettweiler [2018-11-14 19:26:31] 855*2^1531318-1 is not prime. Res64: AB49ADBEF9FAD90C Time : 0.0 sec. user=mdettweiler [2018-11-14 19:26:32] 857*2^1531318-1 is not prime. Res64: C60F2D3C385CEA1B Time : 0.0 sec. user=mdettweiler [2018-11-14 19:26:32] 609*2^1531319-1 is not prime. Res64: C7A4CC44490A9924 Time : 0.0 sec. user=mdettweiler [2018-11-14 19:47:16] 645*2^1531319-1 is not prime. Res64: AA138DB7FD415E7B Time : 0.0 sec. user=mdettweiler [2018-11-14 19:47:17] 705*2^1531319-1 is not prime. Res64: F1E125F5D8CEFB88 Time : 0.0 sec. user=mdettweiler [2018-11-14 19:47:18] 789*2^1531319-1 is not prime. Res64: 290B2E1A7A26D358 Time : 0.0 sec. user=mdettweiler [2018-11-14 19:47:18] 813*2^1531319-1 is not prime. Res64: BD8476DCA193C8D7 Time : 0.0 sec. user=mdettweiler [2018-11-14 19:47:18] 865*2^1531319-1 is not prime. Res64: 54A32337682BB3AA Time : 0.0 sec. user=mdettweiler [2018-11-14 20:08:29] 955*2^1531319-1 is not prime. Res64: 76ECECD3B649EFD6 Time : 0.0 sec. user=mdettweiler [2018-11-14 20:08:30] 973*2^1531319-1 is not prime. Res64: 3453BA452F5AA524 Time : 0.0 sec. user=mdettweiler [2018-11-14 20:08:30] 979*2^1531319-1 is not prime. Res64: 0926D6144AC19B6A Time : 0.0 sec. user=mdettweiler [2018-11-14 20:08:31] 797*2^1531320-1 is not prime. Res64: AFCA94718C04F206 Time : 0.0 sec. user=mdettweiler [2018-11-14 20:08:31] 887*2^1531320-1 is not prime. Res64: 6F3F721170595E1B Time : 0.0 sec. user=mdettweiler [2018-11-14 20:20:13] 637*2^1531321-1 is not prime. Res64: EF9C9DDBB2FD0902 Time : 0.0 sec. user=mdettweiler [2018-11-14 20:20:13] 867*2^1531321-1 is not prime. Res64: D8E7571477A484E0 Time : 0.0 sec. user=mdettweiler [2018-11-14 20:20:14] 895*2^1531321-1 is not prime. Res64: A4C4ED52A99886D5 Time : 0.0 sec. user=mdettweiler [2018-11-14 20:20:14] 645*2^1531322-1 is not prime. Res64: 3102DEDC5ED7D25F Time : 0.0 sec. user=mdettweiler [2018-11-14 20:20:15] 675*2^1531322-1 is not prime. Res64: 8B1F0AEBFBE5BAF9 Time : 0.0 sec. user=mdettweiler [2018-11-14 20:40:37] 677*2^1531322-1 is not prime. Res64: 06285C93FB40D1A4 Time : 0.0 sec. user=mdettweiler [2018-11-14 20:40:38] 753*2^1531322-1 is not prime. Res64: 5F6D11A0E2A91039 Time : 0.0 sec. user=mdettweiler [2018-11-14 20:40:38] 755*2^1531322-1 is not prime. Res64: 7490B484FE2BCDAB Time : 0.0 sec. user=mdettweiler [2018-11-14 20:40:38] 801*2^1531322-1 is not prime. Res64: 25493D7567CC2E4A Time : 0.0 sec. user=mdettweiler [2018-11-14 20:40:39] 827*2^1531322-1 is not prime. Res64: 0FC041598AF18EA2 Time : 0.0 sec. user=mdettweiler [2018-11-14 21:01:00] 831*2^1531322-1 is not prime. Res64: 0DB49547BF4E60D6 Time : 0.0 sec. user=mdettweiler [2018-11-14 21:01:01] 833*2^1531322-1 is not prime. Res64: F8B45713184BFFCB Time : 0.0 sec. user=mdettweiler [2018-11-14 21:01:02] 837*2^1531322-1 is not prime. Res64: A1A55EFEB8966339 Time : 0.0 sec. user=mdettweiler [2018-11-14 21:01:04] 873*2^1531322-1 is not prime. Res64: 8EFE94CBF3BD40A3 Time : 0.0 sec. user=mdettweiler [2018-11-14 21:01:05] 887*2^1531322-1 is not prime. Res64: DB9AF8C9FDC25DE0 Time : 0.0 sec. user=mdettweiler [2018-11-14 21:12:27] 917*2^1531322-1 is not prime. Res64: C7E80F549AA29BCF Time : 0.0 sec. user=mdettweiler [2018-11-14 21:12:27] 945*2^1531322-1 is not prime. Res64: A0E4754E9501BCDD Time : 0.0 sec. user=mdettweiler [2018-11-14 21:12:28] 643*2^1531323-1 is not prime. Res64: 9F64B05285A69262 Time : 0.0 sec. user=mdettweiler [2018-11-14 21:12:28] 781*2^1531323-1 is not prime. Res64: CDA3D80DE37E461F Time : 0.0 sec. user=mdettweiler [2018-11-14 21:12:29] 783*2^1531323-1 is not prime. Res64: 60CEE02DBDFAAA84 Time : 0.0 sec. user=mdettweiler [2018-11-14 21:32:57] 895*2^1531323-1 is not prime. Res64: 8B32816FB7FACC48 Time : 0.0 sec. user=mdettweiler [2018-11-14 21:32:58] 665*2^1531324-1 is not prime. Res64: 421186C992F30AF3 Time : 0.0 sec. user=mdettweiler [2018-11-14 21:32:58] 819*2^1531324-1 is not prime. Res64: 91A5454CC1AA175E Time : 0.0 sec. user=mdettweiler [2018-11-14 21:32:59] 827*2^1531324-1 is not prime. Res64: BA12944738B230FD Time : 0.0 sec. user=mdettweiler [2018-11-14 21:32:59] 607*2^1531325-1 is not prime. Res64: BDCFD9769D5424C1 Time : 0.0 sec. user=mdettweiler [2018-11-14 21:41:33] 927*2^1531314-1 is not prime. Res64: 99EE2265C1EC2056 Time : 0.0 sec. user=mdettweiler [2018-11-14 21:54:48] 645*2^1531325-1 is not prime. Res64: 86765E79C630642E Time : 0.0 sec. user=mdettweiler [2018-11-14 21:54:49] 721*2^1531325-1 is not prime. Res64: A568052B8E3F4547 Time : 0.0 sec. user=mdettweiler [2018-11-14 21:54:50] 819*2^1531325-1 is not prime. Res64: E48E920485814A1C Time : 0.0 sec. user=mdettweiler [2018-11-14 21:54:50] 837*2^1531325-1 is not prime. Res64: 82B1D7BA2405FD0E Time : 0.0 sec. user=mdettweiler [2018-11-14 21:54:51] 657*2^1531326-1 is not prime. Res64: 6CFEFDCD9EF94304 Time : 0.0 sec. user=mdettweiler [2018-11-14 22:05:06] 713*2^1531326-1 is not prime. Res64: 127723253A86317B Time : 0.0 sec. user=mdettweiler [2018-11-14 22:05:09] 861*2^1531326-1 is not prime. Res64: F1C3E944EF18517C Time : 0.0 sec. user=mdettweiler [2018-11-14 22:05:10] 917*2^1531326-1 is not prime. Res64: 8BE772CBA2AF015A Time : 0.0 sec. user=mdettweiler [2018-11-14 22:05:12] 945*2^1531326-1 is not prime. Res64: EC3E61302D59DCE5 Time : 0.0 sec. user=mdettweiler [2018-11-14 22:05:14] 993*2^1531326-1 is not prime. Res64: 2D960B0B06183D53 Time : 0.0 sec. user=mdettweiler [2018-11-14 22:26:16] 609*2^1531327-1 is not prime. Res64: E8A2E0072A756355 Time : 0.0 sec. user=mdettweiler [2018-11-14 22:26:17] 619*2^1531327-1 is not prime. Res64: F8C113543C23F08B Time : 0.0 sec. user=mdettweiler [2018-11-14 22:26:17] 693*2^1531327-1 is not prime. Res64: 2FD553DC4694A6B9 Time : 0.0 sec. user=mdettweiler [2018-11-14 22:26:18] 729*2^1531327-1 is not prime. Res64: 274BF22B470C8263 Time : 0.0 sec. user=mdettweiler [2018-11-14 22:26:19] 831*2^1531327-1 is not prime. Res64: D1D8D326F35682E7 Time : 0.0 sec. user=mdettweiler [2018-11-14 22:34:28] 885*2^1531327-1 is not prime. Res64: 69C9DD852C5B5747 Time : 0.0 sec. user=mdettweiler [2018-11-14 22:34:29] 961*2^1531327-1 is not prime. Res64: F637D6D9E0FA381A Time : 0.0 sec. user=mdettweiler [2018-11-14 22:34:29] 973*2^1531327-1 is not prime. Res64: 901746F8B81536ED Time : 0.0 sec. user=mdettweiler [2018-11-14 22:34:30] 897*2^1531328-1 is not prime. Res64: 747C2EDE038ADFF0 Time : 0.0 sec. user=mdettweiler [2018-11-14 22:34:30] 927*2^1531328-1 is not prime. Res64: 6FC8B13197C94DD3 Time : 0.0 sec. user=mdettweiler [2018-11-14 22:47:51] 615*2^1531329-1 is not prime. Res64: 4276F33B45AC20A3 Time : 0.0 sec. user=mdettweiler [2018-11-14 22:47:51] 625*2^1531329-1 is not prime. Res64: 02B1E45F2987BFFA Time : 0.0 sec. user=mdettweiler [2018-11-14 22:47:52] 681*2^1531329-1 is not prime. Res64: 28600AF6BEBCF5E2 Time : 0.0 sec. user=mdettweiler [2018-11-14 22:47:52] 877*2^1531329-1 is not prime. Res64: BD271A9DA3B13A53 Time : 0.0 sec. user=mdettweiler [2018-11-14 22:47:53] 891*2^1531329-1 is not prime. Res64: D6137E9457CE249D Time : 0.0 sec. user=mdettweiler [2018-11-14 22:58:14] 895*2^1531329-1 is not prime. Res64: CD168EDED2D023F0 Time : 0.0 sec. user=mdettweiler [2018-11-14 22:58:14] 955*2^1531329-1 is not prime. Res64: 76CB45CEC6FEE892 Time : 0.0 sec. user=mdettweiler [2018-11-14 22:58:15] 991*2^1531329-1 is not prime. Res64: FD4A728683C5F797 Time : 0.0 sec. user=mdettweiler [2018-11-14 22:58:15] 645*2^1531330-1 is not prime. Res64: 84481E2B703E197C Time : 0.0 sec. user=mdettweiler [2018-11-14 22:58:16] 663*2^1531330-1 is not prime. Res64: C15320BDACE6BE7B Time : 0.0 sec. user=mdettweiler [2018-11-14 23:18:06] 777*2^1531330-1 is not prime. Res64: 366766438CCF7327 Time : 0.0 sec. user=mdettweiler [2018-11-14 23:18:06] 827*2^1531330-1 is not prime. Res64: 79717C40A67C35A6 Time : 0.0 sec. user=mdettweiler [2018-11-14 23:18:07] 861*2^1531330-1 is not prime. Res64: 6877DE1A4650A5DA Time : 0.0 sec. user=mdettweiler [2018-11-14 23:18:07] 975*2^1531330-1 is not prime. Res64: 8A9986B9DCF89C57 Time : 0.0 sec. user=mdettweiler [2018-11-14 23:18:08] 987*2^1531330-1 is not prime. Res64: D9F8B02EFFD94B58 Time : 0.0 sec. user=mdettweiler [2018-11-14 23:25:58] 651*2^1531331-1 is not prime. Res64: E86A2FB25755E884 Time : 0.0 sec. user=mdettweiler [2018-11-14 23:25:59] 663*2^1531331-1 is not prime. Res64: 943BA8DB7F46EA24 Time : 0.0 sec. user=mdettweiler [2018-11-14 23:26:00] 735*2^1531331-1 is not prime. Res64: 162E10BC17450B50 Time : 0.0 sec. user=mdettweiler [2018-11-14 23:26:00] 921*2^1531331-1 is not prime. Res64: AC61E7B2890D33F0 Time : 0.0 sec. user=mdettweiler [2018-11-14 23:26:01] 999*2^1531331-1 is not prime. Res64: 2E3BA82068BB6C29 Time : 0.0 sec. user=mdettweiler [2018-11-14 23:39:32] 635*2^1531332-1 is not prime. Res64: 3F4C7E68B3C299BD Time : 0.0 sec. user=mdettweiler [2018-11-14 23:39:32] 669*2^1531332-1 is not prime. Res64: 235E0CC53EE4E3D4 Time : 0.0 sec. user=mdettweiler [2018-11-14 23:39:33] 683*2^1531332-1 is not prime. Res64: 079FAEDFE2122162 Time : 0.0 sec. user=mdettweiler [2018-11-14 23:39:34] 699*2^1531332-1 is not prime. Res64: 6FE95757EF2524BD Time : 0.0 sec. user=mdettweiler [2018-11-14 23:39:34] 749*2^1531332-1 is not prime. Res64: 575600160288C700 Time : 0.0 sec. user=mdettweiler [2018-11-14 23:50:05] 819*2^1531332-1 is not prime. Res64: 66E4592D610D9F5E Time : 0.0 sec. user=mdettweiler [2018-11-14 23:50:06] 857*2^1531332-1 is not prime. Res64: A7EFA94E645E5642 Time : 0.0 sec. user=mdettweiler [2018-11-14 23:50:06] 903*2^1531332-1 is not prime. Res64: 15971886ABFBCAA4 Time : 0.0 sec. user=mdettweiler [2018-11-14 23:50:07] 687*2^1531333-1 is not prime. Res64: 256FA03798C6EFD0 Time : 0.0 sec. user=mdettweiler [2018-11-14 23:50:07] 699*2^1531333-1 is not prime. Res64: 9A3550FEE6A2AC26 Time : 0.0 sec.