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