[("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", [((46),0),((-46),1),((8),2),((-8),3),((-9),4),((9),5),((57),6),((-57),7),((7),8),((-7),9),((-27),10),((27),11),((26),12),((-26),13),((18),14),((-18),15)], (-58)), ("LEQ", [((77),2),((-77),3),((-29),4),((29),5),((-69),6),((69),7),((31),8),((-31),9),((-22),10),((22),11),((-38),12),((38),13),((49),16),((-49),17),((-29),14),((29),15)], (-20)), ("LEQ", [((28),2),((-28),3),((38),6),((-38),7),((8),8),((-8),9),((-63),10),((63),11),((-5),18),((5),19),((62),12),((-62),13),((57),16),((-57),17),((-107),14),((107),15)], (-2)), ("LEQ", [((15),2),((-15),3),((-31),4),((31),5),((40),6),((-40),7),((-27),8),((27),9),((21),10),((-21),11),((15),12),((-15),13),((10),16),((-10),17),((-52),14),((52),15)], (65)), ("LEQ", [((79),0),((-79),1),((-85),2),((85),3),((-65),6),((65),7),((-126),18),((126),19),((53),12),((-53),13),((62),16),((-62),17),((34),14),((-34),15)], (26)), ("LEQ", [((106),2),((-106),3),((-25),4),((25),5),((-55),6),((55),7),((21),8),((-21),9),((-17),18),((17),19),((-48),16),((48),17),((-35),14),((35),15)], (-9)), ("LEQ", [((30),2),((-30),3),((-46),4),((46),5),((46),6),((-46),7),((-21),8),((21),9),((-30),12),((30),13),((27),16),((-27),17),((38),14),((-38),15)], (-83)), ("LEQ", [((29),0),((-29),1),((-10),2),((10),3),((57),4),((-57),5),((75),8),((-75),9),((11),10),((-11),11),((-80),18),((80),19),((-47),12),((47),13)], (-15)), ("LEQ", [((45),0),((-45),1),((39),4),((-39),5),((-82),6),((82),7),((97),8),((-97),9),((-36),18),((36),19),((-9),12),((9),13),((174),14),((-174),15)], (-37)), ("LEQ", [((53),2),((-53),3),((19),4),((-19),5),((-16),6),((16),7),((-9),18),((9),19),((11),12),((-11),13),((10),16),((-10),17)], (-51)), ("LEQ", [((107),8),((-107),9),((5),10),((-5),11),(1,12),((-1),13),((29),16),((-29),17),((84),14),((-84),15)], (43)), ("LEQ", [((73),0),((-73),1),((7),4),((-7),5),((-38),8),((38),9),((106),12),((-106),13),((50),16),((-50),17)], (58)), ("LEQ", [((107),4),((-107),5),((83),10),((-83),11),((-87),18),((87),19),((54),14),((-54),15)], (20)), ("GEQ", [((45),0),((-45),1),((-53),2),((53),3),((-88),4),((88),5),((-62),6),((62),7),((5),10),((-5),11),((-78),18),((78),19),((-13),12),((13),13),((-54),14),((54),15)], (-89)), ("GEQ", [((57),2),((-57),3),((59),4),((-59),5),((-91),6),((91),7),((68),8),((-68),9),((16),10),((-16),11),((38),18),((-38),19),((76),16),((-76),17),((-42),14),((42),15)], (0)), ("GEQ", [((69),0),((-69),1),((-1),2),(1,3),((-4),4),((4),5),((-70),10),((70),11),((43),18),((-43),19),((-29),12),((29),13),((49),16),((-49),17)], (55)), ("GEQ", [((54),2),((-54),3),((146),6),((-146),7),((-32),8),((32),9),((-18),18),((18),19),((-65),12),((65),13),((78),16),((-78),17),((-51),14),((51),15)], (17)), ("GEQ", [((16),0),((-16),1),((34),6),((-34),7),((-40),10),((40),11),((-85),18),((85),19),((172),16),((-172),17),((-118),14),((118),15)], (-36)), ("GEQ", [((120),2),((-120),3),((10),4),((-10),5),((-96),18),((96),19),((-8),12),((8),13),((45),16),((-45),17),((-85),14),((85),15)], (-52)), ("GEQ", [((20),2),((-20),3),((7),4),((-7),5),((-51),6),((51),7),((-78),8),((78),9),((32),14),((-32),15)], (-16))]
[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]