Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
4.16331047094114934620276859381303950704\ 3958062343161808402196623225815716577308\ 49089676801446388675116392