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 A063912 #24 Dec 24 2024 13:46:12
%S A063912 7,11,17,29,41,47,59,71,89,101,131,137,179,197,227,239,251,257,347,
%T A063912 419,449,461,479,491,521,557,587,599,617,647,659,719,761,797,809,839,
%U A063912 911,929,941,971,1019,1049,1061,1109,1181,1217,1229,1277,1301,1361,1427,1487
%N A063912 Primes p such that 2*p - 11 is also prime.
%H A063912 Harry J. Smith, <a href="/A063912/b063912.txt">Table of n, a(n) for n = 1..1000</a>
%t A063912 Select[Prime[Range[3, 2000]], PrimeQ[2 # - 11]&] (* _Vincenzo Librandi_, Feb 02 2014 *)
%o A063912 (PARI) isok(p) = { isprime(p) && isprime(2*p - 11) } \\ _Harry J. Smith_, Sep 02 2009
%o A063912 (Magma) [n: n in [4..2000] | IsPrime(n) and IsPrime(2*n-11)]; // _Vincenzo Librandi_, Feb 02 2014
%K A063912 nonn,easy
%O A063912 1,1
%A A063912 _N. J. A. Sloane_, Aug 31 2001