Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
720.128392299770528721049702233362675341\ 6278425220058850340806453850483465556345\ 79325508528694809925919