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 A140117 #4 Apr 07 2020 22:09:38 %S A140117 2,4,8,15,16,31,32,33,34,63,64,65,66,68,72,125,126,127,128,129,130, %T A140117 131,132,136,144,160,192,247,251,253,254,255,256,257,258,259,260,264, %U A140117 272,288,320,384,503,507,509,510,511,512,513,514,515,516,517,518,520,521 %N A140117 Numbers n for which A140116(n) uses fewer symbols than A007088(n). %C A140117 The representation of n given by A140116(n) is more compact than the standard binary form of n for these numbers consisting of a sufficiently large proportion of 0's or of 1's among their bits. %e A140117 See also examples for A140116. 2180 is a term here as 2180 = 100010000100 (base 2), which uses 12 symbols, but A140116(2180) = 10112111210, which uses only 11 symbols including the two delimiter symbols (for which 2 is used). %Y A140117 Cf. A140116, A007088. %K A140117 nonn %O A140117 1,1 %A A140117 _Rick L. Shepherd_, May 08 2008