[("GEQ", [((-1),2), ((2),4), ((-1),7), ((-1),8), ((-1),10), ((2),11), ((-1),15), ((-2),17), ((-1),18), ((-1),20), ((1),21), ((-2),23)], (10)), ("GEQ", [((-1),0), ((1),1), ((1),2), ((-2),4), ((-2),6), ((2),8), ((-1),10), ((2),11), ((-2),12), ((1),14), ((-2),15), ((2),16), ((-1),18), ((1),19), ((2),20), ((-1),21), ((1),22), ((1),23)], (14)), ("GEQ", [((-1),0), ((-1),2), ((1),6), ((-1),7), ((1),9), ((-2),12), ((1),13), ((-2),14), ((1),15), ((-2),16), ((-1),17), ((2),19), ((1),21), ((-2),23), ((1),24)], (-21)), ("GEQ", [((-2),0), ((2),1), ((-1),3), ((2),5), ((2),6), ((-1),9), ((2),18), ((1),19), ((2),22), ((-2),23)], (-16)), ("GEQ", [((2),0), ((-2),1), ((-2),2), ((1),3), ((1),4), ((-1),5), ((2),6), ((1),7), ((2),10), ((-1),11), ((2),12), ((-1),13), ((2),15), ((2),16), ((-1),19), ((-2),21), ((1),23)], (15)), ("GEQ", [((2),0), ((-2),1), ((-2),2), ((-2),4), ((2),5), ((1),6), ((1),7), ((1),8), ((1),9), ((1),15), ((-1),16), ((2),17), ((2),20), ((-2),21), ((-1),22), ((-2),23), ((2),24)], (-21)), ("GEQ", [((-1),0), ((1),2), ((-2),4), ((1),5), ((-1),9), ((-1),11), ((-1),14), ((1),17), ((1),18), ((-2),19), ((-1),20), ((1),22), ((-2),23), ((1),24)], (-2)), ("GEQ", [((1),0), ((-1),1), ((-2),3), ((1),4), ((1),5), ((2),6), ((2),9), ((-1),10), ((-2),14), ((-2),16), ((1),20), ((-1),24)], (-22)), ("GEQ", [((1),1), ((-1),2), ((2),4), ((-1),7), ((-1),8), ((1),9), ((-1),10), ((-2),11), ((-1),12), ((1),13), ((-2),14), ((2),15), ((-1),18), ((-2),19), ((-1),20), ((2),22), ((-1),23), ((2),24)], (0)), ("GEQ", [((-2),0), ((-1),4), ((-1),7), ((1),8), ((2),9), ((-1),11), ((-2),13), ((-2),14), ((1),16), ((-1),22)], (-3)), ("GEQ", [((-1),0), ((2),1), ((1),2), ((2),3), ((1),5), ((-2),7), ((-1),11), ((-2),12), ((2),15), ((2),16), ((-2),18), ((1),19), ((-1),20), ((-1),22), ((-2),24)], (-9)), ("GEQ", [((-2),1), ((-2),2), ((1),3), ((1),4), ((-1),5), ((-2),6), ((-2),9), ((1),10), ((2),12), ((-1),13), ((1),15), ((-2),16), ((2),17), ((-2),19), ((1),20), ((-1),21), ((2),22), ((-2),24)], (21)), ("GEQ", [((1),1), ((1),2), ((-1),3), ((1),5), ((-2),6), ((2),7), ((1),8), ((1),9), ((1),11), ((2),14), ((2),17), ((2),19), ((2),21), ((2),23), ((2),24)], (-17)), ("GEQ", [((2),0), ((-2),3), ((-1),4), ((-1),5), ((1),6), ((-2),7), ((1),8), ((2),9), ((-2),12), ((1),13), ((2),14), ((-1),17), ((-2),18), ((-1),20), ((-1),23)], (-13)), ("GEQ", [((1),1), ((2),3), ((-2),7), ((2),8), ((-2),12), ((-1),13), ((-1),14), ((-2),16), ((-1),18), ((-1),21), ((-2),23), ((-2),24)], (-20)), ("GEQ", [((2),3), ((-1),4), ((-1),5), ((-2),6), ((2),7), ((-1),9), ((2),10), ((-2),11), ((-2),12), ((2),13), ((1),15), ((-2),18), ((2),21), ((1),22)], (15)), ("GEQ", [((-2),0), ((2),1), ((1),3), ((1),4), ((-2),6), ((1),8), ((2),10), ((1),14), ((2),15), ((2),17), ((-2),19), ((-1),21), ((-1),23), ((-1),24)], (-4)), ("GEQ", [((1),1), ((2),2), ((-1),7), ((-1),12), ((1),13), ((2),14), ((-1),15), ((1),19), ((1),21), ((1),22), ((1),24)], (-3)), ("GEQ", [((-1),0), ((2),3), ((2),4), ((2),5), ((-2),9), ((-2),10), ((-2),11), ((-1),12), ((-2),13), ((-2),14), ((-2),15), ((2),16), ((-2),17), ((-1),18), ((-2),20), ((1),22), ((-1),23), ((1),24)], (23)), ("GEQ", [((-1),0), ((-1),1), ((2),4), ((2),5), ((1),7), ((2),10), ((1),13), ((-1),14), ((-2),15), ((1),16), ((-1),17), ((-2),18), ((-1),19), ((1),20), ((-2),21), ((-2),23), ((-1),24)], (34)), ("GEQ", [((-1),2), ((-1),3), ((2),4), ((2),5), ((1),7), ((-2),9), ((-2),10), ((-2),11), ((2),12), ((-1),13), ((-1),16), ((-1),19), ((-2),24)], (0)), ("GEQ", [((-2),0), ((-1),6), ((1),8), ((2),10), ((-1),11), ((-2),12), ((2),13), ((-1),15), ((-2),20), ((-1),21), ((2),24)], (15)), ("GEQ", [((-1),0), ((-1),1), ((-1),2), ((2),3), ((1),5), ((1),6), ((1),8), ((-2),9), ((1),13), ((-2),14), ((1),15), ((1),16), ((-2),20), ((2),21), ((-1),23), ((2),24)], (8)), ("GEQ", [((-1),2), ((2),3), ((-2),4), ((-2),5), ((-2),6), ((-2),7), ((-2),8), ((-2),9), ((-2),10), ((2),11), ((-2),13), ((2),14), ((-1),15), ((-2),18), ((-2),19), ((1),20), ((1),22)], (35)), ("GEQ", [((25),0), ((-1),1), ((15),2), ((-21),3), ((-9),4), ((-31),5), ((5),6), ((4),7), ((-9),8), ((22),9), ((9),10), ((11),11), ((14),12), ((12),13), ((16),14), ((13),15), ((-10),16), ((8),17), ((26),18), ((12),19), ((10),20), ((2),21), ((-13),22), ((37),23), ((-5),24)], (-287)), ("GEQ", [((-56),0), ((-6),1), ((-33),2), ((33),3), ((30),4), ((75),5), ((-12),6), ((8),7), ((9),8), ((-67),9), ((-31),10), ((-16),11), ((-3),12), ((-41),13), ((-27),14), ((-57),15), ((29),16), ((-29),17), ((-42),18), ((-29),19), ((-27),20), ((-10),21), ((19),22), ((-68),23), ((3),24)], (856)), ("GEQ", [((-25),0), ((-12),2), ((21),3), ((-2),4), ((27),5), ((-8),6), ((-11),7), ((8),8), ((-15),9), ((-15),10), ((-2),11), ((-38),12), ((6),13), ((-24),14), ((-16),15), ((-3),16), ((-13),17), ((-39),18), ((-1),19), ((-3),20), ((21),21), ((29),22), ((-51),23), ((21),24)], (248)), ("GEQ", [((55),0), ((9),1), ((25),2), ((-31),3), ((-2),4), ((-57),5), ((32),6), ((3),7), ((-10),8), ((48),9), ((29),10), ((2),11), ((52),12), ((-6),13), ((36),14), ((45),15), ((-8),16), ((22),17), ((72),18), ((13),19), ((6),20), ((-28),21), ((-57),22), ((79),23), ((-31),24)], (-823)), ("GEQ", [((-60),0), ((-11),1), ((-35),2), ((52),3), ((-10),4), ((50),5), ((-36),6), ((-14),7), ((16),8), ((-45),9), ((-22),10), ((-70),12), ((6),13), ((-44),14), ((-37),15), ((15),16), ((-22),17), ((-87),18), ((-20),19), ((-7),20), ((26),21), ((61),22), ((-96),23), ((43),24)], (910)), ("GEQ", [((-2),0), ((-21),1), ((12),2), ((-34),3), ((-30),4), ((-10),5), ((-50),6), ((34),7), ((-4),8), ((-1),9), ((2),10), ((22),11), ((-21),12), ((65),13), ((9),14), ((-5),15), ((-31),16), ((23),17), ((-20),18), ((22),19), ((38),20), ((42),21), ((33),22), ((32),23), ((22),24)], (218))]
[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]