Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.24149571957930311301996637630645032348\ 0858671253613486454596233567559242756729\ 7440639261769873245979457499741557120766\ 7