[("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", [((112),0),((-112),1),((32),2),((-32),3),((23),4),((-23),5),((32),6),((-32),7),((71),8),((-71),9),((-7),10),((7),11),((-56),12),((56),13),((-78),14),((78),15)], (6)), ("LEQ", [((24),16),((-24),17),((18),0),((-18),1),((-42),2),((42),3),((-99),4),((99),5),((-37),8),((37),9),((5),18),((-5),19),((-62),10),((62),11),((-63),14),((63),15)], (-21)), ("LEQ", [((107),16),((-107),17),((6),2),((-6),3),((-38),4),((38),5),((25),8),((-25),9),((20),18),((-20),19),((58),12),((-58),13),((-77),14),((77),15)], (-61)), ("LEQ", [((196),16),((-196),17),((-144),2),((144),3),((-2),4),((2),5),((117),6),((-117),7),((-46),8),((46),9),((23),12),((-23),13)], (-58)), ("LEQ", [((40),0),((-40),1),((-14),4),((14),5),((-43),6),((43),7),((-28),10),((28),11),((78),12),((-78),13),((-56),14),((56),15)], (47)), ("LEQ", [((33),16),((-33),17),((-61),0),((61),1),((-59),2),((59),3),((114),6),((-114),7),((53),8),((-53),9),((50),18),((-50),19)], (-7)), ("LEQ", [((9),2),((-9),3),((-25),4),((25),5),((175),6),((-175),7),((14),8),((-14),9),((-58),18),((58),19),((-48),14),((48),15)], (56)), ("LEQ", [((98),0),((-98),1),((44),2),((-44),3),((55),6),((-55),7),((67),8),((-67),9),((-47),10),((47),11),((-83),14),((83),15)], (40)), ("LEQ", [((62),0),((-62),1),((-49),2),((49),3),((45),4),((-45),5),((70),18),((-70),19),((8),10),((-8),11),((-65),12),((65),13)], (-24)), ("LEQ", [((70),0),((-70),1),((90),2),((-90),3),((71),18),((-71),19),((-11),10),((11),11),((-107),12),((107),13),((-64),14),((64),15)], (38)), ("LEQ", [((64),16),((-64),17),((-85),2),((85),3),((33),4),((-33),5),((25),18),((-25),19),((122),10),((-122),11)], (-44)), ("LEQ", [((23),16),((-23),17),((50),2),((-50),3),((3),8),((-3),9),((79),18),((-79),19),((-14),12),((14),13)], (0)), ("LEQ", [((109),0),((-109),1),((-64),2),((64),3),((40),6),((-40),7),((68),10),((-68),11),((35),14),((-35),15)], (-56)), ("GEQ", [((32),16),((-32),17),((-6),0),((6),1),((-54),4),((54),5),((15),6),((-15),7),(1,18),((-1),19),((-69),10),((69),11),((14),12),((-14),13),((-76),14),((76),15)], (1)), ("GEQ", [((18),0),((-18),1),((-63),4),((63),5),((-31),8),((31),9),((-20),18),((20),19),((-43),10),((43),11),((-54),12),((54),13),(1,14),((-1),15)], (6)), ("GEQ", [((22),16),((-22),17),((-8),2),((8),3),((-33),6),((33),7),((-61),8),((61),9),((27),18),((-27),19),((2),10),((-2),11),((-61),12),((61),13)], (6)), ("GEQ", [(1,16),((-1),17),((55),0),((-55),1),((-6),2),((6),3),((22),6),((-22),7),((78),12),((-78),13),((77),14),((-77),15)], (29)), ("GEQ", [((53),16),((-53),17),((-56),0),((56),1),((74),4),((-74),5),((12),8),((-12),9),((-63),18),((63),19),((-71),12),((71),13)], (57)), ("GEQ", [((68),16),((-68),17),((-35),2),((35),3),((31),8),((-31),9),((-125),18),((125),19),((-34),12),((34),13)], (48)), ("GEQ", [((53),16),((-53),17),((135),0),((-135),1),((46),2),((-46),3),((22),4),((-22),5),((162),6),((-162),7)], (37))] [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]