user=mdettweiler [2019-12-16 00:17:23] 747*2^1551234-1 is not prime. Res64: DA4462B9D296DC32 Time : 0.0 sec. user=mdettweiler [2019-12-16 00:17:23] 807*2^1551234-1 is not prime. Res64: C17F899E05381940 Time : 0.0 sec. user=mdettweiler [2019-12-16 00:17:24] 905*2^1551234-1 is not prime. Res64: 602E3A51D7006178 Time : 0.0 sec. user=mdettweiler [2019-12-16 00:17:25] 1001*2^1551234-1 is not prime. Res64: E54FBFE19A42EB1B Time : 0.0 sec. user=mdettweiler [2019-12-16 00:17:26] 685*2^1551235-1 is not prime. Res64: C01D320B1795F372 Time : 0.0 sec. user=mdettweiler [2019-12-16 00:33:18] 693*2^1551235-1 is not prime. Res64: B7C15E70E82C2269 Time : 0.0 sec. user=mdettweiler [2019-12-16 00:33:19] 705*2^1551235-1 is not prime. Res64: 6F288042B365255B Time : 0.0 sec. user=mdettweiler [2019-12-16 00:33:20] 733*2^1551235-1 is not prime. Res64: BA62B308B10E7B13 Time : 0.0 sec. user=mdettweiler [2019-12-16 00:33:20] 789*2^1551235-1 is not prime. Res64: BA6192CE9CD75AC1 Time : 0.0 sec. user=mdettweiler [2019-12-16 00:33:20] 819*2^1551235-1 is not prime. Res64: 0ED5FE758E694EFB Time : 0.0 sec. user=mdettweiler [2019-12-16 00:52:22] 913*2^1551235-1 is not prime. Res64: D7548FA6A99B077B Time : 0.0 sec. user=mdettweiler [2019-12-16 00:52:22] 919*2^1551235-1 is not prime. Res64: 98E1C6FA0ADE3508 Time : 0.0 sec. user=mdettweiler [2019-12-16 00:52:23] 961*2^1551235-1 is not prime. Res64: D5FAF4F6925A57DF Time : 0.0 sec. user=mdettweiler [2019-12-16 00:52:24] 601*2^1551237-1 is not prime. Res64: 446264DEE2C8E138 Time : 0.0 sec. user=mdettweiler [2019-12-16 00:52:24] 675*2^1551237-1 is not prime. Res64: CB61F96E53989237 Time : 0.0 sec. user=mdettweiler [2019-12-16 01:10:14] 741*2^1551237-1 is not prime. Res64: E4DE7D7B3DCEDB31 Time : 0.0 sec. user=mdettweiler [2019-12-16 01:10:20] 747*2^1551237-1 is not prime. Res64: 8FE9C5B5280A9A79 Time : 0.0 sec. user=mdettweiler [2019-12-16 01:10:24] 885*2^1551237-1 is not prime. Res64: 880C59A13EDF4733 Time : 0.0 sec. user=mdettweiler [2019-12-16 01:10:27] 991*2^1551237-1 is not prime. Res64: 3F946EF55EF74934 Time : 0.0 sec. user=mdettweiler [2019-12-16 01:10:30] 603*2^1551238-1 is not prime. Res64: 1E91DFF304164B3F Time : 0.0 sec. user=mdettweiler [2019-12-16 01:25:42] 621*2^1551238-1 is not prime. Res64: 9587FE299667FEA4 Time : 0.0 sec. user=mdettweiler [2019-12-16 01:25:44] 843*2^1551238-1 is not prime. Res64: B380ADD17A6BD110 Time : 0.0 sec. user=mdettweiler [2019-12-16 01:25:45] 845*2^1551238-1 is not prime. Res64: 6F38AFEE0C63ECF7 Time : 0.0 sec. user=mdettweiler [2019-12-16 01:25:46] 911*2^1551238-1 is not prime. Res64: 38E21DB36B5E0B05 Time : 0.0 sec. user=mdettweiler [2019-12-16 01:25:49] 923*2^1551238-1 is not prime. Res64: F4B136D4AFEF4CD1 Time : 0.0 sec. user=mdettweiler [2019-12-16 01:44:47] 957*2^1551238-1 is not prime. Res64: 71D7AD244BEDBAE7 Time : 0.0 sec. user=mdettweiler [2019-12-16 01:44:49] 603*2^1551239-1 is not prime. Res64: FAF4C6AB06FA279C Time : 0.0 sec. user=mdettweiler [2019-12-16 01:44:51] 655*2^1551239-1 is not prime. Res64: 42338FEB4B9E8334 Time : 0.0 sec. user=mdettweiler [2019-12-16 01:44:53] 669*2^1551239-1 is not prime. Res64: 1A6271CE8E87D50E Time : 0.0 sec. user=mdettweiler [2019-12-16 01:44:55] 693*2^1551239-1 is not prime. Res64: 177EE9B1859D3B4F Time : 0.0 sec. user=mdettweiler [2019-12-16 02:02:27] 703*2^1551239-1 is not prime. Res64: 1644500E18846CE1 Time : 0.0 sec. user=mdettweiler [2019-12-16 02:02:32] 745*2^1551239-1 is not prime. Res64: CB2A78B96625AFCE Time : 0.0 sec. user=mdettweiler [2019-12-16 02:02:34] 759*2^1551239-1 is not prime. Res64: BD936F3B463D16F6 Time : 0.0 sec. user=mdettweiler [2019-12-16 02:02:37] 843*2^1551239-1 is not prime. Res64: 9B4EC3E218AA9BCD Time : 0.0 sec. user=mdettweiler [2019-12-16 02:02:41] 879*2^1551239-1 is not prime. Res64: 71FB35B011466DA2 Time : 0.0 sec. user=mdettweiler [2019-12-16 02:19:14] 939*2^1551239-1 is not prime. Res64: 797075C7D1F3CAFD Time : 0.0 sec. user=mdettweiler [2019-12-16 02:19:15] 979*2^1551239-1 is not prime. Res64: 6E24627C0AB517BF Time : 0.0 sec. user=mdettweiler [2019-12-16 02:19:16] 629*2^1551240-1 is not prime. Res64: 521A72C18EF58E98 Time : 0.0 sec. user=mdettweiler [2019-12-16 02:19:17] 675*2^1551240-1 is not prime. Res64: 422A518E02B8397B Time : 0.0 sec. user=mdettweiler [2019-12-16 02:19:17] 803*2^1551240-1 is not prime. Res64: A7B356EB7CF0291E Time : 0.0 sec. user=mdettweiler [2019-12-16 02:38:42] 843*2^1551240-1 is not prime. Res64: D387E2DAEA3CAE1B Time : 0.0 sec. user=mdettweiler [2019-12-16 02:38:44] 863*2^1551240-1 is not prime. Res64: EF721650CC791505 Time : 0.0 sec. user=mdettweiler [2019-12-16 02:38:44] 923*2^1551240-1 is not prime. Res64: 6CADFB61F2FA8A57 Time : 0.0 sec. user=mdettweiler [2019-12-16 02:38:45] 957*2^1551240-1 is not prime. Res64: 772C141A97FD0A23 Time : 0.0 sec. user=mdettweiler [2019-12-16 02:38:46] 651*2^1551241-1 is not prime. Res64: E979DFC40EA36B04 Time : 0.0 sec. user=mdettweiler [2019-12-16 02:56:32] 777*2^1551241-1 is not prime. Res64: 15CF92BE61484794 Time : 0.0 sec. user=mdettweiler [2019-12-16 02:56:33] 849*2^1551241-1 is not prime. Res64: A2FFA284B6FA51A4 Time : 0.0 sec. user=mdettweiler [2019-12-16 02:56:34] 867*2^1551241-1 is not prime. Res64: B752BA26C3C969B1 Time : 0.0 sec. user=mdettweiler [2019-12-16 02:56:35] 999*2^1551241-1 is not prime. Res64: 537B9B3BCE944B96 Time : 0.0 sec. user=mdettweiler [2019-12-16 02:56:36] 625*2^1551243-1 is not prime. Res64: B170E0661E6BDBDF Time : 0.0 sec. user=mdettweiler [2019-12-16 03:11:00] 709*2^1551243-1 is not prime. Res64: CF5C00FC8A8C8579 Time : 0.0 sec. user=mdettweiler [2019-12-16 03:11:01] 723*2^1551243-1 is not prime. Res64: 6BF5C25DD2B36A36 Time : 0.0 sec. user=mdettweiler [2019-12-16 03:11:02] 853*2^1551243-1 is not prime. Res64: B012E4A668ABF817 Time : 0.0 sec. user=mdettweiler [2019-12-16 03:11:02] 895*2^1551243-1 is not prime. Res64: DFF8EB18ABBD24BC Time : 0.0 sec. user=mdettweiler [2019-12-16 03:11:03] 609*2^1551244-1 is not prime. Res64: EDDBF997919FF4AF Time : 0.0 sec. user=mdettweiler [2019-12-16 03:30:09] 663*2^1551244-1 is not prime. Res64: F81C24420AA16171 Time : 0.0 sec. user=mdettweiler [2019-12-16 03:30:20] 687*2^1551244-1 is not prime. Res64: CD9D8DEFCED13832 Time : 0.0 sec. user=mdettweiler [2019-12-16 03:50:42] 909*2^1551244-1 is not prime. Res64: CF15CD5FBA3F8415 Time : 0.0 sec. user=mdettweiler [2019-12-16 03:50:44] 959*2^1551244-1 is not prime. Res64: 583C66694671105C Time : 0.0 sec. user=mdettweiler [2019-12-16 03:50:46] 987*2^1551244-1 is not prime. Res64: F800B022744EFA89 Time : 0.0 sec. user=mdettweiler [2019-12-16 03:50:47] 721*2^1551245-1 is not prime. Res64: 1EFEC34FABD5D7B9 Time : 0.0 sec. user=mdettweiler [2019-12-16 03:50:49] 759*2^1551245-1 is not prime. Res64: E9E3D9B3085CDAC7 Time : 0.0 sec. user=mdettweiler [2019-12-16 04:03:28] 981*2^1551245-1 is not prime. Res64: 3AF6E9CE55247EA4 Time : 0.0 sec. user=mdettweiler [2019-12-16 04:03:31] 711*2^1551246-1 is not prime. Res64: 65552675A46D984E Time : 0.0 sec. user=mdettweiler [2019-12-16 04:03:33] 713*2^1551246-1 is not prime. Res64: BAA04AD8548480F3 Time : 0.0 sec. user=mdettweiler [2019-12-16 04:03:34] 725*2^1551246-1 is not prime. Res64: 271F2AD3DEB2026C Time : 0.0 sec. user=mdettweiler [2019-12-16 04:03:36] 747*2^1551246-1 is not prime. Res64: B6070AE5175F4D8A Time : 0.0 sec. user=mdettweiler [2019-12-16 04:06:22] 913*2^1551247-1 is not prime. Res64: 9CB429D3B36B639E Time : 0.0 sec. user=mdettweiler [2019-12-16 04:42:49] 917*2^1551246-1 is not prime. Res64: AD825563CBA20C55 Time : 0.0 sec. user=mdettweiler [2019-12-16 04:42:49] 921*2^1551246-1 is not prime. Res64: DF526EF1BA69226D Time : 0.0 sec. user=mdettweiler [2019-12-16 04:42:50] 615*2^1551247-1 is not prime. Res64: 515C69347BD028AE Time : 0.0 sec. user=mdettweiler [2019-12-16 04:42:51] 673*2^1551247-1 is not prime. Res64: 484DDD1448E2739A Time : 0.0 sec. user=mdettweiler [2019-12-16 04:42:52] 703*2^1551247-1 is not prime. Res64: C4FA6451001F01E9 Time : 0.0 sec. user=mdettweiler [2019-12-16 04:56:38] 925*2^1551247-1 is not prime. Res64: BF673600BCBF4077 Time : 0.0 sec. user=mdettweiler [2019-12-16 04:56:39] 979*2^1551247-1 is not prime. Res64: DE9CF4DA303A3083 Time : 0.0 sec. user=mdettweiler [2019-12-16 04:56:39] 603*2^1551248-1 is not prime. Res64: 483C7AD7C266DA25 Time : 0.0 sec. user=mdettweiler [2019-12-16 04:56:40] 623*2^1551248-1 is not prime. Res64: FD79C2592AF7C2A7 Time : 0.0 sec. user=mdettweiler [2019-12-16 04:56:41] 629*2^1551248-1 is not prime. Res64: 7501B570C89F0235 Time : 0.0 sec. user=mdettweiler [2019-12-16 05:34:28] 657*2^1551248-1 is not prime. Res64: D1EF8E1BA4BD1806 Time : 0.0 sec. user=mdettweiler [2019-12-16 05:34:29] 713*2^1551248-1 is not prime. Res64: 6E08DB5557A6DB68 Time : 0.0 sec. user=mdettweiler [2019-12-16 05:34:30] 743*2^1551248-1 is not prime. Res64: 35BDD4B22B196038 Time : 0.0 sec. user=mdettweiler [2019-12-16 05:34:30] 753*2^1551248-1 is not prime. Res64: 1A555B58CAFF5352 Time : 0.0 sec. user=mdettweiler [2019-12-16 05:34:31] 803*2^1551248-1 is not prime. Res64: D87F7066FFB4C670 Time : 0.0 sec. user=mdettweiler [2019-12-16 05:50:10] 819*2^1551248-1 is not prime. Res64: 8AE67B980F726498 Time : 0.0 sec. user=mdettweiler [2019-12-16 05:50:12] 843*2^1551248-1 is not prime. Res64: EE577C2D9C72DEBD Time : 0.0 sec. user=mdettweiler [2019-12-16 05:50:13] 893*2^1551248-1 is not prime. Res64: 1AC156001A71F75E Time : 0.0 sec. user=mdettweiler [2019-12-16 05:50:15] 995*2^1551248-1 is not prime. Res64: 671EA74C3C688E8C Time : 0.0 sec. user=mdettweiler [2019-12-16 05:50:16] 657*2^1551249-1 is not prime. Res64: 484EAAF683CD5AF3 Time : 0.0 sec. user=mdettweiler [2019-12-16 06:26:41] 811*2^1551249-1 is not prime. Res64: 87D61FB35A471526 Time : 0.0 sec. user=mdettweiler [2019-12-16 06:26:41] 653*2^1551250-1 is not prime. Res64: FBF654BA581C0303 Time : 0.0 sec. user=mdettweiler [2019-12-16 06:26:42] 717*2^1551250-1 is not prime. Res64: 98319C27990638E3 Time : 0.0 sec. user=mdettweiler [2019-12-16 06:26:43] 801*2^1551250-1 is not prime. Res64: BDE73440EF276DA9 Time : 0.0 sec. user=mdettweiler [2019-12-16 06:26:43] 825*2^1551250-1 is not prime. Res64: 58FC1F4E4981145F Time : 0.0 sec. user=mdettweiler [2019-12-16 06:42:15] 917*2^1551250-1 is not prime. Res64: F52C162E6027A9DF Time : 0.0 sec. user=mdettweiler [2019-12-16 06:42:15] 643*2^1551251-1 is not prime. Res64: 6309518E54D8E5B0 Time : 0.0 sec. user=mdettweiler [2019-12-16 06:42:16] 675*2^1551251-1 is not prime. Res64: FC46012EE14CAD46 Time : 0.0 sec. user=mdettweiler [2019-12-16 06:42:16] 745*2^1551251-1 is not prime. Res64: AC2C555CCA27FFC6 Time : 0.0 sec. user=mdettweiler [2019-12-16 06:42:17] 843*2^1551251-1 is not prime. Res64: 34D4232A2EEB14F0 Time : 0.0 sec. user=mdettweiler [2019-12-16 07:19:17] 759*2^1551244-1 is not prime. Res64: BD615AF5C2E9E213 Time : 0.0 sec. user=mdettweiler [2019-12-16 07:19:17] 783*2^1551244-1 is not prime. Res64: 85C0C1D1358C1067 Time : 0.0 sec. user=mdettweiler [2019-12-16 07:19:18] 905*2^1551244-1 is not prime. Res64: 527382C207A08EFC Time : 0.0 sec. user=mdettweiler [2019-12-16 07:23:40] 943*2^1551251-1 is not prime. Res64: 8049E79C6AA511BB Time : 0.0 sec. user=mdettweiler [2019-12-16 07:23:42] 969*2^1551251-1 is not prime. Res64: FE3856712A32C0DA Time : 0.0 sec. user=mdettweiler [2019-12-16 07:23:43] 981*2^1551251-1 is not prime. Res64: FE9ECB9693CA9395 Time : 0.0 sec. user=mdettweiler [2019-12-16 07:23:46] 991*2^1551251-1 is not prime. Res64: D1F0A83DFDDD1969 Time : 0.0 sec. user=mdettweiler [2019-12-16 07:23:48] 609*2^1551252-1 is not prime. Res64: C7D6769AF70758FB Time : 0.0 sec. user=mdettweiler [2019-12-16 07:34:17] 633*2^1551252-1 is not prime. Res64: 2B2A8B566DB5C500 Time : 0.0 sec. user=mdettweiler [2019-12-16 07:34:17] 749*2^1551252-1 is not prime. Res64: A138CA4A6DF31175 Time : 0.0 sec. user=mdettweiler [2019-12-16 07:34:18] 879*2^1551252-1 is not prime. Res64: 06432A54883AD768 Time : 0.0 sec. user=mdettweiler [2019-12-16 07:34:19] 903*2^1551252-1 is not prime. Res64: 25E1FDB6B0D7F3AA Time : 0.0 sec. user=mdettweiler [2019-12-16 07:34:20] 909*2^1551252-1 is not prime. Res64: 267ACF5D813AA373 Time : 0.0 sec. user=mdettweiler [2019-12-16 08:10:42] 933*2^1551252-1 is not prime. Res64: 5D575B2B13717C09 Time : 0.0 sec. user=mdettweiler [2019-12-16 08:10:44] 619*2^1551253-1 is not prime. Res64: BE0ADA07A05132FE Time : 0.0 sec. user=mdettweiler [2019-12-16 08:10:46] 649*2^1551253-1 is not prime. Res64: F94E9E54A6D9D7BE Time : 0.0 sec. user=mdettweiler [2019-12-16 08:10:48] 685*2^1551253-1 is not prime. Res64: D0C265621180D349 Time : 0.0 sec. user=mdettweiler [2019-12-16 08:10:50] 721*2^1551253-1 is not prime. Res64: AE685DE2AEBC3A82 Time : 0.0 sec. user=mdettweiler [2019-12-16 08:18:04] 741*2^1551253-1 is not prime. Res64: E8785047F314A7CB Time : 0.0 sec. user=mdettweiler [2019-12-16 08:18:05] 855*2^1551253-1 is not prime. Res64: 9EE42EA94D6361C1 Time : 0.0 sec. user=mdettweiler [2019-12-16 08:18:06] 927*2^1551253-1 is not prime. Res64: 50EF34FE146BE364 Time : 0.0 sec. user=mdettweiler [2019-12-16 08:18:06] 955*2^1551253-1 is not prime. Res64: 542A011447B80009 Time : 0.0 sec. user=mdettweiler [2019-12-16 08:18:07] 987*2^1551253-1 is not prime. Res64: 001DCDC0D5639E51 Time : 0.0 sec. user=mdettweiler [2019-12-16 08:25:50] 677*2^1551254-1 is not prime. Res64: 40286C2B514B394E Time : 0.0 sec. user=mdettweiler [2019-12-16 08:25:51] 861*2^1551254-1 is not prime. Res64: 647E45F5571F7EC1 Time : 0.0 sec. user=mdettweiler [2019-12-16 08:25:52] 915*2^1551254-1 is not prime. Res64: D57AC3DD8BE90587 Time : 0.0 sec. user=mdettweiler [2019-12-16 08:25:52] 613*2^1551255-1 is not prime. Res64: 98A67F62F655B3CD Time : 0.0 sec. user=mdettweiler [2019-12-16 08:25:53] 789*2^1551255-1 is not prime. Res64: 4F9CE47647A90C20 Time : 0.0 sec. user=mdettweiler [2019-12-16 09:04:06] 999*2^1551255-1 is not prime. Res64: 99B97A8C8BCB353B Time : 0.0 sec. user=mdettweiler [2019-12-16 09:04:09] 617*2^1551256-1 is not prime. Res64: 457C4EB087F0B95D Time : 0.0 sec. user=mdettweiler [2019-12-16 09:04:11] 675*2^1551256-1 is not prime. Res64: 3BF0ABBDBED32325 Time : 0.0 sec. user=mdettweiler [2019-12-16 09:04:13] 765*2^1551256-1 is not prime. Res64: C5AC66B8E5F511D3 Time : 0.0 sec. user=mdettweiler [2019-12-16 09:04:15] 903*2^1551256-1 is not prime. Res64: E0DE2F89C95AD058 Time : 0.0 sec. user=mdettweiler [2019-12-16 09:10:32] 957*2^1551256-1 is not prime. Res64: 7E7CA9EFC30E8226 Time : 0.0 sec. user=mdettweiler [2019-12-16 09:10:33] 601*2^1551257-1 is not prime. Res64: 39805F02FF94660B Time : 0.0 sec. user=mdettweiler [2019-12-16 09:10:34] 619*2^1551257-1 is not prime. Res64: 75D0DC130A3E46E7 Time : 0.0 sec. user=mdettweiler [2019-12-16 09:10:35] 637*2^1551257-1 is not prime. Res64: 1F6336E0FCE6D00D Time : 0.0 sec. user=mdettweiler [2019-12-16 09:10:36] 651*2^1551257-1 is not prime. Res64: 7BE58A6C84BEB1F6 Time : 0.0 sec. user=mdettweiler [2019-12-16 09:18:27] 675*2^1551257-1 is not prime. Res64: 05AE2091C9795D6C Time : 0.0 sec. user=mdettweiler [2019-12-16 09:18:28] 771*2^1551257-1 is not prime. Res64: 3C14FB26F22E7636 Time : 0.0 sec. user=mdettweiler [2019-12-16 09:18:29] 871*2^1551257-1 is not prime. Res64: 059CFD4DA28C81E0 Time : 0.0 sec. user=mdettweiler [2019-12-16 09:18:29] 957*2^1551257-1 is not prime. Res64: 25A5C485B64A48C1 Time : 0.0 sec. user=mdettweiler [2019-12-16 09:18:30] 657*2^1551258-1 is not prime. Res64: 02EF95C3552D214F Time : 0.0 sec. user=mdettweiler [2019-12-16 09:56:27] 803*2^1551258-1 is not prime. Res64: D32824A57C1ACDD7 Time : 0.0 sec. user=mdettweiler [2019-12-16 09:56:27] 843*2^1551258-1 is not prime. Res64: 6DAF02604D209D65 Time : 0.0 sec. user=mdettweiler [2019-12-16 09:56:28] 867*2^1551258-1 is not prime. Res64: D94C3B628801BEF9 Time : 0.0 sec. user=mdettweiler [2019-12-16 09:56:29] 893*2^1551258-1 is not prime. Res64: E3B9A8D0E8974173 Time : 0.0 sec. user=mdettweiler [2019-12-16 09:56:30] 601*2^1551259-1 is not prime. Res64: DE7F687B2ADCEE73 Time : 0.0 sec. user=mdettweiler [2019-12-16 10:01:41] 603*2^1551259-1 is not prime. Res64: C233712C35238C30 Time : 0.0 sec. user=mdettweiler [2019-12-16 10:01:44] 619*2^1551259-1 is not prime. Res64: 8C0FCEBDA04B935D Time : 0.0 sec. user=mdettweiler [2019-12-16 10:01:47] 633*2^1551259-1 is not prime. Res64: 9346C521E8002B45 Time : 0.0 sec. user=mdettweiler [2019-12-16 10:01:49] 639*2^1551259-1 is not prime. Res64: 4998688D97AD8ADA Time : 0.0 sec. user=mdettweiler [2019-12-16 10:01:51] 663*2^1551259-1 is not prime. Res64: A8FE88797539D442 Time : 0.0 sec. user=mdettweiler [2019-12-16 10:10:02] 735*2^1551259-1 is not prime. Res64: 03FEC4BAEDAA725D Time : 0.0 sec. user=mdettweiler [2019-12-16 10:10:02] 775*2^1551259-1 is not prime. Res64: 7833798F50811DBA Time : 0.0 sec. user=mdettweiler [2019-12-16 10:10:03] 843*2^1551259-1 is not prime. Res64: E048D23B2C55EE6B Time : 0.0 sec. user=mdettweiler [2019-12-16 10:10:04] 909*2^1551259-1 is not prime. Res64: 4238AFE045F8FD74 Time : 0.0 sec. user=mdettweiler [2019-12-16 10:10:05] 605*2^1551260-1 is not prime. Res64: 05BE7CB9A8A9D949 Time : 0.0 sec. user=mdettweiler [2019-12-16 10:47:52] 663*2^1551260-1 is not prime. Res64: D3F8210A6552EE89 Time : 0.0 sec. user=mdettweiler [2019-12-16 10:47:53] 719*2^1551260-1 is not prime. Res64: B1631F632D940F1A Time : 0.0 sec. user=mdettweiler [2019-12-16 10:47:54] 735*2^1551260-1 is not prime. Res64: 114E0C7C6A419729 Time : 0.0 sec. user=mdettweiler [2019-12-16 10:47:55] 777*2^1551260-1 is not prime. Res64: AA097154C96C10F6 Time : 0.0 sec. user=mdettweiler [2019-12-16 10:47:55] 839*2^1551260-1 is not prime. Res64: A9E0C9AB09186C01 Time : 0.0 sec. user=mdettweiler [2019-12-16 10:55:17] 927*2^1551260-1 is not prime. Res64: C89DA95A299C165B Time : 0.0 sec. user=mdettweiler [2019-12-16 10:55:18] 987*2^1551260-1 is not prime. Res64: D7C30CB718975503 Time : 0.0 sec. user=mdettweiler [2019-12-16 10:55:19] 717*2^1551261-1 is not prime. Res64: FF7759F41BBB4F95 Time : 0.0 sec. user=mdettweiler [2019-12-16 10:55:20] 741*2^1551261-1 is not prime. Res64: 29970A281ADED74C Time : 0.0 sec. user=mdettweiler [2019-12-16 10:55:20] 789*2^1551261-1 is not prime. Res64: 76799058583D4FCF Time : 0.0 sec. user=mdettweiler [2019-12-16 11:03:42] 861*2^1551261-1 is not prime. Res64: 880287E3AFD374A6 Time : 0.0 sec. user=mdettweiler [2019-12-16 11:03:47] 901*2^1551261-1 is not prime. Res64: 73663C03D8C86DD9 Time : 0.0 sec. user=mdettweiler [2019-12-16 11:03:51] 907*2^1551261-1 is not prime. Res64: 775933C0B227E8A2 Time : 0.0 sec. user=mdettweiler [2019-12-16 11:03:54] 937*2^1551261-1 is not prime. Res64: 7202BC6BB4257BCF Time : 0.0 sec. user=mdettweiler [2019-12-16 11:03:58] 955*2^1551261-1 is not prime. Res64: 11971337F89F8BCA Time : 0.0 sec. user=mdettweiler [2019-12-16 11:39:37] 603*2^1551262-1 is not prime. Res64: 9ECC1B4358AED2D4 Time : 0.0 sec. user=mdettweiler [2019-12-16 11:39:37] 651*2^1551262-1 is not prime. Res64: 4927B697E21753A9 Time : 0.0 sec. user=mdettweiler [2019-12-16 11:39:38] 705*2^1551262-1 is not prime. Res64: 708AC94BDA12B2F3 Time : 0.0 sec. user=mdettweiler [2019-12-16 11:39:39] 827*2^1551262-1 is not prime. Res64: 1D0DC681F15C1D84 Time : 0.0 sec. user=mdettweiler [2019-12-16 11:39:40] 833*2^1551262-1 is not prime. Res64: F04604D9F429FA17 Time : 0.0 sec. user=mdettweiler [2019-12-16 11:49:45] 897*2^1551262-1 is not prime. Res64: EB4598EAA6157503 Time : 0.0 sec. user=mdettweiler [2019-12-16 11:49:45] 915*2^1551262-1 is not prime. Res64: 5870E8D48514B277 Time : 0.0 sec. user=mdettweiler [2019-12-16 11:49:46] 965*2^1551262-1 is not prime. Res64: 0844931EAB2B88E0 Time : 0.0 sec. user=mdettweiler [2019-12-16 11:49:47] 995*2^1551262-1 is not prime. Res64: 4611BEB84A9FD264 Time : 0.0 sec. user=mdettweiler [2019-12-16 11:49:47] 609*2^1551263-1 is not prime. Res64: DA94D195F19BDF02 Time : 0.0 sec. user=mdettweiler [2019-12-16 11:57:37] 703*2^1551263-1 is not prime. Res64: C12328513F0F1EE0 Time : 0.0 sec. user=mdettweiler [2019-12-16 11:57:38] 741*2^1551263-1 is not prime. Res64: 28B5FCFBD5D8A622 Time : 0.0 sec. user=mdettweiler [2019-12-16 11:57:38] 811*2^1551263-1 is not prime. Res64: 7A9121EEC89D5A00 Time : 0.0 sec. user=mdettweiler [2019-12-16 11:57:39] 939*2^1551263-1 is not prime. Res64: 0F61FD3071E1F83E Time : 0.0 sec. user=mdettweiler [2019-12-16 11:57:40] 985*2^1551263-1 is not prime. Res64: 1F4115F3B5E52697 Time : 0.0 sec. user=mdettweiler [2019-12-16 12:32:59] 765*2^1551264-1 is not prime. Res64: 9F5C5C9E8FD6D330 Time : 0.0 sec. user=mdettweiler [2019-12-16 12:33:00] 799*2^1551265-1 is not prime. Res64: 31103245866689A3 Time : 0.0 sec. user=mdettweiler [2019-12-16 12:33:01] 805*2^1551265-1 is not prime. Res64: 4AB5C7B52FB6D586 Time : 0.0 sec. user=mdettweiler [2019-12-16 12:33:01] 841*2^1551265-1 is not prime. Res64: 2D452728796EC34C Time : 0.0 sec. user=mdettweiler [2019-12-16 12:33:02] 861*2^1551265-1 is not prime. Res64: B5791C5E90E57A3F Time : 0.0 sec. user=mdettweiler [2019-12-16 12:42:47] 877*2^1551265-1 is not prime. Res64: BCCFB55EBF4E4CDC Time : 0.0 sec. user=mdettweiler [2019-12-16 12:42:48] 885*2^1551265-1 is not prime. Res64: CD28D846AC0AECCA Time : 0.0 sec. user=mdettweiler [2019-12-16 12:42:48] 615*2^1551266-1 is not prime. Res64: AA14DFD2CD73FF36 Time : 0.0 sec. user=mdettweiler [2019-12-16 12:42:49] 645*2^1551266-1 is not prime. Res64: 9A570CC3736E226F Time : 0.0 sec. user=mdettweiler [2019-12-16 12:42:50] 741*2^1551266-1 is not prime. Res64: F96E83BB91CEA5FF Time : 0.0 sec. user=mdettweiler [2019-12-16 12:53:31] 755*2^1551266-1 is not prime. Res64: BCEF0C2DC807B1D9 Time : 0.0 sec. user=mdettweiler [2019-12-16 12:53:32] 831*2^1551266-1 is not prime. Res64: 8A96FD4005D55A40 Time : 0.0 sec. user=mdettweiler [2019-12-16 12:53:32] 887*2^1551266-1 is not prime. Res64: 949D8163DB98FFA1 Time : 0.0 sec. user=mdettweiler [2019-12-16 12:53:33] 953*2^1551266-1 is not prime. Res64: 77676CEC884D2E9C Time : 0.0 sec. user=mdettweiler [2019-12-16 12:53:34] 993*2^1551266-1 is not prime. Res64: BFBF0CD4D1CEB7B8 Time : 0.0 sec. user=mdettweiler [2019-12-16 13:27:35] 609*2^1551267-1 is not prime. Res64: A27C4349D387F54F Time : 0.0 sec. user=mdettweiler [2019-12-16 13:27:36] 885*2^1551267-1 is not prime. Res64: 3F0C8EAA7B7FC7BE Time : 0.0 sec. user=mdettweiler [2019-12-16 13:27:37] 945*2^1551267-1 is not prime. Res64: 00FC34B886427EC3 Time : 0.0 sec. user=mdettweiler [2019-12-16 13:27:38] 963*2^1551267-1 is not prime. Res64: 2A8ADE1CC03AE9E7 Time : 0.0 sec. user=mdettweiler [2019-12-16 13:27:38] 615*2^1551268-1 is not prime. Res64: D31B74191CD42D48 Time : 0.0 sec. user=mdettweiler [2019-12-16 13:36:03] 677*2^1551268-1 is not prime. Res64: DCB8BC32A55D2823 Time : 0.0 sec. user=mdettweiler [2019-12-16 13:36:04] 743*2^1551268-1 is not prime. Res64: 4E2713E2A7A6720F Time : 0.0 sec. user=mdettweiler [2019-12-16 13:36:04] 765*2^1551268-1 is not prime. Res64: FD4889A02AD988A2 Time : 0.0 sec. user=mdettweiler [2019-12-16 13:36:05] 909*2^1551268-1 is not prime. Res64: 8A9256799BE737E0 Time : 0.0 sec. user=mdettweiler [2019-12-16 13:36:06] 969*2^1551268-1 is not prime. Res64: B825DCAF6C1E0EB1 Time : 0.0 sec. user=mdettweiler [2019-12-16 13:46:34] 989*2^1551268-1 is not prime. Res64: F70FBF0C7998B850 Time : 0.0 sec. user=mdettweiler [2019-12-16 13:46:35] 691*2^1551269-1 is not prime. Res64: 78B0AED8DC5E116A Time : 0.0 sec. user=mdettweiler [2019-12-16 13:46:35] 735*2^1551269-1 is not prime. Res64: C35434CC1439FAD2 Time : 0.0 sec. user=mdettweiler [2019-12-16 13:46:36] 787*2^1551269-1 is not prime. Res64: 39030479B13DC435 Time : 0.0 sec. user=mdettweiler [2019-12-16 13:46:37] 801*2^1551269-1 is not prime. Res64: 34D09821AD837D09 Time : 0.0 sec. user=mdettweiler [2019-12-16 14:22:21] 861*2^1551269-1 is not prime. Res64: 42A30D5825D14F45 Time : 0.0 sec. user=mdettweiler [2019-12-16 14:22:22] 939*2^1551269-1 is not prime. Res64: 9CD2B799E79E1E3C Time : 0.0 sec. user=mdettweiler [2019-12-16 14:22:22] 951*2^1551269-1 is not prime. Res64: 7EC3D86D1C6F252D Time : 0.0 sec. user=mdettweiler [2019-12-16 14:22:22] 957*2^1551269-1 is not prime. Res64: C1A75680EA7BF768 Time : 0.0 sec. user=mdettweiler [2019-12-16 14:22:23] 647*2^1551270-1 is not prime. Res64: F31F8032F3EA7E46 Time : 0.0 sec. user=mdettweiler [2019-12-16 14:28:57] 761*2^1551270-1 is not prime. Res64: D06B17C8511E266F Time : 0.0 sec. user=mdettweiler [2019-12-16 14:28:58] 765*2^1551270-1 is not prime. Res64: E1A51E9BA578F261 Time : 0.0 sec. user=mdettweiler [2019-12-16 14:28:59] 797*2^1551270-1 is not prime. Res64: A1D6FA933EACB3AF Time : 0.0 sec. user=mdettweiler [2019-12-16 14:29:00] 965*2^1551270-1 is not prime. Res64: E4EEE71D1F34380F Time : 0.0 sec. user=mdettweiler [2019-12-16 14:29:00] 645*2^1551271-1 is not prime. Res64: 02AE877AE8B95BCF Time : 0.0 sec. user=mdettweiler [2019-12-16 14:29:42] 963*2^1551272-1 is not prime. Res64: C094217EF045367E Time : 0.0 sec. user=mdettweiler [2019-12-16 14:38:37] 649*2^1551271-1 is prime! Time : 0.0 sec. user=mdettweiler [2019-12-16 14:38:39] 805*2^1551271-1 is not prime. Res64: 444F4EE22B45D213 Time : 0.0 sec. user=mdettweiler [2019-12-16 14:38:40] 873*2^1551271-1 is not prime. Res64: 0701B257B92D02BF Time : 0.0 sec. user=mdettweiler [2019-12-16 14:38:41] 909*2^1551271-1 is not prime. Res64: 3378EC5D715F514C Time : 0.0 sec. user=mdettweiler [2019-12-16 14:38:43] 617*2^1551272-1 is not prime. Res64: 76A58FC18986145C Time : 0.0 sec. user=mdettweiler [2019-12-16 15:13:38] 633*2^1551272-1 is not prime. Res64: 921DCEBE9BA9CD46 Time : 0.0 sec. user=mdettweiler [2019-12-16 15:13:40] 677*2^1551272-1 is not prime. Res64: 17A210A2FF5C16EE Time : 0.0 sec. user=mdettweiler [2019-12-16 15:13:42] 713*2^1551272-1 is not prime. Res64: AF4C1C5B8E4D6161 Time : 0.0 sec. user=mdettweiler [2019-12-16 15:13:44] 777*2^1551272-1 is not prime. Res64: 8817556FC01BCCAD Time : 0.0 sec. user=mdettweiler [2019-12-16 15:13:45] 855*2^1551272-1 is not prime. Res64: D35644A42C9F6355 Time : 0.0 sec. user=mdettweiler [2019-12-16 15:20:17] 609*2^1551273-1 is not prime. Res64: 19279DCABF749AE0 Time : 0.0 sec. user=mdettweiler [2019-12-16 15:20:18] 657*2^1551273-1 is not prime. Res64: 855A294221B33D69 Time : 0.0 sec. user=mdettweiler [2019-12-16 15:20:19] 681*2^1551273-1 is not prime. Res64: 6AE0FCF9C8581C44 Time : 0.0 sec. user=mdettweiler [2019-12-16 15:20:20] 735*2^1551273-1 is not prime. Res64: DCD82971A5CC8FD6 Time : 0.0 sec. user=mdettweiler [2019-12-16 15:20:20] 807*2^1551273-1 is not prime. Res64: B82D74111E4B11F0 Time : 0.0 sec. user=mdettweiler [2019-12-16 15:31:11] 817*2^1551273-1 is not prime. Res64: 43F9D280671D9EE7 Time : 0.0 sec. user=mdettweiler [2019-12-16 15:31:12] 829*2^1551273-1 is not prime. Res64: 27AA5DD45938BC53 Time : 0.0 sec. user=mdettweiler [2019-12-16 15:31:12] 837*2^1551273-1 is not prime. Res64: 48376EA6A669796B Time : 0.0 sec. user=mdettweiler [2019-12-16 15:31:13] 847*2^1551273-1 is not prime. Res64: A0365C04687835C0 Time : 0.0 sec. user=mdettweiler [2019-12-16 15:31:14] 915*2^1551273-1 is not prime. Res64: 72163EBBE2E8E955 Time : 0.0 sec. user=mdettweiler [2019-12-16 16:06:26] 937*2^1551273-1 is not prime. Res64: 016B27645C069732 Time : 0.0 sec. user=mdettweiler [2019-12-16 16:06:30] 979*2^1551273-1 is not prime. Res64: D5959121AAA8E681 Time : 0.0 sec. user=mdettweiler [2019-12-16 16:06:33] 665*2^1551274-1 is not prime. Res64: AFEBA3EECE6E15BB Time : 0.0 sec. user=mdettweiler [2019-12-16 16:06:37] 717*2^1551274-1 is not prime. Res64: CEC4C4FCAD1682F7 Time : 0.0 sec. user=mdettweiler [2019-12-16 16:06:40] 773*2^1551274-1 is not prime. Res64: BE90AA06035FB38B Time : 0.0 sec. user=mdettweiler [2019-12-16 16:13:55] 813*2^1551274-1 is not prime. Res64: E519E2FDD086E54D Time : 0.0 sec. user=mdettweiler [2019-12-16 16:13:59] 815*2^1551274-1 is not prime. Res64: 749DF9E63FD2A97C Time : 0.0 sec. user=mdettweiler [2019-12-16 16:14:02] 885*2^1551274-1 is not prime. Res64: A3220289B758A52F Time : 0.0 sec. user=mdettweiler [2019-12-16 16:14:04] 905*2^1551274-1 is not prime. Res64: A80D9030ED59C14A Time : 0.0 sec. user=mdettweiler [2019-12-16 16:14:06] 947*2^1551274-1 is not prime. Res64: 3A0CAC8783D89466 Time : 0.0 sec. user=mdettweiler [2019-12-16 16:23:46] 993*2^1551274-1 is not prime. Res64: F572007921F4C6BE Time : 0.0 sec. user=mdettweiler [2019-12-16 16:23:47] 609*2^1551275-1 is not prime. Res64: B5636B73C78AC0E7 Time : 0.0 sec. user=mdettweiler [2019-12-16 16:23:48] 775*2^1551275-1 is not prime. Res64: E8F6499C8E3A09F5 Time : 0.0 sec. user=mdettweiler [2019-12-16 16:23:49] 825*2^1551275-1 is not prime. Res64: 69E511B244C299E1 Time : 0.0 sec. user=mdettweiler [2019-12-16 16:23:49] 623*2^1551276-1 is not prime. Res64: 544A526EA438862B Time : 0.0 sec. user=mdettweiler [2019-12-16 16:59:04] 635*2^1551276-1 is not prime. Res64: 021F0D82B1E62E81 Time : 0.0 sec. user=mdettweiler [2019-12-16 16:59:05] 699*2^1551276-1 is not prime. Res64: 2F2493195613FA36 Time : 0.0 sec. user=mdettweiler [2019-12-16 16:59:06] 879*2^1551276-1 is not prime. Res64: 69F7C91D5D27E9DA Time : 0.0 sec. user=mdettweiler [2019-12-16 16:59:06] 625*2^1551277-1 is not prime. Res64: B5B5868D34105B07 Time : 0.0 sec. user=mdettweiler [2019-12-16 16:59:07] 667*2^1551277-1 is not prime. Res64: 2AD04A50C477AC9D Time : 0.0 sec. user=mdettweiler [2019-12-16 17:05:51] 747*2^1551277-1 is not prime. Res64: 9D739531D16B8AB4 Time : 0.0 sec. user=mdettweiler [2019-12-16 17:05:53] 769*2^1551277-1 is not prime. Res64: D7BD9451A420F96F Time : 0.0 sec. user=mdettweiler [2019-12-16 17:05:54] 885*2^1551277-1 is not prime. Res64: 5D8D56CE395E8099 Time : 0.0 sec. user=mdettweiler [2019-12-16 17:05:56] 617*2^1551278-1 is not prime. Res64: 197052F49F427D6E Time : 0.0 sec. user=mdettweiler [2019-12-16 17:05:58] 687*2^1551278-1 is not prime. Res64: D5BB83A98C7D0B7F Time : 0.0 sec. user=mdettweiler [2019-12-16 17:15:37] 767*2^1551278-1 is not prime. Res64: E11986F2C7B608D4 Time : 0.0 sec. user=mdettweiler [2019-12-16 17:15:38] 813*2^1551278-1 is not prime. Res64: 5CA2A808969764D5 Time : 0.0 sec. user=mdettweiler [2019-12-16 17:15:40] 815*2^1551278-1 is not prime. Res64: 98F5665CD951D70A Time : 0.0 sec. user=mdettweiler [2019-12-16 17:15:41] 893*2^1551278-1 is not prime. Res64: 11C2ED7596D1AF8A Time : 0.0 sec. user=mdettweiler [2019-12-16 17:15:42] 769*2^1551279-1 is not prime. Res64: DCAF992BAABE7FE3 Time : 0.0 sec. user=mdettweiler [2019-12-16 17:51:59] 853*2^1551279-1 is not prime. Res64: F74ED90D2315B317 Time : 0.0 sec. user=mdettweiler [2019-12-16 17:52:00] 895*2^1551279-1 is not prime. Res64: 0E0F38C23232D1B8 Time : 0.0 sec. user=mdettweiler [2019-12-16 17:52:01] 955*2^1551279-1 is not prime. Res64: 7FC47F235364C3B9 Time : 0.0 sec. user=mdettweiler [2019-12-16 17:52:02] 645*2^1551280-1 is not prime. Res64: 438D47B5DDD77EC8 Time : 0.0 sec. user=mdettweiler [2019-12-16 17:52:02] 699*2^1551280-1 is not prime. Res64: 2C925D658FD0676B Time : 0.0 sec. user=mdettweiler [2019-12-16 17:58:34] 713*2^1551280-1 is not prime. Res64: D3D2A5B312DAF181 Time : 0.0 sec. user=mdettweiler [2019-12-16 17:58:35] 743*2^1551280-1 is not prime. Res64: C8B365510E472755 Time : 0.0 sec. user=mdettweiler [2019-12-16 17:58:36] 875*2^1551280-1 is not prime. Res64: A773C01849C611FE Time : 0.0 sec. user=mdettweiler [2019-12-16 17:58:36] 957*2^1551280-1 is not prime. Res64: 0D275B238489B676 Time : 0.0 sec. user=mdettweiler [2019-12-16 17:58:37] 615*2^1551281-1 is not prime. Res64: 82D8747F60B60AE0 Time : 0.0 sec. user=mdettweiler [2019-12-16 18:09:27] 669*2^1551281-1 is not prime. Res64: 7A616B4B1B70F1FE Time : 0.0 sec. user=mdettweiler [2019-12-16 18:09:31] 705*2^1551281-1 is not prime. Res64: A36D9F24F872A602 Time : 0.0 sec. user=mdettweiler [2019-12-16 18:09:34] 945*2^1551281-1 is not prime. Res64: 2E5F56E37466548B Time : 0.0 sec. user=mdettweiler [2019-12-16 18:09:36] 951*2^1551281-1 is not prime. Res64: D3D115D02F4813B5 Time : 0.0 sec. user=mdettweiler [2019-12-16 18:09:39] 611*2^1551282-1 is not prime. Res64: 52D63BA7D5850DB9 Time : 0.0 sec. user=mdettweiler [2019-12-16 18:42:54] 705*2^1551282-1 is not prime. Res64: DE607181144EB2FA Time : 0.0 sec. user=mdettweiler [2019-12-16 18:42:55] 765*2^1551282-1 is not prime. Res64: 54AA78191160257B Time : 0.0 sec. user=mdettweiler [2019-12-16 18:42:56] 603*2^1551283-1 is not prime. Res64: 3D2B6BF5FD34E480 Time : 0.0 sec. user=mdettweiler [2019-12-16 18:42:57] 703*2^1551283-1 is not prime. Res64: 827134F04F415787 Time : 0.0 sec. user=mdettweiler [2019-12-16 18:42:58] 769*2^1551283-1 is not prime. Res64: 939C844BC7351720 Time : 0.0 sec. user=mdettweiler [2019-12-16 18:50:41] 861*2^1551283-1 is not prime. Res64: 8B6C608554BFDCF9 Time : 0.0 sec. user=mdettweiler [2019-12-16 18:50:42] 871*2^1551283-1 is not prime. Res64: F6389F5202D178F7 Time : 0.0 sec. user=mdettweiler [2019-12-16 18:50:43] 873*2^1551283-1 is not prime. Res64: 1E073D0483D55F86 Time : 0.0 sec. user=mdettweiler [2019-12-16 18:50:44] 913*2^1551283-1 is not prime. Res64: 1F1BEF5AF488AA2A Time : 0.0 sec. user=mdettweiler [2019-12-16 18:50:44] 609*2^1551284-1 is not prime. Res64: 474C48A75477ACEA Time : 0.0 sec. user=mdettweiler [2019-12-16 19:02:08] 843*2^1551284-1 is not prime. Res64: 543CCBAAEAE0E877 Time : 0.0 sec. user=mdettweiler [2019-12-16 19:02:10] 893*2^1551284-1 is not prime. Res64: 98A33687A2EE7804 Time : 0.0 sec. user=mdettweiler [2019-12-16 19:02:13] 923*2^1551284-1 is not prime. Res64: 1D0D16C5E501E955 Time : 0.0 sec. user=mdettweiler [2019-12-16 19:02:15] 679*2^1551285-1 is not prime. Res64: 7B59C8570D0AE99D Time : 0.0 sec. user=mdettweiler [2019-12-16 19:02:17] 727*2^1551285-1 is not prime. Res64: 1A6AAB0F9F9301E5 Time : 0.0 sec. user=mdettweiler [2019-12-16 19:34:32] 765*2^1551285-1 is not prime. Res64: 2BD1DBB261F4BCE6 Time : 0.0 sec. user=mdettweiler [2019-12-16 19:34:33] 781*2^1551285-1 is not prime. Res64: BBE682EBA41C1E6B Time : 0.0 sec. user=mdettweiler [2019-12-16 19:34:34] 789*2^1551285-1 is not prime. Res64: C62647E487A3128A Time : 0.0 sec. user=mdettweiler [2019-12-16 19:34:35] 817*2^1551285-1 is not prime. Res64: 797C707F79E07898 Time : 0.0 sec. user=mdettweiler [2019-12-16 19:34:36] 831*2^1551285-1 is not prime. Res64: C74BB22D3CC478F6 Time : 0.0 sec. user=mdettweiler [2019-12-16 19:42:53] 889*2^1551285-1 is not prime. Res64: D0330B955F3F98C5 Time : 0.0 sec. user=mdettweiler [2019-12-16 19:42:54] 603*2^1551286-1 is not prime. Res64: 8150099C98C7F992 Time : 0.0 sec. user=mdettweiler [2019-12-16 19:42:54] 855*2^1551286-1 is not prime. Res64: 8F3F98723679D493 Time : 0.0 sec. user=mdettweiler [2019-12-16 19:42:55] 873*2^1551286-1 is not prime. Res64: 598B9A863B5BB29E Time : 0.0 sec. user=mdettweiler [2019-12-16 19:42:55] 911*2^1551286-1 is not prime. Res64: 0F22E354FFDB26A1 Time : 0.0 sec. user=mdettweiler [2019-12-16 19:54:01] 609*2^1551287-1 is not prime. Res64: 8CF3C9011864B107 Time : 0.0 sec. user=mdettweiler [2019-12-16 19:54:03] 753*2^1551287-1 is not prime. Res64: D3FD321090BEAEBF Time : 0.0 sec. user=mdettweiler [2019-12-16 19:54:04] 885*2^1551287-1 is not prime. Res64: 08E0A9C44878AC7E Time : 0.0 sec. user=mdettweiler [2019-12-16 19:54:06] 895*2^1551287-1 is not prime. Res64: 8A9191BD737D7605 Time : 0.0 sec. user=mdettweiler [2019-12-16 19:54:07] 777*2^1551288-1 is not prime. Res64: D7B884A5D063E382 Time : 0.0 sec. user=mdettweiler [2019-12-16 20:29:28] 825*2^1551288-1 is not prime. Res64: 382994B3F2850F81 Time : 0.0 sec. user=mdettweiler [2019-12-16 20:29:29] 945*2^1551288-1 is not prime. Res64: DF1A613A3DAE7CC9 Time : 0.0 sec. user=mdettweiler [2019-12-16 20:29:30] 993*2^1551288-1 is not prime. Res64: D3DAD57182CD81C4 Time : 0.0 sec. user=mdettweiler [2019-12-16 20:29:30] 637*2^1551289-1 is not prime. Res64: AF9640952E5BB868 Time : 0.0 sec. user=mdettweiler [2019-12-16 20:29:31] 861*2^1551289-1 is not prime. Res64: 496A804116A51A6A Time : 0.0 sec. user=mdettweiler [2019-12-16 20:35:04] 897*2^1551289-1 is not prime. Res64: 18EA511DD846BBA2 Time : 0.0 sec. user=mdettweiler [2019-12-16 20:35:05] 717*2^1551290-1 is not prime. Res64: D276FF8EC4BCC4E1 Time : 0.0 sec. user=mdettweiler [2019-12-16 20:35:05] 731*2^1551290-1 is not prime. Res64: 708EC0F66F78D4F5 Time : 0.0 sec. user=mdettweiler [2019-12-16 20:35:06] 785*2^1551290-1 is not prime. Res64: 201565FF2A96E49C Time : 0.0 sec. user=mdettweiler [2019-12-16 20:35:06] 813*2^1551290-1 is not prime. Res64: B63DD9DBE577634E Time : 0.0 sec. user=mdettweiler [2019-12-16 20:47:30] 995*2^1551290-1 is not prime. Res64: C0FE8F704FD2160C Time : 0.0 sec. user=mdettweiler [2019-12-16 20:47:30] 679*2^1551291-1 is not prime. Res64: 8E5D623E94677DD9 Time : 0.0 sec. user=mdettweiler [2019-12-16 20:47:31] 739*2^1551291-1 is not prime. Res64: 508750D513071DEF Time : 0.0 sec. user=mdettweiler [2019-12-16 20:47:31] 753*2^1551291-1 is not prime. Res64: AB94F55EECAA186E Time : 0.0 sec. user=mdettweiler [2019-12-16 20:47:31] 819*2^1551291-1 is not prime. Res64: 9CDEB8099088B948 Time : 0.0 sec. user=mdettweiler [2019-12-16 21:23:06] 861*2^1551291-1 is not prime. Res64: 76A81D2F605AA706 Time : 0.0 sec. user=mdettweiler [2019-12-16 21:23:07] 949*2^1551291-1 is not prime. Res64: 90121608D22EE4E5 Time : 0.0 sec. user=mdettweiler [2019-12-16 21:23:08] 635*2^1551292-1 is not prime. Res64: 2B02B0CA8BD76A41 Time : 0.0 sec. user=mdettweiler [2019-12-16 21:23:09] 827*2^1551292-1 is not prime. Res64: D29C5CFC9C8DD976 Time : 0.0 sec. user=mdettweiler [2019-12-16 21:23:10] 885*2^1551292-1 is not prime. Res64: ADF4190670B4E11F Time : 0.0 sec. user=mdettweiler [2019-12-16 21:27:12] 899*2^1551292-1 is not prime. Res64: 634325DFF405B3B3 Time : 0.0 sec. user=mdettweiler [2019-12-16 21:27:13] 939*2^1551292-1 is not prime. Res64: A262EE9380981C53 Time : 0.0 sec. user=mdettweiler [2019-12-16 21:27:14] 697*2^1551293-1 is not prime. Res64: 0043132B11101A4B Time : 0.0 sec. user=mdettweiler [2019-12-16 21:27:15] 771*2^1551293-1 is not prime. Res64: C8696F35EDE2E77A Time : 0.0 sec. user=mdettweiler [2019-12-16 21:27:15] 795*2^1551293-1 is not prime. Res64: B422F92FCFE865FC Time : 0.0 sec. user=mdettweiler [2019-12-16 21:40:58] 829*2^1551293-1 is not prime. Res64: CF26FA245EA5D249 Time : 0.0 sec. user=mdettweiler [2019-12-16 21:40:58] 885*2^1551293-1 is not prime. Res64: 48F3E79B6DBC9972 Time : 0.0 sec. user=mdettweiler [2019-12-16 21:40:59] 915*2^1551293-1 is not prime. Res64: 224DC32484726F7D Time : 0.0 sec. user=mdettweiler [2019-12-16 21:40:59] 981*2^1551293-1 is not prime. Res64: 15E28E1C20D5D24A Time : 0.0 sec. user=mdettweiler [2019-12-16 21:41:00] 693*2^1551294-1 is not prime. Res64: 80A6B00C2874AF23 Time : 0.0 sec. user=mdettweiler [2019-12-16 22:16:46] 795*2^1551294-1 is not prime. Res64: 749B0908E16326F4 Time : 0.0 sec. user=mdettweiler [2019-12-16 22:16:47] 815*2^1551294-1 is not prime. Res64: 057E469DC9861EE0 Time : 0.0 sec. user=mdettweiler [2019-12-16 22:16:48] 873*2^1551294-1 is not prime. Res64: E5543931BCC9C34F Time : 0.0 sec. user=mdettweiler [2019-12-16 22:16:49] 921*2^1551294-1 is not prime. Res64: AA09215655F9FC1C Time : 0.0 sec. user=mdettweiler [2019-12-16 22:16:50] 947*2^1551294-1 is not prime. Res64: 3CB75177BA7BF8A9 Time : 0.0 sec. user=mdettweiler [2019-12-16 22:21:30] 975*2^1551294-1 is not prime. Res64: E8D292D613FB7E12 Time : 0.0 sec. user=mdettweiler [2019-12-16 22:21:30] 663*2^1551295-1 is not prime. Res64: ECCE68B9FCC57AAF Time : 0.0 sec. user=mdettweiler [2019-12-16 22:21:31] 871*2^1551295-1 is not prime. Res64: 4FA166E76861D50D Time : 0.0 sec. user=mdettweiler [2019-12-16 22:21:31] 883*2^1551295-1 is not prime. Res64: 22098BEDB22FFA95 Time : 0.0 sec. user=mdettweiler [2019-12-16 22:21:32] 973*2^1551295-1 is not prime. Res64: F7E9D6C15B1C372F Time : 0.0 sec. user=mdettweiler [2019-12-16 22:32:14] 693*2^1551296-1 is not prime. Res64: 3E386879279E2CF0 Time : 0.0 sec. user=mdettweiler [2019-12-16 22:32:15] 755*2^1551296-1 is not prime. Res64: A94CF6A1C99E210C Time : 0.0 sec. user=mdettweiler [2019-12-16 22:32:15] 789*2^1551296-1 is not prime. Res64: 5EED493F0BBC852E Time : 0.0 sec. user=mdettweiler [2019-12-16 22:32:16] 909*2^1551296-1 is not prime. Res64: 4DC17D28894E9D09 Time : 0.0 sec. user=mdettweiler [2019-12-16 22:32:17] 751*2^1551297-1 is not prime. Res64: 3ED2240E2109E13E Time : 0.0 sec. user=mdettweiler [2019-12-16 23:10:07] 795*2^1551297-1 is not prime. Res64: 6CA0522EFF2B9729 Time : 0.0 sec. user=mdettweiler [2019-12-16 23:10:08] 885*2^1551297-1 is not prime. Res64: 04B93DCA01F6D5D5 Time : 0.0 sec. user=mdettweiler [2019-12-16 23:10:09] 621*2^1551298-1 is not prime. Res64: 6366DF4EB9D04BE5 Time : 0.0 sec. user=mdettweiler [2019-12-16 23:10:10] 843*2^1551298-1 is not prime. Res64: F1333DBB0405F487 Time : 0.0 sec. user=mdettweiler [2019-12-16 23:10:11] 945*2^1551298-1 is not prime. Res64: CBE9CD8F51104E9B Time : 0.0 sec. user=mdettweiler [2019-12-16 23:13:04] 685*2^1551299-1 is not prime. Res64: 5EF60D638DB62A9F Time : 0.0 sec. user=mdettweiler [2019-12-16 23:13:05] 741*2^1551299-1 is not prime. Res64: DF063221F7690B66 Time : 0.0 sec. user=mdettweiler [2019-12-16 23:13:05] 771*2^1551299-1 is not prime. Res64: 710283198687EA8D Time : 0.0 sec. user=mdettweiler [2019-12-16 23:13:06] 825*2^1551299-1 is not prime. Res64: 1B187FC93BFDE548 Time : 0.0 sec. user=mdettweiler [2019-12-16 23:13:06] 843*2^1551299-1 is not prime. Res64: 6C9E28C5D7B7FAD8 Time : 0.0 sec. user=mdettweiler [2019-12-16 23:24:51] 859*2^1551299-1 is not prime. Res64: 402E66F5AB4DB235 Time : 0.0 sec. user=mdettweiler [2019-12-16 23:24:51] 633*2^1551300-1 is not prime. Res64: 2BE9A10BAA43138C Time : 0.0 sec. user=mdettweiler [2019-12-16 23:24:52] 987*2^1551300-1 is not prime. Res64: F1C86AAE8BB9E753 Time : 0.0 sec. user=mdettweiler [2019-12-16 23:24:52] 645*2^1551301-1 is not prime. Res64: B4C51CEF056266BE Time : 0.0 sec. user=mdettweiler [2019-12-16 23:24:53] 675*2^1551301-1 is not prime. Res64: 4D9531FD23148269 Time : 0.0 sec.