Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.87880220485544064825424502456506652241\ 5895159186318064931373415288805383007872\ 387634770407376073096821447