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