[("GEQ", [((1),1), ((-2),2), ((-2),5), ((1),7), ((-1),9)], (7)), ("GEQ", [((2),1), ((-1),2), ((2),3), ((2),5), ((-1),6), ((1),7), ((-2),8)], (11)), ("GEQ", [((2),0), ((1),2), ((1),4), ((2),6), ((2),9)], (-13)), ("GEQ", [((1),0), ((2),1), ((1),2), ((1),3), ((-2),4), ((2),7), ((-2),8)], (1)), ("GEQ", [((-2),0), ((-1),1), ((-2),4), ((1),5), ((-1),6), ((1),7), ((2),8)], (8)), ("GEQ", [((-2),0), ((2),2), ((-1),3), ((2),5), ((2),6)], (-13)), ("GEQ", [((-2),0), ((1),1), ((2),2), ((-1),4), ((1),6), ((-1),7), ((2),9)], (-19)), ("GEQ", [((-2),0), ((-1),2), ((2),4), ((1),5), ((-2),7), ((2),8), ((1),9)], (-7)), ("GEQ", [((1),2), ((-1),3), ((2),5), ((-2),6), ((-2),8), ((2),9)], (-3)), ("GEQ", [((3),0), ((-13),1), ((-9),2), ((-5),3), ((8),4), ((-19),5), ((-5),6), ((-15),7), ((12),8), ((-10),9)], (10)), ("GEQ", [((10),0), ((7),1), ((5),2), ((6),3), ((-10),4), ((19),5), ((9),6), ((28),7), ((-10),8), ((4),9)], (68)), ("GEQ", [((14),0), ((18),1), ((11),2), ((10),3), ((-19),4), ((25),5), ((1),6), ((36),7), ((-26),8), ((12),9)], (73)), ("GEQ", [((-9),0), ((3),1), ((15),2), ((-4),3), ((4),4), ((24),5), ((13),6), ((2),7), ((-10),8), ((2),9)], (-72)), ("GEQ", [((2),0), ((5),2), ((-1),3), ((-7),4), ((7),5), ((10),7), ((-4),8), ((-1),9)], (28)), ("GEQ", [((-17),0), ((10),1), ((4),2), ((3),3), ((9),4), ((6),5), ((4),6), ((-17),7), ((-4),8), ((-3),9)], (-92))]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]