[("GEQ", [((-2),1), ((-1),2), ((-1),3), ((2),7), ((2),8), ((1),12), ((2),15), ((-1),16), ((-2),17), ((2),18), ((-2),19), ((-1),20), ((2),21), ((2),22), ((-2),23), ((-2),24), ((2),28), ((2),29), ((1),30), ((-2),31), ((1),32), ((2),33), ((-1),34), ((-2),39), ((-2),40), ((-1),44), ((-1),45), ((-2),46), ((2),49)], (18)), ("GEQ", [((2),0), ((-1),1), ((1),4), ((1),5), ((-1),6), ((1),7), ((1),9), ((-1),11), ((2),13), ((-2),14), ((-2),16), ((-1),20), ((2),21), ((1),23), ((-2),24), ((-2),25), ((-2),27), ((2),30), ((-1),31), ((1),36), ((-2),37), ((-2),38), ((-2),39), ((-1),40), ((2),41), ((-2),42), ((1),43), ((-1),46), ((2),48)], (18)), ("GEQ", [((-1),1), ((1),3), ((1),4), ((-2),5), ((-1),6), ((2),9), ((2),12), ((1),13), ((2),15), ((2),16), ((-2),21), ((2),23), ((-2),25), ((-1),27), ((-1),31), ((2),32), ((1),33), ((-1),36), ((1),38), ((-2),39), ((2),40), ((-2),41), ((-2),42), ((2),43), ((2),45), ((-1),46), ((1),47), ((1),48)], (-10)), ("GEQ", [((-1),0), ((-2),4), ((-2),7), ((2),8), ((1),9), ((-2),12), ((2),13), ((1),14), ((1),19), ((1),20), ((1),22), ((2),23), ((-1),25), ((1),26), ((-1),29), ((-1),30), ((2),34), ((1),37), ((-2),38), ((2),39), ((-2),42), ((1),44), ((2),45), ((2),47), ((-2),49)], (-13)), ("GEQ", [((1),1), ((-1),2), ((-2),3), ((-2),4), ((1),5), ((-2),6), ((-1),8), ((-2),10), ((2),11), ((1),12), ((2),13), ((-1),14), ((1),15), ((-1),18), ((-2),19), ((1),20), ((1),21), ((1),22), ((2),23), ((1),24), ((1),25), ((1),26), ((2),28), ((-2),29), ((-1),32), ((-1),33), ((2),35), ((-2),36), ((-1),37), ((2),39), ((1),42), ((-1),45), ((2),47), ((-1),48)], (2)), ("GEQ", [((1),0), ((-2),6), ((-2),8), ((-1),10), ((1),11), ((-2),12), ((1),16), ((1),18), ((-1),19), ((-2),20), ((-1),21), ((-2),22), ((2),23), ((1),26), ((-1),27), ((1),28), ((2),32), ((2),34), ((-1),35), ((1),36), ((2),37), ((-1),38), ((-1),39), ((-1),40), ((-1),41), ((-2),43), ((-2),44), ((2),45), ((1),46), ((1),47), ((-1),48), ((2),49)], (-31)), ("GEQ", [((-1),0), ((-1),1), ((1),2), ((2),3), ((-2),5), ((2),6), ((-2),8), ((1),9), ((-2),10), ((-1),13), ((1),15), ((-1),16), ((2),17), ((2),20), ((-1),21), ((1),22), ((-2),23), ((2),25), ((-1),26), ((1),27), ((-2),29), ((-1),32), ((-2),33), ((2),34), ((2),38), ((-2),40), ((2),41), ((-1),42), ((-1),43), ((2),45), ((1),46), ((2),47), ((-1),48), ((-2),49)], (-11)), ("GEQ", [((-2),1), ((-1),2), ((2),3), ((-1),5), ((-1),6), ((2),7), ((2),8), ((2),9), ((1),10), ((-2),13), ((1),14), ((1),15), ((1),16), ((2),21), ((-1),22), ((1),23), ((2),24), ((2),26), ((-1),27), ((2),28), ((2),32), ((1),33), ((2),34), ((-2),35), ((1),36), ((-1),43), ((-1),45), ((-1),46), ((-2),48), ((-1),49)], (-27)), ("GEQ", [((1),3), ((2),4), ((2),5), ((2),7), ((-1),8), ((-2),9), ((-2),10), ((2),12), ((1),15), ((2),16), ((-1),18), ((1),19), ((1),20), ((-1),21), ((1),22), ((-2),24), ((-1),25), ((-2),28), ((2),31), ((-1),32), ((-1),38), ((-1),39), ((1),40), ((-1),41), ((-2),42), ((-2),45), ((2),46), ((-1),49)], (26)), ("GEQ", [((-2),0), ((-1),3), ((1),4), ((1),6), ((-2),7), ((-2),8), ((2),10), ((-2),12), ((-1),17), ((2),18), ((1),19), ((1),20), ((1),21), ((-2),23), ((-1),25), ((2),27), ((-2),29), ((-2),30), ((2),31), ((-1),33), ((1),34), ((1),38), ((1),39), ((-2),40), ((1),41), ((-1),42), ((2),45), ((1),46), ((-1),47), ((-2),49)], (-25)), ("GEQ", [((-2),0), ((1),2), ((-1),3), ((-2),5), ((-2),6), ((2),7), ((1),10), ((2),13), ((2),16), ((2),17), ((2),19), ((1),22), ((1),23), ((-2),24), ((2),25), ((-2),26), ((-2),27), ((-1),28), ((-2),31), ((-2),32), ((2),36), ((-1),37), ((-1),39), ((2),42), ((-2),43), ((1),46), ((-2),47), ((2),48), ((-1),49)], (16)), ("GEQ", [((-2),2), ((1),3), ((2),4), ((-2),5), ((-1),6), ((-2),7), ((1),8), ((1),9), ((1),10), ((-1),11), ((1),12), ((1),15), ((-2),16), ((-1),17), ((-2),18), ((1),19), ((1),20), ((-1),24), ((-2),26), ((-2),27), ((1),28), ((-2),29), ((2),30), ((-2),31), ((-1),33), ((1),35), ((2),39), ((-2),40), ((-1),42), ((-2),43), ((-1),44), ((1),45), ((1),46)], (-12)), ("GEQ", [((-2),2), ((2),3), ((-1),5), ((-1),6), ((-2),8), ((2),10), ((-1),12), ((1),13), ((-2),15), ((-1),18), ((-2),19), ((1),22), ((2),23), ((1),24), ((2),25), ((1),27), ((-1),30), ((2),31), ((-2),32), ((-2),33), ((2),34), ((2),36), ((2),37), ((-1),39), ((-1),40), ((2),41), ((-1),42), ((1),43), ((-2),44), ((-1),45), ((-1),47), ((-2),48), ((2),49)], (-26)), ("GEQ", [((2),0), ((1),1), ((-1),2), ((-1),3), ((1),6), ((-2),7), ((2),8), ((2),9), ((-1),10), ((-1),11), ((1),12), ((-1),13), ((-1),15), ((1),16), ((-1),18), ((1),21), ((-1),23), ((-2),24), ((2),26), ((1),27), ((-2),28), ((2),29), ((1),31), ((1),32), ((-2),34), ((-2),36), ((-1),37), ((2),38), ((-1),39), ((2),41), ((-1),42), ((1),46), ((-1),47), ((-1),49)], (-10)), ("GEQ", [((-1),2), ((-1),4), ((2),5), ((-1),6), ((-2),8), ((-1),10), ((-1),11), ((2),13), ((1),15), ((-2),17), ((-1),19), ((-2),21), ((-1),22), ((1),25), ((-1),34), ((1),37), ((-2),38), ((-1),40), ((2),41), ((-1),42), ((2),43), ((1),45), ((-1),46), ((2),48), ((1),49)], (8)), ("GEQ", [((2),1), ((1),2), ((2),4), ((-2),5), ((-2),9), ((1),11), ((1),14), ((1),15), ((-1),16), ((2),18), ((-2),20), ((1),27), ((2),28), ((1),30), ((1),31), ((2),32), ((-2),33), ((1),35), ((2),36), ((-2),39), ((1),43), ((-1),44), ((1),45), ((-2),46), ((2),48), ((2),49)], (-25)), ("GEQ", [((-2),1), ((-2),3), ((1),4), ((2),5), ((-2),6), ((-1),7), ((-1),8), ((1),10), ((1),11), ((-1),12), ((-1),13), ((-2),14), ((2),17), ((2),20), ((-1),23), ((-1),24), ((-1),26), ((-1),28), ((1),30), ((-1),31), ((1),33), ((1),35), ((-1),36), ((2),37), ((-1),41), ((-2),42), ((-2),43), ((-1),44), ((-2),45), ((1),46), ((-2),47), ((-1),48)], (25)), ("GEQ", [((2),2), ((1),4), ((-1),6), ((2),7), ((-2),8), ((-1),9), ((-2),12), ((1),14), ((1),16), ((-2),22), ((-1),24), ((2),25), ((-2),27), ((-1),29), ((-1),31), ((-2),33), ((2),34), ((2),36), ((-2),38), ((-2),39), ((-2),44), ((2),45), ((1),46), ((1),48)], (-5)), ("GEQ", [((-1),0), ((1),1), ((2),2), ((-2),3), ((1),5), ((-1),7), ((-1),9), ((1),10), ((1),11), ((2),15), ((1),20), ((-1),21), ((1),22), ((-2),24), ((-1),25), ((-2),26), ((-1),28), ((2),30), ((-2),31), ((-2),32), ((1),34), ((-2),36), ((2),37), ((1),38), ((-1),39), ((-2),40), ((1),42), ((2),43), ((-2),44), ((-2),45), ((-1),46), ((2),48), ((-1),49)], (57)), ("GEQ", [((2),1), ((1),2), ((1),4), ((1),11), ((2),12), ((-1),13), ((1),14), ((-1),15), ((-2),17), ((-2),18), ((-1),20), ((2),21), ((-2),22), ((-2),25), ((-1),26), ((-2),27), ((-2),28), ((-1),29), ((-1),30), ((1),33), ((2),35), ((1),38), ((-2),40), ((-2),41), ((2),43), ((-2),44), ((1),47), ((2),48), ((-2),49)], (36)), ("GEQ", [((2),0), ((1),2), ((2),3), ((2),5), ((2),7), ((-2),8), ((-1),12), ((2),13), ((2),15), ((-1),17), ((2),18), ((2),19), ((1),20), ((1),21), ((2),22), ((2),24), ((-1),25), ((2),26), ((1),27), ((1),29), ((2),32), ((-1),33), ((1),34), ((1),35), ((-2),36), ((-1),37), ((-1),39), ((1),42), ((-1),43), ((1),44), ((1),47), ((-1),49)], (-11)), ("GEQ", [((2),0), ((-2),1), ((2),3), ((-1),5), ((-2),7), ((-2),10), ((1),11), ((-1),15), ((2),18), ((-1),19), ((-2),21), ((1),22), ((-1),25), ((1),26), ((-1),28), ((-2),29), ((-2),30), ((1),31), ((1),33), ((-2),34), ((-1),35), ((2),40), ((-1),41), ((1),42), ((2),45), ((1),46), ((2),49)], (-29)), ("GEQ", [((2),0), ((-2),1), ((-2),5), ((-1),8), ((-1),10), ((1),11), ((1),15), ((-1),18), ((-2),21), ((-2),25), ((-2),26), ((2),27), ((2),29), ((-2),30), ((-1),31), ((2),32), ((-1),33), ((-2),34), ((-2),35), ((-1),36), ((-2),37), ((-2),38), ((-1),40), ((-2),44), ((-1),46), ((-2),47), ((1),48), ((1),49)], (1)), ("GEQ", [((2),0), ((1),2), ((-2),3), ((2),6), ((-2),7), ((2),8), ((-2),9), ((1),10), ((-2),12), ((-1),13), ((2),14), ((-1),17), ((-2),19), ((2),25), ((2),26), ((1),27), ((2),28), ((2),30), ((-1),32), ((-1),34), ((1),35), ((2),36), ((2),37), ((1),38), ((1),39), ((1),41), ((1),43), ((1),45), ((2),47), ((-2),49)], (-24)), ("GEQ", [((1),1), ((2),2), ((-1),4), ((1),7), ((-1),8), ((-2),9), ((2),10), ((-2),11), ((2),12), ((-2),14), ((1),15), ((-1),16), ((1),17), ((-1),18), ((1),19), ((-1),20), ((-2),22), ((-2),23), ((-2),26), ((-1),27), ((-2),28), ((2),29), ((-2),33), ((2),34), ((-2),35), ((2),36), ((-1),37), ((-1),38), ((-2),39), ((2),40), ((2),41), ((-1),42), ((-2),43), ((-2),44), ((2),46), ((-2),47), ((1),48), ((-2),49)], (43)), ("GEQ", [((-1),0), ((2),1), ((-2),3), ((1),4), ((2),5), ((-1),6), ((1),9), ((2),11), ((1),12), ((1),14), ((1),15), ((2),16), ((-1),17), ((-2),18), ((1),19), ((1),20), ((-2),22), ((1),23), ((1),24), ((2),25), ((-2),27), ((2),28), ((-1),29), ((-1),30), ((1),32), ((1),34), ((2),35), ((1),38), ((-2),39), ((-1),40), ((2),41), ((2),42), ((2),43), ((1),44), ((-1),45), ((2),46), ((-2),47)], (2)), ("GEQ", [((-1),2), ((1),3), ((-1),5), ((2),6), ((-1),7), ((2),9), ((-1),10), ((-1),11), ((-1),13), ((-1),15), ((-2),16), ((2),17), ((2),18), ((-2),19), ((-2),23), ((-1),24), ((1),27), ((-2),28), ((-2),31), ((1),32), ((-2),35), ((-1),37), ((1),39), ((2),40), ((1),43), ((1),44), ((1),46), ((-2),49)], (-2)), ("GEQ", [((-2),2), ((-1),5), ((-2),8), ((1),13), ((-2),14), ((2),19), ((-1),20), ((-2),21), ((-1),22), ((1),23), ((-1),24), ((-2),28), ((-1),29), ((-2),30), ((1),31), ((2),34), ((2),35), ((2),36), ((-2),41), ((-1),42), ((1),44), ((1),46), ((1),47), ((2),48)], (-16)), ("GEQ", [((2),0), ((-1),2), ((2),3), ((-2),4), ((2),6), ((2),8), ((-1),10), ((2),12), ((1),13), ((-1),14), ((1),16), ((-1),18), ((-1),19), ((-1),20), ((2),21), ((-2),22), ((-2),24), ((-2),25), ((1),26), ((2),27), ((2),31), ((-2),32), ((1),33), ((1),36), ((-1),38), ((2),41), ((1),42), ((1),44), ((-1),45), ((-1),48)], (4)), ("GEQ", [((1),1), ((2),3), ((-1),6), ((1),9), ((2),10), ((1),12), ((2),15), ((-2),16), ((-1),17), ((1),18), ((-1),20), ((2),24), ((-1),28), ((-1),30), ((-2),31), ((-1),33), ((2),34), ((1),35), ((-2),36), ((-1),38), ((-2),41), ((2),45), ((1),47), ((-1),48)], (-1)), ("GEQ", [((1),0), ((-1),2), ((-2),3), ((1),6), ((2),7), ((-2),10), ((2),12), ((2),13), ((2),14), ((-2),17), ((-1),20), ((2),21), ((-1),22), ((-2),23), ((-1),24), ((1),25), ((1),26), ((-2),28), ((-1),29), ((-1),30), ((-2),33), ((1),34), ((1),35), ((-1),37), ((-1),39), ((-1),40), ((-2),41), ((1),43), ((-2),45), ((2),47), ((-1),48)], (9)), ("GEQ", [((-1),0), ((-2),2), ((-2),3), ((-1),6), ((1),7), ((2),8), ((1),11), ((-1),15), ((-2),16), ((1),17), ((-1),18), ((1),19), ((-1),20), ((2),21), ((-1),22), ((2),23), ((-2),24), ((1),25), ((-2),26), ((-1),29), ((-1),30), ((1),31), ((-2),32), ((-2),33), ((-2),34), ((1),37), ((-1),43), ((1),45), ((-1),46), ((-1),47), ((1),48)], (7)), ("GEQ", [((-2),0), ((2),1), ((1),3), ((-2),4), ((2),7), ((-1),8), ((-2),9), ((1),10), ((2),11), ((2),14), ((-1),16), ((2),17), ((-2),20), ((-2),21), ((2),22), ((2),24), ((2),26), ((1),27), ((-1),28), ((1),29), ((2),33), ((-1),35), ((-2),37), ((-1),39), ((-2),41), ((-1),42), ((-1),43), ((2),44), ((-2),46), ((1),47), ((2),48)], (-3)), ("GEQ", [((2),0), ((-1),1), ((2),4), ((-2),5), ((-2),6), ((1),7), ((-1),13), ((1),14), ((-2),16), ((2),20), ((2),22), ((2),23), ((2),24), ((-2),25), ((2),28), ((-2),29), ((-1),30), ((-2),31), ((1),32), ((-2),36), ((-2),37), ((1),40), ((-2),41), ((-1),42), ((-1),43), ((2),44), ((2),45), ((1),47)], (-21)), ("GEQ", [((-2),0), ((-1),2), ((-2),5), ((-1),6), ((-1),7), ((1),8), ((-2),9), ((-1),10), ((2),12), ((1),13), ((-1),14), ((-1),15), ((1),16), ((1),19), ((-2),20), ((1),25), ((-1),30), ((1),31), ((-2),32), ((2),33), ((2),34), ((1),36), ((2),39), ((-1),41), ((2),44)], (-6)), ("GEQ", [((1),0), ((-2),2), ((-1),3), ((-2),4), ((2),10), ((-2),11), ((1),12), ((-1),15), ((-1),16), ((1),17), ((-2),18), ((-2),19), ((-1),20), ((2),21), ((-2),22), ((-1),24), ((1),30), ((-1),33), ((1),35), ((-1),36), ((1),37), ((2),38), ((1),40), ((-2),41), ((1),43), ((-1),44), ((-2),45), ((-1),46), ((2),48), ((-1),49)], (18)), ("GEQ", [((2),2), ((-2),3), ((-1),4), ((-2),5), ((-1),6), ((2),8), ((2),11), ((2),12), ((-1),13), ((1),15), ((1),18), ((-1),19), ((-1),24), ((-1),26), ((2),28), ((-2),32), ((2),33), ((-2),34), ((2),35), ((-2),36), ((1),37), ((-1),38), ((1),39), ((-2),40), ((1),41), ((2),43), ((1),44), ((1),45), ((-2),47), ((2),48)], (18)), ("GEQ", [((2),1), ((2),3), ((2),4), ((-1),5), ((-2),8), ((-2),9), ((-2),11), ((1),12), ((-2),13), ((-1),15), ((1),17), ((-1),18), ((-2),23), ((2),24), ((-2),26), ((1),28), ((-1),30), ((1),32), ((-2),34), ((-2),35), ((2),37), ((2),38), ((-2),39), ((-1),41), ((2),42), ((2),45), ((2),46), ((1),47), ((-1),48)], (27)), ("GEQ", [((-2),1), ((-2),2), ((-1),3), ((1),4), ((-2),6), ((-2),7), ((1),14), ((-1),15), ((-2),17), ((2),18), ((-1),19), ((1),20), ((-1),25), ((2),27), ((1),28), ((1),29), ((2),30), ((2),31), ((1),32), ((-2),33), ((2),35), ((-1),39), ((-2),40), ((-2),42), ((1),43), ((1),44), ((-2),45), ((2),46), ((-1),47)], (-30)), ("GEQ", [((-1),0), ((-1),1), ((2),2), ((-2),3), ((-2),4), ((2),5), ((1),7), ((-2),9), ((1),10), ((-1),11), ((2),12), ((-1),14), ((2),15), ((2),17), ((2),18), ((-2),22), ((-1),23), ((1),26), ((2),27), ((-2),30), ((-2),31), ((-2),34), ((-1),35), ((-2),37), ((1),39), ((2),40), ((-2),41), ((2),42), ((-1),43), ((2),45), ((2),47), ((1),48), ((2),49)], (6)), ("GEQ", [((-1),1), ((2),2), ((-1),3), ((1),5), ((-2),7), ((2),8), ((1),9), ((-1),11), ((-2),12), ((-1),13), ((-2),14), ((1),15), ((-1),16), ((-1),17), ((-1),19), ((-2),21), ((-2),22), ((-2),23), ((2),24), ((-2),25), ((-1),27), ((-2),28), ((-2),29), ((1),30), ((-2),32), ((-2),33), ((-2),34), ((1),35), ((-2),38), ((-2),40), ((-2),41), ((1),42), ((1),44), ((2),45)], (32)), ("GEQ", [((2),0), ((1),1), ((1),3), ((-1),5), ((2),8), ((-1),10), ((2),11), ((2),12), ((-1),14), ((1),16), ((2),19), ((1),20), ((-2),21), ((1),22), ((-1),23), ((1),25), ((2),26), ((1),28), ((-2),29), ((-2),30), ((-1),31), ((-1),32), ((-1),34), ((-1),36), ((-1),37), ((-1),41), ((-2),43), ((1),44), ((2),47), ((2),48), ((-2),49)], (-19)), ("GEQ", [((-1),0), ((2),2), ((1),4), ((-1),5), ((1),7), ((1),9), ((1),10), ((1),11), ((-1),12), ((-2),14), ((2),15), ((-2),16), ((2),17), ((1),18), ((-2),19), ((-2),20), ((2),21), ((-2),26), ((1),27), ((-2),28), ((2),31), ((2),32), ((-2),34), ((-1),36), ((-1),37), ((1),41), ((1),42), ((2),44), ((-2),46), ((-2),48)], (27)), ("GEQ", [((-2),2), ((-1),4), ((-1),5), ((2),7), ((-1),9), ((2),10), ((-2),11), ((-1),14), ((-2),16), ((1),18), ((-2),24), ((-1),25), ((-1),26), ((2),27), ((-2),28), ((-1),29), ((1),30), ((1),31), ((1),33), ((1),35), ((-1),36), ((-1),37), ((-2),38), ((2),39), ((1),40), ((1),41), ((-1),42), ((-1),43), ((-1),45), ((-2),47), ((1),48)], (7)), ("GEQ", [((1),1), ((1),3), ((1),4), ((-1),7), ((2),9), ((1),10), ((-1),11), ((2),12), ((-2),16), ((2),17), ((1),19), ((2),21), ((2),22), ((-1),23), ((2),24), ((1),26), ((-1),27), ((-2),29), ((1),32), ((2),33), ((-1),34), ((-2),35), ((-1),36), ((1),37), ((-1),39), ((-2),43), ((-1),44), ((-2),46), ((-2),47), ((2),48)], (12)), ("GEQ", [((-1),0), ((-2),2), ((1),4), ((2),5), ((-1),6), ((-1),9), ((1),10), ((2),11), ((-2),12), ((-1),13), ((-2),14), ((-1),15), ((-2),17), ((2),19), ((-1),20), ((2),21), ((-1),22), ((2),23), ((1),24), ((-2),25), ((1),28), ((-1),29), ((-2),30), ((1),33), ((-1),34), ((1),35), ((-2),36), ((1),38), ((-2),40), ((-1),41), ((2),42), ((2),43), ((-2),45), ((1),48), ((-2),49)], (6)), ("GEQ", [((-2),0), ((-2),1), ((2),2), ((-2),6), ((2),8), ((-2),9), ((-1),10), ((1),11), ((-2),12), ((2),13), ((-1),14), ((1),15), ((2),19), ((-1),20), ((2),21), ((-2),22), ((2),23), ((2),24), ((1),25), ((-2),26), ((-1),28), ((-2),29), ((-1),30), ((-2),34), ((2),37), ((-1),39), ((2),40), ((1),41), ((2),42), ((-1),43), ((-1),44), ((-1),45), ((2),47), ((2),48), ((-2),49)], (30)), ("GEQ", [((1),0), ((2),2), ((-2),3), ((-1),4), ((2),5), ((-1),6), ((-1),8), ((1),15), ((-1),16), ((-1),18), ((1),19), ((2),21), ((-1),23), ((-2),24), ((-1),29), ((1),33), ((2),35), ((-1),36), ((-1),37), ((-2),38), ((1),40), ((1),41), ((1),43), ((-1),44), ((1),49)], (33)), ("GEQ", [((-1),0), ((1),1), ((-1),2), ((-1),4), ((2),5), ((2),7), ((2),8), ((2),9), ((-2),10), ((2),12), ((-2),13), ((1),14), ((1),17), ((2),19), ((-2),20), ((-2),23), ((-2),27), ((2),30), ((-2),31), ((-1),34), ((-2),38), ((2),39), ((-1),43), ((2),46), ((2),47), ((-1),49)], (11)), ("GEQ", [((-17),0), ((17),1), ((-11),2), ((32),3), ((14),4), ((-13),5), ((23),6), ((-1),7), ((-20),8), ((15),9), ((23),10), ((-19),11), ((-15),12), ((-9),13), ((18),14), ((-29),15), ((11),16), ((-3),17), ((-18),18), ((-4),19), ((9),20), ((-7),21), ((6),22), ((8),23), ((28),24), ((9),25), ((-15),26), ((-4),27), ((-4),28), ((44),29), ((11),30), ((23),31), ((20),32), ((-1),33), ((22),34), ((-13),35), ((18),36), ((12),37), ((25),38), ((3),39), ((16),40), ((4),41), ((-7),42), ((4),43), ((3),44), ((-19),45), ((-17),46), ((-30),47), ((-46),48), ((26),49)], (-316)), ("GEQ", [((44),0), ((-36),1), ((66),2), ((-86),3), ((-39),4), ((59),5), ((-38),6), ((4),7), ((47),8), ((-42),9), ((-70),10), ((52),11), ((12),12), ((15),13), ((-35),14), ((56),15), ((-2),16), ((21),17), ((32),18), ((30),19), ((7),20), ((13),21), ((-2),22), ((-12),23), ((-75),24), ((-6),25), ((33),26), ((-4),27), ((28),28), ((-101),29), ((-22),30), ((-55),31), ((-65),32), ((-7),33), ((-48),34), ((25),35), ((-49),36), ((-18),37), ((-42),38), ((-15),39), ((-8),40), ((21),41), ((34),42), ((-4),43), ((-15),44), ((43),45), ((49),46), ((70),47), ((100),48), ((-65),49)], (827)), ("GEQ", [((-44),0), ((52),1), ((-92),2), ((104),3), ((53),4), ((-74),5), ((72),6), ((-29),7), ((-53),8), ((69),9), ((81),10), ((-77),11), ((-2),12), ((-18),13), ((45),14), ((-67),15), ((7),16), ((-46),17), ((-37),18), ((-57),19), ((-3),20), ((-40),21), ((14),22), ((-5),23), ((93),24), ((4),25), ((-12),26), ((2),27), ((-26),28), ((137),29), ((56),30), ((73),31), ((92),32), ((35),33), ((52),34), ((-23),35), ((76),36), ((4),37), ((54),38), ((33),39), ((2),40), ((-23),41), ((-61),42), ((10),43), ((39),44), ((-59),45), ((-76),46), ((-91),47), ((-125),48), ((95),49)], (-1356)), ("GEQ", [((26),0), ((-68),1), ((102),2), ((-117),3), ((-96),4), ((96),5), ((-107),6), ((100),7), ((84),8), ((-101),9), ((-88),10), ((100),11), ((22),12), ((23),13), ((-47),14), ((86),15), ((-20),16), ((72),17), ((39),18), ((83),19), ((-31),20), ((97),21), ((-41),22), ((20),23), ((-119),24), ((-9),25), ((-23),26), ((7),27), ((-2),28), ((-139),29), ((-97),30), ((-102),31), ((-124),32), ((-79),33), ((-55),34), ((3),35), ((-120),36), ((-6),37), ((-79),38), ((-38),39), ((-3),40), ((1),41), ((104),42), ((-20),43), ((-70),44), ((49),45), ((89),46), ((119),47), ((142),48), ((-132),49)], (2341)), ("GEQ", [((60),0), ((-91),1), ((102),2), ((-130),3), ((-53),4), ((81),5), ((-99),6), ((-10),7), ((30),8), ((-87),9), ((-103),10), ((107),11), ((-26),12), ((11),13), ((-85),14), ((76),15), ((-7),16), ((50),17), ((60),18), ((58),19), ((20),20), ((1),21), ((2),22), ((8),23), ((-95),24), ((-20),25), ((25),26), ((19),27), ((49),28), ((-175),29), ((-77),30), ((-80),31), ((-113),32), ((-13),33), ((-74),34), ((50),35), ((-92),36), ((-4),37), ((-65),38), ((-28),39), ((-23),40), ((30),41), ((43),42), ((-8),43), ((-26),44), ((100),45), ((117),46), ((111),47), ((143),48), ((-100),49)], (1129)), ("GEQ", [((28),0), ((-27),1), ((51),2), ((-24),3), ((-11),4), ((18),5), ((13),6), ((-38),7), ((-29),9), ((-22),10), ((17),11), ((-52),12), ((10),13), ((-19),14), ((11),15), ((19),16), ((-23),17), ((38),18), ((-10),19), ((19),20), ((-37),21), ((15),22), ((-9),23), ((2),24), ((-5),25), ((38),26), ((24),27), ((33),28), ((-34),29), ((-10),30), ((7),31), ((-19),32), ((42),33), ((-33),34), ((12),35), ((-5),36), ((3),37), ((-15),38), ((5),39), ((-1),40), ((23),41), ((33),42), ((14),43), ((14),44), ((22),45), ((-9),46), ((11),47), ((13),48), ((35),49)], (-252))] [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]