Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
2.07219130271180932737968229002700372656\ 8720375935891625287014338121183770390663\ 28136250371301207157