Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.21945452062247213008244705938791303612\ 9463153300384952310825379208443556550510\ 06547903