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