Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
[3,7,8,13,23,24,31,113,114,115,116]