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