Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
3.62847320243028839006641919434538461830\ 9508618591607428754939839388554673368410\ 13640886011924489623463478