Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.68722829225254885401536676699761905217\ 1116211923566250850801046036667900114752\ 439069909277936183381