Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
[0,1,4,7,9,15,16,18,21,22,25,28,30,36,37,39]