user=juhehe
[2016-08-08 00:25:46]
465*2^1431581-1 is not prime.  Res64: E203D30C43620DA2  Time : 0.0 sec.
user=juhehe
[2016-08-08 01:05:34]
489*2^1431581-1 is not prime.  Res64: 0787CCFF77E9F128  Time : 0.0 sec.
user=juhehe
[2016-08-08 04:08:32]
495*2^1431581-1 is not prime.  Res64: 3618FF26DA4F6039  Time : 0.0 sec.
user=juhehe
[2016-08-08 04:43:29]
511*2^1431581-1 is not prime.  Res64: 6BA5F3F36314AC68  Time : 0.0 sec.
user=juhehe
[2016-08-08 05:18:26]
549*2^1431581-1 is not prime.  Res64: 6D3FBF5FCF92217D  Time : 0.0 sec.
user=juhehe
[2016-08-08 07:27:48]
485*2^1431582-1 is not prime.  Res64: AAE2C453412BF879  Time : 0.0 sec.
user=juhehe
[2016-08-08 08:02:52]
495*2^1431582-1 is not prime.  Res64: 9CC1BA8F1B784D48  Time : 0.0 sec.
user=juhehe
[2016-08-08 10:12:56]
521*2^1431582-1 is not prime.  Res64: 6540E06D9B796F0E  Time : 0.0 sec.
user=juhehe
[2016-08-08 10:47:57]
527*2^1431582-1 is not prime.  Res64: 597898CFB7403153  Time : 0.0 sec.
user=juhehe
[2016-08-08 11:22:56]
587*2^1431582-1 is not prime.  Res64: F175317F043B25E4  Time : 0.0 sec.
user=juhehe
[2016-08-08 13:34:08]
593*2^1431582-1 is not prime.  Res64: 903C54073A9CC634  Time : 0.0 sec.
user=juhehe
[2016-08-08 14:44:11]
453*2^1431583-1 is not prime.  Res64: C00E4D6CD51DD0BE  Time : 0.0 sec.
user=juhehe
[2016-08-08 16:54:36]
481*2^1431583-1 is not prime.  Res64: 7CAB80F3EC5CFA0A  Time : 0.0 sec.
user=juhehe
[2016-08-08 17:29:34]
555*2^1431583-1 is not prime.  Res64: E983836D8A9F3530  Time : 0.0 sec.
user=juhehe
[2016-08-08 19:40:55]
459*2^1431584-1 is not prime.  Res64: 15B2C4ABD7A2F802  Time : 0.0 sec.
user=juhehe
[2016-08-08 20:17:49]
489*2^1431584-1 is not prime.  Res64: 85BC85FCD3A17EBF  Time : 0.0 sec.
user=juhehe
[2016-08-08 20:52:53]
495*2^1431584-1 is not prime.  Res64: 0570583851791B40  Time : 0.0 sec.
user=juhehe
[2016-08-08 23:12:07]
503*2^1431584-1 is not prime.  Res64: 59B2DE0364846599  Time : 0.0 sec.
user=juhehe
[2016-08-08 23:51:56]
533*2^1431584-1 is not prime.  Res64: 931B9ABC760CBE55  Time : 0.0 sec.