1705985883domain: NAppears in sequencesNumber of permutations in S_n with longest increasing subsequence of length <= 4.at n=13A047889