[("GEQ", [((-2),0), ((-2),2), ((2),3), ((-2),4), ((-1),5), ((2),6), ((2),9), ((-1),11), ((-2),13), ((2),15), ((-1),18), ((-1),20)], (11)), ("GEQ", [((1),0), ((1),2), ((1),4), ((-2),6), ((2),7), ((2),9), ((1),10), ((-1),11), ((-2),12), ((1),13), ((-1),15), ((1),16), ((2),17), ((-1),18), ((1),20), ((-1),22), ((-1),23), ((-1),24)], (8)), ("GEQ", [((1),2), ((2),3), ((-2),6), ((2),9), ((1),10), ((-1),11), ((1),12), ((-1),13), ((-1),16), ((-2),17), ((2),18), ((-1),21), ((1),23)], (4)), ("GEQ", [((2),0), ((2),1), ((-2),2), ((-1),3), ((2),4), ((1),5), ((1),6), ((2),7), ((2),8), ((1),11), ((1),13), ((-1),14), ((1),15), ((2),17), ((1),18), ((1),19), ((2),21), ((1),23), ((2),24)], (-9)), ("GEQ", [((1),1), ((-1),2), ((-2),4), ((1),5), ((2),10), ((1),13), ((2),14), ((-1),15), ((-1),22), ((-1),24)], (3)), ("GEQ", [((-1),1), ((2),3), ((2),4), ((-2),7), ((2),9), ((2),10), ((1),13), ((-1),14), ((1),16), ((2),17), ((-2),19), ((-1),20)], (11)), ("GEQ", [((1),0), ((-2),1), ((2),2), ((1),4), ((2),7), ((-2),8), ((1),9), ((-2),11), ((-1),12), ((2),14), ((-1),15), ((1),19), ((1),22), ((2),23), ((-2),24)], (2)), ("GEQ", [((-2),1), ((-2),7), ((-1),8), ((-1),9), ((-2),10), ((1),11), ((-2),13), ((-1),14), ((-2),16), ((2),21), ((1),22), ((1),24)], (-22)), ("GEQ", [((2),1), ((-1),2), ((-2),3), ((-1),4), ((1),5), ((-1),6), ((-2),8), ((2),9), ((-2),10), ((1),11), ((1),13), ((-2),15), ((2),16), ((2),18), ((-2),19), ((-1),22), ((-2),23), ((2),24)], (-14)), ("GEQ", [((-1),2), ((1),4), ((-1),5), ((2),6), ((2),8), ((2),9), ((-1),11), ((1),12), ((-1),13), ((1),18), ((-1),19), ((1),20), ((-1),21), ((2),22), ((-1),23), ((-1),24)], (34)), ("GEQ", [((2),3), ((-1),6), ((-2),8), ((-1),12), ((2),14), ((2),15), ((1),17), ((1),18), ((2),21), ((1),22), ((1),23), ((2),24)], (-12)), ("GEQ", [((2),0), ((2),1), ((-1),4), ((-1),6), ((-1),8), ((-2),9), ((1),10), ((2),11), ((-2),12), ((1),13), ((2),14), ((-2),15), ((2),16), ((-1),20), ((1),21), ((2),22), ((1),23), ((-2),24)], (0)), ("GEQ", [((1),0), ((-1),4), ((-1),5), ((-2),6), ((2),7), ((-2),8), ((-2),10), ((2),11), ((2),13), ((2),14), ((2),16), ((1),19), ((-2),22)], (-15)), ("GEQ", [((1),0), ((-1),1), ((2),5), ((1),9), ((2),11), ((1),12), ((1),14), ((1),15), ((2),17), ((2),18), ((2),20), ((-2),21), ((1),22), ((-1),24)], (2)), ("GEQ", [((2),1), ((2),2), ((2),3), ((-2),4), ((1),6), ((-2),7), ((-1),8), ((-1),10), ((1),12), ((2),13), ((2),17), ((-2),19), ((2),21), ((2),22), ((-2),23), ((1),24)], (17)), ("GEQ", [((2),0), ((-2),2), ((2),4), ((-1),5), ((-1),6), ((-2),7), ((-1),8), ((-2),9), ((1),11), ((2),12), ((2),13), ((1),14), ((-1),15), ((-1),16), ((-2),17), ((-2),18), ((2),19), ((-2),20), ((1),21), ((-2),22)], (-1)), ("GEQ", [((-2),0), ((-1),2), ((2),5), ((-2),7), ((-2),8), ((-2),10), ((2),14), ((2),15), ((2),17), ((2),18), ((-1),20), ((-1),22)], (-22)), ("GEQ", [((1),0), ((1),4), ((2),5), ((2),6), ((-2),7), ((-1),11), ((1),12), ((-1),13), ((2),16), ((1),17), ((2),18), ((1),19), ((1),20), ((-1),21), ((-2),24)], (22)), ("GEQ", [((2),0), ((1),1), ((2),2), ((-1),6), ((1),8), ((2),11), ((2),13), ((1),14), ((-2),16), ((-1),20), ((-1),21), ((-2),24)], (2)), ("GEQ", [((1),0), ((1),2), ((-2),3), ((1),5), ((-1),6), ((1),10), ((2),11), ((1),14), ((-2),15), ((1),17), ((1),19), ((-1),20), ((2),22), ((2),23), ((1),24)], (-9)), ("GEQ", [((1),2), ((-1),3), ((1),4), ((-1),5), ((2),7), ((1),8), ((-2),10), ((-2),11), ((2),12), ((2),15), ((-1),17), ((-1),18), ((1),19), ((-2),21), ((2),22)], (19)), ("GEQ", [((2),0), ((1),1), ((-1),2), ((-2),3), ((-2),5), ((-1),7), ((-2),8), ((-1),9), ((1),12), ((-2),14), ((-1),15), ((1),18), ((-1),20), ((1),21), ((-2),23)], (2)), ("GEQ", [((1),0), ((1),1), ((-2),3), ((-2),4), ((2),5), ((2),9), ((1),10), ((-1),12), ((-1),17), ((-1),18), ((-1),19), ((-1),21), ((2),23), ((-2),24)], (-10)), ("GEQ", [((-2),0), ((-1),1), ((2),2), ((1),3), ((-1),4), ((-2),5), ((-2),7), ((-1),9), ((2),10), ((2),11), ((2),12), ((2),13), ((-1),14), ((-2),15), ((1),17), ((1),18), ((1),19), ((-2),20), ((-2),21), ((1),24)], (13)), ("GEQ", [((-15),0), ((-10),1), ((-2),2), ((-17),3), ((3),4), ((-3),6), ((11),7), ((21),8), ((-9),9), ((-1),10), ((3),11), ((-9),12), ((-13),13), ((-27),14), ((1),15), ((-7),16), ((-11),17), ((-4),18), ((-5),19), ((18),20), ((-9),21), ((-17),22), ((-8),23), ((13),24)], (-196)), ("GEQ", [((6),1), ((9),2), ((22),3), ((-7),4), ((1),5), ((11),6), ((2),7), ((-16),8), ((-2),9), ((-2),10), ((-13),11), ((2),12), ((3),13), ((40),14), ((3),15), ((3),16), ((11),17), ((-6),18), ((16),19), ((-24),20), ((13),21), ((38),22), ((26),23), ((-13),24)], (184)), ("GEQ", [((-1),0), ((15),1), ((5),2), ((37),3), ((-20),4), ((-9),5), ((15),6), ((-11),7), ((-22),8), ((-10),9), ((2),10), ((-23),11), ((-13),12), ((4),13), ((38),14), ((2),15), ((3),16), ((-20),18), ((-4),19), ((-18),20), ((32),21), ((26),22), ((5),23), ((-22),24)], (235)), ("GEQ", [((54),0), ((7),1), ((-10),2), ((-36),3), ((24),4), ((-5),5), ((-24),6), ((-21),7), ((-9),8), ((36),9), ((5),10), ((30),11), ((32),12), ((29),13), ((-37),14), ((-26),15), ((14),16), ((-3),17), ((30),18), ((-16),19), ((8),20), ((-27),21), ((-44),22), ((-37),23), ((-3),24)], (98)), ("GEQ", [((-69),0), ((18),1), ((14),2), ((91),3), ((-42),4), ((-6),5), ((44),6), ((17),7), ((9),8), ((-43),9), ((6),10), ((-67),11), ((-41),12), ((-25),13), ((65),14), ((44),15), ((-14),16), ((-1),17), ((-56),18), ((9),19), ((-25),20), ((60),21), ((78),22), ((49),23), ((-6),24)], (249)), ("GEQ", [((21),0), ((-34),1), ((-10),2), ((-69),3), ((41),4), ((18),5), ((-29),6), ((-7),7), ((27),8), ((27),9), ((47),11), ((29),12), ((-12),13), ((-77),14), ((-20),15), ((1),16), ((47),18), ((-8),19), ((45),20), ((-55),21), ((-54),22), ((-31),23), ((35),24)], (-328))]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24]