%I #9 Jun 10 2017 23:18:05
%S 4,12,17,25,33,38,46,51,59,67,72,80,88,93,101,106,114,122,127,135,140
%N Duplicate of A134860.
%K dead
%O 1,1
