[("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", [((53),0),((-53),1),((-24),2),((24),3),((-47),4),((47),5),((11),6),((-11),7),((21),8),((-21),9),((27),10),((-27),11),((24),12),((-24),13),((-17),14),((17),15),((27),16),((-27),17)], (-15)), ("LEQ", [((11),0),((-11),1),((48),2),((-48),3),((-8),6),((8),7),((6),18),((-6),19),((77),8),((-77),9),((-14),10),((14),11),((-5),12),((5),13),((-49),16),((49),17)], (59)), ("LEQ", [((64),0),((-64),1),((-40),2),((40),3),((-84),6),((84),7),((57),8),((-57),9),((-30),10),((30),11),((23),12),((-23),13),((28),16),((-28),17)], (-13)), ("LEQ", [((75),4),((-75),5),((-42),6),((42),7),((-23),8),((23),9),((5),10),((-5),11),((36),12),((-36),13),((-10),14),((10),15),((-21),16),((21),17)], (-44)), ("LEQ", [((43),0),((-43),1),((19),2),((-19),3),((-6),6),((6),7),((-37),18),((37),19),((-72),8),((72),9),((8),10),((-8),11),((25),12),((-25),13)], (-28)), ("LEQ", [((8),0),((-8),1),((16),4),((-16),5),((55),6),((-55),7),((-25),18),((25),19),((-13),8),((13),9),((31),12),((-31),13),((-25),16),((25),17)], (-30)), ("LEQ", [((10),0),((-10),1),((-26),2),((26),3),((12),4),((-12),5),((48),10),((-48),11),((45),12),((-45),13),((21),14),((-21),15)], (29)), ("LEQ", [((6),2),((-6),3),((-39),18),((39),19),((-49),8),((49),9),((-10),10),((10),11),((44),12),((-44),13),((52),16),((-52),17)], (27)), ("LEQ", [((30),0),((-30),1),((-21),6),((21),7),((25),18),((-25),19),((27),12),((-27),13),((48),14),((-48),15),((4),16),((-4),17)], (-5)), ("LEQ", [((40),0),((-40),1),((-51),4),((51),5),((-34),6),((34),7),((44),8),((-44),9),((56),12),((-56),13),((-67),14),((67),15)], (-24)), ("LEQ", [((37),0),((-37),1),((-17),2),((17),3),((-54),8),((54),9),((18),14),((-18),15),((-43),16),((43),17)], (-33)), ("GEQ", [((11),0),((-11),1),((-57),2),((57),3),((-16),4),((16),5),((29),6),((-29),7),((-17),8),((17),9),((-20),10),((20),11),((47),12),((-47),13),((42),16),((-42),17)], (43)), ("GEQ", [((39),2),((-39),3),((44),4),((-44),5),((-27),6),((27),7),((-38),8),((38),9),((47),10),((-47),11),((30),12),((-30),13),((-45),14),((45),15)], (11)), ("GEQ", [((12),0),((-12),1),((-47),6),((47),7),((-31),18),((31),19),((-55),8),((55),9),((-8),10),((8),11),((-10),12),((10),13),((-32),16),((32),17)], (-35)), ("GEQ", [((53),4),((-53),5),((13),6),((-13),7),((-32),8),((32),9),((-42),10),((42),11),((27),12),((-27),13),((-59),14),((59),15)], (23)), ("GEQ", [((3),0),((-3),1),((-85),6),((85),7),((-4),18),((4),19),((-37),10),((37),11),((-51),12),((51),13),((-16),14),((16),15)], (30)), ("GEQ", [((21),2),((-21),3),((6),8),((-6),9),((-42),10),((42),11),((-22),12),((22),13),((-42),14),((42),15),((31),16),((-31),17)], (-15)), ("GEQ", [((30),0),((-30),1),((-11),2),((11),3),((-34),6),((34),7),((-9),8),((9),9),((-32),12),((32),13),((58),14),((-58),15)], (-38)), ("GEQ", [((16),2),((-16),3),((49),8),((-49),9),((61),10),((-61),11),((-55),12),((55),13),((37),14),((-37),15),((28),16),((-28),17)], (58)), ("GEQ", [((35),2),((-35),3),((-51),4),((51),5),((-13),18),((13),19),((-26),14),((26),15),((19),16),((-19),17)], (-4))] [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]