user=mdettweiler
[2018-07-17 00:28:06]
813*2^1519451-1 is not prime.  Res64: 4A5EC698B9EA232B  Time : 0.0 sec.
user=mdettweiler
[2018-07-17 00:28:07]
859*2^1519451-1 is not prime.  Res64: 8D524283C88BC4FA  Time : 0.0 sec.
user=mdettweiler
[2018-07-17 00:28:09]
883*2^1519451-1 is not prime.  Res64: C9024303CEC33114  Time : 0.0 sec.
user=mdettweiler
[2018-07-17 01:22:38]
955*2^1519361-1 is not prime.  Res64: A31A188198C63B18  Time : 0.0 sec.
user=mdettweiler
[2018-07-17 01:48:30]
819*2^1519453-1 is not prime.  Res64: 737D9AAFE61C92BB  Time : 0.0 sec.
user=mdettweiler
[2018-07-17 01:48:32]
831*2^1519453-1 is not prime.  Res64: 88058BB315510862  Time : 0.0 sec.
user=mdettweiler
[2018-07-17 01:48:33]
847*2^1519453-1 is not prime.  Res64: 83224B6D91AE5DDF  Time : 0.0 sec.
user=mdettweiler
[2018-07-17 01:48:35]
855*2^1519453-1 is not prime.  Res64: 86EEE825FA2E7E0D  Time : 0.0 sec.
user=mdettweiler
[2018-07-17 02:43:05]
789*2^1519364-1 is not prime.  Res64: 4CAB2672AE72875A  Time : 0.0 sec.
user=mdettweiler
[2018-07-17 02:43:26]
837*2^1519364-1 is not prime.  Res64: 9E153B39DF62F9E4  Time : 0.0 sec.
user=mdettweiler
[2018-07-17 08:56:05]
839*2^1519460-1 is not prime.  Res64: F0D26BF6DB50BA87  Time : 0.0 sec.
user=mdettweiler
[2018-07-17 08:56:07]
957*2^1519460-1 is not prime.  Res64: 32AAC31E0FE6D73F  Time : 0.0 sec.
user=mdettweiler
[2018-07-17 08:56:30]
959*2^1519460-1 is not prime.  Res64: C960CF8FE043024E  Time : 0.0 sec.
user=mdettweiler
[2018-07-17 09:15:35]
741*2^1519461-1 is not prime.  Res64: BF3FC7638CB41788  Time : 0.0 sec.
user=mdettweiler
[2018-07-17 12:48:22]
967*2^1519361-1 is not prime.  Res64: 6E6525318744A330  Time : 0.0 sec.
user=mdettweiler
[2018-07-17 12:48:27]
611*2^1519362-1 is not prime.  Res64: 2838823B8D244CED  Time : 0.0 sec.
user=mdettweiler
[2018-07-17 12:48:48]
755*2^1519362-1 is not prime.  Res64: F596DCC311C420FC  Time : 0.0 sec.
user=mdettweiler
[2018-07-17 15:44:15]
649*2^1519365-1 is not prime.  Res64: FE31BB856FEFD745  Time : 0.0 sec.
user=mdettweiler
[2018-07-17 15:44:17]
777*2^1519365-1 is not prime.  Res64: 1CA4DF8F072966DD  Time : 0.0 sec.
user=mdettweiler
[2018-07-17 15:44:18]
787*2^1519365-1 is not prime.  Res64: 1B72E87BE4AEBBA6  Time : 0.0 sec.
user=mdettweiler
[2018-07-17 16:47:46]
871*2^1519365-1 is not prime.  Res64: B30C58573B4FAB6C  Time : 0.0 sec.
user=mdettweiler
[2018-07-17 16:47:48]
895*2^1519365-1 is not prime.  Res64: FFAAB053F766ECD0  Time : 0.0 sec.
user=mdettweiler
[2018-07-17 16:47:49]
795*2^1519461-1 is not prime.  Res64: F8E56DE2D192EE10  Time : 0.0 sec.
user=mdettweiler
[2018-07-17 16:48:08]
811*2^1519461-1 is not prime.  Res64: BF6792B47B7542A3  Time : 0.0 sec.
user=mdettweiler
[2018-07-17 18:58:41]
747*2^1519461-1 is not prime.  Res64: 5B0443E438A74B4F  Time : 0.0 sec.
user=mdettweiler
[2018-07-17 21:31:42]
611*2^1519462-1 is not prime.  Res64: E99DB6B947C9FCAB  Time : 0.0 sec.
user=mdettweiler
[2018-07-17 21:31:43]
813*2^1519462-1 is not prime.  Res64: 714E8F2B0214E7B5  Time : 0.0 sec.
user=mdettweiler
[2018-07-17 21:31:44]
825*2^1519462-1 is not prime.  Res64: 8B846B6D54BB18C2  Time : 0.0 sec.
user=mdettweiler
[2018-07-17 21:31:45]
873*2^1519462-1 is not prime.  Res64: 7D09A966BC005D87  Time : 0.0 sec.
user=mdettweiler
[2018-07-17 21:32:04]
897*2^1519462-1 is not prime.  Res64: 86B487DF8D465909  Time : 0.0 sec.