Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.52799971203684063352083669388890466367\ 6375939941625992087278732540379165359810\ 25125750294286087896