Valid Permutations for DI Sequence

Count the number of permutations of 0..n that satisfy the adjacent inequality pattern given by s (s[i] = 'I' means perm[i] < perm[i+1], 'D' means perm[i] > perm[i+1]) and return the result modulo 10^9+7. The core challenge is to efficiently enumerate/count these permutations (n ≤ 200) using dynamic programming / combinatorial range-sum transitions that exploit runs of consecutive I's or D's.