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