[("GEQ", [((-1),2), ((1),3), ((-1),4), ((1),8), ((-1),11), ((-1),12), ((2),13), ((2),14), ((2),16), ((-1),19), ((-2),21)], (-3)), ("GEQ", [((-2),1), ((-1),3), ((2),5), ((-2),8), ((1),11), ((-2),12), ((-2),13), ((-1),14), ((-1),15), ((1),16), ((2),17), ((-1),21), ((1),23)], (-14)), ("GEQ", [((-1),1), ((1),3), ((-2),4), ((1),6), ((-2),7), ((-2),9), ((-2),11), ((-2),12), ((-1),15), ((-1),16), ((2),17), ((1),18), ((2),19), ((1),20), ((2),21), ((-1),22)], (-13)), ("GEQ", [((2),4), ((2),6), ((1),7), ((-1),8), ((2),10), ((2),14), ((2),15), ((-2),17), ((-2),18), ((1),20), ((1),21), ((-2),23)], (18)), ("GEQ", [((1),2), ((-1),3), ((-2),4), ((1),7), ((1),9), ((2),10), ((-2),11), ((1),12), ((-2),13), ((2),16), ((2),18), ((2),19), ((1),20), ((-1),21), ((-2),22), ((2),23)], (7)), ("GEQ", [((1),0), ((-1),2), ((2),3), ((-1),4), ((2),6), ((2),7), ((2),9), ((-1),10), ((-2),12), ((1),14), ((-1),15), ((-2),16), ((2),17), ((-2),20), ((-2),21), ((1),22), ((-1),23), ((1),24)], (-16)), ("GEQ", [((1),0), ((2),1), ((-1),2), ((-1),3), ((-2),4), ((-1),6), ((-1),9), ((-2),10), ((-2),11), ((-2),12), ((-2),13), ((-2),16), ((1),17), ((-1),20), ((1),22), ((1),23), ((-2),24)], (8)), ("GEQ", [((-1),0), ((1),4), ((-1),5), ((2),6), ((-1),8), ((-1),10), ((2),11), ((-1),16), ((-1),17), ((-1),18), ((2),19), ((-1),20), ((2),21), ((-1),22), ((-1),23), ((2),24)], (-17)), ("GEQ", [((2),0), ((1),1), ((-2),10), ((1),11), ((1),15), ((-2),19), ((-1),20), ((1),23)], (-1)), ("GEQ", [((2),0), ((1),2), ((1),3), ((1),5), ((-1),7), ((-1),8), ((2),10), ((-1),11), ((2),12), ((1),14), ((-2),15), ((2),16), ((1),18), ((-2),20), ((1),21)], (8)), ("GEQ", [((1),1), ((-1),2), ((2),5), ((-2),7), ((2),8), ((2),9), ((-2),11), ((-1),14), ((1),15), ((2),16), ((2),18), ((-2),20), ((-1),22), ((1),24)], (3)), ("GEQ", [((1),1), ((-1),2), ((-1),3), ((-1),4), ((2),5), ((1),7), ((1),8), ((-2),9), ((2),13), ((1),15), ((1),16), ((-1),17), ((-2),19), ((1),20), ((-1),22), ((2),23)], (0)), ("GEQ", [((1),1), ((-2),4), ((-1),8), ((-1),9), ((1),10), ((-1),12), ((-1),13), ((1),14), ((1),18), ((-2),19), ((-2),21), ((2),22)], (25)), ("GEQ", [((-2),1), ((-2),2), ((1),3), ((1),4), ((1),5), ((-2),7), ((-2),9), ((-2),10), ((2),12), ((1),15), ((1),16), ((2),17), ((-1),19), ((2),24)], (-18)), ("GEQ", [((-1),0), ((1),2), ((-2),4), ((-1),5), ((-1),6), ((-2),7), ((-1),8), ((-2),9), ((-1),10), ((1),11), ((2),12), ((1),13), ((1),14), ((-2),16), ((-1),17), ((2),18), ((1),19), ((2),23), ((1),24)], (-11)), ("GEQ", [((-2),1), ((1),2), ((-1),3), ((-2),5), ((-1),8), ((-1),10), ((2),17), ((2),18), ((1),19), ((-1),20), ((-2),23)], (-2)), ("GEQ", [((-1),2), ((1),5), ((-1),8), ((2),9), ((2),11), ((1),17), ((1),18), ((1),19), ((-1),20), ((-1),24)], (-12)), ("GEQ", [((-2),0), ((2),1), ((2),2), ((-2),4), ((-1),5), ((1),6), ((-1),7), ((2),10), ((-2),12), ((2),13), ((2),14), ((-2),15), ((-1),16), ((1),17), ((-2),20), ((1),24)], (-11)), ("GEQ", [((-1),0), ((1),1), ((2),3), ((1),8), ((1),9), ((-2),11), ((1),13), ((2),14), ((-1),15), ((-2),18), ((1),19), ((2),21), ((-1),23), ((-1),24)], (-12)), ("GEQ", [((-1),1), ((1),2), ((-1),7), ((-2),9), ((-1),10), ((-2),11), ((-1),12), ((-2),13), ((1),14), ((-2),15), ((-1),18), ((1),19), ((-1),21), ((-2),22), ((-2),23)], (1)), ("GEQ", [((2),0), ((2),1), ((1),2), ((1),3), ((2),4), ((2),5), ((1),7), ((1),8), ((-1),9), ((2),10), ((1),13), ((2),14), ((-2),16), ((1),18), ((2),21), ((1),24)], (0)), ("GEQ", [((1),2), ((1),4), ((1),5), ((-1),6), ((-1),8), ((-1),10), ((1),11), ((-1),13), ((2),14), ((-1),17), ((1),18), ((-1),22), ((1),24)], (-8)), ("GEQ", [((1),0), ((-1),1), ((2),2), ((-1),5), ((-2),6), ((-2),8), ((-2),12), ((2),13), ((1),14), ((2),15), ((1),17), ((-1),23), ((1),24)], (-17)), ("GEQ", [((-1),0), ((2),1), ((-2),2), ((-2),3), ((-1),4), ((1),5), ((-2),6), ((1),7), ((-1),10), ((-2),11), ((-1),12), ((1),14), ((-2),15), ((-1),17), ((-1),18), ((1),19), ((-1),20), ((-1),21), ((-2),23), ((-1),24)], (10)), ("GEQ", [((2),0), ((-6),1), ((5),3), ((21),4), ((-27),5), ((-5),6), ((9),7), ((20),8), ((10),9), ((-11),10), ((14),11), ((35),12), ((-8),13), ((-39),14), ((-2),15), ((-14),16), ((-18),17), ((-22),18), ((-6),19), ((17),20), ((3),21), ((15),22), ((7),23), ((-23),24)], (136)), ("GEQ", [((-5),0), ((2),1), ((-1),2), ((-13),3), ((-13),4), ((15),5), ((-6),6), ((-19),7), ((-6),8), ((-8),9), ((9),10), ((3),11), ((-13),12), ((-10),14), ((22),15), ((13),16), ((2),17), ((22),18), ((-14),19), ((7),20), ((-1),22), ((21),23), ((9),24)], (61)), ("GEQ", [((19),0), ((13),1), ((-5),2), ((43),3), ((37),4), ((-41),5), ((30),6), ((83),7), ((14),8), ((20),9), ((-13),10), ((-14),11), ((33),12), ((12),13), ((56),14), ((-76),15), ((-52),16), ((-11),17), ((-85),18), ((52),19), ((-22),20), ((10),21), ((6),22), ((-76),23), ((-32),24)], (-165)), ("GEQ", [((-6),0), ((-39),1), ((8),2), ((-17),3), ((30),4), ((-14),5), ((-24),6), ((-16),7), ((13),8), ((8),9), ((-8),10), ((22),11), ((32),12), ((-29),13), ((-69),14), ((12),15), ((22),16), ((-7),17), ((5),18), ((-19),19), ((31),20), ((-18),21), ((5),22), ((21),23), ((-11),24)], (177)), ("GEQ", [((-22),0), ((34),1), ((6),2), ((-8),3), ((-85),4), ((18),5), ((16),6), ((-58),7), ((-33),8), ((-26),9), ((14),10), ((-28),11), ((-63),12), ((18),13), ((45),14), ((27),15), ((1),16), ((17),17), ((57),18), ((1),19), ((-31),20), ((16),21), ((-9),22), ((20),23), ((34),24)], (-60)), ("GEQ", [((-3),0), ((37),1), ((-9),2), ((3),3), ((-45),4), ((27),5), ((40),6), ((19),7), ((-23),8), ((-3),9), ((35),10), ((-22),11), ((-55),12), ((23),13), ((64),14), ((-18),15), ((-2),16), ((17),17), ((5),18), ((28),19), ((-32),20), ((15),21), ((-16),22), ((-16),23), ((13),24)], (-152))]
[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]