[("GEQ", [((-1),1), ((-1),2), ((-2),4), ((1),5), ((-2),7), ((-1),8)], (10)), ("GEQ", [((-2),0), ((-2),2), ((2),5), ((-2),7), ((-2),8), ((-2),9)], (19)), ("GEQ", [((-2),0), ((1),1), ((1),3), ((-2),5), ((-2),6), ((2),7), ((1),8), ((2),9)], (-25)), ("GEQ", [((-1),3), ((-2),4), ((-1),5), ((2),6), ((-1),9)], (7)), ("GEQ", [((-1),0), ((-2),3), ((2),5), ((1),8), ((-2),9)], (10)), ("GEQ", [((-1),0), ((-1),2), ((1),3), ((2),8), ((-2),9)], (0)), ("GEQ", [((1),1), ((2),2), ((1),3), ((1),4), ((2),5), ((1),7), ((1),8)], (-5)), ("GEQ", [((-1),0), ((2),1), ((2),4), ((-2),6), ((1),7)], (-15)), ("GEQ", [((-1),0), ((-1),1), ((-1),2), ((-1),4), ((-2),5), ((1),6), ((-1),7)], (8)), ("GEQ", [((14),0), ((3),1), ((10),2), ((5),3), ((7),4), ((-4),5), ((-8),6), ((11),7), ((5),8), ((14),9)], (-142)), ("GEQ", [((12),0), ((-9),1), ((-1),2), ((4),3), ((-5),4), ((-14),5), ((2),6), ((-4),7), ((-11),8), ((18),9)], (-23)), ("GEQ", [((10),0), ((-4),1), ((-2),3), ((-1),4), ((3),5), ((5),6), ((-3),7), ((-4),8), ((-2),9)], (40)), ("GEQ", [((-27),0), ((4),1), ((6),3), ((-3),4), ((-21),5), ((-5),6), ((4),7), ((2),8), ((16),9)], (-76)), ("GEQ", [((-17),0), ((4),1), ((-5),2), ((-4),3), ((-1),4), ((7),5), ((-3),6), ((14),8), ((-17),9)], (31)), ("GEQ", [((-8),0), ((-16),1), ((-22),2), ((-10),3), ((-8),4), ((5),5), ((30),6), ((-33),7), ((-36),8), ((-22),9)], (402))] [0, 1, 2, 3, 4, 5, 6, 7, 8, 9] [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]