user=juhehe
[2016-07-19 00:34:42]
483*2^1431502-1 is not prime.  Res64: 1C1AC04257C0CAC2  Time : 0.0 sec.
user=juhehe
[2016-07-19 03:17:03]
507*2^1431502-1 is not prime.  Res64: 8FB7F35E03EB709C  Time : 0.0 sec.
user=juhehe
[2016-07-19 03:53:03]
525*2^1431502-1 is not prime.  Res64: F89C76F8B2BA9CF8  Time : 0.0 sec.
user=juhehe
[2016-07-19 04:28:15]
519*2^1431503-1 is not prime.  Res64: 516168823D5121FA  Time : 0.0 sec.
user=juhehe
[2016-07-19 06:37:39]
509*2^1431504-1 is not prime.  Res64: 1C89591C5A004DD3  Time : 0.0 sec.
user=juhehe
[2016-07-19 07:12:45]
549*2^1431504-1 is not prime.  Res64: EB30A89CB71AA7DC  Time : 0.0 sec.
user=juhehe
[2016-07-19 07:47:54]
511*2^1431505-1 is not prime.  Res64: 8F0E2EEEED14F35A  Time : 0.0 sec.
user=juhehe
[2016-07-19 10:33:05]
525*2^1431505-1 is not prime.  Res64: 416CCED2B690239A  Time : 0.0 sec.
user=juhehe
[2016-07-19 11:08:18]
407*2^1431506-1 is not prime.  Res64: C5C407173C4D9EEE  Time : 0.0 sec.
user=juhehe
[2016-07-19 13:18:47]
425*2^1431506-1 is not prime.  Res64: 558A5888421A0ECC  Time : 0.0 sec.
user=juhehe
[2016-07-19 13:53:58]
515*2^1431506-1 is not prime.  Res64: 474F6DD53F72549E  Time : 0.0 sec.
user=juhehe
[2016-07-19 16:35:11]
525*2^1431506-1 is not prime.  Res64: AC798392C757DC6F  Time : 0.0 sec.
user=juhehe
[2016-07-19 17:18:37]
403*2^1431507-1 is not prime.  Res64: 1A67DFCF2B9D14B2  Time : 0.0 sec.
user=juhehe
[2016-07-19 18:02:00]
433*2^1431507-1 is not prime.  Res64: 0002FA4E746A1463  Time : 0.0 sec.
user=mdettweiler
[2016-07-19 20:17:08]
489*2^1431507-1 is not prime.  Res64: 69B65CB4FEDF33D5  Time : 0.0 sec.
user=juhehe
[2016-07-19 21:42:18]
493*2^1431507-1 is not prime.  Res64: 97B834673484A73C  Time : 0.0 sec.
user=juhehe
[2016-07-19 22:25:35]
511*2^1431507-1 is not prime.  Res64: 0B52A50BB81B9D79  Time : 0.0 sec.