user=mdettweiler [2021-08-08 00:02:52] 825*2^1615787-1 is not prime. Res64: 43CFC2295D404E36 Time : 0.0 sec. user=mdettweiler [2021-08-08 00:02:54] 759*2^1615788-1 is not prime. Res64: C768C4DAC725E803 Time : 0.0 sec. user=mdettweiler [2021-08-08 00:02:55] 803*2^1615788-1 is not prime. Res64: CE9BDBD7E52B2FD7 Time : 0.0 sec. user=mdettweiler [2021-08-08 00:02:56] 825*2^1615788-1 is not prime. Res64: 31219B7DF799EDA1 Time : 0.0 sec. user=mdettweiler [2021-08-08 00:02:57] 843*2^1615788-1 is not prime. Res64: EA98CE847D24B0C7 Time : 0.0 sec. user=mdettweiler [2021-08-08 00:39:17] 975*2^1615788-1 is not prime. Res64: C17493EA6291D399 Time : 0.0 sec. user=mdettweiler [2021-08-08 00:39:18] 639*2^1615789-1 is not prime. Res64: A4271E9EEDF3676A Time : 0.0 sec. user=mdettweiler [2021-08-08 00:39:19] 699*2^1615789-1 is not prime. Res64: 28FA04C04C2F9EB1 Time : 0.0 sec. user=mdettweiler [2021-08-08 00:39:20] 829*2^1615789-1 is not prime. Res64: F53821CCFE32300C Time : 0.0 sec. user=mdettweiler [2021-08-08 00:39:21] 961*2^1615789-1 is not prime. Res64: C9D230D2A9935388 Time : 0.0 sec. user=mdettweiler [2021-08-08 01:03:22] 711*2^1615790-1 is not prime. Res64: 2E7B810021D0FDBF Time : 0.0 sec. user=mdettweiler [2021-08-08 01:03:23] 741*2^1615790-1 is not prime. Res64: ADDA88AF472B4350 Time : 0.0 sec. user=mdettweiler [2021-08-08 01:03:24] 747*2^1615790-1 is not prime. Res64: 18A1EC11202D8001 Time : 0.0 sec. user=mdettweiler [2021-08-08 01:03:25] 833*2^1615790-1 is not prime. Res64: 951B773E0F6601D8 Time : 0.0 sec. user=mdettweiler [2021-08-08 01:03:26] 941*2^1615790-1 is not prime. Res64: DD3F04D48ECFD0BB Time : 0.0 sec. user=mdettweiler [2021-08-08 01:39:49] 987*2^1615790-1 is not prime. Res64: 7747BBC788D1453E Time : 0.0 sec. user=mdettweiler [2021-08-08 01:39:53] 625*2^1615791-1 is not prime. Res64: BBD27E0395638873 Time : 0.0 sec. user=mdettweiler [2021-08-08 01:39:57] 723*2^1615791-1 is not prime. Res64: 3F4541241376BBCC Time : 0.0 sec. user=mdettweiler [2021-08-08 01:40:00] 751*2^1615791-1 is not prime. Res64: 6934B1524B9F8D62 Time : 0.0 sec. user=mdettweiler [2021-08-08 01:40:09] 783*2^1615791-1 is not prime. Res64: 2AE40A8F1D66024F Time : 0.0 sec. user=mdettweiler [2021-08-08 02:04:04] 793*2^1615791-1 is not prime. Res64: F413A37A9DB883E8 Time : 0.0 sec. user=mdettweiler [2021-08-08 02:04:12] 603*2^1615792-1 is not prime. Res64: 3C73047B9DE719E6 Time : 0.0 sec. user=mdettweiler [2021-08-08 02:04:14] 639*2^1615792-1 is not prime. Res64: DAA9CE553122166A Time : 0.0 sec. user=mdettweiler [2021-08-08 02:04:15] 653*2^1615792-1 is not prime. Res64: 469D6AD46F995042 Time : 0.0 sec. user=mdettweiler [2021-08-08 02:04:17] 717*2^1615792-1 is not prime. Res64: 77CBA629F6658791 Time : 0.0 sec. user=mdettweiler [2021-08-08 02:40:57] 723*2^1615792-1 is not prime. Res64: 798531C51481F8E4 Time : 0.0 sec. user=mdettweiler [2021-08-08 02:40:58] 825*2^1615792-1 is not prime. Res64: 582E95C776F7CE91 Time : 0.0 sec. user=mdettweiler [2021-08-08 02:40:59] 827*2^1615792-1 is not prime. Res64: 069923BD257680D5 Time : 0.0 sec. user=mdettweiler [2021-08-08 02:41:00] 933*2^1615792-1 is not prime. Res64: AA8AA868801D1098 Time : 0.0 sec. user=mdettweiler [2021-08-08 02:41:01] 685*2^1615793-1 is not prime. Res64: 0759D3AA9ECC786B Time : 0.0 sec. user=mdettweiler [2021-08-08 03:05:02] 691*2^1615793-1 is not prime. Res64: E551F38936855526 Time : 0.0 sec. user=mdettweiler [2021-08-08 03:05:03] 741*2^1615793-1 is not prime. Res64: 121140C518A538D9 Time : 0.0 sec. user=mdettweiler [2021-08-08 03:05:04] 945*2^1615793-1 is not prime. Res64: FC0A8D491FE9FA93 Time : 0.0 sec. user=mdettweiler [2021-08-08 03:05:05] 955*2^1615793-1 is not prime. Res64: 5F46A1EAC8E17A41 Time : 0.0 sec. user=mdettweiler [2021-08-08 03:05:06] 957*2^1615793-1 is not prime. Res64: E901C7DB45F8FF1B Time : 0.0 sec. user=mdettweiler [2021-08-08 03:41:35] 985*2^1615793-1 is not prime. Res64: EB215596C067B24E Time : 0.0 sec. user=mdettweiler [2021-08-08 03:41:37] 747*2^1615794-1 is not prime. Res64: EEAF51E28C048273 Time : 0.0 sec. user=mdettweiler [2021-08-08 03:41:39] 891*2^1615794-1 is not prime. Res64: 1C7F1B6CCE7D783B Time : 0.0 sec. user=mdettweiler [2021-08-08 03:41:41] 941*2^1615794-1 is not prime. Res64: 7952A44CC5314E2D Time : 0.0 sec. user=mdettweiler [2021-08-08 03:41:44] 947*2^1615794-1 is not prime. Res64: 724AC1F60E853678 Time : 0.0 sec. user=mdettweiler [2021-08-08 04:05:25] 603*2^1615795-1 is not prime. Res64: 2AD92C2A97BA543A Time : 0.0 sec. user=mdettweiler [2021-08-08 04:05:27] 625*2^1615795-1 is not prime. Res64: 6E4F13C8B69CDE96 Time : 0.0 sec. user=mdettweiler [2021-08-08 04:05:29] 649*2^1615795-1 is not prime. Res64: BA4CBA31505D9E0F Time : 0.0 sec. user=mdettweiler [2021-08-08 04:05:30] 675*2^1615795-1 is not prime. Res64: C69DF5F219B974B2 Time : 0.0 sec. user=mdettweiler [2021-08-08 04:05:31] 759*2^1615795-1 is not prime. Res64: 195CAAE80D7774EE Time : 0.0 sec. user=mdettweiler [2021-08-08 04:42:13] 789*2^1615795-1 is not prime. Res64: 4EC5E54F2E0E230A Time : 0.0 sec. user=mdettweiler [2021-08-08 04:42:19] 939*2^1615795-1 is not prime. Res64: 11AB91F69CA914E3 Time : 0.0 sec. user=mdettweiler [2021-08-08 04:42:26] 951*2^1615795-1 is not prime. Res64: F289ADA21F77982E Time : 0.0 sec. user=mdettweiler [2021-08-08 04:42:28] 969*2^1615795-1 is not prime. Res64: 5D71DD1F94CC4B62 Time : 0.0 sec. user=mdettweiler [2021-08-08 04:42:29] 675*2^1615796-1 is not prime. Res64: D25E708DE14225A8 Time : 0.0 sec. user=mdettweiler [2021-08-08 05:06:00] 923*2^1615796-1 is not prime. Res64: 77668191546F9E42 Time : 0.0 sec. user=mdettweiler [2021-08-08 05:06:05] 957*2^1615796-1 is not prime. Res64: EA5F93658E0213DE Time : 0.0 sec. user=mdettweiler [2021-08-08 05:06:12] 993*2^1615796-1 is not prime. Res64: 0B421F3D57A376BA Time : 0.0 sec. user=mdettweiler [2021-08-08 05:06:21] 681*2^1615797-1 is not prime. Res64: CDBCC3E00A0C3287 Time : 0.0 sec. user=mdettweiler [2021-08-08 05:06:28] 847*2^1615797-1 is not prime. Res64: B8E87EFEB01764F3 Time : 0.0 sec. user=mdettweiler [2021-08-08 18:13:29] 861*2^1615797-1 is not prime. Res64: 9E62F5F500773EA9 Time : 0.0 sec. user=mdettweiler [2021-08-08 18:13:30] 871*2^1615797-1 is not prime. Res64: 81EB33438A833919 Time : 0.0 sec. user=mdettweiler [2021-08-08 18:13:31] 895*2^1615797-1 is not prime. Res64: 16124E132D401F50 Time : 0.0 sec. user=mdettweiler [2021-08-08 18:13:32] 979*2^1615797-1 is not prime. Res64: 684FB44400152D04 Time : 0.0 sec. user=mdettweiler [2021-08-08 18:13:33] 647*2^1615798-1 is not prime. Res64: 1D2D9F90F00382B6 Time : 0.0 sec. user=mdettweiler [2021-08-08 19:14:39] 703*2^1615799-1 is not prime. Res64: 6A5FB4A109338B0A Time : 0.0 sec. user=mdettweiler [2021-08-08 19:14:41] 721*2^1615799-1 is not prime. Res64: 2105693A8565AFF3 Time : 0.0 sec. user=mdettweiler [2021-08-08 19:14:43] 729*2^1615799-1 is not prime. Res64: 7FB9FFB4C1B72639 Time : 0.0 sec. user=mdettweiler [2021-08-08 19:14:47] 825*2^1615799-1 is not prime. Res64: 8A3EF0D9082BABC6 Time : 0.0 sec. user=mdettweiler [2021-08-08 19:14:50] 843*2^1615799-1 is not prime. Res64: F350B872DD2FF0CA Time : 0.0 sec. user=mdettweiler [2021-08-08 19:34:54] 657*2^1615798-1 is not prime. Res64: 9C57522873116A26 Time : 0.0 sec. user=mdettweiler [2021-08-08 19:35:00] 665*2^1615798-1 is not prime. Res64: 65C5E2E7B29B39D7 Time : 0.0 sec. user=mdettweiler [2021-08-08 19:35:04] 887*2^1615798-1 is not prime. Res64: EE08CC1688BBF8D9 Time : 0.0 sec. user=mdettweiler [2021-08-08 19:35:08] 933*2^1615798-1 is not prime. Res64: 2CF2FAAA079F180A Time : 0.0 sec. user=mdettweiler [2021-08-08 19:35:10] 693*2^1615799-1 is not prime. Res64: 3FE2AE4652CA0757 Time : 0.0 sec. user=mdettweiler [2021-08-08 20:16:42] 909*2^1615799-1 is not prime. Res64: 7A137091DA3B5968 Time : 0.0 sec. user=mdettweiler [2021-08-08 20:16:44] 707*2^1615800-1 is not prime. Res64: 144F74614D5B4DDF Time : 0.0 sec. user=mdettweiler [2021-08-08 20:16:46] 717*2^1615800-1 is not prime. Res64: D43215EEAA18F3A8 Time : 0.0 sec. user=mdettweiler [2021-08-08 20:16:48] 719*2^1615800-1 is not prime. Res64: 5EE0ABDD8399000D Time : 0.0 sec. user=mdettweiler [2021-08-08 20:16:49] 795*2^1615800-1 is not prime. Res64: 8C9CD1FF53F60FAA Time : 0.0 sec. user=mdettweiler [2021-08-08 20:37:00] 797*2^1615800-1 is not prime. Res64: A452D1A10B09DE92 Time : 0.0 sec. user=mdettweiler [2021-08-08 20:37:01] 819*2^1615800-1 is not prime. Res64: 702EEA8591AB58EC Time : 0.0 sec. user=mdettweiler [2021-08-08 20:37:01] 927*2^1615800-1 is not prime. Res64: 33446D86AA6517F9 Time : 0.0 sec. user=mdettweiler [2021-08-08 20:37:02] 999*2^1615800-1 is not prime. Res64: 72839B2B336493C3 Time : 0.0 sec. user=mdettweiler [2021-08-08 20:37:02] 637*2^1615801-1 is not prime. Res64: B17970D30D9414F0 Time : 0.0 sec. user=mdettweiler [2021-08-08 21:17:39] 623*2^1615802-1 is not prime. Res64: 328D302D253CB0DC Time : 0.0 sec. user=mdettweiler [2021-08-08 21:17:47] 651*2^1615802-1 is not prime. Res64: 155503827285C708 Time : 0.0 sec. user=mdettweiler [2021-08-08 21:17:54] 843*2^1615802-1 is not prime. Res64: E223896E9FC2A150 Time : 0.0 sec. user=mdettweiler [2021-08-08 21:17:59] 857*2^1615802-1 is not prime. Res64: 05C561C0FAEC5E46 Time : 0.0 sec. user=mdettweiler [2021-08-08 21:18:03] 615*2^1615803-1 is not prime. Res64: 2EE6414F6BA7EA60 Time : 0.0 sec. user=mdettweiler [2021-08-08 21:37:29] 871*2^1615803-1 is not prime. Res64: D6D68AA3EE6509CA Time : 0.0 sec. user=mdettweiler [2021-08-08 21:37:36] 985*2^1615803-1 is not prime. Res64: 8E9D5EA5C5821A73 Time : 0.0 sec. user=mdettweiler [2021-08-08 21:37:41] 675*2^1615804-1 is not prime. Res64: E4BB5A1E5A2B37A2 Time : 0.0 sec. user=mdettweiler [2021-08-08 21:37:48] 755*2^1615804-1 is not prime. Res64: 2B39FA41B368F64E Time : 0.0 sec. user=mdettweiler [2021-08-08 21:37:55] 915*2^1615804-1 is not prime. Res64: B8F10178A3AD5C83 Time : 0.0 sec. user=mdettweiler [2021-08-08 22:18:58] 959*2^1615804-1 is not prime. Res64: C2EB522EA7F15564 Time : 0.0 sec. user=mdettweiler [2021-08-08 22:19:03] 989*2^1615804-1 is not prime. Res64: 1CB2F1E4F3750D4B Time : 0.0 sec. user=mdettweiler [2021-08-08 22:19:09] 699*2^1615805-1 is not prime. Res64: 2F0A06A99099575F Time : 0.0 sec. user=mdettweiler [2021-08-08 22:31:49] 715*2^1615805-1 is not prime. Res64: EA4833C266519298 Time : 0.0 sec. user=mdettweiler [2021-08-08 22:31:58] 757*2^1615805-1 is not prime. Res64: 23AAB565B7C561D7 Time : 0.0 sec. user=mdettweiler [2021-08-08 22:39:04] 787*2^1615805-1 is not prime. Res64: 9B154887DE2FD2B9 Time : 0.0 sec. user=mdettweiler [2021-08-08 22:39:18] 871*2^1615805-1 is not prime. Res64: B33850596C3B8D43 Time : 0.0 sec. user=mdettweiler [2021-08-08 22:51:46] 657*2^1615806-1 is not prime. Res64: 0B61EFA91B15DE0C Time : 0.0 sec. user=mdettweiler [2021-08-08 22:51:48] 677*2^1615806-1 is not prime. Res64: 74B7D471C9EC70D2 Time : 0.0 sec. user=mdettweiler [2021-08-08 22:51:49] 815*2^1615806-1 is not prime. Res64: 3C75D6E0581EB041 Time : 0.0 sec. user=mdettweiler [2021-08-08 23:52:15] 963*2^1615806-1 is not prime. Res64: 343E7269BA2A2FCE Time : 0.0 sec. user=mdettweiler [2021-08-08 23:52:16] 603*2^1615807-1 is not prime. Res64: 3F7CA85DC37F4F9D Time : 0.0 sec. user=mdettweiler [2021-08-08 23:52:17] 651*2^1615807-1 is not prime. Res64: D4CB904E7E047EA2 Time : 0.0 sec. user=mdettweiler [2021-08-08 23:52:18] 693*2^1615807-1 is not prime. Res64: 760F52120A1586DD Time : 0.0 sec. user=mdettweiler [2021-08-08 23:52:19] 741*2^1615807-1 is not prime. Res64: C63410B3227883BE Time : 0.0 sec.