user=juhehe
[2017-03-27 00:03:20]
425*2^1451270-1 is not prime.  Res64: BC5779BEECE7567F  Time : 0.0 sec.
user=juhehe
[2017-03-27 00:18:49]
455*2^1451270-1 is not prime.  Res64: 05B55DC4829DED03  Time : 0.0 sec.
user=juhehe
[2017-03-27 00:42:20]
501*2^1451270-1 is not prime.  Res64: F290ABE5C9734153  Time : 0.0 sec.
user=juhehe
[2017-03-27 00:58:28]
557*2^1451270-1 is not prime.  Res64: 1F8E3996B3C58F98  Time : 0.0 sec.
user=juhehe
[2017-03-27 01:21:19]
563*2^1451270-1 is not prime.  Res64: F83BB0B359BC73F2  Time : 0.0 sec.
user=juhehe
[2017-03-27 01:38:04]
593*2^1451270-1 is not prime.  Res64: 8E408DE807F87502  Time : 0.0 sec.
user=juhehe
[2017-03-27 02:00:29]
469*2^1451271-1 is not prime.  Res64: 8D11A576BDC72BC2  Time : 0.0 sec.
user=juhehe
[2017-03-27 02:39:44]
511*2^1451271-1 is not prime.  Res64: AC27F24568095579  Time : 0.0 sec.
user=juhehe
[2017-03-27 03:18:55]
555*2^1451271-1 is not prime.  Res64: D6BA5C8D3110B36F  Time : 0.0 sec.
user=juhehe
[2017-03-27 03:58:00]
579*2^1451271-1 is not prime.  Res64: 8EC213BF1CB6A0B8  Time : 0.0 sec.
user=juhehe
[2017-03-27 04:19:16]
537*2^1451273-1 is not prime.  Res64: B59F84421A12151E  Time : 0.0 sec.
user=juhehe
[2017-03-27 04:37:05]
483*2^1451274-1 is not prime.  Res64: 10AEA49C32BC057F  Time : 0.0 sec.
user=juhehe
[2017-03-27 04:58:48]
485*2^1451274-1 is not prime.  Res64: A3AC3D2575F20F4A  Time : 0.0 sec.
user=juhehe
[2017-03-27 05:16:02]
503*2^1451274-1 is not prime.  Res64: DF53EA89539EFAA1  Time : 0.0 sec.
user=juhehe
[2017-03-27 05:38:18]
447*2^1451276-1 is not prime.  Res64: E6FE9E463F6D6590  Time : 0.0 sec.
user=juhehe
[2017-03-27 07:14:14]
405*2^1451278-1 is not prime.  Res64: 77648AFC3A4B0CE1  Time : 0.0 sec.
user=juhehe
[2017-03-27 08:20:48]
471*2^1451278-1 is not prime.  Res64: 4779C576E52ADDD6  Time : 0.0 sec.
user=juhehe
[2017-03-27 09:00:19]
483*2^1451278-1 is not prime.  Res64: 583E1368AAFAC31E  Time : 0.0 sec.
user=juhehe
[2017-03-27 09:11:30]
495*2^1451278-1 is not prime.  Res64: 9F7B8392428BFD05  Time : 0.0 sec.
user=juhehe
[2017-03-27 09:39:51]
527*2^1451278-1 is not prime.  Res64: 2B849168F4124477  Time : 0.0 sec.
user=juhehe
[2017-03-27 11:09:06]
403*2^1451279-1 is not prime.  Res64: 707788F07F164E05  Time : 0.0 sec.
user=juhehe
[2017-03-27 12:22:57]
411*2^1451279-1 is not prime.  Res64: 21A8BD4F660CEBE7  Time : 0.0 sec.
user=juhehe
[2017-03-27 13:02:24]
531*2^1451279-1 is not prime.  Res64: B43643F64B38A165  Time : 0.0 sec.
user=juhehe
[2017-03-27 13:06:06]
579*2^1451279-1 is not prime.  Res64: C38FE929BB64F3F3  Time : 0.0 sec.
user=juhehe
[2017-03-27 13:41:56]
589*2^1451279-1 is not prime.  Res64: F6CE5647546D6E52  Time : 0.0 sec.
user=juhehe
[2017-03-27 14:24:15]
447*2^1451280-1 is not prime.  Res64: E3825734A39B37D7  Time : 0.0 sec.
user=juhehe
[2017-03-27 16:21:22]
591*2^1451261-1 is not prime.  Res64: 412C2B27247EEAC0  Time : 0.0 sec.
user=juhehe
[2017-03-27 16:25:07]
423*2^1451262-1 is not prime.  Res64: 5D3E1430A223817F  Time : 0.0 sec.
user=juhehe
[2017-03-27 17:04:27]
483*2^1451262-1 is not prime.  Res64: AEC4566CA31B89BD  Time : 0.0 sec.
user=juhehe
[2017-03-27 17:44:07]
591*2^1451262-1 is not prime.  Res64: DD74E5EC82C481B1  Time : 0.0 sec.
user=juhehe
[2017-03-27 18:18:50]
429*2^1451263-1 is not prime.  Res64: 0D4E890F8E182173  Time : 0.0 sec.
user=juhehe
[2017-03-27 20:17:19]
493*2^1451263-1 is not prime.  Res64: 3DF2DC2287A1C741  Time : 0.0 sec.
user=juhehe
[2017-03-27 20:27:51]
523*2^1451263-1 is not prime.  Res64: AC0858C6D86D2311  Time : 0.0 sec.
user=juhehe
[2017-03-27 21:07:15]
527*2^1451280-1 is not prime.  Res64: FE740179F8274972  Time : 0.0 sec.
user=juhehe
[2017-03-27 21:46:48]
557*2^1451280-1 is not prime.  Res64: D1FD4F23300D7FF1  Time : 0.0 sec.
user=juhehe
[2017-03-27 22:14:49]
411*2^1451281-1 is not prime.  Res64: 00B993D62FA81BCA  Time : 0.0 sec.