[("GEQ", [(1,0)], (0)), ("LEQ", [(1,0)], (1)), ("GEQ", [(1,1)], (0)), ("LEQ", [(1,1)], (1)), ("GEQ", [(1,2)], (0)), ("LEQ", [(1,2)], (1)), ("GEQ", [(1,3)], (0)), ("LEQ", [(1,3)], (1)), ("GEQ", [(1,4)], (0)), ("LEQ", [(1,4)], (1)), ("GEQ", [(1,5)], (0)), ("LEQ", [(1,5)], (1)), ("GEQ", [(1,0),(1,1)], (1)), ("GEQ", [(1,2),(1,3)], (1)), ("GEQ", [(1,4),(1,5)], (1)), ("LEQ", [(1,0),(1,2),(1,4)], (1)), ("LEQ", [(1,1),(1,3),(1,5)], (1))]
[0, 1, 2, 3, 4, 5]
[0, 1, 2, 3, 4, 5]