user=mdettweiler
[2019-04-05 00:14:55]
639*2^1536151-1 is not prime.  Res64: A1B0656A4B5CF52F  Time : 0.0 sec.
user=mdettweiler
[2019-04-05 01:00:42]
707*2^1536144-1 is not prime.  Res64: 540985F4936D7251  Time : 0.0 sec.
user=mdettweiler
[2019-04-05 01:03:07]
735*2^1536149-1 is not prime.  Res64: DE0476004011BB8E  Time : 0.0 sec.
user=mdettweiler
[2019-04-05 01:03:10]
861*2^1536149-1 is not prime.  Res64: 25FD8AE525C36D09  Time : 0.0 sec.
user=mdettweiler
[2019-04-05 01:03:23]
969*2^1536149-1 is not prime.  Res64: AAB19FB84D4C3832  Time : 0.0 sec.
user=mdettweiler
[2019-04-05 01:56:01]
709*2^1536151-1 is not prime.  Res64: 1ECDB362A7F14EF9  Time : 0.0 sec.
user=mdettweiler
[2019-04-05 01:56:02]
783*2^1536151-1 is not prime.  Res64: 8E1515662EB6AE8D  Time : 0.0 sec.
user=mdettweiler
[2019-04-05 01:56:02]
871*2^1536151-1 is not prime.  Res64: 252CAB0481A6C0C3  Time : 0.0 sec.
user=mdettweiler
[2019-04-05 01:56:03]
895*2^1536151-1 is not prime.  Res64: DDBA4198981EA66D  Time : 0.0 sec.
user=mdettweiler
[2019-04-05 01:56:20]
961*2^1536151-1 is not prime.  Res64: A4EAE4D2D5ACA52D  Time : 0.0 sec.
user=mdettweiler
[2019-04-05 04:21:22]
985*2^1536147-1 is not prime.  Res64: 35A6E2BDAD9F9865  Time : 0.0 sec.
user=mdettweiler
[2019-04-05 06:01:12]
773*2^1536150-1 is not prime.  Res64: B7D9FC33C47E7F8C  Time : 0.0 sec.
user=mdettweiler
[2019-04-05 06:01:15]
777*2^1536150-1 is not prime.  Res64: 7504442BB9E8BEA4  Time : 0.0 sec.
user=mdettweiler
[2019-04-05 06:01:18]
791*2^1536150-1 is not prime.  Res64: E1BA4DDF9382ECA8  Time : 0.0 sec.
user=mdettweiler
[2019-04-05 06:57:54]
973*2^1536151-1 is not prime.  Res64: 5616D842B1606E50  Time : 0.0 sec.
user=mdettweiler
[2019-04-05 07:07:31]
997*2^1536149-1 is not prime.  Res64: 1BB4427B23E1AC20  Time : 0.0 sec.
user=mdettweiler
[2019-04-05 08:02:17]
769*2^1536153-1 is not prime.  Res64: 0E90D88A01AD4F2E  Time : 0.0 sec.
user=mdettweiler
[2019-04-05 08:02:20]
781*2^1536153-1 is not prime.  Res64: 4A4CD15283897B0F  Time : 0.0 sec.
user=mdettweiler
[2019-04-05 08:02:30]
789*2^1536153-1 is not prime.  Res64: EFD9D112FE221B44  Time : 0.0 sec.
user=mdettweiler
[2019-04-05 09:32:35]
621*2^1536154-1 is not prime.  Res64: D61889D671555313  Time : 0.0 sec.
user=mdettweiler
[2019-04-05 09:32:36]
681*2^1536154-1 is not prime.  Res64: CAF63B3E28FFFA75  Time : 0.0 sec.
user=mdettweiler
[2019-04-05 09:32:53]
701*2^1536154-1 is not prime.  Res64: B64D2BD90697DE40  Time : 0.0 sec.
user=mdettweiler
[2019-04-05 09:47:22]
707*2^1536148-1 is not prime.  Res64: 3455D764258F4934  Time : 0.0 sec.
user=mdettweiler
[2019-04-05 09:47:22]
773*2^1536148-1 is not prime.  Res64: 73E1ACFEB3028B99  Time : 0.0 sec.
user=mdettweiler
[2019-04-05 09:47:41]
813*2^1536148-1 is not prime.  Res64: EB47DA489177AB0A  Time : 0.0 sec.
user=mdettweiler
[2019-04-05 14:50:37]
979*2^1536151-1 is not prime.  Res64: B8D1A27B12B59A8B  Time : 0.0 sec.
user=mdettweiler
[2019-04-05 18:41:33]
803*2^1536154-1 is not prime.  Res64: 4479F28CCFCA3641  Time : 0.0 sec.
user=mdettweiler
[2019-04-05 18:41:34]
813*2^1536154-1 is not prime.  Res64: 17F878A6A70C0C81  Time : 0.0 sec.
user=mdettweiler
[2019-04-05 19:07:39]
947*2^1536154-1 is not prime.  Res64: D2FDE95AF87B493E  Time : 0.0 sec.
user=mdettweiler
[2019-04-05 19:08:00]
645*2^1536155-1 is not prime.  Res64: 8045DEF2F818EE45  Time : 0.0 sec.
user=mdettweiler
[2019-04-05 19:35:15]
917*2^1536154-1 is not prime.  Res64: 05E86ED29053174E  Time : 0.0 sec.
user=mdettweiler
[2019-04-05 22:20:04]
899*2^1536152-1 is not prime.  Res64: 37BFB90F0D6E5D9A  Time : 0.0 sec.
user=mdettweiler
[2019-04-05 23:09:03]
895*2^1536153-1 is not prime.  Res64: 70DA4B8296DABF30  Time : 0.0 sec.