B_M有一个长度为n的下标从1开始的数组a,初始时所有数均为1。
现在有两种操作:
1 \; l \; r:把l-r区间内每个数加一
2 \; l \; r \; k:询问k \le \sum_{i=l}^r fib(ai)是否成立
fib(i)为斐波那契数列的第i项,fib(0)=0,fib(1)=1,fib(i)=fib(i-1)+fib(i-2)
但是B_M不会做这道题,所以他把问题扔给你了
第一行两个整数n,m(1 \le n\le 10^5,1 \le m \le 10^5) 表示数组长度和操作次数
下面m行操作
为 1 \; l \; r和2 \; l \; r \; k中的一种(1 \le l \le r \le n,1 \le k \le 10^{10})
对于每个2操作,输出"YES"或者"NO"