[("GEQ", [((2),0), ((-1),4), ((2),5), ((-2),6), ((-1),9), ((1),10), ((1),11), ((1),12), ((-2),19), ((1),21), ((2),22), ((1),23), ((1),24)], (-10)), ("GEQ", [((-1),0), ((2),2), ((2),3), ((2),5), ((-2),10), ((-1),11), ((2),12), ((1),13), ((1),16), ((2),18), ((1),21), ((-2),24)], (-19)), ("GEQ", [((-1),0), ((2),1), ((1),3), ((-1),4), ((2),6), ((2),7), ((-1),8), ((-2),9), ((2),11), ((2),15), ((-2),16), ((1),17), ((1),19), ((-2),21), ((1),22)], (-10)), ("GEQ", [((1),3), ((-1),5), ((1),6), ((1),8), ((-2),12), ((-1),13), ((-1),14), ((-1),15), ((-1),16), ((2),17), ((-2),18), ((-2),20), ((1),23)], (25)), ("GEQ", [((-1),2), ((2),4), ((1),9), ((-1),12), ((2),13), ((-1),14), ((2),15), ((1),16), ((2),18), ((2),20), ((2),21)], (-12)), ("GEQ", [((-2),0), ((-1),1), ((1),2), ((1),7), ((-1),8), ((2),12), ((1),14), ((-1),16), ((-1),17), ((1),19), ((1),21), ((2),22), ((-1),24)], (-31)), ("GEQ", [((1),3), ((-1),4), ((-1),8), ((2),9), ((-2),12), ((1),14), ((-2),15), ((2),17), ((-1),18), ((-2),20), ((1),21), ((-2),23), ((-2),24)], (10)), ("GEQ", [((1),0), ((-1),1), ((2),4), ((2),5), ((1),12), ((1),13), ((1),14), ((1),15), ((-1),16), ((-2),22), ((-1),23), ((2),24)], (-18)), ("GEQ", [((2),0), ((2),2), ((-2),3), ((1),4), ((-2),5), ((-2),8), ((1),9), ((-1),10), ((-1),14), ((1),15), ((1),16), ((1),17), ((-1),20), ((-1),21), ((-2),22), ((1),23), ((2),24)], (0)), ("GEQ", [((-2),0), ((-1),1), ((2),2), ((-1),3), ((-1),4), ((-1),5), ((-2),6), ((2),7), ((1),8), ((-2),14), ((-1),15), ((-2),16), ((-2),17), ((-2),18), ((-2),21), ((-1),22)], (3)), ("GEQ", [((2),0), ((1),3), ((2),6), ((-1),8), ((-2),9), ((-2),10), ((1),11), ((2),13), ((-2),14), ((2),16), ((2),17), ((-1),18), ((2),19), ((-1),20), ((-2),23), ((-1),24)], (-3)), ("GEQ", [((-1),0), ((1),1), ((2),2), ((-2),3), ((2),4), ((-1),6), ((-2),7), ((1),8), ((2),10), ((-1),11), ((1),13), ((1),14), ((-2),15), ((2),17), ((1),19), ((-1),21), ((1),22), ((-2),24)], (-10)), ("GEQ", [((-2),0), ((2),1), ((2),2), ((2),3), ((2),4), ((1),6), ((-2),8), ((-2),9), ((1),11), ((-1),12), ((-1),14), ((-1),15), ((-1),17), ((2),18), ((1),19), ((2),20), ((-2),23)], (-7)), ("GEQ", [((2),2), ((-2),3), ((-2),7), ((2),8), ((1),9), ((-1),10), ((1),12), ((1),13), ((1),15), ((-2),16), ((1),17), ((2),18), ((-2),20), ((1),21), ((1),23)], (-11)), ("GEQ", [((2),0), ((1),1), ((-2),2), ((1),3), ((2),4), ((2),5), ((-1),7), ((1),8), ((2),11), ((1),12), ((2),15), ((-1),17), ((1),19), ((1),20), ((-2),22), ((-1),23), ((-2),24)], (-8)), ("GEQ", [((2),2), ((-2),3), ((1),4), ((-2),7), ((2),8), ((1),10), ((-1),12), ((-2),13), ((1),15), ((1),18), ((2),19), ((1),23), ((-1),24)], (-3)), ("GEQ", [((1),1), ((1),4), ((2),5), ((-2),7), ((2),8), ((-1),13), ((1),14), ((2),15), ((-1),17), ((1),18), ((1),23), ((-2),24)], (-3)), ("GEQ", [((1),0), ((2),2), ((1),5), ((-2),7), ((1),10), ((1),11), ((2),12), ((2),16), ((2),18), ((-1),21), ((1),22), ((2),23)], (-10)), ("GEQ", [((-2),1), ((-1),2), ((1),3), ((1),4), ((1),6), ((2),7), ((1),9), ((-2),11), ((-1),14), ((2),18), ((1),19), ((1),23)], (-23)), ("GEQ", [((-1),0), ((-2),4), ((-2),7), ((-2),8), ((-2),9), ((-2),10), ((-1),11), ((-1),12), ((1),14), ((1),15), ((-2),18), ((-1),19), ((2),20), ((2),21), ((1),22)], (17)), ("GEQ", [((-1),2), ((2),3), ((2),6), ((1),7), ((-1),8), ((-1),9), ((-1),11), ((1),13), ((-2),15), ((2),16), ((2),18), ((1),19), ((2),20), ((1),21), ((-2),22), ((1),23), ((-2),24)], (-5)), ("GEQ", [((1),0), ((-1),1), ((-2),3), ((2),5), ((-2),6), ((-1),7), ((-1),8), ((1),9), ((2),11), ((1),12), ((-2),13), ((2),15), ((-1),16), ((-1),18), ((-1),20), ((1),23), ((-1),24)], (-11)), ("GEQ", [((-1),0), ((1),1), ((2),5), ((2),6), ((-1),8), ((-2),9), ((-1),10), ((2),11), ((1),16), ((-1),18), ((2),19), ((-2),21), ((-2),22), ((-2),23), ((-2),24)], (6)), ("GEQ", [((-2),0), ((-1),1), ((1),2), ((-1),3), ((2),4), ((1),5), ((2),6), ((1),7), ((2),8), ((1),10), ((-2),13), ((1),14), ((2),15), ((1),16), ((-2),17), ((2),18), ((1),19), ((-1),20), ((-1),22), ((-2),23)], (-14)), ("GEQ", [((-5),0), ((-15),1), ((-38),2), ((-3),3), ((-28),4), ((-40),5), ((-13),6), ((32),7), ((22),9), ((16),10), ((-21),11), ((-25),12), ((-12),13), ((-2),14), ((-20),15), ((-2),16), ((-11),17), ((-16),18), ((-23),19), ((6),20), ((7),22), ((4),23), ((29),24)], (339)), ("GEQ", [((12),0), ((-6),1), ((-21),2), ((3),3), ((-24),4), ((-26),5), ((-23),6), ((12),7), ((3),8), ((17),9), ((9),10), ((-13),11), ((-6),12), ((4),13), ((-3),14), ((-30),15), ((-3),16), ((8),17), ((-28),18), ((-25),19), ((-10),20), ((-4),21), ((15),22), ((6),23), ((19),24)], (282)), ("GEQ", [((7),0), ((37),1), ((50),2), ((17),3), ((37),4), ((74),5), ((21),6), ((-47),7), ((2),8), ((-58),9), ((-34),10), ((43),11), ((46),12), ((24),13), ((4),14), ((36),15), ((-2),16), ((3),17), ((11),18), ((30),19), ((-1),20), ((-14),21), ((-12),22), ((-29),23), ((-32),24)], (-437)), ("GEQ", [((-32),0), ((-24),1), ((-5),2), ((-39),3), ((12),4), ((-12),5), ((31),6), ((12),7), ((2),8), ((23),9), ((17),10), ((-11),11), ((-27),12), ((-48),13), ((23),14), ((47),15), ((2),16), ((-39),17), ((54),18), ((17),19), ((22),20), ((25),21), ((-35),22), ((17),23), ((4),24)], (-144)), ("GEQ", [((-5),0), ((-22),1), ((1),2), ((-5),3), ((8),4), ((-28),5), ((5),6), ((4),7), ((-15),8), ((44),9), ((19),10), ((-25),11), ((-18),12), ((-2),13), ((-5),14), ((-18),15), ((22),16), ((33),17), ((34),18), ((12),19), ((-3),20), ((25),21), ((13),22), ((39),23), ((-30),24)], (-144)), ("GEQ", [((-25),0), ((5),1), ((62),2), ((-29),3), ((48),4), ((23),5), ((34),6), ((-31),7), ((1),8), ((2),9), ((-10),10), ((12),11), ((7),12), ((-14),13), ((5),14), ((47),15), ((1),16), ((3),17), ((60),18), ((46),19), ((-6),20), ((9),21), ((-24),22), ((17),23), ((-41),24)], (-515))] [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]