Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.00108342361863488624052004333694474539\ 5449620801733477789815817984832069339111\ 592632719393282773564