12252256domain: NAppears in sequencesNumber of distinct functions from a set with n^n elements to itself that can be defined naturally (in n) by typed lambda-calculus expressions.at n=17A065500