Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.03901272636016716601756694135450046175\ 7475857138613099014938967395403892750185\ 654871812188128284261288