A one-line check that 2^{67}-1 is composite

Mersenne's list said 2^{67}-1 was prime. Cole factored it in 1903 and reportedly presented the result without speaking a word.

n = 2**67 - 1
a, b = 193707721, 761838257287
(a * b == n, a * b)

(True, 147573952589676412927)

The output below is what the server actually printed.