64678909530domain: NAppears in sequencesTotal sum of lengths of the longest decreasing sequences in heapable permutations of length n.at n=14A389282