Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.33864475424153629955804695887325514254\ 2092537062742480234062094589795315285196\ 4845524529313987