Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
190.925523334458823690395241429109406072\ 4434641087846942650757192020021192817110\ 94576588611299628997106827