[("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", [((9),0),((-9),1),((7),2),((-7),3),((-1),4),(1,5),((-1),6),(1,7),((-6),8),((6),9),((-2),10),((2),11),((-2),12),((2),13)], (-3)), ("LEQ", [((6),0),((-6),1),((9),2),((-9),3),((2),4),((-2),5),((9),14),((-9),15),((-2),6),((2),7),((4),16),((-4),17),((-8),12),((8),13)], (-8)), ("LEQ", [((8),0),((-8),1),((-3),14),((3),15),((-3),18),((3),19),((-5),8),((5),9),((-4),16),((4),17),((-1),10),(1,11),((2),12),((-2),13)], (9)), ("LEQ", [((2),2),((-2),3),((2),4),((-2),5),((-2),14),((2),15),((-7),6),((7),7),((2),8),((-2),9),((6),10),((-6),11),((-7),12),((7),13)], (-5)), ("LEQ", [((5),0),((-5),1),(1,2),((-1),3),((-12),14),((12),15),((-6),16),((6),17),(1,10),((-1),11),((8),12),((-8),13)], (8)), ("LEQ", [((18),0),((-18),1),((7),2),((-7),3),((7),14),((-7),15),((-6),16),((6),17),((-13),10),((13),11)], (0)), ("LEQ", [((4),6),((-4),7),((13),18),((-13),19),((-4),8),((4),9),((5),10),((-5),11)], (-6)), ("LEQ", [(1,0),((-1),1),((8),18),((-8),19),((2),16),((-2),17),((-6),12),((6),13)], (5)), ("GEQ", [((8),2),((-8),3),((3),4),((-3),5),((-2),14),((2),15),((-6),18),((6),19),((-6),8),((6),9),((2),10),((-2),11),((-8),12),((8),13)], (6)), ("GEQ", [((9),0),((-9),1),((-5),14),((5),15),((3),6),((-3),7),((7),18),((-7),19),((-2),16),((2),17),((8),10),((-8),11),((10),12),((-10),13)], (-8)), ("GEQ", [((5),0),((-5),1),((9),2),((-9),3),((-1),4),(1,5),((-8),14),((8),15),((4),6),((-4),7),((-4),8),((4),9),((-2),10),((2),11)], (-1)), ("GEQ", [((4),0),((-4),1),((2),4),((-2),5),((-1),6),(1,7),((-4),18),((4),19),((-3),8),((3),9),((-7),12),((7),13)], (8)), ("GEQ", [((7),0),((-7),1),((3),2),((-3),3),((4),14),((-4),15),((12),8),((-12),9),((8),16),((-8),17),((9),10),((-9),11)], (4)), ("GEQ", [((11),0),((-11),1),((2),4),((-2),5),((-3),6),((3),7),((3),8),((-3),9),((6),10),((-6),11),((-1),12),(1,13)], (7)), ("GEQ", [((3),2),((-3),3),((6),6),((-6),7),((-8),18),((8),19),((3),8),((-3),9),((2),16),((-2),17),((5),10),((-5),11)], (3)), ("GEQ", [((7),2),((-7),3),((9),4),((-9),5),((5),14),((-5),15),((-3),6),((3),7),((10),10),((-10),11)], (4)), ("GEQ", [(1,14),((-1),15),((5),18),((-5),19),((-2),16),((2),17),((-9),10),((9),11),((7),12),((-7),13)], (5)), ("GEQ", [((8),0),((-8),1),((-4),4),((4),5),((-12),6),((12),7),((2),18),((-2),19),((-7),12),((7),13)], (0)), ("GEQ", [((8),0),((-8),1),((3),4),((-3),5),((-5),18),((5),19),((5),16),((-5),17)], (5)), ("GEQ", [((3),4),((-3),5),((-13),14),((13),15),((2),18),((-2),19),((-3),10),((3),11)], (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]