[("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", [((64),0),((-64),1),((43),2),((-43),3),((42),4),((-42),5),((-4),6),((4),7),((49),8),((-49),9),((-28),10),((28),11),((38),12),((-38),13),((59),14),((-59),15)], (40)), ("LEQ", [((69),0),((-69),1),((21),2),((-21),3),((-2),4),((2),5),((31),6),((-31),7),((20),8),((-20),9),((-41),16),((41),17),((-11),18),((11),19)], (55)), ("LEQ", [((50),0),((-50),1),((-71),6),((71),7),((114),8),((-114),9),((25),10),((-25),11),((-36),16),((36),17),((-39),12),((39),13),((-3),18),((3),19)], (49)), ("LEQ", [((33),2),((-33),3),((57),4),((-57),5),((44),6),((-44),7),((64),8),((-64),9),((44),10),((-44),11),((52),16),((-52),17),((-18),14),((18),15)], (27)), ("LEQ", [((45),0),((-45),1),((-31),2),((31),3),((-32),4),((32),5),((-17),6),((17),7),(1,10),((-1),11),((-18),16),((18),17),((-112),12),((112),13)], (-25)), ("LEQ", [((94),2),((-94),3),((-9),4),((9),5),((-57),6),((57),7),((-26),8),((26),9),((30),16),((-30),17),((60),12),((-60),13)], (-16)), ("LEQ", [((16),2),((-16),3),((-74),4),((74),5),((-11),6),((11),7),((50),10),((-50),11),((-50),16),((50),17),((-109),18),((109),19)], (-5)), ("LEQ", [((108),0),((-108),1),((54),4),((-54),5),((16),8),((-16),9),((-4),16),((4),17),((123),12),((-123),13)], (41)), ("LEQ", [((43),2),((-43),3),((-17),6),((17),7),((23),8),((-23),9),((5),12),((-5),13),((-32),18),((32),19)], (16)), ("LEQ", [((62),0),((-62),1),((40),6),((-40),7),((-1),8),(1,9),((-136),12),((136),13),((-6),14),((6),15)], (12)), ("LEQ", [((41),0),((-41),1),((-16),2),((16),3),((-8),6),((8),7),((30),16),((-30),17),((-45),12),((45),13)], (49)), ("LEQ", [((8),0),((-8),1),((65),2),((-65),3),((106),8),((-106),9),((98),10),((-98),11)], (39)), ("GEQ", [((17),2),((-17),3),((-46),4),((46),5),((-61),6),((61),7),((65),8),((-65),9),((13),10),((-13),11),((-43),16),((43),17),((5),14),((-5),15),((42),18),((-42),19)], (-28)), ("GEQ", [((48),0),((-48),1),((-58),2),((58),3),((-28),4),((28),5),((-39),8),((39),9),((-110),10),((110),11),((4),16),((-4),17),((36),12),((-36),13)], (49)), ("GEQ", [((20),0),((-20),1),((-35),2),((35),3),((-60),4),((60),5),((7),8),((-7),9),((14),10),((-14),11),((10),16),((-10),17),((82),18),((-82),19)], (66)), ("GEQ", [((51),4),((-51),5),((-30),6),((30),7),((99),8),((-99),9),((-56),10),((56),11),((60),16),((-60),17),((49),12),((-49),13),((48),14),((-48),15)], (63)), ("GEQ", [((51),0),((-51),1),((13),2),((-13),3),((10),4),((-10),5),((55),10),((-55),11),((-54),16),((54),17),((-26),18),((26),19)], (15)), ("GEQ", [((13),2),((-13),3),((-113),4),((113),5),((-61),8),((61),9),((54),10),((-54),11),((-41),16),((41),17),((26),18),((-26),19)], (-41)), ("GEQ", [((82),2),((-82),3),((-31),4),((31),5),((-50),6),((50),7),((-8),16),((8),17),((14),14),((-14),15),((-52),18),((52),19)], (-56)), ("GEQ", [((5),6),((-5),7),((-16),8),((16),9),((50),10),((-50),11),((176),14),((-176),15),((-31),18),((31),19)], (-64))]
[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]