[("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)), ("GEQ", [(1,19)], (0)), ("LEQ", [((10),0),((-10),1),((-1),2),(1,3),((-10),4),((10),5),(1,6),((-1),7),((-29),8),((29),9),((-49),10),((49),11),((-31),12),((31),13),((21),14),((-21),15)], (-17)), ("LEQ", [((11),4),((-11),5),((36),6),((-36),7),((34),8),((-34),9),((37),16),((-37),17),((29),18),((-29),19),((32),10),((-32),11),((36),12),((-36),13),((-1),14),(1,15)], (-35)), ("LEQ", [((21),2),((-21),3),((-3),4),((3),5),((-23),6),((23),7),((-25),8),((25),9),((10),10),((-10),11),((35),12),((-35),13),((38),14),((-38),15)], (15)), ("LEQ", [((26),0),((-26),1),((-58),2),((58),3),((13),4),((-13),5),(1,6),((-1),7),((2),8),((-2),9),((-15),16),((15),17),((11),12),((-11),13)], (-32)), ("LEQ", [((27),0),((-27),1),((-1),2),(1,3),((7),4),((-7),5),((13),6),((-13),7),((-15),18),((15),19),((-20),10),((20),11),((60),12),((-60),13)], (-25)), ("LEQ", [((10),2),((-10),3),((33),4),((-33),5),((5),6),((-5),7),((2),8),((-2),9),((7),16),((-7),17),((-2),10),((2),11),((-33),14),((33),15)], (-17)), ("LEQ", [((15),2),((-15),3),((24),4),((-24),5),((5),6),((-5),7),((-50),8),((50),9),((61),16),((-61),17),((8),18),((-8),19),((3),12),((-3),13)], (-15)), ("LEQ", [((14),0),((-14),1),((34),2),((-34),3),((-3),6),((3),7),((-18),8),((18),9),((-37),16),((37),17),((23),12),((-23),13),((20),14),((-20),15)], (15)), ("LEQ", [((10),0),((-10),1),((17),2),((-17),3),((55),6),((-55),7),((7),16),((-7),17),((24),18),((-24),19),((-22),14),((22),15)], (12)), ("LEQ", [((17),2),((-17),3),((40),4),((-40),5),((71),6),((-71),7),((-29),16),((29),17),((-29),18),((29),19),((26),12),((-26),13)], (-24)), ("LEQ", [(1,2),((-1),3),((-7),4),((7),5),((-27),16),((27),17),((18),10),((-18),11),((4),14),((-4),15)], (-16)), ("LEQ", [((39),2),((-39),3),((-16),8),((16),9),((117),18),((-117),19),((-10),10),((10),11),((20),14),((-20),15)], (11)), ("LEQ", [((29),0),((-29),1),((-23),4),((23),5),((10),6),((-10),7),((-35),18),((35),19),((69),14),((-69),15)], (35)), ("GEQ", [((23),0),((-23),1),((-36),2),((36),3),((-1),4),(1,5),((16),8),((-16),9),((8),16),((-8),17),((33),10),((-33),11),((-38),14),((38),15)], (6)), ("GEQ", [((3),0),((-3),1),((4),4),((-4),5),((20),6),((-20),7),((-7),8),((7),9),((-31),16),((31),17),((-37),18),((37),19),((5),10),((-5),11)], (18)), ("GEQ", [((66),0),((-66),1),((-4),4),((4),5),((-14),6),((14),7),((-33),8),((33),9),((-25),10),((25),11),((34),12),((-34),13),((-19),14),((19),15)], (2)), ("GEQ", [((9),0),((-9),1),((31),6),((-31),7),((-1),16),(1,17),((-27),18),((27),19),((-35),10),((35),11),((-6),12),((6),13)], (-9)), ("GEQ", [((7),0),((-7),1),((19),2),((-19),3),((-11),4),((11),5),((24),8),((-24),9),((21),18),((-21),19),((-2),10),((2),11)], (10)), ("GEQ", [((27),6),((-27),7),((-56),16),((56),17),((19),18),((-19),19),((20),12),((-20),13),((42),14),((-42),15)], (-20)), ("GEQ", [((3),6),((-3),7),((-29),8),((29),9),((7),16),((-7),17),((-7),10),((7),11),((11),12),((-11),13)], (24))]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19]