Problem: Yaroslav calls an array of r integers a1, a2, ..., ar good, if it meets the following conditions: |a1 - a2| = 1, |a2 - a3| = 1, ..., |ar - 1 - ar| = 1, |ar - a1| = 1, at that <image>. 

An array of integers b1, b2, ..., br is called great, if it meets the following conditions:

  1. The elements in it do not decrease (bi ≤ bi + 1). 
  2. If the inequalities 1 ≤ r ≤ n and 1 ≤ bi ≤ m hold. 
  3. If we can rearrange its elements and get at least one and at most k distinct good arrays. 



Yaroslav has three integers n, m, k. He needs to count the number of distinct great arrays. Help Yaroslav! As the answer may be rather large, print the remainder after dividing it by 1000000007 (109 + 7).

Two arrays are considered distinct if there is a position in which they have distinct numbers.

Input

The single line contains three integers n, m, k (1 ≤ n, m, k ≤ 100).

Output

In a single line print the remainder after dividing the answer to the problem by number 1000000007 (109 + 7).

Examples

Input

1 1 1


Output

0


Input

3 3 3


Output

2

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
template <typename T, typename U>
inline void smin(T &a, U b) {
  if (a > b) a = b;
}
template <typename T, typename U>
inline void smax(T &a, U b) {
  if (a < b) a = b;
}
template <class T>
inline void gn(T &first) {
  char c, sg = 0;
  while (c = getchar(), (c > '9' || c < '0') && c != '-')
    ;
  for ((c == '-' ? sg = 1, c = getchar() : 0), first = 0; c >= '0' && c <= '9';
       c = getchar())
    first = (first << 1) + (first << 3) + c - '0';
  if (sg) first = -first;
}
template <class T>
inline void print(T first) {
  if (first < 0) {
    putchar('-');
    return print(-first);
  }
  if (first < 10) {
    putchar('0' + first);
    return;
  }
  print(first / 10);
  putchar(first % 10 + '0');
}
template <class T, class T1>
inline void gn(T &first, T1 &second) {
  gn(first);
  gn(second);
}
template <class T, class T1, class T2>
inline void gn(T &first, T1 &second, T2 &z) {
  gn(first);
  gn(second);
  gn(z);
}
int power(int a, int b, int m, int ans = 1) {
  for (; b; b >>= 1, a = 1LL * a * a % m)
    if (b & 1) ans = 1LL * ans * a % m;
  return ans;
}
int dp[55][55][55][110];
int c[110][110];
int main() {
  int n, m, kk;
  scanf("%d%d%d", &n, &m, &kk);
  for (int i = 0; i < 110; i++) {
    for (int j = 0; j < 110; j++) {
      if (i < j) {
        c[i][j] = 0;
        continue;
      }
      if (i == j || j == 0) {
        c[i][j] = 1;
        continue;
      }
      c[i][j] = (c[i - 1][j - 1] + c[i - 1][j]) % 1000000007;
    }
  }
  int ans = 0;
  for (int i = 1; i <= n / 2; i++) dp[2][i][i][1] = 1;
  for (int i = 2; i <= (n / 2 + 1) && i <= m; i++) {
    for (int j = 1; j <= n / 2; j++) {
      for (int k = 1; k <= n / 2; k++) {
        for (int w = 1; w <= kk; w++) {
          if (dp[i][j][k][w] == 0) continue;
          ans += (long long)(m - i + 1) * dp[i][j][k][w] % 1000000007;
          ans %= 1000000007;
          for (int r = 1; r <= n / 2 - j; r++) {
            if ((long long)w * c[k + r - 1][r] > kk) break;
            dp[i + 1][j + r][r][w * c[k + r - 1][r]] =
                (dp[i + 1][j + r][r][w * c[k + r - 1][r]] + dp[i][j][k][w]) %
                1000000007;
          }
        }
      }
    }
  }
  printf("%d\n", ans);
  return 0;
}