[("GEQ", [((-1),2), ((-1),3), ((2),6), ((2),7), ((-1),9)], (-14)), ("GEQ", [((2),1), ((-2),2), ((-1),3), ((1),4), ((-1),6), ((-2),7), ((-1),8), ((2),9)], (16)), ("GEQ", [((-1),0), ((-1),1), ((-1),5), ((-1),6), ((-2),8)], (11)), ("GEQ", [((1),2), ((1),3), ((2),4), ((-2),6), ((2),9)], (13)), ("GEQ", [((-2),0), ((2),3), ((-2),4), ((1),8)], (-7)), ("GEQ", [((-1),2), ((1),5), ((-1),6), ((2),7), ((-2),8), ((1),9)], (1)), ("GEQ", [((1),0), ((-2),1), ((1),3), ((-1),4), ((2),5), ((-2),9)], (-9)), ("GEQ", [((2),0), ((2),1), ((1),2), ((-1),4), ((2),5), ((-1),6), ((-1),7), ((1),8), ((-2),9)], (-18)), ("GEQ", [((1),1), ((1),2), ((1),3), ((-2),4), ((-2),5), ((-2),6), ((1),8)], (-10)), ("GEQ", [((4),0), ((-7),1), ((-2),2), ((-8),3), ((12),4), ((-2),5), ((8),6), ((5),7), ((-3),8), ((4),9)], (43)), ("GEQ", [((-10),0), ((10),1), ((6),2), ((19),3), ((-25),4), ((8),5), ((-15),6), ((-14),7), ((6),8), ((-9),9)], (-66)), ("GEQ", [((-3),0), ((5),1), ((-2),2), ((-7),3), ((-5),4), ((-9),5), ((10),6), ((-10),7), ((5),8), ((-6),9)], (-16)), ("GEQ", [((-1),0), ((12),1), ((6),2), ((7),3), ((-12),4), ((-14),6), ((9),7), ((-4),9)], (-103)), ("GEQ", [((10),0), ((-6),1), ((1),2), ((8),3), ((4),4), ((25),5), ((-15),6), ((11),7), ((-12),8)], (-6)), ("GEQ", [((6),0), ((-29),1), ((-13),2), ((-12),3), ((33),4), ((7),5), ((27),6), ((-32),7), ((3),8), ((14),9)], (302))] [0, 1, 2, 3, 4, 5, 6, 7, 8, 9] [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]