[("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", [((20),0),((-20),1),((13),2),((-13),3),((9),4),((-9),5),((-67),6),((67),7),((-25),8),((25),9),((15),10),((-15),11),((7),12),((-7),13)], (19)), ("LEQ", [((29),14),((-29),15),((32),16),((-32),17),((-43),4),((43),5),((-11),6),((11),7),((-49),18),((49),19),((-5),8),((5),9),((32),10),((-32),11)], (-10)), ("LEQ", [((57),0),((-57),1),((24),14),((-24),15),((-9),2),((9),3),((-79),16),((79),17),((17),18),((-17),19),((12),8),((-12),9),((25),12),((-25),13)], (2)), ("LEQ", [((29),0),((-29),1),((49),14),((-49),15),((-15),2),((15),3),((35),16),((-35),17),((28),6),((-28),7),((-30),10),((30),11),((-43),12),((43),13)], (27)), ("LEQ", [((45),0),((-45),1),((12),14),((-12),15),((-40),4),((40),5),((5),6),((-5),7),((-57),8),((57),9),((19),10),((-19),11)], (-49)), ("LEQ", [((27),0),((-27),1),((-38),2),((38),3),((8),16),((-8),17),((48),6),((-48),7),((-36),18),((36),19),((40),12),((-40),13)], (-9)), ("LEQ", [((30),2),((-30),3),((29),16),((-29),17),((17),6),((-17),7),((26),18),((-26),19),((-11),8),((11),9),((28),12),((-28),13)], (19)), ("LEQ", [((14),0),((-14),1),((67),2),((-67),3),((-58),16),((58),17),((44),4),((-44),5),((23),6),((-23),7),((-27),18),((27),19)], (30)), ("GEQ", [((18),0),((-18),1),((-16),14),((16),15),((-18),2),((18),3),((-22),16),((22),17),((-40),4),((40),5),((30),6),((-30),7),((-25),18),((25),19),((28),8),((-28),9),((29),10),((-29),11)], (39)), ("GEQ", [((48),0),((-48),1),((36),14),((-36),15),((66),2),((-66),3),((-31),16),((31),17),((-4),4),((4),5),((15),6),((-15),7),((-7),18),((7),19),((32),10),((-32),11)], (43)), ("GEQ", [((40),0),((-40),1),((-37),14),((37),15),((-40),2),((40),3),((-15),16),((15),17),((-53),4),((53),5),((-40),18),((40),19),((-46),12),((46),13)], (48)), ("GEQ", [((60),14),((-60),15),((-12),2),((12),3),((-35),16),((35),17),((-21),4),((21),5),((-15),8),((15),9),((-30),10),((30),11),((-15),12),((15),13)], (3)), ("GEQ", [((7),14),((-7),15),((-19),2),((19),3),((-30),16),((30),17),((-23),6),((23),7),((-26),8),((26),9),((-39),10),((39),11),((-72),12),((72),13)], (20)), ("GEQ", [((11),0),((-11),1),((7),14),((-7),15),((41),16),((-41),17),((-46),6),((46),7),((81),18),((-81),19),((8),8),((-8),9),((-30),10),((30),11)], (21)), ("GEQ", [((34),2),((-34),3),((-40),16),((40),17),((14),4),((-14),5),((-3),6),((3),7),((29),8),((-29),9),((-6),10),((6),11),((-101),12),((101),13)], (34)), ("GEQ", [((55),0),((-55),1),((47),4),((-47),5),((-3),6),((3),7),((47),18),((-47),19),((40),10),((-40),11)], (-38)), ("GEQ", [((10),0),((-10),1),((77),2),((-77),3),((116),16),((-116),17),((-33),10),((33),11),((-41),12),((41),13)], (27)), ("GEQ", [((31),14),((-31),15),((6),2),((-6),3),((-80),6),((80),7),((-20),18),((20),19),((-36),10),((36),11)], (0)), ("GEQ", [((39),16),((-39),17),((-86),4),((86),5),((-16),18),((16),19),((-12),8),((12),9),((-36),12),((36),13)], (-45)), ("GEQ", [((47),2),((-47),3),((17),6),((-17),7),((-74),8),((74),9),((32),12),((-32),13)], (34))]
[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]