[("GEQ", [((1),0), ((2),1), ((-1),3), ((-1),5), ((-2),6), ((-2),7), ((2),8), ((-1),9), ((1),10), ((1),12), ((-2),16), ((-1),17), ((-2),18), ((2),21), ((1),22), ((1),23)], (11)), ("GEQ", [((1),2), ((-1),3), ((-1),4), ((-1),5), ((-2),6), ((1),7), ((-1),8), ((1),9), ((2),12), ((-1),13), ((1),14), ((-2),15), ((2),18), ((1),20), ((-2),21), ((-2),24)], (6)), ("GEQ", [((-2),0), ((-2),5), ((-2),7), ((2),8), ((2),9), ((1),10), ((-2),11), ((2),13), ((-1),14), ((1),15), ((-2),16), ((2),18), ((-2),19), ((2),21), ((-1),22)], (5)), ("GEQ", [((-1),0), ((2),1), ((1),2), ((-2),3), ((1),4), ((-2),6), ((-2),7), ((2),8), ((-2),9), ((-1),10), ((1),11), ((2),12), ((1),13), ((-1),16), ((-1),17), ((1),18), ((-1),19), ((1),20), ((2),21), ((2),24)], (-3)), ("GEQ", [((-1),0), ((-2),2), ((1),3), ((-1),9), ((-1),12), ((2),17), ((1),18), ((-1),19), ((-1),20)], (-3)), ("GEQ", [((-1),1), ((2),2), ((1),4), ((2),5), ((-1),7), ((-1),11), ((-1),12), ((1),13), ((1),15), ((1),19), ((2),23), ((2),24)], (-22)), ("GEQ", [((-2),0), ((-1),1), ((-2),2), ((1),4), ((-2),5), ((-1),9), ((2),12), ((1),13), ((-2),15), ((-2),18), ((2),19), ((-2),23), ((1),24)], (-7)), ("GEQ", [((2),0), ((-1),1), ((1),2), ((1),3), ((-1),4), ((-2),5), ((2),6), ((-2),9), ((1),10), ((2),12), ((2),14), ((2),17), ((-2),19), ((1),22), ((-2),24)], (14)), ("GEQ", [((-2),0), ((-2),1), ((-2),7), ((1),10), ((2),12), ((1),13), ((-2),14), ((2),15), ((-1),16), ((2),17), ((2),18), ((2),20), ((1),22), ((2),24)], (-29)), ("GEQ", [((1),1), ((2),4), ((-1),8), ((1),10), ((2),11), ((1),12), ((2),13), ((1),14), ((2),15), ((-1),16), ((2),19), ((-2),20), ((-1),22), ((-2),23), ((1),24)], (8)), ("GEQ", [((-1),1), ((1),3), ((1),5), ((-2),6), ((1),9), ((1),12), ((-1),14), ((1),16), ((2),19), ((-2),20), ((-1),22), ((2),23), ((2),24)], (-28)), ("GEQ", [((2),1), ((-1),2), ((1),6), ((1),7), ((-2),9), ((-2),10), ((2),11), ((-2),13), ((2),15), ((-2),16), ((-2),18), ((-2),19), ((-1),20), ((-1),21), ((2),22), ((2),23), ((2),24)], (17)), ("GEQ", [((-1),3), ((-1),5), ((2),6), ((-1),7), ((-1),8), ((2),9), ((-2),10), ((1),12), ((1),16), ((-1),19), ((-2),21), ((-2),22), ((2),23)], (2)), ("GEQ", [((2),0), ((1),1), ((2),2), ((-2),3), ((1),4), ((1),5), ((-1),6), ((2),8), ((-2),11), ((2),12), ((2),15), ((-2),17), ((2),19), ((-1),20), ((1),21), ((2),22), ((1),23)], (-13)), ("GEQ", [((2),3), ((-1),4), ((1),5), ((2),6), ((-1),11), ((2),12), ((2),13), ((2),14), ((1),15), ((1),16), ((2),17), ((-2),19), ((-2),23), ((-1),24)], (-9)), ("GEQ", [((2),2), ((2),4), ((-2),5), ((1),6), ((-2),7), ((-2),8), ((2),9), ((1),10), ((-1),13), ((-2),15), ((1),16), ((2),20), ((-2),23)], (12)), ("GEQ", [((1),0), ((-2),1), ((-2),2), ((1),4), ((-1),6), ((-1),10), ((-1),11), ((2),13), ((2),14), ((1),16), ((-1),17), ((2),18), ((2),22), ((-1),23), ((-1),24)], (-17)), ("GEQ", [((-1),1), ((2),2), ((1),3), ((-2),4), ((-2),8), ((-2),10), ((-1),11), ((2),12), ((1),14), ((1),17), ((-1),18), ((-2),21), ((-2),22), ((2),23)], (-4)), ("GEQ", [((2),0), ((2),3), ((1),5), ((1),8), ((1),9), ((1),11), ((2),13), ((2),14), ((2),15), ((-1),16), ((2),18), ((-2),20), ((-2),21), ((1),23), ((-2),24)], (-4)), ("GEQ", [((-1),0), ((1),1), ((1),2), ((-1),7), ((2),11), ((2),13), ((-1),14), ((-1),16), ((-2),17), ((2),18), ((2),21), ((-1),23)], (2)), ("GEQ", [((-1),0), ((1),1), ((2),2), ((-2),3), ((2),5), ((-1),6), ((2),7), ((1),8), ((-2),10), ((-1),11), ((1),12), ((2),13), ((-1),14), ((-2),16), ((-2),17), ((2),20), ((-2),21), ((1),22)], (-12)), ("GEQ", [((-2),1), ((1),2), ((-1),3), ((-2),4), ((-2),7), ((1),8), ((-1),9), ((-1),10), ((-1),11), ((-2),13), ((2),14), ((-2),15), ((-2),16), ((2),17), ((1),18), ((-1),21), ((1),22), ((2),24)], (-15)), ("GEQ", [((1),1), ((-1),5), ((2),6), ((-1),8), ((2),11), ((1),12), ((-2),16), ((1),17), ((2),21)], (13)), ("GEQ", [((-2),0), ((-2),1), ((1),5), ((-1),6), ((-2),8), ((2),9), ((2),10), ((1),11), ((-2),12), ((-2),14), ((-2),16), ((2),17), ((-1),20), ((-1),21), ((-2),22), ((-1),23), ((-2),24)], (13)), ("GEQ", [((10),0), ((4),1), ((2),2), ((-3),3), ((-5),4), ((30),5), ((-5),6), ((22),7), ((1),8), ((-4),9), ((-3),10), ((-4),11), ((-28),12), ((-25),13), ((-7),14), ((1),15), ((25),16), ((-9),17), ((-19),18), ((18),19), ((1),20), ((-11),21), ((-8),22), ((7),23), ((12),24)], (-91)), ("GEQ", [((-16),0), ((-4),1), ((-25),2), ((17),3), ((11),4), ((-93),5), ((30),6), ((-60),7), ((5),8), ((8),9), ((22),10), ((13),11), ((47),12), ((58),13), ((20),14), ((-10),15), ((-54),16), ((25),17), ((49),18), ((-75),19), ((6),20), ((49),21), ((26),22), ((-30),23), ((-58),24)], (492)), ("GEQ", [((-16),0), ((-4),1), ((-5),2), ((2),3), ((17),4), ((-23),5), ((-2),6), ((-19),7), ((-5),8), ((15),9), ((-1),10), ((8),11), ((34),12), ((28),13), ((-9),14), ((21),15), ((-26),16), ((3),17), ((21),18), ((2),19), ((-19),20), ((7),21), ((3),22), ((6),23), ((9),24)], (-52)), ("GEQ", [((41),0), ((14),1), ((-9),2), ((8),3), ((-54),4), ((15),5), ((27),6), ((37),7), ((23),8), ((-57),9), ((17),10), ((-20),11), ((-84),12), ((-58),13), ((51),14), ((-83),15), ((57),16), ((8),17), ((-41),18), ((-49),19), ((68),20), ((6),21), ((7),22), ((-48),23), ((-69),24)], (498)), ("GEQ", [((-8),0), ((-4),1), ((-10),2), ((-1),3), ((20),4), ((37),5), ((-8),6), ((20),7), ((-26),8), ((35),9), ((3),10), ((13),11), ((-43),12), ((-22),13), ((-59),14), ((42),15), ((19),16), ((-15),17), ((-17),18), ((41),19), ((-25),20), ((-12),21), ((-24),22), ((31),23), ((36),24)], (-175)), ("GEQ", [((7),0), ((-9),1), ((29),2), ((-5),3), ((-22),4), ((-74),5), ((12),6), ((-31),7), ((16),8), ((-24),9), ((-2),10), ((-14),11), ((83),12), ((28),13), ((71),14), ((-69),15), ((-28),16), ((20),17), ((39),18), ((-54),19), ((37),20), ((32),22), ((-40),23), ((-62),24)], (287))]
[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]