[("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", [((42),0),((-42),1),((44),2),((-44),3),((65),4),((-65),5),((-13),6),((13),7),((-13),8),((13),9),((-33),10),((33),11),((-24),12),((24),13)], (-23)), ("LEQ", [((38),14),((-38),15),((50),4),((-50),5),((-30),8),((30),9),((36),16),((-36),17),((13),18),((-13),19),((-23),12),((23),13)], (-7)), ("LEQ", [((41),2),((-41),3),((42),4),((-42),5),((45),16),((-45),17),((29),10),((-29),11),((43),18),((-43),19),((-41),12),((41),13)], (-43)), ("LEQ", [((106),2),((-106),3),((43),4),((-43),5),((18),8),((-18),9),((13),16),((-13),17),((3),10),((-3),11),((-7),18),((7),19)], (-36)), ("LEQ", [((6),14),((-6),15),((55),2),((-55),3),((13),4),((-13),5),((6),8),((-6),9),((43),10),((-43),11),((-46),18),((46),19)], (6)), ("LEQ", [((30),14),((-30),15),((6),0),((-6),1),((-49),2),((49),3),((-13),4),((13),5),((2),8),((-2),9),((-47),10),((47),11)], (21)), ("GEQ", [((48),0),((-48),1),((45),2),((-45),3),((34),4),((-34),5),((-43),8),((43),9),((-9),16),((9),17),((-7),10),((7),11),((-12),18),((12),19),((39),12),((-39),13)], (39)), ("GEQ", [((30),14),((-30),15),((43),0),((-43),1),((46),2),((-46),3),((-25),4),((25),5),((-32),16),((32),17),((-13),18),((13),19),((-29),12),((29),13)], (44)), ("GEQ", [((28),14),((-28),15),((-35),0),((35),1),((2),6),((-2),7),((41),8),((-41),9),((-16),16),((16),17),((30),10),((-30),11),((-43),12),((43),13)], (25)), ("GEQ", [((41),14),((-41),15),((-12),0),((12),1),((62),2),((-62),3),((18),4),((-18),5),((-30),8),((30),9),((11),16),((-11),17),((-9),12),((9),13)], (46)), ("GEQ", [((49),14),((-49),15),((2),0),((-2),1),((-62),2),((62),3),((-46),4),((46),5),((-24),16),((24),17),((-1),10),(1,11)], (-38)), ("GEQ", [((22),14),((-22),15),((25),2),((-25),3),((-4),4),((4),5),((17),10),((-17),11),((-12),18),((12),19),((29),12),((-29),13)], (-32)), ("GEQ", [((28),2),((-28),3),((-2),4),((2),5),((62),8),((-62),9),((-26),16),((26),17),((-16),10),((16),11),((59),18),((-59),19)], (-43)), ("GEQ", [((24),14),((-24),15),((42),6),((-42),7),((-66),16),((66),17),((-3),10),((3),11),((38),18),((-38),19),((-5),12),((5),13)], (-8)), ("GEQ", [((42),14),((-42),15),((45),0),((-45),1),((-63),4),((63),5),((46),6),((-46),7),((-13),10),((13),11),((8),12),((-8),13)], (-18)), ("GEQ", [((22),14),((-22),15),((-17),0),((17),1),((-45),2),((45),3),((-21),4),((21),5),((-6),6),((6),7),((-30),18),((30),19)], (-12)), ("GEQ", [((25),0),((-25),1),((38),2),((-38),3),((8),6),((-8),7),((49),10),((-49),11),((-15),18),((15),19),((-54),12),((54),13)], (-15)), ("GEQ", [((43),14),((-43),15),((5),0),((-5),1),((2),4),((-2),5),((-10),8),((10),9),((38),18),((-38),19),((-58),12),((58),13)], (10)), ("GEQ", [((10),14),((-10),15),((-6),6),((6),7),((-36),8),((36),9),((-25),10),((25),11),((-7),18),((7),19),((51),12),((-51),13)], (49)), ("GEQ", [((22),14),((-22),15),((-64),0),((64),1),((35),2),((-35),3),((-22),6),((22),7),((16),16),((-16),17)], (-2))]
[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]