Enumeration of the adjunctive hierarchy of hereditarily finite sets