D-异或疑惑_牛客练习赛150

时间限制：C/C++/Rust/Pascal 1秒，其他语言2秒
空间限制：C/C++/Rust/Pascal 256 M，其他语言512 M
64bit IO Format: %lld

题目描述

$\hspace{15pt}$ 给你 $n$ 个非负整数 $a_1, a_2, a_3 \cdots a_n$ 和一个非负整数 $k$ ，每次操作，你可以选择两个不同的下标 $i, j(1 \leq i, j \leq n, i \neq j)$ 和一个非负整数 $x$ ，令 $a_i \leftarrow a_i \oplus x$ ， $a_j \leftarrow a_j \oplus x$ ，求最小操作次数，使得 $\textstyle\sum_{i=1}^n a_i = k$ 。
$\hspace{15pt}$ 特别地，如果无论怎样操作都不能满足等式，输出 $-1$ 表示无解。

【名词解释】
$\hspace{15pt}$ $\oplus$ ：指位运算中的按位异或（Bitwise XOR），对两个整数的二进制表示按位进行异或运算。

输入描述:

第一行输入两个整数 。
第二行输入  个非负整数 。

输出描述:

如果存在一种操作方式，使得等式成立，输出一个非负整数，表示最小操作次数；否则，输出  表示无解。

示例1

输入

复制

6 13
1 2 3 4 5 6

输出

复制

说明

在这个样例中：
选择  进行一次操作，、。
得到新的数组为 。

示例2

输入

复制

6 21
1 2 3 4 5 6

输出

复制

说明

在这个样例中，数组已经满足等式，不需要进行任何操作。

示例3

输入

复制

6 21
0 21 21 21 21 21

输出

复制

示例4

输入

复制

2 0
0 1

输出

复制

-1