[("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", [((36),0),((-36),1),((-41),2),((41),3),((-56),4),((56),5),((-17),6),((17),7),((82),8),((-82),9),((66),10),((-66),11),((123),12),((-123),13),((77),14),((-77),15)], (-35)), ("LEQ", [((56),16),((-56),17),((-33),0),((33),1),((-61),2),((61),3),((49),8),((-49),9),((-1),10),(1,11),((130),12),((-130),13),((30),14),((-30),15)], (4)), ("LEQ", [((49),18),((-49),19),((44),16),((-44),17),((-33),2),((33),3),((-39),4),((39),5),((-67),6),((67),7),((63),10),((-63),11),((-48),12),((48),13)], (21)), ("LEQ", [((76),18),((-76),19),((63),16),((-63),17),((9),0),((-9),1),((-32),6),((32),7),((-40),8),((40),9),((-66),10),((66),11),((-25),14),((25),15)], (-77)), ("LEQ", [((73),18),((-73),19),((52),16),((-52),17),((-52),0),((52),1),((-27),2),((27),3),((73),4),((-73),5),((-22),6),((22),7),((54),14),((-54),15)], (25)), ("LEQ", [((56),16),((-56),17),((-13),0),((13),1),((-70),2),((70),3),((3),4),((-3),5),((-23),6),((23),7),((76),10),((-76),11),((-96),12),((96),13)], (-38)), ("LEQ", [((41),16),((-41),17),((45),0),((-45),1),((-85),2),((85),3),((55),4),((-55),5),((75),8),((-75),9)], (42)), ("LEQ", [((56),18),((-56),19),((-26),16),((26),17),((95),2),((-95),3),((11),8),((-11),9),((-77),12),((77),13)], (69)), ("GEQ", [((44),18),((-44),19),((-135),16),((135),17),((32),2),((-32),3),((33),4),((-33),5),((-62),6),((62),7),((-58),8),((58),9),((-7),10),((7),11),((-73),14),((73),15)], (-67)), ("GEQ", [((34),18),((-34),19),((-72),0),((72),1),((76),2),((-76),3),((61),4),((-61),5),((27),6),((-27),7),((-111),12),((111),13),((10),14),((-10),15)], (55)), ("GEQ", [((54),18),((-54),19),((-6),0),((6),1),((87),2),((-87),3),((11),6),((-11),7),((17),10),((-17),11),((-58),12),((58),13),((-29),14),((29),15)], (-5)), ("GEQ", [((56),16),((-56),17),((-54),0),((54),1),((-15),4),((15),5),((-69),6),((69),7),((-78),10),((78),11),((-62),12),((62),13),((57),14),((-57),15)], (74)), ("GEQ", [((74),18),((-74),19),((-8),0),((8),1),((-143),6),((143),7),((-74),8),((74),9),((-27),10),((27),11),((65),12),((-65),13),((2),14),((-2),15)], (-11)), ("GEQ", [((51),18),((-51),19),((-38),16),((38),17),((-29),0),((29),1),((72),2),((-72),3),((18),4),((-18),5),((-47),6),((47),7),((-55),8),((55),9)], (-43)), ("GEQ", [((54),18),((-54),19),((24),16),((-24),17),((29),4),((-29),5),((-59),6),((59),7),((-54),8),((54),9),((18),14),((-18),15)], (58)), ("GEQ", [((68),18),((-68),19),((66),16),((-66),17),((-134),0),((134),1),((51),2),((-51),3),((43),4),((-43),5),(1,12),((-1),13)], (-36)), ("GEQ", [((36),18),((-36),19),((-30),0),((30),1),((-40),2),((40),3),((-51),6),((51),7),((20),8),((-20),9),((64),12),((-64),13)], (-75)), ("GEQ", [((8),18),((-8),19),((42),16),((-42),17),((-47),0),((47),1),((-26),6),((26),7),((-13),8),((13),9),((-75),14),((75),15)], (51)), ("GEQ", [((81),18),((-81),19),((-30),16),((30),17),((-48),2),((48),3),((-68),8),((68),9),((-198),10),((198),11)], (65)), ("GEQ", [((31),18),((-31),19),((-35),0),((35),1),((-43),12),((43),13),((-115),14),((115),15)], (26))]
[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]