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 A172513 #8 Apr 18 2019 05:10:27 %S A172513 1,4,7,11,14,17,20,24,27,30,33,37,40,43,46,50,53,56,59,63,66,69,73,76, %T A172513 79,82,86,89,92,95,99,102,105,108,112,115,118,121,125,128,131,134,138, %U A172513 141,144,147,151,154,157,161,164,167,170,174,177,180,183,187,190,193 %N A172513 Complement of A167389. %C A172513 It appears that the sequence of first differences (A172515) consists of only 3's and 4's. - _M. F. Hasler_, Apr 11 2019 %p A172513 sort(convert((convert([seq(n, n = 1 .. 1000)], set) minus convert([seq(round(evalf((argument(exp(-(ln(2)+LambertW(n, -(1/2)*ln(2)))/ln(2)))*ln(2)+Im(LambertW(n, -(1/2)*ln(2))))/(2*Pi*ln(2)))), n = 1 .. 1000)], set)), list)) %o A172513 (PARI) A172513_upto(LIM=200)=setminus([1..LIM],A167389_upto(200)) \\ _M. F. Hasler_, Apr 11 2019 %Y A172513 Cf. A167389, A172515. %K A172513 nonn %O A172513 1,2 %A A172513 _Stephen Crowley_, Feb 05 2010 %E A172513 Keyword "hard" removed by _M. F. Hasler_, Apr 11 2019