[("GEQ", [((1),0), ((2),1), ((-1),4), ((-1),6), ((-2),7), ((2),8), ((1),11), ((-1),12), ((1),13), ((1),14), ((-2),15), ((-1),16), ((-1),17), ((1),19), ((-2),20), ((-1),21), ((2),22), ((-1),23), ((2),24)], (9)), ("GEQ", [((-2),0), ((-2),1), ((1),2), ((2),3), ((2),4), ((-1),5), ((-1),6), ((-1),7), ((-2),9), ((1),10), ((2),11), ((-1),12), ((1),13), ((1),14), ((1),17), ((-1),18), ((1),20), ((1),21), ((-2),23), ((2),24)], (-4)), ("GEQ", [((-2),0), ((-1),1), ((2),2), ((1),3), ((2),4), ((2),6), ((2),10), ((2),11), ((-1),12), ((-1),17), ((-1),18), ((-2),21), ((2),22), ((-2),23)], (1)), ("GEQ", [((1),0), ((1),1), ((1),5), ((1),6), ((-1),7), ((-1),8), ((-2),10), ((-2),11), ((-2),12), ((1),13), ((-2),14), ((-1),16), ((-1),17), ((-1),20), ((-2),21), ((1),23), ((2),24)], (-2)), ("GEQ", [((-1),1), ((-2),2), ((1),4), ((1),5), ((1),6), ((1),7), ((-1),8), ((2),9), ((-1),11), ((-2),12), ((1),14), ((2),17), ((1),18), ((-2),20), ((1),21), ((-2),22), ((2),24)], (10)), ("GEQ", [((2),0), ((-1),1), ((2),4), ((-1),7), ((2),9), ((-2),11), ((-1),12), ((-1),13), ((1),15), ((1),16), ((1),18), ((1),20), ((1),21), ((1),23), ((-2),24)], (-12)), ("GEQ", [((1),0), ((-1),2), ((1),3), ((-1),6), ((-1),8), ((1),13), ((2),14), ((-2),15), ((-2),16), ((-2),17), ((2),19), ((2),20), ((1),21), ((-1),24)], (-3)), ("GEQ", [((2),0), ((1),1), ((2),2), ((2),3), ((1),4), ((2),8), ((1),9), ((-1),10), ((-1),11), ((-2),12), ((-1),13), ((-2),14), ((-1),15), ((1),16), ((-2),18), ((-2),19), ((1),20), ((1),21), ((1),22), ((1),23)], (0)), ("GEQ", [((-1),2), ((2),3), ((-1),5), ((-2),8), ((-1),9), ((1),10), ((2),14), ((2),15), ((-1),16), ((1),18), ((1),19), ((1),20), ((-2),22), ((1),23), ((1),24)], (-8)), ("GEQ", [((-2),0), ((2),3), ((-1),4), ((-2),5), ((-2),7), ((2),8), ((-2),9), ((-2),11), ((2),12), ((2),13), ((2),16), ((2),18), ((1),19), ((1),21), ((-1),24)], (-6)), ("GEQ", [((2),0), ((2),3), ((2),4), ((-1),6), ((2),7), ((2),9), ((1),13), ((1),15), ((-1),19), ((-1),20), ((-1),24)], (-8)), ("GEQ", [((1),5), ((-1),6), ((-1),8), ((-2),11), ((-1),13), ((2),14), ((1),15), ((2),17), ((-2),18), ((-2),19), ((-1),20), ((2),23)], (0)), ("GEQ", [((-2),0), ((1),1), ((-1),2), ((1),3), ((-2),4), ((-1),5), ((-1),7), ((-1),9), ((-2),10), ((2),14), ((1),17), ((1),18), ((2),19), ((2),20), ((1),21), ((2),22)], (7)), ("GEQ", [((-2),1), ((2),2), ((2),3), ((-2),4), ((1),8), ((2),9), ((1),11), ((-1),12), ((-1),15), ((2),18), ((1),20)], (9)), ("GEQ", [((-1),2), ((1),5), ((-2),6), ((2),7), ((2),8), ((1),13), ((1),15), ((1),17), ((2),20), ((1),21), ((1),22), ((-1),24)], (5)), ("GEQ", [((2),0), ((-2),1), ((-2),3), ((1),4), ((2),5), ((2),7), ((1),11), ((1),15), ((-1),16), ((1),17), ((-2),18), ((-2),19), ((1),22), ((-1),23), ((2),24)], (20)), ("GEQ", [((-2),1), ((-2),4), ((-2),5), ((2),6), ((-1),7), ((1),10), ((2),11), ((2),12), ((2),13), ((-2),14), ((1),15), ((-2),16), ((2),17), ((1),19), ((2),21), ((-1),22)], (-15)), ("GEQ", [((-2),0), ((1),3), ((-2),5), ((2),6), ((-1),7), ((-2),9), ((-1),10), ((1),12), ((-2),16), ((-2),18), ((-1),19), ((-2),21), ((-1),22), ((-1),23)], (3)), ("GEQ", [((-1),1), ((2),6), ((-2),8), ((2),9), ((-2),10), ((1),12), ((1),13), ((-2),14), ((-1),15), ((2),20), ((2),22), ((1),24)], (-1)), ("GEQ", [((-2),4), ((1),5), ((2),7), ((-1),9), ((1),11), ((-2),12), ((-1),13), ((-2),15), ((2),16), ((1),18), ((1),19), ((1),20), ((2),21), ((-1),23)], (20)), ("GEQ", [((2),2), ((-1),5), ((1),6), ((-2),8), ((1),9), ((2),10), ((-1),11), ((2),12), ((1),14), ((2),15), ((1),22)], (-12)), ("GEQ", [((-2),1), ((-1),2), ((-1),3), ((-2),7), ((-1),9), ((2),10), ((-2),13), ((-2),16), ((2),17), ((-2),20), ((2),22), ((-2),23)], (10)), ("GEQ", [((-2),1), ((-2),2), ((2),3), ((-1),4), ((-1),5), ((-1),6), ((-1),7), ((2),10), ((1),11), ((-1),12), ((2),15), ((1),16), ((-1),17), ((1),18), ((2),19), ((2),22), ((-2),23), ((-2),24)], (-11)), ("GEQ", [((-1),1), ((1),2), ((2),4), ((-2),5), ((-1),6), ((-1),8), ((2),14), ((-2),17), ((2),19), ((1),21), ((-1),22), ((-2),23)], (-13)), ("GEQ", [((11),0), ((28),1), ((-2),2), ((-33),3), ((-9),4), ((23),5), ((6),6), ((18),7), ((-12),8), ((3),9), ((-8),10), ((7),11), ((9),12), ((-12),13), ((-11),14), ((-12),15), ((-5),17), ((-9),18), ((-14),19), ((-6),20), ((-11),21), ((-10),22), ((22),23), ((5),24)], (68)), ("GEQ", [((-50),0), ((-96),1), ((3),2), ((87),3), ((38),4), ((-80),5), ((-27),6), ((-59),7), ((40),8), ((-28),9), ((26),10), ((-22),11), ((-18),12), ((33),13), ((34),14), ((38),15), ((-2),16), ((11),17), ((34),18), ((45),19), ((9),20), ((29),21), ((3),22), ((-81),23), ((-16),24)], (-242)), ("GEQ", [((25),0), ((32),1), ((11),2), ((-18),3), ((-7),4), ((26),5), ((-9),6), ((13),7), ((5),8), ((14),9), ((2),10), ((-10),11), ((-6),12), ((-14),13), ((-6),14), ((-5),15), ((32),16), ((-13),17), ((-8),18), ((-15),19), ((-4),20), ((1),21), ((10),22), ((28),23), ((-9),24)], (-5)), ("GEQ", [((-11),0), ((30),1), ((-29),2), ((-61),3), ((-33),4), ((31),5), ((61),6), ((27),7), ((-51),8), ((2),9), ((-27),10), ((61),11), ((36),12), ((5),13), ((-35),14), ((-30),15), ((-92),16), ((37),17), ((-21),18), ((-20),19), ((-17),20), ((-42),21), ((-30),22), ((27),23), ((55),24)], (291)), ("GEQ", [((-34),0), ((-33),1), ((2),2), ((43),3), ((25),4), ((-47),5), ((-20),6), ((-22),7), ((12),8), ((-26),9), ((-2),10), ((-22),11), ((10),12), ((-1),13), ((20),14), ((27),15), ((21),16), ((-11),17), ((11),18), ((12),19), ((31),20), ((7),21), ((-5),22), ((-28),23), ((-36),24)], (-215)), ("GEQ", [((33),0), ((2),1), ((5),2), ((10),3), ((23),4), ((4),5), ((-59),6), ((9),7), ((44),8), ((-10),9), ((28),10), ((-33),11), ((-34),12), ((-7),13), ((29),14), ((2),15), ((65),16), ((-44),17), ((17),18), ((19),19), ((-12),20), ((29),21), ((5),22), ((-24),23), ((-35),24)], (-32))]
[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]