A030732 - OEIS

%I #10 Apr 09 2020 02:09:26

%S 1,8,10,13,16,23,32,43,56,71,88,107,127,149,173,200,230,265,303,344,

%T 388,434,483,535,593,654,717,784,856,931,1011,1094,1179,1267,1360,

%U 1457,1559,1664,1770,1882,1997,2118,2244,2375,2508,2644,2784,2928,3078,3234

%N Positions of record values in A030727.

%Y Cf. A030727, A030731.

%K nonn

%O 1,2

%A _Clark Kimberling_

%E More terms and simpler title from _Sean A. Irvine_, Apr 08 2020