user=juhehe
[2016-07-18 00:24:01]
405*2^1431496-1 is not prime.  Res64: CB269346C3D6F878  Time : 0.0 sec.
user=juhehe
[2016-07-18 02:33:53]
563*2^1431496-1 is not prime.  Res64: 844F543A2C810DBC  Time : 0.0 sec.
user=juhehe
[2016-07-18 03:08:52]
503*2^1431498-1 is not prime.  Res64: 0DEFBFD2DC5412E4  Time : 0.0 sec.
user=juhehe
[2016-07-18 05:53:30]
525*2^1431498-1 is not prime.  Res64: 73FD0E253E3A0D7F  Time : 0.0 sec.
user=juhehe
[2016-07-18 06:28:35]
421*2^1431499-1 is not prime.  Res64: DE737D027B56AC9E  Time : 0.0 sec.
user=juhehe
[2016-07-18 08:38:00]
549*2^1431499-1 is not prime.  Res64: 976288D2E819A0AA  Time : 0.0 sec.
user=juhehe
[2016-07-18 09:13:03]
595*2^1431499-1 is not prime.  Res64: F7B14CAA25588C11  Time : 0.0 sec.
user=juhehe
[2016-07-18 09:48:03]
479*2^1431500-1 is not prime.  Res64: 78E60C5F41696E68  Time : 0.0 sec.
user=juhehe
[2016-07-18 11:57:13]
495*2^1431500-1 is not prime.  Res64: F31CAEAFEF8FD209  Time : 0.0 sec.
user=juhehe
[2016-07-18 12:32:13]
545*2^1431500-1 is not prime.  Res64: 438F8FDD283249B4  Time : 0.0 sec.
user=juhehe
[2016-07-18 14:42:04]
429*2^1431501-1 is not prime.  Res64: 812322DA133E107D  Time : 0.0 sec.
user=juhehe
[2016-07-18 15:17:07]
439*2^1431501-1 is not prime.  Res64: 7064435A119C9935  Time : 0.0 sec.
user=juhehe
[2016-07-18 16:00:22]
459*2^1431501-1 is not prime.  Res64: CBF2949D21D1486B  Time : 0.0 sec.
user=juhehe
[2016-07-18 18:53:55]
471*2^1431501-1 is not prime.  Res64: 321A9873EF23AEBD  Time : 0.0 sec.
user=juhehe
[2016-07-18 19:37:06]
529*2^1431501-1 is not prime.  Res64: 7164FACF5F3A77FF  Time : 0.0 sec.
user=juhehe
[2016-07-18 20:20:13]
549*2^1431501-1 is not prime.  Res64: A35E4C49F0840E9C  Time : 0.0 sec.
user=juhehe
[2016-07-18 23:08:14]
565*2^1431501-1 is not prime.  Res64: 8CCC5C6D7D6DF640  Time : 0.0 sec.
user=juhehe
[2016-07-18 23:51:26]
455*2^1431502-1 is not prime.  Res64: 33A1ABAD2607E844  Time : 0.0 sec.