[("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", [((49),0),((-49),1),((3),2),((-3),3),((179),4),((-179),5),((-52),6),((52),7),((-8),8),((8),9),((19),10),((-19),11),((69),12),((-69),13),((-53),14),((53),15)], (65)), ("LEQ", [((69),0),((-69),1),((-40),2),((40),3),((-122),4),((122),5),((75),8),((-75),9),((93),16),((-93),17),((77),10),((-77),11),((81),12),((-81),13),((38),14),((-38),15)], (-1)), ("LEQ", [((96),0),((-96),1),((-51),18),((51),19),((2),4),((-2),5),((-11),6),((11),7),((62),16),((-62),17),((113),10),((-113),11),((99),14),((-99),15)], (49)), ("LEQ", [((90),0),((-90),1),((52),18),((-52),19),((-12),4),((12),5),((-90),6),((90),7),((18),8),((-18),9),((49),10),((-49),11),((32),14),((-32),15)], (-8)), ("LEQ", [((35),18),((-35),19),((23),2),((-23),3),((62),4),((-62),5),((95),6),((-95),7),((65),16),((-65),17),((-41),10),((41),11),((23),12),((-23),13)], (-53)), ("LEQ", [((24),18),((-24),19),((73),2),((-73),3),((-83),4),((83),5),((-74),8),((74),9),((34),16),((-34),17),((-150),14),((150),15)], (93)), ("LEQ", [((83),0),((-83),1),((75),18),((-75),19),((66),2),((-66),3),((-11),4),((11),5),((29),8),((-29),9),((52),14),((-52),15)], (86)), ("LEQ", [((57),18),((-57),19),((-43),4),((43),5),((171),8),((-171),9),((3),10),((-3),11),((-17),12),((17),13),((-61),14),((61),15)], (19)), ("LEQ", [((70),0),((-70),1),((-79),2),((79),3),((-87),4),((87),5),((-50),16),((50),17),((52),10),((-52),11),((24),12),((-24),13)], (37)), ("LEQ", [((15),0),((-15),1),((-81),18),((81),19),((59),16),((-59),17),((45),12),((-45),13),((79),14),((-79),15)], (0)), ("LEQ", [((75),18),((-75),19),((19),4),((-19),5),((25),6),((-25),7),((-64),8),((64),9),((228),12),((-228),13)], (81)), ("GEQ", [((103),18),((-103),19),((-90),2),((90),3),((20),4),((-20),5),((-78),6),((78),7),((-5),8),((5),9),((-38),16),((38),17),((-49),12),((49),13),((11),14),((-11),15)], (60)), ("GEQ", [((55),2),((-55),3),((91),4),((-91),5),((69),6),((-69),7),((75),8),((-75),9),((-52),16),((52),17),((13),10),((-13),11),((101),12),((-101),13),((53),14),((-53),15)], (94)), ("GEQ", [((52),0),((-52),1),((-17),18),((17),19),((-32),4),((32),5),((76),8),((-76),9),((-20),16),((20),17),((-105),10),((105),11),((-58),14),((58),15)], (64)), ("GEQ", [((4),0),((-4),1),((-24),4),((24),5),((86),6),((-86),7),((-96),16),((96),17),(1,10),((-1),11),((-137),12),((137),13),((78),14),((-78),15)], (-16)), ("GEQ", [((163),0),((-163),1),((95),4),((-95),5),((14),6),((-14),7),((-27),8),((27),9),((2),10),((-2),11),((-30),14),((30),15)], (2)), ("GEQ", [((50),2),((-50),3),((53),4),((-53),5),((11),6),((-11),7),((-22),16),((22),17),((-26),10),((26),11),((23),12),((-23),13)], (99)), ("GEQ", [((46),18),((-46),19),((87),4),((-87),5),(1,6),((-1),7),((-153),16),((153),17),((-100),12),((100),13),((4),14),((-4),15)], (-41)), ("GEQ", [((67),0),((-67),1),((75),18),((-75),19),((18),2),((-18),3),((38),4),((-38),5),((26),16),((-26),17),((95),10),((-95),11)], (-2)), ("GEQ", [((73),18),((-73),19),((-88),2),((88),3),((19),4),((-19),5),((-3),6),((3),7),((-147),16),((147),17),((-8),10),((8),11)], (-89))]
[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]