Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
4.90687643514285134753510825835585353153\ 2856464899337635202889524870080968491604\ 06011