[("GEQ", [((-2),0), ((2),2), ((2),7), ((2),8), ((-2),9), ((-1),10), ((-1),12), ((-1),14), ((-2),15), ((-1),18), ((1),19), ((-2),21), ((2),24)], (8)), ("GEQ", [((2),0), ((2),1), ((2),4), ((1),5), ((-2),6), ((1),7), ((-1),9), ((-1),10), ((1),11), ((-2),12), ((1),13), ((1),15), ((1),17), ((-2),18), ((-2),19), ((-1),20), ((2),21), ((-1),22), ((-1),23), ((1),24)], (1)), ("GEQ", [((-2),1), ((1),2), ((2),3), ((1),4), ((-1),5), ((-2),6), ((2),9), ((-2),10), ((1),11), ((2),14), ((-2),19), ((-1),21), ((2),22), ((-2),23)], (-6)), ("GEQ", [((-2),0), ((-2),4), ((-2),5), ((-2),8), ((-1),12), ((-1),13), ((1),14), ((2),15), ((2),16), ((1),18), ((2),19), ((-1),21)], (-11)), ("GEQ", [((-1),0), ((2),2), ((1),3), ((2),6), ((-2),8), ((-1),9), ((2),10), ((1),13), ((-1),15), ((-1),16), ((-2),17), ((1),21), ((-2),24)], (0)), ("GEQ", [((-2),1), ((1),3), ((1),4), ((1),5), ((-2),8), ((1),10), ((2),12), ((2),13), ((-2),14), ((1),15), ((-1),16), ((1),17), ((-2),18), ((2),19), ((-1),20), ((-1),21), ((2),22), ((1),23)], (-21)), ("GEQ", [((2),2), ((-1),3), ((-1),4), ((-1),8), ((2),11), ((1),12), ((2),13), ((1),14), ((-2),16), ((-1),18), ((2),20), ((2),21), ((-2),22), ((-2),24)], (34)), ("GEQ", [((-1),0), ((-2),3), ((1),4), ((-2),5), ((-1),6), ((-1),8), ((-1),9), ((-2),10), ((2),13), ((-2),15), ((-2),18), ((1),20), ((-1),22), ((2),23)], (4)), ("GEQ", [((2),0), ((-1),2), ((1),4), ((-1),7), ((2),8), ((1),11), ((-2),12), ((-2),13), ((1),14), ((-1),15), ((-2),17), ((1),18), ((-1),19), ((-1),20), ((1),21), ((-1),23), ((-2),24)], (-8)), ("GEQ", [((2),0), ((2),3), ((2),5), ((2),6), ((1),7), ((1),9), ((2),11), ((-2),12), ((-1),13), ((2),14), ((2),15), ((-2),18), ((1),19), ((-2),20), ((-2),21), ((1),23), ((2),24)], (-16)), ("GEQ", [((1),0), ((-1),1), ((-2),2), ((2),5), ((2),7), ((1),8), ((-2),10), ((2),11), ((1),15), ((-1),20), ((2),21), ((2),22), ((1),23)], (0)), ("GEQ", [((2),2), ((2),5), ((-1),6), ((1),8), ((-2),10), ((-1),11), ((1),12), ((-1),13), ((1),14), ((1),16), ((2),19), ((1),20), ((-1),21), ((-2),23)], (-10)), ("GEQ", [((-1),1), ((2),2), ((2),3), ((-2),4), ((1),5), ((1),6), ((-2),9), ((2),10), ((-2),11), ((-1),13), ((2),14), ((-2),15), ((-1),16), ((-2),17), ((2),18), ((2),22), ((1),23)], (-18)), ("GEQ", [((1),0), ((2),2), ((1),3), ((-2),4), ((2),5), ((2),7), ((-1),8), ((2),9), ((-1),10), ((2),13), ((1),15), ((1),17), ((1),22), ((2),23), ((2),24)], (14)), ("GEQ", [((2),0), ((-2),2), ((1),3), ((2),9), ((-1),10), ((1),11), ((1),12), ((1),13), ((2),14), ((-2),17), ((-1),19), ((2),21), ((2),22), ((2),23), ((1),24)], (-19)), ("GEQ", [((1),2), ((2),7), ((2),8), ((2),12), ((2),13), ((-1),15), ((-1),16), ((-2),18), ((1),19), ((-1),20), ((-1),21), ((1),22)], (4)), ("GEQ", [((1),1), ((-2),3), ((1),4), ((-1),6), ((2),7), ((2),8), ((-1),11), ((-1),12), ((-1),14), ((2),15), ((1),16), ((1),17), ((1),23), ((1),24)], (9)), ("GEQ", [((2),0), ((1),1), ((1),6), ((-2),9), ((2),10), ((-1),12), ((-2),13), ((-1),15), ((-1),16), ((-1),17), ((-2),19), ((1),20), ((-1),22), ((2),24)], (1)), ("GEQ", [((-2),1), ((-2),3), ((1),5), ((1),7), ((-1),8), ((-2),9), ((2),11), ((-1),12), ((2),14), ((-1),16), ((-1),18), ((-2),19), ((-1),23), ((-1),24)], (13)), ("GEQ", [((1),0), ((-1),1), ((2),4), ((1),5), ((2),6), ((2),7), ((1),9), ((2),12), ((1),14), ((-1),17), ((-1),19), ((2),22), ((2),23), ((-1),24)], (-7)), ("GEQ", [((-1),0), ((-1),1), ((1),2), ((-2),3), ((1),5), ((-1),7), ((1),8), ((2),9), ((1),10), ((-2),11), ((-2),12), ((1),13), ((-2),17), ((2),20), ((1),21), ((-2),23), ((-2),24)], (12)), ("GEQ", [((2),1), ((1),3), ((-1),6), ((1),7), ((-2),8), ((1),10), ((-1),11), ((-1),12), ((2),14), ((-2),15), ((1),16), ((-1),17), ((-2),24)], (-23)), ("GEQ", [((1),0), ((2),1), ((2),2), ((2),3), ((-1),4), ((2),6), ((-2),7), ((-1),8), ((2),10), ((-1),11), ((-2),13), ((2),14), ((-2),16), ((-2),17), ((-2),18), ((2),19), ((-1),22), ((-1),24)], (-25)), ("GEQ", [((1),4), ((2),5), ((2),6), ((2),7), ((-1),8), ((1),10), ((-1),11), ((2),13), ((-2),16), ((1),17), ((2),18), ((2),19), ((2),20), ((2),22), ((-2),23)], (9)), ("GEQ", [((-9),0), ((18),1), ((-16),2), ((-4),3), ((-8),4), ((-15),5), ((-4),6), ((-28),7), ((-1),8), ((-5),9), ((6),10), ((-8),11), ((4),12), ((-10),13), ((-15),14), ((-1),15), ((10),16), ((4),17), ((6),18), ((7),19), ((-3),20), ((7),21), ((-25),22), ((-3),23), ((-5),24)], (-48)), ("GEQ", [((9),0), ((-68),1), ((47),2), ((-7),3), ((30),4), ((26),5), ((4),6), ((72),7), ((11),8), ((10),9), ((-25),10), ((24),11), ((-4),12), ((30),13), ((18),14), ((3),15), ((-35),16), ((7),17), ((-17),18), ((-26),19), ((22),20), ((-31),21), ((64),22), ((1),23), ((22),24)], (403)), ("GEQ", [((-27),0), ((65),1), ((-66),2), ((-12),3), ((-31),4), ((-43),5), ((-14),6), ((-90),7), ((1),8), ((-8),9), ((12),10), ((-29),11), ((24),12), ((-28),13), ((-64),14), ((-5),15), ((46),16), ((20),17), ((32),18), ((33),19), ((-17),20), ((28),21), ((-81),22), ((-2),23), ((-19),24)], (-160)), ("GEQ", [((17),0), ((-73),1), ((31),2), ((-2),3), ((27),4), ((33),5), ((13),6), ((94),7), ((5),8), ((3),9), ((-26),10), ((39),11), ((-7),12), ((29),13), ((20),14), ((11),15), ((-26),16), ((15),17), ((-7),18), ((-30),19), ((5),20), ((-33),21), ((75),22), ((25),23), ((31),24)], (369)), ("GEQ", [((20),0), ((-30),1), ((29),2), ((4),3), ((14),4), ((33),5), ((6),6), ((64),7), ((19),8), ((6),9), ((-12),10), ((17),11), ((-22),12), ((7),13), ((41),14), ((14),15), ((-12),16), ((-9),17), ((1),18), ((-25),19), ((3),20), ((-8),21), ((49),22), ((-2),23), ((16),24)], (150)), ("GEQ", [((-7),0), ((-58),1), ((46),2), ((6),3), ((36),4), ((-21),5), ((11),6), ((-9),7), ((-62),8), ((8),9), ((18),10), ((8),11), ((21),12), ((49),13), ((-20),14), ((-24),15), ((-71),16), ((-83),18), ((-6),19), ((32),20), ((-47),21), ((24),22), ((9),23), ((11),24)], (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]
[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]