Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
6.00949754981888891620478870620327074059\ 6963297439568418836063926751510042002802\ 25268762386236905663593053