Primeshard
0:00.0

The number 2^127 - 1 (M₁₂₇) was proven prime in 1876 by Lucas. The verification used: