[("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", [((11),0),((-11),1),((108),2),((-108),3),((69),4),((-69),5),((76),6),((-76),7),((66),8),((-66),9),((-53),10),((53),11),((91),12),((-91),13),((61),14),((-61),15)], (-37)), ("LEQ", [((18),0),((-18),1),((21),2),((-21),3),((43),4),((-43),5),((22),16),((-22),17),((-62),10),((62),11),((66),18),((-66),19),((-156),12),((156),13)], (-41)), ("LEQ", [((63),0),((-63),1),((-43),4),((43),5),((60),6),((-60),7),((87),16),((-87),17),((73),18),((-73),19),((68),12),((-68),13),((54),14),((-54),15)], (-86)), ("LEQ", [((41),0),((-41),1),((-11),2),((11),3),((-49),6),((49),7),((-18),16),((18),17),((-24),8),((24),9),((103),10),((-103),11),((-42),12),((42),13)], (-41)), ("LEQ", [((57),0),((-57),1),((-80),2),((80),3),((34),4),((-34),5),((-92),10),((92),11),((4),18),((-4),19),((-45),12),((45),13),((6),14),((-6),15)], (-68)), ("LEQ", [((116),4),((-116),5),((60),16),((-60),17),((-57),8),((57),9),((-104),10),((104),11),((6),18),((-6),19),((95),12),((-95),13),((-86),14),((86),15)], (14)), ("LEQ", [((72),0),((-72),1),((54),2),((-54),3),((-11),4),((11),5),((-16),6),((16),7),((5),16),((-5),17),((-207),12),((207),13)], (75)), ("LEQ", [(1,0),((-1),1),((53),4),((-53),5),((-29),6),((29),7),((45),16),((-45),17),((-97),8),((97),9),((56),14),((-56),15)], (-1)), ("LEQ", [((138),6),((-138),7),((42),16),((-42),17),((-39),8),((39),9),((131),10),((-131),11),((-38),18),((38),19),((-39),12),((39),13)], (-30)), ("LEQ", [((11),0),((-11),1),((26),2),((-26),3),((-80),6),((80),7),((-65),16),((65),17),((64),12),((-64),13)], (-63)), ("GEQ", [((43),2),((-43),3),((-12),4),((12),5),((56),6),((-56),7),((-25),8),((25),9),((-55),10),((55),11),((36),12),((-36),13),((-22),14),((22),15)], (-73)), ("GEQ", [((166),2),((-166),3),((-48),4),((48),5),((-71),16),((71),17),((63),10),((-63),11),((-43),18),((43),19),((-28),12),((28),13),((-129),14),((129),15)], (33)), ("GEQ", [((2),0),((-2),1),((-29),4),((29),5),((123),6),((-123),7),((44),16),((-44),17),((-118),18),((118),19),((-49),12),((49),13),((40),14),((-40),15)], (12)), ("GEQ", [((126),0),((-126),1),((32),4),((-32),5),((-98),16),((98),17),((-21),8),((21),9),((-41),10),((41),11),((49),18),((-49),19)], (77)), ("GEQ", [((99),6),((-99),7),((31),16),((-31),17),((-34),10),((34),11),((-61),18),((61),19),((-103),12),((103),13),((-2),14),((2),15)], (-9)), ("GEQ", [((200),0),((-200),1),((-3),2),((3),3),((-53),16),((53),17),((-85),10),((85),11),((119),18),((-119),19),((-87),14),((87),15)], (-8)), ("GEQ", [((17),0),((-17),1),((22),2),((-22),3),((20),4),((-20),5),((-22),6),((22),7),((-155),16),((155),17),((13),18),((-13),19)], (-86)), ("GEQ", [((59),0),((-59),1),((13),4),((-13),5),((-34),8),((34),9),((-45),10),((45),11),((81),18),((-81),19),((67),14),((-67),15)], (-61)), ("GEQ", [((44),0),((-44),1),((-110),2),((110),3),((3),4),((-3),5),((36),10),((-36),11),((-32),12),((32),13),((33),14),((-33),15)], (-89)), ("GEQ", [((81),2),((-81),3),((136),4),((-136),5),((38),8),((-38),9),((-36),18),((36),19),((113),14),((-113),15)], (28))]
[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]