user=mdettweiler
[2018-01-08 00:16:36]
351134*2^5220488-1 is not prime.  Res64: BBD82F3E95B29C5A  Time : 0.0 sec.
user=mdettweiler
[2018-01-08 02:13:16]
101746*2^5220512+1 is not prime.  Res64: 4C53699CFB42F30F  Time : 0.0 sec.
user=mdettweiler
[2018-01-08 03:40:06]
90646*2^5220528+1 is not prime.  Res64: C5899F7AC24706BE  Time : 0.0 sec.
user=mdettweiler
[2018-01-08 04:32:24]
90646*2^5220540+1 is not prime.  Res64: EF13A56B817872BA  Time : 0.0 sec.
user=mdettweiler
[2018-01-08 06:50:49]
103947*2^5220581-1 is not prime.  Res64: 0E00A90D6B4F1F48  Time : 0.0 sec.
user=mdettweiler
[2018-01-08 07:13:46]
478214*2^5220576-1 is not prime.  Res64: EA459E9103764DE7  Time : 0.0 sec.
user=mdettweiler
[2018-01-08 09:10:37]
90646*2^5220624+1 is not prime.  Res64: 95F684F21AAFCFCF  Time : 0.0 sec.
user=mdettweiler
[2018-01-08 10:36:38]
32247*2^5220627+1 is not prime.  Res64: 5D7D6F2B6542CC61  Time : 0.0 sec.
user=mdettweiler
[2018-01-08 11:28:46]
351134*2^5220656-1 is not prime.  Res64: E951ADFE3302408E  Time : 0.0 sec.
user=mdettweiler
[2018-01-08 13:47:56]
90646*2^5220684+1 is not prime.  Res64: 262DD5BD36BC4493  Time : 0.0 sec.
user=mdettweiler
[2018-01-08 14:00:12]
32247*2^5220675+1 is not prime.  Res64: 22FA785833E0D854  Time : 0.0 sec.
user=mdettweiler
[2018-01-08 16:06:33]
32247*2^5220699+1 is not prime.  Res64: 3A03523C810BFEEF  Time : 0.0 sec.
user=mdettweiler
[2018-01-08 17:04:23]
14361*2^5220726-1 is not prime.  Res64: BFEA4FA6A5EDECB7  Time : 0.0 sec.
user=mdettweiler
[2018-01-08 18:22:32]
163503*2^5220747-1 is not prime.  Res64: 1BF8908148917749  Time : 0.0 sec.
user=mdettweiler
[2018-01-08 20:10:34]
19464*2^5220792-1 is not prime.  Res64: 672E6C2A391213D9  Time : 0.0 sec.
user=mdettweiler
[2018-01-08 20:29:06]
101746*2^5220760+1 is not prime.  Res64: 86BB9F34447A644C  Time : 0.0 sec.
user=mdettweiler
[2018-01-08 22:31:03]
90646*2^5220804+1 is not prime.  Res64: FA599F148483BE5D  Time : 0.0 sec.
user=mdettweiler
[2018-01-08 23:44:01]
163503*2^5220819-1 is not prime.  Res64: 2452D15D7E99574F  Time : 0.0 sec.