user=mdettweiler [2020-02-01 02:39:40] 999*2^1553521-1 is not prime. Res64: D7B2D1EE9E674428 Time : 0.0 sec. user=mdettweiler [2020-02-01 04:16:44] 899*2^1553520-1 is not prime. Res64: 9DFE09A0ACBA9D19 Time : 0.0 sec. user=mdettweiler [2020-02-01 04:16:46] 923*2^1553520-1 is not prime. Res64: A8D03FB6F872F3A3 Time : 0.0 sec. user=mdettweiler [2020-02-01 04:16:47] 927*2^1553520-1 is not prime. Res64: 15646CB099E75C38 Time : 0.0 sec. user=mdettweiler [2020-02-01 04:16:49] 607*2^1553521-1 is not prime. Res64: 44ACD00D909EEA49 Time : 0.0 sec. user=mdettweiler [2020-02-01 04:38:23] 715*2^1553521-1 is not prime. Res64: 1A0218B3D6A83D5F Time : 0.0 sec. user=mdettweiler [2020-02-01 05:11:18] 603*2^1553522-1 is not prime. Res64: 6421143F93F0E1EE Time : 0.0 sec. user=mdettweiler [2020-02-01 05:11:18] 683*2^1553522-1 is not prime. Res64: EC109900E4D999BB Time : 0.0 sec. user=mdettweiler [2020-02-01 05:11:19] 827*2^1553522-1 is not prime. Res64: DC153E764600352B Time : 0.0 sec. user=mdettweiler [2020-02-01 05:11:19] 887*2^1553522-1 is not prime. Res64: 021881DA635E4E9F Time : 0.0 sec. user=mdettweiler [2020-02-01 05:11:31] 981*2^1553522-1 is not prime. Res64: C0A1C2103033F6D9 Time : 0.0 sec. user=mdettweiler [2020-02-01 07:47:38] 913*2^1553519-1 is not prime. Res64: F20798F8BD3E2863 Time : 0.0 sec. user=mdettweiler [2020-02-01 10:31:48] 717*2^1553521-1 is not prime. Res64: 6F9FA16F522449D5 Time : 0.0 sec. user=mdettweiler [2020-02-01 10:31:48] 727*2^1553521-1 is not prime. Res64: 7A80AADB20E8649C Time : 0.0 sec. user=mdettweiler [2020-02-01 10:31:49] 987*2^1553521-1 is not prime. Res64: CC4266A493CE8EC3 Time : 0.0 sec. user=mdettweiler [2020-02-01 11:24:33] 609*2^1553523-1 is not prime. Res64: 438B66BEA5241988 Time : 0.0 sec. user=mdettweiler [2020-02-01 12:38:39] 885*2^1553523-1 is not prime. Res64: 240FAEBDDE5202C7 Time : 0.0 sec. user=mdettweiler [2020-02-01 13:29:21] 993*2^1553519-1 is not prime. Res64: 8DB7BB2BF9EF6A16 Time : 0.0 sec. user=mdettweiler [2020-02-01 14:13:14] 609*2^1553520-1 is not prime. Res64: F9AE303D2C172A05 Time : 0.0 sec. user=mdettweiler [2020-02-01 14:13:14] 913*2^1553523-1 is not prime. Res64: 2F08DE56B8DA03ED Time : 0.0 sec. user=mdettweiler [2020-02-01 14:13:14] 691*2^1553523-1 is not prime. Res64: 477427E7B9BA9975 Time : 0.0 sec. user=mdettweiler [2020-02-01 14:13:15] 921*2^1553523-1 is not prime. Res64: BE7AC6061CC4ADC0 Time : 0.0 sec. user=mdettweiler [2020-02-01 14:13:15] 709*2^1553523-1 is not prime. Res64: 395C4A1B03AC343D Time : 0.0 sec. user=mdettweiler [2020-02-01 14:13:15] 627*2^1553520-1 is not prime. Res64: ABABBA49ECB06CF1 Time : 0.0 sec. user=mdettweiler [2020-02-01 14:13:16] 969*2^1553523-1 is not prime. Res64: 400BF90DF706A0DB Time : 0.0 sec. user=mdettweiler [2020-02-01 14:13:16] 735*2^1553523-1 is not prime. Res64: 3C6946994AAA4143 Time : 0.0 sec. user=mdettweiler [2020-02-01 14:13:16] 609*2^1553524-1 is not prime. Res64: 2211E6D8EE2E8CB9 Time : 0.0 sec. user=mdettweiler [2020-02-01 14:13:16] 805*2^1553523-1 is not prime. Res64: 36DFB999511E6751 Time : 0.0 sec. user=mdettweiler [2020-02-01 18:35:02] 843*2^1553524-1 is not prime. Res64: 81AEA64ED8BA0E8A Time : 0.0 sec. user=mdettweiler [2020-02-01 20:10:07] 679*2^1553525-1 is not prime. Res64: 93104B1D4F210C05 Time : 0.0 sec. user=mdettweiler [2020-02-01 20:30:42] 807*2^1553526-1 is not prime. Res64: 769BD5325DA9CE85 Time : 0.0 sec. user=mdettweiler [2020-02-01 20:30:43] 833*2^1553526-1 is not prime. Res64: D24D1D1B314E743E Time : 0.0 sec. user=mdettweiler [2020-02-01 20:30:43] 873*2^1553526-1 is not prime. Res64: 4434C921137C2366 Time : 0.0 sec. user=mdettweiler [2020-02-01 20:30:44] 923*2^1553526-1 is not prime. Res64: 44FE8FE28CEE026D Time : 0.0 sec. user=mdettweiler [2020-02-01 20:30:44] 993*2^1553526-1 is not prime. Res64: 9683AE6327A10944 Time : 0.0 sec. user=mdettweiler [2020-02-01 21:23:14] 663*2^1553527-1 is not prime. Res64: 775A9AC6A91B6317 Time : 0.0 sec. user=mdettweiler [2020-02-01 21:27:32] 657*2^1553528-1 is not prime. Res64: 2A12F1F233EA868C Time : 0.0 sec.