Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.19038932643020315422598322976426816326\ 0151948448458487064261156747686411044576\ 723868405362852086841322561