[("GEQ", [((1),0), ((-2),1), ((-1),2), ((1),3), ((2),7), ((1),8), ((-1),9), ((1),10), ((1),12), ((1),13), ((2),14), ((1),15), ((1),16), ((1),17), ((1),18), ((-1),19), ((1),21), ((-2),22), ((-1),23), ((1),24), ((1),25), ((-2),28), ((2),29), ((2),31), ((2),33), ((-2),35), ((1),37), ((-2),38), ((-2),41), ((1),43), ((1),46), ((1),47)], (2)), ("GEQ", [((-2),1), ((-1),2), ((1),3), ((1),4), ((-1),5), ((1),6), ((2),8), ((-1),9), ((-1),10), ((-1),13), ((-1),14), ((2),15), ((1),16), ((1),20), ((-2),22), ((-1),23), ((1),24), ((1),25), ((2),26), ((2),27), ((2),28), ((-2),29), ((2),31), ((-2),32), ((1),33), ((1),35), ((-1),36), ((-1),37), ((1),43), ((2),44), ((-2),45), ((1),46), ((1),47), ((-2),48)], (2)), ("GEQ", [((1),0), ((-1),1), ((1),2), ((2),4), ((-2),5), ((-2),6), ((1),7), ((2),8), ((-1),9), ((1),10), ((-2),11), ((-1),13), ((-1),14), ((1),20), ((2),22), ((-1),23), ((1),24), ((2),25), ((1),26), ((2),28), ((-2),29), ((1),30), ((2),31), ((1),32), ((-1),33), ((1),35), ((2),42), ((-1),43), ((2),46), ((2),49)], (-10)), ("GEQ", [((-2),1), ((1),2), ((1),5), ((-1),6), ((-2),7), ((-1),8), ((2),10), ((-1),12), ((1),15), ((2),16), ((2),17), ((-2),19), ((2),22), ((-1),23), ((-1),29), ((1),32), ((-1),33), ((1),34), ((1),36), ((2),37), ((-1),38), ((1),39), ((1),40), ((1),42), ((-1),43), ((1),44), ((2),45), ((2),46), ((1),47), ((2),48), ((-2),49)], (-16)), ("GEQ", [((2),0), ((-2),2), ((2),3), ((-1),4), ((-2),7), ((2),8), ((1),10), ((-2),15), ((2),16), ((1),18), ((2),19), ((2),20), ((2),22), ((1),23), ((2),26), ((-2),27), ((2),28), ((-1),29), ((1),30), ((-2),31), ((2),32), ((-2),33), ((-1),34), ((1),35), ((-2),36), ((-2),39), ((2),40), ((1),41), ((2),42), ((2),44), ((-2),45), ((1),47), ((1),48), ((1),49)], (5)), ("GEQ", [((-1),0), ((1),2), ((2),3), ((-2),4), ((-2),5), ((-2),6), ((1),8), ((2),9), ((-1),12), ((1),13), ((1),14), ((-1),15), ((1),16), ((-2),18), ((2),19), ((2),20), ((-1),21), ((1),26), ((-2),28), ((-2),33), ((2),34), ((2),35), ((2),39), ((1),40), ((-1),42), ((-2),43), ((1),45), ((-2),46), ((2),47)], (-34)), ("GEQ", [((-2),1), ((1),2), ((-2),3), ((1),4), ((-2),5), ((2),7), ((2),9), ((1),10), ((-1),12), ((-1),13), ((-2),15), ((-1),16), ((2),17), ((2),19), ((2),21), ((1),22), ((-2),25), ((-2),27), ((-2),28), ((-1),29), ((-2),30), ((2),33), ((-1),34), ((2),35), ((-1),36), ((1),39), ((2),40), ((-2),41), ((2),42), ((-2),44), ((-1),46), ((2),47), ((-1),48)], (-17)), ("GEQ", [((-2),0), ((2),3), ((-1),4), ((-1),5), ((-2),7), ((-2),9), ((-1),10), ((2),11), ((2),12), ((1),13), ((1),15), ((-1),17), ((1),18), ((-2),19), ((2),20), ((-2),21), ((-1),23), ((2),24), ((2),25), ((1),26), ((-2),27), ((-1),29), ((-2),30), ((1),31), ((-2),32), ((1),36), ((-2),38), ((-1),39), ((1),41), ((-1),43), ((-1),45), ((-1),46), ((1),48)], (-11)), ("GEQ", [((1),0), ((1),1), ((-1),4), ((1),6), ((2),8), ((-2),12), ((-2),14), ((1),15), ((1),16), ((-2),17), ((1),19), ((-2),20), ((1),23), ((1),24), ((1),27), ((1),28), ((1),30), ((1),32), ((-2),33), ((2),35), ((1),36), ((-1),38), ((-1),39), ((-2),41), ((-2),46), ((1),49)], (32)), ("GEQ", [((-1),1), ((2),5), ((-1),6), ((1),7), ((1),11), ((-1),12), ((-1),14), ((1),15), ((1),16), ((1),17), ((-1),19), ((1),20), ((1),23), ((1),26), ((-2),28), ((-1),30), ((1),31), ((1),33), ((-1),34), ((1),35), ((2),36), ((1),37), ((2),38), ((1),39), ((-2),43), ((-2),45)], (-35)), ("GEQ", [((2),3), ((-2),5), ((1),10), ((1),11), ((-2),12), ((-1),15), ((-2),16), ((-1),18), ((1),20), ((2),21), ((-2),22), ((2),24), ((2),25), ((2),27), ((2),28), ((1),35), ((-1),36), ((1),38), ((-2),40), ((-2),42), ((2),43), ((1),44), ((1),45), ((1),48)], (2)), ("GEQ", [((-2),0), ((2),1), ((2),2), ((1),4), ((1),6), ((-1),7), ((-1),8), ((1),9), ((-2),13), ((-2),18), ((2),19), ((-2),20), ((1),22), ((1),24), ((-2),25), ((2),26), ((1),28), ((-2),30), ((-1),31), ((2),32), ((-2),33), ((-1),35), ((1),36), ((-1),39), ((-1),40), ((2),41), ((2),42), ((1),43), ((-2),44), ((-2),45), ((-1),46), ((1),47)], (5)), ("GEQ", [((-2),1), ((2),4), ((2),5), ((1),7), ((-2),8), ((-2),10), ((1),11), ((2),12), ((2),13), ((2),15), ((-2),16), ((1),17), ((-1),19), ((-2),20), ((2),23), ((2),25), ((1),27), ((2),28), ((2),29), ((2),30), ((2),31), ((1),33), ((-1),36), ((2),37), ((2),38), ((-2),42), ((1),44), ((-1),45), ((-2),46), ((1),47), ((-2),49)], (-17)), ("GEQ", [((-2),0), ((-1),4), ((1),6), ((2),7), ((1),8), ((-2),9), ((1),11), ((2),12), ((-1),13), ((-1),16), ((-1),17), ((2),18), ((1),19), ((1),23), ((2),24), ((1),26), ((1),27), ((1),28), ((1),29), ((1),32), ((2),33), ((-1),34), ((-2),36), ((-2),39), ((1),40), ((-1),41), ((-2),42), ((-1),48), ((2),49)], (-6)), ("GEQ", [((1),0), ((2),1), ((-1),3), ((-1),4), ((-1),5), ((2),6), ((1),7), ((-2),9), ((1),10), ((-2),12), ((2),13), ((1),14), ((2),15), ((1),17), ((-2),19), ((2),21), ((2),23), ((-1),24), ((2),27), ((-2),28), ((2),29), ((-2),31), ((2),33), ((-1),39), ((-2),40), ((1),42), ((-2),45)], (31)), ("GEQ", [((-2),0), ((-1),2), ((2),7), ((2),10), ((2),11), ((2),12), ((-2),14), ((1),15), ((2),16), ((-2),18), ((-2),19), ((-1),21), ((1),24), ((-2),25), ((-1),26), ((-1),27), ((-1),28), ((-1),30), ((1),32), ((-1),33), ((2),34), ((2),36), ((2),37), ((-1),38), ((1),40), ((2),42), ((2),43), ((1),44), ((-1),45), ((1),46), ((2),47), ((2),49)], (-10)), ("GEQ", [((1),0), ((1),3), ((1),4), ((1),6), ((2),8), ((-1),9), ((1),10), ((-1),12), ((-2),13), ((2),15), ((-1),16), ((1),18), ((2),20), ((1),23), ((-2),24), ((1),25), ((-1),26), ((-2),27), ((-2),29), ((-2),34), ((-2),35), ((-2),36), ((-2),37), ((2),38), ((-1),40), ((2),41), ((1),42), ((1),43), ((-2),44), ((2),46), ((2),48)], (-1)), ("GEQ", [((2),0), ((-1),1), ((-1),2), ((2),4), ((-2),6), ((1),8), ((1),11), ((2),14), ((1),18), ((2),19), ((1),21), ((1),24), ((-2),25), ((2),29), ((-1),31), ((-2),32), ((-2),33), ((-1),35), ((-1),36), ((-1),37), ((-1),40), ((1),42), ((-2),43), ((-2),44), ((2),47), ((1),48), ((-1),49)], (-8)), ("GEQ", [((-1),1), ((-2),2), ((2),3), ((1),4), ((-2),6), ((-1),8), ((2),9), ((-2),10), ((1),12), ((-1),13), ((-2),14), ((-1),15), ((-2),16), ((1),17), ((-1),18), ((2),19), ((1),21), ((-1),22), ((1),23), ((1),24), ((1),25), ((-2),28), ((1),29), ((2),30), ((2),31), ((2),33), ((2),34), ((-1),35), ((1),37), ((-2),38), ((-1),39), ((2),40), ((-2),41), ((-2),44), ((2),46), ((1),47), ((1),49)], (4)), ("GEQ", [((-1),0), ((-2),2), ((2),3), ((-1),4), ((-2),5), ((-2),7), ((-1),8), ((1),9), ((-2),13), ((1),14), ((-1),18), ((-1),23), ((-1),24), ((1),25), ((1),26), ((-1),27), ((1),28), ((-1),30), ((2),32), ((2),33), ((-1),34), ((1),36), ((-1),38), ((-2),39), ((2),42), ((-2),44), ((1),45), ((1),46), ((-2),49)], (17)), ("GEQ", [((1),0), ((2),2), ((2),4), ((-1),6), ((2),7), ((1),11), ((1),12), ((1),13), ((-2),14), ((-2),15), ((2),17), ((1),19), ((-2),21), ((2),22), ((-1),23), ((-1),25), ((1),26), ((-2),27), ((2),29), ((1),30), ((2),33), ((-2),34), ((-1),35), ((1),37), ((1),38), ((1),40), ((-2),41), ((2),42), ((1),44), ((2),46), ((-1),47), ((1),48), ((-2),49)], (-15)), ("GEQ", [((1),0), ((-1),2), ((2),3), ((-2),4), ((-2),5), ((1),6), ((-2),7), ((-2),8), ((2),9), ((1),10), ((-2),13), ((-1),15), ((-1),17), ((1),18), ((-2),21), ((1),22), ((2),23), ((2),24), ((2),26), ((-1),27), ((2),30), ((-1),31), ((2),34), ((1),36), ((-1),37), ((-1),38), ((1),39), ((1),41), ((1),42), ((-1),43), ((-1),44), ((1),45), ((-2),46), ((2),47)], (-5)), ("GEQ", [((-2),0), ((-2),5), ((2),6), ((-2),8), ((1),9), ((-1),11), ((2),12), ((2),13), ((1),14), ((2),17), ((-2),18), ((1),19), ((-2),20), ((-2),21), ((1),23), ((2),26), ((1),27), ((2),28), ((1),29), ((2),31), ((-2),32), ((1),36), ((-2),38), ((1),40), ((2),43), ((-1),44), ((-1),45), ((1),48), ((2),49)], (0)), ("GEQ", [((2),0), ((2),1), ((-2),2), ((1),7), ((1),9), ((2),11), ((2),13), ((1),14), ((-1),17), ((2),20), ((-1),22), ((2),23), ((1),24), ((1),26), ((1),27), ((-2),30), ((-2),31), ((-2),33), ((2),34), ((-2),37), ((2),41), ((-1),42), ((-1),44), ((-1),45), ((-1),46), ((1),48), ((1),49)], (-27)), ("GEQ", [((1),0), ((-1),1), ((2),2), ((-2),3), ((-1),4), ((-1),5), ((2),6), ((1),7), ((2),8), ((1),12), ((-1),13), ((2),16), ((1),17), ((-1),19), ((-2),20), ((-1),21), ((2),27), ((1),28), ((-1),30), ((-1),32), ((1),33), ((-2),35), ((-1),37), ((2),38), ((2),39), ((1),43), ((1),44), ((1),45), ((2),46), ((1),47), ((-1),48), ((-2),49)], (2)), ("GEQ", [((2),1), ((1),2), ((1),4), ((-1),5), ((1),6), ((-2),7), ((1),10), ((1),11), ((-1),12), ((-1),14), ((1),15), ((1),18), ((-2),20), ((-1),21), ((-1),23), ((-2),25), ((1),26), ((1),27), ((2),28), ((2),29), ((1),30), ((1),31), ((2),32), ((2),33), ((2),34), ((-2),37), ((2),39), ((1),40), ((-1),41), ((-1),42), ((-1),44), ((2),45), ((2),47), ((2),49)], (-4)), ("GEQ", [((2),0), ((1),6), ((-1),7), ((2),8), ((-1),9), ((2),10), ((-1),11), ((-2),14), ((-2),15), ((-2),16), ((1),18), ((2),21), ((2),22), ((-1),23), ((1),25), ((1),28), ((1),30), ((1),31), ((1),32), ((-2),33), ((1),34), ((-1),35), ((-2),36), ((2),37), ((2),38), ((2),41), ((1),48), ((-2),49)], (5)), ("GEQ", [((1),2), ((-1),4), ((-2),5), ((1),9), ((2),12), ((2),17), ((2),18), ((-1),19), ((2),21), ((-1),22), ((-1),23), ((2),24), ((-2),27), ((2),29), ((1),30), ((1),31), ((-2),32), ((1),33), ((2),35), ((1),36), ((2),39), ((2),40), ((-2),42), ((1),46), ((2),47), ((-1),48)], (-25)), ("GEQ", [((-1),1), ((2),3), ((-2),6), ((1),7), ((-2),8), ((1),9), ((1),11), ((1),14), ((2),15), ((-2),16), ((2),17), ((1),20), ((1),21), ((2),22), ((-1),24), ((2),25), ((-2),27), ((-1),29), ((-1),31), ((-2),32), ((2),33), ((2),34), ((-2),35), ((-2),36), ((-2),39), ((1),40), ((2),41), ((-1),43), ((-1),45), ((-2),47), ((1),48), ((-2),49)], (-15)), ("GEQ", [((-2),0), ((1),1), ((-2),3), ((-2),4), ((-1),5), ((2),7), ((2),10), ((-1),12), ((-2),13), ((-2),14), ((-2),15), ((-2),18), ((-2),19), ((-1),21), ((-1),23), ((-2),24), ((1),25), ((1),26), ((1),29), ((-2),31), ((-1),32), ((1),33), ((-1),34), ((-1),35), ((1),36), ((1),37), ((2),38), ((-2),39), ((-1),40), ((2),41), ((1),42), ((2),45), ((-2),49)], (5)), ("GEQ", [((1),0), ((2),3), ((2),5), ((1),7), ((2),9), ((-1),10), ((-2),11), ((-1),12), ((1),13), ((-1),14), ((-2),15), ((1),16), ((1),18), ((-1),20), ((-1),21), ((-1),24), ((2),26), ((-1),32), ((-1),33), ((2),35), ((2),36), ((2),37), ((-1),38), ((2),40), ((-2),41), ((-1),42), ((-2),43), ((-2),45)], (15)), ("GEQ", [((2),0), ((-1),1), ((-1),2), ((2),3), ((-2),4), ((2),7), ((-1),9), ((2),10), ((2),12), ((2),13), ((1),15), ((2),17), ((-2),18), ((2),20), ((-2),24), ((1),25), ((1),27), ((-2),28), ((2),29), ((-2),30), ((-2),35), ((-1),37), ((1),38), ((1),39), ((2),41), ((-2),42), ((2),44), ((1),47), ((1),48), ((2),49)], (-29)), ("GEQ", [((2),1), ((2),2), ((2),3), ((2),5), ((2),6), ((1),7), ((1),11), ((1),12), ((1),13), ((2),14), ((1),16), ((2),17), ((-2),18), ((1),19), ((-1),20), ((1),21), ((2),23), ((-1),24), ((-1),25), ((-2),26), ((2),29), ((-1),30), ((-1),33), ((1),34), ((1),35), ((2),37), ((1),41), ((-1),42), ((-1),44), ((-2),46), ((-2),48)], (15)), ("GEQ", [((1),1), ((-2),2), ((1),3), ((1),4), ((-2),6), ((2),7), ((1),8), ((-1),9), ((2),10), ((-1),13), ((-2),15), ((-2),17), ((1),19), ((1),20), ((2),21), ((-1),22), ((-2),23), ((2),25), ((-1),26), ((1),29), ((-2),30), ((2),32), ((1),35), ((-2),36), ((1),38), ((1),39), ((-1),40), ((-2),41), ((2),42), ((-1),43), ((-1),44), ((-2),45), ((1),48), ((-2),49)], (-1)), ("GEQ", [((1),2), ((-2),4), ((1),5), ((-2),10), ((-1),11), ((-2),14), ((2),16), ((-2),18), ((-2),19), ((2),20), ((1),21), ((1),22), ((-2),23), ((2),24), ((2),26), ((1),27), ((-2),30), ((-1),31), ((-2),34), ((2),36), ((2),37), ((-1),39), ((-1),40), ((2),41), ((-2),42), ((2),43), ((1),44), ((-2),46), ((2),47), ((1),49)], (-20)), ("GEQ", [((1),1), ((2),3), ((-2),5), ((2),6), ((2),10), ((2),11), ((2),13), ((2),17), ((-1),20), ((-1),22), ((1),23), ((2),25), ((-1),27), ((-1),28), ((1),29), ((-2),36), ((-1),40), ((1),41), ((-2),43), ((1),44), ((-2),45), ((1),47), ((2),48), ((-1),49)], (-4)), ("GEQ", [((-2),0), ((-2),1), ((2),4), ((-1),5), ((1),6), ((2),7), ((-1),8), ((-2),10), ((2),11), ((2),12), ((2),13), ((-1),14), ((1),16), ((-2),17), ((-1),18), ((-2),19), ((1),20), ((1),22), ((-1),23), ((1),24), ((1),25), ((1),27), ((2),28), ((2),29), ((1),31), ((-2),32), ((1),33), ((1),34), ((-1),35), ((-2),36), ((-2),38), ((2),39), ((-1),40), ((2),43), ((2),45), ((-2),46), ((1),48), ((2),49)], (-33)), ("GEQ", [((2),0), ((2),1), ((-1),2), ((2),3), ((2),4), ((2),6), ((-1),7), ((2),9), ((-1),10), ((1),16), ((-1),17), ((-2),18), ((-2),19), ((-2),20), ((1),21), ((2),22), ((1),23), ((1),24), ((2),26), ((-1),29), ((-2),30), ((-2),31), ((1),35), ((-1),36), ((-2),37), ((-2),38), ((-1),39), ((-1),40), ((-2),41), ((-2),42), ((2),43), ((1),44), ((-2),47), ((-1),48), ((-2),49)], (27)), ("GEQ", [((-2),0), ((-2),2), ((1),3), ((2),4), ((-2),6), ((-2),9), ((-2),10), ((1),11), ((-2),12), ((1),14), ((-2),15), ((2),16), ((2),17), ((-1),18), ((1),19), ((2),21), ((-2),24), ((-2),27), ((-2),29), ((-2),31), ((-2),32), ((1),33), ((2),34), ((-2),36), ((-1),40), ((1),41), ((-2),43), ((1),44), ((-2),46), ((-1),49)], (-2)), ("GEQ", [((-2),1), ((-1),2), ((-2),4), ((-2),5), ((1),6), ((-1),7), ((2),8), ((-2),12), ((2),14), ((-2),16), ((-2),18), ((1),20), ((1),21), ((-1),25), ((1),26), ((-1),28), ((-1),29), ((1),31), ((-2),32), ((1),33), ((-2),34), ((-2),37), ((1),38), ((2),40), ((-1),41), ((-2),42), ((-2),46), ((-2),47)], (23)), ("GEQ", [((1),3), ((-2),4), ((1),5), ((1),6), ((-1),7), ((2),8), ((-2),9), ((1),10), ((2),11), ((-2),12), ((2),13), ((-2),14), ((1),16), ((1),17), ((1),18), ((2),19), ((1),20), ((-2),21), ((-1),22), ((1),23), ((-1),26), ((2),27), ((-1),28), ((1),30), ((1),32), ((1),34), ((-2),35), ((-2),37), ((-2),38), ((2),39), ((-1),41), ((1),42), ((2),45), ((-2),46), ((2),47), ((-1),49)], (8)), ("GEQ", [((1),0), ((1),1), ((-1),3), ((2),4), ((1),5), ((1),7), ((-1),11), ((-1),13), ((-1),20), ((2),24), ((-1),25), ((2),27), ((-1),28), ((-1),30), ((1),32), ((-1),35), ((1),37), ((-1),38), ((2),39), ((-1),40), ((-2),42), ((1),46), ((-1),47), ((-2),48), ((-1),49)], (-9)), ("GEQ", [((2),1), ((-1),3), ((2),4), ((1),5), ((2),6), ((1),7), ((-2),10), ((-1),11), ((-1),12), ((1),14), ((-2),15), ((1),16), ((1),17), ((2),18), ((-1),19), ((-2),20), ((1),21), ((-1),22), ((-2),23), ((-1),26), ((-2),27), ((2),28), ((-2),29), ((1),30), ((-1),32), ((2),34), ((1),35), ((-2),37), ((-2),40), ((2),41), ((-1),44), ((2),45), ((-2),46), ((1),48), ((1),49)], (-11)), ("GEQ", [((-1),0), ((2),1), ((-2),2), ((-2),3), ((2),4), ((-1),8), ((1),9), ((-1),10), ((-1),11), ((1),12), ((1),14), ((-2),15), ((-2),16), ((1),17), ((-2),18), ((-1),21), ((-1),25), ((-1),27), ((2),28), ((2),29), ((-1),32), ((-1),34), ((1),35), ((-1),36), ((2),37), ((-2),38), ((-1),40), ((1),42), ((1),43), ((1),46), ((2),49)], (5)), ("GEQ", [((1),0), ((-1),2), ((-1),3), ((-1),4), ((-1),5), ((2),6), ((1),7), ((2),9), ((2),10), ((-2),11), ((1),15), ((-2),16), ((-1),18), ((1),21), ((-2),22), ((-1),25), ((-1),26), ((-2),27), ((-2),28), ((1),30), ((2),31), ((-2),33), ((-1),34), ((1),35), ((1),37), ((-1),38), ((-1),41), ((2),43), ((-1),44), ((-2),45), ((-1),46), ((-1),47), ((-1),48)], (21)), ("GEQ", [((-2),1), ((2),2), ((2),4), ((2),6), ((2),7), ((1),8), ((1),9), ((2),11), ((-2),15), ((-1),16), ((1),17), ((-1),19), ((1),22), ((-1),24), ((-2),25), ((-1),26), ((-2),27), ((1),28), ((-1),31), ((-2),35), ((1),37), ((2),38), ((2),39), ((2),40), ((2),41), ((1),43), ((-2),45), ((-2),47), ((-1),48), ((1),49)], (-3)), ("GEQ", [((-2),1), ((-1),3), ((1),4), ((2),9), ((-1),13), ((2),14), ((2),15), ((2),16), ((-2),17), ((-1),19), ((-2),20), ((-1),21), ((2),24), ((-1),25), ((-2),26), ((-1),27), ((1),29), ((-1),30), ((-2),32), ((-1),33), ((1),39), ((2),40), ((2),41), ((-2),43), ((1),44), ((-1),45), ((-1),46), ((2),48)], (-13)), ("GEQ", [((2),0), ((1),1), ((-2),2), ((-1),4), ((-2),5), ((-1),7), ((1),9), ((-2),11), ((-1),13), ((-2),14), ((1),15), ((-2),18), ((1),20), ((-2),21), ((-2),22), ((1),25), ((2),28), ((-2),32), ((-2),33), ((-2),38), ((2),39), ((-2),42), ((-1),43), ((1),44), ((-2),46), ((2),47), ((-1),48), ((-2),49)], (24)), ("GEQ", [((-1),0), ((-2),1), ((-1),2), ((-1),5), ((2),7), ((1),8), ((-1),10), ((-1),12), ((-1),18), ((-1),20), ((-1),22), ((-1),23), ((-1),24), ((-2),29), ((-1),31), ((1),32), ((1),33), ((-1),34), ((-1),35), ((-1),39), ((-1),40), ((1),41), ((-2),44), ((-2),45), ((-2),46), ((-1),47), ((-1),48), ((2),49)], (6)), ("GEQ", [((-11),0), ((-5),1), ((6),2), ((-38),3), ((-12),4), ((11),5), ((-15),6), ((-43),7), ((-5),8), ((-6),9), ((-13),10), ((-27),11), ((8),12), ((-5),13), ((-6),14), ((8),15), ((-22),16), ((-35),17), ((30),18), ((3),19), ((10),20), ((-6),21), ((-3),22), ((-15),23), ((-6),24), ((-5),25), ((-34),26), ((-11),27), ((-10),28), ((-37),29), ((20),30), ((22),31), ((14),32), ((-23),33), ((-19),34), ((27),35), ((11),36), ((-9),37), ((-7),38), ((-9),39), ((11),40), ((-18),41), ((-3),43), ((12),44), ((14),45), ((27),46), ((-39),47), ((-8),48), ((31),49)], (134)), ("GEQ", [((15),0), ((5),1), ((1),2), ((34),3), ((26),4), ((31),5), ((-4),6), ((57),7), ((-12),8), ((-4),9), ((1),10), ((27),11), ((-14),12), ((9),13), ((30),14), ((-11),15), ((27),16), ((42),17), ((-15),18), ((-5),19), ((-24),20), ((22),21), ((-11),22), ((16),23), ((-4),24), ((2),25), ((26),26), ((46),27), ((12),28), ((72),29), ((-14),30), ((-22),31), ((-4),32), ((50),33), ((19),34), ((-37),35), ((1),36), ((23),37), ((36),38), ((16),39), ((-18),40), ((10),41), ((-13),42), ((-7),43), ((-25),44), ((-3),45), ((-19),46), ((46),47), ((5),48), ((-52),49)], (-213)), ("GEQ", [((-3),0), ((-6),1), ((-2),2), ((-21),3), ((-72),4), ((-85),5), ((53),6), ((-99),7), ((46),8), ((7),9), ((26),10), ((-28),11), ((5),12), ((-10),13), ((-72),14), ((31),15), ((-18),16), ((-68),17), ((-10),18), ((10),19), ((56),20), ((-54),21), ((43),22), ((15),24), ((-4),25), ((-7),26), ((-71),27), ((-19),28), ((-133),29), ((-2),30), ((2),31), ((-30),32), ((-114),33), ((-22),34), ((31),35), ((-17),36), ((-54),37), ((-84),38), ((-35),39), ((17),40), ((14),41), ((38),42), ((44),43), ((53),44), ((-2),45), ((-7),46), ((-46),47), ((6),48), ((69),49)], (660)), ("GEQ", [((-18),0), ((-7),1), ((2),2), ((-4),3), ((36),4), ((-42),5), ((-6),6), ((9),7), ((-2),8), ((17),9), ((4),10), ((1),11), ((19),12), ((-29),13), ((1),14), ((-15),15), ((-37),16), ((1),17), ((11),18), ((4),19), ((-15),20), ((2),21), ((21),22), ((-23),23), ((4),24), ((13),25), ((-4),26), ((-83),27), ((-51),29), ((3),30), ((6),31), ((-2),32), ((9),33), ((-3),34), ((10),35), ((-36),36), ((-25),37), ((2),38), ((-14),39), ((-3),41), ((27),42), ((-6),43), ((-8),44), ((-19),45), ((13),46), ((-47),47), ((4),48), ((-11),49)], (-164)), ("GEQ", [((-10),0), ((12),1), ((26),2), ((-130),3), ((-156),4), ((134),5), ((-30),6), ((-198),7), ((-20),8), ((-65),9), ((-58),10), ((-98),11), ((80),13), ((-35),14), ((106),15), ((6),16), ((-147),17), ((76),18), ((-5),19), ((73),20), ((-52),21), ((-72),22), ((11),23), ((-18),24), ((-40),25), ((-123),26), ((177),27), ((-40),28), ((-22),29), ((67),30), ((88),31), ((57),32), ((-136),33), ((-47),34), ((92),35), ((134),36), ((32),37), ((-64),38), ((-5),39), ((37),40), ((-65),41), ((-96),42), ((8),43), ((84),44), ((99),45), ((67),46), ((-47),47), ((-44),48), ((178),49)], (885)), ("GEQ", [((36),0), ((17),1), ((-42),2), ((102),3), ((28),4), ((-155),5), ((71),6), ((92),7), ((71),8), ((52),9), ((50),10), ((62),11), ((-40),12), ((-38),13), ((-19),14), ((-61),15), ((43),16), ((73),17), ((-107),18), ((15),19), ((8),20), ((-9),21), ((54),22), ((24),23), ((21),24), ((23),25), ((119),26), ((-94),27), ((34),28), ((-34),29), ((-70),30), ((-106),31), ((-81),32), ((12),33), ((41),34), ((-56),35), ((-88),36), ((-65),37), ((-16),38), ((5),39), ((-36),40), ((81),41), ((74),42), ((33),43), ((-13),44), ((-59),45), ((-91),46), ((69),47), ((31),48), ((-78),49)], (-91))] [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]