[("GEQ", [((2),0), ((-1),6), ((1),7), ((2),8), ((2),10), ((-2),11), ((-2),13), ((-2),14), ((1),15), ((2),16), ((-2),17), ((1),18), ((-2),21), ((1),22), ((-2),23)], (23)), ("GEQ", [((-2),0), ((1),2), ((-2),3), ((-1),4), ((-1),5), ((1),8), ((-2),10), ((-2),13), ((-1),14), ((-2),16), ((-2),17), ((-1),18), ((2),19), ((1),20), ((-2),22), ((2),23)], (7)), ("GEQ", [((-2),0), ((-2),3), ((2),7), ((2),8), ((-1),9), ((1),11), ((-1),12), ((1),13), ((2),15), ((-2),19), ((-2),23), ((-1),24)], (4)), ("GEQ", [((1),3), ((1),4), ((-1),5), ((2),7), ((-2),8), ((-1),10), ((2),12), ((1),15), ((2),16), ((-1),18), ((-1),20), ((2),21), ((-2),22), ((-1),23)], (1)), ("GEQ", [((1),2), ((1),4), ((1),5), ((2),7), ((2),8), ((1),12), ((2),13), ((-1),14), ((2),16), ((2),17), ((1),21), ((1),24)], (-12)), ("GEQ", [((-2),0), ((2),1), ((1),3), ((-1),7), ((-2),8), ((2),9), ((-2),10), ((1),12), ((-2),14), ((-2),17), ((2),19), ((-2),21), ((1),22), ((1),24)], (3)), ("GEQ", [((-1),3), ((2),4), ((-2),6), ((2),9), ((-1),10), ((-2),11), ((-1),14), ((1),15), ((2),19), ((2),20), ((1),23)], (-14)), ("GEQ", [((-2),0), ((-2),1), ((-2),2), ((1),3), ((1),4), ((-2),5), ((-2),6), ((2),7), ((-2),10), ((-2),11), ((-1),17), ((1),19), ((1),20), ((-2),21), ((-2),22), ((-1),24)], (11)), ("GEQ", [((2),1), ((-1),2), ((-2),4), ((1),5), ((2),6), ((-2),7), ((-2),12), ((-2),14), ((-2),15), ((2),17), ((1),18), ((-2),20), ((2),21), ((2),22), ((-2),23)], (16)), ("GEQ", [((2),3), ((1),4), ((1),5), ((2),7), ((1),11), ((1),14), ((2),15), ((-2),17), ((2),18), ((-1),19), ((-1),21)], (-6)), ("GEQ", [((1),0), ((1),1), ((-2),5), ((1),6), ((-2),9), ((-1),11), ((-1),12), ((-2),16), ((1),17), ((2),18), ((1),19), ((2),20), ((-1),21), ((1),22), ((1),24)], (-9)), ("GEQ", [((1),1), ((-1),4), ((-2),6), ((2),8), ((-2),9), ((-2),10), ((-1),12), ((-2),13), ((-1),15), ((1),17), ((-2),18), ((-2),21), ((-2),23)], (20)), ("GEQ", [((-2),1), ((-1),8), ((-1),9), ((-2),13), ((2),14), ((2),15), ((1),16), ((-1),17), ((1),18), ((2),19), ((-2),20), ((-2),23), ((-2),24)], (23)), ("GEQ", [((-2),0), ((2),3), ((1),5), ((2),7), ((1),9), ((-1),10), ((2),11), ((1),13), ((-1),14), ((2),17), ((2),18), ((-1),19), ((1),24)], (-4)), ("GEQ", [((-1),1), ((1),3), ((-2),4), ((1),9), ((2),11), ((-2),12), ((2),14), ((-2),15), ((-2),16), ((1),17), ((1),18), ((-1),20), ((-1),24)], (10)), ("GEQ", [((2),3), ((-1),4), ((2),5), ((-2),6), ((2),8), ((-2),9), ((-2),10), ((-2),11), ((2),12), ((-2),13), ((-2),14), ((1),15), ((1),19), ((2),21), ((-2),22), ((1),23)], (13)), ("GEQ", [((-2),0), ((-2),1), ((-2),2), ((1),4), ((2),6), ((1),7), ((-2),9), ((-1),10), ((1),11), ((1),12), ((2),16), ((-2),22)], (-3)), ("GEQ", [((-2),1), ((-2),2), ((-1),3), ((-2),4), ((1),5), ((-2),6), ((1),8), ((-2),9), ((-2),15), ((2),16), ((2),19), ((2),20), ((-2),21), ((2),22), ((2),23), ((-1),24)], (3)), ("GEQ", [((-2),2), ((2),3), ((-2),4), ((-2),7), ((1),8), ((-2),11), ((1),12), ((1),13), ((1),14), ((-1),16), ((-2),17), ((2),19), ((-2),20), ((2),21), ((-2),22), ((-2),24)], (9)), ("GEQ", [((1),0), ((-1),1), ((-2),2), ((2),4), ((2),5), ((1),6), ((1),7), ((1),9), ((-1),12), ((2),15), ((1),16), ((1),18), ((-2),19), ((1),21), ((-2),23), ((-1),24)], (-10)), ("GEQ", [((-1),0), ((-1),2), ((-1),5), ((-2),6), ((2),8), ((-2),10), ((1),12), ((-2),13), ((2),14), ((2),15), ((-2),18), ((-2),19), ((-2),20), ((2),22)], (-3)), ("GEQ", [((1),0), ((-1),1), ((2),2), ((-2),3), ((-2),4), ((-2),5), ((2),6), ((1),7), ((2),8), ((-2),10), ((-1),13), ((1),14), ((-1),15), ((1),16), ((2),18), ((1),20), ((2),21), ((1),24)], (-6)), ("GEQ", [((-1),0), ((-1),1), ((-1),3), ((-1),4), ((-2),6), ((-1),8), ((-1),11), ((1),13), ((2),14), ((2),15), ((2),18), ((1),19), ((1),21), ((2),22), ((2),23), ((-1),24)], (-7)), ("GEQ", [((-2),0), ((-1),1), ((1),3), ((1),4), ((1),5), ((2),6), ((-2),7), ((-2),10), ((1),11), ((1),12), ((-1),14), ((1),15), ((1),17), ((1),20), ((2),21), ((1),22)], (-12)), ("GEQ", [((21),0), ((7),1), ((18),2), ((-3),3), ((18),4), ((-1),5), ((1),6), ((-13),7), ((-32),8), ((23),9), ((35),10), ((7),11), ((-3),12), ((9),13), ((13),14), ((-4),15), ((-17),16), ((-8),17), ((-16),18), ((-12),19), ((-2),20), ((-11),21), ((-5),22), ((13),23), ((4),24)], (-143)), ("GEQ", [((15),0), ((13),1), ((-5),2), ((-2),3), ((-15),4), ((5),5), ((9),6), ((-4),7), ((4),8), ((-22),9), ((20),10), ((10),11), ((-8),12), ((2),13), ((-21),14), ((-40),15), ((17),16), ((21),17), ((-11),18), ((-9),19), ((1),20), ((-15),21), ((7),22), ((-11),23), ((12),24)], (130)), ("GEQ", [((-20),0), ((-19),1), ((29),2), ((-19),3), ((33),4), ((-20),5), ((-7),6), ((-23),7), ((-31),8), ((48),9), ((-1),10), ((-3),11), ((15),12), ((10),13), ((68),14), ((66),15), ((-57),16), ((-39),17), ((-10),18), ((1),19), ((-10),20), ((28),21), ((-15),22), ((47),23), ((-19),24)], (-465)), ("GEQ", [((36),0), ((31),1), ((-3),2), ((1),3), ((-39),4), ((11),5), ((22),6), ((3),7), ((9),8), ((-43),9), ((28),10), ((16),11), ((-15),12), ((-10),13), ((-59),14), ((-68),15), ((42),16), ((39),17), ((3),18), ((-16),19), ((8),20), ((-21),21), ((31),22), ((-36),23), ((28),24)], (352)), ("GEQ", [((-29),0), ((-3),1), ((-69),2), ((41),3), ((-38),4), ((22),5), ((-18),6), ((70),7), ((99),8), ((-68),9), ((-67),10), ((-26),11), ((-3),12), ((-13),13), ((-81),14), ((-30),15), ((81),16), ((46),17), ((36),18), ((15),19), ((1),20), ((-6),21), ((1),22), ((-73),23), ((1),24)], (672)), ("GEQ", [((29),0), ((24),1), ((31),2), ((-20),3), ((-2),4), ((-1),5), ((2),6), ((-31),7), ((-18),8), ((8),9), ((46),10), ((19),11), ((-9),12), ((7),13), ((9),14), ((-37),15), ((-26),16), ((10),17), ((-46),18), ((-20),19), ((-7),20), ((-15),21), ((1),22), ((20),23), ((14),24)], (-94))]
[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]