[("GEQ", [((2),1), ((1),3), ((2),4), ((-1),6), ((1),8), ((1),10), ((1),11), ((-2),12), ((1),13), ((-2),15), ((1),16), ((1),17), ((-2),20), ((-1),21), ((2),23), ((1),24)], (-17)), ("GEQ", [((1),1), ((-2),2), ((2),3), ((-1),4), ((-2),6), ((-1),7), ((-1),8), ((-1),10), ((1),11), ((2),13), ((-1),16), ((1),18), ((-2),19), ((1),23), ((1),24)], (18)), ("GEQ", [((2),0), ((1),1), ((-1),4), ((1),5), ((2),6), ((2),7), ((-2),8), ((1),10), ((1),11), ((-1),18), ((-2),19), ((-2),21), ((-1),23), ((1),24)], (20)), ("GEQ", [((2),0), ((-1),1), ((2),6), ((2),7), ((1),8), ((1),10), ((2),12), ((1),13), ((-2),15), ((-1),17), ((-2),18), ((-2),19), ((-2),23), ((2),24)], (17)), ("GEQ", [((-1),1), ((1),2), ((-1),3), ((-1),5), ((-2),6), ((-1),8), ((-1),9), ((1),11), ((-2),12), ((-1),14), ((2),15), ((1),19), ((2),23), ((-1),24)], (-7)), ("GEQ", [((1),1), ((-2),2), ((-2),3), ((2),4), ((-2),6), ((2),7), ((1),12), ((-2),13), ((2),15), ((-1),16), ((1),18), ((-2),19), ((-1),21), ((1),22), ((-1),24)], (6)), ("GEQ", [((1),0), ((1),2), ((2),3), ((-1),5), ((1),8), ((2),9), ((1),13), ((2),17), ((1),18), ((2),20), ((-1),21), ((1),23), ((-2),24)], (15)), ("GEQ", [((1),0), ((2),2), ((2),4), ((1),6), ((-2),7), ((-1),9), ((2),10), ((1),11), ((2),13), ((-1),15), ((-2),16), ((1),17), ((-2),20), ((2),21), ((2),22), ((-2),23), ((-2),24)], (-4)), ("GEQ", [((-1),0), ((2),1), ((-1),2), ((2),4), ((2),6), ((1),8), ((1),9), ((2),10), ((2),11), ((2),12), ((1),14), ((2),17), ((-2),19), ((-1),21), ((2),22), ((-1),24)], (16)), ("GEQ", [((1),0), ((-1),3), ((1),5), ((2),9), ((-2),10), ((-2),11), ((2),13), ((2),14), ((2),15), ((-2),16), ((2),17), ((1),18), ((1),19), ((2),22), ((-2),23), ((1),24)], (-1)), ("GEQ", [((-2),0), ((-1),1), ((-1),2), ((2),3), ((2),6), ((-1),7), ((2),8), ((1),17), ((-2),18), ((-1),20), ((2),21), ((2),24)], (9)), ("GEQ", [((-2),0), ((-1),2), ((2),5), ((1),6), ((-2),7), ((1),8), ((-2),10), ((-2),12), ((-2),14), ((2),15), ((1),16), ((1),17), ((-1),18), ((-2),19), ((-2),20), ((2),21), ((2),22)], (17)), ("GEQ", [((2),0), ((-2),2), ((-2),3), ((1),4), ((1),5), ((-2),7), ((1),8), ((-2),9), ((-1),10), ((-2),11), ((-1),15), ((-2),17), ((-2),18), ((-1),20), ((-1),21), ((-2),22), ((2),24)], (-14)), ("GEQ", [((1),1), ((-2),5), ((-2),8), ((-2),12), ((-2),13), ((2),15), ((-2),16), ((-1),17), ((-2),18), ((-2),21), ((-1),23), ((1),24)], (8)), ("GEQ", [((1),0), ((2),1), ((-2),9), ((-2),10), ((1),11), ((1),14), ((1),15), ((-2),16), ((-1),17), ((2),18), ((-1),19), ((-1),21), ((2),22)], (-2)), ("GEQ", [((-2),0), ((1),2), ((-1),3), ((1),4), ((2),5), ((1),7), ((2),8), ((1),9), ((-1),14), ((-2),15), ((-2),16), ((2),17), ((1),18), ((1),20), ((1),22)], (2)), ("GEQ", [((-1),5), ((-1),9), ((1),10), ((2),11), ((2),12), ((-2),13), ((-1),16), ((1),18), ((2),19), ((-2),20), ((-2),22), ((-2),23)], (-7)), ("GEQ", [((-2),7), ((2),9), ((2),11), ((-2),14), ((1),15), ((1),16), ((-1),17), ((-1),18), ((-1),19), ((1),20), ((1),22), ((-2),24)], (23)), ("GEQ", [((-1),1), ((1),2), ((1),3), ((-1),5), ((2),6), ((-2),7), ((-1),9), ((-2),11), ((2),12), ((-1),14), ((-1),15), ((-2),16), ((-1),19), ((2),21), ((1),22), ((1),23)], (4)), ("GEQ", [((1),0), ((-1),1), ((1),2), ((1),3), ((-2),4), ((1),6), ((1),7), ((2),8), ((1),10), ((1),12), ((-2),14), ((2),16), ((2),17), ((-1),20), ((1),21), ((1),22), ((1),23), ((-1),24)], (16)), ("GEQ", [((-2),2), ((1),4), ((2),5), ((2),7), ((2),11), ((-2),12), ((2),13), ((-1),14), ((2),15), ((1),16), ((2),17), ((-2),18), ((-2),19), ((2),20), ((-2),22), ((2),23), ((-2),24)], (27)), ("GEQ", [((-1),0), ((-2),1), ((-2),5), ((1),7), ((-2),8), ((2),9), ((2),10), ((1),11), ((1),12), ((2),13), ((1),14), ((1),16), ((-1),19), ((1),20), ((2),23)], (10)), ("GEQ", [((-1),0), ((-1),1), ((1),2), ((-1),3), ((1),4), ((-1),5), ((-2),6), ((2),7), ((2),11), ((2),15), ((2),19), ((2),20), ((-1),21), ((1),24)], (-6)), ("GEQ", [((-2),0), ((1),1), ((-1),3), ((-2),4), ((-1),5), ((2),6), ((1),7), ((-2),8), ((2),9), ((-2),10), ((-2),12), ((-2),14), ((-2),16)], (13)), ("GEQ", [((10),0), ((2),1), ((9),2), ((5),3), ((-22),4), ((2),5), ((-14),6), ((10),7), ((-10),8), ((-4),9), ((-5),10), ((-28),11), ((7),12), ((-20),13), ((21),14), ((-17),15), ((16),16), ((-19),17), ((26),18), ((19),19), ((4),20), ((-8),21), ((-14),22), ((-7),23), ((3),24)], (-334)), ("GEQ", [((-5),0), ((-20),1), ((-12),2), ((-14),3), ((38),4), ((-9),5), ((14),6), ((-10),7), ((18),8), ((-2),9), ((20),10), ((40),11), ((-10),12), ((27),13), ((-20),14), ((41),15), ((-4),16), ((25),17), ((-54),18), ((-11),19), ((4),20), ((12),21), ((6),22), ((8),23), ((-14),24)], (392)), ("GEQ", [((16),0), ((6),1), ((31),2), ((21),3), ((-37),4), ((20),5), ((-22),6), ((16),7), ((4),8), ((-10),9), ((-2),10), ((-58),11), ((16),12), ((-23),13), ((34),14), ((-82),15), ((41),16), ((-32),17), ((58),18), ((38),19), ((8),20), ((-6),21), ((-30),22), ((-2),23), ((7),24)], (-800)), ("GEQ", [((-9),0), ((46),1), ((24),2), ((23),3), ((-60),4), ((18),5), ((-3),6), ((-3),7), ((-26),8), ((10),9), ((-41),10), ((-50),11), ((22),12), ((-33),13), ((15),14), ((-98),15), ((-21),16), ((-43),17), ((99),18), ((6),19), ((-23),20), ((-13),21), ((6),22), ((-20),23), ((35),24)], (-549)), ("GEQ", [((-20),0), ((11),1), ((-17),2), ((1),3), ((15),4), ((-11),5), ((29),6), ((-19),7), ((-17),8), ((21),9), ((-4),10), ((39),11), ((-19),12), ((25),13), ((-44),14), ((58),15), ((-52),16), ((48),17), ((-29),18), ((-56),19), ((-24),20), ((15),21), ((52),22), ((13),23), ((-7),24)], (840)), ("GEQ", [((-5),0), ((-33),1), ((7),2), ((-29),3), ((45),4), ((5),5), ((-10),6), ((2),7), ((56),8), ((-33),9), ((38),10), ((29),11), ((15),12), ((6),13), ((11),14), ((-54),15), ((64),16), ((-45),17), ((-40),18), ((63),19), ((39),20), ((2),21), ((-70),22), ((-5),23), ((-11),24)], (-648))]
[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]