[("GEQ", [((-1),1), ((2),3), ((-1),5), ((-1),8), ((-2),10), ((-2),13), ((-2),14), ((1),17), ((-1),18), ((-1),19), ((-2),22), ((2),23), ((-1),24), ((-2),27), ((-1),28), ((1),29), ((-1),30), ((-1),31), ((1),34), ((1),35), ((-1),38), ((-2),39), ((1),42), ((2),43), ((1),45), ((-2),47)], (-3)), ("GEQ", [((-2),1), ((1),2), ((-1),4), ((1),5), ((-2),6), ((1),7), ((2),8), ((2),9), ((1),11), ((2),12), ((-1),13), ((2),14), ((2),15), ((-1),16), ((2),17), ((-1),18), ((2),21), ((2),22), ((-2),24), ((2),25), ((2),26), ((1),27), ((2),29), ((2),32), ((1),33), ((1),34), ((-1),35), ((2),38), ((-2),46), ((-1),47)], (33)), ("GEQ", [((2),1), ((1),6), ((1),7), ((1),8), ((1),10), ((2),11), ((-1),12), ((-2),13), ((2),14), ((-2),15), ((1),16), ((-1),17), ((2),20), ((2),22), ((1),24), ((-1),26), ((2),27), ((1),29), ((-2),30), ((-1),31), ((2),33), ((1),36), ((-2),37), ((1),41), ((2),43), ((-1),44), ((-2),45), ((-1),47), ((2),49)], (-3)), ("GEQ", [((1),1), ((-2),3), ((-2),5), ((1),7), ((2),8), ((1),12), ((1),13), ((1),14), ((-2),17), ((2),18), ((-1),20), ((2),23), ((2),24), ((-1),25), ((1),27), ((-1),29), ((-2),31), ((1),32), ((-1),33), ((2),34), ((-1),35), ((1),36), ((2),37), ((-2),38), ((2),39), ((2),41), ((-1),42), ((-1),43), ((-2),44), ((-1),45), ((-2),49)], (-27)), ("GEQ", [((1),0), ((-2),3), ((-2),4), ((2),5), ((-2),6), ((2),10), ((2),12), ((1),14), ((-2),17), ((-2),18), ((-1),19), ((1),20), ((2),21), ((1),23), ((1),24), ((1),25), ((-1),28), ((2),30), ((-2),31), ((-2),33), ((-1),36), ((-2),37), ((-2),38), ((1),40), ((1),42), ((-2),43), ((-2),45), ((2),46), ((1),48)], (-11)), ("GEQ", [((1),0), ((-2),3), ((-2),8), ((-2),13), ((-2),16), ((2),17), ((-1),18), ((-2),19), ((2),20), ((1),21), ((1),25), ((2),26), ((-1),28), ((1),30), ((-1),32), ((-2),33), ((-2),34), ((1),36), ((1),38), ((1),39), ((-2),41), ((-1),42), ((2),44), ((2),46), ((-1),47), ((2),48)], (11)), ("GEQ", [((-1),1), ((-2),2), ((-2),4), ((2),6), ((-2),8), ((2),10), ((1),11), ((1),12), ((1),13), ((2),14), ((1),17), ((-2),18), ((1),23), ((2),25), ((-1),28), ((2),30), ((2),32), ((-2),35), ((2),36), ((-2),37), ((2),39), ((-2),41), ((1),42), ((-1),43), ((1),44), ((1),45), ((1),47), ((1),49)], (-2)), ("GEQ", [((-1),1), ((-1),2), ((-1),3), ((-2),6), ((-2),7), ((-2),9), ((-2),10), ((2),11), ((-2),14), ((-1),18), ((-1),20), ((1),21), ((-2),22), ((-2),23), ((1),24), ((-1),25), ((2),28), ((-2),29), ((2),30), ((-2),31), ((1),32), ((-2),36), ((1),37), ((2),39), ((-2),40), ((1),41), ((-2),44), ((-1),45), ((2),46), ((-1),47), ((2),48), ((2),49)], (13)), ("GEQ", [((-1),2), ((2),3), ((-2),4), ((-2),6), ((1),8), ((2),13), ((-2),14), ((-1),15), ((-1),18), ((-2),19), ((1),21), ((1),22), ((-2),23), ((-1),24), ((1),27), ((-2),28), ((2),29), ((-2),30), ((1),32), ((-2),33), ((1),35), ((2),36), ((-2),38), ((2),39), ((2),41), ((1),44), ((2),45), ((2),46)], (4)), ("GEQ", [((-1),0), ((-1),1), ((1),3), ((2),4), ((-1),6), ((2),7), ((-1),8), ((-1),15), ((-1),17), ((-1),18), ((1),19), ((-1),22), ((-1),24), ((-1),25), ((1),26), ((2),27), ((1),28), ((-2),29), ((2),32), ((-1),35), ((-2),37), ((2),38), ((2),40), ((-1),41), ((-1),42), ((-2),45), ((1),46), ((-1),48)], (2)), ("GEQ", [((2),0), ((-2),2), ((-2),3), ((2),6), ((2),7), ((2),9), ((1),12), ((-2),13), ((-1),16), ((-1),18), ((-1),20), ((2),22), ((-2),23), ((2),24), ((2),26), ((1),29), ((-1),30), ((-2),35), ((1),37), ((-2),39), ((2),40), ((-1),41), ((1),42), ((1),43), ((1),44), ((-2),45), ((-1),46), ((-1),47), ((2),48)], (15)), ("GEQ", [((2),1), ((-1),2), ((1),3), ((2),4), ((1),5), ((-2),6), ((1),7), ((1),8), ((2),11), ((-1),12), ((2),13), ((-2),19), ((2),21), ((2),22), ((-1),24), ((-2),27), ((-2),30), ((2),31), ((1),34), ((-2),36), ((-1),39), ((2),40), ((1),42), ((1),45), ((-2),46), ((2),47), ((2),48), ((-2),49)], (-9)), ("GEQ", [((2),0), ((2),1), ((-2),2), ((-1),3), ((-2),4), ((2),9), ((-1),10), ((-1),13), ((-2),15), ((2),16), ((-2),18), ((1),19), ((-2),20), ((2),21), ((-2),22), ((-1),23), ((2),24), ((-1),25), ((1),26), ((1),28), ((1),29), ((1),30), ((-2),33), ((-2),34), ((1),35), ((-1),36), ((-2),38), ((-1),40), ((-2),44), ((2),45), ((-2),47), ((-1),48)], (-20)), ("GEQ", [((-1),0), ((1),2), ((2),4), ((1),5), ((-2),7), ((-1),8), ((2),10), ((-1),11), ((-1),15), ((-2),17), ((-2),19), ((2),20), ((2),21), ((1),23), ((-2),24), ((-2),25), ((-2),28), ((2),29), ((1),31), ((2),32), ((-2),33), ((2),36), ((-2),38), ((1),39), ((1),40), ((1),41), ((-2),44), ((1),45), ((1),47), ((-1),48)], (-8)), ("GEQ", [((-2),0), ((-1),6), ((1),7), ((2),9), ((2),12), ((-1),14), ((2),15), ((1),17), ((2),20), ((1),21), ((-2),22), ((-2),23), ((-2),24), ((1),27), ((2),28), ((1),30), ((1),33), ((-2),35), ((2),36), ((-1),38), ((2),39), ((2),42), ((1),43), ((-1),44), ((-2),45), ((-2),47), ((1),48), ((2),49)], (6)), ("GEQ", [((2),0), ((1),1), ((-2),2), ((1),3), ((-1),5), ((1),8), ((-2),9), ((-1),10), ((-1),12), ((2),15), ((1),16), ((1),18), ((-2),19), ((-2),20), ((1),21), ((2),22), ((-1),23), ((-2),24), ((1),26), ((1),29), ((1),30), ((-2),31), ((-1),32), ((-1),34), ((1),35), ((1),38), ((1),39), ((-1),40), ((-1),41), ((-2),42), ((2),43), ((-1),44), ((2),46), ((-1),47), ((-1),49)], (0)), ("GEQ", [((-2),0), ((2),2), ((2),4), ((-1),6), ((-2),7), ((2),9), ((-2),10), ((2),11), ((-1),13), ((1),14), ((2),15), ((2),16), ((-1),17), ((-2),19), ((-2),20), ((-2),22), ((-2),25), ((-2),26), ((2),27), ((-2),28), ((1),29), ((1),30), ((-1),35), ((-1),36), ((-2),40), ((2),41), ((2),42), ((1),43), ((-1),44), ((2),46), ((-1),47)], (2)), ("GEQ", [((-2),0), ((-2),1), ((1),3), ((1),4), ((1),6), ((2),7), ((-2),11), ((1),12), ((-2),13), ((1),14), ((-1),15), ((2),16), ((1),19), ((-2),20), ((-2),21), ((-1),23), ((-2),24), ((2),26), ((-1),29), ((1),31), ((-2),33), ((1),34), ((-2),35), ((-1),36), ((1),38), ((1),39), ((-2),40), ((-2),41), ((2),43), ((1),44), ((-1),47)], (22)), ("GEQ", [((1),0), ((-1),1), ((2),2), ((2),5), ((1),9), ((-2),11), ((-1),13), ((1),14), ((2),15), ((2),16), ((1),18), ((1),19), ((-1),20), ((2),21), ((-1),22), ((1),23), ((-1),27), ((-1),31), ((-2),32), ((-2),34), ((1),36), ((-2),38), ((2),39), ((-1),40), ((-2),41), ((-2),43), ((-2),45), ((1),47)], (-14)), ("GEQ", [((1),0), ((-1),1), ((2),2), ((-2),4), ((-2),5), ((-2),6), ((-2),8), ((-1),9), ((-2),10), ((-1),11), ((-2),12), ((1),14), ((-2),17), ((-2),18), ((-1),19), ((1),20), ((-1),24), ((-1),26), ((2),27), ((2),28), ((-1),29), ((1),30), ((-2),32), ((1),34), ((-1),35), ((1),36), ((1),37), ((-1),39), ((-1),40), ((2),41), ((1),42), ((-1),43), ((2),46), ((2),47), ((2),49)], (-3)), ("GEQ", [((1),2), ((-1),4), ((2),6), ((2),8), ((-2),9), ((-2),11), ((-1),15), ((-1),19), ((2),20), ((2),26), ((1),27), ((-1),28), ((1),29), ((-2),30), ((-1),31), ((-1),33), ((-2),34), ((1),37), ((-1),38), ((2),39), ((1),44), ((-2),48)], (12)), ("GEQ", [((1),2), ((2),3), ((1),5), ((1),8), ((-2),9), ((-2),10), ((2),11), ((2),13), ((-2),14), ((1),17), ((-1),18), ((1),19), ((1),21), ((1),22), ((-1),23), ((-2),25), ((-1),26), ((-2),27), ((-1),28), ((2),30), ((-1),31), ((-2),32), ((-2),33), ((-1),35), ((-1),36), ((1),39), ((2),41), ((-1),43), ((-2),45), ((-2),47), ((-2),49)], (-18)), ("GEQ", [((2),2), ((2),3), ((-1),4), ((-1),5), ((1),6), ((-2),7), ((2),8), ((-2),13), ((-2),15), ((2),17), ((-1),20), ((1),24), ((-2),25), ((2),26), ((-1),28), ((2),29), ((-1),30), ((-1),31), ((-1),36), ((-1),37), ((2),38), ((1),41), ((1),42), ((1),43), ((2),44), ((-2),48)], (31)), ("GEQ", [((1),0), ((2),2), ((1),3), ((-1),4), ((-2),5), ((-2),9), ((1),11), ((1),12), ((2),13), ((-1),14), ((2),15), ((-2),17), ((-1),18), ((2),21), ((-1),22), ((-1),23), ((-1),25), ((-1),27), ((-2),28), ((2),31), ((2),33), ((-2),34), ((2),36), ((-2),37), ((1),38), ((-2),39), ((2),40), ((2),41), ((-2),43), ((-2),44), ((1),45), ((-2),46), ((-1),48)], (2)), ("GEQ", [((1),0), ((1),1), ((1),3), ((2),4), ((1),8), ((-2),12), ((2),13), ((2),14), ((1),15), ((1),17), ((-2),19), ((-2),20), ((2),23), ((-2),27), ((1),28), ((-1),30), ((-2),33), ((-1),34), ((-2),36), ((1),39), ((-2),42), ((-2),43), ((2),45), ((-1),49)], (-17)), ("GEQ", [((1),0), ((-2),1), ((1),2), ((2),6), ((1),7), ((1),8), ((-1),11), ((1),12), ((-1),13), ((2),16), ((1),18), ((-1),20), ((-1),22), ((1),23), ((-1),24), ((-1),25), ((2),28), ((1),31), ((-1),35), ((2),37), ((-2),38), ((-1),39), ((2),40), ((1),41), ((-1),42), ((1),44), ((2),46), ((2),47), ((-1),48), ((1),49)], (11)), ("GEQ", [((2),0), ((-2),1), ((-1),3), ((-1),4), ((2),6), ((1),8), ((2),9), ((-1),10), ((-1),11), ((2),15), ((-2),16), ((2),22), ((-2),24), ((-1),26), ((2),27), ((2),28), ((-1),31), ((-2),32), ((2),33), ((-1),34), ((-2),35), ((-1),36), ((-1),38), ((-1),43), ((-2),46), ((-1),48)], (12)), ("GEQ", [((1),0), ((-1),1), ((-1),5), ((-2),6), ((1),7), ((2),10), ((2),11), ((-1),12), ((1),14), ((-1),15), ((1),16), ((-2),17), ((2),19), ((1),21), ((1),22), ((-1),23), ((-2),24), ((-1),25), ((1),26), ((1),28), ((-1),29), ((1),32), ((-2),33), ((-2),34), ((-2),35), ((-2),37), ((-2),38), ((1),39), ((-1),40), ((-2),41), ((1),42), ((-1),43), ((1),44), ((1),45), ((1),46), ((1),47), ((2),48), ((-1),49)], (13)), ("GEQ", [((-2),0), ((-2),1), ((-2),5), ((-1),6), ((2),7), ((2),9), ((2),14), ((2),15), ((1),16), ((-2),18), ((2),19), ((-1),20), ((1),24), ((-1),25), ((-1),26), ((2),27), ((-1),28), ((-1),29), ((-2),30), ((-2),31), ((-2),32), ((2),34), ((2),36), ((1),39), ((2),40), ((1),43), ((2),46)], (-12)), ("GEQ", [((-1),0), ((-2),4), ((1),5), ((1),6), ((1),8), ((-2),9), ((-2),11), ((1),13), ((2),15), ((-2),16), ((1),17), ((-1),18), ((-1),22), ((1),23), ((-1),26), ((-2),29), ((-1),30), ((1),32), ((2),36), ((-1),40), ((-2),42), ((2),45), ((2),47), ((1),48), ((2),49)], (-2)), ("GEQ", [((-2),2), ((1),3), ((2),4), ((2),5), ((1),7), ((1),9), ((1),10), ((-2),12), ((1),14), ((-2),15), ((1),16), ((-1),17), ((1),19), ((-1),21), ((1),24), ((1),26), ((2),27), ((-2),28), ((1),30), ((-2),31), ((-1),33), ((1),35), ((-1),36), ((1),38), ((1),39), ((-1),40), ((1),42), ((1),43), ((1),45), ((2),46), ((-2),47), ((-1),48), ((-2),49)], (-39)), ("GEQ", [((2),1), ((-1),2), ((2),3), ((1),4), ((1),6), ((-1),7), ((-1),10), ((-2),12), ((-1),13), ((-1),14), ((2),16), ((2),21), ((-1),27), ((-2),31), ((2),32), ((-1),34), ((-2),35), ((2),37), ((-2),38), ((-1),49)], (-4)), ("GEQ", [((2),1), ((1),6), ((-1),7), ((-1),8), ((-2),9), ((-1),12), ((2),13), ((2),16), ((-1),17), ((1),19), ((2),20), ((1),22), ((-1),23), ((-2),24), ((2),26), ((-1),27), ((-1),28), ((-2),29), ((1),32), ((-2),34), ((1),36), ((-1),37), ((-1),42), ((-1),43), ((-1),44), ((2),45), ((-1),46), ((-1),47), ((-1),48)], (5)), ("GEQ", [((-2),0), ((2),1), ((-1),6), ((-2),9), ((2),10), ((1),11), ((2),12), ((1),16), ((2),18), ((-1),20), ((-2),21), ((2),22), ((1),24), ((-2),25), ((-2),27), ((2),29), ((-1),31), ((1),32), ((-1),33), ((-1),34), ((2),35), ((-1),37), ((2),38), ((-2),39), ((2),40), ((1),43), ((-2),46), ((1),48), ((-2),49)], (21)), ("GEQ", [((-2),1), ((-1),2), ((1),3), ((1),4), ((-2),5), ((1),6), ((2),7), ((-2),9), ((2),10), ((2),11), ((-2),12), ((2),15), ((-1),16), ((-2),17), ((-1),18), ((-1),21), ((-2),22), ((1),28), ((-1),32), ((-2),33), ((-1),35), ((-1),40), ((-1),45), ((2),46), ((2),48), ((-2),49)], (-31)), ("GEQ", [((1),0), ((1),2), ((-1),3), ((-2),5), ((1),6), ((1),7), ((2),8), ((-2),10), ((-2),13), ((1),14), ((-1),15), ((1),17), ((2),18), ((-2),19), ((1),21), ((1),22), ((-2),23), ((-2),24), ((2),25), ((-2),28), ((2),30), ((2),31), ((2),32), ((-1),33), ((2),34), ((1),35), ((-1),36), ((2),37), ((-2),38), ((-2),39), ((1),40), ((-2),48), ((1),49)], (34)), ("GEQ", [((2),1), ((-1),2), ((-1),4), ((-1),6), ((-1),7), ((-2),9), ((2),11), ((-2),14), ((1),15), ((2),18), ((-2),20), ((1),21), ((-2),22), ((1),24), ((-2),26), ((-1),27), ((2),28), ((-1),35), ((1),37), ((-1),39), ((-2),41), ((-1),42), ((2),43), ((-2),44), ((-1),45), ((1),47)], (-6)), ("GEQ", [((2),0), ((1),2), ((-1),3), ((2),4), ((-2),9), ((-2),10), ((1),11), ((1),12), ((-1),14), ((1),15), ((1),16), ((-2),19), ((-2),21), ((-2),22), ((-1),24), ((-1),25), ((2),26), ((1),27), ((1),29), ((-2),30), ((-2),31), ((-1),33), ((2),35), ((2),36), ((2),37), ((-1),39), ((1),41), ((1),42), ((-1),43), ((-1),44), ((2),45), ((-1),46), ((2),47), ((-1),49)], (-18)), ("GEQ", [((-1),1), ((1),3), ((-1),4), ((-2),5), ((-2),6), ((-1),7), ((-1),8), ((2),9), ((2),10), ((2),11), ((-2),13), ((-1),14), ((1),16), ((-2),18), ((-1),19), ((-2),20), ((2),21), ((-2),23), ((-2),27), ((-1),28), ((-1),29), ((-2),31), ((-1),33), ((-2),34), ((1),35), ((1),36), ((1),38), ((-1),39), ((1),41), ((-2),44), ((-2),45), ((-1),46), ((-1),48), ((-1),49)], (23)), ("GEQ", [((-2),1), ((2),2), ((2),3), ((2),5), ((2),6), ((2),7), ((-1),8), ((-2),9), ((-1),11), ((-1),12), ((-1),13), ((-2),15), ((-1),16), ((-1),18), ((2),19), ((1),21), ((-2),23), ((1),24), ((2),25), ((1),27), ((1),28), ((-2),29), ((2),30), ((-2),32), ((-2),33), ((-2),35), ((1),36), ((1),37), ((2),38), ((1),44), ((2),46), ((-2),47), ((1),48), ((2),49)], (0)), ("GEQ", [((-2),1), ((2),2), ((1),3), ((-2),4), ((1),5), ((-2),6), ((2),7), ((-1),8), ((-2),9), ((1),12), ((1),14), ((1),17), ((-1),18), ((1),20), ((1),21), ((2),24), ((-1),27), ((-2),29), ((-2),31), ((-1),33), ((-2),34), ((-2),36), ((-2),37), ((2),38), ((-1),39), ((-1),40), ((1),43), ((-2),44), ((-2),45)], (11)), ("GEQ", [((-2),1), ((-2),2), ((-2),4), ((-1),6), ((2),7), ((-2),8), ((1),9), ((1),10), ((-2),11), ((2),12), ((2),13), ((-2),15), ((-2),16), ((-1),18), ((1),19), ((1),21), ((-2),22), ((2),26), ((2),29), ((2),30), ((-2),32), ((-2),34), ((1),35), ((-1),37), ((2),39), ((1),40), ((-1),42), ((2),43), ((1),44), ((-2),45), ((-2),48), ((1),49)], (-1)), ("GEQ", [((-2),0), ((-1),2), ((-2),8), ((-1),9), ((1),11), ((1),13), ((-1),14), ((1),16), ((2),17), ((-1),22), ((-2),23), ((1),24), ((1),25), ((2),28), ((-2),29), ((2),30), ((1),33), ((2),34), ((1),36), ((1),37), ((-1),38), ((1),40), ((1),41), ((-2),42), ((-2),43), ((1),45), ((1),46), ((2),48), ((-1),49)], (-2)), ("GEQ", [((-1),4), ((2),5), ((1),6), ((-2),9), ((-2),10), ((1),11), ((1),13), ((1),17), ((2),19), ((-2),21), ((2),22), ((2),24), ((2),26), ((1),27), ((-1),28), ((2),29), ((-2),30), ((2),33), ((2),36), ((2),37), ((-2),39), ((-1),42), ((1),45), ((-1),46), ((-1),48), ((-2),49)], (-4)), ("GEQ", [((2),0), ((-1),3), ((1),5), ((-1),8), ((-1),10), ((-1),11), ((2),12), ((-2),13), ((1),14), ((2),15), ((1),17), ((2),18), ((-2),19), ((-1),22), ((2),24), ((-2),25), ((2),27), ((-1),30), ((-1),31), ((2),32), ((2),33), ((-2),34), ((1),35), ((-2),37), ((-1),38), ((1),40), ((-1),41), ((-2),44), ((-2),47), ((2),48), ((-2),49)], (12)), ("GEQ", [((1),5), ((-1),8), ((-2),9), ((-2),10), ((-1),11), ((1),12), ((-1),13), ((2),14), ((-1),15), ((-1),19), ((2),20), ((1),21), ((1),22), ((-1),23), ((-2),24), ((-1),25), ((1),26), ((-2),27), ((2),29), ((1),30), ((1),33), ((-2),37), ((-1),38), ((1),39), ((-2),40), ((-2),41), ((2),44), ((-2),46), ((2),47)], (1)), ("GEQ", [((2),3), ((1),5), ((2),10), ((2),12), ((-2),14), ((-2),15), ((-1),17), ((2),18), ((2),20), ((-2),21), ((1),23), ((1),24), ((1),25), ((2),26), ((-2),28), ((1),31), ((-1),32), ((-1),33), ((2),34), ((2),36), ((2),37), ((-1),38), ((1),40), ((1),41), ((2),45), ((2),47), ((2),49)], (-17)), ("GEQ", [((1),0), ((2),3), ((2),5), ((-2),6), ((-1),10), ((-2),11), ((2),12), ((-2),14), ((-2),15), ((1),16), ((-1),18), ((-2),20), ((-1),22), ((2),23), ((2),25), ((2),26), ((2),27), ((2),28), ((-2),29), ((-1),30), ((1),31), ((2),32), ((-2),33), ((2),35), ((-1),36), ((1),37), ((1),40), ((1),41), ((2),44), ((-1),45), ((1),46), ((1),48), ((2),49)], (24)), ("GEQ", [((-2),0), ((1),1), ((2),3), ((-2),5), ((1),9), ((2),10), ((1),13), ((1),14), ((-2),15), ((1),18), ((2),19), ((2),20), ((1),22), ((-2),23), ((-2),25), ((-1),27), ((-1),28), ((2),29), ((-2),30), ((-1),31), ((2),32), ((1),35), ((-2),36), ((1),38), ((-1),40), ((2),41), ((2),42), ((1),43), ((-1),44), ((-2),46), ((-2),49)], (17)), ("GEQ", [((-27),0), ((4),1), ((-3),2), ((-27),3), ((4),4), ((-26),5), ((21),6), ((-1),7), ((18),9), ((12),10), ((-20),11), ((-8),12), ((-11),13), ((7),14), ((-26),16), ((5),17), ((34),18), ((31),19), ((25),20), ((-65),21), ((8),22), ((21),23), ((12),24), ((17),25), ((-40),26), ((-1),27), ((8),28), ((-5),29), ((-23),30), ((15),31), ((-7),32), ((54),33), ((33),34), ((15),35), ((-8),36), ((-7),37), ((21),38), ((-20),39), ((-13),40), ((-24),41), ((11),42), ((26),43), ((13),44), ((-14),45), ((-25),46), ((4),47), ((-11),48), ((11),49)], (-27)), ("GEQ", [((67),0), ((3),2), ((57),3), ((-10),4), ((72),5), ((-51),6), ((-25),7), ((6),8), ((-42),9), ((-37),10), ((58),11), ((-8),12), ((63),13), ((-27),14), ((14),15), ((44),16), ((-21),17), ((-99),18), ((-60),19), ((-76),20), ((164),21), ((-27),22), ((-41),23), ((-18),24), ((-44),25), ((67),26), ((9),27), ((-4),28), ((3),29), ((74),30), ((-18),31), ((4),32), ((-124),33), ((-76),34), ((-50),35), ((10),36), ((8),37), ((-45),38), ((63),39), ((19),40), ((68),41), ((-42),42), ((-95),43), ((-41),44), ((50),45), ((66),46), ((-31),47), ((20),48), ((-36),49)], (-372)), ("GEQ", [((22),0), ((7),1), ((3),2), ((1),3), ((16),4), ((-2),5), ((-19),6), ((-27),7), ((3),8), ((6),9), ((1),10), ((32),11), ((-12),12), ((23),13), ((-4),14), ((20),15), ((2),16), ((-18),17), ((-3),18), ((-32),19), ((-30),20), ((17),21), ((-4),22), ((26),23), ((-2),24), ((3),25), ((-19),26), ((1),27), ((-6),28), ((2),29), ((2),30), ((41),31), ((3),32), ((2),33), ((16),34), ((14),35), ((10),36), ((9),37), ((-8),38), ((-18),39), ((17),40), ((27),41), ((-18),42), ((-29),43), ((-18),44), ((35),45), ((7),46), ((30),47), ((2),48), ((1),49)], (-279)), ("GEQ", [((-32),0), ((21),1), ((-22),2), ((-31),3), ((7),4), ((10),5), ((10),6), ((-21),7), ((-28),8), ((20),9), ((19),10), ((-39),11), ((-7),12), ((-28),13), ((-23),14), ((-38),15), ((-4),16), ((11),17), ((21),18), ((45),19), ((39),20), ((-40),21), ((-4),22), ((-11),23), ((19),24), ((5),25), ((-10),26), ((-14),27), ((8),28), ((-22),29), ((6),30), ((-12),31), ((-10),32), ((18),33), ((1),34), ((14),35), ((-14),36), ((-19),37), ((6),38), ((16),39), ((-14),40), ((-57),41), ((14),42), ((14),43), ((36),44), ((-19),45), ((3),46), ((-21),47), ((3),48)], (-24)), ("GEQ", [((106),0), ((-110),1), ((84),2), ((145),3), ((-47),4), ((-4),5), ((-33),6), ((150),7), ((97),8), ((-90),9), ((-80),10), ((108),11), ((94),12), ((54),13), ((74),14), ((111),15), ((55),16), ((-8),17), ((-107),18), ((-155),19), ((-137),20), ((170),21), ((4),22), ((-16),23), ((-75),24), ((-28),25), ((132),26), ((45),27), ((-37),28), ((73),29), ((-17),30), ((-32),31), ((52),32), ((-144),33), ((-50),34), ((-75),35), ((42),36), ((81),37), ((-31),38), ((-43),39), ((61),40), ((197),41), ((-26),42), ((-19),43), ((-108),44), ((24),45), ((-6),46), ((44),47), ((20),48)], (880)), ("GEQ", [((-57),0), ((-19),1), ((6),2), ((-22),3), ((-25),4), ((-36),5), ((54),6), ((31),7), ((-3),8), ((-7),9), ((16),10), ((-71),11), ((-18),12), ((-47),13), ((22),14), ((-39),15), ((-44),16), ((44),17), ((56),18), ((69),19), ((79),20), ((-86),21), ((18),22), ((-28),23), ((-12),24), ((9),25), ((-27),26), ((-3),27), ((30),28), ((-26),30), ((-40),31), ((-26),32), ((57),33), ((-4),34), ((-2),35), ((-20),36), ((-23),37), ((50),38), ((25),39), ((-63),40), ((-73),41), ((29),42), ((84),43), ((54),44), ((-56),45), ((-13),46), ((-19),47), ((-24),48), ((27),49)], (567))]
[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]