Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.05094467258078564273401441728631221497\ 7012291439449434625719147542468739384058\ 552508846962448011