Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.96590608576215921215706237055045204085\ 7268133650974589256296639492737702490075\ 730932711107771688111474850