Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
2.92228236532227786454162307610768231539\ 7907552646566859017740011471956172362956\ 88444395656776705892