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 A164372 #12 Jan 16 2014 17:35:13
%S A164372 5,7,151,229,571,643,1051,1153,1669,1723,1951,2029,2131,2239,2311,
%T A164372 2593,2659,3001,3121,3169,3253,3583,3769,4003,4219,4231,4483,4549,
%U A164372 4723,4789,5641,6451,6553,6661,6763,6949,6961,7129,7351,8011,9043,9463,9631,10009
%N A164372 Greater of twin primes (A006512) which are not Labos primes (A080359).
%C A164372 The terms greater than 7 are in A164294.
%H A164372 V. Shevelev, <a href="http://www.cs.uwaterloo.ca/journals/JIS/VOL15/Shevelev/shevelev19.html">Ramanujan and Labos primes, their generalizations, and classifications of primes</a>, J. Integer Seq. 15 (2012) Article 12.5.4
%o A164372 (PARI) lista(nn)= {my(vlp = readvec("/gp/bfiles/b080359.txt")); forprime (p=3, nn, if (isprime(p-2) && !vecsearch(vlp, p), print1(p, ", ")););} \\ _Michel Marcus_, Jan 15 2014
%Y A164372 Cf. A006512, A080359, A164294, A164371, A104272, A001359.
%K A164372 nonn
%O A164372 1,1
%A A164372 _Vladimir Shevelev_, Aug 14 2009
%E A164372 More terms from _Michel Marcus_, Jan 15 2014