Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.19245008972987525483638292683398581854\ 9200583756708958672867442161325890767644\ 448564571798528583175