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