%I #5 May 11 2007 03:00:00
%S 12,37,52,57,60,61,63,64,67,72,87,112,137,162,177,182,185,186
%N Duplicate of A023731.
%K dead
%O 1,1
