[("GEQ", [((1),1), ((2),3), ((-2),5), ((-1),7), ((-1),8), ((1),12), ((1),13), ((2),14), ((-2),18), ((-1),19), ((2),20), ((1),21), ((2),22), ((1),24), ((1),25), ((-1),28), ((-2),30), ((2),33), ((-1),39), ((2),40), ((1),41), ((1),42), ((1),44), ((-2),47), ((1),48)], (-11)), ("GEQ", [((2),0), ((-2),2), ((-1),5), ((2),6), ((-1),7), ((1),8), ((-2),9), ((2),10), ((2),11), ((2),13), ((-2),14), ((2),18), ((1),19), ((-2),20), ((2),21), ((1),23), ((2),24), ((-1),25), ((1),26), ((2),27), ((1),29), ((-2),30), ((2),31), ((2),32), ((2),34), ((-1),35), ((-1),36), ((-1),37), ((2),38), ((-1),39), ((1),40), ((2),43), ((2),44), ((2),49)], (-28)), ("GEQ", [((-2),0), ((1),2), ((-1),3), ((-2),4), ((2),5), ((2),8), ((-1),9), ((-2),11), ((-2),14), ((-1),15), ((1),16), ((-1),17), ((-2),18), ((2),21), ((-1),22), ((-2),23), ((2),24), ((1),25), ((-1),26), ((-2),27), ((-1),28), ((1),29), ((-2),31), ((-1),32), ((1),33), ((2),35), ((1),36), ((1),38), ((2),39), ((-1),40), ((-1),41), ((-1),42), ((1),43), ((2),44), ((-2),46), ((1),48), ((1),49)], (15)), ("GEQ", [((2),0), ((2),1), ((2),4), ((-2),5), ((1),7), ((1),9), ((-1),12), ((2),13), ((2),15), ((-2),16), ((-2),17), ((1),19), ((-2),25), ((-1),26), ((2),28), ((2),29), ((-2),30), ((-1),31), ((-2),32), ((-1),33), ((-2),35), ((-1),38), ((-1),41), ((-1),42), ((2),43), ((-1),44), ((1),47), ((-1),48)], (-15)), ("GEQ", [((2),1), ((-1),2), ((1),5), ((-1),7), ((1),8), ((-2),12), ((-2),14), ((2),15), ((-1),16), ((1),17), ((-1),18), ((2),21), ((2),24), ((-1),25), ((2),26), ((1),34), ((-1),35), ((1),36), ((-2),37), ((1),38), ((-1),39), ((-1),40), ((2),41), ((-2),44), ((-2),45), ((2),46), ((-1),48), ((-2),49)], (-10)), ("GEQ", [((-2),0), ((2),2), ((2),5), ((-1),6), ((2),7), ((-2),8), ((2),10), ((-2),11), ((-2),12), ((1),13), ((2),17), ((-1),19), ((-1),20), ((2),22), ((-1),23), ((-1),24), ((2),25), ((-1),26), ((-2),27), ((-2),28), ((1),29), ((2),31), ((-2),33), ((-1),34), ((-1),36), ((2),38), ((-2),39), ((2),41), ((-1),43), ((-2),44), ((-2),45), ((2),46), ((-1),47), ((-2),48), ((2),49)], (38)), ("GEQ", [((2),0), ((-1),1), ((2),2), ((-2),3), ((2),4), ((1),5), ((1),6), ((-2),8), ((-1),9), ((1),11), ((1),12), ((-1),13), ((2),16), ((-2),17), ((2),21), ((1),24), ((1),25), ((2),27), ((-2),28), ((-1),32), ((2),33), ((-1),34), ((1),35), ((1),37), ((2),40), ((2),42), ((1),44), ((2),45), ((1),46), ((-1),47), ((-1),49)], (12)), ("GEQ", [((1),0), ((2),1), ((-1),3), ((-1),5), ((2),6), ((1),7), ((-2),8), ((-2),9), ((2),12), ((-2),14), ((-2),15), ((-2),16), ((2),17), ((1),19), ((-2),20), ((1),21), ((-2),22), ((-2),23), ((-2),24), ((1),26), ((2),27), ((1),28), ((-2),30), ((1),32), ((2),34), ((2),35), ((-2),36), ((-2),37), ((-2),43), ((2),46)], (26)), ("GEQ", [((-2),1), ((-1),2), ((1),5), ((2),7), ((-1),8), ((-2),10), ((-1),11), ((-1),12), ((-1),14), ((1),16), ((2),17), ((1),19), ((2),20), ((2),22), ((-2),23), ((1),24), ((-2),25), ((-1),31), ((2),32), ((2),33), ((-2),35), ((-2),36), ((-2),43), ((-1),44), ((2),46), ((-1),47), ((1),48)], (-13)), ("GEQ", [((-1),1), ((-1),3), ((-1),4), ((-1),6), ((2),8), ((-1),10), ((1),11), ((-2),15), ((1),16), ((-1),17), ((2),18), ((-2),19), ((-1),20), ((1),21), ((1),23), ((-2),25), ((-1),26), ((-2),28), ((1),29), ((-1),30), ((2),33), ((1),34), ((-2),35), ((-2),40), ((-2),41), ((1),42), ((2),46), ((-2),47), ((-2),48)], (17)), ("GEQ", [((1),0), ((1),2), ((-1),6), ((2),7), ((-2),8), ((1),10), ((1),11), ((-2),14), ((-1),15), ((-1),16), ((-1),17), ((1),18), ((-1),19), ((-2),20), ((1),24), ((-1),26), ((-2),28), ((-2),30), ((2),31), ((1),32), ((-2),33), ((-1),34), ((1),37), ((-2),40), ((-2),41), ((-2),42), ((-2),43), ((-2),47), ((1),48), ((-1),49)], (29)), ("GEQ", [((-2),1), ((2),2), ((1),3), ((1),4), ((1),5), ((-1),6), ((2),8), ((-1),10), ((1),11), ((-1),14), ((1),15), ((1),16), ((1),17), ((1),18), ((-1),22), ((-2),23), ((-1),24), ((-1),26), ((2),28), ((1),33), ((-1),34), ((-2),36), ((1),37), ((-2),38), ((-2),41), ((-2),42), ((-1),44), ((1),45), ((-1),46), ((1),47), ((1),48)], (-4)), ("GEQ", [((-2),0), ((-1),3), ((2),7), ((2),8), ((-2),12), ((-2),14), ((1),16), ((-2),17), ((-2),18), ((1),19), ((2),20), ((-2),22), ((2),23), ((-2),25), ((-2),26), ((1),27), ((-1),28), ((1),29), ((2),30), ((1),31), ((-1),32), ((1),34), ((-1),36), ((1),40), ((-2),41), ((1),42), ((1),44), ((-1),45), ((-2),47), ((2),49)], (-6)), ("GEQ", [((2),0), ((1),2), ((-2),3), ((2),4), ((1),5), ((2),6), ((2),7), ((1),9), ((-2),10), ((2),11), ((2),12), ((1),13), ((-1),14), ((2),16), ((-1),18), ((2),19), ((2),20), ((-2),21), ((-2),22), ((-1),23), ((2),24), ((1),27), ((-1),28), ((2),29), ((2),30), ((-1),31), ((-1),32), ((1),33), ((2),34), ((-2),36), ((1),39), ((2),40), ((-1),41), ((2),42), ((-2),44), ((1),49)], (-12)), ("GEQ", [((1),2), ((-1),4), ((2),6), ((2),9), ((-1),10), ((1),11), ((2),12), ((1),13), ((1),14), ((2),15), ((-2),17), ((2),19), ((-2),21), ((-1),24), ((-2),27), ((1),28), ((2),30), ((-1),32), ((2),35), ((-1),36), ((1),37), ((-1),38), ((2),39), ((1),40), ((2),41), ((-2),42), ((-1),43), ((2),44), ((2),45), ((-1),48), ((-2),49)], (-44)), ("GEQ", [((-2),0), ((-2),1), ((2),7), ((1),8), ((2),12), ((2),13), ((1),14), ((-1),15), ((-2),18), ((1),19), ((2),21), ((-1),22), ((-1),23), ((-2),26), ((2),28), ((-2),30), ((-2),31), ((-1),36), ((-1),39), ((2),41), ((-2),42), ((2),43), ((1),44), ((-2),46), ((2),47), ((-2),48), ((1),49)], (17)), ("GEQ", [((1),0), ((-2),1), ((-2),3), ((1),4), ((-2),5), ((-2),8), ((-1),10), ((-1),12), ((1),13), ((-2),14), ((-1),15), ((-1),17), ((-2),18), ((-1),20), ((-2),22), ((1),23), ((2),24), ((-2),27), ((1),29), ((-1),30), ((-2),31), ((-2),32), ((-2),34), ((2),35), ((-2),36), ((-2),38), ((-2),39), ((-1),40), ((-2),44), ((2),45), ((1),47), ((-1),48), ((-1),49)], (24)), ("GEQ", [((2),0), ((-2),1), ((-2),3), ((-2),6), ((-1),8), ((-1),9), ((-2),10), ((1),11), ((-2),12), ((-1),15), ((2),16), ((-1),20), ((-1),22), ((2),23), ((-1),24), ((-1),25), ((1),27), ((2),28), ((-1),30), ((-1),32), ((-1),34), ((2),35), ((2),36), ((2),37), ((2),39), ((1),40), ((-2),45), ((-1),46), ((2),49)], (20)), ("GEQ", [((2),0), ((-1),2), ((2),4), ((1),5), ((-1),6), ((1),10), ((-2),13), ((2),15), ((-2),17), ((-2),18), ((1),19), ((1),26), ((2),28), ((1),29), ((-2),31), ((2),32), ((-2),35), ((2),36), ((1),37), ((-1),38), ((-2),39), ((1),41), ((1),42), ((2),44), ((2),47), ((-2),49)], (-25)), ("GEQ", [((2),0), ((-2),3), ((-1),4), ((-2),5), ((-1),7), ((2),8), ((1),10), ((-1),11), ((1),13), ((2),14), ((1),15), ((-1),17), ((1),20), ((-1),22), ((2),28), ((-1),29), ((1),30), ((-2),31), ((2),33), ((-2),35), ((1),36), ((1),37), ((2),38), ((-2),42), ((1),43), ((1),44), ((2),45), ((2),46), ((2),48), ((-1),49)], (-33)), ("GEQ", [((2),1), ((1),3), ((1),4), ((2),7), ((-2),9), ((-2),10), ((-2),12), ((-1),13), ((1),14), ((-1),15), ((-2),16), ((2),19), ((-1),22), ((1),23), ((-1),24), ((-1),25), ((1),26), ((2),27), ((2),28), ((-2),31), ((1),32), ((2),33), ((-2),37), ((2),41), ((-1),42), ((-2),43), ((2),46), ((2),48), ((1),49)], (-11)), ("GEQ", [((-2),0), ((-2),1), ((2),2), ((-1),6), ((1),9), ((2),12), ((-2),13), ((-2),15), ((2),17), ((2),18), ((1),20), ((-1),22), ((2),23), ((-1),24), ((-1),26), ((-1),27), ((2),29), ((2),30), ((1),31), ((2),35), ((-1),36), ((2),41), ((-1),42), ((2),43), ((-1),45), ((-1),47), ((-2),48), ((1),49)], (43)), ("GEQ", [((2),0), ((-2),1), ((2),3), ((-2),4), ((2),6), ((-1),7), ((-1),9), ((1),12), ((1),13), ((-1),14), ((2),15), ((2),18), ((-2),19), ((-2),20), ((-2),21), ((-1),23), ((-2),25), ((1),28), ((2),29), ((-1),30), ((-2),31), ((1),34), ((-2),37), ((-1),38), ((2),40), ((1),41), ((1),44), ((1),47), ((-2),48), ((-2),49)], (-14)), ("GEQ", [((1),5), ((1),6), ((2),7), ((-2),8), ((-1),9), ((2),10), ((1),11), ((2),13), ((2),15), ((2),16), ((1),20), ((-1),21), ((1),22), ((-1),23), ((2),24), ((-2),25), ((1),26), ((-2),29), ((1),30), ((1),31), ((2),33), ((1),34), ((1),35), ((-1),36), ((-2),37), ((-2),38), ((-2),39), ((-1),41), ((-2),43), ((1),44), ((1),48), ((-2),49)], (-38)), ("GEQ", [((1),0), ((-1),1), ((2),2), ((2),6), ((1),7), ((-2),8), ((-1),9), ((2),12), ((-2),13), ((-1),14), ((1),16), ((-2),17), ((-1),18), ((2),19), ((1),21), ((2),22), ((-2),23), ((-1),24), ((1),26), ((2),29), ((1),30), ((2),31), ((-2),32), ((2),33), ((1),34), ((1),35), ((-1),37), ((-1),39), ((1),42), ((-1),44), ((2),45), ((1),46), ((-1),47), ((1),48), ((1),49)], (18)), ("GEQ", [((1),0), ((-2),1), ((1),2), ((1),4), ((-2),5), ((-2),6), ((-2),8), ((-1),9), ((1),10), ((1),11), ((-2),12), ((-2),20), ((2),22), ((-1),23), ((-2),26), ((1),27), ((-2),28), ((-2),29), ((-1),30), ((-2),31), ((-1),32), ((1),33), ((-2),35), ((2),36), ((2),38), ((1),40), ((2),41), ((-2),44), ((1),45), ((1),46)], (20)), ("GEQ", [((2),2), ((2),4), ((-1),5), ((-2),7), ((1),9), ((1),11), ((1),13), ((1),15), ((1),18), ((1),19), ((2),20), ((-1),21), ((2),22), ((2),23), ((2),24), ((-1),25), ((2),26), ((1),27), ((2),29), ((1),30), ((-2),32), ((-2),33), ((-2),34), ((2),36), ((2),38), ((-1),39), ((2),41), ((1),42), ((2),46), ((1),48)], (-49)), ("GEQ", [((1),0), ((1),2), ((2),4), ((-2),5), ((-1),6), ((2),9), ((-2),10), ((-2),12), ((-1),14), ((1),16), ((-1),18), ((1),20), ((2),21), ((1),22), ((-2),24), ((1),25), ((-1),26), ((-2),27), ((1),29), ((-2),31), ((2),37), ((2),38), ((-2),39), ((2),40), ((-2),42), ((1),44), ((-2),45), ((-2),46), ((-2),49)], (14)), ("GEQ", [((-1),0), ((1),2), ((2),3), ((-2),4), ((1),5), ((2),6), ((-1),7), ((-1),8), ((-1),10), ((1),11), ((1),13), ((-2),16), ((2),19), ((-1),21), ((-1),24), ((-2),26), ((-2),29), ((-1),30), ((-1),34), ((-1),37), ((-1),38), ((1),39), ((1),43), ((-2),44), ((-2),46), ((2),47), ((1),48)], (-2)), ("GEQ", [((-1),0), ((-2),1), ((-2),2), ((2),3), ((2),6), ((1),7), ((-2),8), ((-2),9), ((-1),11), ((2),12), ((2),13), ((1),14), ((-1),16), ((-2),17), ((1),19), ((1),20), ((-2),21), ((1),23), ((-1),25), ((1),28), ((-2),29), ((1),30), ((2),33), ((-1),34), ((1),35), ((-1),36), ((-1),37), ((-1),38), ((-2),39), ((2),41), ((1),43), ((-2),44), ((-1),46), ((-1),47), ((-2),49)], (-3)), ("GEQ", [((-1),0), ((2),2), ((2),4), ((-2),5), ((2),6), ((-1),7), ((1),9), ((-1),10), ((1),11), ((-2),13), ((-2),14), ((2),15), ((-1),16), ((2),18), ((-1),19), ((2),20), ((2),21), ((2),23), ((1),26), ((2),28), ((1),29), ((-2),30), ((1),31), ((2),33), ((1),34), ((1),35), ((2),37), ((1),39), ((2),40), ((-2),42), ((-2),44), ((2),46), ((-2),47)], (-18)), ("GEQ", [((2),0), ((1),1), ((2),3), ((1),4), ((-2),6), ((-1),7), ((1),8), ((-2),10), ((2),13), ((1),14), ((2),16), ((1),17), ((2),18), ((1),20), ((1),21), ((2),24), ((-1),26), ((-2),27), ((-2),30), ((2),31), ((2),32), ((1),33), ((-1),34), ((-2),37), ((-2),38), ((-2),40), ((-2),41), ((-1),42), ((-1),43), ((2),45), ((2),46), ((-1),47)], (2)), ("GEQ", [((-2),0), ((-2),2), ((-2),3), ((1),4), ((-1),6), ((1),7), ((1),8), ((1),10), ((2),11), ((-1),13), ((2),14), ((-2),16), ((-2),18), ((1),21), ((2),22), ((2),24), ((1),25), ((-2),26), ((1),27), ((-2),29), ((-2),31), ((-2),33), ((-1),34), ((-2),35), ((-2),37), ((-1),38), ((-1),40), ((-2),43), ((-2),44), ((2),48), ((-2),49)], (-9)), ("GEQ", [((1),1), ((-2),3), ((1),5), ((-1),7), ((-1),8), ((2),11), ((2),12), ((1),15), ((-1),16), ((1),17), ((-1),18), ((1),19), ((-2),20), ((-1),21), ((-1),22), ((1),23), ((-2),28), ((1),29), ((2),31), ((1),38), ((-1),40), ((1),41), ((-2),43), ((-1),45), ((-1),46), ((2),47), ((-1),48)], (3)), ("GEQ", [((1),0), ((-1),1), ((-2),2), ((1),3), ((1),6), ((1),7), ((2),8), ((1),13), ((-1),14), ((2),16), ((1),17), ((1),18), ((-1),21), ((1),22), ((2),23), ((2),24), ((-2),25), ((2),26), ((2),29), ((2),30), ((-1),31), ((1),32), ((-2),35), ((2),36), ((-2),38), ((1),39), ((2),40), ((1),43), ((2),44), ((1),45), ((-1),46), ((1),47), ((2),48), ((1),49)], (-61)), ("GEQ", [((2),1), ((2),2), ((1),3), ((-1),4), ((1),5), ((-2),6), ((-2),8), ((-1),9), ((-2),10), ((2),11), ((2),12), ((-1),15), ((1),17), ((-2),18), ((-1),19), ((-1),20), ((2),21), ((-1),22), ((1),23), ((1),25), ((2),26), ((1),27), ((1),29), ((2),32), ((1),33), ((-1),34), ((1),35), ((1),36), ((2),37), ((2),39), ((-2),40), ((1),42), ((-2),43), ((-1),45), ((-1),47), ((-1),48), ((2),49)], (22)), ("GEQ", [((-2),0), ((-1),1), ((-2),3), ((1),4), ((1),6), ((-2),7), ((-1),10), ((-1),11), ((-1),14), ((2),17), ((-2),19), ((-2),20), ((-2),22), ((1),23), ((-2),24), ((2),25), ((1),26), ((-1),27), ((2),28), ((-1),33), ((-2),35), ((-1),36), ((-2),38), ((-2),41), ((2),42), ((1),43)], (7)), ("GEQ", [((-2),1), ((-2),2), ((1),4), ((1),5), ((-2),6), ((1),7), ((-2),8), ((-2),9), ((-1),14), ((2),15), ((-1),16), ((-1),17), ((2),20), ((-2),25), ((-2),26), ((-1),27), ((-2),29), ((2),32), ((-1),33), ((-2),35), ((-2),36), ((1),37), ((1),38), ((-1),39), ((2),41), ((-1),42), ((1),45), ((1),46), ((-2),48)], (11)), ("GEQ", [((-2),0), ((-2),3), ((2),4), ((1),6), ((2),10), ((2),12), ((-2),15), ((-1),18), ((1),21), ((-1),22), ((-1),24), ((2),25), ((1),28), ((2),29), ((-2),30), ((1),31), ((-1),32), ((1),33), ((-2),34), ((1),35), ((1),39), ((1),41), ((1),42), ((2),48)], (-4)), ("GEQ", [((-2),0), ((2),1), ((-2),2), ((1),5), ((2),6), ((-2),7), ((1),8), ((1),9), ((-1),12), ((-1),13), ((2),14), ((1),15), ((2),16), ((-2),18), ((2),19), ((-1),20), ((2),21), ((-1),22), ((1),23), ((2),24), ((-1),26), ((1),27), ((-1),29), ((-2),30), ((1),32), ((-2),33), ((-2),35), ((1),36), ((1),38), ((1),39), ((2),40), ((-1),43), ((2),44), ((2),45), ((1),46), ((-2),48)], (-18)), ("GEQ", [((2),0), ((1),3), ((1),4), ((1),8), ((2),9), ((-2),10), ((-1),11), ((1),12), ((1),14), ((-1),15), ((1),17), ((-1),20), ((-2),22), ((2),23), ((2),24), ((-2),27), ((2),28), ((-1),29), ((-2),31), ((-1),32), ((1),33), ((-1),34), ((1),37), ((1),38), ((2),42), ((2),43), ((-1),44), ((-1),45), ((2),47), ((1),48)], (6)), ("GEQ", [((-1),0), ((-2),2), ((1),5), ((-1),6), ((2),9), ((2),10), ((2),11), ((1),12), ((-1),13), ((1),14), ((1),18), ((1),19), ((-1),20), ((1),22), ((1),24), ((2),25), ((2),26), ((2),27), ((2),28), ((2),29), ((-2),30), ((-2),32), ((-1),33), ((-1),34), ((-1),35), ((-2),37), ((2),38), ((-1),39), ((-1),40), ((-1),41), ((-1),43), ((-1),45), ((1),46), ((-1),47), ((2),48), ((-2),49)], (-16)), ("GEQ", [((2),0), ((-1),1), ((-2),2), ((2),3), ((2),4), ((2),9), ((1),11), ((2),12), ((-1),13), ((-2),15), ((-1),16), ((1),17), ((2),19), ((-2),21), ((-1),24), ((-2),25), ((-2),29), ((-1),34), ((1),36), ((-1),37), ((2),38), ((-1),40), ((-2),43), ((2),45), ((-2),47), ((1),48)], (22)), ("GEQ", [((2),1), ((1),5), ((2),6), ((-2),7), ((-2),8), ((-2),11), ((2),12), ((-1),13), ((-1),14), ((-1),16), ((-1),17), ((-2),18), ((-2),19), ((-1),22), ((-2),27), ((2),30), ((-2),31), ((1),32), ((1),33), ((1),36), ((-2),39), ((-1),41), ((-1),42), ((2),45), ((-2),46), ((-2),47), ((1),48), ((1),49)], (39)), ("GEQ", [((-1),0), ((1),3), ((2),4), ((2),5), ((1),8), ((-2),9), ((-2),12), ((2),13), ((1),16), ((1),17), ((2),19), ((2),21), ((-1),24), ((2),26), ((1),27), ((1),30), ((-2),31), ((1),32), ((2),34), ((2),35), ((-1),36), ((-1),37), ((2),42), ((2),44), ((-2),45), ((-2),47), ((1),48)], (-18)), ("GEQ", [((-2),2), ((-1),3), ((-2),4), ((1),5), ((-1),6), ((-2),8), ((1),9), ((-1),10), ((2),12), ((2),13), ((-2),16), ((-2),17), ((2),18), ((-1),20), ((1),21), ((-2),22), ((2),23), ((2),25), ((1),26), ((2),30), ((-2),32), ((-2),35), ((2),36), ((2),37), ((-1),39), ((-1),41), ((-1),43), ((2),46), ((-1),47), ((-1),49)], (-2)), ("GEQ", [((2),1), ((-1),2), ((-2),3), ((-1),6), ((1),8), ((2),9), ((1),10), ((1),11), ((2),12), ((-2),13), ((2),15), ((-1),18), ((1),19), ((1),24), ((-2),25), ((-2),27), ((-2),28), ((1),31), ((-2),33), ((-1),34), ((-1),40), ((-2),41), ((-2),42), ((2),43), ((1),44), ((2),45), ((-1),47)], (8)), ("GEQ", [((2),1), ((2),2), ((-1),3), ((-1),5), ((2),7), ((2),9), ((2),10), ((-2),11), ((-2),12), ((-2),13), ((-1),15), ((-2),16), ((1),20), ((-1),22), ((2),27), ((-1),28), ((-1),30), ((2),31), ((1),32), ((1),35), ((2),36), ((-2),37), ((-1),40), ((-1),41), ((-1),42), ((2),43), ((-1),45), ((-1),46), ((1),48)], (40)), ("GEQ", [((-2),1), ((2),2), ((-1),3), ((2),4), ((1),5), ((2),6), ((2),7), ((-2),11), ((1),15), ((2),16), ((2),18), ((-2),19), ((-2),20), ((2),21), ((2),22), ((-2),23), ((1),24), ((2),25), ((-2),26), ((1),27), ((-2),29), ((2),30), ((-2),33), ((-2),34), ((2),35), ((2),37), ((-2),38), ((-2),39), ((-2),41), ((1),43), ((2),46), ((-1),47), ((-2),48)], (16)), ("GEQ", [((-15),0), ((-3),1), ((-18),2), ((21),3), ((-46),4), ((-15),5), ((-14),6), ((-35),7), ((24),8), ((-6),9), ((-3),10), ((-23),11), ((-18),13), ((14),14), ((-20),15), ((3),16), ((17),17), ((7),18), ((-31),19), ((26),20), ((-38),21), ((-7),22), ((8),23), ((-13),24), ((-1),25), ((15),26), ((-10),27), ((-4),28), ((-1),29), ((20),30), ((22),31), ((1),32), ((4),33), ((17),34), ((4),35), ((-2),36), ((4),37), ((6),38), ((26),39), ((-5),40), ((5),41), ((19),42), ((18),43), ((-8),44), ((-7),45), ((-30),46), ((18),47), ((-2),48), ((35),49)], (15)), ("GEQ", [((-7),0), ((17),1), ((18),2), ((-26),3), ((-4),4), ((-2),5), ((-2),6), ((13),7), ((-21),8), ((-2),9), ((39),10), ((-6),11), ((-31),12), ((-8),13), ((3),14), ((-2),15), ((-39),16), ((-13),17), ((8),18), ((14),19), ((-40),20), ((1),21), ((12),22), ((-7),23), ((-26),24), ((32),25), ((3),26), ((20),27), ((-9),28), ((4),29), ((-10),30), ((-1),31), ((-22),32), ((-38),33), ((-16),34), ((-2),35), ((22),36), ((-18),37), ((-6),39), ((-10),40), ((12),41), ((2),42), ((-2),43), ((-6),44), ((-10),45), ((19),46), ((19),47), ((14),48), ((-27),49)], (69)), ("GEQ", [((53),0), ((-35),1), ((-64),2), ((77),3), ((49),4), ((11),5), ((1),6), ((-23),7), ((72),8), ((15),9), ((-142),10), ((44),11), ((100),12), ((41),13), ((4),14), ((18),15), ((166),16), ((27),17), ((-55),18), ((-42),19), ((138),20), ((9),21), ((-27),22), ((18),23), ((113),24), ((-102),25), ((-4),26), ((-46),27), ((18),28), ((-29),29), ((50),30), ((-10),31), ((67),32), ((122),33), ((45),34), ((18),35), ((-64),36), ((91),37), ((-10),38), ((24),39), ((42),40), ((-60),41), ((8),42), ((-19),43), ((31),44), ((27),45), ((-69),46), ((-72),47), ((-39),48), ((76),49)], (-649)), ("GEQ", [((38),0), ((-37),1), ((-9),2), ((31),3), ((122),4), ((42),5), ((44),6), ((56),7), ((53),8), ((6),9), ((-114),10), ((50),11), ((68),12), ((73),13), ((-43),14), ((48),15), ((148),16), ((13),17), ((-42),18), ((9),19), ((101),20), ((109),21), ((-22),22), ((-32),23), ((95),24), ((-99),25), ((-54),26), ((-29),27), ((42),28), ((-26),29), ((-19),30), ((-31),31), ((81),32), ((128),33), ((44),34), ((22),35), ((-101),36), ((64),37), ((-3),38), ((-30),39), ((54),40), ((-63),41), ((-59),42), ((-31),43), ((60),44), ((26),45), ((-105),47), ((-61),48), ((33),49)], (-340)), ("GEQ", [((-37),0), ((55),1), ((67),2), ((-65),3), ((-80),4), ((-33),5), ((-23),6), ((11),7), ((-51),8), ((-8),9), ((146),10), ((-79),11), ((-122),12), ((-60),13), ((13),14), ((-51),15), ((-171),16), ((-26),17), ((66),18), ((5),19), ((-136),20), ((-17),21), ((13),22), ((-25),23), ((-140),24), ((123),25), ((12),26), ((45),27), ((-19),28), ((11),29), ((-46),30), ((11),31), ((-57),32), ((-127),33), ((-29),34), ((5),35), ((84),36), ((-56),37), ((9),38), ((4),39), ((-50),40), ((53),41), ((-13),42), ((33),43), ((-17),44), ((-32),45), ((45),46), ((89),47), ((24),48), ((-52),49)], (974)), ("GEQ", [((-27),0), ((7),1), ((-48),2), ((-18),3), ((-60),4), ((-10),5), ((-26),6), ((-70),7), ((-72),8), ((3),9), ((69),10), ((62),11), ((10),12), ((-46),13), ((45),14), ((4),15), ((-69),16), ((8),17), ((-17),18), ((60),19), ((-75),20), ((-138),21), ((55),22), ((74),23), ((7),24), ((44),25), ((59),26), ((18),27), ((-56),28), ((47),29), ((49),30), ((36),31), ((-105),32), ((-114),33), ((-83),34), ((-64),35), ((72),36), ((-104),37), ((2),38), ((-17),40), ((61),41), ((104),42), ((-13),43), ((-93),44), ((-4),45), ((-11),46), ((87),47), ((116),48), ((-54),49)], (-813))]
[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, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49]
[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, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49]