Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.00108813928182807399347116430903155603\ 9173014145810663764961915125136017410228\ 509249183895538628944