// 5000 < 2^13 fn main() { let N = get!(usize); let A = get!(usize;;); let mut dp = vec![vec![vec![false; SIZE]; SIZE]; N + 1]; dp[0][0][0] = true; for (i, &a) in A.iter().enumerate() { for j in 0..SIZE { for k in 0..SIZE { if dp[i][j][k] { dp[i + 1][j ^ a][k] = true; dp[i + 1][j][k ^ a] = true; } } } debug2D!(dp[i + 1]); } if dp[N][0][0] { println!("Yes"); } else { println!("No"); } } const SIZE: usize = 20; mod get_macro { //! 入力用マクロ //! - 参考:[Rustで競技プログラミング スターターキット](https://qiita.com/hatoo@github/items/fa14ad36a1b568d14f3e) /// 入力用マクロ #[macro_export] macro_rules! get { ($t:ty) => { { let mut line = String::new(); std::io::stdin().read_line(&mut line).unwrap(); line.trim().parse::<$t>().unwrap() } }; ($($t:ty),*) => { { let mut line = String::new(); std::io::stdin().read_line(&mut line).unwrap(); let mut iter = line.split_whitespace(); ( $(iter.next().unwrap().parse::<$t>().unwrap(),)* ) } }; ($t:ty ; $n:expr) => { (0..$n).map(|_| get_!($t) ).collect::>() }; ($($t:ty),* ; $n:expr) => { (0..$n).map(|_| get_!($($t),*) ).collect::>() }; ($t:ty ;;) => { { let mut line = String::new(); std::io::stdin().read_line(&mut line).unwrap(); line.split_whitespace() .map(|t| t.parse::<$t>().unwrap()) .collect::>() } }; ($t:ty ;; $n:expr) => { (0..$n).map(|_| get_!($t ;;) ).collect::>() }; } } mod debug_macro { //! デバッグ用マクロ /// デバッグ用マクロ #[macro_export] macro_rules! debug { ( $($val:expr),* $(,)* ) => {{ #[cfg(debug_assertions)] eprintln!( concat!($(stringify!($val), " = {:?}, "),*), $($val),* ); }}; } /// 配列用マクロ #[macro_export] macro_rules! debug2D { ( $array:expr ) => {{ #![cfg(debug_assertions)] eprintln!("{}: ", stringify!($array)); for row in &$array { eprintln!("{:?}", row); } }}; } }