Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
8.46297249299971224539772505825511366269\ 8707631564428072294141096885973886429487\ 90725008260895071167931531