Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.35689047950944312911964956722318589547\ 8588864544011891024719982270071052563351\ 178608682430922346628097157