[("GEQ", [((-2),3), ((2),4), ((-2),5), ((-2),6), ((2),8), ((-1),9)], (1)), ("GEQ", [((-1),2), ((2),5), ((-1),6), ((1),8), ((2),9)], (3)), ("GEQ", [((2),0), ((2),1), ((-1),3), ((-2),4), ((2),5), ((1),6), ((-2),7), ((-2),8), ((-2),9)], (-3)), ("GEQ", [((1),1), ((1),2), ((1),3), ((1),5), ((1),6), ((-2),8), ((-2),9)], (1)), ("GEQ", [((-2),0), ((-1),1), ((1),2), ((1),3), ((2),4), ((-2),5), ((2),7), ((-2),9)], (2)), ("GEQ", [((-1),0), ((2),1), ((1),2), ((1),4), ((2),9)], (6)), ("GEQ", [((1),0), ((1),4), ((1),7), ((-1),8), ((-2),9)], (-5)), ("GEQ", [((1),0), ((-1),1), ((2),2), ((1),3), ((-2),6), ((-1),7), ((2),8)], (2)), ("GEQ", [((-1),2), ((1),5), ((-2),7)], (6)), ("GEQ", [((1),0), ((-10),1), ((-3),2), ((3),3), ((-12),4), ((-5),5), ((8),6), ((5),7), ((-3),8), ((1),9)], (-65)), ("GEQ", [((-8),0), ((5),1), ((3),2), ((3),3), ((1),4), ((-2),5), ((4),6), ((3),7), ((-1),8), ((13),9)], (20)), ("GEQ", [((22),1), ((-4),2), ((-11),3), ((26),4), ((14),5), ((-16),6), ((-11),7), ((6),8), ((6),9)], (124)), ("GEQ", [((1),0), ((-31),1), ((10),2), ((20),3), ((-22),4), ((-11),5), ((10),6), ((15),7), ((-4),8), ((-20),9)], (-116)), ("GEQ", [((2),0), ((31),1), ((-17),2), ((-26),3), ((26),4), ((19),5), ((-22),6), ((-26),7), ((16),8), ((27),9)], (164)), ("GEQ", [((-12),0), ((-12),1), ((10),2), ((17),3), ((-9),4), ((-17),5), ((19),6), ((20),7), ((-12),8), ((-1),9)], (-73))]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]