412058662

Appears in sequences

• Total sum of lengths of the longest decreasing sequences in heapable permutations of length n.at n=12A389282