Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.00130378096479791395045632333767926988\ 2659713168187744458930899608865710560625\ 814863102998696219035