[("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", [((39),0),((-39),1),((50),2),((-50),3),((13),4),((-13),5),((-57),6),((57),7),((-13),8),((13),9),((58),10),((-58),11),((35),12),((-35),13),((43),14),((-43),15)], (-47)), ("LEQ", [((13),0),((-13),1),((28),16),((-28),17),((-28),6),((28),7),((44),8),((-44),9),((-3),10),((3),11),((34),18),((-34),19),((-49),12),((49),13),((-55),14),((55),15)], (27)), ("LEQ", [((73),2),((-73),3),((33),4),((-33),5),((-48),6),((48),7),((37),8),((-37),9),((53),10),((-53),11),((22),18),((-22),19),((3),12),((-3),13),((13),14),((-13),15)], (45)), ("LEQ", [((14),0),((-14),1),((-46),2),((46),3),((26),4),((-26),5),((-32),6),((32),7),((10),8),((-10),9),((-45),10),((45),11),((-19),12),((19),13),((22),14),((-22),15)], (-50)), ("LEQ", [((46),0),((-46),1),((52),16),((-52),17),((-26),4),((26),5),((-73),6),((73),7),((-39),8),((39),9),((55),18),((-55),19),((-55),14),((55),15)], (-9)), ("LEQ", [((29),0),((-29),1),((89),2),((-89),3),((-6),4),((6),5),((58),6),((-58),7),((37),8),((-37),9),((53),10),((-53),11),((-25),18),((25),19)], (6)), ("LEQ", [((7),16),((-7),17),((8),2),((-8),3),((51),4),((-51),5),((-42),8),((42),9),((-36),10),((36),11),((49),18),((-49),19),((21),12),((-21),13)], (17)), ("LEQ", [((38),0),((-38),1),((-31),2),((31),3),((-49),4),((49),5),((12),6),((-12),7),((-36),8),((36),9),((54),10),((-54),11)], (-53)), ("LEQ", [((55),0),((-55),1),((-81),16),((81),17),((-18),2),((18),3),((12),4),((-12),5),((-48),6),((48),7),((52),18),((-52),19)], (-15)), ("LEQ", [((41),0),((-41),1),((-20),6),((20),7),((-16),8),((16),9),((34),10),((-34),11),((-43),18),((43),19),((-54),14),((54),15)], (44)), ("LEQ", [((29),0),((-29),1),((48),16),((-48),17),((7),2),((-7),3),((18),4),((-18),5),((40),6),((-40),7),((-8),10),((8),11)], (38)), ("LEQ", [((23),16),((-23),17),((58),2),((-58),3),((61),6),((-61),7),((-28),12),((28),13),((91),14),((-91),15)], (12)), ("GEQ", [((22),0),((-22),1),((3),16),((-3),17),((-20),2),((20),3),((-36),4),((36),5),((-45),6),((45),7),((-17),8),((17),9),((-17),10),((17),11),((-39),18),((39),19)], (-5)), ("GEQ", [((20),0),((-20),1),((-26),16),((26),17),((27),2),((-27),3),((16),4),((-16),5),((-36),6),((36),7),((10),8),((-10),9),((-32),10),((32),11),((-49),12),((49),13)], (0)), ("GEQ", [((12),2),((-12),3),((14),4),((-14),5),((-31),6),((31),7),((-119),8),((119),9),((-60),10),((60),11),((59),18),((-59),19),((59),12),((-59),13)], (-51)), ("GEQ", [((29),2),((-29),3),((-4),4),((4),5),((-138),6),((138),7),((-15),10),((15),11),((-106),18),((106),19),((-32),12),((32),13),((-8),14),((8),15)], (40)), ("GEQ", [((59),0),((-59),1),((-13),16),((13),17),((36),2),((-36),3),((3),4),((-3),5),((31),8),((-31),9),((-44),10),((44),11)], (-35)), ("GEQ", [((25),16),((-25),17),((68),6),((-68),7),((17),8),((-17),9),((107),10),((-107),11),((-48),18),((48),19),((-55),14),((55),15)], (3)), ("GEQ", [((31),0),((-31),1),((14),2),((-14),3),((-37),6),((37),7),((35),18),((-35),19),((-21),12),((21),13),((29),14),((-29),15)], (-56)), ("GEQ", [((28),0),((-28),1),((-52),8),((52),9),((-9),14),((9),15)], (52))]
[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]