user=mdettweiler [2020-07-01 00:11:33] 923*2^1562328-1 is not prime. Res64: 03C6F0AAF264A8EE Time : 0.0 sec. user=mdettweiler [2020-07-01 04:36:38] 951*2^1562329-1 is not prime. Res64: 635977C4189B6DDB Time : 0.0 sec. user=mdettweiler [2020-07-01 04:37:56] 967*2^1562329-1 is not prime. Res64: 55794ED9CF761523 Time : 0.0 sec. user=mdettweiler [2020-07-01 04:37:56] 623*2^1562330-1 is not prime. Res64: 7B4952A5B882DDF8 Time : 0.0 sec. user=mdettweiler [2020-07-01 04:37:56] 665*2^1562330-1 is not prime. Res64: 7B459F48E88776B0 Time : 0.0 sec. user=mdettweiler [2020-07-01 04:37:56] 717*2^1562330-1 is not prime. Res64: 936FAA7E3D9AA181 Time : 0.0 sec. user=mdettweiler [2020-07-01 04:37:57] 741*2^1562330-1 is not prime. Res64: 3DDD86FBEDBCA04F Time : 0.0 sec. user=mdettweiler [2020-07-01 05:31:42] 747*2^1562330-1 is not prime. Res64: D2D62DEF803A21DE Time : 0.0 sec. user=mdettweiler [2020-07-01 05:31:42] 767*2^1562330-1 is not prime. Res64: B33AA0375E96D6A9 Time : 0.0 sec. user=mdettweiler [2020-07-01 05:31:43] 923*2^1562330-1 is not prime. Res64: 167A07CEA3986A5A Time : 0.0 sec. user=mdettweiler [2020-07-01 05:31:43] 987*2^1562330-1 is not prime. Res64: 7078B78B564EA35F Time : 0.0 sec. user=mdettweiler [2020-07-01 05:31:43] 615*2^1562331-1 is not prime. Res64: 267F25D1718DAE5C Time : 0.0 sec. user=mdettweiler [2020-07-01 05:33:14] 769*2^1562331-1 is not prime. Res64: CA97AA106C331E90 Time : 0.0 sec. user=mdettweiler [2020-07-01 05:33:14] 775*2^1562331-1 is not prime. Res64: 3D10090FFECFF9BF Time : 0.0 sec. user=mdettweiler [2020-07-01 05:33:14] 801*2^1562331-1 is not prime. Res64: 1FFFC2BB61CDBF73 Time : 0.0 sec. user=mdettweiler [2020-07-01 05:33:14] 871*2^1562331-1 is not prime. Res64: 6B19E440E8CD389F Time : 0.0 sec. user=mdettweiler [2020-07-01 05:33:15] 879*2^1562331-1 is not prime. Res64: 5FAA4F46B802044E Time : 0.0 sec. user=mdettweiler [2020-07-01 05:56:33] 945*2^1562328-1 is not prime. Res64: 2B9C1F8FE6046274 Time : 0.0 sec. user=mdettweiler [2020-07-01 05:56:33] 687*2^1562329-1 is not prime. Res64: 89FDD6818398EEEF Time : 0.0 sec. user=mdettweiler [2020-07-01 05:56:33] 699*2^1562329-1 is not prime. Res64: 49010CA37C746CEE Time : 0.0 sec. user=mdettweiler [2020-07-01 06:25:54] 891*2^1562331-1 is not prime. Res64: 8D8459DCA1065A69 Time : 0.0 sec. user=mdettweiler [2020-07-01 06:25:55] 969*2^1562331-1 is not prime. Res64: 0DCD7CF51113262D Time : 0.0 sec. user=mdettweiler [2020-07-01 06:25:55] 603*2^1562332-1 is not prime. Res64: 24DD46ECAB1FE0FE Time : 0.0 sec. user=mdettweiler [2020-07-01 06:25:55] 617*2^1562332-1 is not prime. Res64: 39DE54567555A9CA Time : 0.0 sec. user=mdettweiler [2020-07-01 06:25:56] 623*2^1562332-1 is not prime. Res64: 09AA67712C500E76 Time : 0.0 sec. user=mdettweiler [2020-07-01 06:28:02] 687*2^1562332-1 is not prime. Res64: 755B99F6746ED14F Time : 0.0 sec. user=mdettweiler [2020-07-01 06:28:03] 695*2^1562332-1 is not prime. Res64: E4D1D7FD876156AE Time : 0.0 sec. user=mdettweiler [2020-07-01 06:28:03] 869*2^1562332-1 is not prime. Res64: 961E3C5D7C1AC13F Time : 0.0 sec. user=mdettweiler [2020-07-01 06:28:03] 939*2^1562332-1 is not prime. Res64: 1275FBB1F15E2F76 Time : 0.0 sec. user=mdettweiler [2020-07-01 06:28:03] 621*2^1562333-1 is not prime. Res64: 78B302B2E7A7BCD1 Time : 0.0 sec. user=mdettweiler [2020-07-01 06:49:32] 675*2^1562333-1 is not prime. Res64: 621B682BB8CC727A Time : 0.0 sec. user=mdettweiler [2020-07-01 06:49:32] 679*2^1562333-1 is not prime. Res64: C6631BB019A17F9B Time : 0.0 sec. user=mdettweiler [2020-07-01 06:49:33] 747*2^1562333-1 is not prime. Res64: 7293512021B16823 Time : 0.0 sec. user=mdettweiler [2020-07-01 06:49:33] 987*2^1562333-1 is not prime. Res64: 15D7232F735A59F5 Time : 0.0 sec. user=mdettweiler [2020-07-01 06:49:33] 651*2^1562334-1 is not prime. Res64: 628EBB06D06204E5 Time : 0.0 sec. user=mdettweiler [2020-07-01 07:18:45] 707*2^1562334-1 is not prime. Res64: 2014F72D1C5B9A7C Time : 0.0 sec. user=mdettweiler [2020-07-01 07:18:46] 711*2^1562334-1 is not prime. Res64: C89074E8A1F97CD7 Time : 0.0 sec. user=mdettweiler [2020-07-01 07:18:46] 717*2^1562334-1 is not prime. Res64: 71FC9BC57FCF4624 Time : 0.0 sec. user=mdettweiler [2020-07-01 07:18:47] 737*2^1562334-1 is not prime. Res64: C63354B02240D237 Time : 0.0 sec. user=mdettweiler [2020-07-01 07:18:47] 797*2^1562334-1 is not prime. Res64: E9F5C73076F3153C Time : 0.0 sec. user=mdettweiler [2020-07-01 07:22:45] 807*2^1562334-1 is not prime. Res64: F451F5B547AB2FFA Time : 0.0 sec. user=mdettweiler [2020-07-01 07:22:45] 951*2^1562334-1 is not prime. Res64: 2AC22B17C091268F Time : 0.0 sec. user=mdettweiler [2020-07-01 07:22:45] 983*2^1562334-1 is not prime. Res64: 2DCBC1A6A771D490 Time : 0.0 sec. user=mdettweiler [2020-07-01 07:22:46] 633*2^1562335-1 is not prime. Res64: 3499C26DCF8A435F Time : 0.0 sec. user=mdettweiler [2020-07-01 07:22:46] 693*2^1562335-1 is not prime. Res64: C7815161EDED9BE1 Time : 0.0 sec. user=mdettweiler [2020-07-01 07:44:14] 751*2^1562335-1 is not prime. Res64: 6A5638784D47C5F6 Time : 0.0 sec. user=mdettweiler [2020-07-01 07:44:14] 783*2^1562335-1 is not prime. Res64: CA05EE9423FA4E04 Time : 0.0 sec. user=mdettweiler [2020-07-01 07:44:14] 859*2^1562335-1 is not prime. Res64: ED9E7BB1F848E5FC Time : 0.0 sec. user=mdettweiler [2020-07-01 07:44:14] 871*2^1562335-1 is not prime. Res64: 88434367570DB415 Time : 0.0 sec. user=mdettweiler [2020-07-01 07:44:15] 615*2^1562336-1 is not prime. Res64: 7A8E4E24AD56661D Time : 0.0 sec. user=mdettweiler [2020-07-01 08:15:59] 869*2^1562336-1 is not prime. Res64: E661052DBBD0A27B Time : 0.0 sec. user=mdettweiler [2020-07-01 08:15:59] 927*2^1562336-1 is not prime. Res64: 5A77682A999094E9 Time : 0.0 sec. user=mdettweiler [2020-07-01 08:16:00] 963*2^1562336-1 is not prime. Res64: B870BBFFF2CA7631 Time : 0.0 sec. user=mdettweiler [2020-07-01 08:16:00] 983*2^1562336-1 is not prime. Res64: B0455072B87CF028 Time : 0.0 sec. user=mdettweiler [2020-07-01 08:16:00] 681*2^1562337-1 is not prime. Res64: D788C1AED80864C4 Time : 0.0 sec. user=mdettweiler [2020-07-01 08:18:51] 711*2^1562337-1 is not prime. Res64: 60B12EEC931804C5 Time : 0.0 sec. user=mdettweiler [2020-07-01 08:18:51] 741*2^1562337-1 is not prime. Res64: 18B1D3039DE81A45 Time : 0.0 sec. user=mdettweiler [2020-07-01 08:18:51] 891*2^1562337-1 is not prime. Res64: 5F07798EF0B0A4F4 Time : 0.0 sec. user=mdettweiler [2020-07-01 08:18:52] 895*2^1562337-1 is not prime. Res64: 52CD40D75B9CE218 Time : 0.0 sec. user=mdettweiler [2020-07-01 08:18:52] 901*2^1562337-1 is not prime. Res64: D5D91BAF93DCA982 Time : 0.0 sec. user=mdettweiler [2020-07-01 08:40:07] 997*2^1562337-1 is not prime. Res64: FCFA72C98D69CA74 Time : 0.0 sec. user=mdettweiler [2020-07-01 08:40:07] 681*2^1562338-1 is not prime. Res64: 97B2402AC69E06AA Time : 0.0 sec. user=mdettweiler [2020-07-01 08:40:08] 861*2^1562338-1 is not prime. Res64: 24A573B22C81AFC4 Time : 0.0 sec. user=mdettweiler [2020-07-01 08:40:08] 923*2^1562338-1 is not prime. Res64: 7AAF93D1C8449B16 Time : 0.0 sec. user=mdettweiler [2020-07-01 08:40:08] 601*2^1562339-1 is not prime. Res64: AE1916979CA5466E Time : 0.0 sec. user=mdettweiler [2020-07-01 09:11:06] 703*2^1562339-1 is not prime. Res64: 309688570966CE91 Time : 0.0 sec. user=mdettweiler [2020-07-01 09:11:06] 883*2^1562339-1 is not prime. Res64: 9D08644329443B24 Time : 0.0 sec. user=mdettweiler [2020-07-01 09:11:07] 949*2^1562339-1 is not prime. Res64: DAB708F8C30A8C0A Time : 0.0 sec. user=mdettweiler [2020-07-01 09:11:07] 689*2^1562340-1 is not prime. Res64: 82E7BFD5E94D3A9B Time : 0.0 sec. user=mdettweiler [2020-07-01 09:11:07] 723*2^1562340-1 is not prime. Res64: A717524A8ED90EB9 Time : 0.0 sec. user=mdettweiler [2020-07-01 09:14:57] 737*2^1562340-1 is not prime. Res64: 459BCF3484E1DDEE Time : 0.0 sec. user=mdettweiler [2020-07-01 09:14:57] 779*2^1562340-1 is not prime. Res64: CDA6B3E392CC61F5 Time : 0.0 sec. user=mdettweiler [2020-07-01 09:14:57] 845*2^1562340-1 is not prime. Res64: BCD98E433D7DC121 Time : 0.0 sec. user=mdettweiler [2020-07-01 09:14:57] 863*2^1562340-1 is not prime. Res64: FAC004944EEEC384 Time : 0.0 sec. user=mdettweiler [2020-07-01 09:14:58] 893*2^1562340-1 is not prime. Res64: 9900D99D8D2D330D Time : 0.0 sec. user=mdettweiler [2020-07-01 09:33:17] 607*2^1562341-1 is not prime. Res64: D0FCB0E823F810DE Time : 0.0 sec. user=mdettweiler [2020-07-01 09:33:17] 649*2^1562341-1 is not prime. Res64: 51A277E00383F49C Time : 0.0 sec. user=mdettweiler [2020-07-01 09:33:17] 679*2^1562341-1 is not prime. Res64: 71496BB4FC73C434 Time : 0.0 sec. user=mdettweiler [2020-07-01 09:33:18] 805*2^1562341-1 is not prime. Res64: 80697DE5E7834575 Time : 0.0 sec. user=mdettweiler [2020-07-01 09:33:18] 889*2^1562341-1 is not prime. Res64: E73ECA38F8141E80 Time : 0.0 sec. user=mdettweiler [2020-07-01 10:08:29] 955*2^1562341-1 is not prime. Res64: 503C226A3A593A02 Time : 0.0 sec. user=mdettweiler [2020-07-01 10:08:29] 975*2^1562341-1 is not prime. Res64: 76F996F65266F1B6 Time : 0.0 sec. user=mdettweiler [2020-07-01 10:08:29] 979*2^1562341-1 is not prime. Res64: 8C2CAD12E52D0C8A Time : 0.0 sec. user=mdettweiler [2020-07-01 10:08:30] 987*2^1562341-1 is not prime. Res64: 2DB14AC87A71E9B7 Time : 0.0 sec. user=mdettweiler [2020-07-01 10:08:30] 785*2^1562342-1 is not prime. Res64: 6419E75611AB37BC Time : 0.0 sec. user=mdettweiler [2020-07-01 10:09:41] 791*2^1562342-1 is not prime. Res64: 435C11745F27B9B2 Time : 0.0 sec. user=mdettweiler [2020-07-01 10:09:41] 661*2^1562343-1 is not prime. Res64: 9719E064290A9E39 Time : 0.0 sec. user=mdettweiler [2020-07-01 10:09:41] 763*2^1562343-1 is not prime. Res64: 61D0BC80FE9FD3FF Time : 0.0 sec. user=mdettweiler [2020-07-01 10:09:42] 823*2^1562343-1 is not prime. Res64: CDF16222284F67F9 Time : 0.0 sec. user=mdettweiler [2020-07-01 10:09:42] 853*2^1562343-1 is not prime. Res64: 7853850F2FBB4AD5 Time : 0.0 sec. user=mdettweiler [2020-07-01 10:27:46] 645*2^1562344-1 is not prime. Res64: F9C2462A02CB9D4D Time : 0.0 sec. user=mdettweiler [2020-07-01 10:27:46] 677*2^1562344-1 is not prime. Res64: 27F6FD43DD2B9E9F Time : 0.0 sec. user=mdettweiler [2020-07-01 10:27:46] 729*2^1562344-1 is not prime. Res64: 9DAE589C8759D5E3 Time : 0.0 sec. user=mdettweiler [2020-07-01 10:27:46] 819*2^1562344-1 is not prime. Res64: 450533DCBFC067A7 Time : 0.0 sec. user=mdettweiler [2020-07-01 10:27:47] 903*2^1562344-1 is not prime. Res64: 5EFCA59AF55C8CD8 Time : 0.0 sec. user=mdettweiler [2020-07-01 11:02:47] 957*2^1562345-1 is not prime. Res64: D82B01E78BF1A225 Time : 0.0 sec. user=mdettweiler [2020-07-01 11:02:48] 657*2^1562346-1 is not prime. Res64: 8A3487BA3E20E2FE Time : 0.0 sec. user=mdettweiler [2020-07-01 11:02:49] 671*2^1562346-1 is not prime. Res64: D45C43644CD3E62C Time : 0.0 sec. user=mdettweiler [2020-07-01 11:02:49] 677*2^1562346-1 is not prime. Res64: 1743AB749A0CA6E0 Time : 0.0 sec. user=mdettweiler [2020-07-01 11:02:50] 725*2^1562346-1 is not prime. Res64: 0B13E171B8192F59 Time : 0.0 sec. user=mdettweiler [2020-07-01 11:04:32] 909*2^1562344-1 is not prime. Res64: C650BFF62B1F903C Time : 0.0 sec. user=mdettweiler [2020-07-01 11:04:33] 959*2^1562344-1 is not prime. Res64: BB3FB6C280435746 Time : 0.0 sec. user=mdettweiler [2020-07-01 11:04:34] 975*2^1562344-1 is not prime. Res64: 5BDE8BF19435F0D8 Time : 0.0 sec. user=mdettweiler [2020-07-01 11:04:34] 649*2^1562345-1 is not prime. Res64: 85D9D24DE94F897A Time : 0.0 sec. user=mdettweiler [2020-07-01 11:04:35] 717*2^1562345-1 is not prime. Res64: 001276FD457661A1 Time : 0.0 sec. user=mdettweiler [2020-07-01 11:24:57] 741*2^1562346-1 is not prime. Res64: 469178D023A7E3E2 Time : 0.0 sec. user=mdettweiler [2020-07-01 11:24:57] 825*2^1562346-1 is not prime. Res64: F545504830754355 Time : 0.0 sec. user=mdettweiler [2020-07-01 11:24:57] 833*2^1562346-1 is not prime. Res64: 4BB7270CBAE0220E Time : 0.0 sec. user=mdettweiler [2020-07-01 11:24:58] 867*2^1562346-1 is not prime. Res64: C10BDCE40A783B7D Time : 0.0 sec. user=mdettweiler [2020-07-01 11:24:58] 941*2^1562346-1 is not prime. Res64: 324CD87E97A2CD31 Time : 0.0 sec. user=mdettweiler [2020-07-01 11:58:53] 975*2^1562346-1 is not prime. Res64: 1F51606FD88ABC9B Time : 0.0 sec. user=mdettweiler [2020-07-01 11:58:54] 673*2^1562347-1 is not prime. Res64: F84244B04DECD019 Time : 0.0 sec. user=mdettweiler [2020-07-01 11:58:54] 685*2^1562347-1 is not prime. Res64: CB5103C3E1290FAC Time : 0.0 sec. user=mdettweiler [2020-07-01 11:58:54] 835*2^1562347-1 is not prime. Res64: 587158B756992F49 Time : 0.0 sec. user=mdettweiler [2020-07-01 11:58:54] 861*2^1562347-1 is not prime. Res64: F20B97B9191EA8FD Time : 0.0 sec. user=mdettweiler [2020-07-01 12:02:56] 895*2^1562347-1 is not prime. Res64: D59C658A35117341 Time : 0.0 sec. user=mdettweiler [2020-07-01 12:02:57] 985*2^1562347-1 is not prime. Res64: B402CE6E639C8531 Time : 0.0 sec. user=mdettweiler [2020-07-01 12:02:58] 825*2^1562348-1 is not prime. Res64: 891259D8D64B7963 Time : 0.0 sec. user=mdettweiler [2020-07-01 12:02:58] 837*2^1562348-1 is not prime. Res64: 38B301D2DBADB85F Time : 0.0 sec. user=mdettweiler [2020-07-01 12:02:58] 839*2^1562348-1 is not prime. Res64: 4D909C22F0911D09 Time : 0.0 sec. user=mdettweiler [2020-07-01 12:20:42] 759*2^1562349-1 is not prime. Res64: 1ACAA08C4CE5F76C Time : 0.0 sec. user=mdettweiler [2020-07-01 12:20:42] 825*2^1562349-1 is not prime. Res64: C970FBFD3DEEA664 Time : 0.0 sec. user=mdettweiler [2020-07-01 12:20:42] 895*2^1562349-1 is not prime. Res64: 5552ECC3FDC181E4 Time : 0.0 sec. user=mdettweiler [2020-07-01 12:20:42] 991*2^1562349-1 is not prime. Res64: F3D8B57D2505AD32 Time : 0.0 sec. user=mdettweiler [2020-07-01 12:20:43] 603*2^1562350-1 is not prime. Res64: E3AEFA69A7079D35 Time : 0.0 sec. user=mdettweiler [2020-07-01 12:54:45] 619*2^1562351-1 is not prime. Res64: ADB3938E86922F34 Time : 0.0 sec. user=mdettweiler [2020-07-01 12:54:46] 711*2^1562351-1 is not prime. Res64: F91B082CC74B62B5 Time : 0.0 sec. user=mdettweiler [2020-07-01 12:54:46] 823*2^1562351-1 is not prime. Res64: 176060F3D0AA6128 Time : 0.0 sec. user=mdettweiler [2020-07-01 12:54:46] 943*2^1562351-1 is not prime. Res64: F0E49BD82BA9F9C9 Time : 0.0 sec. user=mdettweiler [2020-07-01 12:54:46] 955*2^1562351-1 is not prime. Res64: 9640F9707E5F58B0 Time : 0.0 sec. user=mdettweiler [2020-07-01 12:57:04] 669*2^1562352-1 is not prime. Res64: 6CCED9B29F9F3E08 Time : 0.0 sec. user=mdettweiler [2020-07-01 12:57:04] 683*2^1562352-1 is not prime. Res64: AD5E8E3DB1CBE52E Time : 0.0 sec. user=mdettweiler [2020-07-01 12:57:04] 725*2^1562352-1 is not prime. Res64: 36820E1738957C60 Time : 0.0 sec. user=mdettweiler [2020-07-01 12:57:04] 747*2^1562352-1 is not prime. Res64: 0E2D547E5ED659AD Time : 0.0 sec. user=mdettweiler [2020-07-01 12:57:05] 863*2^1562352-1 is not prime. Res64: AB43DCD98994BF90 Time : 0.0 sec. user=mdettweiler [2020-07-01 13:14:22] 609*2^1562353-1 is not prime. Res64: BB9521134CA0D62D Time : 0.0 sec. user=mdettweiler [2020-07-01 13:14:22] 687*2^1562353-1 is not prime. Res64: 62FD06E706179015 Time : 0.0 sec. user=mdettweiler [2020-07-01 13:14:22] 721*2^1562353-1 is not prime. Res64: 37CFE855904FA4F0 Time : 0.0 sec. user=mdettweiler [2020-07-01 13:14:22] 745*2^1562353-1 is not prime. Res64: 61959F76D8940F09 Time : 0.0 sec. user=mdettweiler [2020-07-01 13:14:23] 897*2^1562353-1 is not prime. Res64: B83104210D08C2BD Time : 0.0 sec. user=mdettweiler [2020-07-01 13:50:03] 649*2^1562355-1 is not prime. Res64: 143EC4477B3C3227 Time : 0.0 sec. user=mdettweiler [2020-07-01 13:50:04] 921*2^1562355-1 is not prime. Res64: 3938D51D14F4B7E5 Time : 0.0 sec. user=mdettweiler [2020-07-01 13:50:04] 623*2^1562356-1 is not prime. Res64: 38CB73537DC4DE0F Time : 0.0 sec. user=mdettweiler [2020-07-01 13:50:04] 675*2^1562356-1 is not prime. Res64: 1513B043E7EDE2FF Time : 0.0 sec. user=mdettweiler [2020-07-01 13:50:04] 705*2^1562356-1 is not prime. Res64: E33F0960AD8082CA Time : 0.0 sec. user=mdettweiler [2020-07-01 13:50:48] 915*2^1562353-1 is not prime. Res64: 2E0FEB1AFDB8B6B4 Time : 0.0 sec. user=mdettweiler [2020-07-01 13:50:48] 705*2^1562354-1 is not prime. Res64: 9CBB834EF47AC999 Time : 0.0 sec. user=mdettweiler [2020-07-01 13:50:48] 755*2^1562354-1 is not prime. Res64: CB6A11996E7B9361 Time : 0.0 sec. user=mdettweiler [2020-07-01 13:50:48] 827*2^1562354-1 is not prime. Res64: A8BD85557A7A6372 Time : 0.0 sec. user=mdettweiler [2020-07-01 13:50:49] 887*2^1562354-1 is not prime. Res64: 3B12725402E2EBA6 Time : 0.0 sec. user=mdettweiler [2020-07-01 14:10:28] 719*2^1562356-1 is not prime. Res64: C99F4E9ACAEE7D31 Time : 0.0 sec. user=mdettweiler [2020-07-01 14:10:28] 773*2^1562356-1 is not prime. Res64: 5DA475C46FD1C5D3 Time : 0.0 sec. user=mdettweiler [2020-07-01 14:10:28] 839*2^1562356-1 is not prime. Res64: CD801674CEA2531A Time : 0.0 sec. user=mdettweiler [2020-07-01 14:10:28] 899*2^1562356-1 is not prime. Res64: 1E7C045B4529EE44 Time : 0.0 sec. user=mdettweiler [2020-07-01 14:10:29] 939*2^1562356-1 is not prime. Res64: 90DCBEB030060E6A Time : 0.0 sec. user=mdettweiler [2020-07-01 14:44:23] 795*2^1562357-1 is not prime. Res64: 31D5C9501932A20C Time : 0.0 sec. user=mdettweiler [2020-07-01 14:44:24] 859*2^1562357-1 is not prime. Res64: D8904AB96FF62036 Time : 0.0 sec. user=mdettweiler [2020-07-01 14:44:24] 657*2^1562358-1 is not prime. Res64: CCD1A041F6396F96 Time : 0.0 sec. user=mdettweiler [2020-07-01 14:44:24] 683*2^1562358-1 is not prime. Res64: 772DE37836CCED2F Time : 0.0 sec. user=mdettweiler [2020-07-01 14:44:24] 795*2^1562358-1 is not prime. Res64: 86EA1201A55F49C5 Time : 0.0 sec. user=mdettweiler [2020-07-01 14:44:32] 957*2^1562356-1 is not prime. Res64: 83B6B96E990476FA Time : 0.0 sec. user=mdettweiler [2020-07-01 14:44:33] 975*2^1562356-1 is not prime. Res64: B73E34C9CDB15235 Time : 0.0 sec. user=mdettweiler [2020-07-01 14:44:33] 615*2^1562357-1 is not prime. Res64: 619D50B04817EA4A Time : 0.0 sec. user=mdettweiler [2020-07-01 14:44:33] 675*2^1562357-1 is not prime. Res64: 90B8DB0A49DE7609 Time : 0.0 sec. user=mdettweiler [2020-07-01 14:44:33] 727*2^1562357-1 is not prime. Res64: B3BD416440A4FB78 Time : 0.0 sec. user=mdettweiler [2020-07-01 15:06:11] 875*2^1562358-1 is not prime. Res64: 02C4816130226B2C Time : 0.0 sec. user=mdettweiler [2020-07-01 15:06:12] 885*2^1562358-1 is not prime. Res64: 1CCE942889974554 Time : 0.0 sec. user=mdettweiler [2020-07-01 15:06:13] 921*2^1562358-1 is not prime. Res64: 0A339CD38788BBA9 Time : 0.0 sec. user=mdettweiler [2020-07-01 15:06:13] 633*2^1562359-1 is not prime. Res64: 9AA8392B31D0421F Time : 0.0 sec. user=mdettweiler [2020-07-01 15:06:14] 745*2^1562359-1 is not prime. Res64: 80566843F74A68FD Time : 0.0 sec. user=mdettweiler [2020-07-01 15:38:11] 677*2^1562360-1 is not prime. Res64: 3E62570FBCB3B07D Time : 0.0 sec. user=mdettweiler [2020-07-01 15:38:11] 725*2^1562360-1 is not prime. Res64: B7D6E60063561C48 Time : 0.0 sec. user=mdettweiler [2020-07-01 15:38:12] 789*2^1562360-1 is not prime. Res64: 4634D527253ACC6F Time : 0.0 sec. user=mdettweiler [2020-07-01 15:38:12] 797*2^1562360-1 is not prime. Res64: 1B5E21253A79DF2A Time : 0.0 sec. user=mdettweiler [2020-07-01 15:38:12] 879*2^1562360-1 is not prime. Res64: 96C38206AA5C4443 Time : 0.0 sec. user=mdettweiler [2020-07-01 15:39:00] 763*2^1562359-1 is not prime. Res64: 5AC92907696C5C45 Time : 0.0 sec. user=mdettweiler [2020-07-01 15:39:00] 793*2^1562359-1 is not prime. Res64: 4D9914FA229C6770 Time : 0.0 sec. user=mdettweiler [2020-07-01 15:39:01] 939*2^1562359-1 is not prime. Res64: D66E0C031461F9DE Time : 0.0 sec. user=mdettweiler [2020-07-01 15:39:01] 973*2^1562359-1 is not prime. Res64: 10F2CE60652DB65B Time : 0.0 sec. user=mdettweiler [2020-07-01 15:39:01] 665*2^1562360-1 is not prime. Res64: F7BEE1AC272E560B Time : 0.0 sec. user=mdettweiler [2020-07-01 16:02:31] 899*2^1562360-1 is not prime. Res64: 611AE95B91090C66 Time : 0.0 sec. user=mdettweiler [2020-07-01 16:02:32] 747*2^1562361-1 is not prime. Res64: D84BBC31471C66C9 Time : 0.0 sec. user=mdettweiler [2020-07-01 16:02:33] 795*2^1562361-1 is not prime. Res64: EAD4D7CE33FAAAAB Time : 0.0 sec. user=mdettweiler [2020-07-01 16:02:35] 865*2^1562361-1 is not prime. Res64: CDDF170DDEBCD796 Time : 0.0 sec. user=mdettweiler [2020-07-01 16:02:35] 907*2^1562361-1 is not prime. Res64: 9A5DE24030CD80F7 Time : 0.0 sec. user=mdettweiler [2020-07-01 16:31:12] 665*2^1562362-1 is not prime. Res64: DCAF32E35587A53D Time : 0.0 sec. user=mdettweiler [2020-07-01 16:31:12] 671*2^1562362-1 is not prime. Res64: 50EDAD8A11A2C6B8 Time : 0.0 sec. user=mdettweiler [2020-07-01 16:31:12] 677*2^1562362-1 is not prime. Res64: BBD03964755DCB0D Time : 0.0 sec. user=mdettweiler [2020-07-01 16:31:13] 791*2^1562362-1 is not prime. Res64: CC6983F8FF772739 Time : 0.0 sec. user=mdettweiler [2020-07-01 16:31:13] 951*2^1562362-1 is not prime. Res64: 3353BDE38914812E Time : 0.0 sec. user=mdettweiler [2020-07-01 16:32:37] 669*2^1562363-1 is not prime. Res64: 7565264BA8CF6246 Time : 0.0 sec. user=mdettweiler [2020-07-01 16:32:37] 685*2^1562363-1 is not prime. Res64: A8C8F6D3A5458A40 Time : 0.0 sec. user=mdettweiler [2020-07-01 16:32:38] 759*2^1562363-1 is not prime. Res64: 2ADAADAFA3D81A1F Time : 0.0 sec. user=mdettweiler [2020-07-01 16:32:38] 789*2^1562363-1 is not prime. Res64: D3B7FA6F4DB998D9 Time : 0.0 sec. user=mdettweiler [2020-07-01 16:32:38] 859*2^1562363-1 is not prime. Res64: 106D9D3DA329729F Time : 0.0 sec. user=mdettweiler [2020-07-01 16:57:35] 639*2^1562364-1 is not prime. Res64: 79ADE9CBE5DF9D04 Time : 0.0 sec. user=mdettweiler [2020-07-01 16:57:36] 765*2^1562364-1 is not prime. Res64: 727B4BC9738BBD16 Time : 0.0 sec. user=mdettweiler [2020-07-01 16:57:36] 803*2^1562364-1 is not prime. Res64: EBD6CE1E716FD69D Time : 0.0 sec. user=mdettweiler [2020-07-01 16:57:36] 893*2^1562364-1 is not prime. Res64: 02FEBC462F65A413 Time : 0.0 sec. user=mdettweiler [2020-07-01 16:57:36] 915*2^1562364-1 is not prime. Res64: D32614C85151254C Time : 0.0 sec. user=mdettweiler [2020-07-01 17:28:28] 959*2^1562364-1 is not prime. Res64: F0523C0C8F2FFFBF Time : 0.0 sec. user=mdettweiler [2020-07-01 17:28:29] 799*2^1562365-1 is not prime. Res64: CBB608DB5FDDF582 Time : 0.0 sec. user=mdettweiler [2020-07-01 17:28:29] 817*2^1562365-1 is not prime. Res64: 83489E9815AEDD42 Time : 0.0 sec. user=mdettweiler [2020-07-01 17:28:29] 855*2^1562365-1 is not prime. Res64: 5E70BAB95AE29CF6 Time : 0.0 sec. user=mdettweiler [2020-07-01 17:28:29] 861*2^1562365-1 is not prime. Res64: 3E421362D3FC17A6 Time : 0.0 sec. user=mdettweiler [2020-07-01 17:29:51] 937*2^1562365-1 is not prime. Res64: DD16F921A4843776 Time : 0.0 sec. user=mdettweiler [2020-07-01 17:29:52] 955*2^1562365-1 is not prime. Res64: 82C59DC26C002EE9 Time : 0.0 sec. user=mdettweiler [2020-07-01 17:29:52] 773*2^1562366-1 is not prime. Res64: C4A83E853739B5F4 Time : 0.0 sec. user=mdettweiler [2020-07-01 17:29:52] 815*2^1562366-1 is not prime. Res64: F5462F92A68F7F5D Time : 0.0 sec. user=mdettweiler [2020-07-01 17:29:52] 825*2^1562366-1 is not prime. Res64: 4D298BE77403C521 Time : 0.0 sec. user=mdettweiler [2020-07-01 17:52:00] 833*2^1562366-1 is not prime. Res64: 6E505310D4D24D6F Time : 0.0 sec. user=mdettweiler [2020-07-01 17:52:00] 615*2^1562367-1 is not prime. Res64: 5A8F469A6E125757 Time : 0.0 sec. user=mdettweiler [2020-07-01 17:52:00] 651*2^1562367-1 is not prime. Res64: 75DCD12849B52836 Time : 0.0 sec. user=mdettweiler [2020-07-01 17:52:00] 769*2^1562367-1 is not prime. Res64: 2B788BD398CEA0EC Time : 0.0 sec. user=mdettweiler [2020-07-01 17:52:01] 825*2^1562367-1 is not prime. Res64: 31748663C3BCF621 Time : 0.0 sec. user=mdettweiler [2020-07-01 18:22:33] 879*2^1562367-1 is not prime. Res64: 32DEC8DC71C9450F Time : 0.0 sec. user=mdettweiler [2020-07-01 18:22:33] 895*2^1562367-1 is not prime. Res64: 7C5BBFD9F0992BA9 Time : 0.0 sec. user=mdettweiler [2020-07-01 18:22:34] 605*2^1562368-1 is not prime. Res64: FE9C2C69A704283E Time : 0.0 sec. user=mdettweiler [2020-07-01 18:22:34] 623*2^1562368-1 is not prime. Res64: 8934BA5A579888AF Time : 0.0 sec. user=mdettweiler [2020-07-01 18:22:34] 657*2^1562368-1 is not prime. Res64: E377A891A2EEF19D Time : 0.0 sec. user=mdettweiler [2020-07-01 18:24:19] 707*2^1562368-1 is not prime. Res64: 61970920993E7E57 Time : 0.0 sec. user=mdettweiler [2020-07-01 18:24:19] 619*2^1562369-1 is not prime. Res64: C5C550E477E1AB2D Time : 0.0 sec. user=mdettweiler [2020-07-01 18:24:20] 645*2^1562369-1 is not prime. Res64: A184199EB9C77214 Time : 0.0 sec. user=mdettweiler [2020-07-01 18:24:20] 885*2^1562369-1 is not prime. Res64: 01D2B0D9DD0317BA Time : 0.0 sec. user=mdettweiler [2020-07-01 18:24:20] 951*2^1562369-1 is not prime. Res64: 81CD762A732DEBD8 Time : 0.0 sec. user=mdettweiler [2020-07-01 18:45:42] 611*2^1562370-1 is not prime. Res64: FB3CC59E6A9EF92E Time : 0.0 sec. user=mdettweiler [2020-07-01 18:45:42] 627*2^1562370-1 is not prime. Res64: 1FE5F11DA9D75C26 Time : 0.0 sec. user=mdettweiler [2020-07-01 18:45:42] 713*2^1562370-1 is not prime. Res64: D60D60704A0B2643 Time : 0.0 sec. user=mdettweiler [2020-07-01 18:45:43] 803*2^1562370-1 is not prime. Res64: B697480348AF7D8F Time : 0.0 sec. user=mdettweiler [2020-07-01 18:45:43] 905*2^1562370-1 is not prime. Res64: 534D601BBCE0BE13 Time : 0.0 sec. user=mdettweiler [2020-07-01 19:15:24] 621*2^1562371-1 is not prime. Res64: CE3531949EEFBDC8 Time : 0.0 sec. user=mdettweiler [2020-07-01 19:15:24] 645*2^1562371-1 is not prime. Res64: 3B42E2D735E22780 Time : 0.0 sec. user=mdettweiler [2020-07-01 19:15:24] 703*2^1562371-1 is not prime. Res64: 9DA36346EE0EB136 Time : 0.0 sec. user=mdettweiler [2020-07-01 19:15:25] 741*2^1562371-1 is not prime. Res64: B87E3D19C54916E4 Time : 0.0 sec. user=mdettweiler [2020-07-01 19:15:25] 745*2^1562371-1 is not prime. Res64: DB61AE71B9AC2EAD Time : 0.0 sec. user=mdettweiler [2020-07-01 19:20:48] 769*2^1562371-1 is not prime. Res64: E6932A6500F33591 Time : 0.0 sec. user=mdettweiler [2020-07-01 19:20:49] 855*2^1562371-1 is not prime. Res64: D10EFCCF020C476F Time : 0.0 sec. user=mdettweiler [2020-07-01 19:20:49] 861*2^1562371-1 is not prime. Res64: EEE2B2E7EE95F32E Time : 0.0 sec. user=mdettweiler [2020-07-01 19:20:49] 873*2^1562371-1 is not prime. Res64: D6B97B9725844C5A Time : 0.0 sec. user=mdettweiler [2020-07-01 19:20:50] 635*2^1562372-1 is not prime. Res64: 353103AE83974299 Time : 0.0 sec. user=mdettweiler [2020-07-01 19:41:53] 797*2^1562372-1 is not prime. Res64: 9B76EE02E79A41D4 Time : 0.0 sec. user=mdettweiler [2020-07-01 19:41:53] 833*2^1562372-1 is not prime. Res64: 650811B9DF4DA0B8 Time : 0.0 sec. user=mdettweiler [2020-07-01 19:41:53] 897*2^1562372-1 is not prime. Res64: 079D3155AE5BD94A Time : 0.0 sec. user=mdettweiler [2020-07-01 19:41:53] 903*2^1562372-1 is not prime. Res64: 3F2C4DC44BF06128 Time : 0.0 sec. user=mdettweiler [2020-07-01 19:41:53] 639*2^1562373-1 is not prime. Res64: CF996521E0C55DD2 Time : 0.0 sec. user=mdettweiler [2020-07-01 20:11:32] 727*2^1562373-1 is not prime. Res64: 43A06AE00586C948 Time : 0.0 sec. user=mdettweiler [2020-07-01 20:11:32] 751*2^1562373-1 is not prime. Res64: B3C1074467219A00 Time : 0.0 sec. user=mdettweiler [2020-07-01 20:11:33] 811*2^1562373-1 is not prime. Res64: D5AAAC0DF099F3B3 Time : 0.0 sec. user=mdettweiler [2020-07-01 20:11:33] 871*2^1562373-1 is not prime. Res64: EA896A9FD2FD5753 Time : 0.0 sec. user=mdettweiler [2020-07-01 20:11:33] 937*2^1562373-1 is not prime. Res64: E99EB5A0196BC13C Time : 0.0 sec. user=mdettweiler [2020-07-01 20:13:52] 651*2^1562374-1 is not prime. Res64: 34F9E9E7D002C375 Time : 0.0 sec. user=mdettweiler [2020-07-01 20:13:52] 677*2^1562374-1 is not prime. Res64: 6A68811549577E32 Time : 0.0 sec. user=mdettweiler [2020-07-01 20:13:52] 705*2^1562374-1 is not prime. Res64: 21A9B1B765DDA812 Time : 0.0 sec. user=mdettweiler [2020-07-01 20:13:53] 643*2^1562375-1 is not prime. Res64: 92731F3FF3F8D348 Time : 0.0 sec. user=mdettweiler [2020-07-01 20:13:53] 819*2^1562375-1 is not prime. Res64: 88371F3B9AF80249 Time : 0.0 sec. user=mdettweiler [2020-07-01 20:37:59] 843*2^1562375-1 is not prime. Res64: 4970F990986855F4 Time : 0.0 sec. user=mdettweiler [2020-07-01 20:38:00] 861*2^1562375-1 is not prime. Res64: B2AAE3D5B30E589E Time : 0.0 sec. user=mdettweiler [2020-07-01 20:38:00] 895*2^1562375-1 is not prime. Res64: B42B804602554306 Time : 0.0 sec. user=mdettweiler [2020-07-01 20:38:00] 693*2^1562376-1 is not prime. Res64: B3D0859BBE7D0D39 Time : 0.0 sec. user=mdettweiler [2020-07-01 20:38:00] 705*2^1562376-1 is not prime. Res64: F35CC48F42A4C124 Time : 0.0 sec. user=mdettweiler [2020-07-01 21:07:12] 975*2^1562376-1 is not prime. Res64: FC48E5FB5D5D4C69 Time : 0.0 sec. user=mdettweiler [2020-07-01 21:07:13] 607*2^1562377-1 is not prime. Res64: 70830B90B495D426 Time : 0.0 sec. user=mdettweiler [2020-07-01 21:07:15] 651*2^1562377-1 is not prime. Res64: 8E182475224345C7 Time : 0.0 sec. user=mdettweiler [2020-07-01 21:07:17] 687*2^1562377-1 is not prime. Res64: EB0301FE28073A36 Time : 0.0 sec. user=mdettweiler [2020-07-01 21:07:18] 699*2^1562377-1 is not prime. Res64: 547E742BBEF039AB Time : 0.0 sec. user=mdettweiler [2020-07-01 21:08:46] 747*2^1562376-1 is not prime. Res64: 72B7C48D938F9BB7 Time : 0.0 sec. user=mdettweiler [2020-07-01 21:08:47] 815*2^1562376-1 is not prime. Res64: F52A3676955BDE0E Time : 0.0 sec. user=mdettweiler [2020-07-01 21:08:48] 873*2^1562376-1 is not prime. Res64: E5A0BE691F239FBB Time : 0.0 sec. user=mdettweiler [2020-07-01 21:08:49] 905*2^1562376-1 is not prime. Res64: A74ECD59AEBDBD70 Time : 0.0 sec. user=mdettweiler [2020-07-01 21:08:50] 923*2^1562376-1 is not prime. Res64: 4C8B3B274D5D5C0A Time : 0.0 sec. user=mdettweiler [2020-07-01 21:33:06] 805*2^1562377-1 is not prime. Res64: 343C999F30545EAE Time : 0.0 sec. user=mdettweiler [2020-07-01 21:33:07] 979*2^1562377-1 is not prime. Res64: 0DC30370563DF1F6 Time : 0.0 sec. user=mdettweiler [2020-07-01 21:33:07] 773*2^1562378-1 is not prime. Res64: 39DDBB7BBF6B8055 Time : 0.0 sec. user=mdettweiler [2020-07-01 21:33:07] 801*2^1562378-1 is not prime. Res64: 91D27F4CBE53917A Time : 0.0 sec. user=mdettweiler [2020-07-01 21:33:07] 921*2^1562378-1 is not prime. Res64: 15336C6EDBDB2CCD Time : 0.0 sec. user=mdettweiler [2020-07-01 22:03:44] 923*2^1562378-1 is not prime. Res64: 73F62BD99F7664FD Time : 0.0 sec. user=mdettweiler [2020-07-01 22:03:45] 927*2^1562378-1 is not prime. Res64: 4A4A97A554CF67DF Time : 0.0 sec. user=mdettweiler [2020-07-01 22:03:46] 953*2^1562378-1 is not prime. Res64: 9ECF8B2E06B3B223 Time : 0.0 sec. user=mdettweiler [2020-07-01 22:03:47] 615*2^1562379-1 is not prime. Res64: 185887A5FB8B7B46 Time : 0.0 sec. user=mdettweiler [2020-07-01 22:03:48] 741*2^1562379-1 is not prime. Res64: 391B002DEB7B325D Time : 0.0 sec. user=mdettweiler [2020-07-01 22:05:06] 789*2^1562379-1 is not prime. Res64: 9D24D3843D3FE11E Time : 0.0 sec. user=mdettweiler [2020-07-01 22:05:07] 879*2^1562379-1 is not prime. Res64: E296B130F10A39DA Time : 0.0 sec. user=mdettweiler [2020-07-01 22:05:08] 903*2^1562379-1 is not prime. Res64: 5FAD2D13CC41E039 Time : 0.0 sec. user=mdettweiler [2020-07-01 22:05:09] 975*2^1562379-1 is not prime. Res64: A6551339697113E5 Time : 0.0 sec. user=mdettweiler [2020-07-01 22:05:10] 723*2^1562380-1 is not prime. Res64: 53573CA3E506EAE7 Time : 0.0 sec. user=mdettweiler [2020-07-01 22:26:34] 797*2^1562380-1 is not prime. Res64: 1C8AD1B57156E014 Time : 0.0 sec. user=mdettweiler [2020-07-01 22:26:34] 813*2^1562380-1 is not prime. Res64: 96F7E2A7EA466362 Time : 0.0 sec. user=mdettweiler [2020-07-01 22:26:34] 619*2^1562381-1 is not prime. Res64: 7A0E57CB39F05ABC Time : 0.0 sec. user=mdettweiler [2020-07-01 22:26:35] 651*2^1562381-1 is not prime. Res64: A882B6EC29AA114C Time : 0.0 sec. user=mdettweiler [2020-07-01 22:26:35] 697*2^1562381-1 is not prime. Res64: 0225E006CFF7E8E9 Time : 0.0 sec. user=mdettweiler [2020-07-01 22:58:14] 955*2^1562381-1 is not prime. Res64: 34F769FF0819A4C0 Time : 0.0 sec. user=mdettweiler [2020-07-01 22:58:15] 611*2^1562382-1 is not prime. Res64: 0D537789F90521CC Time : 0.0 sec. user=mdettweiler [2020-07-01 22:58:15] 627*2^1562382-1 is not prime. Res64: 77083653BA35471B Time : 0.0 sec. user=mdettweiler [2020-07-01 22:58:15] 635*2^1562382-1 is not prime. Res64: 0225A48B3ECCC098 Time : 0.0 sec. user=mdettweiler [2020-07-01 22:58:15] 683*2^1562382-1 is not prime. Res64: 5FBF467D632C07BF Time : 0.0 sec. user=mdettweiler [2020-07-01 23:00:13] 735*2^1562381-1 is not prime. Res64: 4546334B0EFE4FA4 Time : 0.0 sec. user=mdettweiler [2020-07-01 23:00:14] 795*2^1562381-1 is not prime. Res64: 738468C861390695 Time : 0.0 sec. user=mdettweiler [2020-07-01 23:00:15] 859*2^1562381-1 is not prime. Res64: 9C07190FC76EE72B Time : 0.0 sec. user=mdettweiler [2020-07-01 23:00:16] 865*2^1562381-1 is not prime. Res64: 22DABFADDB7F9B21 Time : 0.0 sec. user=mdettweiler [2020-07-01 23:00:17] 901*2^1562381-1 is not prime. Res64: 312E3ABC1C19315B Time : 0.0 sec. user=mdettweiler [2020-07-01 23:21:41] 711*2^1562382-1 is not prime. Res64: 2AC364701FF78D65 Time : 0.0 sec. user=mdettweiler [2020-07-01 23:21:42] 737*2^1562382-1 is not prime. Res64: B8292D93D1A9458B Time : 0.0 sec. user=mdettweiler [2020-07-01 23:21:42] 765*2^1562382-1 is not prime. Res64: 42F7B7B196EC8BF1 Time : 0.0 sec. user=mdettweiler [2020-07-01 23:21:42] 843*2^1562382-1 is not prime. Res64: B199BD58F453D630 Time : 0.0 sec. user=mdettweiler [2020-07-01 23:21:43] 915*2^1562382-1 is not prime. Res64: B6CE0D640D8DB725 Time : 0.0 sec. user=mdettweiler [2020-07-01 23:55:50] 919*2^1562383-1 is not prime. Res64: CF0EBB911EB32F0D Time : 0.0 sec. user=mdettweiler [2020-07-01 23:55:50] 939*2^1562383-1 is not prime. Res64: A6F3C1F1E3744679 Time : 0.0 sec. user=mdettweiler [2020-07-01 23:55:51] 961*2^1562383-1 is not prime. Res64: 28D03A2BFF40EB82 Time : 0.0 sec. user=mdettweiler [2020-07-01 23:55:51] 609*2^1562384-1 is not prime. Res64: 9921120B3B5ED67A Time : 0.0 sec. user=mdettweiler [2020-07-01 23:55:51] 615*2^1562384-1 is not prime. Res64: E244E480390E150F Time : 0.0 sec. user=mdettweiler [2020-07-01 23:56:35] 921*2^1562382-1 is not prime. Res64: CAD5E369E82B13C8 Time : 0.0 sec. user=mdettweiler [2020-07-01 23:56:36] 983*2^1562382-1 is not prime. Res64: DF899B5A8C19D35D Time : 0.0 sec. user=mdettweiler [2020-07-01 23:56:36] 831*2^1562383-1 is not prime. Res64: 6D62CB1E3E2A5062 Time : 0.0 sec. user=mdettweiler [2020-07-01 23:56:36] 853*2^1562383-1 is not prime. Res64: 20EE19837D0B1583 Time : 0.0 sec. user=mdettweiler [2020-07-01 23:56:36] 861*2^1562383-1 is not prime. Res64: D522D7576F6E5B58 Time : 0.0 sec.