[("GEQ", [((2),0), ((2),2), ((2),5), ((-1),6), ((-1),7), ((2),8), ((1),9), ((-1),10), ((2),11), ((-2),13), ((-2),14), ((1),16), ((2),18), ((1),20), ((-2),21), ((1),23), ((2),24)], (-22)), ("GEQ", [((1),0), ((-1),2), ((-1),3), ((2),4), ((-2),6), ((2),7), ((2),8), ((1),10), ((-1),11), ((1),13), ((2),14), ((-1),15), ((-1),16), ((-2),17), ((-2),20), ((2),23)], (-12)), ("GEQ", [((-2),0), ((2),3), ((1),4), ((-2),6), ((2),7), ((1),10), ((-1),11), ((-2),14), ((-1),15), ((-2),16), ((2),17), ((-2),21), ((-2),22), ((2),23), ((-1),24)], (3)), ("GEQ", [((1),1), ((-2),4), ((1),6), ((-2),7), ((-2),8), ((-1),11), ((-2),13), ((2),14), ((1),17), ((-2),20), ((-2),22)], (19)), ("GEQ", [((-2),0), ((1),1), ((-2),2), ((-2),3), ((-2),5), ((-2),7), ((-2),9), ((2),12), ((-1),14), ((-1),16), ((-2),18), ((-1),19), ((1),21), ((-2),22), ((2),23)], (29)), ("GEQ", [((-1),0), ((2),1), ((-2),2), ((-1),3), ((-2),4), ((-1),5), ((2),6), ((-2),8), ((-1),10), ((-1),11), ((-1),12), ((1),13), ((-1),14), ((1),15), ((2),16), ((-2),18), ((2),19), ((2),21), ((-2),23)], (-6)), ("GEQ", [((-1),2), ((1),3), ((-2),4), ((-1),5), ((-2),7), ((-1),8), ((-1),9), ((1),10), ((1),11), ((-1),12), ((2),13), ((1),14), ((-1),15), ((-1),17), ((1),20), ((-2),21), ((-1),24)], (3)), ("GEQ", [((1),0), ((-2),2), ((-1),5), ((2),8), ((-1),11), ((-2),12), ((1),15), ((-2),17), ((-2),19), ((1),20), ((2),23)], (-7)), ("GEQ", [((2),1), ((-1),2), ((1),7), ((2),8), ((2),10), ((-1),11), ((-2),12), ((-2),15), ((-2),17), ((2),21), ((-1),22), ((2),23), ((1),24)], (-20)), ("GEQ", [((-1),0), ((1),2), ((-2),3), ((-1),4), ((1),5), ((1),6), ((2),7), ((-2),8), ((-1),9), ((-2),10), ((1),11), ((2),12), ((-1),13), ((1),15), ((-1),16), ((1),17), ((-1),18), ((2),19), ((1),20), ((-2),22), ((2),24)], (14)), ("GEQ", [((-2),0), ((-1),2), ((1),3), ((-2),4), ((2),8), ((2),9), ((-2),13), ((1),14), ((1),18), ((-2),20), ((2),22), ((2),24)], (22)), ("GEQ", [((2),0), ((-1),1), ((1),2), ((-2),6), ((2),7), ((-1),8), ((-1),9), ((-1),12), ((2),13), ((1),14), ((-2),16), ((1),17), ((-1),18), ((-1),19), ((2),20), ((-1),21)], (-11)), ("GEQ", [((2),0), ((1),1), ((-1),3), ((2),4), ((1),5), ((-2),6), ((1),7), ((1),9), ((-1),10), ((-1),13), ((1),14), ((-2),15), ((-2),16), ((1),19), ((-2),20), ((2),22), ((-1),23)], (-12)), ("GEQ", [((2),0), ((-1),1), ((2),2), ((-1),5), ((-2),11), ((2),12), ((-1),14), ((1),17), ((-1),22), ((2),23), ((1),24)], (-10)), ("GEQ", [((-1),1), ((2),4), ((-2),7), ((1),9), ((1),10), ((-1),11), ((-2),12), ((-2),13), ((1),18), ((-2),19), ((-1),20), ((-1),21), ((-2),22), ((1),23)], (5)), ("GEQ", [((-2),0), ((-2),1), ((-2),3), ((2),4), ((-2),8), ((-2),9), ((1),11), ((2),12), ((2),15), ((-1),16), ((-1),18), ((-2),20), ((1),21), ((-2),23), ((2),24)], (39)), ("GEQ", [((1),1), ((2),2), ((-1),3), ((-2),4), ((-2),5), ((-1),7), ((2),8), ((-2),10), ((-1),11), ((-1),15), ((-1),16), ((2),17), ((1),18), ((1),19), ((-2),20), ((-1),21), ((2),22), ((-2),24)], (-23)), ("GEQ", [((-1),1), ((2),2), ((2),3), ((-1),6), ((1),8), ((-1),10), ((2),12), ((-1),13), ((-2),15), ((-2),16), ((-2),18), ((-2),19), ((2),20), ((-2),21), ((1),22), ((1),23), ((2),24)], (13)), ("GEQ", [((-1),1), ((-2),3), ((-1),5), ((2),6), ((1),9), ((-1),11), ((-1),12), ((-1),13), ((2),14), ((-1),15), ((-1),16), ((1),18), ((2),19), ((1),21), ((-1),22), ((1),23), ((-2),24)], (-7)), ("GEQ", [((2),1), ((-2),3), ((-1),4), ((-2),6), ((2),7), ((-2),10), ((-1),14), ((2),15), ((-1),16), ((-1),17), ((2),18), ((-2),19), ((-2),22), ((1),23), ((-1),24)], (-21)), ("GEQ", [((2),1), ((1),2), ((-2),4), ((1),5), ((1),6), ((-2),8), ((-2),12), ((-1),13), ((1),14), ((-2),17), ((1),21), ((-2),22)], (-8)), ("GEQ", [((-1),0), ((-2),4), ((1),5), ((-1),6), ((1),10), ((2),12), ((1),13), ((1),14), ((2),16), ((2),17), ((1),19), ((-1),20), ((1),22), ((-1),23), ((-2),24)], (4)), ("GEQ", [((1),1), ((1),2), ((-1),3), ((-2),6), ((-2),8), ((-2),9), ((-2),10), ((-1),11), ((2),12), ((1),16), ((-1),17), ((2),18), ((2),19), ((-1),21), ((-1),24)], (-16)), ("GEQ", [((-1),5), ((1),9), ((-1),11), ((-1),12), ((-2),14), ((2),15), ((2),18), ((-2),19), ((2),20), ((-1),23), ((1),24)], (-11)), ("GEQ", [((10),0), ((-5),1), ((-10),2), ((5),3), ((20),4), ((2),5), ((11),6), ((-4),7), ((-10),8), ((-8),9), ((7),10), ((15),11), ((-9),12), ((28),13), ((4),14), ((1),15), ((15),16), ((-10),17), ((-12),18), ((9),19), ((-2),20), ((14),21), ((22),22), ((-28),23), ((-19),24)], (-56)), ("GEQ", [((20),0), ((-25),1), ((-4),2), ((14),3), ((27),4), ((7),5), ((9),6), ((2),7), ((8),8), ((9),9), ((9),10), ((17),11), ((-2),12), ((13),13), ((3),14), ((3),15), ((5),16), ((-7),17), ((-9),18), ((-10),19), ((19),20), ((3),21), ((21),22), ((-11),23), ((5),24)], (42)), ("GEQ", [((3),0), ((-2),1), ((-16),2), ((12),3), ((-8),4), ((-2),5), ((34),6), ((-10),7), ((-18),8), ((-8),9), ((14),10), ((9),11), ((-1),12), ((27),13), ((-6),14), ((16),15), ((36),16), ((-1),17), ((-10),18), ((8),19), ((28),20), ((23),21), ((1),22), ((-21),23), ((-11),24)], (29)), ("GEQ", [((-68),0), ((83),1), ((-19),3), ((-91),4), ((-11),5), ((-2),6), ((-10),7), ((-12),8), ((-8),9), ((-18),10), ((-37),11), ((-13),12), ((-36),13), ((-20),14), ((-3),15), ((13),16), ((29),17), ((29),18), ((38),19), ((-59),20), ((2),21), ((-47),22), ((13),23), ((-26),24)], (-177)), ("GEQ", [((8),0), ((-19),1), ((43),2), ((-11),3), ((7),4), ((7),5), ((-55),6), ((27),7), ((31),8), ((16),9), ((-19),10), ((-13),11), ((20),12), ((-53),13), ((6),14), ((-19),15), ((-75),16), ((4),17), ((11),18), ((-47),19), ((14),20), ((-48),21), ((-26),22), ((59),23), ((56),24)], (103)), ("GEQ", [((3),0), ((-9),1), ((-55),2), ((33),3), ((-7),5), ((92),6), ((-37),7), ((-44),8), ((-13),9), ((30),10), ((25),11), ((-2),12), ((64),13), ((-8),14), ((30),15), ((96),16), ((1),17), ((-35),18), ((46),19), ((36),20), ((57),21), ((28),22), ((-66),23), ((-39),24)], (196))]
[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]