[("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", [((19),0),((-19),1),((10),2),((-10),3),((24),4),((-24),5),(1,6),((-1),7),((-1),8),(1,9),((-3),10),((3),11),((-26),12),((26),13),((-12),14),((12),15)], (14)), ("LEQ", [(1,0),((-1),1),((-29),2),((29),3),((12),4),((-12),5),((25),6),((-25),7),((16),8),((-16),9),((35),10),((-35),11),((-37),12),((37),13),((15),14),((-15),15)], (26)), ("LEQ", [((43),0),((-43),1),((2),16),((-2),17),((-6),2),((6),3),((-15),4),((15),5),((2),8),((-2),9),((38),10),((-38),11),((-15),12),((15),13),((-6),14),((6),15)], (-17)), ("LEQ", [((21),0),((-21),1),((2),16),((-2),17),((4),2),((-4),3),((37),4),((-37),5),((33),8),((-33),9),((32),10),((-32),11),((24),12),((-24),13)], (-35)), ("LEQ", [((13),16),((-13),17),((4),2),((-4),3),((9),4),((-9),5),((-35),8),((35),9),((-4),10),((4),11),((32),12),((-32),13),((-10),14),((10),15)], (0)), ("LEQ", [(1,18),((-1),19),((4),2),((-4),3),((36),4),((-36),5),((-36),6),((36),7),(1,8),((-1),9),((31),12),((-31),13),((33),14),((-33),15)], (33)), ("LEQ", [((22),18),((-22),19),((34),16),((-34),17),((-6),2),((6),3),((23),4),((-23),5),((-40),6),((40),7),((-6),10),((6),11),((35),14),((-35),15)], (24)), ("LEQ", [((31),0),((-31),1),((85),16),((-85),17),((22),4),((-22),5),((14),8),((-14),9),((-17),10),((17),11),((-10),12),((10),13)], (37)), ("LEQ", [((26),18),((-26),19),((3),0),((-3),1),((12),2),((-12),3),((36),6),((-36),7),((-8),8),((8),9),((-29),12),((29),13)], (29)), ("LEQ", [((14),0),((-14),1),((36),16),((-36),17),((-7),6),((7),7),((35),10),((-35),11),((-10),12),((10),13)], (23)), ("LEQ", [((30),0),((-30),1),((-29),16),((29),17),((-21),4),((21),5),(1,6),((-1),7),((11),8),((-11),9)], (36)), ("LEQ", [((21),18),((-21),19),((14),0),((-14),1),((-28),16),((28),17),((-29),2),((29),3),((-43),6),((43),7)], (31)), ("LEQ", [((52),2),((-52),3),((-16),4),((16),5),((11),8),((-11),9),((77),10),((-77),11),((-36),14),((36),15)], (27)), ("LEQ", [((47),16),((-47),17),((39),8),((-39),9),((55),10),((-55),11),((-30),12),((30),13)], (18)), ("GEQ", [((5),18),((-5),19),((-11),2),((11),3),((25),4),((-25),5),((-21),8),((21),9),((36),10),((-36),11),((-6),12),((6),13),((36),14),((-36),15)], (-39)), ("GEQ", [((5),18),((-5),19),((-36),16),((36),17),((6),2),((-6),3),((-37),4),((37),5),((-24),6),((24),7),((-23),8),((23),9),((-19),10),((19),11)], (-10)), ("GEQ", [((28),18),((-28),19),((-25),0),((25),1),((22),16),((-22),17),((-17),2),((17),3),((-6),4),((6),5),((-21),14),((21),15)], (-23)), ("GEQ", [((11),18),((-11),19),((-32),0),((32),1),((-53),16),((53),17),((-16),4),((16),5),((-29),6),((29),7),((-30),10),((30),11)], (-38)), ("GEQ", [((9),0),((-9),1),((-1),16),(1,17),((17),2),((-17),3),((22),4),((-22),5),((17),10),((-17),11),((-32),12),((32),13)], (-37)), ("GEQ", [((12),2),((-12),3),((-4),8),((4),9),((-21),12),((21),13),((3),14),((-3),15)], (17))]
[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]