[("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)), ("LEQ", [((-57),0),((2),1),((2),2),((2),3),((2),4),((2),5),((2),6)], (0)), ("LEQ", [((3),0),((-56),1),((3),2),((3),3),((3),4),((3),5),((3),6)], (0)), ("LEQ", [((5),0),((5),1),((-54),2),((5),3),((5),4),((5),5),((5),6)], (0)), ("LEQ", [((7),0),((7),1),((7),2),((-52),3),((7),4),((7),5),((7),6)], (0)), ("LEQ", [((11),0),((11),1),((11),2),((11),3),((-48),4),((11),5),((11),6)], (0)), ("LEQ", [((13),0),((13),1),((13),2),((13),3),((13),4),((-46),5),((13),6)], (0)), ("LEQ", [((17),0),((17),1),((17),2),((17),3),((17),4),((17),5),((-42),6)], (0)), ("GEQ", [(1,0),(1,1),(1,2),(1,3),(1,4),(1,5),(1,6)], (1)), ("LEQ", [(1,0),(1,1),(1,2),(1,3),(1,4),(1,5),(1,6)], (57))]
[0, 1, 2, 3, 4, 5, 6]
[0, 1, 2, 3, 4, 5, 6]