Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.77247705221369636435783670245560720579\ 4658906984283347799054681142923040560466\ 27856071