Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.85924715792859061553990993947575998071\ 2884350860414926760520689766383481533489\ 2330711388381518843060