Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
11328.7083128400954043016704749816217963\ 7410083202733400602647209532151217342320\ 04990757522899189981856429