Primality proof for n = 1013176677300131846900870239606035638738100997248092069256697437031:
<p>Take b = 2.
<p>b^(n-1) mod n = 1.
<p><a href=1489008455352563922568011402972792902916827.html>1489008455352563922568011402972792902916827 is prime.</a>
<br>b^((n-1)/1489008455352563922568011402972792902916827)-1 mod n = 142849972019710074576689311012699457958243166240191106886042533842, which is a unit, inverse 901746840963221812131650432876600973182086392907855680084220353113.
<p>(1489008455352563922568011402972792902916827) divides n-1.
<p>(1489008455352563922568011402972792902916827)^2 > n.
<p>n is prime by Pocklington's theorem.