[("GEQ", [((-1),0), ((2),1), ((2),2), ((-2),3), ((-2),4), ((-2),5), ((-1),6), ((-1),7), ((-1),9)], (7)), ("GEQ", [((1),0), ((1),1), ((1),2), ((-1),3), ((1),4), ((2),5), ((1),7), ((-2),8), ((1),9)], (12)), ("GEQ", [((-1),3), ((-2),9)], (1)), ("GEQ", [((-2),4), ((2),5), ((2),7), ((2),8)], (1)), ("GEQ", [((2),0), ((1),1), ((-1),2), ((2),3), ((1),4), ((1),5), ((-1),8)], (4)), ("GEQ", [((1),2), ((-1),3), ((1),4), ((-2),6), ((-1),7), ((-2),8), ((1),9)], (9)), ("GEQ", [((-2),0), ((-1),1), ((-1),2), ((2),4), ((2),6), ((2),7), ((-2),9)], (-7)), ("GEQ", [((-1),0), ((1),2), ((2),3), ((1),4), ((-1),5), ((-1),6), ((-2),7), ((2),8)], (-3)), ("GEQ", [((2),0), ((-1),2), ((1),3), ((2),6), ((2),8), ((-2),9)], (-7)), ("GEQ", [((3),0), ((-7),1), ((-7),2), ((-3),4), ((-1),7), ((-12),8), ((21),9)], (-38)), ("GEQ", [((-8),0), ((-6),1), ((-4),2), ((-7),3), ((-7),4), ((-10),5), ((5),6), ((1),7), ((1),8), ((-1),9)], (-66)), ("GEQ", [((35),0), ((24),1), ((13),2), ((23),3), ((25),4), ((38),5), ((-20),6), ((-3),7), ((-16),8), ((13),9)], (266)), ("GEQ", [((8),0), ((4),1), ((4),2), ((16),3), ((9),4), ((9),5), ((-7),6), ((-6),7), ((16),8), ((-12),9)], (47)), ("GEQ", [((6),0), ((24),1), ((27),2), ((6),3), ((17),4), ((22),5), ((-16),6), ((1),7), ((22),8), ((-39),9)], (232)), ("GEQ", [((-28),0), ((-24),1), ((-16),2), ((-27),3), ((-22),4), ((-34),5), ((12),6), ((1),7), ((-15),8), ((15),9)], (-222))]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]