首先，对于本质相同的构造，我们只计算字典序最小的序列
假设序列中最大的元素为top
我们很容易发现这样的序列一定是1,2,..,1,2,3,2,3,...,2,3,4,3,4.........,top-1,top（原谅我的语言表达……）
我们很容易发现这样的序列从第二个数开始一定是2,若干个(1,2),3,若干个(2,3),....,top,若干个(top-1,top)
我们很容易发现，这样的序列中有且仅有top-2个元素在一个连续的长度大于2的上升序列中，且不在两个端点上（也就是满足a[i]=a[i-1]+1且a[i+1]=a[i]+1）
并且不可能存在连续的长度大于2的下降序列（也就是没有位置满足a[i]=a[i-1]-1且a[i]=a[i+1]-1）
（这两句话说的窝好累TAT）（看不懂的就看划掉的2句话吧TAT）
那么我们就可以组合学乱搞了
详见代码（那个fm是(m-2)!，是常数优化用的，无视它就好，c(n,m)就是求组合数的）
#include <iostream>
#include <cstdio>
#include <cstring>
#include <cmath>
#include <cstdlib>
#include <algorithm>
#define ll long long
#define N 2000006
#define P 1000000007
using namespace std;
int pow2(int x,int y){
int ret=1;
while (y){
if (y&1) ret=(ll)ret*x%P;
x=(ll)x*x%P;
y=y>>1;
}
return ret;
}
int fact[N],fm;
int c(int n,int m){
if (n<m) return 0;
return (ll)fact[n]*fm%P*pow2(fact[n-m],P-2)%P;
}
int n,m;
int main(){
scanf("%d%d",&n,&m);
if (m<2||n<2){printf("%d
",max(m,0));return 0;}
for (int i=fact[0]=1;i<=n/2+m/2+3;++i) fact[i]=(ll)fact[i-1]*i%P;
int ans=2,now[2]={1,0};
fm=pow2(fact[m-2],P-2);
for (int i=3;i<=n;++i){
(now[i&1]+=now[1^i&1])%=P;
if ((i-m-1)%2==0) (now[1^m&1]-=c((i-m-1)/2+m-2,m-2)-P)%=P;
(ans+=(now[0]+now[1])%P)%=P;
}
printf("%d
",ans);
return 0;
}