Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
4.27046497832138370507544494905780661073\ 1079984348369226375507121381417998983576\ 1422777