[("GEQ", [((-1),1), ((1),6), ((2),7), ((-2),8), ((-2),9), ((-2),11), ((1),12), ((-1),16), ((1),17), ((2),19), ((-1),20), ((-1),22), ((-2),23), ((1),24)], (1)), ("GEQ", [((-1),0), ((1),1), ((-1),3), ((1),4), ((1),6), ((-1),7), ((1),8), ((1),12), ((2),14), ((1),15), ((2),16), ((-1),17), ((2),19), ((-2),20), ((-2),21), ((2),23)], (2)), ("GEQ", [((-1),2), ((2),3), ((1),7), ((1),8), ((2),10), ((-2),11), ((1),12), ((-1),14), ((-2),15), ((1),17), ((-2),18), ((-2),20), ((-1),21), ((-1),22), ((1),23), ((1),24)], (5)), ("GEQ", [((-1),0), ((-1),1), ((1),2), ((-1),3), ((1),4), ((1),5), ((1),6), ((1),8), ((2),9), ((2),10), ((1),13), ((-1),14), ((1),16), ((1),21), ((1),23), ((2),24)], (3)), ("GEQ", [((-1),1), ((-2),2), ((-1),3), ((-2),4), ((2),5), ((-1),6), ((2),7), ((-2),8), ((1),9), ((-2),10), ((1),11), ((-2),13), ((2),14), ((-1),17), ((-1),20), ((-1),21), ((-1),22), ((2),23), ((-1),24)], (16)), ("GEQ", [((-1),0), ((-2),3), ((2),5), ((-1),7), ((-2),8), ((2),10), ((1),12), ((2),13), ((2),14), ((2),15), ((2),16), ((-2),17), ((-1),18), ((2),20), ((-1),21), ((-1),22), ((1),24)], (27)), ("GEQ", [((2),0), ((-1),2), ((-1),5), ((-1),7), ((1),8), ((2),9), ((-2),10), ((2),12), ((1),13), ((1),14), ((-2),15), ((-2),16), ((2),17), ((2),18), ((1),19), ((-1),21), ((-2),22), ((1),23), ((1),24)], (-30)), ("GEQ", [((-1),3), ((-2),4), ((1),5), ((-2),7), ((-1),9), ((2),10), ((-2),13), ((-1),14), ((2),16), ((2),17), ((-2),18), ((-1),20), ((-1),21), ((-2),22)], (10)), ("GEQ", [((1),0), ((-2),2), ((1),3), ((1),5), ((-2),7), ((2),10), ((2),11), ((1),16), ((2),17), ((1),18), ((1),19), ((-1),20), ((-2),22), ((-2),24)], (-2)), ("GEQ", [((2),0), ((2),2), ((-2),3), ((-1),4), ((2),7), ((2),8), ((-2),9), ((1),13), ((1),15), ((1),16), ((-1),18), ((1),19), ((2),21), ((-1),23), ((-1),24)], (-1)), ("GEQ", [((-1),0), ((-2),2), ((1),3), ((1),6), ((2),8), ((-2),9), ((-1),10), ((-1),11), ((2),14), ((-1),16), ((1),18), ((1),22), ((2),24)], (-8)), ("GEQ", [((2),2), ((-2),4), ((2),5), ((-2),6), ((-1),8), ((-2),9), ((-2),11), ((-1),13), ((-2),15), ((1),16), ((2),17), ((-2),18), ((1),20), ((-1),21), ((2),22)], (5)), ("GEQ", [((-1),0), ((-1),2), ((2),3), ((-1),5), ((1),7), ((1),10), ((-1),11), ((1),13), ((-1),17), ((1),18), ((1),19), ((2),20), ((-1),21), ((1),22), ((-2),23)], (-1)), ("GEQ", [((-1),5), ((2),6), ((1),9), ((-2),10), ((-2),11), ((-2),12), ((1),13), ((-2),14), ((-2),15), ((-1),17), ((-2),18), ((-1),20), ((2),21)], (-6)), ("GEQ", [((-2),1), ((-2),2), ((-2),3), ((-1),4), ((-1),5), ((1),6), ((-1),7), ((2),8), ((-2),9), ((1),13), ((1),14), ((2),15), ((-1),18), ((1),19), ((2),22), ((2),24)], (12)), ("GEQ", [((2),0), ((2),1), ((-1),2), ((1),4), ((1),5), ((-1),9), ((1),10), ((-1),12), ((1),13), ((2),15), ((-2),16), ((-2),18), ((2),20), ((-1),24)], (8)), ("GEQ", [((-1),0), ((2),1), ((2),2), ((-1),3), ((-1),5), ((1),6), ((-2),9), ((1),10), ((-2),11), ((-2),12), ((2),13), ((-1),14), ((-1),15), ((-1),16), ((2),17), ((-2),18), ((1),19), ((2),22), ((1),23), ((1),24)], (-7)), ("GEQ", [((1),0), ((-1),1), ((-1),2), ((1),5), ((2),8), ((1),11), ((-1),16), ((1),17), ((1),19), ((-1),20), ((2),21), ((1),22), ((-2),23), ((1),24)], (0)), ("GEQ", [((2),1), ((2),4), ((-2),6), ((2),8), ((2),9), ((2),11), ((-2),12), ((-1),13), ((1),15), ((1),17), ((-1),21), ((-2),22), ((-1),23)], (-11)), ("GEQ", [((2),0), ((2),2), ((1),4), ((1),5), ((-2),6), ((1),7), ((2),8), ((-2),11), ((1),12), ((-2),13), ((1),14), ((-2),15), ((-2),18), ((2),20), ((2),21)], (2)), ("GEQ", [((-1),0), ((-1),1), ((1),3), ((-2),4), ((1),5), ((1),6), ((-2),7), ((-1),9), ((2),10), ((2),11), ((1),12), ((2),15), ((-1),19), ((-1),20), ((2),21), ((-1),22), ((-2),24)], (8)), ("GEQ", [((-2),0), ((1),1), ((2),2), ((2),5), ((-2),6), ((-1),8), ((1),11), ((1),12), ((-1),13), ((-2),14), ((1),16), ((2),17), ((1),19), ((-1),22), ((2),24)], (8)), ("GEQ", [((-2),0), ((-2),1), ((-2),3), ((1),4), ((-2),6), ((1),9), ((2),10), ((-1),12), ((2),13), ((-1),14), ((1),19), ((-1),22), ((1),23)], (13)), ("GEQ", [((2),0), ((1),1), ((-2),3), ((1),4), ((2),6), ((2),7), ((2),9), ((-1),10), ((-2),12), ((1),13), ((-2),18), ((2),20), ((-2),21), ((2),23)], (-14)), ("GEQ", [((-6),0), ((7),1), ((7),2), ((22),3), ((2),4), ((-26),5), ((1),6), ((-21),7), ((-8),8), ((17),9), ((-16),10), ((16),11), ((-1),12), ((-9),13), ((-5),14), ((-9),15), ((-4),16), ((-12),17), ((32),18), ((-25),19), ((-14),20), ((8),22), ((-4),23), ((-22),24)], (-224)), ("GEQ", [((22),0), ((-40),1), ((-32),2), ((-71),3), ((-4),4), ((86),5), ((3),6), ((79),7), ((18),8), ((-62),9), ((60),10), ((-51),11), ((12),12), ((38),13), ((2),14), ((43),15), ((10),16), ((30),17), ((-99),18), ((81),19), ((56),20), ((15),21), ((-27),22), ((-4),23), ((83),24)], (867)), ("GEQ", [((21),0), ((-28),1), ((-23),2), ((-65),3), ((85),5), ((-4),6), ((81),7), ((9),8), ((-55),9), ((52),10), ((-56),11), ((10),12), ((31),13), ((14),14), ((32),15), ((4),16), ((24),17), ((-99),18), ((67),19), ((53),20), ((10),21), ((-23),22), ((10),23), ((76),24)], (826)), ("GEQ", [((-21),0), ((41),1), ((25),2), ((55),3), ((3),4), ((-80),5), ((-2),6), ((-83),7), ((54),9), ((-56),10), ((56),11), ((-10),12), ((-43),13), ((3),14), ((-31),15), ((-5),16), ((-15),17), ((90),18), ((-62),19), ((-67),20), ((-26),21), ((22),22), ((13),23), ((-72),24)], (-831)), ("GEQ", [((-21),0), ((9),1), ((3),2), ((66),3), ((-3),4), ((-77),5), ((8),6), ((-57),7), ((-27),8), ((36),9), ((-49),10), ((51),11), ((-6),12), ((-29),13), ((1),14), ((-8),15), ((-10),16), ((-43),17), ((99),18), ((-70),19), ((-27),20), ((-18),21), ((39),22), ((-21),23), ((-71),24)], (-615)), ("GEQ", [((13),0), ((16),1), ((43),2), ((-55),3), ((1),4), ((49),5), ((-18),6), ((10),7), ((58),8), ((-2),9), ((50),10), ((-49),11), ((-4),12), ((39),13), ((-43),14), ((-43),15), ((22),16), ((62),17), ((-91),18), ((63),19), ((7),20), ((48),21), ((-57),22), ((28),23), ((48),24)], (204))]
[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]