Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.62933409400937276755648050258932613764\ 7207646866185355068858023197269285291557\ 4621104200797556194