Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
5.86636292439177761943031991357652430594\ 2302700139497054473559130687661357389219\ 36311356