user=mdettweiler
[2019-06-26 04:40:53]
803*2^1540624-1 is not prime.  Res64: FF6199E96D418762  Time : 0.0 sec.
user=mdettweiler
[2019-06-26 08:34:28]
833*2^1540624-1 is not prime.  Res64: 8473C7D17673944B  Time : 0.0 sec.
user=mdettweiler
[2019-06-26 12:15:36]
869*2^1540624-1 is not prime.  Res64: 185E65650CA4AF1F  Time : 0.0 sec.