[("GEQ", [((1),0), ((2),3), ((-2),4), ((2),5), ((-2),6), ((-2),11), ((-2),13), ((1),14), ((-2),17), ((-1),20), ((-2),21), ((-2),22), ((1),24)], (-14)), ("GEQ", [((1),1), ((1),4), ((2),5), ((-1),6), ((2),7), ((-1),9), ((-1),11), ((1),12), ((1),13), ((2),14), ((-1),15), ((-1),16), ((-2),17), ((2),19), ((-1),21), ((2),22)], (-14)), ("GEQ", [((-1),2), ((-2),4), ((-2),5), ((-2),7), ((2),8), ((1),9), ((-2),10), ((1),11), ((1),15), ((2),16), ((-2),18), ((-1),19), ((2),20), ((2),22), ((-2),23), ((-2),24)], (7)), ("GEQ", [((1),1), ((-1),2), ((-1),3), ((2),5), ((-1),6), ((-2),7), ((1),8), ((-1),11), ((1),12), ((-2),16), ((-1),18), ((2),19), ((2),21), ((2),22), ((1),23), ((2),24)], (1)), ("GEQ", [((1),0), ((-1),2), ((-1),4), ((-1),5), ((-2),6), ((-1),9), ((1),10), ((1),12), ((-2),13), ((2),15), ((-2),16), ((2),17), ((1),18), ((-1),22), ((2),23), ((2),24)], (5)), ("GEQ", [((-2),1), ((1),3), ((2),5), ((2),7), ((-2),8), ((-1),9), ((-2),12), ((2),13), ((-1),14), ((-1),15), ((2),18), ((-2),20), ((-2),21), ((-2),22), ((2),24)], (-11)), ("GEQ", [((1),0), ((1),1), ((2),2), ((-1),5), ((1),7), ((2),8), ((-1),9), ((-1),10), ((-1),12), ((2),14), ((1),15), ((-1),17), ((-1),19), ((-1),20), ((2),22), ((1),23)], (-4)), ("GEQ", [((2),1), ((1),2), ((1),4), ((-2),6), ((-2),8), ((2),11), ((2),12), ((-1),13), ((-2),15), ((-1),16), ((2),17), ((-1),18), ((-2),19), ((-2),20), ((2),21), ((1),22)], (-9)), ("GEQ", [((-1),1), ((2),3), ((1),6), ((-1),7), ((-2),8), ((-1),9), ((2),11), ((2),14), ((-1),17), ((-2),19), ((1),22), ((-1),24)], (4)), ("GEQ", [((1),1), ((2),2), ((1),3), ((-2),4), ((-1),5), ((2),6), ((1),7), ((-1),8), ((-2),10), ((-1),11), ((-1),12), ((2),13), ((2),14), ((-2),19), ((-1),20), ((1),21), ((1),23)], (2)), ("GEQ", [((-1),3), ((-2),4), ((2),5), ((-2),6), ((1),10), ((1),18), ((-1),19), ((1),22), ((1),23), ((1),24)], (4)), ("GEQ", [((2),2), ((-2),3), ((1),5), ((2),7), ((-2),8), ((2),9), ((-2),10), ((2),11), ((2),12), ((2),13), ((-2),15), ((-1),17), ((-2),21), ((-2),24)], (-20)), ("GEQ", [((-1),1), ((1),2), ((2),4), ((-1),5), ((2),8), ((-2),9), ((-2),11), ((-1),12), ((2),14), ((1),15), ((1),16), ((-1),17), ((2),19), ((-2),20), ((1),22), ((-2),23), ((2),24)], (-5)), ("GEQ", [((2),0), ((-2),1), ((-2),3), ((-1),7), ((-2),9), ((2),10), ((1),11), ((-1),12), ((-1),13), ((-1),14), ((2),16), ((2),18), ((-1),20), ((-1),21), ((2),23), ((-2),24)], (8)), ("GEQ", [((-1),0), ((2),1), ((2),3), ((-1),4), ((-2),5), ((1),6), ((1),7), ((-1),8), ((-1),9), ((-2),10), ((2),13), ((-2),14), ((2),15), ((2),16), ((-2),17), ((-2),18), ((-2),19), ((-2),21), ((-2),22), ((1),23), ((2),24)], (5)), ("GEQ", [((-2),0), ((-2),2), ((-2),3), ((-1),4), ((-2),6), ((2),7), ((1),10), ((1),11), ((2),12), ((-1),13), ((-2),15), ((-1),17), ((-1),19), ((2),21), ((2),22)], (-1)), ("GEQ", [((-1),1), ((-2),3), ((2),4), ((1),6), ((2),8), ((-1),13), ((1),14), ((2),15), ((-2),16), ((1),18), ((2),20), ((-2),21), ((-1),23), ((1),24)], (-4)), ("GEQ", [((2),0), ((-1),3), ((2),4), ((-2),6), ((-1),7), ((-1),9), ((1),10), ((1),14), ((2),15), ((-1),18), ((-2),19), ((-1),21), ((-1),23)], (7)), ("GEQ", [((2),0), ((-2),2), ((1),3), ((2),5), ((2),8), ((-1),9), ((-2),11), ((-1),12), ((-1),14), ((-1),15), ((-1),16), ((2),18), ((-2),19), ((1),20), ((-2),24)], (2)), ("GEQ", [((-2),0), ((-2),1), ((-2),2), ((-1),3), ((-2),4), ((2),7), ((2),9), ((1),10), ((1),12), ((-2),13), ((-2),14), ((-1),15), ((2),17), ((-2),18), ((2),21), ((1),23), ((1),24)], (2)), ("GEQ", [((2),0), ((2),2), ((1),3), ((1),6), ((-1),7), ((-1),9), ((-1),15), ((2),16), ((2),18), ((2),19), ((-1),20), ((-1),24)], (-3)), ("GEQ", [((2),0), ((1),1), ((2),2), ((-2),4), ((-1),6), ((-2),7), ((1),8), ((-1),9), ((-2),10), ((2),12), ((-2),13), ((1),14), ((1),16), ((-1),18), ((-2),19), ((1),20), ((2),21), ((-2),22)], (-6)), ("GEQ", [((1),0), ((2),1), ((2),2), ((-2),4), ((2),6), ((-2),9), ((-1),10), ((2),11), ((2),15), ((-2),17), ((2),18), ((2),20), ((-2),23)], (-1)), ("GEQ", [((-2),0), ((2),3), ((2),4), ((-2),7), ((-1),8), ((2),10), ((-2),15), ((2),17), ((-2),18), ((-1),19), ((-2),20), ((1),22), ((1),23), ((-2),24)], (0)), ("GEQ", [((-9),0), ((-6),1), ((-15),2), ((-4),3), ((-20),4), ((17),6), ((-7),7), ((6),8), ((24),9), ((-1),10), ((-6),11), ((-16),12), ((-31),14), ((2),15), ((7),16), ((6),17), ((1),18), ((18),19), ((20),20), ((16),21), ((-21),22), ((-2),23)], (107)), ("GEQ", [((6),0), ((1),1), ((15),2), ((9),3), ((4),4), ((-14),5), ((28),6), ((-2),7), ((-4),8), ((16),9), ((-11),10), ((-5),11), ((-21),12), ((15),13), ((-9),14), ((12),15), ((5),16), ((16),18), ((23),19), ((9),20), ((-14),21), ((-31),22), ((-10),23), ((-6),24)], (3)), ("GEQ", [((-27),0), ((-3),1), ((-24),2), ((-13),3), ((22),4), ((16),5), ((-63),6), ((28),7), ((-19),8), ((-28),9), ((27),10), ((13),11), ((50),12), ((-11),13), ((31),14), ((-36),15), ((-20),16), ((15),17), ((-39),18), ((-51),19), ((-41),20), ((16),21), ((65),22), ((30),23), ((13),24)], (-77)), ("GEQ", [((1),0), ((11),1), ((-4),2), ((1),3), ((75),4), ((12),5), ((-78),6), ((29),7), ((-10),8), ((-82),9), ((31),10), ((10),11), ((63),12), ((-16),13), ((85),14), ((-21),15), ((-32),16), ((-10),17), ((-36),18), ((-81),19), ((-67),20), ((-23),21), ((98),22), ((21),23), ((11),24)], (-202)), ("GEQ", [((-8),0), ((3),1), ((1),2), ((5),3), ((12),4), ((-8),5), ((28),6), ((-10),7), ((11),8), ((24),9), ((-3),10), ((4),11), ((-12),12), ((-3),13), ((-5),14), ((8),15), ((-10),16), ((9),18), ((27),19), ((27),20), ((-7),21), ((-8),22), ((-26),23), ((-14),24)], (-15)), ("GEQ", [((27),0), ((3),1), ((17),2), ((11),3), ((-18),4), ((-17),5), ((35),6), ((-17),7), ((-1),8), ((27),9), ((-29),10), ((-21),11), ((-45),12), ((28),13), ((-47),14), ((32),15), ((27),16), ((-2),17), ((22),18), ((31),19), ((18),20), ((-12),21), ((-84),22), ((-13),23), ((10),24)], (109))]
[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]