[("GEQ", [((-1),0), ((1),1), ((-2),2), ((2),8), ((2),9), ((-2),11), ((-1),13), ((-1),14), ((2),17), ((-1),19), ((-2),24), ((2),25), ((-2),26), ((2),29), ((-1),30), ((1),31), ((2),34), ((-2),35), ((-1),36), ((-2),37), ((2),38), ((2),41), ((2),42), ((-1),43), ((1),44), ((2),45), ((2),47), ((-1),49)], (33)), ("GEQ", [((-2),0), ((2),1), ((2),2), ((2),6), ((-2),10), ((2),11), ((2),12), ((2),13), ((-2),14), ((1),15), ((2),17), ((-2),18), ((-2),20), ((-1),22), ((-1),23), ((-2),24), ((1),25), ((-1),27), ((-2),29), ((1),31), ((1),32), ((-2),34), ((1),37), ((1),39), ((1),41), ((-2),44), ((1),46), ((-2),47)], (-6)), ("GEQ", [((1),1), ((1),5), ((2),6), ((2),7), ((2),8), ((-1),9), ((-2),11), ((-2),12), ((-1),13), ((1),14), ((1),15), ((-1),16), ((-1),19), ((1),23), ((-2),26), ((2),27), ((2),31), ((-1),32), ((1),34), ((2),35), ((2),36), ((-1),38), ((-1),39), ((2),41), ((-2),43), ((1),44), ((2),47), ((-1),48), ((1),49)], (-2)), ("GEQ", [((1),0), ((2),2), ((-1),3), ((-1),5), ((-2),7), ((1),8), ((-2),10), ((-2),11), ((2),12), ((-1),13), ((1),14), ((2),15), ((-1),16), ((-1),18), ((-2),20), ((2),21), ((-2),22), ((1),23), ((-2),26), ((-1),27), ((2),28), ((1),30), ((-2),31), ((-2),32), ((1),33), ((-2),35), ((-2),36), ((-1),37), ((1),39), ((1),41), ((-2),42), ((-1),43), ((1),45), ((-1),46), ((-2),48), ((2),49)], (10)), ("GEQ", [((2),4), ((1),5), ((1),6), ((-1),10), ((-1),14), ((2),15), ((-2),16), ((1),19), ((-1),21), ((-2),22), ((1),24), ((-1),29), ((-2),30), ((1),33), ((1),35), ((-2),40), ((1),41), ((2),43), ((1),45), ((-2),46), ((-2),49)], (18)), ("GEQ", [((1),1), ((2),2), ((1),3), ((1),4), ((1),5), ((-2),7), ((-2),8), ((-2),10), ((2),11), ((1),13), ((1),14), ((-2),15), ((-2),18), ((2),19), ((1),21), ((-1),22), ((2),23), ((-1),25), ((1),26), ((-2),28), ((1),29), ((-1),31), ((-2),32), ((-2),33), ((1),36), ((-2),41), ((-1),43), ((1),44), ((-1),45), ((1),46), ((2),49)], (-56)), ("GEQ", [((-2),1), ((2),2), ((1),3), ((1),4), ((1),5), ((-2),8), ((2),9), ((-2),10), ((1),11), ((2),12), ((-2),15), ((1),16), ((-2),18), ((1),19), ((-1),21), ((2),22), ((1),26), ((-2),27), ((-2),29), ((2),31), ((-2),32), ((2),33), ((-1),34), ((-2),35), ((-2),36), ((1),37), ((-1),38), ((1),40), ((2),41), ((-2),42), ((1),44), ((-2),45), ((1),48)], (7)), ("GEQ", [((2),0), ((2),2), ((-2),3), ((-1),6), ((1),7), ((-2),8), ((1),12), ((-2),13), ((-1),14), ((2),15), ((1),20), ((-1),21), ((-1),22), ((1),23), ((-2),24), ((1),25), ((1),26), ((-1),29), ((-2),31), ((-1),32), ((2),33), ((-2),35), ((1),36), ((-1),37), ((1),40), ((2),42), ((-2),43), ((2),44), ((-2),47), ((2),49)], (-8)), ("GEQ", [((-2),0), ((-2),1), ((2),2), ((-2),3), ((1),4), ((1),6), ((1),8), ((2),9), ((2),12), ((-1),13), ((-2),15), ((-1),16), ((-1),18), ((-1),19), ((-2),21), ((2),23), ((-1),26), ((1),27), ((2),29), ((-2),32), ((2),34), ((1),36), ((-2),37), ((2),39), ((-2),41), ((2),44), ((1),45), ((-2),46), ((-1),47)], (0)), ("GEQ", [((2),0), ((-1),4), ((1),6), ((1),8), ((2),9), ((-2),10), ((2),12), ((-1),14), ((1),15), ((-1),18), ((-1),20), ((1),22), ((-1),24), ((-2),26), ((2),27), ((2),28), ((1),29), ((-1),30), ((2),33), ((2),36), ((-2),38), ((2),39), ((-1),41), ((2),42), ((2),44), ((2),45), ((-2),46), ((1),47), ((2),49)], (-22)), ("GEQ", [((2),1), ((1),2), ((2),3), ((1),5), ((-2),6), ((-1),7), ((-2),8), ((-2),9), ((-1),10), ((2),11), ((-2),12), ((-1),14), ((1),19), ((1),20), ((-2),21), ((-2),22), ((1),23), ((2),27), ((-1),28), ((-1),32), ((1),33), ((-2),34), ((-2),35), ((-2),36), ((1),39), ((-2),41), ((1),45), ((-2),47)], (-4)), ("GEQ", [((2),5), ((-1),6), ((1),7), ((1),8), ((-1),9), ((2),10), ((-1),11), ((-1),12), ((-1),13), ((1),14), ((-1),18), ((2),20), ((-2),22), ((-1),26), ((1),28), ((1),30), ((1),33), ((-1),34), ((-2),35), ((-1),36), ((-2),38), ((-1),40), ((1),41), ((-1),42), ((2),46), ((1),47), ((-1),48), ((1),49)], (30)), ("GEQ", [((1),2), ((-1),3), ((-1),4), ((-2),5), ((1),6), ((-2),7), ((-1),9), ((2),11), ((-1),12), ((1),13), ((-2),15), ((-2),17), ((1),18), ((1),20), ((-2),22), ((1),23), ((-2),25), ((2),27), ((1),28), ((-1),30), ((-1),31), ((-2),33), ((2),34), ((2),35), ((1),36), ((-2),38), ((1),41), ((1),45), ((2),46), ((1),47), ((1),49)], (-34)), ("GEQ", [((-1),2), ((-2),3), ((2),4), ((-2),5), ((-1),7), ((-2),9), ((2),12), ((1),14), ((1),16), ((2),17), ((-1),24), ((1),26), ((-1),27), ((-2),28), ((1),29), ((2),30), ((-1),32), ((-2),34), ((-1),38), ((-2),39), ((2),40), ((2),42), ((1),43), ((2),44), ((2),46), ((-1),48)], (-33)), ("GEQ", [((1),0), ((-1),3), ((-1),6), ((1),9), ((-1),10), ((1),13), ((2),16), ((-1),17), ((-1),19), ((-2),20), ((-1),22), ((1),23), ((-2),25), ((2),26), ((2),28), ((1),29), ((2),33), ((-1),35), ((-1),36), ((2),37), ((1),38), ((1),39), ((-2),40), ((1),41), ((2),42), ((-1),43), ((1),46), ((2),47)], (4)), ("GEQ", [((-1),0), ((-1),5), ((-1),6), ((-2),7), ((2),10), ((2),11), ((2),13), ((1),14), ((1),15), ((1),16), ((2),17), ((-1),18), ((-1),19), ((-2),22), ((-2),26), ((1),27), ((-1),28), ((2),31), ((-2),32), ((2),33), ((-2),35), ((-2),36), ((-1),37), ((-2),39), ((1),41), ((2),45), ((1),46), ((-1),47), ((-2),49)], (11)), ("GEQ", [((-2),2), ((-2),3), ((-2),5), ((1),6), ((1),7), ((2),8), ((2),9), ((-2),10), ((1),11), ((2),13), ((1),14), ((-2),15), ((-2),17), ((-1),21), ((-1),22), ((1),23), ((2),24), ((1),25), ((-2),26), ((-1),28), ((1),29), ((2),30), ((2),32), ((1),33), ((-2),35), ((1),36), ((2),37), ((-2),39), ((2),40), ((-2),43), ((2),44), ((2),45), ((-2),46), ((2),48)], (-16)), ("GEQ", [((-1),0), ((-1),1), ((2),5), ((1),6), ((2),8), ((2),12), ((1),13), ((-1),14), ((1),15), ((-1),16), ((2),17), ((1),18), ((1),20), ((-2),24), ((1),25), ((2),26), ((-2),27), ((2),28), ((2),30), ((-2),32), ((-1),34), ((1),41), ((-1),42), ((-1),45), ((-1),48), ((1),49)], (3)), ("GEQ", [((2),4), ((-2),5), ((1),7), ((-2),10), ((-1),11), ((-2),12), ((1),16), ((-2),17), ((2),18), ((-1),19), ((-1),20), ((-2),21), ((-1),23), ((-1),25), ((-2),26), ((-1),27), ((1),28), ((-2),30), ((2),31), ((-2),32), ((1),33), ((-2),34), ((-1),38), ((1),39), ((-1),40), ((-1),41), ((-2),45), ((-2),46), ((2),47), ((-1),49)], (37)), ("GEQ", [((2),2), ((2),3), ((-1),5), ((-1),6), ((-1),7), ((1),10), ((-1),11), ((-1),12), ((-1),13), ((-1),15), ((-2),17), ((-1),18), ((-1),19), ((1),20), ((-2),21), ((1),22), ((-1),23), ((1),24), ((1),26), ((1),28), ((2),29), ((-2),32), ((1),33), ((2),34), ((2),35), ((-2),36), ((2),37), ((1),38), ((-2),42), ((1),43), ((1),44), ((-1),46), ((2),47), ((1),48)], (27)), ("GEQ", [((1),0), ((2),1), ((2),2), ((-2),3), ((-1),6), ((2),7), ((2),9), ((-2),11), ((1),13), ((1),14), ((1),15), ((-2),16), ((2),18), ((1),19), ((2),23), ((2),25), ((-1),27), ((2),28), ((1),33), ((-1),34), ((-1),36), ((2),38), ((-1),39), ((-1),40), ((-2),46), ((-2),47), ((-2),48), ((2),49)], (-8)), ("GEQ", [((-1),1), ((-2),2), ((1),3), ((2),4), ((1),5), ((1),6), ((-2),7), ((-2),8), ((2),10), ((1),11), ((-2),12), ((2),13), ((-2),16), ((-2),17), ((1),18), ((-1),19), ((2),20), ((-1),21), ((2),22), ((1),23), ((-2),24), ((-2),26), ((2),29), ((2),30), ((-1),36), ((-2),38), ((-2),40), ((-2),41), ((-1),44), ((-1),45), ((-2),47), ((-1),48), ((-2),49)], (39)), ("GEQ", [((1),5), ((2),7), ((-1),8), ((-1),9), ((2),10), ((-2),11), ((1),12), ((-2),15), ((1),16), ((1),18), ((2),19), ((-1),20), ((2),21), ((-2),22), ((-1),23), ((1),24), ((2),25), ((-2),27), ((2),28), ((2),30), ((2),32), ((1),33), ((1),34), ((1),35), ((1),37), ((-2),38), ((-1),39), ((2),40), ((2),41), ((2),42), ((-1),43), ((-1),44), ((2),45), ((1),47), ((-1),48)], (-4)), ("GEQ", [((1),1), ((1),2), ((-1),4), ((1),6), ((-2),9), ((-1),10), ((-1),11), ((1),13), ((2),14), ((1),16), ((1),17), ((2),18), ((1),21), ((2),22), ((1),23), ((-2),24), ((-1),26), ((1),30), ((-2),31), ((2),32), ((1),33), ((1),34), ((2),37), ((-1),38), ((-2),42), ((-1),44), ((2),45), ((-1),46), ((1),47), ((1),48), ((2),49)], (-8)), ("GEQ", [((-1),2), ((1),3), ((1),4), ((-1),5), ((-2),6), ((1),7), ((-2),8), ((1),9), ((-2),11), ((-1),13), ((2),14), ((-1),16), ((2),17), ((1),18), ((-2),19), ((-2),20), ((-2),21), ((1),22), ((1),23), ((-2),24), ((2),29), ((1),33), ((-2),35), ((-2),36), ((1),37), ((-2),38), ((-1),39), ((-1),44), ((-1),46), ((2),47), ((-1),48), ((1),49)], (42)), ("GEQ", [((-2),0), ((1),1), ((2),4), ((-2),9), ((-2),11), ((-1),12), ((1),14), ((2),17), ((1),18), ((-2),19), ((-1),24), ((1),25), ((-1),27), ((1),30), ((2),32), ((1),36), ((-2),37), ((-2),38), ((1),40), ((2),41), ((2),43), ((-1),44), ((-2),46), ((1),49)], (12)), ("GEQ", [((-1),1), ((2),3), ((-2),4), ((-2),5), ((1),6), ((1),7), ((-2),10), ((-2),11), ((-2),12), ((-1),13), ((1),14), ((-1),15), ((-2),19), ((-1),21), ((1),24), ((-1),27), ((2),28), ((1),30), ((1),31), ((-1),32), ((-1),34), ((1),37), ((-2),38), ((1),39), ((-2),41), ((1),42), ((2),43), ((-1),45), ((-2),48), ((-2),49)], (5)), ("GEQ", [((2),1), ((-2),2), ((-2),3), ((-2),4), ((1),5), ((2),6), ((1),8), ((-2),10), ((-1),13), ((-2),14), ((-2),17), ((1),18), ((-1),19), ((1),22), ((2),24), ((-2),26), ((-2),28), ((-1),29), ((2),30), ((1),31), ((2),33), ((-2),34), ((2),35), ((-2),36), ((2),37), ((1),40), ((-1),42), ((1),43), ((2),47), ((1),48), ((-2),49)], (-6)), ("GEQ", [((1),0), ((2),1), ((2),3), ((-2),6), ((-2),10), ((-1),11), ((1),12), ((2),14), ((2),15), ((-2),17), ((-1),18), ((-1),20), ((-2),21), ((2),23), ((-2),25), ((2),26), ((-2),27), ((2),29), ((-1),30), ((2),31), ((-2),35), ((-1),37), ((-1),38), ((-1),39), ((-2),40), ((-1),41), ((-2),43), ((-2),45), ((-1),47)], (10)), ("GEQ", [((2),0), ((2),1), ((1),3), ((-1),4), ((2),7), ((2),9), ((1),10), ((-2),11), ((2),13), ((-2),20), ((-2),21), ((-2),22), ((2),23), ((-2),27), ((1),33), ((2),34), ((-2),36), ((2),37), ((2),38), ((-2),39), ((-1),41), ((-2),42), ((-2),44), ((1),47), ((1),48), ((1),49)], (21)), ("GEQ", [((-2),2), ((2),3), ((-2),5), ((2),6), ((2),7), ((1),8), ((-1),9), ((2),10), ((-2),11), ((-1),12), ((-1),14), ((2),16), ((1),17), ((2),19), ((1),21), ((-2),24), ((-1),25), ((-2),28), ((1),29), ((-2),31), ((-2),32), ((1),34), ((-1),35), ((2),37), ((2),38), ((-1),39), ((1),41), ((-1),42), ((1),43), ((2),45), ((-2),48), ((2),49)], (1)), ("GEQ", [((2),0), ((2),1), ((2),2), ((-2),4), ((2),5), ((-2),8), ((-1),9), ((1),10), ((-2),15), ((-2),16), ((1),19), ((2),20), ((1),23), ((2),25), ((2),29), ((-1),32), ((1),33), ((2),34), ((2),36), ((2),38), ((-2),39), ((-2),40), ((-1),41), ((-1),42), ((1),43), ((-1),46), ((-1),48)], (-15)), ("GEQ", [((-1),0), ((-1),2), ((1),3), ((1),5), ((2),8), ((2),9), ((-2),10), ((2),11), ((-2),12), ((1),14), ((1),15), ((1),16), ((2),17), ((-2),19), ((2),20), ((2),21), ((1),23), ((1),25), ((2),27), ((-2),28), ((-1),30), ((1),31), ((-2),32), ((1),33), ((1),35), ((-1),37), ((2),38), ((2),39), ((1),40), ((2),42), ((1),43), ((-1),44), ((1),46), ((-1),49)], (-27)), ("GEQ", [((1),0), ((-1),1), ((2),3), ((-1),4), ((-1),6), ((1),7), ((2),10), ((-2),11), ((1),12), ((-2),14), ((2),16), ((-2),18), ((2),22), ((-1),24), ((1),25), ((1),26), ((1),27), ((2),28), ((2),29), ((1),31), ((1),32), ((2),34), ((1),35), ((1),44), ((-1),45), ((1),46), ((1),48)], (26)), ("GEQ", [((2),0), ((-1),1), ((-1),2), ((2),3), ((2),4), ((2),5), ((-2),6), ((-2),10), ((2),11), ((1),12), ((1),13), ((1),17), ((2),18), ((-2),20), ((-1),21), ((-2),22), ((2),23), ((1),24), ((-2),25), ((2),28), ((-1),29), ((-2),30), ((-2),31), ((1),34), ((2),37), ((1),39), ((2),41), ((1),42), ((2),43), ((2),46), ((1),48), ((-1),49)], (-19)), ("GEQ", [((1),0), ((2),2), ((-1),6), ((-2),8), ((2),9), ((-2),10), ((-1),11), ((-1),13), ((-2),14), ((-1),16), ((2),18), ((-1),19), ((2),21), ((2),28), ((-2),29), ((-1),30), ((2),31), ((2),33), ((2),34), ((1),35), ((1),36), ((2),37), ((2),39), ((-2),41), ((2),42), ((1),43), ((-1),44), ((-2),46), ((-1),48)], (-23)), ("GEQ", [((-2),0), ((-1),2), ((1),4), ((-1),5), ((1),7), ((1),8), ((-1),10), ((1),11), ((1),13), ((-2),14), ((-2),15), ((-1),16), ((1),17), ((-2),25), ((2),26), ((1),27), ((1),28), ((-2),33), ((-2),35), ((2),36), ((-1),37), ((-1),38), ((-1),40), ((-2),41), ((-1),44), ((2),45), ((-2),48)], (-7)), ("GEQ", [((-1),0), ((2),1), ((2),2), ((-2),4), ((2),7), ((-2),8), ((2),9), ((-1),11), ((-1),12), ((2),14), ((-1),15), ((-1),16), ((2),17), ((-2),18), ((-2),19), ((1),20), ((1),22), ((1),23), ((-2),24), ((-2),25), ((-1),26), ((-1),28), ((1),30), ((-1),32), ((-2),34), ((1),35), ((-1),36), ((1),38), ((-2),39), ((-2),40), ((-1),42), ((2),43), ((-1),44), ((2),45), ((2),47), ((-1),49)], (8)), ("GEQ", [((2),1), ((2),3), ((-1),4), ((1),5), ((1),9), ((-2),10), ((1),12), ((2),13), ((-2),14), ((-1),15), ((1),16), ((2),17), ((1),18), ((2),20), ((2),21), ((2),23), ((-2),27), ((-2),28), ((1),29), ((2),31), ((2),32), ((2),33), ((1),34), ((1),36), ((-1),38), ((-2),39), ((1),40), ((2),42), ((-2),43), ((-2),44), ((-2),48), ((-2),49)], (-13)), ("GEQ", [((-1),1), ((2),2), ((-1),4), ((1),5), ((1),6), ((-1),7), ((1),10), ((1),12), ((-1),13), ((2),14), ((1),15), ((1),16), ((-1),17), ((1),18), ((1),19), ((1),20), ((-1),21), ((-1),22), ((-2),23), ((2),26), ((2),27), ((-2),31), ((2),34), ((1),36), ((2),37), ((-1),38), ((2),42), ((-2),44), ((1),45), ((-1),46), ((2),47), ((-2),49)], (-10)), ("GEQ", [((1),0), ((1),1), ((1),2), ((-2),7), ((-2),10), ((1),17), ((-1),18), ((-2),19), ((2),20), ((-1),21), ((2),24), ((1),25), ((-2),27), ((2),29), ((-1),30), ((2),31), ((-1),33), ((2),34), ((2),35), ((1),36), ((1),38), ((1),39), ((2),40), ((1),44), ((-2),47), ((-1),49)], (-22)), ("GEQ", [((1),0), ((1),1), ((1),2), ((2),4), ((2),5), ((2),7), ((2),8), ((2),9), ((2),12), ((-1),13), ((-2),14), ((-1),16), ((-2),23), ((1),25), ((-1),29), ((2),30), ((-1),32), ((-2),33), ((1),35), ((1),37), ((2),38), ((-2),39), ((-2),41), ((1),42), ((-1),43), ((1),44), ((-2),45), ((1),46), ((1),48), ((-2),49)], (-5)), ("GEQ", [((1),4), ((1),6), ((-1),7), ((2),10), ((1),12), ((-2),13), ((1),14), ((2),15), ((2),18), ((-2),22), ((-2),23), ((-2),26), ((-1),28), ((-1),29), ((-1),33), ((-1),34), ((-2),37), ((-2),39), ((-2),41), ((-1),42), ((-2),43), ((2),44), ((2),46), ((2),47), ((2),49)], (6)), ("GEQ", [((-2),0), ((1),1), ((-1),2), ((2),3), ((-2),4), ((2),5), ((2),8), ((1),10), ((-1),12), ((1),14), ((-2),15), ((2),16), ((1),17), ((2),18), ((-1),20), ((-1),24), ((-1),28), ((1),31), ((2),32), ((1),33), ((-1),34), ((-2),35), ((-2),36), ((2),39), ((2),40), ((-1),42), ((-1),44), ((2),45), ((2),48), ((2),49)], (-1)), ("GEQ", [((1),0), ((1),1), ((-2),6), ((1),7), ((2),8), ((-1),9), ((-2),10), ((-1),12), ((-1),13), ((-1),15), ((-1),16), ((1),17), ((1),18), ((2),19), ((2),20), ((-1),21), ((-2),22), ((2),23), ((-1),24), ((-2),25), ((2),27), ((2),28), ((2),29), ((-1),31), ((2),32), ((-2),33), ((2),37), ((2),41), ((-1),43), ((-1),45), ((1),47), ((1),48), ((2),49)], (-6)), ("GEQ", [((2),0), ((1),1), ((2),2), ((2),3), ((1),4), ((1),5), ((2),6), ((-2),8), ((-1),9), ((-2),11), ((-1),15), ((-2),16), ((2),17), ((-1),18), ((2),21), ((-2),24), ((-2),26), ((-1),27), ((1),28), ((-2),32), ((-2),38), ((2),39), ((-1),40), ((-2),42), ((-1),43), ((-1),45), ((2),46), ((-2),48), ((2),49)], (9)), ("GEQ", [((1),0), ((-2),1), ((2),3), ((2),5), ((1),7), ((1),8), ((1),9), ((1),11), ((-2),12), ((1),19), ((-2),20), ((1),21), ((-2),22), ((1),24), ((-1),25), ((-1),28), ((-2),29), ((2),31), ((-1),32), ((1),33), ((1),34), ((-2),36), ((-2),38), ((-1),39), ((-2),40), ((1),42), ((-2),43), ((1),44), ((1),46), ((-2),48), ((-2),49)], (0)), ("GEQ", [((-1),1), ((-1),3), ((1),4), ((1),5), ((-1),9), ((2),10), ((2),11), ((1),13), ((-1),15), ((-1),17), ((2),20), ((-1),21), ((2),24), ((-2),25), ((-1),26), ((-1),28), ((2),29), ((2),30), ((-1),31), ((1),32), ((-2),33), ((-2),34), ((-1),35), ((1),36), ((1),38), ((2),41), ((2),43), ((1),45), ((-1),49)], (-16)), ("GEQ", [((2),0), ((2),1), ((1),2), ((-1),3), ((1),4), ((-2),5), ((2),7), ((1),9), ((-1),10), ((-2),12), ((-2),13), ((-1),14), ((2),16), ((1),18), ((2),21), ((-1),22), ((1),25), ((1),27), ((1),30), ((2),31), ((-2),33), ((1),34), ((2),39), ((-1),40), ((1),41), ((1),42), ((1),43), ((-1),45), ((2),48), ((1),49)], (-36)), ("GEQ", [((-23),0), ((-31),1), ((-39),2), ((-18),3), ((-21),5), ((-7),6), ((-12),7), ((-3),8), ((-44),9), ((46),10), ((2),12), ((-2),13), ((17),15), ((-9),16), ((-9),17), ((-5),18), ((11),19), ((-23),20), ((20),21), ((49),22), ((-49),23), ((11),24), ((21),25), ((18),26), ((-6),27), ((4),28), ((-40),29), ((-15),30), ((-31),31), ((43),32), ((-46),33), ((-24),34), ((16),35), ((3),36), ((-32),37), ((6),38), ((13),39), ((4),40), ((1),41), ((-38),42), ((20),43), ((-21),44), ((-38),45), ((10),46), ((-39),47), ((21),48), ((-1),49)], (416)), ("GEQ", [((69),0), ((93),1), ((134),2), ((50),3), ((-1),4), ((67),5), ((13),6), ((24),7), ((-18),8), ((161),9), ((-137),10), ((23),11), ((-20),12), ((14),13), ((-5),14), ((-63),15), ((21),16), ((-8),17), ((6),18), ((-39),19), ((86),20), ((-63),21), ((-154),22), ((155),23), ((-17),24), ((-83),25), ((-55),26), ((22),27), ((-22),28), ((122),29), ((44),30), ((110),31), ((-165),32), ((140),33), ((78),34), ((-17),35), ((-7),36), ((94),37), ((-51),39), ((-19),40), ((-27),41), ((133),42), ((-70),43), ((71),44), ((107),45), ((-31),46), ((125),47), ((-63),48), ((-19),49)], (-1501)), ("GEQ", [((-54),0), ((-108),1), ((-145),2), ((-44),3), ((-16),4), ((-58),5), ((-12),6), ((-16),7), ((28),8), ((-184),9), ((143),10), ((-42),11), ((39),12), ((-34),13), ((23),14), ((85),15), ((-15),16), ((32),17), ((-13),18), ((62),19), ((-93),20), ((56),21), ((141),22), ((-163),23), ((10),24), ((90),25), ((75),26), ((-30),27), ((24),28), ((-110),29), ((-53),30), ((-127),31), ((187),32), ((-139),33), ((-72),34), ((-26),35), ((21),36), ((-100),37), ((-13),38), ((47),39), ((19),40), ((60),41), ((-116),42), ((50),43), ((-74),44), ((-99),45), ((32),46), ((-118),47), ((50),48), ((18),49)], (1684)), ("GEQ", [((-34),0), ((50),1), ((26),2), ((-15),3), ((45),4), ((-19),5), ((8),6), ((-16),7), ((-15),8), ((47),9), ((-22),10), ((45),11), ((-35),12), ((50),13), ((-44),14), ((-40),15), ((-21),16), ((-22),17), ((23),18), ((-39),19), ((5),20), ((10),21), ((18),22), ((34),23), ((3),24), ((4),25), ((-59),26), ((15),27), ((-26),28), ((-42),29), ((18),30), ((34),31), ((-50),32), ((17),33), ((-22),34), ((77),35), ((-49),36), ((14),37), ((48),38), ((-2),39), ((21),40), ((-70),41), ((-60),42), ((38),43), ((18),44), ((4),45), ((-3),46), ((-45),47), ((18),48), ((37),49)], (-534)), ("GEQ", [((-3),0), ((-2),1), ((24),2), ((-16),3), ((-3),4), ((-14),5), ((-8),6), ((12),7), ((4),9), ((1),10), ((-9),11), ((-6),12), ((-5),13), ((24),14), ((-9),15), ((16),16), ((-19),17), ((-14),18), ((-17),19), ((2),20), ((-13),21), ((-8),22), ((2),23), ((13),24), ((-14),25), ((13),26), ((10),27), ((18),28), ((20),29), ((15),30), ((10),31), ((22),32), ((-12),33), ((7),34), ((13),35), ((11),36), ((8),37), ((-34),38), ((14),39), ((-6),40), ((9),41), ((23),42), ((12),43), ((-5),44), ((-2),45), ((-14),46), ((5),47), ((19),48), ((-13),49)], (-105)), ("GEQ", [((78),0), ((-13),1), ((-92),2), ((95),3), ((-31),4), ((94),5), ((34),6), ((-43),7), ((30),8), ((-1),9), ((-71),10), ((36),11), ((46),12), ((-28),13), ((-60),14), ((64),15), ((-24),16), ((95),17), ((24),18), ((85),19), ((46),20), ((11),21), ((-52),22), ((26),23), ((-49),24), ((11),25), ((-10),26), ((-30),27), ((-85),28), ((22),29), ((-56),30), ((-5),31), ((-110),32), ((78),33), ((16),34), ((-141),35), ((15),36), ((-19),37), ((65),38), ((-80),39), ((15),40), ((31),41), ((45),42), ((-138),43), ((47),44), ((28),45), ((62),46), ((71),47), ((-119),48), ((-13),49)], (0))]
[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]