user=mdettweiler
[2016-05-25 00:29:27]
404*23^1227632-1 is not prime.  Res64: 5D8FA4F55BC2D77B  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 00:33:44]
404*23^1224752-1 is not prime.  Res64: DFBB2C31B174674E  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 01:38:33]
404*23^1227704-1 is not prime.  Res64: 27BE4F7F494ED0EB  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 02:55:04]
404*23^1225096-1 is not prime.  Res64: 33448CC9866DB8D5  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 04:54:35]
404*23^1227824-1 is not prime.  Res64: 1A5140D2B565C7CE  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 05:08:15]
404*23^1225552-1 is not prime.  Res64: F3A72B4B7C6C1C58  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 05:08:54]
404*23^1227724-1 is not prime.  Res64: 6C6D4E73A8336DC8  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 05:13:32]
404*23^1225724-1 is not prime.  Res64: A85A17963E677F0A  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 05:29:18]
404*23^1226032-1 is not prime.  Res64: 688930CEC2AE19BD  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 05:33:56]
404*23^1226056-1 is not prime.  Res64: E6F3B3A9BDC91C8A  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 05:34:15]
404*23^1226048-1 is not prime.  Res64: 6C5C138E0A4B2953  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 06:41:29]
404*23^1227848-1 is not prime.  Res64: 109E21331DB7DE99  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 07:58:21]
404*23^1227964-1 is not prime.  Res64: F79313C086D80E76  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 09:13:22]
404*23^1228192-1 is not prime.  Res64: 7BF43CD2622AE472  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 10:05:32]
404*23^1228396-1 is not prime.  Res64: 52A54E84AF0CDD20  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 10:18:51]
404*23^1228712-1 is not prime.  Res64: C7851A4783923252  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 11:12:07]
404*23^1229132-1 is not prime.  Res64: 3D80B6105B7C9FDB  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 11:19:00]
404*23^1229116-1 is not prime.  Res64: D644335608BDE345  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 13:45:16]
404*23^1229192-1 is not prime.  Res64: F693E11B78DCFA26  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 13:46:21]
404*23^1227584-1 is not prime.  Res64: F05BC04252A9C43C  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 13:47:53]
404*23^1229144-1 is not prime.  Res64: 7EC563D93E0AAB12  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 14:16:59]
404*23^1229372-1 is not prime.  Res64: 5CF20D2D39828E64  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 15:29:27]
404*23^1229404-1 is not prime.  Res64: 2FF9D0EE0A6D1D76  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 15:55:00]
404*23^1229416-1 is not prime.  Res64: 8D63E1606C51458B  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 18:52:12]
404*23^1229704-1 is not prime.  Res64: 3EA009727E474399  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 18:56:27]
404*23^1229632-1 is not prime.  Res64: CDDA7A006DFF5D0E  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 19:02:02]
404*23^1229452-1 is not prime.  Res64: FE66C304A3223240  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 19:05:37]
404*23^1227836-1 is not prime.  Res64: 7FBFA493A5F0E610  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 19:11:07]
404*23^1229816-1 is not prime.  Res64: F10FEBCF98DE0658  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 19:35:11]
404*23^1230016-1 is not prime.  Res64: 9EE7575EB0972646  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 19:36:46]
404*23^1229912-1 is not prime.  Res64: AE82398EDDA32BFC  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 19:57:54]
404*23^1230176-1 is not prime.  Res64: 9F88D34D048741D0  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 20:34:21]
404*23^1230352-1 is not prime.  Res64: 1651FFF05474B5A0  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 20:45:45]
404*23^1230488-1 is not prime.  Res64: F2B499099BBAF576  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 21:07:03]
404*23^1230416-1 is not prime.  Res64: 0C788DF6E5699979  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 21:07:13]
404*23^1230656-1 is not prime.  Res64: D8CA7F5312B28435  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 21:23:50]
404*23^1228172-1 is not prime.  Res64: 3C20D3782320DDBC  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 21:41:58]
404*23^1231088-1 is not prime.  Res64: F6C133DD72FF96AF  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 21:50:54]
404*23^1230716-1 is not prime.  Res64: 2AE3496233994172  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 23:40:43]
404*23^1228576-1 is not prime.  Res64: 23E97D2D60FE4505  Time : 0.0 sec.
user=mdettweiler
[2016-05-25 23:46:10]
404*23^1228664-1 is not prime.  Res64: CAF2921134A75B68  Time : 0.0 sec.
user=mdettweiler
[2016-05-26 00:00:41]
404*23^1228828-1 is not prime.  Res64: 06625437B71A61E1  Time : 0.0 sec.