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 A145481 #13 Jun 09 2025 04:40:40
%S A145481 11,17,23,29,53,59,83,107,137,149,167,233,239,263,269,293,317,347,359,
%T A145481 389,419,449,479,557,563,599,617,647,653,659,809,827,857,863,947,953,
%U A145481 983,1049,1163,1187,1217,1229,1283,1319,1373,1409,1427,1439,1487,1493
%N A145481 Primes p such that 2*p - 17 is prime.
%H A145481 Ivan Neretin, <a href="/A145481/b145481.txt">Table of n, a(n) for n = 1..10000</a>
%F A145481 a(n) = 2*A145475(n) - 17.
%t A145481 aa = {}; k = 17; Do[If[PrimeQ[(k + Prime[n])/2], AppendTo[aa, (k + Prime[n])/2]], {n, 1, 500}];aa
%t A145481 (* Second program: *)
%t A145481 Select[Prime@ Range@ 250, And[PrimeQ@ #, # > 0] &[2 # - 17] &] (* _Michael De Vlieger_, Jan 23 2017 *)
%Y A145481 Cf. A063908-A063913, A092109, A145471-A145480.
%K A145481 nonn
%O A145481 1,1
%A A145481 _Artur Jasinski_, Oct 11 2008