[("GEQ", [(1,0)], (0)), ("GEQ", [(1,1)], (0)), ("GEQ", [(1,2)], (0)), ("GEQ", [(1,3)], (0)), ("GEQ", [(1,4)], (0)), ("LEQ", [((-27),0),((2),1),((2),2),((2),3),((2),4)], (0)), ("LEQ", [((3),0),((-26),1),((3),2),((3),3),((3),4)], (0)), ("LEQ", [((5),0),((5),1),((-24),2),((5),3),((5),4)], (0)), ("LEQ", [((7),0),((7),1),((7),2),((-22),3),((7),4)], (0)), ("LEQ", [((11),0),((11),1),((11),2),((11),3),((-18),4)], (0)), ("GEQ", [(1,0),(1,1),(1,2),(1,3),(1,4)], (1)), ("LEQ", [(1,0),(1,1),(1,2),(1,3),(1,4)], (27))] [0, 1, 2, 3, 4] [0, 1, 2, 3, 4]