Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.00144092219020172910662824207492795389\ 0489913544668587896253602305475504322766\ 570605187319884726224