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