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 A063910 #30 Dec 24 2024 13:45:45
%S A063910 5,7,13,19,37,43,67,73,79,103,109,139,157,193,223,277,307,313,349,367,
%T A063910 373,379,397,409,433,457,463,487,499,523,547,619,643,727,733,739,769,
%U A063910 787,853,877,883,919,937,997,1009,1069,1093,1123,1129,1237
%N A063910 Primes p such that 2*p - 7 is also prime.
%C A063910 All terms > 5 are == 1 (mod 6). - _Zak Seidov_, Jan 07 2014
%H A063910 Harry J. Smith, <a href="/A063910/b063910.txt">Table of n, a(n) for n = 1..1000</a>
%F A063910 A089192 INTERSECT A000040. - _R. J. Mathar_, Mar 23 2017
%t A063910 Select[Prime[Range[2, 2000]], PrimeQ[2 # - 7]&] (* _Vincenzo Librandi_, Feb 02 2014 *)
%o A063910 (PARI) isok(p) = { isprime(p) && isprime(2*p - 7) } \\ _Harry J. Smith_, Sep 02 2009
%o A063910 (Magma) [n: n in [3..2000] | IsPrime(n) and IsPrime(2*n-7)]; // _Vincenzo Librandi_, Feb 02 2014
%K A063910 easy,nonn
%O A063910 1,1
%A A063910 _N. J. A. Sloane_, Aug 31 2001