Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.42647387280914513299529913563280191212\ 8710377594729333948101893368160912594275\ 833521585575412660635