Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
2.13387793991506111980724467740185291922\ 8962385379646861777234592719061175577499\ 038157523993374732943356