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