[("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,10)], (0)), ("GEQ", [(1,11)], (0)), ("LEQ", [((-196),0),((2),1),((2),2),((2),3),((2),4),((2),5),((2),6),((2),7),((2),8),((2),9),((2),10),((2),11)], (0)), ("LEQ", [((3),0),((-195),1),((3),2),((3),3),((3),4),((3),5),((3),6),((3),7),((3),8),((3),9),((3),10),((3),11)], (0)), ("LEQ", [((5),0),((5),1),((-193),2),((5),3),((5),4),((5),5),((5),6),((5),7),((5),8),((5),9),((5),10),((5),11)], (0)), ("LEQ", [((7),0),((7),1),((7),2),((-191),3),((7),4),((7),5),((7),6),((7),7),((7),8),((7),9),((7),10),((7),11)], (0)), ("LEQ", [((11),0),((11),1),((11),2),((11),3),((-187),4),((11),5),((11),6),((11),7),((11),8),((11),9),((11),10),((11),11)], (0)), ("LEQ", [((13),0),((13),1),((13),2),((13),3),((13),4),((-185),5),((13),6),((13),7),((13),8),((13),9),((13),10),((13),11)], (0)), ("LEQ", [((17),0),((17),1),((17),2),((17),3),((17),4),((17),5),((-181),6),((17),7),((17),8),((17),9),((17),10),((17),11)], (0)), ("LEQ", [((19),0),((19),1),((19),2),((19),3),((19),4),((19),5),((19),6),((-179),7),((19),8),((19),9),((19),10),((19),11)], (0)), ("LEQ", [((23),0),((23),1),((23),2),((23),3),((23),4),((23),5),((23),6),((23),7),((-175),8),((23),9),((23),10),((23),11)], (0)), ("LEQ", [((29),0),((29),1),((29),2),((29),3),((29),4),((29),5),((29),6),((29),7),((29),8),((-169),9),((29),10),((29),11)], (0)), ("LEQ", [((31),0),((31),1),((31),2),((31),3),((31),4),((31),5),((31),6),((31),7),((31),8),((31),9),((-167),10),((31),11)], (0)), ("LEQ", [((37),0),((37),1),((37),2),((37),3),((37),4),((37),5),((37),6),((37),7),((37),8),((37),9),((37),10),((-161),11)], (0)), ("GEQ", [(1,0),(1,1),(1,2),(1,3),(1,4),(1,5),(1,6),(1,7),(1,8),(1,9),(1,10),(1,11)], (1)), ("LEQ", [(1,0),(1,1),(1,2),(1,3),(1,4),(1,5),(1,6),(1,7),(1,8),(1,9),(1,10),(1,11)], (196))] [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11] [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11]