[("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", [((9),0),((-9),1),((-38),2),((38),3),((29),4),((-29),5),((-23),6),((23),7),((25),8),((-25),9),((57),10),((-57),11),((-69),12),((69),13),((20),14),((-20),15)], (17)), ("LEQ", [((43),0),((-43),1),((10),2),((-10),3),((31),4),((-31),5),((-51),16),((51),17),((-1),10),(1,11),((58),14),((-58),15),((-58),18),((58),19)], (25)), ("LEQ", [((15),0),((-15),1),((-15),2),((15),3),((44),16),((-44),17),((9),8),((-9),9),((49),12),((-49),13),((-7),14),((7),15),((-14),18),((14),19)], (3)), ("LEQ", [((43),0),((-43),1),((19),2),((-19),3),((-8),4),((8),5),((-43),6),((43),7),(1,8),((-1),9),((-21),18),((21),19)], (-48)), ("LEQ", [((71),0),((-71),1),((27),2),((-27),3),((7),16),((-7),17),((-23),6),((23),7),((5),10),((-5),11),((50),14),((-50),15)], (-52)), ("LEQ", [((35),2),((-35),3),((47),4),((-47),5),((-14),16),((14),17),((16),6),((-16),7),((-101),12),((101),13),((22),14),((-22),15)], (25)), ("LEQ", [((23),2),((-23),3),((23),6),((-23),7),((45),8),((-45),9),((5),10),((-5),11),((70),12),((-70),13),((-106),18),((106),19)], (-51)), ("LEQ", [((24),0),((-24),1),((8),4),((-8),5),((46),16),((-46),17),((51),10),((-51),11),((-29),14),((29),15),((24),18),((-24),19)], (53)), ("GEQ", [((48),0),((-48),1),((-26),4),((26),5),((-11),6),((11),7),((-49),8),((49),9),((34),10),((-34),11),((-17),14),((17),15),((-2),18),((2),19)], (29)), ("GEQ", [((34),0),((-34),1),((-35),4),((35),5),((-49),16),((49),17),((-58),6),((58),7),((22),12),((-22),13),((-46),14),((46),15),((-50),18),((50),19)], (-48)), ("GEQ", [((33),0),((-33),1),((28),2),((-28),3),((-41),4),((41),5),((-18),16),((18),17),((21),6),((-21),7),((19),14),((-19),15),((-19),18),((19),19)], (-40)), ("GEQ", [((27),2),((-27),3),((-21),16),((21),17),((-7),6),((7),7),((27),8),((-27),9),((3),10),((-3),11),((-20),12),((20),13),((-29),14),((29),15)], (26)), ("GEQ", [((5),0),((-5),1),((55),2),((-55),3),((-43),16),((43),17),((27),8),((-27),9),((-34),10),((34),11),((-6),12),((6),13),((-48),14),((48),15)], (-13)), ("GEQ", [((13),0),((-13),1),((-73),2),((73),3),((32),16),((-32),17),((26),8),((-26),9),((42),12),((-42),13),((79),18),((-79),19)], (10)), ("GEQ", [((34),0),((-34),1),((45),2),((-45),3),((-11),4),((11),5),((-30),8),((30),9),((-82),14),((82),15),((10),18),((-10),19)], (16)), ("GEQ", [((18),2),((-18),3),((24),16),((-24),17),((-40),6),((40),7),((59),8),((-59),9),((-30),12),((30),13),((30),18),((-30),19)], (10)), ("GEQ", [((3),0),((-3),1),((-72),16),((72),17),((55),6),((-55),7),((-14),12),((14),13),((-48),14),((48),15),((53),18),((-53),19)], (0)), ("GEQ", [((57),0),((-57),1),((47),4),((-47),5),((-43),16),((43),17),((42),8),((-42),9),((-43),10),((43),11),((19),12),((-19),13)], (-23)), ("GEQ", [((19),2),((-19),3),((9),4),((-9),5),((-51),16),((51),17),((-11),6),((11),7),((13),18),((-13),19)], (3)), ("GEQ", [((58),2),((-58),3),((48),6),((-48),7),((20),8),((-20),9),((-8),10),((8),11),((-15),18),((15),19)], (5))] [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]