Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.24820293053671055109297921738980732173\ 3494751325823955593475182395789097279589\ 2356441736121199975840