[("GEQ", [((1),1), ((-1),2), ((1),3), ((1),4), ((1),8), ((-1),9), ((2),10), ((-1),11), ((-1),12), ((2),16), ((-1),17), ((1),18), ((1),19), ((1),20), ((-2),21), ((2),22), ((1),23)], (11)), ("GEQ", [((1),0), ((2),1), ((1),4), ((-1),5), ((2),6), ((-1),7), ((2),9), ((2),10), ((1),11), ((-2),14), ((-1),15), ((-2),17), ((-1),18), ((-1),19), ((-1),21), ((1),24)], (2)), ("GEQ", [((-2),0), ((-1),3), ((2),5), ((-1),6), ((-1),7), ((-1),11), ((-1),12), ((-1),15), ((-2),16), ((-1),17), ((-1),18), ((-2),19), ((-2),21), ((1),22), ((-2),23), ((1),24)], (1)), ("GEQ", [((-2),1), ((-2),3), ((-1),6), ((-2),7), ((1),9), ((-1),11), ((-2),12), ((1),13), ((2),14), ((1),15), ((-2),17), ((-1),20), ((1),21), ((2),22), ((-1),23), ((-1),24)], (-4)), ("GEQ", [((2),0), ((2),1), ((-2),5), ((1),6), ((-2),8), ((2),9), ((1),10), ((-1),13), ((-2),14), ((1),16), ((-1),22), ((-1),23), ((1),24)], (-5)), ("GEQ", [((-2),0), ((2),2), ((1),3), ((-1),4), ((-2),5), ((1),11), ((-1),13), ((1),14), ((-2),16), ((-2),18), ((-2),19), ((2),22), ((-2),24)], (1)), ("GEQ", [((-1),1), ((-2),2), ((2),3), ((-2),4), ((-2),5), ((2),7), ((2),10), ((-2),11), ((-1),17), ((-2),20), ((-2),21), ((-1),23)], (-5)), ("GEQ", [((-2),0), ((-2),1), ((2),4), ((2),5), ((1),6), ((-2),7), ((1),11), ((2),15), ((-2),16), ((-2),19), ((2),20), ((-2),22)], (10)), ("GEQ", [((1),2), ((2),3), ((2),7), ((-1),8), ((1),9), ((2),12), ((-2),14), ((2),20), ((-1),21), ((1),22), ((-1),23)], (15)), ("GEQ", [((2),0), ((-1),3), ((-2),5), ((2),10), ((2),13), ((1),15), ((-1),16), ((-1),17), ((1),18), ((1),20), ((-2),21), ((1),24)], (-27)), ("GEQ", [((1),1), ((-1),3), ((-1),5), ((-2),6), ((-2),7), ((-1),8), ((2),10), ((2),12), ((-2),13), ((1),14), ((-2),15), ((2),16), ((-2),17), ((-2),18), ((2),21), ((2),22), ((2),23), ((2),24)], (2)), ("GEQ", [((1),1), ((-1),4), ((1),7), ((2),8), ((-2),9), ((-2),10), ((-1),11), ((-1),12), ((2),13), ((-2),14), ((-2),15), ((1),16), ((1),18), ((-1),19), ((2),23), ((1),24)], (-4)), ("GEQ", [((-1),2), ((-1),4), ((1),5), ((1),6), ((-2),7), ((-2),8), ((-1),9), ((1),10), ((-1),13), ((1),14), ((-1),17), ((-2),18), ((1),19), ((2),20), ((-2),21)], (10)), ("GEQ", [((-1),0), ((2),3), ((2),5), ((-2),6), ((-1),7), ((1),8), ((1),10), ((-2),11), ((2),12), ((-2),14), ((1),16), ((1),18), ((-2),19), ((-1),20), ((-2),22), ((-2),24)], (18)), ("GEQ", [((-1),0), ((-2),3), ((-1),5), ((2),6), ((2),7), ((1),8), ((-2),9), ((2),11), ((-2),12), ((-2),13), ((-2),16), ((1),17), ((2),18), ((-1),20), ((1),21), ((1),22), ((-2),23), ((2),24)], (-12)), ("GEQ", [((-1),0), ((-1),2), ((-1),4), ((1),7), ((-2),8), ((-2),9), ((1),10), ((1),12), ((-2),13), ((-1),15), ((-1),16), ((1),17), ((-2),19), ((1),22), ((1),23)], (0)), ("GEQ", [((-1),1), ((1),4), ((1),5), ((2),6), ((1),7), ((1),8), ((1),11), ((2),13), ((-1),14), ((-1),15), ((-1),17), ((-2),19), ((-2),24)], (7)), ("GEQ", [((-2),0), ((1),1), ((1),2), ((2),3), ((2),4), ((2),5), ((-1),8), ((-2),12), ((1),13), ((2),14), ((1),15), ((-1),16), ((1),17), ((-1),19), ((2),20), ((-2),21), ((-1),22), ((2),23)], (-9)), ("GEQ", [((1),0), ((1),2), ((1),6), ((-2),7), ((-2),9), ((2),10), ((2),12), ((-1),14), ((2),15), ((-1),16), ((2),18), ((1),21), ((1),23)], (5)), ("GEQ", [((2),0), ((-2),1), ((2),2), ((2),4), ((-2),6), ((2),7), ((1),8), ((2),9), ((-1),10), ((2),13), ((-2),14), ((1),16), ((-2),18), ((2),19), ((-2),20), ((-1),23), ((-2),24)], (5)), ("GEQ", [((1),1), ((-2),2), ((1),3), ((1),4), ((-2),5), ((-1),9), ((-1),10), ((-1),11), ((-1),12), ((-2),13), ((-1),14), ((2),15), ((-1),18), ((-1),19), ((-1),20), ((1),22), ((2),23), ((1),24)], (10)), ("GEQ", [((2),0), ((2),1), ((1),2), ((2),4), ((1),5), ((2),6), ((-2),8), ((-2),9), ((2),10), ((-1),16), ((1),18), ((1),21), ((1),23), ((-1),24)], (-7)), ("GEQ", [((1),2), ((1),4), ((-1),8), ((2),9), ((1),10), ((2),12), ((-1),15), ((2),18), ((-1),19), ((-2),21), ((1),22), ((-1),23), ((-2),24)], (7)), ("GEQ", [((-1),0), ((1),1), ((-2),3), ((-1),6), ((-1),9), ((1),13), ((1),14), ((1),15), ((-1),17), ((2),20), ((2),23)], (-14)), ("GEQ", [((-3),0), ((-16),2), ((-10),3), ((-29),4), ((-8),5), ((-1),6), ((3),7), ((19),8), ((-15),9), ((-32),10), ((4),11), ((-14),12), ((-11),13), ((18),14), ((-4),15), ((10),16), ((19),17), ((2),18), ((22),19), ((-14),20), ((29),21), ((-4),22), ((4),23), ((10),24)], (-88)), ("GEQ", [((26),0), ((-9),1), ((54),2), ((52),3), ((94),4), ((22),5), ((-4),6), ((-1),7), ((-62),8), ((79),9), ((95),10), ((-20),11), ((64),12), ((44),13), ((-76),14), ((11),15), ((-15),16), ((-56),17), ((-6),18), ((-65),19), ((33),20), ((-96),21), ((3),22), ((-23),23), ((-45),24)], (401)), ("GEQ", [((7),0), ((22),2), ((2),3), ((23),4), ((8),5), ((-3),6), ((17),7), ((-3),8), ((31),9), ((3),10), ((7),11), ((8),12), ((20),13), ((-14),14), ((-6),15), ((-7),16), ((2),17), ((6),18), ((-8),19), ((2),20), ((-20),21), ((-8),22), ((-21),23), ((-11),24)], (-56)), ("GEQ", [((9),0), ((-6),1), ((26),2), ((36),3), ((78),4), ((31),5), ((-16),6), ((-18),7), ((-51),8), ((27),9), ((81),10), ((-29),11), ((42),12), ((25),13), ((-48),14), ((18),15), ((-12),16), ((-49),17), ((-14),18), ((-48),19), ((38),20), ((-77),21), ((7),22), ((10),23), ((-19),24)], (349)), ("GEQ", [((-24),0), ((-6),1), ((-57),2), ((-9),3), ((-61),4), ((-3),5), ((-7),6), ((-61),7), ((6),8), ((-77),9), ((-8),10), ((-29),11), ((-16),12), ((-56),13), ((49),14), ((10),15), ((29),16), ((-4),17), ((-4),18), ((27),19), ((-9),20), ((56),21), ((24),22), ((48),23), ((30),24)], (208)), ("GEQ", [((-2),0), ((-4),1), ((-34),2), ((5),3), ((-21),4), ((-2),5), ((-2),6), ((-47),7), ((1),8), ((-27),9), ((1),10), ((-14),11), ((9),12), ((-29),13), ((9),14), ((14),15), ((25),16), ((-11),17), ((-15),18), ((21),19), ((10),20), ((25),21), ((3),22), ((32),23), ((29),24)], (256))]
[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]