农场里有一群奶牛，农场主为了方便管理，将奶牛们按照二叉树的形式排列。每头奶牛都有一个编号，编号由一个整数表示。农场主想要判断这棵二叉树是否为红黑树。红黑树是一种自平衡二叉查找树，它的特点是： 节点是红色或黑色； 根节点是黑色； 所有叶子节点（叶子节点指的是没有子节点的节点）都是黑色； 每个红色节点的两个子节点都是黑色； 从任一节点到其每个叶子节点的所有路径都包含相同数目的黑色节点。 请你编写一个程序，判断农场主的二叉树是否为红黑树。

备注:

树中节点总数在范围 [0, 10000] 内