user=mdettweiler [2016-06-10 00:24:45] 404*23^1255436-1 is not prime. Res64: 0C176BAA97D352CD Time : 0.0 sec. user=mdettweiler [2016-06-10 05:13:38] 404*23^1255472-1 is not prime. Res64: D3C7B44ABEEB4E68 Time : 0.0 sec. user=mdettweiler [2016-06-10 06:10:30] 404*23^1255544-1 is not prime. Res64: 5D57F7A1CD580683 Time : 0.0 sec. user=mdettweiler [2016-06-10 10:38:16] 404*23^1255616-1 is not prime. Res64: CAE073CFDC1958D0 Time : 0.0 sec. user=mdettweiler [2016-06-10 10:46:28] 404*23^1255724-1 is not prime. Res64: BE43579E9E3331FE Time : 0.0 sec. user=mdettweiler [2016-06-10 12:47:35] 404*23^1256092-1 is not prime. Res64: 7DA787649097F3E4 Time : 0.0 sec. user=mdettweiler [2016-06-10 13:21:19] 404*23^1255784-1 is not prime. Res64: A67A8692A01DFE49 Time : 0.0 sec. user=mdettweiler [2016-06-10 13:44:37] 404*23^1253948-1 is not prime. Res64: 6D4452B711B905C6 Time : 0.0 sec. user=mdettweiler [2016-06-10 21:52:05] 404*23^1256048-1 is not prime. Res64: 718DD6F24AE888EB Time : 0.0 sec.