%I #1 Dec 11 1999 03:00:00
%S 0,1,0,0,1,1,1,1,2,2,3,3,4,5,6,7,9,10,12,15,17,20,24,28,32,38
%N Essentially same as A025148.
%K dead
%O 1,9