[("GEQ", [((2),0), ((2),1), ((2),3), ((-1),4), ((-2),6), ((-1),7), ((2),8), ((-1),9), ((2),10), ((-1),11), ((-2),13), ((-1),15), ((2),21), ((-1),22), ((2),23), ((-2),24)], (-3)), ("GEQ", [((-2),2), ((-1),4), ((-2),6), ((2),7), ((-1),10), ((-1),12), ((1),13), ((2),14), ((-2),15), ((1),16), ((-1),17), ((1),18), ((-2),19), ((-1),20), ((-2),24)], (-6)), ("GEQ", [((-2),0), ((1),1), ((1),4), ((2),6), ((2),8), ((-2),10), ((2),12), ((-1),13), ((-1),16), ((-2),17), ((1),19), ((2),20), ((2),23)], (0)), ("GEQ", [((-1),1), ((-2),2), ((2),3), ((2),7), ((-2),9), ((1),10), ((1),11), ((-2),12), ((-1),13), ((-2),15), ((1),16), ((-2),17), ((1),18), ((1),19), ((-1),20), ((-2),21), ((2),22), ((-2),23), ((2),24)], (-27)), ("GEQ", [((2),0), ((-2),1), ((-2),2), ((1),3), ((-2),5), ((2),6), ((-2),9), ((-2),10), ((-2),11), ((-1),12), ((1),14), ((2),17), ((-1),19), ((2),21), ((-2),22), ((-1),23), ((-1),24)], (27)), ("GEQ", [((2),0), ((-2),1), ((1),2), ((1),5), ((-2),6), ((-1),7), ((-2),9), ((1),10), ((-2),14), ((-1),15), ((-2),17), ((2),19), ((-2),21), ((-1),23), ((-1),24)], (-12)), ("GEQ", [((1),0), ((-1),1), ((2),2), ((-2),3), ((-2),4), ((1),7), ((2),9), ((2),10), ((-2),16), ((2),19), ((1),20), ((-1),21)], (-1)), ("GEQ", [((-1),0), ((1),1), ((-2),2), ((1),3), ((1),4), ((2),5), ((-1),6), ((1),8), ((2),9), ((-2),10), ((1),14), ((2),16), ((1),17), ((1),18), ((-2),21), ((-2),23), ((1),24)], (-5)), ("GEQ", [((2),0), ((2),1), ((-2),3), ((2),4), ((-1),5), ((2),7), ((2),9), ((-1),11), ((2),12), ((-2),13), ((1),14), ((1),15), ((2),18), ((-2),21), ((-2),22)], (13)), ("GEQ", [((-1),0), ((-2),1), ((2),3), ((2),4), ((-1),5), ((-1),8), ((-1),9), ((2),10), ((1),11), ((2),12), ((-2),14), ((-1),18), ((-1),19), ((-1),22), ((2),23)], (10)), ("GEQ", [((-2),0), ((2),3), ((-2),5), ((-2),6), ((2),9), ((2),10), ((-2),14), ((2),16), ((2),18), ((2),20), ((1),23), ((2),24)], (-25)), ("GEQ", [((1),3), ((-1),6), ((-1),7), ((2),9), ((2),11), ((-2),15), ((-1),16), ((1),17), ((1),18), ((-1),19), ((1),20), ((-2),21), ((1),23)], (1)), ("GEQ", [((-1),5), ((-2),6), ((-1),8), ((-2),11), ((-1),12), ((2),15), ((-2),16), ((1),17), ((1),20), ((-2),21), ((-1),22), ((2),23)], (1)), ("GEQ", [((1),0), ((-1),2), ((1),3), ((-1),4), ((2),6), ((-1),7), ((2),8), ((-2),11), ((2),14), ((-1),16), ((-1),20), ((-2),22), ((2),24)], (10)), ("GEQ", [((-2),0), ((-2),1), ((-2),2), ((-1),5), ((-2),6), ((-1),11), ((-1),12), ((-2),13), ((2),14), ((-2),15), ((-1),18), ((-1),19), ((1),20), ((1),23), ((-2),24)], (10)), ("GEQ", [((1),2), ((1),5), ((-2),6), ((-2),11), ((2),12), ((-2),13), ((2),14), ((-1),15), ((-1),17), ((2),18), ((2),19), ((1),20), ((-2),21), ((-1),22), ((1),23)], (-2)), ("GEQ", [((-2),0), ((-2),1), ((-1),2), ((-1),8), ((2),9), ((2),10), ((2),11), ((-1),13), ((2),14), ((-2),15), ((1),16), ((2),18), ((2),19), ((2),22), ((-1),23), ((2),24)], (-10)), ("GEQ", [((-2),0), ((-2),5), ((1),7), ((-2),8), ((2),9), ((1),11), ((2),12), ((-1),13), ((-2),14), ((1),16), ((2),17), ((-2),18), ((2),19), ((-2),21), ((1),22), ((1),24)], (13)), ("GEQ", [((1),3), ((2),4), ((-1),5), ((-2),6), ((-1),7), ((-2),11), ((2),13), ((-1),14), ((1),16), ((2),17), ((-1),19), ((-2),23)], (-11)), ("GEQ", [((1),0), ((1),2), ((-1),3), ((2),4), ((-1),6), ((1),7), ((-1),8), ((1),9), ((1),10), ((-2),14), ((1),16), ((-1),17), ((1),18), ((-2),20), ((2),24)], (-18)), ("GEQ", [((1),1), ((-2),4), ((-2),5), ((-2),8), ((2),9), ((-1),10), ((2),11), ((2),12), ((2),13), ((1),15), ((1),19), ((-2),20), ((1),22)], (21)), ("GEQ", [((-1),0), ((1),1), ((2),2), ((-1),3), ((-1),4), ((1),5), ((2),7), ((-1),8), ((-1),9), ((2),11), ((2),12), ((-2),13), ((1),15), ((-2),16), ((1),17), ((-1),18), ((-1),20), ((1),21), ((2),23), ((-1),24)], (13)), ("GEQ", [((2),0), ((1),2), ((2),4), ((-1),5), ((-1),6), ((1),7), ((-2),11), ((-2),13), ((-1),14), ((-2),15), ((-2),16), ((-1),20), ((-2),22), ((1),23), ((-2),24)], (8)), ("GEQ", [((1),1), ((-1),2), ((-1),7), ((2),8), ((-2),10), ((-2),15), ((2),17), ((1),18), ((2),19), ((-2),20), ((1),21), ((2),22), ((1),23), ((-2),24)], (-3)), ("GEQ", [((-1),0), ((-9),1), ((9),2), ((-7),3), ((-20),4), ((13),5), ((22),6), ((-16),7), ((-2),8), ((-16),9), ((4),10), ((7),11), ((-18),12), ((32),13), ((17),15), ((9),16), ((-15),17), ((-16),18), ((-22),19), ((11),20), ((29),21), ((4),22), ((-11),23), ((-1),24)], (-41)), ("GEQ", [((-5),0), ((20),1), ((-32),2), ((15),3), ((64),4), ((-25),5), ((-42),6), ((25),7), ((42),9), ((-25),10), ((-9),11), ((46),12), ((-67),13), ((-4),14), ((-38),15), ((-8),16), ((45),17), ((32),18), ((59),19), ((-42),20), ((-81),21), ((4),22), ((6),23), ((17),24)], (128)), ("GEQ", [((-7),0), ((23),1), ((2),2), ((-2),3), ((48),4), ((-27),5), ((-42),6), ((34),7), ((-3),8), ((37),9), ((-2),10), ((-7),11), ((48),12), ((-78),13), ((-18),14), ((-24),15), ((-31),16), ((44),17), ((20),18), ((60),19), ((-27),20), ((-58),21), ((31),23), ((4),24)], (111)), ("GEQ", [((13),0), ((-7),1), ((-32),2), ((31),3), ((-24),4), ((10),5), ((17),6), ((-24),7), ((17),8), ((-32),9), ((-13),10), ((-1),11), ((-36),12), ((51),13), ((27),14), ((-5),15), ((29),16), ((-45),17), ((3),18), ((-62),19), ((23),20), ((38),21), ((-14),22), ((-12),23), ((-19),24)], (-61)), ("GEQ", [((7),0), ((17),1), ((-24),2), ((7),3), ((18),4), ((4),5), ((-19),6), ((16),7), ((6),8), ((9),9), ((-33),10), ((-8),11), ((1),12), ((-23),13), ((16),14), ((-13),15), ((-6),16), ((20),17), ((28),18), ((22),19), ((-17),20), ((-34),21), ((3),22), ((-6),23), ((-1),24)], (-4)), ("GEQ", [((-13),0), ((-18),1), ((61),2), ((-36),3), ((-54),4), ((32),5), ((69),6), ((-46),7), ((-12),8), ((-38),9), ((44),10), ((28),11), ((-33),12), ((77),13), ((-28),14), ((61),15), ((11),16), ((-20),17), ((-72),18), ((-49),19), ((23),20), ((86),21), ((22),22), ((-20),23), ((11),24)], (-111))]
[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]