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 A088463 #14 Jan 01 2020 10:28:32
%S A088463 31,61,181,283,811,1279,1999,2551,3931,4159,5659,6553,8389,9241,9463,
%T A088463 11551,12253,14629,15889,17923,20509,26113,27109,29401,33829,37993,
%U A088463 41179,42571,44623,46681,59671,61333,62143,65449,67759,81019,82009
%N A088463 Upper twin primes of upper twin prime index.
%H A088463 Amiram Eldar, <a href="/A088463/b088463.txt">Table of n, a(n) for n = 1..10000</a>
%F A088463 a(n) = A006512(A006512(n)).
%F A088463 a(n) == 1 (mod 6).
%o A088463 (PARI) a(k) = { for(x1=1,k, y1=twinu(twinu(x1)); print1(y1", ") ) }
%o A088463 twin(n) = { c=0; x=1; while(c<n, if(isprime(prime(x)+2),c++); x++; ); return(prime(x)) }
%Y A088463 Cf. A006512, A088460, A007097.
%K A088463 nonn
%O A088463 1,1
%A A088463 _Cino Hilliard_, Nov 12 2003
%E A088463 Edited by _David W. Wilson_, Oct 29 2006