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 A358615 #7 Nov 26 2022 02:45:00 %S A358615 1,12,122,123,1222,1223,1232,1233,1234,12222,12223,12232,12233,12234, %T A358615 12322,12323,12324,12332,12333,12334,12342,12343,12344,12345,122222, %U A358615 122223,122232,122233,122234,122322,122323,122324,122332,122333,122334,122342,122343,122344 %N A358615 Record high values in A358497. %o A358615 (Python) %o A358615 def A358497(n): %o A358615 d, s, k = dict(), str(n), 1 %o A358615 for i in range(len(s)): %o A358615 if d.get(s[i], 0) == 0: %o A358615 d[s[i]] = str(k) %o A358615 k = (k + 1)%10 %o A358615 s_t = list(s) %o A358615 for i in range(len(s)):s_t[i] = d[s[i]] %o A358615 return int(''.join(s_t)) %o A358615 terms = [1,] %o A358615 for i in range(1, 10**6): %o A358615 if A358497(i)>terms[-1]:terms.append(A358497(i)) %o A358615 print(terms) %Y A358615 Cf. A358497, A071159. %K A358615 nonn,base %O A358615 1,2 %A A358615 _Gleb Ivanov_, Nov 23 2022