Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
8.81410463220256552792518832258541267850\ 8364979687274848883093603546555778996644\ 2839053