Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
4.13608129477801994342586522576091258421\ 0148454041301495923945802736044999069641\ 8054274