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