22640259domain: NAppears in sequencesNumber of closed simply-typed normal forms of size n.at n=10A289681