user=ototero
[2018-07-24 00:44:13]
325*2^2426225-1 is not prime.  Res64: 6CE826989B178D64  Time : 0.0 sec.
user=ototero
[2018-07-24 02:31:18]
333*2^2426226-1 is not prime.  Res64: 20293D746600AFB1  Time : 0.0 sec.
user=ototero
[2018-07-24 04:15:57]
345*2^2426226-1 is not prime.  Res64: C5DE7DC4D7382712  Time : 0.0 sec.
user=mdettweiler
[2018-07-24 05:27:52]
339*2^2426227-1 is not prime.  Res64: 46389BD180995216  Time : 0.0 sec.
user=ototero
[2018-07-24 06:05:10]
325*2^2426227-1 is not prime.  Res64: A71EFC9201EFFDAB  Time : 0.0 sec.
user=mdettweiler
[2018-07-24 06:25:27]
333*2^2426228-1 is not prime.  Res64: ACDBFD18AD089478  Time : 0.0 sec.
user=ototero
[2018-07-24 07:52:14]
303*2^2426232-1 is not prime.  Res64: 973342AF4C006477  Time : 0.0 sec.
user=mdettweiler
[2018-07-24 09:11:53]
309*2^2426233-1 is not prime.  Res64: 6737264504B1F8EB  Time : 0.0 sec.
user=ototero
[2018-07-24 09:37:41]
315*2^2426232-1 is not prime.  Res64: B35E45CC199C0E47  Time : 0.0 sec.
user=ototero
[2018-07-24 11:21:30]
305*2^2426234-1 is not prime.  Res64: BEC5510E66BB7B34  Time : 0.0 sec.
user=ototero
[2018-07-24 13:06:35]
333*2^2426235-1 is not prime.  Res64: D01F4A2CCC818825  Time : 0.0 sec.
user=ototero
[2018-07-24 15:02:45]
339*2^2426239-1 is not prime.  Res64: 3CA4F1FABF925CC0  Time : 0.0 sec.
user=ototero
[2018-07-24 16:56:49]
301*2^2426241-1 is not prime.  Res64: DE5284F4A9315A15  Time : 0.0 sec.
user=ototero
[2018-07-24 18:47:36]
335*2^2426242-1 is not prime.  Res64: D71226FF9874E0FB  Time : 0.0 sec.
user=ototero
[2018-07-24 20:30:43]
345*2^2426244-1 is not prime.  Res64: 8E7CFC1C144C8F3A  Time : 0.0 sec.
user=ototero
[2018-07-24 22:11:50]
321*2^2426245-1 is not prime.  Res64: 7CAC423347B03257  Time : 0.0 sec.
user=ototero
[2018-07-24 23:55:44]
305*2^2426246-1 is not prime.  Res64: 4B7337C09BA18149  Time : 0.0 sec.