Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
4.91718592528713238396969068524650397860\ 9485000999121121597128933717752407905975\ 09176225268001928035738822