user=mdettweiler
[2016-06-02 02:27:45]
404*23^1251068-1 is not prime.  Res64: FC354AFD0FBE277B  Time : 0.0 sec.
user=mdettweiler
[2016-06-02 02:37:18]
404*23^1251116-1 is not prime.  Res64: 84DC1375B2802ABA  Time : 0.0 sec.
user=mdettweiler
[2016-06-02 04:43:32]
404*23^1252856-1 is not prime.  Res64: A981EA148C1B7851  Time : 0.0 sec.
user=mdettweiler
[2016-06-02 05:05:14]
404*23^1251164-1 is not prime.  Res64: 9C06FBB7F0B38F71  Time : 0.0 sec.
user=mdettweiler
[2016-06-02 06:36:56]
404*23^1252912-1 is not prime.  Res64: 2366900508D38CF6  Time : 0.0 sec.
user=mdettweiler
[2016-06-02 06:46:39]
404*23^1252472-1 is not prime.  Res64: 0102AF015A31978E  Time : 0.0 sec.
user=mdettweiler
[2016-06-02 07:41:50]
404*23^1252688-1 is not prime.  Res64: 475B5871006387F4  Time : 0.0 sec.
user=mdettweiler
[2016-06-02 07:52:37]
404*23^1251704-1 is not prime.  Res64: 4944ACFB83F88FBC  Time : 0.0 sec.
user=mdettweiler
[2016-06-02 08:02:38]
404*23^1251776-1 is not prime.  Res64: 5ABE05E7BC84F8FF  Time : 0.0 sec.
user=mdettweiler
[2016-06-02 08:06:11]
404*23^1251944-1 is not prime.  Res64: 6B723F3F72E46043  Time : 0.0 sec.
user=mdettweiler
[2016-06-02 08:22:11]
404*23^1252028-1 is not prime.  Res64: 9AA131EE3A00D53F  Time : 0.0 sec.
user=mdettweiler
[2016-06-02 13:42:25]
404*23^1252192-1 is not prime.  Res64: A18E5C53118D4F80  Time : 0.0 sec.
user=mdettweiler
[2016-06-02 14:59:02]
404*23^1253228-1 is not prime.  Res64: C26D43F9A6758B44  Time : 0.0 sec.
user=mdettweiler
[2016-06-02 15:03:35]
404*23^1253536-1 is not prime.  Res64: 64C51DE55AF01B22  Time : 0.0 sec.
user=mdettweiler
[2016-06-02 15:56:49]
404*23^1253248-1 is not prime.  Res64: 06D8BB88079B5B50  Time : 0.0 sec.