[("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", [((145),0),((-145),1),((47),2),((-47),3),((19),4),((-19),5),((-28),6),((28),7),((87),8),((-87),9),((-3),10),((3),11),((3),12),((-3),13),((19),14),((-19),15)], (18)), ("LEQ", [((32),0),((-32),1),((74),2),((-74),3),((-38),8),((38),9),((-138),16),((138),17),((-28),10),((28),11),((85),12),((-85),13),((-8),14),((8),15)], (-36)), ("LEQ", [((10),0),((-10),1),((42),2),((-42),3),((25),4),((-25),5),((47),18),((-47),19),((88),8),((-88),9),((59),12),((-59),13),((-12),14),((12),15)], (18)), ("LEQ", [((26),2),((-26),3),((-2),4),((2),5),((-53),18),((53),19),((-48),6),((48),7),((-86),16),((86),17),((-16),10),((16),11),((-89),14),((89),15)], (-77)), ("LEQ", [((51),0),((-51),1),((33),2),((-33),3),((-59),8),((59),9),((87),16),((-87),17),((77),10),((-77),11),((-36),12),((36),13),((-10),14),((10),15)], (29)), ("LEQ", [((82),0),((-82),1),((21),4),((-21),5),((-3),8),((3),9),((98),16),((-98),17),((-23),10),((23),11),((-48),14),((48),15)], (-43)), ("LEQ", [((4),0),((-4),1),((2),2),((-2),3),((156),4),((-156),5),((51),18),((-51),19),((-20),6),((20),7),((-93),14),((93),15)], (45)), ("LEQ", [((72),0),((-72),1),((-17),4),((17),5),((-31),6),((31),7),((30),8),((-30),9),((-19),10),((19),11),((3),12),((-3),13)], (-79)), ("LEQ", [((65),2),((-65),3),((-9),4),((9),5),((78),18),((-78),19),((116),8),((-116),9),((-58),16),((58),17),((20),14),((-20),15)], (33)), ("LEQ", [((69),0),((-69),1),((38),2),((-38),3),((77),18),((-77),19),((21),6),((-21),7),((-88),16),((88),17),((-7),14),((7),15)], (51)), ("LEQ", [((42),0),((-42),1),((-18),2),((18),3),((71),18),((-71),19),((14),8),((-14),9),((-46),12),((46),13)], (66)), ("LEQ", [((43),2),((-43),3),((-58),4),((58),5),((-3),10),((3),11),((-65),12),((65),13),((40),14),((-40),15)], (8)), ("GEQ", [((9),0),((-9),1),((-46),4),((46),5),((37),18),((-37),19),((-65),6),((65),7),((8),16),((-8),17),((-56),10),((56),11),((6),12),((-6),13)], (-5)), ("GEQ", [((48),0),((-48),1),((-9),2),((9),3),((-69),4),((69),5),((71),18),((-71),19),((-47),16),((47),17),((-15),10),((15),11),((-54),12),((54),13)], (-30)), ("GEQ", [((66),0),((-66),1),((-17),18),((17),19),((21),8),((-21),9),((60),16),((-60),17),((62),10),((-62),11),((-43),12),((43),13),((39),14),((-39),15)], (54)), ("GEQ", [((38),0),((-38),1),((73),6),((-73),7),((-92),8),((92),9),((-70),16),((70),17),((46),10),((-46),11),((-82),12),((82),13),((-15),14),((15),15)], (-30)), ("GEQ", [((34),2),((-34),3),((-68),18),((68),19),((-61),6),((61),7),((-19),8),((19),9),((-75),16),((75),17),((-29),14),((29),15)], (-26)), ("GEQ", [((57),0),((-57),1),((97),2),((-97),3),((-14),18),((14),19),((41),8),((-41),9),((112),10),((-112),11),((-39),12),((39),13)], (66)), ("GEQ", [((6),0),((-6),1),((-46),18),((46),19),((-44),6),((44),7),((-43),8),((43),9),((-30),16),((30),17),((-46),10),((46),11)], (22)), ("GEQ", [((62),0),((-62),1),((-50),4),((50),5),((27),18),((-27),19),((54),8),((-54),9),((-135),16),((135),17),((47),12),((-47),13)], (2))]
[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]