[("GEQ", [((-2),0), ((1),1), ((1),4), ((-2),6), ((-2),7), ((1),9)], (4)), ("GEQ", [((-1),0), ((-2),3), ((-2),4), ((1),5), ((-2),6), ((-1),7), ((1),8)], (-4)), ("GEQ", [((2),0), ((-2),1), ((2),2), ((-1),3), ((-1),4), ((2),8), ((-1),9)], (-18)), ("GEQ", [((-1),1), ((-2),2), ((2),5), ((-1),7), ((2),8)], (-10)), ("GEQ", [((1),0), ((2),2), ((1),4), ((-2),6), ((1),7)], (-16)), ("GEQ", [((2),0), ((-2),1), ((-2),2), ((-2),3), ((2),4), ((1),8), ((2),9)], (-10)), ("GEQ", [((2),0), ((-2),1), ((-1),2), ((-2),3), ((1),5), ((2),6)], (-4)), ("GEQ", [((-2),1), ((1),2), ((-1),3), ((-2),4), ((1),6), ((2),7), ((-1),8), ((-2),9)], (3)), ("GEQ", [((2),1), ((2),5), ((2),6), ((-1),7), ((-2),8)], (8)), ("GEQ", [((-9),0), ((14),1), ((-2),2), ((18),3), ((1),4), ((-11),5), ((-2),6), ((1),7), ((1),9)], (63)), ("GEQ", [((-2),0), ((3),1), ((-3),2), ((9),3), ((6),4), ((-9),5), ((-7),6), ((-1),7), ((8),8), ((5),9)], (-16)), ("GEQ", [((5),0), ((-10),1), ((1),2), ((-4),3), ((8),4), ((-1),5), ((-4),6), ((5),8), ((3),9)], (-62)), ("GEQ", [((-5),0), ((4),1), ((1),2), ((-9),3), ((-15),4), ((12),5), ((5),6), ((-6),7), ((-5),8), ((-6),9)], (45)), ("GEQ", [((-16),0), ((36),1), ((-3),2), ((13),3), ((-28),4), ((23),6), ((-1),7), ((-23),8), ((-10),9)], (267)), ("GEQ", [((29),0), ((-33),1), ((16),2), ((-27),3), ((18),4), ((4),5), ((18),7), ((-9),8), ((1),9)], (-177))]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]