[("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),((53),2),((-53),3),((85),4),((-85),5),((50),6),((-50),7),((8),8),((-8),9),((-71),10),((71),11),((12),12),((-12),13),((-47),14),((47),15),((66),16),((-66),17)], (-27)), ("LEQ", [((47),2),((-47),3),((-9),4),((9),5),((55),6),((-55),7),((-130),8),((130),9),((-53),18),((53),19),((66),10),((-66),11),((-58),14),((58),15),((52),16),((-52),17)], (-53)), ("LEQ", [((99),4),((-99),5),((-73),6),((73),7),((18),8),((-18),9),((-22),18),((22),19),((-99),10),((99),11),((-26),12),((26),13),((18),14),((-18),15),((-44),16),((44),17)], (-87)), ("LEQ", [((76),2),((-76),3),((-124),4),((124),5),((95),6),((-95),7),((-28),8),((28),9),((-34),18),((34),19),((-35),10),((35),11),((-76),12),((76),13),(1,16),((-1),17)], (-23)), ("LEQ", [((7),0),((-7),1),((2),2),((-2),3),((94),8),((-94),9),((23),10),((-23),11),((55),12),((-55),13),((9),14),((-9),15),((113),16),((-113),17)], (60)), ("LEQ", [((10),0),((-10),1),((18),2),((-18),3),((-78),4),((78),5),((31),6),((-31),7),((115),18),((-115),19),((19),14),((-19),15),((72),16),((-72),17)], (-96)), ("LEQ", [((35),4),((-35),5),((105),6),((-105),7),((-67),8),((67),9),((-63),18),((63),19),((-73),10),((73),11),((42),14),((-42),15),((-44),16),((44),17)], (-33)), ("LEQ", [((95),0),((-95),1),((48),4),((-48),5),((99),6),((-99),7),((81),8),((-81),9),((34),18),((-34),19),((-54),12),((54),13),((85),16),((-85),17)], (-81)), ("LEQ", [((7),0),((-7),1),((-18),4),((18),5),((105),6),((-105),7),((25),8),((-25),9),((-36),18),((36),19),((-41),10),((41),11),((69),14),((-69),15)], (-18)), ("LEQ", [((11),2),((-11),3),((-77),4),((77),5),((-73),6),((73),7),((-56),8),((56),9),((69),18),((-69),19),((155),12),((-155),13),((-136),16),((136),17)], (1)), ("LEQ", [((48),0),((-48),1),((66),2),((-66),3),((53),4),((-53),5),((26),10),((-26),11),((-69),12),((69),13),((-112),14),((112),15)], (-5)), ("LEQ", [((5),0),((-5),1),((62),2),((-62),3),((95),4),((-95),5),((-9),18),((9),19),((21),14),((-21),15),((4),16),((-4),17)], (88)), ("LEQ", [((118),6),((-118),7),((29),8),((-29),9),((-54),18),((54),19),((-22),10),((22),11),((12),14),((-12),15),((-48),16),((48),17)], (93)), ("LEQ", [((32),0),((-32),1),((69),6),((-69),7),((-60),8),((60),9),((-154),10),((154),11),(1,14),((-1),15)], (72)), ("GEQ", [((45),0),((-45),1),((91),2),((-91),3),((66),6),((-66),7),((96),8),((-96),9),((102),10),((-102),11),((-78),12),((78),13),((-89),14),((89),15),((-29),16),((29),17)], (80)), ("GEQ", [((53),0),((-53),1),((99),2),((-99),3),((59),4),((-59),5),((71),18),((-71),19),((-96),10),((96),11),((111),12),((-111),13),((-34),14),((34),15)], (63)), ("GEQ", [((43),0),((-43),1),((87),4),((-87),5),((-20),8),((20),9),((46),18),((-46),19),((89),14),((-89),15),((-6),16),((6),17)], (-3)), ("GEQ", [((67),2),((-67),3),((45),4),((-45),5),((92),8),((-92),9),((-85),10),((85),11),((-63),12),((63),13),((-76),14),((76),15)], (38)), ("GEQ", [((8),0),((-8),1),((-55),4),((55),5),((20),8),((-20),9),((-236),18),((236),19),((-13),10),((13),11),((-12),16),((12),17)], (-83)), ("GEQ", [((83),0),((-83),1),((-77),4),((77),5),((-108),6),((108),7),((-51),18),((51),19),((-63),12),((63),13),((-62),14),((62),15)], (52))]
[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]