在线编程：验证二叉搜索树

用祖先范围判断全局合法性。

输入：四行二叉树数组表示。
输出：满足严格BST全局范围输出YES，否则NO。
约束：1≤n≤2000，值在64位范围。

使用 Python 3 从标准输入读取，向标准输出写出唯一规定结果；不得读取文件或网络。

使用 Python 3 标准输入输出；不得使用第三方包。必须覆盖题面边界，不能只针对样例。