[("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)), ("GEQ", [(1,12)], (0)), ("GEQ", [(1,13)], (0)), ("GEQ", [(1,14)], (0)), ("GEQ", [(1,15)], (0)), ("GEQ", [(1,16)], (0)), ("GEQ", [(1,17)], (0)), ("GEQ", [(1,18)], (0)), ("LEQ", [((-567),0),((2),1),((2),2),((2),3),((2),4),((2),5),((2),6),((2),7),((2),8),((2),9),((2),10),((2),11),((2),12),((2),13),((2),14),((2),15),((2),16),((2),17),((2),18)], (0)), ("LEQ", [((3),0),((-566),1),((3),2),((3),3),((3),4),((3),5),((3),6),((3),7),((3),8),((3),9),((3),10),((3),11),((3),12),((3),13),((3),14),((3),15),((3),16),((3),17),((3),18)], (0)), ("LEQ", [((5),0),((5),1),((-564),2),((5),3),((5),4),((5),5),((5),6),((5),7),((5),8),((5),9),((5),10),((5),11),((5),12),((5),13),((5),14),((5),15),((5),16),((5),17),((5),18)], (0)), ("LEQ", [((7),0),((7),1),((7),2),((-562),3),((7),4),((7),5),((7),6),((7),7),((7),8),((7),9),((7),10),((7),11),((7),12),((7),13),((7),14),((7),15),((7),16),((7),17),((7),18)], (0)), ("LEQ", [((11),0),((11),1),((11),2),((11),3),((-558),4),((11),5),((11),6),((11),7),((11),8),((11),9),((11),10),((11),11),((11),12),((11),13),((11),14),((11),15),((11),16),((11),17),((11),18)], (0)), ("LEQ", [((13),0),((13),1),((13),2),((13),3),((13),4),((-556),5),((13),6),((13),7),((13),8),((13),9),((13),10),((13),11),((13),12),((13),13),((13),14),((13),15),((13),16),((13),17),((13),18)], (0)), ("LEQ", [((17),0),((17),1),((17),2),((17),3),((17),4),((17),5),((-552),6),((17),7),((17),8),((17),9),((17),10),((17),11),((17),12),((17),13),((17),14),((17),15),((17),16),((17),17),((17),18)], (0)), ("LEQ", [((19),0),((19),1),((19),2),((19),3),((19),4),((19),5),((19),6),((-550),7),((19),8),((19),9),((19),10),((19),11),((19),12),((19),13),((19),14),((19),15),((19),16),((19),17),((19),18)], (0)), ("LEQ", [((23),0),((23),1),((23),2),((23),3),((23),4),((23),5),((23),6),((23),7),((-546),8),((23),9),((23),10),((23),11),((23),12),((23),13),((23),14),((23),15),((23),16),((23),17),((23),18)], (0)), ("LEQ", [((29),0),((29),1),((29),2),((29),3),((29),4),((29),5),((29),6),((29),7),((29),8),((-540),9),((29),10),((29),11),((29),12),((29),13),((29),14),((29),15),((29),16),((29),17),((29),18)], (0)), ("LEQ", [((31),0),((31),1),((31),2),((31),3),((31),4),((31),5),((31),6),((31),7),((31),8),((31),9),((-538),10),((31),11),((31),12),((31),13),((31),14),((31),15),((31),16),((31),17),((31),18)], (0)), ("LEQ", [((37),0),((37),1),((37),2),((37),3),((37),4),((37),5),((37),6),((37),7),((37),8),((37),9),((37),10),((-532),11),((37),12),((37),13),((37),14),((37),15),((37),16),((37),17),((37),18)], (0)), ("LEQ", [((41),0),((41),1),((41),2),((41),3),((41),4),((41),5),((41),6),((41),7),((41),8),((41),9),((41),10),((41),11),((-528),12),((41),13),((41),14),((41),15),((41),16),((41),17),((41),18)], (0)), ("LEQ", [((43),0),((43),1),((43),2),((43),3),((43),4),((43),5),((43),6),((43),7),((43),8),((43),9),((43),10),((43),11),((43),12),((-526),13),((43),14),((43),15),((43),16),((43),17),((43),18)], (0)), ("LEQ", [((47),0),((47),1),((47),2),((47),3),((47),4),((47),5),((47),6),((47),7),((47),8),((47),9),((47),10),((47),11),((47),12),((47),13),((-522),14),((47),15),((47),16),((47),17),((47),18)], (0)), ("LEQ", [((53),0),((53),1),((53),2),((53),3),((53),4),((53),5),((53),6),((53),7),((53),8),((53),9),((53),10),((53),11),((53),12),((53),13),((53),14),((-516),15),((53),16),((53),17),((53),18)], (0)), ("LEQ", [((59),0),((59),1),((59),2),((59),3),((59),4),((59),5),((59),6),((59),7),((59),8),((59),9),((59),10),((59),11),((59),12),((59),13),((59),14),((59),15),((-510),16),((59),17),((59),18)], (0)), ("LEQ", [((61),0),((61),1),((61),2),((61),3),((61),4),((61),5),((61),6),((61),7),((61),8),((61),9),((61),10),((61),11),((61),12),((61),13),((61),14),((61),15),((61),16),((-508),17),((61),18)], (0)), ("LEQ", [((67),0),((67),1),((67),2),((67),3),((67),4),((67),5),((67),6),((67),7),((67),8),((67),9),((67),10),((67),11),((67),12),((67),13),((67),14),((67),15),((67),16),((67),17),((-502),18)], (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,12),(1,13),(1,14),(1,15),(1,16),(1,17),(1,18)], (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),(1,12),(1,13),(1,14),(1,15),(1,16),(1,17),(1,18)], (567))]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18]