Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
2.47365525663212948763789369427242803636\ 2097123254579382787777122619864038942215\ 908307132566407123296630769146879049831