Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.00132275132275132275132275132275132275\ 1322751322751322751322751322751322751322\ 751322751322751322751