user=mdettweiler [2016-05-22 11:43:44] 433*2^1431487-1 is not prime. Res64: ED0F60A45893DB65 Time : 0.0 sec. user=mdettweiler [2016-05-22 11:57:52] 531*2^1431487-1 is not prime. Res64: C10C675C21DE8C78 Time : 0.0 sec.