oeis.org/A000045