[("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", [((76),0),((-76),1),((21),2),((-21),3),((30),4),((-30),5),((27),6),((-27),7),((25),8),((-25),9),((53),10),((-53),11),((-86),12),((86),13),((80),14),((-80),15)], (-47)), ("LEQ", [((51),0),((-51),1),((67),2),((-67),3),((-53),4),((53),5),((48),6),((-48),7),(1,10),((-1),11),((79),16),((-79),17),((46),14),((-46),15)], (43)), ("LEQ", [((46),2),((-46),3),((104),6),((-104),7),((-58),8),((58),9),((-12),10),((12),11),((47),18),((-47),19),((70),12),((-70),13),((-74),14),((74),15)], (-50)), ("LEQ", [((43),4),((-43),5),((100),6),((-100),7),((-79),8),((79),9),((-99),10),((99),11),((-43),16),((43),17),((43),12),((-43),13)], (-54)), ("LEQ", [((27),2),((-27),3),((51),10),((-51),11),((-10),18),((10),19),((41),16),((-41),17),((56),12),((-56),13),((27),14),((-27),15)], (67)), ("LEQ", [((33),0),((-33),1),((-14),2),((14),3),((73),10),((-73),11),((-48),18),((48),19),((-112),16),((112),17),((75),12),((-75),13)], (-35)), ("LEQ", [((79),0),((-79),1),((69),2),((-69),3),((73),4),((-73),5),((23),6),((-23),7),((-10),10),((10),11),((50),12),((-50),13)], (-56)), ("LEQ", [((31),2),((-31),3),((58),4),((-58),5),((68),10),((-68),11),((4),18),((-4),19),((-51),12),((51),13)], (-42)), ("LEQ", [((67),4),((-67),5),((32),8),((-32),9),((-36),10),((36),11),((32),16),((-32),17),((-73),12),((73),13)], (-72)), ("GEQ", [((71),0),((-71),1),((-44),2),((44),3),((41),6),((-41),7),((-116),8),((116),9),((-8),18),((8),19),((35),16),((-35),17),((72),12),((-72),13),((-75),14),((75),15)], (16)), ("GEQ", [((57),2),((-57),3),((-29),4),((29),5),((-79),6),((79),7),((35),8),((-35),9),((36),10),((-36),11),((-72),18),((72),19),((-30),16),((30),17),((-37),12),((37),13)], (1)), ("GEQ", [((20),0),((-20),1),((-47),4),((47),5),((-37),6),((37),7),((3),8),((-3),9),((-38),10),((38),11),((53),12),((-53),13),((-47),14),((47),15)], (-7)), ("GEQ", [((71),0),((-71),1),((-7),4),((7),5),((62),6),((-62),7),((-13),8),((13),9),((-4),10),((4),11),((-65),18),((65),19),((41),16),((-41),17)], (-45)), ("GEQ", [(1,0),((-1),1),((7),4),((-7),5),((11),6),((-11),7),((14),8),((-14),9),((-42),18),((42),19),((65),16),((-65),17),((-124),14),((124),15)], (-75)), ("GEQ", [((32),2),((-32),3),((-69),4),((69),5),((31),6),((-31),7),((78),8),((-78),9),((17),10),((-17),11),((-59),18),((59),19),((-66),16),((66),17)], (-48)), ("GEQ", [((67),2),((-67),3),((-58),4),((58),5),((-10),6),((10),7),((-28),18),((28),19),((52),16),((-52),17),((-40),12),((40),13)], (-31)), ("GEQ", [((8),0),((-8),1),((4),2),((-4),3),((-30),4),((30),5),((21),8),((-21),9),((-135),12),((135),13),((56),14),((-56),15)], (33)), ("GEQ", [((43),4),((-43),5),((48),6),((-48),7),((-36),18),((36),19),((79),16),((-79),17),((47),12),((-47),13),((-19),14),((19),15)], (-70)), ("GEQ", [((77),0),((-77),1),((11),4),((-11),5),((-55),10),((55),11),((-15),18),((15),19),((41),16),((-41),17),((53),12),((-53),13)], (-29)), ("GEQ", [((40),0),((-40),1),((-32),2),((32),3),((13),6),((-13),7),((-33),10),((33),11),((-16),16),((16),17)], (22))]
[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]