問題文

日本の誇る美しいリズムとして、五七五というものがあります。 いろはちゃんは、数列から五七五を探すことにしました。でもこれは簡単だったので、XYZを探すことにしました。

長さ $N$ の、それぞれの値が $1～10$ の数列 $a_0, a_1, ..., a_{N-1}$ を考えます。このような数列は全部で $10^N$ 通りありますが、そのうちXYZを含むものは何通りでしょう？

ただし、XYZを含むとは以下のように定義されます。

• $a_x + a_{x+1} + ... + a_{y-1} = X$
• $a_y + a_{y+1} + ... + a_{z-1} = Y$
• $a_z + a_{z+1} + ... + a_{w-1} = Z$

を満たす $0 ≦ x < y < z < w ≦ N$ が存在する。

なお、答えは非常に大きくなることがあるので、答えは $10^9+7$ で割ったあまりを出力してください。

制約

• $3 ≦ N ≦ 40$
• $1 ≦ X ≦ 5$
• $1 ≦ Y ≦ 7$
• $1 ≦ Z ≦ 5$

入力

入力は以下の形式で標準入力から与えられる。

$N$ $X$ $Y$ $Z$

出力

XYZを含む数列の個数を $10^9+7$ で割ったあまりを出力せよ。

入力例 1

3 5 7 5

出力例 1

1

$\\{5,7,5\\}$ という数列のみが条件を満たします。

入力例 2

4 5 7 5

出力例 2

34

入力例 3

37 4 2 3

出力例 3

863912418

入力例 4

40 5 7 5

出力例 4

562805100