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 A087722 #10 Dec 05 2022 08:35:20
%S A087722 9,14,17,19,21,24,26,28,30,31,33,35,37,39,40,41,43,44,46,48,50,52,53,
%T A087722 55,57,58,61,62,63,64,65,68,69,71,72,73,75,76,77,78,79,82,83,84,86,87,
%U A087722 88,90,92,93,94,100,104,105,106,107,108,109,110,112,113,114,116,118,119
%N A087722 Strictly decreasing domain set of A005185.
%t A087722 digits=750;
%t A087722 Hofstadter[n_Integer?Positive] := Hofstadter[n] = Hofstadter[n - Hofstadter[n-1]] + Hofstadter[n - Hofstadter[n-2]];
%t A087722 Hofstadter[1] = Hofstadter[2] = 1;
%t A087722 a1=Table[Hofstadter[n], {n, 1, digits}];
%t A087722 f[x_, y_] := Abs[x-y]/; x-y<0;
%t A087722 f[x_, y_] := 0/; x-y>=0;
%t A087722 b=Table[If[f[a1[[n]], a1[[n-1]]]>0, a1[[n]], 0], {n, 2, digits}];
%t A087722 c=Delete[Union[b], 1]
%Y A087722 Cf. A005185.
%K A087722 nonn
%O A087722 1,1
%A A087722 _Roger L. Bagula_, Sep 29 2003