Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
[10000024493,10000024523,10000024553,10000024583, 10000024613]