[("GEQ", [((1),0), ((-2),2), ((-2),5), ((1),6), ((-1),8), ((-1),9), ((-1),10), ((-2),11), ((-1),13), ((1),14), ((-2),15), ((2),16), ((-1),18), ((-2),19), ((2),20), ((-1),21), ((2),24), ((1),25), ((1),26), ((1),30), ((2),31), ((-2),33), ((-2),34), ((1),35), ((-1),36), ((2),39), ((2),40), ((2),42), ((1),43), ((-1),44), ((1),47), ((1),48)], (30)), ("GEQ", [((-1),0), ((1),2), ((2),4), ((2),5), ((2),6), ((2),8), ((-2),10), ((-1),11), ((-1),12), ((-1),13), ((1),14), ((-1),15), ((-1),16), ((2),17), ((1),18), ((-1),20), ((-1),21), ((1),22), ((-2),23), ((-1),25), ((1),30), ((-2),31), ((1),33), ((2),35), ((2),36), ((-2),37), ((-2),38), ((2),39), ((-1),40), ((-1),42), ((2),44), ((1),45), ((2),46), ((2),47), ((-1),48)], (-2)), ("GEQ", [((-1),1), ((-1),2), ((2),3), ((1),4), ((1),5), ((-2),7), ((-1),9), ((1),12), ((1),14), ((1),15), ((-2),20), ((-1),21), ((2),22), ((2),24), ((-1),25), ((-2),27), ((1),29), ((-1),33), ((-1),34), ((1),37), ((2),38), ((2),40), ((-1),42), ((-2),43), ((1),44), ((-2),45), ((-1),46), ((1),47), ((1),49)], (-4)), ("GEQ", [((-1),0), ((-1),4), ((-1),6), ((-2),7), ((-2),8), ((1),9), ((-2),10), ((2),12), ((-2),14), ((2),16), ((2),17), ((1),18), ((1),20), ((1),21), ((-2),24), ((2),26), ((2),28), ((-1),29), ((-2),31), ((1),34), ((2),35), ((1),36), ((1),37), ((-2),38), ((-1),45), ((-1),46), ((1),47), ((1),48), ((-1),49)], (34)), ("GEQ", [((-1),0), ((-2),2), ((-2),3), ((2),4), ((2),6), ((2),8), ((2),10), ((2),11), ((-1),13), ((-1),16), ((-2),17), ((-2),18), ((-1),19), ((-2),24), ((-2),25), ((-1),30), ((-2),32), ((1),33), ((1),34), ((1),35), ((-1),37), ((1),39), ((-1),40), ((-1),41), ((1),44), ((2),46), ((-1),47), ((-2),48)], (-23)), ("GEQ", [((1),0), ((-1),2), ((-1),5), ((-2),7), ((-1),10), ((-1),12), ((-1),14), ((2),17), ((1),19), ((-2),20), ((-2),21), ((-2),23), ((1),26), ((1),27), ((-1),30), ((-2),31), ((-1),32), ((2),33), ((-2),37), ((-2),40), ((-1),41), ((2),42), ((-2),44), ((-2),45), ((2),46), ((-2),47), ((1),48)], (-30)), ("GEQ", [((-2),0), ((-1),1), ((-1),4), ((-2),5), ((1),6), ((-2),8), ((1),10), ((-1),13), ((-1),14), ((-1),19), ((-2),20), ((-1),21), ((-2),24), ((2),26), ((2),27), ((-2),28), ((-2),30), ((-2),31), ((2),32), ((-2),33), ((2),34), ((-2),35), ((1),36), ((-1),39), ((2),40), ((-2),44), ((2),45), ((2),47), ((2),49)], (20)), ("GEQ", [((2),0), ((-1),2), ((1),3), ((1),5), ((2),10), ((-2),11), ((1),15), ((2),17), ((2),18), ((-2),20), ((2),21), ((1),22), ((2),24), ((2),27), ((2),28), ((1),30), ((-1),31), ((-2),34), ((-2),36), ((2),37), ((1),39), ((1),40), ((-2),41), ((2),42), ((-1),43), ((-2),45), ((1),46), ((2),47), ((1),49)], (10)), ("GEQ", [((-1),1), ((1),2), ((-2),3), ((2),5), ((-1),6), ((1),8), ((2),11), ((2),14), ((-2),15), ((1),16), ((1),17), ((2),19), ((1),22), ((-2),23), ((2),25), ((2),26), ((2),28), ((-1),29), ((2),30), ((1),32), ((-1),33), ((-2),36), ((2),37), ((2),38), ((1),39), ((-2),41), ((1),42), ((-1),43), ((-1),44), ((2),45), ((1),47), ((1),48), ((-2),49)], (1)), ("GEQ", [((1),1), ((2),4), ((-2),6), ((-1),7), ((-1),9), ((-2),10), ((-2),11), ((2),12), ((-1),14), ((-1),15), ((-2),16), ((2),18), ((-1),19), ((1),20), ((-1),21), ((-2),22), ((2),23), ((2),25), ((-2),26), ((-2),27), ((-1),30), ((1),31), ((2),34), ((-1),35), ((1),36), ((1),37), ((2),39), ((1),40), ((1),43), ((2),44)], (16)), ("GEQ", [((-1),0), ((1),3), ((-2),4), ((1),5), ((-1),6), ((-1),7), ((2),8), ((-2),9), ((2),11), ((1),12), ((2),13), ((1),15), ((1),16), ((-2),17), ((-1),21), ((-2),22), ((1),23), ((-2),25), ((1),26), ((-2),28), ((-2),31), ((1),32), ((1),34), ((-2),35), ((2),37), ((-2),40), ((-1),41), ((-2),42), ((1),44), ((2),45), ((-1),46), ((-1),47), ((2),48)], (-13)), ("GEQ", [((-1),0), ((1),2), ((-2),4), ((-2),8), ((-1),12), ((1),13), ((2),14), ((-1),15), ((-2),16), ((-1),17), ((-1),18), ((2),20), ((-1),22), ((2),23), ((-1),24), ((-2),26), ((1),27), ((-2),28), ((-1),29), ((1),31), ((-1),33), ((2),35), ((-1),37), ((-2),38), ((1),39), ((-1),41), ((-1),42), ((1),43), ((1),45), ((-2),46), ((2),47), ((1),48), ((-2),49)], (21)), ("GEQ", [((-1),1), ((-1),2), ((1),4), ((-1),5), ((-2),6), ((-2),7), ((2),8), ((-2),9), ((2),11), ((-2),12), ((-2),14), ((1),17), ((2),18), ((2),19), ((2),21), ((-2),23), ((1),28), ((2),29), ((-2),34), ((-2),36), ((2),37), ((-2),38), ((1),41), ((1),42), ((2),43), ((2),44), ((-1),45), ((2),46), ((-2),49)], (1)), ("GEQ", [((-1),2), ((1),5), ((2),6), ((-1),7), ((2),8), ((-1),9), ((2),10), ((1),11), ((-2),13), ((-2),14), ((2),16), ((1),17), ((-2),20), ((2),21), ((1),22), ((2),25), ((1),28), ((-2),29), ((2),31), ((-2),34), ((-2),35), ((-2),39), ((-2),40), ((2),42), ((2),44), ((1),46), ((1),47)], (-15)), ("GEQ", [((-2),0), ((2),4), ((-2),5), ((-1),6), ((1),8), ((-1),9), ((-2),10), ((-1),11), ((-2),15), ((-1),16), ((-1),18), ((-2),19), ((-1),20), ((-1),21), ((-2),24), ((1),25), ((-2),27), ((-1),28), ((1),29), ((2),30), ((-1),31), ((2),32), ((-1),34), ((2),35), ((2),36), ((1),37), ((-2),39), ((-1),43), ((-2),46), ((1),47), ((1),48)], (29)), ("GEQ", [((-2),3), ((2),4), ((-2),8), ((1),9), ((2),10), ((1),11), ((1),13), ((-2),14), ((2),17), ((-1),20), ((1),21), ((-1),22), ((-2),23), ((-1),24), ((2),26), ((1),29), ((2),30), ((-1),31), ((-2),33), ((-2),36), ((2),40), ((-1),41), ((2),42), ((-2),43), ((1),44), ((2),46), ((-1),47), ((-2),49)], (15)), ("GEQ", [((1),0), ((-2),1), ((1),2), ((2),6), ((-2),7), ((-2),8), ((-2),9), ((2),10), ((1),13), ((-1),14), ((1),15), ((2),16), ((-2),17), ((-2),18), ((-1),19), ((-2),22), ((1),23), ((-1),25), ((-1),26), ((-2),28), ((-1),30), ((1),31), ((-1),33), ((-2),34), ((2),36), ((-1),37), ((-1),38), ((2),40), ((1),42), ((-2),43), ((-1),45), ((-1),46), ((-1),47), ((-2),48), ((-1),49)], (12)), ("GEQ", [((1),1), ((-2),7), ((-1),9), ((-1),10), ((-2),11), ((-2),12), ((-1),15), ((-2),18), ((1),22), ((-1),23), ((2),25), ((1),26), ((-2),28), ((-1),31), ((1),35), ((1),36), ((2),37), ((-2),42), ((1),44), ((2),46), ((1),49)], (2)), ("GEQ", [((-2),1), ((1),3), ((-1),5), ((2),6), ((1),9), ((1),11), ((1),13), ((-2),15), ((-1),17), ((1),18), ((1),21), ((2),23), ((2),25), ((1),26), ((2),27), ((-1),28), ((-2),32), ((-2),35), ((-2),39), ((-2),44), ((2),46)], (-18)), ("GEQ", [((2),1), ((1),3), ((-1),4), ((-1),6), ((-2),7), ((1),8), ((2),9), ((1),10), ((1),11), ((1),13), ((-2),16), ((-2),17), ((-2),20), ((-2),21), ((1),22), ((-2),23), ((-2),24), ((1),27), ((-1),28), ((-2),30), ((1),31), ((2),32), ((1),34), ((2),35), ((1),37), ((2),38), ((-2),39), ((-2),42), ((2),43), ((2),44), ((2),45), ((-2),47), ((-1),48)], (-20)), ("GEQ", [((1),6), ((-2),14), ((-2),15), ((1),17), ((1),19), ((-1),20), ((-2),21), ((1),22), ((-2),23), ((-2),24), ((-2),28), ((-2),30), ((1),31), ((1),33), ((1),34), ((1),38), ((-2),39), ((1),40), ((-2),41), ((2),44), ((-1),45), ((-1),49)], (0)), ("GEQ", [((2),3), ((2),4), ((1),7), ((1),8), ((-1),9), ((-2),14), ((2),15), ((2),16), ((2),17), ((-2),18), ((-2),19), ((1),20), ((-1),21), ((-1),22), ((-1),23), ((-1),24), ((-1),27), ((2),28), ((1),29), ((-1),32), ((1),35), ((2),38), ((-2),39), ((-2),42), ((-2),43), ((1),44), ((-1),46), ((1),48)], (-7)), ("GEQ", [((1),0), ((2),1), ((-1),2), ((2),3), ((-1),7), ((2),8), ((-1),9), ((2),12), ((-1),13), ((1),15), ((2),17), ((1),18), ((-1),19), ((-2),20), ((-2),22), ((1),23), ((1),24), ((1),25), ((-1),27), ((-2),30), ((-1),31), ((1),33), ((-1),34), ((1),36), ((2),38), ((-2),39), ((-1),40), ((-1),41), ((-1),43), ((-2),46), ((-1),47), ((-2),48)], (-28)), ("GEQ", [((-2),3), ((-1),5), ((-2),12), ((1),13), ((2),15), ((-2),18), ((1),19), ((-1),20), ((2),21), ((-2),23), ((-2),25), ((-1),26), ((-1),28), ((-2),29), ((2),30), ((1),32), ((-1),33), ((-2),34), ((-2),37), ((2),38), ((-1),40), ((1),41), ((1),42), ((-2),43), ((-2),45), ((-2),47), ((1),48)], (-1)), ("GEQ", [((-2),1), ((1),2), ((-2),3), ((1),5), ((-2),8), ((-2),9), ((-2),12), ((-2),13), ((2),16), ((-1),19), ((2),20), ((2),23), ((2),24), ((-1),26), ((2),27), ((1),28), ((2),29), ((1),30), ((1),31), ((-2),32), ((-2),33), ((2),34), ((-1),39), ((-2),40), ((-2),44), ((-1),46), ((-1),47), ((-1),48), ((-2),49)], (-31)), ("GEQ", [((1),0), ((1),1), ((-1),3), ((-1),4), ((-1),5), ((2),10), ((1),11), ((-1),12), ((-1),15), ((-2),16), ((2),21), ((2),23), ((-2),26), ((-1),28), ((-1),29), ((2),30), ((-2),31), ((-1),33), ((1),34), ((2),35), ((2),36), ((1),37), ((-2),38), ((2),39), ((-2),41), ((2),46), ((-2),49)], (26)), ("GEQ", [((1),0), ((1),1), ((-2),2), ((2),3), ((-1),5), ((1),6), ((-1),7), ((-1),9), ((-1),10), ((-1),12), ((2),13), ((-1),14), ((-1),15), ((-1),16), ((1),17), ((-1),18), ((-2),19), ((-2),25), ((-1),27), ((2),32), ((2),34), ((-2),36), ((-1),37), ((2),39), ((-2),41), ((2),42), ((-2),43), ((-1),44), ((-1),45), ((-1),48)], (1)), ("GEQ", [((-2),0), ((1),2), ((1),3), ((2),5), ((-1),6), ((-2),10), ((2),11), ((1),12), ((2),14), ((2),16), ((-2),17), ((2),19), ((-1),22), ((1),24), ((-1),25), ((1),26), ((1),28), ((1),29), ((2),31), ((-1),32), ((2),34), ((-1),35), ((2),37), ((-1),38), ((1),40), ((-1),41), ((1),45), ((-1),46), ((-1),47), ((-1),49)], (13)), ("GEQ", [((2),0), ((1),1), ((1),2), ((-1),3), ((-1),6), ((2),7), ((-2),10), ((-2),12), ((2),14), ((2),15), ((-2),16), ((-1),17), ((2),19), ((-2),22), ((-2),25), ((-2),26), ((2),27), ((-2),31), ((2),32), ((1),33), ((-1),36), ((-1),40), ((1),41), ((-1),43), ((-2),44), ((-2),45), ((-2),46), ((2),47), ((2),49)], (-24)), ("GEQ", [((1),1), ((1),3), ((-1),4), ((-1),5), ((2),6), ((-2),8), ((2),9), ((2),10), ((-2),11), ((-1),12), ((-2),13), ((-1),14), ((-1),15), ((-2),16), ((1),18), ((1),19), ((1),20), ((1),21), ((-1),22), ((-2),24), ((2),27), ((1),29), ((-2),30), ((-2),31), ((-2),33), ((2),34), ((1),35), ((-2),36), ((-1),38), ((-2),40), ((-1),42), ((-2),43), ((-2),44), ((-2),46), ((-1),47), ((-1),48)], (-2)), ("GEQ", [((-1),1), ((-1),2), ((-2),3), ((-1),7), ((1),8), ((-2),9), ((1),10), ((1),11), ((-1),12), ((1),13), ((2),23), ((-1),24), ((-2),25), ((-2),26), ((1),27), ((2),29), ((-2),32), ((2),33), ((-1),34), ((-2),36), ((2),38), ((2),39), ((1),40), ((-1),41), ((-2),42), ((-2),43), ((-1),45), ((-2),46), ((-1),48), ((1),49)], (-35)), ("GEQ", [((-1),1), ((-1),3), ((-2),4), ((2),5), ((1),6), ((2),9), ((1),11), ((2),13), ((-1),16), ((1),17), ((-2),19), ((-1),21), ((-1),22), ((2),23), ((-2),24), ((1),26), ((2),28), ((-1),32), ((1),33), ((1),37), ((-2),39), ((-1),40), ((2),41), ((-2),42), ((1),45), ((2),46), ((2),49)], (-48)), ("GEQ", [((1),0), ((-1),2), ((2),3), ((1),4), ((1),5), ((-1),6), ((-1),8), ((-1),9), ((1),10), ((-2),11), ((2),12), ((2),13), ((-2),14), ((-1),15), ((-2),19), ((-2),22), ((-2),24), ((2),28), ((-2),29), ((2),30), ((-2),31), ((-2),33), ((-2),34), ((2),36), ((-2),39), ((2),40), ((1),43), ((-1),45), ((1),46), ((2),47), ((1),49)], (26)), ("GEQ", [((2),0), ((2),1), ((-2),2), ((1),3), ((-2),4), ((-2),5), ((-2),7), ((1),8), ((2),9), ((-1),11), ((1),14), ((1),15), ((1),16), ((2),17), ((-2),20), ((-2),23), ((1),25), ((1),26), ((1),28), ((-1),29), ((-1),30), ((-2),32), ((-2),33), ((1),35), ((1),36), ((-2),37), ((-2),39), ((-1),40), ((2),41), ((1),42), ((-2),45)], (-20)), ("GEQ", [((2),1), ((2),2), ((2),5), ((-2),6), ((-1),7), ((2),8), ((-1),9), ((-2),11), ((1),12), ((-2),13), ((2),17), ((-1),18), ((1),19), ((1),21), ((-1),24), ((-1),25), ((-2),27), ((-2),28), ((-2),29), ((1),30), ((-2),31), ((-1),33), ((1),35), ((1),37), ((-2),38), ((2),41), ((-2),45), ((1),46), ((-1),48)], (26)), ("GEQ", [((-2),0), ((-2),1), ((2),2), ((2),3), ((-2),5), ((-2),7), ((1),8), ((-2),9), ((-2),10), ((1),11), ((-2),12), ((-2),14), ((-1),18), ((-1),19), ((1),21), ((-2),23), ((-2),24), ((1),26), ((-2),27), ((2),28), ((-1),29), ((-2),30), ((1),32), ((2),33), ((-1),34), ((1),36), ((1),40), ((-2),41), ((-2),43), ((-1),45), ((-1),46), ((1),48)], (30)), ("GEQ", [((-2),0), ((1),1), ((2),2), ((-1),3), ((-1),4), ((2),7), ((1),9), ((1),10), ((-2),12), ((1),13), ((1),16), ((-1),17), ((1),18), ((-1),22), ((2),25), ((-2),28), ((-1),29), ((1),30), ((2),33), ((-1),38), ((-1),39), ((1),42), ((-1),43), ((-2),45), ((1),47), ((-2),49)], (6)), ("GEQ", [((-1),0), ((-2),3), ((2),6), ((-1),8), ((1),9), ((-1),10), ((1),12), ((-1),13), ((-2),15), ((2),16), ((-2),17), ((-1),21), ((1),23), ((-2),24), ((-2),25), ((2),26), ((2),28), ((-2),29), ((2),30), ((1),31), ((1),32), ((1),34), ((-1),35), ((2),36), ((2),37), ((-1),38), ((2),39), ((-2),40), ((-1),42), ((-1),45), ((-2),49)], (28)), ("GEQ", [((1),0), ((1),1), ((1),2), ((2),5), ((-1),6), ((-1),7), ((-2),8), ((-1),12), ((-2),13), ((-2),15), ((1),16), ((-2),18), ((-2),19), ((-2),20), ((-1),22), ((-1),26), ((2),27), ((-1),28), ((-1),29), ((-1),31), ((-2),32), ((-2),34), ((2),35), ((-1),36), ((1),38), ((2),41), ((1),42), ((1),43), ((1),45), ((1),48)], (-16)), ("GEQ", [((2),1), ((2),2), ((-1),4), ((-2),5), ((-1),6), ((-2),7), ((2),8), ((1),10), ((2),11), ((1),12), ((-1),13), ((1),14), ((1),18), ((-2),19), ((-1),20), ((1),21), ((-1),22), ((-1),23), ((-1),24), ((1),25), ((2),26), ((-2),27), ((-1),29), ((1),30), ((2),31), ((-2),32), ((-1),34), ((-2),35), ((-1),36), ((-2),37), ((-2),38), ((1),39), ((1),40), ((1),41), ((-1),43), ((-2),45), ((-1),46), ((-2),47), ((1),48), ((-1),49)], (10)), ("GEQ", [((2),0), ((-2),4), ((1),5), ((-1),6), ((-1),7), ((1),8), ((-2),9), ((-1),10), ((-1),13), ((1),14), ((-1),15), ((1),16), ((1),18), ((-2),21), ((1),22), ((2),23), ((-2),25), ((2),26), ((1),28), ((-1),29), ((2),30), ((-2),31), ((-1),32), ((-2),34), ((-2),35), ((-2),36), ((-1),40), ((1),41), ((1),42), ((2),46)], (-33)), ("GEQ", [((1),0), ((-1),2), ((1),4), ((1),5), ((-2),7), ((-2),9), ((2),11), ((-2),12), ((2),13), ((-1),14), ((-1),15), ((-1),16), ((2),18), ((-2),20), ((1),21), ((-1),23), ((-1),26), ((2),28), ((-2),30), ((2),31), ((-1),32), ((1),33), ((2),34), ((-1),36), ((2),37), ((1),38), ((2),40), ((-2),41), ((-1),42), ((-1),45), ((-2),48)], (-26)), ("GEQ", [((1),1), ((-1),3), ((-1),4), ((2),7), ((1),8), ((-2),9), ((2),12), ((1),13), ((2),14), ((2),15), ((-2),16), ((2),17), ((1),18), ((2),19), ((2),20), ((1),21), ((-2),24), ((-1),27), ((-2),28), ((-2),29), ((1),31), ((-1),32), ((-2),33), ((-2),34), ((1),35), ((1),38), ((2),39), ((2),41), ((-1),42), ((1),44), ((2),45), ((1),46), ((-2),47), ((1),48), ((1),49)], (16)), ("GEQ", [((1),0), ((-2),1), ((2),3), ((-2),7), ((1),10), ((-1),12), ((-1),13), ((1),16), ((-2),17), ((2),19), ((-1),20), ((2),25), ((1),28), ((2),30), ((-1),31), ((2),32), ((-2),34), ((-1),37), ((-1),39), ((-2),41), ((-1),42), ((1),45), ((-1),46), ((-2),48), ((1),49)], (-13)), ("GEQ", [((1),0), ((-2),1), ((-1),4), ((2),6), ((1),8), ((1),10), ((-1),11), ((2),12), ((1),14), ((1),15), ((-2),16), ((-2),18), ((1),19), ((-2),20), ((-1),21), ((-2),25), ((-2),26), ((1),29), ((2),33), ((2),36), ((-2),43), ((-1),44), ((2),45), ((-2),46), ((1),47), ((2),48), ((2),49)], (-10)), ("GEQ", [((-2),1), ((1),2), ((1),4), ((2),5), ((-1),7), ((-2),8), ((2),10), ((-2),11), ((2),13), ((-1),14), ((2),15), ((-2),16), ((2),18), ((-1),22), ((2),23), ((-1),24), ((-2),25), ((-1),26), ((-2),27), ((2),30), ((1),35), ((2),39), ((1),42), ((-2),43), ((1),44), ((1),45), ((-1),49)], (11)), ("GEQ", [((1),0), ((-1),1), ((1),3), ((-1),4), ((1),5), ((2),9), ((1),11), ((2),12), ((1),13), ((-2),14), ((2),15), ((1),16), ((-1),17), ((1),18), ((1),19), ((-2),21), ((-2),23), ((-2),25), ((-1),27), ((2),28), ((2),29), ((1),30), ((-1),31), ((1),32), ((2),33), ((-1),35), ((1),36), ((-1),38), ((2),39), ((-1),40), ((2),41), ((1),42), ((-2),43), ((2),44), ((-2),49)], (-4)), ("GEQ", [((1),1), ((-1),2), ((-1),3), ((2),7), ((1),9), ((1),10), ((2),11), ((-1),14), ((-1),16), ((-1),18), ((-1),19), ((-1),20), ((-1),21), ((1),22), ((-1),23), ((-2),24), ((1),26), ((1),27), ((-2),28), ((-1),29), ((1),32), ((2),33), ((-1),34), ((-2),35), ((2),37), ((2),38), ((-1),39), ((2),41), ((1),44), ((-1),46), ((-1),48), ((-2),49)], (-20)), ("GEQ", [((1),1), ((2),2), ((-2),3), ((1),4), ((-1),6), ((1),7), ((2),8), ((2),9), ((-1),11), ((-2),12), ((1),13), ((2),15), ((1),18), ((-2),19), ((1),20), ((-1),21), ((2),25), ((2),26), ((-2),27), ((-2),29), ((-2),30), ((1),31), ((2),33), ((-1),35), ((-2),38), ((1),39), ((1),41), ((-2),44), ((-2),45), ((-2),49)], (11)), ("GEQ", [((-1),1), ((4),2), ((-16),3), ((4),4), ((2),5), ((-7),6), ((50),7), ((-5),8), ((-10),10), ((-13),11), ((-5),13), ((26),14), ((4),15), ((-10),16), ((1),17), ((-4),18), ((15),19), ((18),20), ((6),21), ((19),22), ((20),23), ((40),24), ((18),25), ((-26),26), ((-6),27), ((-14),28), ((10),29), ((-3),30), ((12),31), ((19),32), ((2),33), ((5),34), ((-7),35), ((14),36), ((-13),37), ((-1),38), ((-8),39), ((7),40), ((17),41), ((5),42), ((37),43), ((-17),44), ((24),45), ((8),46), ((15),47), ((-12),48), ((33),49)], (-29)), ("GEQ", [((-14),0), ((24),1), ((19),3), ((8),4), ((-32),5), ((-20),6), ((1),7), ((15),8), ((20),9), ((-31),10), ((9),11), ((22),12), ((-3),13), ((6),14), ((15),15), ((6),16), ((-24),17), ((-13),18), ((-5),19), ((16),20), ((3),21), ((-12),22), ((-20),23), ((-2),24), ((-18),25), ((6),26), ((-3),27), ((-1),28), ((-9),29), ((-13),30), ((8),31), ((3),32), ((5),33), ((5),34), ((13),35), ((12),36), ((-10),38), ((14),39), ((-9),40), ((5),41), ((-14),42), ((21),43), ((11),44), ((-8),45), ((-24),46), ((-26),47), ((34),48), ((-15),49)], (514)), ("GEQ", [((12),0), ((-64),1), ((-4),2), ((-48),3), ((-20),4), ((86),5), ((61),6), ((12),7), ((-54),8), ((-22),9), ((105),10), ((-27),11), ((-34),12), ((9),13), ((-27),14), ((-44),15), ((-20),16), ((58),17), ((76),18), ((24),19), ((-21),20), ((2),21), ((26),22), ((71),23), ((4),24), ((51),25), ((-14),26), ((13),27), ((4),28), ((60),29), ((37),30), ((-25),32), ((-23),33), ((2),34), ((-43),35), ((-64),36), ((27),38), ((-33),39), ((17),40), ((-13),41), ((32),42), ((-55),43), ((-4),44), ((34),45), ((67),46), ((45),47), ((-97),48), ((28),49)], (-1345)), ("GEQ", [((28),0), ((-63),1), ((-9),2), ((1),3), ((-25),4), ((78),5), ((67),6), ((-92),7), ((-38),8), ((-38),9), ((89),10), ((-13),11), ((-61),12), ((17),13), ((-77),14), ((-50),15), ((24),16), ((57),17), ((44),18), ((-18),19), ((-52),20), ((-25),21), ((-1),23), ((-58),24), ((7),25), ((52),26), ((19),27), ((37),28), ((13),29), ((34),30), ((-40),31), ((-51),32), ((-17),33), ((-13),34), ((-32),35), ((-82),36), ((40),37), ((30),38), ((6),39), ((5),40), ((-46),41), ((35),42), ((-141),43), ((6),44), ((-46),45), ((48),46), ((38),47), ((-48),48), ((-48),49)], (-1000)), ("GEQ", [((-23),0), ((49),1), ((16),2), ((-10),3), ((32),4), ((-72),5), ((-71),6), ((110),7), ((24),8), ((16),9), ((-77),10), ((9),11), ((61),12), ((-35),13), ((83),14), ((58),15), ((-27),16), ((-32),17), ((-32),18), ((17),19), ((52),20), ((46),21), ((20),22), ((43),23), ((102),24), ((31),25), ((-87),26), ((-37),27), ((-34),28), ((12),29), ((-36),30), ((49),31), ((48),32), ((16),33), ((6),34), ((36),35), ((98),36), ((-78),37), ((-29),38), ((-42),39), ((8),40), ((55),41), ((-30),42), ((171),43), ((-16),44), ((73),45), ((-33),46), ((-35),47), ((13),48), ((97),49)], (589)), ("GEQ", [((-31),0), ((95),1), ((-3),2), ((55),3), ((32),4), ((-140),5), ((-99),6), ((52),7), ((59),8), ((79),9), ((-136),10), ((56),11), ((101),12), ((-4),13), ((63),14), ((100),15), ((-15),16), ((-104),17), ((-84),18), ((-6),19), ((62),20), ((21),21), ((-33),22), ((-63),23), ((20),24), ((-69),25), ((-16),26), ((-24),28), ((-56),29), ((-64),30), ((9),31), ((45),32), ((26),33), ((25),34), ((66),35), ((106),36), ((-31),37), ((-49),38), ((32),39), ((-36),40), ((27),41), ((-64),42), ((145),43), ((6),44), ((14),45), ((-99),46), ((-86),47), ((148),48), ((-7),49)], (1939))]
[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]