[("GEQ", [((-1),3), ((2),5), ((1),6), ((1),8), ((1),9)], (-3)), ("GEQ", [((1),3), ((2),4), ((-1),5), ((1),6), ((1),7), ((-1),8), ((-1),9)], (0)), ("GEQ", [((1),0), ((1),1), ((2),2), ((-2),4), ((-1),6), ((-1),7), ((-2),8), ((-2),9)], (13)), ("GEQ", [((1),0), ((1),1), ((-1),3), ((-1),4), ((-2),5), ((-2),7)], (3)), ("GEQ", [((-1),0), ((-1),2), ((1),3), ((-1),5), ((1),9)], (2)), ("GEQ", [((-1),0), ((1),1), ((1),2), ((2),4), ((1),5), ((-2),6), ((2),7), ((-1),8), ((1),9)], (-4)), ("GEQ", [((-1),0), ((-2),2), ((2),6), ((-2),8)], (11)), ("GEQ", [((-1),0), ((-2),1), ((-1),2), ((-2),3), ((1),4), ((-1),6), ((2),8), ((1),9)], (-21)), ("GEQ", [((-1),1), ((-2),5), ((2),6), ((1),7)], (1)), ("GEQ", [((1),0), ((3),1), ((3),2), ((7),3), ((-5),4), ((15),5), ((-6),6), ((1),7), ((1),8), ((-1),9)], (18)), ("GEQ", [((8),0), ((3),1), ((9),2), ((-1),3), ((-3),4), ((7),5), ((-5),6), ((11),8), ((2),9)], (-31)), ("GEQ", [((-10),0), ((-13),1), ((-16),2), ((-15),3), ((9),4), ((-19),5), ((13),6), ((-3),7), ((-6),8)], (-43)), ("GEQ", [((9),0), ((19),1), ((19),2), ((33),3), ((-5),4), ((24),5), ((-24),6), ((9),7), ((1),8), ((-4),9)], (71)), ("GEQ", [((-4),0), ((-8),1), ((-7),2), ((-20),3), ((8),4), ((-32),5), ((16),6), ((-5),7), ((-7),8)], (-25)), ("GEQ", [((-7),0), ((-15),1), ((-24),2), ((3),3), ((-5),4), ((-2),5), ((15),6), ((-4),7), ((4),8)], (-3))]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9]