Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.56830000314623517876033041103317515140\ 7526674782540612272956705187792089724594\ 002808257145415528532274