Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.86525597943226508721777478964608961742\ 8744623908515539454330288948045044570677\ 058631924662516184517286582