[("GEQ", [((-1),0), ((-2),1), ((2),2), ((-1),3), ((-2),5), ((2),6)], (8)), ("GEQ", [((1),1), ((-2),2), ((1),4), ((2),7)], (0)), ("GEQ", [((1),2), ((-1),3), ((2),4), ((1),5), ((-2),6), ((-1),8), ((2),9)], (4)), ("GEQ", [((1),0), ((2),2), ((1),3), ((2),5), ((1),6), ((-2),7), ((-2),8), ((1),9)], (0)), ("GEQ", [((2),0), ((-1),1), ((1),2), ((2),3), ((1),4), ((-1),5), ((-2),6), ((-1),7), ((2),8), ((-1),9)], (-4)), ("GEQ", [((-1),1), ((-2),3), ((-2),6), ((1),7), ((-1),8)], (2)), ("GEQ", [((1),0), ((1),1), ((1),2), ((-1),3), ((1),4), ((-2),7)], (-6)), ("GEQ", [((-1),1), ((1),4), ((-1),8), ((1),9)], (6)), ("GEQ", [((-1),0), ((1),1), ((2),2), ((-1),6), ((-2),7), ((-1),8), ((-1),9)], (-5)), ("GEQ", [((-5),0), ((-2),1), ((-11),2), ((-14),4), ((-3),5), ((8),6), ((8),7), ((6),8), ((-5),9)], (-5)), ("GEQ", [((-5),0), ((4),1), ((-10),2), ((4),3), ((-13),4), ((7),6), ((4),7), ((7),8), ((-5),9)], (-25)), ("GEQ", [((15),0), ((24),2), ((-4),3), ((30),4), ((6),5), ((-9),6), ((-15),7), ((-13),8), ((14),9)], (22)), ("GEQ", [((17),0), ((2),1), ((32),2), ((-9),3), ((36),4), ((12),5), ((-18),6), ((-24),7), ((-26),8), ((16),9)], (22)), ("GEQ", [((-11),0), ((-11),1), ((-24),2), ((10),3), ((-24),5), ((-15),6), ((30),7), ((26),8), ((-12),9)], (32)), ("GEQ", [((-13),0), ((-11),1), ((-31),2), ((-3),3), ((-14),4), ((-17),5), ((13),6), ((38),7), ((17),8), ((-6),9)], (52))]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]