Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.48645750461686637457544128449375285263\ 6203226084679613531375256452283193211451\ 810337937069242755283