Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.99974275699255354889900441997548161033\ 4236587774746312169761709916177205496053\ 267873757