[("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", [((28),0),((-28),1),((-36),2),((36),3),((37),4),((-37),5),((32),6),((-32),7),((-29),8),((29),9),((-17),10),((17),11),((2),12),((-2),13)], (36)), ("LEQ", [((37),14),((-37),15),((-33),2),((33),3),((-49),4),((49),5),((-26),8),((26),9),((9),10),((-9),11),((-27),16),((27),17),((-33),12),((33),13)], (-37)), ("LEQ", [((24),18),((-24),19),((7),2),((-7),3),((49),4),((-49),5),((22),6),((-22),7),((-31),8),((31),9),((-3),10),((3),11),((19),16),((-19),17)], (-6)), ("LEQ", [((35),0),((-35),1),((-34),2),((34),3),((26),6),((-26),7),((-34),8),((34),9),((17),10),((-17),11),((18),16),((-18),17),((35),12),((-35),13)], (25)), ("LEQ", [((23),0),((-23),1),((-34),14),((34),15),((20),18),((-20),19),((49),2),((-49),3),((15),4),((-15),5),((-8),8),((8),9),((-5),12),((5),13)], (8)), ("LEQ", [((12),0),((-12),1),((34),14),((-34),15),((-24),2),((24),3),((-44),6),((44),7),((-3),8),((3),9),((32),10),((-32),11)], (-39)), ("LEQ", [((30),0),((-30),1),((4),14),((-4),15),((-14),18),((14),19),((-39),2),((39),3),((-9),4),((9),5),((34),10),((-34),11)], (-9)), ("LEQ", [((17),0),((-17),1),((11),18),((-11),19),((38),2),((-38),3),((-14),6),((14),7),((-18),16),((18),17),((-54),12),((54),13)], (-34)), ("LEQ", [((45),0),((-45),1),((17),18),((-17),19),((-8),2),((8),3),((-12),8),((12),9),((18),10),((-18),11),((-3),16),((3),17)], (9)), ("LEQ", [((44),0),((-44),1),((34),14),((-34),15),((10),2),((-10),3),((13),6),((-13),7),((-23),10),((23),11),((-5),16),((5),17)], (14)), ("LEQ", [((12),0),((-12),1),((11),14),((-11),15),((-33),2),((33),3),((-34),4),((34),5),((-14),16),((14),17),((-17),12),((17),13)], (-3)), ("LEQ", [((27),0),((-27),1),((-30),8),((30),9),((-9),10),((9),11),((12),16),((-12),17),((65),12),((-65),13)], (19)), ("GEQ", [((5),18),((-5),19),((-19),2),((19),3),((-29),4),((29),5),((-25),6),((25),7),((19),8),((-19),9),((-55),10),((55),11),((-3),12),((3),13)], (0)), ("GEQ", [((39),0),((-39),1),((-34),14),((34),15),((-13),18),((13),19),((4),2),((-4),3),((-18),10),((18),11),((36),16),((-36),17),((-15),12),((15),13)], (-10)), ("GEQ", [((8),14),((-8),15),((-47),18),((47),19),((17),4),((-17),5),((14),6),((-14),7),((75),10),((-75),11),((-29),12),((29),13)], (26)), ("GEQ", [((27),0),((-27),1),((-16),14),((16),15),((-24),18),((24),19),((-41),2),((41),3),((-28),6),((28),7),((-12),10),((12),11)], (-5)), ("GEQ", [((2),2),((-2),3),((-26),4),((26),5),((8),8),((-8),9),((-9),10),((9),11),((72),16),((-72),17),((39),12),((-39),13)], (-27)), ("GEQ", [((30),14),((-30),15),((5),2),((-5),3),((-4),6),((4),7),((26),8),((-26),9),((-7),10),((7),11),((-27),16),((27),17)], (-1)), ("GEQ", [((39),14),((-39),15),((22),18),((-22),19),((17),8),((-17),9),((6),10),((-6),11),((-57),16),((57),17),((-25),12),((25),13)], (-22)), ("GEQ", [((9),0),((-9),1),((-38),18),((38),19),((8),4),((-8),5),((-42),8),((42),9),((36),16),((-36),17)], (-27))]
[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]