[("GEQ", [((2),0), ((-1),1), ((2),2), ((1),5), ((2),6), ((1),7), ((1),9), ((2),12), ((-1),13), ((2),14), ((-2),17), ((2),18), ((-2),19), ((2),21), ((-2),22), ((2),23)], (-6)), ("GEQ", [((1),2), ((2),4), ((1),5), ((-1),7), ((-1),8), ((2),9), ((-1),12), ((1),13), ((2),14), ((1),15), ((-2),16), ((2),20), ((1),22), ((2),23), ((2),24)], (27)), ("GEQ", [((-1),0), ((2),1), ((-1),2), ((2),4), ((2),5), ((2),7), ((1),9), ((1),12), ((1),14), ((-1),16), ((1),17), ((-2),18), ((1),20), ((1),21), ((1),23), ((-1),24)], (2)), ("GEQ", [((1),0), ((1),2), ((2),3), ((-1),4), ((-2),6), ((-2),7), ((2),8), ((-1),10), ((2),11), ((-1),12), ((-1),13), ((-1),15), ((-2),16), ((2),17), ((1),18), ((-1),19), ((1),20), ((-1),21), ((2),23), ((1),24)], (14)), ("GEQ", [((-1),0), ((1),3), ((1),4), ((-1),5), ((-2),6), ((-2),9), ((-1),11), ((2),13), ((-2),14), ((-1),15), ((-1),17), ((2),18), ((1),19), ((-1),22), ((-1),23)], (-8)), ("GEQ", [((1),0), ((2),1), ((-1),2), ((-2),4), ((-2),5), ((-2),7), ((2),9), ((2),11), ((-1),13), ((-2),15), ((-2),16), ((-2),18), ((1),20), ((2),22)], (-2)), ("GEQ", [((-1),0), ((1),2), ((1),3), ((-1),4), ((1),5), ((-2),6), ((-2),7), ((-2),8), ((-1),10), ((-1),11), ((1),14), ((-1),15), ((1),17), ((2),19), ((2),20), ((-1),21), ((1),22), ((-2),24)], (3)), ("GEQ", [((1),0), ((1),1), ((-1),4), ((-2),5), ((2),6), ((2),8), ((-2),9), ((1),12), ((2),17), ((1),19), ((1),20), ((-1),21), ((1),23)], (-9)), ("GEQ", [((-1),1), ((-2),2), ((-2),3), ((-1),4), ((1),5), ((1),8), ((1),9), ((-2),10), ((-2),13), ((-2),14), ((1),16), ((-1),20), ((2),21), ((-1),23), ((1),24)], (-7)), ("GEQ", [((2),0), ((-1),2), ((1),3), ((1),5), ((1),7), ((-1),10), ((1),11), ((-1),12), ((-1),14), ((-2),15), ((2),16), ((2),17), ((2),18), ((-1),20), ((-1),21), ((2),22), ((1),24)], (-1)), ("GEQ", [((-1),0), ((1),3), ((-2),5), ((-1),6), ((1),7), ((1),8), ((-2),10), ((-1),11), ((1),13), ((1),15), ((1),16), ((-1),17), ((2),18), ((2),19), ((-1),20), ((-2),21), ((1),23), ((-1),24)], (-7)), ("GEQ", [((-1),0), ((2),1), ((1),7), ((-1),8), ((1),9), ((-2),10), ((2),13), ((-1),14), ((2),19), ((1),21), ((-1),23)], (0)), ("GEQ", [((2),1), ((-1),2), ((-1),3), ((2),8), ((-2),9), ((2),10), ((-1),11), ((-1),12), ((-2),13), ((-1),14), ((-1),20), ((-1),21), ((-2),24)], (-7)), ("GEQ", [((1),0), ((-1),3), ((1),4), ((-1),5), ((2),6), ((-2),7), ((2),9), ((-2),10), ((2),12), ((1),13), ((2),14), ((1),15), ((-2),16), ((2),17), ((-1),19), ((-2),20), ((1),21), ((1),22), ((2),23), ((-1),24)], (23)), ("GEQ", [((1),2), ((1),3), ((2),5), ((-1),6), ((1),10), ((-1),11), ((1),16), ((-2),17), ((-2),18), ((1),19), ((1),20), ((-2),22), ((1),23), ((-1),24)], (-2)), ("GEQ", [((1),1), ((-1),2), ((2),3), ((-1),4), ((-2),6), ((1),8), ((-2),9), ((-1),11), ((-1),12), ((-1),13), ((1),14), ((1),15), ((-2),16), ((-1),17), ((-2),18), ((-2),20), ((-1),21)], (3)), ("GEQ", [((1),0), ((1),1), ((1),2), ((2),3), ((-2),5), ((-2),6), ((-1),7), ((-1),11), ((-1),12), ((2),15), ((1),17), ((1),18), ((2),24)], (20)), ("GEQ", [((-1),1), ((2),3), ((-1),4), ((2),7), ((2),8), ((-1),11), ((-1),12), ((-1),13), ((1),14), ((-2),15), ((-1),16), ((-1),17), ((1),18), ((-1),20), ((2),21)], (-20)), ("GEQ", [((-2),0), ((2),1), ((-1),2), ((-1),4), ((2),5), ((-2),6), ((-2),8), ((2),9), ((2),10), ((1),13), ((-2),16), ((-2),17), ((1),18), ((2),19), ((2),20), ((1),22), ((-1),23)], (-4)), ("GEQ", [((1),0), ((2),1), ((-2),2), ((1),3), ((-2),6), ((-2),7), ((1),8), ((-2),10), ((1),12), ((1),13), ((-1),14), ((-2),15), ((-2),18), ((-2),19), ((-2),20), ((-1),22), ((2),23), ((1),24)], (17)), ("GEQ", [((2),0), ((1),1), ((1),3), ((2),7), ((2),9), ((1),10), ((1),11), ((-1),13), ((1),16), ((1),18), ((2),21), ((1),22)], (-1)), ("GEQ", [((-1),0), ((2),1), ((-2),3), ((-1),4), ((-2),5), ((2),6), ((2),9), ((-1),11), ((2),12), ((-2),14), ((-1),15), ((1),18), ((1),19), ((-1),23), ((-1),24)], (-21)), ("GEQ", [((-1),0), ((-2),1), ((1),2), ((2),3), ((1),4), ((2),6), ((1),8), ((-2),9), ((2),11), ((1),15), ((2),17), ((-2),19), ((-2),21), ((-2),22), ((-2),24)], (-16)), ("GEQ", [((-1),1), ((2),2), ((1),3), ((-1),4), ((1),7), ((-1),8), ((-2),11), ((-1),12), ((2),14), ((2),16), ((1),17), ((-2),19), ((1),22), ((-1),23)], (6)), ("GEQ", [((-1),0), ((-19),1), ((-4),2), ((-20),3), ((11),4), ((-3),5), ((25),6), ((8),7), ((-31),9), ((21),10), ((12),11), ((-1),13), ((-10),14), ((11),16), ((-14),17), ((-15),18), ((-10),19), ((-6),20), ((-7),21), ((-16),22), ((-14),23), ((-1),24)], (-189)), ("GEQ", [((1),0), ((17),1), ((8),2), ((6),3), ((-11),4), ((9),5), ((-24),6), ((-18),7), ((-5),8), ((60),9), ((-30),10), ((-8),11), ((2),12), ((1),13), ((13),14), ((16),15), ((-17),16), ((20),17), ((30),18), ((12),19), ((11),20), ((17),21), ((22),22), ((21),23), ((12),24)], (378)), ("GEQ", [((-6),0), ((51),1), ((17),2), ((55),3), ((-27),4), ((-2),5), ((-81),6), ((-37),7), ((-11),8), ((98),9), ((-74),10), ((-48),11), ((1),12), ((18),13), ((35),14), ((20),15), ((-37),16), ((57),17), ((68),18), ((46),19), ((20),20), ((14),21), ((61),22), ((41),23), ((7),24)], (732)), ("GEQ", [((4),0), ((-32),1), ((4),2), ((22),3), ((-1),4), ((4),6), ((20),7), ((-6),8), ((-75),9), ((35),10), ((6),11), ((-16),12), ((-6),13), ((-2),14), ((-28),15), ((27),16), ((-21),17), ((-42),18), ((-12),19), ((-5),20), ((-21),21), ((-18),22), ((-31),23), ((-17),24)], (-416)), ("GEQ", [((-9),0), ((14),1), ((-2),2), ((-9),3), ((-16),4), ((16),5), ((-8),6), ((-2),7), ((-11),8), ((31),9), ((-4),10), ((1),11), ((5),12), ((-4),13), ((-13),15), ((1),16), ((-13),17), ((-23),18), ((-5),19), ((12),20), ((12),21), ((1),22), ((-2),23), ((-1),24)], (15)), ("GEQ", [((6),0), ((25),1), ((-19),2), ((-10),3), ((30),4), ((-42),5), ((34),6), ((1),7), ((52),8), ((-13),9), ((-23),10), ((-17),11), ((23),12), ((1),13), ((-8),14), ((37),15), ((-29),16), ((52),17), ((63),18), ((24),19), ((-31),20), ((-11),21), ((8),22), ((32),23), ((-15),24)], (23))]
[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]