Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.86887665265855499815312780131383778509\ 2580068499866796401265727798225417088050\ 4643749159979366350063883