cp's OEIS Frontend

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.

A245394 Record values in A125717.

This page as a plain text file.
%I A245394 #6 Jul 22 2014 08:29:55
%S A245394 0,1,3,6,7,13,20,22,23,24,25,26,27,47,49,72,73,75,77,79,81,115,117,
%T A245394 119,121,123,125,127,129,131,133,134,189,245,253,298,341,448,454,460,
%U A245394 525,540,546,552,558,561,734,759,769,883,892,893,903,909,915,921,927
%N A245394 Record values in A125717.
%C A245394  a(n) = A125717(A245395(n)) and A125717(m) < a(n) for m < A245395(n).
%H A245394 Reinhard Zumkeller, <a href="/A245394/b245394.txt">Table of n, a(n) for n = 1..2562</a>, all records < 10^8
%o A245394 (Haskell)
%o A245394 a245394 n = a245394_list !! (n-1)
%o A245394 (a245394_list, a245395_list) =  unzip $ f [0..] a125717_list (-1) where
%o A245394    f (x:xs) (y:ys) r = if y > r then (y,x) : f xs ys y else f xs ys r
%Y A245394 Cf. A125717, A245395, A245340, A064227.
%K A245394 nonn
%O A245394 1,3
%A A245394 _Reinhard Zumkeller_, Jul 21 2014