Problem:
Score : 900 points

Problem Statement

We have a grid with (2^N - 1) rows and (2^M-1) columns.
You are asked to write 0 or 1 in each of these squares.
Let a_{i,j} be the number written in the square at the i-th row from the top and the j-th column from the left.

For a quadruple of integers (i_1, i_2, j_1, j_2) such that 1\leq i_1 \leq i_2\leq 2^N-1, 1\leq j_1 \leq j_2\leq 2^M-1, let
S(i_1, i_2, j_1, j_2) = \displaystyle \sum_{r=i_1}^{i_2}\sum_{c=j_1}^{j_2}a_{r,c}.
Then, let the oddness of the grid be the number of quadruples (i_1, i_2, j_1, j_2) such that S(i_1, i_2, j_1, j_2) is odd.

Find a way to fill in the grid that maximizes its oddness.

Constraints

N and M are integers between 1 and 10 (inclusive).

Input

Input is given from Standard Input in the following format:

N M

Output

Print numbers to write in the grid so that its oddness is maximized, in the following format:

a_{1,1}a_{1,2}\cdots a_{1,2^M-1}
a_{2,1}a_{2,2}\cdots a_{2,2^M-1}
\vdots
a_{2^N-1,1}a_{2^N-1,2}\cdots a_{2^N-1,2^M-1}

If there are multiple solutions, you can print any of them.

Sample Input 1

1 2

Sample Output 1

111

For this grid, S(1, 1, 1, 1), S(1, 1, 2, 2), S(1, 1, 3, 3), and S(1, 1, 1, 3) are odd, so it has the oddness of 4.

We cannot make the oddness 5 or higher, so this is one of the ways that maximize the oddness.

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

#[allow(unused_imports)]
use std::cmp::*;
#[allow(unused_imports)]
use std::collections::*;
use std::io::{Write, BufWriter};
// https://qiita.com/tanakh/items/0ba42c7ca36cd29d0ac8
macro_rules! input {
    ($($r:tt)*) => {
        let stdin = std::io::stdin();
        let mut bytes = std::io::Read::bytes(std::io::BufReader::new(stdin.lock()));
        let mut next = move || -> String{
            bytes
                .by_ref()
                .map(|r|r.unwrap() as char)
                .skip_while(|c|c.is_whitespace())
                .take_while(|c|!c.is_whitespace())
                .collect()
        };
        input_inner!{next, $($r)*}
    };
}

macro_rules! input_inner {
    ($next:expr) => {};
    ($next:expr, ) => {};

    ($next:expr, $var:ident : $t:tt $($r:tt)*) => {
        let $var = read_value!($next, $t);
        input_inner!{$next $($r)*}
    };
}

macro_rules! read_value {
    ($next:expr, ( $($t:tt),* )) => {
        ( $(read_value!($next, $t)),* )
    };

    ($next:expr, [ $t:tt ; $len:expr ]) => {
        (0..$len).map(|_| read_value!($next, $t)).collect::<Vec<_>>()
    };

    ($next:expr, chars) => {
        read_value!($next, String).chars().collect::<Vec<char>>()
    };

    ($next:expr, usize1) => {
        read_value!($next, usize) - 1
    };

    ($next:expr, [ $t:tt ]) => {{
        let len = read_value!($next, usize);
        (0..len).map(|_| read_value!($next, $t)).collect::<Vec<_>>()
    }};

    ($next:expr, $t:ty) => {
        $next().parse::<$t>().expect("Parse error")
    };
}

#[allow(unused)]
macro_rules! debug {
    ($($format:tt)*) => (write!(std::io::stderr(), $($format)*).unwrap());
}
#[allow(unused)]
macro_rules! debugln {
    ($($format:tt)*) => (writeln!(std::io::stderr(), $($format)*).unwrap());
}

fn oddness_vec(n: usize, m: usize, aa: &[Vec<i32>]) -> i64 {
    let mut a = 0;
    let mut acc = vec![vec![0; m + 1]; n + 1];
    for i in 0..n {
        for j in 0..m {
            acc[i + 1][j + 1] = acc[i][j + 1] ^ acc[i + 1][j] ^ acc[i][j]
                ^ aa[i][j];
        }
    }
    for i in 1..n + 1 {
        for j in 0..i {
            for k in 1..m + 1 {
                for l in 0..k {
                    if (acc[i][k] ^ acc[i][l] ^ acc[j][k] ^ acc[j][l]) == 1 {
                        a += 1;
                    }
                }
            }
        }
    }
    a
}

fn oddness(n: usize, m: usize, pat: i64) -> i64 {
    let mut a = 0;
    let mut acc = vec![vec![0; m + 1]; n + 1];
    for i in 0..n {
        for j in 0..m {
            let pc = (pat >> (i * m + j)) & 1;
            acc[i + 1][j + 1] = acc[i][j + 1] ^ acc[i + 1][j] ^ acc[i][j] ^ pc;
        }
    }
    for i in 1..n + 1 {
        for j in 0..i {
            for k in 1..m + 1 {
                for l in 0..k {
                    if (acc[i][k] ^ acc[i][l] ^ acc[j][k] ^ acc[j][l]) == 1 {
                        a += 1;
                    }
                }
            }
        }
    }
    a
}

fn solve() {
    let out = std::io::stdout();
    let mut out = BufWriter::new(out.lock());
    macro_rules! puts {
        ($($format:tt)*) => (let _ = write!(out,$($format)*););
    }
    input! {
        n: usize, m: usize,
    }
    let mut ans = vec![vec![0; (1 << m) - 1]; (1 << n) - 1];
    for i in 0usize..(1 << n) - 1 {
        for j in 0usize..(1 << m) - 1 {
            let pc = i | j;
            ans[i][j] = (pc % 2) as i32;
        }
    }
    debugln!("{}\n", oddness_vec((1 << n) - 1, (1 << m) - 1, &ans));
    for i in 0..(1 << n) - 1 {
        for j in 0..(1 << m) - 1 {
            puts!("{}", ans[i][j]);
        }
        puts!("\n");
    }
}

fn main() {
    // In order to avoid potential stack overflow, spawn a new thread.
    let stack_size = 104_857_600; // 100 MB
    let thd = std::thread::Builder::new().stack_size(stack_size);
    thd.spawn(|| solve()).unwrap().join().unwrap();
}