Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
241798924208491.816223829142527264067676\ 6755933002007230484874960160208989034020\ 4140458