[("GEQ", [((2),1), ((-1),2), ((-1),3), ((-1),4), ((2),7), ((-1),9), ((1),10), ((2),13), ((-1),14), ((2),15), ((2),16), ((-2),20), ((-2),21), ((2),22)], (18)), ("GEQ", [((2),0), ((-1),1), ((-2),4), ((2),7), ((1),8), ((-2),11), ((2),13), ((1),14), ((2),15), ((-1),18), ((2),19), ((2),20), ((2),21), ((-2),23), ((-2),24)], (-21)), ("GEQ", [((2),2), ((-1),3), ((1),4), ((2),5), ((-1),6), ((1),8), ((1),9), ((1),10), ((1),11), ((2),15), ((-2),18), ((-1),19), ((1),20), ((1),23), ((2),24)], (2)), ("GEQ", [((-1),1), ((1),2), ((-1),3), ((1),4), ((-1),5), ((2),6), ((-1),7), ((-1),8), ((-1),9), ((-1),11), ((1),12), ((2),15), ((1),16), ((2),17), ((1),18), ((-2),22)], (10)), ("GEQ", [((1),0), ((-2),4), ((-2),5), ((1),7), ((-2),8), ((1),9), ((1),10), ((2),11), ((2),13), ((1),14), ((-1),16), ((1),17), ((-1),18), ((2),20), ((-1),22), ((2),23), ((1),24)], (-10)), ("GEQ", [((2),0), ((2),2), ((1),6), ((1),7), ((-2),8), ((2),9), ((-2),13), ((-1),15), ((-2),16), ((1),17), ((1),18), ((-2),20), ((-1),21), ((-1),24)], (1)), ("GEQ", [((2),0), ((2),2), ((-2),3), ((1),5), ((-1),6), ((-1),8), ((-1),10), ((-2),11), ((1),12), ((2),14), ((-1),15), ((2),18), ((2),20), ((-1),22), ((-2),23)], (0)), ("GEQ", [((-1),0), ((-1),1), ((1),2), ((-2),4), ((-1),5), ((2),7), ((-1),8), ((-1),13), ((2),15), ((1),19), ((2),20), ((-2),21), ((2),22)], (26)), ("GEQ", [((1),1), ((-1),2), ((-1),3), ((1),5), ((-2),6), ((1),9), ((2),10), ((-2),11), ((-2),13), ((1),14), ((2),15), ((1),17), ((-2),18), ((-1),19), ((2),21), ((-1),23), ((-1),24)], (1)), ("GEQ", [((-1),1), ((2),2), ((1),5), ((2),6), ((2),7), ((2),9), ((2),11), ((1),14), ((1),16), ((-2),17), ((1),19), ((-2),21)], (-2)), ("GEQ", [((1),1), ((-1),3), ((1),6), ((-2),10), ((-2),11), ((-1),17), ((-1),18), ((1),19), ((-2),20), ((2),21), ((-2),23), ((1),24)], (-11)), ("GEQ", [((-1),0), ((1),2), ((-1),3), ((-1),4), ((2),7), ((1),8), ((-2),9), ((-2),10), ((-2),12), ((-1),15), ((1),16), ((2),17), ((2),19), ((-2),21)], (16)), ("GEQ", [((2),0), ((1),2), ((2),3), ((-1),5), ((1),7), ((1),8), ((-1),9), ((-1),10), ((2),12), ((2),13), ((1),14), ((2),16), ((-1),18), ((-2),19), ((2),21), ((1),23)], (-8)), ("GEQ", [((1),0), ((2),3), ((-2),4), ((-2),6), ((-2),7), ((-1),8), ((1),11), ((2),13), ((2),16), ((1),17), ((-1),19), ((2),20), ((2),21), ((2),22), ((2),23), ((-1),24)], (-11)), ("GEQ", [((-2),0), ((2),2), ((1),4), ((1),5), ((-1),6), ((2),7), ((2),8), ((-1),9), ((-1),10), ((2),12), ((2),13), ((-2),14), ((2),15), ((2),16), ((-1),17), ((2),20), ((-2),21), ((-2),23)], (32)), ("GEQ", [((-2),4), ((1),7), ((-2),8), ((1),11), ((1),12), ((-2),14), ((1),16), ((1),19), ((2),20), ((1),21), ((2),22), ((2),24)], (23)), ("GEQ", [((-1),0), ((1),1), ((-2),2), ((1),5), ((2),6), ((-1),10), ((1),12), ((-1),13), ((2),15), ((-2),16), ((-2),18), ((-2),20), ((2),22), ((2),23), ((-1),24)], (-15)), ("GEQ", [((-1),0), ((-1),1), ((2),3), ((1),4), ((-2),5), ((-1),6), ((1),8), ((-1),9), ((-2),10), ((1),14), ((-1),18), ((2),21), ((1),22), ((1),23), ((1),24)], (-10)), ("GEQ", [((-2),0), ((-1),1), ((2),2), ((2),3), ((1),6), ((2),7), ((1),8), ((-2),9), ((1),10), ((-1),11), ((1),13), ((-2),16), ((-2),17), ((1),18), ((1),19), ((2),22), ((1),23), ((-2),24)], (-4)), ("GEQ", [((-2),0), ((1),1), ((-2),3), ((1),7), ((-2),9), ((2),12), ((-2),15), ((-2),16), ((-1),17), ((2),18), ((-1),21), ((2),22), ((1),24)], (15)), ("GEQ", [((1),2), ((-1),3), ((2),7), ((-2),9), ((2),10), ((-1),11), ((2),12), ((1),13), ((-2),14), ((-2),18), ((1),19), ((2),24)], (24)), ("GEQ", [((-2),0), ((2),1), ((-1),2), ((-2),3), ((-1),4), ((2),8), ((-2),10), ((-1),11), ((1),12), ((2),15), ((1),17), ((2),20), ((-1),22), ((-2),23)], (4)), ("GEQ", [((-2),0), ((-1),3), ((-1),4), ((1),5), ((2),11), ((2),12), ((-2),13), ((-2),14), ((1),15), ((1),16), ((-2),17), ((-2),19), ((1),22)], (20)), ("GEQ", [((2),0), ((-2),1), ((-1),4), ((2),5), ((2),6), ((-2),7), ((-1),8), ((1),9), ((-2),10), ((-2),11), ((-1),12), ((-2),14), ((2),15), ((-2),17), ((2),18), ((-1),19), ((-1),20), ((1),21), ((1),23), ((2),24)], (-20)), ("GEQ", [((7),0), ((4),1), ((-21),2), ((12),3), ((18),4), ((-13),5), ((-21),6), ((-16),7), ((3),8), ((3),9), ((22),10), ((9),11), ((-19),12), ((-7),13), ((6),14), ((-37),15), ((-4),16), ((10),17), ((2),19), ((-9),20), ((1),21), ((-11),22), ((-7),23), ((-4),24)], (-38)), ("GEQ", [((-16),0), ((-10),1), ((29),2), ((-39),3), ((-36),4), ((38),5), ((63),6), ((16),7), ((-11),8), ((8),9), ((-52),10), ((-21),11), ((34),12), ((-2),13), ((-21),14), ((81),15), ((4),16), ((-31),17), ((9),18), ((-9),19), ((-1),20), ((-5),21), ((6),22), ((12),23), ((11),24)], (-49)), ("GEQ", [((22),0), ((-5),1), ((-8),2), ((23),3), ((10),4), ((-24),5), ((-25),6), ((-24),7), ((-9),8), ((-2),9), ((15),10), ((21),11), ((-13),12), ((10),13), ((18),14), ((-53),15), ((5),16), ((13),17), ((15),18), ((-7),19), ((11),20), ((5),21), ((-11),22), ((9),23)], (-101)), ("GEQ", [((-27),0), ((23),1), ((-40),2), ((48),3), ((72),4), ((-27),5), ((-73),6), ((5),7), ((45),8), ((-14),9), ((77),10), ((6),11), ((-38),12), ((-22),13), ((10),14), ((-61),15), ((-30),16), ((28),17), ((-44),18), ((25),19), ((-23),20), ((-2),21), ((13),22), ((-31),23), ((-32),24)], (244)), ("GEQ", [((59),0), ((6),1), ((-24),2), ((37),3), ((1),4), ((-43),5), ((-59),6), ((-52),7), ((-15),8), ((-7),9), ((15),10), ((37),11), ((-39),12), ((40),13), ((31),14), ((-88),15), ((39),16), ((52),17), ((28),18), ((-15),19), ((33),20), ((7),21), ((-25),22), ((15),23), ((4),24)], (-161)), ("GEQ", [((30),0), ((-40),1), ((48),2), ((-38),3), ((-63),4), ((24),5), ((81),6), ((-21),7), ((-51),8), ((14),9), ((-80),10), ((-12),11), ((37),12), ((27),13), ((-5),14), ((60),15), ((28),16), ((-27),17), ((56),18), ((-23),19), ((31),20), ((-1),21), ((-30),22), ((35),23), ((21),24)], (-354))]
[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]