user=mdettweiler [2025-08-02 02:57:22] 573*2^2845167-1 is not prime. Res64: D606755FAD8F501F Time : 0.0 sec. user=mdettweiler [2025-08-02 03:19:35] 489*2^2845167-1 is not prime. Res64: E74C7457CC1E6C0E Time : 0.0 sec. user=mdettweiler [2025-08-02 03:19:45] 531*2^2845167-1 is not prime. Res64: 3942F711FA528382 Time : 0.0 sec. user=mdettweiler [2025-08-02 03:20:30] 563*2^2845166-1 is not prime. Res64: C1B3892FC8BA3210 Time : 0.0 sec.