Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
4.61043629205844656967469609794067493249\ 8375599011826854903455106606692545430071\ 82051265996557684577