[("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", [((19),0),((-19),1),((-12),2),((12),3),((-73),4),((73),5),((-63),6),((63),7),((24),8),((-24),9),((-42),10),((42),11),((-24),12),((24),13),((29),14),((-29),15)], (24)), ("LEQ", [((10),0),((-10),1),((-17),2),((17),3),((55),4),((-55),5),((14),8),((-14),9),((-68),16),((68),17),((-49),18),((49),19),((16),12),((-16),13),((-16),14),((16),15)], (58)), ("LEQ", [((43),4),((-43),5),((76),6),((-76),7),((45),8),((-45),9),((14),10),((-14),11),((17),16),((-17),17),((18),18),((-18),19),((3),12),((-3),13),((-30),14),((30),15)], (66)), ("LEQ", [((62),0),((-62),1),((-41),4),((41),5),((63),6),((-63),7),((14),8),((-14),9),((-60),16),((60),17),((-30),18),((30),19),((19),12),((-19),13),((25),14),((-25),15)], (40)), ("LEQ", [((57),0),((-57),1),((54),2),((-54),3),((42),4),((-42),5),((48),6),((-48),7),((52),18),((-52),19),((28),12),((-28),13),((8),14),((-8),15)], (-20)), ("LEQ", [(1,0),((-1),1),((-14),2),((14),3),((31),4),((-31),5),((-65),6),((65),7),((16),18),((-16),19),((-31),12),((31),13),((50),14),((-50),15)], (-53)), ("LEQ", [((22),0),((-22),1),((-12),2),((12),3),((21),6),((-21),7),((47),10),((-47),11),((-42),18),((42),19),((-18),12),((18),13),((69),14),((-69),15)], (-12)), ("LEQ", [((63),0),((-63),1),((56),2),((-56),3),((-14),8),((14),9),((-45),10),((45),11),((2),16),((-2),17),((25),18),((-25),19),((-2),12),((2),13)], (47)), ("LEQ", [((122),4),((-122),5),((46),6),((-46),7),((51),8),((-51),9),((-45),10),((45),11),((-23),16),((23),17),((-56),14),((56),15)], (5)), ("LEQ", [((59),0),((-59),1),((-58),2),((58),3),((91),4),((-91),5),((42),10),((-42),11),((-42),18),((42),19),((74),14),((-74),15)], (50)), ("LEQ", [((105),0),((-105),1),(1,2),((-1),3),((-25),16),((25),17),((-7),18),((7),19),((46),12),((-46),13),((33),14),((-33),15)], (24)), ("GEQ", [((37),0),((-37),1),((58),2),((-58),3),((-54),4),((54),5),((-59),6),((59),7),((-32),10),((32),11),((68),18),((-68),19),((13),14),((-13),15)], (-64)), ("GEQ", [((21),2),((-21),3),((-36),8),((36),9),((9),10),((-9),11),((-43),16),((43),17),((-65),12),((65),13),((64),14),((-64),15)], (-4)), ("GEQ", [((5),2),((-5),3),((33),4),((-33),5),((32),6),((-32),7),((-32),16),((32),17),((-21),18),((21),19),((-16),14),((16),15)], (-24)), ("GEQ", [((3),0),((-3),1),((-26),2),((26),3),((-80),4),((80),5),((63),16),((-63),17),((25),12),((-25),13),((41),14),((-41),15)], (0)), ("GEQ", [((51),6),((-51),7),((49),8),((-49),9),((17),16),((-17),17),((-69),12),((69),13),((67),14),((-67),15)], (-37)), ("GEQ", [((138),4),((-138),5),((18),6),((-18),7),((51),10),((-51),11),((19),12),((-19),13),((-16),14),((16),15)], (62)), ("GEQ", [((63),0),((-63),1),((14),4),((-14),5),((-41),8),((41),9),((79),16),((-79),17),((60),12),((-60),13)], (54)), ("GEQ", [((5),0),((-5),1),((-10),4),((10),5),((-16),8),((16),9),((-70),18),((70),19),((-31),14),((31),15)], (-10)), ("GEQ", [((37),6),((-37),7),((-26),8),((26),9),((60),10),((-60),11),((46),16),((-46),17),((59),18),((-59),19)], (45))]
[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]