Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.47200065143956865077760610761412783650\ 7330543018361881868383718993858037769531\ 308509337970760492921200153