MichaelChirico/oeis not found