Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.00129533678756476683937823834196891191\ 7098445595854922279792746113989637305699\ 481865284974093264248