Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.45997553540509403206515075163047683272\ 7059160459918077799069043491033017519645\ 5822299390986435401942