[("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", [((13),0),((-13),1),((18),2),((-18),3),((-4),4),((4),5),((-42),6),((42),7),((32),8),((-32),9),((40),10),((-40),11),((-11),12),((11),13),((14),14),((-14),15)], (-9)), ("LEQ", [((40),0),((-40),1),((-44),4),((44),5),((60),6),((-60),7),((-62),8),((62),9),((74),16),((-74),17),((59),10),((-59),11),((40),14),((-40),15),((19),18),((-19),19)], (30)), ("LEQ", [((113),2),((-113),3),((-82),4),((82),5),((85),6),((-85),7),((79),8),((-79),9),((-73),10),((73),11),((-21),12),((21),13),((-85),14),((85),15)], (-63)), ("LEQ", [((89),0),((-89),1),((75),2),((-75),3),((135),4),((-135),5),((37),16),((-37),17),((90),10),((-90),11),((69),14),((-69),15),((-132),18),((132),19)], (-32)), ("LEQ", [((35),0),((-35),1),((-39),2),((39),3),((-53),4),((53),5),((19),8),((-19),9),((-44),16),((44),17),((-85),12),((85),13),((32),14),((-32),15)], (72)), ("LEQ", [((43),0),((-43),1),((-115),2),((115),3),((-5),6),((5),7),((81),16),((-81),17),((-39),14),((39),15),((-135),18),((135),19)], (-35)), ("LEQ", [((27),2),((-27),3),((-37),6),((37),7),((106),8),((-106),9),((17),16),((-17),17),((-76),10),((76),11),((73),14),((-73),15)], (75)), ("LEQ", [((7),4),((-7),5),((-30),8),((30),9),((118),10),((-118),11),((-7),14),((7),15),((33),18),((-33),19)], (-41)), ("LEQ", [((45),2),((-45),3),((-20),4),((20),5),((141),6),((-141),7),((-3),10),((3),11),((157),12),((-157),13)], (77)), ("LEQ", [((9),2),((-9),3),((-10),8),((10),9),((161),12),((-161),13),((32),14),((-32),15),((9),18),((-9),19)], (-87)), ("LEQ", [((71),0),((-71),1),((83),2),((-83),3),((-88),6),((88),7),((-76),14),((76),15),((23),18),((-23),19)], (-34)), ("LEQ", [((64),4),((-64),5),((59),6),((-59),7),((-39),16),((39),17),((34),10),((-34),11)], (-16)), ("GEQ", [((15),2),((-15),3),((-66),4),((66),5),((-73),8),((73),9),((79),16),((-79),17),((-11),10),((11),11),((-83),12),((83),13),((-34),14),((34),15)], (-4)), ("GEQ", [((12),0),((-12),1),((28),4),((-28),5),((43),6),((-43),7),((2),8),((-2),9),((-81),10),((81),11),((16),12),((-16),13),((45),14),((-45),15)], (15)), ("GEQ", [((17),0),((-17),1),((-95),6),((95),7),((-73),8),((73),9),((57),16),((-57),17),((-3),10),((3),11),((44),12),((-44),13),((-19),18),((19),19)], (8)), ("GEQ", [((71),0),((-71),1),((16),2),((-16),3),((-138),4),((138),5),((57),6),((-57),7),((-66),8),((66),9),((5),16),((-5),17),((7),18),((-7),19)], (87)), ("GEQ", [((7),0),((-7),1),((24),6),((-24),7),((28),16),((-28),17),((-89),10),((89),11),((31),12),((-31),13),((-109),18),((109),19)], (83)), ("GEQ", [((39),0),((-39),1),((19),6),((-19),7),((56),8),((-56),9),((-34),16),((34),17),((-15),10),((15),11),((12),18),((-12),19)], (31)), ("GEQ", [((47),0),((-47),1),((-72),6),((72),7),((54),8),((-54),9),((-50),16),((50),17),((66),10),((-66),11),((146),18),((-146),19)], (27)), ("GEQ", [((36),0),((-36),1),((-88),6),((88),7),((-13),8),((13),9),((-45),10),((45),11),((-130),14),((130),15)], (-74))]
[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]