Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
6.05181332952152660210473084481293383741\ 4688353227863709929950002772986573532164\ 07628200