Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.67723270853253799889270101177942176945\ 1289858142562339020059707036664791718074\ 43202805223412670260