[("GEQ", [((1),0), ((1),1), ((-1),2), ((1),3), ((2),4), ((2),6), ((2),8), ((1),9), ((-2),10), ((-2),11), ((-1),12), ((2),13), ((-2),16), ((-2),17), ((-2),18), ((2),19), ((1),20), ((2),23), ((2),24)], (0)), ("GEQ", [((1),0), ((2),2), ((2),3), ((-1),4), ((1),5), ((-2),6), ((-2),7), ((-1),8), ((-2),9), ((-1),12), ((1),14), ((-1),16), ((1),17), ((1),18), ((1),20), ((2),21), ((2),22), ((1),23), ((2),24)], (18)), ("GEQ", [((2),0), ((-1),1), ((1),4), ((-1),5), ((1),6), ((-1),7), ((-2),8), ((2),10), ((2),12), ((-2),14), ((-1),16), ((-1),19), ((-2),20), ((-2),21)], (-13)), ("GEQ", [((2),0), ((1),2), ((-2),4), ((-1),5), ((-1),6), ((-1),8), ((-2),10), ((1),11), ((-2),12), ((2),13), ((1),14), ((2),16), ((-2),17), ((-1),18), ((2),19), ((2),21)], (-25)), ("GEQ", [((1),1), ((-2),3), ((-1),4), ((1),5), ((-1),6), ((1),7), ((-1),8), ((2),15), ((2),16), ((1),22)], (-18)), ("GEQ", [((1),1), ((-2),2), ((2),3), ((-2),4), ((-1),5), ((-1),9), ((-1),10), ((2),12), ((-1),13), ((-1),14), ((1),17), ((-1),18), ((-1),20), ((-2),21), ((1),22), ((-1),23), ((-1),24)], (-3)), ("GEQ", [((1),2), ((2),7), ((1),8), ((-2),11), ((-1),12), ((-1),13), ((-1),15), ((1),17), ((-2),18), ((-1),19), ((2),20), ((-2),23)], (-5)), ("GEQ", [((2),0), ((-2),2), ((2),3), ((-2),7), ((1),9), ((1),10), ((-1),12), ((-2),16), ((2),17), ((-1),18), ((-2),20), ((1),21), ((2),22), ((2),23)], (5)), ("GEQ", [((-2),2), ((-2),3), ((-2),4), ((-2),5), ((2),7), ((-1),8), ((2),10), ((-1),11), ((1),14), ((2),15), ((1),18), ((-1),23), ((-1),24)], (-23)), ("GEQ", [((1),0), ((-2),1), ((1),2), ((-1),3), ((1),5), ((-1),7), ((-2),10), ((2),11), ((-2),14), ((-2),16), ((-1),19), ((2),20), ((1),21), ((-2),22), ((-2),23), ((2),24)], (16)), ("GEQ", [((1),2), ((-1),4), ((2),6), ((-1),7), ((1),9), ((-1),12), ((-2),13), ((1),14), ((-1),15), ((1),16), ((-2),17), ((2),18), ((2),19), ((-2),20), ((2),21), ((-1),22), ((-1),23)], (-1)), ("GEQ", [((-1),0), ((-1),2), ((-1),4), ((1),5), ((-1),6), ((2),7), ((2),8), ((2),9), ((-1),15), ((1),16), ((-1),17), ((1),18), ((-2),19), ((2),24)], (16)), ("GEQ", [((-2),0), ((1),1), ((1),2), ((-2),4), ((-2),6), ((-1),7), ((-1),9), ((-2),12), ((-1),13), ((2),16), ((2),19), ((-1),22), ((2),23), ((-1),24)], (-3)), ("GEQ", [((-2),2), ((-2),4), ((-1),5), ((-1),6), ((-2),9), ((1),11), ((1),12), ((2),13), ((2),15), ((-2),17), ((1),18), ((1),19), ((-2),20), ((-1),22), ((2),23)], (4)), ("GEQ", [((2),1), ((2),2), ((2),3), ((2),9), ((2),11), ((-2),14), ((2),15), ((-1),16), ((-2),17), ((-2),20), ((1),21), ((2),22), ((2),23), ((1),24)], (-4)), ("GEQ", [((2),0), ((-1),1), ((-1),3), ((2),4), ((2),5), ((-2),6), ((-2),7), ((2),9), ((2),10), ((2),11), ((2),12), ((-2),13), ((1),16), ((2),17), ((-2),18), ((-2),20), ((-1),21)], (-1)), ("GEQ", [((-1),1), ((-2),3), ((1),10), ((1),11), ((-1),12), ((-1),13), ((1),14), ((1),16), ((-1),19), ((-2),20), ((-1),21), ((-2),22), ((-2),23)], (-3)), ("GEQ", [((2),0), ((2),2), ((-2),3), ((-1),5), ((-1),6), ((-2),7), ((-1),8), ((1),10), ((-1),11), ((-2),13), ((1),14), ((-1),15), ((1),17), ((-2),21), ((2),22), ((-1),23)], (-12)), ("GEQ", [((1),1), ((1),3), ((-1),5), ((-1),6), ((-2),8), ((-1),9), ((-2),10), ((2),11), ((-2),13), ((1),14), ((-1),15), ((2),17), ((-2),18), ((1),19), ((-1),23), ((-1),24)], (4)), ("GEQ", [((-1),1), ((-1),2), ((2),3), ((1),4), ((2),6), ((-1),10), ((1),11), ((-2),12), ((-1),13), ((-1),17), ((-1),20), ((2),23), ((-1),24)], (6)), ("GEQ", [((-1),5), ((2),6), ((-2),7), ((1),8), ((-2),9), ((2),10), ((2),13), ((-1),14), ((-1),15), ((-1),18), ((-2),21), ((1),22), ((-1),23), ((1),24)], (-17)), ("GEQ", [((2),0), ((1),7), ((2),9), ((-1),11), ((-1),14), ((-1),16), ((1),17), ((2),18), ((1),19), ((-2),22), ((1),24)], (-5)), ("GEQ", [((2),0), ((1),1), ((-2),2), ((-2),5), ((1),7), ((-2),9), ((1),10), ((1),12), ((2),13), ((1),15), ((-2),18), ((-2),19), ((2),20), ((-2),21), ((-1),22), ((-2),24)], (-34)), ("GEQ", [((1),0), ((-2),1), ((-1),3), ((-1),5), ((1),8), ((-2),12), ((-1),14), ((-2),15), ((-2),17), ((-2),18), ((-1),19), ((-2),20), ((-1),22), ((2),23)], (10)), ("GEQ", [((-17),0), ((-7),1), ((18),2), ((-11),3), ((16),4), ((17),5), ((1),6), ((2),7), ((-5),8), ((7),9), ((-8),10), ((-3),11), ((4),12), ((2),13), ((11),14), ((-2),15), ((1),16), ((5),17), ((23),18), ((8),19), ((13),20), ((19),21), ((-4),22), ((-10),23), ((2),24)], (167)), ("GEQ", [((11),0), ((11),1), ((-40),2), ((17),3), ((-30),4), ((-37),5), ((13),6), ((6),7), ((10),8), ((-14),9), ((19),10), ((-3),11), ((1),12), ((-2),13), ((-35),14), ((8),15), ((-10),16), ((-9),17), ((-27),18), ((-23),19), ((-25),20), ((-44),21), ((10),22), ((18),23), ((-13),24)], (-266)), ("GEQ", [((-5),0), ((-3),1), ((5),2), ((-5),3), ((12),4), ((5),5), ((-8),6), ((17),7), ((8),8), ((1),9), ((-14),10), ((6),11), ((3),12), ((7),13), ((14),14), ((-8),15), ((6),16), ((-5),17), ((-2),18), ((-12),19), ((30),20), ((8),21), ((-10),22), ((-8),23), ((-2),24)], (79)), ("GEQ", [((-17),0), ((-4),1), ((36),2), ((-3),3), ((9),4), ((40),5), ((7),6), ((-70),7), ((-47),8), ((1),9), ((26),10), ((-16),11), ((-14),12), ((-8),13), ((10),14), ((23),15), ((-2),16), ((42),17), ((38),18), ((78),19), ((-59),20), ((46),21), ((24),22), ((10),23), ((7),24)], (96)), ("GEQ", [((32),0), ((24),1), ((-29),2), ((7),3), ((-15),4), ((-22),5), ((-19),6), ((27),7), ((29),8), ((8),9), ((-9),10), ((10),11), ((19),12), ((3),13), ((8),14), ((-7),15), ((10),16), ((-22),17), ((-27),18), ((-31),19), ((21),20), ((-33),21), ((-7),22), ((-4),23), ((4),24)], (-222)), ("GEQ", [((-98),0), ((-94),1), ((66),2), ((-24),3), ((72),4), ((39),5), ((79),6), ((-2),7), ((-29),8), ((-6),9), ((-7),10), ((-26),11), ((-51),12), ((-12),13), ((-49),14), ((-25),15), ((-44),16), ((19),17), ((41),18), ((1),19), ((1),20), ((62),21), ((-11),22), ((-2),23), ((-19),24)], (870))]
[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]