[("GEQ", [((-2),0), ((-2),2), ((-2),7)], (16)), ("GEQ", [((-1),0), ((2),1), ((2),2), ((-2),6), ((-2),7), ((-1),9)], (-11)), ("GEQ", [((-1),1), ((-1),2), ((-2),3), ((-2),5), ((-1),7), ((-1),8), ((-1),9)], (12)), ("GEQ", [((1),0), ((-2),1), ((-2),2), ((1),3), ((2),8)], (9)), ("GEQ", [((-2),0), ((1),1), ((-1),3), ((2),4), ((2),5), ((2),6)], (-2)), ("GEQ", [((1),0), ((-1),2), ((-1),3), ((-2),7), ((-1),8), ((-2),9)], (4)), ("GEQ", [((1),1), ((-1),2), ((-1),4), ((2),5), ((-1),6), ((1),7), ((-1),9)], (-1)), ("GEQ", [((-2),3), ((2),4), ((2),5), ((1),6), ((2),8), ((-2),9)], (-1)), ("GEQ", [((-2),0), ((-2),1), ((1),3), ((-1),4), ((-2),6), ((1),7), ((-2),8), ((-1),9)], (7)), ("GEQ", [((11),0), ((-4),1), ((4),2), ((7),3), ((-8),4), ((-12),5), ((5),6), ((14),7), ((-9),8), ((16),9)], (-35)), ("GEQ", [((-21),0), ((10),1), ((-2),2), ((-16),3), ((20),4), ((24),5), ((-12),6), ((-35),7), ((22),8), ((-37),9)], (40)), ("GEQ", [((26),0), ((-4),1), ((9),2), ((19),3), ((-17),4), ((-16),5), ((10),6), ((35),7), ((-11),8), ((35),9)], (-114)), ("GEQ", [((-23),0), ((21),1), ((6),2), ((-15),3), ((22),4), ((30),5), ((-12),6), ((-29),7), ((30),8), ((-31),9)], (-31)), ("GEQ", [((5),0), ((-8),1), ((-5),2), ((-8),4), ((-14),5), ((9),6), ((13),7), ((-19),8), ((13),9)], (40)), ("GEQ", [((-37),0), ((-7),1), ((-22),2), ((-24),3), ((14),4), ((2),5), ((-8),6), ((-36),7), ((2),8), ((-30),9)], (257))]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]