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