Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
403.428775819283890499181642732140717730\ 0282923007604122449603030762058475904412\ 206759053677082581114