[("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", [((5),0),((-5),1),((-15),2),((15),3),((16),4),((-16),5),((-65),6),((65),7),((41),8),((-41),9),((-41),10),((41),11),((79),12),((-79),13),((-94),14),((94),15)], (-69)), ("LEQ", [((74),16),((-74),17),((-44),0),((44),1),((31),2),((-31),3),((108),4),((-108),5),((-75),6),((75),7),((-34),8),((34),9),((17),12),((-17),13),((72),14),((-72),15)], (-75)), ("LEQ", [((72),16),((-72),17),((-12),0),((12),1),((-32),2),((32),3),((-22),6),((22),7),((-78),8),((78),9),((57),12),((-57),13),((32),14),((-32),15)], (-30)), ("LEQ", [((39),16),((-39),17),((-66),0),((66),1),((-37),2),((37),3),((-49),4),((49),5),((54),6),((-54),7),((-62),18),((62),19),((-12),14),((12),15)], (-66)), ("LEQ", [((43),16),((-43),17),((3),4),((-3),5),((-5),18),((5),19),((66),10),((-66),11),((-145),12),((145),13),((85),14),((-85),15)], (-36)), ("LEQ", [((64),0),((-64),1),((-19),2),((19),3),((16),6),((-16),7),((-40),18),((40),19),((-17),10),((17),11)], (28)), ("GEQ", [((62),16),((-62),17),((-38),0),((38),1),((68),4),((-68),5),((-86),6),((86),7),((-3),8),((3),9),((-59),18),((59),19),((69),12),((-69),13),((30),14),((-30),15)], (3)), ("GEQ", [((20),16),((-20),17),((12),0),((-12),1),((29),4),((-29),5),((-95),6),((95),7),((4),8),((-4),9),((58),12),((-58),13),((-26),14),((26),15)], (-17)), ("GEQ", [((72),16),((-72),17),((31),4),((-31),5),((-46),6),((46),7),((-69),8),((69),9),((-74),18),((74),19),((46),12),((-46),13),((-111),14),((111),15)], (52)), ("GEQ", [((28),16),((-28),17),((-51),0),((51),1),((-160),4),((160),5),((27),6),((-27),7),((-24),18),((24),19),((-32),12),((32),13),((-8),14),((8),15)], (23)), ("GEQ", [((52),16),((-52),17),((-52),0),((52),1),((-15),4),((15),5),((-130),6),((130),7),((-45),8),((45),9),((82),18),((-82),19),((-95),14),((95),15)], (66)), ("GEQ", [((15),16),((-15),17),((-16),4),((16),5),((-118),8),((118),9),((-85),18),((85),19),((7),10),((-7),11),((66),12),((-66),13),((65),14),((-65),15)], (-38)), ("GEQ", [(1,0),((-1),1),((70),2),((-70),3),((35),6),((-35),7),((-64),8),((64),9),((47),12),((-47),13),((-54),14),((54),15)], (-3)), ("GEQ", [((55),16),((-55),17),((19),0),((-19),1),((-4),4),((4),5),((-50),6),((50),7),((-94),12),((94),13),((41),14),((-41),15)], (41)), ("GEQ", [((49),2),((-49),3),((41),4),((-41),5),((-64),6),((64),7),((3),18),((-3),19),((14),10),((-14),11),((-38),12),((38),13)], (18)), ("GEQ", [((25),0),((-25),1),((47),4),((-47),5),((-68),6),((68),7),((-65),8),((65),9),((-34),18),((34),19),((70),14),((-70),15)], (2)), ("GEQ", [((34),16),((-34),17),((129),0),((-129),1),((55),6),((-55),7),((2),10),((-2),11),((-58),12),((58),13),((85),14),((-85),15)], (13)), ("GEQ", [((47),0),((-47),1),((-3),2),((3),3),((72),4),((-72),5),((24),10),((-24),11),((27),14),((-27),15)], (-43)), ("GEQ", [((73),16),((-73),17),((186),8),((-186),9),((-16),18),((16),19),((-53),10),((53),11),((-49),14),((49),15)], (45)), ("GEQ", [((56),0),((-56),1),((45),2),((-45),3),((82),4),((-82),5),((46),10),((-46),11),((-8),12),((8),13)], (-49))]
[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]