Primality proof for n = 401601867518226318515439169:

Take b = 2.

b^(n-1) mod n = 1.

1752279189407036011 is prime.
b^((n-1)/1752279189407036011)-1 mod n = 238596949457539000564250721, which is a unit, inverse 270325292460589389714417245.

(1752279189407036011) divides n-1.

(1752279189407036011)^2 > n.

n is prime by Pocklington's theorem.