问题 O: [GESP202409 四级] 黑白方块

小杨有一个 $n$ 行 $m$ 列的网格图，其中每个格子要么是白色，要么是黑色。 小杨想知道网格图中是否存在一个满足如下条件的子矩形：

• 子矩形由 $4$ 行 $4$ 列组成；
• 子矩形的第 $1$ 行和第 $4$ 行只包含白色格子；
• 对于子矩形的第 $2$ 行和第 $3$ 行，只有第 $1$ 个和第 $4$ 个格子是白色的，其余格子都是黑色的；

请你编写程序帮助小杨判断。