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