fn main() { let mut sc = Scanner::new(); let n = sc.usize(); let k = sc.usize(); let a = sc.nvec::(); let b = sc.nvec::(); let mut d = vec![false; n + 1]; for &a in a.iter() { d[a] = true; } let mut c = vec![false; n + 1]; for &b in b.iter() { c[b] = true; } let mut dp = vec![vec![false; 2]; n+1]; dp[0][0] = true; for i in 0..n { if d[i+1] { dp[i+1][1] |= dp[i][0]; dp[i+1][1] |= dp[i][1]; } else if c[i+1] { dp[i+1][0] |= dp[i][1]; dp[i+1][0] |= dp[i][0]; } else { dp[i+1][0] |= dp[i][0]; dp[i+1][1] |= dp[i][1]; } if i+k <= n { if d[i+k] { dp[i+k][1] |= dp[i][0]; dp[i+k][1] |= dp[i][1]; } else if c[i+k] { dp[i+k][0] |= dp[i][1]; dp[i+k][0] |= dp[i][0]; } else { dp[i+k][0] |= dp[i][0]; dp[i+k][1] |= dp[i][1]; } } } println!("{}", if dp[n][0] { "Yes" } else { "No" }); } struct Scanner { s : std::collections::VecDeque } #[allow(unused)] impl Scanner { fn new() -> Self { use std::io::Read; let mut s = String::new(); std::io::stdin().read_to_string(&mut s).unwrap(); Self { s : s.split_whitespace().map(|s| s.to_string()).collect() } } fn reload(&mut self) -> () { use std::io::Read; let mut s = String::new(); std::io::stdin().read_to_string(&mut s).unwrap(); self.s = s.split_whitespace().map(|s| s.to_string()).collect(); } fn usize(&mut self) -> usize { self.input() } fn usize1(&mut self) -> usize { self.input::() - 1 } fn isize(&mut self) -> isize { self.input() } fn i32(&mut self) -> i32 { self.input() } fn i64(&mut self) -> i64 { self.input() } fn i128(&mut self) -> i128 { self.input() } fn u8(&mut self) -> u8 { self.input() } fn u32(&mut self) -> u32 { self.input() } fn u64(&mut self) -> u64 { self.input() } fn u128(&mut self) -> u128 { self.input() } fn edge(&mut self) -> (usize, usize) { (self.usize1(), self.usize1()) } fn edges(&mut self, m : usize) -> Vec<(usize, usize)> { let mut e = Vec::with_capacity(m); for _ in 0..m { e.push(self.edge()); } e } fn wedge(&mut self) -> (usize, usize, T) { (self.usize1(), self.usize1(), self.input()) } fn wedges(&mut self, m : usize) -> Vec<(usize, usize, T)> { let mut e = Vec::with_capacity(m); for _ in 0..m { e.push(self.wedge()); } e } fn input(&mut self) -> T where T: std::str::FromStr { if self.s.is_empty() { self.reload(); } if let Some(head) = self.s.pop_front() { head.parse::().ok().unwrap() } else { panic!() } } fn tuple(&mut self) -> (T, U) where T: std::str::FromStr, U: std::str::FromStr { (self.input(), self.input()) } fn vec(&mut self, n: usize) -> Vec where T: std::str::FromStr { if self.s.is_empty() { self.reload(); } self.s.drain(..n).map(|s| s.parse::().ok().unwrap() ).collect::>() } fn nvec(&mut self) -> Vec where T: std::str::FromStr { let n : usize = self.input(); self.vec(n) } fn chars(&mut self) -> Vec { let s : String = self.input(); s.chars().collect() } fn bytes(&mut self) -> Vec { let s : String = self.input(); s.bytes().collect() } }