user=mdettweiler [2016-02-12 17:06:58] 455*2^1431326-1 is not prime. Res64: 9476AB50FA39642A Time : 0.0 sec.