解题思路

先根据题意提炼条件：

1. 像素画的长和宽都必须是偶数，也就是$n$和$m$都为偶数。
2. 像素画中至少能拆解出一个边长为$2$的像素正方形。

一个边长为$2$的像素正方形，本质上就是存在一个 $2 \times 2$ 的子矩阵，四个位置全都是 '1'。

题目内容

对于一副$n×m$的像素画，小红会觉得它是优美的,当且仅当它的长和宽均为偶数，且至少可以拆解出一个边长为$2$的像素正方形。请你判断给出的像素画是否是优美的。

下方是边长为$2$~$4$的像素正方形的举例，注意，边长为$3$的像素正方形可以拆解出四个边长为$2$的像素正方形、边长为$4$的像素正方形可以拆解出九个边长为$2$的像素正方形:

输入描述

每个测试文件均包含多组测试数据。第一行输入一个整数$T(1≤T<10)$代表数据组数，每组测试数据描述如下: 第一行输入两个整数$n,m(1≤n,m≤500)$代表像素画的长和宽。 此后$n$行，每行输入一个长度为$m$且仅包含'$0$' 和'$1$'的字符串$s$代表像素画中这一行的情况，其中'$0$'代表该位置为空，'$1$'代表该位置存在像素。

输出描述

对于每一组测试数据，如果它是优美的像素画，在一行上输出$YES$；否则，直接输出$NO$。

示例1

输入

3
6 6
111111
111111
111111
111111
111111
111111
4 6
000000
000110
000110
000000
3 6
000000
000110
000110

输出

YES
YES
NO

说明

在第一组测试数据中，存在边长为$2$的像素三角形，且长宽均为偶数; 在第二组测试数据中，存在边长为$2$的像素三角形，且长宽均为偶数; 在第三组测试数据中，存在边长为$2$的像素三角形，但宽不为偶数。