atcoder#ARC133D. [ARC133D] Range XOR

[ARC133D] Range XOR

题目描述

整数 L,R,V L,R,V が与えられます. 次の条件を両方満たす整数の組 (l,r) (l,r) の個数を 998244353 998244353 で割った余りを求めてください.

  • L  l  r  R L\ \leq\ l\ \leq\ r\ \leq\ R
  • l  (l+1)    r=V l\ \oplus\ (l+1)\ \oplus\ \cdots\ \oplus\ r=V

ただしここで, \oplus はビット単位 XOR \mathrm{XOR} 演算を表します.

ビット単位 XOR \mathrm{XOR} 演算とは 非負整数 A, B A,\ B のビット単位 XOR \mathrm{XOR} A  B A\ \oplus\ B は、以下のように定義されます。

  • A  B A\ \oplus\ B を二進表記した際の 2k 2^k (k  0 k\ \geq\ 0 ) の位の数は、A, B A,\ B を二進表記した際の 2k 2^k の位の数のうち一方のみが 1 1 であれば 1 1 、そうでなければ 0 0 である。

例えば、3  5 = 6 3\ \oplus\ 5\ =\ 6 となります (二進表記すると: 011  101 = 110 011\ \oplus\ 101\ =\ 110 )。
一般に k k 個の非負整数 p1, p2, p3, , pk p_1,\ p_2,\ p_3,\ \dots,\ p_k のビット単位 XOR \mathrm{XOR} は $ (\dots\ ((p_1\ \oplus\ p_2)\ \oplus\ p_3)\ \oplus\ \dots\ \oplus\ p_k) $ と定義され、これは p1, p2, p3,  pk p_1,\ p_2,\ p_3,\ \dots\ p_k の順番によらないことが証明できます。

输入格式

入力は以下の形式で標準入力から与えられる.

L L R R V V

输出格式

答えを出力せよ.

题目大意

定义 \oplus异或运算,给定整数 L,R,VL,R,V,求:

$$\displaystyle\sum_{l=L}^{R}\displaystyle\sum_{r=l}^{R}[(\oplus_{i=l}^{r}i)=V] $$

1L,R10181\leqslant L,R\leqslant 10^{18}0V10180\leqslant V\leqslant 10^{18}

1 3 3
2
10 20 0
6
1 1 1
1
12345 56789 34567
16950

提示

制約

  • 1  L  R  1018 1\ \leq\ L\ \leq\ R\ \leq\ 10^{18}
  • 0  V  1018 0\ \leq\ V\ \leq\ 10^{18}
  • 入力される値はすべて整数である

Sample Explanation 1

条件を満たすのは,(l,r)=(1,2) (l,r)=(1,2) (l,r)=(3,3) (l,r)=(3,3) 2 2 つです.