[("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", [((91),0),((-91),1),((26),2),((-26),3),((36),4),((-36),5),((-31),6),((31),7),((-36),8),((36),9),((-24),10),((24),11),((28),12),((-28),13),((-21),14),((21),15)], (-64)), ("LEQ", [((21),16),((-21),17),((54),0),((-54),1),((-11),2),((11),3),((10),4),((-10),5),((-57),6),((57),7),((-56),8),((56),9),((49),10),((-49),11)], (-34)), ("LEQ", [((25),16),((-25),17),((38),0),((-38),1),((54),2),((-54),3),((68),6),((-68),7),((49),8),((-49),9),((77),10),((-77),11),((-65),14),((65),15)], (-54)), ("LEQ", [((43),0),((-43),1),((18),2),((-18),3),((-85),6),((85),7),((-27),8),((27),9),((-16),18),((16),19),((80),10),((-80),11),((51),14),((-51),15)], (66)), ("LEQ", [((14),0),((-14),1),((33),2),((-33),3),((-46),4),((46),5),((-44),6),((44),7),((-6),10),((6),11),((51),14),((-51),15)], (42)), ("LEQ", [((58),0),((-58),1),((11),8),((-11),9),((-31),18),((31),19),((-47),10),((47),11),((29),12),((-29),13),((32),14),((-32),15)], (-9)), ("LEQ", [((46),16),((-46),17),((-31),0),((31),1),((20),2),((-20),3),((27),4),((-27),5),((64),12),((-64),13),((-44),14),((44),15)], (-36)), ("LEQ", [((10),2),((-10),3),((-11),6),((11),7),((35),8),((-35),9),((36),18),((-36),19),((24),10),((-24),11),((-54),12),((54),13)], (-29)), ("LEQ", [((34),16),((-34),17),((26),0),((-26),1),((-84),2),((84),3),((-10),4),((10),5),((47),12),((-47),13)], (39)), ("LEQ", [((2),16),((-2),17),((9),2),((-9),3),((49),4),((-49),5),((-36),6),((36),7),((-2),18),((2),19)], (28)), ("LEQ", [((105),0),((-105),1),((103),6),((-103),7),((79),18),((-79),19),((111),10),((-111),11),((22),12),((-22),13)], (14)), ("GEQ", [((109),2),((-109),3),((60),4),((-60),5),((-20),6),((20),7),((-46),8),((46),9),((57),18),((-57),19),((30),12),((-30),13),((-1),14),(1,15)], (9)), ("GEQ", [((40),16),((-40),17),((4),2),((-4),3),((-44),4),((44),5),((-11),8),((11),9),((43),18),((-43),19),((-64),10),((64),11),((-106),14),((106),15)], (64)), ("GEQ", [((28),16),((-28),17),((16),0),((-16),1),((-24),6),((24),7),((-11),8),((11),9),((2),18),((-2),19),((38),10),((-38),11),((-40),14),((40),15)], (16)), ("GEQ", [((15),0),((-15),1),((-62),2),((62),3),((-48),4),((48),5),((20),6),((-20),7),((-22),8),((22),9),((62),18),((-62),19),((82),10),((-82),11)], (-68)), ("GEQ", [((6),0),((-6),1),((-65),4),((65),5),((-32),6),((32),7),((-4),8),((4),9),((52),10),((-52),11),((-4),12),((4),13),((96),14),((-96),15)], (-43)), ("GEQ", [((7),2),((-7),3),((14),4),((-14),5),((-61),6),((61),7),((7),8),((-7),9),((-62),10),((62),11),((-30),12),((30),13)], (-8)), ("GEQ", [((64),4),((-64),5),((-35),6),((35),7),((45),8),((-45),9),((42),18),((-42),19),((-64),10),((64),11),((-46),14),((46),15)], (-14)), ("GEQ", [((4),0),((-4),1),((-30),2),((30),3),((-112),4),((112),5),((52),6),((-52),7),((57),8),((-57),9),((-63),14),((63),15)], (-48)), ("GEQ", [((59),2),((-59),3),((37),8),((-37),9),((39),18),((-39),19),((-19),10),((19),11),((-4),14),((4),15)], (-48))]
[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]