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