user=y-omori [2023-09-30 10:34:50] 13841792445*2^3322000-1 is prime! Time : 0.0 sec.