[("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", [((35),0),((-35),1),((-45),2),((45),3),((-39),4),((39),5),((31),6),((-31),7),((-70),8),((70),9),((-41),10),((41),11),((3),12),((-3),13),((40),14),((-40),15)], (-12)), ("LEQ", [((76),0),((-76),1),((39),2),((-39),3),((36),4),((-36),5),((33),6),((-33),7),((-25),8),((25),9),((-41),10),((41),11),((87),12),((-87),13),((-70),16),((70),17)], (-57)), ("LEQ", [((29),0),((-29),1),((-40),2),((40),3),((2),4),((-2),5),((52),6),((-52),7),((7),10),((-7),11),((9),12),((-9),13),((12),14),((-12),15),((-52),16),((52),17)], (16)), ("LEQ", [((6),0),((-6),1),((-38),18),((38),19),((-27),2),((27),3),((-76),4),((76),5),((116),6),((-116),7),((15),14),((-15),15),((24),16),((-24),17)], (0)), ("LEQ", [((113),0),((-113),1),((62),18),((-62),19),((46),2),((-46),3),((51),4),((-51),5),((-6),8),((6),9),((56),14),((-56),15),((28),16),((-28),17)], (-14)), ("LEQ", [((23),0),((-23),1),((57),18),((-57),19),((-9),2),((9),3),((-24),4),((24),5),((39),6),((-39),7),((79),8),((-79),9),((-34),14),((34),15)], (-48)), ("LEQ", [((8),0),((-8),1),((27),2),((-27),3),((126),8),((-126),9),((-67),10),((67),11),((-34),12),((34),13),((4),16),((-4),17)], (-12)), ("LEQ", [((79),0),((-79),1),((53),6),((-53),7),((37),8),((-37),9),((-57),12),((57),13),((48),16),((-48),17)], (-54)), ("LEQ", [((40),18),((-40),19),((-3),6),((3),7),((-49),8),((49),9),((-46),10),((46),11),((-13),16),((13),17)], (67)), ("GEQ", [((50),0),((-50),1),((-45),2),((45),3),((73),6),((-73),7),((-122),8),((122),9),((-77),10),((77),11),((29),12),((-29),13),((22),14),((-22),15),((101),16),((-101),17)], (11)), ("GEQ", [((24),0),((-24),1),((46),18),((-46),19),((-7),2),((7),3),((-45),6),((45),7),((32),8),((-32),9),((-67),14),((67),15),((-23),16),((23),17)], (79)), ("GEQ", [((125),0),((-125),1),((38),18),((-38),19),((66),4),((-66),5),((92),6),((-92),7),((-54),12),((54),13),((49),14),((-49),15),((-57),16),((57),17)], (-34)), ("GEQ", [((10),18),((-10),19),((-58),2),((58),3),((27),4),((-27),5),((-76),8),((76),9),((97),10),((-97),11),((67),14),((-67),15),((-33),16),((33),17)], (-62)), ("GEQ", [((41),0),((-41),1),((-36),18),((36),19),((120),4),((-120),5),((-72),6),((72),7),((-12),10),((12),11),((-36),12),((36),13),(1,16),((-1),17)], (33)), ("GEQ", [((67),0),((-67),1),((53),2),((-53),3),((48),4),((-48),5),((-76),6),((76),7),((15),12),((-15),13),((24),14),((-24),15),((59),16),((-59),17)], (30)), ("GEQ", [((19),0),((-19),1),((72),6),((-72),7),((-127),8),((127),9),((-28),10),((28),11),((-143),12),((143),13),((-86),16),((86),17)], (-29)), ("GEQ", [((40),18),((-40),19),((-21),2),((21),3),((85),8),((-85),9),((54),10),((-54),11),((8),14),((-8),15),((18),16),((-18),17)], (42)), ("GEQ", [((16),0),((-16),1),((51),4),((-51),5),((90),6),((-90),7),((-147),8),((147),9),((-60),10),((60),11)], (-23)), ("GEQ", [((64),2),((-64),3),((-55),4),((55),5),((-170),6),((170),7),((-9),8),((9),9),((24),14),((-24),15)], (3)), ("GEQ", [((64),0),((-64),1),((55),18),((-55),19),((41),2),((-41),3),((-54),4),((54),5),((-58),14),((58),15)], (8))]
[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]