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