Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.12519837967854549977119717062288980985\ 9853392332827219471325908821253063604507\ 22252316910919978162