[("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", [((44),0),((-44),1),((-17),2),((17),3),((46),4),((-46),5),((19),6),((-19),7),((27),8),((-27),9),((87),10),((-87),11),((37),12),((-37),13),((-4),14),((4),15)], (37)), ("LEQ", [((12),16),((-12),17),((-4),0),((4),1),((-6),18),((6),19),((-4),2),((4),3),((49),6),((-49),7),((-37),8),((37),9),((-39),10),((39),11),((32),12),((-32),13)], (-16)), ("LEQ", [((27),16),((-27),17),((27),0),((-27),1),((33),18),((-33),19),((-1),6),(1,7),((-35),8),((35),9),((2),10),((-2),11),((49),14),((-49),15)], (-41)), ("LEQ", [((55),16),((-55),17),((6),0),((-6),1),((42),18),((-42),19),((45),2),((-45),3),((-24),8),((24),9),((15),10),((-15),11),((-20),12),((20),13)], (41)), ("LEQ", [((8),16),((-8),17),((32),18),((-32),19),((48),2),((-48),3),((26),4),((-26),5),((-53),8),((53),9),((69),12),((-69),13),((11),14),((-11),15)], (37)), ("LEQ", [((39),0),((-39),1),((-19),18),((19),19),((-3),4),((3),5),((17),6),((-17),7),((43),10),((-43),11),((83),12),((-83),13),((-8),14),((8),15)], (-25)), ("LEQ", [((36),16),((-36),17),((24),18),((-24),19),((-32),2),((32),3),((41),4),((-41),5),((15),10),((-15),11),((33),12),((-33),13),((47),14),((-47),15)], (-37)), ("LEQ", [((5),0),((-5),1),((-48),18),((48),19),((-15),2),((15),3),((-18),4),((18),5),((41),6),((-41),7),((23),10),((-23),11),((-20),12),((20),13)], (-14)), ("LEQ", [((36),18),((-36),19),((40),4),((-40),5),((-39),6),((39),7),((7),8),((-7),9),((70),10),((-70),11),((12),12),((-12),13)], (31)), ("LEQ", [((4),16),((-4),17),((74),0),((-74),1),((-17),18),((17),19),((10),4),((-10),5),((-17),10),((17),11),((19),14),((-19),15)], (40)), ("LEQ", [((29),16),((-29),17),((-4),0),((4),1),((-48),8),((48),9),((-21),10),((21),11),((5),12),((-5),13),((50),14),((-50),15)], (-3)), ("LEQ", [((12),16),((-12),17),((-7),0),((7),1),((-57),18),((57),19),((55),2),((-55),3),((-22),8),((22),9),((-1),10),(1,11)], (-12)), ("LEQ", [((7),0),((-7),1),((36),18),((-36),19),((34),6),((-34),7),((4),8),((-4),9),((-2),10),((2),11),((-4),14),((4),15)], (-41)), ("LEQ", [((44),0),((-44),1),((-18),18),((18),19),((-6),2),((6),3),((12),6),((-12),7),((67),8),((-67),9),((-7),12),((7),13)], (12)), ("LEQ", [((4),16),((-4),17),((71),0),((-71),1),((-30),12),((30),13),((20),14),((-20),15)], (34)), ("GEQ", [((28),16),((-28),17),((31),0),((-31),1),((-50),18),((50),19),((36),2),((-36),3),((-43),6),((43),7),((-19),10),((19),11),((7),12),((-7),13),((-16),14),((16),15)], (41)), ("GEQ", [((16),0),((-16),1),((-12),18),((12),19),((-74),2),((74),3),((-7),4),((7),5),((31),12),((-31),13),((-7),14),((7),15)], (-49)), ("GEQ", [((48),16),((-48),17),((-28),2),((28),3),((-41),6),((41),7),((-36),10),((36),11),((-2),12),((2),13),((27),14),((-27),15)], (43)), ("GEQ", [((34),0),((-34),1),((47),18),((-47),19),((8),4),((-8),5),((-33),8),((33),9),((42),10),((-42),11),((-9),14),((9),15)], (-41)), ("GEQ", [((35),16),((-35),17),((23),0),((-23),1),((-40),18),((40),19),((-57),8),((57),9),((8),14),((-8),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]