Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.80308535473939142809960724226717498614\ 7479438510748322688407333012757308679469\ 635279683810