Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
158.987420886056265379060477182760603363\ 9768147263298064232606547382618546511379\ 61528472337171776856932528