#include <bits/stdc++.h>
#pragma GCC optimize("Ofast")
using namespace std;
const long double eps = 1e-7;
const int inf = 1000000010;
const long long INF = 10000000000000010LL;
const int mod = 1000000007;
const int MAXN = 510, LOG = 20;
int n, m, k, u, v, x, y, t, a, b, ans;
long long tav[MAXN * MAXN];
long long dp[MAXN][MAXN];
long long get(int i, int j, int k) {
  if (!k && !j) return 1;
  if (i == k) return dp[i][j];
  return dp[k][j] * tav[(i - k) * k] % mod;
}
int main() {
  ios_base::sync_with_stdio(false);
  cin.tie(0);
  cout.tie(0);
  tav[0] = 1;
  for (int i = 1; i < MAXN * MAXN; i++) tav[i] = tav[i - 1] * 2 % mod;
  dp[0][0] = 1;
  for (int i = 1; i < MAXN; i++) {
    for (int j = 1; j <= i; j++) {
      for (int kk = 0; kk < i; kk++)
        dp[i][j] = (dp[i][j] + get(i - 1, j - 1, kk) *
                                   (tav[kk] * (tav[i - kk] - 1) % mod)) %
                   mod;
    }
  }
  cin >> n >> k;
  for (int i = 0; i <= n; i++) ans = (ans + get(n, k, i)) % mod;
  cout << ans << '\n';
  return 0;
}

### Prompt

In CPP, your task is to solve the following problem:

Let's assume that set S consists of m distinct intervals [l1, r1], [l2, r2], ..., [lm, rm] (1 ≤ li ≤ ri ≤ n; li, ri are integers).

Let's assume that f(S) is the maximum number of intervals that you can choose from the set S, such that every two of them do not intersect. We assume that two intervals, [l1, r1] and [l2, r2], intersect if there is an integer x, which meets two inequalities: l1 ≤ x ≤ r1 and l2 ≤ x ≤ r2.

Sereja wonders, how many sets S are there, such that f(S) = k? Count this number modulo 1000000007 (109 + 7).

Input

The first line contains integers n, k (1 ≤ n ≤ 500; 0 ≤ k ≤ 500).

Output

In a single line, print the answer to the problem modulo 1000000007 (109 + 7).

Examples

Input

3 1


Output

23


Input

3 2


Output

32


Input

2 0


Output

1


Input

2 2


Output

2

### Response

```cpp
#include <bits/stdc++.h>
#pragma GCC optimize("Ofast")
using namespace std;
const long double eps = 1e-7;
const int inf = 1000000010;
const long long INF = 10000000000000010LL;
const int mod = 1000000007;
const int MAXN = 510, LOG = 20;
int n, m, k, u, v, x, y, t, a, b, ans;
long long tav[MAXN * MAXN];
long long dp[MAXN][MAXN];
long long get(int i, int j, int k) {
  if (!k && !j) return 1;
  if (i == k) return dp[i][j];
  return dp[k][j] * tav[(i - k) * k] % mod;
}
int main() {
  ios_base::sync_with_stdio(false);
  cin.tie(0);
  cout.tie(0);
  tav[0] = 1;
  for (int i = 1; i < MAXN * MAXN; i++) tav[i] = tav[i - 1] * 2 % mod;
  dp[0][0] = 1;
  for (int i = 1; i < MAXN; i++) {
    for (int j = 1; j <= i; j++) {
      for (int kk = 0; kk < i; kk++)
        dp[i][j] = (dp[i][j] + get(i - 1, j - 1, kk) *
                                   (tav[kk] * (tav[i - kk] - 1) % mod)) %
                   mod;
    }
  }
  cin >> n >> k;
  for (int i = 0; i <= n; i++) ans = (ans + get(n, k, i)) % mod;
  cout << ans << '\n';
  return 0;
}

```