Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.08496391364363712966707752387545484761\ 1686369477650775238069264432332883787604\ 31956359359039925363