Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
2.81358809221559551814850752907468977784\ 2547165332824788107947954010493835272327\ 16838643371871342264