Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.85988117523202644957804605263642834221\ 5559091053697132923597394951636574459171\ 540911795328585354739