[("GEQ", [((-1),2), ((-2),4), ((1),5), ((2),7), ((-2),8), ((2),9)], (-4)), ("GEQ", [((2),0), ((1),1), ((-2),3), ((-2),5), ((-2),8)], (-13)), ("GEQ", [((-2),1), ((-2),2), ((1),3), ((-1),4), ((-2),6), ((2),9)], (-10)), ("GEQ", [((-1),0), ((2),5), ((2),6), ((-2),7), ((-1),9)], (4)), ("GEQ", [((2),0), ((-2),2), ((2),3), ((2),4), ((-1),5), ((-1),6), ((2),8)], (-10)), ("GEQ", [((-2),0), ((-2),1), ((-1),3), ((1),4), ((1),5), ((1),6)], (9)), ("GEQ", [((-2),0), ((1),1), ((1),3), ((-1),4), ((-2),5), ((1),7), ((-1),8), ((2),9)], (3)), ("GEQ", [((1),0), ((2),1), ((2),2), ((1),7), ((2),9)], (-1)), ("GEQ", [((-1),0), ((-2),2), ((2),3), ((2),4), ((-1),5), ((-2),6), ((-1),7), ((-2),8)], (9)), ("GEQ", [((-5),0), ((-13),1), ((3),2), ((-1),3), ((3),4), ((8),5), ((-2),6), ((-5),7), ((15),8), ((-15),9)], (44)), ("GEQ", [((7),0), ((22),1), ((-7),2), ((1),3), ((1),4), ((-19),5), ((6),6), ((1),7), ((-24),8), ((16),9)], (-71)), ("GEQ", [((14),0), ((37),1), ((9),2), ((-7),3), ((-11),4), ((-13),5), ((11),6), ((16),7), ((-33),8), ((29),9)], (-74)), ("GEQ", [((5),0), ((-4),1), ((-6),2), ((6),3), ((6),4), ((-4),6), ((-8),7), ((12),8), ((-17),9)], (-10)), ("GEQ", [((-17),0), ((-22),1), ((37),2), ((-29),3), ((-17),4), ((33),5), ((12),6), ((8),7), ((16),8), ((1),9)], (106)), ("GEQ", [((-2),0), ((8),1), ((-8),2), ((5),3), ((7),4), ((-24),5), ((-1),6), ((-3),7), ((-6),8), ((1),9)], (-29))]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]