[("GEQ", [((-1),0), ((1),1), ((-1),2), ((2),5), ((-2),7), ((-2),8), ((1),9), ((2),10), ((-2),11), ((1),12), ((1),13), ((2),14), ((2),17), ((-2),19), ((-2),20), ((2),23), ((-2),25), ((2),27), ((1),28), ((1),29), ((1),30), ((-1),31), ((-2),32), ((1),34), ((-1),35), ((-1),36), ((1),37), ((2),39), ((-2),40), ((2),41), ((1),43), ((-2),44), ((-2),45), ((2),48)], (-22)), ("GEQ", [((2),2), ((2),5), ((-2),6), ((-2),7), ((1),9), ((-1),10), ((2),11), ((1),12), ((1),13), ((-1),14), ((2),15), ((-2),17), ((-2),21), ((2),22), ((-2),23), ((-1),24), ((-2),26), ((-2),30), ((2),31), ((-2),35), ((-1),38), ((-2),39), ((1),40), ((2),41), ((1),45), ((1),46), ((2),49)], (-6)), ("GEQ", [((1),2), ((1),3), ((-1),5), ((-2),6), ((1),7), ((-1),9), ((-2),13), ((2),14), ((2),16), ((-2),19), ((1),20), ((-2),22), ((-2),23), ((1),24), ((-2),26), ((-1),27), ((2),28), ((1),29), ((2),30), ((-2),34), ((1),35), ((-1),36), ((1),38), ((-2),41), ((1),43), ((-1),45), ((2),46), ((2),48), ((1),49)], (23)), ("GEQ", [((2),3), ((-1),5), ((-2),6), ((-1),7), ((-1),8), ((-1),10), ((2),12), ((-2),13), ((-2),14), ((-2),16), ((-2),17), ((-2),20), ((-1),23), ((1),25), ((-1),26), ((-1),27), ((-1),28), ((-2),30), ((-2),32), ((-1),35), ((1),39), ((-1),40), ((2),43), ((1),44), ((2),45), ((-1),47)], (-7)), ("GEQ", [((2),0), ((1),2), ((1),4), ((-1),6), ((-1),8), ((-1),9), ((2),10), ((-1),14), ((-1),16), ((-2),17), ((2),19), ((1),22), ((-2),23), ((-2),24), ((1),25), ((-2),27), ((-2),28), ((-1),29), ((-2),30), ((-1),31), ((-1),32), ((1),34), ((1),35), ((2),36), ((-1),37), ((-2),38), ((1),40), ((1),41), ((1),44), ((2),46), ((-2),48), ((-1),49)], (-6)), ("GEQ", [((2),0), ((2),1), ((-2),2), ((-2),3), ((-2),4), ((-1),5), ((1),6), ((-2),10), ((2),11), ((1),13), ((1),14), ((-1),15), ((-2),18), ((-2),19), ((-2),22), ((-2),23), ((1),24), ((-1),27), ((2),30), ((2),31), ((-2),32), ((1),34), ((2),36), ((-2),37), ((-1),38), ((2),43), ((-1),44), ((1),45), ((1),47), ((2),48)], (-1)), ("GEQ", [((1),4), ((2),6), ((2),7), ((-2),8), ((-2),10), ((2),11), ((1),12), ((2),14), ((-1),15), ((1),16), ((2),19), ((-1),21), ((2),25), ((2),27), ((2),30), ((1),32), ((-2),34), ((-1),35), ((-2),36), ((-2),37), ((1),38), ((-2),39), ((-1),42), ((-2),44), ((-1),47), ((2),48)], (14)), ("GEQ", [((-2),0), ((1),1), ((1),2), ((-2),3), ((2),7), ((1),9), ((2),10), ((2),11), ((2),12), ((-1),13), ((2),14), ((1),15), ((-1),16), ((-1),17), ((1),19), ((2),20), ((1),23), ((2),24), ((-2),27), ((1),28), ((-1),30), ((-1),31), ((-2),32), ((1),34), ((1),35), ((2),39), ((-1),40), ((-2),42), ((-2),43), ((-1),45), ((1),47), ((-2),48), ((2),49)], (30)), ("GEQ", [((-2),1), ((2),2), ((1),3), ((-1),4), ((2),6), ((-2),7), ((-2),8), ((-1),9), ((-1),10), ((-1),11), ((-2),13), ((1),14), ((-1),16), ((-2),18), ((2),19), ((-2),20), ((-2),22), ((2),24), ((1),26), ((-2),27), ((-2),28), ((-1),29), ((-1),33), ((1),37), ((2),40), ((-2),43), ((2),45), ((1),47)], (17)), ("GEQ", [((1),0), ((1),2), ((1),4), ((-2),5), ((1),8), ((2),11), ((2),12), ((-1),13), ((2),14), ((-2),16), ((-2),18), ((-1),19), ((2),20), ((-1),21), ((2),24), ((2),26), ((-1),27), ((-1),29), ((-2),30), ((1),31), ((2),32), ((2),34), ((1),35), ((2),37), ((1),39), ((2),40), ((-1),42), ((-2),43), ((1),44), ((-2),47)], (-3)), ("GEQ", [((-2),0), ((2),1), ((2),2), ((2),3), ((-2),7), ((2),8), ((-2),9), ((2),10), ((-2),13), ((-1),14), ((1),16), ((2),17), ((2),18), ((-2),19), ((2),22), ((1),23), ((-2),24), ((-1),25), ((-2),27), ((-2),29), ((2),30), ((2),32), ((-2),33), ((-1),34), ((2),37), ((1),38), ((1),40), ((-2),41), ((1),44), ((-1),46), ((-1),48)], (-12)), ("GEQ", [((-2),0), ((1),1), ((-1),2), ((-1),5), ((1),6), ((1),7), ((2),9), ((2),11), ((-1),12), ((-1),13), ((2),14), ((1),15), ((-2),18), ((2),21), ((2),22), ((2),23), ((-2),24), ((2),26), ((-1),27), ((-1),28), ((-2),29), ((2),30), ((1),34), ((-1),36), ((2),37), ((-1),39), ((1),40), ((2),42), ((2),43), ((-2),45), ((1),47), ((-2),48)], (-8)), ("GEQ", [((1),0), ((1),1), ((-2),2), ((2),5), ((-1),7), ((-1),8), ((-2),10), ((1),13), ((-1),15), ((2),17), ((1),20), ((-2),25), ((-1),26), ((-2),28), ((-2),29), ((-2),30), ((-1),31), ((-2),32), ((-2),33), ((-1),37), ((1),39), ((2),40), ((1),43), ((2),46), ((2),47), ((-2),49)], (-26)), ("GEQ", [((2),0), ((1),3), ((-1),5), ((-1),6), ((1),7), ((-2),10), ((-2),11), ((-2),14), ((1),15), ((2),18), ((-1),21), ((-2),23), ((-2),24), ((1),25), ((2),26), ((-2),27), ((2),30), ((2),31), ((2),32), ((-1),34), ((2),35), ((1),36), ((-1),37), ((-2),38), ((2),39), ((1),40), ((-2),41), ((2),42), ((1),44), ((-1),45), ((-2),46), ((-2),48)], (5)), ("GEQ", [((-1),0), ((-1),1), ((-2),2), ((1),3), ((2),4), ((-1),6), ((2),8), ((2),11), ((1),13), ((-2),14), ((-1),15), ((1),17), ((-2),18), ((-1),19), ((1),20), ((2),22), ((1),23), ((1),26), ((1),29), ((-2),31), ((1),32), ((-1),36), ((-1),37), ((-1),38), ((-2),39), ((1),40), ((-1),41), ((-1),44), ((-1),46), ((1),47), ((1),49)], (18)), ("GEQ", [((-1),1), ((-2),3), ((2),6), ((-2),7), ((-1),8), ((2),10), ((2),12), ((2),14), ((1),18), ((-1),20), ((1),22), ((1),23), ((1),25), ((1),29), ((2),30), ((1),31), ((-1),32), ((2),34), ((1),35), ((2),37), ((1),38), ((-1),40), ((-2),42), ((-1),43), ((2),44), ((2),45), ((2),47), ((-2),48), ((1),49)], (-8)), ("GEQ", [((1),0), ((-2),3), ((-2),4), ((1),5), ((1),7), ((1),8), ((2),9), ((-2),10), ((1),11), ((-1),13), ((1),15), ((-2),16), ((2),18), ((2),20), ((-2),21), ((-2),24), ((-1),25), ((1),26), ((2),28), ((-2),34), ((2),35), ((2),38), ((1),39), ((2),43), ((1),44), ((2),47), ((2),48), ((-1),49)], (-25)), ("GEQ", [((2),2), ((1),5), ((-1),8), ((-1),9), ((1),15), ((1),17), ((2),18), ((1),19), ((1),23), ((-1),24), ((-2),25), ((-1),28), ((1),30), ((-2),31), ((-1),32), ((-1),33), ((2),34), ((-1),37), ((-1),39), ((-1),40), ((-1),41), ((-2),42), ((-2),43), ((2),47), ((-1),49)], (27)), ("GEQ", [((-2),0), ((-1),1), ((2),8), ((-1),10), ((1),13), ((2),14), ((-1),16), ((2),17), ((1),18), ((-2),19), ((-2),21), ((-1),23), ((2),25), ((2),26), ((-2),28), ((1),29), ((1),30), ((-2),31), ((-2),32), ((-2),33), ((1),34), ((-1),36), ((-1),37), ((-2),38), ((2),40), ((1),43), ((1),44), ((-2),46), ((2),47), ((-2),49)], (8)), ("GEQ", [((-1),3), ((2),4), ((1),5), ((2),6), ((-2),9), ((2),10), ((-2),14), ((-1),15), ((-1),16), ((2),20), ((2),23), ((2),25), ((-1),26), ((2),27), ((1),29), ((-2),31), ((1),33), ((-2),35), ((1),39), ((1),40), ((-1),41), ((-1),44), ((2),45), ((2),46), ((1),47), ((1),48)], (1)), ("GEQ", [((2),0), ((-2),1), ((-1),2), ((-2),5), ((1),6), ((-1),7), ((2),11), ((1),13), ((-1),14), ((-1),15), ((-1),16), ((1),17), ((2),18), ((1),19), ((-1),21), ((1),23), ((-1),24), ((2),26), ((1),28), ((2),30), ((-2),31), ((1),32), ((1),33), ((-2),34), ((-1),35), ((-2),36), ((2),37), ((-2),38), ((1),39), ((2),40), ((1),41), ((-1),42), ((-2),44), ((-2),45), ((-2),46), ((-2),47), ((-2),48), ((-1),49)], (11)), ("GEQ", [((2),0), ((-1),2), ((-1),3), ((2),4), ((2),8), ((-2),9), ((2),12), ((-1),15), ((-1),17), ((1),18), ((-2),21), ((2),22), ((-2),23), ((-1),25), ((2),26), ((-1),29), ((1),30), ((2),31), ((1),34), ((2),35), ((-2),36), ((2),39), ((-2),41), ((2),42), ((2),43), ((-1),45), ((-1),48)], (2)), ("GEQ", [((1),1), ((1),2), ((-1),9), ((-2),10), ((-1),13), ((1),15), ((1),17), ((1),18), ((1),21), ((-2),22), ((2),23), ((-1),24), ((-2),25), ((2),29), ((1),30), ((-1),31), ((2),33), ((-1),35), ((2),37), ((-2),38), ((1),39), ((1),40), ((-1),42), ((2),43), ((2),44), ((2),46), ((1),47)], (-22)), ("GEQ", [((-2),0), ((1),1), ((-1),3), ((-2),7), ((-2),8), ((-2),13), ((1),16), ((2),17), ((1),18), ((1),20), ((2),22), ((-2),23), ((-1),24), ((1),25), ((2),28), ((2),29), ((-1),31), ((2),35), ((-1),36), ((-1),38), ((1),39), ((-2),41), ((-1),43), ((1),45), ((2),46), ((-2),49)], (-37)), ("GEQ", [((-1),0), ((1),4), ((-1),5), ((-2),6), ((1),8), ((-2),9), ((-2),10), ((-1),12), ((-1),13), ((-2),14), ((-1),16), ((2),17), ((-1),18), ((2),19), ((2),22), ((1),23), ((-2),24), ((1),27), ((1),29), ((-1),31), ((1),32), ((-2),34), ((-2),35), ((-2),36), ((-2),38), ((1),44), ((1),46), ((2),47), ((1),48), ((-1),49)], (9)), ("GEQ", [((1),0), ((-1),2), ((-1),3), ((2),5), ((-1),6), ((1),7), ((2),8), ((2),9), ((1),10), ((1),12), ((-1),15), ((2),18), ((-1),19), ((-2),20), ((-2),21), ((-2),22), ((1),24), ((-2),26), ((1),28), ((2),33), ((-2),35), ((-2),36), ((-2),38), ((1),39), ((2),43), ((-2),44), ((1),45), ((2),46), ((-2),47), ((2),48), ((-1),49)], (20)), ("GEQ", [((-2),2), ((1),3), ((1),4), ((-1),5), ((-2),8), ((-1),11), ((-1),14), ((-2),16), ((1),18), ((2),19), ((-1),20), ((1),21), ((1),23), ((-2),25), ((-2),26), ((2),27), ((-1),30), ((2),32), ((-1),33), ((2),34), ((1),35), ((2),36), ((1),37), ((2),39), ((1),42), ((-1),43), ((-1),44), ((-1),47), ((1),49)], (-20)), ("GEQ", [((-1),2), ((-1),3), ((1),4), ((-1),5), ((1),6), ((2),7), ((-1),10), ((-2),11), ((-1),12), ((2),13), ((1),14), ((-2),15), ((2),17), ((2),18), ((1),19), ((2),21), ((-2),22), ((2),23), ((-1),24), ((2),25), ((-1),27), ((-1),29), ((-2),30), ((2),31), ((-2),33), ((2),34), ((-2),35), ((-1),36), ((-1),37), ((2),40), ((1),41), ((1),43), ((-1),44), ((2),46), ((-1),47), ((1),48)], (4)), ("GEQ", [((2),0), ((1),3), ((1),4), ((2),5), ((2),6), ((1),9), ((-1),11), ((1),16), ((1),17), ((2),19), ((-2),21), ((1),23), ((-1),25), ((1),26), ((1),28), ((-2),30), ((2),33), ((1),35), ((-1),36), ((-1),37), ((-2),39), ((-2),40), ((2),42), ((-2),43), ((1),44), ((1),45), ((1),46), ((1),47), ((1),48)], (0)), ("GEQ", [((1),0), ((2),3), ((2),4), ((-1),6), ((-1),7), ((-1),8), ((1),10), ((1),13), ((-2),14), ((-2),16), ((1),18), ((-2),19), ((-2),20), ((2),21), ((1),22), ((2),23), ((-2),25), ((1),28), ((-1),29), ((-1),30), ((-1),31), ((2),32), ((1),33), ((-1),37), ((-2),38), ((2),42), ((-1),46), ((2),47)], (14)), ("GEQ", [((2),1), ((1),2), ((2),3), ((2),8), ((2),9), ((-1),12), ((1),13), ((-2),14), ((2),15), ((2),16), ((-2),22), ((1),26), ((2),27), ((2),28), ((-1),31), ((1),32), ((1),34), ((-1),35), ((-1),38), ((-1),44), ((2),45), ((-2),47), ((-2),49)], (-7)), ("GEQ", [((-2),1), ((-2),2), ((2),3), ((-2),6), ((-2),7), ((-1),11), ((-2),12), ((-2),13), ((2),14), ((1),15), ((-1),16), ((1),17), ((2),18), ((1),19), ((-2),20), ((1),21), ((2),22), ((1),23), ((1),25), ((2),28), ((-2),32), ((2),33), ((2),34), ((-1),35), ((-2),36), ((1),40), ((-2),41), ((-1),42), ((-2),44), ((-1),45), ((1),46), ((-1),48)], (31)), ("GEQ", [((-2),1), ((2),2), ((2),3), ((-2),4), ((-2),8), ((2),10), ((-1),12), ((-2),13), ((-2),14), ((2),16), ((1),18), ((1),19), ((-1),24), ((1),27), ((1),29), ((2),31), ((2),33), ((2),37), ((1),38), ((1),40), ((-1),42), ((-1),48), ((2),49)], (-10)), ("GEQ", [((-1),0), ((-1),1), ((2),5), ((-1),6), ((1),8), ((-2),9), ((2),10), ((1),14), ((1),15), ((-1),18), ((-1),20), ((2),24), ((1),27), ((-1),28), ((2),31), ((-1),32), ((2),33), ((1),39), ((2),41), ((2),44), ((-1),45), ((2),46), ((-2),47), ((2),48), ((1),49)], (-3)), ("GEQ", [((-1),0), ((-1),1), ((-2),3), ((-2),4), ((-2),5), ((-1),6), ((-1),7), ((2),8), ((2),9), ((-2),10), ((1),11), ((-1),12), ((2),13), ((-2),14), ((2),15), ((-2),16), ((-1),18), ((1),21), ((-1),22), ((-2),23), ((2),25), ((1),27), ((-1),29), ((2),30), ((-2),31), ((1),32), ((1),34), ((1),36), ((2),37), ((-2),39), ((1),42), ((-1),43), ((2),44), ((-1),48), ((1),49)], (2)), ("GEQ", [((1),0), ((1),1), ((-1),4), ((1),6), ((1),7), ((1),9), ((1),13), ((2),16), ((1),17), ((2),19), ((1),20), ((-1),21), ((2),22), ((1),23), ((1),26), ((2),27), ((-2),28), ((-2),30), ((1),31), ((-2),32), ((1),35), ((-1),36), ((-2),39), ((1),41), ((-2),43), ((-1),44), ((-1),45), ((2),48)], (-7)), ("GEQ", [((1),0), ((1),1), ((2),2), ((-1),3), ((1),4), ((-1),5), ((2),7), ((1),8), ((-1),9), ((-2),10), ((2),11), ((2),12), ((2),14), ((2),15), ((2),16), ((-1),17), ((-2),18), ((-2),20), ((1),21), ((-2),23), ((-1),24), ((-1),25), ((1),26), ((2),27), ((-2),28), ((1),29), ((2),30), ((-2),33), ((-1),34), ((-2),35), ((1),38), ((1),41), ((1),42), ((2),43), ((2),47)], (14)), ("GEQ", [((-2),0), ((1),1), ((-1),2), ((1),3), ((2),5), ((1),9), ((-2),11), ((1),12), ((1),13), ((-1),14), ((-2),15), ((1),16), ((1),17), ((-2),18), ((1),21), ((2),25), ((-1),27), ((-2),28), ((-2),31), ((-2),32), ((-1),33), ((2),34), ((2),36), ((2),37), ((2),39), ((1),41), ((-2),42), ((1),43), ((2),44), ((-1),45), ((1),46), ((-2),49)], (-47)), ("GEQ", [((-2),0), ((-1),1), ((2),6), ((-1),7), ((1),8), ((-2),10), ((-1),11), ((-1),15), ((2),16), ((2),18), ((1),19), ((1),20), ((-1),22), ((1),25), ((-2),28), ((-2),31), ((-1),36), ((1),37), ((-1),39), ((2),40), ((-2),42), ((1),45), ((1),47)], (-15)), ("GEQ", [((2),1), ((-2),2), ((-2),3), ((-2),4), ((1),5), ((-2),10), ((1),11), ((2),13), ((-2),14), ((2),15), ((1),18), ((-1),19), ((1),20), ((1),21), ((-2),23), ((-1),24), ((-2),25), ((-1),26), ((1),27), ((2),28), ((2),30), ((1),33), ((-1),35), ((-1),36), ((2),40), ((1),41), ((1),42), ((-1),43), ((-2),44), ((2),45), ((1),46), ((-2),47), ((-1),48), ((-1),49)], (-31)), ("GEQ", [((-1),1), ((1),3), ((-1),5), ((2),6), ((-1),7), ((1),8), ((-2),9), ((1),11), ((-2),12), ((-2),14), ((-1),17), ((-2),19), ((-1),20), ((-2),21), ((1),23), ((1),25), ((-2),26), ((-2),28), ((-1),30), ((1),34), ((2),35), ((2),37), ((1),39), ((-1),40), ((1),42), ((1),43), ((-2),44), ((2),45), ((2),47), ((1),49)], (6)), ("GEQ", [((-1),1), ((-1),2), ((2),4), ((-2),7), ((-1),10), ((2),11), ((-1),12), ((1),16), ((-1),17), ((-2),18), ((-1),19), ((-1),20), ((-2),21), ((2),22), ((1),23), ((1),26), ((-2),27), ((-1),28), ((1),29), ((2),30), ((1),31), ((2),32), ((1),33), ((-2),34), ((-2),36), ((2),40), ((1),41), ((-1),43), ((2),44), ((2),45), ((2),46), ((-2),48), ((-2),49)], (-2)), ("GEQ", [((-2),0), ((-1),1), ((2),5), ((2),6), ((-2),8), ((2),10), ((-1),11), ((2),12), ((-1),16), ((-2),19), ((-2),21), ((-1),22), ((1),23), ((1),24), ((1),25), ((1),27), ((1),28), ((-2),31), ((2),32), ((-2),33), ((2),36), ((-1),37), ((-2),39), ((2),42), ((2),43), ((-2),45), ((1),46), ((2),47), ((-1),48)], (-26)), ("GEQ", [((2),1), ((-2),2), ((2),4), ((1),5), ((-2),6), ((2),10), ((-1),11), ((2),12), ((-2),13), ((2),15), ((2),17), ((-2),20), ((2),21), ((-2),24), ((1),25), ((-2),26), ((-2),27), ((-2),28), ((1),29), ((-2),32), ((1),33), ((-1),38), ((-1),41), ((-2),42), ((-1),43), ((1),46), ((-1),48)], (17)), ("GEQ", [((1),0), ((2),1), ((-2),3), ((-2),6), ((-2),7), ((1),8), ((2),11), ((-1),12), ((-1),13), ((-1),14), ((2),16), ((1),17), ((-2),18), ((-2),20), ((-2),22), ((-2),24), ((2),26), ((2),27), ((-1),28), ((-1),31), ((2),32), ((-2),33), ((-2),34), ((2),35), ((-1),36), ((-2),38), ((2),41), ((-1),42), ((-1),44), ((2),45), ((2),46), ((2),48), ((-1),49)], (-12)), ("GEQ", [((-2),0), ((2),3), ((-2),4), ((-1),5), ((-2),6), ((1),12), ((-1),14), ((-1),16), ((2),17), ((-1),19), ((1),21), ((1),22), ((1),23), ((1),25), ((-1),26), ((2),28), ((2),29), ((2),33), ((-1),34), ((2),36), ((-1),37), ((2),38), ((-1),39), ((2),43), ((-2),47), ((2),48), ((-1),49)], (-30)), ("GEQ", [((-2),0), ((-1),1), ((1),2), ((2),3), ((-1),5), ((2),6), ((1),8), ((1),10), ((-1),11), ((-2),12), ((-1),16), ((1),17), ((2),18), ((-2),20), ((1),21), ((1),22), ((-1),23), ((-2),26), ((-1),29), ((2),33), ((-1),35), ((-2),38), ((1),40), ((-2),41), ((2),44), ((-1),45), ((1),47), ((-2),49)], (5)), ("GEQ", [((2),2), ((-1),5), ((-1),7), ((-1),9), ((-2),10), ((2),11), ((-2),12), ((-2),13), ((-2),14), ((-2),17), ((1),19), ((-1),20), ((-2),21), ((-2),22), ((-2),25), ((-2),26), ((2),27), ((2),29), ((-2),32), ((2),33), ((2),35), ((2),36), ((2),37), ((-2),38), ((-2),40), ((1),41), ((2),44), ((1),46), ((-2),47), ((-2),48)], (-29)), ("GEQ", [((-2),0), ((-2),4), ((2),5), ((2),6), ((1),7), ((2),9), ((-2),10), ((1),11), ((-2),14), ((-1),15), ((1),16), ((1),20), ((1),21), ((2),23), ((-2),24), ((-1),27), ((1),29), ((-2),31), ((2),33), ((-1),34), ((2),35), ((-1),38), ((-2),39), ((-2),40), ((2),43), ((2),44), ((2),45), ((-2),46), ((-2),47), ((-1),48), ((-2),49)], (-50)), ("GEQ", [((7),0), ((17),1), ((-10),2), ((-7),3), ((-4),4), ((-9),5), ((-7),6), ((6),7), ((19),8), ((6),9), ((2),10), ((-26),12), ((25),13), ((-4),14), ((-25),15), ((12),16), ((-27),17), ((-7),18), ((-30),19), ((40),20), ((9),21), ((-16),22), ((-5),23), ((33),24), ((-10),25), ((-12),26), ((-6),27), ((16),28), ((-10),29), ((-30),30), ((-4),31), ((-4),32), ((-17),33), ((-18),34), ((-11),35), ((4),36), ((-16),37), ((18),38), ((11),39), ((-11),40), ((3),41), ((-17),42), ((-10),43), ((-29),44), ((3),45), ((-32),46), ((-16),47), ((10),48), ((4),49)], (182)), ("GEQ", [((24),0), ((-28),1), ((11),2), ((23),3), ((2),4), ((-6),5), ((-23),6), ((31),7), ((-31),8), ((-12),9), ((21),10), ((-33),11), ((21),12), ((-33),13), ((22),14), ((15),15), ((-11),16), ((-18),17), ((-15),18), ((15),19), ((-28),20), ((7),21), ((-13),22), ((-17),23), ((15),24), ((5),25), ((-16),26), ((8),27), ((9),28), ((24),29), ((4),30), ((51),31), ((9),32), ((33),33), ((5),34), ((-4),35), ((39),36), ((-14),37), ((23),38), ((-14),39), ((-32),40), ((-16),41), ((33),42), ((8),43), ((18),44), ((-23),45), ((-3),46), ((-14),47), ((5),48), ((48),49)], (319)), ("GEQ", [((-88),0), ((92),1), ((-32),2), ((-89),3), ((-31),4), ((-1),5), ((98),6), ((-104),7), ((142),8), ((73),9), ((-55),10), ((118),11), ((-99),12), ((162),13), ((-70),14), ((-77),15), ((43),16), ((42),17), ((16),18), ((-72),19), ((139),20), ((-17),21), ((38),22), ((52),23), ((-11),24), ((102),26), ((-54),27), ((-23),28), ((-128),29), ((-27),30), ((-172),31), ((-1),32), ((-151),33), ((-31),34), ((17),35), ((-124),36), ((41),37), ((-60),38), ((40),39), ((111),40), ((70),41), ((-126),42), ((-61),43), ((-67),44), ((68),45), ((-64),46), ((40),47), ((-20),48), ((-160),49)], (-796)), ("GEQ", [((-8),0), ((-60),1), ((33),2), ((11),3), ((-6),4), ((17),5), ((32),6), ((20),7), ((-76),8), ((-7),9), ((2),10), ((-28),11), ((72),12), ((-53),13), ((32),14), ((57),15), ((-24),16), ((46),17), ((-14),18), ((93),19), ((-102),20), ((-6),21), ((9),22), ((8),23), ((-39),24), ((39),25), ((38),26), ((40),27), ((-42),28), ((14),29), ((69),30), ((41),31), ((35),32), ((34),33), ((49),34), ((24),35), ((18),36), ((25),37), ((-6),38), ((-36),39), ((9),40), ((3),41), ((64),42), ((11),43), ((64),44), ((-21),45), ((70),46), ((22),47), ((-4),48), ((20),49)], (-287)), ("GEQ", [((76),0), ((-61),1), ((37),2), ((84),3), ((18),4), ((6),5), ((-68),6), ((100),7), ((-112),8), ((-48),9), ((67),10), ((-105),11), ((78),12), ((-119),13), ((83),14), ((61),15), ((-18),16), ((-48),17), ((-19),18), ((49),19), ((-112),20), ((28),21), ((-27),22), ((-36),23), ((20),24), ((-19),25), ((-74),26), ((28),27), ((13),28), ((86),29), ((12),30), ((135),31), ((-16),32), ((108),33), ((28),34), ((-31),35), ((89),36), ((-39),37), ((75),38), ((-40),39), ((-112),40), ((-50),41), ((87),42), ((30),43), ((25),44), ((-60),45), ((3),46), ((-55),47), ((6),48), ((118),49)], (975)), ("GEQ", [((40),0), ((69),1), ((-46),2), ((-20),3), ((25),4), ((-54),5), ((-88),6), ((-18),7), ((99),8), ((-14),9), ((-10),10), ((27),11), ((-103),12), ((57),13), ((-46),14), ((-83),15), ((7),16), ((-98),17), ((18),18), ((-139),19), ((142),20), ((-1),21), ((-29),22), ((-56),23), ((81),24), ((-59),25), ((-89),26), ((-38),27), ((84),28), ((-4),29), ((-99),30), ((-4),31), ((-41),32), ((-37),33), ((-79),34), ((-38),35), ((13),36), ((-60),37), ((16),38), ((61),39), ((-44),40), ((-31),41), ((-56),42), ((3),43), ((-57),44), ((12),45), ((-95),46), ((-24),47), ((10),48), ((18),49)], (717))] [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]