user=mdettweiler
[2018-07-18 01:39:31]
759*2^1519364-1 is not prime.  Res64: F530E50A0FE4FE95  Time : 0.0 sec.
user=mdettweiler
[2018-07-18 02:39:34]
703*2^1519463-1 is not prime.  Res64: 55339EF6433066E2  Time : 0.0 sec.
user=mdettweiler
[2018-07-18 05:28:43]
775*2^1519467-1 is not prime.  Res64: AC7DCBE8A8ED941A  Time : 0.0 sec.
user=mdettweiler
[2018-07-18 08:31:31]
887*2^1519464-1 is not prime.  Res64: DC933561712CE68C  Time : 0.0 sec.
user=mdettweiler
[2018-07-18 10:34:43]
849*2^1519461-1 is not prime.  Res64: 22E826C23D3E5CF7  Time : 0.0 sec.
user=mdettweiler
[2018-07-18 11:37:59]
615*2^1519466-1 is not prime.  Res64: EC38DC973217F2CF  Time : 0.0 sec.
user=mdettweiler
[2018-07-18 11:38:00]
677*2^1519466-1 is not prime.  Res64: 2BF31FE0CCF7F8F9  Time : 0.0 sec.
user=mdettweiler
[2018-07-18 11:38:02]
717*2^1519466-1 is not prime.  Res64: B1A8C3E02B1CA111  Time : 0.0 sec.
user=mdettweiler
[2018-07-18 11:38:20]
815*2^1519466-1 is not prime.  Res64: 8B81FF9929A0585C  Time : 0.0 sec.
user=mdettweiler
[2018-07-18 12:06:12]
859*2^1519463-1 is not prime.  Res64: EAE9CEA2A7CE0401  Time : 0.0 sec.
user=mdettweiler
[2018-07-18 19:37:48]
861*2^1519465-1 is not prime.  Res64: EF1685DA50D34420  Time : 0.0 sec.
user=mdettweiler
[2018-07-18 19:37:50]
909*2^1519465-1 is not prime.  Res64: 88E0EA8914F9AC04  Time : 0.0 sec.
user=mdettweiler
[2018-07-18 19:37:53]
987*2^1519465-1 is not prime.  Res64: CA144DB4C6671AA8  Time : 0.0 sec.
user=mdettweiler
[2018-07-18 19:37:56]
603*2^1519466-1 is not prime.  Res64: 12346AFF152D7459  Time : 0.0 sec.
user=mdettweiler
[2018-07-18 20:38:48]
893*2^1519466-1 is not prime.  Res64: B95B3778A04626B5  Time : 0.0 sec.
user=mdettweiler
[2018-07-18 21:37:14]
867*2^1519466-1 is not prime.  Res64: EC329FFBAF984EF3  Time : 0.0 sec.
user=mdettweiler
[2018-07-18 21:58:30]
885*2^1519463-1 is not prime.  Res64: FF5DA35F204B26F9  Time : 0.0 sec.