Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.46032337225872143039376208638441897476\ 3214903538739224058425034844590262932403\ 2073801984810765985997356958