user=juhehe [2016-07-16 10:41:29] 435*2^1431493-1 is not prime. Res64: 235A3DE4EE059DF1 Time : 0.0 sec. user=juhehe [2016-07-16 18:41:47] 465*2^1431493-1 is not prime. Res64: E42C1F32EE5A4BC0 Time : 0.0 sec.