[("GEQ", [((-2),1), ((-2),2), ((-2),3), ((1),4), ((1),6), ((-2),8), ((1),10), ((2),12), ((-2),16), ((1),17), ((2),19), ((2),20), ((1),21), ((1),23)], (6)), ("GEQ", [((-1),1), ((-1),3), ((1),4), ((2),5), ((-1),6), ((1),7), ((2),8), ((2),10), ((1),12), ((-2),13), ((1),14), ((1),18), ((1),20), ((1),24)], (8)), ("GEQ", [((-2),0), ((-2),2), ((-2),3), ((2),4), ((-1),5), ((-2),7), ((1),9), ((-2),10), ((1),12), ((2),13), ((2),14), ((-1),15), ((-2),17), ((1),18), ((2),20), ((-2),21), ((1),22), ((-1),23), ((1),24)], (-7)), ("GEQ", [((2),0), ((-1),1), ((-1),4), ((-2),5), ((2),6), ((-2),7), ((-2),9), ((1),11), ((-1),14), ((1),15), ((-1),19), ((2),20), ((2),22), ((-2),23)], (5)), ("GEQ", [((-1),0), ((2),5), ((1),6), ((-1),7), ((-2),8), ((-1),9), ((-2),10), ((-1),12), ((-1),14), ((-2),15), ((-2),16), ((-2),19), ((2),20), ((1),21), ((1),23), ((2),24)], (-1)), ("GEQ", [((-2),0), ((-1),2), ((-2),3), ((-2),7), ((1),8), ((2),10), ((-1),11), ((2),13), ((2),14), ((2),16), ((-2),18), ((1),19), ((2),21)], (24)), ("GEQ", [((1),2), ((2),5), ((-2),8), ((-1),9), ((-1),12), ((2),13), ((-1),14), ((-2),16), ((2),22), ((2),24)], (-2)), ("GEQ", [((-1),0), ((2),2), ((-1),3), ((-2),4), ((-1),5), ((1),6), ((-1),8), ((-1),11), ((-1),15), ((-1),16), ((1),17), ((1),18), ((-1),21), ((2),23), ((1),24)], (-2)), ("GEQ", [((1),0), ((2),1), ((-2),2), ((-2),3), ((1),4), ((-1),6), ((-2),7), ((-2),8), ((2),10), ((1),12), ((2),13), ((-1),15), ((1),16), ((-1),18), ((-2),21), ((1),22), ((1),23), ((-1),24)], (-12)), ("GEQ", [((1),0), ((2),1), ((2),2), ((-2),3), ((1),4), ((2),5), ((-1),8), ((1),10), ((1),11), ((1),12), ((-2),13), ((2),15), ((-1),17), ((1),18), ((2),19), ((-2),20), ((1),21), ((-1),22), ((1),23), ((-1),24)], (-14)), ("GEQ", [((1),0), ((1),1), ((1),2), ((2),4), ((-1),6), ((2),7), ((2),14), ((1),15), ((1),16), ((-1),17), ((1),19), ((-1),20), ((2),22), ((1),23), ((2),24)], (0)), ("GEQ", [((1),0), ((-2),1), ((-2),2), ((1),4), ((1),5), ((2),6), ((2),7), ((-2),9), ((-2),10), ((-1),11), ((2),12), ((2),15), ((2),17), ((1),18), ((-2),21), ((2),22), ((-2),23), ((1),24)], (12)), ("GEQ", [((2),1), ((-2),3), ((-1),4), ((-1),6), ((-1),7), ((-1),8), ((2),9), ((2),10), ((2),11), ((-2),13), ((-1),15), ((-2),17), ((-2),18), ((1),19), ((1),20), ((-2),22), ((-1),24)], (-12)), ("GEQ", [((2),0), ((-2),1), ((-2),3), ((-2),4), ((-1),5), ((-1),6), ((2),7), ((-1),8), ((-2),10), ((1),11), ((2),14), ((2),15), ((-2),16), ((1),18), ((-1),19), ((-2),20), ((1),21)], (10)), ("GEQ", [((1),0), ((-1),1), ((2),2), ((1),3), ((-1),5), ((2),6), ((2),10), ((-2),11), ((2),12), ((-1),13), ((2),15), ((-1),16), ((-2),17), ((1),18), ((-1),19), ((-2),21), ((-2),23)], (8)), ("GEQ", [((-1),0), ((-2),1), ((-2),5), ((2),6), ((1),7), ((-1),11), ((-1),13), ((-2),14), ((-2),16), ((-2),17), ((-1),18), ((-1),21), ((-2),22), ((1),24)], (17)), ("GEQ", [((1),5), ((1),7), ((2),9), ((1),12), ((-1),13), ((-2),15), ((-1),16), ((-2),18), ((2),19), ((1),23), ((1),24)], (-9)), ("GEQ", [((-1),0), ((2),2), ((-1),4), ((2),6), ((2),9), ((-2),11), ((-1),12), ((2),13), ((2),14), ((-2),15), ((2),17), ((-2),19)], (7)), ("GEQ", [((1),1), ((1),2), ((-1),3), ((-1),4), ((-1),5), ((-1),7), ((-2),8), ((1),10), ((-1),12), ((-1),14), ((-2),15), ((-1),17), ((2),18), ((2),20), ((2),24)], (-14)), ("GEQ", [((-1),5), ((1),7), ((-2),8), ((-1),9), ((2),10), ((-2),11), ((-1),13), ((1),14), ((-1),15), ((1),20), ((1),22), ((2),24)], (5)), ("GEQ", [((-2),0), ((1),1), ((-2),6), ((-2),10), ((1),11), ((-1),16), ((2),18), ((1),19), ((-2),20), ((2),21), ((2),23), ((2),24)], (-11)), ("GEQ", [((2),0), ((-1),2), ((2),3), ((-2),5), ((-1),6), ((-1),7), ((1),8), ((2),9), ((-2),10), ((-1),11), ((2),13), ((1),15), ((-2),19), ((-1),20), ((-1),21), ((-1),23)], (-11)), ("GEQ", [((-1),1), ((1),5), ((1),6), ((-2),7), ((-2),9), ((2),10), ((1),12), ((1),13), ((1),16), ((1),17), ((-1),19), ((-2),20), ((1),22), ((-1),23), ((-1),24)], (15)), ("GEQ", [((-1),1), ((-2),2), ((-1),3), ((1),4), ((-2),5), ((2),8), ((2),9), ((1),12), ((1),14), ((-2),20), ((-1),22), ((2),24)], (10)), ("GEQ", [((3),0), ((-1),1), ((7),2), ((41),3), ((1),4), ((-3),5), ((-1),6), ((22),7), ((32),8), ((-24),10), ((4),11), ((-9),12), ((-15),13), ((-14),14), ((21),15), ((14),16), ((8),17), ((-2),18), ((2),19), ((-7),20), ((-1),21), ((-14),22), ((-6),23), ((-33),24)], (-60)), ("GEQ", [((-23),0), ((27),1), ((2),2), ((-11),3), ((-9),4), ((21),5), ((-22),6), ((-23),7), ((-1),8), ((1),9), ((8),10), ((20),11), ((-23),12), ((5),13), ((2),14), ((-35),15), ((13),16), ((-14),18), ((6),19), ((16),20), ((25),21), ((1),22), ((19),23), ((4),24)], (-112)), ("GEQ", [((35),0), ((-37),1), ((-17),2), ((-27),3), ((18),4), ((-32),5), ((28),6), ((-1),7), ((-33),8), ((-6),9), ((16),10), ((-39),11), ((43),12), ((26),13), ((19),14), ((37),15), ((-24),16), ((-10),17), ((24),18), ((-16),19), ((-11),20), ((-41),21), ((21),22), ((-27),23), ((16),24)], (218)), ("GEQ", [((-70),0), ((64),1), ((56),2), ((60),3), ((-47),4), ((89),5), ((-52),6), ((17),7), ((60),8), ((5),9), ((-15),10), ((75),11), ((-80),12), ((-72),13), ((-48),14), ((-70),15), ((30),16), ((32),17), ((-37),18), ((33),19), ((-1),20), ((95),21), ((-53),22), ((60),23), ((-33),24)], (-378)), ("GEQ", [((-20),0), ((27),1), ((-25),2), ((-70),3), ((1),4), ((-13),5), ((-21),6), ((-56),7), ((-40),8), ((12),9), ((16),10), ((6),11), ((-4),12), ((47),13), ((43),14), ((-35),15), ((4),16), ((-28),17), ((-8),18), ((-4),19), ((14),20), ((5),21), ((21),22), ((10),23), ((40),24)], (-13)), ("GEQ", [((27),0), ((-34),1), ((3),2), ((-25),3), ((1),4), ((1),5), ((38),6), ((8),7), ((-36),8), ((1),9), ((29),10), ((-22),11), ((41),12), ((-11),13), ((-6),14), ((7),15), ((-43),16), ((1),17), ((18),18), ((-12),19), ((-15),20), ((-29),21), ((2),22), ((-16),23), ((28),24)], (162))]
[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]