user=mdettweiler [2020-04-16 00:31:50] 889*2^1557559-1 is not prime. Res64: AE49EF3296FF2149 Time : 0.0 sec. user=mdettweiler [2020-04-16 00:31:50] 931*2^1557559-1 is not prime. Res64: 343B3214E92E7A6D Time : 0.0 sec. user=mdettweiler [2020-04-16 00:31:51] 663*2^1557560-1 is not prime. Res64: CE7D42BB0F0B1D2C Time : 0.0 sec. user=mdettweiler [2020-04-16 00:31:51] 713*2^1557560-1 is not prime. Res64: 60AE71A19A4625AF Time : 0.0 sec. user=mdettweiler [2020-04-16 00:31:51] 755*2^1557560-1 is not prime. Res64: 3A9CEB822F9902E9 Time : 0.0 sec. user=mdettweiler [2020-04-16 00:39:03] 845*2^1557560-1 is not prime. Res64: 51866D4D2902F379 Time : 0.0 sec. user=mdettweiler [2020-04-16 00:39:03] 855*2^1557560-1 is not prime. Res64: 49C320442A850C7C Time : 0.0 sec. user=mdettweiler [2020-04-16 00:39:04] 927*2^1557560-1 is not prime. Res64: F815FF959F3E1C88 Time : 0.0 sec. user=mdettweiler [2020-04-16 00:39:04] 627*2^1557561-1 is not prime. Res64: 8B638F7095B6BFF8 Time : 0.0 sec. user=mdettweiler [2020-04-16 00:39:04] 651*2^1557561-1 is not prime. Res64: 30F7CA034C3428B6 Time : 0.0 sec. user=mdettweiler [2020-04-16 00:39:10] 657*2^1557561-1 is not prime. Res64: 92617C7A4C8352D0 Time : 0.0 sec. user=mdettweiler [2020-04-16 00:39:10] 679*2^1557561-1 is not prime. Res64: F047CAFA041402F0 Time : 0.0 sec. user=mdettweiler [2020-04-16 00:39:11] 681*2^1557561-1 is not prime. Res64: 88546C302E0F1180 Time : 0.0 sec. user=mdettweiler [2020-04-16 00:39:11] 739*2^1557561-1 is not prime. Res64: AD79BC0A7FA17CA2 Time : 0.0 sec. user=mdettweiler [2020-04-16 00:39:11] 781*2^1557561-1 is not prime. Res64: 65B539D9359BBE51 Time : 0.0 sec. user=mdettweiler [2020-04-16 01:25:51] 795*2^1557561-1 is not prime. Res64: D935C0EC21A99E7E Time : 0.0 sec. user=mdettweiler [2020-04-16 01:25:54] 805*2^1557561-1 is not prime. Res64: 1B499D1005041596 Time : 0.0 sec. user=mdettweiler [2020-04-16 01:25:55] 817*2^1557561-1 is not prime. Res64: DDD624FA1B9858CE Time : 0.0 sec. user=mdettweiler [2020-04-16 01:25:55] 835*2^1557561-1 is not prime. Res64: F04E24C47F7BA9C1 Time : 0.0 sec. user=mdettweiler [2020-04-16 01:25:56] 877*2^1557561-1 is not prime. Res64: F517E8C3E2944F60 Time : 0.0 sec. user=mdettweiler [2020-04-16 01:32:31] 991*2^1557561-1 is not prime. Res64: 4D641D4C2DE59FB0 Time : 0.0 sec. user=mdettweiler [2020-04-16 01:32:33] 647*2^1557562-1 is not prime. Res64: 95AD08841172FD8D Time : 0.0 sec. user=mdettweiler [2020-04-16 01:32:35] 677*2^1557562-1 is not prime. Res64: 19BC80163A62AAF4 Time : 0.0 sec. user=mdettweiler [2020-04-16 01:32:36] 731*2^1557562-1 is not prime. Res64: 0358B9EFEEBBB394 Time : 0.0 sec. user=mdettweiler [2020-04-16 01:32:38] 741*2^1557562-1 is not prime. Res64: 4358ECF048039E9F Time : 0.0 sec. user=mdettweiler [2020-04-16 01:34:00] 821*2^1557562-1 is not prime. Res64: 647B9B15DA4AB2DF Time : 0.0 sec. user=mdettweiler [2020-04-16 01:34:02] 843*2^1557562-1 is not prime. Res64: 93FA6CEEAFE2C26C Time : 0.0 sec. user=mdettweiler [2020-04-16 01:34:03] 911*2^1557562-1 is not prime. Res64: 80B9C3BF4A36316D Time : 0.0 sec. user=mdettweiler [2020-04-16 01:34:04] 995*2^1557562-1 is not prime. Res64: FA7A260DB36EF9CD Time : 0.0 sec. user=mdettweiler [2020-04-16 01:34:05] 633*2^1557563-1 is not prime. Res64: 8F091A5F76701B49 Time : 0.0 sec. user=mdettweiler [2020-04-16 02:21:06] 741*2^1557563-1 is not prime. Res64: FF58144737850FFD Time : 0.0 sec. user=mdettweiler [2020-04-16 02:21:06] 813*2^1557563-1 is not prime. Res64: C8857FF1748BD2A5 Time : 0.0 sec. user=mdettweiler [2020-04-16 02:21:07] 969*2^1557563-1 is not prime. Res64: B360D28B682654AB Time : 0.0 sec. user=mdettweiler [2020-04-16 02:21:08] 999*2^1557563-1 is not prime. Res64: 57A58D2150749D0A Time : 0.0 sec. user=mdettweiler [2020-04-16 02:21:08] 837*2^1557564-1 is not prime. Res64: 34AFA93DE6B9F51F Time : 0.0 sec. user=mdettweiler [2020-04-16 02:28:26] 919*2^1557565-1 is not prime. Res64: 2815686C91B3961A Time : 0.0 sec. user=mdettweiler [2020-04-16 02:28:27] 957*2^1557565-1 is not prime. Res64: 78E216FF08C3C22A Time : 0.0 sec. user=mdettweiler [2020-04-16 02:28:27] 635*2^1557566-1 is not prime. Res64: 95EFD7C67F6BC1BA Time : 0.0 sec. user=mdettweiler [2020-04-16 02:28:28] 657*2^1557566-1 is not prime. Res64: 7C65054FC22EF358 Time : 0.0 sec. user=mdettweiler [2020-04-16 02:28:29] 713*2^1557566-1 is not prime. Res64: 4D59C2F6B88E01BF Time : 0.0 sec. user=mdettweiler [2020-04-16 02:30:42] 909*2^1557564-1 is not prime. Res64: EF1BF8FE0EADD1F1 Time : 0.0 sec. user=mdettweiler [2020-04-16 02:30:43] 947*2^1557564-1 is not prime. Res64: 05806333D6D47422 Time : 0.0 sec. user=mdettweiler [2020-04-16 02:30:43] 959*2^1557564-1 is not prime. Res64: 1DE92FCD8E14D882 Time : 0.0 sec. user=mdettweiler [2020-04-16 02:30:44] 825*2^1557565-1 is not prime. Res64: C28D1A78CC482466 Time : 0.0 sec. user=mdettweiler [2020-04-16 02:30:44] 915*2^1557565-1 is not prime. Res64: 4559FB2B3C3FA082 Time : 0.0 sec. user=mdettweiler [2020-04-16 03:17:28] 795*2^1557566-1 is not prime. Res64: 80AA1351311CA59E Time : 0.0 sec. user=mdettweiler [2020-04-16 03:17:28] 827*2^1557566-1 is not prime. Res64: 2E84C6013A6DE558 Time : 0.0 sec. user=mdettweiler [2020-04-16 03:17:29] 893*2^1557566-1 is not prime. Res64: 04A0F7186FBB9251 Time : 0.0 sec. user=mdettweiler [2020-04-16 03:17:29] 935*2^1557566-1 is not prime. Res64: 71CFA7FCE8886C38 Time : 0.0 sec. user=mdettweiler [2020-04-16 03:17:29] 957*2^1557566-1 is not prime. Res64: 48438D29A03C8CB8 Time : 0.0 sec. user=mdettweiler [2020-04-16 03:23:09] 609*2^1557567-1 is not prime. Res64: 4EB9540BC8884844 Time : 0.0 sec. user=mdettweiler [2020-04-16 03:23:09] 619*2^1557567-1 is not prime. Res64: 7A00915ADFA62210 Time : 0.0 sec. user=mdettweiler [2020-04-16 03:23:09] 859*2^1557567-1 is not prime. Res64: 89600EB7A2D33CBF Time : 0.0 sec. user=mdettweiler [2020-04-16 03:23:10] 933*2^1557567-1 is not prime. Res64: 3625575B7670CCD1 Time : 0.0 sec. user=mdettweiler [2020-04-16 03:23:10] 973*2^1557567-1 is not prime. Res64: 8C036DDDE37D78B9 Time : 0.0 sec. user=mdettweiler [2020-04-16 03:25:10] 985*2^1557567-1 is not prime. Res64: FE1BA75D384781A6 Time : 0.0 sec. user=mdettweiler [2020-04-16 03:25:11] 665*2^1557568-1 is not prime. Res64: 7D4EDF44595B051A Time : 0.0 sec. user=mdettweiler [2020-04-16 03:25:12] 933*2^1557568-1 is not prime. Res64: 8E53339EE467F13E Time : 0.0 sec. user=mdettweiler [2020-04-16 03:25:12] 645*2^1557569-1 is not prime. Res64: 4C3A3A748E1AED19 Time : 0.0 sec. user=mdettweiler [2020-04-16 03:25:13] 675*2^1557569-1 is not prime. Res64: 7095C143AD7E43FF Time : 0.0 sec. user=mdettweiler [2020-04-16 04:12:25] 721*2^1557569-1 is not prime. Res64: 89E4983DDF3A405A Time : 0.0 sec. user=mdettweiler [2020-04-16 04:12:29] 847*2^1557569-1 is not prime. Res64: EAB69CFE1CE3BF1B Time : 0.0 sec. user=mdettweiler [2020-04-16 04:12:31] 951*2^1557569-1 is not prime. Res64: 1C7882416A124EFB Time : 0.0 sec. user=mdettweiler [2020-04-16 04:12:35] 969*2^1557569-1 is not prime. Res64: BDAF4AED44A6C44A Time : 0.0 sec. user=mdettweiler [2020-04-16 04:12:38] 777*2^1557570-1 is not prime. Res64: 2B5129E2557B9323 Time : 0.0 sec. user=mdettweiler [2020-04-16 04:17:39] 619*2^1557571-1 is not prime. Res64: 5BB44FE935E92065 Time : 0.0 sec. user=mdettweiler [2020-04-16 04:17:42] 733*2^1557571-1 is not prime. Res64: 6F0837AEC660C1EF Time : 0.0 sec. user=mdettweiler [2020-04-16 04:17:44] 805*2^1557571-1 is not prime. Res64: 635DA9A548BD9E70 Time : 0.0 sec. user=mdettweiler [2020-04-16 04:17:46] 819*2^1557571-1 is not prime. Res64: 55D57AF057CADBD8 Time : 0.0 sec. user=mdettweiler [2020-04-16 04:17:49] 633*2^1557572-1 is not prime. Res64: 8380AE7C0D0386CA Time : 0.0 sec. user=mdettweiler [2020-04-16 04:18:06] 791*2^1557570-1 is not prime. Res64: 4BBB3EDC5C0152DE Time : 0.0 sec. user=mdettweiler [2020-04-16 04:18:08] 797*2^1557570-1 is not prime. Res64: 256177B9C04C019F Time : 0.0 sec. user=mdettweiler [2020-04-16 04:18:09] 905*2^1557570-1 is not prime. Res64: 9B678684FBE1EDD4 Time : 0.0 sec. user=mdettweiler [2020-04-16 04:18:12] 945*2^1557570-1 is not prime. Res64: E5E0AF07661D9F4B Time : 0.0 sec. user=mdettweiler [2020-04-16 04:18:14] 601*2^1557571-1 is not prime. Res64: 7B737A913370717C Time : 0.0 sec. user=mdettweiler [2020-04-16 05:05:50] 669*2^1557572-1 is not prime. Res64: ED0C4A05875D0FE0 Time : 0.0 sec. user=mdettweiler [2020-04-16 05:05:52] 675*2^1557572-1 is not prime. Res64: 07D3C1C288A00A98 Time : 0.0 sec. user=mdettweiler [2020-04-16 05:05:53] 743*2^1557572-1 is not prime. Res64: 0E9FB10C4E38CC3E Time : 0.0 sec. user=mdettweiler [2020-04-16 05:05:54] 825*2^1557572-1 is not prime. Res64: 1949F8F8E01115D9 Time : 0.0 sec. user=mdettweiler [2020-04-16 05:05:55] 837*2^1557572-1 is not prime. Res64: 08BF0E57977D6A4D Time : 0.0 sec. user=mdettweiler [2020-04-16 05:11:24] 903*2^1557572-1 is not prime. Res64: C836438C43C3F8AC Time : 0.0 sec. user=mdettweiler [2020-04-16 05:11:24] 639*2^1557573-1 is not prime. Res64: 356BEFB9446590EC Time : 0.0 sec. user=mdettweiler [2020-04-16 05:11:24] 681*2^1557573-1 is not prime. Res64: 0ABAA85A106602FF Time : 0.0 sec. user=mdettweiler [2020-04-16 05:11:25] 727*2^1557573-1 is not prime. Res64: 60B0F0C3D3406694 Time : 0.0 sec. user=mdettweiler [2020-04-16 05:11:25] 817*2^1557573-1 is not prime. Res64: A8E6D5F7BF11C84A Time : 0.0 sec. user=mdettweiler [2020-04-16 05:12:54] 847*2^1557573-1 is not prime. Res64: E0AD70DAFEB51236 Time : 0.0 sec. user=mdettweiler [2020-04-16 05:12:55] 915*2^1557573-1 is not prime. Res64: A88E2B2EF76919BF Time : 0.0 sec. user=mdettweiler [2020-04-16 05:12:55] 987*2^1557573-1 is not prime. Res64: E490DB64E4153AEA Time : 0.0 sec. user=mdettweiler [2020-04-16 05:12:56] 621*2^1557574-1 is not prime. Res64: D601D9B2B548C743 Time : 0.0 sec. user=mdettweiler [2020-04-16 05:12:56] 623*2^1557574-1 is not prime. Res64: ECF899CE3230D0C5 Time : 0.0 sec. user=mdettweiler [2020-04-16 05:59:46] 665*2^1557574-1 is not prime. Res64: CA59E9DE583CF248 Time : 0.0 sec. user=mdettweiler [2020-04-16 05:59:46] 677*2^1557574-1 is not prime. Res64: 39E9ADE5CF9BB03D Time : 0.0 sec. user=mdettweiler [2020-04-16 05:59:47] 731*2^1557574-1 is not prime. Res64: 13EF8D16968B4DFA Time : 0.0 sec. user=mdettweiler [2020-04-16 05:59:47] 833*2^1557574-1 is not prime. Res64: 15D5947B9AB7A391 Time : 0.0 sec. user=mdettweiler [2020-04-16 05:59:47] 923*2^1557574-1 is not prime. Res64: 8592CAE6F4BE6EB9 Time : 0.0 sec. user=mdettweiler [2020-04-16 06:06:45] 909*2^1557575-1 is not prime. Res64: 4E1A88C2FC5C8A82 Time : 0.0 sec. user=mdettweiler [2020-04-16 06:06:46] 657*2^1557576-1 is not prime. Res64: 7E15295995BC21BA Time : 0.0 sec. user=mdettweiler [2020-04-16 06:06:47] 747*2^1557576-1 is not prime. Res64: 98083D6E6AF13E0B Time : 0.0 sec. user=mdettweiler [2020-04-16 06:06:48] 767*2^1557576-1 is not prime. Res64: 8B9CFCFF78831DBD Time : 0.0 sec. user=mdettweiler [2020-04-16 06:06:49] 779*2^1557576-1 is not prime. Res64: B1A40F2610082FF2 Time : 0.0 sec. user=mdettweiler [2020-04-16 06:07:23] 951*2^1557574-1 is not prime. Res64: 3E40960B59E71F60 Time : 0.0 sec. user=mdettweiler [2020-04-16 06:07:23] 957*2^1557574-1 is not prime. Res64: 9335CC1256B9B113 Time : 0.0 sec. user=mdettweiler [2020-04-16 06:07:24] 1001*2^1557574-1 is not prime. Res64: 63A0F01EB1C44E88 Time : 0.0 sec. user=mdettweiler [2020-04-16 06:07:25] 601*2^1557575-1 is not prime. Res64: 3C8416F4E1D51FAA Time : 0.0 sec. user=mdettweiler [2020-04-16 06:07:26] 771*2^1557575-1 is not prime. Res64: 49109569732E5630 Time : 0.0 sec. user=mdettweiler [2020-04-16 06:54:28] 803*2^1557576-1 is not prime. Res64: 2F27D1051ABDDDD8 Time : 0.0 sec. user=mdettweiler [2020-04-16 06:54:28] 903*2^1557576-1 is not prime. Res64: 7CB1ADD658968F0A Time : 0.0 sec. user=mdettweiler [2020-04-16 06:54:28] 649*2^1557577-1 is not prime. Res64: EE1D66E916F1513B Time : 0.0 sec. user=mdettweiler [2020-04-16 06:54:29] 829*2^1557577-1 is not prime. Res64: 862EFA72D34072C7 Time : 0.0 sec. user=mdettweiler [2020-04-16 06:54:29] 897*2^1557577-1 is not prime. Res64: A2C55111A6ED6D7C Time : 0.0 sec. user=mdettweiler [2020-04-16 06:58:48] 617*2^1557578-1 is not prime. Res64: 76E5DB3244920E6E Time : 0.0 sec. user=mdettweiler [2020-04-16 06:58:48] 815*2^1557578-1 is not prime. Res64: F700211991719951 Time : 0.0 sec. user=mdettweiler [2020-04-16 06:58:49] 675*2^1557579-1 is not prime. Res64: 1ACA8509EECF807C Time : 0.0 sec. user=mdettweiler [2020-04-16 06:58:49] 723*2^1557579-1 is not prime. Res64: 8087ECA36AA727CF Time : 0.0 sec. user=mdettweiler [2020-04-16 06:58:49] 769*2^1557579-1 is not prime. Res64: 5AA5413FD46EFCD1 Time : 0.0 sec. user=mdettweiler [2020-04-16 07:00:00] 835*2^1557579-1 is not prime. Res64: 5C32A2F33AED9E52 Time : 0.0 sec. user=mdettweiler [2020-04-16 07:00:00] 861*2^1557579-1 is not prime. Res64: 6F972863FDE9960C Time : 0.0 sec. user=mdettweiler [2020-04-16 07:00:00] 635*2^1557580-1 is not prime. Res64: 45F25720F65ABDFB Time : 0.0 sec. user=mdettweiler [2020-04-16 07:00:01] 777*2^1557580-1 is not prime. Res64: C820469B1B2EA085 Time : 0.0 sec. user=mdettweiler [2020-04-16 07:00:01] 757*2^1557581-1 is not prime. Res64: 80D8B2B4DDC74A5E Time : 0.0 sec. user=mdettweiler [2020-04-16 07:50:24] 795*2^1557581-1 is not prime. Res64: 1A131345CE3C5B75 Time : 0.0 sec. user=mdettweiler [2020-04-16 07:50:25] 867*2^1557581-1 is not prime. Res64: 48F97129359BBF4F Time : 0.0 sec. user=mdettweiler [2020-04-16 07:50:25] 885*2^1557581-1 is not prime. Res64: 33383AC7F0F9C767 Time : 0.0 sec. user=mdettweiler [2020-04-16 07:50:26] 939*2^1557581-1 is not prime. Res64: A2A8CBEE9DD7A36B Time : 0.0 sec. user=mdettweiler [2020-04-16 07:50:26] 653*2^1557582-1 is not prime. Res64: 1358AB2247FD3D05 Time : 0.0 sec. user=mdettweiler [2020-04-16 07:51:11] 681*2^1557582-1 is not prime. Res64: AA2413101FA70536 Time : 0.0 sec. user=mdettweiler [2020-04-16 07:51:11] 693*2^1557582-1 is not prime. Res64: 5CA180A3B7768D9A Time : 0.0 sec. user=mdettweiler [2020-04-16 07:51:11] 755*2^1557582-1 is not prime. Res64: 8CF4133F376B6A50 Time : 0.0 sec. user=mdettweiler [2020-04-16 07:51:12] 761*2^1557582-1 is not prime. Res64: 0258B4633EA893A5 Time : 0.0 sec. user=mdettweiler [2020-04-16 07:51:12] 815*2^1557582-1 is not prime. Res64: B43F4989D531F92A Time : 0.0 sec. user=mdettweiler [2020-04-16 07:52:50] 917*2^1557582-1 is not prime. Res64: 5A24597D15544751 Time : 0.0 sec. user=mdettweiler [2020-04-16 07:52:50] 603*2^1557583-1 is not prime. Res64: 6AC37F808966E31C Time : 0.0 sec. user=mdettweiler [2020-04-16 07:52:51] 673*2^1557583-1 is not prime. Res64: 7A2E66AAC9C72170 Time : 0.0 sec. user=mdettweiler [2020-04-16 07:52:51] 679*2^1557583-1 is not prime. Res64: B2A1EACDD922F5EF Time : 0.0 sec. user=mdettweiler [2020-04-16 07:52:51] 703*2^1557583-1 is not prime. Res64: FC40B74F8268D6A8 Time : 0.0 sec. user=mdettweiler [2020-04-16 08:46:40] 627*2^1557585-1 is not prime. Res64: A8E5C545F64293CD Time : 0.0 sec. user=mdettweiler [2020-04-16 08:46:40] 739*2^1557585-1 is not prime. Res64: 959F7FA3F2312813 Time : 0.0 sec. user=mdettweiler [2020-04-16 08:46:41] 741*2^1557585-1 is not prime. Res64: CD9DF0C5EADB62FC Time : 0.0 sec. user=mdettweiler [2020-04-16 08:46:41] 765*2^1557585-1 is not prime. Res64: F73413CCC0092726 Time : 0.0 sec. user=mdettweiler [2020-04-16 08:46:41] 831*2^1557585-1 is not prime. Res64: 16044CD943322BE8 Time : 0.0 sec. user=mdettweiler [2020-04-16 08:46:48] 763*2^1557583-1 is not prime. Res64: 1F1B89F0A19FD7E3 Time : 0.0 sec. user=mdettweiler [2020-04-16 08:46:49] 853*2^1557583-1 is not prime. Res64: 0B82258438D3AF30 Time : 0.0 sec. user=mdettweiler [2020-04-16 08:46:49] 859*2^1557583-1 is not prime. Res64: 25420A4ED6C5C4AD Time : 0.0 sec. user=mdettweiler [2020-04-16 08:46:49] 943*2^1557583-1 is not prime. Res64: 6C6F8C97A6420293 Time : 0.0 sec. user=mdettweiler [2020-04-16 08:46:49] 969*2^1557583-1 is not prime. Res64: 6C7FDACFE92D7910 Time : 0.0 sec. user=mdettweiler [2020-04-16 08:48:00] 993*2^1557583-1 is not prime. Res64: A3BF470E54C4F3BF Time : 0.0 sec. user=mdettweiler [2020-04-16 08:48:00] 609*2^1557584-1 is not prime. Res64: 4FB22D02C37CCB5B Time : 0.0 sec. user=mdettweiler [2020-04-16 08:48:00] 717*2^1557584-1 is not prime. Res64: 6B123831B1E87262 Time : 0.0 sec. user=mdettweiler [2020-04-16 08:48:00] 875*2^1557584-1 is not prime. Res64: A9CD0D7C26884ABD Time : 0.0 sec. user=mdettweiler [2020-04-16 08:48:01] 959*2^1557584-1 is not prime. Res64: 04AF84AF475B0544 Time : 0.0 sec. user=mdettweiler [2020-04-16 09:39:59] 705*2^1557586-1 is not prime. Res64: 28C76F159D5FC8D0 Time : 0.0 sec. user=mdettweiler [2020-04-16 09:40:00] 713*2^1557586-1 is not prime. Res64: D36A40F2FCFF12A9 Time : 0.0 sec. user=mdettweiler [2020-04-16 09:40:00] 717*2^1557586-1 is not prime. Res64: 3245B396413E334D Time : 0.0 sec. user=mdettweiler [2020-04-16 09:40:00] 723*2^1557586-1 is not prime. Res64: 0534BA386308C3EC Time : 0.0 sec. user=mdettweiler [2020-04-16 09:40:01] 821*2^1557586-1 is not prime. Res64: B97FD22205142CDE Time : 0.0 sec. user=mdettweiler [2020-04-16 09:42:49] 825*2^1557586-1 is not prime. Res64: 77BD8EE8FE8350B6 Time : 0.0 sec. user=mdettweiler [2020-04-16 09:42:49] 833*2^1557586-1 is not prime. Res64: 64B6DAAD7C010EDC Time : 0.0 sec. user=mdettweiler [2020-04-16 09:42:49] 981*2^1557586-1 is not prime. Res64: 8F4B3D1DCE2F9B7C Time : 0.0 sec. user=mdettweiler [2020-04-16 09:42:49] 643*2^1557587-1 is not prime. Res64: 358D59AA5BEBB4E6 Time : 0.0 sec. user=mdettweiler [2020-04-16 09:42:50] 645*2^1557587-1 is not prime. Res64: F2A767131DC1FC07 Time : 0.0 sec. user=mdettweiler [2020-04-16 09:43:54] 871*2^1557585-1 is not prime. Res64: F5E582080DA3828C Time : 0.0 sec. user=mdettweiler [2020-04-16 09:43:55] 937*2^1557585-1 is not prime. Res64: 05714744623CDB50 Time : 0.0 sec. user=mdettweiler [2020-04-16 09:43:55] 955*2^1557585-1 is not prime. Res64: 6E9023DEB8DEE138 Time : 0.0 sec. user=mdettweiler [2020-04-16 09:43:55] 611*2^1557586-1 is not prime. Res64: 1E06645871702834 Time : 0.0 sec. user=mdettweiler [2020-04-16 09:43:55] 651*2^1557586-1 is not prime. Res64: 09284B8E5C1B09F6 Time : 0.0 sec. user=mdettweiler [2020-04-16 10:34:57] 841*2^1557587-1 is not prime. Res64: D7B7D8D8B2BD03A9 Time : 0.0 sec. user=mdettweiler [2020-04-16 10:34:58] 635*2^1557588-1 is not prime. Res64: 00CE53EA3532C803 Time : 0.0 sec. user=mdettweiler [2020-04-16 10:34:58] 759*2^1557588-1 is not prime. Res64: A6476EC87FEC3B93 Time : 0.0 sec. user=mdettweiler [2020-04-16 10:34:59] 909*2^1557588-1 is not prime. Res64: B8CA9D0547822207 Time : 0.0 sec. user=mdettweiler [2020-04-16 10:34:59] 927*2^1557588-1 is not prime. Res64: 2EE9541A2ABD9C21 Time : 0.0 sec. user=mdettweiler [2020-04-16 10:36:39] 987*2^1557588-1 is not prime. Res64: D48440A08D120144 Time : 0.0 sec. user=mdettweiler [2020-04-16 10:36:39] 601*2^1557589-1 is not prime. Res64: A986A1DC3EDD4DB3 Time : 0.0 sec. user=mdettweiler [2020-04-16 10:36:39] 759*2^1557589-1 is not prime. Res64: C5878BDED4F6D965 Time : 0.0 sec. user=mdettweiler [2020-04-16 10:36:40] 817*2^1557589-1 is not prime. Res64: C58EB8C4E46072D3 Time : 0.0 sec. user=mdettweiler [2020-04-16 10:36:40] 861*2^1557589-1 is not prime. Res64: C06E867AF12F5895 Time : 0.0 sec. user=mdettweiler [2020-04-16 10:38:35] 877*2^1557589-1 is not prime. Res64: 2E880882FA66340A Time : 0.0 sec. user=mdettweiler [2020-04-16 10:38:36] 955*2^1557589-1 is not prime. Res64: 4337CD23CC27CEB3 Time : 0.0 sec. user=mdettweiler [2020-04-16 10:38:36] 635*2^1557590-1 is not prime. Res64: 47AD2E8499834288 Time : 0.0 sec. user=mdettweiler [2020-04-16 10:38:36] 641*2^1557590-1 is not prime. Res64: C075EF9A7098E728 Time : 0.0 sec. user=mdettweiler [2020-04-16 10:38:37] 791*2^1557590-1 is not prime. Res64: F631E33358CA54EC Time : 0.0 sec. user=mdettweiler [2020-04-16 11:28:09] 887*2^1557590-1 is not prime. Res64: 49309FF95FABD406 Time : 0.0 sec. user=mdettweiler [2020-04-16 11:28:09] 615*2^1557591-1 is not prime. Res64: BEEE717304152764 Time : 0.0 sec. user=mdettweiler [2020-04-16 11:28:09] 685*2^1557591-1 is not prime. Res64: 22CF88A5437B28CE Time : 0.0 sec. user=mdettweiler [2020-04-16 11:28:10] 723*2^1557591-1 is not prime. Res64: 84877019046A58BA Time : 0.0 sec. user=mdettweiler [2020-04-16 11:28:10] 751*2^1557591-1 is not prime. Res64: 8253C36ADA903165 Time : 0.0 sec. user=mdettweiler [2020-04-16 11:31:45] 819*2^1557591-1 is not prime. Res64: 375E326AA3BCFB74 Time : 0.0 sec. user=mdettweiler [2020-04-16 11:31:45] 849*2^1557591-1 is not prime. Res64: C0C4E9C819FECD7D Time : 0.0 sec. user=mdettweiler [2020-04-16 11:31:46] 861*2^1557591-1 is not prime. Res64: E489B7F38173591C Time : 0.0 sec. user=mdettweiler [2020-04-16 11:31:46] 891*2^1557591-1 is not prime. Res64: D975A8C7B131E3B3 Time : 0.0 sec. user=mdettweiler [2020-04-16 11:31:46] 969*2^1557591-1 is not prime. Res64: E7E0081ECAE7033B Time : 0.0 sec. user=mdettweiler [2020-04-16 11:32:03] 615*2^1557592-1 is not prime. Res64: 0DC88605FAFB4F6C Time : 0.0 sec. user=mdettweiler [2020-04-16 11:32:03] 665*2^1557592-1 is not prime. Res64: 198209893C90DC1C Time : 0.0 sec. user=mdettweiler [2020-04-16 11:32:04] 747*2^1557592-1 is not prime. Res64: 61D73364D2532873 Time : 0.0 sec. user=mdettweiler [2020-04-16 11:32:04] 863*2^1557592-1 is not prime. Res64: ABC30638BBC1C74C Time : 0.0 sec. user=mdettweiler [2020-04-16 11:32:04] 903*2^1557592-1 is not prime. Res64: 75C3D0998A915E41 Time : 0.0 sec. user=mdettweiler [2020-04-16 12:25:37] 933*2^1557592-1 is not prime. Res64: 31199966DE90D55A Time : 0.0 sec. user=mdettweiler [2020-04-16 12:25:37] 957*2^1557592-1 is not prime. Res64: 9A83F4462E23A988 Time : 0.0 sec. user=mdettweiler [2020-04-16 12:25:37] 615*2^1557593-1 is not prime. Res64: 79B3B00F9AF4E96C Time : 0.0 sec. user=mdettweiler [2020-04-16 12:25:38] 715*2^1557593-1 is not prime. Res64: 425BC04F36F5FA56 Time : 0.0 sec. user=mdettweiler [2020-04-16 12:25:38] 721*2^1557593-1 is not prime. Res64: 04B3DBFDC0812C97 Time : 0.0 sec. user=mdettweiler [2020-04-16 12:28:44] 735*2^1557593-1 is not prime. Res64: 2D1969D61C1DF0A6 Time : 0.0 sec. user=mdettweiler [2020-04-16 12:28:44] 741*2^1557593-1 is not prime. Res64: 03A6FA403B2E9F00 Time : 0.0 sec. user=mdettweiler [2020-04-16 12:28:45] 855*2^1557593-1 is not prime. Res64: 73A22594365BF370 Time : 0.0 sec. user=mdettweiler [2020-04-16 12:28:45] 967*2^1557593-1 is not prime. Res64: 2207BE9524D3A8B0 Time : 0.0 sec. user=mdettweiler [2020-04-16 12:28:45] 605*2^1557594-1 is not prime. Res64: 4623CA8E44AD1C1B Time : 0.0 sec. user=mdettweiler [2020-04-16 12:29:52] 707*2^1557594-1 is not prime. Res64: 5029E16671CCBD92 Time : 0.0 sec. user=mdettweiler [2020-04-16 12:29:52] 717*2^1557594-1 is not prime. Res64: 3262AC7F2A2F1C1F Time : 0.0 sec. user=mdettweiler [2020-04-16 12:29:52] 861*2^1557594-1 is not prime. Res64: E4D57A55626A7FB2 Time : 0.0 sec. user=mdettweiler [2020-04-16 12:29:53] 917*2^1557594-1 is not prime. Res64: B634C3535B364FB9 Time : 0.0 sec. user=mdettweiler [2020-04-16 12:29:53] 993*2^1557594-1 is not prime. Res64: B4BC439200179044 Time : 0.0 sec. user=mdettweiler [2020-04-16 13:21:15] 759*2^1557595-1 is not prime. Res64: B731FCFB77B9EAAC Time : 0.0 sec. user=mdettweiler [2020-04-16 13:21:16] 849*2^1557595-1 is not prime. Res64: E4019F59F70C2D1D Time : 0.0 sec. user=mdettweiler [2020-04-16 13:21:16] 859*2^1557595-1 is not prime. Res64: 2168E6A5C6AD16DE Time : 0.0 sec. user=mdettweiler [2020-04-16 13:21:16] 925*2^1557595-1 is not prime. Res64: 3B0FE3DF44FF7D6E Time : 0.0 sec. user=mdettweiler [2020-04-16 13:21:17] 969*2^1557595-1 is not prime. Res64: D2594F10D1C49671 Time : 0.0 sec. user=mdettweiler [2020-04-16 13:22:50] 609*2^1557596-1 is not prime. Res64: 8FE314CD65EB5267 Time : 0.0 sec. user=mdettweiler [2020-04-16 13:22:51] 743*2^1557596-1 is not prime. Res64: DD0835D2EE4B7EE7 Time : 0.0 sec. user=mdettweiler [2020-04-16 13:22:51] 833*2^1557596-1 is not prime. Res64: A3367DD71D8A7506 Time : 0.0 sec. user=mdettweiler [2020-04-16 13:22:52] 855*2^1557596-1 is not prime. Res64: 8F8F4B932E7FBA77 Time : 0.0 sec. user=mdettweiler [2020-04-16 13:22:52] 987*2^1557596-1 is not prime. Res64: E3393469F27D2C6D Time : 0.0 sec. user=mdettweiler [2020-04-16 13:24:13] 759*2^1557597-1 is not prime. Res64: 7EA03793C2420256 Time : 0.0 sec. user=mdettweiler [2020-04-16 13:24:13] 769*2^1557597-1 is not prime. Res64: 1F29746FDB56D0DC Time : 0.0 sec. user=mdettweiler [2020-04-16 13:24:13] 795*2^1557597-1 is not prime. Res64: 7FA28367D5AF20EB Time : 0.0 sec. user=mdettweiler [2020-04-16 13:24:14] 847*2^1557597-1 is not prime. Res64: FB0BB9983EB3806D Time : 0.0 sec. user=mdettweiler [2020-04-16 13:24:14] 915*2^1557597-1 is not prime. Res64: 8ED9C50AA6C367E6 Time : 0.0 sec. user=mdettweiler [2020-04-16 14:14:12] 645*2^1557598-1 is not prime. Res64: 157332FA391B61EE Time : 0.0 sec. user=mdettweiler [2020-04-16 14:14:13] 681*2^1557598-1 is not prime. Res64: F4DE2769E8504600 Time : 0.0 sec. user=mdettweiler [2020-04-16 14:14:13] 705*2^1557598-1 is not prime. Res64: 4B338F9AABA817AF Time : 0.0 sec. user=mdettweiler [2020-04-16 14:14:13] 707*2^1557598-1 is not prime. Res64: 67FCF86B34ABA6D5 Time : 0.0 sec. user=mdettweiler [2020-04-16 14:14:14] 731*2^1557598-1 is not prime. Res64: B9A6B82C5D9B962F Time : 0.0 sec. user=mdettweiler [2020-04-16 14:19:08] 831*2^1557598-1 is not prime. Res64: C678253734951108 Time : 0.0 sec. user=mdettweiler [2020-04-16 14:19:08] 987*2^1557598-1 is not prime. Res64: B85F6AC1CC0FECB4 Time : 0.0 sec. user=mdettweiler [2020-04-16 14:19:09] 1001*2^1557598-1 is not prime. Res64: EF181FC8F098532E Time : 0.0 sec. user=mdettweiler [2020-04-16 14:19:10] 661*2^1557599-1 is not prime. Res64: 5C441683D5EB9BBC Time : 0.0 sec. user=mdettweiler [2020-04-16 14:19:11] 825*2^1557599-1 is not prime. Res64: 813110295E498045 Time : 0.0 sec. user=mdettweiler [2020-04-16 14:23:05] 921*2^1557599-1 is not prime. Res64: 3BCA2CE4D01CD5AB Time : 0.0 sec. user=mdettweiler [2020-04-16 14:23:05] 939*2^1557599-1 is not prime. Res64: AB6F0068453F890A Time : 0.0 sec. user=mdettweiler [2020-04-16 14:23:06] 949*2^1557599-1 is not prime. Res64: 1D0974CB2B056F1E Time : 0.0 sec. user=mdettweiler [2020-04-16 14:23:06] 979*2^1557599-1 is not prime. Res64: 8A3EDB3B87F1919D Time : 0.0 sec. user=mdettweiler [2020-04-16 14:23:06] 765*2^1557600-1 is not prime. Res64: C18122A7C3989FC9 Time : 0.0 sec. user=mdettweiler [2020-04-16 15:10:10] 825*2^1557600-1 is not prime. Res64: 996EFEE4F3D0AB20 Time : 0.0 sec. user=mdettweiler [2020-04-16 15:10:11] 845*2^1557600-1 is not prime. Res64: 84EEDBA5C2E339E2 Time : 0.0 sec. user=mdettweiler [2020-04-16 15:10:11] 849*2^1557600-1 is not prime. Res64: 4F1DBAD94A6278FF Time : 0.0 sec. user=mdettweiler [2020-04-16 15:10:12] 873*2^1557600-1 is not prime. Res64: 254314077E0327FD Time : 0.0 sec. user=mdettweiler [2020-04-16 15:10:12] 909*2^1557600-1 is not prime. Res64: 2B1FEAE682194D86 Time : 0.0 sec. user=mdettweiler [2020-04-16 15:15:17] 917*2^1557600-1 is not prime. Res64: 4F89358040411462 Time : 0.0 sec. user=mdettweiler [2020-04-16 15:15:18] 933*2^1557600-1 is not prime. Res64: EF046FEEABA08BD6 Time : 0.0 sec. user=mdettweiler [2020-04-16 15:15:18] 975*2^1557600-1 is not prime. Res64: 70ADAA5B5511143B Time : 0.0 sec. user=mdettweiler [2020-04-16 15:15:18] 625*2^1557601-1 is not prime. Res64: 814347BD9863B521 Time : 0.0 sec. user=mdettweiler [2020-04-16 15:15:19] 639*2^1557601-1 is not prime. Res64: DD337D67E66958D1 Time : 0.0 sec. user=mdettweiler [2020-04-16 15:16:52] 649*2^1557601-1 is not prime. Res64: 3E2165207A462778 Time : 0.0 sec. user=mdettweiler [2020-04-16 15:16:52] 675*2^1557601-1 is not prime. Res64: DE6AD5193C0B959B Time : 0.0 sec. user=mdettweiler [2020-04-16 15:16:53] 829*2^1557601-1 is not prime. Res64: D0E9B1524C5E5523 Time : 0.0 sec. user=mdettweiler [2020-04-16 15:16:53] 847*2^1557601-1 is not prime. Res64: D5A021DFAADEA320 Time : 0.0 sec. user=mdettweiler [2020-04-16 15:16:54] 871*2^1557601-1 is not prime. Res64: D91E23ADCBC26211 Time : 0.0 sec. user=mdettweiler [2020-04-16 16:05:56] 603*2^1557602-1 is not prime. Res64: D2035136868B1942 Time : 0.0 sec. user=mdettweiler [2020-04-16 16:05:57] 671*2^1557602-1 is not prime. Res64: A5469D651819D920 Time : 0.0 sec. user=mdettweiler [2020-04-16 16:05:58] 867*2^1557602-1 is not prime. Res64: 7202483D2AF88470 Time : 0.0 sec. user=mdettweiler [2020-04-16 16:06:00] 885*2^1557602-1 is not prime. Res64: A10719B2FAEA8812 Time : 0.0 sec. user=mdettweiler [2020-04-16 16:06:02] 923*2^1557602-1 is not prime. Res64: 59DD8686462AD366 Time : 0.0 sec. user=mdettweiler [2020-04-16 16:10:11] 945*2^1557602-1 is not prime. Res64: 5E6ED69BC0342694 Time : 0.0 sec. user=mdettweiler [2020-04-16 16:10:12] 983*2^1557602-1 is not prime. Res64: BA334BBE4C209072 Time : 0.0 sec. user=mdettweiler [2020-04-16 16:10:12] 723*2^1557603-1 is not prime. Res64: C49DE6120F7584A4 Time : 0.0 sec. user=mdettweiler [2020-04-16 16:10:12] 765*2^1557603-1 is not prime. Res64: FE463BAD56073BD4 Time : 0.0 sec. user=mdettweiler [2020-04-16 16:10:13] 775*2^1557603-1 is not prime. Res64: B7CC62E52B43EF14 Time : 0.0 sec. user=mdettweiler [2020-04-16 16:13:09] 793*2^1557603-1 is not prime. Res64: A926D51CB900493C Time : 0.0 sec. user=mdettweiler [2020-04-16 16:13:09] 801*2^1557603-1 is not prime. Res64: 5A7A7E4B14B0E8FE Time : 0.0 sec. user=mdettweiler [2020-04-16 16:13:10] 885*2^1557603-1 is not prime. Res64: C3FD48F31D2890E7 Time : 0.0 sec. user=mdettweiler [2020-04-16 16:13:10] 961*2^1557603-1 is not prime. Res64: 627B1786E369BEA6 Time : 0.0 sec. user=mdettweiler [2020-04-16 16:13:10] 963*2^1557603-1 is not prime. Res64: DE23E8E821ED751E Time : 0.0 sec. user=mdettweiler [2020-04-16 17:00:37] 609*2^1557604-1 is not prime. Res64: 900C17FA311D6CF7 Time : 0.0 sec. user=mdettweiler [2020-04-16 17:00:39] 677*2^1557604-1 is not prime. Res64: F286BC118F780E86 Time : 0.0 sec. user=mdettweiler [2020-04-16 17:00:41] 819*2^1557604-1 is not prime. Res64: 3AD1368CC42F3F4B Time : 0.0 sec. user=mdettweiler [2020-04-16 17:00:42] 905*2^1557604-1 is not prime. Res64: 20EEBB739372C463 Time : 0.0 sec. user=mdettweiler [2020-04-16 17:00:44] 915*2^1557604-1 is not prime. Res64: 2710F0CDAF669A68 Time : 0.0 sec. user=mdettweiler [2020-04-16 17:02:50] 699*2^1557605-1 is not prime. Res64: DE4723B6094C5256 Time : 0.0 sec. user=mdettweiler [2020-04-16 17:02:51] 759*2^1557605-1 is not prime. Res64: 934A44E00A9C7443 Time : 0.0 sec. user=mdettweiler [2020-04-16 17:02:53] 787*2^1557605-1 is not prime. Res64: C992F9EFC9757D1C Time : 0.0 sec. user=mdettweiler [2020-04-16 17:02:54] 825*2^1557605-1 is not prime. Res64: 2921FD0A6654811C Time : 0.0 sec. user=mdettweiler [2020-04-16 17:02:55] 837*2^1557605-1 is not prime. Res64: 9193FDE1AA35BE24 Time : 0.0 sec. user=mdettweiler [2020-04-16 17:09:09] 847*2^1557605-1 is not prime. Res64: F22BB5F72C82BB50 Time : 0.0 sec. user=mdettweiler [2020-04-16 17:09:15] 889*2^1557605-1 is not prime. Res64: 56D477A92079B7C8 Time : 0.0 sec. user=mdettweiler [2020-04-16 17:09:19] 671*2^1557606-1 is not prime. Res64: 4B90FDA49A389F10 Time : 0.0 sec. user=mdettweiler [2020-04-16 17:09:22] 917*2^1557606-1 is not prime. Res64: 9FB0CF8629308D6A Time : 0.0 sec. user=mdettweiler [2020-04-16 17:09:26] 933*2^1557606-1 is not prime. Res64: EEE149725F9A291F Time : 0.0 sec. user=mdettweiler [2020-04-16 17:53:58] 993*2^1557606-1 is not prime. Res64: 83F918D9E5E6A27B Time : 0.0 sec. user=mdettweiler [2020-04-16 17:53:59] 619*2^1557607-1 is not prime. Res64: 9F02E0A263380698 Time : 0.0 sec. user=mdettweiler [2020-04-16 17:53:59] 673*2^1557607-1 is not prime. Res64: F778105EB18F37B0 Time : 0.0 sec. user=mdettweiler [2020-04-16 17:53:59] 861*2^1557607-1 is not prime. Res64: D92E44BA4C8C51C1 Time : 0.0 sec. user=mdettweiler [2020-04-16 17:53:59] 635*2^1557608-1 is not prime. Res64: 14DE47E9B61B8A05 Time : 0.0 sec. user=mdettweiler [2020-04-16 17:59:09] 825*2^1557608-1 is not prime. Res64: F702B825C466C4C3 Time : 0.0 sec. user=mdettweiler [2020-04-16 17:59:10] 827*2^1557608-1 is not prime. Res64: 292E69B796A502DB Time : 0.0 sec. user=mdettweiler [2020-04-16 17:59:10] 893*2^1557608-1 is not prime. Res64: 48FE3486A5950AEE Time : 0.0 sec. user=mdettweiler [2020-04-16 17:59:10] 923*2^1557608-1 is not prime. Res64: EA40F12C48B465FA Time : 0.0 sec. user=mdettweiler [2020-04-16 17:59:10] 959*2^1557608-1 is not prime. Res64: 55F73DBCCBB5FC43 Time : 0.0 sec. user=mdettweiler [2020-04-16 18:05:48] 705*2^1557609-1 is not prime. Res64: 7D3BA7BC02781D6F Time : 0.0 sec. user=mdettweiler [2020-04-16 18:05:50] 789*2^1557609-1 is not prime. Res64: BF49A84D560773F3 Time : 0.0 sec. user=mdettweiler [2020-04-16 18:05:51] 889*2^1557609-1 is not prime. Res64: D9BCF463D7A3F6B4 Time : 0.0 sec. user=mdettweiler [2020-04-16 18:05:53] 975*2^1557609-1 is not prime. Res64: B29BCDDBE7A1E89A Time : 0.0 sec. user=mdettweiler [2020-04-16 18:05:54] 985*2^1557609-1 is not prime. Res64: 2A7863EF0E3B152F Time : 0.0 sec. user=mdettweiler [2020-04-16 18:47:28] 647*2^1557610-1 is not prime. Res64: F9432B6357A52A7C Time : 0.0 sec. user=mdettweiler [2020-04-16 18:47:28] 687*2^1557610-1 is not prime. Res64: 7F115C7972C7F8EF Time : 0.0 sec. user=mdettweiler [2020-04-16 18:47:28] 765*2^1557610-1 is not prime. Res64: 0B1F85E5CBE8A87E Time : 0.0 sec. user=mdettweiler [2020-04-16 18:47:29] 813*2^1557610-1 is not prime. Res64: A595366557DD200E Time : 0.0 sec. user=mdettweiler [2020-04-16 18:47:29] 867*2^1557610-1 is not prime. Res64: 7D059A4A83C1EE03 Time : 0.0 sec. user=mdettweiler [2020-04-16 18:55:22] 905*2^1557610-1 is not prime. Res64: C381F74F5F78DD92 Time : 0.0 sec. user=mdettweiler [2020-04-16 18:55:23] 801*2^1557611-1 is not prime. Res64: D5AB2F3080EF18AA Time : 0.0 sec. user=mdettweiler [2020-04-16 18:55:23] 841*2^1557611-1 is not prime. Res64: 17166899638471E7 Time : 0.0 sec. user=mdettweiler [2020-04-16 18:55:23] 979*2^1557611-1 is not prime. Res64: 2AA74A3799A8E643 Time : 0.0 sec. user=mdettweiler [2020-04-16 18:55:23] 999*2^1557611-1 is not prime. Res64: AE00AED2B72CD79C Time : 0.0 sec. user=mdettweiler [2020-04-16 18:57:55] 635*2^1557612-1 is not prime. Res64: 2C14311AB154030E Time : 0.0 sec. user=mdettweiler [2020-04-16 18:57:56] 665*2^1557612-1 is not prime. Res64: EC53B2ECFE87A1EE Time : 0.0 sec. user=mdettweiler [2020-04-16 18:57:56] 693*2^1557612-1 is not prime. Res64: 6515CD2A33BEEA74 Time : 0.0 sec. user=mdettweiler [2020-04-16 18:57:56] 777*2^1557612-1 is not prime. Res64: A0417278A4170501 Time : 0.0 sec. user=mdettweiler [2020-04-16 18:57:57] 779*2^1557612-1 is not prime. Res64: A83D0907C0D2A231 Time : 0.0 sec. user=mdettweiler [2020-04-16 19:43:20] 809*2^1557612-1 is not prime. Res64: 4ED4001F1520D841 Time : 0.0 sec. user=mdettweiler [2020-04-16 19:43:20] 879*2^1557612-1 is not prime. Res64: E78515AD43B2D148 Time : 0.0 sec. user=mdettweiler [2020-04-16 19:43:21] 887*2^1557612-1 is not prime. Res64: A7688CED40826043 Time : 0.0 sec. user=mdettweiler [2020-04-16 19:43:21] 903*2^1557612-1 is not prime. Res64: DC0B0BD17A96125F Time : 0.0 sec. user=mdettweiler [2020-04-16 19:43:21] 681*2^1557613-1 is not prime. Res64: 0C6CDB03FCD9938F Time : 0.0 sec. user=mdettweiler [2020-04-16 19:48:51] 915*2^1557613-1 is not prime. Res64: 2FEE3506C033FDEF Time : 0.0 sec. user=mdettweiler [2020-04-16 19:48:52] 645*2^1557614-1 is not prime. Res64: B469FF61C3EA27BD Time : 0.0 sec. user=mdettweiler [2020-04-16 19:48:52] 705*2^1557614-1 is not prime. Res64: 1BA350F96A046456 Time : 0.0 sec. user=mdettweiler [2020-04-16 19:48:52] 743*2^1557614-1 is not prime. Res64: C0183AD0896E149B Time : 0.0 sec. user=mdettweiler [2020-04-16 19:48:53] 827*2^1557614-1 is not prime. Res64: 5AE6F03676AAC540 Time : 0.0 sec. user=mdettweiler [2020-04-16 19:52:46] 857*2^1557614-1 is not prime. Res64: 67E681CFB89D2ABD Time : 0.0 sec. user=mdettweiler [2020-04-16 19:52:47] 915*2^1557614-1 is not prime. Res64: 5A9A8F6094BC4C8B Time : 0.0 sec. user=mdettweiler [2020-04-16 19:52:47] 941*2^1557614-1 is not prime. Res64: 23341433D6476B9E Time : 0.0 sec. user=mdettweiler [2020-04-16 19:52:47] 619*2^1557615-1 is not prime. Res64: F3CDB0342518577D Time : 0.0 sec. user=mdettweiler [2020-04-16 19:52:48] 789*2^1557615-1 is not prime. Res64: 068C8285B85FE6B3 Time : 0.0 sec. user=mdettweiler [2020-04-16 20:40:36] 825*2^1557615-1 is not prime. Res64: 5A4F100E838AA28B Time : 0.0 sec. user=mdettweiler [2020-04-16 20:40:37] 885*2^1557615-1 is not prime. Res64: 30EAF7132D6C0198 Time : 0.0 sec. user=mdettweiler [2020-04-16 20:40:37] 909*2^1557615-1 is not prime. Res64: 3CD8B528FA4F46D1 Time : 0.0 sec. user=mdettweiler [2020-04-16 20:40:37] 919*2^1557615-1 is not prime. Res64: 7078D88AF3B48940 Time : 0.0 sec. user=mdettweiler [2020-04-16 20:40:38] 991*2^1557615-1 is not prime. Res64: A012AECF897BDA47 Time : 0.0 sec. user=mdettweiler [2020-04-16 20:40:50] 603*2^1557616-1 is not prime. Res64: 42A490D67F8C772B Time : 0.0 sec. user=mdettweiler [2020-04-16 20:40:50] 699*2^1557616-1 is not prime. Res64: 003D01B5CC81CC72 Time : 0.0 sec. user=mdettweiler [2020-04-16 20:40:50] 705*2^1557616-1 is not prime. Res64: 73EA360EAE17F254 Time : 0.0 sec. user=mdettweiler [2020-04-16 20:40:51] 773*2^1557616-1 is not prime. Res64: DFF5DCADD8C3CC7E Time : 0.0 sec. user=mdettweiler [2020-04-16 20:40:51] 833*2^1557616-1 is not prime. Res64: A8D920FBD56BC119 Time : 0.0 sec. user=mdettweiler [2020-04-16 20:51:03] 887*2^1557616-1 is not prime. Res64: 6AB519BB98513AF5 Time : 0.0 sec. user=mdettweiler [2020-04-16 20:51:03] 903*2^1557616-1 is not prime. Res64: AA3D5E50DD3F8417 Time : 0.0 sec. user=mdettweiler [2020-04-16 20:51:04] 905*2^1557616-1 is not prime. Res64: 642C8227D7651ABF Time : 0.0 sec. user=mdettweiler [2020-04-16 20:51:04] 989*2^1557616-1 is not prime. Res64: C668FC3983141D59 Time : 0.0 sec. user=mdettweiler [2020-04-16 20:51:04] 999*2^1557616-1 is not prime. Res64: 27FD393002011302 Time : 0.0 sec. user=mdettweiler [2020-04-16 21:33:20] 615*2^1557617-1 is not prime. Res64: A84735C790DCED95 Time : 0.0 sec. user=mdettweiler [2020-04-16 21:33:21] 675*2^1557617-1 is not prime. Res64: 3A16B7E0A68A016F Time : 0.0 sec. user=mdettweiler [2020-04-16 21:33:21] 781*2^1557617-1 is not prime. Res64: AA191D8D741312D7 Time : 0.0 sec. user=mdettweiler [2020-04-16 21:33:21] 847*2^1557617-1 is not prime. Res64: 0D4979CDBFF40A13 Time : 0.0 sec. user=mdettweiler [2020-04-16 21:33:22] 755*2^1557618-1 is not prime. Res64: 6E84EA800BEF57AA Time : 0.0 sec. user=mdettweiler [2020-04-16 21:38:30] 843*2^1557618-1 is not prime. Res64: 46836FD54B4F342D Time : 0.0 sec. user=mdettweiler [2020-04-16 21:38:30] 893*2^1557618-1 is not prime. Res64: 79A63C3B1B61E215 Time : 0.0 sec. user=mdettweiler [2020-04-16 21:38:30] 921*2^1557618-1 is not prime. Res64: 9EEC42010136C6DF Time : 0.0 sec. user=mdettweiler [2020-04-16 21:38:31] 951*2^1557618-1 is not prime. Res64: 8517C69D1611C01C Time : 0.0 sec. user=mdettweiler [2020-04-16 21:38:31] 971*2^1557618-1 is not prime. Res64: D9D66B28AAD35682 Time : 0.0 sec. user=mdettweiler [2020-04-16 21:43:27] 609*2^1557619-1 is not prime. Res64: 6B6332A13530F6D1 Time : 0.0 sec. user=mdettweiler [2020-04-16 21:43:28] 679*2^1557619-1 is not prime. Res64: 13B11BA97B96CA72 Time : 0.0 sec. user=mdettweiler [2020-04-16 21:43:28] 681*2^1557619-1 is not prime. Res64: C3A893E11C73A2D4 Time : 0.0 sec. user=mdettweiler [2020-04-16 21:43:28] 751*2^1557619-1 is not prime. Res64: 7708DDF9611A34FC Time : 0.0 sec. user=mdettweiler [2020-04-16 21:43:28] 843*2^1557619-1 is not prime. Res64: BF2890E0D3A4FEE7 Time : 0.0 sec. user=mdettweiler [2020-04-16 22:27:37] 939*2^1557619-1 is not prime. Res64: C1A38C8659480156 Time : 0.0 sec. user=mdettweiler [2020-04-16 22:27:38] 979*2^1557619-1 is not prime. Res64: B8696304A6BE3D5F Time : 0.0 sec. user=mdettweiler [2020-04-16 22:27:38] 609*2^1557620-1 is not prime. Res64: EF0E0E0BBD503AF1 Time : 0.0 sec. user=mdettweiler [2020-04-16 22:27:38] 665*2^1557620-1 is not prime. Res64: 91AD37FAAE514C76 Time : 0.0 sec. user=mdettweiler [2020-04-16 22:27:39] 669*2^1557620-1 is not prime. Res64: 79579DBA37FFE0D9 Time : 0.0 sec. user=mdettweiler [2020-04-16 22:30:54] 677*2^1557620-1 is not prime. Res64: B474E5C607A1095B Time : 0.0 sec. user=mdettweiler [2020-04-16 22:30:54] 707*2^1557620-1 is not prime. Res64: C38CC0B53C6F1E9A Time : 0.0 sec. user=mdettweiler [2020-04-16 22:30:55] 785*2^1557620-1 is not prime. Res64: 6B0F14B5084185B5 Time : 0.0 sec. user=mdettweiler [2020-04-16 22:30:55] 827*2^1557620-1 is not prime. Res64: 6290C3C20B450CBD Time : 0.0 sec. user=mdettweiler [2020-04-16 22:30:55] 833*2^1557620-1 is not prime. Res64: 093CD4CFB36E7D99 Time : 0.0 sec. user=mdettweiler [2020-04-16 22:40:21] 879*2^1557620-1 is not prime. Res64: EB209FBF77785148 Time : 0.0 sec. user=mdettweiler [2020-04-16 22:40:22] 927*2^1557620-1 is not prime. Res64: 2DD91B209D0B193B Time : 0.0 sec. user=mdettweiler [2020-04-16 22:40:22] 957*2^1557620-1 is not prime. Res64: B289331A7A59CA45 Time : 0.0 sec. user=mdettweiler [2020-04-16 22:40:23] 995*2^1557620-1 is not prime. Res64: D087575BD52CE3FB Time : 0.0 sec. user=mdettweiler [2020-04-16 22:40:24] 657*2^1557621-1 is not prime. Res64: B9D9DD4F6395A45F Time : 0.0 sec. user=mdettweiler [2020-04-16 23:21:22] 717*2^1557621-1 is not prime. Res64: 9C42D8F51B7D3392 Time : 0.0 sec. user=mdettweiler [2020-04-16 23:21:23] 825*2^1557621-1 is not prime. Res64: C3D763B06C410B8C Time : 0.0 sec. user=mdettweiler [2020-04-16 23:21:23] 859*2^1557621-1 is not prime. Res64: 4C69AA7C8EF63125 Time : 0.0 sec. user=mdettweiler [2020-04-16 23:21:23] 997*2^1557621-1 is not prime. Res64: AA946B25C692A60D Time : 0.0 sec. user=mdettweiler [2020-04-16 23:21:24] 741*2^1557622-1 is not prime. Res64: AC72CFAEAC5DFCBC Time : 0.0 sec. user=mdettweiler [2020-04-16 23:25:56] 761*2^1557622-1 is not prime. Res64: 994A5CF4F877BA71 Time : 0.0 sec. user=mdettweiler [2020-04-16 23:25:56] 813*2^1557622-1 is not prime. Res64: E1B6AFF0AB5918E7 Time : 0.0 sec. user=mdettweiler [2020-04-16 23:25:57] 827*2^1557622-1 is not prime. Res64: 314134A89D3777B8 Time : 0.0 sec. user=mdettweiler [2020-04-16 23:25:57] 975*2^1557622-1 is not prime. Res64: D6A0BF5AADBE8A6A Time : 0.0 sec. user=mdettweiler [2020-04-16 23:25:57] 995*2^1557622-1 is not prime. Res64: 2C97A2858F6B1D10 Time : 0.0 sec. user=mdettweiler [2020-04-16 23:32:42] 663*2^1557623-1 is not prime. Res64: 96F6C2BA1BDF8DEC Time : 0.0 sec. user=mdettweiler [2020-04-16 23:32:42] 669*2^1557623-1 is not prime. Res64: 8CB5F846EFADF3D8 Time : 0.0 sec. user=mdettweiler [2020-04-16 23:32:43] 735*2^1557623-1 is not prime. Res64: AF4A2481248AD3DE Time : 0.0 sec. user=mdettweiler [2020-04-16 23:32:43] 789*2^1557623-1 is not prime. Res64: B1E395596A5323EE Time : 0.0 sec. user=mdettweiler [2020-04-16 23:32:43] 855*2^1557623-1 is not prime. Res64: F58425165ADFE279 Time : 0.0 sec.