Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
%I #43 Feb 18 2023 08:28:15
%S 3,7,13,17,23,27,33,37,43,47,53,57,63,67,73,77,83,87,93
%N Duplicate of A063226.
%K dead
%O 1,1