#include namespace { #pragma GCC diagnostic push #pragma GCC diagnostic ignored "-Wunused-function" #include #pragma GCC diagnostic pop using namespace std; using namespace atcoder; #define rep(i,n) for(int i = 0; i < (int)(n); i++) #define rrep(i,n) for(int i = (int)(n) - 1; i >= 0; i--) #define all(x) begin(x), end(x) #define rall(x) rbegin(x), rend(x) template bool chmax(T& a, const T& b) { if (a < b) { a = b; return true; } else return false; } template bool chmin(T& a, const T& b) { if (b < a) { a = b; return true; } else return false; } using ll = long long; using P = pair; using VI = vector; using VVI = vector; using VL = vector; using VVL = vector; using mint = modint1000000007; template struct value_compression : vector { bool built = false; using VS = vector; using VS::vector; value_compression(vector v) : vector(move(v)) {} void build() { sort(VS::begin(), VS::end()); VS::erase(unique(VS::begin(), VS::end()), VS::end()); built = true; } template void convert(T first, T last) { for (; first != last; ++first) *first = (*this)(*first); } int operator()(S x) { assert(built); return lower_bound(VS::begin(), VS::end(), x) - VS::begin(); } void clear() { VS::clear(); built = false; } }; } int main() { ios::sync_with_stdio(false); cin.tie(0); int n, k; cin >> n >> k; VI a(n); rep(i, n) cin >> a[i]; string s; cin >> s; value_compression vc = a; vc.build(); vc.convert(all(a)); int sz = vc.size(); vector> dp(k + 1, fenwick_tree(sz)); for(int x: a) { rrep(i, k) { mint v = s[i] == '<' ? dp[i].sum(0, x) : dp[i].sum(x + 1, sz); dp[i+1].add(x, v); } dp[0].add(x, 1); } mint ans = dp[k].sum(0, sz); cout << ans.val() << '\n'; }