user=mdettweiler
[2019-04-04 00:41:31]
837*2^1536144-1 is not prime.  Res64: 37F6304BAD48D922  Time : 0.0 sec.
user=mdettweiler
[2019-04-04 00:41:32]
843*2^1536144-1 is not prime.  Res64: 42A9B5617E6FACC2  Time : 0.0 sec.
user=mdettweiler
[2019-04-04 00:41:32]
849*2^1536144-1 is not prime.  Res64: 88BC9BDC0790A435  Time : 0.0 sec.
user=mdettweiler
[2019-04-04 00:41:48]
857*2^1536144-1 is not prime.  Res64: 1DA25A647F860E1F  Time : 0.0 sec.
user=mdettweiler
[2019-04-04 00:59:13]
813*2^1536142-1 is not prime.  Res64: DF67D352EE9EB285  Time : 0.0 sec.
user=mdettweiler
[2019-04-04 00:59:13]
965*2^1536142-1 is not prime.  Res64: 4E1822B7CA0B8607  Time : 0.0 sec.
user=mdettweiler
[2019-04-04 00:59:14]
783*2^1536143-1 is not prime.  Res64: 4C13DB031B9D7CD3  Time : 0.0 sec.
user=mdettweiler
[2019-04-04 01:53:52]
651*2^1536145-1 is not prime.  Res64: 6351B92055DD3B53  Time : 0.0 sec.
user=mdettweiler
[2019-04-04 04:41:14]
891*2^1536138-1 is not prime.  Res64: AFF51CF36FBC2C7F  Time : 0.0 sec.
user=mdettweiler
[2019-04-04 06:03:19]
981*2^1536143-1 is not prime.  Res64: 5DDF2EAF0EB296E3  Time : 0.0 sec.
user=mdettweiler
[2019-04-04 07:37:48]
993*2^1536144-1 is not prime.  Res64: C7EEBD9E6FB6FE35  Time : 0.0 sec.
user=mdettweiler
[2019-04-04 08:28:07]
685*2^1536145-1 is not prime.  Res64: 81FCA2852D6535B2  Time : 0.0 sec.
user=mdettweiler
[2019-04-04 08:28:09]
997*2^1536145-1 is not prime.  Res64: AF2DDD63DCD73B26  Time : 0.0 sec.
user=mdettweiler
[2019-04-04 08:28:27]
713*2^1536146-1 is not prime.  Res64: F7B8948A4D323815  Time : 0.0 sec.
user=mdettweiler
[2019-04-04 11:42:47]
903*2^1536146-1 is not prime.  Res64: C29472E61BB7B5B7  Time : 0.0 sec.
user=mdettweiler
[2019-04-04 11:43:06]
921*2^1536146-1 is not prime.  Res64: 1F063E39D6340BC1  Time : 0.0 sec.
user=mdettweiler
[2019-04-04 12:17:15]
675*2^1536144-1 is not prime.  Res64: A7CB1C975D69DC13  Time : 0.0 sec.
user=mdettweiler
[2019-04-04 13:52:01]
755*2^1536146-1 is not prime.  Res64: C65035EF822D8FCB  Time : 0.0 sec.
user=mdettweiler
[2019-04-04 14:46:29]
769*2^1536147-1 is not prime.  Res64: CA437391825D2201  Time : 0.0 sec.
user=mdettweiler
[2019-04-04 14:46:30]
795*2^1536147-1 is not prime.  Res64: B5B0C3920D498A2F  Time : 0.0 sec.
user=mdettweiler
[2019-04-04 14:46:30]
819*2^1536147-1 is not prime.  Res64: 33980193DE6A6A62  Time : 0.0 sec.
user=mdettweiler
[2019-04-04 14:46:31]
843*2^1536147-1 is not prime.  Res64: 64C220C3CDE23162  Time : 0.0 sec.
user=mdettweiler
[2019-04-04 14:46:32]
895*2^1536147-1 is not prime.  Res64: 2B1A5433A2D28778  Time : 0.0 sec.
user=mdettweiler
[2019-04-04 15:16:44]
961*2^1536147-1 is not prime.  Res64: 4D28D369B0DA802C  Time : 0.0 sec.
user=mdettweiler
[2019-04-04 15:40:17]
863*2^1536148-1 is not prime.  Res64: 72EAB5E7A5097634  Time : 0.0 sec.
user=mdettweiler
[2019-04-04 15:40:18]
909*2^1536148-1 is not prime.  Res64: 9965C74C617D963A  Time : 0.0 sec.
user=mdettweiler
[2019-04-04 15:40:19]
999*2^1536148-1 is not prime.  Res64: 30367E9A88E7DBC4  Time : 0.0 sec.
user=mdettweiler
[2019-04-04 15:40:19]
655*2^1536149-1 is not prime.  Res64: E98EA249573D9930  Time : 0.0 sec.
user=mdettweiler
[2019-04-04 15:40:35]
657*2^1536149-1 is not prime.  Res64: 62DF8C130DBB883F  Time : 0.0 sec.
user=mdettweiler
[2019-04-04 18:15:50]
993*2^1536146-1 is not prime.  Res64: 5782CCD8767806F3  Time : 0.0 sec.
user=mdettweiler
[2019-04-04 18:15:58]
615*2^1536147-1 is not prime.  Res64: 7BEDA44224E45415  Time : 0.0 sec.
user=mdettweiler
[2019-04-04 18:16:02]
735*2^1536147-1 is not prime.  Res64: 644F53873FEE3C21  Time : 0.0 sec.
user=mdettweiler
[2019-04-04 19:10:50]
721*2^1536149-1 is not prime.  Res64: 5D70FA320FD6E5C6  Time : 0.0 sec.
user=mdettweiler
[2019-04-04 23:00:53]
611*2^1536150-1 is not prime.  Res64: BA7FD0DB751BF93B  Time : 0.0 sec.
user=mdettweiler
[2019-04-04 23:01:06]
723*2^1536150-1 is not prime.  Res64: 6214FA0803771D7F  Time : 0.0 sec.
user=mdettweiler
[2019-04-05 00:00:06]
801*2^1536150-1 is not prime.  Res64: 306A6BFC0340660A  Time : 0.0 sec.