user=mdettweiler
[2017-07-16 06:10:14]
404*23^1478048-1 is not prime.  Res64: 85230BA840BB3419  Time : 0.0 sec.
user=mdettweiler
[2017-07-16 06:10:37]
404*23^1478056-1 is not prime.  Res64: F1DF88664F956299  Time : 0.0 sec.
user=mdettweiler
[2017-07-16 08:04:38]
404*23^1478384-1 is not prime.  Res64: D326D44A2D128316  Time : 0.0 sec.
user=mdettweiler
[2017-07-16 08:13:06]
404*23^1478336-1 is not prime.  Res64: D3AFF31EFB92097E  Time : 0.0 sec.
user=mdettweiler
[2017-07-16 08:32:40]
404*23^1479176-1 is not prime.  Res64: 6EF46AC42F18D814  Time : 0.0 sec.
user=mdettweiler
[2017-07-16 08:44:23]
404*23^1478648-1 is not prime.  Res64: 59C77573447B3DAA  Time : 0.0 sec.
user=mdettweiler
[2017-07-16 08:51:44]
404*23^1479472-1 is not prime.  Res64: 8204E88C90A68360  Time : 0.0 sec.
user=mdettweiler
[2017-07-16 09:37:10]
404*23^1479148-1 is not prime.  Res64: 58EFBACB60577D7D  Time : 0.0 sec.
user=mdettweiler
[2017-07-16 09:40:42]
404*23^1479136-1 is not prime.  Res64: DAF0BE64A7ED222E  Time : 0.0 sec.
user=mdettweiler
[2017-07-16 12:40:53]
404*23^1477976-1 is not prime.  Res64: 76C9039ADCC8B0A6  Time : 0.0 sec.
user=mdettweiler
[2017-07-16 12:42:10]
404*23^1478024-1 is not prime.  Res64: 5C7A6077533908E8  Time : 0.0 sec.
user=mdettweiler
[2017-07-16 12:44:54]
404*23^1477984-1 is not prime.  Res64: 9A21EDBE1C610A51  Time : 0.0 sec.