#abc274h. [abc274_h]XOR Sum of Arrays

[abc274_h]XOR Sum of Arrays

Problem Statement

For sequences B=(B1,B2,dots,BM)B=(B_1,B_2,\\dots,B_M) and C=(C1,C2,dots,CM)C=(C_1,C_2,\\dots,C_M), each of length MM, consisting of non-negative integers, let the XOR sum S(B,C)S(B,C) of BB and CC be defined as the sequence $(B_1\\oplus C_1, B_2\\oplus C_2, ..., B_{M}\\oplus C_{M})$ of length MM consisting of non-negative integers. Here, oplus\\oplus represents bitwise XOR.
For instance, if B=(1,2,3)B = (1, 2, 3) and C=(3,5,7)C = (3, 5, 7), we have $S(B, C) = (1\\oplus 3, 2\\oplus 5, 3\\oplus 7) = (2, 7, 4)$.

You are given a sequence A=(A1,A2,dots,AN)A = (A_1, A_2, \\dots, A_N) of non-negative integers. Let A(i,j)A(i, j) denote the contiguous subsequence composed of the ii-th through jj-th elements of AA.
You will be given QQ queries explained below and asked to process all of them.

Each query gives you integers aa, bb, cc, dd, ee, and ff, each between 11 and NN, inclusive. These integers satisfy aleqba \\leq b, cleqdc \\leq d, eleqfe \\leq f, and ba=dcb-a=d-c. If S(A(a,b),A(c,d))S(A(a, b), A(c, d)) is strictly lexicographically smaller than A(e,f)A(e, f), print Yes; otherwise, print No.

What is bitwise XOR? The exclusive logical sum aoplusba \\oplus b of two integers aa and bb is defined as follows.

  • The 2k2^k's place (kgeq0k \\geq 0) in the binary notation of aoplusba \\oplus b is 11 if exactly one of the 2k2^k's places in the binary notation of aa and bb is 11; otherwise, it is 00.

For example, 3oplus5=63 \\oplus 5 = 6 (In binary notation: 011oplus101=110011 \\oplus 101 = 110). What is lexicographical order on sequences?

A sequence A=(A1,ldots,AA)A = (A_1, \\ldots, A_{|A|}) is said to be strictly lexicographically smaller than a sequence B=(B1,ldots,BB)B = (B_1, \\ldots, B_{|B|}) if and only if 1. or 2. below is satisfied.

  1. A<B|A|<|B| and (A1,ldots,AA)=(B1,ldots,BA)(A_{1},\\ldots,A_{|A|}) = (B_1,\\ldots,B_{|A|}).
  2. There is an integer 1leqileqminA,B1\\leq i\\leq \\min\\{|A|,|B|\\} that satisfies both of the following.
    • (A1,ldots,Ai1)=(B1,ldots,Bi1)(A_{1},\\ldots,A_{i-1}) = (B_1,\\ldots,B_{i-1}).
    • Ai<BiA_i < B_i.

Constraints

  • 1leqNleq5times1051 \\leq N \\leq 5 \\times 10^5
  • 0leqAileq10180 \\leq A_i \\leq 10^{18}
  • 1leqQleq5times1041 \\leq Q \\leq 5 \\times 10^4
  • 1leqaleqbleqN1 \\leq a \\leq b \\leq N
  • 1leqcleqdleqN1 \\leq c \\leq d \\leq N
  • 1leqeleqfleqN1 \\leq e \\leq f \\leq N
  • ba=dcb - a = d - c
  • All values in the input are integers.

Input

The input is given from Standard Input in the following format, where textqueryi\\text{query}_i represents the ii-th query:

NN QQ A1A_1 A2A_2 dots\\dots ANA_N textquery1\\text{query}_1 textquery2\\text{query}_2 vdots\\vdots textqueryQ\\text{query}_Q

The queries are in the following format:

aa bb cc dd ee ff

Output

Print QQ lines. The ii-th line should contain the answer to the ii-th query.


Sample Input 1

4 5
1 2 3 1
1 3 2 4 1 4
1 2 2 3 3 4
1 1 2 2 3 4
1 2 2 3 3 3
1 4 1 4 1 1

Sample Output 1

No
No
Yes
No
Yes

For the first query, we have A(1,3)=(1,2,3)A(1, 3) = (1, 2, 3) and A(2,4)=(2,3,1)A(2, 4) = (2, 3, 1), so $S(A(1,3),A(2,4)) = (1 \\oplus 2, 2 \\oplus 3, 3 \\oplus 1) = (3, 1, 2)$. This is lexicographcially larger than A(1,4)=(1,2,3,1)A(1, 4) = (1, 2, 3, 1), so the answer is No.
For the second query, we have S(A(1,2),A(2,3))=(3,1)S(A(1,2),A(2,3)) = (3, 1) and A(3,4)=(3,1)A(3,4) = (3, 1), which are equal, so the answer is No.


Sample Input 2

10 10
725560240 9175925348 9627229768 7408031479 623321125 4845892509 8712345300 1026746010 4844359340 2169008582
5 6 5 6 2 6
5 6 1 2 1 1
3 8 3 8 1 6
5 10 1 6 1 7
3 4 1 2 5 5
7 10 4 7 2 3
3 6 1 4 7 9
4 5 3 4 8 9
2 6 1 5 5 8
4 8 1 5 1 9

Sample Output 2

Yes
Yes
Yes
Yes
No
No
No
No
No
No