[("GEQ", [((-1),0), ((1),1), ((-1),5), ((2),6), ((-2),7), ((-1),8)], (3)), ("GEQ", [((2),0), ((-2),1), ((1),2), ((1),3), ((1),4), ((-1),5), ((1),6), ((1),7), ((-1),8), ((2),9)], (18)), ("GEQ", [((1),1), ((1),2), ((2),4), ((-2),5), ((-1),6), ((-2),8), ((-1),9)], (-7)), ("GEQ", [((1),0), ((1),1), ((-1),2), ((1),3), ((-2),4), ((-1),7), ((2),9)], (9)), ("GEQ", [((-1),1), ((2),3), ((2),4)], (1)), ("GEQ", [((2),0), ((2),1), ((2),3), ((2),4), ((-1),5), ((-2),6), ((-2),7), ((-1),9)], (-8)), ("GEQ", [((-1),0), ((-1),5), ((-1),6), ((-1),7), ((2),8)], (-14)), ("GEQ", [((-1),2), ((-2),3), ((2),4), ((-2),5), ((-2),8), ((2),9)], (12)), ("GEQ", [((-2),0), ((2),3), ((-2),5), ((2),8), ((-1),9)], (-17)), ("GEQ", [((4),0), ((-8),1), ((3),2), ((-3),3), ((-9),4), ((27),5), ((1),6), ((9),7), ((9),8), ((-11),9)], (-9)), ("GEQ", [((-2),0), ((7),1), ((-6),2), ((-4),3), ((-9),4), ((-6),5), ((-3),6), ((-2),7), ((2),8), ((6),9)], (-12)), ("GEQ", [((-7),0), ((-17),1), ((17),2), ((7),3), ((36),4), ((-14),5), ((17),6), ((5),7), ((-26),8), ((-5),9)], (78)), ("GEQ", [((-4),0), ((28),1), ((-17),2), ((-11),3), ((-33),4), ((-7),5), ((-15),6), ((-12),7), ((14),8), ((7),9)], (-108)), ("GEQ", [((22),0), ((-19),1), ((-6),2), ((17),3), ((13),4), ((18),5), ((-15),6), ((1),7), ((29),8), ((7),9)], (23)), ("GEQ", [((1),0), ((-27),1), ((14),2), ((15),3), ((27),4), ((4),5), ((13),6), ((7),7), ((-4),8), ((-3),9)], (74))]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]