[("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", [((43),0),((-43),1),((88),2),((-88),3),((58),4),((-58),5),((-66),6),((66),7),((148),8),((-148),9),((-89),10),((89),11),((97),12),((-97),13),((-39),14),((39),15)], (-34)), ("LEQ", [((165),16),((-165),17),((37),0),((-37),1),((5),2),((-5),3),((-2),4),((2),5),((49),18),((-49),19),((-56),6),((56),7),((71),12),((-71),13),((20),14),((-20),15)], (-17)), ("LEQ", [((41),16),((-41),17),((74),0),((-74),1),((-52),2),((52),3),((40),4),((-40),5),((-38),8),((38),9),((28),10),((-28),11),((64),14),((-64),15)], (69)), ("LEQ", [((65),16),((-65),17),((-95),2),((95),3),((53),4),((-53),5),((-128),18),((128),19),((-84),10),((84),11),((46),12),((-46),13),((7),14),((-7),15)], (-81)), ("LEQ", [((91),0),((-91),1),((90),2),((-90),3),((-73),4),((73),5),((-179),8),((179),9),((43),10),((-43),11),((34),12),((-34),13),((37),14),((-37),15)], (-42)), ("LEQ", [((62),0),((-62),1),((52),2),((-52),3),((35),18),((-35),19),((123),6),((-123),7),((-10),10),((10),11),((48),12),((-48),13),((86),14),((-86),15)], (55)), ("LEQ", [((27),0),((-27),1),((-143),2),((143),3),((28),4),((-28),5),((27),18),((-27),19),((-28),8),((28),9),((111),10),((-111),11)], (-59)), ("LEQ", [((19),0),((-19),1),((56),2),((-56),3),((-29),4),((29),5),((-24),18),((24),19),((88),6),((-88),7),((90),10),((-90),11)], (84)), ("LEQ", [((46),16),((-46),17),((-143),0),((143),1),((31),2),((-31),3),((48),8),((-48),9),((34),12),((-34),13),((2),14),((-2),15)], (-9)), ("LEQ", [((91),16),((-91),17),((26),2),((-26),3),((-139),18),((139),19),((-50),6),((50),7),((24),10),((-24),11),((-57),12),((57),13)], (-56)), ("LEQ", [((18),16),((-18),17),((123),0),((-123),1),((56),2),((-56),3),((-56),6),((56),7),((-106),10),((106),11),((23),14),((-23),15)], (39)), ("LEQ", [((157),16),((-157),17),((7),2),((-7),3),((-14),4),((14),5),((-14),8),((14),9),((-41),10),((41),11),((80),14),((-80),15)], (67)), ("LEQ", [((92),16),((-92),17),((288),0),((-288),1),((-32),4),((32),5),((-35),6),((35),7),((-60),8),((60),9)], (-55)), ("GEQ", [((58),16),((-58),17),((43),0),((-43),1),((23),2),((-23),3),((-36),4),((36),5),((-45),8),((45),9),((-16),10),((16),11),((65),12),((-65),13)], (55)), ("GEQ", [((31),2),((-31),3),((18),4),((-18),5),((56),18),((-56),19),((-168),8),((168),9),((-8),10),((8),11),((-85),12),((85),13),((-39),14),((39),15)], (-88)), ("GEQ", [((94),16),((-94),17),((48),2),((-48),3),((-26),18),((26),19),((23),6),((-23),7),((15),10),((-15),11),((-79),12),((79),13),((-63),14),((63),15)], (-52)), ("GEQ", [((41),0),((-41),1),((-4),2),((4),3),((-63),18),((63),19),((59),6),((-59),7),((117),8),((-117),9),((-58),10),((58),11),((34),12),((-34),13)], (74)), ("GEQ", [((49),16),((-49),17),((62),0),((-62),1),((-74),4),((74),5),((71),8),((-71),9),((-51),10),((51),11),((76),14),((-76),15)], (-71)), ("GEQ", [((40),16),((-40),17),((-26),0),((26),1),((-73),2),((73),3),((86),4),((-86),5),((38),18),((-38),19),((48),6),((-48),7)], (-63)), ("GEQ", [((28),0),((-28),1),((-58),4),((58),5),((-79),18),((79),19),((-81),6),((81),7),((-76),12),((76),13),((-9),14),((9),15)], (-30))] [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]