P2270 [HNOI2002] 奶牛的运算

题目描述

最近,Farmer John 农场里的奶牛正在学习数学基础课。这天,奶牛 Besty 学会了加减法运算和括号的使用。 Farmer John 为了考察 Besty 的学习情况,写了如下一个算式: $S =A_1-A_2-\ldots-A_n$ 接着,Farmer John 告诉 Besty,这个算式中省略了 $K$ 个括号。将这 $K$ 个括号加入该算式中,就会得到一种算式方案。 例如:$S=A_1-A_2-A_3-A_4$,$K = 2$,则 $S = (A_1)-A_2 - (A_3- A_4)$ 就是一种算式方案。 而对任意两个算式方案,$S'$ 和 $S''$ 本质不同是指:存在某数列 $A_1,\ldots,A_n$ 满足 $S'\ne S''$。否则就是本质相同。 例如:$S'=(A_1)-A_2-(A_3-A_4)$ 与 $S''=(A_1-A_2)-(A_3-A_4)$ 就是本质相同的算式方案。 现在,Farmer John 告诉奶牛 Besty 算式中项的个数 $N$ 和括号的个数 $K$(数列 $A$ 是变量,我们不需要关心它),他想考考 Besty 究竟有多少本质不同的算式方案。

输入格式

输入文件仅一行,依次为两个整数 $N$ 和 $K$。($1

输出格式

输出文件仅一行,为本质不同的算式方案数。