[("GEQ", [((-2),0), ((2),2), ((-2),5), ((1),7), ((-2),8), ((-2),9), ((2),10), ((1),14), ((-2),15), ((-1),16), ((-2),17), ((2),18), ((-1),21)], (6)), ("GEQ", [((2),0), ((1),1), ((1),2), ((2),3), ((-2),4), ((2),6), ((-1),7), ((1),9), ((-1),10), ((-2),11), ((-1),12), ((-2),13), ((-1),14), ((1),18), ((-2),19), ((-2),21), ((2),22), ((2),23)], (1)), ("GEQ", [((-2),1), ((-2),3), ((-1),4), ((-1),6), ((-1),8), ((1),9), ((2),10), ((-2),12), ((1),13), ((1),14), ((-2),21), ((-2),23)], (7)), ("GEQ", [((2),0), ((-1),1), ((2),4), ((2),8), ((2),10), ((2),11), ((-1),12), ((1),13), ((-1),14), ((1),15), ((1),17), ((-2),19), ((2),20), ((2),22), ((-2),24)], (7)), ("GEQ", [((1),0), ((2),2), ((1),3), ((-2),5), ((1),6), ((1),10), ((2),13), ((2),16), ((-2),17), ((2),19), ((-1),20), ((2),22)], (28)), ("GEQ", [((-1),0), ((-2),2), ((-2),6), ((1),7), ((-2),11), ((2),12), ((1),13), ((-1),14), ((1),15), ((-1),16), ((-1),17), ((-1),20), ((2),21), ((2),22), ((1),23)], (-2)), ("GEQ", [((-2),0), ((1),1), ((2),2), ((1),3), ((-1),4), ((2),6), ((1),9), ((1),11), ((2),13), ((1),18), ((2),19), ((2),20), ((-2),21)], (-2)), ("GEQ", [((-2),0), ((-1),1), ((-1),4), ((-2),5), ((-2),8), ((2),10), ((-2),11), ((-1),12), ((-2),14), ((2),15), ((1),16), ((-2),17), ((1),19), ((-1),20), ((1),24)], (8)), ("GEQ", [((1),1), ((-1),3), ((-2),5), ((-1),6), ((-1),7), ((-1),8), ((-1),10), ((2),11), ((1),12), ((2),13), ((-2),14), ((1),16), ((2),17), ((-1),18), ((1),19), ((2),20), ((-2),21), ((-2),23)], (-13)), ("GEQ", [((-2),0), ((-2),2), ((2),3), ((1),4), ((2),5), ((1),6), ((2),7), ((1),9), ((1),10), ((1),13), ((1),16), ((1),18), ((2),19), ((-1),20), ((-2),21), ((-1),22), ((2),23)], (-1)), ("GEQ", [((2),1), ((1),2), ((2),4), ((-2),5), ((1),6), ((-1),7), ((1),8), ((-2),10), ((-2),11), ((2),12), ((1),14), ((-2),16), ((1),17), ((-1),20), ((2),21), ((2),22), ((1),23), ((-1),24)], (12)), ("GEQ", [((1),0), ((1),1), ((1),3), ((-1),4), ((-2),5), ((-1),6), ((1),9), ((-2),13), ((1),14), ((2),18), ((-1),19), ((2),20), ((1),21), ((-2),23)], (-13)), ("GEQ", [((-2),1), ((2),2), ((-2),3), ((-2),5), ((-2),7), ((1),9), ((2),10), ((-1),11), ((1),12), ((1),15), ((-1),16), ((1),18), ((-2),19), ((-2),20), ((2),21), ((1),22), ((2),23)], (0)), ("GEQ", [((2),0), ((1),1), ((-2),3), ((2),4), ((2),5), ((-2),6), ((1),8), ((-2),9), ((-1),10), ((-1),11), ((-2),13), ((1),14), ((-2),15), ((2),18), ((1),19), ((1),20), ((2),22), ((2),24)], (-25)), ("GEQ", [((-2),0), ((1),1), ((2),2), ((1),6), ((-1),7), ((-1),8), ((2),12), ((2),16), ((-1),17), ((1),19), ((-1),20), ((2),21), ((-2),22), ((1),23)], (-11)), ("GEQ", [((1),0), ((1),4), ((-1),6), ((2),9), ((-2),12), ((2),16), ((-2),17), ((1),22), ((1),23), ((1),24)], (16)), ("GEQ", [((-2),2), ((-2),5), ((-2),8), ((2),9), ((1),11), ((2),12), ((-1),15), ((-1),16), ((-1),17), ((2),18), ((1),19), ((-1),21), ((-2),22)], (-6)), ("GEQ", [((-2),2), ((-1),4), ((2),5), ((-1),7), ((1),8), ((-2),10), ((-2),13), ((-1),14), ((-2),15), ((1),16), ((1),17), ((2),18), ((2),20), ((-1),24)], (-21)), ("GEQ", [((-1),0), ((2),2), ((-2),3), ((2),5), ((1),6), ((2),7), ((1),9), ((1),12), ((1),14), ((1),15), ((2),16), ((-1),17), ((-1),18), ((-2),20), ((-1),22), ((-1),24)], (7)), ("GEQ", [((1),1), ((-2),3), ((-2),4), ((-2),7), ((-1),9), ((2),11), ((-1),15), ((-2),17), ((1),19), ((2),21), ((1),23)], (-6)), ("GEQ", [((2),0), ((-1),1), ((-2),3), ((-2),6), ((1),7), ((-1),8), ((1),11), ((-1),12), ((-2),13), ((2),14), ((-1),15), ((2),17), ((1),20), ((-2),23)], (-6)), ("GEQ", [((1),1), ((-1),2), ((-2),4), ((-2),8), ((-2),11), ((2),13), ((-2),14), ((1),18), ((2),21), ((-1),22), ((-1),23), ((2),24)], (-26)), ("GEQ", [((-2),1), ((-1),2), ((2),5), ((1),7), ((-2),9), ((2),10), ((1),13), ((2),14), ((2),15), ((-1),18), ((1),19), ((-1),21), ((2),22), ((2),23)], (7)), ("GEQ", [((-1),2), ((2),3), ((-1),5), ((-1),6), ((2),8), ((2),9), ((-2),10), ((-1),11), ((2),12), ((2),13), ((1),17), ((2),18), ((-1),20), ((1),22), ((2),23), ((-2),24)], (6)), ("GEQ", [((7),0), ((2),1), ((-8),2), ((16),3), ((21),4), ((11),5), ((-2),7), ((24),8), ((-27),9), ((-21),10), ((7),11), ((-8),12), ((-1),13), ((-7),14), ((9),15), ((-13),16), ((18),17), ((-45),18), ((-7),19), ((-2),21), ((-3),22), ((-9),23), ((1),24)], (133)), ("GEQ", [((-4),0), ((-4),1), ((27),2), ((-2),3), ((-26),4), ((-23),5), ((16),6), ((2),7), ((-33),8), ((27),9), ((28),10), ((-15),12), ((-4),13), ((1),14), ((-5),15), ((6),16), ((-13),17), ((21),18), ((-14),19), ((-1),20), ((-8),21), ((-24),22), ((-17),23), ((9),24)], (-41)), ("GEQ", [((16),0), ((7),1), ((-32),2), ((1),3), ((5),4), ((30),5), ((-23),6), ((4),7), ((34),8), ((-19),9), ((-29),10), ((1),11), ((10),12), ((-10),13), ((2),14), ((-13),15), ((-5),16), ((1),17), ((1),18), ((-2),19), ((3),20), ((28),21), ((18),22), ((11),23), ((-13),24)], (-74)), ("GEQ", [((-40),0), ((-15),1), ((29),2), ((-35),3), ((9),4), ((-14),5), ((17),6), ((-5),7), ((-37),8), ((20),9), ((43),10), ((-6),11), ((25),12), ((23),13), ((14),14), ((30),15), ((6),16), ((7),17), ((15),18), ((31),19), ((-8),20), ((-19),21), ((-2),22), ((23),23), ((7),24)], (-123)), ("GEQ", [((8),0), ((11),1), ((-11),2), ((40),3), ((-1),4), ((-19),5), ((8),6), ((3),7), ((-4),9), ((-14),10), ((-6),11), ((-18),12), ((16),13), ((-19),14), ((-12),15), ((22),16), ((-22),17), ((-5),18), ((17),19), ((-5),20), ((-42),21), ((13),22), ((-3),23), ((-3),24)], (386)), ("GEQ", [((26),0), ((12),1), ((-74),2), ((-23),3), ((9),4), ((98),5), ((-45),6), ((9),7), ((76),8), ((-26),9), ((-62),10), ((16),11), ((22),12), ((-47),13), ((8),14), ((-32),15), ((-19),16), ((6),17), ((11),18), ((-14),19), ((17),20), ((75),21), ((15),22), ((28),23), ((-23),24)], (-469))]
[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]