This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A129222 #10 Feb 16 2025 08:33:05 %S A129222 4,14,194,37634,95799,119121,66179,53645,122218,126220,70490,69559, %T A129222 99585,78221,130559,0 %N A129222 Residues of the Lucas - Lehmer primality test for M(17) = 131071. %C A129222 Since a(15) = 0, M(17) = 131071 is prime. %H A129222 Eric Weisstein's World of Mathematics, <a href="https://mathworld.wolfram.com/Lucas-LehmerTest.html">Lucas Lehmer Test</a>. %H A129222 Wikipedia, <a href="https://en.wikipedia.org/wiki/Lucas-Lehmer_primality_test">Lucas Lehmer Primality Test</a>. %F A129222 a(0) = 4, a(n) = a(n-1)^2 mod 2^p-1. Last term: a(p-2). %e A129222 a(15) = 130559^2 - 2 mod 131071 = 0. %Y A129222 Cf. A095847, A003010, A129219, A129220, A129221, A129223, A129224, A129225, A129226, A001348. %K A129222 fini,full,nonn %O A129222 0,1 %A A129222 _Sergio Pimentel_, Apr 04 2007