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