Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.11488404408022878872925127670159909784\ 8713552687283017624848427062566672801616\ 746174023