OEIS A000219