Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
3.18176012927017138762046804951303196421\ 7212463493514212459949231495768661840703\ 16598376