[("GEQ", [((1),0), ((2),2), ((2),7), ((2),10), ((1),15), ((-2),18), ((2),19), ((1),20), ((1),21), ((2),22), ((-2),25), ((-2),26), ((-1),27), ((2),29), ((-1),32), ((-1),35), ((-1),37), ((-1),40), ((-2),42), ((-2),43), ((-2),44), ((-1),45), ((-2),47), ((1),48), ((1),49)], (-18)), ("GEQ", [((-1),0), ((1),1), ((1),2), ((1),3), ((-1),4), ((-1),5), ((2),7), ((-2),10), ((-1),12), ((1),14), ((-2),15), ((1),17), ((2),18), ((1),19), ((2),20), ((-1),22), ((2),23), ((2),26), ((-1),29), ((2),30), ((-2),33), ((1),35), ((2),36), ((2),37), ((-1),40), ((-1),42), ((-1),43), ((-2),44), ((2),45), ((2),46), ((2),47), ((-1),48)], (-21)), ("GEQ", [((-1),0), ((-1),1), ((2),2), ((-2),4), ((1),10), ((-2),11), ((-1),12), ((-2),15), ((-1),16), ((-1),22), ((1),23), ((2),24), ((-2),25), ((-1),26), ((-2),28), ((-2),30), ((1),32), ((-1),33), ((-1),37), ((1),38), ((2),42), ((-2),43), ((1),44), ((-1),45), ((-1),46), ((2),48), ((2),49)], (22)), ("GEQ", [((1),2), ((1),3), ((2),4), ((-1),6), ((-1),8), ((2),9), ((-2),10), ((1),11), ((-2),13), ((-1),14), ((1),15), ((1),18), ((-2),20), ((2),22), ((2),23), ((1),25), ((2),26), ((-1),28), ((-2),30), ((-1),32), ((1),33), ((2),34), ((2),35), ((-2),36), ((-1),37), ((-1),38), ((-1),39), ((-2),42), ((1),43), ((1),44), ((-2),45), ((1),46)], (6)), ("GEQ", [((-2),1), ((-1),3), ((2),4), ((-1),6), ((-2),7), ((2),9), ((1),10), ((-2),11), ((-2),12), ((-2),14), ((2),15), ((-2),16), ((-2),18), ((2),19), ((2),21), ((1),22), ((-1),25), ((2),26), ((2),27), ((-2),31), ((2),32), ((1),34), ((2),35), ((2),36), ((-2),39), ((2),40), ((2),43), ((1),44), ((2),45), ((-2),46), ((2),47), ((2),48)], (-17)), ("GEQ", [((-1),0), ((-2),2), ((-2),3), ((-2),4), ((2),8), ((-2),11), ((-2),12), ((2),13), ((-2),14), ((2),16), ((-1),17), ((1),20), ((1),21), ((-2),22), ((-2),23), ((-1),24), ((1),25), ((1),27), ((-1),29), ((-1),33), ((-2),34), ((1),35), ((-2),36), ((-2),37), ((-1),38), ((1),39), ((2),40), ((1),41), ((-2),42), ((1),43), ((-1),44), ((2),46), ((2),48), ((-1),49)], (3)), ("GEQ", [((1),0), ((1),2), ((1),4), ((-1),5), ((1),7), ((-1),8), ((-1),11), ((2),12), ((-1),13), ((-2),15), ((-1),16), ((1),20), ((-2),21), ((1),24), ((-1),27), ((-1),29), ((2),31), ((-1),32), ((-2),33), ((-2),34), ((1),36), ((1),40), ((1),42), ((-1),43), ((-1),44), ((-1),48), ((-1),49)], (2)), ("GEQ", [((-2),0), ((-2),1), ((1),2), ((2),6), ((-2),7), ((-2),8), ((2),13), ((1),14), ((1),15), ((-1),16), ((-2),17), ((-1),18), ((-1),19), ((2),23), ((-2),24), ((2),25), ((2),27), ((2),28), ((-2),32), ((-2),33), ((2),34), ((2),36), ((1),38), ((-1),39), ((-2),40), ((-2),41), ((1),43), ((2),44), ((-2),47), ((-1),48)], (11)), ("GEQ", [((-2),1), ((2),2), ((1),4), ((-1),8), ((2),9), ((1),11), ((-1),12), ((1),13), ((-2),14), ((2),15), ((-1),19), ((2),22), ((1),26), ((-1),27), ((2),29), ((-1),30), ((-2),32), ((1),33), ((2),34), ((-1),36), ((1),38), ((2),39), ((-1),41), ((1),42), ((-2),43), ((1),46), ((2),48)], (7)), ("GEQ", [((-2),2), ((1),3), ((-1),4), ((2),5), ((1),6), ((-1),7), ((-1),8), ((-2),12), ((-2),16), ((-1),18), ((-2),19), ((-2),22), ((-2),25), ((1),27), ((-1),28), ((-2),29), ((-1),30), ((2),31), ((-2),33), ((2),34), ((2),35), ((2),36), ((2),38), ((-2),39), ((2),41), ((-1),43), ((-2),44), ((-1),45), ((-2),46), ((-1),48)], (23)), ("GEQ", [((-2),0), ((-2),1), ((-2),2), ((2),3), ((2),5), ((-2),7), ((-2),8), ((1),9), ((2),10), ((1),11), ((-1),12), ((2),13), ((-2),15), ((1),17), ((1),18), ((1),19), ((2),20), ((-2),22), ((-1),24), ((1),25), ((-1),28), ((1),30), ((2),31), ((2),34), ((2),35), ((2),36), ((-1),43), ((-2),44), ((-1),46), ((-2),47), ((-1),48), ((1),49)], (16)), ("GEQ", [((-2),0), ((2),1), ((2),2), ((-2),3), ((1),5), ((-2),6), ((-1),7), ((2),12), ((-2),14), ((-1),15), ((-2),16), ((-1),17), ((-2),19), ((2),23), ((-2),28), ((2),29), ((2),30), ((2),32), ((1),33), ((2),36), ((1),38), ((1),40), ((-2),41), ((2),43), ((2),44), ((-2),45), ((2),47), ((-1),48)], (8)), ("GEQ", [((-2),0), ((-2),1), ((1),2), ((-1),3), ((-1),4), ((2),5), ((1),7), ((-2),8), ((1),9), ((2),12), ((-1),15), ((-1),17), ((-2),18), ((2),19), ((-2),20), ((-1),21), ((2),22), ((1),24), ((-2),25), ((-1),26), ((2),27), ((-1),28), ((1),29), ((-1),30), ((-1),32), ((-1),33), ((2),34), ((2),35), ((-1),37), ((2),38), ((-2),39), ((1),41), ((2),43), ((1),44), ((-1),46), ((2),48)], (18)), ("GEQ", [((-1),0), ((-2),1), ((-1),2), ((-2),4), ((2),5), ((-1),7), ((-1),8), ((-2),14), ((1),15), ((-1),17), ((1),19), ((1),20), ((1),21), ((1),22), ((1),23), ((-1),24), ((2),26), ((-2),27), ((2),32), ((-2),35), ((-2),37), ((2),38), ((-2),39), ((1),41), ((-1),42), ((1),44), ((1),45), ((2),49)], (-11)), ("GEQ", [((-1),2), ((-1),3), ((2),4), ((2),5), ((-2),6), ((1),7), ((2),8), ((1),10), ((-1),11), ((-1),13), ((-2),14), ((-2),15), ((-1),16), ((-2),18), ((2),21), ((-2),23), ((-1),24), ((2),30), ((-1),32), ((2),35), ((1),39), ((2),40), ((1),41), ((1),42), ((-2),44), ((-2),45), ((1),46), ((-1),47)], (-2)), ("GEQ", [((1),3), ((-2),4), ((-1),8), ((-2),9), ((2),10), ((-1),11), ((-2),12), ((1),15), ((-2),16), ((-2),17), ((-1),19), ((1),21), ((1),22), ((-2),23), ((1),24), ((2),26), ((-1),28), ((1),34), ((-2),35), ((-2),37), ((-2),38), ((-1),40), ((-2),41), ((-1),42), ((-2),44), ((2),45), ((2),46), ((2),47), ((2),49)], (-1)), ("GEQ", [((2),0), ((-2),1), ((2),2), ((2),4), ((1),5), ((-2),10), ((-1),11), ((1),14), ((2),16), ((2),17), ((1),18), ((1),21), ((-2),23), ((2),25), ((-1),29), ((2),31), ((-2),32), ((1),33), ((2),34), ((-1),35), ((1),37), ((1),38), ((2),39), ((1),40), ((1),41), ((1),43), ((1),45), ((-2),46), ((-1),47), ((-1),48), ((2),49)], (-43)), ("GEQ", [((-2),3), ((2),6), ((1),7), ((-1),11), ((-2),12), ((-1),13), ((-2),14), ((1),17), ((-1),19), ((-2),20), ((-2),21), ((2),26), ((-1),33), ((2),34), ((2),38), ((-2),41), ((2),43), ((-2),44), ((1),45), ((1),46), ((-2),47), ((2),48), ((-2),49)], (-1)), ("GEQ", [((-2),0), ((2),1), ((2),2), ((-2),3), ((-1),6), ((-1),8), ((-2),9), ((1),12), ((-1),14), ((1),15), ((2),16), ((1),17), ((-1),18), ((1),21), ((2),23), ((-2),26), ((-1),27), ((-2),28), ((2),30), ((-2),33), ((1),34), ((-1),36), ((2),37), ((1),40), ((1),41), ((2),42), ((-1),44), ((-1),46), ((-2),47), ((1),48)], (13)), ("GEQ", [((-2),1), ((-2),2), ((1),3), ((1),4), ((1),6), ((2),7), ((1),9), ((1),12), ((-1),13), ((-1),14), ((-2),21), ((-1),24), ((-1),25), ((2),26), ((-1),28), ((-1),30), ((-2),31), ((1),33), ((-2),34), ((1),35), ((1),37), ((-2),38), ((-2),39), ((-1),41), ((2),42), ((1),43), ((-1),44), ((1),46), ((-2),49)], (22)), ("GEQ", [((1),0), ((-2),1), ((2),2), ((-2),3), ((-2),4), ((1),5), ((-1),6), ((-1),7), ((1),9), ((1),10), ((2),15), ((-1),16), ((2),17), ((-2),21), ((-2),22), ((-1),23), ((1),24), ((-2),26), ((2),28), ((1),29), ((-1),30), ((-2),31), ((1),32), ((1),33), ((-1),36), ((-2),37), ((-2),38), ((1),42), ((-2),43), ((1),44), ((-2),45), ((2),46), ((-1),47)], (-19)), ("GEQ", [((-1),0), ((-1),2), ((2),4), ((-1),5), ((-2),6), ((-2),7), ((1),8), ((1),9), ((-1),10), ((-2),11), ((-2),12), ((-2),14), ((1),17), ((-2),18), ((2),23), ((2),25), ((1),26), ((-1),27), ((1),28), ((1),29), ((-1),34), ((-2),35), ((2),36), ((-2),37), ((1),42), ((1),43), ((-2),45), ((1),46), ((-1),48)], (21)), ("GEQ", [((-2),0), ((-2),1), ((1),2), ((-2),3), ((1),4), ((2),5), ((1),6), ((2),7), ((-2),8), ((-1),9), ((-2),13), ((-2),16), ((2),17), ((-2),19), ((-2),20), ((-2),21), ((2),22), ((-2),23), ((2),24), ((-2),25), ((-1),26), ((1),30), ((-2),32), ((-1),35), ((-2),37), ((-2),39), ((-2),40), ((-1),41), ((2),43), ((2),44), ((-2),48)], (17)), ("GEQ", [((-2),0), ((2),4), ((2),5), ((1),6), ((1),8), ((-2),9), ((-2),10), ((2),11), ((-1),13), ((-1),15), ((1),20), ((1),22), ((1),23), ((2),24), ((2),25), ((2),26), ((-2),27), ((2),28), ((1),30), ((-2),31), ((2),32), ((-1),33), ((-2),35), ((1),37), ((-2),38), ((-1),39), ((-2),41), ((-1),42), ((-1),43), ((-1),46)], (-23)), ("GEQ", [((2),1), ((2),3), ((2),4), ((2),5), ((1),7), ((1),10), ((-2),11), ((-2),12), ((-2),13), ((2),14), ((-2),16), ((-2),18), ((-2),19), ((1),21), ((-1),23), ((2),24), ((-1),25), ((2),28), ((-2),29), ((-1),30), ((2),31), ((-2),32), ((2),33), ((2),36), ((2),37), ((-1),38), ((-2),40), ((2),42), ((-2),43), ((-2),45), ((1),46), ((-1),47), ((-1),48)], (-12)), ("GEQ", [((-2),0), ((2),2), ((-2),3), ((-2),9), ((-1),15), ((-1),16), ((-1),17), ((-2),18), ((-1),20), ((2),21), ((-2),22), ((-1),23), ((2),25), ((1),27), ((-1),29), ((-2),31), ((-2),32), ((1),35), ((1),36), ((2),39), ((1),45), ((2),46), ((1),48), ((-2),49)], (-4)), ("GEQ", [((-2),1), ((-1),2), ((2),3), ((-1),4), ((-2),5), ((-1),6), ((-1),7), ((-1),8), ((-1),9), ((1),11), ((-2),13), ((1),14), ((-1),15), ((1),16), ((2),19), ((-1),20), ((-2),22), ((-2),23), ((-2),24), ((-1),27), ((1),28), ((2),29), ((2),30), ((1),32), ((-1),33), ((1),34), ((1),35), ((-2),36), ((1),38), ((1),40), ((-2),42), ((-1),44), ((-1),45), ((2),47), ((-2),48), ((-1),49)], (6)), ("GEQ", [((-2),0), ((1),1), ((-2),5), ((-1),9), ((1),11), ((-2),12), ((2),15), ((1),16), ((-2),17), ((2),18), ((-2),22), ((-1),23), ((-2),24), ((-2),25), ((-1),26), ((-1),27), ((1),29), ((2),30), ((-1),31), ((2),33), ((1),34), ((2),35), ((1),36), ((-1),38), ((2),39), ((-1),40), ((2),41), ((2),43), ((1),44), ((2),46), ((-1),48), ((-2),49)], (26)), ("GEQ", [((2),0), ((-2),2), ((1),3), ((-2),4), ((-2),6), ((-1),7), ((1),8), ((-2),10), ((-2),11), ((-1),12), ((-2),13), ((2),14), ((-1),19), ((-1),20), ((-1),21), ((-1),22), ((-1),23), ((-2),24), ((-2),25), ((-2),26), ((2),28), ((-1),29), ((2),30), ((-1),33), ((-1),34), ((2),36), ((1),38), ((1),40), ((2),41), ((-2),43), ((2),44), ((-1),45), ((-1),47), ((2),49)], (1)), ("GEQ", [((1),0), ((-2),1), ((-2),6), ((2),8), ((1),9), ((-2),10), ((2),11), ((2),12), ((-2),13), ((-2),16), ((-2),19), ((1),20), ((2),22), ((-2),26), ((2),30), ((1),32), ((1),35), ((-1),36), ((-1),37), ((-2),41), ((1),43), ((2),44), ((-2),46), ((2),47)], (-2)), ("GEQ", [((2),0), ((2),3), ((2),5), ((1),7), ((-1),9), ((-1),11), ((-1),13), ((1),14), ((-2),16), ((-2),19), ((2),20), ((-2),22), ((2),23), ((1),24), ((-2),25), ((-1),26), ((1),28), ((-2),29), ((-2),31), ((2),32), ((-1),33), ((1),34), ((-2),36), ((-2),37), ((-1),38), ((-2),39), ((2),40), ((1),42), ((2),43), ((-1),44)], (-26)), ("GEQ", [((-2),0), ((2),1), ((-1),2), ((1),3), ((1),4), ((2),5), ((1),6), ((2),8), ((-2),9), ((-2),11), ((-2),12), ((1),13), ((-1),14), ((1),15), ((2),16), ((1),17), ((-1),18), ((1),19), ((-1),20), ((1),21), ((1),24), ((-1),25), ((-2),27), ((1),28), ((-2),31), ((-2),35), ((2),37), ((-2),38), ((-1),39), ((2),40), ((1),41), ((2),43), ((2),45), ((2),48)], (-17)), ("GEQ", [((-2),3), ((-2),6), ((-2),7), ((-1),8), ((2),11), ((-1),12), ((1),13), ((1),15), ((2),18), ((1),19), ((2),20), ((1),22), ((-1),24), ((-1),25), ((-2),29), ((2),33), ((-1),35), ((1),36), ((-2),37), ((-2),38), ((2),45), ((-1),46)], (2)), ("GEQ", [((1),1), ((1),4), ((-1),6), ((-1),7), ((-2),9), ((-2),10), ((-1),13), ((-2),14), ((2),16), ((-1),17), ((-2),21), ((2),23), ((1),24), ((-2),25), ((-2),27), ((-2),28), ((-1),29), ((-1),30), ((1),31), ((1),32), ((1),34), ((2),38), ((1),41), ((2),43), ((2),47), ((1),49)], (29)), ("GEQ", [((1),1), ((-1),2), ((1),4), ((-2),6), ((-2),8), ((2),9), ((1),11), ((2),12), ((1),13), ((2),14), ((2),15), ((1),17), ((1),18), ((1),19), ((-1),20), ((1),21), ((1),22), ((1),24), ((-1),25), ((1),26), ((2),28), ((1),30), ((1),31), ((2),32), ((-2),33), ((-1),34), ((-2),35), ((-1),38), ((2),41), ((-2),45), ((-2),46), ((-2),47), ((-2),49)], (1)), ("GEQ", [((2),0), ((2),1), ((1),3), ((-2),4), ((-1),5), ((1),6), ((-1),7), ((-1),8), ((-2),10), ((-2),11), ((2),14), ((-1),15), ((-2),16), ((1),21), ((-1),22), ((-2),23), ((1),24), ((-2),25), ((-1),26), ((1),28), ((2),29), ((-1),30), ((-2),31), ((-2),33), ((2),35), ((1),36), ((-2),37), ((-1),38), ((1),39), ((2),42), ((-1),44), ((-2),47), ((-1),49)], (-7)), ("GEQ", [((-2),1), ((-2),3), ((-2),5), ((2),8), ((2),9), ((-2),10), ((1),12), ((-2),16), ((2),17), ((1),18), ((2),20), ((2),23), ((1),26), ((1),30), ((2),31), ((1),32), ((2),33), ((-2),36), ((1),38), ((2),39), ((1),42), ((1),44), ((-1),45), ((-1),46), ((1),47), ((-1),48), ((2),49)], (-34)), ("GEQ", [((-1),0), ((-2),1), ((2),3), ((1),5), ((2),6), ((-2),8), ((1),11), ((2),12), ((1),13), ((-2),14), ((-1),15), ((2),16), ((-2),17), ((1),18), ((2),20), ((1),21), ((2),23), ((1),25), ((1),27), ((-1),32), ((-2),33), ((2),35), ((1),37), ((-1),38), ((1),39), ((2),40), ((-1),41), ((-1),42), ((-2),47), ((2),48), ((-1),49)], (26)), ("GEQ", [((2),0), ((-2),1), ((-2),3), ((-2),4), ((1),5), ((1),7), ((-2),8), ((2),9), ((-1),11), ((1),13), ((2),16), ((1),17), ((1),18), ((1),19), ((-2),23), ((1),26), ((-2),27), ((1),28), ((2),29), ((-1),30), ((-1),31), ((1),34), ((-1),35), ((-2),37), ((2),40), ((2),41), ((2),43), ((2),45), ((-1),47), ((1),49)], (-25)), ("GEQ", [((-1),0), ((-2),1), ((-1),3), ((-1),4), ((-1),5), ((1),6), ((2),7), ((-1),8), ((-1),9), ((-1),12), ((-2),13), ((-1),16), ((1),18), ((-2),19), ((2),20), ((1),21), ((-1),22), ((1),23), ((2),25), ((-2),27), ((1),29), ((2),30), ((-2),31), ((-2),33), ((1),34), ((1),36), ((2),42), ((2),45), ((-2),47), ((2),48)], (2)), ("GEQ", [((-1),1), ((1),3), ((-2),4), ((-2),5), ((2),7), ((2),8), ((2),9), ((1),11), ((2),13), ((2),14), ((-2),15), ((-2),18), ((-1),19), ((1),20), ((1),21), ((-2),24), ((2),25), ((-2),26), ((-2),28), ((2),29), ((-2),31), ((1),32), ((1),34), ((1),36), ((-1),37), ((-2),42), ((1),43), ((-2),46), ((-1),48)], (-2)), ("GEQ", [((1),1), ((1),3), ((2),4), ((-1),8), ((2),9), ((-1),11), ((2),12), ((-1),13), ((-2),15), ((-2),16), ((-1),17), ((1),19), ((-1),21), ((1),23), ((1),25), ((-1),27), ((1),28), ((1),30), ((2),31), ((-1),32), ((1),33), ((2),36), ((-1),37), ((-2),38), ((-1),39), ((2),40), ((2),42), ((1),43), ((-2),45), ((-1),46)], (-12)), ("GEQ", [((1),0), ((-1),1), ((-1),2), ((-2),3), ((-2),5), ((1),7), ((2),8), ((-1),9), ((2),10), ((1),12), ((2),13), ((-1),14), ((1),15), ((2),16), ((2),18), ((-2),20), ((1),21), ((2),23), ((1),26), ((-1),29), ((-1),30), ((-1),31), ((-2),32), ((-1),35), ((-1),36), ((2),37), ((-1),38), ((-1),39), ((-1),40), ((-2),41), ((1),42), ((-2),45), ((1),46), ((-1),47), ((2),48), ((1),49)], (25)), ("GEQ", [((-1),0), ((1),1), ((2),2), ((2),3), ((-1),4), ((-2),5), ((1),6), ((-1),7), ((1),8), ((-2),10), ((2),16), ((-2),18), ((-1),20), ((2),22), ((1),24), ((-1),27), ((-2),28), ((2),31), ((-1),34), ((1),35), ((1),39), ((2),41), ((1),43), ((-2),44), ((-1),45), ((1),46), ((2),47), ((-1),48)], (20)), ("GEQ", [((1),0), ((-2),4), ((2),6), ((-2),7), ((-2),9), ((1),11), ((-1),12), ((-2),13), ((1),14), ((1),15), ((1),16), ((1),17), ((2),18), ((2),19), ((-2),21), ((2),24), ((-2),25), ((-2),26), ((2),27), ((-1),28), ((1),29), ((2),30), ((1),33), ((1),36), ((1),37), ((-2),38), ((-2),40), ((-1),41), ((1),42), ((1),43), ((-1),45), ((1),47), ((-2),49)], (26)), ("GEQ", [((2),0), ((-2),4), ((2),5), ((2),6), ((-2),7), ((2),10), ((1),11), ((-1),14), ((-1),15), ((1),17), ((2),19), ((1),20), ((2),22), ((-1),23), ((-1),26), ((-2),27), ((-1),29), ((-2),32), ((2),34), ((2),35), ((-2),36), ((2),40), ((-1),42), ((1),46), ((2),47), ((-1),48), ((-2),49)], (-11)), ("GEQ", [((-1),0), ((-2),1), ((1),2), ((2),3), ((2),4), ((1),5), ((-1),6), ((-1),7), ((1),8), ((-1),9), ((-1),10), ((2),11), ((-2),14), ((2),18), ((1),19), ((-1),20), ((-1),21), ((-1),23), ((-1),24), ((-2),26), ((-2),27), ((2),28), ((-2),31), ((2),32), ((-1),35), ((1),36), ((-2),37), ((1),39), ((1),42), ((-2),44), ((2),47), ((-1),48), ((-2),49)], (25)), ("GEQ", [((-1),0), ((2),1), ((-1),3), ((1),5), ((-1),7), ((1),8), ((-1),10), ((1),11), ((1),12), ((2),13), ((1),14), ((2),15), ((2),16), ((1),17), ((1),18), ((1),19), ((2),20), ((2),21), ((2),22), ((-1),27), ((2),28), ((1),29), ((-1),30), ((1),31), ((2),33), ((-2),34), ((-1),38), ((1),39), ((-2),40), ((-2),41), ((-1),42), ((2),44), ((-1),45), ((2),46), ((1),47), ((-1),48), ((1),49)], (-33)), ("GEQ", [((1),1), ((-2),3), ((2),4), ((-2),5), ((-1),6), ((-2),7), ((2),13), ((1),16), ((-2),17), ((-2),18), ((1),20), ((-1),24), ((-2),26), ((1),29), ((-2),31), ((-1),33), ((1),34), ((-1),35), ((2),38), ((2),44), ((-2),45), ((1),47), ((1),48), ((-2),49)], (19)), ("GEQ", [((34),0), ((42),1), ((-13),2), ((5),3), ((-35),5), ((19),6), ((25),7), ((32),8), ((4),9), ((-7),10), ((17),11), ((17),12), ((-1),13), ((37),14), ((3),15), ((10),16), ((-8),17), ((25),18), ((-21),19), ((-21),20), ((-11),21), ((-15),22), ((-26),23), ((-15),24), ((37),25), ((7),26), ((27),27), ((8),28), ((-34),30), ((21),31), ((10),32), ((39),33), ((-49),34), ((-12),35), ((-30),36), ((25),37), ((17),38), ((28),39), ((-39),40), ((-11),41), ((-23),42), ((-28),43), ((20),44), ((18),45), ((-1),46), ((-25),48), ((3),49)], (-422)), ("GEQ", [((-100),0), ((-82),1), ((28),2), ((-4),3), ((-6),4), ((77),5), ((-52),6), ((-76),7), ((-91),8), ((-31),9), ((24),10), ((-41),11), ((-47),12), ((3),13), ((-125),14), ((-9),15), ((7),16), ((7),17), ((-57),18), ((73),19), ((38),20), ((19),21), ((21),22), ((90),23), ((48),24), ((-82),25), ((1),26), ((-72),27), ((-42),28), ((3),29), ((85),30), ((-68),31), ((2),32), ((-124),33), ((108),34), ((13),35), ((67),36), ((-45),37), ((-43),38), ((-79),39), ((121),40), ((46),41), ((51),42), ((62),43), ((-66),44), ((-30),45), ((8),46), ((21),47), ((90),48), ((-19),49)], (1483)), ("GEQ", [((103),0), ((116),1), ((-34),2), ((24),4), ((-104),5), ((58),6), ((101),7), ((130),8), ((23),9), ((-25),10), ((36),11), ((62),12), ((5),13), ((129),14), ((4),15), ((1),16), ((-8),17), ((56),18), ((-72),19), ((-52),20), ((-21),21), ((-31),22), ((-85),23), ((-44),24), ((105),25), ((25),26), ((98),27), ((34),28), ((-23),29), ((-111),30), ((81),31), ((4),32), ((145),33), ((-165),34), ((-29),35), ((-92),36), ((80),37), ((46),38), ((90),39), ((-130),40), ((-49),41), ((-50),42), ((-88),43), ((65),44), ((57),45), ((-10),46), ((-10),47), ((-81),48), ((34),49)], (-1792)), ("GEQ", [((122),0), ((22),1), ((-11),2), ((4),3), ((-8),4), ((-55),5), ((46),6), ((60),7), ((47),8), ((75),9), ((1),10), ((54),11), ((61),12), ((3),13), ((148),14), ((-2),15), ((-40),16), ((2),17), ((58),18), ((-73),19), ((-17),20), ((-16),21), ((20),22), ((-111),23), ((-68),24), ((64),25), ((-38),26), ((68),27), ((44),28), ((8),29), ((-69),30), ((84),31), ((-45),32), ((126),33), ((-32),34), ((34),35), ((-44),36), ((14),37), ((51),38), ((74),39), ((-116),40), ((-74),41), ((-51),42), ((-48),43), ((85),44), ((13),45), ((-27),46), ((-41),47), ((-101),48), ((27),49)], (-1550)), ("GEQ", [((-34),0), ((8),1), ((-6),2), ((15),3), ((-27),4), ((38),5), ((-21),6), ((-42),7), ((-33),8), ((-17),9), ((-12),10), ((10),11), ((-44),12), ((-3),13), ((-26),14), ((2),15), ((17),16), ((25),17), ((-14),18), ((21),19), ((34),20), ((19),21), ((1),22), ((45),23), ((25),24), ((-38),25), ((-17),26), ((-38),27), ((-33),28), ((19),29), ((51),30), ((-21),31), ((39),32), ((-56),33), ((47),34), ((-15),35), ((24),36), ((-28),37), ((-10),38), ((-28),39), ((17),40), ((50),41), ((-13),42), ((19),43), ((-42),44), ((-41),45), ((-8),46), ((-7),48), ((-15),49)], (688)), ("GEQ", [((-24),0), ((-123),1), ((52),2), ((-25),3), ((59),4), ((1),5), ((15),6), ((17),7), ((-63),8), ((-6),9), ((59),10), ((-94),11), ((32),12), ((-13),13), ((-64),14), ((6),15), ((-35),16), ((-59),17), ((-41),18), ((28),19), ((-49),20), ((-41),21), ((3),22), ((-2),23), ((-3),24), ((-23),25), ((21),26), ((20),27), ((54),28), ((-37),29), ((-19),30), ((-38),31), ((-123),32), ((-21),33), ((40),34), ((54),35), ((40),36), ((29),37), ((-28),38), ((-41),39), ((89),40), ((-53),41), ((103),42), ((34),43), ((37),44), ((60),45), ((36),46), ((3),47), ((114),48), ((3),49)], (189))]
[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]