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 A280300 #14 Dec 31 2016 06:49:55 %S A280300 3,9511,13691 %N A280300 Primes such that the Wilson quotient and the Fermat quotient satisfy 2*((p-1)!+1)/p +(2^(p-1)-1)/p == 0 (mod p). %C A280300 No new term less than 2000000. This sequence is included in A274994 because it can be shown that Sum_{k=1..(p-1)/2} (k^(p-2))*(k^(p-1)-1) == p*((2^(p-1)-1)/p)*(2*((p-1)!+1)/p +(2^(p-1)-1)/p) (mod p^2). %Y A280300 Cf. A274994, A001220, A007619. %K A280300 nonn,bref,more %O A280300 1,1 %A A280300 _René Gy_, Dec 31 2016