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 A178485 #9 Feb 13 2013 20:24:30 %S A178485 1371,1372,1381,1383,1392,1393,1471,1472,1491,1494,1502,1504,1581, %T A178485 1583,1591,1594,1613,1614,1692,1693,1702,1704,1713,1714,2371,2372, %U A178485 2381,2383,2392,2393,2571,2572,2601,2605,2612,2615,2681,2683,2701,2705,2723,2725 %N A178485 (A178475(n)-6)/9. %C A178485 There are 5!=120 terms in this finite sequence. Its origin is the fact that numbers whose decimal expansion is a permutation of 12345 are all of the form 9k+6. %H A178485 Nathaniel Johnston, <a href="/A178485/b178485.txt">Table of n, a(n) for n = 1..120</a> (full sequence) %F A178485 a(n) + a(5!+1-n) = 7406. %F A178485 a(n) == 1, 2, 3, 4 or 5 (mod 10). %F A178485 a(n+6)-a(n) is an element of { 100, 110, 111, 200, 220, 222, 679 }. %F A178485 a(n+6)-a(n) = 679 iff (n-1)%24 > 17, where % denotes the remainder upon division. %F A178485 a(n+6)-a(n) = 200, 220 or 222 iff (n-1)%30 > 23, i.e. n==25,...,30 (mod 30). %o A178485 (PARI) v=vector(5,i,10^(i-1))~; vecsort(vector(5!,i,numtoperm(5,i)*v)) %o A178485 is_A178475(x)= { vecsort(Vec(Str(x)))==Vec("12345") } %o A178485 forstep( m=12345,54321,9, is_A178475(m) & print1(m",")) %Y A178485 Cf. A030298, A030299, A055089, A060117, A178486, A191819, A191820. %K A178485 fini,full,nonn,base,easy %O A178485 1,1 %A A178485 _M. F. Hasler_, May 28 2010