Problem:
Score : 700 points

Problem Statement

You are given four integers: H, W, h and w (1 ≤ h ≤ H, 1 ≤ w ≤ W).
Determine whether there exists a matrix such that all of the following conditions are held, and construct one such matrix if the answer is positive:

The matrix has H rows and W columns.

Each element of the matrix is an integer between -10^9 and 10^9 (inclusive).

The sum of all the elements of the matrix is positive.

The sum of all the elements within every subrectangle with h rows and w columns in the matrix is negative.

Constraints

1 ≤ h ≤ H ≤ 500

1 ≤ w ≤ W ≤ 500

Input

Input is given from Standard Input in the following format:

H W h w

Output

If there does not exist a matrix that satisfies all of the conditions, print No.

Otherwise, print Yes in the first line, and print a matrix in the subsequent lines in the following format:

a_{11} ... a_{1W}
:
a_{H1} ... a_{HW}

Here, a_{ij} represents the (i,\ j) element of the matrix.

Sample Input 1

3 3 2 2

Sample Output 1

Yes
1 1 1
1 -4 1
1 1 1

The sum of all the elements of this matrix is 4, which is positive.
Also, in this matrix, there are four subrectangles with 2 rows and 2 columns as shown below. For each of them, the sum of all the elements inside is -1, which is negative.

Sample Input 2

2 4 1 2

Sample Output 2

No

Sample Input 3

3 4 2 3

Sample Output 3

Yes
2 -5 8 7
3 -5 -4 -5
2 1 -1 7

Solution in Rust (1.15.1) (judge verdict: Wrong Answer)

use std::io::{self, Stdin};
use std::str::{self, FromStr};
use std::error::Error;

fn exec() {
    let mut sc = Scanner::new();
    let (h, w, y, x): (usize, usize, usize, usize) = (sc.ne(), sc.ne(), sc.ne(), sc.ne());
    let mut fld = vec![vec![false; w]; h];
    let mut flag = fld.clone();
    let mut sum = (h * w) as i64;
    let hiku = y * x;
    let hiku = hiku as i64 * -1;
    for disi in 0..h - y {
        for disx in 0..w - x {
            for _ in 0..1 {
                let i = disi;
                let j = disx;
                let ii = i + y - 1;
                let jj = j + x - 1;
                if flag[i][j] {
                    continue;
                }
                fld[ii][jj] = true;
                sum += hiku - 1;
                for i2 in i..ii + 1 {
                    for j2 in j..jj + 1 {
                        if i2 < h && j2 < w {
                            flag[i2][j2] = true;
                        }
                    }
                }
            }
            for _ in 0..1 {
                let ii = h - 1 - disi;
                let jj = w - 1 - disx;
                let i = ii - y + 1;
                let j = jj - x + 1;
                if flag[i][j] {
                    continue;
                }
                fld[ii][jj] = true;
                sum += hiku - 1;
                if sum <= 0 {
                    println!("No");
                    std::process::exit(0);
                }
                for i2 in i..ii + 1 {
                    for j2 in j..jj + 1 {
                        if i2 < h && j2 < w {
                            flag[i2][j2] = true;
                        }
                    }
                }
            }
        }
    }
    if sum <= 0 {
        println!("No");
        std::process::exit(0);
    }
    println!("Yes");
    for i in 0..h {
        for j in 0..w {
            if fld[i][j] == true {
                print!("{} ", hiku);
            } else {
                print!("1 ");
            }
        }
        println!("");
    }
}

fn main() {
    const STACK: usize = 16 * 1024 * 1024;
    let _ = std::thread::Builder::new()
        .stack_size(STACK)
        .spawn(|| { exec(); })
        .unwrap()
        .join()
        .unwrap();
}

#[allow(dead_code)]
struct Scanner {
    stdin: Stdin,
    id: usize,
    buf: Vec<u8>,
}

#[allow(dead_code)]
impl Scanner {
    fn new() -> Scanner {
        Scanner {
            stdin: io::stdin(),
            id: 0,
            buf: Vec::new(),
        }
    }
    fn next_line(&mut self) -> Option<String> {
        let mut res = String::new();
        match self.stdin.read_line(&mut res) {
            Ok(0) => None,
            Ok(_) => Some(res),
            Err(why) => panic!("error in read_line: {}", why.description()),
        }
    }
    fn next<T: FromStr>(&mut self) -> Option<T> {
        while self.buf.len() == 0 {
            self.buf = match self.next_line() {
                Some(r) => {
                    self.id = 0;
                    r.trim().as_bytes().to_owned()
                }
                None => return None,
            };
        }
        let l = self.id;
        assert!(self.buf[l] != b' ');
        let n = self.buf.len();
        let mut r = l;
        while r < n && self.buf[r] != b' ' {
            r += 1;
        }
        let res = match str::from_utf8(&self.buf[l..r])
                  .ok()
                  .unwrap()
                  .parse::<T>() {
            Ok(s) => Some(s),
            Err(_) => {
                panic!("parse error, {:?}",
                       String::from_utf8(self.buf[l..r].to_owned()))
            }
        };
        while r < n && self.buf[r] == b' ' {
            r += 1;
        }
        if r == n {
            self.buf.clear();
        } else {
            self.id = r;
        }
        res
    }
    fn ne<T: FromStr>(&mut self) -> T {
        self.next::<T>().unwrap()
    }
}