Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.86296879214103743413601043301617312549\ 8362225500490768073571155458289786078977\ 8016657305789692312122