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