Problem:
Score : 300 points

Problem Statement

We have a square grid with H rows and W columns.
Snuke wants to write 0 or 1 in each of the squares.
Here, all of the following conditions have to be satisfied:

For every row, the smaller of the following is A: the number of 0s contained in the row, and the number of 1s contained in the row. (If these two numbers are equal, “the smaller” should be read as “either”.)

For every column, the smaller of the following is B: the number of 0s contained in the column, and the number of 1s contained in the column.

Determine if these conditions can be satisfied by writing 0 or 1 in each of the squares. If the answer is yes, show one way to fill the squares so that the conditions are satisfied.

Constraints

1 \leq H,W \leq 1000

0 \leq A

2 \times A \leq W

0 \leq B

2 \times B \leq H

All values in input are integers.

Input

Input is given from Standard Input in the following format:

H W A B

Output

If the conditions cannot be satisfied by writing 0 or 1 in each of the squares, print -1.

If the conditions can be satisfied, print one way to fill the squares so that the conditions are satisfied, in the following format:

s_{11}s_{12}\cdots s_{1W}
s_{21}s_{22}\cdots s_{2W}
\vdots
s_{H1}s_{H2}\cdots s_{HW}

Here s_{ij} is the digit written in the square at the i-th row from the top and the j-th column from the left in the grid.

If multiple solutions exist, printing any of them will be accepted.

Sample Input 1

3 3 1 1

Sample Output 1

100
010
001

Every row contains two 0s and one 1, so the first condition is satisfied.
Also, every column contains two 0s and one 1, so the second condition is satisfied.

Sample Input 2

1 5 2 0

Sample Output 2

01010

Solution in Go (1.6) (judge verdict: Wrong Answer)

package main

import (
	"fmt"
	"strconv"
	"strings"
)

func main() {
	var h, w, a, b int
	// fmt.Scanf("%d %d %d %d", &h, &w, &a, &b)
	h, w, a, b = 3, 3, 1, 1

	// fmt.Println(gen(h, w, 2), a, b)
	max, _ := strconv.ParseInt(strings.Repeat("1", h*w), 2, 64)

	// fmt.Println(max)
	for i := 0; int64(i) <= max; i++ {
		if check2(i, h, w, a, b) {
			print(gen(h, w, i))
			return
		}
		// g := gen(h, w, i)
		// if check(g, h, w, a, b) {
		// 	print(g)
		// 	return
		// }

	}
	fmt.Print("No")

}

func check2(v, h, w, a, b int) bool {
	val := strconv.FormatInt(int64(v), 2)
	for i := 0; i < h; i++ {
		rowCount := 0
		for j := 0; j < w; j++ {
			num := "0"[0]
			if len(val) > i*w+j {
				num = val[i*w+j]
				if num == '1' {
					rowCount++
				}
			}
		}
		if rowCount == a || rowCount == w-a {
			continue
		}
		return false
	}
	for i := 0; i < w; i++ {
		wCount := 0
		for j := 0; j < h; j++ {
			num := "0"[0]
			if len(val) > j*w+i {
				num = val[j*w+i]
				if num == '1' {
					wCount++
				}
			}
		}
		if wCount == b || wCount == h-b {
			continue
		}
		return false
	}
	return true
}

func check(g [][]int, h, w, a, b int) bool {
	for i := 0; i < h; i++ {
		rowCount := 0
		for j := 0; j < w; j++ {
			if g[i][j] == 1 {
				rowCount++
			}
		}
		if rowCount == a || rowCount == w-a {
			continue
		}
		return false
	}
	for i := 0; i < w; i++ {
		wCount := 0
		for j := 0; j < h; j++ {
			if g[j][i] == 1 {
				wCount++
			}
		}
		if wCount == b || wCount == h-b {
			continue
		}
		return false
	}
	return true

}

func gen(h, w, v int) [][]int {
	rows := make([][]int, h)
	val := strconv.FormatInt(int64(v), 2)
	for i := 0; i < h; i++ {
		row := make([]int, w)
		for j := 0; j < w; j++ {
			num := "0"[0]
			if len(val) > i*w+j {
				num = val[i*w+j]
			}
			if num == '1' {
				row[j] = 1
			}
		}
		rows[i] = row
	}
	return rows
}

func print(g [][]int) {
	for _, row := range g {
		for _, cell := range row {
			fmt.Print(cell)
		}
		fmt.Print("\n")
	}
}