[("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", [((90),0),((-90),1),((49),2),((-49),3),((40),4),((-40),5),((31),6),((-31),7),((50),8),((-50),9),((67),10),((-67),11),((53),12),((-53),13),((-74),14),((74),15)], (74)), ("LEQ", [((3),0),((-3),1),((85),16),((-85),17),((21),4),((-21),5),((-27),6),((27),7),((49),8),((-49),9),((43),10),((-43),11),((28),12),((-28),13),((-93),14),((93),15)], (-14)), ("LEQ", [((38),2),((-38),3),((97),4),((-97),5),((-101),6),((101),7),((17),8),((-17),9),((-22),10),((22),11),((86),12),((-86),13),((-2),14),((2),15)], (-76)), ("LEQ", [((75),18),((-75),19),((-9),16),((9),17),((88),2),((-88),3),((-79),4),((79),5),((-50),6),((50),7),(1,8),((-1),9),((-46),12),((46),13)], (54)), ("LEQ", [((6),18),((-6),19),((-8),16),((8),17),((35),6),((-35),7),((-180),8),((180),9),((2),10),((-2),11),((72),12),((-72),13),((20),14),((-20),15)], (-77)), ("LEQ", [((48),0),((-48),1),((-89),16),((89),17),((153),2),((-153),3),((-93),6),((93),7),((75),8),((-75),9),((83),10),((-83),11),((11),12),((-11),13)], (-16)), ("LEQ", [((42),0),((-42),1),((136),16),((-136),17),((-87),2),((87),3),((-10),4),((10),5),((15),6),((-15),7),((96),10),((-96),11),((-26),14),((26),15)], (79)), ("LEQ", [((78),18),((-78),19),((36),16),((-36),17),((26),2),((-26),3),((-21),4),((21),5),((-73),6),((73),7),((-54),10),((54),11),((-50),12),((50),13)], (70)), ("LEQ", [((75),18),((-75),19),((104),16),((-104),17),((25),2),((-25),3),((60),8),((-60),9),((24),10),((-24),11),((-36),12),((36),13)], (5)), ("LEQ", [((14),18),((-14),19),((-39),16),((39),17),((-2),2),((2),3),((-75),6),((75),7),((196),14),((-196),15)], (-81)), ("GEQ", [((62),18),((-62),19),((-7),0),((7),1),((94),2),((-94),3),((68),4),((-68),5),((-54),6),((54),7),((-57),10),((57),11),((89),12),((-89),13),((-83),14),((83),15)], (57)), ("GEQ", [((18),18),((-18),19),((28),0),((-28),1),((108),16),((-108),17),((67),2),((-67),3),((26),6),((-26),7),((24),8),((-24),9),((-99),10),((99),11),((32),12),((-32),13)], (-99)), ("GEQ", [((92),0),((-92),1),((-86),2),((86),3),((51),4),((-51),5),((67),6),((-67),7),((40),8),((-40),9),((49),10),((-49),11),((-15),14),((15),15)], (22)), ("GEQ", [((18),18),((-18),19),((32),16),((-32),17),((-58),2),((58),3),((-65),8),((65),9),((32),10),((-32),11),((-31),12),((31),13),((36),14),((-36),15)], (-25)), ("GEQ", [((17),0),((-17),1),((62),16),((-62),17),((-95),2),((95),3),(1,6),((-1),7),((-1),8),(1,9),((-89),10),((89),11),((-88),12),((88),13)], (-14)), ("GEQ", [((19),18),((-19),19),((-90),0),((90),1),((-21),4),((21),5),((-84),6),((84),7),((73),8),((-73),9),((-55),12),((55),13),((237),14),((-237),15)], (-57)), ("GEQ", [((14),16),((-14),17),((93),4),((-93),5),((38),6),((-38),7),((50),8),((-50),9),((99),10),((-99),11),((86),12),((-86),13),((-15),14),((15),15)], (-16)), ("GEQ", [((43),18),((-43),19),((-24),0),((24),1),((-75),2),((75),3),((-87),6),((87),7),((81),8),((-81),9),((-91),10),((91),11),((-28),12),((28),13)], (88)), ("GEQ", [((70),0),((-70),1),((30),16),((-30),17),((-86),2),((86),3),((48),4),((-48),5),((-48),8),((48),9),((-27),10),((27),11),((-95),14),((95),15)], (-42)), ("GEQ", [((87),18),((-87),19),((-100),16),((100),17),((-56),6),((56),7),((60),10),((-60),11),((-19),12),((19),13)], (-80))]
[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]