[("GEQ", [((-2),0), ((2),4), ((-2),5), ((-1),6), ((2),7)], (9)), ("GEQ", [((-1),1), ((2),2), ((-2),3), ((1),4), ((-1),8)], (9)), ("GEQ", [((1),0), ((-2),1), ((-2),2), ((-2),3), ((2),4), ((2),8), ((-2),9)], (2)), ("GEQ", [((-1),0), ((-2),1), ((-2),2), ((-2),5), ((-2),6), ((-2),7), ((1),8), ((-2),9)], (0)), ("GEQ", [((1),0), ((-2),1), ((-1),2), ((-1),3), ((-1),5), ((-1),6), ((2),7), ((1),9)], (16)), ("GEQ", [((2),2), ((-2),3), ((1),4), ((-1),5), ((1),7), ((2),8), ((-2),9)], (-4)), ("GEQ", [((-2),1), ((1),4), ((2),6), ((1),7), ((-2),8)], (15)), ("GEQ", [((-2),0), ((2),1), ((1),6), ((1),7), ((-1),9)], (-9)), ("GEQ", [((-1),0), ((1),1), ((-1),3), ((-2),4), ((1),5), ((2),7), ((-2),8), ((-1),9)], (2)), ("GEQ", [((5),0), ((8),1), ((3),2), ((19),3), ((-8),4), ((2),5), ((-17),7), ((2),8), ((14),9)], (-74)), ("GEQ", [((9),0), ((-10),1), ((-8),2), ((-2),3), ((10),4), ((5),5), ((3),6), ((5),7), ((-3),8), ((7),9)], (77)), ("GEQ", [((-8),0), ((25),1), ((16),2), ((12),3), ((-17),4), ((4),5), ((2),6), ((-6),7), ((-3),8), ((4),9)], (-130)), ("GEQ", [((-27),0), ((9),1), ((17),2), ((-24),3), ((-13),4), ((-19),5), ((-7),6), ((14),7), ((8),8), ((-39),9)], (-73)), ("GEQ", [((22),0), ((-29),1), ((-34),2), ((-15),3), ((32),4), ((17),5), ((2),6), ((20),7), ((-9),8), ((15),9)], (241)), ("GEQ", [((-3),0), ((-25),1), ((-16),2), ((-23),3), ((4),4), ((-11),5), ((-7),6), ((5),7), ((6),8), ((-26),9)], (85))]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]