Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.24266109014022131263026483497473842131\ 7825815050862589057507523651273873902907\ 037954966945372193414