Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.75084989587561484091729152243844145765\ 7090834294382352711393544481057268967219\ 685793142719616193956974184