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