[("GEQ", [(1,0)], (0)), ("GEQ", [(1,1)], (0)), ("GEQ", [(1,2)], (0)), ("GEQ", [(1,3)], (0)), ("GEQ", [(1,4)], (0)), ("GEQ", [(1,5)], (0)), ("GEQ", [(1,6)], (0)), ("GEQ", [(1,7)], (0)), ("GEQ", [(1,8)], (0)), ("GEQ", [(1,9)], (0)), ("GEQ", [(1,6),(-1,7)], (-1)), ("LEQ", [((4),0),((-4),1),((5),2),((-5),3),((3),4),((-3),5),((-3),6),((3),7)], (2)), ("LEQ", [(1,0),((-1),1),((3),8),((-3),9),((-3),2),((3),3),(1,6),((-1),7)], (-1)), ("LEQ", [(1,0),((-1),1),((-4),2),((4),3),((-2),6),((2),7)], (-2)), ("GEQ", [((3),2),((-3),3),((-2),6),((2),7)], (2))]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]