Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.80307787097405842818432124466903482318\ 9891099640966136629843507214798356050904\ 6420108208763858266506732