Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
5.86956037734761439408817256819284864079\ 7027600980096722408123597249950522129926\ 91399526