[("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", [((5),0),((-5),1),((-12),2),((12),3),((77),4),((-77),5),((65),6),((-65),7),((-12),8),((12),9),((24),10),((-24),11),((113),12),((-113),13),((42),14),((-42),15)], (37)), ("LEQ", [((39),0),((-39),1),((13),2),((-13),3),((11),6),((-11),7),((77),8),((-77),9),((77),10),((-77),11),((6),12),((-6),13),((71),14),((-71),15),((162),16),((-162),17)], (47)), ("LEQ", [((70),0),((-70),1),((-31),2),((31),3),((88),4),((-88),5),((18),18),((-18),19),((-117),8),((117),9),((-42),10),((42),11),((-66),14),((66),15)], (68)), ("LEQ", [((42),0),((-42),1),((52),4),((-52),5),((28),18),((-28),19),((37),8),((-37),9),((24),10),((-24),11),((44),12),((-44),13),((-22),14),((22),15)], (28)), ("LEQ", [((44),4),((-44),5),((-87),18),((87),19),((-81),6),((81),7),((81),8),((-81),9),((-7),12),((7),13),((-85),14),((85),15),((-53),16),((53),17)], (31)), ("LEQ", [((6),2),((-6),3),((35),4),((-35),5),((64),18),((-64),19),((119),6),((-119),7),((77),10),((-77),11),((-85),12),((85),13),((-42),16),((42),17)], (-85)), ("LEQ", [((90),0),((-90),1),((69),2),((-69),3),((49),4),((-49),5),((-69),6),((69),7),((73),8),((-73),9),((-23),12),((23),13)], (42)), ("LEQ", [((71),0),((-71),1),((48),2),((-48),3),((-43),18),((43),19),((-125),8),((125),9),((-60),12),((60),13),((38),16),((-38),17)], (-6)), ("LEQ", [((8),0),((-8),1),((72),2),((-72),3),((-29),4),((29),5),((67),18),((-67),19),((83),8),((-83),9),((77),12),((-77),13)], (20)), ("LEQ", [((79),0),((-79),1),((34),2),((-34),3),((107),18),((-107),19),((31),6),((-31),7),((33),10),((-33),11),((16),12),((-16),13)], (-87)), ("LEQ", [((56),0),((-56),1),((-68),4),((68),5),((103),18),((-103),19),((56),8),((-56),9),((-54),12),((54),13)], (-54)), ("LEQ", [((9),2),((-9),3),((62),4),((-62),5),((-108),6),((108),7),((134),10),((-134),11),((79),12),((-79),13)], (85)), ("LEQ", [((70),4),((-70),5),((14),18),((-14),19),((3),6),((-3),7),((25),14),((-25),15),((-26),16),((26),17)], (72)), ("GEQ", [((77),0),((-77),1),((29),2),((-29),3),((24),4),((-24),5),((-16),18),((16),19),((26),6),((-26),7),((39),8),((-39),9),((-63),10),((63),11),((-25),14),((25),15)], (-69)), ("GEQ", [((9),0),((-9),1),((-19),2),((19),3),((-63),4),((63),5),((-74),8),((74),9),((-61),12),((61),13),((-16),14),((16),15),((77),16),((-77),17)], (-38)), ("GEQ", [((66),2),((-66),3),((11),18),((-11),19),((74),8),((-74),9),((-42),10),((42),11),((-83),14),((83),15),((-135),16),((135),17)], (22)), ("GEQ", [((57),0),((-57),1),((-136),2),((136),3),((131),8),((-131),9),((34),10),((-34),11),((-11),14),((11),15),((-72),16),((72),17)], (43)), ("GEQ", [((9),0),((-9),1),((-83),4),((83),5),((-88),18),((88),19),((105),8),((-105),9),((-109),14),((109),15),((-84),16),((84),17)], (-54)), ("GEQ", [((63),2),((-63),3),((-2),4),((2),5),((-2),18),((2),19),((-52),6),((52),7),((77),8),((-77),9),((-31),10),((31),11)], (-41)), ("GEQ", [((63),0),((-63),1),((-1),18),(1,19),((83),6),((-83),7),((27),12),((-27),13),((-35),16),((35),17)], (83))]
[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]