user=mdettweiler
[2020-08-25 00:09:32]
717*2^1564205-1 is not prime.  Res64: BFDE93572F008178  Time : 0.0 sec.
user=mdettweiler
[2020-08-25 01:06:00]
765*2^1564212-1 is not prime.  Res64: 163F4AC1A8EF6DCE  Time : 0.0 sec.
user=mdettweiler
[2020-08-25 01:25:53]
991*2^1564211-1 is not prime.  Res64: 4DDD7DF7D524916B  Time : 0.0 sec.
user=mdettweiler
[2020-08-25 18:33:24]
779*2^1564212-1 is not prime.  Res64: D6281A58B99814F7  Time : 0.0 sec.
user=mdettweiler
[2020-08-25 18:33:24]
605*2^1564212-1 is not prime.  Res64: B6E54AD7230B29DC  Time : 0.0 sec.
user=mdettweiler
[2020-08-25 19:23:52]
837*2^1564212-1 is not prime.  Res64: BFD4EC7D7031ED7C  Time : 0.0 sec.
user=mdettweiler
[2020-08-25 19:23:52]
665*2^1564212-1 is not prime.  Res64: BF60ABA14DEAA247  Time : 0.0 sec.
user=mdettweiler
[2020-08-25 19:23:52]
857*2^1564212-1 is not prime.  Res64: 3C8F2BB2A26AA184  Time : 0.0 sec.
user=mdettweiler
[2020-08-25 19:23:53]
689*2^1564212-1 is not prime.  Res64: A45F2BC44634128D  Time : 0.0 sec.
user=mdettweiler
[2020-08-25 19:23:53]
873*2^1564212-1 is not prime.  Res64: FD178D0DF05B147E  Time : 0.0 sec.
user=mdettweiler
[2020-08-25 23:45:30]
929*2^1564212-1 is not prime.  Res64: 586D23244F568830  Time : 0.0 sec.
user=mdettweiler
[2020-08-25 23:57:56]
721*2^1564213-1 is not prime.  Res64: 82C3AAD942F05757  Time : 0.0 sec.
user=mdettweiler
[2020-08-25 23:57:57]
775*2^1564213-1 is not prime.  Res64: 2842C340DEB0902A  Time : 0.0 sec.
user=mdettweiler
[2020-08-25 23:57:57]
805*2^1564213-1 is not prime.  Res64: CE37990AE415817A  Time : 0.0 sec.
user=mdettweiler
[2020-08-25 23:57:58]
847*2^1564213-1 is not prime.  Res64: 64AF71614D938B72  Time : 0.0 sec.
user=mdettweiler
[2020-08-25 23:57:58]
855*2^1564213-1 is not prime.  Res64: 99CF60F3D5BA53B1  Time : 0.0 sec.