user=mdettweiler
[2016-05-21 03:20:28]
404*23^1212272-1 is not prime.  Res64: 847FC7663D307FB6  Time : 0.0 sec.
user=mdettweiler
[2016-05-21 04:29:29]
404*23^1212296-1 is not prime.  Res64: E0630C054A4A819A  Time : 0.0 sec.
user=mdettweiler
[2016-05-21 04:38:41]
404*23^1210616-1 is not prime.  Res64: 0F04C48D0E4FFC94  Time : 0.0 sec.
user=mdettweiler
[2016-05-21 07:00:45]
404*23^1212608-1 is not prime.  Res64: E0C1589651707399  Time : 0.0 sec.
user=mdettweiler
[2016-05-21 07:01:29]
404*23^1211084-1 is not prime.  Res64: 6709305ACC8EEB21  Time : 0.0 sec.
user=mdettweiler
[2016-05-21 07:14:38]
404*23^1212632-1 is not prime.  Res64: 89AA0323E53D7B87  Time : 0.0 sec.
user=mdettweiler
[2016-05-21 07:22:33]
404*23^1212716-1 is not prime.  Res64: 84F55FC4B620E0B2  Time : 0.0 sec.
user=mdettweiler
[2016-05-21 07:41:33]
404*23^1212584-1 is not prime.  Res64: 7B827495C3523D0D  Time : 0.0 sec.
user=mdettweiler
[2016-05-21 08:32:00]
404*23^1212748-1 is not prime.  Res64: 6F34DA0A6FB4D92F  Time : 0.0 sec.
user=mdettweiler
[2016-05-21 09:10:30]
404*23^1211404-1 is not prime.  Res64: 3F1E6D57F4CEC5E7  Time : 0.0 sec.
user=mdettweiler
[2016-05-21 09:18:29]
404*23^1211552-1 is not prime.  Res64: 4E6DBE2C5DC4CADC  Time : 0.0 sec.
user=mdettweiler
[2016-05-21 09:20:11]
404*23^1211456-1 is not prime.  Res64: 970C7CDF1F9C498C  Time : 0.0 sec.
user=mdettweiler
[2016-05-21 09:27:31]
404*23^1211564-1 is not prime.  Res64: F6F730F422B7C07A  Time : 0.0 sec.
user=mdettweiler
[2016-05-21 09:30:52]
404*23^1211596-1 is not prime.  Res64: B6F7EAB60C99AF28  Time : 0.0 sec.
user=mdettweiler
[2016-05-21 09:33:25]
404*23^1212844-1 is not prime.  Res64: 23268D8569AB3EA1  Time : 0.0 sec.
user=mdettweiler
[2016-05-21 10:08:02]
404*23^1213024-1 is not prime.  Res64: BA2C0F34B35DA5DE  Time : 0.0 sec.
user=mdettweiler
[2016-05-21 10:12:12]
404*23^1213148-1 is not prime.  Res64: 9EE86187EE0CFFCC  Time : 0.0 sec.
user=mdettweiler
[2016-05-21 12:34:44]
404*23^1213196-1 is not prime.  Res64: 2831301FCA4FDFFF  Time : 0.0 sec.
user=mdettweiler
[2016-05-21 13:32:13]
404*23^1213352-1 is not prime.  Res64: 4762396BE6AC452B  Time : 0.0 sec.
user=mdettweiler
[2016-05-21 13:49:10]
404*23^1213468-1 is not prime.  Res64: 5847E7979C13A39D  Time : 0.0 sec.
user=mdettweiler
[2016-05-21 16:29:29]
404*23^1214144-1 is not prime.  Res64: 1054C1C7B885234C  Time : 0.0 sec.
user=mdettweiler
[2016-05-21 17:01:23]
404*23^1210652-1 is not prime.  Res64: C49B324E9009EBFC  Time : 0.0 sec.
user=mdettweiler
[2016-05-21 17:45:13]
404*23^1212476-1 is not prime.  Res64: 8E750CD7CF55D45A  Time : 0.0 sec.
user=mdettweiler
[2016-05-21 17:45:48]
404*23^1210748-1 is not prime.  Res64: 6F4C09A3EDDA2E0A  Time : 0.0 sec.
user=mdettweiler
[2016-05-21 17:47:28]
404*23^1214156-1 is not prime.  Res64: 00BAB21B712B3CEE  Time : 0.0 sec.
user=mdettweiler
[2016-05-21 19:03:52]
404*23^1214224-1 is not prime.  Res64: 6DF9D36FB1E91C65  Time : 0.0 sec.
user=mdettweiler
[2016-05-21 19:28:58]
404*23^1214396-1 is not prime.  Res64: C8171CA7D41563C7  Time : 0.0 sec.
user=mdettweiler
[2016-05-21 20:07:32]
404*23^1214248-1 is not prime.  Res64: 342EA714BE028A5A  Time : 0.0 sec.
user=mdettweiler
[2016-05-21 20:30:20]
404*23^1214476-1 is not prime.  Res64: 95E2EFB74B1397A4  Time : 0.0 sec.
user=mdettweiler
[2016-05-21 21:23:18]
404*23^1214576-1 is not prime.  Res64: 7AEA31C9E0F7C249  Time : 0.0 sec.
user=mdettweiler
[2016-05-21 21:28:29]
404*23^1214636-1 is not prime.  Res64: 8BD673EE5F684DDC  Time : 0.0 sec.
user=mdettweiler
[2016-05-21 22:26:51]
404*23^1214936-1 is not prime.  Res64: F48410C32B740DCE  Time : 0.0 sec.
user=mdettweiler
[2016-05-21 23:02:48]
404*23^1213072-1 is not prime.  Res64: 5DDF071E05A81C9E  Time : 0.0 sec.
user=mdettweiler
[2016-05-21 23:59:57]
404*23^1215176-1 is not prime.  Res64: E0C6D7E9267D9DC6  Time : 0.0 sec.