[("GEQ", [((-2),0), ((-1),2), ((1),3), ((1),5), ((-1),6), ((1),8), ((1),9)], (-7)), ("GEQ", [((-2),3), ((-1),4), ((-2),7), ((-1),9)], (1)), ("GEQ", [((2),0), ((2),1), ((2),2), ((-2),3), ((1),4), ((2),6), ((-2),8)], (2)), ("GEQ", [((-1),0), ((1),1), ((-2),2), ((2),4), ((2),5), ((-1),7), ((-2),9)], (-2)), ("GEQ", [((-1),0), ((1),2), ((-2),3), ((2),5), ((2),6), ((2),7), ((-2),8)], (15)), ("GEQ", [((-2),4), ((2),5), ((2),6), ((-2),8), ((2),9)], (8)), ("GEQ", [((-2),0), ((2),2), ((-1),3), ((2),4), ((1),5), ((-2),6), ((-2),7)], (-11)), ("GEQ", [((-2),1), ((2),3), ((-2),4), ((2),7), ((1),9)], (9)), ("GEQ", [((2),0), ((-1),1), ((-1),3), ((2),4), ((2),6), ((1),7), ((-2),8), ((1),9)], (15)), ("GEQ", [((9),0), ((-9),1), ((-7),2), ((7),3), ((-14),4), ((-15),5), ((1),6), ((9),7), ((7),8)], (37)), ("GEQ", [((-15),0), ((28),1), ((16),2), ((-8),3), ((36),4), ((28),5), ((-7),6), ((-24),7), ((-11),8), ((-4),9)], (-159)), ("GEQ", [((20),0), ((-20),1), ((-13),2), ((12),3), ((-32),4), ((-39),5), ((-2),6), ((16),7), ((20),8), ((4),9)], (56)), ("GEQ", [((-1),0), ((-35),1), ((-10),2), ((-15),3), ((-26),4), ((-2),5), ((19),6), ((27),7), ((-9),8), ((2),9)], (300)), ("GEQ", [((10),0), ((-1),1), ((-3),2), ((19),3), ((-15),4), ((-17),5), ((-6),6), ((7),7), ((12),8), ((-3),9)], (-45)), ("GEQ", [((17),0), ((-17),1), ((-14),2), ((1),3), ((-15),4), ((-30),5), ((1),6), ((7),7), ((13),8), ((7),9)], (55))]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]