user=mdettweiler
[2024-07-23 06:36:15]
309*2^4904959-1 is not prime.  Res64: C3E93DB39E9D8CC1  Time : 0.0 sec.