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