Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
9.99763972654747346698823060271215067912\ 6422732438551967554449864933764839524473