[("GEQ", [((-1),0), ((1),2), ((-2),3), ((-2),4), ((1),5), ((-2),7), ((-1),8), ((1),9), ((-1),10), ((-2),11), ((1),13), ((-1),14), ((2),15), ((-1),17), ((1),19), ((-2),20), ((-2),22), ((-1),23), ((-1),24)], (37)), ("GEQ", [((1),0), ((-1),2), ((-2),3), ((2),4), ((1),5), ((2),8), ((-1),9), ((1),10), ((-2),11), ((2),15), ((-1),16), ((-2),17), ((1),18), ((2),19), ((-2),21), ((1),22)], (-10)), ("GEQ", [((2),0), ((-2),10), ((1),11), ((-2),12), ((-2),16), ((1),17), ((2),19), ((-2),20), ((1),22), ((1),24)], (-4)), ("GEQ", [((2),4), ((-2),7), ((-1),10), ((-1),11), ((1),12), ((1),15), ((1),18), ((1),20), ((-1),22), ((2),23)], (-6)), ("GEQ", [((-2),0), ((-2),1), ((1),2), ((2),3), ((-2),4), ((-2),6), ((-1),8), ((2),12), ((2),13), ((1),14), ((2),15), ((-1),17), ((2),18), ((2),19), ((-2),24)], (-14)), ("GEQ", [((-1),0), ((-1),2), ((-1),5), ((1),7), ((-2),8), ((-1),9), ((1),11), ((-1),13), ((-2),14), ((-1),15), ((-1),16), ((-2),17), ((-2),19), ((-1),20), ((1),23), ((-2),24)], (19)), ("GEQ", [((-1),0), ((1),1), ((2),2), ((-1),4), ((2),6), ((2),8), ((2),11), ((-2),12), ((-2),15), ((2),16), ((2),19), ((2),20), ((1),21)], (-7)), ("GEQ", [((1),1), ((2),2), ((-1),3), ((2),5), ((2),6), ((2),7), ((2),9), ((2),10), ((2),12), ((-2),13), ((-2),16), ((-1),17), ((2),18), ((2),20), ((-1),21), ((2),22), ((-1),23), ((-2),24)], (16)), ("GEQ", [((-2),0), ((-1),1), ((1),3), ((-1),5), ((1),6), ((1),7), ((2),8), ((2),12), ((-1),13), ((-1),14), ((-1),15), ((-2),18), ((-1),19), ((2),20), ((2),21), ((1),22), ((-1),24)], (-15)), ("GEQ", [((-1),0), ((1),5), ((1),6), ((1),8), ((-2),10), ((-1),11), ((-2),16), ((-2),17), ((2),19), ((2),20), ((1),21), ((1),22), ((-1),23)], (4)), ("GEQ", [((-1),0), ((-1),1), ((-2),2), ((2),3), ((-1),5), ((1),6), ((-1),7), ((2),9), ((2),11), ((2),16), ((-2),19), ((-2),20), ((2),21), ((-1),24)], (-10)), ("GEQ", [((1),1), ((2),3), ((-2),5), ((2),8), ((2),10), ((-2),11), ((2),15), ((2),16), ((-2),17), ((-2),19), ((1),20), ((-1),21), ((1),23), ((-2),24)], (-14)), ("GEQ", [((-1),2), ((1),4), ((-1),6), ((-1),8), ((1),9), ((1),10), ((-2),11), ((2),12), ((2),13), ((1),14), ((-2),17), ((-1),18), ((-1),22)], (-7)), ("GEQ", [((2),3), ((1),5), ((-1),6), ((2),9), ((2),13), ((2),14), ((2),16), ((2),20), ((2),21), ((-1),22), ((2),23)], (-32)), ("GEQ", [((-1),1), ((-1),4), ((2),5), ((1),6), ((-1),7), ((2),8), ((1),9), ((2),10), ((-1),15), ((2),17), ((-2),18), ((-1),19), ((-2),20), ((-2),22), ((2),23), ((2),24)], (-15)), ("GEQ", [((-1),0), ((1),1), ((-1),2), ((-1),3), ((2),4), ((-2),7), ((-2),9), ((-1),10), ((-1),11), ((-2),12), ((2),13), ((-2),14), ((-1),16), ((2),22), ((1),24)], (5)), ("GEQ", [((-2),0), ((1),1), ((2),2), ((2),4), ((-1),5), ((2),6), ((-1),9), ((-1),10), ((2),13), ((-1),14), ((2),15), ((-2),20), ((-1),21), ((-2),22)], (3)), ("GEQ", [((-2),1), ((-2),4), ((2),5), ((-2),6), ((-1),8), ((-2),12), ((2),15), ((2),16), ((-1),21), ((1),22), ((1),23), ((1),24)], (-1)), ("GEQ", [((-2),1), ((-1),3), ((2),4), ((-2),6), ((-1),7), ((2),8), ((2),10), ((2),11), ((-2),14), ((1),16), ((-1),17), ((1),18), ((-1),19), ((2),20), ((-2),21), ((-2),22)], (-31)), ("GEQ", [((-2),3), ((-1),4), ((-1),9), ((2),12), ((1),13), ((-1),16), ((-1),18), ((-1),23), ((-2),24)], (12)), ("GEQ", [((2),0), ((-2),1), ((-1),2), ((1),6), ((-1),7), ((2),8), ((1),9), ((-2),10), ((2),11), ((-1),12), ((-2),13), ((-1),15), ((-2),16), ((-1),18), ((-1),21), ((1),22), ((1),23), ((-2),24)], (-13)), ("GEQ", [((-1),0), ((2),1), ((-2),2), ((-1),4), ((2),5), ((-2),6), ((1),7), ((1),9), ((-1),13), ((-1),14), ((1),15), ((2),17), ((2),18), ((1),19), ((-2),21)], (-5)), ("GEQ", [((1),6), ((2),7), ((-1),9), ((2),12), ((1),14), ((-1),15), ((1),18), ((1),20), ((2),21), ((-2),23), ((-1),24)], (8)), ("GEQ", [((-1),1), ((1),2), ((1),3), ((-2),4), ((2),5), ((-2),6), ((2),7), ((-1),10), ((-1),11), ((-2),12), ((1),14), ((1),15), ((2),19), ((-2),20), ((-2),21), ((-1),22), ((1),23), ((-1),24)], (-4)), ("GEQ", [((11),0), ((9),1), ((-2),2), ((3),3), ((-2),4), ((-29),5), ((5),6), ((5),7), ((-15),8), ((-9),9), ((-5),10), ((4),11), ((-3),12), ((-11),13), ((8),14), ((-20),15), ((8),16), ((7),17), ((-13),18), ((-16),19), ((-3),20), ((17),21), ((-2),22), ((-17),23), ((9),24)], (189)), ("GEQ", [((-19),0), ((-13),1), ((7),2), ((-20),3), ((20),4), ((66),5), ((-4),6), ((-15),7), ((31),8), ((16),9), ((19),10), ((-7),11), ((18),12), ((23),13), ((-15),14), ((35),15), ((-22),16), ((-2),17), ((36),18), ((44),19), ((16),20), ((-37),21), ((12),22), ((28),23), ((2),24)], (-422)), ("GEQ", [((-21),0), ((-7),1), ((12),2), ((-5),3), ((-25),4), ((50),5), ((-17),6), ((8),7), ((5),9), ((-3),11), ((-8),12), ((14),13), ((-15),14), ((24),15), ((-20),16), ((-3),17), ((14),18), ((25),19), ((-13),20), ((-30),21), ((-5),22), ((23),23), ((-11),24)], (-17)), ("GEQ", [((26),0), ((11),1), ((-9),2), ((20),3), ((-19),4), ((-52),5), ((8),7), ((-26),8), ((-10),9), ((-12),10), ((-5),11), ((-27),12), ((-19),13), ((22),14), ((-26),15), ((27),16), ((5),17), ((-43),18), ((-42),19), ((-15),20), ((26),21), ((-5),22), ((-18),23), ((16),24)], (316)), ("GEQ", [((-22),0), ((-9),1), ((-11),2), ((1),3), ((51),4), ((-58),5), ((25),6), ((-6),7), ((12),8), ((2),9), ((-22),10), ((50),11), ((69),12), ((-11),13), ((-28),14), ((-15),15), ((-22),16), ((-16),17), ((50),18), ((-1),19), ((26),20), ((42),21), ((-2),22), ((-29),23), ((-79),24)], (-140)), ("GEQ", [((-21),0), ((-8),1), ((6),2), ((3),3), ((21),4), ((-35),5), ((21),6), ((8),7), ((2),8), ((-2),9), ((-12),10), ((52),11), ((37),12), ((-11),13), ((-27),14), ((-22),15), ((-22),16), ((-14),17), ((44),18), ((5),19), ((-3),20), ((24),21), ((-15),22), ((-11),23), ((-70),24)], (-2))]
[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]