[("GEQ", [((-2),2), ((-2),3), ((-1),4), ((1),5), ((2),6), ((1),9), ((2),12), ((-2),14), ((-2),15), ((-1),18), ((2),20), ((-1),21), ((2),22), ((-2),23), ((-1),24)], (11)), ("GEQ", [((1),1), ((2),2), ((2),3), ((-2),4), ((1),5), ((-2),8), ((1),9), ((-2),10), ((-1),11), ((-2),14), ((-1),16), ((-1),19), ((1),20), ((-2),22), ((-1),24)], (-1)), ("GEQ", [((-2),1), ((-1),2), ((-1),3), ((-1),4), ((-2),6), ((-2),7), ((2),10), ((-2),11), ((2),12), ((2),13), ((1),14), ((-2),15), ((2),16), ((2),17), ((-1),18), ((-2),20), ((-1),21), ((-2),22), ((-1),23)], (6)), ("GEQ", [((-1),1), ((2),4), ((-1),7), ((-2),9), ((-2),10), ((2),11), ((2),12), ((-1),13), ((2),14), ((1),18), ((-1),19), ((-2),21), ((2),22), ((-2),24)], (-12)), ("GEQ", [((-2),0), ((2),2), ((-1),3), ((-2),5), ((-1),7), ((1),8), ((-2),10), ((2),13), ((2),15), ((-2),16), ((2),18), ((-2),19), ((2),20), ((-1),22)], (5)), ("GEQ", [((-1),3), ((-2),5), ((-1),6), ((-2),7), ((1),8), ((1),9), ((1),10), ((-2),12), ((1),15), ((1),16), ((2),18), ((-2),19), ((2),20), ((-2),21), ((1),22), ((-1),23)], (0)), ("GEQ", [((-2),2), ((-1),5), ((2),6), ((1),7), ((-1),8), ((2),10), ((-1),12), ((-1),13), ((1),15), ((-2),16), ((-1),17), ((-2),18), ((-2),19), ((-2),20), ((1),22), ((1),24)], (8)), ("GEQ", [((-1),0), ((-2),5), ((-2),7), ((-1),8), ((2),9), ((2),10), ((1),11), ((2),12), ((-2),13), ((1),15), ((1),16), ((-2),17), ((-2),18), ((-2),21), ((1),22), ((1),23)], (21)), ("GEQ", [((-1),1), ((-1),2), ((2),4), ((-2),5), ((2),7), ((-1),10), ((-1),11), ((-2),12), ((1),13), ((-1),14), ((-1),18), ((2),21), ((1),22), ((2),23)], (-22)), ("GEQ", [((-1),0), ((2),1), ((-2),3), ((1),7), ((2),8), ((2),9), ((2),10), ((-2),12), ((-1),14), ((2),17), ((1),18), ((1),20), ((-2),21), ((-1),24)], (31)), ("GEQ", [((1),0), ((-2),1), ((-2),4), ((-1),5), ((-1),6), ((2),8), ((1),14), ((1),15), ((2),17), ((-1),18), ((-2),20), ((1),21), ((-1),22), ((1),23), ((2),24)], (-1)), ("GEQ", [((-2),2), ((-1),4), ((-2),6), ((-1),7), ((-2),8), ((1),10), ((-1),14), ((-1),15), ((-2),16), ((1),19), ((2),22), ((1),23)], (-23)), ("GEQ", [((2),1), ((-1),3), ((-1),4), ((-1),8), ((-2),9), ((1),10), ((1),11), ((-2),12), ((1),13), ((2),14), ((1),15), ((2),16), ((1),18), ((2),20), ((2),22), ((2),24)], (-15)), ("GEQ", [((-2),2), ((1),5), ((-2),6), ((1),7), ((2),8), ((1),9), ((1),12), ((-1),13), ((1),14), ((2),16), ((-1),23), ((2),24)], (3)), ("GEQ", [((-2),0), ((1),2), ((2),3), ((2),4), ((2),5), ((-1),6), ((-1),8), ((-2),9), ((1),12), ((-2),13), ((1),17), ((-2),20), ((2),21), ((1),22), ((1),23), ((-1),24)], (-14)), ("GEQ", [((1),3), ((1),5), ((2),6), ((1),8), ((-2),10), ((-1),12), ((2),15), ((-2),17), ((-1),18), ((-2),21), ((-2),22), ((-1),23)], (23)), ("GEQ", [((-2),0), ((2),1), ((1),5), ((1),8), ((2),10), ((2),12), ((-1),14), ((-1),17), ((-1),20), ((1),21), ((-2),24)], (17)), ("GEQ", [((2),1), ((-1),3), ((1),4), ((-1),9), ((-1),10), ((1),11), ((-2),14), ((1),15), ((-2),17), ((-1),18), ((-1),19), ((-1),20), ((-1),23)], (5)), ("GEQ", [((1),0), ((-2),1), ((2),2), ((-1),5), ((-1),6), ((-1),7), ((2),10), ((1),12), ((-1),13), ((-1),14), ((2),17), ((2),18), ((1),20), ((-1),21), ((-2),23), ((-1),24)], (6)), ("GEQ", [((1),0), ((-2),1), ((1),4), ((-2),6), ((1),7), ((-1),11), ((2),13), ((2),15), ((-1),17), ((1),19), ((2),24)], (-6)), ("GEQ", [((-2),0), ((-1),1), ((-1),3), ((-1),5), ((1),6), ((1),8), ((-2),11), ((-1),13), ((-2),15), ((1),16), ((-1),17), ((2),18), ((2),22), ((-1),23)], (-7)), ("GEQ", [((2),2), ((-2),6), ((1),7), ((1),8), ((-2),9), ((2),10), ((-1),11), ((-2),14), ((-1),15), ((2),16), ((2),19), ((-2),20), ((1),21), ((1),22), ((2),24)], (-8)), ("GEQ", [((-1),0), ((-2),4), ((-2),5), ((-2),6), ((-2),7), ((-1),8), ((-1),9), ((-1),10), ((-1),11), ((2),12), ((1),14), ((2),16), ((1),17), ((1),19)], (-15)), ("GEQ", [((2),0), ((1),1), ((-1),3), ((1),5), ((-1),6), ((1),7), ((-2),9), ((2),11), ((-1),12), ((-2),16), ((2),18), ((-1),19), ((2),21), ((-2),22), ((2),23), ((1),24)], (-22)), ("GEQ", [((10),0), ((-9),1), ((-2),2), ((17),3), ((11),4), ((9),5), ((21),6), ((-2),7), ((-12),8), ((-2),9), ((-15),10), ((1),11), ((4),12), ((-9),13), ((15),14), ((-18),15), ((-7),16), ((-2),17), ((-3),18), ((6),19), ((-9),20), ((8),21), ((-17),22), ((1),23), ((-18),24)], (-84)), ("GEQ", [((7),0), ((7),2), ((6),3), ((-5),4), ((14),5), ((-6),6), ((9),7), ((4),8), ((5),9), ((-8),10), ((5),11), ((-2),12), ((-3),13), ((-4),14), ((8),15), ((1),16), ((-1),17), ((-1),18), ((2),19), ((7),20), ((-2),21), ((11),22), ((-3),23), ((17),24)], (-8)), ("GEQ", [((-2),0), ((5),1), ((-10),2), ((15),3), ((23),4), ((-6),5), ((29),6), ((-10),7), ((-17),8), ((-4),9), ((-15),10), ((-1),11), ((-2),12), ((4),13), ((11),14), ((-14),15), ((-22),16), ((-8),17), ((-5),18), ((1),19), ((-13),20), ((12),21), ((-35),22), ((4),23), ((-45),24)], (-21)), ("GEQ", [((-49),0), ((34),1), ((6),2), ((-94),3), ((-50),4), ((-59),5), ((-90),6), ((-8),7), ((53),8), ((-1),9), ((96),10), ((-17),11), ((-2),12), ((43),13), ((-46),14), ((50),15), ((66),16), ((18),17), ((14),18), ((-12),19), ((22),20), ((-34),21), ((65),22), ((-2),23), ((66),24)], (385)), ("GEQ", [((24),0), ((-25),1), ((-13),2), ((37),3), ((21),4), ((14),5), ((60),6), ((15),7), ((-24),8), ((15),9), ((-48),10), ((-1),11), ((-20),12), ((-3),13), ((20),14), ((-24),15), ((-62),16), ((2),17), ((-6),18), ((7),19), ((-3),20), ((27),21), ((-52),22), ((19),23), ((-40),24)], (-148)), ("GEQ", [((-32),0), ((29),1), ((-19),2), ((-62),3), ((-12),4), ((-44),5), ((-8),6), ((-6),7), ((19),8), ((-4),9), ((56),10), ((-9),11), ((-23),12), ((33),13), ((-15),14), ((7),15), ((10),16), ((19),17), ((10),18), ((-19),19), ((12),20), ((-11),21), ((7),22), ((11),23), ((-8),24)], (246))] [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]