[("GEQ", [((-2),0), ((1),1), ((-2),2), ((-2),3), ((1),4), ((2),8), ((-2),9)], (-7)), ("GEQ", [((-2),0), ((1),1), ((-2),3), ((-2),4), ((-1),5), ((2),7), ((1),8), ((2),9)], (10)), ("GEQ", [((1),0), ((-2),3), ((2),4), ((-1),5), ((-1),6), ((-1),7), ((-1),9)], (12)), ("GEQ", [((-1),3), ((-1),4), ((-2),6), ((1),8), ((1),9)], (13)), ("GEQ", [((-2),2), ((-2),7)], (-6)), ("GEQ", [((1),0), ((1),1), ((-1),5), ((2),6), ((1),7), ((-2),8)], (-5)), ("GEQ", [((1),2), ((1),3), ((-2),5), ((2),6), ((-2),7), ((2),8)], (3)), ("GEQ", [((2),2), ((2),7), ((-1),9)], (2)), ("GEQ", [((-1),0), ((-2),1), ((-1),2), ((-1),4), ((2),5), ((-2),6), ((-1),7), ((-2),8), ((-2),9)], (-14)), ("GEQ", [((9),0), ((-3),1), ((7),2), ((13),3), ((9),4), ((5),5), ((3),6), ((-1),7), ((-2),8), ((-3),9)], (-30)), ("GEQ", [((-29),0), ((10),1), ((-22),2), ((-33),3), ((-28),4), ((-9),5), ((-12),6), ((5),7), ((15),8), ((20),9)], (101)), ("GEQ", [((-18),0), ((5),1), ((-16),2), ((-19),3), ((-22),4), ((-8),5), ((-2),6), ((1),8), ((10),9)], (20)), ("GEQ", [((27),0), ((-5),1), ((25),2), ((27),3), ((27),4), ((6),5), ((4),6), ((-1),7), ((3),8), ((-3),9)], (28)), ("GEQ", [((-37),0), ((3),1), ((-37),2), ((-33),3), ((-26),4), ((3),5), ((-4),6), ((5),7), ((-16),8), ((-15),9)], (-166)), ("GEQ", [((14),0), ((-5),1), ((14),2), ((21),3), ((21),4), ((17),5), ((4),6), ((12),7), ((-12),8), ((-14),9)], (-103))]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]