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 A257130 #8 Apr 16 2015 12:48:58 %S A257130 1,2,5,11,23,27,55,111,121,245,247,495,503,1007,2015,2037,4077,8157, %T A257130 8175,8179,16363,16367,32735,65471,65517,65519,131039,131055,262111 %N A257130 Where the difference A055938(n) - A005187(n) obtains record values; positions of records in A257126. %C A257130 The corresponding record values of A257126 are 1, 2, 4, 5, 6, 8, 9, 10, 11, 12, 13, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 32, 33, ..., (possibly A062289). %o A257130 (Scheme, with _Antti Karttunen_'s IntSeq-library) %o A257130 (define A257130 (RECORD-POS 1 1 A257126)) %Y A257130 Cf. A005187, A055938, A062289, A257126. %K A257130 nonn %O A257130 1,2 %A A257130 _Antti Karttunen_, Apr 16 2015