Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.50130475545480646339369035756819813055\ 2345101082150578086026435123498687452944\ 845023678738187636136