user=mdettweiler [2016-04-03 02:44:23] 407*2^1431446-1 is not prime. Res64: DC2F9A760D16092E Time : 0.0 sec.