Lưu ý: 3 phiên bản của bài này là 3 bài "giống mà khác - khác mà giống". Hãy đọc thật kỹ đề bài nhé!

Búp bê Matryoshka là một loại búp bê nổi tiếng ở Nga. noodles0428 là một người rất thích chơi loại búp bê như thế, nên cô ấy quyết định mua một lô về chơi.

Dòng búp bê này có tính chất rất đặc biệt. Hai búp bê có thể gộp lại với nhau nếu búp bê nằm ngoài lớn hơn ít nhất gấp ~X~ lần so với búp bê nằm trong.

Do cô ấy hay lòng vòng, noodles0428 đang đúng trước gian hàng búp bê và không biết phải mua thế nào để chọn đúng ~K~ con búp bê, mỗi con búp bê có kích thước lớn nhất là ~K~, và không tồn tại cặp búp bê nào có thể gộp lại vào nhau. Hỏi, có bao nhiêu cách mua búp bê thỏa mãn bài toán của cô ấy?

Hai cách mua được gọi là khác nhau, khi tồn tại một số ~i~ ~(1 \le i \le K)~, sao cho số lượng búp bê kích thước ~i~ được mua ở cách này, khác số lượng búp bê kích thước ~i~ được mua ở cách kia.

INPUT

• Dòng duy nhất ghi hai số nguyên dương ~K, X~ (~2 \le K \le 200~, ~1 \le X \le 5~).

OUTPUT

• Dòng duy nhất là đáp số của bài toán khi chia dư cho ~10^9+7~

SAMPLE INPUT

3 2

SAMPLE OUTPUT

5

Có ~5~ cách mua là:

• ~1, 1, 1~
• ~2, 2, 2~
• ~2, 2, 3~
• ~2, 3, 3~
• ~3, 3, 3~