Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
5040.03987911504516434562143833539315930\ 5375961677482002002138539161341199057514\ 06215895424530322335705386