user=juhehe
[2016-07-25 00:04:34]
507*2^1431526-1 is not prime.  Res64: 61D6EE7D00E34CE7  Time : 0.0 sec.
user=juhehe
[2016-07-25 00:48:33]
525*2^1431526-1 is not prime.  Res64: E3B572EF6A424191  Time : 0.0 sec.
user=juhehe
[2016-07-25 04:18:22]
423*2^1431527-1 is not prime.  Res64: 4350B11BB30BADF3  Time : 0.0 sec.
user=juhehe
[2016-07-25 04:53:53]
465*2^1431527-1 is not prime.  Res64: 30C1AA083EDB0E00  Time : 0.0 sec.
user=juhehe
[2016-07-25 07:05:24]
493*2^1431527-1 is not prime.  Res64: EE6709AE2E6E8CED  Time : 0.0 sec.
user=juhehe
[2016-07-25 07:41:01]
511*2^1431527-1 is not prime.  Res64: 666EE1A4B48ABB8E  Time : 0.0 sec.
user=juhehe
[2016-07-25 08:16:35]
549*2^1431527-1 is not prime.  Res64: 01CFF184D8A8F292  Time : 0.0 sec.
user=juhehe
[2016-07-25 10:28:38]
571*2^1431527-1 is not prime.  Res64: E7B42EC1BA03F073  Time : 0.0 sec.
user=juhehe
[2016-07-25 11:04:18]
585*2^1431528-1 is not prime.  Res64: 4C00359A31052E51  Time : 0.0 sec.
user=juhehe
[2016-07-25 13:16:08]
481*2^1431529-1 is not prime.  Res64: AF506266FC1542AB  Time : 0.0 sec.
user=juhehe
[2016-07-25 13:51:31]
577*2^1431529-1 is not prime.  Res64: 75A38C880B2BFBB2  Time : 0.0 sec.
user=juhehe
[2016-07-25 14:26:57]
417*2^1431530-1 is not prime.  Res64: 0F52469EE6E4F965  Time : 0.0 sec.
user=juhehe
[2016-07-25 17:12:44]
525*2^1431530-1 is not prime.  Res64: 21F26EC68AC5ECD2  Time : 0.0 sec.
user=juhehe
[2016-07-25 17:48:15]
581*2^1431530-1 is not prime.  Res64: DFA9710401A23042  Time : 0.0 sec.
user=juhehe
[2016-07-25 19:59:25]
405*2^1431531-1 is not prime.  Res64: 5C22BED127A73FE3  Time : 0.0 sec.
user=juhehe
[2016-07-25 20:35:51]
429*2^1431531-1 is not prime.  Res64: A88D37E51A865E77  Time : 0.0 sec.
user=juhehe
[2016-07-25 22:46:31]
433*2^1431531-1 is not prime.  Res64: 2D60D5A79A9A44B1  Time : 0.0 sec.
user=juhehe
[2016-07-25 23:21:58]
495*2^1431531-1 is not prime.  Res64: 5B0DFA953E3E6DD2  Time : 0.0 sec.
user=juhehe
[2016-07-25 23:58:48]
565*2^1431531-1 is not prime.  Res64: 6CEE22553D6F8806  Time : 0.0 sec.