Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.38772212025498533427185200524832923615\ 7715893892994367828664954700935025344965\ 855132217372163026283