Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
4.48877070552836054032323002528981367088\ 2279243644925736543683237479907818746645\ 9340376149073544558394992