[("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", [((27),0),((-27),1),((45),2),((-45),3),((-10),4),((10),5),((22),6),((-22),7),((-42),8),((42),9),((20),10),((-20),11),((-22),12),((22),13),((46),14),((-46),15)], (10)), ("LEQ", [((10),16),((-10),17),((46),2),((-46),3),((-52),4),((52),5),((-13),6),((13),7),((-11),10),((11),11),((23),18),((-23),19),((-29),12),((29),13),((2),14),((-2),15)], (-14)), ("LEQ", [((29),16),((-29),17),((19),2),((-19),3),((-41),4),((41),5),((32),6),((-32),7),((-39),8),((39),9),((21),10),((-21),11),((-32),18),((32),19),((58),12),((-58),13)], (28)), ("LEQ", [((38),16),((-38),17),((15),0),((-15),1),((22),2),((-22),3),((24),8),((-24),9),((-23),10),((23),11),((-48),18),((48),19),((34),14),((-34),15)], (46)), ("LEQ", [((20),2),((-20),3),((-9),4),((9),5),((8),6),((-8),7),((2),8),((-2),9),((42),18),((-42),19),((-8),12),((8),13),((-11),14),((11),15)], (12)), ("LEQ", [((20),16),((-20),17),((-2),0),((2),1),((46),6),((-46),7),((-44),8),((44),9),((13),18),((-13),19),((3),12),((-3),13),((-13),14),((13),15)], (28)), ("LEQ", [(1,16),((-1),17),((17),0),((-17),1),((36),2),((-36),3),((-68),6),((68),7),((9),8),((-9),9),((38),18),((-38),19),((-26),14),((26),15)], (-42)), ("LEQ", [((87),16),((-87),17),((-31),0),((31),1),((-8),2),((8),3),((38),6),((-38),7),((-39),8),((39),9),((-72),10),((72),11)], (-30)), ("LEQ", [((28),16),((-28),17),((36),0),((-36),1),((-41),2),((41),3),((49),4),((-49),5),((-21),10),((21),11),((107),18),((-107),19)], (-1)), ("LEQ", [((37),16),((-37),17),((-10),0),((10),1),((18),6),((-18),7),((-39),8),((39),9),((57),10),((-57),11),((53),18),((-53),19)], (11)), ("LEQ", [((30),0),((-30),1),((-33),2),((33),3),((56),18),((-56),19),((14),12),((-14),13),((-11),14),((11),15)], (-30)), ("GEQ", [((4),2),((-4),3),((-41),4),((41),5),((-47),6),((47),7),((-24),8),((24),9),((-35),10),((35),11),((-16),18),((16),19),((-24),12),((24),13),((-2),14),((2),15)], (-40)), ("GEQ", [((46),16),((-46),17),((37),0),((-37),1),((-41),4),((41),5),((-26),8),((26),9),((34),10),((-34),11),((-47),12),((47),13),((-47),14),((47),15)], (-1)), ("GEQ", [((24),16),((-24),17),((5),0),((-5),1),((-44),2),((44),3),((19),8),((-19),9),((22),18),((-22),19),((-8),12),((8),13),((29),14),((-29),15)], (44)), ("GEQ", [(1,16),((-1),17),((-17),0),((17),1),((41),2),((-41),3),((-21),6),((21),7),((16),8),((-16),9),((-31),12),((31),13),((29),14),((-29),15)], (-25)), ("GEQ", [((36),16),((-36),17),((-11),0),((11),1),((-9),6),((9),7),((-22),8),((22),9),((-2),10),((2),11),((-52),18),((52),19),((14),12),((-14),13)], (4)), ("GEQ", [((93),16),((-93),17),((30),2),((-30),3),((-43),4),((43),5),((-51),8),((51),9),((-17),10),((17),11),((38),12),((-38),13)], (-13)), ("GEQ", [((10),2),((-10),3),((26),4),((-26),5),((-10),6),((10),7),((-46),8),((46),9),((8),10),((-8),11),((-41),18),((41),19)], (-43)), ("GEQ", [((20),0),((-20),1),((-9),2),((9),3),((-17),4),((17),5),((53),6),((-53),7),((42),8),((-42),9),((19),10),((-19),11)], (-38)), ("GEQ", [((97),4),((-97),5),((42),6),((-42),7),((-3),8),((3),9),((-24),12),((24),13),((-47),14),((47),15)], (-27))]
[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]