Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.32870969168566393036259767023839643402\ 0997638555898128830031854354721352684405\ 997895553906257679956447