[("GEQ", [((1),0), ((1),1), ((-1),2), ((-1),3), ((-2),4), ((-1),5), ((2),6), ((2),8)], (3)), ("GEQ", [((1),0), ((1),2), ((1),3), ((1),4), ((2),5), ((-1),7), ((2),9)], (-13)), ("GEQ", [((-2),0), ((2),2), ((2),3), ((2),4), ((-1),8), ((2),9)], (-21)), ("GEQ", [((2),0), ((1),5), ((-2),6), ((2),7), ((-1),9)], (7)), ("GEQ", [((-1),1), ((2),2), ((1),3), ((-2),4), ((2),5), ((-1),6), ((2),7), ((1),8)], (-11)), ("GEQ", [((1),1), ((1),2), ((-1),4), ((-1),6), ((1),7), ((1),8)], (-10)), ("GEQ", [((-1),0), ((2),1), ((-2),3), ((-2),4), ((2),5), ((2),8), ((2),9)], (-15)), ("GEQ", [((-2),1), ((1),2), ((-2),3), ((2),5), ((1),7), ((1),9)], (4)), ("GEQ", [((-2),4), ((-2),5), ((-1),6), ((1),7), ((-2),8), ((-2),9)], (14)), ("GEQ", [((-5),0), ((4),1), ((-5),2), ((6),3), ((-14),5), ((4),6), ((-5),7), ((-2),8), ((-7),9)], (10)), ("GEQ", [((11),0), ((-6),1), ((-12),2), ((-28),3), ((8),4), ((24),5), ((8),6), ((-8),7), ((10),8), ((14),9)], (83)), ("GEQ", [((-16),0), ((-1),1), ((24),2), ((33),3), ((-4),4), ((-21),5), ((-23),6), ((16),7), ((-27),8), ((-15),9)], (-87)), ("GEQ", [((13),0), ((-1),2), ((9),3), ((3),4), ((1),5), ((7),6), ((15),8), ((-1),9)], (-41)), ("GEQ", [((-25),0), ((-7),1), ((24),2), ((9),3), ((-8),4), ((-7),5), ((-29),6), ((20),7), ((-32),8), ((-9),9)], (-22)), ("GEQ", [((12),0), ((-4),1), ((-10),2), ((-28),3), ((22),5), ((4),6), ((-6),7), ((4),8), ((12),9)], (99))]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]