[("GEQ", [((-2),0), ((2),1), ((2),2), ((-1),6), ((-1),7), ((-2),8), ((-2),9), ((-1),10), ((-2),11), ((-1),12), ((1),15), ((2),16), ((-2),17), ((1),21), ((1),28), ((-1),30), ((1),31), ((-2),33), ((2),34), ((1),35), ((2),36), ((1),37), ((1),38), ((-1),39), ((-2),40), ((-2),41), ((-2),42), ((1),46)], (10)), ("GEQ", [((2),1), ((-1),2), ((2),3), ((-1),5), ((-2),7), ((-1),8), ((2),9), ((2),10), ((-2),12), ((-1),13), ((1),14), ((-1),15), ((-1),18), ((-1),19), ((-2),20), ((1),24), ((2),25), ((1),26), ((-2),27), ((2),28), ((1),32), ((-1),33), ((-1),35), ((2),38), ((2),39), ((2),41), ((2),42), ((-2),43), ((2),44), ((-2),45), ((-2),48)], (-2)), ("GEQ", [((-1),1), ((1),3), ((-2),4), ((-1),5), ((-2),6), ((1),7), ((1),9), ((1),11), ((-2),12), ((-1),13), ((1),15), ((-1),16), ((2),18), ((-2),19), ((-2),20), ((1),21), ((-1),24), ((1),25), ((-2),29), ((1),30), ((1),31), ((-2),32), ((2),34), ((2),35), ((1),37), ((2),38), ((2),44), ((1),48)], (16)), ("GEQ", [((-1),0), ((-2),2), ((-2),4), ((-2),6), ((1),7), ((1),8), ((2),9), ((-1),10), ((2),11), ((1),13), ((2),14), ((1),18), ((-1),19), ((-2),20), ((-1),21), ((1),22), ((-1),24), ((2),25), ((-1),26), ((-1),29), ((2),32), ((-1),36), ((1),39), ((-1),40), ((2),45), ((2),46), ((2),47), ((-2),48)], (0)), ("GEQ", [((1),3), ((2),4), ((2),5), ((-2),7), ((1),8), ((-1),9), ((-1),10), ((-1),11), ((-2),12), ((2),13), ((-2),14), ((1),15), ((-1),16), ((-1),18), ((-2),19), ((-1),21), ((1),22), ((1),23), ((-2),24), ((-2),25), ((2),26), ((1),27), ((2),28), ((1),30), ((-2),31), ((1),32), ((-2),33), ((1),34), ((2),36), ((1),37), ((2),40), ((1),42), ((-2),44), ((2),47), ((-2),49)], (21)), ("GEQ", [((-1),1), ((2),3), ((-2),5), ((-2),8), ((-2),10), ((1),13), ((-1),14), ((-2),15), ((-1),16), ((-1),17), ((1),19), ((-1),21), ((2),22), ((-2),25), ((2),26), ((-1),28), ((-1),29), ((-1),30), ((1),33), ((-1),34), ((-2),36), ((-2),37), ((1),38), ((1),39), ((-1),40), ((1),42), ((2),44), ((-1),45), ((-1),47), ((-1),48)], (-1)), ("GEQ", [((2),0), ((-2),1), ((2),2), ((2),7), ((1),8), ((-2),9), ((-2),11), ((-1),12), ((-1),13), ((2),14), ((1),15), ((2),16), ((-1),17), ((2),19), ((-1),20), ((1),23), ((1),25), ((-1),27), ((1),28), ((-1),29), ((1),30), ((2),31), ((-1),32), ((2),33), ((-1),35), ((-1),36), ((-1),38), ((2),42), ((-1),43), ((-2),47), ((2),49)], (-18)), ("GEQ", [((-2),0), ((-2),3), ((-1),5), ((2),6), ((1),8), ((-2),9), ((-2),12), ((2),14), ((-2),16), ((-2),17), ((2),18), ((2),19), ((1),20), ((-1),22), ((1),24), ((2),26), ((1),30), ((1),31), ((-2),33), ((-1),34), ((-2),35), ((2),36), ((-2),37), ((2),39), ((-1),40), ((-2),41), ((-2),42), ((-1),45), ((1),46), ((-2),47), ((-2),48), ((1),49)], (-6)), ("GEQ", [((-1),1), ((-2),2), ((2),7), ((-1),8), ((-2),10), ((-1),11), ((2),13), ((-2),14), ((2),16), ((-2),17), ((1),18), ((2),19), ((1),20), ((-1),21), ((1),22), ((-2),23), ((-2),24), ((2),26), ((-1),28), ((2),29), ((1),30), ((1),31), ((1),33), ((2),36), ((-1),37), ((-2),39), ((2),43), ((1),45), ((-1),48), ((-1),49)], (-5)), ("GEQ", [((-1),0), ((-1),1), ((-1),2), ((1),4), ((1),6), ((-1),11), ((2),12), ((2),13), ((-2),14), ((-1),15), ((2),16), ((-2),18), ((-2),19), ((2),20), ((-2),21), ((-2),22), ((-2),23), ((1),26), ((2),27), ((-1),28), ((2),29), ((-2),32), ((-1),34), ((-1),35), ((1),36), ((-1),38), ((2),39), ((1),40), ((1),41), ((-1),42), ((-2),44), ((-2),45), ((2),49)], (18)), ("GEQ", [((-1),2), ((-1),3), ((1),5), ((-1),6), ((-2),7), ((-2),8), ((1),9), ((2),10), ((1),14), ((1),15), ((-2),16), ((-2),17), ((1),18), ((2),20), ((-2),22), ((-1),24), ((-2),27), ((-2),28), ((1),29), ((1),30), ((-2),32), ((-2),34), ((2),35), ((1),38), ((-2),40), ((-2),42), ((-1),44), ((-1),45), ((-2),46)], (-23)), ("GEQ", [((2),1), ((2),2), ((1),3), ((-2),4), ((-2),6), ((-1),8), ((1),9), ((-2),10), ((-1),11), ((2),12), ((-1),14), ((1),15), ((-2),18), ((-2),19), ((-1),20), ((-2),21), ((-2),24), ((-1),25), ((-2),26), ((-1),27), ((-1),29), ((2),30), ((2),31), ((1),32), ((-2),33), ((1),34), ((2),35), ((1),36), ((2),37), ((1),38), ((-2),39), ((2),40), ((1),41), ((-1),42), ((-2),45), ((2),46), ((1),47), ((-1),49)], (17)), ("GEQ", [((-2),0), ((2),2), ((2),3), ((2),4), ((-1),5), ((2),6), ((-2),7), ((1),12), ((-2),17), ((2),19), ((-1),20), ((2),21), ((-2),23), ((1),24), ((1),25), ((1),26), ((-1),27), ((-2),29), ((-2),30), ((-1),31), ((-2),32), ((-1),33), ((-2),36), ((1),37), ((-1),38), ((1),39), ((2),40), ((2),43), ((2),44), ((-2),45), ((1),47), ((2),48), ((1),49)], (18)), ("GEQ", [((1),0), ((2),2), ((-1),3), ((-2),5), ((-2),8), ((-2),9), ((-2),10), ((2),12), ((2),14), ((-2),15), ((-1),19), ((1),20), ((-2),23), ((2),24), ((-2),25), ((-2),26), ((1),28), ((-2),29), ((-2),30), ((-2),33), ((2),34), ((-2),35), ((2),38), ((1),39), ((1),40), ((2),41), ((-1),46), ((1),47), ((-1),48)], (30)), ("GEQ", [((-1),2), ((-1),3), ((-1),6), ((-2),8), ((-1),9), ((1),11), ((1),12), ((-1),15), ((-1),16), ((-2),17), ((-1),19), ((1),20), ((2),25), ((-2),26), ((-1),27), ((-1),29), ((1),32), ((1),33), ((-2),35), ((-2),36), ((-2),38), ((-1),39), ((-2),41), ((2),42), ((-1),43), ((1),44), ((2),45), ((-1),47)], (7)), ("GEQ", [((1),0), ((-2),1), ((2),2), ((2),3), ((-2),4), ((-1),7), ((1),8), ((-2),9), ((2),12), ((2),13), ((1),16), ((-2),19), ((1),20), ((1),21), ((1),22), ((-1),23), ((-2),26), ((-2),27), ((1),29), ((-2),30), ((1),31), ((1),33), ((1),34), ((-2),35), ((-1),38), ((1),40), ((-1),42), ((2),43), ((2),44), ((2),45), ((-2),46), ((-1),47), ((-2),49)], (-21)), ("GEQ", [((-1),0), ((2),1), ((1),2), ((1),4), ((1),6), ((-1),12), ((-1),13), ((2),15), ((2),16), ((-2),17), ((-2),18), ((-2),20), ((2),21), ((1),22), ((1),23), ((1),24), ((-1),25), ((-1),27), ((-2),28), ((2),32), ((2),33), ((2),34), ((1),36), ((1),37), ((1),39), ((-1),41), ((-1),44), ((-2),45), ((1),46), ((1),48), ((-1),49)], (30)), ("GEQ", [((2),1), ((2),2), ((2),3), ((1),4), ((-2),6), ((1),7), ((-2),12), ((-1),16), ((-1),17), ((1),18), ((2),20), ((1),22), ((1),23), ((1),28), ((2),30), ((2),31), ((2),32), ((1),33), ((-2),34), ((-1),35), ((-1),36), ((1),37), ((2),39), ((-1),43), ((-1),44), ((-1),49)], (-20)), ("GEQ", [((2),0), ((-2),4), ((2),5), ((-2),6), ((2),7), ((2),8), ((-1),9), ((-1),10), ((-2),11), ((1),13), ((1),14), ((2),18), ((2),21), ((1),23), ((-2),25), ((1),27), ((-2),29), ((-2),32), ((1),35), ((1),36), ((-2),40), ((-2),42), ((-1),45), ((2),46), ((-2),47), ((2),48), ((1),49)], (-4)), ("GEQ", [((2),1), ((-2),2), ((-1),3), ((-2),4), ((1),6), ((-1),10), ((1),12), ((2),14), ((1),15), ((-1),17), ((2),18), ((1),19), ((-2),20), ((-2),22), ((-2),23), ((-1),24), ((-1),26), ((-1),27), ((1),29), ((-2),30), ((-2),31), ((1),34), ((-2),36), ((-1),38), ((1),40), ((-1),42), ((1),44), ((2),45), ((2),47), ((2),49)], (20)), ("GEQ", [((1),1), ((-1),2), ((2),5), ((-1),7), ((2),8), ((1),9), ((-2),10), ((1),11), ((2),13), ((1),14), ((-2),15), ((-2),17), ((-1),18), ((-1),19), ((-2),20), ((-2),21), ((-2),23), ((-1),24), ((-1),28), ((-1),29), ((2),30), ((-2),31), ((-2),32), ((-2),33), ((-2),39), ((-1),40), ((1),41), ((2),43), ((1),44), ((2),45), ((-1),47), ((-2),49)], (4)), ("GEQ", [((1),0), ((1),2), ((1),3), ((1),4), ((-1),12), ((-2),13), ((-2),15), ((1),17), ((1),18), ((2),19), ((1),22), ((2),24), ((1),26), ((-2),27), ((-2),34), ((2),36), ((2),37), ((-1),38), ((2),40), ((-1),41), ((1),43), ((-2),45), ((2),46), ((1),47), ((-1),48)], (-5)), ("GEQ", [((2),0), ((2),2), ((2),3), ((-1),7), ((-1),8), ((2),9), ((2),10), ((-1),11), ((2),13), ((-1),14), ((-1),15), ((-1),18), ((-2),19), ((-2),20), ((1),21), ((-1),22), ((-1),23), ((-1),25), ((-1),26), ((1),29), ((-2),30), ((2),31), ((1),35), ((2),36), ((-2),37), ((1),38), ((-2),39), ((-2),40), ((1),42), ((-1),43), ((-2),44), ((1),45), ((-2),48)], (-38)), ("GEQ", [((-1),0), ((2),3), ((2),4), ((-2),5), ((-2),6), ((-2),7), ((-2),8), ((-2),9), ((1),10), ((2),13), ((-1),14), ((1),18), ((2),19), ((2),20), ((2),22), ((-2),23), ((2),25), ((1),26), ((-1),27), ((-1),37), ((-2),43), ((-2),44), ((-2),45), ((-2),46), ((-2),47), ((-1),48)], (-3)), ("GEQ", [((2),1), ((2),2), ((-1),5), ((2),7), ((-2),9), ((-2),11), ((-2),12), ((-1),13), ((-2),14), ((2),15), ((-1),17), ((2),18), ((2),20), ((2),21), ((-1),23), ((2),25), ((-1),26), ((1),28), ((-1),29), ((-1),32), ((1),35), ((1),37), ((2),40), ((-2),41), ((-2),42), ((-1),45), ((1),46), ((1),47), ((-2),49)], (14)), ("GEQ", [((-1),2), ((-1),5), ((2),8), ((-1),9), ((-2),10), ((-1),11), ((2),15), ((2),17), ((1),18), ((-2),19), ((-2),20), ((-2),22), ((-2),23), ((-2),24), ((-1),27), ((2),28), ((1),29), ((2),30), ((-2),31), ((2),32), ((1),33), ((1),38), ((-1),39), ((2),40), ((-1),41), ((-2),44), ((2),45), ((-2),46), ((1),48), ((-1),49)], (15)), ("GEQ", [((1),0), ((-1),1), ((-2),2), ((-1),5), ((2),6), ((-2),11), ((1),12), ((-1),14), ((2),17), ((1),18), ((-1),20), ((1),21), ((2),25), ((-1),26), ((-1),27), ((-2),28), ((-1),29), ((2),30), ((1),32), ((-2),33), ((1),34), ((-2),35), ((1),37), ((2),41), ((-1),43), ((-1),44), ((-2),47), ((-2),49)], (6)), ("GEQ", [((2),0), ((2),1), ((2),2), ((1),3), ((1),5), ((-1),6), ((2),10), ((-1),11), ((-2),12), ((2),14), ((-2),15), ((1),16), ((-1),19), ((1),20), ((-1),22), ((-2),23), ((1),24), ((1),25), ((-2),26), ((1),28), ((1),29), ((-1),30), ((2),32), ((-1),34), ((-1),35), ((1),36), ((-2),37), ((1),38), ((-2),40), ((-1),41), ((-2),42), ((-2),45), ((-1),48)], (-47)), ("GEQ", [((2),1), ((-2),2), ((-1),3), ((1),4), ((-2),6), ((-1),7), ((2),9), ((2),10), ((1),11), ((-1),12), ((-2),13), ((-2),14), ((-1),16), ((-1),17), ((1),18), ((2),19), ((-1),20), ((2),21), ((2),23), ((1),26), ((-2),27), ((1),28), ((2),31), ((-1),32), ((2),33), ((2),35), ((-2),36), ((-1),37), ((-2),38), ((2),39), ((1),40), ((-2),41), ((-1),42), ((-2),49)], (-11)), ("GEQ", [((2),1), ((2),4), ((2),5), ((2),8), ((-1),10), ((-2),11), ((2),15), ((-1),18), ((2),19), ((-2),21), ((2),22), ((-2),23), ((-2),24), ((2),27), ((-2),28), ((2),29), ((2),30), ((1),33), ((1),34), ((1),35), ((2),36), ((2),38), ((1),40), ((-1),44), ((-2),45), ((-1),46), ((-1),48), ((2),49)], (8)), ("GEQ", [((-1),0), ((-2),1), ((1),2), ((2),5), ((1),6), ((-2),7), ((1),8), ((2),9), ((1),10), ((-1),12), ((-2),13), ((2),15), ((2),16), ((1),17), ((2),24), ((1),25), ((-2),26), ((2),27), ((-1),28), ((2),29), ((1),33), ((-2),34), ((2),35), ((-2),36), ((-2),37), ((2),38), ((1),39), ((2),40), ((2),41), ((1),42), ((-2),43), ((-2),45), ((-2),47), ((-1),48)], (-10)), ("GEQ", [((-2),1), ((1),3), ((-2),4), ((-1),7), ((-1),8), ((-1),11), ((-2),12), ((-2),14), ((-2),17), ((2),22), ((2),24), ((2),26), ((2),27), ((-1),29), ((-1),31), ((1),32), ((1),33), ((-1),34), ((-2),36), ((1),39), ((-2),40), ((1),41), ((-1),42), ((2),43), ((-2),44), ((1),47), ((2),48)], (25)), ("GEQ", [((-2),0), ((2),1), ((1),2), ((2),3), ((2),4), ((1),8), ((1),9), ((2),12), ((1),13), ((-1),16), ((-2),17), ((1),22), ((2),23), ((-1),25), ((2),27), ((2),28), ((1),30), ((-2),31), ((2),32), ((-1),36), ((-1),38), ((-1),42), ((2),43), ((1),46), ((-1),49)], (-15)), ("GEQ", [((-2),0), ((-1),1), ((-2),7), ((1),8), ((1),9), ((-1),10), ((-2),11), ((-1),12), ((2),13), ((2),17), ((2),18), ((1),19), ((-2),20), ((-1),22), ((1),23), ((-1),25), ((-2),28), ((1),31), ((1),32), ((-1),33), ((1),35), ((2),37), ((-2),41), ((2),43), ((-2),44), ((2),49)], (-13)), ("GEQ", [((2),0), ((2),2), ((-2),4), ((2),5), ((1),6), ((-2),7), ((-1),8), ((-2),9), ((-1),10), ((-2),12), ((1),15), ((1),17), ((-2),19), ((-2),20), ((1),21), ((-2),23), ((1),24), ((-2),26), ((-2),27), ((-2),28), ((2),31), ((-2),34), ((2),35), ((2),37), ((-2),38), ((-2),39), ((2),41), ((-2),42), ((1),44), ((2),45), ((2),48)], (-14)), ("GEQ", [((-2),0), ((-2),5), ((2),6), ((-1),7), ((-2),8), ((-1),10), ((-2),11), ((-2),14), ((1),20), ((1),21), ((1),23), ((-1),24), ((-1),25), ((-2),28), ((-2),31), ((-2),32), ((-1),33), ((1),35), ((2),36), ((1),37), ((-1),38), ((1),41), ((1),45), ((-2),46), ((1),47), ((2),48)], (29)), ("GEQ", [((1),0), ((1),1), ((2),2), ((-2),3), ((1),4), ((-1),5), ((2),8), ((2),10), ((2),12), ((-2),13), ((-1),14), ((1),15), ((2),16), ((-2),17), ((-2),18), ((1),22), ((1),23), ((-2),24), ((-2),26), ((-1),30), ((-1),31), ((2),32), ((2),33), ((-1),34), ((1),36), ((-2),37), ((-2),39), ((-1),41), ((-1),45), ((-2),48)], (0)), ("GEQ", [((-1),0), ((2),1), ((2),4), ((1),5), ((1),6), ((1),7), ((2),11), ((1),14), ((-2),15), ((-2),18), ((2),20), ((1),21), ((2),24), ((-2),25), ((2),28), ((-1),29), ((1),30), ((2),32), ((-1),33), ((2),34), ((2),35), ((-2),38), ((-1),39), ((-1),40), ((-1),41), ((-2),42), ((1),43), ((2),44), ((1),48), ((-1),49)], (-27)), ("GEQ", [((-2),0), ((2),1), ((-2),2), ((-1),3), ((1),4), ((1),5), ((2),10), ((-1),11), ((-1),15), ((2),16), ((-1),17), ((2),18), ((-1),22), ((-2),25), ((-2),27), ((-2),29), ((1),33), ((1),34), ((1),35), ((2),37), ((-2),38), ((-2),39), ((1),41), ((2),42), ((-1),43), ((2),46), ((2),47), ((2),48), ((1),49)], (29)), ("GEQ", [((-1),0), ((2),3), ((-2),4), ((-1),5), ((-1),7), ((1),8), ((-2),11), ((1),12), ((1),14), ((-2),15), ((1),16), ((2),18), ((-2),19), ((-1),21), ((-2),25), ((-2),26), ((-1),28), ((-2),29), ((2),30), ((2),32), ((-1),34), ((2),36), ((-1),38), ((-2),39), ((2),40), ((2),42), ((1),43), ((2),44), ((-1),47), ((1),48)], (11)), ("GEQ", [((-2),1), ((-2),2), ((2),4), ((-2),5), ((-1),6), ((-2),7), ((1),8), ((-1),9), ((-2),12), ((-2),14), ((2),16), ((-2),17), ((-1),18), ((-2),19), ((-1),20), ((-2),21), ((2),23), ((-1),24), ((-1),26), ((2),27), ((2),28), ((-1),33), ((-1),34), ((2),35), ((-2),38), ((2),39), ((2),40), ((1),41), ((-1),43), ((-2),45), ((2),48), ((-2),49)], (16)), ("GEQ", [((-2),1), ((1),5), ((-2),6), ((-2),7), ((-2),8), ((-1),9), ((1),11), ((-2),12), ((-1),16), ((-2),17), ((-1),18), ((1),21), ((-2),22), ((1),23), ((1),25), ((2),27), ((1),29), ((-1),34), ((-2),36), ((1),37), ((2),38), ((1),39), ((1),42), ((1),43), ((1),45), ((-2),46), ((1),47), ((-2),48), ((2),49)], (-26)), ("GEQ", [((2),0), ((-1),1), ((2),3), ((-2),4), ((2),6), ((1),7), ((1),9), ((1),10), ((-1),11), ((-1),13), ((-1),14), ((2),15), ((-1),17), ((-2),18), ((-2),20), ((-1),22), ((2),23), ((1),24), ((-2),26), ((-2),27), ((-1),28), ((-2),29), ((-2),30), ((1),31), ((-2),32), ((-2),36), ((-2),39), ((2),40), ((-1),42), ((2),43), ((-1),45), ((-1),46), ((-2),47), ((1),49)], (-25)), ("GEQ", [((1),1), ((1),3), ((-2),5), ((-2),6), ((-1),7), ((2),8), ((-1),10), ((2),11), ((-1),12), ((-2),13), ((1),16), ((-2),17), ((-2),20), ((-1),22), ((-2),23), ((-2),24), ((-2),25), ((2),29), ((1),31), ((-1),36), ((1),39), ((2),40), ((1),41), ((1),42), ((-1),43), ((1),44), ((2),45), ((-1),46), ((-1),47), ((2),48)], (28)), ("GEQ", [((2),0), ((2),2), ((2),3), ((-1),6), ((-1),11), ((-1),12), ((-1),13), ((2),15), ((1),16), ((2),17), ((2),18), ((-2),22), ((-2),23), ((2),24), ((2),25), ((2),27), ((-2),29), ((2),30), ((2),31), ((-1),32), ((2),33), ((2),34), ((1),35), ((-1),36), ((1),37), ((-2),42), ((-2),45), ((-1),46), ((-1),47), ((-1),49)], (3)), ("GEQ", [((2),0), ((2),3), ((-1),4), ((2),6), ((-2),8), ((1),9), ((1),11), ((-1),13), ((-2),14), ((-1),16), ((-1),18), ((1),21), ((-2),22), ((1),25), ((-2),28), ((-1),29), ((-1),30), ((-2),33), ((-2),36), ((-1),38), ((1),40), ((-1),41), ((-1),42), ((2),44), ((2),46), ((-2),47), ((-1),48)], (-17)), ("GEQ", [((1),0), ((1),2), ((-1),5), ((1),8), ((-2),9), ((1),10), ((-2),12), ((1),13), ((1),14), ((1),16), ((-2),17), ((-1),19), ((-2),21), ((1),22), ((1),23), ((-1),24), ((-1),26), ((-2),28), ((-1),33), ((1),38), ((-2),40), ((1),41), ((-1),42), ((2),43), ((-1),48)], (-23)), ("GEQ", [((1),0), ((1),1), ((1),2), ((-2),6), ((-2),9), ((2),10), ((-1),11), ((2),12), ((-2),15), ((-1),16), ((2),17), ((-1),19), ((2),20), ((1),21), ((1),22), ((2),23), ((-2),24), ((2),26), ((-1),30), ((1),32), ((-1),33), ((-1),34), ((2),36), ((-1),38), ((-2),40), ((-1),42), ((-2),43), ((1),45), ((1),47)], (-22)), ("GEQ", [((-2),0), ((-2),1), ((-2),3), ((2),5), ((1),6), ((1),8), ((-2),9), ((1),11), ((2),12), ((1),13), ((-1),15), ((2),16), ((2),21), ((-2),24), ((1),27), ((-2),28), ((2),29), ((1),30), ((-1),33), ((1),34), ((2),36), ((-2),37), ((2),38), ((2),39), ((2),41), ((-2),45), ((1),46), ((2),47), ((2),48), ((-2),49)], (2)), ("GEQ", [((16),0), ((-22),1), ((-26),2), ((-28),3), ((-8),4), ((20),5), ((30),6), ((28),7), ((-6),8), ((34),9), ((-3),10), ((40),11), ((23),12), ((-21),13), ((-3),14), ((14),15), ((-23),16), ((47),17), ((-31),18), ((16),19), ((6),20), ((-8),21), ((-9),22), ((4),23), ((26),24), ((2),25), ((2),26), ((12),27), ((-7),28), ((5),29), ((-3),30), ((-10),31), ((-41),32), ((11),33), ((15),34), ((-1),35), ((-36),36), ((6),37), ((-7),38), ((-11),39), ((6),40), ((16),41), ((21),42), ((-4),43), ((6),44), ((25),45), ((-11),46), ((-8),47), ((19),48), ((10),49)], (131)), ("GEQ", [((-43),1), ((-23),2), ((-36),3), ((-8),4), ((-12),5), ((27),6), ((43),7), ((9),8), ((31),9), ((5),10), ((41),11), ((27),12), ((-16),13), ((23),14), ((-5),15), ((-19),16), ((61),17), ((3),18), ((22),19), ((-7),20), ((-11),21), ((7),22), ((20),23), ((30),24), ((1),25), ((17),26), ((23),27), ((20),28), ((2),29), ((-17),30), ((-18),31), ((-19),32), ((27),33), ((2),34), ((-22),35), ((-15),36), ((-25),37), ((3),38), ((-4),39), ((-26),40), ((9),41), ((42),42), ((-7),43), ((-2),44), ((33),45), ((-1),46), ((7),47), ((12),48), ((13),49)], (76)), ("GEQ", [((-34),0), ((59),1), ((31),2), ((51),3), ((7),4), ((-17),5), ((-65),6), ((-54),7), ((9),8), ((-47),9), ((4),10), ((-86),11), ((-27),12), ((41),13), ((8),14), ((-7),15), ((42),16), ((-79),17), ((37),18), ((-35),19), ((-5),20), ((7),21), ((12),22), ((5),23), ((-70),24), ((18),25), ((-15),26), ((-43),27), ((9),28), ((14),29), ((12),30), ((21),31), ((113),32), ((-28),33), ((-33),34), ((-6),35), ((69),36), ((6),37), ((18),38), ((15),39), ((6),40), ((-54),41), ((-36),42), ((-1),43), ((-14),44), ((-46),45), ((28),46), ((7),47), ((-67),48), ((-7),49)], (-481)), ("GEQ", [((35),0), ((-10),1), ((1),2), ((5),3), ((44),4), ((29),5), ((16),6), ((-29),7), ((-40),8), ((-16),9), ((6),10), ((86),11), ((-55),12), ((-14),13), ((-69),14), ((-31),15), ((-22),16), ((-43),17), ((-39),18), ((6),19), ((35),20), ((21),21), ((-9),22), ((-60),23), ((71),24), ((-47),25), ((17),26), ((32),27), ((-40),28), ((-43),29), ((22),30), ((17),31), ((-161),32), ((3),33), ((45),34), ((68),35), ((-69),36), ((25),37), ((-46),38), ((21),39), ((20),40), ((89),41), ((-26),42), ((15),43), ((31),44), ((-13),45), ((-52),46), ((-5),47), ((101),48), ((-54),49)], (738)), ("GEQ", [((-30),0), ((20),1), ((-30),2), ((-60),3), ((-57),4), ((17),5), ((27),6), ((68),7), ((48),8), ((56),9), ((-56),10), ((-76),11), ((110),12), ((-4),13), ((51),14), ((91),15), ((-2),16), ((114),17), ((-16),18), ((17),19), ((-28),20), ((-57),21), ((-7),22), ((57),23), ((-98),24), ((53),25), ((-38),26), ((-24),27), ((19),28), ((73),29), ((-5),30), ((-43),31), ((148),32), ((-18),33), ((-24),34), ((-50),35), ((56),36), ((-5),37), ((44),38), ((-80),39), ((23),40), ((-111),41), ((18),42), ((-9),43), ((-29),44), ((32),45), ((53),46), ((-10),47), ((-100),48), ((76),49)], (-577)), ("GEQ", [((31),0), ((25),1), ((-7),3), ((-22),4), ((55),5), ((23),6), ((1),7), ((-10),8), ((-2),9), ((-34),10), ((-41),11), ((31),12), ((4),13), ((-43),14), ((62),15), ((-2),16), ((-9),17), ((-61),18), ((-2),19), ((36),20), ((-9),21), ((-14),22), ((2),23), ((-54),24), ((6),25), ((-32),26), ((-7),27), ((-50),28), ((38),29), ((9),30), ((-14),31), ((-1),32), ((-35),33), ((6),34), ((9),35), ((-16),36), ((32),37), ((-10),38), ((-29),39), ((42),40), ((-14),41), ((-42),42), ((6),43), ((-3),44), ((13),45), ((-6),46), ((-34),47), ((-21),48), ((16),49)], (-146))]
[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]