Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
4.94915357473965802512886022066307471330\ 2095037797400137071059797893963702276770\ 4966658