[("GEQ", [((1),0), ((2),1), ((-1),2), ((2),4), ((2),7), ((-1),9), ((-2),10), ((1),19), ((-1),22), ((2),23)], (-24)), ("GEQ", [((1),0), ((2),3), ((-2),4), ((2),5), ((1),6), ((-1),8), ((2),10), ((1),11), ((-1),12), ((1),13), ((2),14), ((-2),15), ((-2),17), ((-2),19), ((2),20), ((-1),21), ((2),22), ((-2),24)], (-2)), ("GEQ", [((2),1), ((-2),2), ((-2),6), ((1),9), ((-1),10), ((-2),13), ((-1),14), ((2),15), ((2),16), ((1),18), ((1),21), ((-2),22), ((-2),23), ((-1),24)], (-11)), ("GEQ", [((-1),1), ((1),2), ((-1),3), ((2),5), ((1),6), ((1),8), ((-1),9), ((-2),13), ((1),14), ((-1),15), ((1),16), ((2),17), ((-1),18), ((1),19), ((1),20), ((1),21), ((1),22)], (2)), ("GEQ", [((-2),0), ((-1),2), ((1),5), ((1),6), ((2),8), ((2),10), ((1),12), ((-2),13), ((1),15), ((-1),16), ((-1),18), ((2),20), ((2),21), ((1),22), ((1),23), ((-1),24)], (-9)), ("GEQ", [((-2),0), ((-2),1), ((-1),2), ((-1),4), ((2),5), ((-2),8), ((1),10), ((2),11), ((1),12), ((2),14), ((-2),17), ((-1),19), ((-1),22), ((2),23), ((2),24)], (8)), ("GEQ", [((1),2), ((-1),4), ((2),7), ((2),9), ((-2),10), ((1),11), ((1),12), ((-2),13), ((-1),14), ((1),15), ((-1),18), ((1),19), ((-1),20), ((2),21), ((1),24)], (-13)), ("GEQ", [((-2),3), ((1),4), ((-2),6), ((-2),8), ((-2),9), ((-1),10), ((-1),11), ((2),12), ((-1),13), ((1),14), ((-2),18), ((1),19), ((2),20), ((2),21), ((-2),24)], (14)), ("GEQ", [((2),1), ((-2),2), ((-1),4), ((1),7), ((2),8), ((-1),9), ((1),11), ((2),12), ((-1),14), ((1),15), ((-2),16), ((1),17), ((2),18), ((-2),19), ((1),20), ((1),23), ((-1),24)], (-3)), ("GEQ", [((1),0), ((1),3), ((-1),5), ((-2),7), ((-2),8), ((2),10), ((-2),11), ((1),12), ((2),14), ((-2),15), ((-1),16), ((1),18), ((-2),19), ((1),21), ((-1),22), ((-2),24)], (35)), ("GEQ", [((-2),1), ((2),2), ((2),3), ((-2),5), ((-1),6), ((-1),7), ((1),8), ((1),9), ((1),10), ((-1),11), ((1),13), ((2),14), ((-1),15), ((-2),17), ((1),18), ((2),19), ((-1),20), ((-1),23)], (9)), ("GEQ", [((2),0), ((1),1), ((2),2), ((2),3), ((1),4), ((-1),5), ((-2),6), ((1),7), ((2),10), ((1),12), ((-2),13), ((1),14), ((1),16), ((1),18), ((-1),19), ((2),20), ((-1),22), ((-2),23)], (16)), ("GEQ", [((-2),0), ((2),3), ((1),4), ((2),5), ((1),8), ((1),13), ((-1),14), ((2),15), ((1),17), ((-1),18), ((2),19)], (-36)), ("GEQ", [((-2),3), ((1),4), ((-1),6), ((-2),8), ((-2),10), ((1),12), ((1),15), ((-2),16), ((-2),18), ((1),21), ((-2),22), ((2),23)], (7)), ("GEQ", [((-2),0), ((1),2), ((2),4), ((-2),8), ((2),10), ((-2),11), ((-2),12), ((1),13), ((-2),17), ((-1),19), ((2),21), ((2),22), ((-2),24)], (14)), ("GEQ", [((1),0), ((-1),1), ((-1),3), ((1),6), ((-2),7), ((2),8), ((-2),12), ((1),14), ((-2),16), ((2),17), ((1),19), ((-2),20), ((2),21)], (15)), ("GEQ", [((-2),1), ((1),3), ((2),6), ((2),7), ((1),8), ((-1),9), ((2),10), ((2),11), ((2),13), ((1),14), ((-2),15), ((2),16), ((2),17), ((-2),19), ((2),20), ((1),21), ((-2),23), ((-1),24)], (-6)), ("GEQ", [((2),2), ((-2),3), ((-2),4), ((-2),8), ((2),9), ((1),11), ((2),13), ((-1),14), ((2),15), ((-1),16), ((-1),18)], (6)), ("GEQ", [((-2),0), ((-1),1), ((2),2), ((-1),4), ((-1),5), ((1),10), ((-1),11), ((1),12), ((-2),13), ((2),16), ((1),17), ((-2),21), ((-1),22), ((-1),23), ((2),24)], (11)), ("GEQ", [((-1),1), ((1),2), ((2),3), ((-1),5), ((2),7), ((1),8), ((-1),9), ((-2),10), ((-2),12), ((-1),13), ((1),18), ((-1),20), ((-1),21), ((-2),23), ((2),24)], (-7)), ("GEQ", [((1),0), ((1),2), ((-1),4), ((-2),5), ((1),6), ((-2),7), ((-2),8), ((-1),9), ((1),12), ((1),17), ((1),23), ((2),24)], (23)), ("GEQ", [((-2),0), ((1),2), ((-2),3), ((2),4), ((2),5), ((2),6), ((-2),7), ((2),9), ((2),10), ((-1),11), ((-2),14), ((2),15), ((1),16), ((-2),21), ((2),22), ((1),23), ((1),24)], (-6)), ("GEQ", [((-1),1), ((-1),2), ((-2),4), ((1),5), ((-2),9), ((-2),10), ((1),11), ((-2),12), ((2),14), ((-1),15), ((1),16), ((2),17), ((-1),18), ((2),21), ((-2),23), ((-1),24)], (4)), ("GEQ", [((2),1), ((1),3), ((-1),4), ((-2),5), ((2),6), ((2),7), ((-2),8), ((-1),10), ((1),12), ((1),13), ((-2),16), ((-1),17), ((-1),18), ((2),20), ((2),22), ((-1),23), ((1),24)], (-7)), ("GEQ", [((9),0), ((-16),2), ((-15),3), ((-3),4), ((6),5), ((-5),6), ((-14),7), ((4),8), ((-14),10), ((1),11), ((-6),12), ((13),13), ((-11),14), ((-6),15), ((-6),16), ((-5),17), ((-3),18), ((8),19), ((-17),20), ((-28),21), ((-7),22), ((18),23), ((6),24)], (-112)), ("GEQ", [((14),0), ((14),1), ((-19),2), ((12),3), ((5),4), ((-3),5), ((-14),6), ((4),7), ((-14),9), ((-10),10), ((-14),12), ((8),13), ((-7),14), ((-11),15), ((13),16), ((-10),17), ((16),18), ((-9),19), ((-6),20), ((-24),21), ((-6),22), ((-2),23), ((-1),24)], (-110)), ("GEQ", [((-30),0), ((-29),1), ((55),2), ((16),3), ((-18),4), ((-14),5), ((30),6), ((16),7), ((2),8), ((31),9), ((30),10), ((6),11), ((31),12), ((-33),13), ((28),14), ((17),15), ((9),16), ((27),17), ((-19),18), ((12),19), ((24),20), ((78),21), ((15),22), ((-39),23), ((1),24)], (241)), ("GEQ", [((33),0), ((43),1), ((-70),2), ((-6),3), ((21),4), ((18),5), ((-26),6), ((-2),7), ((-11),8), ((-45),9), ((-18),10), ((-2),11), ((-37),12), ((34),13), ((-20),14), ((-23),15), ((-10),16), ((-33),17), ((33),18), ((-41),19), ((-3),20), ((-59),21), ((1),22), ((27),23), ((-20),24)], (-134)), ("GEQ", [((4),0), ((-11),1), ((19),2), ((-21),3), ((20),4), ((-20),5), ((-32),6), ((-28),7), ((24),8), ((14),9), ((-23),10), ((-31),11), ((-6),12), ((-1),13), ((-35),14), ((6),15), ((2),16), ((1),17), ((2),18), ((32),19), ((-54),20), ((-72),21), ((-39),22), ((21),23), ((31),24)], (-100)), ("GEQ", [((-47),0), ((-8),1), ((75),2), ((24),3), ((1),4), ((-22),5), ((32),6), ((42),7), ((-3),8), ((35),9), ((45),10), ((-4),11), ((49),12), ((-41),13), ((16),14), ((40),15), ((2),16), ((22),17), ((-12),18), ((5),19), ((44),20), ((90),21), ((26),22), ((-35),23), ((-3),24)], (215))]
[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]