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