Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.00523764440990020811285771400100173281\ 0635543155514894966244085181503948069162\ 49262577