user=mdettweiler
[2016-05-26 00:05:02]
404*23^1228928-1 is not prime.  Res64: C4BFDF3DF9122034  Time : 0.0 sec.
user=mdettweiler
[2016-05-26 00:05:23]
404*23^1229036-1 is not prime.  Res64: 74FCE9B719F43D0E  Time : 0.0 sec.
user=mdettweiler
[2016-05-26 00:45:55]
404*23^1231484-1 is not prime.  Res64: 5F0AFD5BBDEBB0BA  Time : 0.0 sec.
user=mdettweiler
[2016-05-26 01:00:23]
404*23^1231436-1 is not prime.  Res64: D8445981A56116A5  Time : 0.0 sec.
user=mdettweiler
[2016-05-26 01:30:36]
404*23^1231724-1 is not prime.  Res64: 1D48ECEF3C1B4B5C  Time : 0.0 sec.
user=mdettweiler
[2016-05-26 03:07:31]
404*23^1231928-1 is not prime.  Res64: D872A384960C9B5E  Time : 0.0 sec.
user=mdettweiler
[2016-05-26 03:16:20]
404*23^1231888-1 is not prime.  Res64: 2AC8D1659B9EEC04  Time : 0.0 sec.
user=mdettweiler
[2016-05-26 04:46:57]
404*23^1231964-1 is not prime.  Res64: E2EFEDE16C1DD5F7  Time : 0.0 sec.
user=mdettweiler
[2016-05-26 04:58:01]
404*23^1232108-1 is not prime.  Res64: AC022D8021311250  Time : 0.0 sec.
user=mdettweiler
[2016-05-26 07:22:57]
404*23^1233004-1 is not prime.  Res64: 80D29F46ED123B35  Time : 0.0 sec.
user=mdettweiler
[2016-05-26 08:17:06]
404*23^1229792-1 is not prime.  Res64: B5F19C9F96184A5A  Time : 0.0 sec.
user=mdettweiler
[2016-05-26 08:29:30]
404*23^1233404-1 is not prime.  Res64: B5121F1F0A6826B8  Time : 0.0 sec.
user=mdettweiler
[2016-05-26 08:43:44]
404*23^1233464-1 is not prime.  Res64: BE8BA269C3BB0C24  Time : 0.0 sec.
user=mdettweiler
[2016-05-26 09:21:35]
404*23^1233536-1 is not prime.  Res64: 45D540EC598B4936  Time : 0.0 sec.
user=mdettweiler
[2016-05-26 10:50:10]
404*23^1233772-1 is not prime.  Res64: 5192BDE107755870  Time : 0.0 sec.
user=mdettweiler
[2016-05-26 11:14:59]
404*23^1233832-1 is not prime.  Res64: 922F54CC431497E9  Time : 0.0 sec.
user=mdettweiler
[2016-05-26 11:58:22]
404*23^1233836-1 is not prime.  Res64: E5342BD544CBC1E2  Time : 0.0 sec.
user=mdettweiler
[2016-05-26 12:32:10]
404*23^1233904-1 is not prime.  Res64: 9E730E5FAE69E2E6  Time : 0.0 sec.
user=mdettweiler
[2016-05-26 13:15:07]
404*23^1233896-1 is not prime.  Res64: 9BDF45334FB69979  Time : 0.0 sec.
user=mdettweiler
[2016-05-26 13:39:14]
404*23^1234076-1 is not prime.  Res64: 58C838A6F8396DE5  Time : 0.0 sec.
user=mdettweiler
[2016-05-26 13:41:18]
404*23^1231184-1 is not prime.  Res64: 8F26D90C830B9563  Time : 0.0 sec.
user=mdettweiler
[2016-05-26 15:23:38]
404*23^1234156-1 is not prime.  Res64: A7C0EEDAB85D85D3  Time : 0.0 sec.
user=mdettweiler
[2016-05-26 15:34:29]
404*23^1234316-1 is not prime.  Res64: AFA654B8A9B018ED  Time : 0.0 sec.
user=mdettweiler
[2016-05-26 15:56:08]
404*23^1231816-1 is not prime.  Res64: BF94ACCB8CA2E595  Time : 0.0 sec.
user=mdettweiler
[2016-05-26 16:32:54]
404*23^1234364-1 is not prime.  Res64: 6B16465F70737ECF  Time : 0.0 sec.
user=mdettweiler
[2016-05-26 18:20:05]
404*23^1232072-1 is not prime.  Res64: 9B88953FD4DEB8F6  Time : 0.0 sec.
user=mdettweiler
[2016-05-26 18:22:16]
404*23^1232096-1 is not prime.  Res64: 0F54F8F21ABC8686  Time : 0.0 sec.
user=mdettweiler
[2016-05-26 18:35:12]
404*23^1232636-1 is not prime.  Res64: C693763642CBD498  Time : 0.0 sec.
user=mdettweiler
[2016-05-26 18:37:03]
404*23^1232876-1 is not prime.  Res64: BA5D667FC149CE84  Time : 0.0 sec.
user=mdettweiler
[2016-05-26 18:42:53]
404*23^1232972-1 is not prime.  Res64: 7AD20AEF3C40568A  Time : 0.0 sec.
user=mdettweiler
[2016-05-26 20:31:04]
404*23^1234624-1 is not prime.  Res64: D7BDCAD59C6957F3  Time : 0.0 sec.
user=mdettweiler
[2016-05-26 22:28:06]
404*23^1235228-1 is not prime.  Res64: 0ADEB266EC85E0A9  Time : 0.0 sec.