Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.81967886094389842713407901743941297813\ 6819015509302855284016614473776531418810\ 764474123006702968891