user=mdettweiler
[2020-08-09 00:33:09]
735*2^1564067-1 is not prime.  Res64: BA5110B5B9B47622  Time : 0.0 sec.
user=mdettweiler
[2020-08-09 00:33:10]
949*2^1564067-1 is not prime.  Res64: 4C30965730A15B94  Time : 0.0 sec.
user=mdettweiler
[2020-08-09 00:33:10]
627*2^1564068-1 is not prime.  Res64: 6AED56A7EF1B5140  Time : 0.0 sec.
user=mdettweiler
[2020-08-09 00:33:10]
753*2^1564068-1 is not prime.  Res64: CB554FDCD04B210A  Time : 0.0 sec.
user=mdettweiler
[2020-08-09 01:29:15]
895*2^1564069-1 is not prime.  Res64: 8197E275A3623971  Time : 0.0 sec.
user=mdettweiler
[2020-08-09 01:29:17]
897*2^1564069-1 is not prime.  Res64: 8CE12B31D7099946  Time : 0.0 sec.
user=mdettweiler
[2020-08-09 01:29:18]
957*2^1564069-1 is not prime.  Res64: BC778C1578EEEF88  Time : 0.0 sec.
user=mdettweiler
[2020-08-09 01:29:19]
645*2^1564070-1 is not prime.  Res64: 224464DD035A1F02  Time : 0.0 sec.
user=mdettweiler
[2020-08-09 01:29:20]
671*2^1564070-1 is not prime.  Res64: 074DF6C44D777849  Time : 0.0 sec.
user=mdettweiler
[2020-08-09 02:25:39]
731*2^1564070-1 is not prime.  Res64: 364C87C9F7327903  Time : 0.0 sec.
user=mdettweiler
[2020-08-09 02:25:42]
741*2^1564070-1 is not prime.  Res64: F97FB520A084D35A  Time : 0.0 sec.
user=mdettweiler
[2020-08-09 02:26:04]
923*2^1564070-1 is not prime.  Res64: BC1EBD5E0430591C  Time : 0.0 sec.
user=mdettweiler
[2020-08-09 03:35:09]
877*2^1564069-1 is not prime.  Res64: 5CF0E7B6A230B769  Time : 0.0 sec.
user=mdettweiler
[2020-08-09 04:27:55]
619*2^1564071-1 is not prime.  Res64: 9A2336A17546EDDE  Time : 0.0 sec.
user=mdettweiler
[2020-08-09 06:43:32]
649*2^1564071-1 is not prime.  Res64: AB87BAEE05312E21  Time : 0.0 sec.
user=mdettweiler
[2020-08-09 06:43:32]
945*2^1564070-1 is not prime.  Res64: D9E55BFAB9355B3F  Time : 0.0 sec.
user=mdettweiler
[2020-08-09 06:43:32]
705*2^1564071-1 is not prime.  Res64: 3C5EEA6348008BF3  Time : 0.0 sec.
user=mdettweiler
[2020-08-09 06:43:32]
971*2^1564070-1 is not prime.  Res64: 558CE628CC75E8B1  Time : 0.0 sec.
user=mdettweiler
[2020-08-09 06:43:33]
745*2^1564071-1 is not prime.  Res64: 2BCF166C3F0EA40A  Time : 0.0 sec.
user=mdettweiler
[2020-08-09 06:43:33]
751*2^1564071-1 is not prime.  Res64: 13072ACD930963F2  Time : 0.0 sec.
user=mdettweiler
[2020-08-09 09:37:11]
763*2^1564071-1 is not prime.  Res64: 763B8CFCF567DF53  Time : 0.0 sec.
user=mdettweiler
[2020-08-09 11:55:51]
623*2^1564072-1 is not prime.  Res64: A0B2F131675E5356  Time : 0.0 sec.
user=mdettweiler
[2020-08-09 14:35:11]
861*2^1564071-1 is not prime.  Res64: 56066EE47B73A1DC  Time : 0.0 sec.
user=mdettweiler
[2020-08-09 14:35:11]
865*2^1564071-1 is not prime.  Res64: B840968EAC44A8C3  Time : 0.0 sec.
user=mdettweiler
[2020-08-09 14:35:12]
931*2^1564071-1 is not prime.  Res64: 2205066099386BE8  Time : 0.0 sec.
user=mdettweiler
[2020-08-09 14:35:12]
979*2^1564071-1 is not prime.  Res64: 6742917DC9063555  Time : 0.0 sec.
user=mdettweiler
[2020-08-09 15:33:52]
803*2^1564072-1 is not prime.  Res64: 8A9651EE75708A24  Time : 0.0 sec.
user=mdettweiler
[2020-08-09 17:19:46]
629*2^1564072-1 is not prime.  Res64: 1AC35F5F74634518  Time : 0.0 sec.
user=mdettweiler
[2020-08-09 20:29:24]
813*2^1564072-1 is not prime.  Res64: 25462798AA6515EA  Time : 0.0 sec.
user=mdettweiler
[2020-08-09 22:48:58]
639*2^1564072-1 is not prime.  Res64: 0898FD5654834C7A  Time : 0.0 sec.
user=mdettweiler
[2020-08-09 22:48:58]
665*2^1564072-1 is not prime.  Res64: DB15F8FF548F7DFE  Time : 0.0 sec.
user=mdettweiler
[2020-08-09 22:48:59]
797*2^1564072-1 is not prime.  Res64: A79519B078B9F62E  Time : 0.0 sec.
user=mdettweiler
[2020-08-09 23:42:32]
637*2^1564073-1 is not prime.  Res64: 08E0421B3461368A  Time : 0.0 sec.
user=mdettweiler
[2020-08-09 23:42:32]
649*2^1564073-1 is not prime.  Res64: E587DDD15353DFAF  Time : 0.0 sec.
user=mdettweiler
[2020-08-09 23:42:33]
697*2^1564073-1 is not prime.  Res64: 7099466C0CC1DDFB  Time : 0.0 sec.
user=mdettweiler
[2020-08-09 23:42:33]
727*2^1564073-1 is not prime.  Res64: FEEE06ADBA9E216D  Time : 0.0 sec.
user=mdettweiler
[2020-08-09 23:42:34]
957*2^1564073-1 is not prime.  Res64: 8BB3AF0C9A6CC82E  Time : 0.0 sec.