Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.85876971369761442119310432181053308611\ 8565773468714745851736164080292206474862\ 649180593439176590599