Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.00000000052025241847064504804898994675\ 0760146787484451229265225970031370025400\ 55804696077753467766125048