[("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", [((57),0),((-57),1),((-58),2),((58),3),((60),4),((-60),5),((85),6),((-85),7),((-2),8),((2),9),((-58),10),((58),11),((-32),12),((32),13)], (-52)), ("LEQ", [((33),14),((-33),15),((49),0),((-49),1),((19),4),((-19),5),((63),6),((-63),7),((30),16),((-30),17),((22),12),((-22),13),((-45),18),((45),19)], (30)), ("LEQ", [((45),0),((-45),1),((-43),2),((43),3),((24),4),((-24),5),((83),6),((-83),7),((-50),8),((50),9),((56),16),((-56),17),((25),10),((-25),11)], (47)), ("LEQ", [((36),14),((-36),15),((-41),0),((41),1),((97),6),((-97),7),((8),8),((-8),9),((84),16),((-84),17),((-10),12),((10),13)], (-2)), ("LEQ", [((21),14),((-21),15),((-27),0),((27),1),((-10),2),((10),3),((57),4),((-57),5),((-5),6),((5),7),((-69),10),((69),11)], (-16)), ("LEQ", [((12),2),((-12),3),((19),4),((-19),5),((5),6),((-5),7),((50),16),((-50),17),((47),12),((-47),13),((-42),18),((42),19)], (39)), ("LEQ", [((62),14),((-62),15),((35),4),((-35),5),((-14),6),((14),7),((-14),16),((14),17),((14),12),((-14),13),((-42),18),((42),19)], (16)), ("LEQ", [((35),6),((-35),7),((24),8),((-24),9),((67),16),((-67),17),((-3),12),((3),13),((11),18),((-11),19)], (23)), ("LEQ", [((9),14),((-9),15),((45),4),((-45),5),((-94),16),((94),17),((-27),10),((27),11),((-42),18),((42),19)], (53)), ("LEQ", [((15),14),((-15),15),((7),0),((-7),1),((39),6),((-39),7),((50),8),((-50),9),((40),16),((-40),17)], (-25)), ("GEQ", [((53),14),((-53),15),((-23),0),((23),1),((36),4),((-36),5),((-30),6),((30),7),((-20),16),((20),17),((-45),10),((45),11),((-22),18),((22),19)], (18)), ("GEQ", [((12),14),((-12),15),((18),0),((-18),1),((60),2),((-60),3),((-58),6),((58),7),((-46),8),((46),9),((-57),10),((57),11),((-47),18),((47),19)], (49)), ("GEQ", [((61),14),((-61),15),((-12),2),((12),3),((14),4),((-14),5),((10),6),((-10),7),((-30),8),((30),9),((-39),10),((39),11),((9),18),((-9),19)], (13)), ("GEQ", [((42),14),((-42),15),((29),0),((-29),1),((-36),6),((36),7),((-17),10),((17),11),((-27),12),((27),13),((50),18),((-50),19)], (31)), ("GEQ", [((30),14),((-30),15),((21),0),((-21),1),((-52),4),((52),5),((-14),8),((14),9),((54),16),((-54),17),((-63),18),((63),19)], (1)), ("GEQ", [((4),14),((-4),15),((-52),0),((52),1),((77),2),((-77),3),((-5),4),((5),5),((57),6),((-57),7),((30),8),((-30),9)], (-45)), ("GEQ", [((34),14),((-34),15),((-98),0),((98),1),((7),4),((-7),5),((-61),6),((61),7),((-9),10),((9),11),((-82),12),((82),13)], (-43)), ("GEQ", [((7),14),((-7),15),(1,0),((-1),1),((14),2),((-14),3),((28),16),((-28),17),((-7),12),((7),13)], (4)), ("GEQ", [((90),0),((-90),1),((-38),2),((38),3),(1,8),((-1),9),((-45),16),((45),17),((-11),10),((11),11)], (-55)), ("GEQ", [((53),14),((-53),15),((-62),0),((62),1),((-19),6),((19),7),((-24),16),((24),17),((-49),10),((49),11)], (-35))]
[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]