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