0 * x1 * 1 x1 1 * x1 0 # x1 # 0 x1 0 # x1 # 1 x1 1 # x1 # $ x1 * $ x1 # # x1 # x1 # * x1 * x1 0 1 * 1 1 1 # 1 $ 1 FULL ./SRS/Zantema/z065.srs