Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.20139878027657782419451505575613511680\ 8025250156053606619400551565792626536362\ 13851220815410337450976328