#dwacon6thprelimse. [dwacon6th_prelims_e]Span Covering

[dwacon6th_prelims_e]Span Covering

有一个区间 [0,X)[0, X),你有一个数组 L1,L2,,LnL_1, L_2, \cdots, L_n。对于每个 ii,你可以选择一个整数 jj 满足 0jXLi0 \le j \le X- L_i,并覆盖 [j,j+Li)[j, j + L_i) 这个区间。问有多少种方案,使得整个区间都被覆盖,方案数对 109+710^9 + 7 取模。