66554180domain: NAppears in sequencesSum over all permutations of [n] of the product of the lengths of longest increasing subsequence and longest decreasing subsequence.at n=9A321275