Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
[1,3,4,8,9,17,19,32,40,57,71,106,129,176]