[("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", [((90),0),((-90),1),((-93),2),((93),3),((-42),4),((42),5),((-72),6),((72),7),((-41),8),((41),9),((8),10),((-8),11),((95),12),((-95),13),((-92),14),((92),15),((10),16),((-10),17)], (32)), ("LEQ", [((3),0),((-3),1),((83),2),((-83),3),((-25),6),((25),7),((73),18),((-73),19),((-23),10),((23),11),((-25),12),((25),13),((94),14),((-94),15),((53),16),((-53),17)], (16)), ("LEQ", [((83),0),((-83),1),((-12),2),((12),3),((57),18),((-57),19),((41),10),((-41),11),((-39),12),((39),13),((-60),14),((60),15),((-58),16),((58),17)], (-28)), ("LEQ", [((29),2),((-29),3),((94),4),((-94),5),((-40),6),((40),7),((107),8),((-107),9),((82),12),((-82),13),((78),14),((-78),15),((-11),16),((11),17)], (6)), ("LEQ", [((67),0),((-67),1),((64),6),((-64),7),((-79),8),((79),9),((-17),18),((17),19),((-69),10),((69),11),((2),12),((-2),13),((3),14),((-3),15)], (60)), ("LEQ", [((54),0),((-54),1),((72),2),((-72),3),((2),8),((-2),9),((-12),18),((12),19),((12),10),((-12),11),((29),14),((-29),15)], (-4)), ("LEQ", [((35),0),((-35),1),((-109),4),((109),5),((-72),8),((72),9),((-18),10),((18),11),((-103),12),((103),13),((-68),14),((68),15)], (81)), ("LEQ", [((48),0),((-48),1),((17),18),((-17),19),((38),12),((-38),13),((39),14),((-39),15),((-49),16),((49),17)], (-26)), ("LEQ", [((143),6),((-143),7),((41),18),((-41),19),((-114),12),((114),13),((-145),14),((145),15)], (-97)), ("GEQ", [((86),0),((-86),1),((-75),6),((75),7),((66),8),((-66),9),((-37),18),((37),19),((41),10),((-41),11),((-15),12),((15),13),((21),14),((-21),15),((-25),16),((25),17)], (-40)), ("GEQ", [((35),0),((-35),1),((-48),2),((48),3),((-103),4),((103),5),((26),6),((-26),7),((-69),8),((69),9),((-7),18),((7),19),((8),10),((-8),11),((-16),14),((16),15)], (23)), ("GEQ", [((54),0),((-54),1),((-69),2),((69),3),((-138),4),((138),5),((93),6),((-93),7),((-30),8),((30),9),((-22),18),((22),19),((45),12),((-45),13),((-1),16),(1,17)], (-54)), ("GEQ", [((34),2),((-34),3),((-98),6),((98),7),((14),8),((-14),9),((-32),18),((32),19),((33),10),((-33),11),((64),12),((-64),13),((19),16),((-19),17)], (85)), ("GEQ", [(1,2),((-1),3),((119),4),((-119),5),((-27),8),((27),9),((-37),18),((37),19),((85),10),((-85),11),((82),14),((-82),15),((-142),16),((142),17)], (-54)), ("GEQ", [((37),2),((-37),3),((-144),4),((144),5),((177),6),((-177),7),((54),8),((-54),9),((55),10),((-55),11),((-95),14),((95),15)], (-4)), ("GEQ", [((56),0),((-56),1),((-8),2),((8),3),((27),4),((-27),5),((109),8),((-109),9),((9),10),((-9),11),((-25),12),((25),13)], (-63)), ("GEQ", [((45),0),((-45),1),((13),6),((-13),7),((-72),8),((72),9),((-59),18),((59),19),((-146),10),((146),11),((-70),12),((70),13)], (11)), ("GEQ", [((17),0),((-17),1),((3),2),((-3),3),((-100),6),((100),7),((-21),18),((21),19),((-51),10),((51),11),((-83),14),((83),15)], (15)), ("GEQ", [((151),0),((-151),1),((-57),2),((57),3),((107),8),((-107),9),((32),18),((-32),19),((-72),10),((72),11)], (43)), ("GEQ", [((60),2),((-60),3),((-37),6),((37),7),((-70),18),((70),19),((-66),16),((66),17)], (14))] [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]