[("GEQ", [((1),0), ((-2),1), ((-2),3), ((1),4), ((-2),6), ((1),10), ((-1),11), ((-1),13), ((-2),14), ((-1),15), ((-2),17), ((-2),18), ((-1),19), ((1),22), ((2),23), ((2),24)], (4)), ("GEQ", [((1),1), ((-1),3), ((1),5), ((1),6), ((1),9), ((1),13), ((1),14), ((-2),18), ((-1),21), ((2),22), ((1),23)], (9)), ("GEQ", [((-2),0), ((-2),1), ((1),3), ((-2),4), ((-2),5), ((2),6), ((-2),8), ((1),9), ((-2),10), ((-1),12), ((-1),13), ((-1),14), ((1),20), ((-2),22), ((2),23), ((2),24)], (10)), ("GEQ", [((1),1), ((2),2), ((-2),4), ((-1),5), ((-2),6), ((1),7), ((-2),8), ((2),10), ((-1),11), ((-1),12), ((-2),13), ((-2),14), ((1),15), ((2),17), ((-1),22), ((2),23)], (5)), ("GEQ", [((1),1), ((2),3), ((-2),6), ((-1),7), ((1),8), ((-1),9), ((-2),12), ((-2),13), ((2),14), ((-2),15), ((2),17)], (6)), ("GEQ", [((-1),0), ((-2),1), ((1),3), ((-2),4), ((-2),7), ((-1),8), ((2),10), ((-1),11), ((1),12), ((-2),14), ((-2),15), ((2),17), ((2),18), ((1),19), ((2),20), ((1),21), ((1),23), ((-1),24)], (-27)), ("GEQ", [((2),1), ((-1),2), ((-1),4), ((2),5), ((1),8), ((1),10), ((-1),11), ((-2),13), ((-1),14), ((2),15), ((2),16), ((-1),18), ((2),21), ((1),22), ((-2),24)], (5)), ("GEQ", [((1),0), ((1),4), ((-1),5), ((1),6), ((-1),7), ((-2),11), ((-1),14), ((1),15), ((1),16), ((-2),19), ((2),20), ((-1),22), ((1),23)], (-1)), ("GEQ", [((-1),0), ((2),2), ((2),3), ((1),4), ((-2),5), ((2),6), ((-1),7), ((2),8), ((1),9), ((-2),10), ((1),12), ((2),17), ((2),18), ((1),19), ((2),23), ((-2),24)], (-27)), ("GEQ", [((1),0), ((1),4), ((1),8), ((2),9), ((-1),10), ((2),11), ((1),12), ((-2),13), ((-2),15), ((-1),17), ((1),18), ((2),19), ((2),20), ((-2),21), ((2),22), ((-2),23), ((2),24)], (-5)), ("GEQ", [((-2),1), ((2),2), ((2),3), ((-1),4), ((-1),7), ((-2),8), ((-2),12), ((2),13), ((1),14), ((1),15), ((-2),19), ((1),20), ((-1),21)], (3)), ("GEQ", [((-2),0), ((-2),1), ((-1),2), ((-1),3), ((1),5), ((1),7), ((2),8), ((1),9), ((2),10), ((1),12), ((-1),13), ((-2),14), ((2),15), ((-1),16), ((-2),18), ((-2),19), ((-2),24)], (-27)), ("GEQ", [((2),0), ((2),1), ((-2),2), ((2),7), ((-2),8), ((2),9), ((2),10), ((1),11), ((1),12), ((-1),13), ((2),15), ((2),16), ((-2),19), ((1),20), ((-1),21), ((-1),22), ((-1),23)], (-8)), ("GEQ", [((2),3), ((2),4), ((1),5), ((1),8), ((1),9), ((-2),10), ((-1),11), ((2),17), ((1),19), ((2),20), ((2),21)], (-6)), ("GEQ", [((1),2), ((1),4), ((1),5), ((2),6), ((2),8), ((-2),10), ((1),14), ((-2),15), ((2),16), ((-1),17), ((2),20), ((2),21), ((-1),22), ((1),23)], (0)), ("GEQ", [((-2),0), ((1),2), ((-1),4), ((1),6), ((1),8), ((2),9), ((-1),11), ((-2),12), ((2),13), ((1),16), ((-1),18), ((2),19), ((2),21), ((-1),22), ((-2),23)], (11)), ("GEQ", [((-1),1), ((-1),2), ((-2),3), ((2),4), ((2),5), ((1),6), ((2),9), ((1),10), ((2),12), ((-2),14), ((1),16), ((-1),18), ((-1),19), ((-1),21), ((-1),22), ((-1),23)], (-24)), ("GEQ", [((-2),0), ((-2),2), ((2),3), ((-2),7), ((-1),9), ((-1),11), ((-2),12), ((2),14), ((-2),17), ((-1),18), ((1),21), ((2),22), ((2),24)], (25)), ("GEQ", [((-2),0), ((-1),1), ((-1),2), ((-1),3), ((2),5), ((-2),7), ((-2),8), ((1),9), ((-2),11), ((-1),15), ((-2),16), ((-1),17), ((-1),19), ((2),21), ((2),22), ((1),23), ((2),24)], (2)), ("GEQ", [((2),1), ((-1),3), ((1),6), ((-2),7), ((2),8), ((2),9), ((1),10), ((1),11), ((-2),13), ((1),15), ((-1),16), ((-1),17), ((1),19), ((2),20), ((2),24)], (-6)), ("GEQ", [((-1),0), ((-1),2), ((1),3), ((1),4), ((2),5), ((-2),6), ((1),8), ((-2),9), ((2),10), ((-2),11), ((1),14), ((2),15), ((-2),16), ((1),17), ((2),19), ((2),20), ((-1),21), ((-2),22), ((2),23), ((2),24)], (-5)), ("GEQ", [((-1),0), ((-1),2), ((-2),3), ((2),4), ((-2),6), ((1),8), ((1),9), ((-2),11), ((-2),12), ((-2),13), ((2),16), ((-1),17), ((2),18), ((1),19), ((-2),20), ((2),21), ((2),24)], (11)), ("GEQ", [((-2),1), ((2),3), ((1),4), ((1),5), ((-2),7), ((1),9), ((-1),10), ((-1),12), ((-1),14), ((-2),16), ((-1),21), ((-1),22), ((-1),23), ((-1),24)], (-20)), ("GEQ", [((-2),1), ((-1),2), ((2),3), ((2),4), ((-2),5), ((2),7), ((2),8), ((-1),13), ((-1),16), ((2),19), ((2),24)], (-7)), ("GEQ", [((10),0), ((-9),1), ((14),2), ((-20),3), ((-16),4), ((-19),5), ((-5),6), ((16),7), ((-22),8), ((-32),9), ((-13),10), ((17),11), ((9),12), ((28),13), ((14),14), ((-24),15), ((-6),16), ((-5),17), ((14),18), ((-6),19), ((-35),20), ((-12),21), ((8),22), ((4),23), ((-8),24)], (144)), ("GEQ", [((18),0), ((42),1), ((1),2), ((5),3), ((15),5), ((1),6), ((1),7), ((22),8), ((2),9), ((4),10), ((20),11), ((4),12), ((-6),13), ((9),14), ((11),15), ((-4),16), ((-12),18), ((17),19), ((7),20), ((-11),21), ((-2),22), ((-26),23), ((-17),24)], (3)), ("GEQ", [((-54),0), ((-34),1), ((-51),2), ((38),3), ((37),4), ((21),5), ((11),6), ((-34),7), ((14),8), ((68),9), ((27),10), ((-70),11), ((-18),12), ((-58),13), ((-45),14), ((45),15), ((26),16), ((17),17), ((2),18), ((3),19), ((59),20), ((47),21), ((-18),22), ((22),23), ((44),24)], (-360)), ("GEQ", [((-39),0), ((-85),1), ((-1),2), ((-8),3), ((11),4), ((-23),5), ((-4),6), ((7),7), ((-38),8), ((-13),9), ((-17),10), ((-44),11), ((-10),12), ((17),13), ((-7),14), ((-23),15), ((5),16), ((3),17), ((7),18), ((-60),19), ((-22),20), ((35),21), ((12),22), ((61),23), ((20),24)], (15)), ("GEQ", [((-28),0), ((-42),1), ((-6),2), ((23),3), ((15),4), ((-17),5), ((13),6), ((-17),7), ((4),8), ((20),9), ((-5),10), ((-35),11), ((-18),12), ((-13),13), ((-21),14), ((12),15), ((13),16), ((3),17), ((-1),18), ((-21),19), ((30),20), ((26),21), ((-13),22), ((22),23), ((22),24)], (-89)), ("GEQ", [((-29),0), ((-95),1), ((16),2), ((-9),3), ((11),4), ((-32),5), ((3),6), ((16),7), ((-28),8), ((1),9), ((-17),10), ((-33),11), ((-5),12), ((20),13), ((-30),14), ((-19),15), ((8),16), ((4),17), ((-6),18), ((-54),19), ((-13),20), ((22),21), ((-9),22), ((54),23), ((13),24)], (-123))] [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]