[("GEQ", [((1),3), ((2),4), ((-1),5), ((-1),6), ((-1),7), ((2),8), ((2),11), ((-2),12), ((-2),15), ((-1),16), ((1),17), ((-2),18), ((2),21), ((-1),24)], (4)), ("GEQ", [((-2),1), ((-1),2), ((2),3), ((-2),6), ((-1),7), ((2),10), ((2),13), ((-2),14), ((-1),15), ((1),16), ((-2),18), ((2),19), ((2),22)], (13)), ("GEQ", [((-1),0), ((-2),1), ((1),3), ((2),5), ((2),6), ((-2),7), ((-1),11), ((1),13), ((1),15), ((-2),16), ((2),19), ((2),20), ((2),21), ((2),22), ((-2),23)], (8)), ("GEQ", [((-1),0), ((1),1), ((-1),4), ((2),5), ((-2),7), ((1),8), ((-1),9), ((-2),11), ((1),12), ((2),14), ((-1),17), ((-2),19), ((1),20), ((2),21), ((1),23), ((-1),24)], (0)), ("GEQ", [((2),0), ((1),2), ((1),4), ((-2),5), ((2),6), ((2),9), ((1),10), ((1),11), ((1),13), ((2),16), ((-1),18), ((-1),19), ((-1),20), ((-1),21), ((-1),23)], (-6)), ("GEQ", [((2),0), ((-2),2), ((1),7), ((2),9), ((2),11), ((-2),13), ((1),14), ((2),16), ((2),17), ((-1),19), ((1),20), ((2),23)], (-29)), ("GEQ", [((2),0), ((-1),2), ((2),4), ((-2),5), ((-2),9), ((1),12), ((-1),13), ((-2),14), ((-1),15), ((-1),16), ((1),17), ((2),18), ((1),20), ((-1),22), ((2),24)], (-12)), ("GEQ", [((1),0), ((1),1), ((1),4), ((1),5), ((-1),7), ((2),8), ((1),9), ((-2),10), ((-2),12), ((1),14), ((1),17), ((-1),18), ((-2),19), ((-2),20), ((2),21), ((2),23)], (-3)), ("GEQ", [((-2),0), ((-1),1), ((1),2), ((-1),4), ((-2),5), ((-2),6), ((2),8), ((1),9), ((-1),11), ((2),12), ((-1),13), ((-2),18), ((-1),19), ((-1),21), ((2),22), ((-1),23), ((-2),24)], (12)), ("GEQ", [((-2),1), ((-1),3), ((-1),5), ((2),8), ((-1),10), ((1),12), ((2),13), ((-1),19), ((1),20), ((-2),22), ((1),23), ((2),24)], (-8)), ("GEQ", [((1),0), ((2),1), ((1),2), ((-1),4), ((2),6), ((1),7), ((1),8), ((-1),10), ((-2),11), ((-2),12), ((-1),13), ((1),14), ((-2),15), ((2),16), ((2),17), ((-1),18), ((-2),20), ((2),22)], (0)), ("GEQ", [((-1),0), ((-2),3), ((-2),4), ((2),5), ((1),7), ((2),9), ((2),10), ((2),11), ((1),12), ((2),16), ((1),18), ((2),19), ((-1),20), ((-1),21), ((2),22), ((-2),23), ((-1),24)], (1)), ("GEQ", [((-2),3), ((-1),4), ((1),5), ((-1),6), ((2),7), ((1),10), ((-1),11), ((1),12), ((1),13), ((-1),15), ((1),16), ((2),17), ((1),19), ((2),20), ((-1),21), ((1),24)], (-6)), ("GEQ", [((1),0), ((-2),1), ((2),2), ((-1),4), ((2),6), ((-2),8), ((-1),9), ((-2),11), ((1),12), ((-2),15), ((-1),16), ((-2),17), ((-1),20), ((1),23), ((2),24)], (4)), ("GEQ", [((1),1), ((-2),4), ((-2),5), ((2),6), ((1),7), ((-1),8), ((-2),13), ((-1),14), ((1),15), ((-1),16), ((1),17), ((-1),18), ((-1),21), ((-2),24)], (-9)), ("GEQ", [((-1),0), ((2),1), ((2),2), ((2),3), ((-1),6), ((1),8), ((1),12), ((-2),13), ((-2),15), ((-1),16), ((-2),17), ((-2),18), ((-1),22), ((-2),23), ((2),24)], (-7)), ("GEQ", [((2),1), ((2),3), ((-1),7), ((-1),8), ((-2),9), ((-2),10), ((1),11), ((-1),12), ((-1),13), ((-2),14), ((-2),15), ((-2),19), ((1),22), ((-2),24)], (-5)), ("GEQ", [((2),0), ((2),5), ((-2),6), ((1),11), ((-1),12), ((2),13), ((2),14), ((1),15), ((2),16), ((2),17), ((1),18), ((-2),22), ((-2),23), ((-2),24)], (13)), ("GEQ", [((-2),0), ((-2),1), ((-1),2), ((-1),3), ((-1),5), ((-1),6), ((-2),8), ((1),9), ((-1),11), ((2),12), ((-2),14), ((1),15), ((2),21), ((2),22), ((2),24)], (7)), ("GEQ", [((-1),0), ((1),2), ((-2),7), ((-1),9), ((1),10), ((1),11), ((-2),13), ((-2),14), ((1),16), ((-1),17), ((-1),19), ((-2),20), ((2),24)], (6)), ("GEQ", [((2),1), ((-1),2), ((2),3), ((-2),5), ((-2),6), ((-2),7), ((2),8), ((-2),9), ((-1),14), ((-1),15), ((-1),16), ((-2),18), ((2),19), ((2),20), ((-1),21), ((2),22)], (-18)), ("GEQ", [((1),0), ((2),1), ((-1),2), ((1),3), ((-2),6), ((-2),7), ((-2),8), ((2),10), ((1),11), ((1),16), ((1),18), ((-1),19), ((1),20), ((-1),21), ((-2),22), ((-1),23), ((-1),24)], (-11)), ("GEQ", [((-2),1), ((2),2), ((-2),3), ((-2),4), ((-1),5), ((-1),7), ((-1),8), ((-1),10), ((-1),11), ((2),14), ((-2),15), ((-1),17), ((2),18), ((-2),19), ((-1),20), ((2),21), ((-1),22), ((-2),23), ((2),24)], (8)), ("GEQ", [((-2),2), ((2),4), ((-2),5), ((-2),6), ((2),9), ((1),10), ((2),14), ((2),15), ((2),17), ((-2),18), ((-2),19), ((-1),21), ((2),23), ((-2),24)], (-5)), ("GEQ", [((-10),0), ((20),1), ((-6),2), ((-6),3), ((4),4), ((16),5), ((2),6), ((17),7), ((1),8), ((7),9), ((6),10), ((2),11), ((-12),12), ((9),13), ((4),14), ((29),15), ((7),16), ((-10),17), ((7),18), ((16),19), ((-16),20), ((-25),21), ((11),23), ((-18),24)], (86)), ("GEQ", [((3),0), ((-30),1), ((15),2), ((-12),3), ((-4),4), ((-5),5), ((4),6), ((-9),7), ((-12),8), ((-16),9), ((-14),10), ((-7),11), ((9),12), ((-2),13), ((1),14), ((-12),15), ((-17),16), ((-14),17), ((26),18), ((-7),19), ((3),20), ((22),21), ((-18),22), ((-9),23), ((30),24)], (75)), ("GEQ", [((18),0), ((23),1), ((-30),2), ((38),3), ((5),4), ((-15),5), ((-1),6), ((-5),7), ((24),8), ((19),9), ((17),10), ((5),11), ((-18),13), ((-19),14), ((-42),15), ((25),16), ((64),17), ((-79),18), ((-12),19), ((27),20), ((14),21), ((54),22), ((19),23), ((-19),24)], (-399)), ("GEQ", [((25),0), ((-47),1), ((2),2), ((24),3), ((-18),4), ((-40),5), ((7),6), ((-33),7), ((-5),8), ((-20),9), ((-20),10), ((-8),11), ((36),12), ((-27),13), ((-14),14), ((-80),15), ((-21),16), ((44),17), ((-30),18), ((-39),19), ((65),20), ((67),21), ((10),22), ((-23),23), ((35),24)], (-384)), ("GEQ", [((11),0), ((28),1), ((-31),2), ((25),3), ((13),4), ((11),5), ((-2),6), ((18),7), ((10),8), ((25),9), ((19),10), ((13),11), ((-9),12), ((9),13), ((-1),14), ((27),15), ((26),16), ((20),17), ((-34),18), ((7),19), ((3),20), ((-27),21), ((15),22), ((26),23), ((-45),24)], (-127)), ("GEQ", [((-7),0), ((58),1), ((-16),2), ((22),3), ((11),4), ((-11),5), ((-11),6), ((30),7), ((23),8), ((36),9), ((27),10), ((20),11), ((-11),12), ((-8),13), ((-18),14), ((12),15), ((34),16), ((24),17), ((-57),18), ((7),19), ((-12),20), ((-49),21), ((25),22), ((8),23), ((-42),24)], (-154))]
[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]