Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.25235323400258876318632812197538043590\ 1280610566189992386144313080802413353267\ 56789096276919276201