Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
74.8659823886117515083042291182192967764\ 4682992389512346707082372013681176258969\ 1670612