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 A345358 #13 Jun 21 2021 03:05:03 %S A345358 0,1,2,3,10,11,12,13,20,21,22,30,100,101,102,103,110,111,112,113,120, %T A345358 121,122,130,200,201,202,210,211,212,220,221,300,1000,1001,1002,1003, %U A345358 1010,1011,1012,1013,1020,1021,1022,1030,1100,1101,1102,1103,1110,1111 %N A345358 Lexicographically earliest sequence of distinct nonnegative integers such that the product of two terms, not necessarily distinct, can be computed without carry in base 10. %C A345358 All terms belong to A007090. %C A345358 If m is a term, then 10*m is also a term (in particular, all powers of 10 appear in the sequence). %H A345358 Rémy Sigrist, <a href="/A345358/b345358.txt">Table of n, a(n) for n = 1..10000</a> %H A345358 Rémy Sigrist, <a href="/A345358/a345358.gp.txt">PARI program for A345358</a> %F A345358 A007953(a(m) * a(n)) = A007953(a(m)) * A007953(a(n)). %o A345358 (PARI) See Links section. %Y A345358 Cf. A007090, A007953, A131577 (binary analog), A306465, A345359 (ternary analog). %K A345358 nonn,base %O A345358 1,3 %A A345358 _Rémy Sigrist_, Jun 16 2021