user=juhehe
[2016-08-13 00:20:56]
573*2^1431607-1 is not prime.  Res64: 14942091E5A33860  Time : 0.0 sec.
user=juhehe
[2016-08-13 01:01:40]
507*2^1431608-1 is not prime.  Res64: 18C8B39F8798932D  Time : 0.0 sec.
user=juhehe
[2016-08-13 03:51:47]
573*2^1431608-1 is not prime.  Res64: 08E683896924E409  Time : 0.0 sec.
user=juhehe
[2016-08-13 04:32:33]
531*2^1431610-1 is not prime.  Res64: 3776106FCF243139  Time : 0.0 sec.
user=juhehe
[2016-08-13 05:13:09]
545*2^1431610-1 is not prime.  Res64: D188FB4C39CD6474  Time : 0.0 sec.
user=juhehe
[2016-08-13 08:56:08]
463*2^1431611-1 is not prime.  Res64: 080EBC5669A1B0BB  Time : 0.0 sec.
user=juhehe
[2016-08-13 09:36:18]
531*2^1431611-1 is not prime.  Res64: 752C91626BA173EE  Time : 0.0 sec.
user=juhehe
[2016-08-13 12:25:59]
481*2^1431613-1 is not prime.  Res64: A72F641B230DB60E  Time : 0.0 sec.
user=juhehe
[2016-08-13 13:06:20]
477*2^1431614-1 is not prime.  Res64: 0E9545E99B3E9E06  Time : 0.0 sec.
user=juhehe
[2016-08-13 13:46:51]
507*2^1431614-1 is not prime.  Res64: F42C19FC7A1200A2  Time : 0.0 sec.
user=juhehe
[2016-08-13 16:39:35]
545*2^1431614-1 is not prime.  Res64: D4098531B75BEFC9  Time : 0.0 sec.
user=juhehe
[2016-08-13 17:19:42]
415*2^1431615-1 is not prime.  Res64: D3050FE12319EF67  Time : 0.0 sec.
user=juhehe
[2016-08-13 17:58:24]
445*2^1431615-1 is not prime.  Res64: D04EFABD136132BE  Time : 0.0 sec.
user=juhehe
[2016-08-13 18:33:28]
493*2^1431615-1 is not prime.  Res64: 90D03346F3F089C0  Time : 0.0 sec.
user=juhehe
[2016-08-13 21:22:34]
573*2^1431615-1 is not prime.  Res64: 860D2D285B1EE93D  Time : 0.0 sec.
user=juhehe
[2016-08-13 23:33:08]
537*2^1431616-1 is not prime.  Res64: 56181ED3C99BDE33  Time : 0.0 sec.