Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
2.02007531276530130155897795045738108194\ 8869479300606769430414507518393772082730\ 51480178137489