Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.80548002238691804587355662747578641043\ 9131446420442688602966834065192038230933\ 59374924576322385362505547765797