[("GEQ", [((2),1), ((-2),2), ((-1),4), ((1),5), ((-2),6), ((-1),8), ((-2),9)], (7)), ("GEQ", [((-1),1), ((1),4), ((-2),8)], (1)), ("GEQ", [((-1),1), ((1),3), ((2),5), ((-1),7)], (-4)), ("GEQ", [((2),0), ((-1),1), ((-2),4), ((2),5), ((1),8), ((-2),9)], (1)), ("GEQ", [((-2),1), ((-2),2), ((-2),3), ((-2),4), ((1),5), ((-1),7), ((-1),8), ((2),9)], (14)), ("GEQ", [((-2),0), ((-2),2), ((2),4), ((2),6), ((-1),7), ((1),9)], (12)), ("GEQ", [((1),0), ((2),1), ((-1),2), ((1),6), ((-2),7), ((2),8)], (1)), ("GEQ", [((1),0), ((-1),1), ((-1),2), ((-1),3), ((2),4), ((-1),6), ((-1),7), ((-1),9)], (8)), ("GEQ", [((1),0), ((1),2), ((-1),3), ((-1),4), ((2),5), ((-2),7), ((1),8), ((2),9)], (-7)), ("GEQ", [((-5),0), ((9),1), ((9),2), ((10),3), ((3),4), ((-13),5), ((6),6), ((12),7), ((10),8), ((-6),9)], (-58)), ("GEQ", [((-2),0), ((8),1), ((14),2), ((4),3), ((2),4), ((-16),5), ((-3),6), ((16),7), ((2),8), ((-5),9)], (-69)), ("GEQ", [((-4),1), ((22),2), ((12),3), ((2),4), ((-15),5), ((21),7), ((-1),8), ((-8),9)], (-117)), ("GEQ", [((16),0), ((-25),1), ((-14),2), ((-30),3), ((-14),4), ((39),5), ((-26),6), ((-31),7), ((-39),8), ((23),9)], (96)), ("GEQ", [((-18),0), ((14),1), ((15),3), ((13),4), ((-34),5), ((12),6), ((26),7), ((11),8), ((-14),9)], (2)), ("GEQ", [((14),0), ((-7),1), ((10),2), ((-1),3), ((-8),4), ((19),5), ((5),6), ((-13),7), ((12),8), ((4),9)], (-60))]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]