Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.00120336943441636582430806257521058965\ 1022864019253910950661853188929001203369\ 434416365824308062575