[("GEQ", [((-2),0), ((-2),1), ((2),2), ((-2),3), ((-1),5), ((1),6), ((-2),7)], (-9)), ("GEQ", [((-2),0), ((-2),1), ((1),2), ((1),3), ((1),4), ((2),5), ((2),8), ((-1),9)], (-10)), ("GEQ", [((-1),0), ((-1),1), ((2),5), ((-1),6), ((1),7), ((-2),8), ((-2),9)], (17)), ("GEQ", [((1),2), ((-1),3), ((2),4), ((1),5), ((-2),6), ((-1),8), ((2),9)], (5)), ("GEQ", [((1),1), ((-1),3), ((-1),4), ((-2),8)], (10)), ("GEQ", [((-1),0), ((2),3), ((-1),4), ((-1),5), ((-2),8)], (4)), ("GEQ", [((2),0), ((1),1), ((-1),2), ((-1),3), ((-2),4), ((1),6), ((-1),7), ((-1),9)], (2)), ("GEQ", [((1),1), ((-1),6), ((1),7), ((-2),8), ((2),9)], (9)), ("GEQ", [((2),2), ((-2),3), ((-1),4), ((-1),7), ((2),8)], (-4)), ("GEQ", [((7),0), ((3),1), ((-7),2), ((4),3), ((7),4), ((-2),6), ((7),7), ((7),8), ((2),9)], (-23)), ("GEQ", [((-12),0), ((-11),1), ((12),2), ((-5),3), ((-1),4), ((-5),5), ((10),6), ((-16),7), ((11),8), ((-1),9)], (-119)), ("GEQ", [((-16),0), ((-5),1), ((13),2), ((-3),3), ((-6),4), ((6),5), ((-1),6), ((-8),7), ((-13),8)], (45)), ("GEQ", [((-10),0), ((-9),1), ((9),2), ((-8),3), ((-19),4), ((-15),5), ((20),6), ((-21),7), ((3),8), ((-12),9)], (-82)), ("GEQ", [((15),0), ((4),1), ((-19),2), ((13),3), ((12),4), ((-5),5), ((-1),6), ((12),7), ((8),8), ((-1),9)], (-41)), ("GEQ", [((30),0), ((16),1), ((-22),2), ((3),3), ((4),4), ((3),5), ((-14),6), ((21),7), ((-7),8), ((3),9)], (135))]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]