[("GEQ", [((-2),2), ((1),3), ((-2),4), ((1),5), ((-1),6), ((-2),7), ((2),8), ((-2),9)], (-12)), ("GEQ", [((2),2), ((-1),3), ((-2),4), ((1),6), ((-2),8), ((1),9)], (-6)), ("GEQ", [((-2),0), ((-1),1), ((-2),2), ((-1),5), ((-2),6), ((2),9)], (14)), ("GEQ", [((2),2), ((-2),4), ((1),5), ((-1),7), ((-2),9)], (-17)), ("GEQ", [((2),0), ((-2),1), ((-1),3), ((2),4), ((-2),6), ((-2),7), ((1),8), ((2),9)], (16)), ("GEQ", [((-2),0), ((2),1), ((1),2), ((-2),5), ((1),6), ((-2),9)], (-5)), ("GEQ", [((-2),0), ((-1),1), ((-2),2), ((2),5), ((1),7), ((-2),8)], (-7)), ("GEQ", [((-2),0), ((2),3), ((-2),6), ((2),7), ((-1),8)], (-2)), ("GEQ", [((1),1), ((2),3), ((1),5), ((2),6), ((-1),7), ((-2),8), ((-2),9)], (-20)), ("GEQ", [((4),0), ((7),1), ((-4),2), ((-8),3), ((2),4), ((-7),5), ((8),6), ((8),7), ((13),8)], (56)), ("GEQ", [((-19),1), ((10),2), ((25),3), ((4),4), ((20),5), ((-20),6), ((-22),7), ((-31),8), ((1),9)], (-131)), ("GEQ", [((6),0), ((-23),1), ((23),2), ((18),3), ((6),4), ((24),5), ((-17),6), ((-18),7), ((-38),8), ((6),9)], (-133)), ("GEQ", [((2),0), ((-5),1), ((16),2), ((5),3), ((-12),4), ((6),5), ((-7),6), ((-13),7), ((-9),8), ((-4),9)], (-98)), ("GEQ", [((-16),0), ((5),1), ((-28),2), ((-13),3), ((16),4), ((-12),5), ((7),6), ((23),7), ((9),8), ((11),9)], (179)), ("GEQ", [((16),0), ((-9),1), ((6),3), ((2),4), ((6),5), ((-9),6), ((-13),7), ((4),8), ((6),9)], (13))] [0, 1, 2, 3, 4, 5, 6, 7, 8, 9] [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]