Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.39369642476128374188335304700977660043\ 8513259683303997668415482110725125204936\ 980500036578289659350