P7278 纯洁憧憬

少年对他的憧憬，简直连续不断。 少年的思绪，如同许多数字的排列一般凌乱。

对于一个 $n$ 阶排列 $p_1,\dots,p_n$ 和一个区间 $[l,r]$，若 $\max\limits_{l\le i\le r} p_i - \min\limits_{l\le i\le r} p_i = r - l$，则称 $[l,r]$ 为一个**连续段**。 对于一个连续段 $[l,r]$，若其满足 $2 \le r - l + 1 < n$，则称 $[l,r]$ 为一个**非平凡连续段**。 **少年的思绪**可以抽象成一个**至少存在一个**长度大于 $k$ 的非平凡连续段的排列。 少年会给定 $n,k$，并询问你有多少 $n$ 阶排列可能是少年的思绪。答案对 $10^9 + 7$ 取模。

第一行，两个正整数 $n,k$。

一行，一个非负整数表示答案。

对于 $20\%$ 的数据，$n \le 10$； 对于 $100\%$ 的数据，$1 \le k < n \le 400$。 #### 样例解释 对于第二个样例，不满足条件的排列有以下 $4$ 种： 1. $[2,1,4,3]$； 1. $[2,4,1,3]$； 1. $[3,4,1,2]$； 1. $[3,1,4,2]$。 另外 $4!-4=20$ 种方案都满足条件，可能是少年的思绪。