Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
483597848416983.632447658285054528135353\ 3511866004014460969749920320417978068040\ 828091746055540930245