[("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", [((27),0),((-27),1),((15),2),((-15),3),(1,4),((-1),5),((-6),6),((6),7),((4),8),((-4),9),((-31),10),((31),11),((-22),12),((22),13),((-89),14),((89),15)], (-5)), ("LEQ", [((47),0),((-47),1),((52),16),((-52),17),((-5),18),((5),19),((44),4),((-44),5),((40),8),((-40),9),((-41),10),((41),11),((43),12),((-43),13),((24),14),((-24),15)], (39)), ("LEQ", [((31),0),((-31),1),((37),16),((-37),17),((-29),18),((29),19),((41),2),((-41),3),((-57),6),((57),7),((-10),8),((10),9),((43),14),((-43),15)], (-19)), ("LEQ", [((44),0),((-44),1),((6),4),((-6),5),((-93),6),((93),7),((41),8),((-41),9),((22),10),((-22),11),((-16),12),((16),13),((20),14),((-20),15)], (34)), ("LEQ", [((32),0),((-32),1),((86),16),((-86),17),((42),2),((-42),3),((-59),4),((59),5),((8),8),((-8),9),((-29),10),((29),11),((-5),14),((5),15)], (53)), ("LEQ", [((35),0),((-35),1),((36),18),((-36),19),((7),2),((-7),3),((33),4),((-33),5),((-4),8),((4),9),((45),10),((-45),11),((-11),14),((11),15)], (47)), ("LEQ", [((25),0),((-25),1),((19),16),((-19),17),((28),2),((-28),3),((-95),4),((95),5),((-46),6),((46),7),((77),8),((-77),9),((-28),10),((28),11)], (39)), ("LEQ", [((25),0),((-25),1),((41),16),((-41),17),((-29),2),((29),3),((-27),6),((27),7),((39),10),((-39),11),((47),14),((-47),15)], (-9)), ("LEQ", [((30),0),((-30),1),((6),16),((-6),17),((-33),18),((33),19),((-24),8),((24),9),((-89),10),((89),11),((-15),12),((15),13)], (-50)), ("LEQ", [((5),16),((-5),17),((-16),18),((16),19),((-21),6),((21),7),((29),8),((-29),9),((-59),10),((59),11),((-26),12),((26),13)], (-26)), ("LEQ", [((45),0),((-45),1),((-59),16),((59),17),((90),18),((-90),19),((-26),6),((26),7),((41),8),((-41),9),((55),12),((-55),13)], (17)), ("LEQ", [((56),0),((-56),1),((-19),18),((19),19),((-7),2),((7),3),((3),6),((-3),7),((13),8),((-13),9),((75),14),((-75),15)], (33)), ("LEQ", [((56),16),((-56),17),((-29),4),((29),5),((48),6),((-48),7),((97),10),((-97),11),((-28),12),((28),13),((35),14),((-35),15)], (-44)), ("LEQ", [((36),16),((-36),17),((47),4),((-47),5),((48),10),((-48),11),((-21),12),((21),13),((28),14),((-28),15)], (37)), ("GEQ", [((21),18),((-21),19),((-5),2),((5),3),((-45),4),((45),5),((-14),6),((14),7),((-50),8),((50),9),((38),10),((-38),11),((-59),12),((59),13)], (-39)), ("GEQ", [((42),0),((-42),1),((-6),16),((6),17),((-21),2),((21),3),((31),6),((-31),7),((-53),8),((53),9),((48),10),((-48),11),((-18),12),((18),13)], (26)), ("GEQ", [((31),0),((-31),1),((-25),16),((25),17),((3),4),((-3),5),((59),6),((-59),7),((43),8),((-43),9),((12),10),((-12),11),((35),14),((-35),15)], (53)), ("GEQ", [((56),0),((-56),1),((59),16),((-59),17),((-40),18),((40),19),((45),2),((-45),3),((37),8),((-37),9),((-23),10),((23),11),((14),12),((-14),13)], (-17)), ("GEQ", [((14),0),((-14),1),((-88),18),((88),19),((-9),4),((9),5),((36),6),((-36),7),((33),8),((-33),9),((59),14),((-59),15)], (55)), ("GEQ", [((11),16),((-11),17),((-7),2),((7),3),((-21),4),((21),5),((-6),8),((6),9),((-29),14),((29),15)], (41))] [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]