Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.94629038350274505120973956581485867042\ 4212692673312834456552612130257917403203\ 8080602