[("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", [((18),0),((-18),1),((-11),2),((11),3),((-21),4),((21),5),((23),6),((-23),7),((-23),8),((23),9),((24),10),((-24),11),((-3),12),((3),13),((-11),14),((11),15),((17),16),((-17),17)], (-3)), ("LEQ", [((6),0),((-6),1),((-6),2),((6),3),((52),4),((-52),5),((-4),6),((4),7),((22),8),((-22),9),((-18),18),((18),19),((-27),12),((27),13),((-33),16),((33),17)], (-11)), ("LEQ", [((13),0),((-13),1),((-13),2),((13),3),((-20),6),((20),7),((-45),8),((45),9),((-2),18),((2),19),((-1),10),(1,11),((24),12),((-24),13)], (23)), ("LEQ", [((4),0),((-4),1),((-64),2),((64),3),((-13),6),((13),7),((6),8),((-6),9),((-7),12),((7),13),((16),14),((-16),15),((23),16),((-23),17)], (21)), ("LEQ", [((24),0),((-24),1),((-20),6),((20),7),((20),8),((-20),9),((28),10),((-28),11),((-2),12),((2),13),((-29),14),((29),15),((-13),16),((13),17)], (10)), ("LEQ", [((31),0),((-31),1),((-49),2),((49),3),((27),4),((-27),5),((14),6),((-14),7),((-5),8),((5),9),((-19),14),((19),15),((-16),16),((16),17)], (1)), ("LEQ", [((22),0),((-22),1),((11),4),((-11),5),((26),8),((-26),9),((16),18),((-16),19),((-22),12),((22),13),((10),14),((-10),15),((-9),16),((9),17)], (6)), ("LEQ", [((20),0),((-20),1),((-10),2),((10),3),((-10),8),((10),9),((2),18),((-2),19),((10),10),((-10),11),((15),16),((-15),17)], (0)), ("LEQ", [((11),2),((-11),3),((-1),6),(1,7),((-5),8),((5),9),((8),18),((-8),19),((22),14),((-22),15),((15),16),((-15),17)], (-14)), ("LEQ", [((2),0),((-2),1),((36),18),((-36),19),((29),12),((-29),13),((22),14),((-22),15),((4),16),((-4),17)], (-22)), ("LEQ", [((6),0),((-6),1),((4),4),((-4),5),((12),6),((-12),7),((-26),14),((26),15),((55),16),((-55),17)], (-20)), ("LEQ", [((15),2),((-15),3),((2),6),((-2),7),((-22),8),((22),9),((-5),18),((5),19),((-29),12),((29),13)], (-10)), ("LEQ", [((5),0),((-5),1),((-6),2),((6),3),((-24),4),((24),5),((-5),8),((5),9),((10),14),((-10),15)], (17)), ("LEQ", [((16),0),((-16),1),((-8),18),((8),19),((6),10),((-6),11),((2),12),((-2),13),((27),16),((-27),17)], (-16)), ("LEQ", [(1,2),((-1),3),((6),4),((-6),5),((-8),10),((8),11),((-2),14),((2),15)], (-28)), ("LEQ", [((31),0),((-31),1),((-27),2),((27),3),((-38),6),((38),7),((22),8),((-22),9)], (12)), ("GEQ", [((52),0),((-52),1),((5),6),((-5),7),((10),8),((-10),9),((-18),18),((18),19),((-4),12),((4),13),((24),14),((-24),15)], (15)), ("GEQ", [((3),4),((-3),5),((7),6),((-7),7),((-1),8),(1,9),((-68),18),((68),19),((7),12),((-7),13),((4),14),((-4),15)], (29)), ("GEQ", [((7),2),((-7),3),((-11),6),((11),7),((-9),18),((9),19),((-3),10),((3),11),((-4),16),((4),17)], (-4)), ("GEQ", [((7),0),((-7),1),((-52),2),((52),3),((-24),4),((24),5),((-20),6),((20),7),((-2),10),((2),11)], (-26))]
[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]