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 A063913 #24 Dec 24 2024 13:45:41
%S A063913 13,37,43,61,97,103,127,163,181,193,211,223,277,307,313,337,373,421,
%T A063913 433,523,541,571,607,613,631,733,751,811,853,877,883,907,937,1021,
%U A063913 1033,1051,1063,1087,1117,1153,1201,1303,1381,1423,1483,1531,1567,1597,1621,1657
%N A063913 Primes p such that 2*p - 13 is also prime.
%H A063913 Harry J. Smith, <a href="/A063913/b063913.txt">Table of n, a(n) for n = 1..1000</a>
%t A063913 Select[Prime[Range[5, 2000]], PrimeQ[2 # - 13]&] (* _Vincenzo Librandi_, Feb 02 2014 *)
%o A063913 (PARI) isok(p) = { isprime(p) && isprime(2*p - 13) } \\ _Harry J. Smith_, Sep 02 2009
%o A063913 (Magma) [n: n in [6..2000] | IsPrime(n) and IsPrime(2*n-13)]; // _Vincenzo Librandi_, Feb 02 2014
%K A063913 nonn,easy
%O A063913 1,1
%A A063913 _N. J. A. Sloane_, Aug 31 2001