[("GEQ", [((-2),3), ((-1),4), ((-2),5), ((1),10), ((2),15), ((2),18), ((1),19), ((1),20), ((-2),21), ((1),22), ((2),23), ((-2),24)], (0)), ("GEQ", [((-2),0), ((-1),1), ((-2),2), ((2),3), ((-2),5), ((-2),7), ((1),8), ((1),9), ((-1),11), ((2),12), ((-2),13), ((2),15), ((-1),16), ((-2),17), ((1),18), ((-2),19), ((1),21), ((-1),22), ((2),23)], (14)), ("GEQ", [((1),0), ((1),2), ((1),4), ((1),5), ((2),6), ((1),7), ((2),9), ((-1),10), ((-1),11), ((-1),13), ((-1),15), ((2),16), ((-1),18), ((-2),20), ((2),21), ((-2),22), ((2),23)], (4)), ("GEQ", [((-2),0), ((-1),1), ((-1),6), ((2),8), ((-2),10), ((1),12), ((1),13), ((-1),14), ((2),15), ((-1),16), ((-2),19), ((1),20), ((-2),21), ((2),22)], (0)), ("GEQ", [((2),0), ((2),1), ((-2),2), ((-1),3), ((2),4), ((1),5), ((2),6), ((1),8), ((2),9), ((1),11), ((2),12), ((-2),16), ((-2),19), ((2),21), ((1),22), ((1),23), ((1),24)], (13)), ("GEQ", [((1),0), ((-2),1), ((1),3), ((-2),4), ((1),5), ((-1),6), ((-2),7), ((-2),8), ((1),9), ((-1),11), ((1),13), ((-1),14), ((2),16), ((-2),17), ((-1),21), ((-2),24)], (-15)), ("GEQ", [((1),2), ((1),3), ((2),6), ((-1),7), ((-1),8), ((1),10), ((-2),14), ((2),15), ((1),17), ((-1),18), ((-2),23), ((2),24)], (0)), ("GEQ", [((2),8), ((1),11), ((-1),12), ((2),13), ((2),15), ((1),18), ((2),19), ((2),20), ((1),21), ((-1),24)], (-14)), ("GEQ", [((1),3), ((-1),4), ((1),6), ((1),8), ((1),10), ((2),11), ((2),12), ((-2),14), ((-2),16), ((1),17), ((-1),18), ((-1),21)], (-22)), ("GEQ", [((-2),3), ((-2),6), ((-1),10), ((2),11), ((-2),16), ((-1),18), ((2),22), ((2),23), ((-2),24)], (7)), ("GEQ", [((1),1), ((2),3), ((2),4), ((1),5), ((1),6), ((-2),7), ((-1),8), ((2),10), ((-2),11), ((-2),13), ((1),14), ((1),15), ((-2),17), ((2),18), ((2),20), ((-1),21), ((1),24)], (20)), ("GEQ", [((-2),0), ((-2),2), ((-1),5), ((1),8), ((2),9), ((-1),10), ((1),13), ((2),15), ((-1),16), ((-2),18), ((-2),19), ((1),20), ((2),21), ((-2),23)], (1)), ("GEQ", [((1),0), ((-2),2), ((1),4), ((2),5), ((-1),7), ((2),8), ((1),10), ((2),12), ((-2),13), ((-1),14), ((1),15), ((-2),16), ((-1),21), ((-1),23)], (2)), ("GEQ", [((1),0), ((1),3), ((-2),4), ((-1),5), ((2),6), ((-1),7), ((-2),10), ((-2),12), ((2),14), ((-1),15), ((-2),16), ((1),17), ((-2),18), ((-2),23), ((-2),24)], (-25)), ("GEQ", [((-1),0), ((-1),1), ((-2),2), ((2),3), ((-1),4), ((-1),5), ((-2),7), ((1),8), ((-2),9), ((-2),13), ((-1),17), ((-1),20), ((1),23)], (9)), ("GEQ", [((2),0), ((1),2), ((-2),3), ((2),4), ((2),5), ((1),6), ((1),11), ((2),12), ((-2),13), ((2),14), ((2),15), ((-1),16), ((2),18), ((-2),20), ((-2),21), ((-2),23)], (11)), ("GEQ", [((2),0), ((-1),1), ((2),2), ((2),4), ((1),5), ((1),6), ((2),7), ((2),8), ((-2),12), ((1),13), ((-2),16), ((1),17), ((-2),19), ((2),20), ((1),21), ((2),22), ((-2),23), ((2),24)], (-11)), ("GEQ", [((-2),2), ((1),3), ((-1),5), ((1),6), ((-1),7), ((-2),8), ((-1),11), ((1),12), ((-1),14), ((-2),15), ((2),17), ((-2),18), ((1),19), ((1),21), ((-1),22), ((1),23)], (3)), ("GEQ", [((-2),0), ((-1),1), ((-2),3), ((2),5), ((-1),7), ((-1),9), ((1),12), ((2),13), ((-2),14), ((2),15), ((2),17), ((1),21), ((-2),22), ((-1),24)], (14)), ("GEQ", [((2),0), ((1),1), ((-1),4), ((1),5), ((-2),6), ((1),9), ((-1),10), ((2),11), ((-1),12), ((1),14), ((1),15), ((1),17), ((-2),18), ((2),19), ((-1),20), ((2),23), ((-2),24)], (-2)), ("GEQ", [((1),1), ((1),2), ((2),4), ((-1),6), ((1),7), ((1),8), ((-2),9), ((-2),10), ((-2),11), ((-1),13), ((2),14), ((-2),15), ((-1),18), ((2),20), ((-2),22), ((2),24)], (2)), ("GEQ", [((1),2), ((-2),3), ((-2),5), ((-1),8), ((-1),9), ((2),10), ((1),11), ((-1),12), ((1),13), ((-1),14), ((1),16), ((1),17), ((-2),19), ((1),20), ((1),21), ((-1),22)], (6)), ("GEQ", [((-1),1), ((-1),2), ((-1),3), ((-1),4), ((2),10), ((1),11), ((-1),12), ((-1),14), ((-2),15), ((-2),16), ((1),19), ((2),20), ((2),21), ((-1),22), ((-1),24)], (-16)), ("GEQ", [((-2),0), ((-2),1), ((2),3), ((2),6), ((1),7), ((-2),11), ((2),13), ((-1),14), ((-2),18), ((2),20), ((-1),22), ((1),23)], (-20)), ("GEQ", [((-8),0), ((16),1), ((-1),2), ((-2),3), ((-16),4), ((-9),5), ((-14),6), ((10),7), ((-7),8), ((-5),9), ((-1),10), ((16),11), ((-7),12), ((16),13), ((-1),14), ((-9),15), ((12),16), ((8),17), ((-4),18), ((11),19), ((-19),20), ((-3),21), ((11),22), ((-2),24)], (-20)), ("GEQ", [((10),0), ((-41),1), ((10),2), ((11),3), ((24),4), ((15),5), ((13),6), ((-25),7), ((3),8), ((-2),9), ((-1),10), ((-50),11), ((15),12), ((-56),13), ((10),14), ((3),15), ((-6),16), ((-31),17), ((26),18), ((-13),19), ((27),20), ((-10),21), ((-32),22), ((1),23), ((11),24)], (96)), ("GEQ", [((22),0), ((-58),1), ((15),2), ((16),3), ((60),4), ((25),5), ((50),6), ((-33),7), ((16),8), ((22),9), ((-2),10), ((-73),11), ((22),12), ((-69),13), ((23),14), ((23),15), ((-22),16), ((-55),17), ((35),18), ((-44),19), ((59),20), ((2),21), ((-40),22), ((-7),23), ((14),24)], (94)), ("GEQ", [((-7),0), ((53),1), ((10),2), ((-27),3), ((-31),4), ((-11),5), ((-38),6), ((35),7), ((-22),8), ((-2),9), ((5),10), ((55),11), ((-11),12), ((53),13), ((-2),14), ((-6),15), ((39),16), ((17),17), ((5),18), ((21),19), ((-58),20), ((-26),21), ((49),22), ((-4),23), ((-11),24)], (16)), ("GEQ", [((12),0), ((-25),1), ((-22),2), ((16),3), ((2),4), ((-7),5), ((33),6), ((-8),7), ((34),8), ((-14),9), ((-9),10), ((5),11), ((-32),12), ((12),13), ((-18),14), ((-15),15), ((-69),16), ((45),17), ((-66),18), ((-7),19), ((56),20), ((69),21), ((-19),22), ((-4),23), ((4),24)], (-304)), ("GEQ", [((-65),0), ((34),1), ((-40),2), ((27),3), ((-32),4), ((-20),5), ((-23),6), ((2),7), ((-21),8), ((-4),9), ((1),10), ((38),12), ((23),13), ((-19),14), ((-9),15), ((39),16), ((18),17), ((-17),18), ((31),19), ((-43),20), ((-10),21), ((-27),22), ((29),23)], (130))]
[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]