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 A158848 #22 Jan 24 2023 14:40:17 %S A158848 67,97,109,149,167,173,197,227,233,239,251,271,283,313,331,349,373, %T A158848 409,433,439,499,509,521,557,563,593,641,677,743,761,773,797,827,857, %U A158848 887,911,941,953,971,977,983,1013,1019,1021,1039,1051,1129,1171,1237,1279,1291,1297,1321 %N A158848 Prime numbers p where 2^k-p is prime, with k>6 and minimal. %C A158848 These are the primes removed according to algorithm of A156284 beginning with m=7. %C A158848 Powers 2^m, m>=7, are not expressible as sums of two primes which are not in the sequence. %H A158848 Bill McEachen, <a href="/A158848/b158848.txt">Table of n, a(n) for n = 1..10000</a> %F A158848 a(n) = A086081(n+11). - _Bill McEachen_, Jan 22 2023 %o A158848 (PARI) isok(p) = if (isprime(p), my(k=ceil(log(p)/log(2))); (k >= 7) && isprime(2^k-p)); \\ _Michel Marcus_, Jan 22 2023 %Y A158848 Cf. A152451, A156284, A158756, A158759, A158846, A158847, A086081. %K A158848 nonn %O A158848 1,1 %A A158848 _Vladimir Shevelev_, Mar 28 2009 %E A158848 Missing terms 773, 797, 827, 857 added by _Michel Marcus_, Jan 23 2023 %E A158848 New name from _Bill McEachen_, Jan 22 2023