[("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", [((20),0),((-20),1),((-44),2),((44),3),((-16),4),((16),5),((11),6),((-11),7),((21),8),((-21),9),((99),10),((-99),11),((-126),12),((126),13),((-49),14),((49),15)], (57)), ("LEQ", [((6),2),((-6),3),((100),16),((-100),17),((38),4),((-38),5),((-16),6),((16),7),((23),8),((-23),9),((42),18),((-42),19),((63),10),((-63),11),((58),14),((-58),15)], (-37)), ("LEQ", [((34),0),((-34),1),((-27),2),((27),3),((9),16),((-9),17),((6),6),((-6),7),((14),18),((-14),19),((64),10),((-64),11),((-58),12),((58),13)], (15)), ("LEQ", [((14),0),((-14),1),((38),4),((-38),5),((-8),6),((8),7),((26),8),((-26),9),((-39),10),((39),11),((19),12),((-19),13),((5),14),((-5),15)], (-35)), ("LEQ", [((59),2),((-59),3),((-39),16),((39),17),((-26),6),((26),7),((-59),18),((59),19),((-14),10),((14),11),((18),12),((-18),13),((14),14),((-14),15)], (-15)), ("LEQ", [((64),0),((-64),1),((-13),16),((13),17),((103),4),((-103),5),((50),8),((-50),9),((60),10),((-60),11),((9),14),((-9),15)], (58)), ("LEQ", [((13),0),((-13),1),((41),2),((-41),3),((24),6),((-24),7),((-28),8),((28),9),((-64),18),((64),19),((-66),10),((66),11)], (38)), ("LEQ", [((112),0),((-112),1),((-60),4),((60),5),((22),8),((-22),9),((-42),18),((42),19),((-12),10),((12),11),((-25),12),((25),13)], (50)), ("LEQ", [((31),2),((-31),3),((27),6),((-27),7),((-9),8),((9),9),((13),18),((-13),19),((2),10),((-2),11),((-20),12),((20),13)], (17)), ("LEQ", [((28),0),((-28),1),((58),2),((-58),3),((3),16),((-3),17),((34),10),((-34),11),((-28),12),((28),13),((22),14),((-22),15)], (53)), ("LEQ", [((49),16),((-49),17),((41),4),((-41),5),((-73),6),((73),7),((7),18),((-7),19),((-36),10),((36),11),((-3),14),((3),15)], (36)), ("LEQ", [((22),2),((-22),3),((9),16),((-9),17),((45),6),((-45),7),((12),8),((-12),9),((23),10),((-23),11),((58),14),((-58),15)], (-46)), ("LEQ", [((120),2),((-120),3),((-65),16),((65),17),((57),4),((-57),5),((-34),8),((34),9),((51),14),((-51),15)], (11)), ("LEQ", [((80),2),((-80),3),((58),16),((-58),17),((52),4),((-52),5),((-50),8),((50),9),((21),10),((-21),11)], (-38)), ("LEQ", [((6),4),((-6),5),((29),8),((-29),9),((-10),18),((10),19),((65),12),((-65),13),((-66),14),((66),15)], (-38)), ("GEQ", [((11),2),((-11),3),((-56),16),((56),17),((-79),4),((79),5),((-15),8),((15),9),((44),18),((-44),19),((63),10),((-63),11),((-23),12),((23),13)], (-46)), ("GEQ", [((63),0),((-63),1),((56),16),((-56),17),((40),4),((-40),5),((-35),6),((35),7),((50),10),((-50),11),((78),12),((-78),13),((114),14),((-114),15)], (-26)), ("GEQ", [((127),0),((-127),1),((47),16),((-47),17),((-25),4),((25),5),(1,6),((-1),7),((-55),10),((55),11),((-55),12),((55),13),((71),14),((-71),15)], (-24)), ("GEQ", [((62),0),((-62),1),((-19),2),((19),3),((-45),16),((45),17),((30),8),((-30),9),((72),18),((-72),19),((6),10),((-6),11)], (39)), ("GEQ", [((137),16),((-137),17),((16),4),((-16),5),((53),6),((-53),7),((-66),10),((66),11),((-22),14),((22),15)], (-20))]
[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]