user=mdettweiler
[2016-07-17 01:41:54]
404*23^1284316-1 is not prime.  Res64: 8FC33FFE1EEDBA37  Time : 0.0 sec.
user=mdettweiler
[2016-07-17 06:26:18]
404*23^1284604-1 is not prime.  Res64: 85047EBAFB235A5C  Time : 0.0 sec.
user=mdettweiler
[2016-07-17 07:33:17]
404*23^1285004-1 is not prime.  Res64: 7C153D9BEFFC1BCE  Time : 0.0 sec.
user=mdettweiler
[2016-07-17 12:05:06]
404*23^1284464-1 is not prime.  Res64: 48E0E5EDF67D6F8E  Time : 0.0 sec.
user=mdettweiler
[2016-07-17 13:12:01]
404*23^1284524-1 is not prime.  Res64: D14981731627933C  Time : 0.0 sec.
user=mdettweiler
[2016-07-17 14:20:31]
404*23^1285184-1 is not prime.  Res64: E0CD1885D0A7C6A3  Time : 0.0 sec.
user=mdettweiler
[2016-07-17 14:58:31]
404*23^1284968-1 is not prime.  Res64: DFFC50E09C138857  Time : 0.0 sec.
user=mdettweiler
[2016-07-17 15:29:44]
404*23^1285292-1 is not prime.  Res64: 1451A801155E8516  Time : 0.0 sec.
user=mdettweiler
[2016-07-17 23:38:01]
404*23^1285136-1 is not prime.  Res64: 72EAFED1CC34405E  Time : 0.0 sec.