[("GEQ", [(1,0)], (0)), ("GEQ", [(1,1)], (0)), ("GEQ", [(1,2)], (0)), ("GEQ", [(1,3)], (0)), ("LEQ", [((-16),0),((2),1),((2),2),((2),3)], (0)), ("LEQ", [((3),0),((-15),1),((3),2),((3),3)], (0)), ("LEQ", [((5),0),((5),1),((-13),2),((5),3)], (0)), ("LEQ", [((7),0),((7),1),((7),2),((-11),3)], (0)), ("GEQ", [(1,0),(1,1),(1,2),(1,3)], (1)), ("LEQ", [(1,0),(1,1),(1,2),(1,3)], (16))] [0, 1, 2, 3] [0, 1, 2, 3]