Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.38943745270482838929149825142918925596\ 3373575847508371415672272937048124471189\ 38843628710632694226