[("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", [((32),0),((-32),1),((20),2),((-20),3),((2),4),((-2),5),((13),6),((-13),7),((16),8),((-16),9),((2),10),((-2),11),((6),12),((-6),13)], (19)), ("LEQ", [((7),2),((-7),3),((26),4),((-26),5),((8),6),((-8),7),((-18),8),((18),9),((-1),14),(1,15),((6),10),((-6),11),((-18),16),((18),17)], (19)), ("LEQ", [((10),0),((-10),1),((-30),4),((30),5),((-28),6),((28),7),((17),18),((-17),19),((-21),14),((21),15),((-21),10),((21),11),((-13),12),((13),13)], (-24)), ("LEQ", [((10),0),((-10),1),((17),2),((-17),3),((54),6),((-54),7),((-27),10),((27),11),((-15),12),((15),13),((-1),16),(1,17)], (-10)), ("LEQ", [((9),0),((-9),1),((-17),4),((17),5),((-26),6),((26),7),((14),14),((-14),15),((14),10),((-14),11),((14),16),((-14),17)], (21)), ("LEQ", [((29),0),((-29),1),((29),4),((-29),5),((21),6),((-21),7),((-17),8),((17),9),((7),12),((-7),13),((27),16),((-27),17)], (21)), ("LEQ", [(1,2),((-1),3),((19),4),((-19),5),((-21),18),((21),19),((-16),14),((16),15),((29),12),((-29),13),((-10),16),((10),17)], (6)), ("LEQ", [((27),0),((-27),1),((-3),6),((3),7),((-21),18),((21),19),((8),8),((-8),9),((26),10),((-26),11),((29),12),((-29),13)], (11)), ("LEQ", [((29),0),((-29),1),((8),18),((-8),19),((-15),8),((15),9),((9),10),((-9),11),((4),12),((-4),13),((-25),16),((25),17)], (0)), ("LEQ", [((10),2),((-10),3),((6),6),((-6),7),((27),14),((-27),15),((-20),10),((20),11),((-9),12),((9),13),((-14),16),((14),17)], (26)), ("LEQ", [((16),0),((-16),1),((-29),2),((29),3),((-48),14),((48),15),((7),10),((-7),11),((4),12),((-4),13)], (16)), ("GEQ", [((16),0),((-16),1),((-21),2),((21),3),((-44),4),((44),5),((-4),6),((4),7),((18),8),((-18),9),((-16),14),((16),15),((14),10),((-14),11),((-18),16),((18),17)], (13)), ("GEQ", [((5),0),((-5),1),((11),2),((-11),3),((-7),6),((7),7),((2),18),((-2),19),((14),8),((-14),9),((-1),12),(1,13),((-24),16),((24),17)], (-14)), ("GEQ", [((11),2),((-11),3),((-13),4),((13),5),((15),6),((-15),7),((-28),18),((28),19),(1,8),((-1),9),((-1),12),(1,13),((4),16),((-4),17)], (14)), ("GEQ", [((24),2),((-24),3),((3),4),((-3),5),((-22),18),((22),19),((-51),8),((51),9),((24),14),((-24),15),((-12),12),((12),13),((27),16),((-27),17)], (26)), ("GEQ", [((16),0),((-16),1),((2),4),((-2),5),((-23),6),((23),7),((18),8),((-18),9),((7),10),((-7),11),((-29),12),((29),13),((-29),16),((29),17)], (24)), ("GEQ", [((27),2),((-27),3),((-7),6),((7),7),((26),8),((-26),9),((-11),14),((11),15),((-20),10),((20),11),((-20),12),((20),13),((-24),16),((24),17)], (17)), ("GEQ", [((3),6),((-3),7),((32),18),((-32),19),((-19),8),((19),9),((-6),10),((6),11),((2),12),((-2),13),((-2),16),((2),17)], (23)), ("GEQ", [((2),0),((-2),1),((-6),2),((6),3),((25),18),((-25),19),((-26),14),((26),15),((-5),10),((5),11),((-28),16),((28),17)], (-21)), ("GEQ", [((6),0),((-6),1),((31),2),((-31),3),((16),8),((-16),9),((-26),14),((26),15),((-13),10),((13),11),((-16),12),((16),13)], (13))] [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]