Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
[1,3,4,9,8,22,16,42,41,74,57,183,102,233]