Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.94494832910354696494592764037834555168\ 6972565990081123464891216067565878096792\ 329031282842898978996