[("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", [((4),0),((-4),1),((2),2),((-2),3),((12),4),((-12),5),((14),6),((-14),7),((-10),8),((10),9),((5),10),((-5),11),((10),12),((-10),13),((-3),14),((3),15),((3),16),((-3),17)], (-3)), ("LEQ", [((9),0),((-9),1),((17),2),((-17),3),((14),4),((-14),5),((14),18),((-14),19),((16),8),((-16),9),((16),10),((-16),11),((-11),14),((11),15),((10),16),((-10),17)], (0)), ("LEQ", [((16),0),((-16),1),((-24),2),((24),3),((-6),18),((6),19),((-15),6),((15),7),((-3),8),((3),9),((10),12),((-10),13),((2),14),((-2),15),((15),16),((-15),17)], (-5)), ("LEQ", [((17),4),((-17),5),((-15),18),((15),19),((18),6),((-18),7),((14),8),((-14),9),((-18),10),((18),11),((6),12),((-6),13),((-17),16),((17),17)], (1)), ("LEQ", [((7),2),((-7),3),((11),18),((-11),19),((15),6),((-15),7),((12),8),((-12),9),(1,12),((-1),13),((-5),14),((5),15),((-22),16),((22),17)], (-19)), ("LEQ", [((13),0),((-13),1),((14),2),((-14),3),((-3),4),((3),5),((-14),18),((14),19),((-28),6),((28),7),((-8),12),((8),13),((12),14),((-12),15)], (11)), ("LEQ", [((2),4),((-2),5),((6),6),((-6),7),((-7),8),((7),9),((8),10),((-8),11),((5),12),((-5),13),((-10),16),((10),17)], (-17)), ("LEQ", [(1,0),((-1),1),((-11),2),((11),3),((-14),18),((14),19),((3),8),((-3),9),((-2),10),((2),11),((-9),14),((9),15)], (2)), ("LEQ", [(1,0),((-1),1),((-23),6),((23),7),((-7),8),((7),9),((-16),10),((16),11),(1,12),((-1),13),((4),14),((-4),15)], (-1)), ("LEQ", [((28),0),((-28),1),((-38),4),((38),5),((5),18),((-5),19),((-6),8),((6),9),((-25),14),((25),15)], (0)), ("LEQ", [((16),0),((-16),1),((2),2),((-2),3),((13),12),((-13),13)], (3)), ("GEQ", [((18),0),((-18),1),((-10),2),((10),3),((2),4),((-2),5),((17),18),((-17),19),((-30),6),((30),7),(1,8),((-1),9),((-7),10),((7),11),(1,14),((-1),15)], (-10)), ("GEQ", [((3),0),((-3),1),((17),4),((-17),5),((-16),18),((16),19),((7),8),((-7),9),((-5),10),((5),11),((-4),12),((4),13),((2),14),((-2),15),(1,16),((-1),17)], (-3)), ("GEQ", [(1,2),((-1),3),((3),4),((-3),5),((4),6),((-4),7),((13),8),((-13),9),((2),10),((-2),11),((-18),12),((18),13),(1,16),((-1),17)], (18)), ("GEQ", [((13),2),((-13),3),((12),4),((-12),5),((-13),6),((13),7),((23),8),((-23),9),((-5),10),((5),11),((-16),14),((16),15),((-10),16),((10),17)], (0)), ("GEQ", [((13),2),((-13),3),((-1),18),(1,19),((-26),6),((26),7),((-14),8),((14),9),((12),10),((-12),11),((-12),12),((12),13),((-31),14),((31),15)], (-19)), ("GEQ", [((8),0),((-8),1),((27),4),((-27),5),((-10),6),((10),7),((-4),8),((4),9),((-19),10),((19),11),((3),14),((-3),15),((-7),16),((7),17)], (17)), ("GEQ", [((11),0),((-11),1),((28),2),((-28),3),((4),6),((-4),7),((-16),8),((16),9),((10),10),((-10),11),((6),12),((-6),13)], (5)), ("GEQ", [((5),0),((-5),1),((4),2),((-4),3),((9),4),((-9),5),((-11),6),((11),7),((-25),10),((25),11),((-11),14),((11),15)], (6)), ("GEQ", [((14),0),((-14),1),((-20),4),((20),5),((-19),8),((19),9),((5),10),((-5),11),((-8),14),((8),15)], (-15))]
[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]