Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.40010255533694174183195937157158547305\ 3884696634190607304436434452693729051951\ 57033988175652349101