Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.87249717935391281355800771433253186691\ 9583939777333737654124226213112783590398\ 14297922178441659915