Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.14272812693068128481021845956657111930\ 1101504529470239571712530992905745056815\ 3555840103033740268299