Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.03513728337392780227873549045526959635\ 7017674504064531159976673538126551440464\ 8375332