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 A063911 #28 Dec 24 2024 13:46:16
%S A063911 7,11,13,19,23,31,41,53,59,61,73,79,83,101,103,139,151,163,173,179,
%T A063911 181,191,199,229,233,283,293,311,313,331,359,383,389,409,419,431,433,
%U A063911 443,503,509,521,563,569,601,613,619,643,653,691,709,719
%N A063911 Primes p such that 2*p - 9 is also prime.
%H A063911 Harry J. Smith, <a href="/A063911/b063911.txt">Table of n, a(n) for n = 1..1000</a>
%t A063911 Select[Prime[Range[3, 2000]], PrimeQ[2 # - 9]&] (* _Vincenzo Librandi_, Feb 02 2014 *)
%o A063911 (PARI) isok(p) = { isprime(p) && isprime(2*p - 9) } \\ _Harry J. Smith_, Sep 02 2009
%o A063911 (Magma) [n: n in [4..2000] | IsPrime(n) and IsPrime(2*n-9)]; // _Vincenzo Librandi_, Feb 02 2014
%K A063911 nonn,easy
%O A063911 1,1
%A A063911 _N. J. A. Sloane_, Aug 31 2001