%I #4 May 11 2007 03:00:00
%S 1,3,8,9,12,15,17,18,19,22,24,28,30,35,36,37,38,40,41,44,48,54,55,56,
%T 57
%N Duplicate of A080761.
%K dead
%O 1,2
