系统描述：在西安火车站2号售票大厅中，一般情况下会有5个出售当天票窗口，5个

helonger

系统描述：在西安火车站2号售票大厅中，一般情况下会有5个出售当天票窗口，5个出售3天内票，5个出售5天内窗口，5个出售10天内窗口。 在这里，我们会有这样一个规则：买的当天票的旅客只能在当天窗口购买；买3天内票的旅客就可以在当天、3天内窗口购买；买5天内票的窗口可以在当天、3天、5天内的窗口购买；购买10天内票的旅客可以在当天、3天、5天、10天内的窗口购买车票。但是反过来买10不能在天内票的旅客只能在售10天内窗口购买，不能在5天、3天、当天内的售票窗口购买；购买5天内票的旅客不能在3天、当天内购买；购买3天内车票的旅客不能再当天内的售票窗口购买。如果以窗口构建一个矩阵模型，其中“1”表示可以发生，“0”表示不发生，则矩阵表如下：
        售当天窗口        售3天内窗口        售5天内窗口        10天内窗口
售当天窗口        1        1        1        1
售3天内窗口        0        1        1        1
售5天内窗口        0        0        1        1
10天内窗口        0        0        0        1
   

用witness编个程序，如何编啊