Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.23637233290948219437915543229153586937\ 0195399452170397823214576323832750465525\ 877788815841610884037