Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
6.25907521676639521101847731167772728054\ 6459954259469424277698169858453991744229\ 92428412